 r for t.
4
Let q = 31 + -29. Solve q*h = 3*h - 1 for h.
1
Suppose -3*t - t + 16 = 5*r, -3*t = r - 12. Let v be (-1)/(1/2) + 12. Suppose k + k = -u - v, u + 3*k + 15 = 0. Solve u = 2*c - 4*c - t for c.
-2
Let k(c) = c + 1. Let i be k(5). Solve i = 2*x + x for x.
2
Let o = -20 + 25. Suppose 0 = -m - 2*x + x + 8, -x = o*m - 24. Solve 0 = -3*n - n + m for n.
1
Let k = 5 + 0. Suppose 0*r + k*r = 20. Solve -3*w + r + 8 = 0 for w.
4
Let c(a) = -a**2 + 11*a - 8. Let u(o) = o**2 - 3*o + 5. Let p be u(4). Let y(b) = b**3 - 8*b**2 - 9*b + 10. Let j be y(p). Let m be c(j). Solve -s = -m*s for s.
0
Let g = 2 - 2. Let s(z) = z**3 - 10*z**2 + z - 12. Let p be s(10). Let t = g - p. Solve t*f = -f - 6 for f.
-2
Suppose 3 - 7 = -r. Solve -8*j + 16 = -r*j for j.
4
Let p = -2 + 0. Let s be (6/(-4))/(p/4). Solve 15 = s*m + 2*m for m.
3
Suppose 10 = 3*f + 13. Let b = -2 + 5. Let q = f + b. Solve 4*d - q = 2 for d.
1
Let g(y) = y**2 - 3*y + 2. Let z be g(3). Let b = -2 + z. Solve 5*r = -b*r - 5 for r.
-1
Suppose 2*q + 50 = 7*q + 5*b, -2*q = 3*b - 25. Solve 5 = -q*c + 20 for c.
3
Suppose 90*m = 86*m + 12. Let h be 4 + (-1 - -3)/(-2). Solve 9 = -h*t - m for t.
-4
Let r = 37 + -22. Solve -4*p - r = p for p.
-3
Let t = 55 + -54. Solve 9 = 2*h - t for h.
5
Suppose 0 = 3*i + 5*q + 5, -2*i = -3*q + 4*q - 6. Suppose -4*z + 16 = 0, -u + 5*z - i = 12. Solve d + 2*d - u = 0 for d.
1
Let f be (2 + -4 - -3) + 1. Suppose 4*r + 10 = -2*c, c + f*c = 2*r + 25. Suppose 3*u = 13 - 4. Solve -u*i + c = 2 for i.
1
Let p(n) be the second derivative of -n**3/2 - 3*n**2/2 + n. Let t be p(-2). Solve b - t - 2 = 0 for b.
5
Let p be (9/3)/(-3)*-4. Let o(w) = -w**2 + w + 1. Suppose 0 = 3*x - 2*x. Let y be o(x). Solve -p*b + 7 = -y for b.
2
Let a(x) be the third derivative of x**5/60 + x**4/3 + 8*x**3/3 + 11*x**2. Let v be a(-7). Solve 6*j - 3*j + v = 0 for j.
-3
Let h be 58/(-319) - 2/(-11). Solve -4*r - 8 + 0 = h for r.
-2
Suppose -2*k = 2*k - 8, -5*h - 3*k + 6 = 0. Let q be 7/3 + (-1)/3. Let w be -2 + 34/(q + h). Solve -5*a - w = 5 for a.
-4
Suppose 0 = -3*n - 3*w + 12, 2*n + 5*w + 6 + 1 = 0. Let y(z) = 5*z. Let o be y(1). Suppose -4*r + 10 = -r + m, -2*r - 3*m = o. Solve -r*u = n + 11 for u.
-4
Let q(i) = -i + 24. Let u be q(0). Let w be 2*(-3)/u*-4. Let k be (w + -1)/3 - -2. Solve -3*y + k + 4 = 0 for y.
2
Suppose -2*n + 0 = 8. Let l = 0 - n. Solve 11 + l = -5*r for r.
-3
Suppose 21 = -0*m + 7*m. Solve 5*l - m*l + 4 = 0 for l.
-2
Let r be -5*(-6)/105 + (-2)/7. Solve r = 5*m - 5 for m.
1
Suppose 0 = j + 3*c - 3, -2*c = -2*j - 5*c + 6. Solve -j = -4*v + 13 for v.
4
Let x(j) = -12*j**2 - 8*j + 7. Let r(o) = o**3 - o**2 + o. Let k(q) = r(q) - x(q). Let s be k(-10). Solve 4*w - s*w + 4 = 0 for w.
-4
Let t = -42 - -46. Solve 7*n = t*n + 6 for n.
2
Suppose 4*t = -3*a + 22, -6 + 16 = t + 3*a. Let o = 4 - t. Suppose 2*b - 22 + 2 = o. Solve b = 3*s - s for s.
5
Suppose 5*b - 10 = -d + 10, 5*b + 10 = 5*d. Let o be 30/(-2)*(-8)/3. Suppose -i + 6*i - o = 0. Solve d*m + i = -17 for m.
-5
Let f = -14 - -17. Solve -4 = 4*p - f*p for p.
-4
Let n = 2 + 3. Suppose -7 = -4*o + n. Solve m - 2*m + o = 0 for m.
3
Suppose f + 0*f = 0. Let s(p) = -p**3 + p**2 + 24. Let a be s(f). Solve a = -4*g + 8 for g.
-4
Let z be 23 + -15 - (3 - (-4)/(-2)). Solve z*g + 3 = 4*g for g.
-1
Let a be -7 + 12/3 + (-1 - -21). Solve -42 + a = -5*k for k.
5
Suppose -5*n + n + 8 = -s, 2*n = -2*s + 14. Solve 5 = n*l + 2 for l.
1
Suppose -76 = -o - 4*o + k, -3*o = 3*k - 42. Let m be 1/1*(-8 + 11). Solve -4*q = m - o for q.
3
Let p be (-2 - -1 - 2)/(5 - 6). Solve 2*m = -p*m - 15 for m.
-3
Let k = -1 - -2. Let j be -2 + 0 + (3 - k). Let i be -2 + ((-8)/(-2))/2. Solve i = -j*o + 4*o for o.
0
Let h(v) = 3*v**2 + 2*v + 1. Let y be h(-1). Solve 0 = -4*f + 6 - y for f.
1
Let u(k) = -k**2 + 7*k - 9. Let q(g) = g**2 - 7*g + 10. Let z(s) = 3*q(s) + 4*u(s). Let h be z(4). Suppose 4 = -4*m + 20. Solve -2*i + m = -h for i.
5
Let l(r) = -r**2 + 4*r - 1. Let n be l(3). Suppose 2*h = 4*h. Solve -s - 1 - n = h for s.
-3
Suppose -11 - 5 = -2*i. Let q = 5 + i. Solve -3 = 2*o - q for o.
5
Suppose -y + 26 = 2*m, 15 = m - y + 2*y. Let u be 168/44 - (-2)/m. Suppose -u*j + j + 7 = 2*s, 0 = 2*j - 3*s - 22. Solve 0*z = j*z + 20 for z.
-4
Let r = 5 - -3. Solve 4*s + r = -8 for s.
-4
Let v(m) be the first derivative of -m**4/4 - 4*m**3/3 + m**2 - 11*m + 4. Let d be v(-5). Solve d*b - 8 = 12 for b.
5
Let m = -22 + 21. Suppose -3*p + 4*x - 4 = -0*x, -4*p - 2 = -2*x. Let o be -3*(p + 0 + m). Solve -2 = -d + o for d.
5
Suppose 0 = z - 11 + 7. Solve 0 = z*n - 0*n + 4 for n.
-1
Suppose -2*o = -7*o + 75. Let s = o + -11. Let p(g) = g**3 - 15*g**2 + 14*g + 5. Let v be p(14). Solve s*j = -v - 11 for j.
-4
Suppose 4*t - 3 = t + 3*v, 20 = 5*v. Solve 5*d = 4*d - t for d.
-5
Let l(i) = -4*i - 3 - 3 - 3*i**3 + 6*i**2 + 2*i**3 - 9*i**2. Let q be l(-3). Solve -8*z - q = -6*z for z.
-3
Let i = -5 + 10. Solve 0*b = -b + i for b.
5
Let r = -10 + 14. Suppose u - 10 = -r*u. Let x be -3 + u - -5*1. Solve 0 = o - 1 - x for o.
5
Let w = 111 - 100. Solve 3*o + w = -1 for o.
-4
Let p(j) = j**2 - 8*j - 8. Suppose 4*r + 53 = -5*o, -5 = 5*o - 0*o. Let x be r/(-30) + (-43)/(-5). Let t be p(x). Solve -g - t = -2 for g.
1
Suppose -4*v + 3*v + 2 = 0. Suppose -9 = n - v*n. Solve -4*x + 20 = -n*x for x.
-4
Suppose 2*c - 23 = -3*u, 5*u = -4*c + 4*u + 21. Solve -c*s + 21 = 5 for s.
4
Let s be (4 + 6)/(2/3). Suppose b - 7 = -4*t, -2*t + 7*t - 5*b = s. Solve t*c + 10 = -0*c for c.
-5
Let k(m) = 4*m + 9 - 2*m - m. Suppose 0*r = -3*r - 21. Let g be k(r). Solve t - 1 = g*t for t.
-1
Suppose 28 + 1 = 3*q + 5*y, -q = -4*y + 13. Let l(h) = h. Let x be l(q). Solve x*o + o + 20 = 0 for o.
-5
Let t(x) = x + 15. Let u be t(-7). Let k(a) = 5*a - 1. Let q be k(2). Suppose -z + 2*d = -6, -5*z - 4*d + d - q = 0. Solve -c - c + u = z for c.
4
Suppose -2*x = -x - 4. Let z = 26 - x. Suppose 0 = 5*q - z + 7. Solve 2*l = -q*l for l.
0
Let j be (-10)/(-6) - 1/(-3). Suppose 5*w = 3*s - 9, -4*s + 9 = -j*w - s. Solve -2*v - 2 = -w*v for v.
-1
Let k(o) = -o**3 + 6*o**2 - 4*o + 4. Let v be k(5). Solve 0 = -r + 4*r - v for r.
3
Suppose -20*g = -18*g - 16. Let u be 7/(14/g) + 0. Solve 5 + 3 = u*q for q.
2
Let q = -46 - -90. Suppose f - 9 - 7 = -l, -f - q = -3*l. Solve 6*i + l = 3*i for i.
-5
Suppose -11*r = -14*r + 6. Solve 7*c - r*c - 15 = 0 for c.
3
Suppose 4 = 4*j - 4. Suppose -18 = -d - j. Solve -d = -4*p - 0 for p.
4
Let x = 0 - 0. Suppose x*s + 9 = -s. Let a = 13 + s. Solve -a*u - 18 = -6 for u.
-3
Suppose 3*r - 4*n = 0, -3*r + n - 4*n = 0. Solve r*t = 3*t for t.
0
Suppose -4*f = -f - 15. Solve f*d = -0*d + 5 for d.
1
Suppose 0 = -3*b + 6*n - 5*n - 13, 0 = b + n - 1. Let y(k) = -3*k - 3 + 2*k + 0*k. Let q be y(b). Solve q*i + 4*i = 4 for i.
1
Suppose -t = -2*h, -7*h + 6*h + 1 = 0. Suppose 2*k - 8 = 5*l + 9, 5*l + 45 = -5*k. Let m(d) = -d**2 - 4*d. Let v be m(k). Solve t*z + 10 = -v*z for z.
-5
Let h be 0 + 2/(-1 - -2). Solve 5*q - 8 = h for q.
2
Let n be (-1)/((-3)/(-12))*7. Let k = n - -40. Solve -2*z + 4 = k for z.
-4
Let w be ((-48)/(-14) - 4)/((-2)/14). Solve 0 = -w*l + 4 + 4 for l.
2
Suppose 0 = 3*s - 8*s - 55. Let y be 20/11 + (-2)/s. Suppose 0 = 3*h - y*h. Solve h = -3*u - u + 8 for u.
2
Let w(b) = b**3 + 5*b**2 - b - 1. Suppose 3*r + 1 + 29 = 0. Let y = 5 + r. Let i be w(y). Solve -i*f + 6 = -f for f.
2
Suppose 0 = 3*s - 3*c - 9, 0 = -4*c + 12 - 32. Let m be (-30)/(-7) + s/7. Solve 0*y = m*y for y.
0
Suppose 25 = 4*t + x, 5*t - 15 = -x + 3*x. Solve t*w - 16 = -6 for w.
2
Suppose 3*v = 2*v + 4. Suppose -v*u + 5 = -n, -5*n - 3*u + 23 = u. Suppose -5*f - q + 2 = -12, 0 = n*f - 3*q - 12. Solve 0 = f*p - 12 for p.
4
Suppose l + 8 = -3*l + 4*h, 5*l - 20 = -h. Solve l*b - 2*b = -2 for b.
-2
Let s = 86 - 84. Solve 0 = -4*y - 2 - s for y.
-1
Let i be (18/(-15))/3*-10. Solve -2*z - i = -4*z for z.
2
Let r(y) = -2*y**2 + 3*y - 1. Let l be r(1). Solve l = q - 4*q - 6 for q.
-2
Let j(l) be the second derivative of -l**5/20 + 2*l**4/3 + l**3/6 - 2*l**2 - l. Let k be j(8). Solve 0 = k*u - 0 - 4 for u.
1
Let q = -10 - -4. Let c(s) = -4*s + s + s - 4. Let b be c(q). Solve 4*d - 20 = -b for d.
3
Let p(h) = -h**3 + 12*h**2 + 2*h - 15. Let t be p(12). Let f = t - 4. Solve -4*y + f = 1 for y.
1
Let o(c) = -6*c + 4. Let z be o(-3). S