f, -3*u + 8 = s for u.
3
Let k be 2/(-6)*-3 + 3. Suppose 0 = 3*f - k - 8. Solve 20 = -f*j, -5*j = -2*n - 3*n + 5 for n.
-4
Let o be 1/(-4) + (-270)/(-24). Suppose 1 = -3*q + 7. Solve -3*g + 5*k = -10, q*g = 4*g + k - o for g.
5
Let g be 1 + 1 + 3 + -1. Let n = 134 - 117. Let u = -1 + 1. Solve -3*s = -u*s + g*o - 27, -s + n = 4*o for s.
5
Let x(s) = s**3 + 3*s**2 + 2*s - 3. Let i(j) = j**2 - 1. Let u(z) = -4*i(z) + x(z). Let g be u(3). Solve 0 = -d - 4*t - 24, 0 = -6*t + t - g for d.
-4
Suppose -27 - 5 = -2*q + 4*m, -4*m = 20. Let w be (-12)/(-4)*8/q. Solve 2*j - 8 = -2*u - u, w*u = 3*j - 12 for j.
4
Let d(i) = -84*i + 3. Let s be d(3). Let c be 8/20 + s/(-15). Solve 0*v + 2*v + c = -5*b, -2 = -4*v + 2*b for v.
-1
Suppose -6*g = -4*g. Let w be -3 - -5 - (g + 0). Solve w*x - 4 = -b, 1 = 3*b - 4*x + 9 for b.
0
Suppose -5*q + g - 14 = 0, 2*q - g = 3*q + 4. Let w(h) = -h**2 - 5*h - 3. Let y be w(q). Solve -6*p = y*v - 3*p, -2*v = p for v.
0
Let a be (-6)/21 + (-144)/(-14). Let i be ((-7)/2)/(3/6). Let l = i + 11. Solve l*v = -0*t + 5*t - 18, 4*t - a = v for v.
-2
Suppose -6*v + v - 35 = -5*m, 5*v = -2*m - 21. Solve 5*w - 5 = 5*c, 0*c - c = m*w - 11 for w.
4
Let h be -3 + -4 + 6 + 7. Solve 0*u + h = 3*u, 0 = -4*p - 3*u + 2 for p.
-1
Let s = 0 - 0. Let h(d) = 4 - 5 + 0*d**2 - d**2 + 3 + d. Let l be h(s). Solve w - 4*c = -l*c + 3, -15 = 4*w + c for w.
-3
Suppose 22 + 2 = 4*z. Solve 5*i = -z + 1, 5*c - 13 = 3*i for c.
2
Suppose 0 = f - 3 + 7. Let x be (f/5)/((-16)/40). Suppose 0 = x*d - 6*d + 100. Solve -4*q + 4*k = -5 + d, 2*q - k + 8 = 0 for q.
-3
Suppose 30 = -4*b + 78. Let x = b - 10. Solve x*r + 0*r + 16 = -3*z, 10 = -2*z - r for z.
-4
Let t = -5 - -10. Let s be (-6)/6 + -1*7. Let q = -4 - s. Solve -4 = q*w + 3*j - j, 5 = -t*w + 2*j for w.
-1
Let w(p) = -p - 6. Let k be w(-7). Suppose -2*u = 4*d - 4, 0 = -d - 2 + k. Solve 2*q + 2*n + 8 = u*q, 4*n = -4*q + 8 for q.
3
Let s = 44 + -44. Solve 5*h - 21 = 2*t - s*t, 4*t - 33 = -5*h for h.
5
Let g = 196 + -193. Suppose -3*i - 44 - 19 = 0. Let j = 35 + i. Solve -4*y - j = n, -g*y = -5*n + 22 - 0 for n.
2
Let u be (1 - -2)/(-3)*-2. Solve w = -3*i + 5, -w + u + 3 = 2*i for i.
0
Let z be (-3 - (-13 + 0))*10. Let q be 1/(-7) + z/14. Solve -3*s = 9, 2*k - 4*s + 13 = -q*s for k.
-2
Let j(o) = -2*o + 11. Let m be j(3). Solve -g = -4*y - 2*g + m, -2*y - g = -5 for y.
0
Suppose 10*b = 25 + 55. Solve -3*u + b*u - 17 = y, -3*y + 25 = 4*u for y.
3
Let h = -36 - -38. Solve h*i - 6*i + 15 = z, 4*z + 8 = i for z.
-1
Let y be ((-1)/(-3))/(5/75). Let r be 1 - (-1 + y)/(-2). Solve -n = 5*q - r*n - 12, q - n - 3 = 0 for q.
2
Suppose 2 = 3*q - 1. Let r be (-1 + q)/1 - 0. Let m = r - 0. Solve -3*k = 2*l - 25, -2*l = -m - 10 for k.
5
Let h be ((-12)/(-8))/(1/(-2)). Let m be (-56)/h + (-1)/(-3). Solve -b - 12 = 5*r, m + 2 = -4*r + 3*b for r.
-3
Let q(m) = -m**3 - 9*m**2 - 7*m - 1. Let x be q(-8). Let w = -7 - x. Solve -4*b - w*i = -22, -2 = b - 2*i + i for b.
3
Let w(u) = -u - 9. Let c be w(-12). Solve -1 = -x - c*t, t = 4*x - 4*t - 21 for x.
4
Let g(o) = 12*o**2 - 2*o + 3. Let c be g(1). Solve 0 = -4*q + 5*r - 3 + c, 3*q = 2*r + 11 for q.
5
Let l be ((-30)/45)/(1/(-6)). Solve s - 2*w = -0*w - 5, 0 = -l*s + w - 20 for s.
-5
Let y(v) = 4*v**2 - v. Let p be 6/(-4)*(-4)/(-6). Let n be y(p). Solve 0 = -4*j - n*m - 0*m + 26, -3*j - 4*m = -20 for j.
4
Suppose 0 = -l + 4*l - 42. Suppose 3*g - 1 + 10 = -5*z, -4*g + l = -2*z. Solve r = -3*h + 2, -2*h - g*r = -r for h.
2
Let x(k) = k**2 + 2*k + 0*k + 0*k. Let t be x(-3). Solve -7 = -4*v - 0*f - t*f, 2*v = 5*f - 3 for v.
1
Let k = -1 - -2. Let q be -2*(-3)/6 - (6 - 10). Solve -q*a = -i + k, 1 + 0 = i for a.
0
Let f(o) = -2*o**3 + o - 4. Let k(x) = x**3 - x + 1. Let g(u) = f(u) + 3*k(u). Let m be g(2). Solve 2*t - 5*t - 21 = m*i, 4*t = 2*i - 4 for i.
-4
Suppose -5*y - 5*j = 0, -2*y = -3*y + j + 8. Solve -d - 13 = -3*w - 1, y*w - 15 = d for w.
3
Suppose 2*k - 2 = -4*g, -3*k = -0*k + 4*g - 13. Solve -3*z - 3*t - k = 2*z, z + 5*t - 11 = 0 for z.
-4
Suppose -8*u = -3*u - 20. Solve 2*d + 4*a + 18 = 0, u*a + 0 = 4*d - 12 for d.
-1
Suppose 0 = 3*x - 37 + 31. Solve 0 = -3*h + x*j + 3, 0*h + 4*j = -2*h + 2 for h.
1
Let b be -5 - (-16 + 3) - -3. Solve -q = -5*c + b - 25, 0 = 5*q + 4*c - 12 for q.
4
Let o be 16/(-40) - (-84)/10. Suppose m - q = 4 - 2, 4*m - o = q. Solve n + 2*p = -3*n, -m*n + 8 = 3*p for n.
-2
Suppose 0*i + 2*i - 27 = -3*t, 2*t - 14 = -i. Suppose 2*b = 6*b - i. Suppose 2*g - d - 7 = 0, -b = -g - 2*g - d. Solve -g*x + 2*s = -1 - 3, 3*s = 3 for x.
3
Let t = 7 - 7. Suppose 2*a = 6 + 4. Suppose 0 = -4*p + 12, -w + 3*w = a*p - 5. Solve 5*v - w*n - 50 = t, 5*n - n + 30 = 2*v for v.
5
Let q = -7 - -14. Solve -s = -5*h + 4*s - 20, 4*h + q = s for h.
-1
Let z(r) = -3*r**3 + r**2 + r. Let p be z(-1). Suppose -3*w - 66 = 5*u, u - 5*w + 2 = -0. Let a be u/(-9)*(-6)/(-4). Solve 4*c = 4*l, c + p = -a for l.
-5
Let a be (32/(-36))/4*-9. Solve 3*s = 0, -4 = -3*x + a*x - 2*s for x.
4
Suppose -4*t = -3*z + 4, 2*z - 4*z = 2*t - 12. Solve -t = -q - c + 2, 0 = -5*q + 3*c + 12 for q.
3
Let m be (-20)/(-3) + 3/9. Solve m = d - 3*t, 0*d = 2*d + t - 7 for d.
4
Suppose -j + 31 = 26. Solve 0 = j*d - l + 6*l - 20, l - 19 = -4*d for d.
5
Suppose -3*o = -6*o + 9. Let n be (6 - 0) + o + -4. Suppose 13 = n*m + 4*c - 33, 0 = 4*m - c - 20. Solve 4*l - 2*u = -0*l + m, -u - 9 = -5*l for l.
2
Suppose 17 + 3 = 5*k. Solve -4*g - k = -2*q + 4, -5*q = -4*g - 20 for g.
0
Suppose 4*n = 6*n + 6. Let s = 13 + -18. Let w = n - s. Solve 4*d + w*i = -2*i - 20, -4*i = 16 for d.
-1
Let l(z) = z**2 - 2*z + 9. Let i be l(6). Suppose 5*y + 8 - i = 0. Solve -5*a = -2*c + 16 - 2, c + 8 = -y*a for a.
-2
Let i be (((-40)/6)/2)/(4/(-6)). Let u(r) = -r + 1. Let w be u(1). Let t be -1 + ((-16)/2)/(-2). Solve -5*v = -t*g + 5, -10 = i*v - 2*g - w for v.
-4
Let b be (-1 + 6/4)*(13 + -9). Solve -j - b*x = -7, j - 2*j = x - 3 for j.
-1
Let q = 21 - 17. Solve 0*h - 24 = -q*h - 2*m, h + 5 = 5*m for h.
5
Let a = 15 - 6. Let y be ((-1)/1)/(2/(-6)). Solve -3*d = -y*x + 12, -x + 3*d + 3 = -a for x.
0
Suppose -3*a = 5*y - 5 - 69, 0 = -4*y + 4. Suppose 0 = 3*h - 1 - a. Let s(u) = -u + 1. Let o be s(-3). Solve -3*w + 0*t = t + h, -3*w = o*t + 5 for w.
-3
Suppose -5 = -4*t + 7. Let s(m) = -4*m**2 + 19*m**t - 20*m**3 + 9*m**2 - 3 + 7*m. Let z be s(6). Solve 5*y - 2*a + 11 = 0, y + z*y + a + 14 = 0 for y.
-3
Let o(g) be the second derivative of g**3/3 - 13*g**2/2 - g. Let i be o(9). Let z = i + -5. Solve -n = -5*j + 13, -3*j + z*j + 18 = -4*n for n.
-3
Let j(g) = -g**3 + 4*g**2 + g - 2. Let q be j(4). Suppose q*k + 3 = 19. Solve -2*h = -k, -4*h + 7 = -4*u - 9 for u.
0
Suppose -v - 8 = -3, -5*v - 13 = -4*k. Let t = -5 - k. Let b = t + 9. Solve 3*w + 3 = w - z, b = -w + 5*z for w.
-2
Let d be 0/(3/((-3)/(-2))). Let l be d/(6/9*-3). Suppose 0 = -3*v + 2*f + 47, v = -0*v - f + 14. Solve 5*c + 15 = 0, l*c = -x + 5*c + v for x.
0
Suppose 4 = 3*t - 2*i, -i + 0*i - 1 = -t. Suppose 12 - 9 = -z + 2*v, -2*v - 3 = -3*z. Solve -4*j - 5 + 19 = -z*l, -4*l - t = -2*j for l.
2
Let g(s) = -s + 14. Let f be g(12). Suppose n - 3 - f = 0. Solve 3*d + 0*d - 6 = -u, n*d - 4*u = 27 for d.
3
Let f(x) = x**3 + 30*x**2 - 64*x + 16. Let t be f(-32). Solve 2*j = -6, 0*g + t = -2*g - 4*j for g.
-2
Let g(z) = z**3 - 8*z**2 + 5*z + 17. Let n be g(7). Solve n = -2*v - 3*y - 10, 0 = 3*v + 4*y + 18 for v.
-2
Let n(v) = -v**3 + 3*v**2 + 10*v. Let t be n(5). Solve -g = -5*a - 13, 4*g = 2*a - 2 - t for g.
-2
Let u = -44 + 48. Solve -z + c = -u*z, -5*z = 5*c for z.
0
Let m = -11 + 4. Let j(y) = y**3 + 6*y**2 - 7*y + 7. Let h be j(m). Solve 0 = o + 3*s + 16, -5*s - h = 4*o + 22 for o.
-1
Let a(n) = -6*n + 27. Let m be a(4). Solve -m*k + 3*l = 36 - 6, -3*k + 10 = 5*l for k.
-5
Suppose -5*f + 25 = -0*f. Let l(a) = 3*a - 3. Let s be l(f). Solve -2*i - s = 2*o, 4*o + 21 = -2*i + i for i.
-1
Let s(f) = -4*f - 1. Let j be s(2). Let r = -5 - j. Suppose 2*c + 7 + 7 = 3*k, 0 = 4*k - 5*c - 28. Solve -5*y + r = -3*z, -3*z - k = -2*y - 4 for z.
2
Suppose 18*m + 9 = 45. Solve 5*g + 5*u = 2*u + 14, m*g - 4*u + 10 = 0 for g.
1
Suppose 2*y + 0*h - 1 = h, 4*y + 3*h + 3 = 0. Suppose 5*c - 66 + 1 = y. Solve -4*p = -3*j + 31, 2*p + 3*j + c = 4*j for p.
-4
Let a(t) = 3*t**3 + t**2 - 1. Let d be a(-1). Let j = d -