 = 4*n - r for n.
1
Let a = -95 + 95. Solve a*r + 12 = -3*r for r.
-4
Let t be (-24)/14 - (-16)/(-56). Let r = 4 + t. Solve -r = 4*b + 2 for b.
-1
Let i(w) = -w - 20. Let m be i(-24). Solve m*t = -t + 25 for t.
5
Suppose 1 = -4*f + 17, 2*f - 16 = -2*b. Solve 3*k - b = 4*k for k.
-4
Suppose -m = -2*p - 0*p, p = 2. Suppose 0 = -l, 3*l - m = -2*q - 2*l. Suppose 2 = q*v - 2. Solve -20 = -7*z + v*z for z.
4
Let n(f) = -2*f + 6. Let p be n(0). Solve u = p*u - 25 for u.
5
Let i = 10 - 7. Solve n + 2 = i for n.
1
Let b be 0/(2/((-4)/(-6))). Suppose b = 3*f - 5*f + 8. Let p = f + -4. Solve p*q - 4 = -q for q.
4
Suppose -4*w + 4*g + 20 = 0, -3*w = 2*g + 1 - 11. Solve 0*q = w*q - 4 for q.
1
Let x(r) be the second derivative of r**5/20 + 5*r**4/4 + 5*r**3/2 + 7*r**2 + 3*r. Let t be x(-14). Solve 4*g - 9 + 1 = t for g.
2
Let n = 26 + 44. Let u = n - 49. Let d = -1 + u. Solve 4*m - d = -0*m for m.
5
Let q = 4 + -1. Suppose q*t + x = 16, -3*t + 2*x = 6*x - 28. Solve 8*a = 4*a + t for a.
1
Let f = 25 + -21. Suppose 3*b = g + 4*g - 8, 5*g - 4 = f*b. Solve 0 = -3*c + g + 5 for c.
3
Let p(r) = r - 1. Let f(s) = 7*s - 14. Let a(d) = -f(d) + 6*p(d). Let v be a(6). Solve 0 = -o + v - 4 for o.
-2
Suppose -10 = -4*l - l. Solve -3 = l*c - 5*c for c.
1
Let a = 9 - 7. Suppose -a*x + 4*z + 12 = 0, 6*z + 9 = x + 3*z. Suppose x*d - 2*d = -4. Solve -1 - 3 = -d*f for f.
2
Suppose 77 = 5*j + 4*t + 10, -j = 4*t - 7. Let p = j + -11. Solve p*i - i + 12 = 0 for i.
-4
Let z = -11 + 5. Let f be (3/z - 0)*-6. Suppose -2*k + i + 8 = -3*i, -6 = -f*i. Solve k = d + d for d.
4
Let o = -19 + 7. Let k be (-2 - -3) + 4 + 1. Let l be (-8)/o + (-4)/k. Solve l = -f - f for f.
0
Let s be -2 - (-4)/4 - -8. Solve s*p = 2*p + 25 for p.
5
Let o = -16 + 22. Let p(a) = a**2 - 5*a - 6. Let x be p(o). Solve -4*w + x*w + 16 = 0 for w.
4
Let r be (-8)/(-12)*(-2 - (-5 + 0)). Solve -3*x = -r*x - 1 for x.
1
Suppose 5*i = a - 5*a + 16, 4*a - 16 = 5*i. Solve 2 = -a*x - 2 for x.
-1
Let x(u) = -3*u + 1. Let z = -7 - -6. Let k be x(z). Solve k = 3*c - 2 for c.
2
Let x(r) = r**2 + r. Let h be x(3). Let z = 15 - h. Solve -3*i + z = -3 for i.
2
Let n = -2 + 6. Solve q + n*q = 0 for q.
0
Suppose 0 = -m - 4*l - 2, 2*m - 20 = -0*m + 4*l. Solve m*a - 3*a = 0 for a.
0
Let z = 0 - -3. Let d be (-1)/(-2*2/(-4)). Let c = 1 + d. Solve -z = -c*x - x for x.
3
Suppose -h = -2*u - 0*u + 6, 4*h - 16 = -2*u. Suppose -2*z = -4*r + 16, 0 = 4*r + r + 5*z + 10. Solve -h*k - r = -0 for k.
-1
Suppose 1 = 3*z + 4*v, 4*z - z = v - 19. Let m = -3 - z. Suppose 4*r = 5*i - 36, -m*r - 13 = -2*i + r. Solve i = -f + 3 for f.
-5
Let o = -5 + 12. Let u = o - 6. Solve -u = -3*t + 4*t for t.
-1
Suppose 4 = 2*k + 3*r - 13, -4*r = 4*k - 28. Suppose k*a - 2*a - 7 = -5*d, -2 = -4*d + 2*a. Solve 3*s + 4 = d for s.
-1
Let v(j) = -j**3 - j + 5. Let f be v(0). Suppose 0 = 3*g - 2*g - f. Suppose 0*h + 4 = 3*h - 4*n, 2*h - g*n = -2. Solve 0 = -5*o + o + h for o.
1
Let j = -21 + 14. Let t = 181 + -172. Let o = j + t. Solve 3*w - o = 1 for w.
1
Let h(k) = k**2 - 15*k + 16. Let u be h(14). Solve -8 = u*a - 0 for a.
-4
Let h(r) = 2*r + 1. Let k(o) = o + 1. Let d(n) = -2*h(n) + 5*k(n). Let g be d(0). Solve i = -2*i - g for i.
-1
Let w(d) = -d - 13. Let c be w(-9). Let r = -3 - c. Let g be 2/8 - r/4. Solve g*u + 2*u = 4 for u.
2
Let o be (-4)/(-14) - (-27)/(-21). Let t be ((-6 - -2) + 3)*o. Solve 4 - t = -u for u.
-3
Let m = 16 + -14. Suppose -2*n - m*n = 0. Solve 6*b - b = n for b.
0
Let v be -5*(-3)/((-60)/16). Let l = v - -6. Solve -4*d + 2*d + l = 0 for d.
1
Let j(w) = -w**2 + 4*w + 1. Let r be j(3). Suppose -r*t = y - 4, -4*t = -0*y + 5*y + 12. Let s be 4/t + -3 - -9. Solve 4*q + s = 24 for q.
4
Suppose -p - 4 + 7 = 0. Solve -u - p = -0 for u.
-3
Suppose 4 = 2*q - 2. Suppose 5*n + 5 = -5*b, 0 = -5*n - b - q*b. Suppose 2*g = n*g. Solve 2*l + 2*l + 4 = g for l.
-1
Let o(j) = -4*j - 12. Let l be o(-8). Let z(n) = n**2 - 8*n - 3. Let g be z(9). Solve g*t = t - l for t.
-4
Suppose 5*t - t = 16. Suppose t*z - 2*b = 12, -4*z = -b + 5*b. Solve 1 = -z*f + 5 for f.
2
Let m = -11 + 27. Suppose -4 = -3*q + 3*g - g, -12 = -q - 2*g. Suppose -q*z - 10 = -26, -z = 2*i - 4. Solve 3*d + d - m = i for d.
4
Let h = 1 + 5. Let b(u) = u**2 + 4*u + 1. Let k be (-4*2/(-2))/(-1). Let x be b(k). Solve -x = -h*i + 5*i for i.
1
Let r(g) = -g**2 + 8*g - 11. Let p be r(3). Solve -p*o - 5 = -9 for o.
1
Let r be (-4)/(-5)*15/6. Suppose -k - 8 = -d, 0 = -r*d - 3*k + 3 - 7. Suppose -d*t = t. Solve t = -2*n - 4 for n.
-2
Let b be (-16)/(-10) - 2/(-5). Solve 4*z = b*z for z.
0
Let q(h) = -h + 4. Let t be q(9). Let x = 1 + 7. Let v = t + x. Solve s + v = 2*s for s.
3
Suppose 3*u = -2*u + 20. Suppose 3*w = 4*s - 34, 2*w - u*w = 4*s - 24. Solve -8 = 3*o + s for o.
-5
Let k be (-7)/((2/(-1))/2). Let p(h) = -h**3 + 8*h**2 - 8*h + 10. Let j be p(k). Solve 5*t + j + 2 = 0 for t.
-1
Suppose 7 = -8*l + 47. Solve -l*w = -0*w for w.
0
Let w be ((-6)/5)/(2/10). Let b be (w/(-6))/((-2)/(-6)). Solve -1 - b = u for u.
-4
Suppose 2*b + b - 7 = -2*z, 5*z = -4*b + 14. Suppose 14 = p - 2*q, z*p + 4*q + 12 = -0*q. Let v be 1 + 3 + 0/(-2). Solve v + 0 = -p*o for o.
-1
Suppose -3*c = -d - 6, -3*c - d + 0*d + 6 = 0. Suppose p + 0*p = 0. Suppose p = -0*h - 3*h. Solve h*n = 2*n + c for n.
-1
Suppose -2*m - 8 = 3*t, m = t - 2 - 2. Solve 5*d = -t*d + 25 for d.
5
Let i = -9 + 9. Solve i = -3*h - 3 - 9 for h.
-4
Suppose -3*k + 24 - 12 = 0. Solve 10 = k*x - 10 for x.
5
Let w be 0/1 - -2 - (-8 - -6). Solve 2*y = w*y - 8 for y.
4
Let y = -9 + 14. Let u = 0 - -17. Let b = u - 17. Solve y*k = -b*k for k.
0
Let x(h) = -2*h - 1. Let q be x(-2). Suppose 5*n = -q*m - 7, 0 = -4*n - 3 - 5. Solve -m = d - 0 for d.
-1
Let s be (-16)/5*(-30)/12. Solve 2*z = -2*z + s for z.
2
Let x(s) = -s - 17. Let c be x(-20). Solve c*m + 0*m = 3 for m.
1
Suppose -d + 3 = p, p - 4*p - d = -7. Solve 0 = a - p*a - 2 for a.
-2
Suppose -t - w = -1, 3*w + 1 = t + 16. Let k be 2/t*-3 + -3. Let v = k + 5. Solve -v*n = -7*n + 12 for n.
4
Let u(m) = m + 1. Let o be u(0). Let b = 0 + o. Suppose 0 = 2*f - 3 - 9. Solve 0 = -5*l - b + f for l.
1
Let f = -684 + 687. Let p(q) = q**3 + q + 1. Let a be p(0). Let b = 2 - a. Solve f = -t + b for t.
-2
Suppose v + 62 - 78 = 0. Solve 4 = 5*f - v for f.
4
Let v = 83 + -81. Solve v*g + 2 = -0*g for g.
-1
Let y(n) = -7*n**3 - n**2 - n - 1. Let x be y(-1). Suppose -2*i + 7*i - 2*q = 48, -41 = -4*i - q. Let u = i - x. Solve -u = 4*t - 0*t for t.
-1
Let x(m) = m**3 + 5*m**2 + m + 9. Let z be x(-5). Solve 0*d = z*d for d.
0
Let f(s) = s**3 + s**2 - s + 8. Let y be f(0). Suppose -33 + 24 = -3*g. Solve g*p - y = p for p.
4
Suppose 0 = 5*i - 3*i. Suppose -7 = -2*b + 3*w + 2*w, -3*b - 3*w + 21 = i. Solve -b = -t - 4 for t.
2
Suppose 0*m - 5 = -m. Solve m = -2*r + 1 for r.
-2
Let h be (-8 + 7)/(2/(-50)). Solve 0 = -x - 4*x + h for x.
5
Let m = -11 - -18. Let x = m + -5. Let d be (-21)/(-12) + x/8. Solve -q - d*q + 12 = 0 for q.
4
Let j(h) = -h + 7. Let t be ((-5)/(-10))/(1/12). Let y be j(t). Suppose -2*c + 9 = y. Solve 3 = -c*q - 5 for q.
-2
Suppose -4*q = 2*d - 34, -3 = 2*q + 2*d - 23. Let s = q + -4. Solve -4 = s*l - 2*l for l.
-4
Let u = -175 - -179. Solve -3*x + 16 = u for x.
4
Suppose -m = -1 + 3. Let n be 8 - (-3)/(3/m). Suppose 0 = 3*w - 5*g + n, -w - 2*w - 3 = -4*g. Solve 6 = -w*p - 0*p for p.
-2
Let n = -18 - -29. Let q be n*((-1 - 0) + 2). Let v = q - -1. Solve 0*t = 4*t + v for t.
-3
Suppose -12 + 7 = -5*c. Solve -5 = o - c for o.
-4
Suppose o + 6 = 2*a, 3*o + 2*a + a - 18 = 0. Suppose -2*x - 6*z = -2*z + 6, -5*x + 9 = o*z. Solve -b + 4 = x*b for b.
1
Let w = -72 - -76. Solve -2*k = -w*k - 2 for k.
-1
Let t = 15 + -13. Let i(f) = -f**3 + 5*f**2 - 2*f - 2. Let w be i(t). Solve -2*y - w = -0 for y.
-3
Let v be (-3)/(4 + -5) + 3*-1. Solve 2*j = -v*j for j.
0
Suppose 0*g + 8 = 2*g. Solve -g*k = -11 - 5 for k.
4
Let z = 39 + -32. Solve 4*w - 3 = -z for w.
-1
Let x(u) = -u**2 - 10*u - 5. Let m be x(-9). Suppose -m*z = -3*z. Suppose z = -a - a + 8. Solve -9 = a*l + 3 for l.
-3
Suppose 0 = 3*a - 9, 2*w = -3*w - 4*a + 37. Let f = w - 3. Suppose 34*b - 35*b = -2. Solve u - b = f for u.
4
Let l be ((-22)/(-33))/((-4)/18). Let t be 6/l + (3 - 1). Solve -2*p = -t*p + 8 for p.
-4
Suppose i - 16 = -3*i. Solve 1 - i = -d for d.
3
