= -7 - x for i.
-4
Let r = 108 - 106. Let j = 7 + -4. Solve -u + r = -j for u.
5
Let j = 39 + -33. Suppose -j*b + 4*b = -6. Suppose i + i = 0. Solve i*w = -w - b for w.
-3
Let j(x) be the first derivative of x**3/3 + 11*x**2/2 + 3*x + 17. Let z be j(-11). Let v = 2 - 2. Solve v = -z*y - 0*y - 3 for y.
-1
Suppose 1 = h, -5*n + 6*h - 14 = 2*h. Let t be (-1)/n*2*1. Solve -4*l = 19 + t for l.
-5
Let r be (-3)/2*2*(-65)/15. Let c be (r + -1)/2 - 0/2. Solve 4 = 2*h - c*h for h.
-1
Let o(p) = -3*p. Let h be o(-5). Let c(i) = -5*i - 18. Let g be c(-4). Suppose s - h = -g*s. Solve 0*z + 5 = -s*z for z.
-1
Suppose -3*w + 37 - 4 = -5*k, 5*k + 27 = 2*w. Solve z = -w*z + 28 for z.
4
Let l(o) be the third derivative of 0 + 0*o - 31/6*o**3 + 13*o**2 - 1/12*o**4. Let n be l(-17). Solve n*z - 11 = 1 for z.
4
Suppose 4*l + 2*u = 24, l - 5*u + 2 = 8. Suppose l*k = 6 + 12. Let j = -7 + 9. Solve j*r = -k*r for r.
0
Suppose 74*i = 67*i + 147. Solve 4*u - 11*u = -i for u.
3
Let h(q) = -2*q**2 + 2*q + 2. Let u(p) = -p**2 + 3*p + 2. Let x(l) = 2*h(l) - 3*u(l). Let i be x(-4). Solve -2*c = i*c for c.
0
Suppose 4*w + 6 = 2*w - 4*h, 2*h = 2*w - 6. Let j be (8 - 10)/(4/(-6)). Solve -o + j = -w for o.
4
Let i(c) = -c**3 - 10*c**2 - 15*c + 9. Let q be i(-8). Suppose -4*p - 4*v = 0, q - 13 = -5*p - v. Solve -8 = -s - p for s.
5
Suppose -4*m = 2*o + 3 - 53, 3*m = 4*o - 111. Let x = -23 + o. Solve 15 = x*s + s for s.
3
Let y(p) = p**2 + 9*p + 2. Let q be y(-8). Let o = -16 - q. Let w = -2 - o. Solve -3*r - 2 = -w for r.
2
Suppose 2*p - 4*p + 4 = 0. Let x be 6*((-1)/2 + p). Solve 0 = 5*u - 1 - x for u.
2
Suppose 5*l = 2*l + 18. Suppose -7*i = -l*i. Suppose 2*t = -4*o - 3*t + 18, -3*o + 2 = -2*t. Solve -o*k + 1 + 3 = i for k.
2
Let u be -3*(-7)/42*24. Solve -u = 5*q + 3 for q.
-3
Let c(l) = l**3 + 26*l**2 - 3*l - 55. Let n be c(-26). Solve 4*w - 11 + n = 0 for w.
-3
Let i = 17 - 11. Let f = -3 + 3. Solve i*k - 2*k - 8 = f for k.
2
Let h be (-2)/(-7) + 206/14. Suppose 7*i = 2*i + h. Suppose -4*r + r - 2*y = -4, i*y + 13 = 5*r. Solve 2*c + r*c - 8 = 0 for c.
2
Let n = -17 - -20. Suppose n*s + 6 = 12. Suppose 5*z - s*w + 5*w - 12 = 0, 3*z - 4 = -5*w. Solve -2*x + 15 = z*x for x.
3
Suppose -4*y = -w + 33 - 10, -5*w - 3*y = -161. Let b = w - 28. Suppose 4*p - 108 = -b*n, -2*n - 73 = -4*p + 15. Solve p - 9 = -3*u for u.
-5
Suppose -s = r + 4, 26*s - 29*s - 12 = 0. Solve 107*m - 108*m - 5 = r for m.
-5
Suppose 0 = 4*w - 4*g - 20, -3*w + w + 15 = -g. Solve -6*m + 8 = -w*m for m.
-2
Let o(w) = 0*w**3 + 4*w - 7*w**2 + 7 - 3*w**3 + 4*w**3 - 11. Let a be o(6). Let v be (-3)/(-7) - a/28. Solve j - 2 = v for j.
3
Suppose -4*u + 4 = -0. Suppose 0*t - 5*t = -50. Suppose 0 = t*h - 6*h. Solve -a + u - 2 = h for a.
-1
Let r be 13 + 2/1 - -1. Suppose 4*h - 3*h = -r. Let f = h - -18. Solve 0*w - 4 = f*w for w.
-2
Suppose 5*x - 7*x = -6, 28 = 4*w + 4*x. Solve -5*l - 19 = -w for l.
-3
Let k be (-3 - (-2 + -3)) + 2. Suppose 0 = -k*b - 28. Let u be 4 + b + (-16)/(-4). Solve -l = 4 - u for l.
-3
Let a(r) = -6*r - 10. Let f(x) = x**3 - 8*x**2 - 2*x + 13. Let j be f(8). Let d be a(j). Let h = 11 + 1. Solve d*v - 4*v + h = 0 for v.
-3
Let s be ((-216)/(-64) + -3)*8*1. Suppose 0 = 5*f - 12 - 13. Suppose 2*v + 4 = s*m, 5*m = 5*v - 0*v + f. Solve 0 = 2*w + m*w - 8 for w.
2
Let l = 285 + -283. Suppose -1 = -3*r - 2*n, 4*n - 9 = 4*r - 3*r. Let g be ((-4)/r)/(4/6). Solve l*t + g = -t for t.
-2
Let c(z) = 4*z**2 + 3*z + 1. Let j be c(-1). Suppose 2*p - 4 = w, -j*p + 6 - 2 = -5*w. Solve 4*n + w + 12 = 0 for n.
-3
Let w(k) be the third derivative of k**4/12 - 7*k**3/6 - 4*k**2. Let o be w(6). Let m be (4 + -3)*-3 + o. Solve 0 = m*p + 2 - 8 for p.
3
Let f be (-3)/(-5) - (-544)/(-40). Let o = f + 12. Let z be (-1 - o - -2) + 1. Solve z*w + w + 8 = 0 for w.
-2
Let l(s) = 2*s**2 + 19*s - 23. Let u be l(-11). Let v = u - 2. Solve v = -5*b + 28 for b.
4
Let t(h) = 2*h**3 - 11*h**2 - 8*h + 7. Let p be t(6). Let x be 3 - 2 - 2 - p. Solve 2*k + x = -0*k for k.
-2
Let n be 584/120 + 4/(-120)*-4. Solve 0 = n*z - 3 + 13 for z.
-2
Suppose -a = -3 - 13. Suppose 115 = 9*t + a. Solve -3*s + t - 2 = 0 for s.
3
Suppose 0 = -3*a + 3*o + 3, -3*a - 2*o = -o - 7. Suppose 12 = -38*j + 42*j. Solve -d = -a*d - j for d.
-3
Suppose -2*v + 5*b = -37, 0 = -2*v - 3*v - b + 25. Let l be (v/8)/(12/32). Suppose -l*x = -x. Solve x*q + q = -2 for q.
-2
Let c(w) = -w**3 - 2*w**2 - 1. Let h(i) = -i**2 - 7*i - 3. Let m be h(-7). Let r be c(m). Suppose -2*g + r = b, -4*g + 29 = 4*b + g. Solve -4*l = -l - b for l.
2
Let y(v) = -3*v**3 - 59*v**2 + 20*v + 3. Let f be y(-20). Solve 6 + 9 = f*b for b.
5
Let q(p) = -2*p**2 + 7*p - 6. Let r be q(4). Let s = r - -19. Solve -b + s = 2*b for b.
3
Let d(o) = 2 - 14 - 3*o + 0. Let g be d(-10). Let m = -15 + g. Solve -m*n - 4 = n for n.
-1
Suppose 4*x + 89 = -h - 8, -2*h - x - 166 = 0. Let d = 126 + h. Suppose d = 4*j + 13. Solve 3*a - a = j for a.
4
Let a = 1 - 100. Let p = a - -104. Suppose 5*j - 37 = -x, -x = -2*x - 2*j + 22. Solve p*n - x - 8 = 0 for n.
4
Let d be 12/(-20) - (-18)/5. Suppose 5 = -j + 2*j. Suppose -d*u + j = -4. Solve -u*c - c = 0 for c.
0
Let a = 231 - 207. Solve -21 = n - a for n.
3
Suppose 4*r = -2*g + 18, -5*g - 53 = r - 5*r. Solve r*h = 6*h - 5 for h.
-5
Let y = -4 + 5. Let r(g) = g**3 - 11*g**2 + g - 15. Let l be r(11). Let u = y - l. Solve -u + 3 = -s for s.
2
Let x(q) = q**3 + 3*q**2 - 13*q + 47. Let o be x(-6). Solve -o*u = 11 + 6 for u.
-1
Let j(c) = -8*c + 25 + c**2 - 1 - 7. Let k be j(7). Solve 2*x + k = 7*x for x.
2
Suppose -5*j - 3 - 12 = 0. Let h = j - -5. Solve -t = h*t for t.
0
Let j(a) = -a**3 - 8*a**2 + a + 7. Let i be j(0). Solve 0 = i*v - 22 + 8 for v.
2
Let m(z) = z**3 - 18*z**2 - 40*z + 19. Let t be m(20). Solve -t*n + 24*n + 25 = 0 for n.
-5
Let u(c) = -3*c - 44. Let q be u(-16). Suppose -3*v - 15 = 2*l - 5*l, 0 = q*l - 5*v - 23. Solve l*f = 4*f for f.
0
Let g(r) = r**3 + r**2 + r + 1. Suppose 1 + 3 = -4*m. Let l be g(m). Suppose -5*a = l, -5*o + 6 = -2*o + 2*a. Solve 0 = -o*w + 2 for w.
1
Let d be (-3 - 15/(-5)) + 18 + 5. Solve -21*w - 4 = -d*w for w.
2
Let c be 6/24 - 9/(-12). Let i(w) = -w**3 - 6*w**2 + 17*w + 14. Let f be i(-8). Solve 5*y - f = -c for y.
1
Suppose -5*b + 6*g + 73 = 4*g, 4*b - g - 56 = 0. Solve b = 3*w - 2 for w.
5
Let f be 7 + (-7)/14 + (-1)/(-2). Suppose 4*k = m + 7, 4*m = 11*k - f*k - 4. Solve -k*i + 6*i = -8 for i.
-2
Let m be 280/21*18/15. Let j = m + -10. Let d(x) = -x**3 + 6*x**2 + 2*x - 8. Let b be d(6). Solve -5*y = b + j for y.
-2
Let o(t) = 4*t**2 - 3*t + 2. Let j be o(1). Suppose 14*g = 25*g. Solve g = j*r - r for r.
0
Suppose -6*c = 34 - 262. Let z = 26 - 13. Solve 5*m - z = -c for m.
-5
Let w(r) = -r**3 + 7*r**2 - 4*r - 3. Let m be w(6). Suppose -35 - m = -4*b. Let z(o) = -2*o**2 + 44*o + 4. Let y be z(22). Solve b = -y*g - 1 for g.
-3
Suppose 31 = 3*g - 5. Let a be (-5)/(5/2) + g. Solve 3*n - a = 5*n for n.
-5
Suppose 17 = 2*q - 5*s, 4*q - 5 = 4*s + 23. Solve 2*y = -4 - q for y.
-5
Let h be 1/((-2)/18) - 1. Let y be (-5)/h - (-22)/4. Suppose -5*d - 2*p + 42 = -y*p, 4*d - 42 = -p. Solve 6*k - k - d = 0 for k.
2
Suppose -5*t + 41 + 4 = 0. Solve -2*g + t = 1 for g.
4
Let z(g) = -g**2 - 13*g + 4. Let x be z(-13). Solve 16 = x*j - 0*j for j.
4
Let m be ((-9)/6 - -1)/(7/(-42)). Solve 114 = m*u + 111 for u.
1
Suppose -2*k = -2, -2*q = 4*k - 3*k - 5. Let y be 2 - (-6 + (6 - q)). Let g = y - 4. Solve l + 3*l = g for l.
0
Suppose -5*c + 2*c = -z - 2, 0 = 5*c - 4*z - 1. Let x(n) = -n**3 - 25*n**2 + 16*n**2 + 1 - 8*n + c. Let j be x(-8). Solve -j = -4*l - 10 for l.
-2
Suppose 3*c + 8 = -55. Let p be 12*(-3 + c/(-9)). Let i be 2/p + (-18)/(-8). Solve -4 - 2 = -i*y for y.
3
Suppose 20*p - 11*p = 0. Solve p = 9*b + 2*b for b.
0
Let n = 42 - 37. Let d be (-3)/5 - (-3)/n. Solve d = -i + 5 - 1 for i.
4
Suppose 5*x - 3*w + 54 + 8 = 0, -5*w + 60 = -4*x. Let h = -16 - -12. Let b be 24/20*x/h. Solve -2*s + b = -s for s.
3
Suppose 0 = 2*k + v - 5*v + 6, -3*k + 9 = 3*v. Suppose z - 11 = -26. Let s be 2/6*(-135)/z. Solve -k = -4*r + s*r for r.
1
Let h = -9 - -9. Suppose h*r = -r. Solve r = -c + 5*c + 4 for c.
-1
Let i be (-1)/((8/(-60))/2). Let w = -12 + i. Suppose 5*n = 13 - 3. Solve w*x - x = -n for x.
-1
Suppose 7*v - 44 = -30. Solve -6*x = v*x - 40 for x.