 for i.
4
Let c(i) = i**2 + 2*i. Let s(z) = -z**2 - z + 4. Let g be s(-3). Let u be c(g). Solve u = 4*n - 3*b + 4 + 4, -2*n - 2*b = 4 for n.
-2
Let d(p) = p**2 - 6*p - 2. Let x be d(6). Let v be (-3)/x + 7/14. Solve 3*g + 0 = 6, -v*c + 4*g + 2 = 0 for c.
5
Suppose a + 1 = 3. Suppose -2*q = 4*t - 28, -2*q - 2 = -0*t - a*t. Suppose q*f + 4 = 5*f. Solve x - z + 7 = -3*x, x - f*z = 2 for x.
-2
Suppose 25 = b + 4*b. Solve -4*l = -4*k, -14 = 3*k - b for l.
-3
Let q be (0 + (-1)/(-2))*-4. Let t be (q/(-4))/(4/16). Let f(h) = 3*h**2 - 1. Let r be f(t). Solve -r = -4*z + 5*g, 2*z - 4*g - 17 = 7*z for z.
-1
Let a = 5 + -2. Solve 7*g - 2*g + 22 = -a*d, 2*g = 5*d + 16 for d.
-4
Let h(d) = d**3 - 7*d**2 + 7*d - 4. Let u be (24/(-60))/((-2)/30). Let c be h(u). Solve 0 = -k + 5*k + 4*t - 20, 5*t = c*k - 10 for k.
5
Let l = 0 - -2. Suppose -1 = -j - l. Let p = 1 + j. Solve p*v - v - 5 = c, c - 1 = 5*v for c.
-4
Suppose -n + 19 = -2*y, -15 = -2*n - 5*y + 5. Solve -5*u - 9 = 3*q, 5*q + n = 6*u - 2*u for u.
0
Let h be -3 - (1 - 18/3). Solve -2*z + 3*t = -12, -6 = -2*z + t - h for z.
0
Suppose -10 = -9*w + 4*w. Suppose 24 = 3*o - 3*x, -x = o + w*x - 24. Solve -4 = -d + 2*m - 6, -4*m - o = 2*d for d.
-4
Let i(f) = -f**2 - f**2 + f**3 + 2*f**2 + 4 - f**2. Let l be i(0). Solve -4*t - c + 1 = -2, 28 = 4*t - l*c for t.
2
Let q(t) = -t**2 + 22*t + 34. Let n be q(23). Solve 5*g + 0 = -b - 17, -2*g = -b + n for g.
-4
Let d = 4 + 1. Suppose -5*t = w - d*w + 9, -14 = w + 2*t. Let u(x) = -x**2 - 3*x + 4. Let l be u(w). Solve 3*o - 3 = -3*b, l*b + 9 = o - 3*b for o.
3
Let n(m) = -2*m - 25. Let i be n(-14). Solve 3*l + 11 = 4*g + 3, -i*l = 3*g + 15 for l.
-4
Suppose 0 = 5*v + 5*x + 20, 8*x - 10 = 3*x. Let d be v*(2 - 7/3). Solve -g + 4*g + 2*m = -5, -d*g + 3*m = -14 for g.
1
Let w be (5/(-2))/((-5)/(-10)). Let t = w - -8. Suppose 49 = -5*o + 2*u + 253, 0 = o - t*u - 46. Solve 5*h - 10 = 3*r, -4*r = -9*r - 3*h + o for r.
5
Let n = -24 + 46. Solve -2*o = 4*v + n, -4*o + 10 + 1 = -3*v for v.
-5
Let p = 27 + -23. Solve 5*t = p*y + 19, 5*y + 14 = -2*t + 5*t for y.
-1
Let x = 9 + -5. Suppose x*g + 1 = -t, 3*g + t + 10 = 8*g. Solve 2*h = -d + g, -3*h = 4*d + 2*h - 4 for d.
1
Let m be (-4)/6 - 4/(-6). Let n be m + 1 - (-3)/1. Let a be 22 + -1 + 5/5. Solve n*o + 6 + 0 = 5*h, 5*o + h = -a for o.
-4
Let y(j) = 5*j - 1. Let l be y(7). Suppose -5*g = 3*s - l, 0*g + 21 = 3*g + 2*s. Solve -4*h - 3*w + 18 = 0, 3*h - 5 + 6 = g*w for h.
3
Let r(n) = n**3 - 4*n**2 - n + 2. Let s be r(5). Suppose 5*t - 7*t = -s. Solve 6*y - c + t = y, c = 1 for y.
-2
Suppose -5*c + 3 = -62. Let n = c + -5. Solve 0 = -2*x + a - 0*a - n, 0 = a - 4 for x.
-2
Let l be 2 - 2 - (3 + -7). Solve -w = -l*w - 3, -4*q + w - 11 = 0 for q.
-3
Let a = 46 - 33. Solve 2*u = -5*b + 1, 4*b - u - 2*u + a = 0 for b.
-1
Let c be 57/9 + (-2)/6. Let r be c/1 + -6 + 5. Solve -4 = 2*x + 3*o, 5*x + o - 36 = r*o for x.
4
Suppose -5*j = -10, 2*j + 34 + 18 = 4*s. Solve -3*h - 4*r = 23, 3*h + 3*r + s = -7 for h.
-5
Let i = -6 + 26. Solve 5*j = 5*y + 25, -4*j + i = 6*y - y for j.
5
Let p(h) = -h**2 + 20*h - 34. Let n be p(18). Solve -2*g - 2*g - n*i = 26, -24 = g + 4*i for g.
-4
Suppose 5*h - 40 = 13*i - 16*i, -h = -5. Solve 3*n - 35 = i*x - 2*n, 0 = -n + 3 for x.
-4
Let d(u) = -u + 9. Let i be 6/(4/(-3) - -2). Let n be d(i). Solve b = -5, -b = -j - n*j + 1 for j.
-4
Let f be (-27)/21 + 6/21. Let s(q) = -3*q - 1. Let d be s(f). Solve 0 = 3*m - 3, -j + 4 = 6*m - d*m for j.
0
Suppose 0*j + y = -4*j - 156, 2*j - 3*y + 64 = 0. Let x = j + 64. Solve x = -4*p + 2*c, -p + 5*c = -4*p + 13 for p.
-4
Suppose -3*j = -8*j + 15. Let m be -14*1/(-2) - j. Solve 0 = m*z + 16, -4*q - 5 - 7 = z for q.
-2
Let h(a) = 2*a - 2. Suppose -15 - 5 = -4*s. Let l be h(s). Suppose -l = -3*w - 2. Solve 7*m - 3*m + 18 = w*r, 4*r = 5*m + 24 for m.
-4
Let c = 9 + 0. Suppose -4*v + 3*q - 10 = -c*v, 3*v = q + 20. Let x(s) = -s**2 + 2*s + 5. Let f be x(0). Solve -b = -0*b, v*w + 2*b = -f for w.
-1
Let g be (-2)/(-10) + (-3)/((-105)/98). Solve -3*m + 4*k - 6 + 0 = 0, g*k = 2*m + 4 for m.
-2
Suppose -2*a + 13 = a - d, 0 = -4*d + 8. Suppose a*s = s + 48. Suppose w + s = 2*w + 5*r, 0 = 3*w - 3*r. Solve -2*m - 5*b = m - 5, w*b + 4 = 0 for m.
5
Let o be (-1)/(-2) + (-9)/(-2). Let m = 213 + -199. Solve 0 = o*s - z, 4*s = -3*z + z - m for s.
-1
Suppose -22 = -4*q - 2*i, -26 = -2*q - 3*q - 2*i. Suppose -3*x - 55 = -4*w, 22 = 2*w - 0*w + q*x. Solve -2 = -2*f + 3*f + 5*y, -5*f = 2*y - w for f.
3
Let a be (-148)/(-18) - 4 - (-4)/(-18). Solve f = -2*h + 3*h + 5, -a*h - 23 = -5*f for f.
3
Suppose -7*d = -5*d - 8. Suppose -d*f = -2*f - 10. Solve f*p + 4*k - 2 = 0, 4*p + 0*k = k - 11 for p.
-2
Let a(f) = f**3 - 6*f**2 + 7*f - 6. Let s = -5 - -8. Let x = s + 2. Let g be a(x). Solve -3*m + 7 = -5, -g*o - 2*m - 8 = 0 for o.
-4
Suppose -4*g = -3*o - g + 15, -2*o - 2*g = 10. Let m be (1 + -1 - -2)*-1. Let v = m + 2. Solve v = 3*f - o*f + 4*r - 32, 5*r = -3*f + 37 for f.
4
Suppose -3*g + 3*n = -39, -13 = 5*g + 3*n - 118. Let m be (-1 - 24/(-9))*3. Suppose -m*a + 2*a + g = 0. Solve 3*f = 3*o - 6, -2*o = -0*f + 3*f + a for o.
0
Let z be (-1)/(-4) + 20/(-80). Suppose 21 = -z*s + 7*s. Solve 3*a + 0*a - 4 = -b, -s*b - 18 = -a for b.
-5
Let w(q) = 9*q - 3. Let u be w(2). Suppose -2*y = y - u. Let g = y + -3. Solve 8 = 2*z + h + g*h, -2*z + 2*h - 2 = 0 for z.
1
Let l(q) = -7*q. Let y be l(-5). Suppose j = 5*p + 6*j - y, -3*p - 4*j = -25. Solve 15 = v + 4*i, 0 = -3*v - 4*i + 2 + p for v.
-5
Suppose -5*v - 6*z + 40 = -z, 4 = v - 3*z. Let x(n) = n. Let o be x(v). Solve 0 = 3*d + 12, 3*r = o*r - 2*d - 8 for r.
0
Let k be ((-6)/10)/((-3)/15). Let x(p) = -p + 6. Let d be x(k). Suppose 4 = 5*w - 6. Solve -d*a + 12 = 0, a - w = -2*f + 2 for f.
0
Let o(k) = -3*k**3 + k**2 + 4*k + 3. Let w be o(-1). Solve 3*y - 5*d - 3 = 0, w*d = -2*y - d - 20 for y.
-4
Let b(d) = -d**3 + 7*d**2 - 6*d - 1. Let c be b(6). Let h = 15 - c. Solve -2*g + 2*q + h = 3*g, -2*g - 4*q + 16 = 0 for g.
4
Let r = 67 - 61. Solve -15 = 3*z + 3*d, 0 = 4*z - d + r*d + 25 for z.
0
Let u = 1 - 1. Suppose 12 = -u*j + 4*j. Let c(y) = y**2 + 2*y + 3. Let x be c(-2). Solve j*p = -3*k - x, -k = -0*p - 2*p - 11 for p.
-4
Let d(g) = g**2 + 6*g + 4. Let q be d(-6). Let a = 12 - 8. Solve -3 = 3*j - a*j, -16 = u - q*j for u.
-4
Suppose -4*j - 5 = -2*w - 15, 2*j - 3*w = 7. Solve -5*n + j*z - 23 = 0, 0*n + 4*n = z - 16 for n.
-3
Let p be (-29)/(-9) - (-8)/(-180)*5. Solve -5*b + 4*t + 2 = -p*b, 3*t + 4 = -b for b.
-1
Suppose -2*r - 26 = -4*l, -3*l + 9 = -r - 0*l. Let n be 2/7 - 99/r. Solve 2*h = 5*x - 5, -29 = -2*x + 6*x + n*h for x.
-1
Suppose -6 = 3*k - 18, 3*p + 4*k = 22. Suppose b = 1 + 11. Suppose p*q - b = q. Solve 3*c - q = 0, 0*c = -4*n - 3*c + 20 for n.
2
Suppose 5*d - 3 - 32 = -5*w, -2*w + 6 = -2*d. Let r(l) = -3*l**3 + l**2 - l - 1. Let s be r(-1). Let b be (8/12)/(s/6). Solve -y = -k - 2, -y = -d*y + b for k.
-1
Suppose l - 11 = -3*x, -2*l + 29 = 5*x - 3*l. Solve 3*u + 4*o + 4 = 0, -x*u - o - 16 = o for u.
-4
Let g(w) = w**3 + 11*w**2 + 8*w - 18. Let z be g(-10). Solve -3*o = -z*i + 4, 2*i = 6*i - 2*o for i.
-1
Let w = 18 - 14. Solve 16 = -l + w*g, 0*g + g - 11 = 2*l for l.
-4
Let x = 30 + -24. Solve q = 0, -x*f = -f - q for f.
0
Let k be (-8)/6 - (-30)/9. Solve -k*x - 11 = -i, i = -i - x + 2 for i.
3
Let w = 34 - 22. Let b = 18 + w. Suppose -4*t - 5*t = -18. Solve -g = 5*r - b, r = -t*r - 2*g + 25 for r.
5
Let a be (-1)/(5/((-30)/(-16)) + -3). Solve 0 = -a*p + 2*p + 4*j + 1, 3*p = j + 3 for p.
1
Let a = -9 + 16. Suppose 3*i + 1 - a = 0. Solve -i*m + 0 = 2, -t - 4*m = 1 for t.
3
Let q(z) = -z - 9. Let f be q(0). Let o = f - -12. Suppose o*d = 7*d. Solve -4*x + 3 = -d*j + 5*j, 0 = -4*x - 3*j + 5 for x.
2
Suppose 2*o - 9 = -o. Let i(b) = 14*b**2 - 2*b - 1. Let w be i(-1). Suppose -2*h = -5*h + w. Solve 21 = -h*d - 4*n, -o*d = -2*n - 7 + 2 for d.
-1
Let t be 0*((-15)/6)/5. Suppose -3*d + 0*d = t. Solve -5*c - 2*b = d, c - 2*b = b for c.
0
Let a be 7/3 - (-36)/54. Solve 2 = 4*h - 2*h, a*y + 12 = 3*h for y.
-3
Let d(g) = -g**2 + 7*g - 3. Let j be d(6). Solve 3*y - 3*c = 9, j*y + 0 = 2*c + 7 for y.
1
Suppose -4*b = -7*b + 12. Solve a = 2*x - 3, 3*x + a - b = 3*a for x.
2
Let k(w) = -3*w + 10. Let t(v) = -4*v + 9. Let l(h) = 5*k(h) - 4*t(h). Let b be l(-