i = i + 4 for i.
-1
Let b be 3/6*-2*-1. Let r(k) = -k**3 - 8*k**2 + 8*k - 9. Suppose -3*w = 5*n - 5*w + 37, 5*n = -5*w - 65. Let q be r(n). Solve j = -q*j - b for j.
-1
Let t(s) = s**2 - 4*s + 3. Let z be t(3). Solve 0 = -v - z + 2 for v.
2
Let x = -4 + 5. Let i = x - -2. Solve i*z = z for z.
0
Let s = -11 - -21. Solve -s + 1 = 3*m for m.
-3
Suppose -2*w + 16 = -0*w - 4*s, -5*w + 12 = -3*s. Let j = -16 + 26. Suppose -l - 3*c = -w*c - 8, -j = -2*l - 3*c. Solve q - 4 = -l for q.
2
Let s be (0 - -14)/1 + -1. Let d be -4*2/(-8)*2. Solve 5*g - d = s for g.
3
Let y(v) = -v**3 - 5*v**2 - 4*v + 4. Let a be (0 + -2)/1 - 0. Let n = a - 2. Let l be y(n). Solve 4 = l*t + 12 for t.
-2
Let d = -42 + 67. Solve -4*s + 9*s + d = 0 for s.
-5
Suppose -3*x = -4*p - 16, x + 0*p - 16 = -4*p. Let y(k) = 3*k - 5. Let j be y(2). Let i = j + x. Solve s = -2*s + i for s.
3
Let t be 16*2*14/(-8). Let b be (3/2)/((-6)/t). Let k be (-2)/7 + 74/b. Solve -20 + k = 3*m for m.
-5
Suppose 16*u - 15*u - 9 = 0. Let o = 11 - u. Suppose q + 55 = 6*q. Solve 0 = -o*w - 3 + q for w.
4
Let p(u) = -u**2 + 10*u - 8. Let r be p(8). Let b be (-14)/(-6) + r/(-24). Solve 4 = b*l - 4 for l.
4
Let b be ((-3)/(-2))/(3/(-4)). Suppose -5*y + 3*z = -2*z + 50, y = -z - 12. Let i = b - y. Solve 5*s = 2*s + i for s.
3
Let w be ((-3)/(-6))/((-2)/(-72)). Let u(k) = k - 3. Let h be u(9). Solve 4*t + h = w for t.
3
Let k = -31 - -33. Solve k*s - 4 + 2 = 0 for s.
1
Suppose 4*c + 12 = 8*c. Solve c*n + 0*n = 6 for n.
2
Let p(k) = -k**3 - 2*k**2 - k + 2. Let r be p(-2). Let o(u) = 3*u**2 - r*u**2 - u**2 - u + u**3 + 4*u**2. Let g be o(1). Solve -g*w = -4*w + 6 for w.
3
Suppose 6 = -n - 3*r - 0, -4*n = 4*r + 8. Solve n = -5*o + 3 + 2 for o.
1
Let x = -13 + 13. Let l(v) = 16*v. Let g be l(1). Suppose b - g = -3*b. Solve x*f = b*f for f.
0
Suppose 2*v - n - 6 - 13 = 0, -3*n - 33 = -3*v. Solve -v = 6*p - 4*p for p.
-4
Let t be 160/9 - (-6)/27. Let c be (-1 + t)/(5/10). Solve 9 = -5*q + c for q.
5
Let y be (0*(-1)/(-2))/2. Let i be (-3)/(-6)*y*-1. Solve i = -3*q - 15 for q.
-5
Let m(a) = -a**3 - 8*a**2 - 6*a + 10. Let v be m(-7). Let w(h) = h**2 - 2*h - 4. Let n be w(3). Let x be (0 - -1 - 1)*n. Solve x = v*i + 2*i for i.
0
Suppose 2*k - 6 = -0. Let u = 15 - k. Solve u = -3*c - c for c.
-3
Suppose -2*x = 3*u + 3*x - 22, -16 = -3*u - 2*x. Let v(w) = 4*w - 12. Let f be v(u). Solve -11 = f*p + 1 for p.
-3
Suppose o + 18 = 4*o. Let r(t) = t**3 - 6*t**2 + t - 2. Let g be r(o). Solve 2*x - 2 = g for x.
3
Let h be -1 - (2 + 1 + -1). Let p be (-1 + -1)*(h - 0). Let v be p/(1 - (-14)/(-20)). Solve v = -4*f - f for f.
-4
Let p be -6*1*(-1)/3. Suppose p*z = 4*z. Solve z = 3*q + q - 12 for q.
3
Suppose -4 = -2*o, -3*m + o = 2*o - 2. Solve -2 = 2*q - m*q for q.
-1
Suppose 3*y = -0 + 12. Solve y*q = 27 - 7 for q.
5
Let v be (-1)/2*0 + 4. Solve v = -3*i - 11 for i.
-5
Suppose 0 = 2*n + 2*n. Suppose -2*a - 12 = -5*u, -2*u + 2*a = -3*a - 9. Solve -w + u*w = n for w.
0
Let t be (-11)/(-3) + 24/(-36). Solve 0*o = -3*o + t for o.
1
Let f(u) be the second derivative of u**3/2 - u**2/2 + 4*u. Let q be f(1). Solve -2*k = -k - q for k.
2
Let g(j) = 5*j. Let y be g(1). Let q be (-8)/10*y*2. Let c be 2/q + 52/16. Solve 3 = -c*m + 6 for m.
1
Let j be (-4 - -8) + -3 + 4. Solve 0 = -j*p + 10 - 0 for p.
2
Let b = -5 - -10. Let k(a) = a**3 - 4*a**2 - 5*a + 1. Let t be k(b). Solve -3*v + t = -2*v for v.
1
Let h be -2 + 0/(-3) + 11. Suppose h*c - 4*c - 50 = 0. Solve -c = -3*a - 1 for a.
3
Let o(u) be the third derivative of -u**5/60 - u**4/3 + u**3/3 - 2*u**2. Let x be o(-8). Solve 0*v - x = -v for v.
2
Suppose -6*d = -2*j - 3*d + 8, 4*j = -2*d + 16. Solve j*c = 3 + 9 for c.
3
Let l = -8 + 40. Suppose -l = -2*q - 2*a, 6*a + 120 = 5*q + a. Solve 3*t + t = -q for t.
-5
Let b(w) = 2*w - 5. Let f be b(6). Let j be 2/f + (-60)/(-35). Suppose -g + d = 0, -5*g + g = -2*d. Solve -j*t = -g*t - 4 for t.
2
Suppose -i - 2*i = -6. Let t be (1 - i - -1)/1. Solve t = x - 2*x for x.
0
Let x = -35 + 41. Solve x*f = 3*f for f.
0
Let o(i) = i - 6. Suppose 3*y - 4*r - 34 = 0, y + y - 20 = 2*r. Let l be o(y). Suppose -j = 4*v - 31, -v + j = -4*v + 22. Solve l = 5*g + 34 - v for g.
-5
Suppose 2*g - 11 - 3 = -2*m, -5*g = -3*m + 13. Let d = 5 + 0. Let c be (24/15)/4*d. Solve -r = c*r + m for r.
-2
Let w(v) = v**2 + 8*v + 10. Let a be w(-7). Solve -a*h - 2 = -2*h for h.
-2
Suppose 5*y + 4 - 19 = 0. Let j be (1 - 1)/((-4)/2). Solve j = -y*w + 3 for w.
1
Suppose 0*h + 5*h - 50 = 0. Let v(g) = g**3 - 8*g**2 + 8*g - 5. Suppose -5*o - 6 = -41. Let y be v(o). Solve 0*l + y*l - h = 0 for l.
5
Suppose g - 11 = -7. Suppose 2*l + g = 4*l. Solve -l*p + 5 = -p for p.
5
Let i be (10/(-2))/(3 + -4). Solve k + i = -0 for k.
-5
Let a(z) = 3*z - 4. Let x be a(3). Solve -x + 1 = -4*c for c.
1
Let q = -46 + 54. Solve 0 = -5*x - q - 7 for x.
-3
Let y(n) = -n**3 + 4*n**2 - 2*n - 2. Let x be y(2). Solve 0 = 4*r + 18 - x for r.
-4
Suppose 2*a + 2*a = 0. Suppose 0 = 4*i - a*i. Solve i = -0*t - t - 3 for t.
-3
Let x be -1*((-6)/3 - -6). Let q = 1 - x. Suppose q*p = -4*r - 1 + 74, 5*r = 5*p + 80. Solve 4*j + 5 = r for j.
3
Let w = 78 - 46. Let v = w - 10. Let c = -4 - -8. Solve v = c*f + 6 for f.
4
Let l = 5 - 2. Solve 12 = l*h + 3 for h.
3
Let i(z) = -z + 7. Let r be i(7). Let a = 1 - 0. Solve r = n + a - 6 for n.
5
Let l(j) = -j**2 - j + 18. Let u be l(0). Let t be 4/u - (-416)/72. Solve -g - 20 = -t*g for g.
4
Suppose 4*x + 12 = x. Let l be (x - -7) + 0 + 0. Suppose 5*i + 5*z = 5, 2*z + l*z = 4*i - 40. Solve -i = -g - 4 for g.
1
Suppose h - 37 = -0*b - 4*b, 5*h + 15 = 0. Let w(r) = r**2 - 11*r + 15. Let d be w(b). Solve 0*u - d = u for u.
-5
Let n be ((-3)/3 - -1)/(-2). Let j be 5 - ((-3 - n) + 3). Solve -8 - 2 = j*o for o.
-2
Suppose -4*r + 3 - 23 = 0. Let f = 18 + r. Solve -5*q = -f - 2 for q.
3
Let f = 18 + -13. Suppose -5*q + f*g + 10 = 0, 0 = -2*q + 4*q + g - 1. Solve -q = 3*k - 16 for k.
5
Let z(l) = -l - 2. Let w be z(-2). Suppose w*m = m - 7. Solve -5 = -3*j + m for j.
4
Let n(r) = -3*r - 50. Let w be n(-18). Solve w*k + 5 = 1 for k.
-1
Let o be (-1)/(((-4)/(-10))/((-36)/30)). Solve 1 = -h - o for h.
-4
Let j = -15 - -19. Solve 3*o - 2 = j for o.
2
Suppose -x + 5*x + 3*y = 57, 4*x + 2*y = 58. Let d = x + -11. Solve 0 = -w - 2 + d for w.
2
Suppose 12*q - 9 = 3*q. Solve -q = -c - 0 for c.
1
Suppose m = 3*m - 8. Solve -m*r = r for r.
0
Let r(n) = n**3 + 3*n**2 + 2*n + 2. Let s be r(-2). Suppose s*o - o = 3. Solve o*v + 0 - 9 = 0 for v.
3
Let a be ((-48)/(-14))/(1/7) - 4. Solve -a = -5*h - 5 for h.
3
Suppose 5*y - 24 = -0*y + 3*x, 0 = -2*y + 2*x + 8. Solve -w = w - y for w.
3
Let r(w) = -3*w - 15. Let m be r(-6). Solve -4*j - m = 17 for j.
-5
Let i(s) = 2*s - s + 2*s. Let v(r) = -r**2 - 3*r + 5. Let f be v(-4). Let q be i(f). Solve -6*l = -3*l + q for l.
-1
Suppose 0 = 2*z - m - 10, -4*m = 5*z + 2 - 14. Solve -16 = -z*f - 0 for f.
4
Let f = -72 - -78. Solve -4*d - f = 2 for d.
-2
Let v = -10 + 16. Let p = -1 + v. Solve 0 = -c + p*c for c.
0
Suppose -5*r + 4 = -1. Solve -j - 2 = -r for j.
-1
Let z = 8 - 4. Solve 2*y - z = 2 for y.
3
Suppose 9 = -44*p + 47*p. Solve -3 = -2*t + p for t.
3
Let a = 11 + 4. Suppose -3*k = 5 + 22. Let t = a + k. Solve -3*g - t = -g for g.
-3
Let n = 101 + -101. Solve n = -8*h + 3*h - 20 for h.
-4
Let i(x) be the first derivative of 5*x**2/2 - 5*x + 3. Let r be i(5). Let l be ((-12)/5)/((-3)/r). Solve 4*f - l = -0*f for f.
4
Suppose 0 = -4*s - 16, 0*b - 2*s - 11 = -b. Suppose j = -b + 1. Let i be (0 - -2) + (j - -2). Solve 0*m = i*m for m.
0
Let v(f) = -f**2 - 17*f - 32. Let j be v(-14). Solve -3*b + j - 1 = 0 for b.
3
Let k = -20 + 40. Suppose 0 = 6*w - w - k. Solve 4*f - w = -0*f for f.
1
Let p = -16 + 16. Solve -3*b - b - 4 = p for b.
-1
Let y(r) = -r**3 - 3*r**2 - 4*r + 2. Let p(w) = w + 3. Let i be p(-7). Let v be y(i). Suppose -v = -5*z - 3*s, 2*z = -s - 3*s + 8. Solve z = 5*q - q for q.
2
Let m(u) = -2*u - 4. Let r be m(-3). Suppose -3*b - r*h - 8 = 0, 5*b = -2*h - 4 - 4. Solve -3*z + b = 3 for z.
-1
Suppose -z + 4*z - 3 = 0. Let m(b) = -b**2 + 6*b + 3. Suppose 4*i = 3*i + 6. Let c be m(i). Solve c = -u - z for u.
-4
Suppose 2*h - 23 = 1. Suppose -j + 2*u + 0 = -2, 2*j + 4*u = 4. Suppose 4*k + 3*n = n + 14, -k + j*n + 6 = 0. Solve -h = -0*q + k*q for 