/o). Solve 1 = v + t for v.
-2
Let c be (-9)/(-15) + 6/15. Suppose c + 0 = -a. Let u be (-1 + 1)/(-2)*a. Solve p = -u*p - 3 for p.
-3
Let s(l) = -9*l**2 - l - 1. Let k be s(-2). Let q = k + 43. Solve -5*d - q - 7 = 0 for d.
-3
Suppose -2*g - 2 = q, -3*g = 3*q - 2*g + 1. Suppose q = -2*d + 2*f + 4, d + 0*f + 4*f = 7. Solve -6 + d = -3*t for t.
1
Let p(x) = x**2 + 10*x + 24. Let v be p(-6). Solve -20 = -4*n - v*n for n.
5
Let r be (10/3*-3)/(7/(-14)). Solve r*j = 17*j - 15 for j.
-5
Suppose 3*n + 40 + 2 = -z, -28 = 2*n + 3*z. Let d = -14 - n. Let f = d - -2. Solve f = 2*m - 2 for m.
2
Suppose -3*z + 4*p = 3*p + 3, -3*p = 3*z - 9. Solve 9*h - 36 + 9 = z for h.
3
Suppose -p = -8*p + 14. Let o = -10 + 14. Suppose 0 = p*t - o*t + 18. Solve t = -h + 4*h for h.
3
Suppose 2*t - 4*u - 15 = u, -5*u = -5*t + 15. Suppose -z + 4 = -t*z. Let y = z - -11. Solve -n - y = 2*n for n.
-5
Let n be 2 - (-5)/(-2)*2. Let r(o) = -o - 1. Let b be r(n). Suppose 3*m - 25*f = -20*f + 6, 0 = -2*m - 5*f + 4. Solve -b - m = 2*p for p.
-2
Let p be (-2 + 3/2)*-8. Suppose -2*h - t = -6, -p*h + 3*h = -t - 3. Solve h*c = -c for c.
0
Let b(x) = -x**3 - 27*x**2 - 2*x - 44. Let a be b(-27). Solve -5*m + a - 35 = 0 for m.
-5
Suppose 5*a = 7 + 18. Suppose -a*h = -2*h. Suppose h = -2*p - 2*p + 24. Solve i + p = 1 for i.
-5
Let y(c) = 11*c - 53. Let n(d) = 4*d - 18. Let l(h) = -8*n(h) + 3*y(h). Let i be l(15). Suppose 4*z = 6*z - 4. Solve 0*x - z*x = i for x.
0
Let r be (-4 - -5)*0/(2 + 1). Let d = 2 - r. Solve -u + d*u = -2 for u.
-2
Let g = -73 - -121. Let a = 51 - g. Solve 0*j = -a*j + 3 for j.
1
Let i be 1*(-6 + 5)*-5. Solve 6*a - 11 = -i for a.
1
Suppose 0 = 6*y - 3*y - 60. Let h = y - 24. Let p = 7 + h. Solve 0 = 4*a - p + 23 for a.
-5
Let o = -4 + 4. Suppose r - 2 = 2*q - 8, o = -3*r - 5*q + 37. Suppose 210 - 150 = 20*l. Solve -r*y + l = -5 for y.
2
Let n be (-2 - 0)/(-4 + 2). Suppose -g - n = 3. Let r be g/6 - 15/(-9). Solve -r = 2*s - s for s.
-1
Let v = -212 + 217. Solve -4 = -v*j + 6*j for j.
-4
Suppose 22*i - 1252 = 4028. Solve i = -4*g + 228 for g.
-3
Suppose 0 = -2*r + 4*u - 9*u + 11, -3*r + 39 = 3*u. Let k = r - 16. Suppose 0 = k*o - 0 - 6. Solve -3*m = o - 12 for m.
3
Suppose 4*t - 44 = -2*z, -3*t + z + 52 = 19. Solve 12*l = t*l - 5 for l.
-5
Suppose -109 + 31 = -13*s. Solve -36 = -3*f - s*f for f.
4
Suppose 2*r + q = 5, -r - 10*q + 14*q = -25. Solve r*l - 2*l + 15 = 0 for l.
-5
Suppose 0 = 3*f + 3*f. Suppose 3*n - t = 4, 4*t = -n + 5*n + 8. Suppose -4*j = -12 - 4. Solve f = j*y + 11 - n for y.
-2
Let h(r) = -9*r**2 - 4*r - 4. Let v be h(-2). Let s = 39 + v. Solve -s*d + 2*d = 5 for d.
-1
Let z(g) = 4*g + 1. Let d be z(-6). Let r be 190/8 + 15/(-20). Let s = d + r. Solve l = -s*l for l.
0
Suppose -5*t = -33 - 27. Let i be (-26 - 1)*(-4)/t. Let h = -6 + i. Solve 2*m + h*m = 0 for m.
0
Suppose 0 = h + 2*h - 0*h. Let f(a) = -2*a + 37. Let u be f(17). Solve h = -p + u*p + 8 for p.
-4
Let t be ((-4)/8)/((-3)/(-42)). Let a = t + -10. Let i = a + 24. Solve i + 3 = -5*h for h.
-2
Suppose 0 = 3*f - 7*f + 16, -4*f = -4*y. Solve y*v = -0 - 8 for v.
-2
Suppose -3*p + 2*m = -8, 4 = -2*m + 2. Suppose 3*w + 12 = -p*w + 4*o, 0 = -4*w - 4*o + 12. Solve w = 3*i + 2*i for i.
0
Suppose 4*s - 2*s = 4. Solve -6*a + s*a + 4 = 0 for a.
1
Let x be 36/10 + (-9)/15 + 0. Let w be 55/5*(-2 + x). Suppose 16 = 2*t - 3*m, -6*m + 2*m - 12 = 2*t. Solve w = -3*i + t for i.
-3
Let u(x) be the second derivative of -x**3/3 + 27*x**2/2 - 4*x. Let d be u(10). Solve 5*y = -2 + d for y.
1
Suppose g = -2*g + 12. Suppose -g*z = -7*z. Let l(h) = h**2 + 2*h - 1. Let p be l(1). Solve 7*x - p*x - 10 = z for x.
2
Let s = -34 - -35. Suppose -6 + s = -5*d + 3*r, 0 = 4*d - r - 4. Solve -7 = 3*c - d for c.
-2
Suppose 7*s + 17 = 8*s. Let m = -12 + s. Solve 0 = -r + m*r - 8 for r.
2
Let a = -36 - -63. Let w = 27 - a. Solve -3*s + 3 + 3 = w for s.
2
Let j(z) = -z. Let a be j(-3). Let y(w) = 2 + 6*w + 3*w**2 - 5*w + a*w. Let p be y(-2). Solve -3*h + 5*h + p = 0 for h.
-3
Suppose 0 = 4*h - 293 + 277. Solve -w + h*w = 15 for w.
5
Let z = -217 - -304. Let o = z - 81. Solve 11*c = o*c + 20 for c.
4
Let h(w) = -w**3 - 7*w**2 + 4*w - 26. Let z be h(-8). Solve -z*g - 16 = -10*g for g.
4
Let g(t) = t**3 - t**2 - 2*t + 3. Let h be g(2). Suppose 0 = -h*v - 3*v + 18. Solve s + 4 = v*s for s.
2
Suppose -2*z + 2*t + 6 = 0, 4*t + 5 = -5*z - 7. Let x be 3 - (0 - 9) - (0 - 0). Solve -3*b + z*b = -x for b.
4
Let z = -16 - -16. Suppose g - 16 = -z*o - 4*o, -5*o = -3*g + 48. Suppose -2*n - 3*q + g = 0, -3*q = -n + q - 14. Solve n*y = y for y.
0
Let r(t) = t**3 - 11*t**2 - 11*t - 10. Let c be r(12). Solve -2*v = -3*v - c for v.
-2
Let y be (-10 - -3) + (21 - 10). Solve -2*p = 4 + y for p.
-4
Suppose 0 = -274*o + 260*o + 154. Solve o*t + 15 = 16*t for t.
3
Let l(w) = -2*w**2 - w - 5. Let k(t) = -t**2 - t + 1. Let c(z) = -3*k(z) - l(z). Let b be c(-1). Solve 3*j - b = 6 for j.
3
Let f(q) = q**2 + 33*q - 50. Let m be f(-35). Solve 0 = 6*r + 2 - m for r.
3
Let p = -4 - -66. Let h = -58 + p. Solve -10 = 9*b - h*b for b.
-2
Let n be 7 + 5/(-1 - 0). Solve n*k + 12 = 5*k for k.
4
Let m(u) = u**2 + 4*u - 10. Let o = 22 - 29. Let a be m(o). Suppose -a*r = -6*r. Solve -p = -r + 3 for p.
-3
Suppose 4*o = v + 10, 0 = -3*v - 2*o + o + 9. Suppose -2*c - 2*f - 4 = 0, 0 = -3*c + 8*c - 2*f - 4. Solve c = v*w - w - 3 for w.
3
Let c be (-70)/(-49) - (-48)/84. Solve c*a + 9 = -a for a.
-3
Suppose -2*j + 22 = -8*y + 4*y, 2*y = 4*j - 26. Suppose -2*k - 4*m = -3*m - 7, -2*k + j = -m. Solve 2*h = -k*h + 10 for h.
2
Let k(a) = 3*a**2 - 9*a. Let n be k(-3). Suppose 5*d + 9 = n. Suppose -2*q - 5*b = q + d, -3*b - 19 = -5*q. Solve -q + 3 = -r for r.
-1
Suppose -5*k - 30*b + 31*b - 5 = 0, -4*k + 4*b - 20 = 0. Solve 0 = -k*u - 6*u - 30 for u.
-5
Let u be -2 + 12/(-5)*180/(-72). Let a(c) = c**3 + 9*c**2 + 9*c + 12. Let o be a(-8). Solve 2*v - u*v + o = 0 for v.
2
Let m(a) = a**3 + a**2. Let q be m(0). Let c be q/((4 - 1) + -1). Suppose 4*i - 3*i - 1 = c. Solve -i + 4 = k for k.
3
Suppose -3 - 1 = 4*w. Let i be (7 - (w + 2))/1. Suppose -5*v = 2*o - 26, -i*v - 8 = -4*o - 5*v. Solve -o*q = -4*q for q.
0
Let q be ((-2)/4)/(1/24*-3). Solve -20 + 0 = q*o for o.
-5
Let p be ((-3)/3)/(1/2). Let k be (-3 - (-10)/5)*p. Solve 0 = k*q - 0*q for q.
0
Let n(x) = 4*x**2 - x. Let y be n(1). Suppose -34 = 2*j - 5*o - 13, -y*j + 16 = 2*o. Solve -b - j + 1 = 0 for b.
-1
Suppose -34*x + 212 = -94. Solve -j = x*j for j.
0
Let i = 276 - 273. Solve 0*r - i*r = 0 for r.
0
Let o(t) be the third derivative of t**4/24 + t**3 - 15*t**2. Let b be o(6). Solve -q + 4*q = b for q.
4
Let o(i) = -2*i + 43. Let v be o(24). Let y be (-4)/((-42)/30 - 2/v). Solve -g + y = -3*g for g.
-2
Let s = -9 - -14. Let r(a) = 76*a**3. Let p be r(1). Let i be (-8)/(-20) - p/(-10). Solve -s*z + 28 = i for z.
4
Suppose 0 = -l + 4*g, 4*g = -2*l + 3*g - 36. Let w = l - -20. Solve w*p + 3 = 3*p for p.
-3
Let k = -132 - -134. Solve 3 = -k*b - 3 for b.
-3
Let c = 75 - 40. Suppose x - g + 5 = -3*g, 0 = -4*x + 3*g + c. Solve -2*n + x*n - 15 = 0 for n.
5
Suppose -z - 7 = c - 4, c - z - 5 = 0. Solve s - c - 2 = 0 for s.
3
Let l(s) = 8*s**3 + 3*s**2 + 3*s - 4. Let t be l(2). Let a be (-2)/6 + 260/t. Solve 0 = -a*h - 3 - 0 for h.
-1
Let m = 60 + -45. Suppose -2*k = -4*q + 2*k - 20, m = 3*k. Solve q = -0*z + z - 2 for z.
2
Let q = -29 + 32. Suppose -g + q = -0*g. Let n be (-2)/(1 - g) + 3. Solve -2*a + n*a = -6 for a.
-3
Suppose 5*s + 14 = 4*g, 5*g - 3*s - 13 + 2 = 0. Solve -6 = 5*y - g for y.
-1
Suppose 0 = -8*n - 6*n - 154. Let r be -15 - (-1 + 0) - 0. Let p = n - r. Solve 0 = -8*y + p*y for y.
0
Let b be 1705/62*(1 - 2/(-10)). Let h = b - 17. Solve -4*p = -0*p - h for p.
4
Let b = -17 + 20. Let m(o) be the first derivative of o**4/4 - o**3/3 - 5*o**2/2 - 1. Let k be m(b). Solve -k*t + 2 = -t for t.
1
Let k(r) be the first derivative of r**3/3 - 9*r**2/2 + 8*r - 10. Let m be k(8). Solve m = -3*y - y - 4 for y.
-1
Suppose 4*y = -y + 65. Let i(q) = -q + 15. Let h be i(y). Solve -h*k - 2*k + 8 = 0 for k.
2
Suppose 4*s - 15 = 2*o + 21, -4*s + 5*o = -24. Suppose 0 = -2*i + 3*j - 17, -4*i = -5*j + 4*j + 39. Let v = s + i. Solve 6 - v = 5*y for y.
1
Let z be 1/1*(-80)/(-2). Solve -5*f + z = 5*f for f.
4
Let m be (-4)/22 + 4/(-22)*-1. Let f 