-9 for i.
3
Suppose 3*n + 56 = -n. Let r = -10 - n. Solve -5 = y, -4*k - k + r*y = -40 for k.
4
Suppose 2*j + 31 = -4*v + 1, -v - 7 = j. Let s be v/(-3) + 3/9. Solve 3*p + 4*i + 14 = s*i, 5*p + 3*i + 30 = 0 for p.
-3
Let n = -4 + 3. Let u = n + 4. Let m = -7 + 15. Solve 4*o + 5 = 5*b - m, 30 = 5*o + u*b for o.
3
Let l be (-4)/(-14) - (-2)/(-7). Solve 5*z - 15 = -3*u, l + 10 = 2*u - 2*z for u.
5
Suppose -4*g - 4 = 4*f, -4*g + 0*f - 14 = 2*f. Let a = g - -9. Solve v + 11 - 1 = 3*o, 0 = -5*v + a*o - 2 for v.
2
Suppose 2 = r + 5. Let l = 5 + r. Solve 5*a = 6*n - n - 5, l*a + 2*n = -10 for a.
-3
Let c = 18 - 8. Suppose 5*j - c = -2*k, 3*j = -3*k + 3 + 12. Solve -3*y + 3*n = 21, j*y + 23 = -4*y + 3*n for y.
-2
Let b be (12 - -3)/((-12)/8). Let x(k) = -2*k - 15. Let a be x(b). Solve 3*v - 3*m - 6 = 0, v = 2*v + a*m - 8 for v.
3
Suppose 11 = 5*n + 1. Let g(b) = -b**2 + 18*b - 61. Let c be g(5). Solve -c*m + 4*a + 11 = -m, 0 = m - n*a - 7 for m.
-3
Let h(d) = -d + 2. Let s be h(-5). Suppose -3*t - 1 = -s. Suppose -t*n + n = 0. Solve 5*f - 3*l = -26, n = 5*f - 2*l + 10 + 14 for f.
-4
Let c be (-5)/(15/(-4))*-3. Let t = c + 15. Solve o + t = 2*w, 2*w - 7*w + 32 = -4*o for w.
4
Suppose 0*i = -7*i. Suppose -b - 2*b + 24 = 3*n, -2*n = 5*b - 28. Suppose b*v = 16 - 0. Solve p = 3*p - 4*z + 4, i = v*p - 5*z + 8 for p.
-2
Let v be (-14)/(-6) - (-8)/(-6). Solve 3*k - 2 + 10 = c, v = -c for k.
-3
Let t(l) = -l**2 + 18*l + 19. Let c be t(19). Solve -2*v - 3*k - 5 = c, -3*k = -2*v - 2*v + 17 for v.
2
Suppose -2 + 5 = u. Let g be (-7 - -8)*0/2. Let t = g + u. Solve 2*p + t*b - 15 = 3*p, 15 = 3*b for p.
0
Let s = -5 + 7. Let n = 8 - 2. Suppose -2*b + 34 - n = 0. Solve 4*x = -s*w - b, 3*w + 4*x + 13 + 6 = 0 for w.
-5
Let f(p) = p**2 - 7*p. Let t be f(8). Let r be (-34)/(-9) + t/36. Solve -3*b + 4*b = -r*m - 3, 5*m + 3 = -b for b.
-3
Let c = -8 + 11. Let m(j) = -j + 5. Let d be m(3). Suppose 4*u - d*u = -5*g - 2, -4 = 2*g. Solve 5*y - c = -u*h, 0*y = y + 5*h + 12 for y.
3
Suppose 3*l + 0*l = 0. Let x = 11 - -1. Suppose 4*a - x = a. Solve 8 = -2*p + 4*i, l = a*p - 0*i + i + 7 for p.
-2
Let w(p) = -3*p - 11. Let d be w(-4). Let j be ((-18)/27)/(d/(-6)). Solve j = -4*z, -2*z = 3*s - 1 + 6 for s.
-1
Let p = -47 - -51. Solve -p*l - 1 = -3*w, 4*w - 14 = -2*l + l for w.
3
Let k be (-2)/(-2) - 4 - 2. Let o(u) = u + 9. Let v be o(k). Suppose -b = 5*y - 76, -16 = 4*y + 5*b - 60. Solve v*m + y = 0, 2*m + 3*m + 20 = 5*f for f.
0
Let d(a) = -2*a**3 - 4*a**2 - 2*a - 5. Let o be d(-4). Suppose -90 + 5 = -5*b - 5*x, -4*b = 3*x - o. Solve -b = 4*h - 8*h + 4*s, 6 = -h - s for h.
-1
Let i = -16 - -16. Solve i*y = x - 2*y - 12, -y = 2*x + 1 for x.
2
Let p be 0/2 + (-4 - -7). Solve p*m + 3*a = -15, 2*m - 18 = -0*m + 5*a for m.
-1
Suppose 2*c - 6 = -q, 3*c - 4*q = -0*c + 31. Suppose -4 = -c*b + 3*b. Solve o - b = f, -8 = -3*o + o + 3*f for o.
-2
Let y be (-1 - -1)/(-1 - 1). Let w(v) = -v. Let x be w(y). Let h = 2 - x. Solve 4*f - 2*b + 8 = 0, h*b + 0*b - 8 = -4*f for f.
0
Suppose -3 = 2*k - 1. Let g(u) = 29*u**2 - u. Let w be g(k). Solve 0*o + 45 = 4*o - 5*t, 2*t = 4*o - w for o.
5
Suppose 0 = m + 5*g - 24, 2*m - 5*m - g = -16. Solve l = 2*i - 0*l - 12, -m*i + l + 20 = 0 for i.
4
Suppose -4*v + 3*v = -1, 5*v - 45 = -5*x. Solve 5*g - 4*w = x + 2, 8 = 4*g + 4*w for g.
2
Suppose -5*g = -0*g - 10. Solve g*o + 33 = -y + 6*y, 3*y - 5*o = 35 for y.
5
Let h be (2 - 1)/((-1)/(-5)). Let t = 11 - h. Solve 3*o = -2*j + 4*o + t, -j + 5*o - 6 = 0 for j.
4
Let b = -25 + 28. Suppose -3*h + 26 = 5*j - 2*h, -b*j + h + 14 = 0. Solve 3*o + o - 7 = -j*v, 7 = -4*v + o for v.
-1
Let s be (-4)/14 + 4/14. Suppose 5*x - 4 = 4*u, -4*x - 3 = -3*u - 7. Solve -4 = 4*f - 2*r, -4*r + s = -4*f + u for f.
-3
Let w(k) = -k**3 + 3*k**2 + 2. Let o be w(3). Suppose -o = -3*s - c, c - 2 = 3*s - 0*s. Solve 2*v + s*v = -3*y - 20, -3*y + v = 8 for y.
-4
Let y be 2/(-5) - (-66)/15. Let h be (15/(-20))/(6/(-16)). Let n = h + 0. Solve -6*i + 2*i + x - 5 = 0, -y = -i + n*x for i.
-2
Let a be 72/5 + (-4)/10. Let n be 1 - (-1)/(2/a). Let h be 0/(1*(1 - -2)). Solve 2*i - 3*p = -h*p + n, -3*i + 3*p = -6 for i.
-2
Let z(d) = -d. Let l be z(-5). Suppose -2*k - 122 = -5*s - k, 5*s + 5*k - 140 = 0. Solve l*c = 5*p + s, 5*p + 3*c - 7 = 8 for p.
0
Let f(l) = l**3 - 6*l**2 + 6*l - 3. Let k be f(5). Suppose -3*a = k*a. Solve 2*p - 4*b = 10, a = 2*p + p + 2*b + 25 for p.
-5
Let m be 7 - (-1 - (4 - 4)). Solve 2*l + 4*v = -24, 3*l - 2*l = 3*v + m for l.
-4
Let x(z) = -z**2 + 12*z + 7. Let b be x(12). Let q = b - 0. Let j be 74/14 - 2/q. Solve j*g = 2*g + 3, 3*w = -4*g + 10 for w.
2
Let i be (-32)/(-10) - 9/45. Suppose -5 = -2*o - u - 2, o - 4*u = 6. Let r be 2 + (o - (3 + -1)). Solve -6 = -2*k + 4*k - 4*f, -i = -r*k - 5*f for k.
-1
Suppose -6*h + 8 = -2*h. Let b be ((-6)/2 + h)*-24. Let p be (0 - 0 - -5)/1. Solve -3*k - 4*i = -k - b, 5*i = p*k + 15 for k.
2
Let q be 0 + -2 + 2 + 3. Solve 1 = 5*j + q*v - 3, 0 = -2*j + 2*v - 8 for j.
-1
Let x be 0 - (2 - 1)*-3. Suppose -k + 8 = x*k. Solve -5*z + k*z = -3*h - 21, -3*z = h - 5 for h.
-4
Let v = 22 + -21. Solve 0 = -s + 5*b - 4, 2*s - b - v = 0 for s.
1
Let a(t) = 5*t + 3 - 2 - 2. Let v be a(1). Solve d + 4 = 3*d, -3*f + 4 = -v*d for f.
4
Let f be (3 - 1)/((-2)/(-4)). Solve 0*i + k = -3*i - 4, f*i - 4*k = 16 for i.
0
Suppose 9 = -0*y + 3*y. Let z(v) = v**3 - 4 + v + 2*v**2 - 6*v**2 + 4*v. Let u be z(y). Solve b = -4*s - 9, -u*s + b - 2 = -b for s.
-2
Let d be (32/(-12))/(4/6). Let x be d/10 - 176/(-40). Solve 6*r - 2*r = 3*k + 8, -x*k + 21 = r for k.
4
Suppose -5*b = -2*k + 4*k - 24, k = 2*b - 6. Solve 0 = -5*x - z - z - 25, 2*z - 2 = b*x for x.
-3
Let g = 40 + -21. Suppose -3*d + 6*d = -24. Let q = g + d. Solve 4*l + q = 3*m - 2, -3*m - 23 = 5*l for m.
-1
Suppose -49 = -4*j + 11. Suppose -9 = -3*x - v + 8, 0 = 4*x + v - 21. Suppose -2*s = -2*k - 14, -s + x*k - 5 = -3. Solve -2*b = -g + b - s, g + j = 4*b for g.
5
Let b(t) = 8*t - 9. Let v(s) = -7*s + 9. Let d(w) = -5*b(w) - 6*v(w). Let r be d(6). Solve -4*o = r*p + 9, 0*p - 5*o - 6 = 2*p for p.
-3
Let w(p) = p - 1. Let h be w(3). Let c(b) = -b**3 - 3*b**2 - 2*b - 4. Let v be c(-3). Solve 4*y = v*l - 12, 4*l - 4 = -y + h for y.
-2
Let g(h) = -h**2 + 7*h + 2. Let b be g(7). Suppose -8*u = -b*u - 12. Let l(p) = -3*p - 3. Let z be l(-2). Solve z*m + 2*m = 3*q - 16, 5*m + 4*q + u = 0 for m.
-2
Let c be 3/(4 + -1) + 2. Suppose c*x - 2*f - f = -3, -5 = -4*x - 5*f. Suppose w - 1 = x, r + w + w = 23. Solve o - r = -3*t - 2*o, -4*t = -2*o - 16 for t.
5
Let k(d) = 2*d + 5. Let z be k(0). Solve 19 = -3*t - z*q, 2*t + 2*q - 3*q + 4 = 0 for t.
-3
Let o = -17 - -17. Solve 0 = 4*p - 8, 3*k - p + 8 = -o*k for k.
-2
Let d = -2 - -6. Suppose -z = 3*k - 13, 0 = 3*k - d*k - 4*z + 19. Solve -5*c = 2*h - 3, -c + 7 = k*h - h for c.
-1
Let v = -56 + 56. Solve -y - 2 = -3*a, -3*a + 6 = -3*y - v*a for y.
-2
Let i = 4 - 4. Suppose -n + 2*t = -4, 5*t + 13 = n - i*t. Let q = 4 + n. Solve 5*z = -4*f - 11, q*z = -3*f + 5*z + 12 for f.
1
Let i = 3 - 5. Let h be (14/(-2) + -3)/i. Solve 0*w = -h*c + 4*w - 16, -4*w - 24 = 5*c for c.
-4
Let f = -7 - -11. Let u be (-4 + f)/(1*-1). Suppose u = -5*b + 4*y + 85, -4*b + 47 = -0*y + y. Solve 4*t = -5*l - 22, 5*t + 38 = -5*l + b for t.
-3
Let f(n) = -n - 7. Let r be f(-11). Suppose -14 = -5*c + 2*s, r*s - 7 = 2*c - s. Solve -h - 2*u = -c, 0 = -5*h + 5*u - 25 - 15 for h.
-4
Suppose -3*r + 2 = -5*m + 24, 5*r = -m - 18. Suppose -m*i = -3*i + 2. Let d(b) = 3*b**2 + 1. Let n be d(1). Solve -n*z - 5 = -i*s + 13, s = z + 5 for z.
-4
Let u(a) = -a**2 - 4*a + 2. Let q be u(-4). Solve 11 = q*f + 5*o, 4*o - 18 = 2*f + f for f.
-2
Let b be 1/(1/((-12)/(-3))). Solve -t + 8 = -2*q, -b*q + 2*t - 20 = -t for q.
-2
Let i(y) = 2*y**2 + 10*y + 2. Let w be i(-5). Solve w*r + 10 = 4*h, -4*r + 4*h + 20 = -8*r for r.
-5
Suppose k = -0*k + 5. Solve 0*t - 2*t - 5*s + 22 = 0, 1 = k*t - s for t.
1
Suppose 3*n - 8 = 2*n. Suppose n*a - 8 = 7*a. Solve -5*y - 31 + 7 = 2*i, -2*i - y - a = 0 for i.
-2
Suppose -k = -x + 2*x - 3, -4*k + 3 = -5*x. Suppose -5*r + 79 = -3*a, 3*a = r - 4*r - 39. Let u = -16 - a. Solve 5*d = 3*d + k*n - 2, 3*n = -u*d - 17 for d.
-4
Let j = -37 - -37. Solve 2*a + 4*n = j, -2*n + 0*n - 8 = 3*a for a.
-4
Let u = 6 + -5. Suppose 2*z - 3 = u. Suppose 7*