pose 0 = 8*c - 3*c - 20. Let i be (-53)/(-11) + 6/33. Suppose 5*s = -i*q + 55, -2*s + q = -q - 10. Solve 0 = c*m - r - s, 4*m - 3*r = 2*r + 24 for m.
1
Let a(u) = 4*u**2 + 37*u - 26. Let h be a(-10). Solve -14 = -2*d + h*o, -5*d + 5*o + 4 = -26 for d.
5
Suppose 5*y = 8*y - 174. Suppose -3*q = -h - y, -3*q - 4*h = -0*h - 38. Suppose -6*t + q = 6. Solve -4*r + t*f - 1 = r, -3*r + 7 = -5*f for r.
-1
Let c(u) = -u**3 + 5*u**2 + 2*u - 8. Let r be c(5). Let b be (-1 - 0) + 4 - -1. Solve -3*n - r*z = -4, 2*z + 8 = -n + b*n for n.
2
Let d(f) = -2*f**2 - 20*f - 12. Let m be d(-9). Let x be ((-2)/m)/((-3)/45). Solve v - 14 = g + 2*g, -x*v + 3*g = -22 for v.
2
Suppose 0 = 3*g - 2 - 28. Suppose 6*m = 22 - g. Solve -3*s + 4 = 5*n, 9 = -0*s + m*s - 3*n for s.
3
Suppose 2*g = a - 8, -3*g + 6 = -2*a + 19. Let m be (-5)/a*(-48)/30. Solve 2*r - 4 = -2*n + m*r, n - 3*r - 6 = 0 for n.
0
Suppose 0 = -p + 801 - 800. Solve 2*g - u = -2 + p, 5 = -u for g.
-3
Suppose -5*a = 5*k - 10 - 15, -5*k = -3*a + 7. Suppose 0 = 9*q - a*q - 320. Let h be q/12*6 - -2. Solve 5*x + h - 12 = -2*c, -10 = -2*c + 3*x for c.
-1
Let q be -1 + ((-256)/(-4))/2. Suppose 9 = x - v, 3*x + v = -x + q. Solve s + x = 4*u + 2*s, 5*u - 10 = -2*s for u.
2
Suppose -4*c + 19 + 1 = 0. Solve -25 = c*w - 4*z, -w + 3*z = 9 + 7 for w.
-1
Let r(x) = 5*x + 144. Let k be r(-26). Solve 0 = 4*z + h + 21, -4*z + 5*h - 1 = k for z.
-5
Let k(p) = -8*p + 42. Let l be k(4). Solve 5*i + 3*o + 20 = 0, -3*o + l = -5*o for i.
-1
Let z = -10 + 2. Let l be (-2)/7 + (-165)/35. Let m = l - z. Solve 3*i = -m*x - 2*x + 3, x - 11 = 2*i for x.
3
Let m(j) = -j**2 - 21*j + 72. Let y be m(-24). Solve 5*r = 10, 2*t + 4*r + 0 + 2 = y for t.
-5
Let a be 44/10 - 5/(25/2). Suppose k - 3*r + 8*r + 18 = 0, -a*k + 33 = -r. Solve -k*x - n = -2*x + 5, -x = -2*n - 10 for x.
0
Suppose -4*t = -2*b + 6, -2*t + 6 = b + b. Suppose -4*g - 5 = -2*h + 3, t = g. Solve h*i - 4 + 0 = 3*n, 5 = n + 5*i for n.
0
Suppose -3*b - 3*v + 26 = v, 5*b - 3*v + 5 = 0. Solve c = g - 1 + 2, 0 = 2*c - b for g.
0
Suppose 0 = -14*l + 154 + 126. Let k be -2 - (-1)/(1/6). Solve -2*z + k*n = 14, 0*n = 5*z + n - l for z.
3
Let y(f) = 2*f + 15 + 3 - 5*f - f. Let g(n) = -n + 1. Let c(t) = -8*g(t) + y(t). Let z be c(3). Solve -2*b + 4*w = -26, -3*b + 7*b - z = 2*w for b.
3
Let l = 12 + -8. Let x(g) = g**2 - 4*g + 3. Let q be x(l). Solve -q*y = 2*n - 14, n = -3*y - 6 + 19 for n.
1
Suppose -2 = 4*o - 5*o. Suppose -o*g - 9 + 17 = 0. Solve 0 = 2*r + 2*r + 20, -g*r = 2*v + 10 for v.
5
Let a = -19 - -45. Suppose -h + 7 = n, -n = -4*h - 4*n + a. Solve 2*x + 16 = 4*v, 3*x + 22 = -0*v + h*v for v.
2
Suppose 3*s - 15 = 6*s. Let w = 22 + -12. Let i be 1/s - (-22)/w. Solve -9 = q + i*q + x, 9 = -3*q - 2*x for q.
-3
Let m = 33 + -13. Suppose -m = -5*v + v. Solve v*c + 4*y + 2 + 29 = 0, 4*y = c - 13 for c.
-3
Let j(x) = 3*x + 7. Let c be j(0). Suppose 0*q - 2*b + 4 = 2*q, -2*q - 10 = -5*b. Let t be q*(c + -4)/(-3). Solve g + o = -7, -4*g + 0*g - 3*o - 26 = t for g.
-5
Let q(g) = 8*g + 70. Let m be q(-8). Let f be 15/m*(-1 + (-204)/(-20)). Solve -i + 1 = -2*j - 0, -5*i + f = -j for i.
5
Let l(w) = -w**2 - 5*w. Let a(b) = b**3 - 4*b**2 - 2*b + 10. Let h be a(3). Let q be l(h). Solve -d - m + 6*m + 26 = q, -2*d = 2*m + 8 for d.
1
Let f(v) = -v**3 + 8*v**2 - 9*v + 31. Let d be f(7). Suppose d*q + 18 = 23*q. Solve 4 = -2*k + q*o - 4, -5*k + 5*o = 20 for k.
-4
Let w(o) = 3*o - 16. Let n = 23 + -16. Let d be w(n). Solve 0 = -4*m + z + 13, -4*m - 1 = -d*m - 2*z for m.
3
Let j be 0 - -9 - (-4 - -4). Suppose x = -x - 10, -11 = -3*o + x. Suppose 3*g + 2*m = 21, -5*g + 28 = o*m - m. Solve -j = s - 4*d - 1, g*s + d - 2 = 0 for s.
0
Suppose -u + 3 + 18 = 5*d, -2*d + 13 = 5*u. Suppose 2*b = d*g + b + 59, -6 = -2*b. Let z be 21/g + 13/2. Solve 3*a = -3*j, -z*j + 0*j + a - 18 = 0 for j.
-3
Let u(g) = 3*g**2 + 2*g - 2. Let m be u(1). Solve -5*w = f - 0*w + 8, 0 = -m*f + 4*w + 14 for f.
2
Let i = 1115 - 1112. Solve 8 + 8 = r + 5*t, 12 = -i*r + 5*t for r.
1
Let t = 258 + -256. Solve 1 = -2*w + 3*g, 14 = -5*w - 2*g + t for w.
-2
Let r(p) be the third derivative of -p**6/120 + 7*p**5/60 + 5*p**4/12 - 4*p**3/3 + 7*p**2. Let n be r(8). Solve 4 + 0 = x + y, 2*x - n = 5*y for x.
4
Let t(d) = 3*d**3 + d**2 + d - 1. Let r be t(1). Suppose -12*u + 36 = -0*u. Solve 0 = -r*a + u*n - 35, 4*n + 0*n = -a + 15 for a.
-5
Let w = 37 - 34. Suppose -g = s - 10, -w*s = -0*s - 4*g + 5. Solve l - 2*j + 14 = 0, 0 = l - s*j + 2 + 27 for l.
-4
Let y(a) = -a**2 - 6*a - 5. Let v(k) = -2*k**2 - 13*k - 10. Let m(n) = 3*v(n) - 5*y(n). Let s be m(-8). Solve 7 = 4*x + s*r + 2, 5*x - 5 = -4*r for x.
5
Let b be (-612)/714*(14/(-3) - 0). Solve -b = 3*f - 4*f + g, -f - 2*g + 4 = 0 for f.
4
Let t be 1/2*86 - 1. Suppose 2*s - t = 3*u + 2*u, 88 = 5*s - 4*u. Suppose 0 = -y + 2*y - s. Solve -2*b + 4*r = b - y, -2*b = -3*r - 12 for b.
0
Let a = 14 - 12. Solve 0 = -2*o + a*t + 12, 6 + 4 = -5*o - 5*t for o.
2
Let s = -60 - -59. Let o(b) = 18*b**2 + 2*b + 1. Let k be o(s). Solve 4*l = r + 6*l - 6, -2*r - 5*l + k = 0 for r.
-4
Let u(x) = -x**3 - 7*x**2 - 7*x + 1. Let p be u(-5). Let k be 493/119 + 2/p. Solve 3*q - 3*a = -k*a, 4*q - 2*a = 0 for q.
0
Let s(m) = m**3 - 11*m**2 + 13*m - 16. Let g be s(10). Let r = g - 10. Let d be (-9)/(-3) - (-1 - 0). Solve 4*f = d*p, 5*f - 1 = r*p + 3 for f.
4
Suppose 11 = 4*o - 3*k, 5*k + 27 = -2*o - 0*k. Let m be o/(-3) - (30/9 - 4). Solve 0 = 5*p - 2*r + m, 2*p - 3*r + 10 = r for p.
1
Let m = -121 - -127. Suppose 3*b + 0*b - m = 0. Solve 9 = -0*y - 3*y + b*j, 7 = y - 4*j for y.
-5
Let s = 53 - 53. Solve -o - 5*u - 6 = s, -2*u = -4*o - 0*u - 2 for o.
-1
Suppose 10*r + 210 = 52*r. Solve 5*y + 10 = -5*i, 6*y = r*y - 4*i - 17 for y.
3
Suppose -7 = -3*z - 13. Let n be 6/z + (4 - 1). Solve -t = 3*c - 10, -4*c + n*c + 28 = 5*t for t.
4
Let v be (2/4)/((-2)/(-8)). Suppose 0 = -3*y - 2*z + 8, z = 1 + 3. Suppose 0*o + o + 4*b - 15 = y, 0 = b - 2. Solve 12 = 4*u, -v*w - 13 = -o*w - u for w.
2
Let p be (4/(-3))/(372/63 - 6). Solve 5*o + 3*k + p - 36 = 0, o = 3*k + 8 for o.
5
Suppose 0*j + 3*j + w = 132, 0 = -w. Suppose 16 = 4*y - j. Let s = y + -10. Solve 2*o + 5*a = -14, 3*a - 4 = -s*o - 1 for o.
3
Suppose 12*n - 21 - 27 = 0. Solve -2*u + u + n*m + 11 = 0, m = 3*u - 11 for u.
3
Let s(t) = -t**3 - 4*t**2 + 7*t + 14. Let f be s(-5). Suppose 0 = -k - 7 + 6, f*k - 2 = -2*g. Solve 5*p + 2 + 5 = a, 4*a + 5*p = g for a.
2
Suppose 4 = 4*f - 28. Let u = f - 3. Let n be ((-102)/85)/((-6)/20). Solve 3*d - 14 = 2*v, -n*d + 7 - 19 = u*v for v.
-4
Let t = -420 + 420. Solve 5*g + 2*h + 33 - 5 = 0, 4*g - h + 12 = t for g.
-4
Let v(z) = z**2 + 13*z + 25. Let u be v(-11). Solve 2*x + 6 = -3*n, -5*x - 4 - 2 = u*n for x.
0
Let z(l) be the third derivative of l**6/120 - 11*l**5/30 - l**4/24 + 11*l**3/3 + 16*l**2. Let q be z(22). Solve -3*n - 3 = -q*p + 3*p, 5*p - n = -5 for p.
-1
Suppose 2*n = -0*c - 4*c, -10 = -3*n - 4*c. Suppose 8*l = 9*l - 2. Solve 2*m + y + 4 = 0, -6*m + m - n = l*y for m.
-2
Let k(y) = 2*y**2 - 8*y + 5. Suppose 2 = h - 2. Let p be k(h). Solve 5*w - 2*w - 20 = -l, p = 5*l - 4*w for l.
5
Let b(h) be the first derivative of 5*h - 2 + 1/3*h**3 - 2*h**2. Let a be b(4). Solve 2 = -2*x - 4*l, -4*x + 1 + 4 = a*l for x.
5
Let v(d) = 2*d**3 - 33*d**2 + 21*d + 4. Let m be v(16). Let z = -82 + m. Solve 3*c = -4*s + 25, 0 = 3*s - 5*c + z*c - 3 for s.
4
Let i(r) = 2*r - 7. Let x = 12 + 7. Let q = 25 - x. Let o be i(q). Solve -25 = -5*y + o*u, 4*y + 0*u = -3*u - 8 for y.
1
Let w be 462/110 + ((-44)/20 - -3). Let u(f) = 30*f - 1. Let n be u(1). Let c = n + 8. Solve -2*z - 2*z + w*k = -c, -3*z - 2*k = 1 for z.
3
Let a = 794 + -788. Solve a*j - q = 4*j - 6, q = -5*j - 29 for j.
-5
Suppose 4*i - 5 = 7, 10 = 2*k + 2*i. Solve -2*j = -5*x - 0*j, k*j = -10 for x.
-2
Let v(s) = -21*s**3 - s**2 - s - 1. Let f be v(-1). Solve 3*m - f + 1 = -r, 3*r = 3*m - 3 for m.
5
Suppose g - 700 = -27*g. Solve -9 = 3*z - 3*k + 6, 3*z - 5*k = -g for z.
0
Let a be -41 - -3*20/15. Let z = a + 40. Solve 3*s - z*f - 9 = -3, 4*f + 12 = 0 for s.
-1
Let z = 466 - 462. Solve 2*j + 24 = z*s + 3*j, -12 = -3*j for s.
5
Suppose -c - 6 = 2*f, 6*f - 2*f + 20 = 2*c. Solve 3*n + 7 = -2*m, c*n + 23 = -4*m + 5*n for m.
-5
Let w be -2 - (-2 - (2 - 0)). Let a = 53 - 36. Suppose -3 = -