 Let r be w(10). Let n be 0 + -1*(-1 + 4). Let i be 0/(n + 2) - r. Solve -o = i*s - 0*o - 2, -2*o = 4*s for s.
2
Suppose -h - 2*o = -5, 10 = 2*h - 2*o + o. Suppose -p - n = -20, -4*n + h*n + 60 = 3*p. Solve -4*g + p = 5*v + g, 0 = -v + 3*g - 16 for v.
-1
Suppose -m + 3*m = -5*m. Let i(p) = 2*p**2 + 9*p + 2. Let w be i(-6). Let x be 1 - -1 - (-12)/6. Solve m = 4*o + 5*g + w, 5*o - g + 25 = x*g for o.
-5
Let w = 1 - -1. Suppose 2*o = u, -3*o - w*o = 4*u. Let b be ((-2)/(-4)*o)/1. Solve b = 2*y + 3*x - 4, 4*y - x = -y + 10 for y.
2
Suppose 3 = 2*j + 4*u - 3*u, -2*u = 2*j. Solve t = j*m - 6 + 26, 4*m = -2*t - 10 for t.
5
Suppose 0*j - 27 = j + 5*h, 3*j = -h - 11. Let i be j/10 - 22/(-10). Let a = i - -3. Solve -1 = -3*n + 5, -a*x + 5*n = 20 for x.
-2
Let k = 54 - 52. Solve 3*u = 4*z + 4 + 7, -2*u + k*z = -8 for u.
5
Let h(r) = -r + 12. Let x be h(5). Solve x = 2*d + g, -5*g - 2 = -2*d - 25 for d.
1
Let a be 8/(-28) + (-18)/(-14). Let d(y) = 6*y**2 - 2*y**2 - 4*y**2 + 3*y**2 + 1. Let n be d(a). Solve 3*v = -4*g + 6, -n*g + 3*v + 1 = -17 for g.
3
Let i = 11 - 8. Solve -2*n - 5 = -i*n, -3*v - 5*n = -34 for v.
3
Suppose 4*z = v - 4*v + 26, 14 = 4*z - 3*v. Solve 3*u - 6 = 0, -3*d - 4 = 5*u - z for d.
-3
Suppose 2*b - 10 = -3*b. Solve b*i = -3*u - 19 - 2, -i = 3 for u.
-5
Suppose 12*n = 15*n - 6. Solve n*b = 5*q - 12, q - 4 + 1 = b for b.
-1
Suppose 4*a = -4*s + 36, -s + a + 29 = 6*a. Let g be (-12)/(-30) + s/(-10). Solve g = -3*f + 3*w - 27, 0*w - 21 = f - 4*w for f.
-5
Let h(u) = -u + 1. Let j be h(-1). Let a(y) = y + 5. Let i be a(9). Solve -3*m + i = r + m, -2 = j*r - 2*m for r.
2
Suppose s = -2*c - 4, -c - 4*s + 0 = 16. Solve -5*k + 3 + 2 = c, -k - 2 = b for b.
-3
Suppose -m = -5 - 3. Suppose 0 = -0*g + 2*g - m. Suppose 9 = q - 3*k, -3*k = 5*q + 2*k - 5. Solve -5*d + 3*w - g*w - 23 = 0, 3*d + 21 = q*w for d.
-5
Let q(i) = i**2 + 18*i + 58. Let u be q(-14). Solve 3 = 4*h - d, -4*h + u*d = -2*d for h.
1
Suppose 5*z - 92 = -4*t + 24, 0 = -5*t - 5. Let q be (14/(-8))/((-2)/z). Let d = 29 - q. Solve 3*k + 5*w = d + 11, 15 = 3*w for k.
-2
Suppose -20 = -5*d, -5 = 5*a - 3*d - 3. Let w(z) = 1 - 4*z - a*z + 4*z. Let i be w(-1). Solve -4*p + i*t + 35 = 8*t, -17 = -p - 4*t for p.
5
Let y(h) be the second derivative of h**4/12 - h**3/3 - 3*h**2/2 - 3*h. Let q be y(4). Solve -3*t = -4*b + 1 - 23, q*b = -2*t - 16 for b.
-4
Let i(j) = -15*j**2 + 5*j + 2. Let u be i(-4). Let k be ((-4)/(-6))/((-4)/u). Suppose m - 5*m = -16. Solve m*r + 4*g + 7 = k, -5*g = r - 29 for r.
4
Suppose z - 1 = 3, -4*z + 38 = 2*g. Solve -2*c + 3*c - 2 = p, p + g = 4*c for p.
1
Let t be (3/(-3))/((-3)/6). Let l(f) = -3*f**t + 1 + 6*f + 3 + 2*f**2 - 1. Let c be l(6). Solve -5*b + 1 = -2*n, -6*b + 5 = -c*n - 2*b for n.
-3
Let k be ((-16)/24)/(2/(-9)). Suppose -4*p - p + 15 = 0. Suppose 5*b + o = k*o + 12, 0 = b - o - p. Solve -5*l + 25 = 0, b*l - 6*l + 10 = 5*w for w.
-2
Suppose -30 = 4*f - 30. Solve 3*z + 2*c + 8 = f, 0 = 2*z - 6*c + 2*c + 16 for z.
-4
Let s(q) = q**3 - 7*q**2. Let k be s(7). Suppose w + 2*w - 45 = k. Suppose 8*r - 100 = 3*r. Solve -2*y = 5*m + r, 0 = -4*m - m + 5*y + w for m.
-2
Suppose 4*d - 12 = 2*s, 3*s + 17 = 5*d + 2. Solve 0 = -y - 5*j + 17, -2*y - y = -d*j + 3 for y.
2
Suppose 0 = 2*t + 3*n - 10, 0*t - t = 3*n - 8. Solve 2*q + 0*v - 4*v = -18, -4*q - 6 = -t*v for q.
1
Let p = -19 + 24. Solve 0 = -p*s - 5*m - 20, -s + 5*m = -13 - 13 for s.
1
Let p be (-8)/52 - 212/(-26). Suppose -4*x + p = -12. Solve 8 = -4*r - a, r - 19 = -0*r + x*a for r.
-1
Let k be 0/(-2)*2/(-4). Solve k*q + q + 4 = s, 2*q = -4*s - 2 for q.
-3
Let i(l) = l**3 - 7*l**2 + 6*l + 2. Let f be i(6). Suppose 2*z + 2*t = 5*t + f, 0 = 4*z + 2*t - 20. Solve -m = 4*d - 0*m, 13 = 3*d + z*m for d.
-1
Suppose -4*b = -9 - 11. Suppose -6*h = -4*h - 12. Solve -2*m = m + f - 14, h = -m + b*f for m.
4
Suppose b - 20 = -4*k + 5*b, 2*k + 5*b + 25 = 0. Solve -2*c = -2*o, k*o - 2*o = 5*c + 21 for c.
-3
Suppose 0*t = 4*s + 2*t + 8, -4*s - t - 4 = 0. Solve s = 2*c - c + 3*l + 9, c = l + 7 for c.
3
Suppose 3*l + n = 1, 2*l - 3*n - 15 = 4. Let c = -55 - -57. Solve -w = -c*p - 10, -l*p + 0*p = 3*w + 2 for w.
2
Let n = 3 + -3. Let i be 0 + -1 + 5 + n. Solve -i*u = -3*w + 1, 8*w + 9 = 3*w + 4*u for w.
-5
Let v = -32 - -37. Let t = -26 + 57. Solve -g + 3 = -2*o + 12, v*g - 3*o + t = 0 for g.
-5
Suppose 5*v - 3*v = 4. Solve -2*c + 5 = c - v*f, -c - 1 = -2*f for c.
3
Let u = -26 + 37. Suppose -3 = 4*j - u. Solve j*m = 3*r + 5, -5*r - 5*m - 23 = -m for r.
-3
Let x be (48/60)/(1/15). Solve -j = 3*v + 1, 5*j - 3*v = -v + x for j.
2
Suppose 0 = -4*q + 2 + 2. Let l be 6 + (0 + q)*-1. Suppose -l*g = -0*g - 15. Solve g*o = 3*r + 3, 6*r - r = 3*o - 11 for o.
-3
Let s be (10/3)/((-2)/(-9)). Suppose -b = 4*b - s. Suppose 7*f = b*f. Solve -2*v + 4 = 5*z, 2*v + 2*v - z + 14 = f for v.
-3
Suppose 3*n - 47 = -2*c, -5*n + c = 2*c - 69. Solve -2*f + 1 = 5*m + n, 2*m = f - 12 for f.
4
Let s be (4/2 - 3)*-44. Let m be s/16 - (-1)/4. Solve 5*w + m*z = 15, -3*w - 2*z - 2 = -12 for w.
0
Suppose 0 = -5*s + 15, 6*s - 3*s - 21 = -4*m. Let n(v) = 3*v**3 - 6*v**m + 4*v**3 - v**2. Let a be n(1). Solve a = -k + 2*b + 11, -b = 3*k - 5*b - 25 for k.
3
Suppose -28 = 4*s + 3*a - a, 5*s + 38 = -a. Let x be (2/8)/((-2)/s). Let l = 8 - 5. Solve -i + l*i - z = -x, -2*z = i + 8 for i.
-2
Let a = 3 + 2. Let l = -70 - -73. Suppose a*j - 8 = l*j. Solve -2*k + 5*k = -9, 0 = j*f - k - 23 for f.
5
Let s = 14 + -12. Solve s*i - 2 = 0, i = 4*g - 4*i - 11 for g.
4
Let p(r) be the first derivative of -r**4/4 - 2*r**3/3 + r**2 - r - 3. Let x be p(-3). Let y be 4/(-10)*5*-1. Solve 5*n + 9 = x*n - 2*u, n + y*u = -7 for n.
-1
Suppose 5*a + 4 + 17 = c, a = 2*c - 51. Solve 0 = 5*w + 3*i - c, -w - 3*w = -5*i - 6 for w.
4
Let g = -2 - -2. Suppose -5*r + z + 12 = g, 0*r - 4*r + 3*z = -3. Solve v + 20 = 5*m, -r*m - v = 2*m - 10 for m.
3
Suppose -5*g - 3*c + 68 = 0, -3*g + 43 = -4*c + 8*c. Solve b - 7 = 3*h, -5*b - h = -0*h + g for b.
-2
Let x(p) = p**3 - 3*p**2 - 3*p + 1. Let q be x(4). Solve -5*u + q*j + 40 = 0, -2*u - j = -6*u + 17 for u.
3
Let b(m) = 2*m**3 + 2*m**2 - 2*m + 1. Let l be b(1). Solve 2*q + 2 = -4*a, l*q - 5*a = -2*q - 35 for q.
-5
Suppose -4*s - 21 = -5*h + 20, s = -5*h + 46. Suppose 0 = 4*v - h - 7. Solve 4*o + 8*z - 3*z = 4, 0 = -3*o + v*z - 28 for o.
-4
Suppose -2*d - 72 + 82 = 0. Solve -d*q - 15 = 5*h, 4*h - 5*q = -15 - 6 for h.
-4
Suppose -2*n - 3 = 2*u - 1, 4*u - 20 = 4*n. Let v = n + 6. Solve -s + 6 = -k - 1, -4*k - 26 = -v*s for s.
2
Let y be (-44)/(-8) + (-9)/6. Solve -5*j + 3*b = 1, -y = -2*j + b - 5 for j.
-2
Suppose 2*t - 6*t = -16. Suppose 1 - t = -v. Solve -5*k - v*l + 0*l = -24, 0 = k + l - 6 for k.
3
Let b be 0/(-3 + 6/3). Let m = b - -4. Solve -5 = -o + a, 4*o - 2*a - 16 + m = 0 for o.
1
Let n be 1/2*(-15 + 17)*2. Solve n*q - 2*i + i = 5, -5*q - 5*i = 25 for q.
0
Suppose -5*s + 159 = -3*h, 0*h - 5*h = -10. Solve 5*r = -5*d + 3*d - s, -4*r - 8 = -3*d for d.
-4
Suppose -20 = -5*s - 5. Suppose s*y - 5*y = 0. Let k(n) = -3*n. Let g be k(-1). Solve -g*t = -u - y*t, -2*u = t for u.
0
Let u(g) = 1 + 9 - 5*g - 3*g**2 + 0. Let x(v) = -v**2 + 1. Let l(f) = u(f) - 2*x(f). Let a be l(-6). Solve 0 = -3*s - 3, 2*t - 5 = a*s + 3*s for t.
0
Let c(r) = 3*r**2 + 4*r + 2. Let y be c(-3). Solve 2*j + 2*j + y = q, 4*j + 14 = 2*q for q.
-3
Let b be (-133)/15 + (-4)/30. Let a = b + 9. Solve -k = 5*v + 2*k - 5, a = k + 5 for v.
4
Let w be -2*(1 + 15/(-6)). Suppose c + 28 = 2*q - w*c, -q - 4*c + 8 = 0. Let s be (7/(14/q))/1. Solve 0 = -3*r + 12, -2*d + 4*r - s = -0 for d.
5
Let l(a) = 4*a + 30. Let i be l(-6). Solve -2*s + 2 = h, 2*h - 5*h = -2*s - i for h.
2
Suppose -3*n = 5*f - 15, 3*f - n - 9 = -0*n. Solve f*p = -u + 17, -2*u = -3*p + 2*p + 1 for p.
5
Let p be (3 + -3)/(-5) - -4. Solve a + 4 = d, p*d - 4 - 8 = 2*a for d.
2
Suppose 8*p - 12*p + 20 = 0. Solve p*k = 0, 6*u + 10 = u + 4*k for u.
-2
Suppose 14 = 4*x - 3*g, -7*x + 2*x = -4*g - 17. Solve 6*t - 2*t - 5 = -x*l, 3*l - 3 = 4*t for l.
1
Suppose -t = -4*i - 28, 4*i = 5*t + 5 - 65. Solve -36 = -5*f - 4*b, 3*f - 5*f = -4*b + t for f.
4
Let k be (-6)/21 + 16/7. Let o be (5/k)/(3/6). Suppose -o*h + 1 = -14. Solve x + 11 = -2*p, 5*p + h + 20 = 2*x for x.
-1
Suppose q - 91 = -16. Suppose -5*a + 25 + q = 0. Suppose -7*m =