)/24 + 18/8. Solve -h*s + 0*s = 5*m - 10, -s = -m - 5 for m.
0
Suppose 2*z - 2*t = 30 + 22, -3*t + 108 = 3*z. Suppose v - 2 - 1 = 0. Suppose 2*u = -v*u. Solve -4*y = -5*s - z, 0 = -s + 2*y - u - 11 for s.
-3
Let x = 14 + -12. Suppose b + 7 = 4*b - x*m, 0 = -2*b - m + 14. Solve b*n + 4 + 9 = 3*q, 29 = -5*n - q for n.
-5
Let b(t) = t**3 + 5*t**2 - 8*t - 5. Let d be b(-6). Let v be -2 + d*(-1 + 2). Suppose -4*j + 3 + v = 0. Solve l + 27 = -5*i - j*l, 0 = 2*i - 2*l - 2 for i.
-3
Let d(m) = -m**3 + 5*m**2 + 10*m - 20. Let b be d(6). Solve o - u = b*u, 4*u - 19 = -3*o for o.
5
Suppose 7*y - 3*y + 20 = 5*r, 2*y - 8 = -2*r. Solve w + r*a = 15, -3 = 4*w - a - 4*a for w.
3
Let p be 1 + (2 - 4) + 4. Solve 5*t = 4*n + p, n = 2*n + 2 for t.
-1
Suppose 5 = 3*y - 2*y. Suppose 0 = -4*g + 6*g - 2*a, -3*g = 2*a. Solve 0 = -y*w - 5*z - g - 20, -4*z - 20 = 0 for w.
1
Let s be (-2 + 3)*(-10)/(-6)*3. Solve 5 + s = -2*c, 6 = -4*o + 2*c for o.
-4
Let y(v) = v**3 - 4*v**2 - v + 5. Suppose 0 = -3*p + 4 + 8. Let f be y(p). Suppose 2 + f = h. Solve h*x + 4*g = 10, -2*x - 14 = -2*g - 2 for x.
-2
Let s(l) = -7*l - 3. Suppose -2*b = -7 + 3. Suppose -t + 0*t = b. Let o be s(t). Solve 4*x - o = w, 5*w - 17 = -2*x - 2*x for x.
3
Let r(c) = -c**2 - 2*c - 3. Let b be r(-4). Let l = -8 - b. Let o(w) = -w**2 + 5*w - 3. Let i be o(3). Solve 14 = 5*x - 2*u, l*u + 6 = 3*x + i for x.
4
Let c = -6 + 15. Let y = -5 + c. Suppose -3*k + 29 = 5*s, 3*s - 21 - 3 = -y*k. Solve 7 = k*l + l - a, 2*l = a + 3 for l.
2
Let m be ((-9)/2 - -3)*-2. Solve -m*x = -p - 16, -5*x - 4*p = -8*p - 36 for x.
4
Let o be -3 - 5/((-2)/2). Solve o*f + x = 3*x - 8, -18 = 5*f - 4*x for f.
-2
Let g = -13 - -14. Solve -2*z + 1 = 2*s - z, 0 = -4*s - 5*z - g for s.
1
Let d be (-4)/12 + (-20)/(-6). Solve 0 = 5*w + 2*s + d*s + 5, 0 = 2*w + 3*s + 4 for w.
1
Let u = 6 + -10. Let c = u - -6. Solve 0 = -4*j + j - 3*t, -t = -c*j + 6 for j.
2
Let n(a) = a**3 - 8*a**2 + 8*a - 2. Let w be n(7). Suppose 0 = w*y - y - 16. Solve -2*m = 4*s + 2, 1 = -y*m + 3*m - 4*s for m.
-1
Let k be ((-4)/6)/((-2)/12). Let l be (9/6)/((-1)/(-2)). Suppose -l*a + 16 = -a + 3*x, -2*x = -4. Solve 4*i + k = 4*r, a*i = -4 - 11 for r.
-2
Suppose -3*f + 29 = -2*h, -4*f - h - 4*h = -31. Suppose 0 = -4*q - 0*q + 124. Let c(g) = -15*g. Let j be c(-2). Solve 5*p - j = v, -3*p = -5*v - q - f for v.
-5
Suppose -10 = 4*a - 2. Let q = a + 2. Solve -5*w - 4 = -3*x, 4*w + q = x + 1 for w.
1
Suppose 7*a - 19 - 2 = 0. Suppose 2 = m - 0. Solve -4*d - 12 = -a*j + d, -j + 4 = -m*d for j.
4
Suppose 9*o = 79 - 16. Solve -3*y - c = -7, o*c + 1 = 3*y + 2*c for y.
2
Suppose -3*v + 3 = -2*v. Let k = 5 - v. Solve -2*g + 5*i = 7, 5 = k*g + i - 2*i for g.
4
Let d = -21 - 14. Let r be (-10)/d + (-4)/14. Solve -u = -4*v - r*u + 7, -4*v + 3 = -5*u for v.
2
Suppose 10*s - 4 = 8*s. Solve -h + v = 3, -8 = -h + 4*h - s*v for h.
-2
Suppose 5*p - 16 = 4. Suppose 0*s = 5*r + 2*s - 47, p*r - s - 48 = 0. Let h = 11 - 6. Solve -25 = -h*z - 3*w, -r = 3*z - 3*w - 2 for z.
2
Let w(x) be the second derivative of -x**4/12 - x**3/2 + x**2 + x. Let p be w(-3). Solve 3*m + 9 = 0, 1 = 4*z - 5*m - p for z.
-3
Let f be 6/(-30) - (-26)/5. Let p = -2 - -1. Let b = 1 + p. Solve -f*g = -2*g - 2*m - 4, -g - 4*m + 6 = b for g.
2
Suppose -5*g - 30 = 2*z - 11, 0 = -z + g + 8. Solve l - 5*p = -z*l + 27, -l + 15 = -4*p for l.
3
Let o be 0/((6 + -2)/(-2)). Suppose o = 3*y + 2*y - 20. Suppose 0 = -h + 20 + 6. Solve 5*t + 1 = -y*i - h, 3*i + 6 = t for i.
-3
Let r(u) = -u**2 - 3*u - 4. Let m be r(6). Let y = 86 + m. Let n be 4/(-14) + 8/y. Solve 0 = 4*q - 16, -21 = -n*o + o - 5*q for o.
-1
Let o be ((-4)/5)/(2/(-5)). Let f = 19 - 12. Solve 2*s - f = 3*b, -12 = -0*b + o*b - 5*s for b.
-1
Suppose -3*w = -a + 17, 21 = 5*a - 0*a + w. Suppose 15 = -a*t + 5*v, -4*v = t - 0*v + 3. Let k be -2*1 - 15/t. Solve 2*m + 7 = -2*g - 1, m - k*g = -4 for m.
-4
Suppose n - 4*p = -6, p - 14 + 4 = -4*n. Suppose -n*l + 9 = 3*t, 5*t + 2*l - 9 = 2. Solve -4*y - t - 7 = 4*z, -2*y + 31 = -5*z for y.
3
Suppose -3*n - 10 = 2*n - 5*j, 2*j - 10 = -n. Solve -o - o = -5*x, 0 = -x - n for o.
-5
Suppose 2*u - 6 = 0, 5*u = -2*p + 36 - 9. Suppose -p*g + 2*g + 8 = 0, -w + 3*g = 1. Solve h = 3*c + w, -h + c = 6*c + 11 for h.
-1
Suppose -7*q = 11*q - 2*q. Solve -4*c + 14 = 3*l, q = 3*l - 0*l + 5*c - 16 for l.
2
Let c(l) = -l + 7. Let w be c(4). Let i(q) = q - 1. Let r be i(w). Solve -17 = 4*y - u, -r*y + y - 3 = u for y.
-4
Let o(p) = -p - 3. Let z be o(-3). Suppose 0 = -0*m + 5*m - 60. Suppose z = -5*b + 8*b - m. Solve b*a + 32 = -4*h, -3*h - a = -4*h for h.
-4
Let n(l) = -3*l - 11. Let h be n(-5). Solve 0 = 2*g - 8, h*y - y + g = 1 for y.
-1
Suppose -5*z = 2*z - 28. Solve z*b - q - 19 = -5, -3*q = -6 for b.
4
Let p(j) = -2*j - 1. Let r be p(-2). Suppose 2 + 10 = 4*x, -3*y + r*x = 0. Suppose 56 = 2*l + 10. Solve -y*n = -5*k + 30, -k - 4*n = -2*k + l for k.
3
Let y(k) = k**3 + 3*k**2 - 4*k + 2. Let i be y(-4). Let d(b) = b**3 - 4*b**2 - 6*b - 3. Let r be d(5). Let z = 13 + r. Solve i*t + z*c = 0, t + 2*c = 5*t for t.
0
Suppose 16 = 5*a - 4*d, a + 2*a = 4*d + 16. Solve 4*z - 3*c + 31 = 0, 0*z - z - c + 1 = a for z.
-4
Suppose 7*k + 25 = 6*k. Let m be ((-6)/10)/((-5)/k). Let i = 3 + m. Solve -3*b = 2*b + g - 9, -5*b + 2*g - 3 = i for b.
1
Let q = -7 + 10. Solve -12 + q = -3*v, 3*v = -3*u + 9 for u.
0
Let s = -9 - -21. Solve 0 = -3*t + b - 9, 2*t + b + s - 1 = 0 for t.
-4
Let c(i) = i + 3. Let h be c(-6). Let l = h - -3. Suppose 0 = -f + 4 - l. Solve f*t + 12 = -5*n, n + 14 = t - 2*n for t.
2
Suppose -45 = 5*b - 5. Suppose -21 + 8 = p. Let n = b - p. Solve 2*h = -3*h + 2*j + n, -3*j - 5 = -5*h for h.
1
Let a(q) = q + 1. Suppose -z = z + 2. Let m = 4 + z. Let w be a(m). Solve -4*n + d = 3*d + 10, d - 1 = w*n for n.
-1
Suppose 5*p = 44 + 16. Suppose -1 = -4*u + 5*g - 0, -14 = -5*u + 2*g. Solve -3*j = 2*s - j + p, -u = 4*j for s.
-5
Let a(f) = f**3 + 3*f**2 - 2*f. Let s be a(-2). Let x(n) = -2*n + 18. Let u be x(s). Solve 0 = 5*o + 3*r + 9 + 18, -5*r = -u*o + 14 for o.
-3
Suppose 81*a - 3 = 78*a. Solve -3*u = -v - a, -2*v + v = 3*u + 7 for u.
-1
Let m(o) = -14*o + 39. Let w(x) = -9*x + 26. Let p(k) = 5*m(k) - 8*w(k). Let n be p(9). Solve 2*h + 11 = n*t, -5*t - 5*h - 11 = -t for t.
1
Let i be (-8)/(-14) + 638/(-14). Let l = -28 - i. Solve 3*u - l = -2*y + y, 9 = 3*u - 3*y for u.
5
Let a(z) = z**3 - 5*z**2 + z + 3. Let k be a(5). Solve -2*b = -k*o + 4*o - 10, 3 = 2*b + 3*o for b.
3
Suppose -48 = h - 3*h. Solve 2*f = -5*u + 5, 2*f - 2 = 4*u - h for u.
3
Suppose -193 = 5*b + 62. Let k = b - -71. Solve -v - 4*w - k = 1, 13 = -5*v + 3*w for v.
-5
Let h be 3*5*32/48. Solve 0 = m + b + 4 - 2, 0 = m - 3*b - h for m.
1
Let q = 208 + -96. Let t be 2 - -1 - q/(-7). Solve 4*f + 3*l = -0*f + t, 3*l - 3 = 0 for f.
4
Suppose 4*s + 8 = -5*m, 1 = -s - 1. Solve m = -o - 3*c - 7, -2*o = -o - 2*c - 8 for o.
2
Suppose -b - 4*b + 20 = 0. Let f(o) = o**3 - 7*o**2 - o + 7. Let g be f(7). Solve -b*d - 23 = -g*y - 3*y, 5*d = -5*y + 15 for y.
5
Suppose 11 = 4*d - 49. Suppose -p - 2 = -5*r + 11, 3*p + 3*r - d = 0. Solve -2*f - 5*i = f + 10, 0 = 5*f - p*i - 35 for f.
5
Let g(l) = l**3 + 6*l**2 - 2*l - 9. Let a be g(-6). Let n be (6 - 1) + (1 - a). Solve n*k + k = p - 2, -5*p = 10 for k.
-1
Let t be 143/22 + 3/2. Solve 3*u - 8 = 2*j - 4*j, 4*u - t = 0 for j.
1
Let o(k) = -k**3 - 13*k**2 + 2. Let u be o(-13). Solve 0 = -l + 3*d - u, 2*l - 2*d = 4 for l.
4
Suppose -m - 13 + 3 = 0. Let u(t) = -t**2 - 11*t - 10. Let r be u(m). Solve -v + 2*c + 3 = r, -3*v + 5*c + 2 + 4 = 0 for v.
-3
Suppose -16 + 1 = 5*x + 3*u, 4*x + 12 = -2*u. Let f = 16 + -8. Let c = x + f. Solve 0*m - 4*k = -c*m - 5, 3*k - 2 = 2*m for m.
-1
Suppose b - 85 + 80 = 0. Solve 2*o + b = 2*y - 11, -o - 14 = -3*y for o.
-5
Let g(m) = 31*m**2 - 1. Let x be g(-1). Let c(p) = -5*p**2 + p - 1. Let i be c(2). Let h = i + x. Solve 37 - h = -5*z + 3*w, 0 = -4*z - 2*w - 12 for z.
-4
Suppose 5*d - 3*a - 8 = 17, d - a = 5. Suppose 4*w - 21 = -3*j + 7, 0 = -4*w + 4*j. Solve -4*g = 16, w*t + 0*g + d*g + 20 = 0 for t.
0
Let j = 5 - 3. Suppose 0*t = 2*t + 8, -3*w = -2*t - 17. Solve -w*g + 28 - j = 5*f, 0 = -5*g - f + 14 for g.
2
Let h(k) = -k - 1. Let v be h(-5). Solve 2*d = p + v, p + 3*p - 5*d = -4 for p.
4
Suppose -3*x + 7*x = 32. Suppos