.
-3
Let j(t) be the second derivative of -t**4/12 + 2*t**3/3 - 2*t**2 + 15*t. Let r be j(2). Solve -l + 2 = -r for l.
2
Let o(v) = 2*v**2 + 40*v - 40. Let y be o(-22). Solve 5*a + y - 23 = 0 for a.
-5
Suppose 2*c = 8 + 18. Let h be 26/c - (0 - 0). Solve g + h - 1 = 0 for g.
-1
Suppose 3*q - 46 + 15 = 5*n, 4*n + 18 = -q. Suppose 5*y - 77 = 48. Suppose -3*d - 5*m + 11 = 0, -m = -d - 2*d + 23. Solve q*h = d*h - y for h.
5
Let i(l) = 0 + 0*l + 7 - l + 2. Suppose 2*y - 3 = -2*b + 5, -3*y + 6 = 2*b. Let x be i(b). Solve n + 0 - x = 0 for n.
3
Let t be (-1)/(4/(-4*6)). Let q = -3 + t. Suppose q*v = -4*z, 5*z - 3*v = -7*v - 1. Solve -16 = -c - z*c for c.
4
Let r(y) = -7*y + 13. Let f(b) = 8*b - 13. Let w(z) = -6*f(z) - 7*r(z). Let i be w(9). Let h = -2 - i. Solve h*x = -0 - 2 for x.
-1
Let l = -56 + 29. Let v = 31 + l. Suppose -v*t = -2*j - 1 - 3, -7 = 3*t - 4*j. Solve -2 = -f - t for f.
-1
Let s(m) = -m**3 - 14*m**2 - m + 18. Let v be s(-14). Suppose v = -2*w - 38. Let f be (3/(-5))/(7/w). Solve -4*p = -f - 9 for p.
3
Let j(r) = -19*r - 145. Let y be j(-9). Solve -2 = -6*x - y for x.
-4
Let i be 13 - (8 + -3 - 4). Solve 0 = -4*f - i for f.
-3
Suppose -2*z + 4*b + 14 = 0, -3*b = 5*z - 0*b - 9. Let i = 146 - -70. Let v = -212 + i. Solve v*f = z*f - 2 for f.
-2
Let n(f) = f**2 - 19*f - 6. Let y = 22 + -2. Let r be n(y). Solve 3*c + 2 = r for c.
4
Let w be 3/(-5) + 4002/145. Solve w = -6*y + 3 for y.
-4
Let h = 18 - 11. Let n = h + -3. Solve -2*j + n = 2*j for j.
1
Suppose -z = -7 - 28. Suppose 5*r = 5*t + z, -5*t = 3*r - 10*t - 29. Solve -r - 12 = 3*d for d.
-5
Suppose 3*d - 17 = 9*a - 5*a, 10 = 2*d - 2*a. Solve 2*j + 15 = -d*j for j.
-3
Let m = 35 - 35. Suppose t - 5*w = -2, m = -t - 0*t + w + 2. Solve 5 = -t*g + 2 for g.
-1
Let o be (69 + -1)/4 + 1. Let g = -3 + 6. Suppose -2*w + 0 = 4*t + 2, 9 = -g*t. Solve -w*p = 2 + o for p.
-4
Suppose -9*i + 252 = -6*i. Solve -i = 5*b - 104 for b.
4
Let n = 39 - 39. Solve 0 = -4*g + 16 - n for g.
4
Suppose 5*c - 2*o - 129 = 0, -10*c - o = -7*c - 73. Solve 7*n + 25 = c for n.
0
Let o be 2/(-4)*(-6 - 4). Let p(r) = -r**3 + 6*r**2 - 2*r - 11. Let g be p(o). Solve 0 = -g*b + 2*b + 4 for b.
2
Let y = -89 + 58. Let l = y + 40. Solve 2*b = l - 1 for b.
4
Suppose -6*c + 2*r + 18 = -c, -3 = -3*r. Let i(w) = -3*w + 17. Let y be i(c). Solve 10*u - 25 = y*u for u.
5
Let i = 2392 + -2371. Solve -23*x - 8 = -i*x for x.
-4
Let z = -454 + 462. Solve -z*p = 3 + 5 for p.
-1
Let y(w) = 2*w + 6. Let a be y(5). Let q = 453 - 435. Let n be q/(-63) - a/(-7). Solve -16 = -6*u + n*u for u.
4
Let q = 19 - 10. Let o be 0/(-1) - (-27)/q. Suppose o*g = -2*g + 10. Solve g*n = n - 1 for n.
-1
Suppose -t = -3*t + 6. Let v(r) = -r - 1. Let s(m) = m**2 - 8*m + 13. Let o(k) = -s(k) - 4*v(k). Let n be o(11). Solve -n*b = t*b + 5 for b.
-1
Let p = 1704 - 1666. Solve -103 + p = -13*u for u.
5
Suppose -1 = -2*j - 3, u - 3*j - 5 = 0. Suppose 13 - 5 = x + 2*i, -u*i = 2*x - 16. Let f be (1 - 0)*5 + 1. Solve x = -f*n + 2*n for n.
-2
Suppose a = -3*a + 16. Let n be (-165)/(-10)*8/6. Suppose 7*d - 2*d = -5*j + 20, -4*d - j + n = 0. Solve -y = -a*y + d for y.
2
Let m = 238 + -234. Solve -21 = 5*v + m for v.
-5
Suppose -3*g + 133 + 139 = -4*d, 5*g + 4*d = 496. Solve -6*c = 78 - g for c.
3
Let o(x) = 2*x**2 - 31*x + 69. Let p be o(13). Solve -5*y - p*y = -8*y for y.
0
Suppose 139*q - 143*q - 5*k + 61 = 0, 3*q - 52 = -5*k. Solve 4*i = 5*i + q*i for i.
0
Let s = -15 - -18. Let f(l) = l + 7. Let i be f(-3). Suppose -s*v - i = -13. Solve 5*d = 2 + v for d.
1
Let h be (-4)/18 - (144/81 - 2). Solve h = r - 3 + 3 for r.
0
Suppose 2 = -l - 4*w, -l - l = w - 10. Suppose 17*r = -6*r + 46. Solve r = -4*i + l for i.
1
Suppose -5*c = 3*l + 65, 3*l = -0*l - 15. Let p be (-16)/c - 6/10. Solve -3*h = -4*h + p for h.
1
Suppose 0 = 89*w - 105*w. Solve w = -13*q + 16*q + 12 for q.
-4
Suppose 0 = 2*o + 2*a - 2, -9 = -2*o + 2*a - 3. Suppose -5*v - 10 = -4*l, -5*l = 4*v - 3*v + o. Let m be 2/(-3)*(-15)/10. Solve -y + l = m for y.
-1
Let i = -770 - -774. Solve -i*j - 5 = 15 for j.
-5
Suppose 60*h - 144 = 24*h. Let m = -6 - -15. Solve -r + h = m for r.
-5
Suppose 3*t + 4*t = 56. Suppose -l - 7*c + 12 = -2*c, t = 5*l - c. Solve 3 = -n + l for n.
-1
Let y = -4 - -12. Suppose -y = w - 2*w. Let q(v) = v**3 - 4*v**2 + 5*v - 3. Let l be q(3). Solve 5 = l*u - w*u for u.
-1
Let l(g) be the third derivative of g**5/20 + g**4/8 - g**3/3 + 23*g**2. Let i be l(-2). Solve -2*m = -m + i for m.
-4
Suppose -8*j + 20 = -3*j. Suppose l + l = j. Solve 0 = -w + l*w for w.
0
Let k(v) = v**2 + 4*v - 14. Let f be k(-5). Let x be -1*f/12 - (-6)/(-8). Solve x*s - 2*s = -2 for s.
1
Suppose 0 = -135*g + 141*g - 30. Solve -g*f = -12*f for f.
0
Suppose -4*k + 7*k + k = 0. Solve -5 = -5*l - k for l.
1
Let i be (-110)/(-44)*(1/(-1) + 3). Solve -g + i = 1 for g.
4
Let u(p) be the second derivative of -p**5/10 - p**4/3 - p**3/6 + p**2 + p. Let d be 6/15 + 17/(-5). Let k be u(d). Solve 5*r - 3 = -k for r.
-4
Let w be (6/(-10))/((-9)/1875*5). Solve -7*v + w*v = -36 for v.
-2
Let k = -15 - -18. Suppose 0 = 2*j - 3*y + 16, -k*j = -2*j + 3*y + 17. Let n = j + 11. Solve -3*m - 3 = -n*m for m.
-1
Let m be 0/(14/35*-5). Solve m = -16*d + 45*d - 29 for d.
1
Suppose 0 = -5*r - 285 - 15. Let c = 63 + r. Solve -2*k - 4 = -c*k for k.
4
Let l be 7*(7 + 91/49). Solve 58*u = l*u + 20 for u.
-5
Suppose -3*d + 65 = -5*v, -19*d = -16*d + 5*v - 25. Solve -u = 2*u + d for u.
-5
Let h(p) = -p**3 + 5*p**2 - 2*p + 6. Let k be h(5). Let m(a) = -a - 4. Let r be m(k). Suppose q - 3*t - 1 = r, 2*t = -q - 2*q + 36. Solve -o = o + q for o.
-5
Let m(j) = j**3 - 22*j**2 - 26*j + 71. Let z be m(23). Solve 3*c + 1 = -z for c.
-1
Let o = -94 - -100. Suppose -32 = -14*q + o*q. Solve q*k - 6 = 2*k for k.
3
Suppose 13*s = 9*s + 8. Solve s*b = 4*b - 10 for b.
5
Let y = -23 - -27. Suppose -y*s + 5 = -7. Solve 0 = -s*t - 9 + 3 for t.
-2
Let n be (0 + 2)/((-3)/(-15)). Let v(z) = 3*z + z - 2*z - 11. Let k be v(n). Solve -3*y = -3 + k for y.
-2
Suppose 10 = g - 2*w, 2*g + 5*w + 19 - 3 = 0. Solve -63*m - g = -64*m for m.
2
Let u(o) = -o**2 + 7*o. Let y be u(6). Solve -8*a = -y*a for a.
0
Let s(k) = k**3 - 4*k + 3. Let l be s(0). Suppose v - 1 = l*h + 4, -3*v - h = -5. Solve v*o + 9 = -o for o.
-3
Suppose 8*b + 74 = -46. Let t = 15 + b. Solve t*k = -k - 2 for k.
-2
Let f(s) = 2*s**3 + 4*s**2 - 7*s + 4. Let p be f(1). Solve 0 + p = -3*b for b.
-1
Let o be (10/(-4) + 7)/(6/4). Solve 0 = o*a + 8 - 5 for a.
-1
Suppose -6*u + a + 15 = -3*u, 5*u - 25 = 2*a. Suppose -13 - 7 = -u*y. Let p = 4 - y. Solve 2 = -p*t + t for t.
2
Suppose 18*x - 51 = 3. Solve -x*i = 7*i + 50 for i.
-5
Let b(o) = 2*o**2 - 3*o. Let q be b(0). Solve -14*d + 9*d + 5 = q for d.
1
Let q = -357 - -359. Solve -q + 10 = 2*o for o.
4
Let u be (4 - -21)*((-18)/(-15) - 0). Solve 7*j + 23 = u for j.
1
Let h = -13 + 16. Suppose 5*t + 0 + 15 = -4*r, -2*r + t + h = 0. Let b be 0/(1/1) - r. Solve b*w + 15 = 3*w for w.
5
Suppose -2*u = -4*j + 119 + 289, 3*j - 315 = -3*u. Let p = -100 + j. Solve p*y = -2*y + 20 for y.
4
Let d be (-70)/15*6 - -4. Let w be (d/9)/(20/(-150)). Solve -r = -6*r + w for r.
4
Suppose 4*z = -7*z + 33. Solve -7*a = -z*a for a.
0
Let g(b) = -2*b**2 + b - 3. Let j be g(3). Let x be (-5)/(-2) - j/12. Let k be x/(-10 + 2)*-2. Solve 4*c + k = -3 for c.
-1
Suppose 2*i = -d + 6*i - 6, -4*d = -2*i + 10. Let c(q) = 4*q**2 + 4*q - 1. Let j be c(d). Solve -2*s = -j*s + 5 for s.
1
Let f(y) = -3*y**2 - 17*y + 2. Suppose 11 = -7*k - 24. Let i be f(k). Solve i = -0*c - 3*c for c.
-4
Let i = -16 + -16. Let t = i + 72. Let m be ((-11)/((-44)/t))/2. Solve -m*q = 21 - 6 for q.
-3
Let u be (-1876)/(-20) - -5 - (-2)/10. Let s = -99 + u. Solve 0 = -s*b - 4*b for b.
0
Let u = -6 + 21. Let j be 12/u*(-20)/(-8). Suppose -5*q + w = -6 + 2, -8 = -j*q + 2*w. Solve 2*l + 4 - 2 = q for l.
-1
Suppose -v - 6*v = 0. Suppose v = 8*i - 8. Let p = 6 - 2. Solve p = -z + i for z.
-3
Let f(n) = -3*n - 7. Let s be f(-5). Suppose -5*x - 2*z + 7 = 0, 0 = -x + 3*z + 7 + s. Solve x*v + 0 = 6 for v.
2
Suppose -2*b = -3*c + 18, 24 = -3*c + 7*c + 2*b. Solve 0 = -c*o + 4*o - 2 for o.
-1
Let s(h) = 4*h + 75. Let q be s(-24). Let f = -17 - 2. Let r = f - q. Solve -2*u = r*u - 20 for u.
5
Let i be (4 + -5)*1*5. Let z = 1 - 5. Let b