a + 85. Let y be g(-9). Let n be y/12*2*6/(-8). Solve d = -n*d - 10 for d.
-2
Suppose -13*a + 2*a + 66 = 0. Solve -a*r + 5 = -13 for r.
3
Suppose 0 = 3*p + p - 8. Let b be (4/3)/(p/(-9)). Let v be (-9)/b*(-16)/(-12). Solve 0 = -v*i - 13 + 5 for i.
-4
Suppose -4*l - 4*y = -6*y - 94, 0 = 3*l + 2*y - 88. Suppose -f = -5*h + 10, -2*h + l = 5*f - f. Solve 2*s - h = 1 for s.
2
Let c(w) = -w**3 - 2*w**2 + 5*w - 6. Let b be c(-4). Let f be b + 9/(-21) + 6/14. Let p = 7 + -4. Solve -3*x = f - p for x.
-1
Let h = 3 - 3. Suppose h = -0*g - 3*g - 2*d, 0 = 2*g - 5*d - 19. Solve 4*f = g*f for f.
0
Suppose -2*l + 2 = -2. Suppose 4 = -l*j - 2. Let t = 0 - j. Solve -15 = 4*y - t for y.
-3
Let z = -74 - -77. Suppose 5 = -4*d + 9. Solve d + 8 = z*w for w.
3
Let n = 78 - 72. Let h be (n/(-9))/(1/12*-2). Solve 0 = -h*i - 6 - 2 for i.
-2
Let s be 1 - (-26 + 3 + -2). Suppose n = -s - 13. Let p be (-6)/n - (-111)/39. Solve d = 4*d + p for d.
-1
Let h(f) = f**3 - 5*f**2 + 3*f - 2. Let b be h(2). Suppose -18 = -2*v + 6. Let g = v + b. Solve -g*a = -0*a + 12 for a.
-3
Suppose 4*b - 4*o = -168, 13 = -5*o + 3. Let c be b/(-12) - 2/(-6). Solve c = r + 3*r for r.
1
Let t(n) = -3*n - 25. Let x be t(0). Let w be -5*(15/x + 0). Solve 0 = w*r - 12 for r.
4
Let h(z) = -z**3 + 7*z**2 + 2*z - 18. Let k be h(7). Let g be k/10 - (-2)/5. Solve -a - 2 + 0 = g for a.
-2
Let d(l) = -l**2 - 11*l + 13. Let c be d(-12). Let y be (-3)/(-2 + -1 - -2). Suppose -t + y = c. Solve -t = -3*j + j for j.
1
Let m(s) = 2*s - 6. Let c be m(-3). Let r = 17 + c. Suppose 3*y - q = -0*q + 11, 23 = -y - r*q. Solve -a - y = a for a.
-1
Suppose 10*x = -197 + 757. Solve 53 = 3*m + x for m.
-1
Let c = -73 - -73. Suppose 4*o + 10*o - 56 = c. Solve o*z = -0*z + 12 for z.
3
Suppose 0 = -2*d - 18 - 0. Let t(p) = 7*p**2 + 62*p - 7. Let z be t(d). Solve q = -z*q + 3 for q.
1
Let j be 259/74*(-1)/(1/(-2)). Solve -j - 3 = 5*m for m.
-2
Let o = -23 - -23. Suppose o = w - 4*g - 56, w + 2*g = -4*w + 214. Solve 5*k - w = -19 for k.
5
Let l be 194/(-22) + 10/(-55). Let j = -6 - l. Suppose -7*f + 6*f = -j. Solve -3*r + 0*r = -f for r.
1
Let l = -9 - -32. Suppose -l = -4*w - 11. Suppose -k + 0*v = w*v - 9, 3*v - 9 = 0. Solve 0 = -o - k*o for o.
0
Let z(d) = -d**3 - d**2 + d + 5. Let n be z(0). Let g be n/25 + 38/10. Solve 0*u = u + g for u.
-4
Suppose 3*i + 86 = 4*z, 5*z - 72 = 3*i + 19. Let b = -7 - i. Suppose b = 6*m - 3*m. Solve 1 = -n + m for n.
4
Suppose d - 48 = -4*u, d + 3 + 4 = u. Let i be u + (-2)/(-2) + 2. Let c be 4/6*63/i. Solve g = -0 + c for g.
3
Suppose -2*p - 2 = c - 0, -p + 4*c - 19 = 0. Let n = 2 + p. Let g be 2 + (n - -1) - -1. Solve 4 = l + g for l.
1
Suppose 0 = -31*y + 28 + 127. Solve -y*n = 3 + 7 for n.
-2
Let q(l) = -3*l + 1. Let o be q(-5). Let g(t) = -t. Let a be g(3). Let p be 6 - (2 + -3)*a. Solve p*d = -d - o for d.
-4
Suppose 64 = -36*d + 244. Solve 0 = 4*l - d*l - 1 for l.
-1
Let a = 2 - -4. Suppose -2*f + 26 = 2*g, 2*g - a*f + 2*f + 4 = 0. Let j = 2 + g. Solve -j = 4*c - 2 for c.
-2
Let d = -317 + 319. Solve -d*v - 12 = 2*v for v.
-3
Let a be 3 - (-156)/(-54) - (-143)/9. Solve -8*b = -12*b + a for b.
4
Suppose -7*s + 58 - 23 = 0. Suppose 4*z - s*x = -1, 7 = 5*z + x + x. Solve 4*o + z = -3 for o.
-1
Let c be 2/(1 + 1) - -1. Let i(h) = -h**2 - 8*h + 11. Let k be i(-9). Suppose 6 = -k*r + 10. Solve -j + r = -c for j.
4
Let h = 283 - 281. Solve 0 = h*x - x + 3 for x.
-3
Suppose 0 = 3*d - 4*d - 3*i + 5, -d + 5 = i. Suppose 0 = d*n - 2*w - 18 - 32, 0 = -4*n + 5*w + 40. Solve -5 = -5*x + n for x.
3
Suppose 13 = 12*x - 11. Solve 3*i = x*i + 6*i for i.
0
Suppose 4*r = 3*r. Suppose 3*g + 2*w + 6 = r, 5*g = -w - 4 + 1. Solve g = 5*j - 2*j for j.
0
Let r be ((-21)/14)/(2/(-4)). Suppose m = -4*u - 11 - 4, -4*m - r*u = 8. Suppose m = -c + 4. Solve -c*j = -0*j + 9 for j.
-3
Let f(y) = y**3 + 2*y**2 + 2*y + 17. Let a be f(-3). Solve a*i - 10 = -0*i for i.
5
Let o(k) = k**2 - 6*k + 4. Let t be o(6). Suppose -d + t*h = -22, 4*d + 1 = -5*h - 16. Solve b - d*b = 0 for b.
0
Suppose 0 = -0*p + 5*p - 25. Suppose 0 = -90*w + 108*w. Solve w*k - 5*k = p for k.
-1
Let i(f) = 4*f**2 - 90*f + 45. Let q be i(22). Let g(s) be the first derivative of s**3/3 + 9*s**2/2 + 11*s + 2. Let p be g(-8). Solve -p*m - q = -4 for m.
1
Let t = -189 - -191. Solve 0 = -x - t*x - 15 for x.
-5
Let m be 168/(-120) - 22/(-5). Solve 0 = -m*u - 7*u for u.
0
Suppose -10 = -4*w - 5*r, 0 = w - 3*r - 9 + 15. Solve -11*s + 6 + 27 = w for s.
3
Suppose -v = -0*v. Let i be v/(3*(-4)/(-12)). Solve -d + 3*d - 10 = i for d.
5
Let c(h) = -h**2 + 54*h - 267. Let d be c(8). Solve 0 = -d*l + 96*l + 25 for l.
5
Let y be 7/105*5 + (-11)/(-3). Solve 15 = -y*i - 1 for i.
-4
Let v be 158/237*(0 - 15/(-2)). Solve 0 = 2*c - v*c for c.
0
Let x = -376 + 380. Solve x*y = y + 9 for y.
3
Let b = 482 + -468. Solve b*n - 9 = 17*n for n.
-3
Let z(v) = -8*v - 49. Let i be z(-7). Suppose 3*t - k = i, 8*t - 5*k = 3*t + 5. Solve 0 = -2*h - h + t for h.
1
Let v(k) = k**3 + 7*k**2 + 7*k + 18. Let t be v(-5). Suppose -c = -12*c + t. Solve 2*l - c = -1 for l.
1
Let c = 9 - 7. Let d = -2 + c. Let k = 6 - 6. Solve 2*m + k*m = d for m.
0
Let p be 4 - (3 + -1)/2. Let a be (-4)/(-4)*p - 1. Suppose a*b - 7*b = 0. Solve -u + 3*u = b for u.
0
Let p = 634 + -627. Solve -4*v - 1 = p for v.
-2
Let s be (-89 - -23)*(1 + 1). Let z = s + 137. Solve 16 = 9*r - z*r for r.
4
Let h(z) = -5*z**2 + 38*z + 24. Let r be h(8). Solve -r*b - 30 - 2 = 0 for b.
-4
Let m = -97 + 99. Solve 3 = -m*r + 11 for r.
4
Let j = -2126 + 2137. Suppose c - 3*c = 2*m, 0 = -2*c - 8. Solve -5*s + m = -j for s.
3
Let f(z) be the first derivative of 5*z**2/2 - 23*z + 1. Let h be f(5). Solve -2 = -a + h*a for a.
-2
Suppose -6*u = -36 - 60. Solve 7*t = 44 - u for t.
4
Suppose -5*x + 93 = 48. Solve -7*d = -x - 19 for d.
4
Let h = 26 - 26. Suppose 0 = -h*c + 4*c + t - 64, 5*t = -20. Solve 3*l - c = -2 for l.
5
Suppose -4883 = 6*q - 4919. Solve q*d + d = 0 for d.
0
Let n(z) = z**2 + 9*z - 19. Let a be n(-13). Suppose -5*d - 6*d = -a. Solve -d*j = 2*j - 20 for j.
4
Let f(y) = 2*y + 12. Let n be 8/(-2) + 1 - 2. Let m be f(n). Solve -b + 6 = m for b.
4
Let f be -9 + (7 - 0) - (7 + -13). Suppose 0 = -3*g - 4*a + 34, 3*a - 5 = -2. Solve -g - 2 = f*i for i.
-3
Suppose 5*g = 5*u - 17 + 97, 3*g + u - 64 = 0. Solve 0*z + 4*z + g = 0 for z.
-5
Suppose 2*w - 3*v = 7, -5*w - v + 48 - 22 = 0. Solve w*y - 3*y = 2 for y.
1
Suppose 3*n - 2*c = 12, 4*n + 4*c = -5 + 1. Suppose 3*o - n*a = 17, 2*o = -2*o - a + 8. Let x be (-2)/4*-1 - 10/20. Solve x = -0*k + o*k for k.
0
Let i(b) = 28*b**3 + 6*b**2 - 2*b - 14*b**2 - 11 - 29*b**3. Let n be i(-8). Let t = 1 + 1. Solve 3 = -t*r + n*r for r.
1
Suppose s + 3*s - 22 = 5*m, s = -5*m - 32. Let j be (-64)/m + (-6)/9. Let r = -1 - -4. Solve g + j = r*g for g.
5
Suppose 0 = 955*f - 953*f - 8. Solve 0 = f*x + 2*x for x.
0
Suppose -30 = 3*m - m + 3*f, 5*m + 75 = -5*f. Let o be m/35 - (-24)/7. Suppose -5*k = -o*k. Solve 3 = -k*n + 3*n for n.
1
Suppose 12*p - 27 + 3 = 0. Suppose 4*c - 32 = 4*i, p*i - 16 = c + 7*i. Solve -6 = -c*l + 2*l for l.
3
Suppose 20 - 5 = -5*z. Let k be (-10)/z*(-27)/(-15). Suppose -k*l + 2*b + 4 = -l, -2*l + b + 1 = 0. Solve l*q = -2*q for q.
0
Let h = 62 - 61. Suppose -t - 4*n = -6, -3*n + 2 = -h. Solve i = -t*i - 15 for i.
-5
Let n be (-1 - 1/(-2))*0. Suppose n = -5*k - 2 + 12. Solve f + k = -1 for f.
-3
Let a(g) = 3*g - 12. Let u be a(-8). Let k = u - -39. Solve -1 = k*y - 13 for y.
4
Let l = 382 - 373. Solve -l*q = -1 - 26 for q.
3
Let t = -1738 + 1742. Solve -4*d = t*d - 8 for d.
1
Let x = -7 - -12. Suppose -106 = 2*z - 3*w, 139 = -5*z + x*w - 131. Let y be 4/14 - 264/z. Solve 0 = y*a - 1 - 4 for a.
1
Suppose 3*w + w = 40. Suppose 0 = -5*m - 4*f, 2*m - 2*f = -w + 28. Suppose -m*x - 2*u + 52 = -u, -5*x - 4*u = -76. Solve -s + x = -4*s for s.
-4
Let c = 0 + 3. Suppose 0 = -3*z + z - 3*v - 12, 0 = 3*v + 12. Solve z = 2*b - c*b for b.
0
Let y be (-13)/(((-8)/(-4))/(-2)). Let w = y - 35. Let n = 25 + w. Solve 0 = f + 2 - n for f.
1
Suppose 0 = 5*p + 4*x - 86, -2*p + x + 45 = 8. Let f = p + -11. Suppose 3*z + 40 = f*z. Solve -5*v + z = 30 for v.
-4
Let i(w) = -w**2 - 7*w + 64. Let f be i(5). Solve -f*p = p + 10 for p.
-2
Suppose -16 = -5*f - 4*z, -5*f - 3*z - 1 = -13. Solve 6*t = -f*t + 