)/(-18). Let h = p - 3. Solve -b + 3 - h = z for b.
-3
Suppose -2*y + 3*y = -4*z + 80, 0 = -3*y. Suppose z = -0*c + 5*c. Suppose -v = -11 - c. Solve 0*k + v = -3*k for k.
-5
Let d be (6/(-3))/((-2)/3). Let l = d + 0. Suppose -1 - l = n, -n = 5*c - 11. Solve -j = c*j - 4 for j.
1
Suppose 0 = 2*p - 6*p + 4. Let y = -1 - 0. Let u be (2 + y)*p - -3. Solve -a - 9 = -u*a for a.
3
Let p be -1 + 3 - (-6)/3. Solve 20 = p*u - 0*u for u.
5
Suppose 0 = -4*q + 8*q - 3*n, 5*n = -2*q. Solve l + l - 4 = q for l.
2
Suppose -2*l + 14 = 3*k, -2*l + 10 = 2*k - 2. Solve 0*g = -g + l for g.
4
Suppose 3*n - 17 - 23 = 2*i, -5*n = -5*i - 70. Solve -5*z + 13 = -n for z.
5
Let g = 0 - -2. Suppose s = -5*k + 20, 5*k + 3*s + g*s = 40. Suppose 4*b - b + 6 = 3*i, 8 = 2*i. Solve -w + k = b*w for w.
1
Let a(w) = w + 7. Let v be 15/9*3*-1. Let c be a(v). Let j be (-2 - -2)/c - -2. Solve -f - j*f - 15 = 0 for f.
-5
Let c(t) = 0*t**3 - 10 + 6*t**2 + 13 + t**3. Let i be c(-6). Solve 4 - 1 = i*m for m.
1
Suppose -5 = -5*g + 15. Let c = g - 2. Let o(k) = k**3 - 3*k**2 + 3*k. Let m be o(c). Solve 0 = -4*u + 3*u + m for u.
2
Let b(x) = 2*x**2 + 4*x + 2. Let d be b(-3). Let j = d - 3. Solve j*o = -0 + 5 for o.
1
Let z be (-20)/(-6) - (-2)/(-6). Let v be 1 - (1 + 0 + -2). Solve 15 = z*w + v*w for w.
3
Let o = -507 + 511. Let u be 2/(-4) + (-1)/(-2). Solve u*v + o*v = -16 for v.
-4
Let y(b) = -4*b**2 + 8. Let u be y(0). Solve -c + 5*c + u = 0 for c.
-2
Let a = -5 - 1. Let j = 0 - a. Solve j*x = 2*x for x.
0
Let j = -38 + 43. Solve j*r - 3*r = 0 for r.
0
Let o(i) = i - 2. Let t be o(6). Let k(q) = -q + 4. Let c be k(t). Suppose c*d = -5*d + 10. Solve d*w - 3*w = 3 for w.
-3
Let i be 13 + -4*1/(-4). Suppose -2*t = -20 + i. Solve t*f - 2 = -8 for f.
-2
Let l(o) = 4*o + 1. Let t be l(1). Let k(v) = v**2 - 6*v + 6. Let x be k(5). Solve -4*c - x = -t*c for c.
1
Let r = -145 - -145. Suppose 3*f - 6 = f. Solve 3*h + 0*h - f = r for h.
1
Suppose -p - 1 = -2*v, -12 = -4*p - 3*v + 7*v. Suppose p*b = 2*b. Solve b = -h - h + 6 for h.
3
Let q(d) = -d**3 - 9*d**2 + 12*d + 3. Let m be q(-9). Let r be (-2)/(-6)*m/(-5). Solve 2 + r = -3*p for p.
-3
Let r(c) = -c**2 - 9*c + 10. Let v be r(-10). Suppose 2*b - 6*b + 64 = v. Solve -5*p + p + b = 0 for p.
4
Let r(s) = -2*s - 20. Let w be r(-10). Solve 2*u = -4 - w for u.
-2
Let l(s) = -s + 4. Let g be l(0). Solve -g*x - 3 = 9 for x.
-3
Let v be (40/4)/(2 + -1). Suppose -5*a + v + 5 = 0. Suppose 23 = 2*x + a. Solve -x = 3*y - 8*y for y.
2
Suppose 3*s = 9 - 3. Suppose 0 = i - s*l - 5, 0 = -4*l + 8. Let o(z) = -z**3 + 9*z**2 + 2*z - 13. Let x be o(i). Solve -11 = -4*q + x for q.
4
Suppose -4*b - b = -15. Suppose d = b - 1. Solve -d = -g + 2 for g.
4
Suppose s = x + 12, -4*x = 4*s - 20 - 12. Let q be s*1/2 - -1. Suppose 0*p = 3*p - q. Solve -2*i - 8 = p*i for i.
-2
Suppose -4 = -c - 0*c. Suppose -4*o = -0*f + c*f - 52, 0 = -2*f - 3*o + 24. Solve -4*v - v + f = 0 for v.
3
Suppose 2*i + 6 = -4*y, 0*i - 2*i - 3*y = 5. Let p(q) = 3*q**2 + q. Let u be p(i). Solve 3*h - 8 + u = 0 for h.
2
Suppose -3*m = m. Suppose m = 5*s + 5*q - 18 + 3, 5*s + 2*q = 15. Solve 0 = -w + s + 1 for w.
4
Suppose 0 = -3*d + 12, -d = -2*p - 9 + 35. Let m = p - 11. Solve 0 = -2*y - 2 + m for y.
1
Let p(h) = h - 2. Let b = 5 + 4. Let k be p(b). Solve k*q = 3*q for q.
0
Let s(w) = 8*w**2 + 26*w - 11. Let z(i) = 3*i**2 + 9*i - 4. Let c(g) = -6*s(g) + 17*z(g). Suppose 4*r - 6*r = -6. Let v be c(r). Solve -v = -5*m - 1 for m.
3
Let w = -22 - -27. Suppose w*d + 2*j - 6 = 0, -3*j + 2*j + 3 = -d. Solve 2*v + d*v = -2 for v.
-1
Suppose 0 = -4*a - k + 12, 0 = 7*a - 3*a - 2*k. Let n(g) = g + 4. Let s be n(12). Suppose -4*c + 0*c = -s. Solve 2 = c*y - a for y.
1
Suppose -3*m + 4 - 1 = 0. Let r = 1 + m. Let n = -5 - -8. Solve -i + r = -n*i for i.
-1
Suppose 3*h - 2*h = f + 61, 0 = 5*f - 2*h + 302. Let i be (-8)/10*f/8. Solve -4 = -2*x + i for x.
5
Suppose -l = w + 2, 5*l + 0*l = -w + 6. Suppose -c = l*c. Let a be (c + 2)/(3/9). Solve a = -t + 4 for t.
-2
Let r(q) = 2*q - 16. Let l be r(11). Let d be (l/10)/(3/15). Solve f - d = -0 for f.
3
Let d = 4 + -2. Let u = -6 + d. Let p = u + 7. Solve -p*g = -7*g + 16 for g.
4
Let c(t) = -3*t + 4. Let h be c(-4). Let p = h - 12. Solve p*v + 0*v = 4 for v.
1
Suppose -l + 2 + 2 = 0. Suppose o = 3*j + j + 12, -l*j = -2*o + 16. Solve o*h + 4 = 24 for h.
5
Suppose 5*l + 5*d = 9 + 6, 12 = 5*l + 2*d. Solve l*w - 12 = 5*w for w.
-4
Let d(x) = 12*x + x**2 - 2*x**2 - 1 + 0. Let b be ((-1)/(-3))/(3/99). Let r be d(b). Solve -4*h = -6*h - r for h.
-5
Suppose -3*i + 2*i + 3 = 0. Suppose 5*f + 25 = 4*z, 29 = 5*z - 3*z + i*f. Solve -3*u - 1 + z = 0 for u.
3
Let y be (3/(-5))/(2/(-10)). Suppose y*q - 5 - 4 = 0. Suppose g - q*k + k - 12 = 0, 5*g = -4*k + 46. Solve 3*i = -g - 5 for i.
-5
Let h = -2 + 3. Suppose j + 5*d + 6 = -2, -10 = -j + 4*d. Let b = h + j. Solve -p = -b*p + 10 for p.
5
Let n(q) = -q**2 - q + 1. Let i be n(0). Solve i = p + 4 for p.
-3
Suppose r = -4*f - 22, 4*f + 9 + 17 = r. Let j = f - -11. Solve 3 = -j*k - 2 for k.
-1
Let a = 29 + -18. Solve -a*u - 20 = -6*u for u.
-4
Let r(j) = -15*j**2 - 3*j. Let b(y) = y**2 + y - 2*y - 6*y**2. Let o(t) = 11*b(t) - 4*r(t). Let i be o(1). Solve -c + i = 2*c for c.
2
Let a(c) = -c**3 + 3*c**2 + 5*c + 2. Let n be a(4). Let d = -3 + 6. Solve x - n = -d for x.
3
Let l = 109 - 103. Solve l*m - 10 = 4*m for m.
5
Let y be 14 + -11 - (-4)/2. Suppose -2*x - 8 + 2 = -v, -y*v - 4*x = -30. Solve 5*p - 4 - v = 0 for p.
2
Suppose -j - 2*l + 0*l = -1, 5*j + l = 14. Suppose 0 = n + v + 2, -6 + 0 = -j*n + 3*v. Solve 5*i + n*i + 25 = 0 for i.
-5
Suppose 4*p - 2*i - 10 = 0, 5*p - 2*i = -i + 5. Suppose 4 = -p*d + d. Solve 6 = -d*g + g for g.
-2
Let p(v) = -v**3 + v**2 + v + 6. Let y be 2 + (-2)/(4 + -2). Suppose 5*b + y - 16 = 5*c, -5*b = -2*c - 15. Let d be p(c). Solve -3*x = -d*x + 12 for x.
4
Suppose 5*o = 3*i + 2 - 44, 2*o + 2*i + 4 = 0. Let w be (-4)/o - (-66)/9. Let h be (w/3)/((-6)/(-36)). Solve -3*k + 1 = h for k.
-5
Suppose -3*p - 15 = -6*p. Suppose 5 = -a - 3*a + o, -p*o - 15 = 0. Let j be (0 - (-4)/2) + a. Solve -3*w - 9 = -j*w for w.
-3
Let a be -2 + (6 - (4 - 2)). Suppose -o - 2 = 0, -4*s - a*o = -3*o + 30. Let r = 20 + s. Solve 0 = -5*c - 8 - r for c.
-4
Suppose 4*b - 8 = -2*y, 3*b = 5*y + 37 + 8. Let w(x) = -x - 4. Let p be w(y). Solve 1 = -p*d + 5 for d.
2
Let o = -6 + 10. Suppose 4*u - 4*u = -10*u. Solve u*z + 4*z = o for z.
1
Suppose 5*q - 14 = -v, 5*v - q - 23 = -5. Solve v*r = -r for r.
0
Let w = 12 + -6. Let b = 15 + -17. Let r be b/3 + (-32)/(-12). Solve 0 = -r*g + 4 - w for g.
-1
Let b be (0 + -1)/((-7)/14). Suppose -b*v - 2*n = -5*v + 21, -3*v = 3*n - 6. Solve -26 = -v*h - 6 for h.
4
Let u(w) = -w**3 - 4*w**2. Let f(o) = 2*o + 10. Let s be f(-7). Let l be u(s). Suppose 4*c - 10 = -c. Solve -c = -h - l for h.
2
Let b = -4 - -6. Let z be b + 0 + (2 - 0). Solve -m = m - z for m.
2
Let g(l) = -6*l + 36. Let z be g(5). Solve -3*r - z = -21 for r.
5
Let q(f) = f + 9. Let g(p) = -p - 4. Let x(b) = -5*g(b) - 3*q(b). Let d be x(6). Suppose 3*v = -v + 8. Solve -c - v + d = 0 for c.
3
Suppose -4*g + 5*q = 3*q - 86, -3*g = 5*q - 45. Solve -4*y + g = -9*y for y.
-4
Suppose s - 4*s = -12. Suppose 4*u - s*w - 35 = -w, 2*u - 28 = -2*w. Solve 4*n - 5 - u = 0 for n.
4
Let w be ((-3)/(-2))/((-3)/8). Let s = w - 3. Let k be (s - -3)*-1 - 0. Solve 0 = -0*n + 2*n - k for n.
2
Let p be 0 - (-4 + -2)/2. Suppose -o - 5*i + 13 = 0, 2*i + 11 = -2*o + 53. Solve 8 = -p*u + o for u.
5
Let h(c) = c + 2. Let w be h(-1). Suppose -5*p + 2*p = 0. Solve p = q - 2 - w for q.
3
Let h(r) = r**2 - 10*r + 11. Let l be h(9). Let j = 1 + l. Solve -j = -0*s + s for s.
-3
Let h be (-1 + 9)*1/4. Solve -h = 3*t - 5 for t.
1
Suppose -4*k + 4 = -8. Solve 7 = 2*u + k for u.
2
Let r = -21 + 35. Let g = 3 - r. Let a = -9 - g. Solve v + a = 1 for v.
-1
Let u(b) = b**3 + 7*b**2 + 7*b + 6. Suppose 4*p - c + 22 = 1, -3*p + 3*c = 9. Let s be u(p). Let f(n) = -2*n - 1. Let i be f(-1). Solve -4*y + i - 9 = s for y.
-2
Suppose 2*d = 6*d - 16. Let j = 7 - 6. Let r(p) = p**3 - 3*p**2 + p. Let o be r(3). Solve j = -d*x - o for x.
-1
Let m(p) = -p**3 + 2*p**2 + 3*p - 1. Let o be m(3). Let z(d) be the first derivative of -11*d**2/2 + d - 2. Let q be z(o). Solve 4*c - q = -0*c for c.