a.
1
Let g(r) = -r**2 - 15*r + 9. Let z be g(-14). Suppose 5*d - z + 8 = 0. Solve c + 1 = -d for c.
-4
Let j(u) = u**3 - u**2 - u + 2. Let p be j(2). Solve -p*h - 5 = -5*h for h.
5
Suppose -2*f - f = -30. Suppose -2*b = 10, 3*b - b = -2*x - f. Suppose x = -2*s + 22 - 2. Solve m - s = -m for m.
5
Suppose -2*g + 5*q = -15, -12 = g + 5*q + 3. Solve 3*j - 3 + 15 = g for j.
-4
Let y = 2 - 0. Suppose 3*h = k + 9 + y, 4*h - 3*k - 23 = 0. Suppose 19 = 3*s + 4, -3*s - 13 = -h*r. Solve -r = 5*m - 39 for m.
5
Suppose -2*d + 27 = 27. Suppose -w + 3*w - 10 = 0. Solve d = -0*j + w*j + 20 for j.
-4
Let h(r) = r**3 - r**2 - r + 4. Let m be h(0). Suppose -m*k = k - 80. Suppose 46 - k = 5*p. Solve -2*d = -p*d for d.
0
Let y = 86 - 80. Solve -3*u + u = -y for u.
3
Let y be (-2)/14 - 377/(-91). Let l be 2/(1/(6/y)). Solve -l*s = s - 8 for s.
2
Suppose -2*h + 3 + 3 = 0. Suppose d = -h*d. Solve d*v = v - 2 for v.
2
Let j be -1 - -3 - (-6)/2. Solve -2 = -j*f + 3 for f.
1
Let p be 3*((-11)/(-3) + -2). Suppose -p*t + 1 = -19. Solve 2 + 6 = -t*r for r.
-2
Suppose -13 = -4*l - 5. Suppose l*a + 2 = 16. Solve 5*f + a - 2 = 0 for f.
-1
Suppose -i + 5*i = 0. Suppose 3*k + 0*k = 12. Suppose 2*a - 2 = -5*y + 12, k = 4*y + 4*a. Solve i = -p - 0*p - y for p.
-4
Suppose 5*w - 4 = 4*w. Solve 0 = 2*i - w*i + 4 for i.
2
Let b(a) = -a**2 + 3. Let h be b(0). Let r be -22 + (1/1 - -1). Let i = r + 35. Solve -h*j + i = -0*j for j.
5
Let g(w) = -w**3 - 6*w**2 + 6*w + 9. Let j be g(-7). Suppose 5*a - x - j = -3*x, x = -4*a + 14. Solve -6 = 5*v + a for v.
-2
Let y(c) = c**3 - 6*c**2 - c + 6. Let t be y(6). Let r = t + 0. Solve r = 2*b - 7*b - 25 for b.
-5
Suppose 0 = -7*s + 4*s + 9. Suppose -s*w = w. Let u(h) = h**3 + h**2 + 3. Let z be u(w). Solve 0 = 2*q + 11 - z for q.
-4
Let f = -17 + 25. Solve 0 = -q - q - f for q.
-4
Let t = -25 + 29. Solve 7 - t = q for q.
3
Let a(l) = l**2 - 10*l - 9. Let v be a(11). Solve 0 = -2*r - 0 - v for r.
-1
Suppose 7 = r - 4*w, -2*w = r + w. Solve 4*z - z = r for z.
1
Let z(h) = -h**3 + 10*h**2 - 9*h + 3. Let v be z(9). Solve 0 = -3*t + 2*t + v for t.
3
Suppose -16 = u - 9. Let g = u + 9. Suppose 4 + g = l. Solve n - l*n = 20 for n.
-4
Let x(u) = -u**2 - 7*u + 7. Let t be x(-7). Suppose t*r = 4*r. Solve -j + 2*j = r for j.
0
Suppose -h + 3 + 3 = 0. Let p = h - 1. Suppose -x + 5*x = -2*b + 32, p*b = 4*x + 38. Solve -2*k - b = -4*k for k.
5
Suppose -4*c + 16 = -16. Solve -c = -a + 3*a for a.
-4
Let u = -5 - 2. Let m = -6 - u. Solve -x + 1 = -m for x.
2
Let o(g) = -g**3 + 5*g**2 - 2*g - 7. Let n be o(4). Solve -7*s + 6*s = -n for s.
1
Let l = -15 + 24. Suppose -4*c + 6*c - 14 = 0. Solve -4*r + c*r = l for r.
3
Let q = 8 + -5. Solve 0*i = q*i for i.
0
Suppose -3*x + 0*x + 6 = 0. Let n(j) = j**3 - 7*j**2 - 2*j + 5. Let q be n(7). Let r be q/(2/4*-3). Solve 0 = -v - r + x for v.
-4
Suppose -4 = -4*m - 4*y, y + 3 - 6 = 0. Let x = 1 - m. Let n = -3 + x. Solve n = 4*z - 1 + 5 for z.
-1
Let q = 12 - 7. Let r(v) = v**3 + 11*v**2 + 10*v + 12. Let t be r(-10). Let c be ((-9)/12)/((-1)/t). Solve q*w - c = 11 for w.
4
Let i(l) = -l**2 + 3*l + 11. Let w be i(-8). Let k = 137 + w. Suppose 0 = 5*u - k - 20. Solve -4*a + u = -0*a for a.
4
Let s be (-10)/45 + (-2)/(-9). Suppose -2*h + 36 = 3*u, s = 5*h - u - u - 52. Suppose 0 = 3*f - 9 - h. Solve -f = -3*q - 19 for q.
-4
Let o = 17 + -14. Solve o*u + 5 = 4*u for u.
5
Suppose 4*p = 3*t - 16, -3*p = 4*t - 0*p + 12. Let w(u) = -u**2 + 2*u + 6. Let o be w(4). Let n = 2 - o. Solve 9*m - n*m - 20 = t for m.
4
Suppose -4*l = 10 - 46. Suppose -3*p - 72 = -5*j, -7 = -j + p + l. Solve 5*r + 2 = j for r.
2
Let m(x) = -3*x - 1. Let s be m(-3). Suppose s = 2*f + 2*f, 4*f - 18 = -2*v. Let g = 0 + v. Solve g*n = n + 12 for n.
3
Let t(c) = -c**3 - c**2 + 2*c. Suppose 2*n + 2 = n. Let f be t(n). Solve -6*g + 4*g + 6 = f for g.
3
Suppose 3*w - 4 - 2 = 0. Solve o - 6 = -w*o for o.
2
Let h = -1 - -4. Suppose 0 = -2*y - k + 5, k - 4*k - h = 0. Suppose y*n = 10 + 35. Solve 9*f = 4*f + n for f.
3
Suppose -24*f - 6 = -26*f. Solve -f*d = -d - 10 for d.
5
Let j be 5 - -3 - (0/3)/2. Solve -20 = -j*y + 4*y for y.
5
Let f(m) = -m**3 - 8*m**2 + 5. Let h be f(-8). Solve -h*j = -j - 4 for j.
1
Suppose 27 = 2*g + 87. Let u = -10 - g. Solve u = 6*b - b for b.
4
Let v = -59 + 59. Solve v = -x - 3*x for x.
0
Let a be (-27)/(-15) - (-6)/30. Solve -a*h = 2*h - 20 for h.
5
Suppose 3*l - l - 8 = -4*a, 5*a - 24 = l. Suppose 1 = y - 3. Suppose 17 = y*u - k, 0*u + 5*u - 2*k = 22. Solve -u*r - a = 16 for r.
-5
Suppose 4*w = -4 + 28. Let l = w + -4. Solve 0 = p + p + l for p.
-1
Let j = 1 - 1. Let h(u) = 2*u**2 - u - 1. Let z be h(-1). Let t(o) = 3*o**2 - 4*o + 2. Let w be t(z). Solve s + s - w = j for s.
3
Suppose -f + 12 = -0. Let d(x) = x**2. Let h(n) = n**2 + 4*n - 2. Let y(w) = 2*d(w) - h(w). Let z be y(4). Solve 0 = t + z*t - f for t.
4
Let c = 136 + -128. Solve -c = -6*i + 4*i for i.
4
Suppose 5*c + 95 = -5*w, 0 = 4*w - 0*w + 2*c + 68. Let i = -14 - w. Solve 4 = -s + i for s.
-3
Suppose -2*r = -4 - 6. Suppose 2*p = -4 - 2. Let x be (p - -3) + (1 - 1). Solve 0 = -n - x*n + r for n.
5
Let f(y) = y**2 + 3*y - 1. Let p be f(-4). Solve -p*n + 3 = -0*n for n.
1
Let h(t) = -t**3 + 8*t**2 + 2*t - 11. Let x be h(8). Suppose 3*q + 5*u - 11 = 0, -x*q + 15 = -0*q + 5*u. Solve -q*o = 2*o for o.
0
Suppose 4*m = 3*m + 4. Suppose -m*c + 41 + 79 = 0. Let h be ((-24)/10)/((-9)/c). Solve h - 23 = 5*f for f.
-3
Suppose -16*g + 10*g + 12 = 0. Solve -g*m - 3 = 1 for m.
-2
Let d be (-22)/4 + (-8)/(-16). Let f(k) be the second derivative of k**5/20 + k**4/2 + k. Let s be f(d). Solve -3*l = 2*l - s for l.
5
Suppose -6*p = -5*p - 5. Solve -4 = -u - p for u.
-1
Let l be (0 + -2)*(-5 - 3). Suppose 8*o - l = 4*o. Solve 0*g + o = 2*g for g.
2
Suppose 5*c + 0*s - 4*s = -58, 0 = -s + 2. Let t be 5/(c/(-24)) - -1. Let z be 2 + 0 + 16 + (-8 - -2). Solve -5*i + z + t = 0 for i.
5
Let q be 1/5 - (-55)/(-25). Let r be q + (0 - -3 - -1). Suppose -b + r*o - 10 = b, -3*b = o - 5. Solve b = -t + 5*t for t.
0
Let g be (-1)/(3/(-9)) + 2. Let i(m) = -3*m + 10. Let w be i(3). Solve f = -g + w for f.
-4
Let d = -14 + 14. Solve d = m - 3*m - 10 for m.
-5
Let o = -66 - -67. Solve -o = -5*g - 16 for g.
-3
Suppose -5*w + f + 0*f + 175 = 0, 0 = w - 2*f - 35. Let m = 59 - w. Let b be 66/m - (-1)/4. Solve -7 - b = 5*n for n.
-2
Let t(z) = z**3 - 7*z**2 + 5*z + 15. Let i be t(6). Solve 0 = 2*b - 1 + i for b.
-4
Suppose 0 = -4*p + 3*b + 18, -5*p = b + b - 34. Let t = 5 - 1. Suppose y = -4*l + 21 + 36, t*l - 58 = -2*y. Solve -5*j - l = p for j.
-4
Let r = -2 - -3. Suppose -w + 6 = r. Solve w*u = 3*u - 4 for u.
-2
Let q(r) = -r + 19. Let y = 7 + 9. Let j be q(y). Solve 0 = -2*n - j*n + 15 for n.
3
Let g = 14 - 8. Suppose t + 3*t - 9 = b, -2*b + g = 4*t. Solve 15 = -t*c + 5 for c.
-5
Let c(l) = -2*l**2 + 3*l + 4. Let m be c(3). Let a(r) = -r + 2. Let s be a(m). Suppose 20 = -2*v + s*v. Solve -5 = v*k - 1 for k.
-1
Let x(t) = -t + 2. Let j(p) = 3*p - 6. Let r(f) = 3*j(f) + 8*x(f). Let q be r(2). Solve q = -4*n - 3 - 1 for n.
-1
Let x(o) = o**2 - 3*o + 2. Let g be x(3). Suppose 2 = 2*k - g*c - 2, -10 = -5*c. Solve k*t - 12 = t for t.
4
Let p be 4/10 - (-23)/5. Let t(q) = -8*q + 4. Let d be t(-6). Suppose 0 = k + 2*u - u - 12, -3*u + d = 5*k. Solve p*l - 3*l = -k for l.
-4
Let g = 1 + -1. Suppose g = -2*k + k. Let d be (-11)/(-33) + 10/6. Solve 0 = -n - k*n - d for n.
-2
Suppose 0 = -t - 3*n - 13, -2*n = 9 + 1. Solve t*i - 5*i + 12 = 0 for i.
4
Let g(j) = j**2 + 5*j + 4. Let o be g(-5). Suppose 0 = -4*a - o*c + c + 5, 4*a - 4*c = 12. Solve u - a = -4 for u.
-2
Suppose -z - 4*x = 4*z, 4*x + 28 = 2*z. Solve z*n - n = -12 for n.
-4
Let f be (-1)/(1/(-1 + 2)). Let m = 6 - f. Solve 0 = -m*n + 2*n for n.
0
Suppose 3*f = -2*w - 4, 4*f + 28 = 2*w - f. Solve -z - 25 = w*z for z.
-5
Suppose 0 = -5*p - 3*g - 14, 2*p + 5*g = g. Let x be p - -2 - (4 - 2). Let m = 7 + x. Solve -m*v = -v + 4 for v.
-2
Let f(y) = -3*y + 15. Let m be f(5). Solve i - 6*i = m for i.
0
Suppose 4*n - 8 - 36 = 0. Suppose 4 = 3*h - n. Solve 0 = -a - h - 0 for a.
-5
Let w be 5 + -5 - ((-1 - 1) + 1). Solve c = -w + 4 for c.
3
Suppose 0 = -3*i + 2*p - 6, 3*i - p = -2*i - 3. Solve i*k - 20 = -5*k for k.
4
Let u be 2/(-4)*40/(-5). Suppose 3*a - 45 = -5*q - 2*a,