= -0*i - 5, 4*a = -4*i for i.
-5
Suppose 2*i = i + 13. Suppose -2*m + i = 5. Suppose 3*k - 4*k = -5, 0 = 2*b + 4*k - 26. Solve 6 = b*n, -m*a + n = 5*n - 16 for a.
2
Let p be 15 + (-1)/1*1. Let j = -143 - -200. Let h be 4/p + j/21. Solve -31 = -2*u + 5*r, -5*r = -u + h*u + 19 for u.
3
Suppose 0 = -m + 6*m + 55. Let z = 16 + m. Solve -4*a + 5 = z*y - 25, 0 = -y + a - 3 for y.
2
Let k = -98 - -100. Solve -k*i = -5*m - i - 10, 2*m - 5*i = 19 for m.
-3
Let u be 48/20 - (-4)/(-10). Let v = u + 0. Solve -z - 5*x + v = 1, 3*z - 5*x = 3 for z.
1
Suppose 2*x - 4*y - 10 = 0, x + y + 9 = 2. Let s be (x/9)/(-1)*39. Solve -5*b - 4*h = s, 2 = -5*b + 4*h + 5 for b.
-1
Suppose 5*x = x + 92. Suppose 2*q - 15 = 5*b + 6, 0 = -3*b - 9. Solve -4*p - x = -5*p + 4*z, 5*z = q*p - 34 for p.
3
Suppose -5*t - 2*h + 21 = 0, -3*t - h + 8 = -4. Solve -17 + 7 = t*j - 2*w, w - 5 = -j for j.
0
Let z = 8 - 4. Let q be (-2)/3 + (-112)/21. Let i = q - -8. Solve -3*t - i*j - z = -3*j, j = -t for t.
-1
Let g(t) = -t + 2. Let k be g(4). Let b be 12/3 - (-4)/k. Solve -z - 20 = 4*n, -5*n + b*z - 28 = 4*z for n.
-4
Let o be 4/(-2) + (-20)/(-2). Suppose 3*i + 2*w - 20 = -2*w, -3*i + o = -2*w. Solve 5*v = z + 19, 6*v + i*z = 4*v - 10 for v.
3
Let i be 0 + -2 + 8 - (-2)/(-1). Let p(w) = 2*w**2 - 3*w + 2. Let a be p(2). Solve -8 = -a*f - i*z, -f + z = -4*z - 14 for f.
4
Let r be 0*((-4)/(-22) + 42/132). Solve 0*q - 2 = 3*g + 4*q, r = -q + 1 for g.
-2
Let d be 4/18 - (-64)/36. Solve 0 = d*h - 0*m + m + 4, 0 = -2*h + 3*m + 4 for h.
-1
Suppose 4*a + 9 = 5*l, 8*l = 2*a + 3*l + 17. Suppose -2*k = -2*y + 26, y + a*y = 4*k + 62. Solve -4*p + 2*c = -0*c, -p + 3*c = y for p.
2
Suppose -k - 3*k - 3*f = 12, -4*f - 16 = 3*k. Solve 3*o + 5*m = 2 + 3, k = o + 5*m - 15 for o.
-5
Suppose 5*d + 15 = 30. Solve d + 5 = 2*y - 3*p, -2*p = -y + 4 for y.
4
Suppose 0 = -5*r + 3*c + 35, -4*r + 6*c = 3*c - 28. Solve -r = 4*x - 5*w, 3*w = 4*x - 8*x + 17 for x.
2
Let t = 2 + 0. Suppose -2*r - 3*k + 11 = 0, 5*k - 3 + t = r. Solve -2*j - 4*d - 23 = 1, d = r*j + 12 for j.
-4
Let h(u) = -2 - 3 + 3 - u + 18. Let j(s) = s - 15. Let l(b) = -4*h(b) - 5*j(b). Let r be l(8). Solve 5*x = -5*g - 40, 0*g + 20 = -2*x - r*g for x.
-4
Let t(r) be the second derivative of r**5/20 - r**4/4 - 5*r**3/6 + 3*r**2/2 - r. Let j be t(4). Let i = j + 1. Solve -g = 2*q + 1, i = -4*g - 5*q + 2 for g.
3
Suppose -n + 3 - 1 = 0. Suppose n*g + l = 4*l - 4, 4*l = g + 7. Let t be ((-10)/(-25))/(g/55). Solve -4*m + t = 2*k, m - 4*k + 7 = -2*k for m.
3
Suppose 1 = -q - 1. Let j be 3 + q - (1 + -3). Suppose -7*t + 2*t + 15 = -5*n, 0 = 4*n - t - j. Solve p + 3*z = -p - 4, z + 12 = n*p for p.
4
Let q be (-1)/4 - (-148)/16. Let w(u) = 3*u - 21. Let b be w(q). Solve -6 = 3*n + 3*j, -3*j + 1 = -2*n - b*j for n.
-5
Suppose 4*p - 12 = -0. Let y be 1 + 6 - (0 + p). Solve 0 = y*m - 20, 0 = -3*v - 0*m - 3*m for v.
-5
Let a = -61 + 79. Solve -5 = -4*c + 5*h + 1, 4*c + h = a for c.
4
Let q = 0 - 0. Let a be (q - 3/(-9))*9. Solve -a*l - p + 6 = 0, l = -3*p + 4*p - 2 for l.
1
Let y be (1/(-2) + 1)*16. Suppose -5*o = -107 - y. Solve -4*s + s = -4*j + 8, 5*s = -3*j - o for s.
-4
Suppose -n - 4*n = -15. Suppose w + n - 7 = 0. Solve 16 = -3*d - x, x + w = -0*x for d.
-4
Let u be (-6)/(-4)*14/3. Let s = u + -4. Suppose s*w - w = b + 15, 3*b = w - 20. Solve 2*j - 2*x - x - 17 = 0, -w*j + 3*x = -29 for j.
4
Suppose 0 = q - 2*q + 4. Let f(n) = n + 6. Let k be f(-7). Let u = k - -4. Solve -h = w, q*h - 4 - 17 = u*w for h.
3
Let c(f) = -4*f - 7. Let n be c(-7). Let k = n + -13. Solve -4*l + 14 = 2*q, 4*q = 2*l - l - k for l.
4
Let q(x) = -x**3 - 6*x**2 + 3. Let g be q(-6). Suppose g*z + 0 - 12 = 0. Suppose 0 = c - 22 - 9. Solve -4*b - 2*t = -4*t - 4, z*t - c = -5*b for b.
3
Suppose a - b + 2 = 0, 5 = 3*a - 4*b + 16. Solve -a*d - 27 = 4*m - m, -20 = 4*m for d.
-4
Let a = -121 + 126. Solve 0 = -a*l + 3*z - 1, 6*l + 5*z + 25 = l for l.
-2
Let o be (6/6)/(2 - (-30)/(-16)). Solve 2*f - 12 = 4*g - 2*g, -4*f + o = 4*g for g.
-2
Let f(b) = -b + 2. Let w be f(-3). Suppose -w*v + 13 + 2 = 0. Suppose 5*c - 8 = 12. Solve -3*d + 9 = 3*q, -c*q - d = -v*d + 12 for q.
-1
Suppose 2*c = -3*c + 55. Suppose 5*h - c = 4. Let r be 10*2/2 + -2. Solve 3*k - 1 = i, -r = -3*i + k - h*k for i.
2
Let g = 126 - 123. Suppose -2*m = 3*u + 4 + 2, 9 = -3*m. Solve -g*h + 9 = u, 0 = 2*f - h - h + 8 for f.
-1
Let h be ((-16)/(-4))/(4/(-38)). Let x = h + 55. Suppose 4*d - x = -l, 3*l + 4*d - 22 = l. Solve -3*y + 7*y + 26 = l*b, -20 = 3*y - 4*b for y.
-4
Let r be 6/4*2/3. Let l be ((-18)/(-4))/(r/2). Let x = 94 - 92. Solve 1 = u + x*h, 8*h = 4*u + 3*h + l for u.
-1
Let d(b) = -b**2 + 4*b. Let k be d(1). Solve -5*x + 1 - 14 = -3*z, k*z + 3*x = -27 for z.
-4
Suppose -2*f = -3*f + 14. Suppose -f = -4*w - 6. Let d(q) = 3*q - 6. Let b be d(4). Solve -w*r - b = 2*p, -p - 5*r + 20 = -3*p for p.
-5
Let n(k) = -k + 4. Let z be n(2). Solve -4*p - 2*g + z = -4, 0 = p + 2*g for p.
2
Let s be 2*(-3 - -5) - 0. Let a be 1*-2 - (0 + -1). Let z = s + a. Solve 0 = -2*l + c + 1, 5*c - z = 2 for l.
1
Let x be (1 + -3 - 1)*-1. Suppose -4*l = 3*i - 80, 0*l + 3*l = -x*i + 57. Solve 5*s - 3 = -l, -3*k + 3*s = 3 for k.
-5
Suppose 5*f + 15 + 5 = 0, 3*p + 3*f = -3. Solve 0*b - p*b + 4*j = -2, -4*b + 5*j + 3 = 0 for b.
2
Suppose n - 6*n + 10 = 0. Suppose -2*z + 29 = 7*g - n*g, -3 = z. Let m be 1/5 + g/(-35). Solve f + 0 - 3 = -4*q, -2*q = m for f.
3
Let d(b) = -5*b + 18 + 3*b - 2*b + 3*b. Let l be d(0). Solve 2*v + l = q + 5*v, -32 = -4*q - 4*v for q.
3
Suppose 0 = -2*b - 2*b. Suppose b = -2*v - 3*v. Solve v = 3*p - 2*p - 5*c - 11, -9 = 3*c for p.
-4
Let x be (-9)/(-12)*12/(-3). Let h = x + -1. Let y(o) = -o - 1. Let c be y(h). Solve 0 = -4*v - i + 16, 2*i + 2 + 21 = c*v for v.
5
Suppose 0 = o + 4*z + 6, -7*o + 3*o + 3*z = -14. Solve -2*n - a = 0, 6*a - 8 = -4*n + o*a for n.
-2
Let l(q) = q**3 - 3*q**2 + q + 1. Let c be l(4). Solve 0 = -3*m - n - 0 - 7, -m - 5*n - c = 0 for m.
-1
Suppose -n = n. Solve n = -4*m + 4*z - 4, m + z - 7 = 4*z for m.
-5
Let o be (-5)/(-3) - 16/24. Solve -10 = -k - 3*n, -3*n + o = -4*k - 4 for k.
1
Suppose -4*r = -5*x - 15, 9*x = -3*r + 4*x + 20. Solve 0 = -5*f - 3*n + 25, -f + r = -3*n + 2*n for f.
5
Suppose -p = 4*o + 22, -o - 11 = 3*p + 22. Let l be ((-8)/5)/(4/p). Solve -3*z - 8 = 5*h, 0 = -h - 4*z - 1 - l for h.
-1
Suppose -p - p - 8 = 0, 0 = h - 3*p - 8. Suppose -2*q - 3 = 1. Let r be (-2 + 12)*q/h. Solve -2*u + 3*u - 24 = r*o, -3*o - 24 = -3*u for u.
4
Suppose 17*t - 20*t = -15. Solve -5*i - t*d - 20 = 0, 0 = i + 4*i - 5*d - 30 for i.
1
Let a = 65 + -60. Solve -2*l + 2*o = 14, -4*o + o - 11 = a*l for l.
-4
Suppose -2*j + 9 = -j. Suppose 0 = 4*c - x + 3, 0 = c + 3*x + 2*x + 6. Let h = j + c. Solve -o + 2*y - 1 = -h, y = -5*o + 24 for o.
5
Suppose 4*m - 3*q + 20 = 0, 3*m + q = -5 - 10. Let j = -2 + m. Let g = j + 7. Solve -4*p + g*p - 4*x + 40 = 0, 0 = -p - 3*x + 20 for p.
5
Let f(t) = -t**3 + 9*t**2 + 10*t + 2. Let i be f(10). Solve i*j = -2*m - 4 - 6, -4*j + 4*m - 12 = 0 for j.
-4
Let c be 68/20 - 2/5. Suppose -c*k = -5*p + 29, 4*k - 2 + 22 = 2*p. Solve -p*f - 6 = -m - 1, f + 2*m - 10 = 0 for f.
0
Let c(a) = 3*a - 9. Let k be c(3). Solve h = -v + 4, k*v - 3 = 3*v for h.
5
Let h be (-2)/(-4)*(-4 - -2). Let d be (h - 3)/(5/(-5)). Suppose 3*n = 9 + 3. Solve -29 = -3*t + d*u, u + 25 = -n*u for t.
3
Let h(v) = v**3 + 10*v**2 - 12*v - 11. Let u be h(-11). Let j be u - (3 + 3)/(-1). Let g be (6 - 4)*j/4. Solve 5*x = 3*k + 19, g*k + 2*x = -2*x + 26 for k.
2
Suppose 5*b + 24 = -5*r + 9, 0 = 3*b - r - 7. Let i be (b - -1)*7/14. Let w be (11 + -2)*(i - 0). Solve -2 = -z - 2*c, 4*z - 2*z - w = c for z.
4
Let j = 5 - 4. Suppose 2*i - 5 = j. Suppose 0 = 5*r + i - 28. Solve 2*x = -3*c + r, 3*x - 5*c = -2*x + 25 for x.
4
Let d be 9 + 3 + (-3 - -3). Let x be (d/(-10))/(12/(-30)). Solve 5*r + 3*g + 4 = -x, 0 = r + 2*g + 7 for r.
1
Let c(r) = -4*r**2 + 13*r. Let w be c(3). Solve -2*l = -2, -w*b + b = l - 7 for b.
3
Let k(t) = -t**2 + t + 3. Let m be k(0). Suppose 0 = -u + m*u - 10. Solve -n + 5*z + 3 = 0, 3*n + 10 = z - u*z for n.
-2
Let v = -2 + 3. Let z = -3 - -3. Solve -m - 7 = -2*x + v, 3*x - 3*m - 9 = z for x.
5
Let y(i) = -5*i + 6. Let b be y(-5). Let o = 53 - b. Suppose o = 4*n - 30. Solve 5*s + 13 = -3*h, -6*s + 5*