v = -5*p - 1, 3*p + 2 = 8*p - 2*v. Let o = 0 - p. Let z be (-1 - 4/(-6))*o. Solve 0 = -z*s + s - 3 for s.
3
Suppose -3*g + 3*s + 0 = -3, 0 = 4*g + 5*s - 4. Let c(x) = x**2 - 2*x - 5. Let m be c(6). Suppose -m - 6 = -5*y. Solve -3*o + y = -g for o.
2
Suppose -12 + 0 = -2*r. Solve r = -2*o - o for o.
-2
Let u(q) = -q**2 + q. Let g be u(0). Let m be (60/(-8))/((-6)/(-8)). Let l = 15 + m. Solve -l*h - 10 = -g*h for h.
-2
Let j = 9 - 6. Let v(b) = -2*b**2 + b**2 - 6 + 2*b + 6*b. Let d be v(6). Solve -j*c + d = 15 for c.
-3
Let c be (7/21 - -1)/(2/12). Solve c = -4*x + 20 for x.
3
Let h = 13 + 1. Solve 2 = -4*p + h for p.
3
Let g be 30*1 + -2*1. Let h(k) = -4*k + 1. Let d be h(5). Let x = d + g. Solve -3*w - x = -0*w for w.
-3
Let i(q) = q**3 + 4*q**2 + 2*q - 3. Let o be i(-3). Suppose 26 + o = 2*n. Suppose t + 2*t = 3*v - 39, 0 = -v + 2*t + n. Solve 5*y = v - 3 for y.
2
Let y(f) be the second derivative of -5*f**3/2 - f. Let x be y(-1). Suppose 5*q - 2*h - 3*h = 10, h = 4*q - 20. Solve -o + q*o + x = 0 for o.
-3
Let f = -55 - -59. Solve -f*g + 25 = g for g.
5
Let d = 10 + -5. Suppose k - 8 + 2 = -d*f, 0 = k + 4. Solve -20 = f*l - 6*l for l.
5
Let q be 18 - (-2)/2 - -3. Suppose -q = -4*y - 2. Suppose g = y*g. Solve g = -0*w - w - 3 for w.
-3
Suppose -3*p + 4*x + 29 = 0, 3*x + 14 + 10 = 3*p. Let r(u) = -4*u + p*u + u**2 - u. Let g be r(3). Solve -d + 0 = -g for d.
3
Suppose 5*v - 2*v = 9. Suppose -2*r - 3*p - v = 12, -5*r - p - 5 = 0. Solve -4*h + 5*h - 2 = r for h.
2
Suppose 2*y - 4*y = 0. Suppose 0*o + 35 = 5*o + 2*h, -4*h = 20. Suppose o = -3*r, 0*r - 3 = -4*q - 3*r. Solve q*a + 11 - 2 = y for a.
-3
Let a(n) = -4*n + 8. Let q be a(6). Let w be 2*(-9)/(-24)*q. Let b be (w/10)/(4/(-30)). Solve -3*d - 6 = b for d.
-5
Let u be (4/8)/(-2*1/(-76)). Solve 5*x - 6 - u = 0 for x.
5
Let t = -3 + 7. Let d be 2/t*(1 + -1). Solve 5*l = -d*l - 20 for l.
-4
Suppose -2*g - 3*o + 2 = 16, 5*g = -2*o - 46. Let h = g + 10. Solve h*j - 15 = -5*j for j.
3
Let m(g) = g**2 + 5*g - 5. Let y(c) = 5*c**3 - c**2 + 1. Let w be y(-1). Let x be m(w). Let a = x + 8. Solve -3*n - 12 = a for n.
-5
Let j = -17 + 20. Solve -2*p = j + 7 for p.
-5
Let i(s) = -s**2 - 10*s - 9. Let y be i(-4). Solve 2*c = -c - y for c.
-5
Let k = -27 - -29. Solve 4*b + 4 = k*b for b.
-2
Let o(q) = -2*q + 1. Let x be o(-1). Suppose b + 4*z - 16 = -3*b, -5*z = x*b - 12. Solve -5*p + b = 19 for p.
-3
Let w be (-1)/(2/(-6))*(-9)/(-27). Solve 2 - w = x for x.
1
Let m(c) = c**3 + 14*c**2 - 14*c + 15. Let y be m(-15). Solve y*k = 5*k + 10 for k.
-2
Suppose 3*h - 17 = 7*h + 5*c, c = -2*h - 1. Suppose -h = 3*m - 11. Let n(i) = i + 1. Let d be n(-1). Solve d*v - m*v + 3 = 0 for v.
1
Suppose -3*a + 12 = -0. Suppose 5*y - 14 + 50 = 4*r, 16 = -4*y. Solve 0 = -r*p + a for p.
1
Let b be ((-3)/9)/(1/(-30)). Suppose 12 = 4*j + 4*r - 16, b = 2*r. Solve j*t = 3*t - 3 for t.
3
Let j = -6 + 10. Suppose -9*l + 4*l = 0. Solve -j*m - 11 - 1 = l for m.
-3
Let j(r) = -3*r + 1. Let h(b) = 4*b - 2. Let o(n) = -2*h(n) - 3*j(n). Let w(u) = u**2 + 4*u - 5. Let k be w(-5). Let d be o(k). Solve d = m + 4 for m.
-3
Let q(k) = k**3 + 4*k**2 + 4*k + 2. Let b be q(-2). Solve -x - 2 = b for x.
-4
Suppose -20 = -5*m + 5*k, -3*m - 26 = 5*k - 6. Solve m*a = -a + 1 for a.
1
Let k = -7 + -8. Let a = -7 - k. Solve -a = -3*p + 7 for p.
5
Let h = 52 - 48. Solve -3 + 11 = -h*b for b.
-2
Let o = -28 - -28. Solve -w + 1 = -o for w.
1
Let f = 11 - 7. Suppose -f*h = 5*x - 33, 4*x - 11 = -2*h + 13. Solve -4*w - 10 = -h*w for w.
-5
Let d = 54 - 52. Solve 0 = -d*c + 8 - 2 for c.
3
Suppose 4*q - 60 = -q. Let x = q + -7. Solve 4 = -x*v + 4*v for v.
-4
Let f(d) = -d**2 - 14*d - 42. Let a be f(-6). Solve -a*n - 20 = -10*n for n.
5
Suppose -3*z - 2*x + 8 = z, -2*x = z - 2. Solve z*u + 2*u = 0 for u.
0
Suppose b + 0*y = y + 6, 2*y + 27 = 5*b. Suppose d + 3*d = 0. Let o = b - d. Solve -o = j - 4 for j.
-1
Suppose 2*t = 6 + 4. Let p = -5 + t. Solve 7*f - 3*f = p for f.
0
Suppose 4*m - 2*m + 4*p + 18 = 0, -m = p + 4. Solve -m = -3*y - 4 for y.
-1
Let p(x) = 4*x - 1. Let f be p(-1). Let k(n) = -1 + 4*n - 1 + 0 + n**3 + 6*n**2. Let c be k(f). Solve -3*q + 12 = -c for q.
5
Let s = 24 - 13. Let b(o) = -2*o + 2. Let u be b(3). Let t = u + s. Solve -2*r + 3 = -t for r.
5
Let c(r) = -r**3 + 3*r**2 + 4. Let i be c(3). Suppose 4*f - 2*g - i = -5*g, -3*g = -3*f + 24. Solve 0 = -0*b + 2*b - f for b.
2
Let g(y) = y**3 - 4*y**2 - 2*y + 11. Let m be g(4). Solve 0 = 4*x + 1 + m for x.
-1
Suppose d = 3*n - 20, -3*n - 3*d = -5*n + 25. Let w = -1 + n. Solve 2 = -w*a - 14 for a.
-4
Let a(g) = -3*g**2 + g**3 - 3*g + 0*g**3 + 0*g**3. Let f be a(4). Suppose 2*v = 4*n + 20, 2*v = -3*v - n + 61. Solve v = 4*j - f for j.
4
Let d(x) = -x**2 - 4*x + 10. Let h be d(-7). Let q = -11 - h. Solve 2*t - 2 + 0 = q for t.
1
Let v(m) = m**2 - 4*m - 5. Let f be v(5). Let w(b) = b - 7. Let q be w(f). Let i = q - -13. Solve -p - p = -i for p.
3
Let b = -1 - -1. Let k(d) = d**2 + 1. Let n(v) = v**3 - v + 1. Let r be n(1). Let u be k(r). Solve b = u*q - 5*q + 3 for q.
1
Let g be (4 - (-4)/(-2)) + -2. Suppose -2*q - 2*q = g. Solve -o - o = q for o.
0
Suppose 14*t - 3*t = 44. Solve t*h + 3 = 5*h for h.
3
Let t(q) = q - 1. Suppose 0 = -0*l + 3*l + 3*o, -5*l + o = -30. Suppose l*b - 16 = 4. Let c be t(b). Solve 5*d = 2 + c for d.
1
Let h(k) = k. Suppose 5*t + 1 - 6 = 0. Let v be h(t). Let z = v - -2. Solve -3*a - z = -9 for a.
2
Suppose -3*b - 27 = -6*b. Suppose 4*m = p + b, m - 5*m = -4*p. Suppose w = 5*r - 6, -1 - m = 4*r - 3*w. Solve r*x - 8 = -2*x for x.
2
Let r be (-202)/22 - (-8)/44. Let s = 7 + r. Let a be ((-1)/2)/(s/32). Solve 8 = -4*v - a for v.
-4
Let s(l) = -l**3 - 7*l**2 - 2*l - 9. Let n(x) = -x**3 - 7*x**2 + 2*x + 7. Suppose 14 = 5*c + 49. Let g be n(c). Let y be s(g). Solve y = -2*j - 1 for j.
-3
Let m(a) = a**2 + 4*a + 5. Let r be m(-5). Let j = 4 - 2. Solve 0 = -j*p + 7*p - r for p.
2
Suppose 0 = 2*d - 130 + 94. Suppose -5*c - 15 = -5*g, -5 = -3*g + 5*c + 6. Suppose g*n - 35 = -3*n. Solve d + n = -5*i for i.
-5
Let v(s) = s**2 - s + 6. Suppose 2*g = -2*g. Let d be v(g). Let b = d - 4. Solve -2*j + 3*j = b for j.
2
Suppose 0 = -8*m + 22 + 2. Let d(y) = -y**2 + 8*y - 9. Let r be d(6). Let g = 0 - 0. Solve m*v + g = -r for v.
-1
Let o(h) = 4*h**3 + 2*h**2 - 1. Let q be o(1). Suppose -2*x + 11 - 1 = 2*s, 5 = -q*x + s. Solve 4*u = -x*u - 20 for u.
-5
Suppose -3*s - 4*s + 28 = 0. Solve -s*w + 7*w = 0 for w.
0
Let z be (-20)/15 - 2/(-6). Let y(v) = -3*v**3. Let p be y(z). Solve p*u = -u - 4 for u.
-1
Suppose f + 10 = -f, 3*f = -5*r - 5. Let m = 17 - 11. Suppose 0 = -d - d + m. Solve -r*g + d = -3 for g.
3
Let b(d) = d**2 + d + 2. Let l be b(0). Suppose 6*w - 5*w + 3*r - 15 = 0, l*w + 20 = 4*r. Solve -2*g + 4*g - 8 = w for g.
4
Let x = 42 + -24. Suppose 3*p - 6*p - x = 0. Let y be 62/4 + 3/p. Solve -2*d + y = -5*d for d.
-5
Let j(f) = f**2 - 16*f + 19. Let l be j(15). Let a be l/(-12) - (-32)/6. Let i = -3 - -6. Solve -2 = -i*x - a for x.
-1
Let x = -4 + 3. Let k = x + 1. Solve b + b + 4 = k for b.
-2
Suppose 3*q + 9 = -4*s, -14 = s + 4*s + q. Let r be 16/12 - (-1)/s. Let n be 1*9/(1/r). Solve 4*d + n = 25 for d.
4
Suppose -x = -2*l + 9, -5*x + 3 = 2*l - 0*x. Suppose 0*b - 22 = -b + l*a, 5*b = 5*a + 35. Suppose d = -b*d + 18. Solve 16 - d = -5*y for y.
-2
Suppose -4*r + 6*i = 3*i - 7, r - 5*i + 11 = 0. Solve 0 = r*d + 1 - 5 for d.
1
Suppose 21 = -3*m + 36. Solve 2*c = -3*c + m for c.
1
Suppose -b - 4 = 5*j + 20, -j - 5 = 0. Let g(z) = z**3 + z**2 - 5*z - 4. Let s be g(-2). Suppose -8 = -s*f + 2*v, -b + 20 = 3*f + 4*v. Solve 1 - f = h for h.
-4
Suppose 4*t + 20 - 56 = 0. Suppose 4*u - t*u = 0. Suppose y - 3*y + 10 = u. Solve -16 = y*a - a for a.
-4
Let t = 13 + -21. Let b = 12 + t. Solve b = o - 0 for o.
4
Let z(j) = j**3 + 5*j**2 - 2*j - 3. Let q be z(-5). Suppose -2*l + 1 = -q. Suppose 4*y + 5*r - l = 0, -7 + 2 = -5*y + 4*r. Solve 5 - y = v for v.
4
Let r(h) = -6*h + 5. Let a(c) = -7*c + 6. Let n(z) = -5*a(z) + 6*r(z). Let d be n(-5). Solve d*i = -0*i - 5 for i.
-1
Suppose -5*r = -25, -q + 3*r - 15 = -3*q. Solve q*u = 5*u + 20 for u.
-4
Let t = 2 - 1. Let p = 4 - t. Solve p*y - 2 - 7 = 0 for y.
3
Suppose 0 = 2*j - 4*c + 14, j - 7*c + 2*c - 8 = 0. Let g = 26 + j. Let l be 6/(-27) - (-29)/g. Solv