5 for t.
-1
Let g = -118 + 133. Solve 2*q - g = -q for q.
5
Suppose -4*d - 61 - 7 = 0. Let q = -1 - d. Suppose 4*f + q = 4*x, 3 = 2*x - 5. Solve -p + 5*p + 20 = f for p.
-5
Suppose -8 = -2*c + c. Solve 3*z - c = 5*z for z.
-4
Let u be (-4)/(-10) + (-28)/(-5). Let h = 9 - u. Solve 8 = -5*p + h*p for p.
-4
Let r(b) = 4*b - 35. Let o be r(10). Solve -o + 3 = 2*q for q.
-1
Suppose 2*s = -2*y, -8 = 3*s - 5*s. Let u = y + 8. Suppose 0*b = -2*b + u. Solve -b*x - 3 = -1 for x.
-1
Suppose 3*c - 4*o = 16, -5*c = o - 2*o - 21. Suppose f - 14 = -2*v, -3*v + 2*f = c - 39. Solve -11 - v = 5*u for u.
-4
Let g(q) = -4*q - 46. Let v be g(-14). Solve 7*z - 3 = v*z for z.
-1
Let i = -1 - -3. Suppose -b - i = -2*b. Solve -4 = -2*m + b for m.
3
Suppose -3*p = -2*q + 9, q = -0*p + 4*p + 17. Let j(k) = k**3 + 6*k**2 + 5*k + 3. Let g be j(p). Solve 3*x = 9 + g for x.
4
Suppose -36 - 79 = -5*c. Suppose -4*o - 15 = -o, 4*f = 3*o + c. Suppose 0 = 3*j - 13 - f. Solve -j*v + 0 = 15 for v.
-3
Let l be 2/6*120/5. Solve -j - j + l = 0 for j.
4
Let d(c) = c**2 + 3*c - 2. Let g be d(-3). Let x = -2 - g. Solve x = 2*k + 1 + 5 for k.
-3
Let a(b) = -b**3 - 19*b**2 + 6. Let k be a(-19). Solve -i = k - 2 for i.
-4
Suppose -2 + 17 = 5*r. Suppose -2*a + 9 = 2*m + 3*m, 21 = 2*m - 5*a. Suppose m*d = 7 - 1. Solve -r*n = -8 + d for n.
2
Let o(p) = -p**3 + 6*p**2 + 3*p - 7. Let y be o(6). Let j = 17 - y. Solve -4*r + j*r = 4 for r.
2
Let d = 13 + -13. Suppose -4*w = -0*w - 8, -2*h + 3*w + 4 = 0. Suppose 3*u - 4*z = 0, 2*u + 4*z - z - 17 = 0. Solve d = -m + h*m + u for m.
-1
Let l be 1 + -1*1*-1. Let n(t) = -t**3 + 10*t**2 + 2*t - 19. Let d be n(10). Solve -m = -l + d for m.
1
Suppose 2*k - k + 60 = 0. Let j = k - -110. Suppose -4*y - 3*n + 2 = -45, j = 5*y + 2*n. Solve -5*f + y = -2 for f.
2
Suppose 2*j = -5*h + 12, -2*h = -0*h - 8. Let v be 100/12 - j/6. Let d be (3/(-2))/(v/(-30)). Solve 0*t - d*t + 15 = 0 for t.
3
Let a = -25 - -26. Suppose -5*s + 8 = -s. Solve s*z = 1 + a for z.
1
Let z = 68 + -68. Solve 4 + z = -t for t.
-4
Let q(y) = -y**2 + 9*y - 12. Let o be q(7). Solve -w + o = w for w.
1
Suppose 5*g - 12 = -2*c, -c + 10 = 3*g + 3. Suppose 3*u + g*u = 15. Suppose -13 = -0*q - 3*q + 4*j, 2*q + 3*j = u. Solve q*i + 12 = -3 for i.
-5
Let g = -15 - -19. Solve r = -g + 5 for r.
1
Let n(c) = c**2 - c - 1. Let p be n(-1). Suppose 2 = 4*q - 5*s, 3*q + p - 8 = s. Suppose -4*j - 3 = -5*u, -q*j + 6 = -3. Solve -5 - u = 4*r for r.
-2
Suppose 3*f + 3*w = -0*f + 63, -3*f = 2*w - 58. Let k be 4/((f/(-6))/4). Let h = k + 10. Solve 0 = h*d - 2 - 2 for d.
1
Let r(a) = -8*a + 12. Let k be r(0). Solve 5*y - y - k = 0 for y.
3
Suppose 0 = -4*a + 2*c + 54, 5*c + 34 = 9. Suppose -4*o - 4*j = -a - 33, 0 = -2*j - 2. Solve -5*u + 2*u = -o for u.
4
Suppose b - 24 = -b - 5*y, 0 = 2*b - 4*y + 12. Suppose -d + 24 = -4*g, -3*d + b*g = -41 + 9. Solve -2 - d = -2*u for u.
5
Suppose -a = 5*s - 3*a + 120, 56 = -3*s - 2*a. Let f be 4/s + (-112)/(-11). Suppose -9*v + 4*v - 3*b = 5, 0 = 5*v + 4*b + f. Solve 0*o = 2*o + v for o.
-1
Suppose -w = 2 - 3. Let h = w + 2. Solve 0 = 2*s - 3*s - h for s.
-3
Let j = -7 + 6. Let o = j + 4. Suppose -o*k = -k. Solve k = -2*d - 0*d - 8 for d.
-4
Suppose -4*i = -5*y - 36, -3*i - 6*y = -3*y. Suppose 28 = 14*q - 0. Solve 0 = -q*u + i*u - 10 for u.
5
Let g be (-2)/3 + 55/15. Suppose -g*l + 73 = -77. Suppose -a - a + 22 = c, 0 = 4*a + 5*c - l. Solve -a = -v - v for v.
5
Let p = 18 - 11. Let d = p - 5. Suppose -c = d*c. Solve 3*u + 2*u = c for u.
0
Let m(p) = p**3 + 11*p**2 + 6. Let o be m(-11). Let v be 1/(-2)*o/(-3). Solve -v + 2 = -h for h.
-1
Let t(k) = k**3 + 3*k**2 - 7*k - 8. Let a(h) = h**3 + 2*h**2 - 7*h - 7. Let w(x) = 4*a(x) - 5*t(x). Let z be w(-8). Solve -5*p - z = -p for p.
-5
Let m(b) = 2*b. Let j be m(1). Solve 2*v = -j + 6 for v.
2
Suppose -2*m + 6 = 0, 4*l - m - 29 = 16. Solve n = 4*n + l for n.
-4
Suppose -5*q - 8 = 2. Let i(o) = -o**3 - 2*o**2 - 3*o - 1. Let r be i(q). Solve -5 = -0*w - r*w for w.
1
Let w = 10 + -4. Suppose -16 = -0*o - 5*o - 3*s, -5*o = -2*s - w. Solve o*u = -0*u + 10 for u.
5
Suppose 15 = y + 12. Solve -1 - y = -c for c.
4
Let d = 7 + -8. Let b(l) = l + 1. Let a be b(d). Solve a*s = 2*s + 8 for s.
-4
Let n = -2 - -4. Let a(s) = -s**3 - s**2 + 3*s + 2. Let w be a(-2). Suppose 0 = -w*c + c - 5. Solve -c*t + n = -3*t for t.
1
Let w be (12/36 + 1/(-3))/1. Let b = 0 + -8. Let p = b + 11. Solve -i + 0*i - p = w for i.
-3
Let o(t) = -2*t + 4. Let j be o(2). Suppose j*a = -3*a. Solve a = -s + 3 for s.
3
Let y = -95 - -102. Solve -11 + y = 4*d for d.
-1
Let n be (6/(-4))/((-6)/8). Suppose 6*i + m - 8 = 2*i, -4*i = 5*m - 8. Solve i*b - 3*b = -n for b.
2
Let r be (-4 + 0)*75/2. Let f be r/(-8) + 3/(-4). Let s be (0 - f)*(-10)/15. Solve -2*w - w = -s for w.
4
Let p = 67 + -64. Solve -6 = p*g + 9 for g.
-5
Suppose -2*k - 17 = -3*u, 0*k + 3*k = 2*u - 13. Suppose -3 - 6 = -u*g + 2*f, 5*g - f = 12. Solve -g*x - 1 = 2 for x.
-1
Let t be (-1 - -6) + -3 + 1. Suppose -3 = -t*v - 2*m, 3*v - 12 = 2*m - m. Suppose -5 = -v*f + 1. Solve -f*i + 3 + 1 = 0 for i.
2
Let s(x) = x + 4. Let u be s(-5). Let f be 2 + u + -3 + 5. Solve -2*z = -z + f for z.
-3
Suppose 2*i + 6 = -18. Let l = i - -22. Suppose 0 = 4*g - 2 - l. Solve x = 2*x + g for x.
-3
Let n = 17 - 18. Let b(i) be the first derivative of -i**3/3 - i**2 - i + 1. Let h be b(n). Solve 4*v = -h*v - 12 for v.
-3
Suppose -2*o = 3*o - 25. Suppose 10 = -o*p - 3*r, -p = 2*p - 5*r - 28. Let s(y) = y**2 - 7*y + 6. Let t be s(6). Solve -f = -t + p for f.
-1
Suppose 7*b - 2*b = 20. Let i(a) = -9*a**2 - 21*a + 5. Let w(j) = 4*j**2 + 10*j - 2. Let r(u) = -3*i(u) - 7*w(u). Let g be r(-5). Solve -b*d = -g + 1 for d.
2
Let s(d) be the second derivative of -d**4/12 - 2*d**3/3 - 2*d. Let n be ((-12)/(-8))/(3/(-8)). Let g be s(n). Solve g = -2*w - 0*w for w.
0
Suppose -4*t = -n + 28, 0*n + 3*n - 3*t - 39 = 0. Solve -3*p + 10 = -n*p for p.
-2
Suppose 0*l + 4*h = -3*l + 4, -5 = 3*l - 5*h. Let x(v) = -2*v - 5. Let g be x(-4). Solve l = g*y - y + 10 for y.
-5
Let o = 521 - 367. Suppose r = -r - o. Let j be (-40)/(-22) - 14/r. Solve -v = -j*v + 5 for v.
5
Let i(y) = y + 11. Let n be i(-9). Solve n*a - 20 = -2*a for a.
5
Let m = 52 + -36. Suppose 7 + 1 = 4*i - 5*v, -3*v = -4*i + m. Solve -5*t = i - 2 for t.
-1
Let g = -10 - -13. Suppose 8*r = g*r + 5. Solve 2*y = 3*y + r for y.
-1
Let d(v) = v**3 - 6*v**2 + 2*v - 8. Let l be d(6). Let b(p) = 5*p + 1. Let h be b(l). Solve 6 - h = 5*q for q.
-3
Let g(x) = x**3 - 4*x**2 - x + 1. Let z be g(4). Let f = 5 + z. Solve 0 = -4*o - 2 - f for o.
-1
Let c be (7/3)/(2/(-6)). Let t = 11 + c. Suppose 2*z = 5*a - 106, z = -2*z - 9. Solve -a = 4*m - t for m.
-4
Suppose -53 + 9 = -4*j. Suppose j + 18 = s. Suppose -4*i - s = -5*l, -l - i + 4*i = -8. Solve 0 = -l*d - 1 - 19 for d.
-4
Let n = -15 - -19. Let b = -5 - -8. Solve z = -b*z + n for z.
1
Let b(g) be the second derivative of g**3/6 - g**2/2 + 2*g. Let l be b(3). Let f be l/(-10) - (-2)/10. Solve f = -y - 0*y - 4 for y.
-4
Suppose -2*c + 5*g + 3 = -2, 0 = 2*c + 5*g + 5. Solve c*d = 4*d - 4 for d.
1
Suppose 0*h + 20 = 4*h, -4*a + 48 = 4*h. Suppose 4*i + 6 = 3*m, -5*i - 3 + a = 2*m. Solve 0*p = p - m for p.
2
Suppose -3*o - 2*k + 19 = 0, 16 = 2*o - 5*o + 5*k. Suppose 5*q - 3 = 2*q - 4*z, 0 = -q - o*z - 4. Solve -q*l + 0*l - 25 = 0 for l.
-5
Let s = 11 - 9. Solve -5*o + s*o = -9 for o.
3
Let a(t) = t**2 - 9*t + 14. Let x be a(7). Let z(u) = -u**2 + 9*u - 10. Let r be z(7). Suppose r*h - 63 = -v, x*h = -2*h + v + 27. Solve 5*i = 2*i - h for i.
-5
Suppose 3*j + 0*j = 18. Let g(v) = -v**3 - 4*v**2 + 5*v. Let s be g(-5). Solve -j*x + 3*x = s for x.
0
Let f = 3 - 2. Let o be (-21)/(-9) + 1/(-3). Suppose o*k - 10 - 8 = 0. Solve -4*j = k - f for j.
-2
Let c = 56 + -47. Suppose 4*d - 1 = 5*y + 4, -5*d - 3*y = 3. Solve -3*s + d = c for s.
-3
Let d = -11 - -17. Suppose 0 = -2*v + d. Let n(z) = z**3 - 4*z**2 - 6*z + 5. Let m be n(5). Solve 2*h + v - 1 = m for h.
-1
Let i be (-4)/(-1) + (-12)/(-3). Solve 2*d = -2*d + i for d.
2
Suppose -68 = -5*c - 4*u, c - 3*u + 54 = 5*c. Solve 5*v = -8 - c for v.
-4
Let i(c) be the first derivative of -c**3/3 + 2*c**2 - c + 2. Let w be i(3). Suppose -3*q + w = -1. Solve 0 = -g - 3 + q for g.
-2
Let r = -12 + 12. Let u be (-2 - -1)*1