*b for b.
2
Suppose -w - c = c - 11, -31 = -5*w - 4*c. Solve 3*d - 6 + w = 0 for d.
1
Suppose -2*x - 3*x = 140. Let h = x + 14. Let s be (-74)/h - 8/28. Solve -15 = -s*f + 5 for f.
4
Suppose -3*x = -6*x. Suppose 5*g = -3*y - 23, -4*g = y + y + 18. Let r be (0 + 1)*x/y. Solve c + r*c = 0 for c.
0
Suppose 0 = 5*c - a + 5, 2*a + 2 = c + 12. Let y = -4 - -7. Solve c = -y*v + 8*v for v.
0
Let y(u) = -17*u**2 - u. Let z be y(-1). Let h be 6/18 - z/6. Solve 0 = -4*q + h + 17 for q.
5
Suppose -2 - 18 = -5*u. Let y(i) = 4*i + 13. Let n be y(0). Solve -u*l + 1 = n for l.
-3
Let w(z) = z**3 - 3*z**2 + 3*z. Let v be w(2). Solve v*q = 3*q for q.
0
Suppose 0 = c - 0*c. Let p be (-10)/5*(-1 + c). Solve 0 = k - p for k.
2
Suppose 2*t = 3*v + 18, 5*t + 16 = 9*t + 4*v. Let s = -5 - -8. Suppose 4*j - 9 = n, j + n = -0*j + 6. Solve j = -s*d + t for d.
1
Suppose 4 = g - 0. Let k be g/14 - (-12)/7. Let c = -2 - -7. Solve -k*r = -r + c for r.
-5
Suppose -5*r + 2*q + 23 = -0*r, 0 = -2*q - 8. Solve -r*z + 2 = 5 for z.
-1
Suppose -8*y + 6*y + 6 = 0. Suppose 32 = y*z + z. Suppose -3*n = -z*n + 5. Solve 9 = 2*l + n for l.
4
Let l be -5 + 3*(-2)/(-6). Let u = 1 - l. Let y(a) = -a**2 + 4*a + 7. Let s be y(u). Solve 2 = -4*v - s for v.
-1
Suppose -5*r - 3 = 22, 2*d - 3*r = 19. Solve 7 = -d*h - 1 for h.
-4
Let r(y) = 5*y**3 - y. Let a be r(1). Suppose -4*z + 3*g = g + 28, 2*z = -a*g - 4. Let q be 0*3/z*2. Solve m + 2 - 7 = q for m.
5
Suppose 0 = 4*p - 3*u - 21, 2 = -2*p + 3*u + 5. Let h = p - -1. Solve h + 5 = -3*r for r.
-5
Let f = 82 + -57. Let r = f - -1. Solve -4*m - r = -6 for m.
-5
Suppose -4*d + 4 = -8. Solve 0 = -d*j - 0*j + 6 for j.
2
Suppose -8 = 4*z, -3*a - 2*z - 21 = -2. Let t = a - -8. Let f = t - 1. Solve f*d = -d - 15 for d.
-5
Let s(h) = -h**2 - 9*h - 3. Let z(y) = -7*y + 1. Let i be z(1). Let p be s(i). Solve -10 = -5*l + p for l.
5
Let n be 1 + -1 + -3 + 9. Suppose 1 + n = j. Suppose 5*z - 19 = f, 0*f + 31 = 5*z - 4*f. Solve -8 = -j*l + z*l for l.
2
Suppose 2*n - 2 = -2*z, 0*n + 2*z = -4*n + 6. Solve -s = s - n for s.
1
Let q(z) = -6 + 3*z - 7*z + 0*z. Let b be q(-6). Suppose b + 14 = 4*v. Solve -2 = -3*h - v for h.
-2
Let v = 14 + -10. Solve 0*g + v = -4*g for g.
-1
Suppose -3 = -5*q + 17. Let a = 0 - -5. Suppose 5*v + 3*c = 26, -v + a*v - 10 = 3*c. Solve -v*g - 8 - q = 0 for g.
-3
Suppose -s + 5*t - 2 = -20, 3*s + 6 = -5*t. Suppose 4*i + s*x - 24 = 0, 2*i = -i - 3*x + 21. Solve 0*r - i*r + 6 = 0 for r.
2
Let i(k) = -2*k - 18. Let t be i(-9). Solve t = -5*d + 18 + 2 for d.
4
Suppose 0 = -3*b + 7 + 8. Suppose -2*m = -4*h + 28, -3*m + 4 + 9 = b*h. Suppose -h*v - 20 = -2*r, -3*v = -2*v. Solve -z = -6*z + r for z.
2
Suppose -3*n + 11 + 4 = 0. Suppose 3*f - 5*f + 14 = w, 5*w = -n*f + 60. Solve -4*t - t = w for t.
-2
Suppose 2*m - 20 = -3*m, -5*o + 60 = 5*m. Solve o = 2*x - 2 for x.
5
Suppose 0*r + 5*r = -3*r. Solve 5 = 5*f - r for f.
1
Let u = 1 - -1. Suppose 0 = -u*b - 2*b. Solve b = 3*v + 6 for v.
-2
Let y be -2*21/(-6)*1. Solve y = 2*v + 1 for v.
3
Let s(k) = -k**3 + 4*k**2 + 2. Let g be s(4). Suppose -p = 0, -5*r - g*p - p = -10. Solve -8 = r*v - 2 for v.
-3
Let t(u) = -u**3 - 13*u**2 - 11*u + 16. Let f be t(-12). Solve 0 = -f*j - j for j.
0
Let v(p) = p - 3. Let x be v(3). Let h be 2*((-9)/(-6) + x). Solve 4*a - 1 = h*a for a.
1
Let f = -113 - -116. Suppose 0 = -2*c + c + 4. Solve -c*r + 7 = f for r.
1
Let v(n) = -n**3 + n - 1. Let c be v(-2). Suppose -3*i = 3*q + 21, -4*i + 19 + 13 = -q. Let d be 21/2*(-16)/q. Solve -c*g - d = 1 for g.
-3
Suppose 0 = -5*r + p + 16, 2*p - 3*p + 4 = 0. Solve 2 + 2 = -r*z for z.
-1
Let z(c) = -2*c - 14. Let x be z(-8). Solve -x*t = -3*t + 1 for t.
1
Let g(n) = -n**3 + 4*n**2 + 8*n - 9. Let c be g(5). Solve -z - 2*z + c = 0 for z.
2
Suppose 147 + 1 = 4*v. Let r be 10/(-35) - v/(-7). Solve 2*n = -3 + r for n.
1
Let v = -25 - -35. Solve v = -5*o - 15 for o.
-5
Let l be 10 + 2/(-2) - 3. Let i = 8 - 5. Solve 0 = l*n - i*n for n.
0
Let h(s) = s**2 - 3*s. Suppose 2*v = 3*p + 1, -5*p + 3*p - 3*v = -21. Let i be h(p). Solve i = 2*b - 0*b for b.
0
Let a(f) be the second derivative of -f**4/12 - 5*f**3/2 - 6*f**2 + f. Let o be a(-14). Solve t = -o - 2 for t.
-4
Let g be ((-20)/75*-5)/(4/18). Solve h = -h - g for h.
-3
Let o(c) = 5*c - 13. Let s be o(4). Solve s*l - 10*l - 9 = 0 for l.
-3
Let y be -4 - -4 - -3 - -6. Solve -3*j - y = -6*j for j.
3
Let x(z) = -z**3 + z**2 - 1. Let j be x(-1). Let s be 2 + -2 - (-1 - j). Suppose g + s*g = 60. Solve -2*u = 3*u - g for u.
4
Suppose 3*s + 2*s + 12 = -2*a, 2*s + 12 = a. Let z(p) = -p**3 - 2*p**2 - p. Let n be z(-3). Solve -n = a*i - 4 for i.
-2
Suppose -5*b + 6*b - 2 = 0. Let r be 4/16 - b/8. Suppose r = q - 0 - 3. Solve -q*p = -p + 6 for p.
-3
Suppose -j - 110 = -5*t, 0 = -2*j - 1 - 9. Let s = t - 11. Solve s*q - 5*q = 0 for q.
0
Suppose 7 = 3*n + 1. Suppose 6*q - 68 = n*q. Let g = -12 + q. Solve 1 = 2*b + g for b.
-2
Let y be -1 + -6 + 5 + (-7)/(-1). Solve -x + 0 + y = 0 for x.
5
Suppose -n + 0 + 2 = 0. Solve n*p - 8 = 4*p for p.
-4
Let y(w) = w**3 + 10*w**2 + 10*w + 7. Let g be 1*(1*-9)/1. Let z be y(g). Let n = 6 + z. Solve -16 = -3*t - n for t.
4
Let v(n) = -n - 7. Let d be v(-9). Suppose 0 = -a - d*x - 1, -3*a + x + 4*x + 8 = 0. Solve -2*s - a = 1 for s.
-1
Suppose 289 = 4*q + 2*w - 5, 0 = q - 5*w - 90. Let b = q + -40. Suppose 7*v = 2*v + b. Solve 3 = -5*j - v for j.
-2
Suppose 9 + 31 = 5*x. Suppose 4*q + 8 = -5*s + 3*s, 3*q + x = -2*s. Suppose 0 = -j + 2*f + 3, f + q = 1. Solve -5*c = -4*c - j for c.
5
Let i = 2 + -3. Let q(z) = -z**3 - 2*z - 1. Let k be q(i). Let r be (-2 + k - 1)*-20. Solve 0 = -4*b - r for b.
-5
Let u(y) = y**2 + 5*y + 8. Let f be u(-4). Solve 0*g = f*g for g.
0
Let d be (-1)/(-5) - 280/25. Let i be (d/(-2))/(3/6). Suppose -3*k - g + 6*g = 13, 4*k = g + i. Solve 0 = -k*h - h for h.
0
Let c = -1 - 0. Let z(t) = -5*t**3 + t**2 + t. Let a be z(c). Suppose -12 = -2*x - 2*x. Solve -x*n = 2*n - a for n.
1
Suppose 4*x = 2*h - 2, -3*x = -h - 2*x + 4. Suppose 14 = 5*f - 1. Suppose -f = 2*g - h. Solve 3*i + g = 5 for i.
1
Let n(h) be the third derivative of -h**6/120 - 7*h**5/60 - 7*h**4/24 - h**3/2 - 2*h**2. Let y be n(-6). Solve -2 = -y*a - 5 for a.
-1
Let h be (3 - (-8)/(-3))*0. Solve 0*l + 2*l - 6 = h for l.
3
Let r = 45 - 39. Solve -r = -3*k - 0 for k.
2
Let j be (10/(-4))/(6/(-24)*2). Solve -4*g - j = -13 for g.
2
Let w = -53 - -65. Suppose -2 = -4*l + 14. Let i be 3/l + 39/w. Solve 0 = 4*o + i for o.
-1
Let w = 24 + -14. Let b = 11 - w. Solve -5*y = -b - 19 for y.
4
Let z(u) = u**2 - u - 11. Let v be z(-4). Solve -v = -4*d + d for d.
3
Suppose -35 = -3*r + 4*s, -5*s - 47 = -3*r - 7. Solve -r + 3 = d for d.
-2
Let s(u) = 2*u - 6. Let a be s(3). Solve 5*p + 18 + 7 = a for p.
-5
Suppose 1 = -5*i + 4*i. Let t be 20/(-1 + 2) + i. Let y = 29 - t. Solve 5*h = y + 5 for h.
3
Suppose 8 + 7 = 3*f. Suppose 1 + 4 = f*c. Let m = c - 0. Solve 4*y - 5*y - m = 0 for y.
-1
Let l(u) = 3*u**2 - 5*u - 7. Let z be l(-3). Suppose -3*h = -10*h + z. Solve 3*b = h*b + 2 for b.
-1
Let t(a) = a**2 + 6*a + 11. Let m be t(-8). Let h be 41/(-4) + (-2)/(-8). Let p = 15 + h. Solve -7 = p*z - m for z.
4
Suppose -6 = 12*f - 15*f. Solve 0 = -f*g + 4*g - 6 for g.
3
Let m be 0/3 + (-2)/1. Let z = 2 + m. Suppose z = j + 1 - 3. Solve j*g = 4*g - 8 for g.
4
Let b be (-9)/36 + 34/8. Solve -r + b = r for r.
2
Let u = 165 + -163. Solve -w = u*w for w.
0
Suppose 7 = -5*p + 27. Suppose -i + 23 = p*o, 0*o = -3*o + 3*i + 36. Let z = 73 + -71. Solve 0 = z*w - 1 - o for w.
4
Suppose a + 11 = -a + 5*m, 0 = a + 4*m - 14. Solve -a*b = -5 + 1 for b.
2
Suppose 4*k - 4 = -d - 0*k, 5*d + 3*k = -31. Let z(v) = v**2 - 18*v - 24. Let g be z(19). Let m = g - d. Solve -6 - m = -3*c for c.
3
Let s(l) = l + 7. Let u be s(-5). Solve -u*y + 0*y = 0 for y.
0
Let u be (4 + (1 - 0))/1. Suppose -m - 4 = -7. Suppose -4 = -u*j + m*j. Solve 4*a + j = -2 for a.
-1
Let j = 21 - 1. Solve 0*o + 4*o = j for o.
5
Let d be 2/(2 - 24/15). Let g = 0 + d. Suppose z - 1 = g*k, -5*k + z - 4 = -3*z. Solve -3*p + k*p = -15 for p.
5
Let s(n) = n**2 - 2*n - 4. Let w be s(3). Suppose 2*o + 4*a - 24 = 0, -5*o = 4*a - 3*a - 51. Let d = w + o. Solve -d = -4*y + y for y.
3
Suppose 1 = -5*c + 31. Solve 0 = -0*i + 2*i - c for i.
3
Suppose 2*t = 6*t - 28. Le