0 + 2 = -s for s.
3
Let s be (-1)/(-4)*10*-2. Let i(m) = -m**3 - 4*m**2 + 3*m - 5. Let p be i(s). Solve b + 2*r + 10 = 0, -p*b + 5*r + 28 - 3 = 0 for b.
0
Let p = -2 + 5. Suppose -5*u = 5*v + 6 - 41, p*u = 3*v + 3. Solve -o - 4*k = -0*o + 7, 4*o - v*k = 29 for o.
5
Suppose 4*y + 8*y = 48. Solve 3*w + 3 = -y*l, 2*l + 4*w = 3*l - 23 for l.
3
Let w = -19 + 23. Solve 5*k = d + 22, 0*d + w*k - 23 = -d for d.
3
Let p = -6 + 9. Let k(y) = -2*y**3 - 3*y**2 + y + 2. Let h be k(-2). Solve 5*r - 31 = -p*q, h*q - 2*q + 1 = r for r.
5
Let n be (-2 - -1)/((-3)/(-6)). Let l = 7 + n. Solve 2*x + l*p = -17, 3 + 14 = -5*x - 4*p for x.
-1
Suppose 9 = 5*f - 6. Suppose 2 = -2*u, -2*u + 6 + 28 = -f*i. Let v be (-39)/i + (-2)/8. Solve -3*w + 6 - v = 0, 9 = c + 4*w for c.
5
Suppose f - 5*s + 13 = 4*f, s = 2. Let q be f*7 - (-21)/(-7). Suppose q*i + 15 = -3*r + 4*r, 4*r - i = 15. Solve 3*p - 4*p + 6 = -g, -r*g + 4*p - 20 = 0 for g.
-4
Let z be ((-6)/5)/(33/(-110)). Suppose 2*i + 6 = z*i. Solve -2*o + 2*a - 6 = 0, -i*o = 2*a + 5 - 1 for o.
-2
Let r(f) = 3*f - 4*f - 1 + 6*f. Let y be r(1). Solve -4*c - 4 = -3*c - h, -5*c = y*h + 20 for c.
-4
Let j = 6 - 2. Solve 2*x - 6 = 0, -5*h - j*x = x for h.
-3
Let j = 0 - 3. Let w be 12/j - -3 - -4. Suppose 12 = b - w. Solve 4*a = p + 15, -3*p = 2*p - 2*a - b for p.
5
Suppose p - 46 - 1 = -3*u, -2 = -p. Solve -2*w = 8, -5*w - 34 = o - u for o.
1
Let x be 16/(-20) - 49/(-5). Solve 5 - 13 = -4*u - f, 3*u - 3*f = -x for u.
1
Let u(f) = -f - 9. Let r be u(-11). Suppose 5*h - 4 = 2*w - 0, r*h = 4*w - 8. Suppose 3 = h*m - 3. Solve -3 = -3*v - 3*b + m, 2*v = 2*b + 8 for v.
3
Suppose 2*k + 0*k = 0, 4*t + k - 12 = 0. Let p = 7 - t. Suppose 89 = 5*y + 2*c, c = 4*y + 3*c - 72. Solve -2*b - 7 = p*r + y, 3*r - 5*b = -5 for r.
-5
Suppose 3*d = -3*l + 24, 5*l - 32 = -7*d + 4*d. Solve 0 = -g + 2*f - 7*f + 5, d*f = -g + 5 for g.
5
Let s = 38 + -36. Let w be (3 + -6)*4/(-3). Solve 5*a + 5*g = 10, s*g + w = -a + 7*g for a.
1
Let k(l) = l**3 - 4*l**2 - 12*l + 4. Let f be k(6). Solve -f*i + 36 = -4*s, 3*i - 17 = -2 for s.
-4
Suppose -46 = -6*o - 4. Solve -t = -a + 5, -4*a + 4*t = -9*a + o for a.
3
Suppose -4*n - 2 = -10. Solve 0 = -2*p - 5*t + t - 2, 3*p = n*t + 13 for p.
3
Let b(w) = -2*w + 11. Let g be b(8). Let i = g + 10. Solve 4*v + 24 = -5*y + 3, i*v = -3*y - 10 for y.
-5
Suppose -48 - 2 = -3*p - 5*b, p + 3*b = 10. Solve 0 = l + 4*r - 16, l - 1 = 4*r - p for l.
-4
Let a(y) = y**2 + 15*y + 28. Let k be a(-13). Solve -5*x - 10 = 0, 4*x + 6 = k*t - 6 for t.
2
Suppose -x - 4*a = a - 18, 3*x = 4*a + 16. Let d = x - 5. Suppose d*r = 6 - 0. Solve 0 = -2*i + g - 3, 5*i - 2*g - r*g + 3 = 0 for i.
-3
Let a be 2/3 + (-10)/15. Suppose -3*j + 12 + 3 = a. Solve 4*b + 3 = 3*v, 2*v - 5 = j for b.
3
Let y(s) = -s**3 - 11*s**2 - 9*s + 13. Let g be y(-10). Suppose -3*t = -18 + 6, -g*f + 26 = -t. Solve 2*o + 3*o - f = a, 0 = -a + 2*o - 1 for a.
5
Suppose -2*s = 3*s - 30. Solve 2*k + 3*f + s = f, 2*f = -3*k - 5 for k.
1
Let g(w) = 2. Let z(o) = -o - 6. Let x(n) = -7*g(n) - 2*z(n). Let c be x(2). Solve 13 = -5*r - 4*s, r + 14 = -c*s + 5*s for r.
-5
Let c(r) = r**3 - r**2. Let g be c(0). Suppose -v + 3 - 1 = g. Solve -7*f + 10 = -v*f - 5*h, -5*f - 8 = h for f.
-1
Suppose -4*t - 120 = 4*v, -4*t = -4*v - 3*t - 95. Let a = 45 + v. Solve 25 = -5*y - l, 4*y = 9*l - 4*l - a for y.
-5
Let f(s) be the first derivative of s**3/3 - 5*s**2/2 - 2*s - 1. Let u be f(6). Let v be -4 - (-8*1)/2. Solve -b = -2*k + 11, v = u*b - 0*b + 5*k - 21 for b.
-1
Let q be 19/(-2)*1*-2. Suppose 0 = -r + q - 5. Solve -11 = -3*m - 4*z, z - r = -0*m - 3*m for m.
5
Suppose 0 = -2*n - 4, 4*s - 6 = 3*n - 4*n. Solve -3*g + 3*w - 3 - 3 = 0, -s*g - 3*w = -6 for g.
0
Let b = 6 + -4. Suppose 4*a = 2*y - 14, 4*y - a = -0*a + 35. Solve 0 = -3*g - 3, 2*s + g + y = -b*s for s.
-2
Suppose 0 = 2*f - 41 - 9. Suppose 4*l - f = 7. Solve 5*i = -y - 18 - l, -19 = 4*i - y for i.
-5
Let z = -17 - -29. Solve -p - p + 9 = y, -z = -y - 3*p for y.
3
Let o = -2 - -6. Let i be 2/(-7) + o/14. Let m be 5 + -1 + (2 - i). Solve -2*c + 4*h = m, -5*c + 5*h + 2 + 3 = 0 for c.
5
Suppose 0 = -c - 3*c + 8. Suppose 4*j - u = 6, 3*j - 3*u - 4 = -c*j. Solve -b + 2 = 2*d + 9, 3*d + 21 = j*b for b.
3
Suppose -2*u + 20 = 3*u. Solve 2*c = 3*f + u, -c = -3*f - 3 - 2 for f.
-2
Suppose -5*r + 4*r = -4. Let z be -2 - (-17 - (-3 + r)). Let f be -1 - (-1 + -2)*2. Solve f*n + 2 = -3*d + z, -19 = -5*d - 4*n for d.
3
Let w be (-6)/(-63) - 103/(-21). Solve -a + w = -3*o - 3*a, -3*a + 9 = -o for o.
-3
Let k be 20/11 + 4/(-132)*-6. Solve -2*f - 2 = 0, -t = 2*t - k*f + 4 for t.
-2
Suppose -3*v - 7 = 11. Let d be v*(-1 + (-2)/(-6)). Solve 3*y + 7 = 4*b, -b = 4*b + d*y + 30 for b.
-2
Let c = 14 + -12. Solve -26 = -2*r + 6*r - 2*q, r - c*q = -11 for r.
-5
Let m = 5 - -3. Let r(l) = -l**3 + 9*l**2 - 9*l + 12. Let b be r(m). Solve i + 14 = -5*c - i, b*i = 4*c for c.
-2
Let q = -56 - -59. Solve -2*d = -q*d + 1, d + 15 = -4*l for l.
-4
Suppose 0*k = -3*k. Let t(w) = -w + 1. Let n be t(-4). Solve -5 = 4*i + n*o, k = -4*i + 2*i + 5*o + 5 for i.
0
Let f(y) = 5*y**2 - 4*y + 2. Let i(r) = 3*r**2 - 3*r + 1. Let j(p) = 5*f(p) - 8*i(p). Let t be j(-4). Solve 4*u = 2*o - 16, -4*u - 5*o - t = -0 for u.
-3
Suppose -3*x + 12 = 2*w, -5*w + 9 = -6. Solve 0 = -x*k + r + r, k - 3*r = -4 for k.
2
Let c(g) = -g**3 + 10*g**2 - 10*g - 1. Let b be c(9). Let h be (-96)/b - (-10)/25. Solve 5*t = -4*v - 29, -t - h = t for v.
-1
Let x = -31 + 56. Solve b = -4*f - x, 5*b - 2 + 12 = 3*f for b.
-5
Let x = 20 + -20. Solve -3*t - 5*g - 2 = 6, x = 3*t + 4*g + 4 for t.
4
Suppose -5*p - 3 = -18. Suppose 5*m - p*w = -72 + 241, 31 = m - 2*w. Solve 0 = 5*b + 5*o - m, 2*o = 4*b + o - 8 for b.
3
Let u be (-1)/(-2 - 14/(-6)). Let c(g) = -g**2 - g + 6. Let q be c(u). Solve -y + 2*h - 1 = q, -4 = 4*h - 12 for y.
3
Let r be (5 - 0/(-2))*-1. Let k be -4*1*r/2. Let h(v) = -v**3 - 3*v**2 + 2. Let s be h(-3). Solve 4*o - q = 6, -s*o - q + k = 2*q for o.
2
Suppose -3*m - 4*p - 17 = 0, 10 = -4*m - p - 4. Let y = 1 - m. Solve -2*q + 4 = 3*n, 6*q = q + y*n + 10 for q.
2
Let y = -45 + 49. Solve -6 = 3*k + y*c, -2*k + 7*c - 4 = 2*c for k.
-2
Let u be (-1)/(-4) + 24/32. Solve 0 = 3*a + 2*o + u, -3*a - o - 2*o = 0 for a.
-1
Let o(b) = b**3 - 15*b**2 - b + 19. Let g be o(15). Solve -g*f + 2*z = -z - 13, 3*z + 12 = 3*f for f.
1
Suppose -n + 5 = -5*i, 1 = -4*n - 4*i - 3. Solve k + 2*b = 4, -4*b + 16 = 4*k - n*b for k.
4
Let h = -8 + 6. Let r = h + -1. Let f = r - -4. Solve -5 + f = 3*k + a, 5*a + 20 = 3*k for k.
0
Let s be (-1)/(0 - 2/4). Solve b - 2*x = -s*b - 21, 4*b + 5*x = -5 for b.
-5
Let g = 3 + 0. Solve j - 3 = -g*c + 5, -5*c - 4*j + 4 = 0 for c.
4
Let i = 184 - 159. Solve -2*j - 1 + 2 = -z, -i = -5*z for j.
3
Let b = 13 + -8. Let h(l) = -l - 6. Let a be h(-11). Suppose 5*j + 4*f - 11 = 3*f, -2*j - 1 = -5*f. Solve j*i - 1 = -0*i + a*k, -b*k - 10 = -5*i for i.
3
Suppose -3 = -13*l + 12*l. Solve -4*r - u = -7, 0*r - 3*r = -l*u + 6 for r.
1
Let v = -15 - -48. Suppose 5*f = 4*w + w - 70, v = 2*w - f. Suppose -w = -4*j - 7. Solve -j = -3*o, -h = -3*h + o + 3 for h.
2
Suppose -9*c = -6*c - 9. Solve -c*f - 2*f + 4*w = -9, 0 = 3*f - 3*w - 6 for f.
1
Suppose 5*j + 16 = -9. Let s = j + 9. Solve 0*l - s*n = 4*l, -2*l - n = 0 for l.
0
Let c = 53 - 48. Solve -2*m = -d + 2 - 3, -5*m = c*d + 35 for d.
-5
Let g(u) = u**3 + 10*u**2 + 10*u - 12. Let y be g(-9). Let q = y - -21. Solve 0 = 3*j + 3*v - 3, -4*v + 16 = -q*j - 2*j for j.
-2
Let z = -36 - -39. Solve -4*b + 12 = n + n, -12 = -z*b for n.
-2
Let q(z) = z**3 - z**2 + 2. Let v be q(0). Let i be (-7)/(245/(-10))*14. Solve -i*c - 14 = v*l - 4, l - 7 = 2*c for l.
1
Suppose 5*h = -3*w + 11, 5*w + 10 + 5 = 0. Solve -8*k + 4*k = 5*f - 4, h*k = -2*f - 8 for k.
-4
Let t be 5*(-3 - 72/(-15)). Let x be 4/(-18) + 29/t. Solve b - w + 6 = 0, -5*b - x*w - 20 = 2 for b.
-5
Let h(a) = 4*a**2 + 44*a + 10. Let c be h(-11). Let y(z) = z - 5. Let p be y(5). Solve -n = -5*x - c, p = 2*x - n - n - 4 for x.
-3
Suppose k = -h + 2, -5*k - 6 = -3*h - 0. Suppose k = 4*t - 9 - 11. Solve t*a = 4*y - 14, 4*a - 2*y + 9 = -1 for a.
-2
Let r = -27 + 31. Solve 2*f - o = o - 2, -r*f - 2*o + 14 = 0 for f.
2
Let j be (32/(-6))/((-4)/6). Suppose -3*v + 1 + j = 0. Solve 3*u + 4*t = 4, v*u - 7 + 4 = -3*t for