(b - 1)). Solve z*y + 5 = 5*q, -5*q + 17 = y - 3*y for y.
4
Let f = 4 + 0. Let x be (-2)/(f/2)*0. Solve 5*u = -3*n + 23, u + 4*n = -x*u + 8 for u.
4
Let o = 52 + -47. Solve j - 3 = -y - 0, o*j = -2*y for j.
-2
Let x = 12 + -9. Solve -4*r - 1 = 5*n + 2, r = n - x for n.
1
Suppose p + 0 = 1. Let f be p/5 + (-36)/(-20). Solve 2*l + l = -m + 18, 5*l + f*m - 31 = 0 for l.
5
Let c be 2/((-2)/(-5)*1). Let n(l) = c*l**2 - 4*l + 6*l + l + l**3. Let z be n(-4). Solve 2*s = -f + z, 4*f - 4 = 3*s + s for f.
2
Let x(y) = 1 - y**3 + 8 + 8*y + 7*y**2 - 7. Let p be x(8). Solve 0 = 2*s - t - p, -2*s - 3*s - t = 2 for s.
0
Let d(t) = -t**2 + 6*t + 1. Let u be d(5). Solve 0 = 3*v + m - 8, -3*m + 3 = -u*m for v.
3
Let m = -15 + 15. Solve -15 = -5*u + 2*n, m = -4*u + 5*u + n + 4 for u.
1
Let c = 21 - 19. Solve -1 = 2*x - n + 3, -c = x - 3*n for x.
-2
Let w(l) = l**3 - 6*l**2 + l - 3. Let p = -4 - -10. Let v be w(p). Solve 0 = 2*r + 3*r + v*o - 22, 3*r - 11 = -4*o for r.
5
Let y(w) = w**2 + 4*w + 6. Let n be y(-4). Solve -2*q = -n*q - 5*v, -4*v - 9 = 5*q for q.
-5
Suppose -k = -2*i + 8 + 3, 0 = -4*k + i - 37. Let r(m) = m**3 + 8*m**2 - 9*m. Let o be r(k). Solve -3*y + q + 1 = o, -2*y = -3*q + 2*q for y.
1
Let d be (-1 - 0) + 2 + -1. Suppose 2*q + d = -42. Let f be -1 + (-1 - -1) - q. Solve 3*z = 3*k + 30, -k + f = 6*z - z for z.
5
Let v be -2 + 5 - 1/1. Solve -2*s - b = -0*s - 3, -2*b + 4 = v*s for s.
1
Suppose 0 = 3*h + 2*h. Solve -4*v - 4*k + 16 = h, -5 = v - 3*v + k for v.
3
Suppose -14 = -5*d - 4. Solve 3*o = -5*f - 1 + 6, d = -2*f - 2*o for f.
4
Suppose -5*a = 3*y + 5, 4*a - a - 5*y = 31. Solve a*v - 2*w = -2, 3 = -3*v + 2*w + 2*w for v.
-1
Let k(f) be the first derivative of -f**2/2 + 12*f - 1. Let c be k(7). Let b be c + -2 - (0 + -2). Solve 0 = -5*s + 2*s + 3*p + 30, b*s - p = 30 for s.
5
Suppose -4*p = 3*z - 25, 13 = 5*z - 2. Solve 3*i - 4*v - 6 = -0*v, p*i + 20 = -4*v for i.
-2
Let o(w) = 2*w. Let j be o(1). Suppose -6*u + u - 15 = 0, 3*m = j*u + 45. Solve -3*d - m = -l + 2, -d + 3*l - 5 = 0 for d.
-5
Let l be (-5 - -7) + 2 + 1. Suppose k + 5 = 4*z, 10 = -2*k + l*z - 3*z. Let t = k + 7. Solve 3*u + j = t*j + 4, -5*j = 5*u for u.
1
Suppose k - 2 = 1. Suppose -5*b = -2*i + 11, k*i + 5*b - 5 = b. Solve i*x + q = 7, x - q + 13 = 6*x for x.
3
Let m be -1*(-1 - 3) - 2/2. Solve 5*q = 5*g - 10, -2*g - 3*q - m = -7 for g.
2
Suppose 15 = b + 5. Solve 0 = 3*u - u + 2*v - b, 3*v - 9 = 3*u for u.
1
Let w(o) = o + 12. Let t be w(-6). Let b = t - 10. Let f(j) = 2*j**2 + 7*j + 5. Let k be f(b). Solve 5*z - k = 2*h - 0*h, -5*z - 4*h + 27 = 0 for z.
3
Let d = 306 + -171. Suppose -4*k - 19 + d = 0. Solve 7 = -4*i - 3*z, k = -5*i + 2*z + z for i.
-4
Let c(x) = x**2 + 4*x. Let r be c(-4). Suppose q + 5 = 2*q. Suppose q*z - 10 = -4*k, -k + 4*z + 3 + 10 = 0. Solve k*u + f + 21 = r, -10 = 4*u - 6*u - 5*f for u.
-5
Let i(s) = 3*s**2. Let n be i(1). Suppose 4*v = -n*m + 8, -m = 4*m - v - 21. Solve 17 = 4*o - 3*u, 20 = 5*o - m*u - 1 for o.
5
Suppose 4*d + 4 - 12 = -4*g, -5*d + 4 = 2*g. Suppose d = 4*y - 20, -2*s + y + 1 = s. Solve -n - 7 = -a + 3*a, s*n + 6 = 4*a for n.
-5
Let t be 14/4 - 4/8. Let y = -19 + 26. Solve 2*z + 15 = -5*m, -y = t*m + 5*z + 2 for m.
-3
Let z(r) = 5*r - 1. Let j be z(3). Let y be (-185)/(-35) + (-4)/j. Suppose 10 = 5*u - y. Solve d = -5*s + u, -2*d - d - 4 = 2*s for s.
1
Suppose 2*a - 40 = 7*a. Let n be (-3)/(-1)*(-10)/15. Let l be ((-2)/(-8))/(n/a). Solve -p - l = 2*m, -3*p - 8 = -8*p + 3*m for p.
1
Suppose -3 = -2*u + 1. Suppose -u - 5 = -a. Solve -3*v + 10 = w - a, 0 = -w + 5*v - 23 for w.
2
Suppose -5*y + 20 = 2*l + 3*l, 0 = -3*y + 5*l + 20. Solve 5 = 2*a + 3*v, 2*a - 4*a + 7 = y*v for a.
1
Let c(h) = -h**3 - 9*h**2 - 5*h - 6. Let v be c(-9). Let f be (-3)/(-1)*130/v. Solve -2*t = f, -s + 4 = -0*t - t for s.
-1
Suppose -5*c = -0*c - 25. Let i = 67 - 48. Solve -5*k + s + 18 = 0, -4*s - i + 7 = -c*k for k.
4
Let x(z) = -z - 3. Let s be x(-3). Suppose 2*m = 5*f - 4*f + 5, -4*m - f + 13 = s. Suppose 2*i = m + 5. Solve -9 = -3*o - 3*y, -y - i*y = 4*o - 14 for o.
1
Suppose -8*m = -9*m + 6. Solve 1 = -2*l + 5*a - m, -5*l - 5*a = 0 for l.
-1
Let x(s) = -3*s - 11. Let g be x(-5). Solve -4*l - 2*q = -g*q - 4, 0 = l + q + 5 for l.
-1
Suppose 2*m = t + 9, -2*t - t + 9 = 0. Suppose -3*y = -4*g - 6, y - 5*g + m = 4*y. Solve -7 = 5*u - y*k - 33, 4*k + 24 = 3*u for u.
4
Let p(i) = 2*i**2 + 3*i. Let r be p(-2). Let d(l) = -r - 2*l - 3 + 3. Let a be d(-2). Solve 2*x + 3 + 17 = 4*j, 4*x = a*j - 10 for j.
5
Let s(m) = -m - 5. Let v be s(-6). Suppose -2*j - 8 = -g - g, -3*j - 8 = -2*g. Let l = g - v. Solve 3*f = -4*p - 6, l*p + f + 2 = -0 for p.
0
Let v = 0 + 6. Suppose f = v*f - 35. Solve 1 = -3*x + 5*x + 5*m, x - 5*m + f = 0 for x.
-2
Let u be (-1 - (-3 - 0))*1. Suppose -u*y = 3*y - 55. Solve 13 = 3*r + x, 0*x = 3*r - x - y for r.
4
Let i be -3 + 3 + (1 - -1). Suppose -j = -i*j + 5. Suppose j*m - 51 + 6 = 0. Solve -3*r + 5*q - 13 = 0, r + 3*q + 2*q - m = 0 for r.
-1
Let w(d) = 10*d**2 - 2*d + 1. Let i be w(1). Solve 4*z = -5*c + 7, -3*z + i = -0*z + 5*c for z.
-2
Let b be (5/(-10))/((-2)/(-48)). Let n = -7 - b. Solve -n*m = 5*d, -5*m = -0*m + d - 20 for m.
5
Suppose 2*b - 30 = -5*o, 7*b - 28 = 3*b - 2*o. Solve 7 = 4*f - x - 5, -4*f = b*x + 12 for f.
2
Suppose 10*y - 18 = 8*y. Let i = 11 + y. Solve -4*j - i = j, 3*j = -3*k for k.
4
Let i be (3 - 0 - 4)/((-1)/5). Solve 5*m = 3*l - 21, i*m + 5 = -4*l - 2 for l.
2
Suppose -4*f + 7*f = -6. Let z be 1 + f + 8 - 0. Suppose -z = -4*v + 9. Solve -2*s = 2*o + 8, -v*o + 4 = 16 for s.
-1
Let r be 1 - -6 - (3 - 1). Solve 0 = -r*y + 4*p - 5, 5*y - 4 = p + 6 for y.
3
Let j(f) = -4*f - 1 + 2*f**2 - 3*f**2 + f + f. Let i be j(-1). Solve -3*q - q - 20 = 5*g, 3*g - 4*q + 12 = i for g.
-4
Suppose 11 = 3*g - 4. Suppose 2*h = -3*k - g, -2*h + 16 = -0*k - 4*k. Let u = k + 3. Solve u = 2*y + 4*f + 4, -2*f - 3 = f for y.
0
Let c = -19 - -33. Solve -2*d - 4*j - c = -j, j + 9 = -5*d for d.
-1
Let p = 15 + -11. Suppose -4*j + 5*x = -15, 0*j + x = -2*j - 3. Solve j = 5*r + 2*k - 7*k, 0 = -r + p*k - 6 for r.
2
Let v = -20 - -23. Suppose -3*o + 11 = m + 5, 10 = 5*o - 2*m. Solve n + 0 + o = y, -15 = -v*n - 4*y for n.
1
Suppose 24 = 5*g - 6. Solve 1 = a - 2, 3*r - g = a for r.
3
Let r = 21 + -12. Let y = -5 + r. Solve 3*n + 2*m - 4 = 0, 5*n - y = -2*m - 0 for n.
0
Let l(t) = -2*t**2 + 11*t. Let c be l(5). Solve c*y + 0*y + 25 = 5*q, 0 = y + 5*q - 13 for y.
-2
Let w(m) = m + 2. Let l be w(-2). Suppose 0 = -l*v + 4*v - 12. Let a = v + -3. Solve r = -5*y - a*r, 5*y = 2*r for y.
0
Suppose 0 = -3*s, 0*h - 3*h + 3*s = -30. Let y = -8 + h. Solve 0 = 3*r - y*i + 8, -1 = 2*r - 2*i + 5 for r.
-2
Let p = -6 + 12. Suppose 2*v = -v + p. Suppose 3*r - v*r = 0. Solve -k - 3*x = -r*x - 4, -4*k - x + 16 = 0 for k.
4
Suppose -4*i = -z - 1, 0 = 5*z - 5*i + 6 + 14. Let n = -2 - z. Suppose -35 = -2*s - 3*d - 4, 4*s = -n*d + 77. Solve 8 = 5*o + 4*w + s, o = -3*w - 14 for o.
1
Suppose -4 = -3*w + 2*w. Let f = 6 - w. Suppose -7*p = -f*p - 90. Solve -2*k + t - 2*t - 3 = 0, -3*k + 3*t = p for k.
-3
Let i be (-2)/(3*(-2)/9). Suppose -3*s = 0, i*s = -3*m + 5*s. Suppose 0*o + 64 = 4*o. Solve 4*d - o = m, 4*x - 4*d + 1 = -3 for x.
3
Let t be (-4)/18 + 166/18. Let x(r) = t*r + 0 - 3 + 5*r. Let z be x(2). Solve 5*h + 5*f = 3*h + z, 0 = 3*h - 2*f + 10 for h.
0
Let j = 7 - 5. Solve j*n - 13 = 3*p, p + n + 16 = -2*p for p.
-5
Let s = -2 - -2. Let v(f) = -f**3 + 7*f**2 - 6*f + 4. Let l be v(6). Solve -u - 5*o - 5 = -s*u, l*u + 20 = -3*o for u.
-5
Let f = 2 - -2. Suppose -7 = 3*l + 4*h, f*l - 3*h - 16 - 8 = 0. Suppose 2*s = -l*s. Solve 0 = 5*u + r + 7 - s, r = -3*u - 3 for u.
-2
Let d(v) = v**2 + 10*v + 2. Let j = -26 + 16. Let c be d(j). Solve -6 = -3*z, -z + c + 3 = -i for i.
-3
Let l be 1/8 - (-15)/(-120) - -3. Let p = 7 + -5. Suppose 0 = -5*u - 5*c + 40, -3*u - c + 0*c + 18 = 0. Solve -n = -l*v + 17, v + u = p*v for n.
-2
Let u be (-2)/(-9) + 352/36. Solve -7*i - b = -3*i - u, -2*b + 11 = 5*i for i.
3
Suppose 4*x + 16 = 0, 0 = -4*a + a - x + 11. Suppose 4*w - 74 = -0*f - 2*f, -f + a = 0. Solve -4*q - w = 0, -5*r = -3*q + q - 23 for r.
3
Let x = 12 + 0. Let k be (6/3)/(-2) - 12. Let y = 50 + k. Solve -d - l - 2*l = x, -4*d + y = -5*l for d.
3
Suppose 2*h + 0 - 6 = 0. Suppose -5*c +