for i.
5
Let t be (-1)/(-2) + 33/6. Let a = -3 + t. Solve b + 0 = -a for b.
-3
Suppose v + 5*d = 14 - 38, 0 = -5*v + 5*d + 30. Suppose 2*y - f - v - 6 = 0, 0 = -4*y - f - 1. Solve -2*j + y = -1 for j.
1
Suppose w = 2*w. Suppose w = -2*l - l + 9. Solve j - l = -0 for j.
3
Let r = -32 - -48. Solve -3*w = w - r for w.
4
Let c(s) = 8*s - 47. Let x be c(6). Solve 2*n - 9 = x for n.
5
Let b be ((-3)/(-2))/(1/2). Suppose -h = b*h - 24. Solve -h*t + 4*t - 2 = 0 for t.
-1
Suppose 14 = b + 5*d, 3*b + 2*d = -3*d + 22. Suppose -5*z = 2*h - 31, z + b*z = 5*h + 10. Solve -2*j - h*j - 5 = 0 for j.
-1
Let k be 6/(-12) - (-31)/2. Solve -3*y - k = -8*y for y.
3
Suppose 9*c - 4*c = 10. Suppose -5*q + 5 = 5*r, -r + 17 = -4*q + 1. Let t(m) = -m**3 + 6*m**2 - 7*m + 4. Let a be t(r). Solve 4*n - c*n = -a for n.
-4
Let f be (-3)/4 - (-75)/20. Suppose 8*v = f*v. Solve 3*h - 5*h = v for h.
0
Suppose 4*n - 5*n = -5. Suppose 5*z + 10 = n*j, -5*z = 2*j + 3*j - 40. Solve 4 = -z*g - 2 for g.
-2
Let s(d) = d + 1. Let g be s(4). Solve -7 - 13 = -g*c for c.
4
Let f(g) = -3*g. Let q be f(-4). Solve q = -m + 4*m for m.
4
Let j be 3*1*(-2)/(-3). Let w be (7/(-3))/((-8)/72). Suppose -g - 5*b - w = 0, -4*b - 20 = -0*b. Solve -g = z - j*z for z.
4
Suppose -4*r = -5*r - 13. Let n = -4 - r. Solve -4*o - n = -o for o.
-3
Let j = -2 - -6. Suppose -5*f = -d, 5*f = j*d + 4*f. Solve -2*z = -d - 4 for z.
2
Let z(d) = d**3 - 2*d**2 - 2. Let f(l) = l - 7. Let c be f(9). Suppose 7*b - 15 = c*b. Let u be z(b). Solve u*v = 4*v - 12 for v.
-4
Suppose -4*s - 12 = 4*f, 4 = s - f + 1. Let v be s/(1 - (-1)/1). Suppose -9 = q - 3*k, 3*q + k = q + 3. Solve 2*c + 2 + q = v for c.
-1
Let y(x) = -2*x**3 - 3*x**2 - 3*x - 3. Let u(r) = -r**3 - 3*r**2 + 4*r - 2. Let z be u(-4). Let b be y(z). Solve -4*v + 1 = -b for v.
2
Let y = -1 - 4. Let i be -1 - y - (-4 + 4). Suppose 4*o - 4 = i*x, -o - x = -0*x + 1. Solve o = 4*t + 4 - 0 for t.
-1
Let o(i) be the first derivative of -i**4/4 + 2*i**3 + i**2 - 9*i + 1. Let v be o(6). Suppose 0 = 3*p - 2*u - 7, u + 0*u = -v*p + 1. Solve g - 3 = -p for g.
2
Let n(m) = -10*m. Let g be n(1). Let w(x) = x**2 + 10*x. Let a be w(g). Let j = -11 - -14. Solve a = 2*b - j - 3 for b.
3
Let s be (4/6)/((-2)/(-9)). Suppose 2*w + 9 = 3*v, -5 = 2*v - s*v. Solve -w*d = -d for d.
0
Let p = 0 + 5. Suppose -6*d + 64 = -2*d. Solve -j + d = -p*j for j.
-4
Let w = 25 + 2. Suppose 3*v = 5*n + 1 - 23, 2*v = -5*n + w. Solve -v = -k - 6 for k.
-5
Let u = -2 + 4. Let t(r) = r**3 - 2*r**2 + 2*r - 2. Let y be t(2). Solve y*i = -4 + u for i.
-1
Suppose -5*q + 2*i - 3*i = 0, 0 = i. Suppose -3*z + 15 = 5*m, -z = -3*m + 5*m - 5. Suppose -n + 2 + m = q. Solve 2 = a - n for a.
4
Let g = -9 + 11. Suppose -2*p = b, -g*p - 2*p + 8 = 4*b. Solve 0 = c - b*c + 9 for c.
3
Suppose 0 = -8*m + 5*m + 9. Suppose 0 = -m*h + 5*h. Let s be (-6)/8*(0 + -4). Solve -s*w = -h*w for w.
0
Suppose 15 = 3*z - 0*z. Let a = z + -1. Suppose -5*o - 6 = -3*u, -a*u + 2*o = -6 - 2. Solve -6 = -4*l + u*l for l.
3
Suppose 5*k = -20, -2*k = -2*n + 2*k + 42. Solve 4*m = 7 + n for m.
5
Suppose m = -0*m + 1. Suppose 2*i + 5 = 3*i. Solve 0 = -i*f + 9 + m for f.
2
Let k(b) be the first derivative of -b**3/3 + 3*b**2 - 3. Let x be k(6). Solve x = 4*i + 19 + 1 for i.
-5
Let h be 3/(-2)*(-6 + 2). Let x = 6 - h. Solve x = -r + 2*r + 1 for r.
-1
Let o(a) = -8*a**3 - 2*a**2 - a + 1. Let t be o(-1). Let d(f) = -f**2 + 5*f + 2. Let h be d(5). Solve 2*z + h*z + t = 0 for z.
-2
Let q be ((-3)/(-2))/((-12)/(-64)). Let f(c) = -c**3 + 9*c**2 - 8*c + 6. Let k be f(q). Solve -k = -a - a for a.
3
Let j = 6 - 3. Let u(x) = -2*x**2 - 5*x + 2. Let h be u(-2). Let n be j/(0 - (-6)/h). Solve -1 = -w - n for w.
-1
Let t be (0*1/3)/(-2). Suppose k - 4*k + 9 = t. Suppose 4*p - 26 = -k*y, -5 = -5*p + 4*p. Solve -5 = -3*o + y*o for o.
5
Suppose -2*i - i = -12. Let u be ((-2)/3)/(5/(-30)). Suppose -u*v - 7 = l + 5, i*l - 4*v - 32 = 0. Solve l*m - 6 = 2 for m.
2
Let a(y) be the second derivative of y**4/12 - y**3 - 11*y**2/2 + 2*y. Let q be a(8). Let k = q - 2. Solve 0 = -k*c + 4*c for c.
0
Let u = -18 - -23. Suppose u*o + 2*a - 98 = 4*a, 3*o = -a + 61. Solve 0*c + o = 4*c for c.
5
Let x = -3 + 6. Solve -3*c + x = -6 for c.
3
Let b = -51 - -65. Solve b + 1 = 5*i for i.
3
Suppose 32 = 13*i - 5*i. Solve 24 - 4 = i*x for x.
5
Let k be ((-6)/(-7))/(32/112). Solve k + 5 = 4*m for m.
2
Let a(c) = -c**2 - 7*c - 6. Let b be a(-2). Solve -10 = b*u - 2 for u.
-2
Let h be (-1)/2 - 9/(-6). Suppose 4*o + h - 13 = 0. Solve 7*a - o*a = 0 for a.
0
Suppose -k - 5*d = 4 + 1, -21 = -3*k + 3*d. Solve k*q - 3*q + 6 = 0 for q.
-3
Let y = -1 - -1. Suppose y = 3*z - 7*z - 96. Let g = z + 44. Solve 3*r + g = -r for r.
-5
Suppose 0 = -0*l + l - 2. Suppose l*m - m = 10. Suppose -2*g = 4*c + m, g + 6*c + 8 = 3*c. Solve -z + g - 3 = 0 for z.
-2
Let d = 40 - 24. Let o(v) = -v + 12. Let b be o(0). Suppose -5*t + 10 = -5*q, -4*q + b = -q + 3*t. Solve 0 = 5*z - d + q for z.
3
Suppose -u = -4*u. Suppose 4*m - g - 17 = u, 2*m - 3*g = -4*g + 13. Let s be (4/(-6))/((-4)/12). Solve s*i = m*i for i.
0
Let l(g) = g**2 + 2*g - 1. Let x = 0 - -3. Suppose -3*m = -6*m + x. Let v be l(m). Solve -v*s + 1 = -s for s.
1
Suppose 2*k - 4*b - 10 = 0, 5*k + 8*b = 3*b + 10. Solve k*r = -r - 4 for r.
-1
Suppose -1 = 3*h + 5*n - 2, -3*h = n - 5. Suppose o - 30 = -h*v, -o = 2*o + v - 65. Solve 4*r = o - 4 for r.
4
Let s(g) = g**2 - g + 3. Let f be s(-3). Let y be (6/f)/((-1)/(-5)). Let u = 26 + -14. Solve -5*h + u - y = 0 for h.
2
Let d = 1 + -11. Let s = d + 12. Solve -s*b - 1 = -3*b for b.
1
Let d(s) = s**3 - 25*s**2 + 24*s. Let t be d(24). Solve t = -r - r for r.
0
Suppose -5*f + f = -2*h + 6, 0 = -3*f - 5*h + 15. Suppose 6*r - r - 75 = f. Suppose r = -3*x, 0*d + 27 = d - 5*x. Solve 5 = -w + d*w for w.
5
Suppose 2*l + 9 = 5*u, 0 = 5*l - 2 - 13. Suppose 3*d + 12 = 3*a, -d - 15 + u = -3*a. Let g be (-2)/(-8) + 15/a. Solve 4*x - 2*x = -g for x.
-2
Let u be 24/32 + 3/(-4). Let k(n) = -n**2 + 4. Let y be k(u). Solve 0 = 4*r - 6*r + y for r.
2
Suppose t - 2 + 1 = 0. Let v be (2 - t)/((-3)/(-9)). Suppose 0 = l - v*l + 16. Solve 0 = 8*x - 4*x + l for x.
-2
Let i(a) = -7*a**2 + 44*a - 10. Let d be i(6). Let v be ((-6)/(-4))/((-1)/(-2)). Solve -l = d + v for l.
-5
Suppose 3*w + 2*s = -3*s + 24, 0 = 3*w - 3*s. Let h(g) = -5 + 5*g + 2*g - g**2 + g. Let n be h(7). Solve -w = n*v + v for v.
-1
Let l be (9/4)/(12/64). Suppose -3*s + 3*t = l, 0 = -4*t - 0*t + 16. Suppose p = -s*p. Solve d + 3*d - 8 = p for d.
2
Suppose 5*o - 13 = -3. Suppose -m + 1 = -o*m. Let j = m - -2. Solve 2*y = -j - 3 for y.
-2
Suppose x + 3*y = -6, 4*x + 2 = 7*x + 4*y. Solve 4*v = v + x for v.
2
Let b = 12 - 10. Suppose -b*s + 13 = -7. Solve -s = -4*h - h for h.
2
Suppose 3*m - 39 = 2*w - 11, 5*w + m + 36 = 0. Let k = w + 23. Solve -h - k = 2*h for h.
-5
Let h be 2/(-3)*(-122 - 1). Suppose -27 = -5*q - 3*f + h, -3*q - 3*f = -69. Let p = 0 - 0. Solve p*c + q = 5*c for c.
4
Let x(i) = -4*i + 3. Let z(b) = -b. Let o = 4 + -7. Let t(a) = o*z(a) + x(a). Let n be t(0). Solve n*w + 1 = 2*w for w.
-1
Let b be (2 - 3) + -1 - -2. Suppose 4*j + b*j - 28 = 0. Solve -4*n + j = -5 for n.
3
Suppose 4*u - 39 = 9. Let b be ((-2)/3)/(u/(-450)). Solve 0 = -3*q + 8*q - b for q.
5
Let t(n) = n**2 - 3*n - 2. Let i be t(4). Suppose 0 = 2*r - 5*u - i, 3*r + 4*u + 0*u = 26. Suppose -7 = 5*p - r*p. Solve -3*a = -p*a for a.
0
Let u = -2 + 2. Solve 5*p = -u - 5 for p.
-1
Let m be (-392)/(-42) - 1/3. Let t(c) = -c**3 + 9*c**2 + 2. Let s be t(m). Solve g - s = -0 for g.
2
Let p(y) = -y**2 - 6*y - 4. Let t be (-5 + 3 - 3)*1. Let o be p(t). Solve -3 + o = x for x.
-2
Let d = -3 + 7. Let y be ((-10)/d + 2)*2. Let v = 2 - y. Solve 5*n - v = 17 for n.
4
Suppose -2*h + 5*z - 4 = 0, 3*z = 3*h + 3 - 6. Solve 8 - h = b for b.
5
Suppose c - 4 = 0, -q + 7 = -0*q + c. Let j(d) = d**3 + 3*d**2 - 2*d + 1. Let t be j(-3). Solve -q = n - t for n.
4
Let b be 48/22 - (-42)/(-231). Suppose 3*r = 7*r - 12. Solve -b*y = r*y - 15 for y.
3
Let q = -3 - -4. Let a be q*(9/(-3) + 3). Solve a = -3*j + j for j.
0
Let f(g) = g**2 + 8*g + 6. Let u be f(-7). Let i be (-2)/(-1)*1/(-2). Let y = u - i. Solve y = -0*w + w + 5 for w.
-5
Let a be (-86)/(-18) + 4/18. Let t(y) = -y + 7. Let r be t(7). Suppose 0 = a*i - 8 - 2, 