Let k be p(-1). Let g be f(k). Solve -4*t - 4 = -g for t.
1
Let t be -2*3/(-6) - 1. Suppose 4*f + 2 = -x + 2*f, t = 4*x - f - 1. Suppose x = -p + 5*p - 12. Solve p*z = -z for z.
0
Let l be 5 + -1 + (-12)/(-3). Let q(b) = b**2 - 3*b + 1. Let o be q(4). Solve 3*x + o = l*x for x.
1
Let v be 0/(-2 - (-1 + 1)). Suppose -5*f + 12 = -f. Suppose s - k - 4 = -f*s, -s = 2*k - 10. Solve -s*g + g = v for g.
0
Let d be 3 - ((-6)/3 + 2). Solve -d*b + 1 = -2 for b.
1
Let b(d) = -d + 13. Let v be b(9). Suppose 0 = -v*w - w + 35. Let q = w + -3. Solve -q*l + 3 = -1 for l.
1
Let a = -123 + 135. Solve -4 = -2*o - a for o.
-4
Let i be 1/5 - 531/(-45). Let f = i - 10. Solve -3 = f*l - 5 for l.
1
Suppose 3*o + 5*l - 34 = 0, -5*o + 26 = -2*l - 10. Suppose -u + 2*n + 6 = 3*n, -5*u = -n - 30. Solve -2*q + o = -u*q for q.
-2
Let n(p) = p - 8. Let m be n(10). Suppose -m*y - 2*y + 24 = 0. Solve -2*l = 4 + y for l.
-5
Let x(a) = -2 - 2*a + 0 - 2 + a. Let z be x(-4). Let j(q) = q**3 + 6*q**2 - 9*q - 6. Let f be j(-7). Solve -v - v - f = z for v.
-4
Let f(w) = 4*w - 5. Let p be f(6). Let u = p + -16. Solve -15 + u = -3*j for j.
4
Suppose 3*z = i, 3*i + 4*z - 19 = -2*i. Solve -f - 2*f - i = 0 for f.
-1
Let z = 0 + 2. Let q = -23 + 24. Let t = z + q. Solve -k - t = -2*k for k.
3
Let z = -4 - -4. Let m be (-2 - z - 0)/(-2). Suppose -4*v = 4*n - 20, -6*v + v = -n - m. Solve 0 = n*x + 22 - 2 for x.
-5
Let a be (-2)/(-3) - (-4)/(-6). Suppose -4*t + 10 = -2*t. Solve a = -2*i - 1 - t for i.
-3
Let t(k) = k**2 + 5*k. Let y be t(-6). Solve -4*n + n - y = 0 for n.
-2
Let o = -9 - -13. Solve 0 = o*k + 10 - 2 for k.
-2
Suppose -11 = -2*i - 1. Suppose 0 = 3*o + 5*m + 19, 2*m + 20 = i*o. Let r(p) = -p**3 - 7*p**2 - 5*p + 6. Let a be r(-6). Solve a = x - o*x - 4 for x.
-4
Let g be 1*(2 - 0 - 30). Let w be g/(-5) - 3/5. Suppose w*c = c. Solve c*q - q = -1 for q.
1
Let d be (-6)/21 + 16/7. Suppose o - 2*o = -5*t + 13, 0 = d*o + 6. Suppose -w + 4 = 2. Solve -t*q = -0 - w for q.
1
Let p(r) = 3*r. Let v be p(1). Solve -v*l + 8*l = 5 for l.
1
Suppose 6*b - 45 = b. Suppose -5*u + u = 3*z - 11, b = 4*u + z. Let n be u/3 + 2/6. Solve 2*y - n = 5 for y.
3
Let n be ((-1)/(-2))/(10/60). Solve 0 = l - n*l - 8 for l.
-4
Let w be (16/(6 + -2))/1. Let c(x) = x**2 + 8*x - 1. Let q be c(-9). Let p be q/((-1)/(-2)*1). Solve 0 = -w*u + 4 + p for u.
5
Suppose -4 - 1 = u. Let c(p) = 2*p**2 + 15*p - 20. Let g(q) = -3*q**2 - 22*q + 30. Let m(x) = u*g(x) - 7*c(x). Let r be m(-7). Solve 5 + 3 = r*w for w.
2
Let s(v) = -3*v**2 - 11*v - 1. Let w be s(-3). Solve w*y + 5 = -20 for y.
-5
Let c(v) = 5*v. Let j be c(1). Suppose -6*a = -8*a + 4. Solve b = j - a for b.
3
Let x(c) = 4 - c + 5 - 3. Let g be x(6). Solve 2*q = -g*q - 4 for q.
-2
Let v be -2 + 3*(-4)/(-3). Solve -3*y + v*y = 2 for y.
-2
Suppose 4*b - 17 = -5. Solve 0 = -k - 0*k + b for k.
3
Let c(v) = -3*v - 14. Let l be c(-6). Solve x + l*x = -15 for x.
-3
Suppose -p + 20 = 16. Solve -3*c + 2*c = p for c.
-4
Let n = -38 - -44. Solve 31 = -5*u + n for u.
-5
Let p(i) = -i**2 - 9*i - 11. Let z be p(-7). Solve -16 = -z*c - c for c.
4
Let y(z) = z**2 + 2*z + 1. Let g be y(-2). Let u be 2 + (-1 - g) + 3. Solve -u*a + a = 4 for a.
-2
Suppose 0*x - 19 = -2*o - x, 4*o = 3*x + 63. Solve -3*h - o = h for h.
-3
Let d be (-6)/15 + (-14)/(-10). Let q = d + 1. Solve b + 6 = -q*b for b.
-2
Suppose u = -0 - 1. Let z be (-35)/(-14)*(u + 7). Solve z = n + 2*n for n.
5
Let y(f) = -f**3 - 3*f**2 + 3. Let q be y(-3). Solve q*s + s = 0 for s.
0
Suppose 0 = k + 2*u - 12, -2*k + 30 = 2*u - u. Solve -i + 5*i = k for i.
4
Suppose 0 = k + 3, 4*k = -2*i - 0*i. Suppose j = i*j - 25. Suppose -3*l + j = 2*l. Solve -l = 4*w + 3 for w.
-1
Suppose -w - 3*h = -17, 0 = -2*w - 2*h - h + 19. Let z(c) = c**3 + 3*c**2 - 3*c + 3. Let v be z(w). Let i = v + -12. Solve 10 + 5 = i*x for x.
3
Let w = 12 - 7. Solve -w*o + o - 12 = 0 for o.
-3
Let j be 4 + -2 - (-39)/1. Suppose -2*k + j = x, 2*k - 33 = k - 3*x. Let q be 2*(-1)/((-4)/k). Solve q = -d - 2*d for d.
-3
Suppose -4*s - 4 = 0, 4*s + 11 = y - 0*s. Suppose -k = -i - 10, -3*k - y*i + 46 = -2*i. Solve 4*l - 28 = -k for l.
4
Let b(h) = h**3 - 10*h**2 + 6*h + 8. Let j be b(9). Let o = j - -59. Let f be (3 + -1)*o/16. Solve f*m = -0*m + 20 for m.
4
Suppose -29*x - 20 = -33*x. Solve 0*b = -5*b - x for b.
-1
Suppose j = -6*j + 7. Solve 3*s = -j - 5 for s.
-2
Suppose o - t = 4, 2*o - 5*t - 20 = 6*o. Let s be 4/(-14) + 102/14. Suppose s + 18 = 5*w. Solve w*k + o = 15 for k.
3
Let n = 13 + -21. Let l be (-1 + 0)*(-1 - -18). Let w = n - l. Solve -4*g + w*g = 10 for g.
2
Let r be ((3 + -3)/2)/1. Solve r = p + 1 - 3 for p.
2
Let i = 26 - 24. Solve 0 = -3*m + i*m - 2 for m.
-2
Suppose -k = 2*k. Solve -2*u + k*u = 10 for u.
-5
Suppose -o + 32 + 77 = 0. Let v = -34 + o. Suppose 0 = -7*k + 2*k + v. Solve t + k = -2*t for t.
-5
Let g be (2/(-3))/((-1)/3). Suppose -4*x = 3*r - 1, r - 4 = -g*x - 3*x. Let z = x - -2. Solve 0 = z*y + 8 + 4 for y.
-4
Let q be (-14)/3 + 1/(-3). Let k = 9 + q. Solve -k*w + 9*w = 5 for w.
1
Suppose -74 + 76 = r. Solve 6 = -r*c - 0 for c.
-3
Suppose -4 - 6 = -2*z - u, 0 = z + 2*u + 1. Suppose -17 = -2*b - z. Solve b*t - 20 = -0*t for t.
4
Suppose 3*v - 4 = 2. Solve 0 = -v*g + 6*g + 8 for g.
-2
Let m(i) = -i - 5. Let l(p) = p**2 + 7*p + 4. Let y be l(-5). Let q be m(y). Solve 3 - q = -2*o for o.
-1
Suppose 0 = -3*y - 8 + 20. Suppose 3*k = -3*m - 2*m - 20, -k = m + y. Solve 4*i = -k*i + 20 for i.
5
Let v(g) = -g + 2. Let c be v(2). Solve -5*b + c*b = 15 for b.
-3
Let c(i) = i - 3. Let t(l) = 3*l - 10. Let z(f) = -14*c(f) + 4*t(f). Let n be z(-2). Solve n = -h + 2 for h.
-4
Let l be 56/9 + 12/(-54). Let x be -3*(-4)/l + 6. Solve -5*y - 12 = x for y.
-4
Let f = 16 + -1. Solve 4*o = o + f for o.
5
Suppose 3 = -78*j + 79*j. Solve -13 = -2*v - j for v.
5
Suppose -3*c - 10 = 2*c. Let z = 35 - 39. Let w = c - z. Solve -t - 1 = -w*t for t.
1
Suppose -2*j + 15 = j. Suppose 2*q = -0 + 2. Let k be (-10)/(-6) - q/(-3). Solve j*d + 8 = -k for d.
-2
Let g(u) = -u**3 + u**2 - u. Let z be g(3). Let d = z - -41. Solve -5*x - d = -0*x for x.
-4
Let r be 0 - (-2 + (-6)/(-3)). Suppose r*l - 5*l - 3*g + 27 = 0, -3*l = -5*g + 11. Suppose 17 = l*b + 5. Solve -15 = b*a + a for a.
-3
Suppose -2*u + 11 = -2*j + 3*u, -3*u = -9. Solve 3*x + j - 5 = 0 for x.
1
Let q = -6 - -8. Solve 0*x + q = 2*x for x.
1
Suppose 4*k + 2 = 5*j, 7*k - 4*k = 3*j. Suppose j*b + 7 = 5*u + 2, -2*b + 1 = u. Suppose -4*d + 2 = -3*t, 6*t - 2 = 2*t + 3*d. Solve t = -r - u for r.
-3
Suppose 2*c - c - 4 = 0. Let q(s) = s**3 + 3*s**2 + 2*s + 2. Let o be q(-2). Solve -w = -o*w - c for w.
-4
Suppose 3*z = -0*z + 39. Suppose 5*v + 2 - 27 = 0. Solve 7 = v*w - z for w.
4
Let a(t) = -t**3 - 5*t**2 + 2*t - 20. Let b be a(-6). Suppose -2*z = -5*z. Solve z = b*o - 2*o + 2 for o.
-1
Suppose 0*b + 3*b - 39 = 0. Let q = b + -9. Suppose -2*z = -2*k - q, 5*z + 0*k - 28 = -k. Solve -5 = 6*g - z*g for g.
-5
Suppose 0*l - 5*l + 10 = 0. Suppose 3*k - 8*k = -4*z - 12, 0 = 4*z + 12. Solve k = -3*h - l*h - 25 for h.
-5
Suppose -6*w - 1 = -4*w + n, 3*n = 5*w - 25. Let x be (-5)/((-20)/8)*-3. Let l be x/10*(-9 - 6). Solve 3 = -w*i + l for i.
3
Suppose 0 = -5*b + 9 + 1. Let l(w) = -4*w - 10. Let h be l(-3). Suppose 4*m - h*m = 0. Solve 2*x = -m + b for x.
1
Let t = 4 - 6. Let b be 14/7*1/t. Let m be (-7)/(21/(-18)) + b. Solve m*w - 5 = -15 for w.
-2
Let c(m) = -m**2 + 11*m + 2. Let i = 1 - -10. Let p be c(i). Solve 3*k + 20 = -p*k for k.
-4
Let o(l) = -l**2 + 6*l + 7. Let q be o(7). Solve -3*b + q = -3 for b.
1
Let u = -3 + 3. Let q be u - 0 - (-3)/1. Let x(d) = d**2 + 5*d + 4. Let k be x(-4). Solve q*v + 0*v - 12 = k for v.
4
Suppose a - 12 = -2*d, -5*a + d + 84 = -a. Suppose 4*h = -0 + a. Solve 0 = h*s - 5 + 10 for s.
-1
Let m(h) = -h**3 + 4*h**2 - 3*h. Let v be m(3). Suppose 0 = 6*i - 9*i. Solve v*k + k = i for k.
0
Suppose -2 = 2*a + 2. Let n = 12 - 11. Let g = n - a. Solve -g*o = -o - 10 for o.
5
Let w be (0/(-2 + 3))/(-1). Suppose 4*v - 4*i = 0, 0 - 2 = 3*v - 4*i. Solve -v = -k - w for k.
2
Suppose -2*h + 11 + 2 = 3*y, -5*h + 3*y + 22 = 0. Solve a + h = -0*a for a.
-5
Suppose 3*h = -2*h - 2*s + 15, -5*h + 15 = -3*s. Solve -g = -h*g - 4 for g.
-2
Let t(i) be the first derivative of -i**3/3 + 4*i**2 - 9*i + 3. Let u