 + 5 = 0, -c = z*s - s - 5 for c.
1
Let i(t) = t**3 - 15*t**2 - 17*t + 20. Let c be i(16). Let h be (0 - -1)*0/(-2). Solve c*l = g - 21, -3*l + h*g = -4*g + 32 for l.
-4
Suppose -5 = -4*c + 15. Solve 3*j = j + c*k + 8, -j + 4*k + 4 = 0 for j.
4
Let u = -1 + 3. Suppose -d - 2*d = 0. Solve 2*m + 6 = -2*g, -11 = -3*m + u*g - d*g for m.
1
Suppose 4*s - 20 = -5*h - 8, 0 = -3*s - 3*h + 9. Suppose c + s*o = 13, 4*c - 5*o = -3*o + 10. Solve -b = -5*r - 1, c = r + 5 for b.
-4
Let v = -20 + 24. Suppose m - y = 0, 3*y = -5*m - 0*y + 16. Suppose 0 - 3 = m*k + 5*b, k + 3*b = -2. Solve -k + v = -f, 0 = 3*c + 5*f + 18 for c.
-1
Suppose -2*z + 5*z = 6. Let x(p) = 3*p + z*p + p**3 - 4*p - 4*p**2 + 0*p**3. Let k be x(4). Solve -2*o + 9 = o - 4*d, -16 = 4*o + k*d for o.
-1
Let q be (6/(-4))/((-5)/(-50)). Let o be 6/q + (-17)/(-5). Solve 0 = -5*c + 5*s - 25, o*c + 9*s + 15 = 4*s for c.
-5
Suppose -q - 2*x - 3*x + 23 = 0, -68 = -4*q + 4*x. Solve -15 - q = -5*y - 4*v, 0 = v - 2 for y.
5
Suppose n = 4*i - 23, -8*i + 4*n + 8 = -4*i. Let y be (7/i)/((-2)/(-28)). Solve -y = -s + 2*b, 6*s + 3*b = 2*s + 1 for s.
4
Suppose 3*i - 10 = 2*i. Suppose 6*o - 2 = i. Solve 0 = -2*a - o*s + s - 11, -2*a = 4*s + 26 for a.
-3
Suppose -46 - 35 = -3*h. Solve -h = 4*w + 3*s, -5*w + 4*s + 2 = -3 for w.
-3
Let o(p) = p + 1. Let q be o(-1). Solve -1 = 2*f + s, 2*f - 2*s - 3*s - 29 = q for f.
2
Let c(y) = 7*y + y**2 - y**2 + y**2 - 1 + 6. Let b be c(-7). Suppose -b*w + 3*w + 10 = 0. Solve -2*n + n - f - 1 = 0, w*n = 3*f - 13 for n.
-2
Let f(q) = q**2 - 7*q + 2. Let c be f(8). Solve 4 = 3*o - s, -c = -8*s + 3*s for o.
2
Suppose -4*b - 2*j + 20 = 0, -4*j + 17 + 2 = b. Let i be 9/b + -2 + 4. Suppose 4*p - i*m = -4, 0 = -m - m + 8. Solve 0 = -2*r - 3*r - p*x, -3*x = 0 for r.
0
Suppose 4*v - 14 = -4*m + 2*v, m = v + 8. Solve -8 = 4*w + 3*j, -w - m*j - 11 = 8 for w.
1
Suppose 2*l = 42 + 14. Suppose 13*r - 2*r - 407 = 0. Solve -l = -4*g + 2*b, -g = -6*g + 3*b + r for g.
5
Suppose 120 + 0 = 4*g. Solve 5*j = n + j + 25, g = -5*n + j for n.
-5
Let v(o) = 6*o + 5. Let z(k) = 7*k + 6. Let d(b) = -6*v(b) + 5*z(b). Let y be d(-2). Suppose -5*w + y*w = -27. Solve 4*p + w = -2*g + g, 5*p + 10 = -g for g.
-5
Let q be 217/7 - (-3 + 0). Suppose -2*i - 4*f + 24 = -q, 0 = 4*i - 2*f - 106. Solve -3*o - 4*u = -i, -5*u - 1 = -4*o + 4 for o.
5
Let q(o) = o**2 - 3*o + 2. Let j be 1*-1*(-18)/9. Let s be q(j). Solve 2*f + 4*k + 0*k + 4 = s, 3*f - 3*k = 21 for f.
4
Let k(r) = -r**3 + 19*r**2. Let j be k(19). Solve -5 = 4*w + p + 4*p, j = 2*w + 4*p + 4 for w.
0
Suppose 0 = -4*c + 6 + 6. Solve -c*w - 32 = -4*l + w, 5*w + 20 = l for l.
5
Let m = 25 + -22. Solve 0 = 3*g - 12, 4*f - m*g = -8*g + 16 for f.
-1
Let v(g) = g. Let j(d) = d + 1. Let s(i) = -2*j(i) + v(i). Let u(z) = -z**2 - 4. Let r be u(0). Let h be s(r). Solve 3*f - 2*k = -f + 2, 3 = 5*f - h*k for f.
1
Suppose 10*w = 13 + 27. Solve -3*g + d + 6 = 21, 0 = 3*g - w*d + 24 for g.
-4
Suppose -7 = -4*c - 3. Let a be 18/4 + c/(-2). Solve -r = -2*r - 5*m + 9, 0 = a*m - 4 for r.
4
Let o = -2 - -9. Solve 8*f + 4*w - o = 3*f, 3*w = f + 10 for f.
-1
Suppose 5*c - 28 = c. Suppose -c = -4*v + 13. Solve v*i + d + 3*d = 7, 3*d - 9 = 0 for i.
-1
Let i be 2 + (-3 - -18)/5. Solve i = 3*g - 4*h, 4 = -g + 3*g - 3*h for g.
-1
Let c be (2 + 1)/((-6)/(6/(-3))). Solve 0 = -5*g - 3*h + 4*h + c, -g = 2*h + 2 for g.
0
Let b = -7 + 12. Suppose 24 + 0 = 4*j. Suppose 0 = 2*f - f - j. Solve 9 = -5*a - b*h - f, -4*a + 2*h = -12 for a.
1
Suppose 4*b - 10 = 2. Suppose -b*u = -4*c - 35, 2*u = 2*c + c + 25. Let v(k) = k**2. Let q be v(0). Solve q = -3*z - 9, u*z + 5 = -2*y - 0*z for y.
5
Let c = 17 - 11. Suppose 2*a = -3*t + c, -7 = 5*a - 3*t - 1. Solve l = -2 - a, 2*b - 2 = 3*l for b.
-2
Let l be (-3)/(-6) + 27/6. Solve -a = 2*s + s - 1, -3*a = -l*s + 25 for a.
-5
Suppose -m + 5 = 1. Let j = 6 - m. Solve j = a + a - 3*x, 4*a + 3*x - 4 = 0 for a.
1
Let g(z) = 5*z. Let o be g(4). Let n be (-2)/(-8) + 55/o. Solve 7 + 0 = n*k - 4*p, -p = k + 7 for k.
-3
Let s(z) = z**3 - 25*z**2 - 27*z + 29. Let o be s(26). Let k(w) = w + 6. Let a be k(0). Let f = -4 + a. Solve 5*v + d - 5 = 0, -o*v = f*d - 1 + 5 for v.
2
Let s(o) = 2*o**2 - 4*o + 3. Let l be s(2). Suppose l = 3*r - 33. Solve -p - r = 3*q, -p + q + 2*q + 6 = 0 for p.
-3
Let d(t) = -t + 2. Let o be d(0). Let r = 279 + -267. Solve 5*n + o*c = -16, n = -0*n + 4*c - r for n.
-4
Let x(o) = o**3 + 18*o**2 + 3*o + 57. Let m be x(-18). Solve 0 = f - 2*b + 8, -m*f + 5*b = 4*b - 1 for f.
2
Suppose -25 = -9*l + 4*l. Let t be l/2 + (-8)/16. Solve 5*c - t*m = m + 17, -2*m = -3*c + 11 for c.
1
Let f = -3 + 0. Let t be f/(-6)*(-2 + 0). Let n be (-2)/((-4)/(-10))*t. Solve n*o + z - 10 = -2*z, 4*z - 16 = -4*o for o.
-1
Suppose 4 = 3*l - 8. Suppose 8 - 20 = -4*g. Suppose -7*c + 5*o + 8 = -3*c, g*o = 0. Solve c*i - 6 = -2*y, -i = 2*y - 0*y - l for i.
2
Suppose o = 10*o. Solve o = 5*b - 4*d - 22, -d + 7 - 20 = -5*b for b.
2
Let y(t) = t**3 - 13*t**2 + 21*t + 15. Let q be y(11). Solve -18 = -3*l + q*c, -l = 2*c + c + 7 for l.
2
Let q(i) = i**2 - 5*i + 1. Let p be q(5). Suppose -p = 4*d - 13. Let g(x) = -4*x + 4. Let r be g(-3). Solve 3*c - 2*n - r = 0, 2*n = -d*c - 0*n + 8 for c.
4
Let n = 63 - 58. Solve -19 = 4*p + 3*i, -2*p - 5*i = -n*p - 7 for p.
-4
Let j be 57/3 + 0 - -2. Let k = j + -12. Solve 5*x + 12 = -4*z, -2*x - k = -0*z + 3*z for z.
-3
Suppose -4*a = -7 - 1. Solve 3*q + 23 = a*r - 0*q, r - 4*q - 24 = 0 for r.
4
Suppose 5*a + 61 = -24. Let r = -11 - a. Let q be 0 + 3/r*0. Solve v = 2*y - 7, q*y - 4*y = -12 for v.
-1
Let d(w) = -w**2 + 6*w - 3. Let b be d(2). Let s(o) = -4*o - 4. Suppose -11 = 3*x - 2. Let z be s(x). Solve -b*v - 4*u + 14 = -11, -z = -3*v - u for v.
1
Suppose 0 = -p + 3*p - 8. Suppose -p*r + 2*r = 2. Let y be 22*(r/(-2))/1. Solve 4*l + 1 = -2*a + y, -5*a - l + 7 = 0 for a.
1
Suppose 0 = -0*n - 2*n + 8. Suppose -5*k = -5*u, 0 = -0*k - n*k - 2*u + 24. Solve -2 = -2*h + k*x - 10, -4*h = 2*x + 6 for h.
-2
Suppose 18*q + 20 - 56 = 0. Solve z - 5*o = -q*z + 30, 9 = -3*o for z.
5
Suppose -5*j = -5*h - 30, 3*j + 3*h = -0*h. Solve 20 = -3*i - 5*v, 6*i + j*v + 12 = i for i.
0
Let z = 6 + -4. Suppose 0 = 3*u - 2*u - 3*b - 6, z*u + 3*b = -6. Solve -26 = 3*m + 4*d - 0*d, m - 3*d - 13 = u for m.
-2
Let b = 27 + -23. Solve 5*k + 3 = 2*k - 2*d, 0 = b*k - 5*d - 19 for k.
1
Let t = -8 - -36. Let a(n) = n**3 + 15*n**2 + 16*n + 33. Let f be a(-14). Let l(q) = -q + 2. Let m be l(0). Solve -4*o + f*w = 37, o - 7*w = -m*w - t for o.
-3
Let p be (-120)/5*1/(-3). Suppose -4*q + 3*c + 24 = -0*c, 8 = -4*q - 5*c. Solve 5*m = 4*w + 4*m - 8, 4*w + q*m = p for w.
2
Let p = -16 - -15. Let n be (-4 + p)*(-4)/10. Solve 0 = -2*u - n*h - 10, -3 = -5*u + 4*h - 10 for u.
-3
Suppose -a - 13 = -8*w + 5*w, -2*a = -3*w + 11. Solve -6*s + 18 = -3*s + 5*f, 14 = a*s + 4*f for s.
1
Let k(s) = -2*s**2 - 3 + s**3 + s + 3. Let v be k(2). Solve -5*r + v*g + 1 = 0, r - 15 = 5*g - 1 for r.
-1
Suppose i = 6*i - 40. Suppose g - 5 = 0, g - 6*g + i = -r. Suppose -2*b - 3*q = -17, 3 = b + 3*q - 7. Solve -c = -5*j - 20, -b*c + r = j - 3*c for j.
-3
Let k(m) be the second derivative of 1/2*m**2 + 2*m + 5/6*m**3 - 1/12*m**4 + 0. Let n be k(4). Solve -5*s = -3*w + 35, -2*w + n = -3*s - 17 for s.
-4
Let d = -59 + 61. Solve -3*p + 35 = -4*b, b = -p - d*b - 10 for p.
5
Suppose 0 = -2*a - 4*x + 26, 3*x = a + x - 17. Suppose 5*s = -0*s + a. Solve 0 = 3*d - g + 14, -4*d + 5 - 2 = s*g for d.
-3
Let w = -5 - -3. Let i be -3 + w + 2/2. Let o = i - -6. Solve c + 1 = -4*j - 3, -j = c - o for c.
4
Let h be (-2)/(-5) - 76/(-10). Suppose 3*z = 5*c - 1, -3*c = -c - 4*z + h. Suppose -p - 2 = -c*p. Solve 3*t - 3*v + 20 = -v, p*t = -3*v + 4 for t.
-4
Let m(k) = k**2 - 3*k + 1. Let a be m(4). Suppose a*v - 3 = 7. Suppose -w - 2*i + 31 = 3*i, -19 = w - 5*i. Solve -4*s - v*z = -w*z, -3*s = -z for s.
0
Suppose v = 3 - 0. Solve 0 = -4*a - v*x - 9, -x + 7 = -a + 3*x for a.
-3
Let c(y) = y**3 - 13*y**2 + 12*y + 7. Let q be c(12). Let k be (-2 - 1)/(q/(-14)). Solve 4*v - 4*s - 8 = 0, 3*v + k = -4*s + s for v.
0
Let b(t) = t**3 - t**2 + t - 1. Let h be b(1). Solve n = -2*o - n + 12, h = 2*o - n for o.
2
Suppose 24 = 9*p - 8*p. Solve -p + 7 = -o + 3*t, 5*o + 5*t + 15 = 0 for o.
2
Suppose -2*k = -0*k. Let l(d) = -d**3 - 2*d**2 