= -4*s - 7, -z = -4 for s.
3
Suppose -v - 3*v = 5*z - 220, z - 30 = 2*v. Solve x - 9 = -c - 0, z = 5*x + 4*c for x.
4
Let g(d) = d**2 + 12*d + 2. Let p be g(-12). Solve v - 2*c = 5*v - p, -c + 7 = 5*v for v.
2
Let p = -45 + 25. Let a be 1/2*p/(-2). Suppose -t = 2*s - 5, 4*t - 18 = -4*s - 2. Solve 4 = -a*o + t*r, 5*o - 11 = -r - r for o.
1
Suppose -z - 1 = -0. Suppose q = -5*g - 6, 4*g - 2*g - q + 1 = 0. Let c = z - g. Solve -11 = -3*a - 2*p + 3*p, 4*p - 4 = c for a.
4
Let s(f) = -4*f - 12. Let t be s(-4). Solve t*x = 2*q + q + 18, 4*q + 17 = 3*x for q.
-2
Suppose 4*m + 0*m - 20 = 0. Suppose 2*c - 3*c = 6. Let l = c - -10. Solve -l = -4*k + 6*k, 0 = 3*h + 2*k - m for h.
3
Let w = 4 + -10. Let k(m) = -m**3 - 7*m**2 - 6*m + 3. Let o be k(w). Solve -5*x + 3*h - 21 = 9, -o*h = 4*x - 3 for x.
-3
Suppose -o - 5*d + 6 = 0, -4*o - d = -5*d - 72. Solve -2*a - 45 = -5*p - 7*a, a + o = 4*p for p.
5
Suppose 2*q = 2*n + 6, 3*q - 5*n + 0 = 5. Let g be 2/6 - (-3)/(-9). Solve -4*u - 3*z - 5 = g, 0*z + q = -u - 2*z for u.
1
Let i be (-26)/(-9) - 4/(-36). Solve 2*t + i*o = -3*t - 28, o - 14 = 3*t for t.
-5
Let p(s) = -s - 4. Let m be p(-4). Solve -4*z = 4, 0 = 3*o - m*o - 3*z - 18 for o.
5
Let v(f) = f**2 + f. Let x be v(0). Let c be (-2 - -4)/((-6)/(-21)). Suppose x = 2*b - c*b + 10. Solve 0*w + 10 = l + b*w, 2*l - 25 = -5*w for l.
0
Suppose 0 = 8*a - 3*a - 15. Solve -2*b - 2*g - 1 = -a, b - 3*g = 13 for b.
4
Let p = -12 + 16. Let x(j) = 0*j + 4 + j + 3*j. Let l be x(p). Solve -4*q - 24 = -4*w, -2 - l = 3*w + 5*q for w.
1
Let b(q) be the first derivative of q**3/3 + 2*q**2 - 2*q + 8. Let z be b(-5). Solve 1 = -a + u, -1 = -7*a + 2*a + z*u for a.
2
Suppose n = 3*f - 7, 3*f + 3 = 5*n + 2. Solve 7*o = n*u + 4*o + 1, u = o + 1 for u.
4
Suppose 2*b = -4*l + 8, 3*b = -5*l - 1 + 14. Suppose 2*f = 3*h + b - 2, 4*f = -h + 22. Suppose 0*s + 6 = s. Solve i + 0 + h = -2*x, -3*i = -3*x + s for x.
0
Let k(r) = r**3 - 3*r**2 - 4*r + 5. Let p be k(4). Let b = -8 - -11. Let c be (-3)/(3/(-6)*b). Solve -u + f = -c, -p*f - 13 = -u + 5 for u.
-2
Let o be (-6)/(-9) - 38/(-6). Solve 0 = 3*j + 4*p - 26, o = j - 3*p + 4*p for j.
2
Let t = 3 + -5. Let y be t/3 + (-248)/(-12). Solve 2*h = -2*q, 0*q + y = 5*h + q for h.
5
Let r = 8 + -4. Suppose -9 + 1 = h - 2*a, h - 12 = -3*a. Solve 5*i = -r*c + 29, 4*i = -h*i - 2*c + 22 for i.
5
Let f = 132 + -97. Solve 0 = 3*w - 4*a - 23, 0 = 5*w - 4*a - a - f for w.
5
Let z be (0 + (-2)/(-4))*0. Let i be ((-60)/(-9) - 7)/((-1)/15). Solve i*g + 50 = -5*a, -2*a + g = -z*g + 5 for a.
-5
Let a(k) = -5*k + 50. Let q be a(9). Solve -4*v - 12 = 4*z, -3*v = z - q*v for z.
-2
Let u(c) = c**2 + c - 18. Let i be u(-5). Solve -4*l + 2 = -m - i*l, 2*m - 5*l + 3 = 0 for m.
-4
Suppose 2*m + 22 = 13*m. Solve -o + m*f = 4*o + 11, o + f = -5 for o.
-3
Let m = -99 - -101. Solve -22 - m = -4*y + 2*u, 3*y = -3*u + 9 for y.
5
Let y(n) = -n - 1. Suppose 3*u = k - 35, -21 = 4*k - 5. Let p be y(u). Solve -l - 3*z = 2 - p, 4*l = -2*z for l.
-2
Let c(f) = -f**3 + 16*f**2 + 17*f + 9. Let g be c(17). Solve 0 = -5*t + 15, 0*h + t = -3*h - g for h.
-4
Suppose -7*b + 3*b - 8 = -3*z, -4*z = -2*b - 4. Let m = b - -6. Solve 4*a = -m*f - 16, 0*a - 16 = 3*f + 5*a for f.
-2
Let w(v) = -v**2 - 5*v. Let j be w(-4). Solve -q = 2*m - j, 2*m = 3*m - 4 for q.
-4
Let k = 123 + -15. Let u be k/30 + (-4)/(-10). Solve 16 = v - 5*i, 5*v - u*v = -i - 2 for v.
1
Let a = -26 + 16. Let h = a + 13. Solve -c + 3 = -5*b - 20, -h*c + 29 = -5*b for b.
-4
Suppose 27 = h + 4*d, 5*h - 4 = 3*d + 16. Let x = h - 5. Solve 4*b = x*a + 22, b + 2*b - 21 = 3*a for b.
4
Let r = 4 + 0. Solve 5*u - y + 17 = 0, 0 = -4*u - r*y + 11 - 39 for u.
-4
Suppose 40 = -i + 6*i - 5*u, -u = 0. Suppose 2*q - 4*y = i, 10 = -q - 0*q - 5*y. Solve q = -2*k + 5*p - 4, 2*p - 4*p = 0 for k.
-2
Let g be (-7)/(-28) + (-2)/8. Solve 16 = -4*v - 4*m, g*v - 2*m = -v + 8 for v.
0
Let t(y) = -2*y - 6. Let r be 30/(-4) - 6/12. Let k be t(r). Suppose 0 = h - 4*h + 5*u - 1, -2*u = 2*h - k. Solve 2*m = 2, h*z + 4*m - 2*m + 4 = 0 for z.
-2
Let r be 5 - 5 - (1 + 2). Let f be 344/(-12) + (-2)/r. Let x be (40/f)/(1/(-7)). Solve -2*v + 23 = -5*d, -x = -5*v - 2*d + 4 for v.
4
Suppose -27 = -d - 2*d. Let w be (-2)/d - (-415)/45. Solve 3*l = -3*r - w, 4*l - 2*l - 18 = 4*r for r.
-4
Suppose -13*h = -h - 144. Solve -4*i = 5*l - 3, 4*i - h = -i + 2*l for i.
2
Suppose 8*f - 10 = 30. Solve -r + 10 = 5*d, -30 = -f*r + 2*d - 7*d for r.
5
Suppose 0 = -5*b + 5*o - 25, -3*b + 0*b + 4*o = 20. Suppose b = 5*t - 16 - 9. Solve -5 = 4*f + 5*x, -4*x = -t*f + 45 - 0 for f.
5
Suppose -4*o = 5*f - 39, 3*f + 1 = o + 4. Suppose -o*n + n = -5. Suppose 2*w + 14 = 2*c, 0 - 9 = -c + 3*w. Solve t + n = c*m - 5*m, 0 = -5*t - 5 for m.
0
Let j = 4 - -16. Let d = j + -20. Solve 0 = -d*w - w + f - 9, -20 = -5*f for w.
-5
Let d(l) = l + 5. Let j be d(-3). Solve z + 9 = -3*b, -j*z + 0*b + 4 = -5*b for z.
-3
Suppose r = -3*s + 2, 0 = -7*s + 4*s + 6. Let o = r + 6. Solve -6 = 3*t + 5*u, 5*t = o*u - 3*u + 12 for t.
3
Let m = -8 - -11. Suppose -5*y = 2 - 12. Suppose -4*r + 14 = -38. Solve -y*h = -m*n - r, 2*n - h = -8 - 0 for n.
-3
Let s(m) = -m**3 - 2*m**2 - m - 3. Let k be s(-3). Solve 4*q = -5*x - k, -12 = -5*q + 8 for x.
-5
Suppose -3*m = -5*z + 30, z + 4*z - 2*m = 25. Solve h = z*i, -5*h + i - 11 = -3*i for h.
-3
Let w(m) = -2*m - 2. Let z = -19 - -14. Let r be w(z). Solve -4*q - 5*d - 15 = 0, 4*q + 29 - r = d for q.
-5
Suppose -4*p - 5*x + 10 = p, -x - 10 = -3*p. Let z(u) = -8*u + 1. Let a be z(3). Let q = a + 46. Solve -p*t + q = -2*l, 2*t + 5 = -t - 5*l for t.
5
Let u = -5 + 8. Suppose -3*o = -6, 0 = -2*h + u*o - 8*o + 46. Let f be (-116)/(-36) - 4/h. Solve f*j - 1 = 4*j - 4*g, -5*j = -g + 24 for j.
-5
Let d = 36 - 32. Solve 5*m + 0*m = 4*k + 37, 3*k - 11 = -d*m for m.
5
Suppose 0*a + 14 = -a. Let c be (18/7)/((-3)/a). Solve -2*w + 16 = 4*m, 2*m - 4 - c = -5*w for m.
3
Let a(u) = -u**3 + 2*u**2 + 5*u - 4. Let r be a(3). Solve -r*g = 2, -6*w + 3*w + g + 13 = 0 for w.
4
Suppose -21*d + 25 = -16*d. Solve 3*v + 2*v - b = 29, 25 = v - d*b for v.
5
Suppose 0 = -3*k, -4*k - 2 = 2*t + 2. Let h = 15 - t. Suppose -f + 0*f = -4. Solve -x + f*j - 5 + h = 0, 12 = -3*j for x.
-4
Let d be (-16)/(-4)*(-2)/(-4). Suppose -3*j + 9 = 4*i, -d*j + 7 = i - 6*j. Let r be -1 + 6 + (i - 5). Solve v - l + 1 - 4 = 0, 4*v + r*l = 5 for v.
2
Let m(i) = 5*i - 4. Let n be m(5). Suppose -n = -3*f - 5*u, 0*u - 3*u = 3*f - 21. Let k be ((-4)/5)/(2/(-5)). Solve 1 + k = -3*z, 2*q - f = -z for q.
4
Suppose 3*r + k - 1 = 2, -5*r - 5*k - 5 = 0. Solve 0 = 4*p + 4*x - 20, -r*p + 8 = -2*x + 3*x for p.
3
Suppose 0*j - 12 = -3*j. Let o be (4/((-16)/12))/(5/(-10)). Let v = 4 - 2. Solve -v*t - t = -3*i + o, -3*t - 5 = -j*i for t.
-3
Let h(w) = w + 2*w - w - 3. Let t be h(3). Solve a = j + 4, -t*a - 3*j = -a - 13 for a.
5
Let o = 6 + 3. Let y be 27/o + (0 - 2). Solve -3*z + 3*s + y + 2 = 0, 3*z = -4*s + 31 for z.
5
Suppose 5*h - h - 16 = 0. Suppose 0 = -o + h*o. Let v be (o/(-3) - -2)*1. Solve t = f + 1, -v*f + 8 + 10 = 2*t for t.
5
Let w(n) = -n**3 - 7*n**2 + 6*n - 13. Let j be w(-8). Solve -5*y = 4*t - 41, 0 = -5*t - j*y - y + 40 for t.
4
Suppose 4*j + 10 = -2*w, 0 = -2*w + 3*j + 12 + 6. Suppose -5 = -u - i + w, u + 22 = 5*i. Solve -5*q - d = 7, 3*d + 1 = -u*q + 4 for q.
-2
Let g = 24 + -21. Suppose 4*j = -j. Let r = g + j. Solve 4*v - 27 = -r*i, v + 22 = 4*i + i for v.
3
Let m = 109 - 105. Solve -4*s + 12 = -4*v, -v - 8 = -m*s + v for s.
1
Let g(q) = -q**3 + 6*q**2 + 3. Let w be g(6). Let z = -8 - -12. Solve 27 = -z*i - w*o, 3*i + 3*o + 25 = 1 for i.
-3
Let i be 22 + 1/(2 - 3). Solve -5*k = v + i, -6*k - 5 = -3*v - 4*k for v.
-1
Suppose -7*j = -3*j. Solve 3*m + 3 = -3*i, m - 5*i - 5 = -j for m.
0
Let g be (14/(-35))/((-1)/10). Suppose 20 = 6*s - g. Solve q = 2*d - 3*d - 1, 0 = s*q + 3*d + 6 for q.
-3
Let l(z) = -z + 9. Let h be l(5). Solve -k + 17 = -4*w, 30 = -h*w + 2*k + 8 for w.
-3
Suppose -5*q = -4*y, -8 - 20 = -4*y - 2*q. Solve 0 = y*l - 5*o + 25, 2*l - 3*l + 7 = 3*o for l.
-2
Let s = -2 + 7. Suppose -4*z - 3*w = -s, 2*w + 5 = z - w. Let j be (-1 - 0 - z) + 6. Solve 2*r = 2*o + j - 5, 0 = 4*r + 5*o + 40 for r.
-5
Let o(t) = t**2 - 6*t + 3. Let g be o(6). Suppose -2*f = 2*q - 22, -21 = 5*f - 6*f - g*q. Solve -13 = -4*l - d,