 = 0 for b.
-5
Suppose -2 = 5*m - 4*a, -m + a + 0*a = 1. Suppose -m*x + 4 = -2. Solve -3*v - x = -15 for v.
4
Let u(a) = 4*a - 1. Let q be u(1). Suppose 0 = -2*c - q*c. Solve c = -3*b - 0*b - 15 for b.
-5
Let p be ((-4)/3)/((-18)/27). Suppose p = 2*t - 8, -x + 16 = 3*t. Solve -7 = 4*z + x for z.
-2
Suppose 76 = 2*y - 0*x + 4*x, 0 = -5*y + 2*x + 202. Let c = y - 24. Solve 9 = -5*i - c for i.
-5
Let h = -4 - -8. Let o = -4 + h. Solve o = f + 4 for f.
-4
Suppose 4*a + 4 = -c, -8 = 2*c - 0. Suppose -b + 8 = -a*b. Solve -2*n + b = -0*n for n.
4
Let k(g) = 10*g**3 + 22*g**2 + 2*g - 5. Let q(b) = -7*b**3 - 15*b**2 - b + 3. Let a(w) = -5*k(w) - 7*q(w). Let u be a(-4). Solve u = -r - 4*r for r.
0
Let g be 1/4 - (-19)/(-76). Solve g + 2 = -i for i.
-2
Let u(g) = g**2 - 4*g + 9. Let v be u(3). Solve v*s - 3*s + 6 = 0 for s.
-2
Suppose -3*z + 11*q = 16*q - 16, 5*q = -4*z + 18. Solve -z*n = -1 - 1 for n.
1
Suppose 3*t = 3*h + 30, 4*h + 12 = 2*t - 4. Solve -3*z + 0*z + t = 0 for z.
4
Suppose 0*n = -5*n + 20. Solve 3*d - 1 = -n for d.
-1
Suppose 5*w + 9 - 4 = 0. Let k = 1 - w. Suppose 0 = i - k*q + 5*q - 3, -i - 3 = -3*q. Solve i = -4*r + r for r.
0
Let o(j) be the second derivative of -j**4/12 + 5*j**3/6 - j**2 - 3*j. Let r be o(3). Solve -k + 2 - r = 0 for k.
-2
Let a(m) = -m + 12. Let g be a(10). Solve 5 = g*r - 1 for r.
3
Let f be 1/(-3) - 138/(-9). Suppose 4*c - 17 = 4*m + f, 0 = c - 4*m - 23. Solve c*q = 5*q + 8 for q.
-4
Let c(p) = p + 1. Let l be c(-1). Let i be 1*3 - l/(-1). Solve -i*r - 12 = -3 for r.
-3
Let z be (-3)/5 + (-144)/(-40). Suppose -3 = -z*o + 3. Suppose 2*i - 6 = t, -7*i + 2*t + 16 = -2*i. Solve -i*w + 2 + o = 0 for w.
1
Suppose 0 = -2*q - 1 - 13. Let z(m) = m - m - 10 - 2*m. Let y be z(q). Solve -4 = -3*x + y*x for x.
-4
Suppose -4*l = 0, 2*l + 2*l - 6 = -3*i. Let k(j) = -6*j + 15. Let c be k(2). Suppose c*y = i*y. Solve y = 5*m - 0*m + 15 for m.
-3
Let x = -14 + 23. Suppose -5*g + 6 = -x. Solve -2 + 5 = g*l for l.
1
Let l be (36/24)/(6/8). Solve -4*b - l = -10 for b.
2
Let x = 6 + -10. Let f be 2/x + (-31)/(-2). Solve -f = 2*w + w for w.
-5
Suppose -5*u = -5*g - 5, 4*u = -5*g + 17 + 5. Solve 9 = -g*l - l for l.
-3
Let t be (-6)/9 - (-76)/6. Let w = 12 - t. Let c be 2/(-8) - (-1)/4. Solve w = -f - c*f for f.
0
Let x(y) = y**3 + 4*y**2 + 2*y + 6. Let j be x(-4). Let r = j + 4. Let w = 17 - 8. Solve -1 = r*l - w for l.
4
Let s = 27 + -25. Let d(r) = r**3 - r**2 + r + 1. Let v be d(2). Suppose v*i - 2*i = s*x - 15, -x + 4*i = -6. Solve -5*p - 5 = -x*p for p.
1
Let u = 1 - -1. Suppose 0 = -3*r + r. Suppose h = -r*h + 6. Solve u*j + 16 = h*j for j.
4
Suppose 0 = -2*l - 3*a + 17, -3 = 5*a + 2. Solve 5*p = -10 - l for p.
-4
Let p be 0*-3*1/(-6). Solve 2*m + p*m + 8 = 0 for m.
-4
Suppose -84 = -4*u - 2*n - 3*n, -3*u - 3*n + 66 = 0. Suppose -z + 2*w + 50 = 4*z, 2*z - u = 2*w. Solve -3*f - f + z = 0 for f.
2
Let c be (0 - (-4)/(-4))*16. Let s = -12 - c. Solve -9 = 5*g - s for g.
-1
Suppose 0 = -2*j - 4*j + 18. Solve -2 = -j*m + 1 for m.
1
Let u be (-20)/8*-18*2/6. Solve -u = f + 4*f for f.
-3
Let l(j) = j**2 + 7*j - 8. Let y be l(-8). Solve -t + 2*t = y for t.
0
Suppose 11*o - 9*o = 12. Solve -3*q = -5*q + o for q.
3
Let y = -6 + 8. Let x(k) = 2*k - 15. Let d be x(10). Let g = -3 + d. Solve y*z = -g*z for z.
0
Let r be ((-6)/(-5))/(6/40). Let d = -7 - -10. Suppose -d*h + 11 - 2 = 0. Solve h*l - r = -l for l.
2
Suppose 4*i - 7 = 1. Suppose -i = 4*n - 18. Solve 0*w = -4*w - n for w.
-1
Let t(y) = 2*y**3 - 5*y**2 + 3*y - 8. Let v be t(3). Solve -v*i + 5 = -11*i for i.
-5
Let m(q) = q**2 + 4*q + 4. Let i be m(-4). Solve -6*a = -i*a + 6 for a.
-3
Suppose 5*a - 3*r - 3 = 4, 4*a = -4*r + 12. Solve 0 = a*m - m - 2 for m.
2
Let z = -3 - -2. Let r = -1 - z. Let i be 10 + (r - 0/(-2)). Solve -5*c - 15 = -i*c for c.
3
Let l(h) = 2*h**2 - 7*h - 3. Let v(a) = a**2. Let q(k) = -l(k) + v(k). Suppose 13 = 4*t - 5*z, -3*t = -2*z + 2 - 17. Let s be q(t). Solve s*r - 4 + 1 = 0 for r.
1
Suppose 0 = 2*y + 3*y - 100. Solve y = -3*a + 7*a for a.
5
Let d be (-49 + 44)/((-10)/4 + 0). Solve 0 = -d*u + 1 + 9 for u.
5
Let h be (-3)/1 + (-9 - -13). Solve q - 3 = h for q.
4
Suppose 0*t + j = 2*t - 21, -2*t = 3*j - 33. Solve -2*n + 6*n = t for n.
3
Let p(g) = 2*g - 7. Let t be p(5). Solve 0*j - t = j for j.
-3
Suppose 0*i + 4*i = 3*h - 27, -5*i - 20 = -h. Let t be (-150)/(-40) + i/4. Solve t*d = 2*d for d.
0
Let j be (1/(-2))/(2/(-12)). Let u = -2 - j. Let l = u + 9. Solve l = 3*y + 1 for y.
1
Suppose 3 + 2 = 5*s + 4*r, 5*s = -2*r + 5. Solve 5 - s = -4*h for h.
-1
Let w(d) = 2*d**2 + 3*d**2 + d + d**3 - 2 + 0*d**2. Suppose -5*a - z - 18 = 0, 5*z = -2*a - a - 2. Let x be w(a). Solve -v - v = -x for v.
5
Suppose -4*v + y = -6 + 1, -3*v = -2*y. Suppose 5*r + 18 = -3*j + 2*j, r = -v*j. Suppose -j*q = 2*q - 60. Solve q = m - 6*m for m.
-3
Let m(y) = -4*y + 2. Let w be m(-2). Solve w*r - 4 = 14*r for r.
-1
Let w = 6 + 19. Suppose m + 5*d = -17, w = -7*d + 2*d. Solve 2*f - m = 6*f for f.
-2
Suppose -2*w = 3*w. Solve 0 = -w*o - 2*o + 2 for o.
1
Let u(v) = v**2 + 10*v + 11. Let c be u(-9). Suppose 4*k - 3*k - 10 = 4*a, c*k + 4*a + 16 = 0. Let z = -1 - k. Solve -2*w + z = -w for w.
1
Suppose -3*a + 25 = 2*a. Solve 0 = -a*y + 33 - 8 for y.
5
Let g be 15*-1*92/(-69). Solve -k + g = -5*k for k.
-5
Let j be (-4)/18 + (-292)/(-18). Solve -p - j = -5*p for p.
4
Let u = 8 - -1. Suppose u + 6 = 3*w. Solve 10 = 5*j - w for j.
3
Let m = -8 + 6. Let s = 4 + m. Solve 0 = s*h + 4 for h.
-2
Suppose 2*v - 6 = -v. Suppose 6*i - 4*i = -2*u - 2, u + v*i + 4 = 0. Suppose -3*x - 5*w = -4, -u*x - 5*w = 3*x - 10. Solve 12 = -x*m - 3 for m.
-5
Let y be (1 + -2 + -3)*-1. Solve -2*r = -2 - y for r.
3
Suppose 17 = k + 4*g - 2, 4*k = 5*g - 8. Solve f - 4 = -k*f for f.
1
Let d(g) be the second derivative of g**5/20 - 5*g**4/12 - 5*g**3/6 - 2*g**2 + 2*g. Let l be d(6). Solve -l*h - 3 - 3 = 0 for h.
-3
Let g = 19 + -14. Solve 0 = g*d + 14 + 6 for d.
-4
Let b be 12/(-8)*2/3. Let w = b + 1. Let n be (w/1)/(6/(-3)). Solve n*j = -j for j.
0
Suppose 0 = -3*k - 0*k. Solve -3 = -w - k for w.
3
Let c(z) = z**3 - 6*z**2 + 6*z - 3. Let h be c(5). Let n = 19 - 7. Suppose n + 31 = 4*q + 5*g, -4*q + 4*g = -52. Solve -h*d = 2*d - q for d.
3
Let n = 16 - 16. Solve n*o + o = -3 for o.
-3
Let g be (-84)/(-8) + 3/2. Let c = 14 - g. Solve -o - c*o = 15 for o.
-5
Suppose -y - 5*a - 21 = y, 0 = 5*y + 2*a. Let u be (-20)/(-2)*(11 + -7). Let f = u + -37. Solve -14 + y = -f*m for m.
4
Let x = 51 - 45. Solve -5*u = x - 1 for u.
-1
Let w be 4/10 - (-348)/30. Let l = -12 + w. Solve -2*g - 3 + 1 = l for g.
-1
Let a = 0 + 3. Solve -a*q = -q - 6 for q.
3
Suppose -4*s = 4*p - s - 50, 2*p - 20 = s. Let i = p - 7. Suppose i*z - 6 = -2*r, 0*r - 2*z + 24 = 4*r. Solve 0 = -3*a - 5 - r for a.
-4
Suppose 3*l = -0*l + 30. Let g = l - 3. Let k = 1 - -1. Solve h - g = -k for h.
5
Let r be (4 - 5) + (2 - 2). Let z = 9 + r. Solve z = -2*p - 2 for p.
-5
Let m = 6 - 6. Suppose -i - 5 = m, 1 = -4*y + 5*i + 34. Solve -6*a = -y*a - 8 for a.
2
Suppose 2*a - 7*a + 25 = 0. Solve 2 - a = 3*l for l.
-1
Let j = -4 - -5. Suppose d = 4 - j. Solve 7 = -d*a + 1 for a.
-2
Suppose -3*t - 5*d = -10, 2*d - 3 - 1 = -2*t. Let v(o) = -o**2 - 2*o + 5. Let l be v(0). Suppose -5*q + 3*q = 4, q + 2 = l*a. Solve a*n - 3*n + 15 = t for n.
5
Suppose 0 = 3*h + h - 12. Suppose -3*w = -3 - h. Solve 2*z - w + 6 = 0 for z.
-2
Let a = 4 + 0. Suppose -u + 14 = -0*u + a*x, -2 = 2*u - 2*x. Let b = -3 + 6. Solve b*h = -u*h + 20 for h.
4
Let l(h) = h**3 + 4*h**2 - 6*h + 1. Let b be l(-5). Suppose 5*d + 0*c + c = 3, -b = -5*d - 2*c. Let n be 9 + (1 - (2 - 0)). Solve d = -0*z - 2*z + n for z.
4
Let m(o) = o**3 + 2*o**2 + o. Let g(d) = d**3 - d. Let a be g(-1). Suppose 4*i + x = a, 0 = 4*i - 3*x + 8 + 8. Let u be m(i). Solve -4*s - s = u for s.
0
Let z(q) = -q - 10. Let s be z(-10). Solve s*t = 2*t for t.
0
Let g = 1 + 0. Let t be (g + 6/(-3))*-6. Let u be -2*(-2 - 21/t). Solve 1 + u = -4*q for q.
-3
Let g = 66 - 46. Solve u - g = -3*u for u.
5
Let f = 14 - 13. Solve u + f = -4 for u.
-5
Suppose -4*q + 10 = q + p, -2*q + 2*p = -16. Suppose 0 = q*s - 0*n - 2*n - 2, 4*s + 2*n = 26. Solve -m + 5*m + s = 0 for m.
-1
Let s = 4 - 3. Suppose -s = -2*j + 9. Let w(q) = 2*q - 6. Let o be w(j). Solve o*k 