 -3 = -3*s, -3*s + u*s - 14 = -3*m for m.
4
Let q = 69 - 64. Solve -3*c - 3*m - 18 = 0, 0*c - q*c - 24 = 3*m for c.
-3
Let y(n) = 9*n**2 - 2*n + 1. Let o be y(1). Let f(c) = 17 - 2 - c + 1. Let g be f(10). Solve 2*z + 5*p - 3 = 0, 0 = -z + g*z - 3*p + o for z.
-1
Let y be -57*(0 + -1)/3. Suppose -n + y = 2*i - 35, -3*i + 87 = 3*n. Solve -2*w - 2*w - h + i = 0, -4*w + 2*h + 10 = 0 for w.
5
Let j(q) = q - 4. Let l be j(4). Suppose l = 2*k + k. Solve -3*y + 1 = u, -2*y + k*u + 24 = -4*u for y.
2
Let p(k) = -4*k - 15. Let f be p(-12). Solve -4*a - 5*x + f = -12, 3*x = -4*a + 35 for a.
5
Let n(h) = -10*h**2 + 4*h + 3. Let z be n(-4). Let o = -101 - z. Suppose -5*i = -i - o. Solve -3*r - 16 = -4*d, 2*d - 6*r = -2*r + i for d.
1
Let m(b) = -b**2 + 8*b + 9. Let t be m(9). Let d be t + (-4)/2 + 2. Solve -4*y = -4*k - 32, 2*y - k + 6 - 18 = d for y.
4
Suppose 6*u - 3*u - 9 = 0. Solve 4*r - 8 = 4*k, -2*k + u*r - 6 = -0*k for k.
0
Suppose 0 = 9*s - 4*s - 20. Let n be (2/s)/((-4)/(-104)). Solve -2*u = -10, 0*c = -3*c + 5*u - n for c.
4
Suppose -3*m = -0*m. Let y be 1/((-4)/(-12) - m). Solve -a - 3*a = -y*k - 12, 4*k + 16 = -5*a for a.
0
Let y(d) be the first derivative of -d**2 - 2*d - 4. Let b be y(-3). Solve 3*s = 3*n - 0 + 3, 4*n - 36 = -b*s for s.
5
Let b = -6 + 9. Let w be b/((3/2)/1). Solve -5*a + 0*p + 2*p = -30, 0 = 3*a + w*p - 2 for a.
4
Let g be 1 + (-5 + 3)/(-1). Suppose 0*h + g*h - b = 43, 2*b - 19 = -h. Solve i = 2, -2*c + 4*i - h = -1 for c.
-3
Suppose -2*u + 18 = 4*u. Solve 3*d + 2*w = -10, 0*d + 4*w = -u*d - 14 for d.
-2
Suppose 5*f - 5*u + 10*u + 10 = 0, -f - 4*u = 11. Let r be (-1)/2 + (-21)/(-6). Let y = f + r. Solve -24 = 5*m - y*v, -5*m + 7 - 32 = -5*v for m.
-4
Let x(v) = 5*v - 5. Let c = 7 + -3. Let p be x(c). Let b be ((-3)/(-9) + 0)*p. Solve -o - o - b = y, 0 = o + y + 5 for o.
0
Let r be ((-9)/(-36))/(1/8). Solve 2*p = -r*p - c + 2, 5*p + 5*c - 10 = 0 for p.
0
Suppose 0 = -h - 3*l + 1, 0 = -4*h + 4*l - 2*l + 18. Solve -s - 2 = -5*x + 16, -h*x - 2*s = -20 for x.
4
Let w(g) = g**3 + 4*g**2 - 4*g - 1. Let n be w(-3). Let z be ((-6)/4)/((-3)/n). Suppose 6*s - z = 4*s. Solve 3*p = -s*y - 13, -y - 4*p = 4*y + 14 for y.
-2
Let y be (-1)/(3 - 28/10). Let k = y + 9. Solve -5*a = 4*b + k, -2 = -4*a + b - 22 for a.
-4
Suppose -27 = -5*b - 7. Solve -b*g + 17 = g + 3*c, -11 = -4*g - 5*c for g.
4
Suppose -3*d = -4*a + 23, -3*d + 2 + 0 = a. Let h be (-2 - -3 - 0) + d. Solve -5*b + 5*c - 5 = 0, -5*b + 25 = -h*c + 5*c for b.
2
Suppose -4*j + 6*j = 2*b + 10, 0 = 2*j + 2*b - 10. Solve -j*q - 8 = u + 12, -q = 5*u + 28 for u.
-5
Suppose h = -3 + 7. Suppose v = 5*r - 22, -2*v + 9 = 3*r + 1. Suppose r*c - c = 3. Solve -h*t - 16 = 4*o, 2*o - 2*t - 3 = c for o.
-1
Let w(m) = m**3 + 10*m**2 - 11*m + 3. Let p be w(-11). Solve -p*t + t - 2*v = 14, 2*t + 5*v = -20 for t.
-5
Suppose -3*j + 2*j - 15 = -4*x, 0 = -x - 3*j + 7. Solve u + x*u - 30 = -4*k, u - 7 = -k for u.
2
Let u = 5 + 0. Let z(t) = -t - 4 - t + u*t. Let g be z(4). Solve -3*d + 2*d - g = -2*w, -2*d = 2*w + 4 for d.
-4
Suppose -25 = -5*s - 5. Let u = s - 2. Solve l + 4*n = 3*l + 4, 4*l + 2*n - u = 0 for l.
0
Let h be (-6)/(-14) + 100/28. Suppose m = h + 15. Solve r - 1 = c, 3*c = -r - 2*c + m for r.
4
Suppose 0 = 5*v + 5*s - 165, 2*v + 3*v = s + 135. Solve 0*i = -3*i + 9, -v = 4*x - 4*i for x.
-4
Suppose -2*r = -5*r - 15. Let w(a) = -a**3 - 5*a**2. Let v be w(r). Suppose v = -x + 6*x. Solve x*z = -d + 3*z - 20, -2*d - 25 = -3*z for d.
-5
Let r(i) be the first derivative of -i**2/2 - 9*i - 6. Let c be r(-12). Solve 25 = 5*f, -2*t - 18 = -t - c*f for t.
-3
Let b(s) = -3*s + 8*s - 3*s. Suppose 12 = 4*g - x, -5*g + 4*x + 5 - 1 = 0. Let n be b(g). Solve q - 25 = 5*q - 5*a, n = -2*q - 2*a for q.
-5
Let k be 8/(-28) - 702/(-7). Suppose 4*t - p = 2*p + k, 5*t - 125 = -3*p. Solve 4*b = 9 - t, 4*h - 3*b - 12 = 0 for h.
0
Suppose 4*k + k - 90 = 0. Let r = 45 - k. Solve -q + r = -0*q - 5*p, 3*q - p - 11 = 0 for q.
2
Let s be 3 - (6/9)/(3/(-72)). Solve -q + 5*j = -s, -5*j = -2*q - 2*q + 31 for q.
4
Let a = -3 + 7. Suppose -4*r - 3*d + 31 = 0, 2*d = -r + 17 - 3. Solve a*w - 4*z + 4 = 0, -r*w + z = 5*z + 28 for w.
-4
Let z(a) = a**2 + 2*a - 1. Let l be z(-4). Suppose 0 = -3*v + 5*o + 50, -3*v - 4*o = o - 10. Solve -v = -5*x, p + l = -0*p + 4*x for p.
1
Let k be (60/(-70))/(2/(-14)). Let q be k*(-1)/(-2) - 0. Let r = -3 + q. Solve -4*g - 4 = -3*x, x - 12 = -r*x + 4*g for x.
-4
Suppose -10 = -5*f + 4*f. Let i = f - 7. Let b be (1 - 4)/(-3) + i. Solve -b*u = -5*y - 3, 4*y + 1 + 3 = 4*u for y.
1
Let z be (0 - -8)*(-9)/(-12). Let i be z + ((-6)/(-3) - 1). Suppose 5*t - 3 = -c - i, -5*c - 20 = -4*t. Solve t = 5*w - 5*d + 20, -2*w = -4*d - 1 + 9 for w.
-4
Suppose 2*r + 11 = 2*b + b, 4*r + 2 = 2*b. Let f = 0 + r. Solve -f*y - 5*v = 3*y + 30, 5*v + 20 = 5*y for y.
-1
Let l = -3 + 5. Let v be (1*-3)/(3/(-111)). Suppose -a + v = l*a. Solve -a = 4*f - 6*p + p, 17 = -4*f + p for f.
-3
Suppose 6*i - i - 25 = 0. Suppose i*d - 4*p - 3 = -0, 4*d = p + 9. Solve 5*h = -d*m - 5, 2*h - 18 = 4*m + 3*h for m.
-5
Suppose 0 = -3*k - 0*k - 5*z - 20, 4*k - 4*z - 16 = 0. Let m be 1/(-23)*2 - (-22714)/943. Solve 2*b - 6 = -4*a - k, -4*b + a = m for b.
-5
Let s(h) = -4*h. Let j be s(0). Solve j = -q - f - 4, -4*f = q - 1 + 11 for q.
-2
Let d = 17 + -17. Solve 0 = b + 5, d*b = 3*x + 2*b + 13 for x.
-1
Let v(p) = p**2 - 8*p - 13. Let h be v(10). Suppose 18 = 5*u - h. Suppose 0 = -a + 3*a - 2. Solve -a = -q, 2*q = -r - 0*q + u for r.
3
Let j = 61 + -57. Solve -4*y = 20, j*q - 15 = 2*y + y for q.
0
Let b = 11 + -5. Let q be -2 - (-2)/(b/45). Suppose -q = -4*k - 1. Solve 0 = -3*w, -k = -s + 2*w - 1 for s.
2
Suppose 2*l = -5*p - 2, 4*p + 4*l = -4 - 0. Suppose 2*a + 3*y = -6, -5*a + p*a + 2*y = -4. Solve -2*v - 2*v + 4*m = 16, a = -3*m for v.
-4
Let i(c) = -c - 9. Let z(f) = -8*f**2 - f - 1. Let g be z(-1). Let u be i(g). Let j be (-6)/((-2 - u) + 0). Solve 0 = 3*q - 2*t - 10, -2*q + q - 2*t = -j for q.
4
Let t = 12 + 2. Let g(r) = r + 5. Let z be g(-3). Solve -4*a + 5*x + 17 = 0, 4*a - t + 4 = -z*x for a.
3
Let j(k) = k**2 - 7*k + 5. Let h be j(7). Solve h = -2*f + t, -2 - 33 = 5*f + 5*t for f.
-4
Suppose -3*b + 10 + 7 = -u, 3*u = -6. Solve -b*w + 28 = -s, 0 = 5*w - w + 4*s - 8 for w.
5
Let p(o) = o**2 + 7*o - 6. Let n be p(-8). Suppose -n*z = -5*z. Solve -r + 3*d - 13 = z, r + 5*d - 12 = 7 for r.
-1
Suppose b - 3*b = -2. Let m = 4 - b. Solve -m*h + 4*a + 33 = 2*h, -5*h - a = -23 for h.
5
Let f(t) = -t**2 - 8*t - 8. Let i be f(-6). Let v be (10/25)/((-4)/(-100)). Solve i*c + 8 = -2*a, 2*a + 0*a + v = -5*c for a.
0
Let l be 3*(-3)/(-9) + 2. Suppose 6*p = l*p + 36. Suppose 5*z - z = p. Solve -3*g + 3 = -3*u - 0*u, 0 = 2*g + z*u - 12 for g.
3
Let d(n) = n - 5. Suppose -29 = -4*a + 3. Let y be d(a). Solve -y*s + 16 = -2*r - 0*s, 5*r - 2*s + 18 = 0 for r.
-2
Suppose -5 + 57 = -4*c. Let b = c - -18. Solve b*o + 17 = -3*j, 3*j - o = -2 + 9 for j.
1
Suppose 2*g + g = 4*t + 9, 0 = 2*g - 5*t - 6. Solve -5*p + g = 3*o - 8*p, 3*p = -12 for o.
-3
Let y = -124 - -154. Let u = -1 - -1. Solve -3*i = 3*q - 0*i + y, u = -q - 5*i - 30 for q.
-5
Let n = 9 + 0. Solve -5*w = 3*v + n, w - 2*v - 6 = 2*w for w.
0
Suppose b = -4*j + 5, j = 4*b - 12 - 8. Solve 4*p + 1 = n - b, -3*n = 5*p + 16 for n.
-2
Suppose v + t = -4, 2*t - 22 = 3*v + 7*t. Suppose 3*y + 5*w = 24, 18 = 5*y + 4*w - 3*w. Let o = y - v. Solve -5*p - 5*r - 7 = -o, -4*p + 24 = -3*r for p.
3
Let g(k) = -k**2 + 11*k - 13. Let l be g(9). Suppose 5*c + 4*y + 1 = 0, -l*c - 1 = 3*y - 4. Solve 17 = -2*q + 5*p, 0*q - 3*p = -c*q - 12 for q.
-1
Let h = -13 + 17. Solve 4*q = 3*q, 4*q = h*l + 16 for l.
-4
Suppose x = n - 0 - 14, -5*x - 16 = n. Suppose -n = -2*q - 1. Solve -2*g - 13 = -5*b, -q*g = -b - b + 18 for b.
1
Let p(f) = -2*f - 4. Suppose 5*z - 4*m + 9 = -0, -z = -2*m - 3. Let v be p(z). Solve 2*y - v*y = -3*k + 2, 5*y = 5*k for y.
-2
Suppose 2*d + 1 = 7. Let q = -5 - -10. Solve -2*j = -2*f - 14, -d*f - q*j = 1 + 4 for f.
-5
Let h = -18 + 23. Solve 3*b + 11 = r, h = b - 3*r - 2 for b.
-5
Let u(i) = -i**2 + 6*i - 6. Suppose -2*g + 23 = 5*m, 6*m - 3*g = m + 3. Let f be u(m). Let k = 106 + -73. Solve -5*o + p - f + k = 0, o = -p for o.
5
Suppose -3*c + 2 = -1. Let g(k) = -19*k + 3. Let n(d) = -6*d + 1. Let u(p) =