 y = -6 - -8. Solve -15 = y*n + 2*h + h, -5*h - 25 = -o*n for n.
0
Suppose -3*t = h + 10, 7*t + 11 = h + 3*t. Let b = 1 + h. Suppose b = -4*a + 4 + 16. Solve -3*r = -p - 5, 2*r - 3 = 3*p + a*r for p.
-2
Suppose 4*w = -w + 45. Suppose 0*s = -s + w. Solve 12 = -d - 3*l, 4*l = l - s for d.
-3
Suppose 2*x + 4*x = 30. Solve 4*u + 8 + 0 = 2*z, 4*z - 4 = x*u for z.
-4
Suppose -12 = -3*o, -f = -2*f + 3*o - 3. Let n = f + -9. Solve -4*i - 2*d + 12 = n, -i + 0*d - d + 1 = 0 for i.
5
Let p = 0 - 0. Suppose p = 4*v - 25 - 11. Suppose 0 = 2*j - 5*d - 9, -4*j - 4*d = -71 - 17. Solve -s = -5*z + v, 7*s - 3*s = z - j for s.
-4
Suppose 5*w - 25 = -5*q, 3*w + 0*q - 15 = q. Solve 0 = -2*j + 3 + 5, -j + 14 = -w*b for b.
-2
Let f(o) = 2*o. Let y be f(4). Let j(b) = b**2 + 3*b - 8. Let a be j(-5). Solve 4*w - y = a*s + 2*s, w = -4*s + 17 for w.
5
Suppose -2*i + 2 = h - 1, 0 = -5*i - 2*h + 9. Let t(r) = r + 14 - 5 + 5. Let a be t(-10). Solve -2*q = a*l + 2 - 12, i*l = -2*q + 6 for l.
4
Let u = -582 - -584. Let m = -1 + 3. Suppose -2*o - 4*c = -o + 10, 4*o - m = -2*c. Solve 19 = 5*l + u*z, -o*z = l - 7 - 0 for l.
3
Suppose 6*y - 4 = 4*y. Solve -y*w + 2*n - 17 = 3*w, 0 = -3*w - n - 19 for w.
-5
Suppose 4 = -4*b + 16. Solve 5*v + w - 20 = -0*w, -5*w - 12 = -b*v for v.
4
Let n = -17 - -17. Suppose -3*o = -n*o. Solve 4*h - b + 4 = o, 2*b = 2*h + 2*h + 8 for h.
0
Let a(k) = -k**3 - 8*k**2 - 9*k - 9. Let v(s) = s**2 - 7*s + 3. Let o be v(5). Let w be a(o). Solve -5*r + w = 5*p, -r - 4 = 2*p + 3*r for p.
4
Let s = 15 - 22. Let r(l) = -l**2 - 8*l - 2. Let o be r(s). Solve -10 = -5*c + 4*j, -o*c - j = 4 - 14 for c.
2
Let u = 12 - 8. Solve 3*o + 3 = 0, u*h = 2*o - 7*o - 9 for h.
-1
Let g(j) = -j**3 + 7*j**2 - 6*j - 3. Suppose -4*q + 20 = -0*q. Let m be g(q). Solve 0*y + 4*y + 5*h = m, -5*y + 18 = 3*h for y.
3
Let p = -3 - -6. Suppose -2*s = -p*s + 5. Solve 5*i + 4*t - 3*t = -24, 0 = -s*t + 5 for i.
-5
Let c = -7 - -8. Suppose c = -z + 3. Solve -3*y + 30 = -5*t + z*y, 0 = -3*t + 2*y - 16 for t.
-4
Let l = 74 - 49. Solve 0 = -2*f - 5*j - l, -j = -f + 5 - 0 for f.
0
Suppose -2*y + n + 2*n + 19 = 0, 0 = y - 4*n - 17. Solve 5*q + 3*d - 1 = -d, -q = -4*d - y for q.
1
Let h = -5 + 1. Let f = h + 8. Solve -4*j - 2*n = 3*n + 9, 2*j = -f*n - 12 for j.
4
Suppose 6 = 2*s - 0. Suppose -4*d = d - 25. Let u be d/2 - 1/2. Solve 5*p + 3*l = -10, -u*l - 3 = 3*p + s for p.
-2
Suppose h = -4*q + 2*q + 11, h + 13 = 4*q. Suppose -2*s + 0*s + q = 0. Solve 3*n + 9 = s*d - 5*d, 4*n = -12 for d.
0
Suppose -d + 3*q = -6, q + 7 = -3*d - 15. Let j be 76/12 - (-2)/d. Let f = 8 - j. Solve -3*r - 30 = 3*t, f*t - 4*r - 10 + 0 = 0 for t.
-5
Suppose -5*d + 8 = -4*q, -29 + 3 = -2*q - 5*d. Suppose -2*y + 47 = -q*z, -4*y + 124 = 2*z + 2*z. Solve 29 = -2*a + 5*i, 4*a - 2*i = 2*i - y for a.
-2
Suppose -f + 0*f + 2*q = -5, -1 = -f - 2*q. Solve -2*p + 2 = 2*g, -4*p + f*g = -2*g - 31 for p.
4
Let u(o) = -o**2 + 5*o - 2. Let y be u(3). Let s = -16 - -26. Suppose -s*i = -7*i. Solve -3*c - 5 = y*r, i = c + 2*c - 3*r - 9 for c.
1
Suppose u + 39 = -2*l, -24 + 219 = -5*u + 3*l. Let a be u/4 + (-2)/8. Let o = -6 - a. Solve -d + o*q = -1, 4*d + q - 22 = -q for d.
5
Let j(y) = y**2 - 5*y + 5. Let k be j(5). Solve 3*d + 4 = -2*q, 0 = k*d + 3*q - 4 + 11 for d.
-2
Let z = -7 + 9. Solve 3*o = -z*t - t - 15, 3 = -3*o for t.
-4
Let t be 8/(-3)*6/(-4). Suppose 0 = 4*i + 4*a - 28, 0 = t*i + 2*a + 3*a - 32. Let v = 42 - 24. Solve -k + 4 = -3*u + v, 3*k + i*u = -6 for k.
-5
Let h be 3/(-6) + 3/6. Solve h = 4*o + 5*x + 29, 3*o - 7 = 2*x - 0*x for o.
-1
Let l be 14/(-35) + (-56)/10. Let m(t) = -t + 8. Let f be m(l). Solve 5*y = -u + 3*u - 24, -4*y - u = f for y.
-4
Let a(h) be the first derivative of h**3/3 + 7*h**2/2 - 11*h - 3. Let k be a(-9). Let z = k + -4. Solve -5*g - 16 = z*l - g, 2*g + 8 = 4*l for l.
0
Let o(q) = q**3 + q**2 + q + 5. Let s be o(0). Solve s*k = -10, 0 = n - 0*n + 2*k + 4 for n.
0
Let g be 178/11 + (-28)/154. Solve -4*y = -g, y = 5*b - 0*b + 19 for b.
-3
Suppose -h = -4*h. Suppose 3 = u + 5*i, 2*i - 3*i = -3*u - 7. Let x be u - ((-18)/1)/3. Solve -x*t + 12 - 32 = h, 0 = -5*n - 5*t - 35 for n.
-2
Suppose 3*m - 4*m = -16. Suppose 4*o = 8*o - m. Solve -7 = 5*x + o*y + 6, -3*y = 5*x + 11 for x.
-1
Suppose -i - 3*i + 2*c + 6 = 0, 3*c = 5*i - 9. Suppose i = -2*f + 5*f. Solve 3*r - 2*r + 2*h + 8 = 0, -4*r + 5*h + 7 = f for r.
-2
Let t(z) = -z + 9. Let j be t(4). Solve -y - 3 = -0*y + 3*r, 5*r = -j for y.
0
Suppose 2*j - 3 = -j. Let d be (-6)/j*1*-1. Solve 0 = -5*h + 3*x - d, -3*h - h = -4*x for h.
-3
Suppose m - 3*g + g - 6 = 0, 0 = 5*m + 4*g + 12. Solve m = 5*h - 15, -4*h - 3 = -t - 17 for t.
-2
Let k(d) be the second derivative of -d**3/6 - 2*d**2 + 2*d. Let b be k(-6). Solve 4*a + 0 = -3*n + 1, -b = 2*n + 4*a for n.
3
Let b = 75 + -71. Solve b*j + 2*x + x + 5 = 0, 0 = 2*j + 4*x for j.
-2
Let o = 56 + -14. Suppose 5*a - o - 3 = 0. Let k = 0 - -3. Solve 5*f = -k*p - a, 2*p = -2*p - 12 for f.
0
Suppose 5*c = 3*u - 52, u + 2*u = 4*c + 44. Suppose -5*s + 5*f + 40 = 0, s - 5*f + 4 = -0*f. Let r = c + s. Solve r*p - 24 = 2*p + 4*t, -14 = -p + 2*t for p.
4
Let d be 25/9 - (-12)/54. Suppose 2*x - d - 3 = 0. Suppose x*m - 15 = -0*m. Solve -4*y - 16 + 5 = -m*p, -3 = -2*p + 3*y for p.
3
Suppose 5*n = 2*u + 17, 4*n + 9 - 26 = 5*u. Let x(i) = 3*i - 2*i - 2 + 1. Let r be x(n). Solve -3*b = -4*c - 11, -3*c = r*c + 2*b - 15 for c.
1
Let s be ((-2)/(-4))/(1/(-2)). Let y = s + 2. Let b = 3 - y. Solve 3*d + 4*f + 7 = 6*d, b*d = -3*f - 1 for d.
1
Let j(d) = 7*d - 3. Let p be j(1). Solve 4*c + p = -4*m - 0, -5*c - 3 = 4*m for c.
1
Suppose -a + 13 = 4. Solve -4*f = -4*u, 0 = 2*u - u + 2*f - a for u.
3
Let s(q) = -q**2 - 3*q + 4. Let a be s(-4). Suppose -4*o - o = a. Let c(i) = -i - 2. Let u be c(-4). Solve 5*h = -2*f - 5, o = -3*h + u*f - f - 14 for h.
-3
Let z be 5/((-15)/(-4))*-3. Let v = z - -9. Solve -3*i = -3*l, 3*i - 4*l + v = -0*i for i.
5
Let m be 4*1 - (-3 - -5). Suppose 2*n + 36 = 4*i, -n = m*i - 11 - 3. Let v = -5 + i. Solve 0 = -v*w - 5*z + 29, 2*w - 14 = -z - z for w.
3
Suppose -2*q = 3 - 7. Suppose 4*j - q - 2 = 0. Solve -15 = 3*w - 5*o, 4*w - o + 2 = -j for w.
0
Let i be (8/5)/((-2)/(-10)). Let c(r) be the second derivative of r**3/6 - 2*r**2 + 2*r. Let h be c(i). Solve -n - h*o = 3, 5*n - 18 = n - o for n.
5
Let k be (-15)/10*30/(-9). Solve -k*j - 10 = -3*f, f - 15 = 3*f + j for f.
-5
Suppose 0 = -5*m - 0*q - q, 3*m - 5*q = 0. Solve 0 = 2*o + o - 5*s - 19, -4*s - 8 = m for o.
3
Let n be (0*(-3)/12)/2. Let v be n/5 - (-3 - 0). Solve v*q = -3*l, 0*l - 2*l = 8 for q.
4
Suppose 67 = 2*n - 3*j, 5*n = n - 2*j + 174. Solve 5*z = -4*p - n, 0*p = -4*p - 2*z - 26 for p.
-4
Suppose -2*o - 2 = -0. Let f = o - -3. Solve q - 2*q = 2*t - 4, 2*t = -f*q + 4 for q.
0
Suppose -3*p - 36 + 12 = 0. Let q be (4/p)/(3/30). Let d = -5 - q. Solve -3*n + 3*w - 9 = d, -4*n + 0*w - 2*w = 0 for n.
-1
Suppose -8 - 12 = -4*x. Suppose 5*h - 4*h - 1 = -z, x*h + 3*z - 7 = 0. Solve 0 = -3*n - h*j - 17, n + j + 7 = -j for n.
-5
Let b(h) = -h**3 - 9*h**2 - 9*h - 3. Let d be b(-8). Suppose 3*z - 27 = -d*c, 4*z - c - 1 = 3*z. Solve -2*s + 2 = z*i, 2*s + 4 - 2 = 0 for i.
1
Let n = 58 - 54. Solve -2*b + 2*z = -4, b - 3*b - z + n = 0 for b.
2
Suppose 0*c + 20 = 5*c. Suppose 0 = -t + 5*g + 9 + 6, -g - 22 = -c*t. Suppose t*s - 6 = 9. Solve s*l - 2*r + 2 = 4, r = 5*l - 1 for l.
0
Suppose -3*n - 4*w - 23 - 10 = 0, -n = -2*w + 11. Let g = -6 - n. Suppose 16 = g*s - 3*k, 4*s = -2*k - k + 2. Solve 0 = -m - m + 8, s*y - 3*m = -6 for y.
3
Let b(d) = d + 3. Let q be b(-1). Solve 2*j = 4, n - 5*n + q = 5*j for n.
-2
Let k be 1*6 - (-6 - -8). Solve -4*w = -2*u - 18, -k*w - u = -w - 1 for w.
2
Let c(w) = w**3 + 4*w**2 - 3*w + 14. Let y be c(-5). Solve -n - y = -0*v - 2*v, -v = -n for v.
4
Suppose -2*n + 3*z = -4, 2*n - 4*z = -n + 6. Solve 4*l + 27 = -3*f, -5*l = -n*l + 3*f + 24 for l.
-3
Let c(o) = o - 2. Let j be c(5). Suppose 2*v + v + 5 = 2*b, 4 = 4*v. Solve 0 = -b*f + 5*g, j*g = -5*f - 0*g for f.
0
Let o be 1*((-1)/(-1) - -1). Let a be (-4)/o*22/4. Let d = 15 + a. Solve 2*c = g, -4*g + 2*g = d*c - 8 for c.
1
Suppose 0 = -5*y + 160 + 40. Solve 0 = 3*q - 5*n + y, -3*n - 35 = 2*q - 8*n for q.
-5
Suppose 5*y - 3*y = 12. Suppose y = 3*b + c, 0 = -2*b - c - 0*c + 4. Suppose 36 = 