 0, 3*j = s - 14. Solve -s*f + 3*f = 0 for f.
0
Let c = 33 - -5. Solve c - 3 = 7*n for n.
5
Let c = 7 - 8. Let n = c + 3. Suppose 0 = -n*z + 20 + 20. Solve 0 = -0*r - 5*r + z for r.
4
Suppose 0 = 5*n + 3*h - 14, 0 = 2*h - 4*h - 4. Suppose -3*o - 3 = -n*o. Suppose 6 = o*u - 6. Solve 0 = -u*a - 8 - 8 for a.
-4
Suppose 42*r - 33 = 31*r. Suppose -r*c - 84 = -15*c. Solve -5*u + c = -13 for u.
4
Suppose 5*g - 2*g = 2*t - 27, 2*t + 4*g - 20 = 0. Let x = t - 9. Suppose -2 = q - 2*l - x, 0 = -3*q - 4*l + 23. Solve -q + 1 = b for b.
-4
Let x be (-4 + (-35)/(-10))*-24. Let q = 14 - x. Let r be (q + 6)*4/16. Solve -2*o - 8 = r*o for o.
-2
Let n be 2 + ((-1112)/(-28) - (-10)/35). Solve 0 = 10*j + 8 + n for j.
-5
Let v(z) be the second derivative of -z**4/12 + z**3/2 + z. Let u(d) = 5*d + 98. Let o be u(-19). Let a be v(o). Solve a*w = 4*w + 20 for w.
-5
Let g(w) = 2*w - 15. Let h(i) = i + 15. Let m be h(-6). Let o be g(m). Suppose 0 = o*r - 6*r. Solve -y + 4 - 1 = r for y.
3
Let k = -4 - -4. Suppose -2*t = -k*t - 14. Solve 0 = 4*l - 13 - t for l.
5
Let i = -600 - -612. Solve 3*u + i - 6 = 0 for u.
-2
Let x = -198 + 205. Solve 0 = 3*a - 5 - x for a.
4
Suppose -4*q = 68 - 200. Let y = q - 33. Solve 2*x + 3 - 5 = y for x.
1
Let m = -11 + 6. Let r(f) = -2*f - 7. Let w be r(m). Let t be (-50)/(-5)*(-1 + 2). Solve -w*i = -8*i + t for i.
2
Suppose -19 + 22 = n - 3*h, -70 = -5*n + 4*h. Solve 0 = -3*f + n - 12 for f.
2
Let j(n) = 8*n**2 - 12*n. Let c be j(2). Solve -5*y - c = 17 for y.
-5
Let a be (2/(-4))/(1/60). Let g = a - -35. Suppose 0 = -5*p - 20, 3*i - i - 2*p - 8 = 0. Solve -r - g + 1 = i for r.
-4
Suppose -576 - 222 = -38*q. Solve -10*k = q - 41 for k.
2
Let r(d) = d**2 + 52*d - 320. Let c be r(6). Solve c*g + 125 = 3*g for g.
-5
Let d be -12*(-1)/(-10) - (-384)/20. Solve 0 = 31*y - 22*y - d for y.
2
Let x(a) = 3*a - 10. Let s be x(7). Suppose -6*f + s = -19. Solve l = 2*l + f for l.
-5
Let h = 299 - 259. Solve -h = -69*o + 79*o for o.
-4
Let l(m) = 24*m**3 - m**2 + m. Let a be l(1). Let u = 26 - a. Suppose 4*y = u*y. Solve y = -4*n - 8 - 12 for n.
-5
Let n be 4/(-22) + (-8)/(-44). Suppose 2 = -n*f - 2*f. Let c be f*(4 + -2) + 3. Solve -3*a = -7 + c for a.
2
Suppose -1 = -2*f - 17. Let d be 6 + f - (1 - 5). Solve -d*l - 2*l = 0 for l.
0
Suppose 5*s + 4*t = 162, 3*s = -2*s + 2*t + 144. Solve d + s = -5*d for d.
-5
Let k be 108/16 + 9/(-12). Suppose -c - 16 = -l - k*c, 5*l = 3*c + 24. Suppose 5*b - l = 14. Solve -b = y - 0 for y.
-4
Suppose 3*h = 0, 2*j - 4*h + 5*h - 6 = 0. Suppose -4*b + 4 = -j*o, -3*o = -o - 8. Solve -2*n + 6 = -b for n.
5
Suppose -195 = 5*u + 125. Let i be (u/20)/(2/10). Let q = -10 - i. Solve -5*d = -q + 1 for d.
1
Let k(t) = -2*t - 2. Let s be k(-2). Let i be (-12)/4*(-15)/9*1. Suppose 3*h + 13 = 3*d - i, -h = -5*d + 14. Solve -d*v + 0*v = s for v.
-1
Let d be (-2)/4 - 33/(-22) - -120. Suppose -16*w + d = 25. Solve 2*h = -h - w for h.
-2
Let t(b) = -3. Let c(r) = r + 6. Let j(s) = -4*c(s) - 7*t(s). Let y be j(6). Let u = y - -29. Solve 1 = 3*q - u*q for q.
1
Suppose 5*l - 17*l = 120. Let o(j) = 2*j**2 + j. Let f be o(-3). Let y be -1*4*f/l. Solve 5*x - y = 2*x for x.
2
Let u be -3 + (-3 - -2) + 7. Let h = -3 + u. Let s = 2 + h. Solve -s*v = 2*v + 16 for v.
-4
Suppose -j - 29 = 18. Let g = -42 - j. Solve 4*x + 3 = g*x for x.
3
Suppose -261*p = -266*p + 15. Solve 1 = -p*h - 8 for h.
-3
Let c = -221 + 228. Solve -6 - 1 = -c*k for k.
1
Suppose 3*q + 4*t = 25, -3*q + 6*q = 2*t + 1. Suppose -27*v + 26*v + 4 = 0. Suppose -v*o - 49 = -65. Solve -3 = q*g - o*g for g.
3
Let z be 1 - 2/(2 + 0). Let s be ((-8)/(-10))/(6/75). Let u = s + -8. Solve z*y - u = y for y.
-2
Suppose -5*z + 20 = -0. Suppose -4*q + 1 = -5*m, z*m = -q - 0*q + 16. Suppose m*f = -0*f + 12. Solve 0 = f*n - 9*n + 10 for n.
2
Let r = -25 - -49. Let o = r - 22. Solve 4*g = 6 + o for g.
2
Let a = -2 - -2. Suppose 30*y - 41*y = 0. Suppose y = -7*x + 7 - 0. Solve -q = -a*q + x for q.
-1
Suppose -5*v + 10 = -0*v. Suppose -2*k - f + 3*f = -4, -4*f = -v*k. Let h(t) = t**3 - 11*t**2 - 14*t + 27. Let x be h(12). Solve -z + k = -x*z for z.
-2
Let y(a) = 41*a - 118. Let d be y(3). Solve 0 = 7*k - d*k for k.
0
Let v be (-2)/(-3 + (-2)/(-2)). Suppose 0 = 4*q - 4*n + 20, -3*q = -4*n - 7 + 26. Let w be 1 - 6/q - (-6)/(-2). Solve -f + w = -v for f.
5
Let r = -271 - -287. Solve r = -2*j - 2*j for j.
-4
Suppose g - 47 = -3*t - 37, -10 = -2*g - t. Solve -7*m - g = -8*m for m.
4
Suppose 13*z - 90 = -5*z. Suppose 28 = z*t + 13. Solve -t - 5 = 4*p for p.
-2
Let l(p) = 4*p**2 - p. Let i be l(1). Let g be ((-6)/(-15))/(7/105*3). Solve g*u = -i*u + 15 for u.
3
Suppose d = -2*r + 6*d + 17, -4*d + 26 = 5*r. Suppose -3*w - 17 = -2*t + 4, -t = 3*w + 12. Suppose 4*x + l = t*x + 17, 0 = -l + 3. Solve 2*y + r = x for y.
4
Suppose 0 = -2*d + 4*j - 3 - 29, 4*d = 5*j - 49. Let q(n) = 0 - 1 - 1 - 2*n - 5. Let i be q(d). Solve -i*w + 16 = -9 for w.
5
Let l(r) = 9*r**2 - 2*r + 1. Let v be l(1). Let g(y) = y**3 - 8*y**2 + 11. Let n be g(8). Suppose v*q = n*q - 9. Solve 0 = s + 2 + q for s.
-5
Let j be (-31 + 23)*(-3)/2. Suppose 2*w - 31 = -w + n, 3*n + j = 0. Solve 7*u + w = 10*u for u.
3
Suppose 5*o - v = -0*v + 18, -2*o + 5*v - 2 = 0. Let d = -29 - -32. Solve -d*r - r = -o for r.
1
Let c be 4*-4*3/(-16). Let y(i) = -i**2 + 8*i + 3. Let p be y(8). Solve -c*h - 6 + p = 0 for h.
-1
Suppose 36*i - 16*i = 0. Solve -4 = 4*r - i*r for r.
-1
Let c(t) = t**2 + 41*t - 84. Let o be c(2). Solve i - 6 = -o for i.
4
Let m(p) = 3*p**2 - 3*p + 6. Let r be m(2). Let h be 0/(4/r - 4/(-6)). Solve -5*i - 10 - 10 = h for i.
-4
Let z(q) = q**2 + 6*q + 3. Let v be z(-6). Suppose 0 = -34*b + 29*b. Suppose j + 3*s = 8, 2*j + 4*s - 6 - 6 = b. Solve -v*x - j = 10 for x.
-4
Suppose -4*j + 50 = j. Let q be -1*2*55/j. Let f = 19 + q. Solve 2*l = -0*l + f for l.
4
Suppose 0 = 12*v - 6*v - 18. Suppose 0 = 3*f + 4*z - 72, f = 2*f - v*z - 11. Solve -f = 5*g - 5 for g.
-3
Let x(h) = -h**2 - 2*h + 1. Let d(t) = t**3 - 14*t + 1. Let a(s) = d(s) - 4*x(s). Let l be (1 - -4)*(2 - 3). Let q be a(l). Solve q*u = u for u.
0
Let u = 34 - 34. Solve 0 = -u*z + 3*z - 3 for z.
1
Let j be (28/(-56))/((-1)/24*2). Solve -10*m + j*m = -4 for m.
1
Let k(c) be the second derivative of c**4/6 - 7*c**3/3 - 8*c**2 - 27*c. Let b be k(8). Solve -v + 2 + 3 = b for v.
5
Let n be 798/90 + 4/30. Suppose -l + 5 + n = 0. Solve -l*c + 19*c = -10 for c.
-2
Let s = -68 + 44. Let g be (-21)/14*s/9. Solve -g*x + 4 + 4 = 0 for x.
2
Let j = -2210 + 2214. Solve j*d - 13 + 33 = 0 for d.
-5
Let y be 15 - 15/(-4 + 9). Let o(z) = -z**2 - 15*z + 3. Let l be o(-15). Solve l*r = 7*r + y for r.
-3
Let l = -331 + 353. Solve -l = 3*p - 7 for p.
-5
Suppose -6*a + 162 = 72. Solve -5*c = -0*c - a for c.
3
Suppose 40*u = -14*u + 2160. Solve -u = -9*h + h for h.
5
Let o = 34 - 11. Solve o*h - 4 = 22*h for h.
4
Let x be 21/12 + (-5)/(-20). Suppose 4*p - x*p + 58 = 0. Let l = -21 - p. Solve -u = -5*u - l for u.
-2
Suppose l = -l + 20. Suppose 166*y + 4*m = 169*y - 15, 2*y = 2*m + 12. Solve y*d - 4*d = -l for d.
-2
Let a(w) = -w**3 - 9*w**2 - 8*w + 10. Let f be a(-8). Let s be 6 - 6 - (2 + 1 + -6). Suppose -2*v = -9 - 1. Solve -s*q - v - f = 0 for q.
-5
Suppose 7*p - 4*d = 8*p + 11, -p - 2*d = 5. Solve 2*x - 1 = p for x.
1
Let x be -25*6/45*-3. Suppose x = -31*s + 36*s. Suppose -14 = -m - i, 2*i + s*i - 24 = -2*m. Solve 5*y = y + m for y.
4
Suppose -8*s = -6*s - 4. Let v(u) = -u**3 + 2*u + 3. Let g be v(-2). Suppose 0 = -2*w - 0*d + d + 13, -5*d + g = 2*w. Solve -s + w = 4*o for o.
1
Let b be 10/(-15) + (-11)/(-3). Suppose 15 = 2*i + 3*i - 5*v, 5*i + 4*v - 33 = 0. Suppose 0 = 4*a - 5*a. Solve a = -2*x - b - i for x.
-4
Let b = 3 + -10. Let w(m) = m**2 + 8*m. Let f be w(b). Let p = f + 8. Solve 0 = 3*j + p - 7 for j.
2
Let a be 2/42*-3 - 4/(-28). Solve -7*j + 11 - 4 = a for j.
1
Let l(k) = -k + 14. Let u be l(7). Suppose u + 8 = 5*s. Suppose 5 = -2*m + s*j + 20, 3 = -j. Solve m = -2*r + r for r.
-3
Suppose 9 = 3*y, 15*s + 3*y + 1 = 17*s. Solve 0 = -s*f - 4 - 16 for f.
-4
Let l(n) = n**3 + 0*n**3 + n**2 - 3 + 0*n**3 + 5 - n. Let j be l(-2). Solve j*v = 3*v - 12 for v.
4
Let z(x) be the second derivative of x**3/2 - 5*x**2 + 7*x. Let b be z(4). Solve 0 = -a + b*a for a.
0
Suppose -4*x + 7*x - 18 = 0. Su