 6 for i.
-1
Suppose -4*w + 5*w = 29. Suppose 2*h - w = -5. Solve 5*p + h - 2 = 0 for p.
-2
Suppose 4*y = y - 27. Let w(s) = -s - 4. Let l be w(y). Let c(o) = o**2 - 5*o + 2. Let k be c(l). Solve 1 = -k*d + 3 for d.
1
Let u = -1118 - -1126. Solve 0 = -4*x + u*x + 16 for x.
-4
Let n be -5*(92/4 - 5). Let y = n - -90. Solve 0 = -y*v + 5*v for v.
0
Suppose 0*f - 4*f + 148 = 4*w, 5*f - 177 = -3*w. Suppose 0 = -2*t + z + 23, -3*t - z + f - 6 = 0. Solve 4*k + t = -k for k.
-2
Suppose 0 = 3*z + 4*m + 16 - 176, 258 = 5*z - 2*m. Solve -z*q = -53*q - 5 for q.
-5
Let j(n) be the second derivative of n**3/6 - 3*n**2 - 2*n. Let m be j(3). Let h = m - -6. Solve 0*g - h*g - 9 = 0 for g.
-3
Let i be 3/9*39 + -1. Solve -q = -5*q + i for q.
3
Suppose 2*s + 1 - 5 = 0. Suppose 7 = -3*y + 2*h, -3*y - 8 - 14 = -5*h. Let x be 2/y - (-30 - -24). Solve -2*n - x = s*n for n.
-2
Let m = -1158 + 1167. Solve 0 = -28*z + m*z + 95 for z.
5
Let r be -8*(-3)/168 - (-2)/(-14). Solve r = -54*i + 52*i - 8 for i.
-4
Let j(l) be the second derivative of l**7/840 - l**6/40 + l**3/2 + 4*l. Let r(s) be the second derivative of j(s). Let t be r(9). Solve 0 = q - t + 5 for q.
-5
Suppose -35 = -6*p + p. Solve 2*s - p = -9 for s.
-1
Let l(o) be the first derivative of o**4/24 - o**3/6 + 3*o**2 - 1. Let q(v) be the second derivative of l(v). Let u be q(5). Solve 4*j - u = -16 for j.
-3
Let v(j) = 5*j**3 - 3*j**2 + j + 2. Let s be v(2). Let c = s + -32. Solve -4*a - 11 - 1 = c for a.
-3
Let u be ((-55)/10 + 3)*(-20)/25. Solve -1 = r + u for r.
-3
Suppose 2*u - 6 = -0*u. Let w(s) = 9*s - 75. Let i be w(9). Solve 15 = -u*o + i*o for o.
5
Let c = -231 + 237. Solve 2*t = -2 + c for t.
2
Let c(v) = 2*v**3 + 13*v**2 + 14*v + 6. Let a be c(-6). Let l = 43 + a. Solve 2*z - z + l = 0 for z.
-1
Suppose -10 - 10 = -10*m. Suppose m*x = -g + 10, g = 2 + 2. Solve 14 = x*i - 1 for i.
5
Let w(x) = -x + 12. Let i be w(9). Let a be (-11)/((-2)/(i - 1)). Suppose 3*f + 3*c = 10 + a, 0 = 4*c - 20. Solve -f*d = 2*d - 4 for d.
1
Let q = 133 - 130. Suppose q + 0 = j. Solve -3 + 9 = -j*g for g.
-2
Let a be (14 + -11)*((-33)/(-9) + -2). Solve a*o - 30 + 15 = 0 for o.
3
Suppose -2*y = -5*p + 5, -5*y = p - 12 - 16. Let b = -48 + 51. Solve b*d - 6 = p for d.
3
Let s be 3*(-6)/(-117) + 2176/52. Suppose -38*m - 12 = -s*m. Solve x + m*x = 12 for x.
3
Let d = 134 + -132. Solve 3 = -d*v - 5 for v.
-4
Let g(j) = j**3 - 4*j**3 - 3 - 12*j**2 + 2*j**3 + 10*j**2 - 3*j. Let s be g(-2). Solve -y - s = -0*y for y.
-3
Suppose 4*b = 6*b. Suppose -g + b*o + 2 = -o, 0 = 5*o - 5. Suppose s - 8 = -g*l - l, 0 = -4*s - 16. Solve -l*j + 25 = 2*j for j.
5
Let u be 2/(-4) - (-3 + (-570)/(-12)). Let a = u - -50. Solve -a*j - 22 = -2 for j.
-4
Let r(a) = -a - 2*a - 2*a + 2*a - 14. Let u be r(-6). Solve 3 - u = -l for l.
1
Let t(o) = -3*o + 23. Let n(i) = 5*i - 35. Let k(x) = 5*n(x) + 8*t(x). Suppose 4*a - z = -31, -a + 9*z = 5*z - 11. Let w be k(a). Solve w*s + s = -2 for s.
-2
Let q(t) = -t**3 + 4*t**2 + 7*t - 6. Suppose 0 = -2*i + 10, p - 3*i + 30 = 4*p. Let f be q(p). Let a be -1 - (1/1 + -2). Solve f*s = -a*s - 16 for s.
-4
Let p(b) = -b**2 + 2*b + 11. Let x be p(-2). Solve x*i - 3 = -0*i for i.
1
Suppose -4*l = 5*l + 7*l. Suppose r - 2*b - 6 = 2*b, -3 = -4*r - 5*b. Solve j + r = -l for j.
-2
Let s be -3*(3 - 2) + 7. Let y be -2*(1 + -7 + 2). Suppose 0 = -2*f + 4*b + 28, y*b - 3*b = -2*f + 37. Solve -4 = s*t - f for t.
3
Let d be -4*-5*(-3)/(-12). Suppose 0 = d*y - 33 - 27. Suppose -t = -b - 4*b + y, 5*t = 15. Solve -4*l + 19 = b for l.
4
Let c(z) be the second derivative of z**4/12 + z**3 + 7*z**2/2 - 6*z. Let a be c(-7). Solve -1 = -5*n + a for n.
3
Let f = -1722 + 1731. Solve 0 = 7*p + 30 - f for p.
-3
Let g be 6*(-112)/96*1*-1. Solve -4*a + 11 = g for a.
1
Let c = 5 + -1. Suppose 0 = -4*l + c + 12. Let q = 21 - 18. Solve l*s + q = 3*s for s.
-3
Suppose 1237 = -39*u + 9037. Solve -190 = 2*v - u for v.
5
Let b be 10/4 + (-21)/(-6) + -3. Solve r = -b + 1 for r.
-2
Let f be (24/28)/(-1)*-7. Let w be (-9)/f*(-4)/2. Suppose 2*t - w = -1. Solve -h = -0*h - t for h.
1
Let r be (-2)/9 - 470/(-90). Solve 0 = 4*i - r + 13 for i.
-2
Let z = -53 + 60. Suppose 8 + z = 3*a. Solve 0 = 3*u - a*u + 10 for u.
5
Suppose 2*x + f + 3*f + 16 = 0, 0 = -5*x + 5*f + 35. Suppose 17 = 5*z + 2*i, 0 = i - 4*i + 3. Suppose 0*v = -3*v. Solve v = z*y + x*y for y.
0
Let r be 3198/328 + (-2)/(-8). Let s = 31 - 28. Solve 0 = -s*m - 7 + r for m.
1
Suppose 0 = 43*y + 7*y - 200. Solve 0 = -4*j + 8*j + y for j.
-1
Suppose -73*x + 168 = -61*x. Solve x*b - 16 = 6*b for b.
2
Suppose -12 = 3*p + 3*o + 15, -3*p + 5*o + 13 = 0. Let m = -1 - p. Let i be (-2)/m + 69/9. Solve -3 = -2*a - i for a.
-2
Let l(o) = 6*o + 1. Let n be l(9). Suppose 8*d - n + 23 = 0. Solve -x = d*x - 5 for x.
1
Let d be 2/9 - 32/(-18). Let r = 92 + -90. Suppose d*q = -k + 8, r*k - 5 = -3*q + 8. Solve 0 = -q*v + 2*v - 2 for v.
-2
Let p(t) = -t**3 - 26*t**2 + t + 32. Let d be p(-26). Solve -d*j - 4 = -2*j for j.
-1
Let g be (-6 - -4) + (-6 - -10). Solve 8 - 2 = -g*a for a.
-3
Let p = -6 - -10. Suppose 9 = -j - p*k + 4, 3*k = 3*j - 15. Suppose -y + j = 2*y. Solve 1 + y = -2*r for r.
-1
Suppose -13 - 53 = -11*d. Solve 0 = -d*h - h - 21 for h.
-3
Suppose 24 = 4*z + 5*d, -z + 15 - 9 = -3*d. Solve z*t = 10*t + 8 for t.
-2
Suppose 0 = 229*o - 212*o - 2006. Solve -o*c = -119*c - 2 for c.
-2
Let i(j) = 2*j**2 - 13*j + 6. Let l(z) = -3*z**2 + 12*z - 6. Let p(d) = -5*i(d) - 4*l(d). Let k be p(-9). Solve 3*o = 4*o + k for o.
-3
Let l(s) = -s**3 + s**2 + 9*s - 5. Let i be 4*-6*2/(-16). Let w be l(i). Solve w*m + 12 = m for m.
-4
Let y = -725 + 731. Solve -3*v = -y*v - 12 for v.
-4
Let v(a) = -5*a - 67. Let y be v(-14). Solve -y*p = 7*p + 30 for p.
-3
Suppose -8*t = -3*t - 10. Let r be (3/(-4))/(-3) - (-3)/(-12). Solve -t*v + r = 10 for v.
-5
Let t = 4 + 6. Let x be (2 - 1)*2 + -4. Let c = 3 - x. Solve -c*j + t*j - 5 = 0 for j.
1
Let a(q) = q**2 + q. Let w(y) = -8*y**2 - 2*y + 1. Let x(c) = 6*a(c) + w(c). Let t be x(2). Solve -j + 2 = t for j.
1
Let f be 6*(4 - -1)/10. Solve -4 + f = -z for z.
1
Let p be (-92)/(-18) - (-19)/(-171). Let m(n) = -n**3 + n - 1. Let w be m(-2). Suppose 0 = -2*g - l + 28, -p*l = -15 - w. Solve -g = 2*v + 2*v for v.
-3
Let y(x) be the first derivative of x**3/3 + 7*x**2/2 + 6*x - 9. Let u be y(-6). Solve -k - 2*k - 6 = u for k.
-2
Let m be (-3)/(-6) - (-210)/20. Solve m*g - 14*g = -15 for g.
5
Let g = 16 - 4. Let h(p) = -p**3 + 11*p**2 + 9*p + 9. Let t be h(g). Let r = 27 + t. Solve r = z + z - 8 for z.
4
Let k(b) = 4*b**2 + 8*b - 26. Let w be k(2). Solve 24 = -w*m + 12 for m.
-2
Suppose -v = -d - 11, 4*v + 39*d - 42*d - 42 = 0. Solve -v = -0*y + 3*y for y.
-3
Let r(j) = 2*j + 5. Suppose -5*a = 5*n - 30, -8 = -2*n - 0*a + 2*a. Let f be r(n). Solve -1 - f = 4*b for b.
-4
Let l be ((-3)/10)/(3/(-30)). Let h = 3 - -1. Solve 0 = -h*x + 3*x + l for x.
3
Let m be ((-20)/(-3))/((-6)/(-9)). Suppose -m*v - 5 = -11*v. Suppose v*j - 46 = -6. Solve 0 = -3*b + j + 1 for b.
3
Suppose -10*q - 36 = -86. Let b be (-3 - (-34)/10)/(1/q). Solve -b = 4*m + 10 for m.
-3
Suppose -k - o + 13 = 0, -3*k + 3*o - 3 + 36 = 0. Let g = -24 + k. Let y be 53/11 - g/66. Solve 7 = y*t + 2 for t.
1
Let v = 1 - -3. Suppose 10 = v*j - 2*j. Let y(m) = 3*m + 8. Let w be y(-2). Solve s = -w + j for s.
3
Let z(w) = -w**3 - 13*w**2 - 2*w + 129. Let j be z(-12). Solve 60 = -j*b + 24 for b.
-4
Let x(c) = -c**3 + 5*c**2 + 6*c + 2. Let r be x(6). Suppose 0 = -l + r*l. Suppose l = -5*g + 3*j + 60, 4*g - 3*j - 12 = 3*g. Solve y = -2*y + g for y.
4
Let d = -7 - -12. Suppose d*i - 2*i = 0. Solve i = o - 2 + 5 for o.
-3
Suppose -4*o = 5*g - 36 + 8, 2*o - 18 = -3*g. Suppose 0 = -6*c + g + 16. Solve c*q = 15 + 5 for q.
5
Let s = 161 + -91. Let z be (-4)/7 + 180/s. Let h(q) = q**3 - 2*q**2 + q. Let n be h(z). Solve n*p + 4 = p for p.
-4
Suppose 72*t + 14 = 86. Solve 0 = -5*j - 14 - t for j.
-3
Let u be 3/((-3)/(-1)) - -2. Suppose o + 11 = u. Let y be (-2 - 30/o)*4. Solve -2*m = -y*m - 20 for m.
-4
Let u = 0 + 4. Suppose u*f - 6*f = 0, 0 = -j + 5*f + 3. Solve 8 = 5*b - j*b for b.
4
Let b(q) = -q**2 - 10*q + 4. Let h be b(-8). Let f(w) = 5*w - 132. Let c be f(27). Solve -c*k + h = k for k.
5
Suppose -607 - 233 = 3*w. Let x be w/(-24) + (-1)/(-3). 