e h - 7 = -12*a for a.
-2
Let w = -1554 + 1573. Solve -w*i = 9 - 47 for i.
2
Let a = -10 + 30. Solve -26 = 2*f - a for f.
-3
Let u(n) = 40*n + 890. Let w be u(-21). Solve 54 = h + w for h.
4
Let h(q) = -q**3 + 8*q**2 - 8*q - 5. Let s be h(6). Let g(r) = 2*r**2 - 39*r + 24. Let p be g(s). Solve -p*n + 0*n + 5 = 0 for n.
1
Let x = 853 - 847. Solve -x + 1 = c for c.
-5
Let i(c) = -c + 12. Let j be i(9). Let x be 135/12 + j/(-12). Let d = -9 + x. Solve d*h = 3*h - 3 for h.
3
Let y(s) = 13*s. Let m be y(1). Suppose -2*u + 1 = 17. Let p = 13 + u. Solve 12 = -p*b - m for b.
-5
Let o be 15/(0 + 1)*(-4)/(-12). Let s = 38 - 9. Solve -o*c - 9 = -s for c.
4
Let l = -1405 + 1414. Solve -l - 27 = 9*m for m.
-4
Let l = 393 - 365. Solve -4*q + l = -11*q for q.
-4
Suppose 2*y = 63 - 15. Solve -7*b + b = y for b.
-4
Let o be 15*(3/9 + (-84)/(-63)). Solve -3 = o*q - 128 for q.
5
Let u be (-12)/54 - 6/(-27). Solve -9*w + 65 - 56 = u for w.
1
Let w = -95 + 136. Solve w - 49 = 2*t for t.
-4
Let l be 20*(-2 + 2 - (2 + 0)). Let o = -36 - l. Solve 5*t - o*t + 2 = 0 for t.
-2
Let d = -29 - -53. Let f(s) = -s + 9. Let u be f(4). Solve -d = u*k + 1 for k.
-5
Suppose -4*g + 15 = -0*g - p, -3*g - 5 = -4*p. Let j = 4 + -7. Let d(t) = t + 3. Let o be d(j). Solve -g*z = -5 - o for z.
1
Let j(s) = -s - 7. Suppose -34 = -n + 6*n + 4*g, 0 = n + g + 6. Let b be j(n). Let l = -9 - -9. Solve l*z = -z + b for z.
3
Let j = 226 + -223. Solve 17 + j = 4*r for r.
5
Let u = 41 + -17. Suppose u = 21*y - 17*y. Solve y*a - 3*a = 9 for a.
3
Let z(h) = -h**3 + 4*h**2 + 19*h - 60. Let f be z(5). Solve -16 = 3*i - f for i.
-2
Let t(v) = -v**3 + 5*v**2 + 2*v - 5. Let c be t(5). Let j be 9/4 - 5/20. Suppose 0 = a - 2*i - 7, j*a + 4 = -i - i. Solve -o = -c + a for o.
4
Suppose -2*m + 4 = 0, -3*m = 5*i + 2*m + 155. Let a = -29 - i. Solve 0 = a*j - 16 - 0 for j.
4
Let b(u) = -5*u - 172. Let c be b(-36). Solve 0 = c*a - 11*a for a.
0
Let k = 189 - 182. Solve -4*y + 15 = -k*y for y.
-5
Suppose -4*w = -5*y + 28, 0*w - 3*y + 16 = -2*w. Let i(h) = 7*h**2 + 12*h - 1. Let x be i(w). Solve x*c + c = 20 for c.
5
Suppose -40 + 40 = -12*p. Solve 3*u + 7 + 2 = p for u.
-3
Let q = 4 - -1. Let a(s) be the second derivative of s**4/6 - s**3/3 + 5*s**2/2 + 12*s. Let t be a(4). Solve q*w + 9 = t for w.
4
Let c(z) = z**3 + z**2 + z. Let o = 23 + -20. Suppose i - o*i + 3*t + 9 = 0, 3*i - 2*t = 6. Let m be c(i). Solve 2*v + 2*v = m for v.
0
Let j be ((-12)/(-15)*-1)/((-1)/10). Suppose -5*g - 1 = -3*r, 4*r - 40 = -5*g + j. Solve 5*f + r + 8 = 0 for f.
-3
Let h(l) = 11*l - 10. Let i be h(2). Solve i = -2*w - w for w.
-4
Let o = -164 + 170. Solve o*c - 7 = -7 for c.
0
Let s = 410 - 391. Solve -s = -4*m - 3 for m.
4
Suppose 2352 = 3*f - 7*f. Let q be (-3)/(-5) - f/70. Solve -6*r = -3*r + q for r.
-3
Let s be 18/(-3) + 2*3. Solve -3 = -3*o - s for o.
1
Let k be (-5)/45*-6*3. Let v be -1 + (12 - 2) - 2. Solve -v*f = -k*f + 10 for f.
-2
Let f(g) = -2*g**3 + 16*g**2 + 7*g - 54. Let d be f(8). Solve -6*s + 5*s = d for s.
-2
Let d = -1907 - -1909. Solve d*t - 16 = 10*t for t.
-2
Let u(z) = 3*z - 5. Let q(k) = -3*k + 6. Let v(m) = -5*q(m) - 6*u(m). Let l(s) = -5*s. Let j(p) = 4*l(p) - 7*v(p). Let n be j(6). Solve -3*i = -0*i + n for i.
-2
Let i be (2 - (0 - -3))*-4. Suppose -13 = -3*g - i. Let d be 6*(-2)/((-18)/g). Solve 0*v + d = v for v.
2
Suppose -5*l + 10*l + 17 = f, 0 = 4*f + 5*l - 68. Solve 0 + f = 17*n for n.
1
Let l(f) = 2*f + 11. Let b be l(-6). Let s be b/2 - (0 - (-9)/(-2)). Let q = 12 + -5. Solve -s*o + 9 = -q for o.
4
Let n be 3*(-30)/(-9)*1. Let t(x) = -x**2 + 10*x + 8. Let j be t(n). Let y be 6 - -3*(-2)/3. Solve y*i - 8*i = j for i.
-2
Suppose 0 = -3*b + 14 + 1. Solve 28 = -2*r - b*r for r.
-4
Let u = -53 - -74. Suppose -p = 13 - u. Solve 0*d - 2*d = p for d.
-4
Let b = -169 - -173. Solve -8 = b*h - 2*h for h.
-4
Suppose -2*o - 2*g = 2*g + 188, -4*g = -4*o - 388. Let n = o + 105. Solve 4*u - n = -5 for u.
1
Suppose 58*d = 67*d - 27. Solve 0 = d*x - 5*x - 10 for x.
-5
Suppose 0*h + 27 = 9*h. Solve 0 = h*i + 16 - 1 for i.
-5
Suppose -g = 2*g - 12. Suppose 0 = 2*x + g*d - 10, 3*d - 4 = -d. Let n = 6 - x. Solve n + 5 = 4*a for a.
2
Let k(h) = h**3 - 3*h**2. Let m be k(4). Let s = m + -13. Let y = s + 3. Solve -y*o = -4*o - 2 for o.
1
Let h(w) = -2*w - 12. Let c = 12 + -10. Suppose -c*u = 26 - 10. Let z be h(u). Solve -3*g - z = -g for g.
-2
Let g = 15 + -9. Let w be ((-8)/(-10))/((-8)/40). Let o = 15 - w. Solve 5*l + g = -o for l.
-5
Let b(j) = j + 27. Let p be b(-14). Let k = p + -9. Solve 4*i + k = -0 for i.
-1
Suppose -2*x + x + 113 = 3*m, -81 = -2*m + 5*x. Let s = m - 33. Solve 0 = s*u - 7 + 2 for u.
1
Suppose -l - 2 = 5*v + l, -v = -5*l - 5. Solve -6*c + 12 + 12 = v for c.
4
Let x = 135 + -135. Solve x = -5*t - 10 - 5 for t.
-3
Let m be 13/((-13)/6) + 15. Let d(g) = -g**3 - 2*g**2 + g - 2. Let w be d(-2). Let h be w/10*-1*5. Solve -m = -h*b + 5*b for b.
-3
Suppose -2*k + 2*p - 8 = -k, 3*k + 21 = 5*p. Let o be 2*1/1 - k. Solve -o*l = 4 - 0 for l.
-1
Suppose -12 = -5*i + 4*i. Let t be (-276)/((-3)/(-1)) - 1. Let n be 4/16 - t/i. Solve -q - q = n for q.
-4
Suppose 2*w + 5 = -3*k, 5*w - 3*k - 29 = -10. Let v be 40/16*-1*52. Let c = v + 134. Solve -w*n = -c*n for n.
0
Let x(z) = z**2 + 19*z + 48. Let w be x(-3). Solve w = 4*j - 49 + 41 for j.
2
Suppose -5*l - 3*y = -2*l + 3, -1 = 3*l + y. Let d be 2/1*(1 + 0). Solve d*b - b = l for b.
0
Let x be (2 + 65/(-20))/((-6)/24). Solve x*m - 2 = 3 for m.
1
Let b be (-14 - -11)/((-3)/4). Suppose h = 4*a - 4, 2*h - b*h - 2*a + 42 = 0. Let n = -11 + h. Solve -3*k = -2*k - n for k.
5
Let h = 5 - -45. Solve h = -2*c + 48 for c.
-1
Let g(h) = -60*h + 540. Let m be g(9). Solve m = 6*v - v - 25 for v.
5
Suppose 4*r - 16 = -2*y, 0*r - 2*r = 4*y - 62. Let x = 20 - y. Let d be (4 + x)*(-12)/(-9). Solve z - d = -3 for z.
5
Suppose w - 56 = -4*y, -136 = -2*w + y + 3*y. Let a = 67 - w. Solve -c + a*c - 4 = 0 for c.
2
Let i = -5 - -2. Let y = i + 7. Solve 0*k - 4 = y*k for k.
-1
Let x(p) be the first derivative of 2*p**3/3 - 3*p**2/2 - 11*p + 1. Let o be x(-2). Solve 4*c + o = -9 for c.
-3
Suppose 3*a + 202 = 4*u, 4*a = -0*a - 5*u - 290. Let v = a + 78. Solve v = -4*l - 12 for l.
-5
Suppose v + 2*y + 4 = -0*y, 3*y + 6 = v. Let k(o) = o**3 - 31*o**2 + 88*o - 3. Let q be k(3). Solve -q = -3*p - v*p for p.
3
Let s be 2 - -3 - (-4 - (5 + -3)). Solve 0 = 6*c + 35 - s for c.
-4
Let h be (-8)/((-1472)/2408) - 2/23. Solve 0 = h*j - 8*j + 10 for j.
-2
Let z(l) = l**2 + 8*l + 7. Let h be z(-7). Suppose h*o = -o. Suppose 3*n - 7*n + k + 21 = 0, 4*k + 28 = 2*n. Solve o = -n*q + q for q.
0
Let p(f) = -8*f**2 - 49*f + 19. Let z be p(-6). Solve 4*u = -u - z for u.
-5
Let o(u) = u**2 + 31*u + 58. Let g be o(-29). Solve -3*j - 24 + 9 = g for j.
-5
Suppose -12*v + 5*a - 147 = -14*v, -5*v + 5*a = -315. Solve r + v = 67 for r.
1
Let z(o) = -o**2 - 5. Let h be z(5). Let p be 2/(-9) - h/135. Solve 0 = -p*k - 4*k for k.
0
Suppose -4*k - 4*g + 84 = 0, 5*k - 4*g = -7*g + 97. Let v = k - 14. Suppose -21 = -3*u + 2*i, -i = 4*u - 13 - 15. Solve v*p + 16 = u*p for p.
4
Let t = -15 - -50. Solve 7*u + 21 = t for u.
2
Let o be 10/(-15)*411/(-2). Let q = 140 - o. Solve q*m - 4 = -1 for m.
1
Let k(w) = w**3 - 19*w**2 - 43*w + 21. Let o be ((-24)/(-6) + -1)*7. Let l be k(o). Solve l = 2*d - 6*d - 8 for d.
-2
Suppose 10 = 4*r + 22, 54 = 5*s + 2*r. Suppose 9 = h + k - 1, -4*h = -3*k - s. Let j be 1/3*(-15)/(-1). Solve -1 + h = -j*f for f.
-1
Let w(z) = z**2 - 3*z - 2. Let d = 3 + 1. Suppose 2*b + d = 3*b. Let v be w(b). Solve 4*o + 6 + v = 0 for o.
-2
Suppose 2*d + 4*x = -18, 21 = 2*d - x + 14. Solve 0*n = n + d for n.
-1
Let l(x) = -x**3 + 6*x**2 + 3. Let i be l(6). Suppose 2 = -i*h + 11. Let b(a) = -a**2 + 4*a + 2. Let f be b(4). Solve h + 1 = -f*c for c.
-2
Let c(h) = 5*h**3 - 50*h**2 + 38*h + 53. Let m(s) = 2*s**3 - 17*s**2 + 13*s + 18. Let j(q) = -4*c(q) + 11*m(q). Let k be j(-7). Solve k = -5*n - 5 for n.
-1
Let i = 2574 + -2568. Solve 8 + 10 = -i*g for g.
-3
Let q(s) = s**2 - s - 1. Let y be q(3). Suppose 5*r + 8 = -2*p, 2*r - y*p - 20 = 6*r. Solve r = -t - t + 2 for t.
1
Suppose 18 = 5*l + 4*j, 5*l - 29 - 10 = 3*j. Let h(b) = 6*b - 4. Let a be h(5). Solve -5*m = a - l for m.
-4
Suppose -2*x - 2*f = 4, 4*x + 5*f = 