Let v be p(3). Let h = v + 5. Solve -3*f = h*z - 6 - 9, -12 = -4*z - 4*f for z.
3
Suppose -k - 3*o + 9 = -0*k, 14 = 4*k + o. Solve -a - 5 + 1 = 5*c, 0 = -3*a - k*c - 12 for a.
-4
Let x be (-1)/((-2)/12) - 1. Let a be (-2)/(-13) + 148/52*1. Solve 0 = -a*q + 3*p - p - 9, 40 = -x*q - 5*p for q.
-5
Suppose 0 = -2*f - o + 14, -3*f + 2*f + 5*o - 15 = 0. Solve -3*c + 5*w - 11 = 0, 0 = -c + 3*w - w - f for c.
3
Let b be (-3 - -1) + (-6)/(-6). Let u be -1 - b - (2 - 2). Solve 3*j - 3*c - 3 = u, -2*j + 0 + 2 = 4*c for j.
1
Suppose -5*p = -j - 2, -4*j + p = -3*p - 8. Solve -3*t = -2*b + j, -3*t = 3*b - 6*b for b.
-3
Suppose -2*g = 5*g - 14. Solve 0*f + 11 = 5*u + g*f, -f = -3*u for u.
1
Let f = 14 - 12. Let l = 0 - -3. Solve -l*k = -5*g - k, -f*g = 5*k for g.
0
Let o = -5 - -10. Let q = 10 - o. Let t(u) = -u**3 - 3*u**2 - 2*u - 3. Let a be t(-3). Solve -a*g + g = -5*x + q, 3*x - 9 = 0 for g.
5
Suppose 1 = 3*j + 5*h - 8, -5*j - 2*h = -34. Suppose -3*k = -7*k + j. Solve 10 = -5*p, -3*p + 3 = -k*z + 5*z for z.
3
Let q be 4/10 - 12/(-20). Let t be q + -1 - (-2 - 12). Solve -5*g = -4*v + 45, 3*g + t + 11 = 2*v for g.
-5
Suppose 4*q - 5*y + 17 = -3, 4*q + 2*y = 8. Solve -5*x = -2*b - x, 4*b + 3*x = q for b.
0
Let n(f) = -2*f - 3. Let t be n(-4). Solve t*y = -2*g - 2, -2*y + 1 = y - g for y.
0
Suppose 3 = 5*i - 2*i, -4*i = 4*f - 16. Solve -l = -f*a - 5, 2*l - a = l - 1 for l.
-4
Let x = -1 - -1. Let b be (x - 2 - -2) + 30. Let d = 16 - 11. Solve -3*i - b = d*m - 0*i, 5*i + 37 = -4*m for m.
-3
Let v be 6/(-8) + 309/12. Let d = -13 + v. Suppose -6 = -2*c + 4. Solve -16 = -c*l - s, l - d = -0*l + 2*s for l.
4
Let c(i) = i**2 + 7*i - 14. Let v be c(-9). Solve -5 = z - u + v, 0 = -2*z - 2*u + 2 for z.
-4
Suppose -10 = 4*s - 22. Solve 5*y - 14 = -c, -4 = -3*y - 2*c + s for y.
3
Let f = -20 - -16. Let k(a) = 3*a - 2. Let g be k(3). Let v = g + f. Solve v*i = m - 4*m - 6, i - 1 = -2*m for i.
-5
Let b be (-7 - -5)*3/(-6). Solve -7 = 5*i - 3*x, i + i - 5*x = b for i.
-2
Let n be 69/3 - 2/2. Let v be -2 + 4 + (0 - -21). Suppose 5*s = -5*l + 10, -4*s + 0*s + l = -v. Solve 2*t - s*t = 2*o - n, 5*o - 2*t - 17 = 0 for o.
5
Suppose -8 = h - 3*h. Let r = -4 + h. Solve t = 4*f, r*f = -2*t + f - 7 for t.
-4
Suppose 0 = 10*a - 3*a. Solve -5*i = v + 9, a = 4*v - 0 + 16 for i.
-1
Suppose 8*f - 12*f + 24 = 0. Let i(b) = b**3 - 5*b**2 - 6*b + 5. Let p be i(f). Solve 0 = p*n - 10, -n + 1 - 8 = -3*l for l.
3
Suppose 14 = 2*b + 4. Let y be 54/7 + (-2)/(-7). Let x(j) = j + 4. Let a be x(6). Solve k - 2*t = -a, -b*k + 3*t = -y + 23 for k.
0
Suppose -3*l + 4 = -p, -5*l - 3*p + 35 = p. Solve -2 + 6 = 2*b + l*f, 4*b + 12 = 4*f for b.
-1
Let w(f) = f**3 - f**2 - 3*f + 1. Suppose -x + 12 = -5*x, -u + 4*x = -14. Let m be w(u). Let i = 6 + m. Solve -3*z + i = 2*s, 3*s + 10 = -z - 0*z for s.
-5
Let r = 6 - 3. Let b(k) = k**3 - 6*k**2 + 2*k - 8. Let a be b(6). Suppose -o = d - 4, a*d - 2*o - 17 = -1. Solve r*g - 6 = 4*v - 26, d*v - 20 = 0 for g.
0
Let q = 72 + -70. Solve -4*x = 5*d - 7*x - 17, -q*d + 11 = 3*x for d.
4
Suppose -3*g + 2*g - i = -4, -4*g - 2*i + 20 = 0. Solve 0 = -4*j + 5*p + 21, g*p + 2 = 4*p for j.
4
Suppose 0 = -2*k - m + 8, 3*k - k = -4*m + 14. Suppose -2 = -3*a - 5*l, k*a + 0*a + l - 10 = 0. Solve -5*p + a*v + 2 - 29 = 0, -3 = -v for p.
-3
Let h be (24/5)/((-2)/60). Let i be h/(-30) - (-1)/5. Solve 5*r = -i*p + 6 + 4, 2 = 3*r - p for r.
1
Let r(v) = -v + 5. Let p be r(-4). Let g = p - 17. Let o = 13 + g. Solve x + 7 = 5*f, f = o*x - 0 - 13 for x.
3
Let a = 104 + -101. Solve -17 = -4*w + 5*s, -a*w - 5*s + 0*s = 31 for w.
-2
Let n(f) = 0 - 2 + 3*f - 5*f. Let k be n(-2). Let a = -6 + 37. Solve -5*r = y - 23, k*r - a = 3*y - 3*r for y.
-2
Suppose 4*y + 0 + 12 = 0. Let g = y - -2. Let m = g - -3. Solve -k + 2 - 16 = m*w, 3*w - 5 = 5*k for k.
-4
Let r = 9 + -12. Let y be r*(15/(-9) - -1). Solve 2*x + 0 = 5*j - 7, 2*x - 2 = y*j for j.
3
Suppose -4*x = 4*i + 12, -4*x = i - 2*i + 22. Solve -4*p = -2*s - 22, i*p = 5*s + 38 - 7 for p.
3
Let x(i) = 2*i - 6. Suppose 0 = -0*y - 5*y + 20. Let a be x(y). Solve 0 = 3*s + 3*b - 9, 0 = -0*s - 4*s + a*b + 12 for s.
3
Suppose 11 = j - 3*j - 3*x, -17 = -j + 3*x. Solve 0 = j*a - r + 5*r - 8, r = 5*a + 24 for a.
-4
Suppose -3*a + 30 = 2*a. Let l = 20 - 18. Suppose -a = -z - l. Solve 0 = 5*i + 25, z*i + 0*i = -g - 15 for g.
5
Suppose 2 + 6 = 4*p. Let r = 4 - p. Solve -3*w = 2*n + 17, -w + r*n - 7 = 3*n for w.
-3
Suppose -n = 3*d - 15, -4 = 2*n + 2*n - 4*d. Suppose 2*f + b - 16 = -b, n*f - b - 44 = 0. Let y = f - 9. Solve 3*c + 2*v = -2*c - 16, 18 = -3*c - y*v for c.
-2
Suppose 3*c = 7*c. Suppose -3*j + j + 6 = c. Suppose -v = -2*v + j. Solve 7 = 3*q - u + 5*u, -v = -3*u for q.
1
Let o(c) = c**2 - 3. Let i be o(-3). Let j be (-124)/(-12) - (-4)/i. Solve n = 5*v + 5 + j, 2*n = -5*v - 28 for n.
-4
Let h(d) = d**2 + 17*d + 18. Let o be h(-16). Solve -7*w = -2*w + 3*q + 18, -o*w + 2*q = 4 for w.
-3
Suppose 2*n = -0*n + 18. Let j = n + -1. Let m be ((-1)/2)/((-2)/j). Solve 6 + 4 = 2*v + m*i, -7 = -2*v + i for v.
4
Let l = 15 - 19. Let r be 12/l + (-3)/(-1). Solve 5*w + 13 = 2*a - r, -5*w = a + 1 for a.
4
Let w(z) = z**3 + 6*z**2 + 4*z - 1. Let r be w(-5). Solve -24 = 4*u + r*p - 0, 2*p = 2*u for u.
-3
Let d(w) = w**2 - 2*w + 1. Let i be d(-4). Solve 2*n - 16 = -4*f, -6*f + i = 5*n - f for n.
2
Let g = -18 + 21. Solve g*w = 6*w - f, 0 = -f - 3 for w.
-1
Suppose 100 - 21 = 2*l - q, -5*l + 5*q + 195 = 0. Suppose -3*p - 39 = 2*g, 20 - 102 = 4*g + 2*p. Let v = g + l. Solve 2*d = d - 5*w + 11, d = 5*w - v for d.
-4
Let a = -6 + 6. Suppose -c + 63 = -a*c. Let p = c + -28. Solve 2*i + 3*i = 4*u + 5, 5*i + 4*u = -p for i.
-3
Let w = 8 - -7. Let a = -11 + w. Solve i = 2*o - i - 2, 4*o - 2*i = a for o.
1
Let n(d) = -d**3 - 10*d**2 + 2*d + 23. Let t be n(-10). Solve 0 = -c, -h - t*h = 5*c for h.
0
Let d = 29 + -24. Solve 0*l + 2*l = -d*t, 0 = -2*l + 5*t + 20 for l.
5
Let a = -78 - -81. Suppose -3*v + 23 = -4*j - 2, -j + 11 = 5*v. Solve -11 = v*z - 5*f, z - a*z + 5*f = 9 for z.
-2
Let r(b) = b - 1. Let v be r(4). Let m(c) = -c + 6. Let g be m(4). Let y be 2 - (g/1 + -2). Solve p - y*l = -5, -4*l - l - 4 = v*p for p.
-3
Suppose 25 + 45 = 5*h. Suppose 5*j + 4 = h. Solve 10 = -2*g + 5*g + 4*t, 2*t = -5*g - j for g.
-2
Suppose -4*v - 11 = -7*v + 5*q, -2*q = -v + 2. Suppose 0 = -8*o + 12*o - v. Solve -4*d = a + 10, d = -4*d - o*a - 16 for d.
-2
Let v be 4/14 - -123*(-6)/(-63). Solve 5*a - 20 = -4*l, -5*l + 2*a - v = -a for l.
0
Suppose 1 + 2 = m. Suppose -1 = -v + m. Solve -3*z = -4*f + z + v, -z = f + 5 for f.
-2
Suppose -69 = -o + 17. Suppose y = -3*y + 3*h + o, 4*h = 3*y - 68. Suppose 0 = 4*f - y, r + 3*f = 7 + 10. Solve 8*q + 4*z + 23 = 5*q, -r*q - 3*z = 16 for q.
-5
Let i be -8*3/6*-2. Let o = i - 5. Solve 5*d - 9 - 14 = -o*z, 13 = 4*d - 3*z for d.
4
Let j be 0*-2*(-2)/4. Suppose j = x, -3*g = -4*x + x - 105. Solve 3*t = 5*f + 19, 0*f + 5*f + g = -5*t for t.
-2
Suppose 2 = -3*p + 38. Solve -p = 3*s, -3*s - 8 = -x - 0*s for x.
-4
Let r(b) = 4*b**2 - 2*b. Let p be r(1). Solve -p = -2*o + 3*o - 3*i, -5*o - 10 = -i for o.
-2
Let m = 56 + -54. Solve 4*a - 3*n = 8, m + 0 = a + 2*n for a.
2
Suppose 0*m - 2*m + 8*m = 0. Suppose 2*r + 2*x - 8 = 0, 0 = 4*r + x + 4*x - 15. Solve m = 3*n - 0*g - g - r, -3*n + 5*g = -25 for n.
0
Let f(v) = v**2 + 6*v - 5. Let w be f(-7). Solve 2*u + 8 = 2*j - 0*u, w*j = -u + 2 for j.
2
Suppose 0 = 3*q - 6*q. Suppose -4*i + 11 = l - q*l, -i + 4*l + 7 = 0. Solve 0 = 4*z - i*n - 12, n + 4 = 2*z - z for z.
0
Let o = -55 + 68. Let h(n) = n**2 + n + 2. Let j be h(2). Let f = o - j. Solve 3*x - f*w - 28 = 0, 0*x + 5*x + 5 = -2*w for x.
1
Let p be (-4)/(-10) - 6/(-10). Let g be (-3)/(5 + -2) + p. Solve 4*u = 3*r + 13, -r - 3*r + u = g for r.
1
Let o = 15 - 13. Let y(a) = 2*a**2 - 2*a - 2. Let c be y(o). Solve 0 = -x + 3*r, -c*x - 5*r - 4 = -15 for x.
3
Let i(b) be the second derivative of -b**3/6 + 17*b**2/2 - 7*b. Let x be i(12). Solve x*o = 4*p - 16, 2*p + 4*o - 8 = -o for p.
4
Let r = -10 - -30. Let s be (2 - (1 - -1))/(-3). Let o(f) = f**3 + f**2 + f + 2. Let m be o(s). Solve 0 = -m*l + 5*l - 2*a + r, 4 = -3*l - 2*a for l.
-4
Let d = 48 - 25. Suppose 28 + d = 3*y. Solve q + 4*q - 2*k + y = 0, 4*q + 3*k + 9 = 0 for q.
-3
Suppose 0 = j - 6*j + 60. Let i