.
4
Suppose 2*b + 72 = -5*p, 4*p = 4*b - 120 + 40. Let q = 25 + p. Solve q*k - 4*k = -5 for k.
-1
Let t(c) be the first derivative of -c**2/2 - 3*c + 1. Suppose 2*x + 12 = -2*x. Let m be t(x). Solve z - 6*z + 5 = m for z.
1
Let u = 538 + -170. Let z be 2/(-9) + u/36. Suppose 0 = 7*l - 2*l - z. Solve p + 0*p = l for p.
2
Let y be -20*(-5)/20 - 2. Solve -2*w - y*w = 0 for w.
0
Let t(u) = -4*u + 17. Let m(o) = -o + 4. Let n(z) = -9*m(z) + 2*t(z). Let l be n(5). Solve s = -l*s for s.
0
Suppose 0 = -14*f + 18*f - 12. Solve -7 = f*c - 1 for c.
-2
Let d = -207 + 210. Solve -d = -3*o - 6 for o.
-1
Let d(w) = -w**3 + 7*w**2 - 5*w - 6. Let y be d(6). Solve y = r + 4 - 0 for r.
-4
Suppose -6 = -5*r - 1. Solve 7 + r = -4*t for t.
-2
Let u(l) = l**3 - 9*l**2 + 8*l + 3. Let c be u(8). Suppose 0 = -c*d + 3. Solve -5 - d = 3*s for s.
-2
Let l = 10 - -5. Solve 5*f = -0*f + l for f.
3
Let t(f) = f**3 + 8*f**2 - 9*f + 6. Let z be t(-9). Suppose 0 = 2*c - z. Solve 0 = -0*v - c*v + 15 for v.
5
Let m(y) = -y**2 - 5*y + 7. Let a be m(-6). Solve 2*f + 11 = a for f.
-5
Let m(o) = -o**2 + 21*o - 35. Let q be m(19). Solve q = v + 1 for v.
2
Suppose 4*s = 23 - 7. Solve 0 = -a + s*a for a.
0
Let x be 1/7 - (-170)/35. Solve 0*s = -x*s + 25 for s.
5
Let n(f) = 2*f + 8. Let p be n(-6). Let j = p + 4. Solve 5*g + 1 + 4 = j for g.
-1
Let x(g) = 2*g**2 - 5*g - 5. Let f(b) = 3*b**2 - 9*b - 9. Let m(h) = -3*f(h) + 5*x(h). Let p be m(-3). Solve -p = -5*n - 0 for n.
1
Suppose 0 = 3*r + 2*r - 10. Let v be 35/14 - 3/r. Solve v + 14 = 5*l for l.
3
Let v = -40 + 40. Solve v = q - 3*q + 8 for q.
4
Suppose -2*k = k. Suppose 5*w - 20 = 0, -3*w - w + 92 = 4*o. Let t = -11 + o. Solve k = -s - s - t for s.
-4
Suppose -7*g - 8 = -11*g. Solve -g - 2 = -2*i for i.
2
Suppose -6 = -v + 1. Suppose 2*a + 2*a - 4 = -2*o, 3*a + 3 = 0. Solve 5 = -o*i - v for i.
-3
Suppose 3 = p - t, -4*p + t + 28 = 5*t. Solve -p*l + 3 = -2 for l.
1
Let c = 2 + 5. Suppose -3*j + 5*w + 30 = -0*w, w = j - 12. Suppose 2*n - c*n = -j. Solve n = 4*y + 7 for y.
-1
Let m = -28 + 49. Solve 4*o - m = -5 for o.
4
Let i = 28 + -26. Solve w + 3 = -i*w for w.
-1
Suppose -4*j - 20 = -2*f, 4*f - 8*j + 3*j = 28. Suppose -6 = -n - f. Let a = 7 - n. Solve -a + 0 = -w for w.
3
Suppose 4*i = 6 + 58. Solve 0 = 5*q + 9 + i for q.
-5
Let v be 5/2 + (-2)/4. Suppose 21*f + 24 = 24. Solve v*p = -f*p - 10 for p.
-5
Suppose 0 = 4*q + 16 - 4. Let h be q/((-5)/(-2) + -4). Solve -h*g - 1 = -g for g.
-1
Suppose 0 = 2*x + 3*x + 85. Let m = x + 21. Let b be (-3)/(-6)*0/1. Solve -4*y + m + 8 = b for y.
3
Suppose 0 = 2*q + l + l - 24, -3*q = -4*l - 1. Let d = q - 5. Suppose d*o - 6 = -o. Solve 0 = 2*h - o for h.
1
Suppose 5*b = -3*h + 2*h - 17, 4*h - b = 16. Solve h*v - 7*v = -12 for v.
3
Let v be -4 + (26 - -3) + 0. Suppose v = 6*x - 23. Solve -2*h = -6*h - x for h.
-2
Suppose 0 = 5*q - 6*q + 5. Suppose 0 = -0*c + 4*c - 3*u - 38, 2*c = -2*u + 12. Let f = c - 8. Solve f = q*s - 0 + 5 for s.
-1
Suppose o - 3 - 1 = 0. Suppose o*y + y = 10. Let c be y/(-4) + (-4)/(-8). Solve -12 = -3*r - c*r for r.
4
Suppose -3*j + 11*j = 32. Solve j*p - 6 = 2 for p.
2
Let o(c) = -c**3 + c**2 + c + 2. Let l be o(0). Suppose -2*n = -n. Let y = l - n. Solve 0*r - y*r = 0 for r.
0
Let g(n) = 2*n**3 - 2*n**2 + n - 2. Suppose -3*r + 3*b = 0, -r = 2*r - b - 4. Let i be g(r). Let c be 4/i*(-2 - -2). Solve c = t + 2 for t.
-2
Let o be (0 - -5)*(-4)/(-10). Solve o*v - 9 = -3 for v.
3
Let o = -2 - -11. Suppose -4*r + o*r = 0. Let g = r - -3. Solve g*f = -f for f.
0
Let w be (4/(-5))/((-2)/5). Suppose 4*j - 150 + 42 = -w*v, 5*v - j = 215. Suppose -2*i + 12 = 4*d - 20, 4*i - 2*d = v. Solve -2*t = 2*t + i for t.
-3
Suppose -18 = 5*w - 23. Let x be 3/w - (3 + -5). Solve 1 = 3*p - x for p.
2
Let j = 19 - -1. Solve o + j = 5*o for o.
5
Let w = -8 - -20. Solve 0*k = 4*k + w for k.
-3
Suppose 4 - 5 = k. Let h be 1/(-2)*10/k. Solve -1 = -h*g + 4*g for g.
1
Suppose m = -3*r + 22, 0 = 3*r - 2*m + 12 - 40. Let s be r/16 + (-6)/(-4). Solve -s*h + 0*h = 0 for h.
0
Let t(p) = -p - 9. Let w be t(-12). Let x be -2 + 4/2 + w. Solve -x*g + g = 0 for g.
0
Let b(k) = k**2 - 6*k - 4. Let f be b(7). Solve 0*y - 3 = -f*y for y.
1
Let v = 3 - 1. Solve -5*n = -3*n - v for n.
1
Let x = -1 - -5. Suppose -3*p + p + 9 = -l, x*l + 2*p - 14 = 0. Let a(b) = b**3 + 2*b**2 - 1. Let g be a(l). Solve g*q = -2 + 8 for q.
3
Let r = -12 + 13. Solve w = -r - 2 for w.
-3
Let o(d) = -d**2 + 9*d + 13. Let h be o(10). Solve 2*f + 10 = -h*f for f.
-2
Suppose 2*h + 5*k - 24 = 0, 0*h - h = -2*k + 6. Suppose h*u - 16 = -40. Let j = u + 20. Solve j*b = 3*b + 10 for b.
2
Let n be 3/(27/6)*48. Suppose 7 = -5*k + n. Suppose 3*d - 7 = 2*d + 5*x, -4*x = k*d - 6. Solve -g = d*g + 6 for g.
-2
Let k = 14 - 10. Suppose -5*q - t + 15 = 0, -k*t = 5*q - 36 + 6. Solve 6*x - q*x = -12 for x.
-3
Let q(x) = -x + 5. Let k be q(0). Solve -2*d = -k*d for d.
0
Suppose g + b = 11, -g + 31 = b - 4*b. Solve -3*t - t = g for t.
-4
Let v(x) = -x**3 + 3*x**2 - 4. Let r be v(2). Solve r*i - i + 5 = 0 for i.
5
Let f be (90/105)/((-3)/(-14)). Solve 0 = -0*q - f*q - 16 for q.
-4
Let s(k) = 7*k**2 - 23*k + 3. Let u(q) = -3*q**2 + 11*q - 2. Let z(m) = -2*s(m) - 5*u(m). Let a be z(9). Solve a*c - 7 = -3 for c.
1
Suppose 0 = -3*s + 5*q + 4, -2*s + 0*q + 2 = -4*q. Suppose s*t + 4 = 7. Solve -n + t = 3 for n.
-2
Suppose 0 = 3*b - 3*r - 2*r - 5, -3 = -b + 3*r. Suppose k + 8 - 35 = b. Suppose -k = 3*t - 6*t. Solve -5*s + 2*s = -t for s.
3
Suppose -141 = -7*s + 4*s. Let n = s - 27. Suppose -8*y = -6*y. Solve n = -y*r - 5*r for r.
-4
Let m be -2*3/(-2) + -3. Let n be 0 - (m + 6/(-2)). Solve v = n*v for v.
0
Let j be (-1 + (-5)/(-2))/((-41)/(-82)). Solve -5 = j*h + 4 for h.
-3
Let u be (12/(-16))/((-6)/104). Solve -3 = -5*g - u for g.
-2
Suppose -3*c = -4*o + 25, -5*o + 3*c + 8 + 24 = 0. Let n be (-5)/(-2)*(-5 + o). Suppose 0 = -2*g - g - 12, x + n*g = 0. Solve -x = -10*r + 5*r for r.
4
Let k = -9 - -5. Let s(x) = -x**3 - 4*x**2 - x + 1. Let m be s(k). Let g be 3/m + (-4)/(-10). Solve 5*b - 21 + g = 0 for b.
4
Let x(p) = p**3 + 2*p**2 - 2*p + 1. Let g be x(-3). Let h(v) = 2*v - 5*v + v. Let r be h(g). Solve k - r*k = 0 for k.
0
Let d = -3 - -3. Solve d = -5*y + 3*y + 10 for y.
5
Let o = -10 - -9. Let r = 4 + o. Solve 0 = -4*t + t - r for t.
-1
Let d(h) = -h**3 - h**2 - 2*h. Let p = 17 - 17. Let i be d(p). Solve -6*u + 3*u = i for u.
0
Let s(g) = -g**2 + 8*g - 2. Let z be s(7). Suppose -q + 15 = -z. Solve 4*c + 0*c + q = 0 for c.
-5
Let r(c) = -c**3 - 6*c**2 + 2*c + 1. Let m be r(-6). Let k = 4 - m. Suppose 4*o = 3*o + 4. Solve o*d + k = -d for d.
-3
Suppose 3*v + 3*t + 2 = -7, -2*t = -4*v + 6. Solve v = -0*x - x - 1 for x.
-1
Let k = 0 + 2. Let o be 3 + (-2)/(-4 + k). Suppose 0 = -w - o*w. Solve w = 3*f - 3 for f.
1
Suppose -5*h - 3*p = 13, 0 = -2*h - 3*p - 7. Let q(i) = -2*i + 5. Let j be q(2). Let w be -2*(h - j/2). Solve -w = l - 1 for l.
-4
Suppose -2*o + 4*o = 8. Let n be 10/4*54/45. Solve -a - o = n*a for a.
-1
Suppose -23 + 7 = -n. Solve -5*y + n = -9 for y.
5
Let j(h) = h - 8. Let x be j(8). Suppose x = w - 4, 0 = l + 2*w + w - 14. Solve 10 + l = 3*c for c.
4
Let n(c) = -c**2 - 7*c - 2. Let x be n(-6). Let p = -1 + x. Solve p*d = 6*d - 3 for d.
1
Let q = 4 + -5. Let s be (21/6)/(q/(-2)). Suppose 15 = -2*j + s*j. Solve 2*h = -j*h for h.
0
Let y be (1 - -29)/3 + -1 + 1. Solve y = 3*z - 8*z for z.
-2
Let v = -3 - -8. Solve v*a = -11 - 4 for a.
-3
Suppose -b - 15 = -4*b. Suppose f + 32 = b*f. Let k = f + -6. Solve 5*d = -k - 3 for d.
-1
Suppose 3*o = 4*p - 4 - 6, -2*o - 5*p + 24 = 0. Let r(m) = -m**2 - m + 2. Let b be r(-2). Solve 4 = -o*z - b*z for z.
-2
Let i be 50/18 + (-10)/(-45). Let r(b) = b**3 + 6*b + 3 - i*b**2 - 3*b**2 - 2*b**3. Let v be r(-7). Solve -v = g + g for g.
-5
Suppose 0 = 2*r + g - 33, -4*r + 2*g = -2*r - 24. Suppose 3*d + 3*v = 6*v + 33, -r = 3*v. Solve -6 = 3*u + d for u.
-4
Let z = -9 + 30. Suppose -u - v = u - 15, -5*v = u - z. Solve -2*q = -4*q + u for q.
3
Suppose -j = -3*q + 5, 2*j - 4*q = -3*j + 19. Let p(t) = -t**3 + 8*t**2 - 6*t - 4. Let u be p(j). Solve 4 = -u*f + 1 for f.
-1
Let h = -13 - -18. Suppose 0 = 2*u - 3 - h. Let k(l) = l**3 - 7*l**2 + 7*l - 6. Let x be k(6). Solve -j - j - u = x for j.
-2
Let d be 3 + (3/3)/(-1). Suppose -