r b.
3
Let o(d) = -2*d + 5. Let l be o(7). Let m = l + 14. Solve -2*w - 3*u - u - 30 = 0, 0 = -2*w + u - m for w.
-5
Let u = -89 + 94. Solve 4*o - 2*z = o + u, 2*o - 20 = -2*z for o.
5
Let c(g) = g**2 + 6*g + 1. Let p be c(-5). Let y = 0 + p. Let q = 7 + y. Solve 3*v = -q*w, 4*w = -2*v - w - 3 for v.
1
Let l be -4*(9/4 - 3). Solve l - 4 = -d - 3*w, 4 = -4*w for d.
4
Let c = -9 + 49. Solve -5*w + c = -4*y, w - 29 = 4*y + y for y.
-5
Let r(y) = 2*y - 7. Let f be r(6). Solve f*q + 9 = 4*g, q - 4*q - 4 = -g for g.
1
Let a(t) = -4 - 1 + 14*t + 3. Let r be a(2). Suppose 4*p + 2*i = 18, 0*p - 4*i + r = 3*p. Solve 3*f + 5*g = -p, g = -g + 4 for f.
-4
Let f(w) = -w**3 + 2*w**2 + 2*w - 2. Let i be f(-2). Let q = 13 - i. Solve -2*l + 8 = 0, -4*y + q*l + 0*l = 0 for y.
3
Let g(h) = h**3 + 2*h**2 - 2*h. Let k be g(-2). Suppose -7*f + 6 = -k*f. Solve 11 = -w - 4*n, 6*w - 4*w - f*n = 8 for w.
1
Suppose -310 = -4*i - 90. Suppose 2*y - 7*y + i = 0. Solve 21 = -4*t - 0*t + m, m = -4*t - y for t.
-4
Suppose 4*a = -1 + 5, 2*a + 18 = 4*b. Solve 3*o + 6 + b = -4*f, -3*f = 3*o + 6 for f.
-5
Let n(f) = f**3 - 10*f**2 + 14*f + 19. Let x be n(8). Solve -35 = 2*t - 5*j, 4*t + x*j + 2 = -3 for t.
-5
Let a(w) = w**2 - 10*w - 35. Let c be a(-3). Solve -2*x + 24 = c*u - 6*x, 2*u + 2*x - 4 = 0 for u.
4
Suppose 0 = 2*r - 5 - 1. Solve -2*j = -5*o + 15, -r*j - o = -3*o - 5 for j.
5
Let n = -21 - -25. Solve 2*j - 16 = n*p, -p = 5*j - 1 - 6 for j.
2
Let a(z) = z**3 - 5*z**2 - z + 9. Let d be a(5). Solve 5*c - 9 = d*b, 4*b + b = -c - 4 for c.
1
Let t = -82 - -85. Solve 3*i + 3*o = 0, t*i + 8 = 4*i - 3*o for i.
2
Suppose -3*b + 2*d - 4 = -b, 5*b = -3*d + 30. Solve -2*w + g + 0 = 1, 0 = -b*w + 4*g - 4 for w.
0
Suppose 20 = 5*i + 5*g, 7*i - 4*g - 11 = 2*i. Solve 3*u - i*x = 3 - 6, 0 = 3*u - 5*x - 1 for u.
-3
Let y(h) = -h**2 + 2*h + 2. Let m be y(2). Let q(l) = 2*l - 3. Let b be q(m). Let f(n) = -n + 1. Let w be f(b). Solve w*g + 2*g + 4 = s, -s = -4 for g.
0
Let q(a) = -7*a + a**2 - 3 + a - 4 + 3. Let y be q(7). Solve 4*g + 14 = 5*o, -g - 4*o = -y*g - 10 for g.
-1
Suppose -10*m = -12*m + 30. Solve 5*i + 2*t - 2 = -m, 0 = -3*i + 4*t + 13 for i.
-1
Let f be 8/4 + -4 - 11. Let v = f + 20. Solve -h + 4*g - 17 = 0, 0 = -4*g + v + 5 for h.
-5
Suppose -m + 5*a + 5 = -5*m, -a = -5*m - 28. Let p be 27 - 1 - (m + 3). Solve 0 = -5*r + 2*f + p + 3, -3 = f for r.
5
Suppose -2*k + 18 + 0 = 0. Solve -3*o - 2*f = k, -2*o + 1 + 6 = -3*f for o.
-1
Let d be 1*(1 + 10 - 1). Suppose -3*k - d = 5*b + k, 4*k + 26 = 3*b. Solve n + 4*w - b*w = -3, -5*n = 4*w + 21 for n.
-5
Let k(x) = x - 8. Let j be k(7). Let p = j - -2. Let r(c) = c**2. Let w be r(0). Solve 4*u + 9 = -3*z + u, -u + p = w for z.
-4
Let h(o) = -o**3 + o**2 + o + 2. Let s be h(0). Let m be 2*(2/(-4) + s). Solve -7 = -0*n + n - 5*l, 3*l = m for n.
-2
Let m = 31 + -29. Let l = -7 + 13. Suppose 2*h + m - l = 0. Solve -3*v + 4*x = -0 + 10, -2*v - h*x = -12 for v.
2
Suppose 3*v - 38 - 1 = 0. Solve 3*o + 4*l = -v, o + l - 5*l = 1 for o.
-3
Suppose -2*h + 2*y + 6 + 2 = 0, 0 = -2*y + 4. Let q = h - 6. Let a = 8 + q. Solve -5*p = l + a, -3*p + 16 = -4*p - 5*l for p.
-1
Suppose -33 + 1 = -2*w. Solve -w = 5*d - 3*q + 5, d - 3 = -3*q for d.
-3
Suppose -2 + 6 = 4*b. Let y(s) = -s - b + s**3 - 8*s**2 + 0 + 11*s. Let p be y(7). Solve -3*a = 2*a - 4*i + 5, i = -5*a + p for a.
3
Let s = -11 - -18. Solve -s*y + 4*y = -9, p + 2*y = 1 for p.
-5
Let j = -76 - -54. Let g = -10 - j. Solve 3*s - o = 2*s + 3, -3*s + g = -4*o for s.
0
Suppose 15 = 4*f - 2*s + 3*s, 2*f + 3*s = 15. Solve f*g + 18 = k, 0*k = -2*g + k - 13 for g.
-5
Let j(m) = m**2 + 0*m + 0*m**2 - 3*m + 3. Let h be j(3). Solve 9 = 3*b + 3*x, h*x = x + 4 for b.
1
Suppose -2*t = 5 - 15. Suppose n - 6*h + 2*h - t = 0, 5*h = 5*n - 55. Solve u = -4*o + 14, 4*o = u + n - 3 for u.
2
Let j = 3 - 1. Let u(w) = -w - 5. Let g be u(-5). Suppose 0 = -z + b + 2, 0 = -7*z + 3*z - 2*b + 26. Solve -o - 5*m - 3 = g, -j*m - 15 = z*o + m for o.
-3
Let l(i) = i - 6. Let x be l(9). Solve -4*o = o - x*g + 32, -3*o - g - 8 = 0 for o.
-4
Let a = -23 - -16. Let j = 12 + a. Let i be -8*((-20)/16)/5. Solve -j = -i*k - k + 5*u, -4*k + u = 16 for k.
-5
Let f be (-52)/(-16) - 1/4. Let y be 37*(2 + f/(-3)). Let a = 57 - y. Solve 6*x + 3*c = 2*x - 19, 0 = -4*c - a for x.
-1
Suppose 0 = x + x + 2*b - 20, 0 = 4*x - 3*b - 75. Solve 5*u = -3*a + x, 0 = -4*a - u - u + 6 for a.
0
Let p(z) = 11*z - 1. Let t(d) = -d**3 + 3*d**2 + 3*d + 5. Let a be t(4). Let s be p(a). Let u = s - 5. Solve -5*r - 1 - u = 4*n, 7 = -2*r + 3*n for r.
-2
Let y be (3 + 28/(-8))*-14. Suppose -4*a - 7 = 4*n - 35, -36 = -4*a + 4*n. Solve -5*j - y = 3*q, -4*j = -0*j + 3*q + a for j.
1
Let c(p) = -p**3 + 6*p**2 - 5*p. Suppose 4*o = -1 + 17. Let t be (6/(-9))/(o/(-30)). Let w be c(t). Solve 2*s + 1 = r - w, -s + 2*r - 2 = 0 for s.
0
Suppose -20 = 2*p - 92. Solve -5*q - t - t = 12, -p = 4*q - 5*t for q.
-4
Let d = 2 + 0. Let k(r) = -r**2 + 2*r + 5. Let h be k(4). Let c(m) = m**3 + 3*m**2 - 4*m - 4. Let n be c(h). Solve -5*u + 3*j = -3*u - n, -d*j - 7 = -3*u for u.
1
Suppose -4*y = -5*h - y + 51, 3*h - 48 = -4*y. Solve -5*z = -t + h, z + 2 = -4*z - 4*t for z.
-2
Let c(s) = -2*s + 2. Let d be c(6). Let p = -5 - d. Let z be 3*(-1)/(-3)*p. Solve 2*u + 7 = z*t, u + 1 = 4*u + 4*t for u.
-1
Suppose 0 = 4*n + a - 2*a - 11, -n - 5*a = 13. Suppose -n*b - 2*q - 2*q + 4 = 0, 5*b - 40 = -4*q. Solve 5*l - 3*s + b = 0, -10 = l - 4*s + 6 for l.
0
Let o(c) = 5*c - 2. Let a be o(2). Let i be (9/1)/((-6)/(-6)). Suppose -i = -3*g - 0*g. Solve -j = -2*b - 0*j + a, 0 = g*b + 4*j - 12 for b.
4
Suppose 9 = 5*x - 21. Solve -n = 4*m + 13, n - x = -n for m.
-4
Suppose 2 = q - 1. Solve 0 = -4*p + a + 22, -q*p + 12 + 9 = -3*a for p.
5
Let d(m) = -5 + 4*m**3 - m**3 - 8*m - 8*m**2 + 2 - 4*m**3. Let g be d(-7). Solve 6*n = g*n, -n + 8 = 2*q for q.
4
Let z be -1 - 0 - -3 - -2. Let b be ((-1)/((-1)/(-6)))/(-2). Suppose -z*l = -b*l. Solve 32 = -5*q + 4*p, l = 5*p - 3*p - 6 for q.
-4
Suppose 4 = 4*w, -2*g + 4*w = w - 5. Solve -3*b - 17 = -2*x, g*x - 9*x + 11 = 3*b for b.
-3
Let g = 40 + -38. Solve 3*i = g*x - 11, -i + 2*x - 21 = 4*i for i.
-5
Let j = 2 + 4. Let d(m) = m**3 - 5*m**2 - 6*m + 6. Let s be d(j). Solve h = -g - s, -4*g - h - h - 22 = 0 for g.
-5
Let j be -1 - 0 - 0 - -1. Let v be (-6 + j)*4/(-8). Solve 0 = 2*i - 2*r - 8, v*i + 2*i + 4*r - 20 = 0 for i.
4
Suppose -4*y + 37 = -35. Solve -y = 3*r + 2*l, 5*r + 3*l + 17 = 3*r for r.
-4
Let m(b) = -b**3 + b**2 - b + 3. Let d be m(0). Suppose 2*c - o - 56 = 0, 0 = -c + d*o + 14 + 19. Solve v = -4*v - h + 18, 5*v - c = -4*h for v.
3
Let u be (-1)/(2 + (-31)/15). Suppose 3*w - u = -2*w. Let b be 2 - w/3*-3. Solve -g + b*a = g - 15, -3*g - 4*a = 35 for g.
-5
Let i be 5/2 + ((-16)/4)/8. Solve h - 20 = 5*l, -l - h - 4 = i*l for l.
-3
Suppose 4*p = a - 14, -2*a + 4*a = -5*p - 11. Solve 3*g + a*z + 19 = -2*g, 4*g = 2*z - 8 for g.
-3
Suppose 3*x + 20 = 2. Let q be x/1*(-3)/2. Let w(d) = -d**3 - 6*d**2 + 12*d + 2. Let a be w(-8). Solve o = 5*k - q + a, -2*k = 4*o + 10 for k.
-5
Suppose 4*b = 2*g + 26, 4*b - 4*g - 25 + 9 = 0. Suppose b = -0*t + 5*t + 4*x, 2*x - 6 = -4*t. Solve 0 = -2*h - 10, -4*h + t - 19 = -y for y.
-2
Let i = 62 - 26. Suppose p + 2*p = i. Suppose 0 = -x + 4*x - p. Solve 0 = 3*t + 5*m, -4*t = x*m + m for t.
0
Suppose -5*s + 3*g + 338 = 0, -167 + 525 = 5*s + 2*g. Suppose -99 = -2*f - 3*z, z - 2*z + 97 = 2*f. Let t = s - f. Solve 3*r - t = -5*d, d + 2 = -4*r + 3 for d.
5
Let y be 1 + 1 - 0/3. Suppose y*d - 6 = -0*d. Let n = d + 1. Solve n*x - 26 = -p - 6, 4*p = 2*x - 10 for p.
0
Let n(c) = c**3 - 3*c**2 + 2*c + 2. Let q be n(2). Suppose -2*k + 6 = -q. Solve -l = 2*u - 1, u = k*l - u + 16 for l.
-3
Let j = 1 - -15. Suppose -4*h + j = -i, h + 0*i = 3*i + 4. Suppose -3*y - 4*b = -17, 2*y - 3*b + 4 = 2*b. Solve 0 = r - h*s + 3, 3*r - 2*s + y*s = -9 for r.
-3
Suppose 4*j = -0 - 0. Solve 5*o = g + g - 21, j = 5*g + 2*o - 9 for g.
3
Let b(u) = u**2 + u - 5. Let d be b(-4). Let a = d - 5. Solve w - a*w = -4, 0 = -4*l + w - 16 for l.
-3
Let s = -478 - 314. Let u be s/(-10) + (-2)/10. Suppose 5*q - 36 = u. Solve -5*g + 2*m + 0*m = -q, 5*g = 5*m + 35 for g.
3
Let v = -1 - -1. Solve 2 = -2*q + 4*x, q + 1 = 3*x - v for q.
-1
Suppose -q + 9 = 3*m, 2*m = -6*q