 for i.
2
Let h(r) = r**2 - 11*r + 11. Let b be h(11). Suppose -b = -4*d - 3. Solve 4 = -4*a, -d*o - 11 = -0*o + 3*a for o.
-4
Suppose u = 2*l + 3*l + 11, -3*u - 2*l - 18 = 0. Let p be (-6)/(-9) + u/(-3). Suppose 120 = 4*s + s. Solve o - p*q = -12, -o + 5*q = s + 3 for o.
-2
Suppose 2*y - 6 = -4*y. Let q(j) = 7*j - 2. Let w be q(y). Solve -20 = d + w*a, -3*a - 10 = 4*d + 2 for d.
0
Let z = 4 - 2. Solve -3*g = 4*q + 3 - 5, z*g = -3*q + 2 for q.
2
Let v be ((-3)/(-9))/(4/24). Let h = 6 + v. Solve -5*q - 2*y - 5 = 3, -2*y - h = 4*q for q.
0
Suppose -2*l + 2*u = -12, 4*l + 3*u = 6 - 3. Suppose 0 = l*v, -2*v + 0*v = f - 3. Solve 2*j - 5 = -f*j - 5*x, 2*j + 3*x - 3 = 0 for j.
0
Let m(w) = 16*w**2 - 2*w + 1. Let h be m(1). Solve 4*a + h = a, -17 = -3*r + a for r.
4
Let z(s) be the second derivative of s**5/20 + s**4/6 + s**3/6 - s**2 + 4*s. Let v be z(2). Solve 20 = -5*r - u, 0 = 6*r - 2*r - 5*u + v for r.
-4
Let q be (-16)/(-6)*27/18. Solve -3*w + 0*w + 17 = 5*i, 0 = w + q*i - 8 for w.
4
Suppose -4*s = 1 - 17. Solve 0 = 3*r - 2*r - k, -5*k = s*r for r.
0
Suppose 3*r - 2*r + 43 = 2*j, 5*r - 5 = -j. Let g be 20/6*72/j. Suppose -g = -4*t + f, -5*t + 4*f + 19 - 4 = 0. Solve 0 = t*m - 2*x - x, 0 = -3*x - 9 for m.
-3
Suppose 18 - 8 = 5*j. Suppose -j*n = -5*a - 39, -a - n = 3*a + 39. Let p = -5 - a. Solve 0 = -2*f + g + 1 + 2, -p*f = -g - 3 for f.
0
Suppose -n = 5*q - 6*q - 1, 10 = 5*q - 2*n. Solve z + 2*z = w - 11, -w - q*z - 3 = 0 for w.
5
Let b be (-4)/(-18) + 32/18. Let f = 2 + b. Solve -3*z + 3*n + f = n, 2*n + 2 = 2*z for z.
2
Let q = -1 - -3. Let n = -588 - -591. Solve -h + 5 = -2*s - q, 7 = n*s + 2*h for s.
-1
Let s(i) = i + 4. Let w be s(-4). Suppose 7*l - 11*l + 16 = 0, 6 = -5*m + 4*l. Solve -4*j + p + m + 5 = w, j - 2*p = 0 for j.
2
Let t = 3 + -10. Let v = -2 - t. Suppose v*r - 6 = 4. Solve 0*i + i + 8 = 2*l, 8 = -3*i + r*l for i.
0
Let a(f) = -10*f - 30. Let g be a(-5). Solve 5*d + 4*r + 16 = 0, r + 3*r = 4*d + g for d.
-4
Let z(f) = -2*f + 12 - 2*f + 5*f + 0*f. Let h be z(-8). Solve -2*k + 3 = j + 9, 4*k + 4*j + h = 0 for k.
-5
Let g = -38 - -41. Solve -15 = 2*q - 5*z, -g*q + 1 = -4*z + 6 for q.
5
Let n(u) = -3*u - 5. Let v be n(-4). Let o(x) = x - 6. Let p be o(v). Let c be p + (-1)/(-1) + 1. Solve 3 = s + 2*i - 0, s + 17 = c*i for s.
-5
Let n(f) = f**3 - 2*f**2 - 2*f + 1. Let z be n(2). Let x be 1 + 3/z + 2. Solve 5*p - 2*c - 3 = 0, p + x*p - 5*c + 2 = 0 for p.
1
Let r be 4/(-6) + 6/9. Suppose r = -6*v + 5*v + 10. Suppose 2*t = 2*u + v + 2, -12 = 2*t + 4*u. Solve 5*q + 0*q = -2*a + 31, 2*q = -t*a + 16 for q.
5
Let v be -3 - 2*-2*2. Suppose 11 + 4 = 5*a. Solve -4*z - v*h = -a - 3, z = h - 3 for z.
-1
Let j(t) = -3*t - 2*t**2 + t**2 + 2*t**2 - 7. Let i be j(5). Suppose i*p = 2*p + 5. Solve p*v + o = -21, -2*v + 2*o - 5*o = 11 for v.
-4
Suppose 4*c - 3*y = 2*y + 20, -3*y + 20 = 4*c. Let r(w) = -2*w + 5. Let o be r(-14). Solve -s + 2*t - 3 = 0, 0 = -c*s - t - t + o for s.
5
Suppose 2*z - 22 + 0 = 0. Let t be 4/5*(-40)/(-16). Solve -5*l + 1 = -3*b, -4*l + z = -b + t*b for b.
3
Let i = 69 + -67. Solve i*s - 9 = m, -5*m - s = s - 3 for m.
-1
Suppose -2 = g - 5. Let x be (-3 - 3)*-1 - g. Suppose -2*b + 9 = c, -2*b + x*c - 12 = -3*b. Solve 5*q = -b*n + 37, 20 = q + 3*q for n.
4
Suppose -b = 3*b - 44. Solve -3*w = -3, 5*w + 4 = -2*u + b for u.
1
Suppose -2*v + c = -3 - 1, 4 = 2*v + 4*c. Let u(k) = k**2 - 2*k + 2. Let y be u(v). Solve -a + 24 = -2*a + 4*l, y*a + 2*l - 2 = 0 for a.
-4
Suppose 8*k - 4*k + l = 10, 7 = -k - 5*l. Solve -3*h - 23 = -4*y, -4*y + 28 = y - k*h for y.
5
Let p = 2 + 0. Suppose 4 = -3*c - 4*r, -r = c - 3*r - p. Solve 3*m + 2*d - 16 = c, -2*m + 3*d - 26 = -7*m for m.
4
Let a = 12 + -8. Solve 5*t + a*r + 5 + 6 = 0, -4*t = 3*r + 8 for t.
1
Let s = 1 - -8. Let t(u) = u**3 - 10*u**2 + 10*u - 11. Let d be t(s). Let k be 3 - (0 - (-1 - d)). Solve 0 = 5*g - 5*r - 15, -4*g + r = -k - 2 for g.
1
Let c = -2 + 4. Let w be -10*(2/4 - 2). Suppose 5*v - 40 + w = 0. Solve 0 = -x + 2*m - c + 9, 0 = 2*x + v*m + 13 for x.
1
Suppose 2*r - 3*z = 49, z = -3*r + 4*r - 22. Solve 5*i - 7 = -2*d - r, -10 = -2*i + 2*d for i.
0
Suppose 6*u - 24 = -0*u. Solve 0*m + u*m - 21 = -5*n, -2*m + 3*n + 5 = 0 for m.
4
Let f be (3 + -1)*(-1)/(-2). Let h be f*(2 - -2) + -2. Solve -7 = -k + 4*i, 4*k - h*k = i for k.
-1
Suppose -7*h + 2 = -26. Suppose 0 = m - 37 + 8. Solve -4*g = -h*w - g + m, 0 = -5*w - 3*g + 16 for w.
5
Let c = -22 + 25. Solve -4*l = l + 2*j - 7, 0 = 4*l - c*j - 1 for l.
1
Let w = 92 + -87. Solve -3*x = 4*q, w*q - 3*x = x for q.
0
Suppose 16 = 17*z - 16*z. Solve 3*d - y = z, -2*d - y + 3 + 1 = 0 for d.
4
Suppose z - 23 = -z - s, 5*s - 34 = -z. Solve 4*a - 8*f = -3*f - 31, -z = -3*f for a.
-4
Suppose 0 = -5*q - 2*u + 5, 2*q + 14 = -7*u + 3*u. Solve 2*r = r + 4*m - 4, -3*r - 3*m + q = 0 for r.
0
Let j = 5 - 3. Suppose j*l = -k, -l = k - 0*l - 2. Solve 3*p - 8*b + 4*b - 18 = 0, -k*b = -5*p + 22 for p.
2
Let k(t) = t + 3. Let h be k(3). Solve -4 + h = -f + 4*s, -3*f - 6 = 3*s for f.
-2
Suppose 3*s = 6*s + 6, -4*l - 34 = 5*s. Let v = -3 - l. Solve -z - 8 = 2*z - d, 16 = -v*z - d for z.
-4
Suppose -4*w - 33 - 3 = 0. Let y be ((-2)/(-3))/((-2)/w). Let i = -3 + y. Solve 2*k - 3*h = -16, i = 2*h - 12 + 4 for k.
-2
Let d be 0 - 2 - (-3 - 1). Let p be 44/12 - d/(-6). Solve -3*j = -6*j + t - 1, p*j - 4*t = -12 for j.
1
Suppose -5*v - 2 = -12. Let m(s) = 5*s + 8. Let d be m(-6). Let y be (-436)/d + (-8)/(-44). Solve -v*f + 5*t + 2 + 6 = 0, -5*f - t + y = 0 for f.
4
Let h(l) = l**3 - 8*l**2 - 8*l - 7. Let j be h(9). Suppose 0*o = -5*o + 20. Solve -5*f + 3*m = 7*m - 13, 0 = -j*f + o*m + 22 for f.
5
Suppose -4*v = -5*j - 37, 0*v = -5*v - 2*j + 5. Solve -v*o - 21 = -2*q, o - 4 + 6 = -q for o.
-5
Suppose -4*d + 35 = 3*b, 4*d - 24 - 20 = -4*b. Suppose -b = -5*y + 2*y. Solve -2*x = -4*l + 4, 4*l + 0*x = -y*x + 14 for l.
2
Suppose 2 = 3*v - 4. Suppose -v*g + 3 + 29 = 0. Suppose 0 = 2*i + 2*i - g. Solve -h + 0*h = i*o - 4, 3*o - 3 = 4*h for h.
0
Let r be (-26)/(-7) + (-6)/(-21). Suppose 0 = 3*p - 17 - r. Suppose -4*d + 5*u + 37 = 0, -5*d = 4*u - 2 + p. Solve -5*h + l = 5*l, h = -d*l for h.
0
Suppose 0 = 2*o - 2*k - 15 + 7, 4*o + 2*k - 40 = 0. Solve -f - 3 - o = 4*t, -f - t = 2 for f.
1
Let g be -2 + 5 - (-1 + -1). Solve 5*h = g*x + 9 + 11, 5*x + 16 = 3*h for x.
-2
Suppose 0 = -4*x + 7*x - 9. Let q be (3 + 0)/(x/2). Solve 0 = -8*i + 3*i - q*g + 12, 2*g - 6 = -2*i for i.
2
Let y be -3 + (-33)/(-9) - 44/(-6). Solve 4*a = -4*u + y, u - 3 = -6 for a.
5
Let f(g) = g**2 - 4*g - 4. Let i be f(4). Let l = i - -6. Solve 0*a + 2*m + 8 = l*a, -4*m - 20 = 0 for a.
-1
Let y(x) = x**3 + x**2 + 3. Let s be y(0). Suppose 7*n = 5*n + 16. Suppose 20 = n*i - 3*i. Solve 2*t - 9 = -s*z + i*z, -z + 3 = 4*t for z.
-5
Let g be 3 + -2 - 3 - -2. Suppose 0 = 5*w - 4*w. Suppose g*v + v = w. Solve 2*s + 8 = 4*a, 2*s + a + 0*a + 8 = v for s.
-4
Let j(t) = t**2 + 5*t + 2. Let m be j(-5). Suppose 2*q - 36 = -2*c - 10, 2*q = 2*c + 10. Solve -5*w - q = -p, -m*p - 5*w = p + 13 for p.
-1
Suppose -d + 9 = -s - 4*s, 15 = 3*d - 3*s. Suppose 4*w - 71 = -3*h, -d*h - 48 = -3*w - h. Solve -2*b = -3*j + 1, j - 2*j + w = -4*b for b.
-5
Let h be (-2)/(-6) + 1/(-3). Let y = -2 + 5. Suppose h*m = -m + y. Solve 4*w - 4 = -5*o, 4*w - 3*w = -m*o + 1 for w.
1
Let f(v) = -v - 17. Let m be f(-20). Solve -2*z + 7 + 5 = -2*r, 2*r + 13 = m*z for z.
1
Let l = -50 + 122. Suppose -4*j + 31 + 53 = -2*n, -l = -4*j - 4*n. Solve -4*f + 5*u + j = -3*f, 0 = -2*u - 8 for f.
0
Suppose 10 = -0*g - 2*g - 4*y, 5*y = 4*g - 32. Suppose -7*x = -g*x - 20. Solve 0*z - 3*i = z - 2, x*i = 10 for z.
-4
Let a be 6/(1 - -1) + 6. Solve -4*b - 12 = i, 0*i - 3*b = -i + a for i.
0
Let x(h) = -6*h + 4*h - 8 + 6. Let f be x(-3). Let z(n) = 19*n**2 + 2*n. Let l be z(-1). Solve -2*u + 14 = 4*v - 0*u, -3*v - l = -f*u for v.
1
Let i(o) = -3*o - 47. Let d be i(-22). Solve -1 = q + 5*u + d, 2*q - 20 = 5*u for q.
0
Let v be (-1)/(-1*(-2)/(-6)). Solve -r = -3*a - 16, -r - 11 - 3 = v*a for a.
-5
Suppose -4*t - t + 2*o - 31 = 0, -5*o - 17 = t. Let r = t + 10. Solve 2*y - 1 = 4*y - 3*c, -r = y + c for y.
-2
Suppose -4*g = -2*f + 22, -f + 2*g - 19 = -2*f. Suppose 3*x - 21 = -4*q, -4*x + 9 = q - 6. Solve 2*m = -5*i, -i - 2 + f = q*m for m.
5
Let y(o) = o**3 + 4*o**2 +