 Solve -4*t + 2*t = s for t.
-3
Let p = 2 + -5. Let h = p - -7. Solve -o - h*o = 20 for o.
-4
Suppose -4*d + 6 = -2*l - 2*d, -4*l - 2*d + 18 = 0. Solve -x - l*x - 3 = 0 for x.
-1
Suppose -3*r + 3*h - 15 = 0, -2*r + 0*h = -4*h + 18. Let c be 2/6 + 22/6. Let x = c + r. Solve 0 = -2*o - x*o - 25 for o.
-5
Suppose 0 = -4*s + 10*s. Suppose 2*z + 2*q + 2*q - 8 = s, 4*q - 8 = 2*z. Solve -2*n + 0 - 2 = z for n.
-1
Suppose 2*t + 30 = -4*r + 8, 3*r + 15 = 0. Let q = t + 1. Suppose 16 = 4*n - 2*i - 2*i, -5*i = 5. Solve n*b = -q*b - 15 for b.
-5
Let c(v) = -v**3 - 3*v**2 + 3*v. Let z(p) = p**3 - p**2 + p. Let g(a) = c(a) + 2*z(a). Let h be g(4). Solve -16 = 4*q + h for q.
-5
Suppose 8*g - 134 = 10. Solve 2 + g = 4*c for c.
5
Let o(h) = h + 9. Let r be o(-3). Let m(q) = -q + 10. Let d be m(r). Let a be ((-4)/8)/((-2)/4). Solve a = -5*x - d for x.
-1
Let w be (12/(-10))/(4/(-10)). Solve w*m = -2*m + 5 for m.
1
Suppose -4*v = -2*a + 38, 4*a - 3*v - 67 = -a. Solve a = 4*y - 5 for y.
4
Suppose 0 = -9*c + 5*c + 80. Solve 2*z - c = -2*z for z.
5
Suppose -96 = -11*q + 36. Solve -2*m - m + q = 0 for m.
4
Let z(w) = w**2 - w. Let c(n) = n**3 + 2*n**2 - 5*n - 2. Let b = -5 + 1. Let g(p) = b*z(p) + c(p). Let x be g(3). Solve -x*f = f + 5 for f.
-1
Let l be ((-6)/(-8))/((-6)/(-32)). Solve l*t + 8 = -8 for t.
-4
Suppose 5*z = -4*v - 686, 3*z - 3*v + 394 = -v. Let q be z/(-26) + 10/(-65). Suppose 5*m - 21 = -3*b, 0 = -2*m + b - 2*b + 8. Solve q*x = m + 17 for x.
4
Suppose -r + 3*r = 64. Solve -4*s - 12 + r = 0 for s.
5
Let m = 6 + 0. Solve -m = -j - 2 for j.
4
Let q = 169 + -162. Solve -5*x - q = 3 for x.
-2
Suppose -5*d = 2*a + 20, -d - d - 8 = 2*a. Let n(l) = -l**2 + 8*l - 8. Let p be n(6). Let i = 7 - p. Solve -i*r = -3 - a for r.
1
Let f = -19 + 24. Solve f*b = -0 - 5 for b.
-1
Let x(a) = a**2 + 7*a + 6. Let c be x(-5). Let k(m) = -5*m + 1 - 3*m**2 - 2*m**2 + 4*m**2 - 2. Let h be k(c). Solve h*v - 8 = v for v.
4
Suppose -3*h - 4 + 16 = 0. Suppose 2*c - 4*j = -14, -h*c - 4 = -5*j + 9. Solve 2 = r - c for r.
5
Let a be 0 - 3/(-9)*-6. Suppose 2*o - 6*o = -20. Let g = a + o. Solve 4*c + 3 = g*c for c.
-3
Suppose -2*g = -3*g + 4. Let q = 6 - g. Suppose w - 25 = -4*j, q*w - 1 = 1. Solve z + z - j = 0 for z.
3
Suppose y + 12 = 5*y. Solve 5*w + y = 2*w for w.
-1
Let c be -1 + (-1 - (-6 + -2)). Suppose -5*m + m = 4*b - 16, -c = -5*m + 2*b. Solve -2 = m*y - 4 for y.
1
Suppose -66 - 2 = 4*f. Let r = f + 21. Solve 0 = -r*c - 2 + 14 for c.
3
Suppose 4*g + 2 = -6. Let k be 1/g + 1/2. Let m(c) = c**3 - c + 10. Let j be m(k). Solve 3*y - j = -22 for y.
-4
Suppose -3*l + 0*k = k + 7, 5*l = -k - 11. Let r be 0*(l + 3 + -2). Suppose 4*s = -r*s + 4. Solve 0 - s = -b for b.
1
Let m(i) be the second derivative of -i**5/20 + 2*i**4/3 + i**3/3 - 9*i**2/2 - i. Let b be m(8). Suppose 4*y + 27 - 51 = 0. Solve -y = -4*j + b*j for j.
-2
Suppose 5*u - 33 = -4*d, -4*u + 15 + 3 = -d. Solve -16 = u*m + 9 for m.
-5
Let h(x) = -5*x + 81. Let v be h(16). Solve -z + v - 4 = 0 for z.
-3
Suppose -33 - 30 = -3*j. Let g = j + 19. Suppose 5*r = 3*h - g, -5*r - 1 - 54 = -4*h. Solve -4*n = -n + h for n.
-5
Let p(i) = i**3 + 3*i**2 + 2*i + 2. Let k be p(-2). Suppose -1 = b + 3*q + k, -2*b - 18 = 3*q. Let l be b/(-4) + (-3)/(-12). Solve -a + 3*a = l for a.
2
Let k(x) = x**2 - 7*x + 6. Let q be k(6). Solve -2*w - 8 = -q*w for w.
-4
Let h be 5 - -5*6/(-10). Solve 3*r + 1 = -h for r.
-1
Let a = 24 - 11. Suppose 0 = -6*d + 5*d + a. Let n(f) = -f**3 - 6*f**2 + 6*f - 4. Let u be n(-7). Solve -u*c = -1 + d for c.
-4
Let t(x) = x**2 + 6*x - 14. Let p be t(2). Solve -2 = -p*m - 0*m for m.
1
Let m(t) = -9*t - 55. Let o(x) = -14*x - 82. Let z(f) = -8*m(f) + 5*o(f). Let j be z(-13). Solve l = -0*l - j for l.
-4
Let x = 8 - 6. Let r be 14 + 1 + (x - 3). Suppose -r - 1 = -5*c. Solve -u + 6 = -c*u for u.
-3
Suppose -3*m - 4*y - 3 = -14, -y - 1 = 0. Suppose -2*s + 16 = 5*h + 2*s, -3*h + 10 = 2*s. Solve -17 = -h*k - m for k.
3
Suppose -118 = -4*t - 38. Let n = t - 8. Solve 2*b + n = -b for b.
-4
Suppose 2*y - 7 = -1. Suppose y*k + 8 - 47 = 0. Suppose -k = -5*g + 2*d + 2, 4*g + 11 = -3*d. Solve g = -3*n - 5 for n.
-2
Let z(u) be the second derivative of -u**3/3 - 7*u**2/2 + 3*u. Let r be z(-5). Solve 0 = -r*s + 1 - 4 for s.
-1
Suppose 0 = -2*b + 5*b. Suppose 0*q = 3*q - 9. Solve 2*m - q*m - 1 = b for m.
-1
Suppose 4*i - 5*g = -17 - 0, -4*g + 19 = -5*i. Suppose 40 - 12 = 4*k. Let y = k - i. Solve z + y = -4*z for z.
-2
Suppose 4*q - 4*y - 12 = -0*y, 5*y - 25 = 0. Let f be 0 - -2 - (4 - q). Suppose f = -4*v + 26. Solve 0 = -v*t + 4*t for t.
0
Let f(i) = -i**2 - 7*i - 6. Let u be f(-6). Solve 4 = 4*k - u for k.
1
Let v(w) = w**3 + 6*w**2 + 5*w + 4. Let m be v(-5). Let t = m + -1. Solve -z + 0*z + t = 0 for z.
3
Suppose -4*t + 120 = -t - 3*y, -4*t = 5*y - 205. Let i be (-43)/(-9) + 10/t. Let d = 8 - i. Solve 0 = d*b - 7 - 2 for b.
3
Let h(t) = -2*t - 5. Let f be h(-5). Let g(q) = -q**2 + 7*q - 5. Let v be g(f). Suppose 2*i - 6*o - 2 = -v*o, -4*o = -2*i + 8. Solve 5*p + 3 + 2 = i for p.
-1
Let s(q) = -2*q + 10. Let k be s(4). Solve -3 = k*g - 3*g for g.
3
Let x be (-38)/(-9) + (-8)/36. Suppose 2*w = -5*n - 13, 0 = x*w - w + n. Solve -1 = 2*l + w for l.
-1
Let v = -13 + 17. Solve v*u - 11 - 1 = 0 for u.
3
Let d(n) = n**3 + 5*n**2 + 3. Let v be (-2 - -1 - 2)/(-1). Suppose v*j = j - 10. Let z be d(j). Solve 0 = z*t + t - 20 for t.
5
Let r = 8 + -2. Suppose 0 = -3*c - c + 8. Solve c*u = r*u for u.
0
Let j = -4 - 5. Let l(z) = z**3 + 9*z**2 + z - 2. Let y be l(j). Let q = 16 + y. Solve -q*n = -2*n for n.
0
Let p be 2/8 - (-14)/8. Solve p*t - 2 - 6 = 0 for t.
4
Suppose -2*c = -5*c + 15. Suppose -c*o = -6*o + 5. Solve -o*v = -4*v + 2 for v.
-2
Suppose 4*z - 7 = 1. Let i(t) = -20*t - 177. Let v be i(-9). Solve -l + z*l = v for l.
3
Let p be (-4)/12*2*9. Let w be (-4)/2*9/p. Solve -w*k + 7 - 19 = 0 for k.
-4
Suppose 2*h - 24 = -0*h. Solve -i + h = 2*i for i.
4
Suppose 4*n - 19 = o, -2*n + 7 = o + 2. Solve 0 = -n*c - 5 + 1 for c.
-1
Let p be -5 - (-1 - 0)/1. Let s = p - -10. Let u = 49 - 24. Solve -s*i - u = -i for i.
-5
Let g be (10 + -4)*1/3. Solve o = g - 1 for o.
1
Let o(n) = -2*n**2 - 4*n. Let w(v) = v - 13. Let c be w(11). Let s be o(c). Solve s = -3*j + 2*j for j.
0
Let y be (-5)/(10/(-4))*-1. Suppose n - 2 = -13. Let a = y - n. Solve 2*f = -f - a for f.
-3
Suppose 0 = -4*r + 21 - 9. Solve 0 = r*v - 4*v + 5 for v.
5
Suppose -3*o + 20 = -p, -4*p - 24 = -5*o - 0. Suppose o*c = 5*c. Let z be (-3)/(-2) - (-1)/2. Solve -z*r + 2 = -c for r.
1
Suppose 3*a + 3 = -3*t, -2*t = -3*a - 1 - 2. Suppose t = -2*q + 2 - 0. Solve l - 1 = q for l.
2
Let t(b) = b**2 + 5*b - 3. Let r be t(-3). Let o be 3/((-2)/(48/r)). Solve -5*g - o = 2 for g.
-2
Let r(b) = 2 + 2 + b**3 + 8*b**2 - 7*b - 2*b**3. Let d be r(7). Let n be 3/6 + 6/d. Solve -n*w = -5*w - 12 for w.
-4
Suppose 3*l + l + 3*x = -9, 2*l - 9 = 3*x. Solve 9 = -l*h + 3*h for h.
3
Let s(w) = -w**3 + 7*w**2 + 9*w - 7. Let r = 7 - -1. Let j be s(r). Solve j + 1 = z for z.
2
Suppose -2*w - v - 1 = 0, -v + 0*v - 15 = -5*w. Solve 5 = -c + w for c.
-3
Let i = 7 + 1. Suppose 5*d - 66 = -2*p, 3*p + 15 = 3*d - d. Solve 5*m = -d - i for m.
-4
Suppose 2*g - 55 = -25. Solve -10 = 5*j + g for j.
-5
Let p(w) = 2*w**2 - 3*w + 6. Let t be p(4). Suppose 3*u - 4*n - 2 = t, -3*u = -n - 16. Solve -u*g + 3*g + 4 = 0 for g.
4
Suppose 5*r = 7*r - 4. Solve 0 = r*i + 2*i + 16 for i.
-4
Let v(l) = -l + 17. Let x be v(13). Solve x*f = -f + 20 for f.
4
Suppose 2*q - 7*q - 4*l + 16 = 0, -1 = l. Solve -4 = -q*w + 2*w for w.
2
Suppose 2*r + i - 3 = 0, 3*i - 9 = 3*r + r. Suppose r = -v - 1, 0*v = 3*t - 2*v - 2. Solve t = -5*o + 12 - 32 for o.
-4
Let s = 0 - -5. Suppose -f - v = -s - 1, 2*v - 24 = -5*f. Let x = f + -2. Solve 3 - 5 = -x*a for a.
1
Let h be 123/15 - 1/5. Let c be (h/(-10))/(3/(-15)). Solve c*p = 2*p + 10 for p.
5
Suppose -1 = 4*a - n, 5*a - 4*n + 1 = -3*n. Suppose a*k - 16 = -4*k. Solve 4*j - 4 = k for j.
2
Suppose 4*d = -s + 24, 0 = 4*d - 3*s + 1 - 9. Suppose d*l = l. Suppose l = -3*v - 2 + 8. Solve j - v = -j for j.
1
Let n(f) be the second derivative of 1/3*f**3 - 4*f**2 - 3*f + 0. Let g be n(6). Solve -5*z - 2 = -g*z for z.
-2
Let q be (-13)/(-26) - 5/(-2). Solve 3*i - 12 = -q for i.
3
Suppose -3*z = -0*z + 12. L