- z = -a, -5*y = 2*z - 17 for y.
3
Let j(g) = 5*g**3 + 10*g - 9. Let t(b) = b**3 + b - 1. Let a(h) = -j(h) + 6*t(h). Let f be a(2). Solve -3*k = f, 0*n = 2*n - 4*k + 6 for n.
-5
Let p = 5 - 2. Solve 0 = 2*k + p*k + a - 8, 17 = 2*k + 5*a for k.
1
Let p = 223 + -219. Solve o + p*o - 3*t + 4 = 0, 4*o = -4*t + 16 for o.
1
Suppose 20 = -0*w - 5*w. Let q be w/(-8) + (-1)/2. Suppose q = -4*r - 0*r + 16. Solve -2*n - 2*n + r = 4*x, -2*n + 3*x = -7 for n.
2
Let h = 1 + 4. Suppose 2*j - 5*j - 37 = -h*m, 25 = m - 5*j. Solve n - 2*s - 3*s - m = 0, -5*n - 5*s + 25 = 0 for n.
5
Suppose 0 = r - 3. Suppose 0*w = r*w - 9. Let b be 2 + (-3)/w*-8. Solve -2*g + q + 2*q - b = 0, g = q - 5 for g.
-5
Suppose 0 = n - 7*n - 5*n. Solve -4 - 9 = -c + 3*o, -2*o - 10 = n for c.
-2
Let r be (-2)/(-4)*(2 - -4). Suppose 9 = 3*h - r. Suppose -21 = -3*w + 3*x, -3*w + x - 6*x = 11. Solve -4*u = w*d + 6, -h*d + 0*u + 14 = -2*u for d.
2
Suppose 0*h - 5*u = h + 11, 0 = -3*h - 4*u. Suppose -5*t + b - 17 = -61, -3*t = h*b - 8. Let z = -5 + t. Solve -5*r - 20 = 0, z*q + 6*r - 2*r = -7 for q.
3
Let g(f) = -f**3 - 3*f**2 + 1. Let x be g(-3). Suppose 0 = -4*p + x + 7. Solve -25 = -p*d - 3*d + 4*v, 0 = -d - 3*v - 14 for d.
1
Let x = -2 - 1. Let m = 7 + x. Solve -5*y - 2*g = -3*g - 13, 5*y + m*g = -2 for y.
2
Let c(s) = -s**2 + 0 - 9 - 10*s - s. Let w be c(-10). Solve -u + 3*m = -18, -m + w - 15 = -3*u for u.
3
Let h(n) = -n**3 - 2*n**2 - 2*n. Let m be h(-2). Suppose -2 = -m*q + 6. Let t = -8 + 15. Solve -7*y + 3*y = q*w - 8, -3*w = y - t for y.
1
Let p(d) = d**2 - 4*d + 3. Let j be p(3). Solve 4*o + 5*x - 14 - 10 = 0, 2*o - 3*x + 10 = j for o.
1
Let h(o) = 2*o - 6. Let r be h(7). Suppose 3*i - r*i = -25. Solve -i*s = -d - 18, 4*s - s = d + 12 for d.
-3
Let c be (-84)/(-30) - (-1)/5. Solve t - 3 = -4*s, -c*s = 2*s + 2*t - 3 for s.
1
Let q(x) = x**3 + 3*x**2. Let c be q(-2). Let w be 9/c - (-2)/(-8). Let b be (2 + -2)/(2 + 1). Solve 4*m = -s + 23, -w*s + b*s = -5*m + 19 for s.
3
Let i(g) = -4*g**2 - g + 1. Let d be i(1). Let v be ((-3)/6)/(1/d). Solve -v*j + 2*w - 10 = 0, -j - j - 10 = w for j.
-5
Let w = -7 - -7. Suppose w = -3*q + 5*q + 6. Let u = 5 + q. Solve 0 = -2*b + 3*g + u, b - 2*b = -g for b.
-2
Suppose u + 12 = 4*u. Suppose 0 = -u*x + 8 - 0. Let c be ((-18)/7)/(2/(-14)). Solve -3*p - c = 3*r, 1 = p - x*p for r.
-5
Suppose z - 5*z - 12 = 0. Let c = 14 - z. Solve -2*u = -4*m - 1 - 11, -4*u + m = -c for u.
4
Let c(r) = -2*r - 9. Let p be c(-6). Let o(f) = 0*f**3 - f**p - f + 0*f**3 + 4. Let w be o(0). Solve 0 = -0*t - 3*t - w*y - 7, 4*t = -y - 5 for t.
-1
Let p = 0 + 7. Let j = -4 - -7. Suppose -9 = -j*o - 0. Solve -3*g - 4*a + 13 = 0, 5*g = -6*a + o*a + p for g.
-1
Suppose 0 = v + 1 - 3. Let i(k) = k**3 + k**2 - k + 2. Let l be i(0). Let j be l - v - (-52)/2. Solve 5*r = -m + 10, -r - r = -4*m - j for r.
3
Suppose 0 = 3*b - 20 + 14. Let l(u) = 6 - 3 - 1 + 5*u. Let x be l(b). Solve 2*s - 2 - x = 3*a, -4*a = 2*s for a.
-2
Let g be 0 + (7 - 12/4). Let i = 6 - g. Solve -2*r - 2*r - 2*b - 20 = 0, -i*r - 4 = -2*b for r.
-4
Let l = 57 - 53. Solve -4*c = 8, -2*p - p = l*c + 17 for p.
-3
Let n be (-154)/42 - (-4)/6. Let b be -1*12/(9/n). Solve 4*w - b = -3*k, -2*w + 5 = -4*k + 3 for k.
0
Suppose 4*w = -16, -11 = -5*l + 5*w + 29. Solve -y + 13 = -3*y + 5*d, -y = -l*d + 11 for y.
1
Let p = 8 + 12. Let o = p + -14. Solve -5*y + o*b - 3*b = -5, 3*y = -3*b + 3 for y.
1
Let d = 3 - -1. Suppose -2*l + 2 = -w, 4*l - 4*w = 5 - 1. Let q be 2 - l - (0 - 0). Solve -b = x + 1, b + 0*x = d*x - q for b.
-1
Let j = 1 - -3. Let r be (3 - (1 + 0)) + 0. Suppose a + j = r*a. Solve 3*s + 5 + a = 4*b, 6 = 4*b - 2*s for b.
0
Let o be (-23)/(-7) - 22/77. Suppose -4*y = -4*p + 3*p, o*y = p. Solve -2*l = b - 3, -b = -p*b + 3 for l.
3
Suppose 2*q = -2*d + 10, 3*q - 3 = -2*d + 12. Solve 2*t + x + 1 = 4*x, -3*t + 2*x + 1 = d for t.
1
Suppose 0*s - 5*s + 25 = 0. Suppose 6*p = 7*p - s. Solve 0*q = 3*b - 2*q, -5*q = -5*b - p for b.
2
Let w(f) = f - 3. Suppose -17 + 2 = -3*r. Let b be w(r). Solve -9 - 9 = b*n - 4*d, 3*n - 3*d + 15 = 0 for n.
-1
Let l = 5 + -7. Let q = 3 - l. Solve -6*b - 2 = -2*r - 4*b, q*r - 2*b = 11 for r.
3
Let d = 50 - 43. Solve d*u - 4*u + 4*g = -7, u + 4*g = -13 for u.
3
Let a(s) = s**2 + 2*s - 21. Let j be a(-7). Solve q = -4*c - j, -10 = 5*q - 2*q + 4*c for q.
2
Let d(a) = -a**2 + 1. Let l(w) = -w**3 - 6*w**2 - w + 7. Let u(p) = -5*d(p) + l(p). Let y be u(0). Solve x = -0*k + y*k - 4, 2*x = -k + 7 for k.
3
Let h be 1*10*(-3)/(-6). Solve -5*v = h*r - 20, -4 = 2*r - v - 0*v for r.
0
Let l(m) = m + 5. Let j be l(-7). Let u be j/(-4) + (-9)/(-6). Solve -2*f - 3*q = 3*f + 35, u*q - 10 = 5*f for f.
-4
Suppose 8*l + 12 - 20 = 0. Solve 4*y = -f - 2*f, -y - f - l = 0 for y.
3
Let a = -11 + 20. Let h be (-18)/81 + 2/a. Solve -20 = -4*u, -2*k + 4*u - 10 = -h*k for k.
5
Let i be ((-30)/(-25))/((-2)/(-5)). Let y be (1 + (-1 - 1))*0. Suppose 4*c + 5 - 17 = y. Solve -c = i*a - 2*x + 13, 5*a = -2*x for a.
-2
Suppose 0*q + 3*j = -4*q + 80, q + 5*j = 37. Solve 2*z - x = 3, -3*x = 2*z - 8 + q for z.
0
Suppose 4*v = 3*a + 21 - 1, -2*a - 2*v - 4 = 0. Let c = a + 7. Let z be c*(-4)/6 - -2. Solve -5*x - 7 = 4*b, -5*b + z = -3*x + 18 for b.
-3
Let w = -12 + 20. Suppose 0 = 28*v - 30*v + w. Solve -4*n + 2*i = -16, v*n + 0*i = -4*i + 4 for n.
3
Let q = -227 - -229. Solve 2*n = -3*i + 14, i = -4*i - q*n + 18 for i.
2
Let j be (-1 - 3/(-2))*26. Let t be 1 + -1 - (-26)/j. Solve -4*b + 12 = 5*z, 4*b = t*z + 6*b - 4 for z.
4
Let p(n) = n**2 - 8*n - 7. Let c be p(7). Let k = 19 + c. Solve -k*z + 13 = j + j, -j + 3 = -z for j.
4
Let h(x) = 12*x**3 + x**2 - 2*x**2 + 0*x**2 + 1. Suppose -4*c + 3 = -c. Let r be h(c). Solve z = 3*l - z + 6, l - 4*z = -r for l.
0
Suppose -4*r - 3*f + 38 = 6, -5*f = 3*r - 24. Let n = r + -4. Solve 16 + 1 = 3*x - 2*c, 0 = c + n for x.
3
Suppose -2*p = 2*l - 10, 2*p = p + 4*l - 5. Solve -4*j - 13 = -p*t, -2*t - 3 + 6 = 3*j for t.
3
Suppose 0 = -2*w + 40 + 64. Let s = -27 + w. Solve h - 21 = 4*l + 2*h, 4*l + s = -5*h for l.
-5
Suppose -2*g + 5*k = 31, 5 = -5*k - 0. Let i be g/(-4) - 1/(-2). Let s be (-12)/(-9) + 2/3. Solve i*q - c - 12 = -0*c, -s = -2*q - c for q.
2
Let b = 2 - -6. Suppose 20 = b*l - 3*l. Let i(h) = h**3 + h**2. Let a be i(1). Solve l*r - 12 = a*m - 0*m, 0 = -3*m - 12 for r.
1
Let s(j) = 6*j + 1. Let a be s(1). Suppose a = 2*r - 3. Solve 0 = d + 4*q - 3*q - 3, -4*d = -r*q + 33 for d.
-2
Let n(v) = -v**2 - v + 3. Let i be n(-3). Let o(s) = 2*s**2 + s - 1. Let r be o(i). Suppose 5*b = 18 + 2. Solve 2*a = b*x + r, a - 1 = x + 1 for x.
-5
Let a be (-6)/(-4)*(-6)/(-9). Let d = a + -1. Solve d = 4*c - v - 2*v - 10, 4 = 2*c - 2*v for c.
4
Let o = 0 + 6. Let k be (-9)/(-2)*(-4)/(-6). Suppose -6 = -4*f + k*f. Solve 3*y + 19 = -4*q, 0 = 4*y + 2*q + f + o for y.
-1
Suppose -6*d + 27 = -9. Solve 0 = 2*c + 3*s + 7, -2*s = 3*c - d*c - 4 for c.
-2
Let g(s) = s**3 + 7*s**2 - 9*s + 3. Let d be g(-8). Suppose -z = -2*i - d, -27 + 8 = -z + 4*i. Solve 2*t - 3*t - j - 6 = 0, -z*t + 14 = -5*j for t.
-2
Let s(h) = -h + 12. Let b be s(4). Solve 4*o - b = 5*t, 2*t - 2*o + 7*o = -23 for t.
-4
Suppose 5*a - 24 = -2*g, -4*g + 4*a = -1 + 9. Solve -g*f + b + 15 = 6*b, -5*f + 5*b + 20 = 0 for f.
5
Let p be (-1)/(-3) + (-44)/6. Let q be 1/(-3)*(p - -4). Solve 13 = -4*f - 5*l, -5*f + 8*f - 5*l + q = 0 for f.
-2
Let a(y) = 2 - 3 + y**2 + 6 + 7*y. Suppose 0 = -s + t - 11, 4*s + 16 = t - 16. Let i be a(s). Solve 15 = i*r, 4*n = -4*r - 0*r - 4 for n.
-4
Suppose 2*s - 7*s + 20 = 0. Let z = 0 - -1. Let n be 1*(1 - 0 - z). Solve -4*i = -16, 2*j + i + n*i = s for j.
0
Suppose -5*l + 43 + 27 = 0. Solve -y = -1, -4*h + 0*h + 2*y + l = 0 for h.
4
Let g = 18 + -18. Let a(f) be the first derivative of -2*f**2 - 3*f + 1. Let t be a(-4). Solve -11 = -3*s + 5*j - g*j, 0 = -3*s - j - t for s.
-3
Suppose -19 = -4*n - 3. Let x be (1/1 - 2) + 4. Suppose -x*p - p = 3*k + 7, k - n*p - 19 = 0. Solve 0 = k*y - 5*i, 3*y = 5*y + i + 13 for y.
-5
Let z be 0 - (-2 - 0) - 1. Let o = z - -1. Let s(q) = -q**2 + 3*q - 2. Let h be s(o). Solve 2*k - 3*k - 1 = h, 0 = l + 4*k for l.
4
Let p(b) = b**2 - 18*b + 21. Let g be p(17). Solve -g*n + 0*n + 27 = 5*c, 4*c = 5*n - 3 for n.
3
Let t(q) = -8*q**3 - 1. Let n be t(-1). Suppose n + 25 = 4*j. Solve -16 =