2*l + 20 = -4*b. Suppose h - 3*h = -l. Suppose 2*m + w = 3*m - 11, h*w = m - 19. Solve -2*z = -3 + m for z.
-2
Let m be (2/15)/(4/60). Solve 25 = -9*a - m for a.
-3
Let b(j) = 2*j + 12. Let a be b(-4). Suppose -2*t + 20 = -a*i, 4*t - 2*i = t + 30. Let v = 3 - 1. Solve 0*o + t = v*o for o.
5
Let v be ((-10)/5 - 0)/(-2). Let z be 21 - (-3 + v)*1/(-2). Let p be (-18)/(-5) + 2/5. Solve -z = -0*i + p*i for i.
-5
Suppose 0*l + 5*l = 30. Let g be (-3)/l*8 - 18/(-2). Solve g*f = 5 - 15 for f.
-2
Suppose 0*o = -2*o. Suppose o = -4*h - 2 + 10. Suppose 5*u = h*u + 9. Solve u = -2*c - 1 for c.
-2
Let z = 627 + -619. Solve -o + 4 - z = 0 for o.
-4
Let m(y) = -y**2 - 4*y + 3. Let x be m(-7). Let v be 1 + 3/(-6)*x. Suppose -4*t - 2*r - 13 = -31, -r = 3*t - 12. Solve -t*s + 8*s = -v for s.
-2
Suppose 26 + 6 = 2*i. Let p = -8 + 13. Suppose -i = -5*v - 0*v - f, -p*v - 4*f = -4. Solve z = -v*z for z.
0
Let q(z) = -z**3 + 11*z**2 - 3*z + 12. Let h be q(11). Let w = 21 + h. Solve 4*b + w - 4 = 0 for b.
1
Suppose -3*l = n - 0*n, 0 = 4*n - 2*l - 28. Suppose 0 = 4*s - 2*q - 10, -n*s + s + 5*q + 25 = 0. Solve 4*g + 4 + 8 = s for g.
-3
Suppose 3*v - 2*v + 0*v = 0. Suppose 3*o = -6, -5*o = 4*j - v*o + 2. Solve -j*h - 2*h - 8 = 0 for h.
-2
Suppose -3*i + 20 = 8. Suppose -3*a - 63 = -3*l - 7*a, -115 = -i*l + 5*a. Solve l = 3*c + 2*c for c.
5
Let n(c) = 3*c - 24. Let s be (0 - 4) + (14 - 2). Let l be n(s). Solve -2*u + 0*u = l for u.
0
Let a(h) = 3*h + 19. Let w be (2 + 1)/3*-5. Let m be a(w). Solve -19 = 5*j - m for j.
-3
Let p(h) = -4*h**3 - h**2 + 3*h + 1. Let x be p(-2). Solve 3*a = -x + 8 for a.
-5
Let u(c) = -c**3 - 3*c**2 + 1. Let i be u(-3). Suppose -i - 47 = -4*x + 5*h, 0 = 2*x - 2*h - 22. Solve 5*m = x*m + 2 for m.
-1
Let x(z) = -7*z + 2. Let d be x(0). Solve d = -w + 7 for w.
5
Let c = -55 - -67. Let f be 1 + -1 + 4*9/c. Let x(w) = -w**3 + 7*w**2 + 2. Let d be x(7). Solve -g + f = -d*g for g.
-3
Suppose 48 = 4*b - 8. Let n = -11 + b. Let f be 17 + -14 + 0 + 0 + 1. Solve -n*s = -f*s for s.
0
Let k(d) = d**3 - 8*d**2 + d + 2. Suppose 3*c = -c + 8. Suppose 3*h - 22 = -4*g + c*g, -2*h + 4*g = -20. Let b be k(h). Solve -3*w = 4 - b for w.
2
Suppose 0 = -3*k - 3*j + 15, 5*k - 5*j - 9 = -2*j. Let p be 104/6 + k/(-9). Suppose 4*y - 3 = p. Solve -y*c - 30 = -10 for c.
-4
Suppose 7*c - 2*c + 3*z - 65 = 0, -5*z + 39 = 4*c. Let t = -7 + 11. Suppose -g - 2*g = g. Solve 0*w - t*w - c = g for w.
-4
Suppose -41 = -h - 3*o, -h = -0*h - 4*o - 55. Let z = -32 + h. Suppose 0 = -c + 4*c - z. Solve 6*i + c = i for i.
-1
Let j = 1724 + -1718. Solve -j*f = -9*f - 3 for f.
-1
Let z = -60 + 85. Suppose m - 27 = -j, -4*j - 2*m = -9 - 103. Let y = j - z. Solve 15 = y*n + n for n.
3
Let w(h) be the first derivative of -5*h**2/2 - 3*h - 21. Let a be w(-1). Solve -a*s + 0*s = -10 for s.
5
Let n(i) = i**2 - 5*i - 10. Let o be n(8). Let g = 6 - o. Let f = 16 + g. Solve -4*q - 12 = f for q.
-5
Suppose -20 = -3*f + 22. Suppose 0 = 6*v + 5 + 43. Let a = v + f. Solve a = -y - y for y.
-3
Let i(r) = r**2 + 4*r - 11. Let q be i(-6). Let v(y) = 0*y**2 + 2*y**2 + 6*y**2 - 4 - 5*y - 9*y**2. Let t be v(-3). Solve c + q = t*c for c.
1
Let c(d) = 36*d - 286. Let y be c(8). Let v be -2 - (2 + -1)/(-1). Let k be v/(-4) + (-2)/8. Solve y*i - 4*i + 8 = k for i.
4
Suppose 4*p - 3*i = 39, -3*p + 38 = -0*p - 4*i. Solve 4*n = p - 14 for n.
-2
Let u be (-1*2)/((-1)/6). Suppose 3*d = -7 + 22. Let r(f) = 264*f + 1059. Let j be r(-4). Solve -j = -d*v + u for v.
3
Let j = -40 + 57. Let o be (-4)/10 - (-66)/15. Let s be j/o - 27/(-36). Solve 3*f + 2 = s for f.
1
Suppose 4*l - 26 = -5*a - 0*l, 0 = -5*a - 5*l + 30. Solve r = 2*r + a for r.
-2
Let m = 19 - 12. Suppose 9*w - 5*w - 21 = 3*h, 5*w + 5*h = 0. Solve m*f - 8 = w*f for f.
2
Let g(p) = -30*p - 9. Let k be g(-1). Solve -30 - 33 = k*t for t.
-3
Suppose -4*v + 4*y = -23 - 1, 0 = 4*v + 5*y + 12. Solve -v*r + 14 = 12 for r.
1
Let w be -8 - (-8 + 21/(-3)). Solve -1 = -w*t - 8 for t.
-1
Let t = -530 + 537. Solve 8*h + 47 = t for h.
-5
Let z be (-62)/(-4) - 93/62. Solve -z*b + 10 = -12*b for b.
5
Let u(v) = -9*v**3 - 1. Let w be u(-1). Suppose 0 = 2*y - 2*q + 4*q + w, -2*q - 8 = y. Suppose -3*j + 0*j = y. Solve -10 = -j*l - 5*l for l.
2
Let v = 406 + -404. Solve 4*q = -v + 10 for q.
2
Let w = -1 + 1. Let c(q) = q**2 - 7*q + 9. Suppose -3*u - 18 = -4*n, -5*n + n + 5*u = -14. Let r be c(n). Solve w*h = -r*h for h.
0
Suppose 0*k = k. Suppose 0 = -5*f + 5*r + 15, 4*f + 4*r - r - 47 = k. Suppose 0*t - 5*t = -60. Solve -4*d + f = -t for d.
5
Suppose 4*f + s = 6 + 7, -4*f = -4*s - 28. Suppose 3*c - f*c = -12. Solve 8 = 4*u - c for u.
5
Suppose -2*b + 34 = y + 5, y + 51 = 3*b. Suppose 3*u - u - 4 = -w, -u = -4*w + b. Solve -w*i = -0*i - 16 for i.
4
Let x = -29 - -29. Suppose -5*b + 3*r + 7 = x, -4*b - 4*r + 9 = -3. Solve 0 = 6*i - b*i for i.
0
Suppose -3*u = 2*x - 9, 14*u - 13*u - 1 = 0. Let h(y) = -y**2 - 6*y. Let w be h(-5). Suppose -l = -w, -2*v + 2*l - 10 = -4. Solve -v*m + x*m - 4 = 0 for m.
4
Let n = 13 + -22. Let x(r) = -r - 9. Let s be x(n). Let y be 0/((s + -3)*-1). Solve -2*i + 5*i = y for i.
0
Let n(v) = -4*v**2 - 10*v + 5. Let g(p) = 5*p**2 + 11*p - 6. Let j(u) = -5*g(u) - 6*n(u). Let h be j(5). Suppose s - 3*s = h. Solve s*f - 2*f = -10 for f.
5
Let y(c) = 22 + 3*c - 3*c - c - 6. Let q be y(11). Suppose 0 = 2*m - 3*a - 23, 0 = -3*m + m - 5*a + 63. Solve m = q*j - 6 for j.
5
Let u(l) = l**3 - 4*l**2 - 4*l - 2. Let c be u(5). Suppose -20 = -c*k - k. Let z(s) = -s**2 + 13*s + 34. Let v be z(15). Solve -k = a - v for a.
-1
Let q be ((-78)/8)/(57/(-608)). Let v = q - 101. Solve 20 = o + v*o for o.
5
Suppose -3*p + 0*b = 4*b - 10, 6 = 2*p + 3*b. Let c be (-3)/p - (-2)/4. Let r = -2 + 8. Solve 2*a - r = -c for a.
3
Let r be (-3)/(3/(-6) - 1). Suppose b + 3*b = r*i + 4, -16 = -4*i. Solve -16 = w + b*w for w.
-4
Suppose 4*y = 2*y + 12. Let z be 6*(9/y - 1). Suppose 0 = 7*n + 114 - 156. Solve -n + 3 = -z*o for o.
1
Suppose -v + 1 = 5*z, 5*z + 0 - 4 = -4*v. Let q(u) = 4*u**2 + 1. Let t be q(v). Let k be (t/(-3))/((-25)/30). Solve y = k - 1 for y.
1
Let j(m) = m**3 - 8*m**2 + 2. Let t be j(8). Let x = 54 + -46. Let h = 8 - 6. Solve h*d + t*d + x = 0 for d.
-2
Suppose 2*t + 1 = 19. Suppose z = v - 3*v + t, -4*v = 4*z - 24. Solve v*i - 4 = 11 for i.
5
Let h(c) = 17*c**3 - c**2 + 1. Let p be h(1). Suppose 0 = 12*z - p*z - 80. Let i = -13 - z. Solve 0 = -a - i*a for a.
0
Let j = -12 - -13. Suppose 0 = 2*i - 5 + j. Suppose 0 = -3*b - 2*z + 14, -26 = -3*b + b + i*z. Solve 0*f - b = 2*f for f.
-4
Suppose -18*a - 2827 = -523. Let s = -321 + 222. Let q be a/(-22) - 18/s. Solve q = 2*d - 0*d for d.
3
Let u(l) = -l**3 + 5*l**2 + 3. Let n be u(5). Suppose -1 = n*c - 4*j - 3, 5*c = 5*j + 5. Suppose 0 = t + c*t. Solve t*k + 3*k = 0 for k.
0
Suppose 11*g - 144 = -34. Solve -4 = 3*m - g for m.
2
Let t be (-2 + -1)/(9/(-12)). Suppose -v - 3 - 3 = -5*i, -10 = 5*i - 5*v. Suppose -3*u - 3*a = -21, -u = -i*u + 3*a - 1. Solve -16 = u*x + t for x.
-4
Let n = -11 - -13. Suppose 0 = -f - n*f + 9. Let y = 0 + f. Solve -2 - 1 = -y*o for o.
1
Let n = 2 - 0. Suppose -3 + 13 = n*o. Let l(q) = q**3 - 6*q**2 + 6*q. Let c be l(o). Solve c = -d - 4*d for d.
-1
Let p be -13 + (4/1 - 3). Let u = p + 16. Suppose -5*m + 16 = -u. Solve 0*w - 4 = m*w for w.
-1
Let b = -12 + 12. Let d(a) = 4*a**2 + 2*a + 3. Let g be d(-1). Let n(w) = w**3 - 4*w**2 + 4*w. Let c be n(3). Solve b = g*v - 2 - c for v.
1
Let c = 24 - 20. Suppose 0 = 3*n + 5*l - 10, -5*n - c = -0*n - 2*l. Suppose x + 4*o - 23 = 0, 5*x - 32 = 3*x - o. Solve -5*d + 0*d + x = n for d.
3
Let i be (-34)/(-8) - (-192)/256. Solve 19 - 9 = i*k for k.
2
Suppose -17*n - 10 = -18*n. Let y be -22*((-6)/4 - -1). Let d(z) = -z**3 + 12*z**2 - 10*z - 5. Let k be d(y). Solve k*m = m + n for m.
2
Let f(t) = -18*t**3 + 5*t**2 + 4*t - 5. Let h(w) = w**2 + w - 1. Let b(c) = f(c) - 4*h(c). Let x be b(1). Let o = -15 - x. Solve 0 = 5*j - 7 - o for j.
2
Suppose 45 = 7*j - 2*j. Suppose 3*g - 18 = -3*q, 4*q - 6 = 6*g - g. Solve -d = -q*d + j for d.
3
Let m be (8/(-16))/((-2)/8). Suppose b = m*a - 4*a + 28, 0 = b + 4*a - 20. Suppose 0*k - 4*k = -b. Solve 3 = 4*f - k for f.
3
Let w(r) = 3*r**3 - 1 - 1 + 3 + 7*r**2 + 2 - 5*r. Let c(m) = -5*m**3 - 14*m**2 + 9*m - 7. Let s(t) = 4*c(t)