 = 0. Let d = y + -3. Suppose 0*k - d*k + 14 = 0. Solve -x + 7 = -3*c - k, c + 10 = -5*x for x.
-1
Let h be 3/1*(-56)/24. Let u = h + 9. Solve 6*n + 17 = 3*n - k, -3*k + 4 = -u*n for n.
-5
Let f be -4*1/2 - 0. Let q(x) = -3*x - 4. Let l be q(f). Solve -4*d = 12, 4*m + l*d + 3*d = 1 for m.
4
Suppose -5*o + 3*b - 36 = -2*o, 5*o + 42 = -4*b. Let f = 14 + o. Solve -2 = -2*m + 2*j + 2, m = f*j + 14 for m.
-2
Let a(g) = -g**3 + 3*g**2 + 2*g - 1. Let d be a(4). Let c = d + 25. Solve -2*r - 2*n = -3*r - 8, 3*r - 4*n + c = 0 for r.
0
Let k(t) = t**3 - 6*t**2 - 8*t + 10. Let s be ((-1)/3)/(-1)*21. Let v be k(s). Solve 2*f + 7 = -v*n, 4*n + 2*f = 3 - 11 for n.
-1
Let t(b) = b**3 + 15*b**2 - 15*b + 20. Let a be t(-16). Solve 2*d = -5*m + 26 - 4, 0 = 4*d + a*m - 20 for d.
1
Let f(v) = 2*v**2 - 23*v - 10. Let l be f(12). Solve -j + 2*j - 2*u - 2 = 0, -12 = l*j + 4*u for j.
-2
Let o = -19 - -21. Solve 0 = 2*l - o*n - 5 + 1, -n = 3*l - 6 for l.
2
Let n = 3 - 1. Let t = -19 - -32. Suppose -u + m - 4 = 0, -2*u + m - t = -2*m. Solve -n*r - 3 = 3*p - u, 3*r - 6 = 0 for p.
-2
Let q(c) = -c + 3. Let v be q(1). Solve z - 2*o = v*z + 9, 5*z - o - 10 = 0 for z.
1
Let c be 3 + 3/(4 - 1). Let m be c + -4 - 3*-1. Let r(p) = p**3 + 3*p**2 - 4*p + 4. Let d be r(-4). Solve -4*j - 5*b = -11, -d*j - b + m*b = 10 for j.
-1
Let b(m) = 2*m - 4. Let p be ((-1)/(-2))/(7/28). Let l be b(p). Solve 0 = 2*q + 2*w + 4, -5*q + 5*w + l*w - 20 = 0 for q.
-3
Let a = 23 - 23. Solve -5*p - 4*k + 17 = a, 0*p = -4*p + 3*k - 5 for p.
1
Let h be (-3)/(-9) + 14/3. Suppose k - h*k = -148. Solve -5*p + r + k = -2*r, -3*p + 4*r + 31 = 0 for p.
5
Let f be -3 + (-2 + 3 - -2). Let i(a) = a**2 + 4*a - 2. Let h be i(-5). Solve -c + k - 9 = f, -h*c + k - 19 = -0*k for c.
-5
Let z(d) = d + 1. Let p be z(5). Let b = -6 + p. Suppose b*g + 20 = 5*g. Solve 5*f - 15 = -5*j - 0*f, -5*f = -g*j - 33 for j.
-2
Let d(j) = -j**2 + 3*j. Let r be d(3). Suppose 10 = 5*p - r*p. Solve t - 2*a = 3, p*t = t - 3*a - 12 for t.
-3
Let n = -2 - -2. Let z = -2 - n. Let d be (8/z)/(2 - 4). Solve d*p - 4*x + 2 = 0, 5*p + 5 = 4*p - 2*x for p.
-3
Let o(d) = -d**2 - 3*d + 10. Let f be o(-5). Let m(b) = b**2 + b + 13. Let q be m(f). Solve 0*i = 5*i - 2*l - 19, q = i - 5*l for i.
3
Suppose -4*d = 4 - 20. Let t be (8 - 4)/(2/d). Suppose -v = n - 3*v + t, -n - 4*v = -22. Solve -7*i + n*i = -2*j + 23, i + 1 = 4*j for i.
-5
Let f be (-1)/(1/((-2)/1)). Solve g + 5*d + 0*d + 7 = 0, -2*d = 2*g - f for g.
3
Suppose -3*q = -9 - 6. Suppose -4*s + 0*s = -2*v, 3*s = q*v. Suppose 4*b + s = 12. Solve 3*t - 4*h + 4 = 0, -5*t - b*h + 20 = -3*t for t.
4
Let a = 0 - 0. Suppose 4*y - 12 = 2*m, 5*m - 22 = -2*y + 8. Let h = a + y. Solve r = -0*r + 3*t - 17, h*r = -4*t - 9 for r.
-5
Let n = 24 - 22. Solve -g - 10 = n*j, 2*j = g - 2 - 0 for g.
-4
Let v be (-1 - -4)/(1/1). Suppose 5 = v*y - 7. Solve -y = -4*t + 2*b, 0 = -2*t - 2*b - b + 2 for t.
1
Let w = -58 - -58. Suppose -h + 20 = 4*h. Solve z + t = 6*z - 30, 3*z + h*t + 5 = w for z.
5
Let n = -87 + 108. Solve 3*t = 3*z - n, 5*z - 3*t - 15 = 16 for z.
5
Suppose -42*b + 41*b = -20. Solve -5*c + 5*q = -b, 7*c - 3*c + 4*q = 8 for c.
3
Suppose 4*y = 3*y. Suppose y*o - 4*o = -8. Solve -o*t + 5*i = -9, -5*t = -i - 7 - 4 for t.
2
Suppose 3*s - 2*m = 5*s - 24, -5*s = 2*m - 51. Suppose -2*o + s = 3*h, -5*h - 3*o - o = -15. Solve h*d = -5*w + 10, 3*d + 5*w = -2*d for d.
-5
Suppose 0 = w - v + 6, w + 2*v = 4*w + 14. Let m = w + 8. Suppose 4*x = x + m. Solve 5*f - 15 = 0, -x*l + 9*f - 23 = 4*f for l.
-4
Let u = 4 + 34. Suppose 3*o = o + u. Solve -2*s + o = 3*l + 5, -5*s - 5*l = -30 for s.
4
Suppose 2 = -h - 0*h. Let j be 1 - (h - (-13 - -3)). Let k = j - -11. Solve -11 = -k*c - 5*m, -c + 3*m = 7*m for c.
4
Suppose 0 = -5*k + k. Let d = 7 + k. Solve 2*s = 4*f, d*s - 3*s - 3*f - 10 = 0 for s.
4
Let j = -11 - -16. Let s = -3 + j. Let y = s + -2. Solve i + y*i + 4*r = 23, -4*i - 4*r + 32 = 0 for i.
3
Let s = -20 + 20. Let b(g) = g - 1. Suppose 0 = 3*y - 3, -4*y + 18 = 5*w - y. Let n be b(w). Solve s*x + n = -3*x + 4*u, -u = -x - 1 for x.
-2
Let s = 1 + -4. Let c be s/3*-3 - -3. Let b be (-3)/(c/2) + 3. Solve -k = -3*u + 13, -4*k = -u + b*u for k.
-1
Let r be (3 + -1)/(4/10). Suppose 0*p = -3*p + 27. Let d = 19 - p. Solve 0 = 4*i + 2*t + d, r*i + 11 = 4*t - 8 for i.
-3
Suppose -r - 96 = -4*n + 3*r, r - 1 = 0. Suppose 4*a + a = n. Solve a*x + 15 = -5*j - 0*x, 4*x - 2 = 3*j for j.
-2
Suppose -8*q = -7*q. Solve 3*k + 3*c + 6 = q, 2*k - 3*c = -4*c - 2 for k.
0
Let i = 8 + -19. Let b = -9 - i. Solve -2*h - 18 = b*w, 13 = -5*h - 2*w - 17 for h.
-4
Suppose -3*d + 17 = 2*s, -4*s - 1 + 17 = 0. Solve -3*p + d*q - 15 = 0, 2*p + 20 = 3*p + 4*q for p.
0
Let m be ((-21)/(-6))/((-1)/4). Let g = 17 + -10. Let h be 4/m - (-23)/g. Solve -4*d = -h*f + 8, 4*f - 2*d + 6 = -0*d for f.
-4
Let t(r) = -2*r + 6. Let m be t(3). Solve m = -4*c - 12, 3*c + 18 = 3*h - 0 for h.
3
Let q(o) = -o**2 - 1. Let f be q(-1). Let c = 2 + f. Solve -2*g + 5*v + 22 = c, 3*g - 2*v - 7 = -v for g.
1
Suppose -35*z + 8 = -31*z. Suppose -4*r - 10 = -6*r. Solve -y = -r*i + 28, -4*i + 17 = 3*y - z*y for i.
5
Let l be 3/(-1)*2/3. Let t = l - -4. Suppose -p = -t - 2. Solve 2*g - 18 = -p*y, -3*y + 1 = -4*g - 7 for y.
4
Let c(m) = m**3 + 3*m**2 - 2*m - 4. Let h be c(-3). Let u be (2 - h)/(-1 - 1). Solve u = 2*k - 4*s - 12 + 2, 11 = -5*k + s for k.
-3
Let z be (0 + -1)/((-5)/(-45)). Let a = z - -11. Solve 4*t - 5*s - 19 = 0, a*t - 12 = 2*s - 4 for t.
1
Let j = -1 - -4. Let a be (4/(-6))/((-1)/j). Solve -3*k + 26 = 4*v, a*k = -3*k - v + 15 for k.
2
Let f = 2 - -1. Suppose -2*c + 35 = f*c. Solve -3*r = 5*m - c, 3*m + r + 2*r = 9 for m.
-1
Let l be (-6)/(-14) + (-6)/14. Suppose 2*z - 6 = -2. Suppose -6*h - z*q = -2*h + 2, -5*h + q + 15 = 0. Solve -v + 1 = -h*p, v + l*p + 3 = -2*p for v.
-1
Suppose -4*t + 2 = -6. Let n be (-18)/9*(-5)/t. Solve y + 3 + 0 = -c, y - 9 = n*c for c.
-2
Suppose -1 = -5*x + 9. Suppose -f = f - 4. Let v = f + x. Solve -9 = -5*w - z, 5 = 5*w - v*z - 9 for w.
2
Let a = 106 - 103. Solve -2*x - 2*w + 12 = a*w, 5*w - 28 = 2*x for x.
-4
Let u(r) = -12*r + 5. Let q be u(-1). Solve 3*h + 2*n + q = 0, -h = 5*n + 3 + 20 for h.
-3
Let k(h) = 16*h. Let q be k(3). Suppose 6*z = 3*z + q. Suppose -4*n + 2*l + 23 = -5, -l = n - 1. Solve o + n*t + 24 = 0, -o - z = -0*o + 3*t for o.
-4
Let w(z) = -4*z + 30. Let n be w(7). Solve -4*v = 12, -n*j + 3*v + 18 = -v for j.
3
Let k(a) = a**3 + 9*a**2 + 4*a + 12. Let v be k(-9). Let i be -1 + ((-2)/(-1) - v). Solve -b = 4*b - 5*o - i, -o + 3 = b for b.
4
Let j = 4 - -2. Let y be (6/4)/(j/4). Let w be (-2 - -1)*y*-3. Solve o = -u - w, -5*o = -5*u + 16 - 1 for o.
-3
Suppose -7 = 2*d + 3*g - 4*g, 5*d = 2*g - 16. Let c be (4/(-12))/(d/174). Solve 2*b + 5*o + 6 + c = 0, -b = -o for b.
-5
Let w(c) = -4*c + 48. Let l be w(6). Solve 3*i + l = -3*z, 3*z = 2*z + 5*i + 10 for z.
-5
Let w = 34 + -31. Solve 3*f - 2*f - w = -3*m, -17 = 5*f - m for f.
-3
Let x(n) = -2*n. Let z be x(-3). Suppose 0*u = 3*u - z. Suppose 2*w + 5*i = -1, 3*i = u*i - 3. Solve w = c - 0*s + s, 0 = -2*c - 4*s + 24 for c.
2
Let q be 2/6 - (-16)/6. Solve 4*h + x = 20, -5*h + 25 = q*x - 2*x for h.
5
Let k(v) be the first derivative of v**2/2 + 10*v + 6. Let l be k(-5). Solve 5*j + 20 = 5*q, 2*j + l*q = -j - 20 for j.
-5
Let y be (-4 - 28/(-4)) + 1. Suppose y + 1 = f. Solve -3*l + 5*i = 20, -3*l - f*i = -20 - 0 for l.
0
Suppose i - 113 = -4*w, 0*w + 4*w - 5*i - 107 = 0. Solve w = 4*z - 2*c - 2*c, 0 = z - 2*c - 10 for z.
4
Suppose 6*u - 12*u = 0. Solve -5*d - 13 = 2, u = -5*w + 4*d + 2 for w.
-2
Let q(y) = -y**3 - 15*y**2 + y + 19. Let b be q(-15). Solve 3*c - 7 = -2*o, b*c - 3 = -o + 2*c for o.
5
Let z(t) = -t**2 + 22. Suppose -l + 1 = -2*b, 2*l = 5*b - 0*l. Suppose -b*n = -0*n. Let x be z(n). Solve 3*o + 4*m + 0*m - x = 0, -3*o = -3*m + 6 for o.
2
Let q = -11 + 10. Let s = 2 - 4. Let n be s + (-21)/(q - 0). Solve 3*z - o + n = 6, -3*o + 18 = -2*z for z.
-3
Let y(s) = -s**3 - 5*s**2 - 4*s + 4. Let m be y(-4). Solve -5*n = m*x - 6, 3*x - 14 = n - 0*x for n.
-2
Let a(v) = -v**3 + 3*v**2 - v + 1. Let z be a(2). Suppose -5*n - 15 + 0 = 0. Let i be z - (-2 + (-1 - n)). Solve -m + 2*x - 20 = -i*x, 0 = 3*m + 3*x - 12 for m.
0
Let c(l) = -l**3 + 13*l**2 - 12*l + 5. Let a be c(1