 -s = 3*b - 15. Suppose h - j + 0 = -2, j + 22 = -5*h. Let z be (26 - h)/(9/6). Solve -b*x + z = -0*x for x.
5
Let a be 7*(10/2 - 4). Let u be (3*(0 - 1))/(-1). Solve u = b + a for b.
-4
Let q = -16 - -25. Let z be q/2 + (-3)/6. Solve -z*l + 15 = l for l.
3
Suppose -2 + 32 = -5*r. Let t = r - -6. Solve 0 = 2*h - t - 10 for h.
5
Let l be (-3 + 4)*-3 - -1. Let a = l + 7. Solve 0 = a*m + 2 + 18 for m.
-4
Suppose 0 = 4*j + 8 - 0. Let a be (-60)/(-25) + j/5. Solve -a*g - 12 = -2 for g.
-5
Let g(j) = j**2 - 2*j - 7. Let s be g(7). Suppose 0*q - q = -4*m + s, -4*q = 5*m - 56. Solve -3*b = -m*b + 25 for b.
5
Let o(d) = -d**3 + 5*d**2 - 2*d - 2. Suppose 15 = l + 3*t, -5 = -4*l - t + 11. Suppose u - l + 1 = 0. Let j be o(u). Solve -y - j = -4*y for y.
2
Let c be -1 - (-1 - 2 - 0). Let r be (1/(-2))/(2/(-20)). Suppose -r*h = u + 19, 3*h + 10 = c*u + h. Solve -s + 5 - u = 0 for s.
4
Let s(j) = -j**2 + 11*j + 2. Let m be s(11). Suppose -m*x = -x. Solve x = -2*t + 5*t - 3 for t.
1
Suppose 5*r - 7 = d, 4*d - 5*r + 3*r = -10. Let v be (6/8)/(d/(-16)). Suppose -4*k = 2*z - v, 0 = -3*z - 4*k + 9. Solve -z*h = h + 20 for h.
-5
Let k be -3*(-8)/(-36)*-3. Solve -r - k = -6 for r.
4
Suppose -3*q = 3*n - 6 - 18, -3*n = -5*q. Solve 9*b = 6*b + q for b.
1
Let z(l) = l**3 + 5*l**2 - 7*l - 1. Let k = 1 + -7. Let u be z(k). Solve -2*i - u = -3 for i.
-1
Let o(v) = v + 35. Let f be o(0). Let s = -50 + f. Let p = -5 - s. Solve 2*q + 3*q + p = 0 for q.
-2
Let g = 11 + -7. Let m(p) = p**3 + p**2 - p. Suppose -2*f = 2*f + 4*c - 20, 10 = 2*c. Let d be m(f). Solve d = v - g*v - 3 for v.
-1
Let v(z) = -2*z + 24. Let k be v(10). Solve 2 = g + k for g.
-2
Let s(p) = -p**2 - 11*p - 7. Let q be s(-10). Solve -q*j + 8 = j for j.
2
Let q(m) = 4*m - 13. Let c be q(4). Solve 0*u = -c*u + 12 for u.
4
Let m = -2 + 4. Suppose -6*s + 4*f + 25 = -s, -20 = -5*s + 3*f. Solve m*l - s = -9 for l.
-4
Let p be 16/24 - 12/(-9). Solve -y = -p*y for y.
0
Let n(v) = -v**3 - 7*v**2 - 7*v - 6. Let s be n(-6). Solve s = 2*i - 0*i + 10 for i.
-5
Let z(c) be the second derivative of -c**3/6 - c**2/2 - 4*c. Let b be z(-2). Solve 2*n + 7 = b for n.
-3
Suppose -i + 3 = 5*o, 0 = 3*i + 2*i + 4*o - 15. Let t be (3/(-4) + i)*4. Solve 3*l = -0*l - t for l.
-3
Suppose 5*y + 19 = g, -2 = -3*y + 5*y + g. Let w = 19 - 14. Let j = w + y. Solve -7*u = -j*u - 25 for u.
5
Let b be 11 - 14 - (-1 - 8). Suppose -w + x - 1 = 2, 2*x = -4*w + b. Solve -5*k + 29 - 4 = w for k.
5
Suppose 2 = -j + 7. Solve j*v + 8 = -2 for v.
-2
Suppose -6 = 3*a, -5*a + 4 = -5*g + 14. Let c be (-51)/(-15) + 3/((-30)/4). Solve 3*t - 6 - c = g for t.
3
Suppose -2*b - 4*d = 8, -d = -5*b - 2*d + 7. Let h be ((b + -5)*1)/(-1). Let o be 2/(-7) - (-6)/21. Solve o = h*t - t for t.
0
Suppose j - 5*z + 8 = 0, 2*z - 3*z + 10 = 4*j. Solve 0 = i - 2*i + j for i.
2
Let f(p) = -6*p - 1. Let o be f(-1). Suppose 4*y = o*q + 3*y - 23, 5*q - 4*y - 17 = 0. Solve 0 = -q*u + 12 - 2 for u.
2
Let j = -28 - -44. Suppose 6*r - j = 2*r. Solve -3*o + r + 8 = 0 for o.
4
Suppose -2*c + 5 = -3. Solve c*f - 5*f = 0 for f.
0
Suppose 5*v + 3*y = 9, 5*v - 12 = 6*v - 4*y. Solve v = 3*t + 19 - 4 for t.
-5
Let w(x) = -2*x + 12. Let d be w(-5). Let s = 7 + -5. Suppose 3*j - 3*a + 8*a + d = 0, -a - 7 = -s*j. Solve -5 = 4*z - j for z.
-1
Let q(u) = -3*u**2 + 2*u - 1. Let f be q(2). Let w(y) = -y**3 - 9*y**2 + y + 10. Let i be w(f). Solve 0 = h - i - 1 for h.
2
Let x(m) = m**2 - 7*m. Let u be x(7). Let a = 2 - u. Solve -13 + 5 = a*t for t.
-4
Suppose 3*v - 7 = -3*q + 5*q, -5*q = 4*v + 29. Let s = -5 - q. Solve s = -2*i - 4 - 2 for i.
-3
Suppose 6*n = n + 180. Suppose -5*v + v = n. Let u be (1 + -1)*(-3)/v. Solve -4*t = -u*t for t.
0
Let k be -1*(3 - (0 - -3)). Solve -5*p = -k*p for p.
0
Let x(k) = -3*k**3 + 2*k - 1. Let m be x(1). Let o be (2/(-4))/(m/40). Let a be -6*1/(-3)*2. Solve -z - a*z - o = 0 for z.
-2
Suppose 14*b = 12*b + 8. Solve 0*y + b*y = 0 for y.
0
Let y be ((-4)/(-4))/((-2)/(-20)). Suppose 0 = -n + 3*u - y, 3*n - 3*u = -u - 2. Solve -n*q + 0 - 4 = 0 for q.
-2
Suppose -3*w - 3 = 4*n - 2, -3*n + 2*w = 5. Let t = -1 - n. Solve -m + t*m + 4 = 0 for m.
4
Suppose -3*o - 5 = 4. Let r(h) = -2*h**2 - 8*h - 5. Let i(d) = d**2 + 7*d + 4. Let s(k) = o*i(k) - 2*r(k). Let z be s(7). Solve n = -3*n - z for n.
-3
Let b(h) = -h - 3. Let g be b(-5). Let c(l) = -6*l**g + l**2 + 4*l + l**3 + 2*l**2 + 1 - l**2. Let z be c(3). Solve -z*y + 3*y = 4 for y.
-4
Suppose 4*a + 125 = 141. Solve 12 = -a*l - 4 for l.
-4
Let g = -1 + 4. Let n = -5 + 13. Let z be n/12 + 4/(-6). Solve g*s = -z - 6 for s.
-2
Let m(u) = u**2 + 6*u + 13. Let n be m(-6). Solve 3 = -5*q + n for q.
2
Let g be 0*((-2)/(-4) + 0). Solve n + g*n = 0 for n.
0
Let p = 166 + -163. Solve -7*r = -p*r - 20 for r.
5
Let q be -1 + 2 + -5 + 9. Solve 5*u - q = -0 for u.
1
Suppose -3*v + 2*t + 0*t = -84, 4*v = t + 107. Let y(w) = -2 - 2*w + 3 + 3*w + 1. Let l be y(4). Solve 4*o = -v + l for o.
-5
Suppose 74*a - 4 = 73*a. Solve -8 = a*y - 0*y for y.
-2
Let l(y) = -y**2 + 7*y - 6. Let r be l(6). Solve -3*x + 2*x - 5 = r for x.
-5
Suppose -4*j = 3*y - 1, j = -4*j + 3*y + 8. Solve -d + 0*d + j = 0 for d.
1
Let b = 96 - 93. Solve b*d = -d for d.
0
Suppose -2*o = -13 + 5, -4*y + 5*o = -16. Let c = -4 + 2. Let d be (0 - (-10)/(-4))*c. Solve -d = 4*l - y*l for l.
1
Let n(v) = -v + 16. Let j be n(12). Solve -2*o = -0*o - j for o.
2
Let a be ((-1)/(-2))/((-2)/(-8)). Let b be a/11 + (-10)/55. Suppose -2*q - 7 = -3*q + 3*d, b = 3*q + 3*d - 9. Solve 4*h + q - 8 = 0 for h.
1
Let j(u) = -u**2 - 4*u + 5. Let n be j(-5). Suppose 2*i + 3*i = -2*b + 13, b - 4 = n. Let p be (-3)/(-1) - 11/11. Solve i = o + p for o.
-1
Let k(n) = 3*n + 1. Let v be k(3). Let q = -8 + v. Suppose 0*w + q*w = 4. Solve w*p = 1 + 1 for p.
1
Suppose 20 = 2*q - q. Suppose 4*s = -s + q. Solve -4*i - s = -0*i for i.
-1
Let m = 5 - 2. Suppose -m*h = h. Solve h*d - 5*d = 0 for d.
0
Let m = 136 + -84. Let o = m - 36. Suppose 3*c + 5*r = -3, -c + 6*r - 2*r = -o. Solve -c*j - 11 + 31 = 0 for j.
5
Suppose -4 + 16 = 4*w - 2*g, g + 2 = -2*w. Let b(q) = -q**3 - 5*q**2. Let m be b(-5). Solve m = -5*c + w - 11 for c.
-2
Suppose 20 = 28*u - 24*u. Solve -10 = 5*k + u for k.
-3
Let j(l) = -l**2 - 3*l + 10. Let i be j(-5). Suppose p + 2 - 7 = i. Solve 7 - 2 = -p*g for g.
-1
Suppose -4*j - 25 = -9*j. Suppose 15 + j = 5*i. Suppose 0 = -2*s + 3*s - i. Solve s*l - 8 = -20 for l.
-3
Let x(u) = 3*u**3 + 8*u**2 - 9*u + 3. Let w(q) = -q**3 - q**2 + q + 1. Let n(c) = 2*w(c) + x(c). Let m be n(-7). Solve 1 = 4*l + m for l.
-1
Let t = -1 + -2. Let a be (-1)/t + 2/(-6). Let p be ((-8)/(-2))/(2 + 0). Solve 0 = p*m - a*m - 6 for m.
3
Suppose 4*n - n - 9 = 0. Solve s = n*s + 10 for s.
-5
Let u(g) = g**3 - 5*g**2 + 5*g - 3. Let f be u(4). Let a be -3*((-8)/14 - 6/63). Solve -1 = a*n + f for n.
-1
Let j(d) = -d**3 + d**2 - d - 1. Let i(o) = -4*o**3 + 2*o**2 - 3*o - 6. Let n(v) = i(v) - 5*j(v). Let m be n(3). Solve -r + m = -0*r for r.
5
Let i(l) = -3*l + 5. Let n be i(3). Let x(o) = o**2 - o + 5. Let f be x(n). Solve f = 7*s - 2*s for s.
5
Let i(r) = 5*r - 20. Let y be i(8). Let t be 12/y - (-24)/10. Suppose -5*h + 4*h + 15 = -2*d, -3*h - d + 52 = 0. Solve 4*g = h + t for g.
5
Suppose -a = 5*o - 4*a + 18, a + 10 = -o. Let n be (-2)/(-3) + (-14)/o. Solve n = -3*q - 6 for q.
-3
Suppose -r = -4*u - 12 + 28, -5*u - 2*r + 20 = 0. Solve -u*k + 5*k + 3 = 0 for k.
-3
Suppose -5*z + 20 = -0*z. Let x = z + -5. Let c = x + 3. Solve 0 = -c*d - 1 + 3 for d.
1
Let c be 0/((2/6)/((-13)/(-78))). Solve -b - 3*b - 4 = c for b.
-1
Let h(o) = 5 - 6 - o + 6. Let d be h(5). Suppose 0*b - b = -4. Solve d = 3*x - b*x + 4 for x.
4
Suppose -5*i + 18 = 3. Let m(n) = n**3 + 4*n**2. Let f be m(-4). Suppose f = -6*b + 3*b + 48. Solve 7*j - b = i*j for j.
4
Let a = -17 - -20. Suppose 0 = a*h - 2*h. Solve 0 = n - h - 3 for n.
3
Let q(c) = c**3 + c**2 - c + 5. Let o be q(0). Solve 0 = 2*j - 3*j + o for j.
5
Let c(t) = t**3 + 5*t**2 + 4*t + 2. Let p be c(-4). Suppose 2*x = -6*l + l, -p*l = -5*x. Solve -5*z = -l*z - 20 for z.
4
Let d(w) = -6*w**3 - w**2 + w + 1. Let h be d(-1). Suppose 24 = h*q + 9. Solve q*c - 6*c = 0 for c.
0
Let v(b) = -b**3 - 5*b**2 + 8*b + 12. Let k be v(-6). Suppose -p = -k*p. Solve p = -4*z + 19 - 3 for z.
4
Suppose 10 - 1 = 3*