t c = -13 - -18. Suppose -14 = 3*o - c*o. Suppose 3*r + 62 = 5*s, -r + 39 = 5*s - o. Solve 2*u = -2*l - s, l + 21 = -u - 4*l for u.
-1
Suppose -5*n - 16 = -2*k, -k + 7*n - 9*n - 1 = 0. Solve 4*t - 23 = 5*o, -k*o - t - 4*t = -1 for o.
-3
Suppose 16 = -3*z + 7*z. Let m be (z/5)/((-4)/(-50)). Suppose 0 = 38*y - 34*y - 20. Solve m + 4 = -w - 5*q, 4*w + 6 = y*q for w.
-4
Let y(u) = -9*u**3. Let k be y(1). Let a = k + 14. Solve -5*t = 2*x, a + 3 = -2*x - t for x.
-5
Let p be (-4 - 0)/2 - -2. Solve -15 = 5*l + 2*b, 5*l + p*b + b = -10 for l.
-1
Let c be 5*(-12)/(-5)*2. Solve 0 = -g + 2*j, -7*j + 3*j = 4*g - c for g.
4
Let c = -9 - -10. Solve -4*v - 15 = 2*m - c, -5*m = 3*v for v.
-5
Let r(x) = 4*x**2 + 10*x + 11. Let n be r(-1). Solve 4*g + n*t + 26 = 0, -5*t = -5*g - 3*t - 16 for g.
-4
Let c(a) = a**2 - 10*a - 11. Let q = 29 - 18. Let b be c(q). Solve -3*p - i + 18 = b, p - 1 = 2*p - 2*i for p.
5
Let r(v) = v**3 + 6*v**2 + 3*v - 3. Let u be r(-5). Let t = 10 - u. Let a be 11/44 - 23/(-4). Solve 4*c - 21 = -3*j, -3*c + a*c = t*j for c.
3
Let a be 4/((-4)/(2/(-1))). Let y be 1/2 + 78/(-12). Let d be 2*3/y*-3. Solve 2*p - d = -5*c, 0*c = c + a*p - 7 for c.
-1
Suppose 0*m - 4*m = -2*v + 8, -3*m + v - 4 = 0. Suppose -2*g + j + 11 = m, g + 19 = 4*g - 2*j. Solve g*a + 4*n = 9 + 5, a = -3*n + 8 for a.
2
Suppose 2*q - 7 = 1. Let i(a) be the third derivative of a**6/120 - a**5/15 + a**3/3 - 2*a**2. Let n be i(q). Solve -b + n = 3*t, -3*t - 4 = -4*t + 3*b for t.
1
Suppose 5*o = -3*p + 35, -p - 10 = p - 5*o. Solve 5*u - 2*u - 4 = -j, p*u - 25 = 2*j for j.
-5
Suppose -3*a + 66 = -6. Suppose 0 = 21*j - a*j. Solve -4*w - 8 = j, 2*q + 2*w + 6 = 3*q for q.
2
Suppose -w - 3*w + 24 = 0. Let h(c) = c**2 + 8*c + 16. Let q be h(-9). Suppose w*d - q = d. Solve 3*u - 3*r = -8*r - 10, -d*r = 4*u + 5 for u.
5
Let v(g) = 4*g**3 - g**2 + 1. Let f be v(1). Solve 5*m = f*z - z + 6, 5*z - 5*m = 0 for z.
3
Suppose -3*j = -0*j - 6. Let n = 4 - j. Solve -w + 2 = -q - n*w, 2 = -q - 4*w for q.
-2
Let i be 6/(-9) - 1/3. Let k(a) = -a. Let j be k(i). Suppose -y = -j - 1. Solve 4*b - 2 - 6 = -4*u, 0 = -y*u - 4*b + 8 for u.
0
Let w(p) = p. Let a(o) = 2*o + 4. Let g(f) = -a(f) + w(f). Let h be g(8). Let q be (-18)/h*(-10)/(-3). Solve 5*s = -2*z + 9, 3*s + 2*z - 18 = q*z for s.
3
Suppose 4 = -m, -4*m - 4 = d - 0*d. Suppose 3*w - d = 3. Suppose -15 = -w*a - 2*g + 3*g, 3*a = -2*g + 22. Solve -4*c = -a*p + 24, -5*c - 3*p = p + 21 for c.
-5
Suppose -2*y + 6*y = -44. Let s be y - (2 - 1 - -1). Let c = s - -22. Solve -5*h + 2*d = -c, 18 = h + 4*d + d for h.
3
Let t = 14 - 12. Solve 10 = 3*c + o, 3*c - 5*o = -t*c + 10 for c.
3
Suppose h = 3*h - 18. Let l(d) = 2*d - 13. Let z be l(h). Solve z*v - 6*b = -2*b - 20, -5 = 4*v - b for v.
0
Suppose -2*j + 7 = 3*g, g - 2*g - 1 = -j. Solve 4 = 2*v - 4*r + j, 0 = -3*r + 6 for v.
5
Let x be -2*6/4 + 0. Let o = x + 8. Solve -20 = 5*a + o*c, -4*c + 6 = -3*a + 22 for a.
0
Suppose -r + 0*j - 11 = -5*j, -j = -3*r + 37. Solve -5*v + 0*v = 3*z - r, 0 = 5*v - 5*z - 30 for v.
4
Let o = -24 + 26. Suppose -o*l = -4*q - 22, 5*q - 26 = -l + 13. Solve r = h - 3, -5*r = -h - 8 + l for r.
-2
Suppose -9*s = -11*s + 4. Solve -s*v + v + 15 = 3*r, 2*v = -2*r + 14 for v.
3
Suppose -a - 2*a + 15 = 0. Suppose v = -v + 10. Suppose 19 = 3*r + 2*u + 2, v*u = 20. Solve 0 = -r*l + 2*t - a, -l + 7 = -6*t + t for l.
-3
Suppose 3*x = r - 2, 2*r = 3*r - 2*x - 2. Solve 0*h + r*l = -4*h - 18, 4*l = 4*h for h.
-3
Suppose 5*u = 2 + 3. Solve q = 2*r - 8, -r + 5*q - u = 2*q for r.
5
Suppose -4*a + 56 = 3*s, -2*a - a = -4*s - 17. Let k be (-1)/1*(1 - a). Solve 5*g + 2*n - 5*n = 6, 5*n = -k for g.
0
Let m(x) = -x**3 + 16*x**2 + 3. Suppose -90 = -7*h + 2*h + 5*v, 0 = 5*h + 4*v - 72. Let i be m(h). Solve -21 = -5*w + 2*o - 0*o, i*w + o - 17 = 0 for w.
5
Let i(r) be the second derivative of r**4/12 - 5*r**3/3 + r**2 - r. Let x be i(10). Solve 5*p + 4*l - 1 = 0, 1 = -4*p + p - x*l for p.
-3
Let s = -6 + 21. Suppose 3*t + z = s, 2*t + 4*z = -1 + 11. Solve -q + 5*q + 36 = 5*c, -12 = 2*c + t*q for c.
4
Let n = -130 + 135. Solve -q = 2*g - 3, -g + 2*q - 1 = n*q for g.
2
Let j(p) = -2*p + 39. Let x be j(9). Solve -4*w + x = -5*y - 5*w, 0 = 4*y - w + 15 for y.
-4
Suppose g + 0 = 3. Solve -4*q - g*p = -20, q + p - 5 = 5*p for q.
5
Suppose 0 = x - 4 + 1. Suppose 4*c - 4*m = 24, -c + 5*m = x*c - 27. Solve 0*l - 2*l + 28 = -5*i, 4*i - c*l = -28 for i.
-4
Suppose 3*c = 6*c. Suppose 2*u = 8 - 0. Solve -v - 2*z + 2 = -u*v, -4*v + z - 1 = c for v.
0
Suppose -7*t + 2*t = 14*t. Solve t = 5*q + 25, 6*f - 25 = 2*f + q for f.
5
Let g(c) = 11*c**2 + 7*c - 37. Let y(q) = 5*q**2 + 4*q - 18. Let l(x) = -6*g(x) + 13*y(x). Let r be l(8). Solve -3*m + r = 2*s, 2*s - 7 = -s - 5*m for s.
-1
Let o = -55 - -75. Solve u = 5*n - o, 5*n = -u + 9 + 1 for u.
-5
Suppose 16 = -4*f + 4*t, 5*f = -2*t + 3*t - 8. Let u be (f - -2)*(32 + -10). Solve -m - 5*a - u = 0, -2*a - 1 = m + 2*m for m.
3
Let q be ((1 - 0)*1)/(-1). Let g be (-11)/(-3) + q/(-3). Let y be (10/g)/(2/4). Solve o - 2 = -2*b, y = 3*b + 2*o + 2 for b.
1
Let a(t) = -t**2 + 23*t - 18. Let d be a(22). Solve d*i + 7 = 3*n, 3*n - 2*i - 13 = -2 for n.
5
Suppose 5*q = 8*q - 9. Solve 0 = -2*x - c + 6*c + 27, 10 = -5*x - q*c for x.
1
Let i = 57 + -56. Solve -4*h = -2*v - i - 7, 3*h - 7 = v for h.
3
Let c be 2 - -6 - (-4 + 7). Solve -3*w - 16 = 4*g + 7, 5*g - 3*w = c for g.
-2
Suppose 4*j - 4*m - 8 = 0, 3*j + 3*m = m + 16. Suppose 0 = -3*a + 9, -j*a + 51 = 5*d - 2*a. Suppose i = -4 + d. Solve -2*t + i = -4*p - 1, p = 3*t + 1 for p.
-2
Let v be 6/3 - 2 - -20. Let m be (-8)/v - (-33)/(-5). Let r = 13 + m. Solve -2*j + 3*l - 6*l - r = 0, -4*j + 8 = -4*l for j.
0
Let m(w) = -2*w - 3. Suppose 0*c - 5*c - 35 = 0. Let u be m(c). Let s(p) = -p**3 + 6*p**2 + p - 2. Let t be s(6). Solve v - 5*j - 22 = 6, 3*v = -t*j - u for v.
3
Let u = 14 - -26. Solve q - 4*v = 6*q + u, -3*v - 27 = 3*q for q.
-4
Let t(f) = f - 8. Let p be t(8). Suppose p = 2*g + 4*s + s - 3, 2*g - s = 9. Solve -y + 8 = -3*o, g*y - 1 + 5 = 3*o for o.
-4
Suppose -4*w = -184 + 48. Let l be 4/(-32)*-4*w. Suppose 20 = 5*m - m - 4*u, 2*m = 4*u + 10. Solve -5*q = m*y + 35, 4*q - 4*y - l = y for q.
-2
Suppose -u = r - 1, 5*u - 6 = -4*r - 0*r. Let m be (1/r - -5)/1. Suppose 20 = -t - m*t, 4*t + 11 = -g. Solve -3*s - 2*d - 6 = 0, -8 = 4*s + g*d - 2*d for s.
-2
Suppose 0 = -12*b + 5 + 7. Let y(p) = 0*p**3 + 4*p**2 + p**3 + 6*p - 2*p**3. Let s be y(5). Solve -3*w - w - b = -s*l, -4*w + 5 = l for w.
1
Suppose m - 5 = 2*s, -6 = 3*s - 0. Solve -2*c + 5*v = -3, 0*c - c = -5*v + m for c.
4
Let y be (-1 - 1)/((-1)/1). Let w be ((-12)/10)/(3/25*-5). Solve y*j = -4*v - 24, 0*j - w*j - 2*v = 14 for j.
-2
Let r(o) = o**3 + 4*o**2 + 2*o. Let l be r(-3). Suppose 28*v - 21 - 35 = 0. Solve -2*c = l*f + 4, -4*c - 4 = -v*c + 2*f for c.
-2
Let h be (-4)/(-14) - 1390/(-35). Solve -h = 5*k - 6*m + m, -3*k + m = 18 for k.
-5
Let x(l) = 2*l**3 - 2*l**2 - l - 1. Let g be x(2). Suppose -14 - 1 = -j - 5*t, -4*j - g*t + 30 = 0. Solve 0 = w - 2*q + j, -16 = -3*w - 4*q + 19 for w.
5
Let w(z) = -z**3 + 6*z**2 + 12*z - 1. Let n be w(7). Suppose 23 + 11 = 3*d - 5*j, 0 = -4*d + j + n. Solve 5*b - 4*x + 15 = 0, 4*b + d + 4 = 2*x for b.
-3
Suppose 44 = -n + 3*n + 2*u, 14 = n + 5*u. Suppose 0*a = -2*a + n. Suppose -j - 2*j + a = 0. Solve 0*y = -4*y + 4*h - j, -2*y + 7 = -5*h for y.
-4
Suppose h + 4 = 9. Suppose -19 = -h*m + 11. Let s be (-10)/(-4)*m/5. Solve s*u + 2*v = -1, 2*u = u - 2*v + 1 for u.
-1
Let t(h) = 2*h**3 - 2*h**2 - 2*h - 3. Let y be t(3). Let o = 56 - y. Solve v = 2*q - 7, 4*v + 2*q + 7 = o for v.
3
Let v = 38 - 33. Let a be 3/6 + 10/4. Suppose -44 = -2*n + c - a*c, -46 = -3*n + 2*c. Solve -5*s + s - n = 2*x, 0 = -v*s + 5*x for s.
-3
Suppose -4*x + g = x - 20, -5*x = 5*g - 50. Solve 2*h = -3*v + x, h + 4 = -3*v + 14 for v.
5
Let i(c) = c**2 - 2*c - 3. Let v be i(4). Suppose -j - j = -54. Solve -o - v = -0*o + 5*b, -5*o + b = -j for o.
5
Let i = 77 - 73. Solve 2 = -3*d - 2*p, p = -4*d - 3*p + i for d.
-4
Suppose 2 = -2*r + 10. Solve 3 = 2*p - d - 2*d, r = -3*p - 4*d for p.
0
Let h(r) = -6*r + 2. Let v be h(-3). Suppose -4*s + 123 = 323. Let t be 6/5*s/(-5). Solve 5*a = -2*l + v, -5*l - 3*a = -l - t for l.
0
Suppose -4*t + 0*t = 5*c - 27, 5*c - 43 = 4*t. So