+ x = -1 - 4. Let z be ((-3)/b)/((-15)/(-40)). Suppose l + 4*l = 0. Solve l = z*g - 7*g for g.
0
Suppose -13*w + 2 + 50 = 0. Let c(k) = -k**2 + 2*k + 4. Let a be c(3). Let f = a - 1. Solve -w*m = -f*m for m.
0
Let x(h) = -6*h + 4*h + 3*h. Let n be x(0). Suppose 0 = m - n*m. Solve 3*t - 3 + 0 = m for t.
1
Let z be -3*(-5 + 2 - -2). Suppose -4*g = 2*u - 9 + z, 3*g + 5*u - 8 = 0. Suppose -5*m - 10 = 5*d, -3*m + 2*m + 22 = -5*d. Solve -3*b + g = -m for b.
1
Let f(n) = -n**3 + 5*n**2 + 17*n - 14. Let g be f(7). Solve -2*c = 3 + g for c.
-5
Let u(o) = -o**3 - 10*o**2 - 7*o + 19. Let y be u(-9). Let l be (-1)/2 + (-1)/(-2). Solve l = -i + y for i.
1
Let s be (-5)/(-6) - 20/(-120). Let p be (-5)/(-2) + 2/(-4). Solve 0 = a + s + p for a.
-3
Suppose 16 = -m + 5*m. Suppose m*o + 4 = -2*b, -4*b = 5*o + 3 - 1. Suppose -6*d = -2*d - 16. Solve 0 = -b*v + d*v + 10 for v.
-5
Let v(u) = -u + 10. Let x be v(7). Suppose b = -0*b + 2. Solve s - x = b*s for s.
-3
Let n(x) = -x**3 - 8*x**2 - x - 5. Let o be n(-8). Solve -2*s - o = -3*s for s.
3
Let a = 13 - 24. Let x = 14 + a. Solve 1 = x*o - 2 for o.
1
Let m be (2 + 7)*2/6. Suppose 0 = -n, -l - l - m*n = -6. Solve -x = -l*x - 4 for x.
-2
Let s(r) be the third derivative of -r**4/24 - r**2. Let j be s(-4). Let b = -3 + j. Solve b = -4*g - 15 for g.
-4
Let n(j) = -j + 11. Let w be n(6). Solve 5 = w*r - 6*r for r.
-5
Suppose -3*v - x = -16, -2*v + 3*x - 12 = -5*v. Solve -6*r - v = -4*r for r.
-3
Let v(l) = 2*l - 3. Let j be v(3). Let i be -16 - 1*(-2 + j). Let w = -12 - i. Solve w*f = f for f.
0
Let h(k) = 2*k. Let x be h(1). Suppose -3 = 3*b, -3 = -5*g - 0*b - x*b. Let n(o) = o**3 - o**2 + o - 1. Let l be n(1). Solve -m - g + l = 0 for m.
-1
Let r be (2/(-3) - 0)*-3. Suppose -3*h + r = -10. Solve h = -0*n - n for n.
-4
Let q be (-126)/(-33) + (-6)/(-33). Solve 0*d = d - q for d.
4
Let y(u) = 2*u - 9. Let w = 25 - 19. Let k be y(w). Solve 0 = -2*d + d - k for d.
-3
Suppose -4*i - 7*x + 32 = -3*x, i + 22 = 5*x. Suppose -3*l = 5*p - 3*p - 8, 4*l - i*p = 22. Suppose 5 = 3*h - 1. Solve -h*d = -l*d for d.
0
Suppose -k - 3*k = -20. Solve 8 = -k*d + d for d.
-2
Suppose -4*m + 3 = -5*m. Let t(w) = w**2 - w - 2. Let s be t(m). Solve -2*h = -0*h - s for h.
5
Let r be 3 + (-1*3 - (2 - 2)). Solve a = -r*a for a.
0
Suppose 28*d - 21*d = 105. Solve 3*j = -2*j - d for j.
-3
Let c(o) = -2*o**3 - 6*o**3 + 2*o**3 - o**2 + 5*o**3. Let f be c(-1). Solve 3*u - 6 - 3 = f for u.
3
Suppose 3*s - 2*s = 4*a - 21, 0 = -2*a - 4*s + 24. Suppose -m = -3*q + 2*m - 15, 4*q + 4*m - 20 = 0. Suppose -f + 5 = -q. Solve -a*p = -p + f for p.
-1
Let o = -70 - -75. Solve -2*t = -o + 3 for t.
1
Let u(v) = v + 1. Let p(k) = -5*k. Let q(i) = p(i) + 6*u(i). Let s be q(-5). Solve 0*m + s = m for m.
1
Suppose 0 = -2*q + 7*q. Solve s - 3 = -q for s.
3
Let q(c) = 2*c - 2. Let m be q(5). Let j = m - 6. Solve j = 2*u - 4*u for u.
-1
Let x(l) = l**2 + l - 1. Let s be x(0). Let b = 2 - s. Solve b*q + 6 = -3 for q.
-3
Suppose 3 = 3*u - 0*u, -2 = -2*k + 2*u. Solve 4*l - 5*l = -k for l.
2
Let v = 10 + -6. Suppose -5*x = -2*b - 15, -x - 10 = -3*x. Suppose -b*m + v*y = 8, -m = m - 2*y + 4. Solve m = -d - 2 + 1 for d.
-1
Let b be (3 - -1 - 11) + -3. Let v be (-8)/5*b/4. Solve 3*a - v*a - 3 = 0 for a.
-3
Suppose 0*c + 4 = 2*c. Solve 2*z + 20 = -c*z for z.
-5
Suppose 4*g + 3*d = 34, g - 4*d = -3*g + 20. Suppose 3*o = 2*o + g. Suppose -2*t - 2*b + 14 = 0, 2*t - b + 2 = 19. Solve o = -3*s - t for s.
-5
Let b(z) = -3*z + 15. Let p be b(-11). Suppose -j = -4*j + p. Suppose -4 = -q - q. Solve -q*t + j = 2*t for t.
4
Let k be 4 + -2 + (-1 - -9). Let n be 2/5 + (-4)/k. Suppose n = 2*q + q - 6. Solve 0 = -q*f - 8 + 2 for f.
-3
Suppose 0 = 4*g - 0*y + 3*y - 142, 5*y - 146 = -4*g. Solve 4*j = -g + 14 for j.
-5
Suppose 5*k - 105 = -3*z - 17, 29 = 2*k - 5*z. Let x = k - 9. Solve 4*u - 8 = x for u.
4
Suppose 0 = -4*c + 3*c. Suppose c*m - 25 = -5*m. Solve m*k + 16 = -9 for k.
-5
Let p = -64 - -67. Solve p*s - 4 = 2*s for s.
4
Suppose -s = -9 + 8. Let u be (0 + 3 - 3) + s. Solve -u = -2*v + v for v.
1
Suppose -5*p + 25 = -5*l, -p - 13 = -4*p + l. Solve 0 = -5*z - p - 11 for z.
-3
Let b be 2/1 + (-2 - -2). Suppose -b*o + 4 + 22 = 0. Let v = 18 - o. Solve 0 = v*p - 0*p + 15 for p.
-3
Let h(p) = p**2. Let f be h(-2). Solve f = 4*o - 2*o for o.
2
Suppose -4*y - 326 = 3*h, -199 = -4*h + 6*h - y. Let g = -171 - h. Let c be (-2)/7 - g/21. Solve -c*k + 1 = -2 for k.
1
Suppose 4*l - 6 = 6. Solve k + 2*k = -l for k.
-1
Let x = -17 + 49. Suppose 4*d - x = 8. Solve -p - p = d for p.
-5
Let b be (-50)/8 - 3/(-12). Let c = b + 6. Solve 2*v + v + 6 = c for v.
-2
Let s(u) = -u**3 - 3*u**2 - 6*u. Let f be s(-2). Solve p + p = -f for p.
-4
Suppose -2 - 1 = -r. Solve 2*q - 25 = -r*q for q.
5
Let z = 136 - 134. Solve 12 = -5*m + z for m.
-2
Suppose 2 = 3*i - 1. Let t be -22*i*2/(-4). Let l(o) = -o**2 + o + 6. Let x be l(3). Solve -3*s + 2 - t = x for s.
-3
Suppose -13 = -2*p - 11. Solve 4*b - 5 = -p for b.
1
Let z = -137 - -141. Solve -4 = z*g + 12 for g.
-4
Suppose -4*c + 2*c - 14 = 0. Let g = 7 + c. Solve -4*d = -g*d + 4 for d.
-1
Suppose 19 = -2*b + 5. Let u = 11 + b. Solve 0 = u*o - 6*o - 8 for o.
-4
Let n be (-15)/(-4) + 1/4. Suppose -5*c + 29 = -3*a, -2*c = -4*a + n - 24. Solve -c*i + 4 = -2*i for i.
2
Suppose 3*v - 41 = -0*i + 4*i, v - 20 = -5*i. Let b = v - 10. Solve -b*y = -0*y - 25 for y.
5
Suppose -10 - 14 = 4*i. Let y = i - -2. Let t(j) = j + 4. Let q be t(y). Solve -2*c + c + 2 = q for c.
2
Let i(c) = 3*c**2 + c - 1. Let o be i(-2). Solve 0 = -2*r + 1 + o for r.
5
Suppose -22 = -c - 16. Solve 0 = c*j - j - 15 for j.
3
Suppose 4*r = 5*q + 6*r - 48, 3*r = -4*q + 44. Suppose -4*z + 4 = -q. Solve 6*l = z*l for l.
0
Suppose -u - 348 = -4*t - 71, 3*u + 355 = 5*t. Let i be (-2)/5 - t/(-20). Let m = 13 - 9. Solve n + i - m = 0 for n.
1
Let r = -4 - -6. Let f = -6 - -6. Solve 2*v + f*v = r for v.
1
Suppose 3 = -4*c + 5*c, -3*s - 12 = -5*c. Solve -2*l + 1 = -s for l.
1
Let q be 31/31*(16 + -1). Solve -s - q = -4*s for s.
5
Suppose 0 = -4*m + 5*i - 6, 5*m + 5*i - 20 = -5. Solve -m = -4*x + 3 for x.
1
Suppose 10 = 2*k - 2*f, -k - f - 4 - 1 = 0. Solve 0*d - 2*d = k for d.
0
Let r = 16 - -10. Let o = r - 11. Suppose 3*h - 2*z = -0*z, -2*z = -2*h. Solve h = -6*k + k + o for k.
3
Suppose -2*z = -5*j - 33, 2*z - 6*z + 3*j + 31 = 0. Solve z*g - 4 + 0 = 0 for g.
1
Let b(s) = -9*s - 3. Let r be b(-9). Suppose -2*l = v + 3*l - 9, -4*v = -l - r. Solve -1 = -4*f + v for f.
5
Suppose -5*w - k = -77, w + 2*k + 3*k = 25. Suppose 2*o - 10 = 0, -w = -3*s + 3*o - 6*o. Solve -2*x + s*x - 2 = 0 for x.
-1
Let k = 6 + -4. Suppose 5*g + 3*n = -0 + 4, 2*n + 12 = 4*g. Solve k = -g*t + t for t.
-2
Let u be 2/1*-2 - -9. Let g(k) = k**3 - 6*k**2 + 6*k - 3. Let d be g(u). Solve -b + d = -1 for b.
3
Let p = -21 - -15. Let s(k) = k + 11. Let r be s(p). Solve i + 3 - r = 0 for i.
2
Suppose -3*f = -0*f - 15. Suppose 2*a = -0*a - 4. Let k = 0 - a. Solve k*g = -f - 3 for g.
-4
Suppose -21 = -5*n + 3*h + 15, -3*n + 10 = 4*h. Solve i - n*i = -15 for i.
3
Let m(c) = c + 13. Let o be m(-10). Solve 3*w + 0 = o for w.
1
Suppose -4*y + 72 = -0*y. Let m be y/8 + 3/(-12). Solve 5 = m*l + 15 for l.
-5
Let x = 6 + -4. Solve -d = -1 + x for d.
-1
Suppose -5*b - u = -20, b - u = u - 7. Suppose 5*y = -0*y + 3*m + 6, 0 = b*y - 2*m - 4. Solve 5*f - 3 + 18 = y for f.
-3
Let c = -52 - -57. Let z = -4 - -6. Let d(g) = g - 4. Let s be d(5). Solve -c - s = z*n for n.
-3
Let l be (-1 - (1 - 1)) + 8. Suppose 3 = -3*t + 12. Suppose -l*k + 8 = -t*k. Solve 4 = -x + k*x for x.
4
Suppose -o + 2*o = -5*q - 5, -q + 5*o + 25 = 0. Solve q = k + 2 + 2 for k.
-4
Suppose -2*x + 40 = 5*p, 3*x + p = -p + 49. Suppose -5*w = -x - 0. Suppose -3*c - 10 = -2*q + w, 3 = -3*c. Solve -q*g + 2 = -18 for g.
4
Let y(o) = 4*o + 56. Let m be y(-14). Solve -r + m*r = 4 for r.
-4
Let f be (0 + 0)*(-10 - -9). Solve t - 4*t = f for t.
0
Let k be (-4)/(-1) - (-14 + 8). Solve -3*c - k = 5 for c.
-5
Let z = 2 + -2. Suppose -2*c + 4*c = z. Let r be (-15)/(-18)*3*2. Solve c = -l + r*l for l.
0
Let w(v) = 4*v**2 - 2*v + 2. Let d be w(1). Solve 3*l - 2*l = -d for l.
-4
Let m(a) be the second derivative of -a**4/12 + 5*a**3/6 - 3*a**2/2 + 3*a. Let x be m(3). Solve x*l - 7 = 2 for l.
3
Suppose 0 = g 