+ g*h - 5 - 15 = 0, -5*s + 2 = 4*h for s.
-2
Let l = 1 + 5. Suppose 3*k - 12 = 0, 2*c = -0*k + k + l. Solve -2*d = 2*s + 10, 0*d + 4*s = -d - c for d.
-5
Let j = 2 + 2. Let o(d) = -d**2 + 5*d + 4. Let f be o(j). Solve 2*i = 2*y - f, 4*i + i - 4*y + 16 = 0 for i.
0
Suppose a = -4*a + 10. Suppose 0 = 2*j + 2*u + 2, u + 8 = a*j - 2. Let d = -15 - -28. Solve j*k - 2*z = -d, 4*k - 2*z + 24 = 6 for k.
-5
Let h = 2 - 0. Suppose -h*a + 7*a = 10. Suppose 4*s = 2*r + 10 - 0, -r = 3*s - 20. Solve -k + 13 = -a*b, s*b + 20 = -5 for k.
3
Suppose 3*b + 0*b = 4*m - 14, -3*m = 4*b + 2. Solve a - 13 = -0*j - 3*j, 5*a + m*j - 26 = 0 for a.
4
Let n(m) = 3*m**3 - 4*m**2 - m - 2. Let b be n(4). Let u = 180 - b. Suppose -f + 4*f = 6, 4*l + 5*f = u. Solve 0 = -2*h - 6, 0 = 3*z - 3*h - l - 3 for z.
2
Suppose -9 = -5*f - 2*d, 4*d = 4*f + f - 27. Solve 3*g = 3*i + 18, -f*g + i + 9 = -1 for g.
2
Let b be (-55)/(-15) + (2 - (-15)/(-9)). Solve -3*u - 7*l = -2*l + 27, -3*l = b*u + 25 for u.
-4
Let m be ((-2)/(-4))/(5/(-120)). Let r = 12 + m. Solve 2*d + 5*z = 18, 0 = -3*d - 2*z + 5 - r for d.
-1
Suppose 3*v + t - 56 = 5*t, 2*v + 4*t = 44. Let a = v + -9. Solve 2*h - a = j, 0 = -h - 3*j - 13 + 1 for h.
3
Let z = -28 + 28. Solve -2*k = -5*w + 18, z*w - 4*w = -k - 15 for k.
1
Suppose 10*r - 7 = 5*r - 2*i, -9 = r + 3*i. Suppose 3*u - 11 = 5*g, -5*g = u + r - 0. Let a = g - -3. Solve -a*m + c = 6, 3*m + 11 = 4*c - 8 for m.
-1
Suppose -2*r - 3*n + 45 = 0, -4*r - 3*n = 2*n - 89. Let c = r + -3. Solve -5*s + w - c = 0, -3*s - 3*w - 22 = s for s.
-4
Let i = 8 - 10. Let z = 7 + i. Let b = 3 + z. Solve -2*n = 3*n + a + 27, 2*n + b = a for n.
-5
Suppose -5 = -3*s + 1. Solve s*l + 15 = -a - 0*l, 0 = 4*a - 5*l - 5 for a.
-5
Let z(h) = -4*h + 12*h + 0*h - h**2 - 4. Let k be z(6). Let g be (-3 - -3) + (27 - 10). Solve -k = 2*s, g = -3*t - 5*s - 0 for t.
1
Let h(f) = -2*f. Let z be h(0). Solve 3*g - 3*i = -9, 3*g + z*i - i + 5 = 0 for g.
-1
Suppose 5*y = -4*h + 1 - 2, 4*y = -h + 8. Let j be (2 - -1)/((-3)/2). Let i = j + 4. Solve -y*c - 21 = 2*a, 0 = 4*a - i*c + 2 - 0 for a.
-3
Suppose 285*r - 284*r = 0. Solve -4*k - 20 = r, -4*k = -5*b - 0*b for b.
-4
Let j be (-52)/(-12) - 1/3. Solve 0 = -4*x, 5*y - 10 = 3*y - j*x for y.
5
Let i(c) = -c**2 - 6*c + 5. Let q(m) = -m**2 - 6*m + 4. Let f(r) = -2*i(r) + 3*q(r). Let o be f(-6). Solve -a - o*a + 4 = -d, 0 = -a + d + 4 for a.
0
Let c be (-12)/9 - (-3)/9. Let i(x) = x + 1. Let r be i(c). Solve r = -2*v - 5*u + 8, -4*v + 0*v - 2*u = -16 for v.
4
Let i = 9 + -1. Solve 3*y - u - 3*u = -i, 4*y + 3*u - 6 = 0 for y.
0
Suppose -2*i = 4*k + i - 22, 3*k - 6 = 3*i. Solve 2*w = -c, 9*c - k*c - 12 = 2*w for c.
2
Let g(f) = f - 15. Let u be g(19). Solve -q + x - u = q, 5*x = 0 for q.
-2
Suppose 0 = z - 6*z - 65. Let w = 18 + z. Solve -w = 3*m - 4*j + 12, -16 = 2*m - 5*j for m.
-3
Let w(z) = -z**3 - 5*z**2 - 5*z - 1. Let x = 12 + 8. Suppose 0 = -6*j + j - x. Let y be w(j). Solve 3*i - 3 = -y*s - 0*i, 2*s = i - 13 for s.
-4
Let o = -6 + 5. Let a be (1 - 2 - -16) + o. Solve 4*g - p - 20 = 2*p, 5*g - a = p for g.
2
Suppose 8 - 4 = 2*i. Solve -5*t - 4*k = -23, -2*k = t - 5 - i for t.
3
Let b be (-4 + -4)*(-2)/2. Let o = -3 + b. Solve o*t = 2*y - 21, -3*y - 9 = -5*y + t for y.
3
Let v be ((-3)/2)/(12/(-40)). Solve -3*u = w - 4 + 1, -v*w = 2*u + 11 for u.
2
Let w be (-80)/(-64) + 6/8. Let p(u) = -u**3 + 3*u**2 + 5*u. Let s be p(4). Solve 3*q + 8 = s*m, -4*m = w*q - 4*q - 4 for m.
-1
Suppose 0*k = -4*k + 16. Solve -2*l + 4*f = -24, -k*f + f - 4 = 2*l for l.
4
Suppose -2*w - 2 = -4. Let t be ((-1)/(-3))/((-2)/(-24)). Let s = t - w. Solve 0 = 3*f + s*v - 9, 0 = -2*f + 4*v - 3*v for f.
1
Let s be (34*(-3)/6)/(-1). Solve -4*o - 2*t + 22 = 0, -s = o + 2*t - 6*t for o.
3
Let j = 21 - 12. Let k = j - 4. Solve 0 = -2*o - 2, 5*p = p - 3*o + k for p.
2
Suppose 2*s = 2 + 8. Suppose 5*z = 3*r + 21, s*z - 2*r - 19 = -0*r. Solve 12 = -4*f + z*b, 3*f - 9 = 6*f - 3*b for f.
-3
Suppose 13 = 4*r + 5, -d + 5*r = 4. Let y be (-4)/3*(-5 + 2). Let n = d - y. Solve j - 4*j + n*v + 3 = 0, 4*j - 3*v = 5 for j.
-1
Let k(f) = -21*f - 5. Let p(d) = -10*d - 2. Let b(r) = -3*k(r) + 7*p(r). Let v be b(1). Let u = 9 + v. Solve -3*c = -8*w + 3*w - 22, -5*c = u*w - 14 for c.
4
Suppose -6*z + 60 = -2*z. Suppose -4 = 3*b - b. Let q be b/3*(-1 - 5). Solve 5*l - z = 2*i, -q*l + i = -6 - 6 for l.
3
Suppose -w + 9 = -4*w + 3*x, -12 = w - 4*x. Suppose 0 = 4*l + m - 15, 3*m = 8*m + 5. Solve -3*z + w*z + f = l, z = -4*f + 16 for z.
0
Let p(w) = w**2 - 8*w + 1. Suppose 0 = q + 2*q + 21. Let f(r) = r**2 + 7*r + 8. Let t be f(q). Let v be p(t). Solve 3*k - 15 = 4*b, 2*k - 11 = -3*b - v for k.
5
Let y = 0 - 0. Let v(l) = l**3 + 6*l**2 - 6*l + 15. Let b be v(-7). Suppose y = -10*t + 6*t + b. Solve t*g = -5*w - g - 22, -4*g = 16 for w.
-2
Let v be (-57)/4 + (-13)/(-52). Let k = v - -18. Solve l - k*a - 1 = 0, 3*a - 5*a = -5*l - 13 for l.
-3
Let v be 19 + (2 - (0 - -1)). Suppose 0 = r - j - 6, r - 2*j - 12 = 2*j. Solve -z - 16 = -r*g, -5*g = -z - v - 1 for z.
4
Suppose 184 = -5*k + 59. Let d be 2/6*3 - k. Solve m = -t - 9, 2*m + 0*t = -4*t - d for m.
-5
Let h(a) be the third derivative of a**5/15 + a**4/24 - a**3/6 - 4*a**2. Let k be h(1). Solve -2*y - 3*w + 17 = 0, k*w = -5*y - 0*w + 32 for y.
4
Let h be ((-6)/2)/((-3)/4). Let r = -7 - -21. Solve 2*o + 0*o + h*k = -r, 5*o + 20 = 5*k for o.
-5
Let p(s) be the first derivative of s**2/2 + s + 5. Let v be p(1). Solve -4*g = 5*z - 14, -v*z + 2*g = -0*z - 2 for z.
2
Suppose 0 = -3*k - 9, 2*o + 3*k - 5 = 4. Suppose 0*i = -4*m + 3*i + o, 5*i = -15. Suppose -3*x - x + 20 = m. Solve -9 + 23 = d - x*v, 0 = -2*d - 3*v + 2 for d.
4
Let d(b) = b**3 - 14*b**2 + 14*b - 11. Let u be d(13). Solve 4*a - 2*f + 15 = f, 11 = -3*a + u*f for a.
-3
Suppose 5*z = 5*m + 95, 0*m + m = -4. Let x = 6 - 6. Let s(h) = h**2 - 11*h + 14. Let r be s(10). Solve x = -3*a - q + 7, -r*q - z = -3*a - q for a.
3
Let b be (3/(-2))/3*-4. Suppose 0 = -b*l - 2*l + 64. Solve 2*s - 3*s - 3 = -w, -4*s + 2*w = l for s.
-5
Let p be 14/6 - (-2)/(-6). Let w(h) = h**2 - 2*h + 3. Let o be w(2). Let v be (-4)/(-6)*o + -1. Solve -v = -4*c + 3*y - 4, -4*c - 2*y = -p for c.
0
Suppose 0 = w + w. Let y = 12 - 8. Suppose -4*o = y - 20. Solve w = c - 5, 0 = 5*h - o*c + 15 for h.
1
Let k(f) = f**3 - 7*f**2 + 7*f + 2. Let n be k(6). Suppose 0 = -n*t + 5*t + 3. Solve -4*v - o + t = 5, -v - 4*o - 1 = 0 for v.
-1
Let f be (-36)/(-8) - (-2)/(-4). Let l = -276 + 281. Solve -5*k = 3*m - 5, 3*k + l*m - f = 15 for k.
-2
Let s = 26 + -3. Suppose -210*o + 207*o = 0. Solve -4*t = 5*h + 7, s = 4*t - 5*h - o*h for t.
2
Let j be 4/(-18) + 47/9. Let d be ((-2)/(-4))/((-2)/(-24)). Let l(a) = -a + 7. Let u be l(7). Solve 4*c + 5*v - 23 = u, -4*c + d = v - j for c.
2
Let f be (21/6 + -3)*18. Suppose -p - 2*p + f = 0. Solve -q = -4*l - 6, 4*q + l + 16 = -p*l for q.
-2
Suppose 3 - 2 = j. Let q be j + (-12)/(-4 + 1). Solve 0 = q*w + 4*v + 9, 4*w + 5 = 3*w - 4*v for w.
-1
Let i be (-42)/15 - (-3)/(-15). Let r be i/(-12) + (-22)/(-8). Solve 1 = r*q + s + 15, 5*q = s - 18 for q.
-4
Suppose 4*c = 5*g + 20, 3 = -g - 0*c + c. Let n = g - -11. Suppose 0 = -f + r + 3, 0*f + 2*r - n = -f. Solve 6*i - i = 2*z - 10, -f*z - 2 = i for i.
-2
Let j = 41 - 36. Solve j*q + y = 5, -q = -2*q - 3*y + 1 for q.
1
Let i(f) = -f**2 + 9*f + 5. Let r be i(9). Solve 2*o + 9 + 1 = 0, 0 = 5*h - r*o for h.
-5
Let g be 1/(1 + -5)*(-5 + -3). Solve q + g*q + w + 6 = 0, -2*w = q + 7 for q.
-1
Suppose 2*o - 43 - 45 = 0. Suppose 3*l + 2*f = 17 + o, 2*f = 3*l - 77. Solve -5*n + 3*h = -3*n - l, -2*n = 5*h + 17 for n.
4
Suppose -2*x = 3*o - 20, -4*x = -0*x - 4*o. Suppose 2*q - 4*w - 13 = -1, -5*q + 2 = x*w. Solve -4*s - 16 = 0, 6 - 16 = -q*t + 5*s for t.
-5
Let f be (2 - 2) + (-4 - -11). Let q be (-160)/(-56) + 1/f. Solve 0 = 5*b + 5, -3*x - 3*b = -x + q for x.
0
Let t = 19 + -15. Solve 5*j = -2*a + t - 1, 4*a = -2*j + 14 for j.
-1
Let u be 16/(-6)*3/2. Let w be (14/21)/((-4)/(-42)). Let r = u + w. Solve -5*m + r*q = -q - 13, 3 = -m - 2*q for m.
1
Suppose -4 = -k - 1. Let y be -1 - k*(4 - 3). Let t be (-10)/y*(-2)/(-1). Solve t*o = 2*s - 0 + 2, -3*o = 0 for s.
-1
Let v = 20 + -18. Solve -y = -5*c + 22, 2*y + 16 = v*c - 2*y for c.
4
Suppose -3*g = -4*g, -4*c + 5*g + 12 = 0. Solve c*