*s - c + 18, 5*s + 2*c = 16. Suppose 0 = -0*z - 5*z. Solve y = -z*y + s for y.
4
Let q = -5 - -7. Suppose -8 = -5*t + 4*h, -t - h = q*t - 15. Suppose t*y + 3*f = -f + 40, -5 = -f. Solve -3*o - 2 = -y for o.
1
Let t = 64 - 52. Solve -4*l = -l + t for l.
-4
Let i be (-2)/(3*(-6)/27). Suppose -i*u + 19 = -2. Suppose 0 = -u*b + 3*b + 16. Solve -b*d + 21 = 1 for d.
5
Let u = 4 - 1. Suppose u + 1 = n. Suppose 3*o - 12 - 9 = 0. Solve -o*g + 3*g = -n for g.
1
Suppose t = -4*x - 2*t + 23, 0 = -5*x - 3*t + 25. Solve 0*f = -x*f + 2 for f.
1
Let m = 6 - 3. Suppose -h - 32 = -2*x + m*h, 32 = 2*x + 3*h. Solve 4 - x = -3*s for s.
4
Suppose x - 5*x = -8. Let m = x + -6. Let p be 1/(-3)*(m + -2). Solve -2*o = p + 4 for o.
-3
Let t be (1 - (1 + -1))/1. Let q be (0/(2/(-1)))/t. Solve -8 = -q*s - 2*s for s.
4
Suppose 37 + 5 = -4*g + 5*q, -4*g + q - 34 = 0. Let y be g/6*(-18)/(-4). Let c = y - -8. Solve -c*w = -4 - 6 for w.
5
Suppose 2*s - 30 = -3*s. Let g(a) be the first derivative of a**4/4 - 7*a**3/3 + 7*a**2/2 - 4*a - 1. Let f be g(s). Solve y + f = -0 for y.
-2
Suppose 0 = -0*h - 3*h. Let f be 1 + (3 - 4 - -5). Let w = f + h. Solve 0*r = w*r + 5 for r.
-1
Suppose 4*s = 3*m - s - 39, 3*m - s - 27 = 0. Suppose m*f - 3*f = -15. Let r be 92/6 + f/9. Solve -5*j = -0 - r for j.
3
Let v(k) = -k + 5. Let o be v(4). Suppose o = g - 5. Solve -3*t = g - 0 for t.
-2
Let o be (2 - 17)/5 + 19. Solve -3*n - 4 = -o for n.
4
Let v = 75 - 73. Solve 7*i - v = 5*i for i.
1
Let q(h) = -h**3 - 4*h**2 + 12*h + 6. Let r be q(-6). Solve 0 = -3*c + r + 6 for c.
4
Let m(q) = 1. Let o(c) = c + 9. Let h(r) = 3*m(r) - o(r). Suppose 0 = 3*i - 5*a + 4 + 38, -5*a = -i - 24. Let u be h(i). Solve 0 = 2*x + 1 + u for x.
-2
Let h be 4/(-2) - (-3 + 0). Let w be (-1)/(-2 + h)*5. Solve 4*q - w = -13 for q.
-2
Let o be 1/(0 - 1/15). Let u be ((-6)/o)/(1/5). Suppose -3*y + 0*k = -u*k - 5, 2*y = 3*k + 5. Solve -7 = -4*x + y for x.
2
Let r(q) be the third derivative of q**4/8 + q**3/3 - 5*q**2. Let g be r(1). Solve 0*b - b + g = 0 for b.
5
Suppose 0 = -m - 26 + 29. Let h be (-50)/(-3) + (-2)/3. Solve h = -m*k - k for k.
-4
Let j = -1 - -1. Let g = 4 + -9. Let a be g/(1*(-3)/15). Solve j = w + 4*w - a for w.
5
Let x(b) = b**2 - 2*b + 2. Let v be x(0). Solve q - v*q = -2 for q.
2
Let m = 3 + -1. Let j = m + 4. Let w(t) = t - 3. Let a be w(j). Solve -a = -n + 1 for n.
4
Let k(x) = -x**3 - x**2 + x + 2. Let b be k(-2). Solve b*t = -16 - 0 for t.
-4
Let p(k) = -k - 5. Let l be p(-9). Suppose m - 4*m = -5*q + 20, -40 = -5*q - m. Solve 5*c + l = q*c for c.
2
Suppose -4*m + m = -45. Solve 0 = -q + 6*q + m for q.
-3
Let m be 0/((-6)/((-9)/(-3))). Suppose -3*c = -m*c - 3. Solve -3*o = -c - 2 for o.
1
Let q = 3 + -2. Let r = 1 - q. Suppose h - 12 = -5*h. Solve 0*z + z - h = r for z.
2
Let d(s) = 3*s**2 + s + 1. Let j be d(-1). Suppose 0 = 5*x - 3*y + j, y = 4*x - 2*y + 3. Solve -4*r + 5*r - 4 = x for r.
4
Let z = 5 - 5. Suppose -g - 5*v + 30 = 0, 2*v = -z*g - 3*g + 25. Solve -t + g + 0 = 0 for t.
5
Suppose 3*q + 5 + 22 = 5*v, 2*q = -4*v + 4. Solve -v*h - 7 = -1 for h.
-2
Let n be (-122)/(-8) - (-3)/(-12). Let t = 18 - n. Solve 0 = t*s - s for s.
0
Suppose 5*w + 9 = 4*p, p + 3*p + 2*w = 2. Let k be (-48)/(-9) + p/(-3). Let m = -1 + k. Solve m + 1 = h for h.
5
Let x(q) = q**3 + 0*q**3 - 1 - 3*q - q + 3*q**2. Let v be x(-3). Suppose v = 2*n - t, 3*n - t + 3*t - 6 = 0. Solve 3*w = -w + n for w.
1
Suppose 4*x = -x + 3*l - 2, -3*l + 4 = -4*x. Solve -4 = 2*y + x for y.
-3
Suppose -4*l + 40 = l. Solve -4*v = -4 - l for v.
3
Let l(o) = -o**3 + 6*o**2 - 4*o - 2. Let a be l(5). Solve -a*q + 7*q + 16 = 0 for q.
-4
Let j be -1 + (3 + -1 - 6/(-2)). Solve j*f = -16 - 0 for f.
-4
Let a(g) = g + 7. Let l(c) = -4*c + 1. Let b be l(2). Let t be a(b). Solve t = 3*k + k for k.
0
Suppose 167*w = 166*w + 2. Solve t - 3 + w = 0 for t.
1
Let x = -3 + 6. Let b(n) = -n + 6. Let u be b(5). Let d = -4 + 8. Solve -x*o + d = u for o.
1
Let m be (-14)/49 - 60/(-14). Solve m*c = 6 + 2 for c.
2
Let k = -36 - -51. Suppose x + x = -s - k, 3*s + 35 = -4*x. Let u be (-8)/(x - 9/(-3)). Solve 3 = u*w + 7 for w.
-1
Suppose -2*v = 4*u - 20, -4*v + 10 + 6 = 0. Suppose -t + 7 = -3. Let b be 0 - 1/((-2)/8). Solve u*l + t = b for l.
-2
Let i(w) = w**2 - 20*w + 38. Let c be i(18). Solve c*z - 20 = 6*z for z.
-5
Let i(s) = -3*s - 3. Suppose -2*z - 3*o - 19 = 0, -4*z - 4*o - 27 = -z. Let r be i(z). Let w = 2 - 2. Solve w = -2*t + 6*t - r for t.
3
Suppose -j + 8 = -0. Suppose -4*k - j = -3*y + y, -3*y + 21 = -3*k. Solve 4*z = 2*z + y for z.
5
Suppose 6*u - 69 = 3*u. Let y = 17 + u. Suppose y = 6*z - z. Solve 4*c - 6*c - z = 0 for c.
-4
Let k(z) = z + 10 - 7 + 7. Let c be k(-5). Solve c*t - 2*t = 0 for t.
0
Let w(m) = -m**2 + 9*m + 5. Let h be w(9). Let t = -8 + h. Let p = t - -3. Solve p = 2*c - c + 4 for c.
-4
Let u = 82 - 80. Suppose 5*q = 2*r - 30, -r + 2*q + 3*q + 25 = 0. Let x be 5 + (1 - 0) + 0. Solve -r*h + u*h = -x for h.
2
Suppose q - 4*q = -4*h + 9, 3*h - 2*q - 6 = 0. Let g(c) = -c**2 + 7*c - 4. Let b be g(5). Solve -5*o + b*o = h for o.
0
Let s = 130 - 121. Solve 5*a - s = 16 for a.
5
Let o be -2*2/(8/6). Let j be (-3)/(24/10 + o). Suppose 2*p - 16 = 10. Solve -2*y = j - p for y.
4
Suppose 0*r + 5 = r. Solve 0 = r*q - 7 + 2 for q.
1
Let z be (2/5)/((-2)/(-50)). Suppose 15 + z = 5*c. Let f = c - 2. Solve 6*b - f*b = 0 for b.
0
Suppose -4*u - h - 2*h = -150, -2*u - 3*h = -78. Suppose -3*r - 1 = 5*p, 0*r = 2*r - 4*p - u. Solve 2*i = -2*i - r for i.
-2
Let n be (-120)/(-21) + (-4)/(-14). Suppose 0 = -a + n*a + l - 113, 0 = 5*a - l - 117. Solve a = -4*u + 7 for u.
-4
Suppose 20 = 6*q - q. Solve p + 3*p - q = 0 for p.
1
Suppose b = -2*a + 46, 11 - 126 = -5*a + b. Suppose -q = z + 3*q - 11, -5*z - 4*q = -a. Solve z + 5 = 2*u for u.
4
Suppose 2*c - 12 + 2 = 0. Let s = 9 - c. Suppose -4*z = -9*z + 5, 0 = -4*a + 4*z + s. Solve a + 2 = -4*y for y.
-1
Let v be -1 - -2 - 21/(-7). Let a = v + -1. Solve 13 = a*m + 1 for m.
4
Suppose k + 9 = 2*k. Let r = k + -6. Suppose 0 = -5*g + 2*b + 52, 0*g + 48 = r*g + 3*b. Solve j + g = 5*j for j.
3
Let b be 0*((-3)/(-1) - 2). Solve -4*h - 4 = -b*h for h.
-1
Let d be -2 + 4 + (3 - (0 - 0)). Solve 0 = -t + d for t.
5
Let f = -87 - -89. Solve f*u = 1 - 7 for u.
-3
Suppose -5 = -s - 0*s, 4*r - 3*s = -11. Suppose v - n = 3, -4*n + r = 4*v - 19. Suppose -40 = -2*o - 2*x, -x + 95 = 3*o - 5*x. Solve 9*l = v*l + o for l.
5
Suppose -5*n - 34 = -44. Solve -12 = -n*f - 4*f for f.
2
Suppose -17 = -5*k - 2. Suppose k*c - 7 = 5. Solve c*m + 9 = m for m.
-3
Let j be 7/((-14)/4) + 1 - -1. Solve 2 = 2*k - j*k for k.
1
Suppose 5*a + 5*u = 15, -5*a - u + 12 = u. Solve 6*s - 16 = a*s for s.
4
Let t(j) = j**3 + 7*j**2 + 6*j + 3. Let d be t(-6). Let q(l) = l**3 - 3*l**2 + l + 1. Let p be q(d). Solve -2*b = p - 0 for b.
-2
Suppose -3*v + 2*v + 7 = 0. Let u = 8 - v. Solve 2*j = 9 - u for j.
4
Let x = -24 + 28. Suppose 0 = -3*v + x*v - 4. Solve 7 = -i + v for i.
-3
Let k(w) = w**3 - 11*w**2 - 12*w + 3. Let n be k(12). Solve -f = -n*f - 6 for f.
-3
Suppose -9*m = -13*m. Suppose m = j - q + 4*q - 5, q = 3*j - 15. Solve -j*n - 10 - 5 = 0 for n.
-3
Suppose -5*w + 40 = -35. Solve w + 0 = 3*d for d.
5
Let v(w) = w + 19. Let s be v(-17). Solve s*c - 7 = 3 for c.
5
Let w be 32/6 + 1/(-3). Suppose p = 3*f + 11, -2*f + 5*f = w*p - 31. Suppose b - 2*b = -3*z + p, -3*b + 18 = 2*z. Solve 0 = r - 0*r - z for r.
3
Let j = 11 + -8. Let z be (3 - j) + 4/1. Solve z*s + 0*s = 20 for s.
5
Let r = 13 - 6. Let q be 10/4*(-40)/(-50). Solve r*i + 25 = q*i for i.
-5
Let g(j) = -j**3 - j + 6. Let z be g(0). Let y = z + -4. Suppose 5*d - 3*h - 50 = 0, -4*d - d - 3*h + 50 = 0. Solve y*m + d = -0 for m.
-5
Let u = -17 + 3. Let t = u + -6. Let b be ((-4)/8)/(1/t). Solve 0 = -k - k - b for k.
-5
Suppose -d + 20 = 3*d. Solve -d*h - 11 - 4 = 0 for h.
-3
Let y(v) = -v**2 - v + 1. Let m(q) = -3*q**2 - 3*q + 4. Let t(z) = m(z) - 6*y(z). Let h be t(2). Solve 4*w + h + 0 = 0 for w.
-4
Let i = 6 + -3. Suppose 29 = g + 5*k, k + 2*k = 3*g + i. Suppose 3*q = q - 2*y + 10, q = g*y - 15. Solve f - q = 2 for f.
3
Let m = 6 + -3. Let a = -18 - -23. Let k = a - m. Solve -2*t + 16 = k*t for t.
4
Let m be 4/3 - (-12)/18. Let z = 4 - m. Solve -z*t - 9 = -1 for t.
-4
Suppose 1 - 16 = 3*y. Let l = 