*f - 2 = -4*s + f. Suppose 4*v - 24 = -4*p, 0 = p - 4*p - 5*v + 18. Solve s*c = p*c - 12 for c.
4
Suppose 5 = 2*l - 15. Let q(v) = 5*v**2 - 2*v - 11. Let i(c) = c**2 - c - 1. Let d(z) = 6*i(z) - q(z). Let n be d(4). Solve 0 = -n*b - 0*b + l for b.
2
Let f(t) = 0 + 0*t + 1 + 2*t. Let i be f(1). Solve 0 = c - i*c - 2 for c.
-1
Let d(v) = v**2 - 8*v + 4. Let p be d(6). Let x = 11 + p. Suppose -x*s + 4*a = -11, -4*s + 5*s = 4*a + 1. Solve -s*z + 1 = 6 for z.
-1
Let n = 27 + -22. Solve n = f - 0 for f.
5
Suppose -9*g - 12 = -12*g. Let h(i) = -6*i**3 - 2*i - 1. Let t be h(-1). Solve -t - 13 = g*d for d.
-5
Let k = 4 + 0. Let n = 1 + -21. Let o be n/(-15)*6/k. Solve -2*s - o*s = 8 for s.
-2
Let k = -81 - -83. Solve -3*t + k*t = 3 for t.
-3
Let a be (0/1)/(-4 - -3). Suppose 0 = -a*k - k - 2. Let t(g) = -g - 1. Let w be t(k). Solve l = -w + 5 for l.
4
Let b be -3*(1 + (2 - 4)). Let t be b + (1 - 2 - -2). Suppose 0 = 4*y - t. Solve -y + 9 = -4*j for j.
-2
Suppose -6*w + w + 5*o - 15 = 0, -4*o = -w - 15. Solve -3*z + w - 7 = 0 for z.
-2
Let j be (-2)/(-1)*(3 - 0). Suppose -5*o + 15 = l, 2*l - 3*o = -j - 3. Solve -2*i = -l*i + 2 for i.
-1
Let t(l) = 3*l - 2. Let i be t(3). Let x(b) = 9*b - 35. Let o be x(4). Solve 3*g + o = i for g.
2
Let v(s) = s**2 - 18. Let a be v(5). Solve 5*l = -3 - a for l.
-2
Let g(x) = 4*x**2 - 1. Let f(z) = 7*z**2 - 2. Let m(j) = 3*f(j) - 5*g(j). Let u be m(-2). Solve -2*k + u = -1 for k.
2
Let s = -8 - -13. Suppose 3 + 23 = 2*g + s*q, -14 = -3*g + 5*q. Suppose -4*z = -g*z + 20. Solve 3*c = -z - 1 for c.
-2
Let j be (-5)/(-10) + (-306)/4. Let q = j - -145. Let o be q/21 + 2/(-7). Solve g + 4 = -o*g for g.
-1
Suppose -k = 1, v - 7 = -4*v + 2*k. Solve 2*y - 7 = -v for y.
3
Suppose 0 = 20*j - 120 - 20. Solve j*h + 5 = 2*h for h.
-1
Suppose 4*t - 114 = 2*o, -5*t + t - 2*o + 126 = 0. Let g = -14 + t. Suppose 5*q = -2*s - 12, 3*q - 2*q + g = 3*s. Solve n - 7 = -s for n.
3
Suppose 0 = -3*t + 4*a, t - 2*a = a - 5. Suppose 3*n = 2*y + n - t, 23 = 4*y + n. Solve -y*l - 5 = 15 for l.
-4
Let t(m) = -m - 3. Suppose 5*z = 0, 3*x - 4*z + 4 = -11. Let k be t(x). Let i be (-204)/(-54) - (-4)/18. Solve -k*q = 2*q - i for q.
1
Suppose 22 = 2*i - 5*u, 20 = 4*i + 2*u - 0*u. Let l = -5 + i. Let v = l + 4. Solve 0*a + v*a = 0 for a.
0
Let z be 1/(78/(-27) + 3). Solve -3*v + 0 = z for v.
-3
Suppose -78 = -2*y - 68. Solve -5*l + 20 = -y for l.
5
Let g = -55 + 63. Solve 3*x - 5 = g*x for x.
-1
Suppose -3*f - 2*d = 5, 3*d = 5*f - d - 21. Solve 4 + f = -v for v.
-5
Let x(c) = 5*c**2 - 11*c - 4. Let q be x(3). Solve 3*o + o - q = 0 for o.
2
Let n be (35/(-25))/(-7) + (-1)/5. Solve 2*u - 4*u = n for u.
0
Let z(u) be the first derivative of -u**3/3 - 7*u**2/2 - 6*u - 3. Let g be z(-4). Solve g*t = t for t.
0
Let g = 65 - 44. Let p be (-16)/(-7) - 6/g. Solve -4 = p*l - 4*l for l.
2
Let i(b) = -b**3 + 5*b**2 - 3*b - 1. Let o be i(4). Let n be (4/6 + -2)*o. Let w be 0*2*(-2)/n. Solve x + 4*x = w for x.
0
Let b = 6 - 3. Suppose 7*p - 11 = -2*a + 2*p, 2*p + 4 = -5*a. Let v be 0/(1 - a)*1. Solve v*c - b*c + 12 = 0 for c.
4
Let j(h) = h**3 + 6*h**2 - 6*h + 5. Let o be j(-7). Let g(x) = x**2 - 2. Let l be g(o). Solve 0*i - i = -l for i.
2
Let j(y) = 2*y - 6. Let d be j(-4). Let t = d + 17. Solve 0 = -c + t*c - 6 for c.
3
Let g be -3*3/(-9)*7. Suppose 5*t - 3 = g. Suppose -4*d - 3*c = -18, -2*c + 2 = 2*d - 4*c. Solve -10 = d*a + t*a for a.
-2
Let p(r) = r**2 + 5*r + 7. Let l be p(-5). Let i = 71 + -46. Solve -2*g + i = -l*g for g.
-5
Let t = 17 + -10. Let s = t - 4. Let b = 5 - 1. Solve -s*x - b = 2 for x.
-2
Let s(c) = 4*c**2 - 1. Let i = 3 - 2. Let m be s(i). Let u be (3 + 0)/(m/10). Solve -4*p + u = p for p.
2
Let z = -5 - -13. Suppose 2*r = -0*r + 2. Let w = r + z. Solve 3*t = -0*t + w for t.
3
Let n be -4 + (-2 - 2*-3). Solve 3 = -c - n for c.
-3
Let t be 18/63 + 33/7 + -1. Solve -t*l + l - 6 = 0 for l.
-2
Suppose -4*c + 15 = l, 3*c + 4*l = -0 + 21. Suppose -7 = -5*k + c. Solve s - 2 = k*s for s.
-2
Let q(m) = m**2 + m + 1. Let j be q(-1). Let c be 5 + j + (-15)/(-5). Solve 2*b - c = 5*b for b.
-3
Suppose -h = -2*n + 4*n - 13, 2*n - 4 = 2*h. Suppose 0 = u - h*u + 16. Solve -3*d + u*d + 10 = 0 for d.
-2
Suppose 3*w = 3*i + 3, 2*i + 0*i + 2 = -5*w. Let s be (1 + i)*(-5)/5. Solve s = -4*j - 0*j for j.
0
Let n(f) = f**2 - 9*f - 9. Let d be n(10). Solve 7 = -4*g - d for g.
-2
Let x be 1/(-4) - 69/(-4). Let b = 84 + -95. Let m = x + b. Solve n = m - 1 for n.
5
Let u = -16 + 20. Suppose 3*t - 60 = -5*z, -z + u*t + 18 - 6 = 0. Let l(b) = b**3 - 4*b**2 - 5*b + 5. Let n be l(5). Solve -n*x + z = -2*x for x.
4
Suppose 2*g + 2*h = 28 + 12, -5 = 5*h. Let j be (-8)/(-3) - 14/g. Solve -3*y = 1 + j for y.
-1
Suppose -4*n + n = -2*u - 8, 0 = 4*n + 3*u + 12. Solve n*d + 6 = 3*d for d.
2
Suppose -3*s + 10 = -2*k, 4*k + 12 = 4*s + 2*k. Solve s*q = q for q.
0
Suppose -l - 4*s - 5 - 5 = 0, -3*l = -s - 9. Solve 0 = -2*q - l for q.
-1
Let h be 3/5 - 27/(-5). Solve -h*r + 12 = -3*r for r.
4
Suppose 10 = -2*i + 4*i. Let f be (-2)/3 - (-78)/9. Suppose r - 2*q - f = 0, -2*r - 2*r - q = -i. Solve -8 = 2*j - r for j.
-3
Let m = 16 + -10. Solve 2*x = -x - m for x.
-2
Suppose 0*x - 80 = 5*x. Let i = 23 + x. Solve 3*h = 2 + i for h.
3
Let x = 46 + -36. Solve 3*p - x = p for p.
5
Let b = -33 + 35. Solve b*t = -3*t + 25 for t.
5
Suppose 2*s = 1 - 17. Let q be ((-2)/4)/(3/66). Let n = s - q. Solve -n*x = 2*x for x.
0
Let v(p) = -p**2 - 2*p + 3. Let s be v(0). Solve -s*c = 5 + 7 for c.
-4
Suppose 5*k + 5*a = -20, 4*k - 4*a - 8 = 8. Let r(x) = -x**3 + 7*x**2 - 5*x + 2. Let m be r(4). Let f be m/7 + 2/(-7). Solve k = 4*n + f - 20 for n.
4
Suppose 2*v = -2*v. Suppose v = -5*p + 25, 3*p + 3 = 2*k + k. Solve -3*g = -0 + k for g.
-2
Let g be 2/(-8) + 1/4. Let u be 2/6 + (-1)/3. Suppose u = t + 2*t. Solve g = -t*y + 4*y - 16 for y.
4
Let a = 0 - -2. Let c be a/(-6) - (-20)/15. Solve c + 0 = f for f.
1
Suppose -6*q + 20 = -2*q. Let g be 16/6 - 4/6. Solve q = -g*b - 1 for b.
-3
Let x = -12 + 16. Solve 0*i = x*i + 8 for i.
-2
Let j(m) = -m**3 - 4*m**2 + 6*m + 4. Let w be j(-5). Let h = 1 + w. Suppose 42 + 66 = 54*b. Solve -b*s = -h*s for s.
0
Let z = -26 + 45. Let r = z + -19. Solve r = -t + 1 - 2 for t.
-1
Let g be (-4)/10 + (-62)/(-5). Let w = 2 - -8. Let c = w + -5. Solve -g = c*b - b for b.
-3
Let y = 22 + -2. Solve -6*o = -2*o - y for o.
5
Let m = 19 - 14. Solve 2*z - 7*z + m = 0 for z.
1
Let r(c) = c**3 + 2*c**2 + 2*c. Let m be r(-2). Let v(x) = -13*x**3 - 5*x**2 - 2*x. Let p be v(-3). Let s be p/54 + m/(-18). Solve w = s*w for w.
0
Let g(c) = c**2 + 8*c + 5. Let k be g(-8). Let i(d) = d**2 - 4*d - 2. Let w(t) = -4*t**3 + t**2. Let j be w(-1). Let n be i(j). Solve -n*l - k = -2*l for l.
-5
Let y be (-4)/(-10) - 186/(-10). Let i(f) = 2*f - 1. Let t be 2 - (-3)/(9/3). Let x be i(t). Solve -y - 6 = -x*n for n.
5
Let r = -39 - -42. Solve 0 = r*i + i - 8 for i.
2
Let t be -2*2*(3 + -1)/(-4). Solve -a = -t*a for a.
0
Suppose -40 = -5*w - 5*o, w - o = 5*w - 26. Suppose 0*n = n - w. Let u be (-34)/(-10) - 4/10. Solve -n*c + u*c = 0 for c.
0
Suppose 5 = -d, -5*d - 13 = -i - 2*d. Let b be (-4 - i - -6)*1. Suppose -m + 4 = 2*m + b*y, 4*y - 4 = 0. Solve m = 3*t - 2*t + 1 for t.
-1
Suppose -4*p = -3*d + 5, 2*p - 5 = 5*d - 2*p. Let n = d - -5. Suppose 2*q + 2*q = n. Solve q*x - 3*x - 12 = 0 for x.
-4
Let r(d) = d**3 - d**2 + 3*d + 3. Let b be r(-2). Let f be (-3)/(-12) + b/(-4). Let c = 7 - f. Solve 0 = -0*a + c*a for a.
0
Let o(c) be the second derivative of -c**4/12 + 5*c**3/6 - c**2/2 + 2*c. Let h be o(2). Solve 2*w + h = -3 for w.
-4
Let z(o) = 5*o**2. Let c be z(-1). Let s(r) = r**2 - 3*r + 3. Let b be s(3). Suppose k - 2 = -k, -12 = -c*u + b*k. Solve 3*w + 0 = -u for w.
-1
Suppose 9*x + 12 = 13*x. Solve g = x*g - 8 for g.
4
Let k = 38 + -18. Let t(o) = o**3 + 3*o**2 - 3*o + 4. Let n be t(-4). Solve n*s - 5*s = -k for s.
4
Suppose -2*t - 3 = -7. Solve 2*g - 4 = -t for g.
1
Suppose 2*a = d - 2*a + 26, -112 = 2*d + 4*a. Let l be (-1)/(0 + 1) + -2. Let k be d/(-6) - (-2)/l. Solve 3*u + 12 = k*u for u.
3
Let m = 0 + -2. Let v be -2 + (1 - m) - -8. Suppose 2*a + p = -3 + v, 6 = 2*a - 2*p. Solve 0*f = a*f for f.
0
Let i = -6 + 12. Let a be (-91)/(-21) + (-1)/3. Solve -a*h - 4 = -i*h for h.
2
Let l(y) = -147*y + 14