t i(q) = 2*q**3 + q - 1. Let f be i(1). Solve 5*p - f*p + v = 0 for p.
-4
Suppose 0 = -3*f - 3, -3*b - 4*f = -9 + 1. Suppose 0*u + 2*u - b*q = -6, -4*u = 2*q + 12. Let x be (0 - -1)*(1 - u). Solve -14 + 2 = x*l for l.
-3
Suppose 4*n - 6*n = 0, 24 = 4*x + 5*n. Solve 5*o = -x - 19 for o.
-5
Let r(l) = -6*l**2 - 9*l + 4. Let h(c) = -11*c**2 - 18*c + 8. Let m(i) = -4*h(i) + 7*r(i). Let j be m(-5). Solve -3*f = -11 - j for f.
4
Let n(r) = r**2 + 12*r + 16. Let q be n(-12). Solve -4*x - q = -0 for x.
-4
Let c be (-3 - 121)*(-4)/16. Suppose 0 = 2*v + 3*f + 6, 4*f = -3*v + 8*v - c. Let z = -10 - -13. Solve -v*k = 18 - z for k.
-5
Suppose -5*t - 14 = -3*t. Let z be (-2 - -1) + (t - -10). Suppose 0 = 7*r - 3*r - 8. Solve z*h + r - 6 = 0 for h.
2
Suppose 0 = 11*f - 3*f - 128. Suppose 4*p + 4*v = f - 0, -p = -v - 12. Solve -3*x - 20 + p = 0 for x.
-4
Suppose s = -3*b - 9, -3*b + 5 = -s + 14. Suppose a = -5*c + 10, s*c = c + a - 2. Suppose 2*l = 3*u - 7, -3*l + c*l + 10 = 3*u. Solve 12 = -u*r - r for r.
-3
Suppose 3*z = -42 - 81. Let r = -29 - z. Solve 0*o + 3*o + r = 0 for o.
-4
Suppose -b = -5*x + 76, 282*b - 279*b = x - 18. Solve 12*l - 6 = x*l for l.
-2
Let i = 43 + -40. Let o(m) = 13*m**2 + 3*m + 29. Let x(p) = -3*p**2 - p - 7. Let u(n) = -2*o(n) - 9*x(n). Let l be u(-4). Solve 0 = i*f - 0 + l for f.
-3
Let g(t) = 6*t - 10. Let c be g(3). Let i be 9 + c + 3*1. Suppose 4*z = -5*y + i, 2*z - 10 = -2*y - 0*z. Solve -2*q + 2 + y = 0 for q.
1
Let z be (3 - -3)/(12/18). Solve -3*t + 6 = -z for t.
5
Let x(o) = 3*o + 86. Let h be x(-21). Solve 0 = -9*g - 22 - h for g.
-5
Suppose -5*d + 10*d - 30 = 0. Suppose 109 = 5*h + r, -d + 1 = 5*r. Suppose o + h = 5*i - 0*o, 5*o = 4*i - 5. Solve 0 = i*k - 6 + 1 for k.
1
Suppose -3*a = 9*a. Solve a = 3*w - 2 - 1 for w.
1
Let o be (-36 - -41)/(1/2). Solve -5*z - 15 = -o*z for z.
3
Suppose 5*r = 3*u + 6*r - 4, 0 = 2*r - 8. Suppose -4*c - 2*y + 6 = 0, -5*y - 3 - 12 = -5*c. Solve u = k + k + c for k.
-1
Let u be 4/(3 + -5) + -3. Let h(z) be the third derivative of -z**4/24 - z**3/2 + 2*z**2. Let l be h(u). Solve -l*j = j for j.
0
Suppose -7*t + 160 = -2*t. Let r = -32 + t. Solve -4*c + r = -4 for c.
1
Let k be (-5)/(2*(-2)/4). Suppose -2*d - k*p + 25 = -0*d, 25 = -3*d + 5*p. Suppose d = 7*a - 9*a + 10. Solve 0 = 6*c - c - a for c.
1
Let h be (-14)/(-28) + 2/(-4). Solve h = 10*d - 11*d - 2 for d.
-2
Let c(p) = -p + 13. Let n be c(10). Let i be (6*1)/(n + -4). Let a be 47/3 + i/9. Solve 5*r = -a - 5 for r.
-4
Let f(d) = 12*d + 2 + 68 + 8 + 6. Let z be f(-7). Solve z*v = -v - 3 for v.
-3
Suppose 8*a - 4*a + 39 = -3*g, 5 = -5*g. Let u = a - -10. Let w be ((-3)/(-9))/(u/3). Solve w = 2*s - s for s.
1
Let q be (140/(12 + -2))/(3 + -1). Solve 0 = q*o - 16 + 23 for o.
-1
Let l(f) = -f**2 + 6*f - 3. Let k be l(4). Suppose 2*y - 11 = -k. Solve 0 = -g + y for g.
3
Let l be 36*1/(-1 - 1). Let w = l + 23. Solve 4*b + w = -3 for b.
-2
Let y(l) = -4*l - 7. Let j be y(-4). Let b be 1/(3/j) - 0. Solve -5 = b*o - 11 for o.
2
Suppose 0 = -c + 2*c - 15. Suppose 4*f - f = 18. Suppose 0 = -5*z + 2*z. Solve -o + f*o + c = z for o.
-3
Suppose 0*d - 2*d + 24 = 0. Suppose -2*u = -0*u - d. Let g be (-4)/7 + 312/(-91) + 8. Solve 10 = g*o - u for o.
4
Suppose -31*l + 26*l - 2*t = -92, -4*t = 3*l - 58. Solve 8 = -10*p + l*p for p.
1
Suppose -26*h + 24 = -24*h. Let z be (-13)/(-4) - (-9)/h. Let k(c) = c - 2. Let s be k(z). Solve 8 - 2 = s*j for j.
3
Let o be 6/((-48)/4)*5*-18. Suppose -3*j - 15 = 0, 0*j + 2*j = -5*y + o. Solve 0 = -2*t - 1 + y for t.
5
Let u(x) be the third derivative of -x**5/60 + 7*x**4/12 - 7*x**3/6 - x**2. Let s = -130 + 143. Let b be u(s). Solve -b = 3*l - 0*l for l.
-2
Let o(f) = 3*f - 12. Let c be o(0). Let r(z) = 2*z**2 + 24*z + 10. Let b be r(c). Solve 6 + b = -4*t for t.
-4
Suppose -4 + 15 = 5*j + 4*q, 0 = -2*j + 4*q + 10. Let g(c) = c**2 - 5*c - 3. Let f be g(5). Let n be -1 + f/(j/(-5)). Solve v + 9 = n*v for v.
3
Let r = 45 + -6. Suppose -2*u = -n - 4 - 0, 3*n = -3*u - r. Let k = n - -12. Solve k*b - 4 = -0 for b.
2
Suppose -5*w + 3 = -52. Let p = w + -7. Suppose -p*n = -7*n + 9. Solve -t = n*t for t.
0
Let h be (-309)/(-5) + (-10)/(-50). Let d = -29 + h. Suppose -2*r + s = -15, 4*r = -0*s + s + d. Solve -r = -2*v + 5*v for v.
-3
Suppose -4*i - w + 4 = 0, 9 = i - 3*w - 5. Suppose i*r = -6, 28 = -q + 3*q - 4*r. Suppose 3*v - 5*g = -9, 4*g - q = -3*v + 10. Solve -1 - v = -s for s.
3
Let h(l) = -5*l + 74. Let f be h(14). Suppose 3*g - 3*x - 12 = 0, g + 2*x = -g. Suppose -23 = -g*p - 2*p + 3*n, -5*p - 4*n = -52. Solve -4 = f*z - p for z.
1
Let j(o) = o**2 + 5*o - 21. Let a be j(-9). Solve -5*w - a = -2*w for w.
-5
Let p = 9 + 2. Suppose 8*m = -0*m - 4*m + 24. Solve -m = 3*x - p for x.
3
Let g(y) = -2*y**3 + 14*y**2 + 5*y - 30. Let r be g(7). Solve -3*l + 4 = -r for l.
3
Let y be 6*(-4)/6 - 48/(-8). Solve -16*v - 66 = -y for v.
-4
Suppose 4*j = -5*k - 8, 0 = -5*k - 0*k. Let l be (6/j)/((-9)/27). Solve -6 = 3*p + l for p.
-5
Let k be (-1470)/(-189) - (-4)/18. Suppose -12 = -4*u - 0*u. Suppose p = 4*r + 2*p - 13, -u*r + 10 = p. Solve k + 7 = -r*c for c.
-5
Suppose 72*z = 69*z + 2*a + 28, 4*a = 3*z - 20. Solve 0 = -z*b + 51 - 3 for b.
4
Let n be -30*16/60*-3. Suppose 0 = 5*r + 4*v, 0 = -r + 2*r - 4*v - n. Suppose -3*z - 3*u = -21, r*u = 5*z - 0*u + 1. Solve -z - 1 = m for m.
-4
Let d(p) = p**3 + p**2 - 2*p. Suppose 19 = -5*l + 4*l. Let y = l + 21. Let j be d(y). Solve -n = 3*n + j for n.
-2
Let c = -17 - -19. Suppose c = 4*f - 22. Solve -4*m - 22 = -f for m.
-4
Suppose -5*a + 7 = 2*h - 15, -2*a + 5 = -3*h. Suppose 7 = m - h. Solve -2*c - m = -6*c for c.
2
Suppose r - 4*m = 13 + 11, 5*r + 5*m - 20 = 0. Solve -4*i - 4 = r for i.
-3
Let u = 0 + 1. Let v(b) = -b + 1. Suppose x + 18 = -2*x - 3*f, 2*f = x. Let i be v(x). Solve i*r - 6*r = u for r.
-1
Let w(m) = 81*m + 6. Let v be w(0). Solve -15 = v*h + 9 for h.
-4
Let g(t) = 2*t**3 + 6*t**2 - 9*t + 4. Let m be g(2). Solve 5*i = -36 + m for i.
-2
Let i(g) = -3*g. Let s be i(-4). Let b(t) = -t**3 - 2*t**2 + 12. Let r be b(0). Let p = r - s. Solve 0 = -j - p*j + 5 for j.
5
Suppose -5*u - 7*v + 20 = -5*v, 4*u + 5*v - 16 = 0. Solve -u*c = c - c for c.
0
Let s = -26 - -25. Let i be (13/4 + -2)*(s - -9). Solve i = -3*y + 1 for y.
-3
Let v(s) = s**2 - 6*s - 11. Let h be v(7). Let u be (h + 6)*(0 - -1). Solve -4*i = -u*i + 2 for i.
-1
Suppose 0 = 3*o + 38 - 521. Let c be o/207 - (-2)/9. Solve -9 + c = 2*w for w.
-4
Suppose -f - 73 + 81 = 0. Solve 23 = -f*y + 7 for y.
-2
Let x(k) = k**3 + 7*k**2 + 3*k - 14. Let s = -44 - -38. Let i be x(s). Solve i*g + 0*g = -16 for g.
-4
Suppose 17 = f + 2*f + s, 3*f + 4*s - 14 = 0. Let t be 185*(14/10 + -1). Suppose -3*d + t = 14. Solve -f*z + z = -d for z.
4
Let z be ((-1178)/95 - -13) + ((-21)/(-15) - 2). Let a(q) = q**3 + 2*q. Let k be a(2). Solve z = -3*j - k for j.
-4
Suppose -5*g + w = -96 - 71, -3*w + 159 = 5*g. Suppose g*b - 3 = 30*b. Solve -3*m = -2*m + b for m.
-1
Let j(y) = y**3 - 8*y**2 + 7*y + 5. Let m = -9 - -16. Let p be j(m). Solve 0 = -a - p for a.
-5
Let z = 76 - 76. Suppose 21 = 3*y + 5*p, 0*p = -3*p + 9. Solve y = -z*s + s for s.
2
Let i(c) = c**2 - 9*c - 3. Let m(x) = -x**3 - 9*x**2 + x + 9. Let q be m(-9). Let u be 3 - (q + -1)*7. Let z be i(u). Solve 2*r - z*r = 10 for r.
-2
Suppose -170 = -79*o + 69*o. Solve -o*i + 18*i + 5 = 0 for i.
-5
Suppose 0 = b + 14 - 9, 3*b + 15 = -3*w. Solve 3*f - 2*f + 0*f = w for f.
0
Let i = 51 + -88. Let x = 0 - i. Let v be x/6 - 2/12. Solve 2*z + 4 = -v for z.
-5
Suppose 5*l + 3*d - 10 = 0, -9*l = -13*l + d + 25. Solve n - 2*n - l = 0 for n.
-5
Suppose 5*l - 3*i - 112 = 22, 0 = 4*l - 3*i - 109. Let a(h) = -h + 30. Let u be a(l). Solve u*n - 15 = -5 for n.
2
Let f be (-77)/22*(1 + -3). Solve -f*j = -2*j - 10 for j.
2
Let u = -1 + 3. Let l = -5 - -17. Let n be (16/l)/(u/27). Solve -7 = -5*q + n for q.
5
Suppose -5*q - 18 = -i, 0 = -i + 3*q - q + 18. Solve 12*j - i = 18*j for j.
-3
Suppose 0 = -t + o - 4*o + 1, 5 = t - o. Suppose 0 = k - 0 - t, 4*k - 4 = 4*w. Solve -7*s + 4*s - w = 0 for s.
-1
Suppose -3*r + 3*a + a + 26 = 0, r - 5*a = 27. Let w = -123 - -143. Solve 6*h = r*h - w for h.
-5
Let y(j) = -j**3 + j**2 + 7*j - 4. Let i be y(1). Let b(m) = m**2 - 7*m + 6. Let z be b(6). Solve z = -0*o + o - i for o