q - y for q.
-1
Let b be -72 + (2 + -3 - (-1 - 2)). Let v = 71 + b. Let o = -8 - -13. Solve -m - o = -v for m.
-4
Let h be (-2*6/10)/(6/(-20)). Solve 3 - 15 = -h*z for z.
3
Let t = -109 + 117. Solve 0 = d - 13 + t for d.
5
Let o(y) = 2*y**2 + 9*y - 17. Let n be o(-5). Let l = 13 - n. Solve -l = -2*i - 3*i for i.
5
Suppose -5*f = -10*f. Suppose -4*s - 1 - 7 = f. Let g be 4 - 5 - 6/s. Solve -g*u + 13 = 5 for u.
4
Let m(x) = -x**2 - 8*x - 16. Let p be m(-4). Solve p = -t - 3 - 0 for t.
-3
Suppose 3*w - w = 8. Suppose -4*b + b = -4*a - 101, 0 = -4*a + 2*b - 102. Let n = a - -30. Solve 0 = -w*r - n for r.
-1
Suppose 256 + 800 = 22*m. Solve -13*c - 4 = m for c.
-4
Let i(p) be the third derivative of 3*p**2 + 0*p**3 + 0*p - 1/24*p**4 + 0 + 13/30*p**5. Let b be i(1). Solve -3*k = 2*k + b for k.
-5
Suppose 33*i - 4 = 34*i. Let x be 1/(12/(-22))*(-10 - i). Solve -3*u - 4 = x for u.
-5
Suppose 68 = -13*a + 224. Solve -a*m + 57 + 3 = 0 for m.
5
Suppose 41*r - 50*r + 27 = 0. Solve 0 = -r*s - 2 + 8 for s.
2
Let u = 24 - 59. Let h be 9/(-7) - 10/u. Let i be -1 + -2*(-1 + h). Solve -y - i*y - 16 = 0 for y.
-4
Suppose -5*k - 38 = 3*f - f, 2*k - 2*f = -4. Let p(z) = z**3 - 9*z**2 + 7*z. Let b be p(8). Let i = k - b. Solve -h = -i - 2 for h.
4
Let q be 2 + 0*(2 + -3). Suppose 14*y = 1752 + 894. Suppose 116 = 4*n - 4*d, 5*n = 3*d - 52 + y. Solve -q*c = 3*c + n for c.
-5
Suppose 5*c + 163 + 7 = 0. Let r = -22 - c. Solve -2*a = a - r for a.
4
Let i(a) = a**3 - 13*a**2 + 24*a - 16. Let r be i(11). Let z = -14 + 16. Solve z*b = -r - 4 for b.
-5
Let x = 29 + -66. Let o = x + 39. Solve -o*j = j - 6 for j.
2
Let c be 8 + -2*2/4. Let i be (0*(-4)/(-12))/1. Suppose 12*u - k = 7*u + 7, -3*u + 2*k = i. Solve -u*t - 25 = -c*t for t.
5
Suppose -20 = -20*y - 20. Solve x - 20*x - 95 = y for x.
-5
Let c = 43 - 43. Let q be -2*(-2)/(-4) - -3. Suppose c = -0*f + q*f - 50. Solve 0 = -9*l + 4*l + f for l.
5
Let x be (-1 + 4)*(0 - -1). Let h be (66/(-4))/3 + (-1)/2. Let z be (-8)/h*-6*2/(-8). Solve -x*y = -z*y + 2 for y.
-2
Suppose -s = 2636 - 2650. Solve 6*n - 20*n - s = 0 for n.
-1
Let a(r) = 12*r**3 + r**2 - r + 1. Let b be a(1). Let y = 20 - b. Let c be 55/35 - (-3)/y. Solve -6 = -c*w - w for w.
2
Suppose 0 = -3*n - 5*j - 88, -9 = 2*n + 3*j + 48. Let u be 3/((n/6)/(-7)). Solve d + d = u for d.
3
Suppose 23*f - 155 = 18*f. Let u = f + -29. Solve -4*z = -u - 6 for z.
2
Let g = -64 - -67. Solve 12 = -9*a + g for a.
-1
Suppose 0 = 8*x - 4*x + 292. Let a = -70 - x. Solve 4*k + 5 = a*k for k.
-5
Let f(x) be the first derivative of x**2 - 24 - 5*x + 32 - 15. Let a be f(4). Solve 4*d = d - a for d.
-1
Let v(t) = 60*t**2 - 4*t + 3. Let g be v(1). Let h = g + -57. Solve -3*f = h*f + 5 for f.
-1
Let y be (1 + -18 + 3)/(-2). Suppose y = -5*k - 3*s, -5*s = -5*k - s + 21. Let x be (-2)/(-6)*k*0. Solve -2*w + x = 2 for w.
-1
Let a be (-9)/(-2) - (-4)/8. Suppose 3*p + 0*p - 3*n - 63 = 0, 0 = 3*p + a*n - 23. Solve -c = 3*c + p for c.
-4
Suppose 2*q + 0 - 6 = 0. Let v = -3 + q. Suppose z = 2*k - 1, -3*k + 5 = 2*z - 7. Solve k*t = -v - 8 for t.
-4
Let h = -12 + 19. Let o(t) = h*t + 10 + 0*t**3 + 12*t**2 - 6*t**2 + t**3. Let z be o(-5). Solve 2*a - 5 - 1 = z for a.
3
Let x = -151 - -165. Solve 0 = 7*m - x*m for m.
0
Let z = 9 + -7. Let w(k) = -4*k + 2 - 4 - 6*k**z + 5*k**2 + k. Let n be w(-2). Solve n = 2*u - 7*u + 5 for u.
1
Let y be (-15)/(-3) - -6*(-4)/8. Solve 0*r - y = r for r.
-2
Suppose 12 = 4*o - 0. Suppose -o*d = -3*p, 5*d - p = p + 6. Let v be 57*(-8)/(-12) - d. Solve 11 = 5*q + v for q.
-5
Let b = -139 + 153. Solve 11*f - b*f = -9 for f.
3
Let n be 3*((-65)/(-15) - 2). Solve n = -2*f + 9 for f.
1
Let g be (-12)/72 - (-4)/24. Solve 4*i + 3 + 5 = g for i.
-2
Suppose -20*v + 28 = 8. Solve 0 = -f - 1 - v for f.
-2
Suppose 30 = -4*g + 14*g. Let m(x) = x**2 - 4*x + 8. Let i be m(g). Solve i*f = -0*f for f.
0
Suppose 273*l = 272*l + 2. Solve 3*k - l*k = -3 for k.
-3
Suppose 0*p + p + 4*q = -4, p - q - 1 = 0. Let s(d) = d**2 + 5*d + 2. Let w be s(-5). Solve p = f - w for f.
2
Let x be (0 - 0)/(0 - -2). Suppose -g = -x*g - i + 5, 5*i - 4 = -2*g. Let n = g - -3. Solve -r - 3*r + 16 = n for r.
4
Let i = -487 - -495. Solve 3*x = i*x + 5 for x.
-1
Let p = 1 + 16. Let n = p - 9. Suppose 2*l + y + 4*y = 17, -3*y + 5 = -4*l. Solve 0 = -3*u - n - l for u.
-3
Let u be (72/(-9) - -8)/(-2). Solve 12*w - 5*w = u for w.
0
Suppose -5*p - 4 = -4*p - 2*w, -5*p + 32 = 3*w. Solve -p*v - 12 + 4 = 0 for v.
-2
Let c = 35 + 20. Let t be (-8)/(-44) - (-1090)/c. Solve -j - t = 4*j for j.
-4
Suppose 3*h = 10*h + 735. Let l be h/(-135) + 2/9. Solve 0 = -3*f - 4 + l for f.
-1
Let u = -662 + 666. Solve 0 = u*d - 30 + 26 for d.
1
Let j(p) be the first derivative of -4*p**2 + p - 1. Suppose 0 = -2*g - 7*h + 4*h + 13, -4*h = g - 19. Let d be j(g). Solve 2*m + d = -1 for m.
-5
Suppose 24 = 10*d - 6. Suppose 9 = 3*v - 4*u, -2*v - 2*v - d*u + 12 = 0. Solve -3*m + v = -12 for m.
5
Let j be 1 + (35 - (4 + -4)). Let i = j + -31. Let t(b) = -9*b + 1. Let v be t(-1). Solve -i*q + 10 = -v for q.
4
Suppose -10*v - 32 = -72. Solve v = 5*x - 16 for x.
4
Suppose -2*r = -4 + 20. Let y be 8/(-24) - r/6. Let u be -3*4/(-12)*y. Solve -u = 4*b - 9 for b.
2
Let r = 128 - 123. Let b be ((-8)/12)/(2/(-6)). Let p = b - -1. Solve r*u = 4*u - p for u.
-3
Let z = 239 - 237. Let l be (6 + -2)*(-2)/(-8). Solve -s + z = -l for s.
3
Let u be 220/(-11)*2/(-4). Let j = 15 - u. Let x be (2 - 0) + 0 - -1. Solve j = x*m - 4 for m.
3
Suppose -6*v + 12*v = -42. Let i(s) = -4*s - 25. Let z be i(v). Solve z*j = 5*j for j.
0
Suppose -3*y = -5*l + 27, -4*l = -9*l + y + 29. Suppose -8 - 12 = -5*k, 5*k - 28 = -4*u. Solve -p = l - u for p.
-4
Let i be 4/(-9) + 4/9. Solve i = 6*b - 8 - 22 for b.
5
Let z(g) = g + 4. Let k be z(2). Solve s = -k + 2 for s.
-4
Let k(j) = -3*j - 9. Let l be k(-5). Solve l*p - 20 = p for p.
4
Let t be (-132)/(-21) + (-6)/21. Let f be t/4*(4 - -6). Let n = -233 - -236. Solve 2*k = -n*k + f for k.
3
Let x be -2*(0 + (1 - 0)). Let n be (15/4)/(x/(-8)). Let a be (-3)/(4/4) + n. Solve 3*y = -0*y + a for y.
4
Let b(i) = i**2 + 9*i - 17. Let s be b(-11). Suppose 10 = s*m - 3*m. Solve -3*g - m + 2 = 0 for g.
-1
Suppose 0 = -c + 2*p, 0 = -5*c + 5*p - 6*p + 22. Suppose c*n - 3*o + 7 = 0, -5*n + 39 - 9 = 4*o. Let w = -12 - -17. Solve 1 + w = n*x for x.
3
Let q = -166 + 202. Suppose 18*v - q = -0*v. Solve -3*d + 15 = v*d for d.
3
Suppose 2*c - 12 = 4*a, -53*c - a - 4 = -54*c. Solve -40 = c*l - 46 for l.
3
Let w = -13 - -17. Suppose 4*k = 6*t - 2*t - 24, 0 = -w*t - 3*k + 52. Solve l + t = -l for l.
-5
Let s(m) = m**2 - 20*m + 102. Let d be s(12). Solve -33 + 3 = -d*y for y.
5
Let o(j) be the second derivative of j**5/20 - 5*j**4/6 + 4*j**3/3 + 13*j**2/2 + 8*j. Let d be o(9). Solve d = -p + 2*p for p.
4
Let r(h) be the first derivative of -4*h**2 + 8*h + 11. Let t be r(3). Let u = -11 - t. Solve 0 = -u*l + 4*l + 2 for l.
2
Let k be 20 + (-12 - (-4 - -4)). Solve k = 5*i - 17 for i.
5
Let o = 16 + -7. Let s(a) = -o*a**2 - 30 + 24 - 9*a + a**3 - 2*a**3. Let f be s(-8). Solve 2*n - f = 4 for n.
3
Suppose -4*b - 6*q + 135 = -3*q, -115 = -4*b + q. Solve 0 = -5*j - 35 + b for j.
-1
Suppose -a + 2*h - 16 = 0, 5 = a + h + 4*h. Let s be (-180)/54*6/4. Let m be s/2*8/a. Solve -m*j + 0*j + 4 = 0 for j.
2
Let p(l) = l**3 + 5*l**2 + l - 10. Let q be p(-4). Solve q*j - 17 + 7 = 0 for j.
5
Let d(x) = x - 2. Let b be d(8). Suppose -5*p - 2*z + 18 = -z, 0 = p + 5*z + b. Solve 2*i - p = 4 for i.
4
Let r = -9 + 47. Let j be (-24)/30 + r/10. Solve 0 = j*f - 2*f - 2 for f.
2
Suppose -2*k + 2*b = 26, 5*b - 11 - 14 = k. Let q = k + 10. Solve 0*s + 2*s = q for s.
0
Let v be (-1)/3*(-20 - -5). Suppose -2*u = 2*u - 44. Suppose f - 15 = -3*p, f + 0*p + 5*p = 25. Solve -v*s + 14 + u = f for s.
5
Let u = 495 + -459. Solve -8*r - 4 = u for r.
-5
Suppose -4*m = 4*f - 152, f - m + 0*m = 38. Solve -f = -18*b - 2 for b.
2
Let w be (18/(-9))/((-27)/21 - -1). Solve 9*d = w*d - 8 for d.
-4
Let c be (-3)/(-1) - (-2 - -1). Suppose o - 5*o - 100 = -c*z, -2*o = 5*z - 118. Suppose -y + 3*s + 11 = 0, -y = 3*y - 2*s - z. Solve -y = 2*v - 3 for v.
-1
Let u(a) = -a**3 - 3*a**2 + 2*a + 7. Let m be u(-2). Let c(k) = 2*k - 8. Let n be c(6). Let v be (n/4*0)/m. Solve x + v*x - 2 = 0 for x.
2
Let l(p) =