= -3*c, c + s*c = 3. Solve o - u*b = 2*o + 18, 14 = 2*o - 2*b for o.
2
Let b(x) = x**2 - 9*x + 19. Let d be b(7). Solve 3*k = 2*k - 4, 0 = -5*o - d*k for o.
4
Let t be 0/(-3) + (-1 - -1). Let f = 1 + 1. Suppose 0 = -f*d - t*d. Solve 2*r + 5*p + 10 = 4, d = r + 5*p + 3 for r.
-3
Suppose 3*r + 2*r = 50. Suppose 0 = 4*j, 0 = 4*a + j - r - 6. Solve 2 - 14 = -a*l + 2*v, 0 = -4*l - 4*v + 12 for l.
3
Let h = 0 + -6. Let a(r) = -5*r + 1. Let j be a(4). Let p = h - j. Solve 3*k - 27 = -3*f + 6*f, -k = -2*f - p for k.
5
Let g(i) be the first derivative of -2*i**3/3 + i**2 + 2*i + 1. Let z be g(2). Let u be (z - (-2 + 2)) + 8. Solve 2*m = -3*y + u, 3*y + 2*y - 5*m = -15 for y.
0
Let c = -4 - -7. Suppose c*d = 64 - 13. Solve 3*a = 3*q + 2*q + d, -2*a + 6 = 2*q for a.
4
Let w(g) = -10*g - 4. Let k be w(-3). Let i = -18 + k. Suppose -4*p = -2*p - i. Solve -5*z + 3*m + 5 = 0, -p*z + 8 - 4 = 4*m for z.
1
Let z(j) = 11*j - 2. Let x be z(2). Suppose -5*v = y - 29, -5*y + 55 = 3*v + x. Solve -4*f + 4 = 3*o, y*o = 2*f + f + 22 for f.
-2
Suppose 4*u + 2*g = 14, 3*u - 11 = g - 2*g. Let h be 0 + 0 - (-11 - -1). Suppose 0 = u*r - 2*r - h. Solve -k = -r*b + 4, 5*b - 2 = -k + 4*k for k.
1
Let c be (54/45)/(6/15). Solve j + j - 2*v = 8, 14 = j - c*v for j.
-1
Suppose 3*s = 13 - 4. Suppose -3*u + s*y = -0*y + 9, -u + 17 = 3*y. Solve -m + 3 = d, -4 + 3 = -u*m + 3*d for m.
2
Let s(h) = -h**3 - 7*h**2 + 3*h + 24. Let u be s(-7). Solve 2*x = 4*l + 7*x, -37 = -5*l + u*x for l.
5
Let v = 18 + -8. Suppose -3*y = y + 2*c - v, 5*c = -5*y + 10. Solve -y*h - 5 = -5*p + p, -2*p + h + 3 = 0 for p.
2
Suppose -4*k + 14 = -3*z, 3*k - 19 - 2 = -3*z. Suppose -r + k - 1 = 0. Solve -5*d + 11 = r*y - 18, 3*y = 5*d - 22 for d.
5
Let i = -12 - -15. Solve -i*s = -4*r - 31, -2*s + 26 = -6*r + 2*r for s.
5
Let b be (-7)/((-28)/(-8)) - -18. Solve b + 1 = 4*p + j, -8 = 4*p - 4*j for p.
3
Let k(w) = 8*w + 85. Let z be k(-10). Solve x + 8 = z*y - 3, 0 = -3*y - 5*x + 1 for y.
2
Let o be ((-4)/(-12))/(9/162). Solve 5*r + 4*l + o = -6, 0 = 3*r + 3*l + 9 for r.
0
Let h(u) = 8*u - 2. Let t be h(1). Solve 24 = -5*c + o, -2*c - t - 10 = -2*o for c.
-4
Let k = 26 - 22. Let c(d) = 4*d - 1. Let l be c(1). Solve k*a + 3*g = -g - 12, -l*a = -3*g - 9 for a.
0
Suppose 3*q - 6*q = -12. Let j be 42/12 + 2/q. Solve 3*c + 5*x = -j, 2*x + 8 = 2*c - 0 for c.
2
Suppose 10 = b + 5*j, -5 = -2*b - j + 6. Suppose -1 = 2*l + 3, 4*g = -4*l. Let z = -90 + 94. Solve -5*t + z*h = -b, 5*t - 7 + g = -3*h for t.
1
Let w be -1 + (-2)/(-6)*3. Suppose 0 = 2*o + i - 14, 0 = o + o + 2*i - 16. Suppose -p = 19 - 34. Solve 5*u + w*u = p, -u = -3*q + o for q.
3
Let o(g) = -g + 15. Let h be o(7). Let t(b) = h + 3*b - 4*b + 0*b. Let k be t(-9). Solve -2*p - 4*a - a - k = 0, -2*p + a = -1 for p.
-1
Suppose 0 = 5*s - 5 - 10. Suppose -s*x = -0*x. Solve -4*t = -x*t, 4*y - 12 = -5*t for y.
3
Let r(m) = -m + 9. Let g be r(9). Let s(x) = x + 5. Let a be s(g). Solve q + a*d + 20 = 0, -2*q + q - 3*d - 14 = 0 for q.
-5
Let m be ((-6)/4)/(33/(-44)). Suppose m*s + 9 = 5*s. Solve 3*k + 2*r = -r + s, 3*k - 7 = -4*r for k.
-3
Suppose 5*k = 1 + 4. Let i be (k/2)/(5/50). Solve -b = 3*j + 2, -3*j + 4*j = i*b + 26 for b.
-5
Suppose -4*d + 4*m - 28 = 0, 4*m = -2*d + 3*m - 14. Let j(r) = -r**3 - 7*r**2 - 4*r + 4. Let q be j(d). Solve -5*f = -2*y - f - 6, -4*y = 3*f - q for y.
5
Suppose 0 = -z - z. Suppose 5 = k - z*k. Solve 4*l - 2*l = k*r - 3, 3*r = -3*l + 6 for l.
1
Let g(a) = -4*a + 62. Let r be g(15). Solve -4*x + 28 = -2*p, -3*p + r*x + 4 = 26 for p.
-4
Let f(r) = -r**3 + 5*r**2 - 5*r + 6. Let s be f(4). Let k = 4 + s. Suppose 0 = -2*n - p + 5*p + 16, 5*p = 3*n - 29. Solve n = 2*d - 3*h, d + k = h + 13 for d.
3
Suppose -z - 4*z = -20. Let v(f) = -f**2 + 9*f - 3. Let j be v(6). Solve r - j = -3*x + 3*r, -3*r + 20 = z*x for x.
5
Let b(k) = k - 1. Suppose 3*v + 36 = 7*v + 3*d, -5*d + 20 = 0. Let i be b(v). Solve -5*l = 2*f - 12, i*f + 5*l + 0*l = 15 for f.
1
Suppose 3*x - 2*g = 99, -4*x - x + 3*g = -166. Suppose x = 5*i + 10. Solve -11 = 2*a - 3*l, -l + i = 5*a - 2*l for a.
2
Suppose 0 = -12*u + 71 - 11. Solve 0 = -3*f - 4*q + 17, -4*f = q + u - 19 for f.
3
Let f be 11/4 - (-3)/12. Let y be (-5)/(-3)*f + -1. Suppose 0 = -y*v - 0*v + 76. Solve -3*s - 19 = -5*d, -4*s - v = 5*d - 52 for d.
5
Suppose -2*k + 2*q = -10, -k - k - 2*q = -14. Solve -4*s + k = -2*j, -2*j - 2*s = -5*s + 3 for j.
3
Let d(i) = -2*i**3 - 2*i**2 + 4*i + 5. Let r be d(-2). Solve 3*x = w - 10, -3*w = -2*x - 2*x - r for w.
-5
Suppose 3 - 2 = q. Solve -5*u + 3*g = g + 9, -u = g - q for u.
-1
Let i(l) = -l**2 + 3*l + 9. Let h be i(4). Solve -h - 5 = 2*b, -3*k + 4*b = -11 for k.
-3
Suppose 2*x = 4*x, -4*j = -4*x - 180. Let k = -32 + j. Solve 0 = -2*z + 4*w + 4, 2*z + w - k = -z for z.
4
Let l = 65 - 59. Solve -2*p - l = -4*p - 2*k, -p = 4*k - 15 for p.
-1
Suppose 0 = 2*s - 4*g - 0*g - 16, -4*s = -4*g - 44. Solve -5*d + s = -3*q, 3*d - 5 - 10 = 4*q for d.
1
Suppose -3*d = -v - v + 7, -5*v + 75 = 4*d. Let g = v - 7. Let x(w) = -w**3 - 10*w**2 - 10*w - 6. Let i be x(-9). Solve 2*r + 4 + 2 = g*z, -2*r + i = 5*z for r.
-1
Let z be (-16)/10*(-10)/4. Suppose -7 = -x + 3*d + 5, 5*d - 48 = -z*x. Suppose -x = -5*u + u. Solve -i = u*h - 17, -5*h + 5*i - 7 + 2 = 0 for h.
4
Suppose -4*b - 12 = -8*b. Let o = -18 - -25. Let l(r) = -r**2 + 7*r + 3. Let k be l(o). Solve f + 2*f = -3*q + b, k*q - 1 = -f for q.
0
Suppose -d - 2 + 4 = 0. Solve 5*b - 22 = j, d*j + 29 = 4*b + 9 for j.
-2
Let a = 7 + -1. Suppose -1 = -n + 2*h, 2*n + h = a*h + 1. Solve n*k = -4*o - 5, -2*k = -2*o - 3*k - 1 for o.
1
Let d be (-1)/(2/(-10 - 0)). Let o = 0 + 3. Suppose -5*s = -2*i - 9, o*s - 7*s + 15 = i. Solve 3*x + x = d*k + 6, -k = s*x - 14 for k.
2
Let g = -2 + 4. Suppose 0 = -g*t + 6 + 4. Let w(c) = -8*c - 6. Let l be w(-7). Solve s = t*z + 30, 5*z = 5*s - 0*s - l for z.
-5
Let u(q) = -q + 19. Let n be u(8). Solve -2*w = g + 4, -n = 2*g + 3*w - 5 for g.
0
Let p(j) = -j**3 + 4*j**2 - 3. Let b be p(3). Suppose b*m - m = -5*q, 4*q + 2 = -3*m. Solve -5*i - 9 = -x + m*x, -4*x = 16 for i.
-1
Let c(w) = 2*w + 2. Let v be c(-3). Let u be 2/(-4) - 22/v. Solve 2*m - 15 = -3*o, 3*o = 2*m + 2*o + u for m.
0
Let w = -1 + 16. Let q = 3 - 3. Let y be (-3)/(-2) - 4/(-8). Solve -y*s - 2*t - 3*t + w = 0, q = -s + 2*t + 3 for s.
5
Suppose -2*l + 15 = 3*l. Solve 7*j - 2*j - u = -1, -l*j + 4*u - 4 = 0 for j.
0
Let q be -3*17*(-1 + 0). Let o = q + -30. Let g be 2/(-9) + 47/9. Solve g*k + 2*b + 30 = 0, -2*k - o = 2*k + b for k.
-4
Suppose -3*d - 2*d + 50 = 0. Suppose 4*k + k = d. Solve -2 = k*h - 2*a, 4*h + a + 2*a = 10 for h.
1
Let p = 0 - -2. Suppose 3*r - 17 = -2*x, -p*x + 0*x = r - 27. Solve 4*c = m - 6*m + x, 2*m - 11 = 3*c for m.
4
Suppose n + 11 = 5*n - k, 5*n - 4*k = 22. Solve 0 = -t - a - 8, 20 = -5*t + a - n*a for t.
-3
Let n = -6 + 10. Let r be -13 - (2 - (3 + -2)). Let v = 36 + r. Solve 0*q = -5*q - 3*t + v, -2*q + n*t + 14 = 0 for q.
5
Suppose -5*o + 0*o = 4*v + 10, 4*v = -2*o - 4. Suppose v = -2*w + 3*q + 11, -2*w + 3*q = -4*w + 5. Solve -f + w*c = 2*f - 3, -f - c = -8 for f.
5
Let q be ((-2)/6)/1*-33. Let c be q - (1 + 2 - 2). Let h be 7 - (-5)/(c/(-4)). Solve 2*g = s + 6, h*g - 7*s - 15 = -3*s for g.
3
Let m = 167 + -164. Solve 3*p + 31 = 5*z, 3 = m*z - 12 for p.
-2
Suppose -c = -2*c - 1. Let w(f) = -f - 1. Let j be w(c). Suppose -l + 4*p + 68 = 2*l, j = -3*p - 6. Solve -2*y = 0, 2*b + 3*b = -y + l for b.
4
Let g(k) = 7*k + 3. Let v be g(3). Suppose -5*b - 4*d + 56 = 0, -4*d + 1 = -b - 7. Let l = 3 + b. Solve -7*j + 2*w - v = -3*j, -3*j - 2*w - l = 0 for j.
-5
Suppose -2*h = -4*p + 30, 3*h = -2*p + 5*p - 30. Solve -4*w - 3*b + 4 = b, -4*w = -p*b + 41 for w.
-4
Suppose 0 = 3*v + 2*v. Suppose 2*w + w - 6 = v. Let c be 1*(7 - 1) - w. Solve -4*j = -2*s + c, -3*j + s - 9 = -8*j for j.
1
Suppose 10*x - 15 = 5*x. Suppose -2 = -2*k - 2*l, 6*k - x*k - l - 15 = 0. Solve 3*y - k*y + 4*m = -9, 2*y + 4*m = -6 for y.
1
Suppose -5*u = 3 - 28. Suppose w + w - 10 = 0. Let j = w - 0. Solve 0 = o + u*p + 10, o + j*p = 3*o - 10 for o.
0
Suppose 5*r = 2*y + 31, 0 = 3*r - 0*r + 5*y. Solve 3*u = -r*h + 8, -u - 2 = 3*h - 6 for u.
1
Let h = 29 - 17. Solve -3*b + p - h = -p, b = 2*p - 4 for b.
-4
Suppose -4*m + 1 = -39. Let u be (-2 - -3)*(4 - 1). Suppose -3*b + u*