t i = 2 - 2. Let q = i - z. Solve -3*v - q*v = 5 for v.
-1
Let v(o) = o**3 - 3*o**2 + 2*o - 4. Let y be v(3). Solve b = -y + 4 for b.
2
Suppose -3*c - 3 = -6. Let m(p) = -p**2 + 5*p - 5. Let j be m(6). Let d = 16 + j. Solve -d*y = -9 - c for y.
2
Let x(k) = -k + 16. Let y be x(5). Solve 27 - y = -4*s for s.
-4
Let d = -5 + 11. Solve -6 = 3*f + d for f.
-4
Let f = -26 - -15. Let b = f - -19. Solve -4*z = -2*z + b for z.
-4
Let a = -7 + 7. Let p = 15 - 3. Solve 2*s + 2*s + p = a for s.
-3
Let c(g) = -2*g + 27. Let b be c(11). Solve b*x - 24 = -9 for x.
3
Let l = -18 + 22. Solve 3*m + l = -m for m.
-1
Let w(y) = -y**2 - 10*y - 9. Let t be w(-9). Suppose -r - 4*o + 20 = 0, 12 = -t*r + 2*r + o. Solve 6*v - 2*v = -r for v.
-1
Let u(y) = -y - 7. Let q be u(-9). Solve r + q*r - 3 = 0 for r.
1
Let k(u) = -u + 10. Let f be k(9). Let t(y) = 17*y**3 - y**2 + 2*y - 1. Let b be t(1). Suppose -3*q + 2*q - 11 = -3*w, 5*q - 5 = 0. Solve f = w*p + b for p.
-4
Let u = -12 + 15. Solve -u*h = -h for h.
0
Suppose -5*y = -4*p, -y + 5 = -3*p + 4*y. Solve -p*t = -13 + 3 for t.
2
Let d(f) = -f**3 - 2*f**2 - 2*f - 1. Let i be d(-1). Suppose i = -a - a. Solve -4*c - c + 25 = a for c.
5
Let k(i) = -i**2 + 14*i + 8. Let j be k(14). Solve -3*v + 4 = -j for v.
4
Let h be 19/152 + (-78)/(-16). Solve -h*v + 19 = -1 for v.
4
Suppose x - 5*l - 2 = -5, -3*l = x - 5. Let k be (-2*2)/(x/(-4)). Suppose 10 = g + 2*h, -4*g - k + 4 = -3*h. Solve y - g = -1 for y.
1
Let v(y) = y**3 + 4*y**2 - 8*y - 11. Let j be v(-5). Solve 2*h + 0 = j for h.
2
Let s(g) = g**2 - 7*g + 2. Let a(o) = -o**2 + 6*o + 2. Let h be a(5). Let b be s(h). Let l be 4/(-18) + b/9. Solve -f - f = l for f.
0
Let a(j) = 2*j**2 + 13*j + 7. Let c(x) = -x**2 - 7*x - 4. Let n(u) = 4*a(u) + 7*c(u). Let f be n(-3). Suppose -l = -f - 5. Solve l*h = -0*h for h.
0
Let k(l) = -l**2 - 3*l - 3. Let c be k(-3). Let y be (6*1)/(4 + c). Solve s + y = -2*s for s.
-2
Let f be (-60)/(-9) + 1/3. Solve 0 = 2*j - f + 1 for j.
3
Let k = -103 - -107. Solve 8 = -0*l + k*l for l.
2
Let v be (-2)/4*-1*1*10. Let n(p) = p**3 - p. Let m be n(2). Solve v*z + 26 = m for z.
-4
Let u be ((-1)/(-4))/((-5)/(-80)). Solve 6*s - u = 4*s for s.
2
Let g(k) = k**2 - 3*k**2 + k**3 - 2*k**3. Let x be g(-2). Suppose -a + 3 + 5 = x. Solve -7 = 5*p + a for p.
-3
Let x(p) = -p**3 - 6*p**2 + 7*p + 4. Let u be x(-7). Suppose 0 = -9*t + u*t + 10. Solve -w - 6 = t*w for w.
-2
Suppose -8 - 4 = -3*u. Suppose 8 = -3*l + 7*l - 5*m, -m = 2*l - u. Solve l*r = -r - 3 for r.
-1
Suppose 3*q + 0*q = 30. Let t = -5 + q. Solve 0 = -0*u - t*u for u.
0
Let r(p) = 5*p + 4. Let o be r(4). Suppose -5*y + o + 11 = w, 2*y = 4*w - 30. Solve l + w = 3*l for l.
5
Let o(m) = m + 1. Let q(w) = 3 + 1 - 3*w + 2*w. Let j be q(3). Let z be o(j). Solve 0 = z*k + 1 - 9 for k.
4
Let u(m) = m**2 + 7*m. Let w be u(-6). Let p = w - -10. Solve -p*b + 2*b = -8 for b.
4
Suppose q = -3*q + 12. Let l = -2 - -10. Solve q*k - 4 = l for k.
4
Suppose 0*z = 4*z. Solve 3*f = 3 - z for f.
1
Suppose -4*d + 11 = -9. Suppose -g + 17 + 0 = 4*b, 0 = 5*g + 4*b - 21. Solve d*q = 24 + g for q.
5
Let b be (-3 + (2 - 0))*-5. Suppose 2*z - b = 1. Solve 0 = -0*k + z*k for k.
0
Let x = 122 + -41. Suppose 0 = -7*p + x + 59. Solve 2*r + p = 7*r for r.
4
Let l be 3 + 0 - (-6)/3. Suppose d + l = 1. Let t be (-21)/9*(1 + d). Solve 3*g + t = 1 for g.
-2
Suppose 2*l - 5 - 1 = 2*q, -2*l + 3 = q. Solve -l*m - 10 = -0*m for m.
-5
Let m = 9 - 15. Let g = m + 10. Solve -g*b + 9 = -3 for b.
3
Suppose -4*r = -3*k - 43, -2 - 1 = 3*k. Suppose 3*w + 6 = -y, -3*y - 4*w + r = -2*w. Let c be (-42)/(-4) - (-3)/y. Solve c - 3 = 4*g for g.
2
Let k = -5 + 4. Let i = -7 + k. Let g = 16 + i. Solve 2 + g = 2*y for y.
5
Let z be 3 + 21/(-6) + (-19)/(-2). Solve -z = 3*p + 3 for p.
-4
Let p(t) be the first derivative of -t**4/4 - 2*t**3/3 - 3*t**2/2 - 3*t + 3. Let s be p(-3). Let l = 1 + -1. Solve -3*i + s = -l*i for i.
5
Suppose -3*p + 2*p = -4*y - 21, 0 = -4*p + 4. Let s = y + 5. Suppose s*r - 3 = -r. Solve -g + r = -1 for g.
4
Suppose 0 = g - 2*a, 4*g - a = 3*a. Suppose g = -5*c + 96 + 4. Let q be (15/c)/((-1)/(-8)). Solve -w = w + q for w.
-3
Let q(k) = k**2 - 11*k - 8. Let p be q(12). Suppose u + 4 = 4*s + 6*u, 4*s - 40 = p*u. Solve 0 = 2*x - 0*x - s for x.
3
Let y(r) = -r**2 + r + 6. Let u be y(0). Let v(c) = -10*c - 5. Let x(t) = -5*t - 2. Let n(s) = u*v(s) - 15*x(s). Let a be n(1). Solve 6*f - a = f for f.
3
Suppose 0*g - 5*g + 14 = 3*b, g = 3*b - 8. Let o = -681 - -692. Solve o = -b*m - 4 for m.
-5
Let a be 12/(-1*4) - -18. Let m = a + -11. Solve -4*g + m = -4 for g.
2
Let i(b) = 9*b**2 + 2 - b**2 - 4*b**3 - 7*b + 3*b**3. Let m be i(7). Suppose -m*t + 23 = 1. Solve -4 = -5*p + t for p.
3
Suppose 3 - 21 = -2*q. Suppose -q - 14 = -i. Suppose -4*l + i = 3. Solve -l*a = -6 - 19 for a.
5
Suppose 5*q - y = -50, 2*y - 46 = 3*q + q. Let x = -5 - q. Solve 0 = -3*m + m + x for m.
2
Let v(l) = l**2 + 2*l. Let j be v(0). Suppose -w + 3*k = -j - 3, 5*w + 4*k = -4. Solve 3*r = -w*r for r.
0
Let m(a) = -10*a**3 + 1. Let b = -1 - 0. Let j be m(b). Suppose -j = -z - 6*k + 2*k, 2*k = 3*z - 47. Solve 0*s = -3*s + z for s.
5
Let d(l) = 3*l - 4. Let i be d(3). Solve -h - 1 + i = 0 for h.
4
Suppose -2*w + 180 = 13*w. Solve -w = 2*b + b for b.
-4
Let z be ((-6)/9)/(2/15). Let j(b) = b + 6. Let t be j(z). Solve q = -0*q - t for q.
-1
Suppose -k = -4*o + 13, 0*k - 3*k = 5*o + 5. Let y be (-115)/(-35) - o/7. Solve 0 = y*f - 2*f + 1 for f.
-1
Let k be (-27)/(-7) - 7/(-49). Solve -20 = -0*c - k*c for c.
5
Let q(u) = u**2 + 2*u + 2. Let i(t) = t**3 + 4*t**2 + 2*t + 6. Let z be i(-4). Let y be q(z). Let x = y - -7. Solve -5*w + 1 = -x for w.
2
Let x be (2 - (0 - -1))*(23 + -18). Solve x*q - 4*q = -2 for q.
-2
Let p be 7 - (4/(-10))/(1/(-10)). Solve 8*h + 20 = p*h for h.
-4
Let k = -2 - -12. Let g = k - 10. Solve 3*f = -g*f for f.
0
Let t(x) = -x**3 + 9*x**2 + 7*x + 11. Let u be t(10). Let q = u + 21. Solve q*m = -m for m.
0
Let y be (-1)/2*(-9 - -11) - -1. Solve y*k - 2*k = -8 for k.
4
Let f = 25 - 17. Solve 8 + f = 4*s for s.
4
Let u = 14 + -1. Solve -5*g + u = -2 for g.
3
Let x(v) = v**2 + 9*v + 11. Let q be x(-8). Solve 0*d + q = -3*d for d.
-1
Suppose -3 = c - 4*c. Let v be ((-2)/(-4))/(c/(-4)). Let p = 2 + v. Solve p = -0*u + 3*u for u.
0
Let x(a) = -a**2 + 6*a - 5. Let r be x(4). Suppose 0*y = -r*y + 45. Solve 5*u + y = 2*u for u.
-5
Suppose -2*h + 2*d - 4*d = -14, h = -3*d + 9. Suppose 0 = -j + h*j - 20. Solve 0 = -2*v + j*v - 6 for v.
3
Let d(b) = -b**3 + 8*b**2 + 11*b - 9. Let h be d(9). Suppose 0 = -5*u + 2*u + h. Solve -4*x + u = -13 for x.
4
Suppose -k - 3*g = 11, 4*g + 9 = k - 8. Solve 0 = 2*n + k - 7 for n.
3
Suppose 2*d - 2 - 2 = 0. Solve 0 = 3*m + d*m + 20 for m.
-4
Let x(s) = s - 1. Let d be x(9). Let l = 11 - d. Solve -2 = -g + l for g.
5
Let b = -4 - -24. Solve 0 = g + 3*g + b for g.
-5
Let y(q) = q + 3. Suppose 5*x = -3*k - 29, -4*x - 4*k - 10 = 18. Let s be y(x). Let c be -1 + (s - 0) + 2. Solve -5*b + 24 + 1 = c for b.
5
Let c(k) = -k**2 - 10*k + 2. Let w be c(-11). Let z(n) = -n - 6. Let h be z(w). Suppose 0 = t + d - 11, -h*t - d = -27. Solve 0 + t = 2*x for x.
4
Suppose -7 = -2*o - 3. Suppose -15 = -5*c + 3*v + v, -2*c - 4*v = -34. Let l = c + -5. Solve -o = 2*y + l for y.
-2
Let y be (-8 + 2)*(-70)/21. Solve -5*j + j = -y for j.
5
Let j = -18 - -20. Solve j*r - 4 = -2 for r.
1
Let i = -2 + 4. Suppose i*u + 12 = -u. Let m be (u + 1)/((-2)/2). Solve -5*d + m*d - 2 = 0 for d.
-1
Let g(t) = -5*t - 15. Let h be g(-6). Solve 40 = 5*o + h for o.
5
Let z be (-3 + 2)*(4 - 6). Solve -p = -z + 1 for p.
1
Suppose 3*j - 4*j + 6 = 0. Solve -j*v + 3*v - 15 = 0 for v.
-5
Let w(u) = -3*u - 6. Let t = 11 + -7. Let o be ((-5)/t)/((-2)/(-8)). Let r be w(o). Solve -k = 2*k - r for k.
3
Let y be ((-68)/(-85))/(2/5). Let a = -2 - -1. Let z be (a/(-3) + -2)*-9. Solve -y*w = -5*w + z for w.
5
Suppose -5*d = 25, 3*c + 4*d = 7*c - 28. Suppose 2*g - 3*b + 5 = 2*b, -5*g = c*b - 31. Suppose -2*k + 4 = -2. Solve -4*m = g + k for m.
-2
Let p(a) = a**2 + 3*a - 3. Let w be p(-4). Let c(d) = 2*d**3 + 17*d**2 - 8*d + 9. Let q be c(-9). Solve q*m - w = -m for m.
1
Suppose -36 = -3*p + 3*q, 3*q + 2*q = 2*p - 30. Solve -5*j + 0 = -p for j.
2
Let x = -1 - -1. Suppose -2*k + k - 15 = x.