6 for t.
-5
Let t be (0 + (-6)/10)*-5. Solve t + 0 = x for x.
3
Suppose 0 = -4*x - 5*l + 60, -4*x + 76 = -x - 4*l. Suppose w = 4*v + x, 2*w + 3*v = -0*w - 4. Solve -w*m = -6*m for m.
0
Let h be 4/(-6)*27/(-2). Suppose -c - 14 = -5*k, 4*k + h*c - 4*c - 17 = 0. Solve -3 + 0 = k*n for n.
-1
Let r(y) = -2*y - 4. Let x(k) = k + 3. Let f(q) = -2*r(q) - 3*x(q). Let a be f(-3). Let c be (-3)/(-2 - 2/a). Solve j - c = -5 for j.
-3
Let z be 3/(-6) - 17/(-2). Let v be -2 + -7*(1 + -2). Suppose -7 = -4*u - v*p, -5*u + 3*p + 2*p + 20 = 0. Solve -u*d = -5*d + z for d.
4
Suppose 3*s + 3*c = -2*c + 37, 5*s + c - 25 = 0. Suppose s*h = -0*h. Let i(v) = -v**2 + 3*v + 42. Let l be i(-5). Solve 2*x + h*x = l for x.
1
Let f = 8 - 6. Solve 0*u + 10 = f*u for u.
5
Let p be (-24)/(-10) + (-16)/40. Suppose -p - 1 = -x. Suppose -4*c = x - 19. Solve 0*z - c = z for z.
-4
Let f(h) = h**2 + 16*h - 36. Let w be f(-18). Solve -20 = -4*i - w*i for i.
5
Let n(j) = -j**3 - 10*j**2 - 8*j + 7. Let o be n(-9). Suppose -3*d - 2 = -14. Let f be -10*(-2)/d + o. Solve 0 = -f*y + 8*y - 5 for y.
1
Let u(z) = -z**2 + 10*z + 4. Let q be u(10). Suppose -4*f + 10 = i, -4*f = -0*f - q*i. Suppose -2*k = -3*m - 3*k + 22, f*k = -4. Solve -4*o + 24 = m for o.
4
Suppose 4*q = -3*i + 18, 5*i - 5 = -4*q + 17. Suppose 0 = -2*y - y + 18. Let n be (-3 - 1) + q + y. Solve -n*g = -g for g.
0
Suppose 6*i - 2 = 5*i. Let x = 5 - i. Solve 0 = -2*o + x*o - 1 for o.
1
Let b = -23 + 27. Solve b*h + 10 = -h for h.
-2
Let s be 3 - ((-20)/(-4) + -4). Solve -s*t = t for t.
0
Let c = -10 + 15. Let i = 7 - c. Let w be i*(-1 + 0) - -2. Solve 2*h + 1 - 7 = w for h.
3
Suppose -12*s + 0*s + 180 = 0. Solve -17*n + s*n = 6 for n.
-3
Let w be (-3)/2*(-12)/9. Suppose 5*u = w*u + 15. Solve 3*l - u = 8*l for l.
-1
Let o(x) = -2*x - 5. Let f be o(-4). Suppose -3*i = -f*u - 18, -24 = -2*i - 3*i + 3*u. Solve m = -i*m for m.
0
Let i = 11 + -6. Let a be (6/(-21))/(1/(-7)). Suppose -r = -22 + a. Solve z - i*z = r for z.
-5
Suppose n + 4*d = 2 + 8, -4*n - 2*d = -12. Suppose -5*v - 20 = -0*w - 5*w, 0 = w - n*v - 6. Solve w*f + 3 = -1 for f.
-2
Let m(a) = -4*a**3 + 2*a**2 + 2*a + 1. Let n be m(-1). Suppose 0 = 5*x - 2*w - 177, 2*x + 4*w - 26 - 40 = 0. Let i = -23 + x. Solve -n*v + 2*v + i = 0 for v.
4
Suppose -4 = 4*i + 8. Let k = i - -5. Solve 10 = -k*t + 4 for t.
-3
Let w = 36 + -22. Suppose w = -3*d - 4*l, -l + 5 = 7*d - 2*d. Solve -s - d = s for s.
-1
Let f be (-6)/(1 - (4 + -1)). Suppose 2*u + 2*n = 0, -u + 0*u = -f*n. Solve 0 = -u*z + 2*z - 2 for z.
1
Suppose -n - 2*n + 4*i - 4 = 0, 3*i - 20 = -2*n. Solve s - n = -s for s.
2
Let o be (8/5)/(18/45). Suppose -4*y - 1 = o*m - y, -5*y = 15. Suppose -z + 4 = 3*z + m*r, 2*r = -3*z + 1. Solve -z - 1 = -l for l.
4
Let c(m) = 4*m**2 - 1 + 4 - 1 + m**3 - 6*m. Let i be c(-5). Solve -3*p + 5 = -i for p.
4
Let s = 108 + -105. Solve -s*f - 2*f - 5 = 0 for f.
-1
Let z be ((-16)/12)/((-4)/(-42)). Let q = -13 - z. Solve q + 4 = -5*k for k.
-1
Let u(d) = -3*d + 9. Let c be u(6). Let z(b) = -b - 8. Let m be z(c). Solve -w + m = -0 for w.
1
Let n be 7 + (-4)/6*-3. Solve 2*f = -f + n for f.
3
Let q(o) = o + 12. Let y be q(-10). Solve 0 = y*v + 1 + 5 for v.
-3
Let n be 20/15*3/2. Suppose -n*y - 2*y = -28. Solve -y = -5*r - 2 for r.
1
Let f(r) = -r**2 + 16*r - 26. Let v be f(14). Let p be (2/5)/(7/70). Solve p*t + 14 = v for t.
-3
Let l(k) = k - 9. Let u be l(9). Solve 5*m + 2 + 13 = u for m.
-3
Suppose -5*h + y + 1 = 0, -y - 3 = -h - 2. Solve 3*z + h*z = 3 for z.
1
Let a(c) be the third derivative of c**5/30 - c**4/12 + c**3/2 - c**2. Suppose 2*l - 1 = 5. Let w be a(l). Solve -7*y + 2*y = -w for y.
3
Suppose 8 = 2*a - p + 2, -a + 4*p - 11 = 0. Solve 0*d + d = -a for d.
-5
Let a = 96 - 94. Solve 4*n + 6 + a = 0 for n.
-2
Let b(i) = -i + 10. Let n be b(6). Suppose -8 = 2*j - 4. Let c be n/1*j/(-4). Solve 0 = c*k + 5 + 3 for k.
-4
Let q(s) = -9*s - 53. Let r be q(-8). Solve -3*b - r = -4 for b.
-5
Let s(o) = o**3 - o**2 - o + 1. Let y(j) = -5*j - 3. Let k be y(-2). Suppose k = 5*t - 3. Let d be s(t). Solve -d*p = 13 - 1 for p.
-4
Suppose -4*b - h - 3 = -5*b, -b - h = -5. Suppose 6 = 3*q - 9. Suppose -2*j = q - 13. Solve -j*f + 8 = -b for f.
3
Suppose -2*a - 2*a + 60 = -u, 3*a - 2*u = 50. Let l = a - 14. Solve l = -4*r - 1 - 3 for r.
-1
Suppose 2*f - 18 = -g, -4*g = f - 3*f - 2. Suppose -4*v = -w + 21, -2*w + 2*v + f + 5 = 0. Solve 2*n - 7 = w for n.
4
Suppose -134 + 138 = 2*s. Solve 8 = -s*r - 2*r for r.
-2
Suppose 0 = -q - 3*q + 44. Let y(k) = -2*k + 16. Let l be y(q). Let v(o) = -2*o + 8. Let j be v(l). Solve -5*w + 0*w = j for w.
-4
Let v(s) = s**2 + 7*s + 3. Let c be v(-7). Let y be 1*-4 + c + 11. Solve -u - y = u for u.
-5
Suppose 3*v - 11 = t, -3*v = -0*v + t - 13. Suppose v*b = 7*b - 12. Solve b*c = -0*c for c.
0
Suppose -5*c = -0*c - 55. Suppose a + 2 - c = 0. Suppose -o = -4*x + 3, -5*o + 32 = -x + a. Solve -7 = o*k - 32 for k.
5
Let s(c) = c**2 + 6*c + 9. Let w be s(-5). Solve -4*i - w + 0 = 0 for i.
-1
Let f(k) = -2*k - 1. Let y be 21/(-6) + 1/2. Let q = -1 + y. Let c be f(q). Solve -c = -3*x + 8 for x.
5
Suppose l = 2*h + 10, -4*l - 2*h + 1 = -9. Suppose l*n = q + 15, -q + 2*q - 5 = -n. Solve -5*c + c + n = 0 for c.
1
Suppose 0*k - 4*k + 8 = 0. Let d(u) = 0 + 3 - k*u - 7. Let i be d(-5). Solve -4*n - i = -26 for n.
5
Let l(c) = c**3 - 9*c**2 - 6*c - 12. Let o(z) = -z**2 - 1. Let x(s) = -l(s) + 3*o(s). Let p be x(7). Solve -p*h - h = 12 for h.
-4
Suppose -2*j - 3 = -11. Suppose 6*a - 3 = 4*a + y, -6 = -a + 2*y. Let k(i) = 7*i**2 + 3*i - 2. Let s be k(1). Solve a = -j*u - 4 - s for u.
-3
Let h = -7 + -2. Let g be 1*2*h/(-18). Solve w + 6 = g for w.
-5
Suppose -z - 5*v + 0*v - 21 = 0, -3*z - 3*v = 3. Suppose 0 = -3*b - g + 18, 0 = -2*g - g. Solve -z*q + b = -10 for q.
4
Let o(u) = u**2 + 5*u + 1. Let a be o(-4). Let q(s) = 2*s**2 + 2*s + 0*s**2 + 2*s**2 - 3 + s**3. Let i be q(a). Solve 3*w - w - 6 = i for w.
3
Suppose 2*n = 2*l + 3*l, 18 = -l + 4*n. Solve 0*b = -l*b + 10 for b.
5
Suppose -d - 10 + 14 = 0. Solve -d*t - 1 = 11 for t.
-3
Let q be 4/((-4)/(-9)) - 1. Suppose -m - q = -4*y + 2*m, 0 = 3*m - 12. Suppose 10 + y = 5*x. Solve 0 = 4*n + x + 5 for n.
-2
Suppose -5*k - 4*m + 102 = 0, 4*k = 2*m + 37 + 29. Let j(f) = -3*f - 2. Let p be j(-3). Solve -k = 5*c + p for c.
-5
Let i = 2 - 7. Let d = i - -10. Solve 2*n + 3 = -d for n.
-4
Suppose u - 3 = -3*s, 0 = 3*s + 2*u + 3*u + 9. Solve p - s - 2 = 0 for p.
4
Suppose 4*c = 3*d - 33, 2*c = 4*d - 8*d + 44. Solve -5*p = d - 1 for p.
-2
Let b = -17 + 19. Solve b*y - 4*y + 4 = 0 for y.
2
Suppose 0 = -5*v - 7*p + 3*p - 26, -4*p - 14 = -v. Let s be ((v - -2)*-1)/1. Suppose -j + 3*j = s. Solve j*u - 2 = u for u.
-2
Let i(l) = l - 6. Let j be i(0). Let x be (-3)/(4/(16/j)). Solve x*o = 7*o + 20 for o.
-4
Suppose 0 = 4*p - p. Solve 5 = -z - p for z.
-5
Suppose -c + 4*a + 0*a = -23, 0 = -a - 5. Suppose 2*k = -j + 5 + 17, 3*k = 4*j - 33. Solve j = c*g + g for g.
3
Let q(o) = o**3 - o**2 - 10. Let p be q(0). Let r = p + 14. Suppose r*h = -0*h. Solve h = -3*w + 2*w - 5 for w.
-5
Suppose 2*o + o + 87 = 0. Let c be 7/42 - o/6. Let x = c + -1. Solve -q = q + x for q.
-2
Let p = 8 - 16. Let o = -5 - p. Suppose 0*q - 6 = -o*q. Solve 0*r = -q*r + 2 for r.
1
Let i = 39 - 22. Suppose 3*k - i = 5*b + 9, -4*k + b + 12 = 0. Solve -4*j = -k*j + 6 for j.
-3
Suppose 5*v = g + g - 20, 5*v = -10. Suppose 0 = -3*p + 2*p - 5*w + g, 0 = 2*w - 4. Let u = p + 9. Solve -j - 6 = -u*j for j.
2
Suppose 12 - 4 = 4*t. Let m be (t - 1) + 0 + 1. Suppose 3*g + 2*f - 6 = 0, -g - m*f + 10 = -4*f. Solve -g*w + 2*w = 0 for w.
0
Suppose 0 = -5*u + 5, 4*s = 3*s + 4*u. Let i(n) = -n**2. Let l(y) = 9*y**2 + 3*y. Let r(w) = 6*i(w) + l(w). Let f be r(-2). Solve 5*c + f = -s for c.
-2
Let k = 4 + 0. Suppose 0*f = k*x + 3*f + 15, -3*f = 2*x + 15. Suppose x = -o - o. Solve o*q = -q - 5 for q.
-5
Let m be 5/((-3)/(0 - 3)). Let p(v) = 10*v**2 - 21*v + 16. Let i(f) = -7*f**2 + 14*f - 11. Let n(u) = m*p(u) + 7*i(u). Let a be n(7). Solve l + a*l = 16 for l.
4
Let r = -21 - -24. Solve -2 = 5*o + r for o.
-1
Suppose -4*v = -3*b + 40, 4*b - 2*v = 5*b. Suppose 0 = -2*r + 3*l - 3, 4 = -2*l + 2. Let i be (1/r)/((-4)/36). Solve -i*p = -p - b for p.
4
Suppose 15 = 14*k - 9*k. Let a(i) = 2*i**2 - 4*i + 4. Let o 