w for s.
4
Let b be (-240)/(-45) + (-2)/6. Solve -t - 4*t - 5*a = 0, -b*a = 5 for t.
1
Let h = 11 - 7. Suppose h + 0 = d. Solve -5*y + z - 3 = -0, -d*y = -5*z + 15 for y.
0
Suppose -3*q - 5*h = q + 79, 2*q = 5*h - 17. Let u = 22 + q. Solve -5*g + 1 = 2*o - u, -5*g + 31 = -4*o for g.
3
Suppose 0 = -4*g + 3*g - 6. Let l(v) = 1. Let x(n) = 2*n - 10. Let i(p) = -8*l(p) - x(p). Let b be i(g). Solve -b = -3*q + q + 5*f, -5*f - 18 = -4*q for q.
2
Let h(t) = t**3 - 8*t**2 + 8*t - 5. Let i be h(7). Let q be (4 - 5) + i*2. Suppose 2*k - q - 5 = 0. Solve y - 5 = 2*o, -k*y = 2*o - 0*y - 10 for o.
-1
Let r be (-2)/(-3) - (-32)/24. Solve -4*h = d + 2*d + 4, -4 = -h - r*d for h.
-4
Suppose 0 = 40*r - 37*r. Solve r = s - 2*p, -s + 0*p + p = 0 for s.
0
Let z be -2 + (-105 + 1)/(-2). Let k be (-1)/6 - z/(-12). Let t = 7 - k. Solve c = 1, -t*v = -0*v - 3*c - 12 for v.
5
Let a(p) = -p**3 + 6*p**2 + p + 2. Let q be a(6). Solve -3*j + 5*s = q + 2, -5*s = -j for j.
-5
Suppose 2*k + 3*d = -8, -d = -3*d - 4. Suppose -4*r + 7 + 13 = 0. Let q be (-3)/3*k*r. Solve 0*b + 2*b + 2 = 5*s, -q = 5*b - 4*s for b.
-1
Let n(z) be the third derivative of -z**4/24 + 5*z**3/6 + 5*z**2. Let a be n(0). Solve -24 = -4*t - 4*c, -2*t + a*c + 2 + 3 = 0 for t.
5
Let b = -2 - 6. Let i(q) = -3*q + 3. Let f be i(-3). Let r = f + b. Solve -r*t + 1 = 3*w - 31, -5*w - 4*t + 40 = 0 for w.
4
Let i = 15 + -12. Solve -8 = j - 5*j, -i*u + 8 = j for u.
2
Let m = 0 + 1. Let a(k) = -k**3 + 3*k**2 + 4*k + 1. Let j be a(3). Let t(l) = -l**2 + 12*l + 18. Let i be t(j). Solve -5*w + 11 = g + m, -i = g for w.
3
Let a = 86 - 84. Solve -n = 2*g + a + 7, 0 = -n + g - 3 for n.
-5
Let g(y) = 2*y**2 - 4*y + 3. Suppose 5*k - 21 + 1 = 0. Let x be g(k). Solve 4*v + f - x = 0, -v - 4*v - 3*f = -22 for v.
5
Let j = -18 + 29. Let q(m) = m**2 - 4*m. Let h be q(4). Suppose h = i + i. Solve -4*b + 4*v - j = 9*v, i = -b + 4*v + 13 for b.
1
Suppose 0 = 3*l - x + 22, -2*x = 5*l - 10*l - 38. Let y = l + 9. Solve 0*j - y*j = -w, 3*j = -5*w for j.
0
Suppose 3*i + 11 = 2*n, -4*n + 11*i - 6*i = -17. Let m be (-280)/(-126) + n/9. Solve -m*j = 5*o + 12 + 6, 5*o = -20 for j.
1
Let s(n) = n - 7. Let u be s(6). Let b be u*5*(-30)/50. Solve -2*t + 4*t = -b*r + 14, 5*r - 10 = 0 for t.
4
Let x(f) = -3*f + 2. Let o be x(-2). Let s = 11 - o. Solve 0 = -2*i + s*i - 4*z - 3, 3*z = 0 for i.
3
Let r be 4 - -24*((-38)/(-8) - 4). Solve -3*l + 4*c + r = 0, 5*l + c + 1 = 7 for l.
2
Let z = 8 - 13. Let d = 15 + z. Suppose -f - 5*v - 17 = 0, -5*v - 4 = 2*f + d. Solve 3*q + 0*q - 5*c = -16, -19 = -f*q - 2*c for q.
3
Let t = -4 + 8. Solve 0 = -t*a - y, -y - 3*y - 16 = 0 for a.
1
Let n = -3 + 10. Solve 0*p - n = -2*p - m, 2*p = m - 3 for p.
1
Let a be (-10)/(-65) - 50/(-13). Solve 0 = 5*g - 4*c + 19 + 4, a*g = -3*c - 6 for g.
-3
Let j be (4/6)/(8/(-288)). Let x be 32/j*(-6)/4. Suppose -x*n = 2 - 10. Solve 0 = a + 3*a - 4, w - a = -n for w.
-3
Suppose 0*d - 3*d + 9 = 0. Suppose -4*s + 48 = m, -m = 5*s - d*m - 73. Solve v + v = -l - 4, -s = 3*v - 2*l for v.
-3
Let x = 29 - 18. Solve 3*m + x = v, m = -5*v - 3*m - 21 for v.
-1
Suppose 4*p - 3 - 9 = 0. Suppose -20 = 2*i + 4*v, 0*i - 3*v + 51 = -4*i. Let g be (-1)/((-2)/(i/(-3))). Solve 1 = p*r - 2*c, 2 = 2*r - 3*c - g for r.
-1
Let j = -6 + 8. Suppose -4*a = 2*z, j*z - 2*a - 6 = -0*z. Suppose 2*u = -z*k + 6, -u = -5*k + 2*k - 3. Solve 0 = t - 2*g + 4, -2*t + 6 = u*g - 0*g for t.
0
Let y(s) = s**2 + 3*s + 1. Let a be y(-4). Suppose 0*c + 5*h = -c + 9, a*h = -4*c + 21. Solve -c*p + 3*v + 4 = 0, 0*p = -p + 3*v + 1 for p.
1
Let d(r) = r**3 - 3*r - 2. Let j be d(-1). Solve 3*k + 5*s - 19 = j, -4*k + 16 = 5*s - 3*s for k.
3
Let u(n) = 2*n + 2. Let o be u(-5). Let j = o - -23. Solve 2*f = -5*i + j, 0 = -3*i - 5*f + 5 + 23 for i.
1
Let s(t) = t. Let p = -15 - -17. Let r be s(p). Solve f - 8 = -2*n, -f + r = -n + 6 for f.
0
Let z be 36/(-42)*2/(-6)*14. Solve 0 = 4*f + 16, -z*x + 20 = -5*f + f for x.
1
Suppose 4*h = 4*j - 52, -h - 4*h - 25 = 0. Let a = j + -4. Solve r + 3*s = a*s, -4*r = s + 25 for r.
-5
Let y = 1 + 2. Suppose y*l - 5*l = -4. Suppose -2*i - 2*i = 0. Solve -2*m - l*j = i, 4*j - 3 + 6 = -3*m for m.
3
Suppose 0 = -5*y + 2*t - 3*t - 1, -2*y + 3*t + 3 = 0. Let d = y + 4. Solve 2*w - d*w - 5*b - 27 = 0, 0 = 4*w - 2*b - 6 for w.
-1
Suppose 7*c = 2*c - 20. Let u = 4 + c. Solve 3*a + 15 = u, 0 = -q + 2*q + 3*a + 12 for q.
3
Suppose 0 = -5*x, 2*n + 5*x + 80 = 3*n. Suppose -v + n = 3*v. Suppose 4*l - v = -8. Solve 4*i = w + 14, -l*i + 4*i - 12 = -4*w for w.
2
Let f(c) = 7. Let p(v) = v - 1. Let k(i) = -f(i) - 2*p(i). Suppose -5 = a - 0. Let t be k(a). Solve -x + 5*u = -t*x - 41, 3*u = 2*x - 7 for x.
-4
Suppose 6 = 2*u + u. Suppose -h - 4*k + 11 = 0, -u*k + 2 = -k. Solve -h*q - j = 9, -2*q - 7 + 0 = j for q.
-2
Let r(v) = v**2 - 9*v + 9. Let g be r(9). Suppose 2*p = -p + g. Solve 0 = o - 3*d - 2, -2*d + 4*d = p*o - 13 for o.
5
Let h = 5 + -2. Solve -l + h = -o, -2*l = -2*o + l - 7 for o.
-2
Let g(v) = v**3 - 5*v**2 + 7*v - 6. Let r(i) = i**3 - i**2. Let d be r(2). Let z be g(d). Suppose z = -s + 4*s. Solve 2*k = -k + s*j + 2, 27 = 3*k + 3*j for k.
4
Let x(y) = y**2 + 6*y - 1. Let r be x(-2). Let j(a) = a**2 + 8*a - 7. Let t be j(r). Solve 0 = -5*l - t*d - 8 - 20, d = -4 for l.
-4
Suppose o + 4*a + 16 = 2*o, 22 = 2*o + 2*a. Let u be (o/(-2))/(-2)*1. Solve 0 = -3*i + i + u*m + 8, -2*m = -2*i + 8 for i.
4
Suppose 0*z - 30 = -2*z. Suppose -2*q + i = -3 - 7, 0 = -3*q - i + z. Suppose w = q*w. Solve w*n - 3*b - 5 = n, 2*n + 10 = b for n.
-5
Let s be (-4)/8 + (-10)/(-4). Suppose -s*h + 6 + 1 = 3*z, 0 = -2*z + 2*h + 8. Suppose -54 = -z*p - 0. Solve 5*y - p = -4*u, -2*y + 4*u + 2 = 3*y for y.
2
Suppose -5*z + 22 = t, 4*t = z - 7 - 10. Solve 3*a + 5 = z*h, 2*a + 5 = h - 3 for h.
-2
Let z(q) = -3*q**3 - q. Let g be z(1). Let w be (-34)/(-4) - g/(-8). Solve 20 = -4*m + w, -m = 2*j + 9 for j.
-3
Let l = 13 + -13. Suppose 4*x + 1 = 9, 5*h = 3*x + 634. Suppose l*b - h = -4*b. Solve 0 = 3*r - 4*p - p - b, 0 = p + 4 for r.
4
Suppose -4*d + 14 = 3*n, 0 = 3*d + 4*n - 3 - 4. Let l(b) = -b**3 + 5*b**2 + 2*b - 1. Let a be l(d). Solve -r + 7 = -3*u, 0 = -r - u - 4*u - a for r.
1
Let d = -7 - -16. Let j be 38/d + (-2)/9. Let i be 2*20/16*2. Solve 2*p - 15 = -j*z + 3*p, i*z + 4*p = 45 for z.
5
Let b = -10 - -19. Suppose -4*p = -b*p - 60. Let i be (-27)/p - (-1)/(-4). Solve -i*q + 5*f = 0, 23 = -5*q - 5*f - 12 for q.
-5
Let u = -7 + 11. Solve -2*x = u*j - 8, 3*x - 3*j = 4*x - 5 for x.
2
Let a be (-4 - (-2 - -1))/(-1). Solve -a*o + 2*o + 27 = -5*l, -25 = 5*l for o.
2
Suppose 2*t - 6*t = -4*c - 4, 6 = 2*t. Let o = c - -1. Let a(l) = 3*l - 3. Let z be a(o). Solve 0 = -3*h - 3*n - z, h + 5*n = -3*h - 6 for h.
-4
Suppose y - 3*y = 0. Let m be 5*(-5)/((-5)/(-2)). Let s(k) = -k**2 - 11*k - 6. Let i be s(m). Solve y*g = -4*g + i*h + 8, -h = g + 8 for g.
-3
Let j = -15 - -30. Solve -2*s + 0*h + 2*h = 0, -2*h - j = 3*s for s.
-3
Let l(z) = z**2 - 5*z + 3. Let m be l(6). Let k be -3*3/m*-5. Solve x - 2 = 2*x - f, 3*x - k*f + 10 = 0 for x.
0
Let m = -1 + 16. Solve 2*j + 0 + 9 = -y, m = -5*y for j.
-3
Let l be (-4 - -2) + 2*3. Solve q - 2*g = -6, l*q - 2*g = -0*q + 6 for q.
4
Let x be ((-1 - -4) + -2)*5. Solve 3*k + 4 = 2*v, -x*k = 3*v - 4 - 2 for v.
2
Let d be ((-10)/(-15))/(1/(-3)). Let r be 267/21 + d/(-7). Suppose -44 = -2*j - 0*j. Solve 2*w = 3*t - r, j + 4 = w + 5*t for w.
1
Let y(s) = -s**3 - 18*s**2 + 20*s + 24. Let g be y(-19). Solve -g*l - 2*z = -10, -5*z - 5 = -l + 24 for l.
4
Suppose 5*q - 4*q = 0. Suppose y = 0, 5*y = v + 3 - q. Let g be 4/v*3*-1. Solve 3*o - 15 = -5*f, -g*o + 0*o + 20 = 4*f for o.
5
Let b(o) = -o**3 - 4*o**2 - 3*o - 6. Let l be b(-4). Let s be -9*(16/l + -3). Solve -2*v = s*i - 11, -v = -5*i - 4 + 18 for i.
3
Suppose -3*t + 15 = -4*a, -a + 5*t = t + 20. Suppose a = -6*u + u + 25. Let g = 43 - 28. Solve -m - u*w + 10 = 0, -3*w - g = -8*w for m.
-5
Let o be (-1)/5 - 38/10. Let k(i) = -i - 1. Let d be k(o). Suppose -b + 12 = x, 75 = 4*b + d*x + 30. Solve -4*c = -4*j - b*c + 30, c - 2 = 0 for j.
5
Let b(m) = -5*m + 2*m + 4*m - 2. Let p be b(-6). Let w be 1/4 + 2/p. Solve -3*i + 4*q - 4 = -8, -2*i + q + 6 = w for i.
4
Let s = 1 + 0. Suppose 5*a - 3*f + 0*f - 22 = 0, 0 = f - s. Solve 3*l = -a*k + 6*l + 12, 2*l + 7 = 3*k f