for i.
0
Let h(k) = k**3 + 6*k**2 + 6*k + 7. Suppose 0 = t + 2*t. Let o = -5 - t. Let v be h(o). Solve -v = -3*g - p, 4 = 5*g + 2*p - 0 for g.
0
Suppose -2*i + 15 = -25. Suppose 0 = -x + 1 + 2. Suppose -45 = -x*m - 0*m. Solve -5*g + m = b, -5*b = -5*g + 5 - i for b.
5
Let m be (-3 - -6)*(1 + 0). Let j be -5 + m + 1 + 3. Suppose 35 = j*x + 11. Solve -4*n = 4*b + x, b = -n + 2*b - 1 for n.
-2
Let o(u) = -u**3 - 20*u**2 + u + 22. Let y be o(-20). Solve 5*k - 10 = -0*k, 3*k - 2 = y*p for p.
2
Let f be (-477)/(-27) - 2/(-6). Solve -o = -3*m + 12, 6 = -5*o - 3*m + f for o.
0
Let q be (-2)/4*70/(-7). Solve 0 = -4*c + q*r + 37, c - 3*c = -4*r - 26 for c.
3
Suppose 0 = 5*k + k - 72. Solve -k = -v - 2*v + a, v - 17 = -4*a for v.
5
Suppose 10 + 1 = h. Solve 3*j = -2*g - 11, j + 4*j - h = 4*g for g.
-4
Let m be 1/(-2 + 46/24). Let y be (1 - 0) + (-1 - -6). Let x be m/(-10)*20/y. Solve -3*d - x*h = -7*d, -20 = 2*d + 3*h for d.
-4
Let w = 14 + -11. Solve 8*x - 21 = w*x + 4*v, 19 = -x - 5*v for x.
1
Let u = -11 + 17. Solve 0*p - 2*x - 8 = p, 3*x = -u for p.
-4
Let l(b) = -2*b**3 - 2*b**2 + 1. Let m be l(-1). Let j = m + 1. Solve -p + 2 = -2*w, 4*w + j*p - 4 = -0*p for w.
0
Let m be -19*(0 + -1)*1. Let f = -16 + m. Let t(v) = -v**2 + 7*v - 5. Let c be t(5). Solve 0 = -c*a + 2*b, -f*a + 4*b - 3 = 11 for a.
2
Let t be 30/165 + (-2)/(22/(-31)). Solve -w - 3 = -5*d, t*d + d + 6 = -2*w for w.
-3
Let t(s) = -13*s - 1. Let q be t(-1). Suppose j = 5*j - q. Solve -j*h = 2*g + 4, 0 = 4*g + h + h for g.
1
Let b = -2 + 25. Suppose 3*p = -2*j + b, -3*p - j = -p - 14. Solve 2*v = -p*f - 3, -8*v + f = -3*v + 21 for v.
-4
Suppose -3*t = -2*l - 2*l - 23, -3*l = -4*t + 12. Let v be (-2)/l - (-33)/12. Let y = 174 + -174. Solve -u + 2*c - v = y, -2*u + 4*c + 6 = 6*c for u.
1
Suppose 3*w = 2*a + 12, -5*a - 13 = -0*w + w. Let s be (w/(-1) - -2)/(-2). Solve 3*l - 9 = -2*r, s*r + r - 7 = -2*l for r.
-3
Suppose 4*f + 5 = 5*v + 3*f, v + 4*f = 22. Solve 5*m - 12 = -t, 2 = -5*t + v*m + 8 for t.
2
Let t = -4 + 10. Suppose 11*n - 175 = t*n. Solve -8*w + 4*w + 3*i = -7, 5*w + 5*i = n for w.
4
Suppose 5 + 5 = 2*v. Solve 5*i - 5 + 0 = -v*h, 3*i + 2 = 2*h for i.
0
Let o be 1/(4 - 108/28). Solve 3*d - 6 = a + 2*a, d + o = 4*a for a.
3
Let v(w) = 6*w - 16. Let x be v(5). Solve -p + 4*c = x, -3*p - 3*c + 4 = 1 for p.
-2
Let a(q) = -2*q**3 - 2*q**2 - q + 1. Let b be a(-1). Let d(y) = 3*y**2 - 1. Let h be d(1). Solve s - 9 = f + 6*s, b = -f + h*s for f.
-4
Let j = -8 + 12. Suppose n - 20*u = -22*u + 8, 0 = -3*u + 12. Solve -5*r - j = 4*x - 29, 4*r + 4*x - 24 = n for r.
1
Let t(d) be the second derivative of d**5/20 + d**4/6 - d**3/3 + 3*d**2/2 + 5*d. Let b be t(-3). Solve 5*u - q + 11 = b, 5*u + 3*q = -0*u - 27 for u.
-3
Suppose -p = n - 3 + 1, 0 = -p - 3. Suppose 4*s - 20 = -0*s. Let g be ((-3)/s)/(15/(-75)). Solve -g*a - n*y = -26, -10 - 10 = -5*y for a.
2
Let p = 19 - 9. Solve f = -6*d + d - p, 0 = -d + 4*f - 2 for d.
-2
Suppose y - 8 = -n, 28 = -0*y + 4*y + 3*n. Let o = 2 + y. Let x(p) = p**2 - 5*p - 2. Let d be x(o). Solve d*w - 4*j - 16 = 0, 0 = w + w + 3*j + 2 for w.
2
Let u(m) = -m**2 - 9*m + 6. Let o be u(-7). Solve 2*j + 5*c - 26 = 0, -4*c + o - 4 = 0 for j.
3
Let y(h) be the first derivative of h**4/4 - h**3/3 + h**2/2 - 7*h - 3. Let v be y(0). Let f = -3 - v. Solve 3*k + 4 = -3*d + f*k, -3*k = -12 for d.
0
Let m be (-32)/12*18/(-4). Suppose -5*j + m = -8*j. Let s be 1/2 - 6/j. Solve s*q - 2*x = -q, 2*x = 2*q for q.
0
Suppose 4*p - 3*p = 2, 115 = 5*j - 5*p. Solve 3*m + m + 5*o - j = 0, -3*m - 3*o = -15 for m.
0
Let r be 0 - 7/(14/(-4)). Solve 2*p + 5*m - 17 = 0, 0 = -6*p + p - r*m + 11 for p.
1
Let d = 3 - -1. Let h be (-2)/d*(1 + -1). Solve -5*t + s = -s + 15, -t - 3*s + 14 = h for t.
-1
Suppose -5*v - 18 = -8*v. Solve k - 6*t = -2*t + v, k + 4 = -t for k.
-2
Let o be (-1)/(-1 + 3 + -1). Suppose -5*n + 10*n = -20. Let y = o - n. Solve 0*a + 5*t + y = -2*a, 5*t = 5*a - 10 for a.
1
Let j(v) = 2*v - 5. Let z be j(5). Solve -4*g + 14 = k, 3*g = -3*k + z*k + 5 for g.
3
Let u be -3 - (1/3 - 200/15). Solve -f - 25 = 5*w, -3*f + f - 2*w = u for f.
0
Suppose 2*r = 63 - 13. Solve -c - 6 = 2*x - 0*c, -5*x - 5*c = r for x.
-1
Let t(w) = -w**3 + 4*w**2 + 4. Let a be t(4). Suppose -3*s = -0*x - a*x + 14, 28 = 4*s + 4*x. Solve -5*i + u + s = -0*u, -2*i + 4*u - 10 = 0 for i.
1
Let t be 18/24 - (-3)/(-4). Let q = 4 + t. Solve 3*d = -5*i - 37, -2*i + d - 22 = q*d for i.
-5
Let s = 5 + -3. Let g = s + 0. Suppose -g = 2*u - 12. Solve -f + 7 = -0*k + 4*k, -u*k = 3*f - 7 for f.
-1
Let f(z) = z + 2. Let l be f(-2). Suppose 2*n + l - 8 = 0. Solve -2*t = n*m + 8, t - 4*t - 9 = 5*m for t.
2
Suppose 13 + 1 = 3*g + d, 7 = 4*g - d. Let w(j) = -2*j + 3. Let k be w(-5). Solve m = g, -c + 2*m + m = k for c.
-4
Let d = 38 + -16. Let l = -15 + d. Solve u + 9 = -r, 0 = 4*u - l*u - 15 for r.
-4
Suppose 15 = 4*f + f. Solve 4*s - 4*a = -2*a - 28, -s + f = 2*a for s.
-5
Suppose -57 = -4*z + 27. Solve -6*m + m = -25, 5*m = 2*q + z for q.
2
Suppose 299 = -5*r - 96. Let d be 2/(-6) + r/(-3). Suppose -m + 2*z = -1, 0*m = -4*m - 3*z + d. Solve 21 = -3*x - 0*x + m*t, -4*t + 16 = -2*x for x.
-2
Let u be (105/(-28))/((-6)/8). Solve 4*v = -4*j, -u*j + 3*v + 20 + 12 = 0 for j.
4
Suppose 6*l - 18 = 5*l. Suppose 2*c + 4 = -4*b, 4*c + b + 13 = 5*c. Let d be (l/c)/((-2)/(-8)). Solve -y - d = 2*y + 3*n, n - 7 = 4*y for y.
-2
Suppose -2*c - 114 = -3*p, c = -0*p + p - 37. Suppose 4*a - a - 27 = -4*m, -m + 2*a + 4 = 0. Let d = m + -1. Solve -2*t - 19 = -d*u, 5*u - p = -6*t + t for u.
5
Suppose 0 = -2*b + k, -3*b + 0*k = 2*k. Solve -3*z + 3*u - 15 = b, 0 = -0*z - 2*z + u - 9 for z.
-4
Let z be 0 + (6 - (-3 + 4)). Solve 5*f + 19 = 2*d - 3*d, f = d - z for f.
-4
Suppose 5*d - 12 + 2 = 0. Let h(y) = y - 2. Let a be h(d). Solve a = -4*l - 3*s + 5 - 0, l - 4*s + 13 = 0 for l.
-1
Suppose -5*g + 42 = 32. Solve -x + 5*r - 3 = 3, -3*x = r + g for x.
-1
Suppose -6 = -9*k + 21. Let i(f) = -f**3 - 4*f**2 + 4*f + 4. Let q be i(-5). Let a = q + -3. Solve 3*y - 2*b = -k*b + 2, 0 = -y + b - a for y.
-1
Suppose 4*b + 8 = y + b, 4*y = 3*b + 14. Solve -y*a + 6 = -2*r, a + 3*r + 15 = -2*a for a.
-1
Let v = -57 + 71. Solve -3*o = -2*x + 11, 7 = -3*x - 3*o - v for x.
-2
Suppose -2*i = -i + 4. Let d be (-10)/i + (-1)/(-2). Solve 5*k = -4*f + 12, 0*k = 3*f + d*k - 6 for f.
-2
Let m = 13 - 8. Let f(y) = y**3 - 4*y**2 - 3*y - 7. Let o be f(m). Solve 15 = q - 5*j, -3 - o = 3*j for q.
5
Let d(u) = u**3 - 3*u**2 - 3*u + 1. Let s be d(4). Suppose 2*v - 4*v = -34. Suppose v = s*y + 2. Solve -3*j + 3 = -y*b, 5 = -2*j + 5*b - 2 for j.
4
Suppose -n - 3 + 10 = 0. Let l(u) = 2*u**2 + 2*u - 1. Let m be l(1). Solve 3*y - 15 + m = 2*a, -4*y - n = 5*a for y.
2
Suppose -2*y - 2*y = 92. Let b = y - -34. Solve 3*k + b = -2*u, 0*u = 2*k - 5*u + 1 for k.
-3
Let p = 0 + 15. Let t be 6 - (-5)/(p/6). Solve 3*k - 2*u + u = t, 0 = -2*k - 5*u + 28 for k.
4
Let z(v) = v**2 + 13*v + 25. Let s be z(-11). Solve 2*q + s = -3*t, -3*q + 5*t - 14 = -0*t for q.
-3
Let w(d) = -d**3 - 2*d**2 + 4. Let l be (-3 + 1)*(-6)/(-4). Let n be w(l). Solve 4*u + 18 = u + 2*k, -u - n = -3*k for u.
-4
Let n = -9 + 13. Solve 0 = -n*s + 16, -5 = -3*a + 3*s - 2 for a.
5
Suppose 4*h - 25 = 5*m, -5*m + 23 = 5*h - 3*m. Let k be (3 - h) + (-14)/(-2). Solve p - 4 + 14 = 3*x, 0 = -k*p - x - 2 for p.
-1
Let o = 39 - 19. Let k = o + -12. Suppose -5*v - k + 23 = 0. Solve 0 + 1 = v*d + x, 2*x - 2 = 3*d for d.
0
Let j = 11 + -6. Solve 0*u = -j*u + 5*g + 5, -4*g - 40 = 5*u for u.
-4
Suppose t + 1 = 2*t. Let f = -1 + t. Solve 4*z - 6*z + 5*q - 6 = f, 5*q - 15 = 5*z for z.
-3
Let g = 15 - 9. Suppose -2*z - 3*j + 23 = g, -2*z - 4*j = -16. Suppose 3*k = 2*k + 3. Solve 2*f - k*f = 3*l + z, 2*f = 2*l + 20 for f.
5
Let z be (-81)/(-5) - 12/60. Solve -5*l - 5*b + 4*b - z = 0, -16 = 3*l - b for l.
-4
Let v(k) = k**2 - k + 1. Let a be v(-4). Suppose -6*c = -11*c. Solve c = 4*u - 3*p + 18, a = -6*u + u + 3*p for u.
-3
Suppose -3*o - 9 = -6*o + g, -4*g = -2*o + 16. Solve 2*l + o = 5*z + 3, -3*l - 4*z = 10 for l.
-2
Let a be (3 - 14)*(2 + -3). Suppose -5*w + 36 = a. Solve 0 = -w*s, -4*s - 1 = 3*x + 8 for x.
-3
Let h be 248/56 + (-8)/(-14). Solve -6 = -3*o - j, j - 17 = -h*o - 3*j for o.
1
Let y = 5 - 1. Suppose -y*k - 5 = -17. Suppose -7*