*(q + (-21)/15). Let t = 1 - j. Solve 2*b - i - t = 0, 0 = b + b + i - 9 for b.
3
Let t be (1 + -1 - -3) + 0. Solve z = 2*b - 7, -t*z - 11 = b + 3*b for z.
-5
Let n = -14 - -20. Solve -c - s + 9 = -0, c = 2*s - n for c.
4
Let h be (4/(-2))/(-1 + -1). Let b be 2 + 0*h/(-3). Suppose 5*s - 11 = b*q, 0 = 2*s - 2*q - q. Solve -s*a + 4*f + 18 = -a, -3*f = 4*a + 19 for a.
-1
Let b(g) = -4*g**3 - 3*g**2. Let l be b(-2). Solve f - 16 = -3*f + a, 5*f - l = -3*a for f.
4
Let j = 9 - 3. Solve 3*w + 3*q = -3, w - 3*q = j*w + 11 for w.
-4
Let n be ((-12)/5)/(6/(-15)). Solve 5*j - 4*r = 6 + 6, j + r = n for j.
4
Let j = -8 - -11. Let z be (-4 - -1)*2/j. Let l be (1 - -12) + (-2 - z). Solve i - 4*h = -l, -i - i - 11 = -3*h for i.
-1
Let r(q) = q**2 + 8*q + 10. Let b be r(-7). Suppose -b*a + 5 = 2. Solve -y = -4*x + 11, 2*x + 1 = 2*y - a for x.
4
Let w be 11 + (-2)/3*3. Let n be 728/36 + (-2)/w. Solve 5 + 10 = 2*r + b, 0 = 4*b - n for r.
5
Let s = 20 - 17. Solve 5*w + 20 = -g, 1 = -s*w - 2*g - 4 for w.
-5
Let z(v) = -3*v + 9. Let g be z(2). Solve -g*x - q - 11 = 0, 5*x + 3*q + 7 = -10 for x.
-4
Let k(f) = f + 10. Suppose 0 = -3*j - 3 - 21. Let c be k(j). Solve -4*a + 28 = -5*b, -c*b + a - 2*a = 6 for b.
-4
Suppose -6*a + 3*a - 18 = 0. Let m(s) = -s**3 - 7*s**2 - 8*s - 7. Let v be m(a). Solve 0 = 3*w - p + 2, -w - 6 = -0*w + v*p for w.
-1
Let h be (1 - -5)/(3/2*1). Solve 0 = -4*p - h*f + f - 7, 5*p - 3*f = 25 for p.
2
Let n be 1/((-3)/(-4) + (-2)/8). Solve -4*a - 4*i - 29 = -i, 0 = 2*a - n*i + 4 for a.
-5
Let f(z) = -2*z + 7. Let c be f(-9). Suppose 6 = -0*m + 2*m. Solve -4*x + c = -5*u, -m*x + x + 15 = -5*u for x.
5
Suppose -6*k + 24 = -6. Solve -3*u - 2 = -w + 2, -u = -4*w + k for w.
1
Suppose -2*t + 2*u + 4 = 0, 2*t + 4*u = 7*t - 7. Let d be 0/(-3 + 2 + t). Let f be 2 + 2/(-4)*-2. Solve -w = o + 1, d = -w - w - f*o - 1 for w.
-2
Suppose -4*o + 5*s = 21, 3*s - 11 = o + 3. Let w(m) = o + 4*m - 4*m + m. Let c be w(3). Solve v + c*x - 16 = -5, -5*v = -x + 29 for v.
-5
Suppose -2*k + 19 = 5*d + 6, 4 = 4*d. Solve 3*h = -y - k*y - 22, h + y + 4 = 0 for h.
1
Let i(b) = b**3 + b**2 + b - 2. Let d(u) = u**3 + u**2 + u - 2. Let y(v) = 5*d(v) - 6*i(v). Let c be y(0). Solve 0 = 5*r, -2*p = -c*r - 2*r for p.
0
Let i be ((-2)/6)/((-1)/6). Suppose -2*w + 3*w = 5. Solve -5*y + 5*s = -i*y + 31, -w*y - 15 = -s for y.
-2
Let g be -1 + 12 - (5 - 4). Let l be ((-28)/(-35))/(4/g). Let d be ((-8)/6)/(1/(-3)). Solve 5*m - 10 = 0, -l*v = -d*v - m - 4 for v.
-3
Let v = -117 + 126. Solve -3 = 3*u + g + v, -2*u - 2*g = 12 for u.
-3
Suppose 0 = -8*k + 2*k + 24. Solve 0 = 5*d - k*z - 18, -4 + 12 = -4*z for d.
2
Let w = 2 + 0. Let g be 2 - -1 - (-5 + 2). Let p be (27/g)/((-3)/(-4)). Solve -p = 3*j + y, -2*y = w*j - 0*y + 4 for j.
-2
Let j be 2/5 - 34/10. Let f(r) = -r**3 + 6*r**2 - r - 2. Let a be f(6). Let h = j - a. Solve 2*q + 7*n = 3*n + 24, -h*q - 3*n = -25 for q.
2
Let f be 12*((-32)/3)/(-4). Let g be f/6 - 2/(-3). Suppose g + 10 = 4*j. Solve 0 = j*k + q - 3, -7*q = 5*k - 2*q for k.
1
Let y be (-31)/(-5) + (-1)/5. Let h be -2 + 2/(y/21). Let d = 73 - 43. Solve -5*c + d = -5*s - h, -s - 23 = -5*c for s.
-3
Suppose 3*p + 4*b + 2 = 0, 3*b + 0 = -2*p - 1. Let o(t) = 2*t**2 + 3*t + 2. Let x be o(p). Solve 0 = 2*h - n + 3, h = x*h - 5*n - 13 for h.
-4
Let o = 1 + 1. Suppose w = -18 + 48. Solve -4*n - o*b + w = 0, 4*n = 2*b - 1 + 11 for n.
5
Let r(f) = -f**3 - 10*f**2 - 11*f - 10. Let z be r(-9). Solve 0 = 3*v + h - 9, -v + 4*h + 24 = z for v.
4
Let j be (2 - 7)*(-1 - 0). Suppose -4*q + 2*r - 38 = 0, -20 = 3*q - 3*r + 16. Let m = -4 - q. Solve -j*o - m*k - 2*k = 0, -5*o = 4*k + 1 for o.
-1
Let g be (-3)/(-12) - 1/4. Let j(p) = -p**3 - p**2 - p + 5. Let r be j(g). Solve -u = 5*q, 3*u - 18 = -2*q + r*q for u.
5
Let j = 18 + -21. Let p be 4/(-6) + (-35)/j. Solve p = -3*a + 3*w - 7, 3*a + 20 = 4*w for a.
-4
Suppose -2*p + 16 = 2. Let r = 11 - p. Solve -5*y + 4*o + 35 = 0, 22 - 2 = -r*o for y.
3
Let q(k) = 6*k + 20. Let o be q(-3). Solve 3*h + 8 = -g, 5*g - o*h - 12 = 4*g for g.
4
Suppose -2*x + 6 = 0, -x + 0*x - 2 = -5*l. Suppose -6 = 2*a - 4*a. Let h = a - l. Solve -j + 3*j - h*f = -6, 0 = 2*j + 5*f + 13 for j.
-4
Suppose 0*p - 4*a = 3*p + 62, 5*p + a + 92 = 0. Let v be -4 + 4 - p*1. Solve -5*g = 4*c - v, 2*g = -5*c + 4*g + 6 for c.
2
Suppose -5 = -b - 0. Suppose 0 = 3*m - b - 4. Let k = m + 1. Solve -12 = -3*j + 3*g, 4*j - g - 20 = k*g for j.
0
Let v(d) = -d - 4. Let l be v(-4). Suppose -j + 5*j = 80. Solve c - 5*z + 20 = l, -j = -0*c - 2*c - 2*z for c.
5
Suppose 22 = 4*q - 42. Suppose 2 - 35 = -3*h. Let t = q - h. Solve -2*g - g - 27 = 3*m, t*g + 30 = -2*m for m.
-5
Let a be (50/15)/(4/6). Solve -a*c + 2*p = -35, 4*p + 10 = c + 3*p for c.
5
Let f(r) = -r**3 - r**2 + 3*r - 3. Let t be f(-3). Suppose 7*x - t*x = 3. Solve -5*o + 4*a - 21 = 0, -4*a = x*o + 13 + 6 for o.
-5
Let b(j) = j - 15. Let s be b(0). Let p = s - -43. Solve f = -4*t + 15, 5*f + p - 7 = 4*t for t.
4
Let f = 64 + -37. Suppose 3*g - g - o = 9, 4*g - f = 5*o. Solve -2 = -3*l + 4*y, y - g*y - 2 = -l for l.
-2
Let d(t) = -t + 11. Let l be d(7). Solve 0*f = f - 5*u + 22, 5*f - l*u + 26 = 0 for f.
-2
Let c = 21 + -22. Let b be c/(-2)*(7 + 1). Solve 2*q = b*t - 6, 2*t + t = -q - 8 for t.
-1
Let y = 60 + -55. Solve -3*w = -y*g + 2*w, -3*g = -4*w for g.
0
Let r(p) = 5*p**2 + 8*p - 3. Let d(g) = -4*g**2 - 7*g + 2. Let w(b) = -4*d(b) - 3*r(b). Let v be w(-4). Solve -c - 16 = -4*x, -x = -4*c + 3*c - v for c.
4
Let k(y) = -y**2 + 7*y - 4. Let z be k(6). Suppose z*x + 2*x = 20. Let h(p) = p**2 + 5*p + 5. Let o be h(-5). Solve -q = 4*a - 20, -a + 0 = x*q - o for a.
5
Suppose 10 = -2*v, -4*v - 5 = -q + 18. Suppose 9 = q*g - 36. Suppose -g + 0 = -5*p. Solve 4 = -2*u + p*c, -1 + 9 = -4*u - 2*c for u.
-2
Let w(f) = -f**3 + 4*f**2 + 5*f. Let u be w(5). Suppose u = 2*t - 0*t. Suppose t = 2*b + 2 - 14. Solve -2*v = -4*o, -14 = 5*v + 3*o - b*o for v.
-4
Let c(p) = 6 + 0 - 5 + 4*p**2. Let i be c(1). Solve 5*m = 2*d + 8, -5*d - 6 = -i*m - 1 for m.
2
Let t be -1*(-9 - -2) - 3. Solve -7*b + 2*b + v = -8, -t*v - 10 = 2*b for b.
1
Let u(b) = b + 8. Let s be u(-5). Suppose 0 = -s*r + 1 + 5. Let t be (-78)/(-4) - 2/(-4). Solve 5*h - r*z + 25 = 0, -5*z + 0 = 4*h + t for h.
-5
Suppose -17 + 25 = 2*d. Solve 0 = 5*n + u + d, -4*u - 6 - 10 = -2*n for n.
0
Let r = 4 + -2. Let n(v) = 4 - 2*v**r + v**2 - 1 + v. Let p be n(0). Solve s = -5*b - 1, -p*s = 3*b + 3 - 0 for s.
-1
Let a(t) = t**2 + 3. Let j be a(0). Suppose j*c - 1 = 5. Solve -u - 1 = 3*q + u, 0 = c*u + 10 for q.
3
Suppose 4*p - 3 = 2*g + p, 4*p = 3*g + 3. Suppose t - 8 = -3*i, 2*t = -i + g*i. Let z be -2*((-7)/2 + i). Solve l + 8 = -k - 2*k, 2*l - 20 = z*k for k.
-4
Let v(g) = -g**3 + g**2 + 4. Let w be v(2). Solve 5*n - 3*p + 31 = w, 13 + 6 = -5*n - 3*p for n.
-5
Let k be -2 + 1*(-3)/(-1). Suppose -2 - k = -s. Let j be (-12)/10*(5/(-2) - 0). Solve j*z + 5*c + 6 = -13, -s*c - 7 = 4*z for z.
2
Let n(h) = h**3 - 2*h**2 + 2*h - 1. Let w be n(2). Solve -2*x = -w*v - 10, -6 - 6 = 5*v - x for v.
-2
Let k be 3/(-2) + 3/6. Let x(l) = -6*l**3 - l**2. Let g be x(k). Solve 3*m = a - 20, 21 = a - g*m - 9 for a.
5
Let q(v) = 2*v**2 - 4*v. Let h be q(4). Solve 4*i - 5*o = h, 4*i + 2*o - 16 = o for i.
4
Suppose 3*y - 3 = 3. Suppose 5*v = -16 + 6, -5*m + 11 = y*v. Let k = 24 + -19. Solve -m*n = 2*l - n + 2, k = l - 5*n for l.
0
Suppose 4*b - 31 = 25. Solve 0 = 2*k - c, c = k - 3*c - b for k.
-2
Let b(r) = -r**3 + 6*r**2 + 6*r + 9. Let f be (16 - 2)*5/10. Let c be b(f). Solve -3 = n - c*n, -2*t - 13 = -3*n for t.
-2
Suppose -4*c + 4 = -3*c. Solve 3*d - 2*x = -8, -c*d + 2*x = 4*x + 6 for d.
-2
Let f be 0 + -2 + -21*(-4)/12. Solve 4*h = 3*z - 13, z - 4*z = -f*h - 17 for z.
-1
Suppose 0 = -7*b + 211 - 43. Solve -b = v - 5*v + 4*w, 3*w = -2*v + 2 for v.
4
Let i(y) = y**2 - 2*y + 1. Let n be i(-4). Suppose 53 = 3*j - 7. Suppose g - j = -3*g. Solve 5*z = 3*v - 4, 5*v - 5 = -g*z - n for v.
-2
Let w(t) = t**2 + 7*t - 5. Let a be w(-8). Suppose a*i = 2*i + 8. Solve 0*o - 4*z = -o - 7, -4*o - 2*z = -i for o.
1
Suppose -2*a + 6*a - 8 = 0. Solve 2 = -5*y - a*f, -6 - 14 = -5*f for y.
-2
Suppose -k - 2 = -4. Suppose -4*x + 5*o = -21, 3*o + 6 = k*x - o. Solve 4*r + 15 = 2*p - x, 2*r + 8 = -p for r.
-5
Suppose 0*w = 5*w - 10. Solv