 0 = 4*p + 79 - 95. Suppose -2*n - 9 = -r, p*r + 0*r - 27 = 5*n. Solve -h = -r*h for h.
0
Suppose -40 = -2*t + 26. Let l = 58 - t. Let s = l + -20. Solve s = -2*q - 5 for q.
-5
Suppose 3*h - 30 = -5*r, 3*h + 4 = -4*r + 31. Solve 9*a + 12 = h*a for a.
-3
Suppose -5 = 6*n - 7*n. Suppose -y - 4 = n*t, 2*y = 3*y - 4*t - 14. Suppose y*j = j. Solve -2*v + 4*v - 6 = j for v.
3
Let w = 505 - 502. Solve -w = d + 2*d for d.
-1
Suppose -8*x + 0 + 8 = 0. Let c(h) be the second derivative of 5*h**4/12 + h**3/6 - h. Let n be c(x). Solve 0 = 2*k - 4*k - n for k.
-3
Let y = -799 - -801. Solve 85 = 15*n + y*n for n.
5
Suppose o + 0*o = 9. Suppose -4*z + o = 5*i - 10, -3*i - 5*z + 1 = 0. Suppose 0 = 125*m - 118*m - 21. Solve -8 = i*q - m*q for q.
-2
Suppose -20 = -3*y - 8. Let r = y + 0. Solve 16 = 3*s + r for s.
4
Let v(o) = o**2 - 9*o - 1. Let a be v(11). Let k = -20 + a. Let j be 0/((-4 - -3)*k). Solve -5 = -w - j*w for w.
5
Let c = -1 - -3. Suppose -2*u + 3*u + 1 = y, y - c*u + 2 = 0. Let w(v) = v - 3. Let o be w(y). Solve r = -0 - o for r.
-1
Let m(r) = 211*r - 106*r - 100*r + 20. Let a be m(-4). Solve -3*k = -a*k + 9 for k.
-3
Let z(d) = d**3 - 19*d**2 - 41*d + 28. Let h be z(21). Solve -39 = 2*n - h for n.
5
Let x be ((-45)/(-21))/(-5)*-7. Solve -15 = 6*h - x for h.
-2
Let y(x) = x**2 + 4*x - 21. Let m be y(-7). Suppose m = -14*z + 16*z. Solve j - 2 + 4 = z for j.
-2
Let o be (-412)/(-18) - (-610)/549. Solve -9*k + 21 + o = 0 for k.
5
Suppose 0 = 3*c - 2 - 31. Let l(d) = -d**2 + 11*d + 12. Let i be l(c). Suppose i = -4*w + 32. Solve 0 = -w*y - 9 + 29 for y.
4
Suppose -3*p = 4*y + 4 - 29, 0 = -3*y - 4*p + 24. Let t be 2*-5*y/(-8). Suppose -t*l = 2*s - 8, -4*s + 16 = l - 0*l. Solve l - 4 = -4*x for x.
1
Let m(a) = -6*a + 2. Let n(k) = 3*k - 1. Let s(v) = 6*m(v) + 11*n(v). Let u be s(-1). Solve -c - u*c = 20 for c.
-4
Let h = -407 + 433. Solve h*m = 20*m - 12 for m.
-2
Suppose 53 = -2*h + 67. Solve -q - 12 = -h*q for q.
2
Let c(s) = -s**3 + 10*s**2 + 13*s + 12. Let l = 40 + -29. Let o be c(l). Suppose -5*m + 16 + o = 0. Solve 2*v = -3*v + m for v.
2
Suppose 41*r - v - 48 = 38*r, -r + 4*v + 16 = 0. Solve -9*p + r*p = 21 for p.
3
Suppose -3*r = -6*r - 9, -5*r = 2*a - 109. Let g = a - 56. Solve 2*o + o = g for o.
2
Let r(c) be the second derivative of -c**5/20 + 3*c**4/4 + 11*c**3/6 - 5*c**2 + 25*c. Let x be r(10). Solve -3*t + t + 8 = x for t.
4
Let l(t) = t**3 - 3*t**2 + t - 3. Let u(a) be the first derivative of -a**2 + a - 14. Let w be u(-1). Let p be l(w). Solve 0 = -p*f + 2*f for f.
0
Suppose -2*v + 0 = -2*j + 20, j + 3*v - 2 = 0. Solve -3*t - 4 - j = 0 for t.
-4
Let z be 4/(96/200) - 2/6. Solve 2 = 3*x + z for x.
-2
Suppose -32*r = -37*r. Suppose 0*v - 5*v + 15 = r. Solve -v*k = -k + 6 for k.
-3
Let s(f) = 153*f + 13. Let h(r) = 38*r + 3. Let o(q) = 9*h(q) - 2*s(q). Let p be o(1). Suppose -3*t + 7 = -g, -5*g + 4*t + p = 7*t. Solve g*y = -4 - 1 for y.
-1
Let i be (8/6)/(316/24 - 13). Solve -i = 35*j - 39*j for j.
2
Suppose 0 = -v + 3*z - 41, 3*v = 5*z - 158 + 19. Let u = -52 - v. Solve 2*g - 1 - u = 0 for g.
1
Let a be (8 + -9)/(3/(-6)). Solve 20 = -3*h - a*h for h.
-4
Let s = -2300 + 2328. Solve 20*x + s = 13*x for x.
-4
Suppose c = -0*c. Suppose c*q + 6 = q. Solve -6*g - q = -3*g for g.
-2
Let r be -2 + (-35)/(-42)*6. Solve -3*g - 3*g = -r*g for g.
0
Let c be ((-2)/(2/(-3)))/(-1). Let o = 8 + c. Suppose 0*k + 5*k = -5*j + 15, 0 = 3*j - 3. Solve o + 1 = -k*f for f.
-3
Let f(c) = 42*c + 6. Let o be f(-2). Let w = o - -78. Solve w*t + 2*t = -6 for t.
-3
Suppose 4 = 3*p - 5. Suppose -3*f = p*h - 21, -2*h + 3*h + 2*f = 12. Solve 0*j - h = -2*j for j.
1
Suppose -3*f + 4*f = 0. Suppose f*m + 5*m = 0. Let i = 44 - 28. Solve 0 = -4*t - m*t - i for t.
-4
Let d be -10 + 34 - 5 - 10. Solve 0 = -2*s - d + 7 for s.
-1
Let h(i) = -i**3 + i**2. Let f be h(1). Suppose -r - 4*r = g + 17, -2*g = 2*r + 2. Solve g = 3*o - f for o.
1
Suppose -2*i + 12 = i - 3*c, 2*i + c = -4. Suppose -2*u + 0*u + 6 = i. Solve 0*k + 15 = -u*k for k.
-5
Let v be (90/20 + -5)*-336. Solve -176 + v = 4*z for z.
-2
Let d = 114 - 116. Let t(o) = -13*o - 21. Let g be t(d). Solve 0 = -g*f + 6*f for f.
0
Let m(l) = 26*l + 192. Let h be m(-7). Let n(b) = -b**3 - b**2 + 2*b + 3. Let g be (-3)/((-10)/(-4) - 1). Let i be n(g). Solve -j + i*j = h for j.
5
Suppose -2*t - 3*t + 2*q + 16 = 0, 3*q - 1 = -5*t. Suppose -2 = 2*r - t*o, -r + 5*o - 14 = r. Let c(p) = -10*p + 67. Let a be c(6). Solve -v + a = r for v.
4
Suppose -7*t + 12*t = 30. Let s be 1*t/9*66. Suppose -12 = -4*y - 3*c, -4*y = -7*c + 2*c - s. Solve y*o + 10 = o for o.
-2
Let q = -45 + 47. Solve -12 = q*p + p for p.
-4
Let p be -1 + -42*(-18)/27. Solve 6 = -7*z + p for z.
3
Suppose 86 = 2*p - 4*j, 5*p = -2*j - 2*j + 229. Let w = -41 + p. Solve w*s - 8 = 4 for s.
3
Let o(s) = 7*s**3 - 16*s**3 - 6*s**2 + 8*s**3 - s. Let h be o(-6). Suppose -3 = -h*m + 5*m. Solve -p - 2 = -m for p.
1
Let c be 316/26 - 6/39. Suppose 14 = s + c. Solve -5*v = -s*v for v.
0
Let g(k) = k**3 - 15*k**2 - 17*k + 20. Let b be g(16). Let l be (-2 + 1 - -17)/1. Suppose -c + b = -t, -4*c - 2*t = -l + 6. Solve -c*o - o = 16 for o.
-4
Let v be (7 - 7) + (3 - 1). Let u be 3/((-18)/(-21)) + 1/v. Solve -3*k = -u*k + 2 for k.
2
Let o be (6 - -1)/1 - 4. Suppose 0 = -6*c - 45 + 57. Solve -o*u = c*u for u.
0
Let s = -19 + -16. Let c = s - -77. Let k be (-12)/(-66) - c/(-11). Solve k*y - 8 = -0 for y.
2
Suppose -3*g - 6*v + 9*v + 15 = 0, -3*v + 9 = 0. Solve k - 35 = g*k for k.
-5
Suppose 0*d = 4*d - 20. Suppose -3*h - 8 = l + h, -2*l - 7 = d*h. Solve -l*p = -p for p.
0
Suppose -2*o = 4*p - 4, 10*o - 6*o - 4 = -4*p. Solve o = -4*i - 18 + 6 for i.
-3
Let w = -18 + 15. Let c(h) = 2*h**3 + 3*h**2 - 3. Let l be c(w). Let o be (4/12)/((-1)/l). Solve o = -x - 4*x for x.
-2
Let n = 1906 - 1901. Solve 0*z - n = z for z.
-5
Let k(c) = 10*c - 11*c**2 - c + 14 + c**3 - 2*c**3 + 2*c**3. Let u be k(10). Suppose -2*a + 7 = 1. Solve -5 = a*g + u for g.
-3
Let y be (5/(-20))/(8/(-64)). Solve y*x - 13*x = 33 for x.
-3
Suppose -6*k = -7*k + 9. Solve -13*b = -k*b - 16 for b.
4
Suppose -372 = -24*h + 108. Solve 13 + 67 = h*i for i.
4
Let p(k) = -k**3 + 12*k**2 + k - 12. Let z(i) = 10*i - 8. Let x be z(2). Let d be p(x). Solve d = c + c for c.
0
Let z(q) = q - 16. Let h be z(0). Let i = 6 + h. Let y = 11 + i. Solve 5*a + 11 = y for a.
-2
Let g = 1 + 2. Suppose 0 = 2*t - 5*a - 22, -2*a + 0*a = g*t - 14. Let q be 14/t - 2/6. Solve p + q*p = 15 for p.
5
Let n = 2489 - 2489. Solve n = 6*l - 5 + 17 for l.
-2
Suppose x = 5*n - 15, 7*n - 3*x - 12 = 3*n. Suppose 0 = f - 2*r + 1, -n*r - 6 = -4*f. Solve z + 4 = f*z for z.
2
Suppose r + 21 = -3*n, -4 = -n - 2*r - 6. Let z = -2 - n. Let w(h) = -h**3 - 3*h**2 + 3*h + 1. Let m be w(-4). Solve 0 = 2*p - m*p - z for p.
-2
Let p(g) = -65 - 46 + 0*g - 3*g. Let x be p(-38). Let u(q) = -q**2 - 8*q - 5. Let r be u(-5). Solve r = v - x*v for v.
-5
Suppose -9 = -5*f + 6, 25 = 2*u - f. Solve u*v = 13*v for v.
0
Suppose -12 = -3*i + 9. Suppose -2*k = -4*l - 16, -27 = -i*k + 3*k + 3*l. Solve 2*y - 4*y = -k for y.
3
Suppose 8*a = 116 + 52. Let y = a - 18. Solve -y = v - 8 for v.
5
Let g = -71 - 36. Let o be 2/4 - g/2. Let c be 2/(-8) + o/24. Solve x = c*x for x.
0
Suppose -5*h + 5 = 25. Let x = -70 + 63. Let l = h - x. Solve 22 = -5*c - l for c.
-5
Let g(o) be the first derivative of -o**3/3 - 9*o**2/2 - 7*o + 8. Let a be g(-12). Let t = a + 60. Solve -2*j - 7 + t = 0 for j.
5
Let n(c) = 3*c**3 - 35*c**2 + 20*c + 40. Let b be n(11). Solve 0 = -12*x + b*x + 30 for x.
-5
Let q(l) = 2*l + 26. Suppose -3*n = 42 - 9. Let d be q(n). Suppose 0*u + d*u - 2*p = 6, -2 = -3*u - p. Solve -s + 2 = -u for s.
3
Let i = 35 + -31. Let o be i + (5 + -2 - 3). Let v = o - -5. Solve v = 3*w - 6 for w.
5
Let s = -90 + 94. Solve -s*j - j = -20 for j.
4
Let h = 185 + -181. Solve 0*y + h = y for y.
4
Let n = 13 - 11. Suppose 9 = -n*z - 43. Let t be z/143 + (-35)/(-11). Solve -q - t*q = -16 for q.
4
Let o(f) = -3*f - 4. Let r be o(-3). Let d = -26 + 27. Let v be 1 - d - 20/(-4). Solve 0 = -2*g - r - v for g.
-5
Suppose -46*s - 259 = -1409. Solve -f - s = 4*f for f.
-5
Let u(h) = h**3 - 4*h**2 - 3*h + 2. Let n be (-1 - 1 - 1) + 6. Suppose 0 = n*j + 2*j + 3*i - 28, 0 = j - 5*i. Let v be u(j). Solve -v = -4*r