 0 for a.
-4
Let r(y) = -8*y - 44. Let u be r(-14). Let n = 75 - u. Solve q + 9 = n for q.
-2
Let d be ((-212)/(-159))/(86/(-84) - -1). Let a = -53 - d. Solve 0 = 8*l - a*l + 20 for l.
-4
Suppose 0 = 5*l, h - 5*h + l = -56. Solve 5*s = h + 6 for s.
4
Let b(s) be the third derivative of -s**5/60 + 3*s**4/8 + 8*s**3/3 + 2*s**2. Let a be b(10). Solve 0 = -u - u - a for u.
-3
Let d = -20 - -22. Suppose 0 = d*g - 3*g + 2. Let l(m) = m + 1. Let s be l(g). Solve -2*v + s = -v for v.
3
Let h be (-874)/(-207) - 6/27. Solve -3*a - h = -7 for a.
1
Suppose 0 = -5*y + 16 - 131. Let v = 28 + y. Solve -v*w = -0*w + 20 for w.
-4
Let f = 30 - 25. Suppose -6 = -f*q - 4*z, -2*z + 6*z = -q - 2. Solve 5*c + 7 = q for c.
-1
Let a(r) = r**2 + r + 1. Let b(n) = n**3 - 3*n**2 - 2*n + 2. Let d be b(3). Let s be a(d). Let c(g) = -g**2 - g + 8. Let j be c(-3). Solve j*f + 3 = s for f.
5
Let m(i) = 5*i + 76. Let v be m(-9). Solve v = -o + 32 for o.
1
Suppose o + 87 = -3*o - p, -o + p - 23 = 0. Let u = 33 + o. Suppose -u*r = -6*r. Solve r = 4*y - 3 - 1 for y.
1
Suppose -4*w = 20*w - 144. Solve -w*t = -11*t - 5 for t.
-1
Let f(s) = -4*s**3 - 15*s**2 - 16*s + 17. Let m(r) = -7*r**3 - 30*r**2 - 31*r + 33. Let z(i) = 5*f(i) - 3*m(i). Let y be z(-14). Solve 0*b + 2*b + 10 = y for b.
-5
Let x(y) = -y**3 + 5*y**2 - 5*y + 4. Let h be x(4). Suppose -2*m + 4 = -h. Solve -4*l = m + 6 for l.
-2
Suppose -14*h + 22*h = 48. Solve 5*k = h*k + 1 for k.
-1
Let w be 649/77 - 8/(-14). Suppose m - 4*m = 2*i - 6, 0 = 3*i + 3*m - w. Suppose -b - i*b = -20. Solve -b*y = 9 + 6 for y.
-3
Suppose 7*r - 27 = 8. Solve -16 - r = -7*w for w.
3
Let a be (-4)/3*(-156)/(-8). Let v = 29 + a. Solve -m - 8 = v*m for m.
-2
Let s(x) = x**3 - 13*x**2 + x - 11. Let f be 16 + -3 + 2 + -2. Let h be s(f). Solve 0 = -h*q - 3*q for q.
0
Let r(v) = -12*v - 19. Let u be r(-2). Solve 0*t = -u*t - 5 for t.
-1
Let l(o) = 17*o - 658. Let a be l(39). Solve -a*w + 9*w - 20 = 0 for w.
5
Let g be (-6)/9*-78 - (-1 + 0). Let n be g/7 + (-12)/(-28). Solve j = -j - n for j.
-4
Suppose 3*k + 3*k = 0. Suppose -t + 25 = t - 3*p, 4*t = -2*p + 10. Solve k*s + s = t for s.
5
Let t be (2 - -8)/(-2 + 3). Solve -t*j = -8*j - 10 for j.
5
Suppose 5*i + 110 = 15*i. Suppose 14 + i = 5*h, -55 = -3*v - 5*h. Solve v*u = 5*u - 15 for u.
-3
Let s = 7 - 4. Let b be (-2)/(-1 + s) - -4. Suppose -k + 35 = 5*r, -k = -2*r + 4*k - 13. Solve -b + r = d for d.
3
Let s(w) = w**3 + 59*w**2 + 106*w - 176. Let v be s(-57). Solve -v*n + 20 = -275*n for n.
4
Let g = -10 - -19. Suppose -6*h = -g*h + 12. Let k be ((-25)/(-20))/(h/16). Solve 2*c + 3 = k*c for c.
1
Let t = -136 + 139. Solve t*b + 2 = -4 for b.
-2
Suppose 0 = -2*c - c + 18. Let f(s) = -5*s**2 + s**3 + 6*s + 0 - 8*s - 5 + 0*s**3. Let a be f(c). Solve 0 = -5*l + a + 1 for l.
4
Let l be 0*3/(-6)*1. Suppose -3*n = -2*z - 13, 0*n + 6*z + 21 = 3*n. Solve l = -3*m - 0*m - n for m.
-1
Suppose 2*r + 3*r = 25. Solve -1 = 4*p - r*p for p.
1
Let k(v) = v**2 - 2. Let l be k(0). Let f be 0 - -8 - (-3)/(-1). Let o = l + f. Solve 2*t - o = -1 for t.
1
Suppose d - 6*d - 24 = -2*b, 5*b = d + 14. Solve m + 5 = b*m for m.
5
Let n = 14 - 10. Suppose 0 = c + 3, -n*q - c - 2 + 7 = 0. Solve q*l + l = -15 for l.
-5
Let s = 366 - 364. Solve 5 = v + s for v.
3
Let m(j) = 23*j + 69. Let q be m(-3). Solve -5*n = -q*n - 5 for n.
1
Let p(h) = 6*h + 42. Suppose 0 = -10*j - 80 + 10. Let u be p(j). Solve u*o = o for o.
0
Suppose -64 = 3*b - 4*i, -b + 0*i - i - 26 = 0. Let m = 26 + b. Suppose -3*a + j = -16, j = -m*a + 3*j + 16. Solve -5*c + c = -a for c.
1
Let o(p) = p**2 + 9*p - 10. Let q be o(-9). Let g be (-2)/4 - 15/q - -2. Solve -5*d = -g*d for d.
0
Suppose 4*b - 3*x = -5, -3 = -3*x + 6. Suppose 5*n + 5 = 3*o, 3*o - 2*n = 2 - 0. Let c be (o/(-2))/(1 - 0). Solve c*s - s + b = 0 for s.
1
Let w(x) = -4*x - 6. Let j be w(-2). Suppose j*v - 21 = -3*r + 3*v, -4*r + 39 = -5*v. Solve 7*c = r*c for c.
0
Suppose -134*b - 42 = -137*b. Suppose b*u = 12*u. Solve u = -10*q + 6*q for q.
0
Let m(w) = 21*w**2 - w. Let d be m(1). Suppose -4*c = -4*j + d, -17 = -j + 3*c - 6. Let b = 279 + -279. Solve -j*i + i + 3 = b for i.
3
Suppose 0 = -2*f - 16 - 16. Let k = f - -12. Let a be 1 - (-4)/k*1. Solve -3*d + 3 = -a*d for d.
1
Let i(w) = -w**2 - w + 2. Let u be -3 + 10 + -4 + -2. Let l be i(u). Suppose l = -4*n - 4*v + 56, -4*v + 30 - 86 = -4*n. Solve n = -4*c + 2 for c.
-3
Let s(w) = w**3 - 4*w**2 + w. Let q be s(4). Suppose 19*c - 18*c = q. Solve 16 = 4*n - c for n.
5
Let g be 0/(-3 + -1 + 1). Suppose g = -4*t + t + 42. Let u = 19 - t. Solve f = 1 - u for f.
-4
Let x be (-1 + 2)/(9/333). Let t(d) = d + 2. Let c = 3 + 0. Let b be t(c). Solve b*g = -12 + x for g.
5
Let q(r) = -2*r**3 - r**2 + r. Let c be q(-2). Suppose 2 = w + 4, 5*w = -3*t - c. Solve t = -0*o + 3*o for o.
0
Suppose -5*i - 3*j + 23 = -3*i, i - 17 = 4*j. Solve 4*h = i + 7 for h.
5
Let p(k) = 35*k - 100. Let w be p(3). Solve 21 + 4 = w*y for y.
5
Let d = 13 - 19. Let a = d - 2. Let h be 4 - (-4)/8*a. Solve v = -h*v + 2 for v.
2
Let h(x) = -12*x + 89. Let a be h(7). Solve -a*d = 2*d - 7 for d.
1
Let z(d) = -d**3 - 5*d**2 - 2*d - 6. Suppose 4 + 1 = -a. Let n be z(a). Suppose -5*s = 5*h + 5, 13 = 3*h - 0*s - s. Solve -n*f + h*f = -4 for f.
4
Suppose 6*p + p - 84 = 0. Suppose -p*r + 64 - 16 = 0. Solve r*q = 3*q + 1 for q.
1
Suppose -5*d - 3*j - 20 = 2*j, -4*d = 5*j + 20. Suppose -i - 5*u - 2 = 0, -i - 2*u + u = -2. Let k = i - 3. Solve k = 3*v - d*v - 6 for v.
2
Suppose 3 - 12 = -3*o. Suppose o*v = 5*v - 8. Suppose 25*m - 260 = -260. Solve 20 = v*u - m*u for u.
5
Let s = 146 - 144. Solve 4*t = s*t - 4 for t.
-2
Let d = -8 - -8. Solve d = -h - 18 + 17 for h.
-1
Let n be 3/(-6)*0/(-1). Let y be (2 + -7)/(n - 1). Solve y*x + 2 = 3*x for x.
-1
Suppose 0 = -4*n + 8. Suppose -6 = 2*h + n, -30 = -2*v + 3*h. Suppose 0*d + 3*d = v. Solve 0 = -6*o + d*o for o.
0
Suppose -25 = -2*a - 3*a. Suppose t + 2*n + 0 = 10, 10 = 5*t + 2*n. Solve a*x + 0*x = t for x.
0
Suppose 0 = 130*z - 125*z - 15. Suppose z*p - 7 = 2. Solve p*i = 7*i - 8 for i.
2
Let j = -22 + 22. Let k be (0/(-1 + j))/(-1). Let p = -4 - -12. Solve p = -4*c - k*c for c.
-2
Let h(k) = -k**3 - 4*k**2 + 6*k - 9. Let t be h(-6). Let r = -24 + t. Solve -r + 2 = c for c.
-1
Let r = 52 + -50. Let x(o) = 5*o**2 - 9*o - 2. Let h be x(r). Solve 2*q + h = -10 for q.
-5
Let p = 1758 + -1737. Solve -p*m + 9 = -24*m for m.
-3
Let i(m) = -m**3 + 8*m**2 - 7*m. Let k(n) = -n**3 - 5*n**2 + 7. Let s be k(-5). Let h be i(s). Suppose -f + 5*f = h. Solve -3*q + f = -6 for q.
2
Suppose -3*i = -3*p + 15 + 24, 5*p - i = 53. Suppose -17 = -k + 2*t - 6*t, -3*k + 3*t - 24 = 0. Let y be ((-10)/k)/(p/15). Solve -b + y*b = -4 for b.
-1
Let p(o) = -2*o**2 + 11*o + 7. Let l(v) = -v**2 + 10*v + 6. Let y(f) = 6*l(f) - 5*p(f). Let n be y(-1). Solve n = -w + 3*w + 2 for w.
-1
Let s be ((-1 + 1)/(-4))/3. Let g be 12/7 - 6/(-21). Solve -g*v - 2*v = s for v.
0
Suppose -w - 11 + 18 = 0. Solve w*b = -15 - 6 for b.
-3
Suppose 2*x + 16 = 4*x. Suppose -4*z - 20 = 0, 0 = f - 2*z - x - 3. Let h = 4 - f. Solve -1 - 8 = h*j for j.
-3
Let o be (-112)/(-28) + 2/(-4)*-6. Solve 3*r = -4*r + o for r.
1
Suppose 7*q = 5*q + 96. Let y be (-12 - -7)*q/(-10). Let k be 69/y - 2/(-16). Solve j = 5 - k for j.
2
Let l(q) = -q - 1. Let z be l(-5). Suppose -57*g - 5*x = -54*g + 19, g - 22 = 4*x. Solve -g*r + z = 8 for r.
-2
Let o(b) = -b**3 - 23*b**2 + 3*b + 69. Let t be o(-23). Let r(n) = -n - 3. Let h be r(0). Let u = h - -3. Solve u = j - t*j + 1 for j.
-1
Let q(y) = 7*y**2 + 29 + 30 - 60 - 2*y. Let w be q(-1). Solve 24 = -4*m + w for m.
-4
Let t(j) = j - 15. Let q be t(-12). Let m be (q/18)/(2/(-12)). Solve 6 = 5*p - m for p.
3
Let h = -202 + 205. Solve -4*p + 1 = -h*p for p.
1
Let b(u) = -u**3 - 12*u**2 - 20*u + 14. Let v be b(-10). Solve -2 = v*l - 15*l for l.
2
Let s = -102 + 104. Solve -6*u = -s*u - 8 for u.
2
Let k(u) = -u**3 - 14*u**2 - 2*u - 15. Let o be k(-14). Solve 14 = -6*c + o*c for c.
2
Let o be -5 - (3*-2)/(-2). Let w(y) = -y**2 - 8*y + 3. Let m be w(o). Suppose m*g + 12 = 5*g. Solve 0 = -3*z + g - 18 for z.
-4
Let y = -863 - -865. Solve -y*q = -0*q for q.
0
Let t be (-4)/(-40)*0 - (-1 - 10). Solve 18 = t*u - 2*u for u.
2
Suppose t + 4 = -9*j + 4*j, 6 = -3*j. Suppose o - 2*n - t = 0, -