 3*t for t.
2
Let w be -1 - ((-2)/(-2))/1. Let k = w + 5. Solve -3 = k*c + 6 for c.
-3
Suppose 34*q - 12 = 30*q. Solve -10 = q*o - 1 for o.
-3
Suppose -c - 2*c + 12 = -q, 3 = -4*q - 3*c. Let i = q + 17. Solve -5*k - 1 = i for k.
-3
Let v be (-5)/5 + (-1 - -3). Let n be (-6 - -4) + (5 - v). Solve -n*s = -7*s for s.
0
Let w = 2 - 9. Let f(d) = -d**2 - 8*d - 6. Let o be f(w). Let x = o + 3. Solve x*h + 4 = 12 for h.
2
Let d(r) = 3*r + 16 - 2*r + 0*r. Let j be d(0). Solve -2*c + 6*c = j for c.
4
Let k be (-3 - -7)*(-3 + 2)*-1. Solve -2 = k*f - 22 for f.
5
Suppose 9*z - 26 = 1. Solve 13 - z = 2*i for i.
5
Let l(p) be the second derivative of p**4/12 + 2*p**2 - 3*p. Let o be l(4). Solve -o = u + 4*u for u.
-4
Let p = -88 - -96. Solve 0 = p*z - 10*z + 6 for z.
3
Let n = 32 + -4. Let b be ((-21)/n)/((-1)/4). Solve b*s + s = 12 for s.
3
Suppose 3*i + 2*i - 15 = 0. Solve i*z - 9 = -0*z for z.
3
Let y = 10 - 6. Let p(x) = x**3 - 5*x**2 + 5*x + 2. Let r be p(y). Let q be r/(-12)*12/(-2). Solve 0 = q*s - 6*s - 3 for s.
-1
Let f be (0/3)/(-1 + -1). Solve -3*j + f - 6 = 0 for j.
-2
Let l be -1 + 2 + (5 - 1) - 0. Solve l*v = v for v.
0
Let v(b) = -2*b. Let i be v(0). Let m be (-1 + i)*(-30 + 5). Solve 2*z = -3*z + m for z.
5
Suppose s = 2 + 3. Suppose 0 = -5*k - 4*a + 31, -2*k + 17 = k + 2*a. Suppose k*f - s*g - 5 = 0, -g = 3 - 5. Solve 0 = -p + f*p for p.
0
Let x(s) = s - 5. Let b be x(4). Let f be 4/(-16) + b/(-4). Solve j = -f*j for j.
0
Let o(n) = n**2 - 4*n - 5. Let t be o(5). Suppose 2*k + 19 = m, t = 5*k - 0*k + 5. Solve 3 + m = -5*r for r.
-4
Let n = 3 - 3. Solve n = 3*x - 5 - 7 for x.
4
Let g(t) = -4*t - 8. Let n be g(-3). Solve q = n - 8 for q.
-4
Let l(u) = -2*u - 11. Let h be l(-9). Suppose 5*g - 7 = -2*s, -2*g + 0*g = 5*s + 14. Suppose 0*x = g*x - 12. Solve -t + x - h = 0 for t.
-3
Let c(s) = 2*s**2 + 30*s + 7. Let x be c(-15). Solve -2*u = -x*u + 20 for u.
4
Suppose -f + 4*f = 15. Suppose f*n = 2*n + 6. Solve n*s - 1 - 9 = 0 for s.
5
Let a be ((-16)/(-6))/(6/(-9)). Let h be a/14 + 6/21. Solve h = 3*t - 4*t - 2 for t.
-2
Suppose -12 = -3*p - p. Suppose p*z - 4 = 5. Solve 1 = -2*u - z for u.
-2
Let u = -44 - -47. Solve 2*l = -u*l for l.
0
Suppose -7 = -18*j + 65. Solve -k = 3*k - j for k.
1
Let i = 49 - 33. Solve -6*c = -2*c + i for c.
-4
Let o(z) = z**2 + 7*z - 6. Let t(i) = i**3 - 3*i**2 - 3*i + 2. Let q be t(2). Let g be o(q). Solve g*x = -2*x - 4 for x.
-1
Let w = 6 - 6. Suppose 5*l = 3*a + 12, w*l + 7 = 2*l + a. Solve -l*r - 1 - 5 = 0 for r.
-2
Suppose 0 = -z + 2*z + 4*o + 14, 4*z - 5*o - 28 = 0. Let y = 4 - z. Suppose 14 - 5 = 3*i. Solve -i*s + s = y for s.
-1
Let s = 23 - 13. Solve 2*v = 2 - s for v.
-4
Let c = 0 - 0. Let v = -28 + 33. Suppose -2*a = v - 55. Solve -5*m = -c + a for m.
-5
Suppose -15*u = -10*u - 10. Solve 10 = -0*t - u*t for t.
-5
Let f be (-3 - 0)*(-2)/2. Solve -20 = f*o + 2*o for o.
-4
Let f be (1 + -1)*(-1)/(-1). Suppose -5*j - 5 + 75 = f. Solve 5*n = -4 + j for n.
2
Let z = -11 + 15. Suppose x - o - 6 = 0, 5*x + 3*o - z = 10. Solve 0 = -3*t - x - 2 for t.
-2
Let v = -38 + 38. Solve v = -0*g - 4*g for g.
0
Suppose 0 = -0*k + 2*k. Let j be 5/1 + 3 + k. Solve g + g = -j for g.
-4
Suppose -4*b + 25 = b. Let h be b/(-15) - 28/(-3). Solve -5*z + h = -1 for z.
2
Let a(m) = -m**2 - m + 2. Let b be a(-2). Solve b*i = -i + 1 for i.
1
Let h be (-48)/(-40)*5*1. Solve 4*o = h*o + 6 for o.
-3
Let l = 3 + -10. Let d = -7 - l. Let w(g) = -g**3 - 7*g**2 - 7*g - 3. Let u be w(-6). Solve d = -u*c - 0*c for c.
0
Let z(r) = r**2 + 7*r + 6. Let l be z(-7). Let y(j) = -j**3 + 7*j**2 - 5*j - 4. Let p be y(l). Solve p*o + 5 = o for o.
-5
Suppose 0 = -4*p + 3*p. Let s = 0 - -18. Suppose -2 = 4*j - s. Solve p = h + 1 - j for h.
3
Let m = 82 - 82. Solve m*w + 3*w = 0 for w.
0
Let v = -6 - -9. Suppose d = -0*d + v. Suppose -5*b + d*b = 0. Solve -x = -b*x - 3 for x.
3
Let f(y) = y**3 - 5*y**2. Let p be f(5). Let b = 33 - 21. Solve p = -3*k - 3 + b for k.
3
Let q be (-7 + 3)/((-10)/3 + 2). Solve q*d + 4 = 10 for d.
2
Let l(t) = -t**3 - 8*t**2 - 9*t - 5. Let x be l(-7). Let v = -6 + x. Suppose 0 = 7*i - 2*i. Solve i*q + v*q = -9 for q.
-3
Suppose -v = -2*v. Suppose -3*m - 2*y = -14, y + 2 = -v*m + 3*m. Solve 3*a = -m*a + 5 for a.
1
Suppose -2*i = -5*j - 13, -2*i + 1 = -0*j - j. Let f be (i - -2)*14/14. Solve -2*o = 3 + f for o.
-2
Let b = 5 - 5. Let l(t) = t**2 - 2*t + 2. Let u be l(3). Solve b*r - u*r + 5 = 0 for r.
1
Suppose 3*z = 5*x - 23, 3*x = -0 + 3. Let u = z + 9. Solve 2 = u*g + 14 for g.
-4
Suppose 5*i - 20 = 0, -3*i - 2*i + 19 = -v. Solve -3*d - v = 2 for d.
-1
Suppose -o + 14 = 5. Suppose -o - 9 = h. Let v be ((-20)/30)/(4/h). Solve 0*k - k = -v for k.
3
Let p(w) = 17*w**3 - w**2 + 1. Let d be p(-1). Let v = -11 - d. Solve 0 = v*c - 2*c + 12 for c.
-3
Let d = 21 + -14. Solve 1 = 4*j - d for j.
2
Let n be 42/(-49)*(0 - 7). Let t = -6 + n. Solve p + 3*p = t for p.
0
Let m be -1 + 1 - (-2 - 0). Suppose 0 = -5*y - u + 6, 0 = -5*y + 3*y + 2*u. Let l = m + y. Solve 2*n = -l*n + 5 for n.
1
Let o(i) = i**3 + 7*i**2 + 12*i + 12. Let u be o(-5). Solve -3*y + u*y = 5 for y.
-5
Suppose 0 = -3*a - 7 - 5. Let x(w) = w**2 - 3*w - 1. Let h be x(a). Let j = h - 14. Solve 5*o - j = 7 for o.
4
Suppose 3*a + 2*a + 5*k - 10 = 0, 4*k - 8 = -2*a. Suppose a = w - 3 - 1. Suppose -y + 5*y - 36 = -w*c, 4*c + y = 21. Solve -8 = -3*b + c for b.
4
Let t(v) = 6*v**3 + 15*v**2 - 5*v + 1. Let l(b) = b**3 + 3*b**2 - b. Let d(m) = 11*l(m) - 2*t(m). Let g be d(2). Solve w - 4*w - 15 = g for w.
-5
Let n = 26 + -11. Let i = n + -11. Solve 3*b - b + i = 0 for b.
-2
Let m = -25 - -34. Solve -21 = 4*y - m for y.
-3
Let d = 68 - 66. Solve 1 = d*x + 9 for x.
-4
Let j = -12 + 16. Solve -5*q + j*q - 3 = 0 for q.
-3
Suppose 2*q + 1 - 3 = 0. Solve q + 0 = -h for h.
-1
Suppose -f = -a, -a = -0*a - 4*f + 12. Suppose -6*u - 4 = -8*u. Let n(z) = z**3 - z**2 + 3*z - 2. Let k be n(u). Solve k = -0*t + a*t for t.
2
Let l = -7 + 11. Suppose 2*u - l = -8, -7 = j + 5*u. Suppose -j*x + 4 = m - 14, -4*x + 24 = -2*m. Solve -x = 5*y + 4 for y.
-2
Let m = -1 - -6. Let k be 1/((-1)/(-3)*1). Solve -m*d = -k*d for d.
0
Suppose 0 = -5*o - 5 + 20. Solve 5*j - 7 = o for j.
2
Let k be (-40)/(-18) + (-6)/27. Suppose -k*h = -3*b - 3, -4*h - 2 = -0*b + 2*b. Suppose -3*u = -2*d - 0*d + 4, h = -4*d + 2*u + 8. Solve -2*i = -3*i - d for i.
-2
Let n = 8 + -5. Suppose 1 = c - n. Solve 20 = c*a + a for a.
4
Let b(u) = -u**2 - 11*u + 44. Let o be b(-14). Solve o*p - 4*p = -8 for p.
4
Let t(w) = -w**3 + 3*w + 1. Let y(d) = d**2 + 5*d + 4. Let b be y(-3). Let x be t(b). Solve -x*k = -k + 10 for k.
-5
Let t be 1/2*(6 - 2). Suppose -l + 3*r + 12 = 0, -3*r - 2*r - 21 = -t*l. Suppose 4*d + 3*a + 0*a - 6 = 0, a - 7 = -l*d. Solve d*w = -4 + 1 for w.
-1
Let c(a) = a**3 - 15*a**2 + 13*a + 14. Let t be c(14). Let r be 2/(-5) - (-36)/15. Suppose -2*f - 8 = -r*d, 3*d = 2*d - 4*f + 4. Solve t = d*p + p + 10 for p.
-2
Let a(d) = -d**2 + 5*d + 2. Let i = 4 + 0. Let v be a(i). Suppose n - g = -1, -27 = -2*n - 5*g + v. Solve 5 = -9*y + n*y for y.
-1
Let y = -4 + 5. Let q be 1*(2 - 28/y). Let u = 41 + q. Solve -2*k = k - u for k.
5
Suppose 3*r = 2*r. Let i(t) = -t**3 + t**2 + 6. Let p be i(r). Let c be (p/(-10))/(3/(-15)). Solve -3 = -c*l - 12 for l.
-3
Suppose 34 = -5*y + 59. Solve 0*k = y*k - 15 for k.
3
Let i(m) = m**2 - 7*m - 11. Let s be i(8). Let a be (-24)/(-4)*s/(-6). Solve -2*t + a = -t for t.
3
Let b(w) = -w**2 + 8*w - 11. Let q be b(5). Solve -2*i + q = -2 for i.
3
Suppose t = -c + 10 + 5, -3*t - 6 = 0. Solve 4*f = c + 3 for f.
5
Let q(x) = x**3 - 4*x**2 - 4*x - 2. Let p be 3/(-3 + (-54)/(-15)). Let y be q(p). Solve y = 3*u + 9 for u.
-2
Let a(n) = -11*n**3 + 4*n**2 - 4*n + 11. Let k(r) = -5*r**3 + 2*r**2 - 2*r + 5. Let x(q) = -4*a(q) + 9*k(q). Let i be x(1). Solve 0*v - v + 4 = i for v.
4
Let g be -2*(-1 - -2 - -1). Let w be (1 + 6/g)*0. Solve -j - 1 + 4 = w for j.
3
Let n(h) = h**2 + 3. Let g be n(0). Suppose 12 = -4*c, -19 + 0 = -5*s + g*c. Solve -s*b + 4 = 2 for b.
1
Let s(x) = 2 - 5*x + 2*x**3 - 2*x**3 - x**3 - 6*x**2. Let v be 1 + (-8 - 0 - -2). Let i be s(v). Solve -3*l = 5 - i for l.
-1
Suppose 0 = g + 2*z - 2, 3*g - 8 = -g - 4*z. Suppose -2 = -0*l - 4*l - g*h, -4*l + 5*h + 23 = 0. Solve -2*r + r = -l for r.
2
Supp