 Let b = 23 + d. Let q(w) = -w**3 + 9*w**2 + 3*w - 9. Let v be q(b). Solve -3 = 5*g - v for g.
3
Suppose 3*n - 3 = -3*l, -5*l = n - 0*n + 3. Solve 4*u + n - 6 = 0 for u.
1
Suppose b = -0*b. Suppose 0 = -5*x - b*x. Solve x = q - 4 + 7 for q.
-3
Suppose 12*j = 9*j + 9. Solve j*r - 1 - 2 = 0 for r.
1
Suppose 10 = -r + 3*r. Let c be (-54)/27 - 2/((-4)/22). Suppose 2*u + c = r*u. Solve u - 6 = l for l.
-3
Let z = 8 + -8. Solve z*j = -j + 2 for j.
2
Suppose 3*r + 4 - 1 = 0. Let w be r - (-2)/(4/6). Solve -q + w + 0 = 0 for q.
2
Let t be 6/(-33) + (-6)/(-33). Let q be 0 - (3 + t) - -3. Let c be 0/(-2) + q - -2. Solve v + v + c = 0 for v.
-1
Let w be 206/14 - 2/(-7). Solve 4*t = -w - 5 for t.
-5
Suppose 3*n = -4 + 16. Solve -p = p - n for p.
2
Suppose -4*m = -0*m - 36. Suppose u - m = -3*w, -u + 17 = 2*u + 4*w. Solve u*d + 3 = -6 for d.
-3
Let o be 5/(1/1 + 0). Suppose -2*j = r + 4, -o*r + 2 + 2 = 2*j. Solve 2*k = -8 - r for k.
-5
Suppose l + 2*x - 4 = -0*x, -4*l + x - 2 = 0. Suppose l = -d - 0*d - 2. Let h(k) = -k**3 - k**2 + 2*k + 2. Let m be h(d). Solve -m*a + 2 = -0 for a.
1
Let r be -7*-4*6/84. Solve 0*x - r*x - 6 = 0 for x.
-3
Let v(j) = 2*j + 2. Let n be v(-1). Solve 3*h - h + 4 = n for h.
-2
Suppose -y + 0*y = -20. Suppose 2*w + 42 = 5*q - 9, y = 2*q - w. Solve 5*j - q = -1 for j.
2
Let i(v) = -v**2 + 7*v - 7. Let j be i(5). Suppose -x + j = 2*x. Let b = x + 4. Solve -2*a = -b*a for a.
0
Let r = 0 - 0. Suppose r = -3*f + f. Suppose 2*c - 8 = f, -2*m - 16 = 2*m - 4*c. Solve m = 3*w - 0*w + 12 for w.
-4
Let r(v) = 3*v - 14. Let k be r(6). Solve -k*y = -6*y + 4 for y.
2
Suppose 2*y + y = 60. Suppose -2*d = -5*d + 21. Suppose 0 = d*o - 2*o - y. Solve o*n - 1 = 19 for n.
5
Let t = -5 + 5. Suppose -16 = -4*x - t. Solve x*n = -22 + 6 for n.
-4
Suppose -9*j + 14*j = 0. Solve -2*q + j*q + 8 = 0 for q.
4
Suppose 4*f = 5*b - 3*b - 20, 2*b = 5*f + 25. Suppose b = -l - l + 8. Solve 0 = d + d - l for d.
2
Let l = -3 + 5. Solve 0 = 7*r - l*r + 25 for r.
-5
Suppose 0 = -2*v + 2, -6*v = 5*y - v - 20. Solve y*o - 2*o = -3 for o.
-3
Let r(f) = -3*f - 9. Let a be r(-6). Solve 2*s = -1 - a for s.
-5
Let l = 11 + -11. Solve l*q + 3*q = 12 for q.
4
Let o be ((-2)/(-5))/((-2)/(-20)). Let u(i) = i**3 - 13*i**2 + i + 12. Let p be u(13). Solve z + o*z = p for z.
5
Suppose 0*p = 3*p - 3*w - 27, 5*p = -5*w + 35. Suppose 2*v - 2 = p. Solve -8 - 7 = v*j for j.
-3
Suppose 31 = 4*f + 3*b, 2*b = f - b + 11. Suppose -3*y - 3*w + 183 = 0, f*y - 2*w + 5*w - 243 = 0. Suppose 0*j + y = 3*j. Solve 2*o - j = 7*o for o.
-4
Let w be 1*2/(6/15). Suppose 5*s = s + w*q - 7, -s = -q + 1. Solve 6 = z + s*z for z.
2
Suppose d = 4*d - 9. Solve d + 2 = -5*g for g.
-1
Suppose 0*w = t + 2*w - 20, 5*t - 3*w - 48 = 0. Solve t = -3*a - a for a.
-3
Suppose -h = 4 + 1, 5*u + 4*h = -20. Solve b - 3*b = u for b.
0
Let n(y) = 3*y + 28. Let x be n(-7). Solve -x*v = -3*v + 20 for v.
-5
Let p = 6 - 1. Suppose 3*a + 4*d - 2 = -1, 0 = -a - 2*d - 1. Solve -2*q - p = a*q for q.
-1
Let m be 1/(-2) + (-21)/(-6). Let h be (1 - 5/(-1)) + 2. Let q = -6 + h. Solve -q*i + i - m = 0 for i.
-3
Let s(a) = a**2 + 6*a - 7. Let m be s(-7). Solve -x = -m*x + 1 for x.
-1
Suppose 2*n = n. Suppose l - 13 = -5*g, -5*l + 4 + 3 = -4*g. Solve n = b + l*b for b.
0
Let l = 18 - 7. Suppose -w - 2*h = -8, -l = 2*w - 5*h - 0*h. Solve 0 = -4*x + w*x - 10 for x.
-5
Suppose -2*i = -7*i + 25. Suppose 20 = 5*k - 0*s + s, 4*s - 5 = i*k. Solve 0 = -5*b + k + 2 for b.
1
Let r be 32/5 - 3/(-5). Suppose b - 2 = -t, -r + 3 = 2*b. Suppose t*l - 2 = 3*l. Solve l*p - 4 = 6*p for p.
-1
Let f(a) = -2*a + 1. Let q(h) = -h. Let m(n) = -f(n) + q(n). Let j be m(4). Solve 0 = j*o + 4 + 5 for o.
-3
Let y be (6 - 2)/(2/3). Let a(s) be the first derivative of s**3/3 - 5*s**2/2 - 6*s - 2. Let t be a(6). Solve -w - w - y = t for w.
-3
Let s(y) = y**2 - 12*y - 10. Let a be s(12). Let i = -10 - a. Solve -3*u - 4 - 5 = i for u.
-3
Let c = -10 - -17. Let i(r) = -r + 13. Let v be i(0). Let q = v - c. Solve -10 = -q*n + n for n.
2
Suppose 3*l = 5*h - 36 + 163, -h = -2*l + 73. Suppose 5*c - 41 - l = 0. Let r(y) = -y + 11. Let u be r(8). Solve -u*a = -8*a - c for a.
-3
Let t(l) = -l**3 - 13*l**2 + 3*l + 41. Let o be t(-13). Let f = -1 - -1. Suppose f = -p + 3*p - 6. Solve -o = p*q - q for q.
-1
Suppose -4*l + 9*l - 10 = 0. Let u be -15*l/((-10)/3). Suppose -4*w + 54 = 2*m, 3*m - u = 2*w + 64. Solve 7*g - m = 2*g for g.
5
Let y = 12 + -9. Suppose -2 = -x + y*h - 8, 3*h - 9 = 0. Solve -x + 0 = -t for t.
3
Suppose 5*i - m = 17, -4*m - 9 - 5 = -2*i. Solve 10 = -t + i*t for t.
5
Suppose 5*d - 4*x - 10 = -5*x, 0 = -4*d - x + 8. Let s be (-21)/(-5) + 2/(-10). Solve -d*h = 2*h - s for h.
1
Let t(k) = k**3 + k**2 - k - 2. Let i be t(2). Solve -2 = 2*p - i for p.
3
Let l = 88 - 82. Solve -7*g = -l*g for g.
0
Suppose -1 = -4*q - 5*g, 4*q - 3*g + 33 = q. Let r = q - -8. Let c be r/(-4) + 14/4. Solve 4*b + 2 = c*b for b.
-2
Let t = 5 + -2. Let j be ((-166)/(-3))/(4/6). Suppose -7*a + j = 5*s - 5*a, -37 = -3*s + 2*a. Solve -t*m + s = 2*m for m.
3
Suppose -4*f + 3*f = -3*r + 15, 0 = 5*r + 2*f - 14. Solve -b + 20 = r*b for b.
4
Let l(f) = -2*f**3 + f**2 + f. Let y be l(-1). Let m = -3 - -6. Let d = y + m. Solve -2*i = -d*i - 12 for i.
-4
Suppose -2*k + 2*v + 8 = -0*v, 2*k + 4*v + 10 = 0. Suppose 0 = w + 3*f - 20, -4*w + 4*f - f + 5 = 0. Suppose -w = -2*h + k. Solve j + 1 = h for j.
2
Suppose 47 = 4*n - r, 3*r = -2*n + 4*r + 25. Suppose j = n - 5. Solve -20 = -u + j*u for u.
-4
Let r(u) = -u**3 + 15*u**2 + 3. Let z be r(15). Solve -6 = h - z for h.
-3
Let l(y) = y**2 + 6*y + 8. Let z be l(-7). Suppose -4*b - b = -z. Suppose b*d - o = -d + 19, 0 = -2*o - 6. Solve d*n = n for n.
0
Suppose -2*w - w + 18 = 0. Suppose a = w*a - 45. Let n be (-2)/(4/12*-2). Solve -n*z - 3 - a = 0 for z.
-4
Let f = 38 - 21. Let x = -15 + f. Solve -x*t + 15 = 3*t for t.
3
Let n = -105 + 66. Let i be n/(-6) - 3/2. Solve -28 + 8 = -i*f for f.
4
Suppose 0*c - 2*c = 8. Let j(l) = -l**2 + l + 3. Let h be j(-3). Let v be (6/h)/(c/6). Solve z = v - 0 for z.
1
Let c = -17 - -20. Solve 2*y - 20 = -c*y for y.
4
Let c = 1 + -3. Let t be (-2 - 1 - c)*-32. Suppose -5*n + 7 - t = -q, -q + 2*n = -10. Solve q*w - 5*w + 25 = 0 for w.
5
Suppose q - 5 = -4*q. Let v = 3 - q. Solve -v = 4*h - 6 for h.
1
Suppose -12*b - 1 = -1. Solve b*k = -k for k.
0
Suppose -p + 0*p = -5*l - 17, -l - 9 = -3*p. Let v = 18 + l. Solve -v = -4*i + 5 for i.
5
Suppose -5*n = -5, 0 = -4*t + 3*n - 8*n + 65. Solve o + t = -2*o for o.
-5
Let k be -1 + 2 + -4 + 4. Solve v = -0*v - k for v.
-1
Let b be (-3)/(2*(-12)/40). Solve -3*h = 2*h - b for h.
1
Let m be 24/18*30/4. Suppose -m = -j - j. Solve j*v + 8 = -2 for v.
-2
Suppose -3*y + 14 = 2*s, -4*y = s + s - 16. Let q be (y/6)/(2/30). Suppose 0 = -4*p - 2*i + 6*i, 2*p - 5*i + 6 = 0. Solve -q*c - p = -12 for c.
2
Let h(n) = -n**3 + 6*n**2 + 9*n. Let f be h(7). Let q be 3 + 0/(-3) + 1. Solve 5*g + q = f for g.
2
Let t(s) = -s**2 + 7*s - 3. Let x be t(6). Let g be ((-8)/(-10))/(6/15). Suppose -x*h - g*h = 0. Solve 12 = 3*c - h*c for c.
4
Let s(w) = w - 1. Let r be s(1). Let u = -3 - -4. Suppose -8*g + 7*g = -u. Solve r*v + v - g = 0 for v.
1
Let a(s) = -2*s**2. Let i(l) = -l**2. Let u(y) = -a(y) + 3*i(y). Let n be u(0). Solve n*d = d for d.
0
Let g = 34 + -11. Suppose -5*f - d = -g, 0 = f + 3*f + 3*d - 25. Let q be (12/8 - 0)*10. Solve f*l - q = -l for l.
3
Let u(p) be the first derivative of 2*p**2 - 2*p + 2. Let w be u(4). Suppose -5*g + w = -16. Solve -3*i + 6 = -g for i.
4
Let v = 11 + -8. Solve -3*f + 6*f = -v for f.
-1
Let w = 2 + 2. Suppose -i - 18 = -w*c + 2, -5*i - 8 = 3*c. Solve 0 = -l - 3*l - c for l.
-1
Let j be -6*(-3)/27*3. Solve 12 = j*u + 2*u for u.
3
Suppose r - 2 = -0. Solve r*p = -0*p + 10 for p.
5
Suppose -4*f + 10*d - 7 = 5*d, 0 = f + 4*d - 14. Solve 0*x = -f*x for x.
0
Suppose -4 = -3*j + 2. Suppose 5*q + 16 + 4 = 0. Let c be (4 + -7)/(3/q). Solve -g = -j + c for g.
-2
Let c(p) = p**3 - 3*p**2 + 2*p - 2. Let o be c(3). Solve o*r - 5*r - 3 = 0 for r.
-3
Suppose 7 = 4*m - 5. Suppose 2*c - 22 = -3*k, -5*k - c + 7 + 18 = 0. Suppose -b - 8 = 4*j, 5*j + 6 + k = 3*b. Solve -3*d = -b*d + m for d.
-1
Let i(a) = -a**2 + 3*a + 4 - a - 4*a + 5*a. Let k be i(4). Solve -f - 2*f + 3 = k for f.
1
Le