. Solve -2 = v*t + 14 for t.
-4
Suppose 0 = -4*t - 0*t. Let i be -1*((t - 2) + -1). Solve -i*u = -23 + 8 for u.
5
Let f be (-14)/(-4) - 3/(-6). Let b be (2/(-8))/((-1)/f). Solve -2*u - b = -5 for u.
2
Suppose 2 + 12 = p - 2*y, y - 7 = -3*p. Let q(n) = -n**3 - 4*n**2 + 4*n - 1. Let a be q(-5). Solve -2*o + p*o = a for o.
2
Let d be (-2)/(-7) + 104/28. Solve d*w - 6 = -2 for w.
1
Let d(t) = -t - 3. Let l be d(5). Let w be (-28)/l + 2/(-4). Suppose -y - 2 = -w*y. Solve 4*u = -y - 3 for u.
-1
Let a(c) = -c**2 + 13*c + 16. Let d be a(14). Solve 11 = -3*b + d for b.
-3
Let o(r) = -3*r + 33. Let z be o(9). Solve z*h = h - 20 for h.
-4
Suppose -13*s + r = -10*s - 1, 0 = -3*s - 3*r - 3. Solve s*o + o - 3 = 0 for o.
3
Suppose -4*s + 0*s = 0. Let g = 2 - s. Let a(r) = r**3 + 2*r**2 - 3*r + 3. Let h be a(-3). Solve -5 = -h*n + g*n for n.
5
Let t(u) = -2*u**2 - 6*u + 1. Let w(k) = -3*k**2 - 13*k + 3. Let o(d) = -5*t(d) + 3*w(d). Let m be o(9). Suppose 4 + m = 4*f. Solve 2*y = 12 - f for y.
5
Let o be 2/((-8)/12)*-1. Let d(z) = 3*z - 9. Let j be d(o). Solve -g + j*g - 5 = 0 for g.
-5
Suppose 0 = -2*w + 3 + 5. Suppose 0 = -w*c + 20, 4*c - 51 + 7 = -2*p. Solve 3*b + b + p = 0 for b.
-3
Suppose -4 = 2*o + 8. Let f = o - -6. Suppose 2*p + f*p = 4. Solve p*v - 8 = -2*v for v.
2
Let i(v) = -v**3 + 0*v - 4*v**2 - 5*v**2 - 5 - 9*v. Let b be i(-8). Solve b*s - 1 - 2 = 0 for s.
1
Let u(n) = 3*n + 4. Suppose 5*o = -5*f + 10, f + 4 + 6 = -4*o. Let x be u(f). Suppose 4*q - 4*c = 0, x = 5*q + c + 4. Solve -q*b = b - 12 for b.
3
Let i be 1*(-1 + -36)/(-1). Let m = i - 12. Solve 0*d = -5*d + m for d.
5
Let r(f) = f - 12. Let y be r(15). Suppose -w = -4*o + 10, 0 = -y*w + 6*w + 2*o - 12. Solve 5 = x - w*x for x.
-5
Let u = -104 + 106. Solve 0 = -w + u*w + 1 for w.
-1
Let r(o) = o**3 - 7*o**2 + 6*o + 3. Let b be r(6). Solve 2 = -4*d + b*d for d.
-2
Let t = 10 + -5. Let q = 10 - t. Solve q + 5 = 5*b for b.
2
Let v be (-30)/(0 - -2) + 2. Let h = -9 - v. Solve -q = -h*q + 6 for q.
2
Suppose 2*m + 8 = 6*m. Suppose 2*w - 3*x - 9 = 2*x, -2*x = m. Solve -q = w*q for q.
0
Let a = -3 - -3. Solve a = -p - 0 - 4 for p.
-4
Suppose 1 = 2*o - 5. Suppose -5*p + h + 11 + 32 = 0, o*p - 35 = -4*h. Solve 5*y = -p + 29 for y.
4
Let i(r) = 2*r**2 - 6*r - 7. Let k be ((-6)/4)/(4/(-16)). Let b be i(k). Suppose p = -5, 0 = -g + 2*p - 10 + b. Solve q + 2*q - g = 0 for q.
3
Let a be (-1 + -9)*8/(-5). Let o(n) = -n**2 + 8*n - 8. Let v be o(6). Suppose 3*c + 0 = 6, -3*u - 4*c = -32. Solve -u*g = -v*g + a for g.
-4
Let l = 9 + -4. Solve -l = -4*k + 7 for k.
3
Suppose 5*u + 3*d = d + 112, 4*d = -2*u + 48. Let i = 1 + -1. Suppose 2*b + 6 - u = i. Solve 7 = -5*j - b for j.
-3
Suppose -3*n = -d - 15, d - 3*d = -5*n + 25. Let h = -6 - -9. Suppose a + d = h. Solve 0 = t - a*t - 10 for t.
-5
Let q(w) = -w**2 - w + 2. Let a be q(0). Suppose a = -2*k + 4. Solve -14 = 3*r + k for r.
-5
Let k = -11 + 19. Let n = 12 - k. Solve 0 = 5*l - 4*l - n for l.
4
Let q be ((0/1)/4)/1. Suppose 2*r + 2*p + 2*p - 8 = q, 12 = 3*r + 5*p. Solve 0 = r*l - 0*l - 20 for l.
5
Let f = -17 + 25. Let x(l) = -6*l**2 - f*l**3 + 7*l**3 - 1 - l - l**2. Let u be x(-7). Solve u*b - 2*b - 16 = 0 for b.
4
Suppose -8*t + 4*t + 52 = 0. Suppose 5 - t = -4*x. Let j be -1 + 2/(x/3). Solve -j*n + n = 4 for n.
-4
Let h(n) = -n**2 - 6*n - 1. Let k be h(-5). Suppose -3*l + l + k = 0. Let p be (-10)/(-4)*(l - 0). Solve p*a = a + 4 for a.
1
Let h(r) = -2*r + 3. Let u(f) = 2*f + 1. Let y be u(-2). Let m be h(y). Suppose 2*t - 3 = -4*n + 3, -3*n + 3*t + m = 0. Solve -n*c - 15 = c for c.
-5
Let x(s) = 10*s + 8*s**2 - 13*s**2 + 7 - s + 6*s**2. Let q be x(-9). Solve 4*c + 5 = -q for c.
-3
Let l(h) = 4*h**2 + h. Let q be l(1). Suppose 5*f = j + 25, j + 45 = q*f - 4*j. Solve f*y - 5*y = 0 for y.
0
Let t(m) = 2*m**2 - 2*m + 1. Let h be t(-2). Suppose 3*c = h + 5. Suppose 0 = -4*s + 6 + c. Solve s*y = y for y.
0
Let j = 107 - 105. Solve -5 = v - j*v for v.
5
Let o = -78 + 83. Solve 4*f - o - 3 = 0 for f.
2
Let l(d) = 6*d**2 + 0*d**2 - d + 0*d. Let h be l(1). Solve -m - h = -0 for m.
-5
Suppose -q - 3*l = -2*q + 20, 0 = 5*q + 3*l - 10. Suppose 25 + 0 = -5*r. Let x = r + q. Solve x = -i + 3*i for i.
0
Suppose -2*n - 11 = 3*q, 0*q - 2*q - 12 = -n. Solve 0 = l - 1 - n for l.
3
Suppose g + 3*g + 8 = 0. Let f be (-1 + g)*(0 - 1). Solve f*m = 2*m - 5 for m.
-5
Suppose 2*m + 22 = t + 6*m, -m = -5. Solve a = t*a for a.
0
Let a = 2 - -1. Solve 5*l + 8 = a*l for l.
-4
Let g = 14 - 20. Let i be (-8)/g + (-7)/21. Suppose 0 = -w - 4*r + 2*r + 1, -5*w - 2*r + 13 = 0. Solve 0 = -w*s - 2 - i for s.
-1
Let m = -16 + 18. Solve -1 - 7 = -m*u for u.
4
Let v(b) = -b**2 - 2*b. Let g be v(0). Solve 5*y - 2*y = g for y.
0
Let f be (-3)/15 - (-48)/15. Let j = 3 + f. Let w = -3 + j. Solve -w*c - 2*c = -20 for c.
4
Suppose 0 = 4*k - 3*h - 35, -3 - 37 = -4*k + 4*h. Let l(y) = 2*y - 7. Let q be l(k). Suppose 3*m - 2*c = -q - 3, -6 = m - 2*c. Solve s + 0*s = m for s.
0
Let s(f) be the second derivative of f**4/12 - f**3/2 + 2*f**2 + 7*f. Let d be s(3). Solve -10 = d*n - 2*n for n.
-5
Let w be ((-2 - 1)/(-3))/1. Suppose -2*m = 2*x - 5*m + w, 3*m = -x + 13. Solve 5*b - 9 = -x for b.
1
Let x be (-10)/35 - 51/(-7). Suppose 0 = -5*u - z + x + 15, -3*u - 2*z + 9 = 0. Let b = 7 - u. Solve 3 = k - b for k.
5
Let s(m) = -m**3 - 20*m**2 - 18*m + 23. Let k be s(-19). Solve -c - k = -2 for c.
-2
Let s = 10 + -10. Let p be (2 - (2 + 0)) + s. Solve 3*v + 2 - 5 = p for v.
1
Let c = -14 + 24. Solve 4*w - c = 2 for w.
3
Suppose 0 = 5*t - 5*r, r = 2*t - 2 - 1. Let o be (-9)/t + 12/2. Solve -5 = 2*x + o for x.
-4
Let f = -45 + 50. Solve f*x - 20 = -5 for x.
3
Suppose 12 = -0*w - 4*w. Let c be 2 - (0 - (-3 - w)). Solve 9 = -c*v - v for v.
-3
Suppose -6 = 2*p - 5*p. Solve 0*y = p*y + 8 for y.
-4
Let x(o) = 5*o**2. Let h be x(1). Suppose 4*w - 33 = -1. Let l be (-5 + w)/((-3)/(-2)). Solve -h*v - l = -12 for v.
2
Let c(n) = -3*n + 5. Let x be c(0). Solve x*a = a for a.
0
Let a(u) = 1. Let t(v) = v**2 + 7*v - 6. Let i(y) = -4*a(y) - t(y). Let c be i(-7). Solve -c = 3*b + 7 for b.
-3
Let x = -7 + 13. Suppose 11 = 3*o + 4*s, -2*o + 3*s - 5*s + x = 0. Suppose -5*v + 1 = -64. Solve -o = 3*g - v for g.
4
Suppose 4*i = -i + 10. Suppose -i - 13 = -5*j. Suppose -j*y - 3*d = -11 - 7, -3 = -d. Solve -y*t + 12 = t for t.
3
Let v be 3 + 3 + 1/(-1). Suppose -3*y = v*i + 7 - 21, -5*i - 4 = -3*y. Solve s = y*s for s.
0
Suppose 5*q - 4*t - 36 = 0, -2*t = -2*q + t + 20. Let o be q*6*(-4)/(-8). Suppose b - 2*i + 4*i = -6, -3*b - o = 4*i. Solve a - 3 + 5 = b for a.
-2
Suppose -1 = 5*y + b, 2*y = 2*b + 2*b + 4. Suppose y*v = -v + 8. Solve -2*q - v = -0*q for q.
-4
Let i(j) = -2*j - 4. Let n be i(-5). Let t be 1/3 + 1/(-3). Suppose -2*a + a + 2*c + 11 = t, -34 = -2*a - 2*c. Solve s + a = n*s for s.
3
Suppose 2*n + 2*n - 5*y = 3, n + 5*y = 7. Suppose 0 = 5*s + n*j, 6*s = s - 3*j. Suppose -5 = -2*g - q, 4*g - 4*q + 3 - 31 = 0. Solve s = -4*u - g - 16 for u.
-5
Suppose -5*x + 10*x = 15. Solve -c - 2 = x for c.
-5
Let v be (-5)/(-2) + (-3)/6. Solve v = -c + 4 for c.
2
Let h = -5 + 12. Let q = h + -5. Suppose a + 0 - 3 = 0. Solve -a*x = q*x + 10 for x.
-2
Let m(b) = -10. Let j(c) = -c + 11. Let s(r) = 3*j(r) + 4*m(r). Let l be s(-5). Suppose -2*d = -3*o + 8, -3*d + 20 = -l*d. Solve -3*q - 2*q = o for q.
0
Suppose -4*d = d. Let w = d + 3. Solve m + w*m + 16 = 0 for m.
-4
Let q = -2 + 50. Suppose -q = x + 3*x. Let v = 18 + x. Solve -v*z = -3*z for z.
0
Let f(v) = v**2 - 4*v + 2. Let k be f(4). Suppose 0 = -3*l + 8*l, -k*b + 3*l = -166. Suppose -b - 42 = -5*w. Solve -7*n + w = -2*n for n.
5
Let l = 12 + -10. Solve -l*k = -16 + 6 for k.
5
Let l be (36/20)/(15/50). Solve 3*s + 6 = -l for s.
-4
Suppose 0 = -0*m + 2*m - 32. Suppose -2*b + 3 = -k - m, -4*k = 3*b + 21. Let y = 1 - k. Solve -2*q + 0*q = -y for q.
5
Suppose 3*r + 15 = 0, -4 - 31 = -5*a + 3*r. Suppose -3*j + a*v + 8 = 0, 4*j - 2 = 2*v - v. Solve j = -b + 1 + 2 for b.
3
Suppose -t = 4*q - 12, -2*q - q = -4*t + 10. Solve w + q = 5 for w.
3
Let t(v) = -3*v**3 - 5*v**2 - 6*v - 4. Let n be t(-2). Let s(d) = 2*d**2 + 4*d - 4 + 0 + d - d**3. Let i be s(3). Solve -i*z = 2*z + n for z.
-3
Let i(b) = -9*b**2 + 25*b - 20. Let d(a) = -4*a**2 + 12*a - 10. Let s(r) = -7*d(r) + 3*i(r). Let x be s(8)