+ 40 for z.
5
Suppose 2*c - a = a + 2, 5*c - 1 = 4*a. Let s be 2/(9/c + 2). Let z = 8 + s. Solve 0 + 8 = -5*q - 4*u, -2*u = -z for q.
-4
Let m be 7/(-14)*3*-2. Solve -m*c - t = 5, -2*c = -t + 3*t - 2 for c.
-3
Let j(n) = -n**3 + 14*n**2 - 13*n + 1. Let l be j(13). Solve 10 = -b - 5*r, -4*r + 2 = -b + l for b.
-5
Suppose -i = 4*i - 185. Let u(h) = -h**2 - 4*h - 10. Let y be u(-6). Let w = i + y. Solve j - 5*z - w = 0, j + z + 9 = -2*z for j.
0
Let s(v) = -v**3 - 15*v**2 + 16*v + 3. Let h be s(-16). Solve 0*g - 8 = -2*g, h*g = w + 12 for w.
0
Suppose 0 = -b - 2*k + 9, 3*k = -b - b + 15. Solve -4*v + b*u = 6, 0*v + 4*u = -v + 8 for v.
0
Suppose 0 = m + 3*m - 20. Suppose 11 = 4*g - m. Solve 4*j = -4*p, -j - 3*p = -g - 0 for j.
-2
Suppose -x = -5*x + 28. Let h = 7 - x. Solve -3*g - 7 = -4*o, h*o = o - 4 for g.
3
Let c = 7 + -5. Suppose 0 = c*l - 0*l - 60. Solve -1 = -u - s - 5, -5*s = -5*u - l for u.
-5
Let x = -8 - -8. Suppose -p + x + 3 = -5*z, 2*z = -p + 10. Let m be 30/p + (-3)/(-12). Solve 4*t = -r + m, r - 5*r + 16 = -t for t.
0
Suppose 57 = 5*m + 47. Solve 2 = -u, 3*q = m*q - u for q.
2
Let i = 80 + -80. Solve 3*u - 12 = 2*n, i = 3*n + 3*u + 3 for n.
-3
Suppose -3*q + 4*s - 5 = 0, -3*q - 7 = -4*q - 3*s. Let f = q - -2. Suppose -4*o = -f*o - 10. Solve 4*v - 4*y = -20, 0*v + 2*y - o = -4*v for v.
0
Let t(x) = -x**3 + 11*x**2 + 11*x + 16. Let m(l) = l**2 + 13*l + 12. Let a be m(-13). Let r be t(a). Solve 5*b - c + 2 = 0, -r = -3*b - 2*c - 0*c for b.
0
Let o(y) be the first derivative of -y**4/4 - y**3/3 + y**2/2 + 2*y - 1. Let z be o(-2). Solve 4*b + b - 30 = 5*r, 3*b - z*r = 20 for b.
4
Let w = 7 - 4. Let g(i) = 36*i - 1. Let y be g(-2). Let j = -46 - y. Solve -2*l = l - w*s - j, -4*s - 11 = l for l.
5
Suppose -r - 2*r = -15. Suppose -2*a + 4*j = 8, -68 = 3*a + a + r*j. Let d be -3 + a/(-2) + -1. Solve 3*o + d*v + 8 = -2*v, 5 = -v for o.
4
Let w(p) = -p**3 + 4*p**2 + 5*p + 4. Let c be w(5). Solve -2*j + 4*j - 5 = 3*s, 45 = -5*j - c*s for j.
-5
Let x(o) = o**3 + 5. Let f be x(0). Suppose -f*q + 15 = p, 5*p - 9 = -q - 2*q. Solve 24 = 4*v + r, v - 3*r = -q*v + 8 for v.
5
Let o(p) = -p**2 + 3*p + 4. Let d be o(4). Solve -2 = -r, d = 3*k + r + 2*r + 6 for k.
-4
Let l be ((-6)/(-4))/((-3)/(-12)). Solve -2*h - 4*d - 8 = 0, 0 = l*h - 2*h - 3*d + 5 for h.
-2
Let y(o) = o**2 - 5*o + 2. Let l be 6/(-4)*70/(-21). Let q be y(l). Let f = 15 - -3. Solve 0 = 4*j + 3*i + 21, 3*i = -5*j + q*i - f for j.
-3
Suppose 2*d + 20 = 7*d. Suppose d*f = n + f, f + 6 = n. Solve 0 = -2*s + s - 3*g + n, 2*s - 14 = -5*g for s.
-3
Let f be 27/(-6) - (-1)/(-2). Let m = -18 + 11. Let g be m - -5 - (f - 0). Solve 0 = q + 5*z - 5, -4*q = -g*z + 3 - 0 for q.
0
Let n = 18 - 13. Let q be 3 + (-1 + n - -2). Suppose 4*o + q = 49. Solve h = -u + 10, -3*h + o = -4*u + 3*u for h.
5
Suppose 5*x - 5*o - 35 = 0, -2*o + 12 = 5*x - 2. Suppose 58 = d + 3*d + 2*m, 2*m + 78 = x*d. Solve 3*s = 2*h + 13, -2*h + 4*s = 7*s - d for h.
1
Suppose 2*l = 5*l - 6. Suppose 0 = -l*o + 1 + 3. Solve 3 = o*h - 3*u - 1, -3*h + u - 1 = 0 for h.
-1
Let c be (-6)/9 + 4/6. Suppose -2*b + c*f = 4*f + 24, 16 = -2*b - 2*f. Let z be b/14 + 74/14. Solve -i + 5*a = -15, -z*a - 9 - 6 = 5*i for i.
0
Suppose 0 = -a - 4 + 9. Solve 5*c = -3*d - 16, 3*c + 30 = a*d - 0*d for c.
-5
Let o(n) = -n + 7. Let y be o(8). Let k = y + 1. Solve -b = 2*r - 6, 0 = 5*r + 4*b - 15 - k for r.
3
Let w(s) = -s**2 - 3*s - 2. Let j(y) = -2*y**2 - 5*y - 4. Let z(d) = 6*j(d) - 13*w(d). Let p be z(-9). Solve 0 = 5*u + p*b + 10, 3*u - 3*b = -4*b - 5 for u.
0
Suppose -38 = -2*r - 4*n - 6, -4*r + 49 = 5*n. Let u(t) = t**3 - 6*t**2 - 6*t - 5. Let w be u(7). Solve 0*s = -w*s - k + 1, s - r = 5*k for s.
1
Suppose 0 = f + 5*f - 12. Let q be (64/(-24))/(f/(-3)). Solve -4*y - 8 = q*m - 4, 3*m - 5*y = -35 for m.
-5
Suppose 3*q + 0*q + 9 = -h, 0 = -4*h + q + 3. Solve 0 = 5*j + 4*p + 1, 5*j - p + 6*p = h for j.
-1
Let r = -5 - -11. Suppose -2*a = -4*v + 10, 3*a - r*a - 4*v + 25 = 0. Let g be 99/15 - 4/(-10). Solve k - 5*k + a*q - g = 0, -4*k - 6 = -2*q for k.
-1
Let i be (-2)/3*(-60)/8. Solve -3*t + t - 5*h = -20, -3*t + i*h = -5 for t.
5
Suppose 13 = 12*f - 23. Solve 2*k = -3*m + 9, 2 = f*m - m for k.
3
Suppose 0 = f + 3*f. Let d = 7 + -4. Suppose d*t - 2*t = f. Solve t = -3*y, 4*y - 4 = -0*q - q for q.
4
Let m = -12 + 19. Let h(a) = -a**3 + 7*a**2 + 2*a - 10. Let g be h(7). Suppose -g*z + 1 = -m. Solve -z*o - q = -8, q = 2*q for o.
4
Let z = 79 - 63. Solve -l = -4*c - 0*l + 8, 4*l = z for c.
3
Let v(p) = p + 7. Let w be v(-5). Suppose -9 + 0 = -3*n + 3*i, 2*i = 4*n - 12. Suppose 0 = -3*h + 12 - n. Solve 4*q + 2 = w*z, -h*q + 2 = -2*q for z.
5
Suppose 4*c - 6 = c. Let j be (c/3)/((-12)/(-54)). Solve -17 = -t - 5*q - 41, 0 = 5*t + j*q + 10 for t.
1
Let b be (-1)/5 + (-205)/(-25). Let y(k) = k**3 - 8*k**2 + 4. Let p be y(b). Let v be p + -6 + 14 + -2. Solve 0 = u + a - 0 - 2, -4*u - v = -2*a for u.
-1
Let v be 24 + 2/4*0. Solve -2*x + 2*c + 6 = -6*x, -x = -4*c + v for x.
-4
Suppose 4*g + 0 + 4 = 0. Let x be -15*(g + 2)*-1. Let v(a) = 3*a**2 + 11*a + 10. Let y be v(-2). Solve -4*o - 4*h + 12 = y, 5*o + h + h = x for o.
3
Let b be (-3)/2*4/(-2). Let n(x) be the second derivative of x**3/3 - 2*x**2 - x. Let i be n(b). Solve 0 = -4*p - 3*z + 15, 0*p - 10 = -5*p - i*z for p.
0
Let w be ((-7)/(-2))/(2/4). Suppose 4 = 2*h - 4. Suppose -q + h = 2. Solve -w = -4*k - 4*m + 5, -3*k = -q*m + 11 for k.
-1
Let x = 1 + -3. Let s be ((-4)/(-2))/(x/(-3)). Solve -3*q - 3 = 4*j, -7 = s*q - j - 4 for q.
-1
Let t(g) = -4 + 0 + 5*g + 0*g**2 - g**2. Suppose 0*z + 3*z = 9. Let y be t(z). Solve -y*o - 8 = -s + 2*s, 18 = -o - 4*s for o.
-2
Let t = -2 - 0. Let s = -6 - -2. Let v = t - s. Solve 4*g - w + v*w + 14 = 0, 4*g + 4*w = -20 for g.
-3
Suppose -2*i - 2 = -6. Suppose -7*b + i*b + 32 = 3*c, 24 = 2*b + 4*c. Solve -5*p + 17 = b*f - f, 3*p - 3*f = -9 for p.
1
Suppose -5*w + 3*g + 0*g + 103 = 0, 2*w - 2*g = 42. Solve 0 = 4*p + 3*q - 23, q - 6*q - w = -5*p for p.
5
Let g(d) = -d - 5. Let t be g(4). Let s = -3 - t. Suppose s = -0*b + 3*b. Solve 2 = -4*j - b*x, -2*x = -2*j + x - 5 for j.
-1
Suppose 3*j = -5*h - 0 - 3, 3*h = 2*j - 17. Suppose 0 = -w - w - 3*l - 1, 12 = -4*l. Suppose -3*v + v = -40. Solve 4*n = 0, w*y + n - j*n = -v for y.
-5
Let o = -61 - -73. Solve 3*k = -4*a - 14, -k - o = a + 4*a for a.
-2
Let l = -36 - -40. Solve v - 2*g - 6 = 0, -l*g - 2 = 2*v + 2 for v.
2
Suppose 7 = -5*y + 27. Suppose y*m + 4 = 5*m. Suppose m*l - 40 = -0*l. Solve s + 0*s = -n - 1, l = 2*n - s for n.
3
Let i(h) = h**2 - 8*h + 14. Let y be i(6). Solve 5*q - 5*x - 35 = 0, q = -q - y*x + 6 for q.
5
Suppose 2*m - 4*m = m. Let i(z) = -z**2 - 4. Let r be i(0). Let w be (-1 - -11)/(r/(-2)). Solve 3*d - 15 = -3*n - m*d, 19 = 3*n + w*d for n.
3
Suppose -2*r - 4 = -2. Let a(o) = -4*o**3 + 2*o + 2. Let w be a(r). Let p(z) = z**2 - z. Let l be p(2). Solve -2*y = -9*h + w*h - 10, -l = -5*y + h for y.
0
Suppose 5 + 1 = 2*h. Suppose 5*l = 5*i - 10, -5*l - h + 5 = -2*i. Solve 3*a = k - 2*k + 11, -3*k + i*a - 6 = 0 for k.
2
Let y be 1 + 2 + 10 + 6 - 4. Solve -5*o - z + 18 = 3, -y = 5*o - 5*z for o.
2
Let g = 18 - 16. Let u(p) = 2*p. Let q be u(2). Solve 3*r + 3*c - 5 = g*r, 3*c = -q*r + 11 for r.
2
Suppose -25 = -2*i - 3*i. Let p(d) = -2*d + 6. Let y be p(5). Let c be (6/2)/(-3 - y). Solve -5*j + c*f = -i, -3*j - f = -6*f - 3 for j.
1
Suppose 9 = 2*z - b, 4*z - 15 = 2*z + 3*b. Solve 0 = -5*r + 3*p + 12, -3*r - z*p + 12 = 0 for r.
3
Suppose y - 6*y = 0. Let s(x) = -x**2 - 9*x - 9. Let h be s(-8). Let l = h - -10. Solve -5*m - 19 = 4*n - 2*n, y = -3*m - l for n.
-2
Suppose 0 = 5*k - i - 41, 0*k + k - i = 5. Let h = -4 + k. Solve 6*m - 5*m = h, 0 = -3*t - 2*m + 22 for t.
4
Let f(j) = -j**3 - 2*j + 5. Let n be f(0). Solve 18 = 2*m - m + 4*a, 0 = -2*m + n*a - 16 for m.
2
Suppose 17*s - 13*s - 148 = 0. Solve -j - 3*p = 4, 5*j - 3*p - p - s = 0 for j.
5
Let u(h) = -4 + 4*h**2 - h**3 - 2*h + 0*h**2 + 3*h + 5*h. Let a be u(5). Solve f + 3 = 2*j, j - 15 + a = 3*f for f.
-5
Let h = -5 - -13. Let b = -22 + 30. Let m = h - b. Solve 20 = w - 5*o, -4*w + 3*o + 0*o - 5 = m for w.
-5
Suppose 5 - 3 = h. Suppose -2 = -h*r - 10, -33 = -5*o + 2*r. Suppose 4*a + 19 = o*b, -4*b = 4*a - 3*a - 11. Solve 0 = b*l + 3*g - 9, -2*l + 5*g = 33 