a.
3
Let l be (-2)/((50/(-65))/5). Suppose -3*d + l*d = 3*d. Solve 2*g = -d*g for g.
0
Let x be (-2)/(-7) - 759/(-161). Solve 4*z - x*z = -3 for z.
3
Suppose -15*l = -13*l + 20. Let w = -6 - l. Solve -w*c + 6 = 26 for c.
-5
Suppose -5*k = 4*b + 34 - 84, 2*k - 22 = -2*b. Solve 0 = c + 1 - k for c.
5
Let i(v) = -v**3 - 10*v**2 - 15*v + 11. Let y(l) = -4*l - 4. Let a be y(1). Let b be i(a). Solve -2*u - b*u = -25 for u.
5
Let t be 3 - ((-6)/10)/(4/(-20)). Suppose 4*f - q - 9 = 0, 2 = 3*f + 4*q - t. Solve 0 = f*v - 12 + 2 for v.
5
Let a = -2187 - -2190. Let l(c) = c**3 + 7*c**2 + 4*c - 8. Let n be l(-6). Solve a = -n*y - 9 for y.
-3
Let j(m) = -2*m - 6. Let u be j(-6). Let i be (-1)/2*(-14 - u). Suppose 0 = 4*f - l - 27, -l = -2*f - 0*l + 13. Solve -2*z - i = -f*z for z.
2
Let c = -165 - -154. Let l(f) = -f - 9. Let x be l(c). Let z = 2 + -2. Solve -i + 6 - x = z for i.
4
Let b(f) = -4*f - 54. Let n be b(-19). Solve 5*l = -n - 3 for l.
-5
Let s(x) = -x**3 + 8*x**2 - 5*x + 3. Let y be s(7). Suppose -y = -2*w + f, -5*w + 5*f = 1 - 51. Suppose -3*i + w*i - 16 = 0. Solve -1 - 11 = i*m for m.
-3
Suppose 0 = l - 3*l + 84. Suppose -l = a - 7*a. Solve 3*p - a*p - 8 = 0 for p.
-2
Let o(w) = -4*w - 8. Let j be o(-8). Suppose 8*k + j = 11*k. Solve 0*z = 2*z + k for z.
-4
Suppose 0 = -287*o + 285*o. Solve o*m = m - 2 for m.
2
Let t(d) = -d**3 + 6*d**2 + 7*d + 4. Suppose 6 = 4*g - 22. Let z be t(g). Solve 0*m + z*m = -8 for m.
-2
Suppose -n - 5*l - 4 + 26 = 0, -20 = -4*n - 3*l. Suppose -3 = -2*g - 3*o + 9, -o = -n. Solve -g*t = -0*t + 15 for t.
-5
Suppose 58 = -2*v - 5*u - 21, -3*v - 84 = -4*u. Let b = 24 + v. Let i be ((-4)/b)/(2/24). Solve -i*y = -y + 20 for y.
-4
Suppose 2*i + 0*i - 108 = 0. Suppose 4*g - 6 = i. Let l = g - 12. Solve l = q + 1 for q.
2
Let r be -1*(-1)/2*2. Let p be 1/((-1)/(-2)) - 0/(-27). Let h be (-3)/(-2) + r/p. Solve h*j + j - 6 = 0 for j.
2
Let p(z) = z**2 + 2*z - 5. Let m be p(-3). Let a be m + 4*4/8. Suppose 4*h = -a*h. Solve h*c = 4*c for c.
0
Let y(k) = -23*k - 89. Let s be y(-4). Solve -s = -2*o + 3*o for o.
-3
Suppose j + 16 = -0*g - 4*g, -5*g = 5*j + 5. Suppose -n = j*n - 115. Let v = n - 18. Solve 5 = v*h - 0 for h.
1
Let d be 1*-10 - (5 + -7). Let p be (-6)/d - (-48)/(-64). Solve p*t - 15 = -3*t for t.
5
Let j(d) = -d**2 + 10*d - 11. Let l be j(9). Let g be (-1)/(l/(-4)) + (-2 - -4). Solve g = y - 0 + 2 for y.
-2
Let i be (3 + -5)/((-3)/12). Solve i = 5*y - y for y.
2
Let x(b) = b**3 - 3*b**2 + 3*b - 7. Let s be x(3). Solve 2*h + 8 = s for h.
-3
Suppose 0 = -3*x - 0*x + 3. Suppose 0 = 3*c + 5*r, 2*c - 3 - x = -2*r. Let y be (258/(-430))/(0 - 1/5). Solve 2 = -c*a - y for a.
-1
Suppose i + 3*i - 40 = 0. Suppose 0 = 11*g - i*g - 2. Solve -3*j + g = -1 for j.
1
Let n(r) = -r**3 - 13*r**2 + 15*r + 10. Let g be n(-14). Let w be (g - (-6 - -3))*-2. Suppose -w*u + 4*u = 2. Solve -u = v - 5 for v.
4
Let q(z) = -2 - 2 + 6*z - 15*z - 2*z**2 + z**2. Let h be q(-6). Let w = -11 + h. Solve r = w*r + 2 for r.
-1
Let m(r) = r**3 - 5*r**2 + 7*r - 9. Let b be m(4). Solve 0 = b*f - 11 + 2 for f.
3
Let a(m) = m**2 - 2*m - 2. Suppose -16 = -5*r + 4. Let f be a(r). Solve -4*l = -l + f for l.
-2
Suppose 2*f - 10 = 2. Let t be (6/(-9))/((-2)/f). Let k be ((-12)/16)/(t/(-16)). Solve 0 = i - 3*i + k for i.
3
Let j be 15/2*16/(-8). Let t = 19 + j. Solve -9*x = -t*x - 15 for x.
3
Suppose -9*f + 80 + 28 = 0. Solve 2 + 10 = f*y for y.
1
Suppose -5*x = -2*f + 45, x - 12 = -3*x. Solve 6*a = f - 48 for a.
-3
Suppose 6*n - 42 = -30. Solve -4 = n*q - 0 for q.
-2
Suppose 0 = 3*b + b. Suppose 3 = i - 3*n, 0 = -17*n + 21*n. Suppose -3*z - i = -b*z + 4*f, 0 = -4*z - 2*f + 6. Solve 4*t - 3 = z*t for t.
3
Let p = 471 - 414. Solve -52 = -q - p for q.
-5
Suppose 0 = u + 4*u - 15. Let x = -3 + u. Suppose -9*j = -6*j - 36. Solve -3*q + 6*q + j = x for q.
-4
Suppose 5*w - 4*w - a = 0, -16 = -5*w - 3*a. Suppose -4*n + 20 = -5*d, 4*n + 4*d + 9 = -7. Solve -b - w = -n for b.
-2
Suppose 5*u - 58 + 53 = 0. Suppose -3*q = -5*f + 21, 3 = 2*f - 3*q - 9. Suppose -2*r + 5*t = -24, -t - f = r - u. Solve -j = -3*j - r for j.
-1
Suppose p = -p - 2. Let g(j) = -3*j**3 - j**2 - 2*j - 1. Let k be g(p). Suppose 2 = -0*x + x. Solve -x*h + 10 = k*h for h.
2
Let n be 65/55 - (48/22 + -2). Solve n = v - 2*v for v.
-1
Let m = -63 + 65. Solve -m*v = -8 + 6 for v.
1
Let v(w) = -2*w**2 - 4*w - 5. Let d be v(-3). Suppose 2*b - 34 - 28 = 0. Let m = b + d. Solve -m = -0*z + 4*z for z.
-5
Let o(v) = 2*v - 14. Let x be o(6). Let u(k) = -2*k**3 - 3*k**2 - 2*k - 2. Let n be u(x). Solve 4*s + n = s for s.
-2
Let l(y) = -32*y - 192. Let p be l(-6). Solve -7*o + 9*o - 2 = p for o.
1
Suppose -5*t = c - t - 117, 3*c - t - 286 = 0. Suppose -a = 5*p - c, a = 2*p - 0*a - 43. Solve -2*v = -7*v - p for v.
-4
Let n(h) = -h**3 + 17*h**2 - 64*h - 11. Let v be n(11). Solve 0*c - 44 = v*c for c.
-4
Let y be (-2)/16*2 - (-7)/28. Solve -5*z + 3*z - 8 = y for z.
-4
Let u(p) be the third derivative of p**4/8 - 5*p**3 + 15*p**2. Let l be u(10). Solve -5*i + 3*i = l for i.
0
Suppose -2*h = -16*h + 280. Solve -22*y = -26*y - h for y.
-5
Let y be (9/9)/(2 - (-14)/(-8)). Suppose y*i - 8 + 0 = 0. Solve -2*b = i*b - 8 for b.
2
Suppose -432 = 19*n - 22*n. Let x be (-2)/16 - n/(-128). Let o be x - (-6 + -1 - -4). Solve 2 = -o*g - 10 for g.
-3
Let p(u) be the second derivative of u**4/12 + u**3/3 + u**2/2 + 3*u. Let t be p(2). Suppose -3*m + 3 + t = 0. Solve -l + 5 - m = 0 for l.
1
Suppose 5*s = 10*s. Suppose s = 7*u - 2*u - 40. Let p(l) = l**2 + 9*l - 8. Let q be p(-10). Solve q + u = -2*x for x.
-5
Let d = 1067 + -1065. Solve d - 32 = -10*o for o.
3
Let p(s) = -s**3 + 11*s**2 - 16*s - 15. Let l be p(9). Solve 0*j + l*j - 15 = 0 for j.
5
Let g = -2121 + 2132. Solve 3 = g*y - 41 for y.
4
Let r be (-2)/7*56/(-8). Let i be (-17 - -2)*6/(-10). Suppose 1 = -r*m + i. Solve m = 2*z - 3*z for z.
-4
Suppose 0 = 8*q - 30 - 10. Suppose -q*g + 2 = -8. Solve g*m - 7*m = -10 for m.
2
Let r(t) = -2 + 4 + t - 1. Suppose x - 30 = -4*x. Let j be r(x). Solve 5*l = -j - 18 for l.
-5
Suppose 0 = -3*n - 127 - 26. Let t = -29 - n. Let q = -19 + t. Solve -9 = q*p + 6 for p.
-5
Suppose -4*c = 2*v + 42, -4*v = -2*c - c - 26. Let q(j) = j**2 + 7*j - 7. Let k be q(c). Let d = k + -15. Solve -3*p + p = d for p.
-4
Let c(i) = i + 1. Let j be c(-3). Let k be 24/(j + 0) - -2. Let a = k - -12. Solve a*d = -3*d + 15 for d.
3
Suppose 16 = -3*i + 5*v - 6, -18 = -3*i - 3*v. Let j be (0/2)/(-2 - i). Suppose 4*h + 4*s - 12 - 20 = 0, -3*h + 5*s = 8. Solve -2*c + 4 + h = j for c.
4
Let j = 4755 + -4740. Let o be (-5)/(-4)*(1 - -3). Solve -5*w - j = -o for w.
-2
Let f(d) = d + 1. Let s(n) = -2*n + 2. Let a be s(-2). Suppose -2*j + 2 = -a. Let r be f(j). Solve -r = b - 0 for b.
-5
Let f(c) = c**3 + 4*c**2 - 6*c. Let m be f(-5). Suppose -m*y + 5*s + 55 = 0, 5*y - s - 16 - 27 = 0. Solve 4*x - y*x = -4 for x.
1
Let i be ((6 - 0) + -4)/2. Let t(o) = 24*o + 5*o**3 - 4*o**3 + 8*o**2 - 3 - 25*o. Let b be t(-8). Solve 0 = 2*d + i - b for d.
2
Suppose 2*w - 5*m = -9, 2*w - 3*w - m + 13 = 0. Suppose -4*v = 4*i - w, -2*v = -3*i - 1 - 3. Solve i = 3*q - q - 6 for q.
3
Let l = -206 + 225. Solve 2*r - 15 = -l for r.
-2
Let m = -4 - -6. Suppose 4*r = m*r + 54. Suppose 5*j - r = -4*q, -5*j - 2 = -17. Solve 3*f - 4*f = q for f.
-3
Suppose -14*l - 1 = -57. Solve l*f = 6*f for f.
0
Suppose -117*f = -118*f + 13. Solve 23*n + f = 10*n for n.
-1
Let q(t) = t**3 + 7*t**2 + 8*t - 10. Let d be q(-5). Suppose 5 = -2*c + 7*c - a, -a + 5 = d. Solve -6*m = -c*m for m.
0
Suppose 3*f + 0 - 6 = 0. Solve -2*g = f*g + 4 for g.
-1
Suppose 3*i + 17 = 47. Suppose 0*f + 2*f + u = -5, -f + i = -2*u. Let t be (-3)/(-9)*f - -5. Solve -t*s + 23 = 3 for s.
4
Suppose 136*y = 123*y - 91. Let k be 124/(-8) - (-2)/4. Let x be (-10)/k + y/(-3). Solve 4*c + x - 11 = 0 for c.
2
Suppose 15 = h - 3*u, 5*h + u + 10 = 7*h. Solve -4*b = -b + h*b for b.
0
Let v(h) be the second derivative of -h**5/20 + 5*h**4/12 + h**3/6 - 3*h**2/2 + 25*h. Let i be v(5). Solve 0*a = i*a for a.
0
Let k be 6 + -2 - (-6)/(-3). Let i(z) = 2 + 0*z - 6*z**3 + 5*z**2 + 5*z**3 - 5*z. Let y be i(k). Solve 2 = y*a - 10 for a.
3
Suppose -2*j - 3*k + 1 = 0, 3*k + 7 = -j + 3*j. Suppose -5*h - 64 = -9*h. Suppose -g + 3*r - 2*r = -h, 2*g - 5*r = 44. Sol