 14 = -3*w + 18. Solve -b = -3*b + w for b.
4
Suppose 4*t = -2 + 18. Suppose -32 = t*g + 100. Let z be (-1)/3 + (-11)/g. Solve z = -3*f + 1 - 4 for f.
-1
Suppose v = 5*u + 3, 0 = 4*v + u + 1 + 8. Let g be ((-24)/(-14))/(v/(-7)). Solve q - g = -q for q.
3
Let h = 46 + -30. Let k = 11 - h. Let w(i) = -i**3 - 5*i**2 - 3*i - 1. Let v be w(k). Solve 5*o + 34 = v for o.
-4
Let y(t) = -t - 4. Let h be y(-4). Suppose -11*j - 25 = -6*j, 0 = 2*w - 3*j - 33. Solve h = 2*s - 1 + w for s.
-4
Let h = 421 + -418. Solve 0 = q - h + 7 for q.
-4
Suppose 3*k - 135 = -3*j, -2*j + 15*k + 65 = 12*k. Solve -j*r + 26*r = 28 for r.
-2
Let f = 55 + -46. Suppose -16*l = -13*l - f. Solve -l*i + 8 = i for i.
2
Suppose 16*m = 22*m + 120. Let a be (-150)/(-125)*m/(-6). Solve -1 = -p - a for p.
-3
Suppose 3*d = -13 + 31. Suppose 0 = -i - 2*k - 4, -3*i + d*i + 30 = 3*k. Let f = 12 + i. Solve -f + 0 = w for w.
-4
Suppose 5*h = -2*p + 5 + 4, h + 27 = 2*p. Solve -p = 3*x - 6 for x.
-2
Suppose 3*i = -12, -23 = 3*o + 5*i - 0. Let g = o - 1. Let c = g + 8. Solve c*d = d for d.
0
Suppose 2*u + 2*u - 30 = 2*s, -5 = u + 2*s. Let w(z) = z**3 - 2*z + 13. Let x be w(0). Suppose 5*r + 4 = -4*g - x, 0 = -r - u. Solve g = -n - 0 for n.
-2
Suppose -2*j - 3*j - 299 = -4*q, 2*q - 181 = 3*j. Let m be (-2)/4 - j/18. Solve 4*y + m = y for y.
-1
Suppose -2*h - 5*n = -2 - 4, 2*n + 44 = 5*h. Let z = h + -4. Suppose 4*m + 0*m - 60 = 0. Solve -z*p - p = -m for p.
3
Let s(m) = -m**3 - 21*m**2 + 16*m - 23. Let h be s(-22). Solve -109 = 2*g - h for g.
0
Let j be 75 - (-5)/(-10)*2. Suppose 118 + j = 12*k. Solve -4*o + 0*o = -k for o.
4
Let t be (-3)/2*(-28)/21. Solve -6 + 4 = t*f for f.
-1
Let i(n) = n**3 + 5*n**2 - 9*n - 12. Let y be i(-6). Solve -6 = y*d - 6 for d.
0
Let v(h) = h**3 + 14*h**2 + 13*h + 4. Let t be v(-13). Suppose y + 4 = -p, -2*p - y = p + t. Solve p = -2*q - 2 - 0 for q.
-1
Let c(i) = i - 8. Let z be c(8). Let y be 36/16*8/(-3). Let m = -2 - y. Solve z = m*h - 2*h for h.
0
Let c(i) = -2*i - 11. Let n be c(-5). Let w be -2*(-1)/(-2) - n. Suppose w = -5*f + 7*f - 18. Solve -f = -2*t + 5*t for t.
-3
Let w(v) = v**2 - 1. Let s be w(-2). Let m be 444/(-14) - 12/42. Let z = m - -34. Solve z - s = -c for c.
1
Let z = -18 - -24. Suppose -z*d = -9*d. Let r be (21/(-14))/((-3)/4). Solve 2*p + r = -d for p.
-1
Let u = 42 + -57. Suppose -60 = -7*s + 3*s. Let q = u + s. Solve q = 2*b - 6*b for b.
0
Let p = -33 - -38. Let u(o) = -o**3 + 6*o**2 - 4*o. Let b be u(p). Solve b*h + 6 = -4 for h.
-2
Let w(l) = 21*l + 114. Let i be w(-3). Solve 5*v + i = 26 for v.
-5
Let z(f) = f**2 - 3*f + 4. Let h be z(3). Suppose -p + h*p - 18 = 0. Suppose -5*o - 24 = -2*b, -o + 12 = b - p*o. Solve 5*m - m = -b for m.
-3
Let w = 4 + 0. Suppose z + w*l = -13, -4*l - 31 = z - 6*z. Solve 2 = z*h - 2*h for h.
2
Let x(m) = m**3 - 2*m**2 + 2*m - 1. Let n be x(2). Suppose -2*w - 2*u + 7*u = -14, u - 4 = -n*w. Suppose w*p - 16 = -2*p. Solve -p*o + 5 = -7 for o.
3
Let c be (-27)/(-18)*(0 + 16). Let o = -24 + c. Let s be (-5 + 1)*(o + -1). Solve -s*u + u = 15 for u.
-5
Suppose -64 + 12 = -4*v. Let i = -10 + v. Solve 0 = 8*j - i*j for j.
0
Suppose 0 = -10*h + 6*h. Suppose 0 = -4*t + 2*w + 14, 4*t + h*w - 11 = w. Let u be (100/30)/(t/3). Solve -10 = 5*j + u for j.
-3
Let d(s) = -3*s + 17. Let y be d(4). Solve y*n = -19 + 4 for n.
-3
Suppose -4*w + 5*w = 0. Suppose -u + 4*r + 14 = 0, w = 3*u - 7*u - 3*r - 1. Solve -k - u*k + 3 = 0 for k.
1
Suppose 4*c - 120 = -4*g, 5*g - 47 = -2*c + 4. Solve -c*p = -19*p - 42 for p.
3
Let o(x) = x**3 - 20*x**2 + 22*x - 50. Let m be o(19). Solve 8 + m = 3*c for c.
5
Let i(z) = -2*z - 3. Let x be i(-4). Let y = 4682 - 4679. Solve h + y = x for h.
2
Suppose 3 + 1 = x - 4*t, 0 = -x + 5*t + 5. Suppose -4*i - 15 + 55 = x. Solve -2*z = -7*z + i for z.
2
Let h be -5 - (3 - 8/2). Let y(w) = -2*w**2 - 11*w - 8. Let r be y(h). Solve 0 = r*c - 3*c for c.
0
Let c(i) = -i**2 - 9*i - 3. Let r be c(-9). Let j = r - -8. Suppose j + 3 = 4*b. Solve -7*f - 10 = -b*f for f.
-2
Let j = -8 + 13. Let h(d) = 5*d - 28. Let n be h(8). Let a be 9/(-54) + 2/n. Solve 4*b + j - 13 = a for b.
2
Let r(w) be the third derivative of -w**5/60 - w**4/4 - w**3/6 - 5*w**2. Let k be r(-5). Solve 5*u + 1 = -k for u.
-1
Let j be 384/21 - (-6)/(-42)*2. Solve 7*l = 17 + j for l.
5
Suppose 2*o + 0 = 2*b - 2, 2*o = -b + 4. Solve -16 = -b*s + 6*s for s.
-4
Suppose -5*y + 1 - 1 = 0. Suppose -2*p + 0*p + 4*a = -66, -p + 3*a + 37 = 0. Solve p = 5*n - y*n for n.
5
Let c(w) = w**2 + 1. Let o be c(0). Let v(t) be the first derivative of t**2/2 - t + 14. Let d be v(o). Solve 2*m + 6 + 4 = d for m.
-5
Suppose 5*w = 9*w. Let g be (-18)/45 - (-34)/10. Solve b - g*b = w for b.
0
Suppose 4*l - a - 3 = 0, -4*l + l + 9 = -3*a. Suppose -c - 5*d - 5 = -2*d, l = -3*c - 5*d - 3. Solve 4*b + 0 = c for b.
1
Suppose 0 = 4*i, -2*i + 0*i - 10 = -2*m. Suppose 9*k - m*k = 0. Solve -3*l + 3 = -k for l.
1
Let h(o) = 3*o + 28. Let u be h(-7). Suppose -2*l = 3*z - l - 17, l = -z + u. Solve 10*y = z*y - 5 for y.
-1
Let c(t) = 14*t - 26. Let l be c(2). Let y be (1 + -1)/(-3 - -1). Let a = 0 - -4. Solve -l*j = -y*j + a for j.
-2
Let p = -275 + 284. Solve 0 = -p*h - 36 - 0 for h.
-4
Let x = 25 + -20. Suppose l = x*t - 164, 104 = -0*t + 3*t - 2*l. Let h = t + -24. Solve 6*n = 2*n + h for n.
2
Let m be 12/(-10)*(-10)/4. Solve 0 = -8*j - 21 - m for j.
-3
Suppose 24 = -7*d + 94. Solve -d*r + 6*r = -12 for r.
3
Let g be (8*5/10)/1. Suppose -g*i = 15 - 23. Solve -3*t = -8 + i for t.
2
Let u be (1 + 2 + -4)/1 + 1. Solve -2*y - 29 + 23 = u for y.
-3
Let a(k) = 1. Let f(w) = -4*w + 18. Let l(c) = -6*a(c) + f(c). Let q be l(3). Solve -3*j = -q*j - 3 for j.
1
Suppose -3*o - 5*v = -2*o - 39, 4*v - 34 = -o. Suppose 4*h - 3 - 9 = -4*m, -4*m + o = 5*h. Let q be 1/(3/48*4). Solve h + q = 3*y for y.
2
Let n = -311 + 314. Solve 0 = -n*v + 12 - 6 for v.
2
Let w(t) = -t**2 - 7*t - 5. Let v be w(-6). Let a be 6 + v*2/(-1). Solve 4 = 4*n - a for n.
2
Suppose 0 = 5*c - 2*o - o - 42, 2*c + 3*o = 0. Suppose -13*v = -10*v - c. Solve 0*h + v = -h for h.
-2
Let h = -3268 + 3273. Suppose 0 = 2*p - 4 - 30. Suppose 2*v + 3*w - p = 0, v - 3*v + 3*w + 47 = 0. Solve 9 = h*s - v for s.
5
Suppose -2*g + 4*t = 32, 4*g + 50 = t + 7. Let o = 11 + g. Solve -3*i = -2*i + o for i.
-1
Let t = 271 + -270. Solve -2*r + t - 11 = 0 for r.
-5
Suppose -d + 5*d = 8. Let i(l) = -10 - 4 - l + 13 - 10. Let m be i(-11). Solve -d*o = -m*o for o.
0
Suppose 3*m - 27 = -9. Let l(x) = -3*x - 20. Let t be l(-10). Suppose r = -4*z + t, -5*z - 1 + 3 = -4*r. Solve -m*a = -r*a for a.
0
Suppose -a + 26 = 5*y, 4*a - 94 = -y - 28. Solve -23*j - 28 = -a*j for j.
-4
Suppose 28*d - 23*d - 50 = 0. Solve 0 = 6*o - d*o - 4 for o.
-1
Suppose 5*s + 7 + 13 = 0, 122 = 3*z - 5*s. Suppose -5*k + 36 = 3*b - b, -4*k + z = -b. Solve 0 = -4*v - 24 + k for v.
-4
Suppose 2*c + 5*v = 11, -3*c - 4*v = 2*c - 19. Solve -c*x - x - 16 = 0 for x.
-4
Let r(y) = y - 7. Let p be r(9). Suppose -5*w = k - 7, 4*k - p*w - 11 = 17. Solve 13 + k = -4*c for c.
-5
Let d(q) = -q**2 - 8*q - 1. Let y be d(-7). Let x be 21/6 - (-1)/(-2). Suppose -x*o + 8 = n, 4*n = -2*o - 2*o + 16. Solve 2*s - o = -y for s.
-2
Let f = 325 - 299. Solve 3*g - f = -41 for g.
-5
Let t(q) = 3*q**2 - 3*q - 5. Let v be t(-2). Solve 0 = 3*m - v + 10 for m.
1
Suppose 4*d - 20 = -4*p - 4, p - 7 = -4*d. Let l = d - -3. Let j be (0 + (-6)/5)/((-24)/80). Solve -j*a = -0*a + l for a.
-1
Let h(k) = -5*k - 3 + 8*k**2 + 3 - k**3 - k - 2. Let w be h(7). Solve 4*c = -c - w for c.
-1
Let o(c) = 13*c - 33. Let v be o(3). Solve v*w = 2*w for w.
0
Let h be (-72)/(-9) - (6 - -2). Solve h = -6*m + 5*m + 5 for m.
5
Let i be -6 + (19/2 - 48/32). Solve -1 - i = -q for q.
3
Let x = -42 - -45. Suppose -3*p = -3*h - 21, -2*p - x + 15 = -4*h. Let k(t) = 5*t**2 + 2*t. Let l be k(-2). Solve -p*i = -4*i + l for i.
-4
Let o = 46 - 44. Let d be 0/(2*(-1)/o). Solve 3*t - t + 6 = d for t.
-3
Let v = 54 - 48. Suppose -v*t + 14 = 2. Solve t = -z - z for z.
-1
Suppose 13*b = 24*b - 44. Solve b*y = -y - 0*y for y.
0
Suppose 3*s + 2*s + 4*d - 28 = 0, 0 = 4*s - d - 35. Solve 6 = s*b - 2*b for b.
1
Suppose -9*a + 22 = 2*a. Suppose -4*t - 3*z + 20 = -7, -11 = -2*t - z. Suppose -a*y - 2 = 4*c - 6, -t*c + 3*y = 6. Solve c*k = -4*k for k.
0
Let