r k.
-1
Let a be 0/(-2*(-2)/4). Suppose -4 = u, -5*f + 0*f + 2*u + 8 = a. Solve f = -4*c + c - 12 for c.
-4
Let b = 4 + 1. Solve -b*m + 2*m - 12 = 0 for m.
-4
Let w be 3*(3 - 21/9). Let r be 11 - ((2 - 1) + -2). Let t = r + -6. Solve -w*i = 2 + t for i.
-4
Let s = 15 - 12. Suppose -5*n - 8 + 0 = 4*k, -2*n + 4*k - 20 = 0. Let f be 2 - 0*(-2)/n. Solve s*a + 5 = f for a.
-1
Let b = 33 - 29. Solve b = 6*w - 7*w for w.
-4
Let n(g) = g - 6. Let p be n(3). Let y be p*(-3)/27*6. Solve -7*w - 10 = -y*w for w.
-2
Suppose 2*q - 67 = s, -3*s = 2*s + 25. Suppose i - 4*i - q = -4*n, 5*n = -3*i + 5. Suppose 5*g - 4 = 16. Solve g = -n*k - 4 for k.
-2
Let w(m) = -m**2 - 1 + 2*m**2 + 0*m**2 - m. Let s be w(-2). Solve 0*i = 5*i - s for i.
1
Suppose -r + 4 = -2. Solve r = -5*t + 1 for t.
-1
Suppose 5*x - 12 = 3*f, -4*x = x - 15. Let q = f - 1. Suppose 0 = -h + 5*h. Solve h*g + g - 1 = q for g.
1
Suppose 0 = -11*j + 4*j + 14. Solve -2 = j*r - 0 for r.
-1
Let w = -2 + 6. Suppose -2*y + w*t - 14 = 0, -4*t + 16 = -0*t. Solve -3*m - y - 11 = 0 for m.
-4
Let j(n) = -n - 2. Let z be j(-5). Solve z + 5 = 4*v for v.
2
Suppose -3*k = 2*p - 45, 4*p + k = -2*k + 93. Let b be ((-16)/p)/(4/(-30)). Solve b*c - 5 = 5 for c.
2
Let t = 9 + -8. Suppose 0 = -f + 1 + t. Solve -3*x + f = -13 for x.
5
Let n = -3 - -3. Let w be 9*((0 - 1) + n). Let b = w + 16. Solve 3*a = b + 2 for a.
3
Let l(y) = -2*y - 7. Let m be l(-6). Suppose t - m = -0, t = 2*p - 35. Suppose -3*v - 125 = -4*h - 8*v, 0 = -h + v + p. Solve -2*f + h = 3*f for f.
5
Suppose -5 = j - 1. Let v = j + 8. Solve -3 - 13 = v*p for p.
-4
Let g = 45 - 43. Solve -2*j - g = -10 for j.
4
Let u = 39 - 19. Solve 3*l = -l - u for l.
-5
Let t(v) = 2*v**2 - 9*v. Let d be t(5). Suppose -4*l + 8 = 2*s, -d*s + 20 = -0*s + 4*l. Solve 11 + s = -5*c for c.
-3
Let o(b) = b**3 - 4*b**2 - 3*b - 3. Let k be o(5). Let t = -3 + k. Solve m = t*m + 15 for m.
-5
Let d = 64 + -61. Solve 6*i = d + 3 for i.
1
Let n be (-5)/2*8/(-10). Suppose -f = -n*f + 3. Let m be (-7)/(-3) - 1/f. Solve -b = m*b + 12 for b.
-4
Let l be 3 - (-1)/(1 - 0). Suppose -4*i + 28 = 4*x, -2 = l*i - 6. Solve -x*p = -2*p - 12 for p.
3
Suppose 5*p = 3*p - 16. Let x be -4*(34/p + 3). Solve 29 = x*s + 4 for s.
5
Let t = -70 + 46. Let y = 28 + t. Solve 15 = y*m - m for m.
5
Suppose 8 = -3*w + 26. Suppose -2*p + 12 = 2*o, -5*p = -0*p + 2*o - 21. Suppose w = b + p. Solve 2*c - b*c = 0 for c.
0
Let d(a) = -4*a**2 + 14*a - 20. Let o(b) = -5*b**2 + 14*b - 21. Let z(h) = -4*d(h) + 3*o(h). Let y be z(13). Solve 3*g + y = -2 for g.
-2
Let l = 7 + -5. Suppose 0 = -5*p - 3*n - 12, -p = l*p - 4*n - 16. Suppose 3*t - 2 - 4 = p. Solve -4*f + t = 14 for f.
-3
Suppose 5*a - 2 = -22. Let t be 92/28 + a/14. Solve -1 = w + t for w.
-4
Let i = -41 + 43. Suppose 3*b = -2*x - 0*b, x + 3*b = 0. Let j(d) = d**2 + 3. Let v be j(-3). Solve x = -2*t - i*t - v for t.
-3
Let r(p) = p**2 - p - 2. Let s = 2 - 0. Let q(v) = -v. Let y be q(s). Let i be r(y). Solve 3*j - 8 = i for j.
4
Let i be (1 - 5)*(-1)/2. Solve g + g = i for g.
1
Let q = -8 + 23. Suppose s = -s + 10, 0 = -5*f + 4*s - 20. Let t(j) = j**3 + j**2 + j + 2. Let o be t(f). Solve -3*m + q = o*m for m.
3
Suppose o - 10 = -5*a - 3*o, 0 = a - 4*o - 2. Suppose 3*z = -2*z + 20. Solve 3*q = z*q - a for q.
2
Let q be (0 - -1) + -4 + 9. Solve 1 - q = -t for t.
5
Let t(o) = o + 5. Let l be t(7). Let z be 4 + 0*(-3)/l. Solve -3*w + w + z = 0 for w.
2
Suppose 0 = -12*c + 9*c + 30. Solve -22 = -3*d - c for d.
4
Suppose 0 = -2*l - 4*l + 6. Let t be 3/l + (-13 - -10). Solve t*d + 12 = -3*d for d.
-4
Let k = -59 + 59. Solve d + 2*d = k for d.
0
Suppose 6*z = 2*z. Solve -3*a + 4 + 2 = z for a.
2
Let l be (0/1)/(12/3). Let u = 3 - 1. Solve 0 = -2*z - u - l for z.
-1
Suppose -3 = -l - 3*c, 3*l - 4 = 3*c + 5. Solve -2*m = -5*m - l for m.
-1
Let w(m) = m**3 + 4*m**2 + 3*m + 3. Let k be w(-3). Suppose -b = -k*b. Suppose 2 = x, b*u - x - 8 = -5*u. Solve u*l = -l for l.
0
Let c(y) be the first derivative of y**4/4 + 2*y**3 + y**2 + y + 3. Let m = 1 - 6. Let t be c(m). Solve t - 1 = -5*h for h.
-3
Let i(d) = d**3 + 5*d**2 - 2*d - 7. Let p be i(-5). Solve -p*s - 4 = 2 for s.
-2
Let t be -1 + 1 + (0 - -4). Solve g - t*g = -15 for g.
5
Suppose -3*u + 4*i + 4 = -u, -i = 3*u - 20. Solve -u = -6*n + 3*n for n.
2
Let i(m) = -m**3 - 2*m**2 + 5*m - 2. Let b be i(-4). Solve 0 = 2*r - 0*r - b for r.
5
Let w(n) = n**2 - 3*n - 3. Let i be w(-2). Let j(c) = -c + 10. Let d be j(i). Let x = 1 + -1. Solve d*q + x*q = -12 for q.
-4
Let a = 10 - 0. Suppose 5*g - 2*k + 1 = -1, -2*g + 5*k - 5 = 0. Solve g + a = 5*c for c.
2
Suppose 3*x = -x + 20. Solve -x = -2*c - 1 for c.
2
Suppose i - 4 = -4. Solve 11*c - 16*c + 20 = i for c.
4
Let u(y) = -y**3 + 7*y**2 - 6*y + 3. Let k be (-54)/(-30)*(-20)/(-6). Let o be u(k). Solve 5*l = o*l for l.
0
Suppose -t - 4*d + 17 = -d, -13 = -t - d. Suppose -t - 4 = -5*k. Solve -m - k*m = -4 for m.
1
Let i(v) = -v**3 + 8*v**2 + 2. Let x be i(8). Solve -8 = -2*r - x for r.
3
Let y = -3 - -6. Suppose 20 = -5*s, -j + 2*s + 27 = -y*s. Solve 3*l - j = 5 for l.
4
Suppose v = 4*f + 5, -f - 20 = -6*f - 4*v. Let j = 3 + 1. Solve 4*u - j = -f for u.
1
Suppose -71 = -6*u - 11. Solve -4*d = -6*d - u for d.
-5
Let w(x) = x**2 - 1. Suppose -7 = 5*v - 2. Let u be w(v). Suppose u = -4*g + 1 + 35. Solve 7*z - g = 4*z for z.
3
Suppose 2*y = -0*y + 5*u - 36, 0 = 5*u + 20. Let n be ((-18)/(-12))/((-6)/y). Solve -2*k - 10 = -n*k for k.
2
Let m be (1 - 0)/(2/22). Suppose 4*y = -u - 0*u, 2*u = 3*y + m. Solve -f = -u*f - 9 for f.
-3
Let w(d) = -6*d - 2. Let j be w(-1). Let i(a) = 5*a - 8. Let l be i(j). Solve c = 4*c + l for c.
-4
Let o = 12 - 8. Suppose -6 = -5*c + o*c. Solve k + 2*k - c = 0 for k.
2
Suppose 7 = 3*f - 14. Solve b = f*b + 30 for b.
-5
Suppose -4*i = -6*i + 8. Solve i*f = -3 + 11 for f.
2
Suppose -2*j + 30 = -b + 4*b, 4*b = -4*j + 44. Let g(w) = -w + 10. Let l be g(b). Suppose 0*f + f - l = 0. Solve -y - y - f = 0 for y.
-1
Suppose 0 = 2*o + 5*l - 14, -o + 2 = 2*o - 2*l. Suppose o*k = -k. Solve k = 3*p - 2 - 1 for p.
1
Suppose 5*d + 5 = 3*i + 2*i, -3*i + 2*d + 5 = 0. Solve 2*w + 9 = i for w.
-3
Let n be (-1 + -1 + 1)*-3. Let u(d) = -10*d - 1. Let c be u(2). Let o be (c/15 - -2)*10. Solve o*k = n*k + 9 for k.
3
Suppose -3*q + 8*q = -2*c + 30, -c + 12 = 2*q. Suppose -3*f - 19 = -5*g, -3*g + 19 - q = -f. Let w = f - -1. Solve 0 = 4*s - w*s for s.
0
Let a = -19 + 29. Suppose a = 5*q - 0. Solve 0 = 4*r - q*r + 10 for r.
-5
Let f(d) = d**2 - 7*d + 8. Let l be f(6). Suppose 2*s = 3*s. Let u = 0 + s. Solve u*i - 2 = l*i for i.
-1
Suppose -5*q + 10 = -5*s, 0 = -2*q - 0*q + 5*s - 5. Solve 3*w - q = 2*w for w.
5
Suppose 0 = -3*p + 41 + 34. Suppose -y - 7*m + 3*m - 20 = 0, -5*m = -4*y + p. Solve y*o = -o for o.
0
Suppose 0*r - 4 = -2*r. Let b be (-48)/(-80) + (26/(-10) - -2). Solve b*l = r*l for l.
0
Let v = 47 - 36. Solve -2*a - 5 = -v for a.
3
Let i be (-5 - -7)*6/4. Let h be ((-4)/2 + -2)*-1. Suppose p - i*p = -h. Solve x = p*x + 2 for x.
-2
Let u(m) = -3*m**2 + 8*m**2 + 1 + 2*m - m. Let z be u(-1). Solve 26 = -z*a + 1 for a.
-5
Let k(x) = -x**2 + 5*x + 7. Let w be k(6). Let n = 4 - 2. Suppose -5 = -3*l - 2*p, -l - 2 = n*p - w. Solve -17 - l = -4*d for d.
5
Let g be (28/6 - 4)*3. Solve 0 = -3*z - g*z for z.
0
Let i be ((-5)/(5/(-6)))/(-1). Let g = -6 - i. Solve -x + 2 - 4 = g for x.
-2
Suppose 4*m + m = 85. Suppose m = 5*z - 3. Solve z = j + 9 for j.
-5
Let r = 181 - 179. Solve -c + 15 = r*c for c.
5
Suppose -2 = -4*z + j - 0*j, 4*z + 6 = -3*j. Suppose 4*k - 5*o = 24, -4*o + 3 = -2*k + 15. Let g = 16 - k. Solve -2*w + z = g for w.
-5
Let a = -4 + -2. Let y be 7 + -8 - a/1. Suppose v + y*f + 15 = 0, -4*v - f + 0*f - 3 = 0. Solve 3*p + 6 = -v for p.
-2
Let c be (-4)/2 + 5 + 0. Suppose 5*g = 4*g + c. Solve 2*x = -g*x - 5 for x.
-1
Let f be 2/3 - 120/(-36). Suppose 0 = -5*s - r + 5, f*r - 20 = 3*s + 2*s. Solve -2*c = -s*c for c.
0
Suppose -2*d - 22 = -2*j - 0*d, j = -4*d + 36. Solve 0 = -4*c + 4 + j for c.
5
Suppose s - 5 = 4. Solve 0*k = 3*k - s for k.
3
Let c(n) = -8*n**2 - n - 7. Let s(q) = q**2 + 1. Let y(l) = -3*c(l) - 21*s(l). Let x be y(-2). Let g = x - 5. Solve 0 = -4*r - g - 19 for r.
-5
Let w = -5 - -6. Let h be 0*((-2)/w - -3). Solve 0*f + f = h for f.
0
Let p be ((-2)/(-