r*x for x.
3
Let a(k) = 4*k**2 - 7*k - 9. Let t(d) = -7*d**2 + 13*d + 17. Let n(l) = 5*a(l) + 3*t(l). Let z be 4*20/16 + 0. Let b be n(z). Solve -h - 3 = b for h.
-4
Let j(s) = s**2 + 1. Let y be j(1). Let n = -36 + 40. Solve -2*g - n = -y for g.
-1
Suppose 3*l - 4*b - 35 = 0, 6*l - 3*l = -5*b + 71. Solve l*z - 57 = 28 for z.
5
Let x be (-2 - -2)/(0 - 1). Suppose q - 16 + 1 = x. Let g = q - 13. Solve -4*s + 18 + g = 0 for s.
5
Suppose 6 = 2*o - 7*o - 3*j, 3*o - 4*j - 8 = 0. Suppose -7*p + 14*p - 14 = o. Solve 2*m = -p*m + 8 for m.
2
Let k(g) = -34*g - 453. Let n be k(-14). Solve 6*b = n - 5 for b.
3
Let o = -204 + 213. Solve 0 = 26*l - 29*l + o for l.
3
Suppose 76 - 64 = 6*j. Solve -2*u + j = 12 for u.
-5
Let w(i) = 18*i - 267. Let u be w(15). Let r(x) = x + 5. Let s be r(-4). Solve -u = -2*l - s for l.
1
Let y be (72/42)/((-6)/(-56) + 0). Solve -y = -3*n + 11*n for n.
-2
Suppose -31*m - 61 + 402 = 0. Solve -m*l + 6*l + 25 = 0 for l.
5
Let j(w) = -6*w**3 + 2*w**2 + w + 2. Let b be j(-2). Suppose 3*i + b = 4*z, i + 54 = 4*z + 6. Solve z + 5 = 4*t for t.
4
Let g(i) = 19*i**2 + 493*i - 24. Let f be g(-26). Solve -168 = -f*m - 170 for m.
-1
Let o(q) = -50*q + 4. Let z be o(1). Let b = z + 50. Solve -5*x = -x + b for x.
-1
Suppose -3*d - 10 = -x - 8*d, -x - 8 = -4*d. Solve -n + x = -4 for n.
4
Let s = -103 - -88. Let p = s - -22. Solve -p = 4*d + 5 for d.
-3
Let f(g) = 0*g - 9*g + 2 + 1 - 18 - g**2. Let d be f(-6). Solve d*c + 16 = -c for c.
-4
Suppose 0 = 11*i - 14*i + 12. Suppose 5*b - g = i, -3*b + 15 + 5 = -5*g. Suppose -34 = -3*p + 2*q - 0*q, 1 = -3*p - 5*q. Solve -2*w - p = -b*w for w.
-4
Let h be ((-16)/(-5))/((-6)/(-255)). Let x be 44/154 + h/14. Solve -x = -0*l - 2*l for l.
5
Let w(v) be the first derivative of v**3/3 - 6*v**2 + 22*v + 11. Let d be w(10). Suppose -c = d*c. Solve c*h - 4 = 2*h for h.
-2
Let n be (-1 + 16/8)/(3 + -2). Solve -n = -8*s - 17 for s.
-2
Let a be (-2)/(-3) - (-330)/18. Let s = a - 15. Solve -5 = 3*x + s for x.
-3
Let w(t) = t**3 - t**2 - 9*t + 16. Let v be w(2). Solve 7 = -5*o + v for o.
-1
Let r = 21 - 19. Suppose r*v - 7*v = -40. Solve -5*i = -3 + v for i.
-1
Let r be 5 + -2*2*4/16. Solve r = 3*o - o for o.
2
Suppose -2*d = -4*x - 8, -d + 4 = -4*x + x. Suppose 3*r + x*r + 15 = -3*y, 5 = -r. Let a = 4 - y. Solve a*g + 0*g = 16 for g.
4
Suppose 3*u - 123 = -4*i + 67, -5*i = -3*u + 235. Suppose 0 = -5*g - 3*f - u, -3*g - g - 93 = -5*f. Let j = g - -20. Solve -j*r = -5 + 14 for r.
-3
Let a(w) = -w**2 + 13*w - 11. Let c be a(12). Let x be (-1)/2*c*0. Solve x = y + 2 - 1 for y.
-1
Let a(j) = 2*j - 7 + 41 - 14. Let l be a(-8). Solve y + 0 = l for y.
4
Let s = -107 - -61. Let n = 46 + s. Solve q - 2 + 0 = n for q.
2
Let l be 3/((15/(-3))/(-25)). Suppose -3*f + 4*f + 18 = 3*h, -2*f - 16 = -2*h. Suppose -3*b - 3*c = -b - 92, -3*b - c = -124. Solve l = -h*z + b for z.
5
Suppose -y + 28 = -2*g - 4, 2*y = -g + 59. Suppose 0 = 2*x - f - 43 + 16, 2*x - y = 2*f. Suppose -4*w - 3*o - 3 = -x, 3*o + 3 = 0. Solve -w + 1 = -t for t.
2
Suppose 0 = 4*z - 5 - 19. Suppose -4*l + 2*l + z = 3*p, 4*p = -2*l + 10. Solve p*h - 10 = 2*h for h.
5
Suppose -230 = -13*f - 87. Solve 0 = 2*v - f + 7 for v.
2
Let m = -131 + 135. Solve 2*r + m*r + 30 = 0 for r.
-5
Suppose 8*h - 20*h = 0. Solve h*o - 3 = -o for o.
3
Let s(t) = -5*t + 1. Suppose -3*o - 4*h = -13, 5*o + 4 = h - 5. Let b be s(o). Suppose -10 = -8*w + 6. Solve w*g = b*g + 4 for g.
-1
Let u be 8/20 + 772/20. Let v = u - 37. Solve v + 2 = 2*d for d.
2
Let b be (-4)/6 - 23/(-3). Suppose 7 - 203 = -b*f. Solve 4*w = -12 + f for w.
4
Let q(l) = l**3 - 8*l**2 + l - 8. Let x be q(8). Solve -9*t + 9 = -x*t for t.
1
Let x = -12 - -15. Let z = x + -1. Suppose 5*d + 5*g - 72 + 22 = 0, -3*d = z*g - 25. Solve -m + d = 4*m for m.
1
Suppose 5*r - 3 = j, 1 = 3*r - 2. Suppose j*p - 5*x = 12, -2*p + 0*x + 12 = -3*x. Suppose 5*h + p = 6*h. Solve -f = -h*f for f.
0
Let d = 52 - 90. Let f = 44 + d. Solve 5*s = 2*s + f for s.
2
Let d = -5 - -11. Let r(t) = -t**3 - 6*t**2 - t - 4. Let q be r(-6). Suppose 10 = q*b + d. Solve -4 = -b*v + 6 for v.
5
Let z(u) be the first derivative of 2*u**3/3 + u**2/2 - 9*u - 29. Let y be z(-3). Solve -3*c + y = -3 for c.
3
Let z(b) = -b**2 - 8*b + 1. Let u(d) = 3*d**2 + 24*d - 2. Let q(g) = -3*u(g) - 8*z(g). Let t = -119 + 112. Let x be q(t). Solve -m = -0 - x for m.
5
Let v(p) = -4*p + 8. Suppose 0 = -2*d + 7*d + 35. Let z be v(d). Suppose -12 = -2*g - 0*r - r, -3*g + z = -3*r. Solve 0 = 5*f - 12 - g for f.
4
Let p(u) = -7*u**2 + 3*u + 3. Let d be p(-1). Let s be 9/2 - d/(-14). Solve -3*h - h = -s for h.
1
Let v(y) = y**3 - 5*y**2 + 6*y - 6. Let s be v(4). Let g be (3/(-4))/((-51)/272). Suppose a + g = 2*z, -5*z + 11 = -5*a + 1. Solve -s*q = z*q - 16 for q.
4
Suppose 2*g = -2*g + 24. Suppose -g = q - 2*q. Solve 0*s - q = 3*s for s.
-2
Let c = -9 + 13. Suppose 3*w - 3*f - 3 = 3, f - c = -w. Suppose -m + 1 = -y, -m - y = -4*y + w. Solve 0 = -m*v + 7*v for v.
0
Let d(l) = l**3 - 12*l**2 - 11*l - 21. Let s be d(13). Solve -50 + 45 = s*j for j.
-1
Let c(q) = -q**2 - 37*q + 80. Let d be c(-39). Solve 0 = d*g + 4 + 2 for g.
-3
Let f be 0/((-2)/1) - 0. Let h(w) = -w**3 + 12*w**2 + 26*w + 30. Let u be h(14). Solve f = z + u*z + 6 for z.
-2
Let h(t) = 9*t + 26 + t**2 - 5*t - 14*t. Let d be h(7). Solve 0 = -d*x - 14 - 6 for x.
-4
Let l be -1 + (-24)/(-3 - 1). Suppose -4*j - 4*g + 28 = 0, -g = -l*j + 4*g - 15. Suppose -w + 4*c + 6 = 0, j*w - 5*c = 14 - 5. Solve -5 = w*x - 13 for x.
4
Suppose 5 = k + 3. Suppose -k*r - 8 + 38 = 0. Solve 2*z + r = -z for z.
-5
Suppose 0 = -2*p - 3*a + 18 - 7, 0 = 5*p - a - 2. Solve -j = -0*j + p for j.
-1
Let f be (57/(-171))/((-1)/12). Solve 0 = f*u - 25*u for u.
0
Suppose -15*v = -10*v + 15. Let s be (0 - -3) + (v - -3). Solve -2*x + x = s for x.
-3
Let d(a) be the second derivative of -a**3/3 - 7*a**2/2 + 10*a. Let b be d(-8). Suppose 0 = 2*u + 3*u - 10. Solve -5*w + u*w + b = 0 for w.
3
Suppose -5*q + 0*q + 2*k = -31, -5*q + 4*k = -37. Suppose 5*m - 12 - 3 = 0, -4*m + 12 = -3*z. Solve z*s = q*s for s.
0
Let g be (20/12)/(9/27). Suppose 2*j = 3 + g. Solve j*w = 5*w for w.
0
Let s(b) be the third derivative of b**5/60 - b**4/12 - 2*b**3/3 + 2*b**2. Let i be s(0). Let m be ((-3)/(i - -3))/1. Solve m*y + 9 = -6 for y.
-5
Let h(m) = -7 - 4*m**3 + 2*m**2 + 6*m**2 + 3*m**3 - m**2 - 8*m. Let s be h(5). Solve -8*r + s*r + 25 = 0 for r.
5
Suppose 7*f - 28 = 7. Solve -f*a - 65 = -55 for a.
-2
Suppose -3*r + 28 - 7 = 0. Suppose -54 = 4*b + 5*b. Let i be -2 - 6/(b/2). Solve i = -3*k + r*k for k.
0
Suppose 13*h = -0*h + 13. Let j = 2 + 1. Solve 2*d + h = j for d.
1
Suppose 0 = -6*w - 31 + 7. Suppose 4*b = b - 45. Let q be w + b*(-16)/12. Solve 3*v + v + q = 0 for v.
-4
Let x = 4 - 2. Let q be x + 3 - 4/1. Solve 4*z = -13 + q for z.
-3
Let h = -759 + 762. Solve -t + 4 = h for t.
1
Let g be ((-3)/(-5))/(1/25). Suppose 25 = 3*n + 2*s, s + g = 4*s. Solve -n*j = -10*j - 25 for j.
-5
Suppose x + 233 = -2*x - 2*j, -367 = 5*x - 2*j. Let n = 80 + x. Solve n*q + 0 = -10 for q.
-2
Suppose -5*x - 1519 + 1524 = 0. Solve 0 = -31*w + 30*w + x for w.
1
Suppose 4*f - 3*f = d - 6, -d - 5*f = -24. Solve d*o - 32 = o for o.
4
Suppose 0 = -26*b + 6*b + 40. Solve 4 = -d + b for d.
-2
Suppose 0*j = -j - 3. Let h be 42 + 0 + 4 + j. Solve -h = -5*v - 18 for v.
5
Let n = -1030 + 1054. Solve 12 = 28*p - n*p for p.
3
Let z be ((-8)/12)/((-2)/(-36)). Let c = 16 + z. Solve 1 = y + c for y.
-3
Let s(l) = -l**3 - 21*l**2 + 18*l - 84. Let u be s(-22). Solve 2*m - 2 = u for m.
3
Let s = 7 + -3. Let b(r) = 2*r**2 - 9*r + 1. Let i be b(5). Solve 10 = i*q - s*q for q.
5
Suppose -2*q + 6 = -0. Let f be 168/(-20) - q/5. Let z = f + 14. Solve 0*i - 5*i = -z for i.
1
Let f = -20 + -40. Let z = -42 - f. Let x = 18 - z. Solve -5*l + 5 = -x*l for l.
1
Suppose -2*b = -5 - 15. Suppose -2 + b = 2*k. Solve -k = g + 1 for g.
-5
Suppose 2*p + p - 5*p = 0. Suppose p*f - 4*f = -16. Solve -20 = -f*y - 0 for y.
5
Suppose 0 = 5*x - 0*a + a - 21, 5*x + 4*a - 9 = 0. Let v(g) = -g**2 + 4*g + 7. Let m be v(x). Let y = -267 + 292. Solve m*w - y = -3*w for w.
5
Let r(j) = 27 + 4*j - 1 + 0*j. Let f be r(-6). Solve 2*y = f - 0 for y.
1
Let y(x) = -x**2 - 7*x + 1. Let n be y(-5). Let o(t) = -t**2 - 6*t + 9. Let p be o(-8). Let 