Solve -c*d - 3*d = o for d.
-3
Let c = 7 - 5. Let f = -18 - -20. Solve 0 = -c*h - 4 + f for h.
-1
Let o be 1/(0 - 2/(-4)). Suppose -2*t + 12 = t. Suppose t + 1 = p. Solve -o*j + p = -j for j.
5
Suppose -21 = -3*b - 54. Let o = b + 16. Solve 10*p - o*p - 5 = 0 for p.
1
Let s(b) = -b**3 - 3*b**2 + 6*b + 2. Let n be s(-4). Let q(y) = 5*y + 3*y - 4*y + y**3 - 9*y + 6 + 5*y**2. Let w be q(n). Solve w = 2*v - 0*v - 2 for v.
1
Let r = 5 - 19. Let t = r - -24. Let v be 1/((-2)/3 + 1). Solve 0 = 2*i + v*i + t for i.
-2
Let d(v) = -v - 6. Let f be d(-11). Solve -8*q + 3*q = -f for q.
1
Suppose -h - h + 24 = 0. Let l be (h + -2)/(2 + 0). Solve l*j + 13 = -2 for j.
-3
Let x(b) = -b**3 - 12*b**2 + 28*b + 12. Let i be x(-14). Solve -6*j = -10*j + i for j.
3
Let q(c) = -c**2 - 6*c + 7. Let r be q(-7). Suppose r*i + 13 = i. Solve 4*g = -i - 3 for g.
-4
Let s(z) = -2*z**2 + 7*z. Let m be s(5). Let c = m + 18. Solve 4 = c*d - 5 for d.
3
Suppose q + 0*q - 10 = 0. Solve s + q = -s for s.
-5
Let z(m) = m**2 + 6 - 6 - 2 - m. Let o be z(-2). Solve n = -o*n for n.
0
Let r be (-7 - -1) + 0/7. Let w be (r - 2)*2/(-4). Solve -w = -3*l + 2 for l.
2
Suppose 4 - 1 = -x. Let h = 1 - x. Solve 2*l = l + h for l.
4
Suppose -4*a = -a - 9. Solve 5 + 1 = a*u for u.
2
Let t = -5 - -5. Let n(h) = -h**2 + 2. Let k be n(t). Suppose -5*z - 4 = -24, 4*f - 24 = -2*z. Solve -10 = -f*q + k*q for q.
5
Let k(f) = 2*f + 1 - 7*f - 12*f. Let p(r) = 16*r - 1. Let c(j) = 3*k(j) + 2*p(j). Let v be c(-1). Solve 0 = -n + 6*n + v for n.
-4
Let s be -1 + (1 - 3) + 8. Solve 0 = s*w - 7 - 18 for w.
5
Suppose 0 = 7*z - z - 42. Suppose 3*p - 60 + 15 = 0. Solve -4*i = -z*i - p for i.
-5
Let r = 21 + 4. Let d(f) = f - 4. Let b be d(-3). Let y = -2 - b. Solve r = -y*s - 0*s for s.
-5
Suppose -1 = 3*m - 4. Suppose 47 = 2*h + 7. Suppose 9*s = 4*s + h. Solve t = m - s for t.
-3
Let i(t) = t**2 - 5*t + 1. Let z be i(5). Let w = -12 - -9. Let v = z - w. Solve 0 = r + v + 1 for r.
-5
Suppose -5 = h + 4*o, -5*o = 4*h + 11 + 9. Let y = 0 - h. Suppose -y*a = -6 - 9. Solve -a*v - 3 = 12 for v.
-5
Let p be (-7 - 2)/(1 + -4) - -2. Solve 0*u + 5 = -p*u for u.
-1
Suppose -2*b + 8 = -0. Suppose x = -5*q + 7, -x = b*q - 9*q + 3. Solve 0 = -s + x - 0 for s.
2
Let b = -9 + 18. Suppose 5*d - 4*a - b = 0, -7 = d + 3*a - 6*a. Suppose d*k - 6 = 3*k. Solve v - k*v = 6 for v.
-3
Suppose 5*f - 125 = -100. Let r(q) = -q - 1. Let a be r(-1). Solve a = -f*c + 4 + 6 for c.
2
Suppose -4*q = -3*u + 17, q + 1 = 4*u - 13. Let d be -1 - -2*(-10)/(-4). Solve d*s + 13 = -u for s.
-4
Suppose -5 = -2*r + r. Suppose 2*z - z = r. Solve 9 = -z*n - 11 for n.
-4
Let j be 28/(-4)*(-4)/14. Solve -j*c = 2 + 2 for c.
-2
Let m = 1 + -5. Let h(u) = -u**2 - 2*u + 2. Let a be h(m). Let b = a - -12. Solve -25 = b*p - p for p.
-5
Let s = 29 - 52. Let v = -20 - s. Solve 2 + 10 = -v*i for i.
-4
Suppose 0 = 6*u - 3*u - 9. Solve -u*r = r - 12 for r.
3
Let r(p) = p**2 + 2*p - 63. Let x be r(-9). Solve -4*m - 4 - 4 = x for m.
-2
Suppose 0 = -4*x + 5*y + 14, 0 = 5*x - y - 2*y - 11. Solve -j = -4 - x for j.
5
Let k = -26 + 30. Solve -2*q - k = 2 for q.
-3
Suppose -52 = -3*y + 3*o - 5*o, 2*y - 24 = -4*o. Let l be (-1)/(-3) - 42/(-9). Solve -a = -l*a - y for a.
-5
Let w(q) = q**3 + 4*q**2. Let t be w(-4). Solve s + 3*s - 12 = t for s.
3
Let g(r) = -5*r + 3*r - 5 + r. Let v be g(-8). Suppose 0 = -q - q + 50. Solve -v*k - 2*k - q = 0 for k.
-5
Let j(b) = -b**3 + 7*b**2 - 6*b. Let h be ((-6)/(-4))/(6/(-8)). Let q be h + (-2 + -6)*-1. Let o be j(q). Solve o = p + 3*p for p.
0
Let y(m) = m**2 - m - 3. Let p be y(3). Suppose -2*v + p*v - 4 = 0. Solve 2*i + v = i for i.
-4
Let c(z) = z**3 + 2*z**2 + z. Let b be c(-1). Suppose 4*w - 12 = 2*w. Solve b = -w*j + 3*j for j.
0
Suppose -10 = 4*d - 0*k - 2*k, -2*d + 2*k - 10 = 0. Let s be 9/(-5)*(-10)/3. Let i(q) = q**3 - 8*q**2 - q + 11. Let v be i(8). Solve d = -v*m - 0 - s for m.
-2
Suppose 2*j + r = -j + 9, 2*r = -3*j + 9. Suppose -2*u = -z - 91, 3*z + 229 = 5*u + 2*z. Suppose -5*t + 29 = -u. Solve 0*d + j*d = -t for d.
-5
Let y be (-13)/(-5) - (-6)/15. Solve y*g + 0*g = 3 for g.
1
Let x = 9 + -6. Solve x*l = -3 + 9 for l.
2
Suppose 5*f + 5 = -5*n, 4*f + 18 = 2*n + 2. Suppose -2*y - 4 - 10 = -2*v, -3*v + 12 = -n*y. Let r = y + 25. Solve -l = 3*l - r for l.
4
Let i(h) = -2*h - h**2 - 4*h**3 + h + 0*h. Let t be i(-1). Solve t*n + 7 = -1 for n.
-2
Let k(m) = -m + 2. Let d(n) = -n**3 + 1. Let c be d(1). Let u be k(c). Suppose u*x = -5*h - 8, -h - 2*x - 6 - 2 = 0. Solve -4*q - 16 = -h*q for q.
-4
Let k = 23 - -5. Let f = k - 19. Suppose 2*q + 5 - f = 0. Solve -q*r + 3 + 1 = 0 for r.
2
Suppose 0*z + 3*z - 3 = 0. Let q(x) = -x**2 + 2*x - 9. Let m be q(5). Let s be (z/2)/((-1)/m). Solve 4 = -4*b - s for b.
-4
Suppose -3*z - 3*w + 18 = 0, 4*z + 5*w = 5*z - 36. Let s(p) = -p**2 - 4*p + 1. Suppose 5*h = 5*m + 20, -m - m = 4*h + 2. Let n be s(m). Solve 9 = n*o - z for o.
5
Let o(h) = 2*h**2 - 2*h**2 + h**2 + 4*h - 5. Let c be o(-6). Suppose k + 1 = c. Solve u - k = -2*u for u.
2
Suppose -f + 4 = -0. Suppose t - f*t = 0. Solve t + 2 = y for y.
2
Suppose 3*m = -0*m + 9. Solve 0 = m*v - v - 2 for v.
1
Let p be 1/(2/(-42)*-3). Suppose -6*z - 5 = -p*z. Solve 7*t - 2*t = -z for t.
-1
Suppose 3*c = 4*b - 29, b = -5*c + 1 - 11. Suppose b*m - 2*n = 62, 49 - 8 = 3*m - 5*n. Solve -t - 2*t + m = 0 for t.
4
Let k be (36/(-2))/(-3) + -3. Suppose k*h - 22 = -2*h + i, 4*h = -2*i + 26. Solve -h*b - 16 = 9 for b.
-5
Let s = 7 - 5. Suppose 0 = -h + s*h - 3. Suppose -5*x + h = -12. Solve 3*u = -0 + x for u.
1
Suppose k = -c + 2*k - 2, c - 13 = -4*k. Let h = 0 - -7. Suppose -2*q - 5*r = -5*q + 21, -5*q - r = -h. Solve -q = -3*f + c for f.
1
Let p(x) = 9*x + 8*x - 3*x**2 + x**3 - 19*x - 8. Let j be p(4). Solve -3*n - 9 = -j*n for n.
-3
Let x(v) = -v**3 - 14*v**2 + 15*v + 4. Let d be x(-15). Let l be (-10)/d*(-3 + -7). Solve u - 6*u = -l for u.
5
Suppose 5*f = -j - 100, f = -0*f + 3*j - 36. Let u = -6 - f. Solve 0 = -b + 4*b - u for b.
5
Let j be 2 + -1 - -44 - 1. Suppose -f + j = f. Let w be (1 - -1)/(-2)*140/(-28). Solve -f = -w*g - 2 for g.
4
Suppose -5*r + 22 = -i, 2*r = -i - 2*i + 19. Solve i*b = -0*b for b.
0
Let o = 1 + 2. Let d be (-3)/(-6) + 3/2. Suppose -d*a + 45 = o*a. Solve -11 - a = 5*f for f.
-4
Suppose -r + 2*r = 0. Let g(t) = -1 + r + 9 - t. Let y be g(8). Solve o = -y*o for o.
0
Let t(p) = 2*p**2 + 4*p - 3. Let k be t(-5). Let u = -11 + k. Suppose -n + 2*n - u = 0. Solve 0 = -l + 5*l + n for l.
-4
Let m = 11 - 11. Solve m = -0*s - 4*s + 12 for s.
3
Let y be -7 - -11 - 4/1. Solve -4*m - m = y for m.
0
Let t = 12 + -9. Solve -20 = t*x + 2*x for x.
-4
Let t(p) = 7*p - 14. Let w(l) = -3*l + 7. Let r(y) = 2*t(y) + 5*w(y). Let b be r(7). Solve b = -x - 1 - 4 for x.
-5
Suppose 0 = a - 97 + 80. Let j(i) = 3 + 4*i + i - 4*i. Let f be j(0). Solve -4*x + a = -f for x.
5
Let w be (1 + -3)/(2/(-8)). Suppose 3*a = -0*a. Suppose -2*u + a*u = -w. Solve -6*r + u = -2*r for r.
1
Let j(m) = -m**2 - 2*m + 11. Let q be j(-5). Let h = q - -6. Solve 0 = h*l - 0 + 6 for l.
-3
Let z = 96 + -90. Solve 0*s = 3*s + z for s.
-2
Let h = -4 - -7. Suppose -4*k + 3*y + h = -3, y = 4*k - 10. Solve k*a - 3 = -12 for a.
-3
Let t = 1 + 3. Let d be (-2)/9 - (-2)/9. Suppose -2*u = 6, 3*b - 8*b - t*u + 18 = d. Solve 2*f - 2 = b for f.
4
Let p(i) = -i**2 + 6*i + 20. Let n be p(8). Solve n*q = 5 + 11 for q.
4
Let s be 10/2 + -4 + 2. Let j = -5 + s. Let r be (j + (-15)/(-6))*0. Solve r = 5*d - 8*d - 6 for d.
-2
Let k = 31 + -31. Solve k = -2*o + 4*o for o.
0
Suppose 5*q = -6*q + 77. Solve -3*w - 1 = -q for w.
2
Let v(q) = -16*q - 1. Let h be v(-4). Suppose -4*b + n = 2*n - h, -3*b + 4*n = -33. Solve c - b = -2*c for c.
5
Let a be (36/(-162))/((-4)/18). Suppose 2*j - 39 = -j. Let x = -8 + j. Solve a + 9 = x*m for m.
2
Let b = -4 - -7. Suppose -v - 16 = -3*n, 3*n + n - b = 5*v. Solve -4*u + 3 = -n*u for u.
-1
Suppose 0 = 5*b - 2*o - 3*o + 5, 2*o - 1 = b. Let n(z) = -3*z**2 + 2*z + 1. Let s be n(b). Let m = 4 + s. Solve m = 4*j - 10 + 2 for j.
2
Suppose 3*u - 6 = -0*u. Suppose z + u*z = 57. Solve -4 = -3*o - z for o.
-5
Suppose -2*h + 14 + 40 = 0. Suppose 3*s = 3*q + h, 0 = -4*s + q - 6*q. Suppose -s = -2*p + 1. Solve p*j = -0*j for j.
0
Let s(a) = a - 2. Let z be s(2). Suppose 2*i + 23 