 -1 - w for b.
4
Suppose -5*p = 5*a + 50, 0*p = -p + 5*a + 14. Let y(q) = q**2 + 6*q + 8. Let o be y(p). Solve 0 = -4*s - 0*s - o for s.
-2
Let f(m) = -m**2 - 3*m + 18. Let t be f(-6). Solve -6*u + 6 = -t for u.
1
Let d(m) = -m**3 - 12*m**2 + 11*m + 10. Let n be d(-13). Suppose 2*o = -n + 66. Solve -f = -4*f - o for f.
-5
Let c(h) = -7 + 2*h - 2*h**3 - 24*h**2 + 30*h**2 + h**3. Let s be c(6). Solve 0 = s*m - 2*m + 3 for m.
-1
Suppose 3*d - 3*a = 4*d - 11, 3*d + 3*a - 21 = 0. Solve 5 = -3*n + d for n.
0
Let t be (-8)/(-2 + (-16)/(-10)). Suppose 0 = -5*s - v + 5 + 6, -3*s + 2*v + 4 = 0. Suppose -193*z + 156*z + 222 = 0. Solve -s*l - t = -z*l for l.
5
Suppose -3*q - 4*a + 104 = 0, 2*q + 39 - 80 = 3*a. Solve 3*f + 4*f = q for f.
4
Suppose -5*d - 4*d = -180. Let v = d + -16. Solve l + l = -v for l.
-2
Let i(u) = 18*u**3 - 5*u**3 - u**2 - 12*u + 12*u. Let o be i(1). Suppose 0 = -g + o - 10. Solve 0 = q - g + 4 for q.
-2
Suppose 13 + 12 = -5*f. Let i = 12 + f. Suppose i = 3*o + 1. Solve -c = o*c + 15 for c.
-5
Suppose a + 2*v + 5 = 0, -4*v + 1 = -4*a + 5. Let k = a - -4. Suppose -k + 5 = q. Solve -6*d = -q*d - 12 for d.
3
Let o = -22 + 24. Suppose -o*l - 16 = -3*q + q, 2*q = 5*l + 13. Solve -20 = -q*c + 4*c for c.
4
Let y = 14 + -6. Suppose 0 = 3*i - i - y. Suppose -3*w + 27 = -3*k, i*k = 2*w - 4*w - 12. Solve 0 = 2*a - w*a - 10 for a.
-5
Suppose 5*r + 3*v - 5 = 0, -3*r - v + 17 = -2*v. Let z = 7 + -6. Solve -5*t = -r*t - z for t.
1
Let m = 507 - 501. Solve 0 = -l + 3*l + m for l.
-3
Suppose -5*n - 3*t + 124 = 0, 0 = 2*t + 16 - 22. Solve 0 = -n*u + 14*u + 9 for u.
1
Let c(r) = -r + 11. Let d be c(3). Suppose 2 = -7*y + d*y. Solve -s = -y - 2 for s.
4
Suppose 4*d - 4*n = -3*n + 8, 0 = 3*d - 5*n - 6. Solve 0*q + d*q = -4 for q.
-2
Let o = -43 + 46. Suppose -o*g = g. Solve g = 5*c - 7 - 3 for c.
2
Suppose -2 = 2*w - 16. Suppose 1 = w*s - 6*s. Solve 2*i + 9 - s = 0 for i.
-4
Let p = -1924 + 1932. Solve 0 = -0*k - p*k + 16 for k.
2
Let s(h) = -h**3 + 4*h**2 - 2*h - 1. Let t be s(3). Suppose 4*c + 5*z - 28 = 142, -164 = -4*c - 2*z. Let q = -40 + c. Solve q*i = t*i for i.
0
Let l = -8 + 13. Suppose 24 = d + d - 2*p, p + l = 0. Suppose 21 = 4*b + 2*j - 5*j, 3*b + j - 6 = 0. Solve -4*m = d - b for m.
-1
Suppose v = -0*v + 4*l, 2*l = 0. Let g(c) = c**3 - 2*c**2 - 3. Let m = -31 - -34. Let r be g(m). Solve 3*o + r = -v for o.
-2
Suppose o = 4*h + 1, -3*o = -5*h - 26 + 9. Let w = o + -7. Suppose w = v - 0*v. Solve 0 = -v*d - 1 + 5 for d.
2
Let h = 1230 + -1221. Solve j + 4 = h for j.
5
Let c be (-2)/(14/3) + (-1500)/175. Let x be ((-9)/(-5))/(c/(-75)). Solve 0*p + x = 3*p for p.
5
Let c = -17 + 29. Suppose 0*g - 3*g = -c. Suppose 2*h + g = 10. Solve 0 - h = 3*w for w.
-1
Suppose -4*i - a = -24, 2*i - 72 = -5*a - 78. Solve 85 - 50 = -i*p for p.
-5
Let s = -238 + 241. Solve 5*t - 4 = s*t for t.
2
Let r = -33 - 2. Let i = r - -38. Solve 4*d - i + 7 = 0 for d.
-1
Suppose -p + 2 = -0*p + 2*c, 0 = 4*p + 2*c - 20. Solve -t + p = 5*t for t.
1
Let x = -9 + 12. Let h(z) = z**2 - 4*z. Let q be h(x). Let m be q - (69 - 0)/(-3). Solve -s - 3*s - m = 0 for s.
-5
Let u = -17 - -6. Let q = u + 20. Solve 6 = 5*h - q for h.
3
Let s be (-407)/(-33) - 12/9. Solve -s*i + 8*i - 3 = 0 for i.
-1
Let g(m) = -m**3 - 6*m**2 - 9*m - 3. Let r be g(-4). Let o be (0 - r) + (-18)/6 + 9. Solve o - 2 = s for s.
3
Suppose 6*j - 4*j = 2. Solve -2*x - 9 = -j for x.
-4
Let l be (-297)/(-18)*1/((-6)/(-8)). Solve -4*i + 2 = l for i.
-5
Let b(r) = r + 7. Let k be b(-4). Suppose -k*g = -8*g. Solve g*s = -4*s for s.
0
Let o = -100 - -101. Let v = 7 + -2. Let b = -1 + 1. Solve b = -v*i - o - 19 for i.
-4
Suppose f = -3*f + 8. Let n(c) = 3*c + c + c - 4*c + f. Let g be n(-2). Solve g = -3*p - 3 for p.
-1
Let a(q) = q**2 - 10*q + 27. Let f be a(3). Solve -8*d - f = -6*d for d.
-3
Let j(v) = v**2 - v. Let t be j(4). Suppose -2*g + t = g. Solve 0*o = -o + g for o.
4
Let w = 550 + -547. Solve 3*q + w*q - 2*q = 0 for q.
0
Suppose 0 = -3*y - y + 16. Solve -8 = j - y for j.
-4
Let u = 1 + 16. Solve 0 = -g + u - 16 for g.
1
Let u = 58 + -155. Let w = u - -107. Solve -w - 5 = 5*v for v.
-3
Let l be 19/((-247)/(-507)) - 11. Solve -43 + l = -3*z for z.
5
Suppose 0 = 5*v - a - 12, 2*a = -v - 2*v + 2. Let b = -491 + 493. Solve 0 = v*q - b - 2 for q.
2
Let k be 9 - (-84)/(-24)*(-2)/(-7). Suppose k = 4*w - 0*w. Solve 0*f = -w*f + 6 for f.
3
Suppose 6*t = 18 + 12. Suppose -t*i + 15 = -2*i. Suppose 3*h - i*q = 16, h - 4*q = -h + 12. Solve -h*y - y = -15 for y.
5
Let f = 8 - 5. Let t(h) be the third derivative of h**6/120 + h**5/20 - h**4/24 - h**3/6 - 18*h**2. Let j be t(1). Solve 0 = j*o - f*o for o.
0
Let u(w) = -w**2 + 21*w - 28. Let d be u(12). Suppose 12*z + 4*z - d = 0. Solve z = 2*l + 9 for l.
-2
Suppose 5*n = 2*m - 5, -4*n + 4*m - 4 = m. Let v be ((8/(-24))/((-2)/(-6)))/n. Let p(g) = 3*g - 1. Let b be p(4). Solve 0 = 3*u - v - b for u.
4
Suppose -l - 4*f - 15 = 0, 2*l = 4*l - 4*f - 30. Let d be l + -2 - 3/(-3). Solve c = -c - d for c.
-2
Suppose 0 = -2*h - 0*m - m + 1, -4*h - 5*m + 5 = 0. Let s be 5 + h + -2 + -3. Solve s = 3*u + 15 for u.
-5
Suppose 0 = x + 4*x - 5. Let k be (0*(-3 + (x - -3)))/2. Solve -n + k*n - 2 = 0 for n.
-2
Suppose -5*q + 3*q - 2 = 0. Let d be -6 - (-1 + 0) - q. Let h be d/(-6) - 44/(-6). Solve 5*x = x + h for x.
2
Suppose 22*p - 4*p = 72. Solve p*s + 6 = s for s.
-2
Suppose -5*s + 22 - 2 = 0. Solve -3*b + s = -11 for b.
5
Let s be -32 + 27 + (13 - -2). Solve -5*i = -s - 0 for i.
2
Let n be (1 + -2)*9*5. Let b = n - -55. Solve 0 = -w - w - b for w.
-5
Suppose 0*z - 3*z = 0. Let n be (-108)/(-252) - (-6)/(-14). Solve n*d + d = z for d.
0
Let n(r) = 4*r**2 - 2. Let o be n(-1). Let l be (o - 1/2)*(-2)/(-3). Solve -i = -0 - l for i.
1
Let l = -21 + 10. Let k = 16 + l. Solve k*y + 10 = -5 for y.
-3
Let j be 2 + -2 - 4 - (1 - 5). Let v(k) = 2*k**2 - 16*k + 5. Let p be v(8). Let n be ((-8)/p + 2)*5. Solve j = c + 3 + n for c.
-5
Suppose 4*k - 8 = 16. Solve -4*y - k = 14 for y.
-5
Let s(f) = f**2 + 15*f + 16. Let j be s(-14). Solve j*t - t = 5 for t.
5
Let m = -70 + 66. Let t be m/(-1) - 1 - (-16 + 16). Solve 0 = x + 2*x - t for x.
1
Let y = -23 + 39. Solve 0 = -2*f - 2*f - y for f.
-4
Let c(q) = -q**3 - 5*q**2 + 2*q - 7. Let p be c(-6). Solve -20*g = -p*g + 6 for g.
-2
Let r be -6*(-6)/45 + 78/15. Solve r*h + 15 = h for h.
-3
Suppose -6*t + 64 = -56. Suppose 4*f - t = -4*j, 0 = -2*f - 5*j + 16 + 9. Solve -2*w = -f*w - 10 for w.
5
Let a(s) = -3*s**3 - 4*s**2 + s - 5. Let i be a(-2). Solve -33*v - i = -32*v for v.
-1
Suppose 0 = -2*a - 2 + 6. Suppose 0 = -3*r + 50 - 44. Solve r = j - a for j.
4
Let c(t) = t**3 + 8*t**2 + 4*t + 18. Let x be c(-8). Let q be (-176)/(-56) - (-2)/x. Solve q*g - 3 = -0*g for g.
1
Let j be 12/(-9)*(-3)/(-2). Let q = j + 1. Let u = q - -3. Solve -u = -4*i + 5*i for i.
-2
Let j = -748 - -761. Solve 68 = j*k + 4*k for k.
4
Let u = -34 - -38. Suppose l = 3*l - 3*h - 18, 4*l = -u*h + 16. Solve 21 = -5*n + l for n.
-3
Suppose 2*y + 4 = 2. Let s(x) = -5*x**2 + 1. Let u be s(y). Let z be (-11)/u - (-2)/8. Solve -2*c = z*c for c.
0
Suppose 4*k = 5*v + 36, 4*k + 3*v - 2*v - 12 = 0. Suppose 5*q - 5 = -4*t, 146 - 150 = -4*q - 2*t. Solve -k = -s + q for s.
5
Suppose -2*o - 2*o = -16. Suppose -2*p + u = 1 - 16, 2*p = -o*u. Let j be (-16)/(-12)*45/p. Solve -10 = -5*d + j for d.
4
Suppose 0 = -5*t + 129 - 29. Suppose 0 = -13*y + 12*y + t. Suppose -y = -g - 4*g. Solve 0 = -g*v - 2 - 2 for v.
-1
Let w = -2251 + 2254. Solve -65*d = -62*d - w for d.
1
Suppose -5*c = -3*r + 28, -3*c = -3*r - 2 + 32. Solve 0 = 15*s - 4*s + r for s.
-1
Let t be 160/(-120)*18/(-4). Solve 4*k - t*k = -2 for k.
1
Let q be 1 - -3 - (-7 - -12 - 3). Suppose 2*m = 7 + 1. Solve q*p = p - m for p.
-4
Let n(a) = a**3 + 14*a**2 - 17*a - 26. Let q be n(-15). Solve -q*t - t + 25 = 0 for t.
5
Let t = 22 + -7. Suppose 0 = -4*o - 2*r - 26, o - 3*r = 3*o + t. Let c = o - -10. Solve c*j + 5 = -3 for j.
-2
Let d(r) = -r + 24. Let h be d(21). Solve -1 = -h*z + 5 for z.
2
Let j(c) = c**3 + 5*c**2 - c - 5. Let o be j(-5). Suppose o = -q + 2*q. Suppose v + 3*t = 5*t + 2, q = -4*v + 4*t + 8. Solve v = -g - 2 for g.
-4
Suppose 5*l = -69*a + 71*a - 10, -2*l + 15 = 3*a. Let p(d) = d + 4. Let w be p(8). Solve -13 - w = a*h for h.
-5
Le