lve -4*v - 7 - x = -4*m, 10 = 5*m for v.
-1
Let s be ((-15)/(-9))/(-1)*-3. Suppose k - s = -4*k. Solve -19 = 5*p + 3*t, -p = 5*t - k - 4 for p.
-5
Let u be ((-8)/(-10))/((-64)/(-1120)). Solve -17 = o - 4*t, 3*o - o + u = 4*t for o.
3
Let c(k) = -2 + 2 + k**3 - 2 + k - 2*k**2. Let q be c(2). Suppose 5*m - 18 - 7 = q. Solve 0 = -5*y - u - 3, -2*u = -m*y + u + 9 for y.
0
Let a be 7/((-21)/(-18)) - -1. Let h be (0*4/(-16))/(-1). Solve 3*b + o = -6, h = -b + 5*o - a - 11 for b.
-3
Suppose -5*r = -4*r - 17. Let k be 5*(1 + 0)*1. Suppose -k*i + r = 2*t + 3, 8 = 2*i + 2*t. Solve 0 = -3*p + 9, o = p - i + 4 for o.
5
Let m = 2 - -14. Suppose 2*z = -2*z + m. Solve 2*d = 5*f - 4, -3*d - 3 = -z*d for f.
2
Suppose 0 = 4*k + 5*s - 25, -k - 22 = -5*k - 2*s. Solve p + k = -0*p - 2*h, 2*h = 0 for p.
-5
Suppose z + 5 = -3*v - v, 3*z - v - 11 = 0. Solve 2 = -2*k - 4*m - m, z*k + 3*m + 3 = 0 for k.
-1
Suppose 1 - 4 = -y. Solve -2*h - 5*w = 0, 0 = -h - y*h + 4*w for h.
0
Let l(y) = y**2 - 17*y + 16. Let t be l(16). Solve q + 3*a - 12 = t, -a - a + 15 = 3*q for q.
3
Let i(u) = u**3 - 7*u**2 - 9*u + 10. Let f be i(8). Suppose 6*q - 2*q = 0. Solve 3*z = -q*a - f*a - 7, 2*a - z - 5 = 0 for a.
1
Suppose -4*x = r, -r - 4*r + 18 = 2*x. Let o be (-1*5 - -1)*x. Suppose 0 = -5*y + 13 + 22. Solve -y = -3*j - 3*k - 25, -2*j = -o*k for j.
-4
Let a be (-2)/4 - 37/2. Let h = -8 - a. Let c(d) = d**2 - 3*d. Let l be c(3). Solve l*t = -3*v - 4*t + h, -4*t = -v - 7 for v.
1
Let g be (-9)/(1 + (-10)/4). Let w = 2 - g. Let x be 7 + -3*w/(-6). Solve a + 3*s + 16 = 0, 4*a - x*s - 3 = 1 for a.
-4
Let b(t) = t**3 - 6*t**2 + t - 6. Let m be b(6). Let g be (-1)/((-3)/12) + -1. Solve m = 5*l - 2*s + 4, -5*l - g*s - 2*s = 25 for l.
-2
Suppose -w + 6*w + 22 = -2*s, -4*s + 4 = -2*w. Let b be 1 - (w/(-2) + -5). Solve -4*q - 4*y + 16 = -8, -2*y = b*q - 16 for q.
2
Let i be 35/(-28) + 39/12. Let a = 0 - -5. Suppose 2*t - t = 0. Solve i*m = 2*d - d + 5, a*d - m - 20 = t for d.
5
Let i be -2*(3 - (-44)/(-8)). Let k(t) = t - 5. Let z be k(i). Solve -2*a - 2*l + 12 = 0, -3 + z = -3*a + 2*l for a.
3
Suppose -2*k - 11 = -23. Solve -4*z + 9*z = 4*y - 3, -2*z + k = -4*y for z.
-3
Suppose 0 = 6*w - 10*w + 12. Suppose 4*i = w*i + 24. Let m(o) = -3*o. Let j be m(-1). Solve j*a = -r + 14 - 6, -4*a = 4*r - i for a.
1
Suppose -3*w - 6 = -0*b - 5*b, w = -4*b + 15. Suppose 23 = b*q + v, 3*v - 8*v + 31 = q. Let r = -4 - -8. Solve 4*y + q = 3*t - 6, 0 = 4*t - r*y - 12 for t.
0
Let r(y) = -y**2 - 5*y - 1. Let j be r(-4). Let t = 10 - j. Suppose t = 5*a - 3. Solve -o - 13 = 4*g, -5*o - 6 = g + a for g.
-3
Suppose -2*l - 36 = -5*f - 202, -5*f - 151 = 3*l. Let h = f + 62. Solve -6*y = -y + s + 23, 4*y - 5*s = -h for y.
-5
Let n(x) = -2*x - 4. Let i be n(-5). Suppose -i = -m - 0. Suppose m + 0 = 2*p. Solve -3*o + 2*f + p = -f, 3*o - 2*f = 7 for o.
5
Let y = -23 - -24. Suppose y = 4*p - 11. Solve -p*t + 3 + 6 = -4*f, -t - 7 = 2*f for t.
-1
Let k(p) = -p - 3*p**2 - p**2 + 5*p + p**3 - 6. Let v be k(4). Suppose v = a + 4*a. Solve 5*i + 5 = -a*s - 10, -2*i = -4*s + 30 for s.
5
Let g be 27/6 - 2/(-4). Suppose -i - 12 = -g*i. Solve 2*x - 2 = i*q, 0 = -7*x + 2*x - 3*q - 16 for x.
-2
Suppose -3*n + 5*n = 0. Let s(a) = 2*a - 1. Suppose 20 = -u + 5*u. Let y be s(u). Solve -2*d - y = x + 3, n = -d - 5 for x.
-2
Let l = 86 + -82. Solve -l*f - 24 = q, -f + q - 1 = -0*f for f.
-5
Let q(g) = g + 8. Let w be q(-5). Solve -j + 4*j - i + 1 = 0, -4*j = -w*i - 2 for j.
-1
Let k be 3/(-3)*1/1. Let m = 3 + k. Solve -m*p - l - 7 = 0, 2*p + 11 = -3*p + 4*l for p.
-3
Let w(a) = -a**3 - a + 6. Let i be w(0). Let q = i - 1. Solve 2*s = q*n - 3*s + 5, 3 = -s for n.
-4
Let f = 11 - 6. Suppose f*w - 17 = 3. Solve -28 = -w*z + 4*u, 3*z = -z + 2*u + 22 for z.
4
Let y = -9 + 16. Let h = 1 - -6. Let f = 12 - h. Solve f*i - 4*v - 29 = 0, 5*i + 3*v = 3*i + y for i.
5
Suppose 0*x = -2*x + 14. Let y be -4 + x + (-2)/2. Solve -y*n + 4*s = -26, 0*n = n - s - 8 for n.
3
Suppose 3*j + 0*j + 5*d + 170 = 0, 4*j - 3*d = -217. Let t be (-33)/j - (-7)/5. Solve 3*p = -5*v + t*p - 29, 0 = -v + p - 1 for v.
-5
Let b be (-12)/(-36) + (-41)/(-3). Let h(y) = -22*y. Let u be h(-1). Solve 4*v + u = 2*c, -v - b = v - 4*c for v.
-5
Let p = 14 - 10. Suppose i + 28 = p*a + 4*i, -a - i + 8 = 0. Solve 1 = 3*g - j + a, 0 = -5*g - j + 3 for g.
0
Suppose -q = -3*q. Suppose 5*k = -q*k + 2*x + 10, -k = 4*x - 2. Solve 4*g - 14 = 5*p, k*g - 3 = 4*p + 7*g for p.
-2
Suppose -5*h = -206 - 594. Suppose 2*z = -3*z + h. Solve a = -2*u + 13, -2*a - 2 + z = 5*u for a.
5
Let g = 31 + -24. Solve -4*a = 12, 22 = 4*r - 3*a - g for r.
5
Let j(m) = m**3 - 2*m**2. Let a be 4/(-6) - (-8)/3. Let k be j(a). Suppose t + k*t - 4 = 0. Solve -5*q + 2*c = c - 19, -3*q - t*c + 16 = 0 for q.
4
Let t(u) = -8*u + 5. Let w be t(3). Let b = 19 + w. Solve b = 5*i + 20, -3*s + i - 8 = -0*i for s.
-4
Suppose -1 = d + 1. Let h = d + 2. Solve 5*v + 4*y + h = -3, -3*y = -3*v + 9 for v.
1
Let o(l) = 2*l**2 + 2*l - 2. Let i be o(-2). Suppose 0*t + 16 = 4*x - t, -i*x + 3*t = 2. Solve 5*c = x*m - 5, 5*c = -0*c + 20 for m.
5
Let k(c) = -c**3 + c**2 + c - 5. Let m be k(0). Let w = m - -5. Solve -5*q = 3*s - 10, 5*q - 2*s = -w*s + 35 for q.
5
Let k(n) = -n**2 + 2*n + 2. Let j be k(0). Solve o + z + 1 = 0, o - 3*z - 9 = -j*o for o.
1
Suppose 2*x + x - s = -49, 2*x - s = -31. Let o(v) = -2*v**3 - 2*v**2 - 4*v - 3. Let j be o(-1). Let h be 3/x + j/6. Solve -4*d + 3*d - 3 = 3*f, -4*f = h for d.
-3
Let y be (-4 + 39/9)/(3/18). Solve h - y*d + 2 = 0, -3*h + 7*h + 4*d = -20 for h.
-4
Suppose -3*k = -0*p - 3*p + 3, 2*p = 10. Solve -4*z = -k*f - 8, 2*f + 2*z - 2 = 10 for f.
2
Let s be 17/2 - 6/4. Let p = 11 - s. Let f = 8 - p. Solve -x - 7 = -f*j, -2*j + j + 2*x = 0 for j.
2
Let b = 10 - 4. Suppose 4*w + 4*x + b + 2 = 0, 2*x + 6 = 0. Solve -3*s - 30 = q + 4*q, -2*s - w = -3*q for s.
-5
Suppose -4 = -4*u - 2*w, 5 - 1 = w. Let y be (6/(-9))/(u/(-9)). Let t be 0*((y - -3) + 4). Solve t = -5*i + i - 2*m + 14, 21 = 3*i + 5*m for i.
2
Let y be 51/9 + 4/(-6). Let h = 7 - y. Let v = 18 - 13. Solve h*b - n - v = -0*b, b - 8 = -5*n for b.
3
Let c(i) = i**3 + 11*i**2 - 12*i. Let w be c(-12). Solve w = 4*t + 2*l + 8, l = 2*t - 3*t for t.
-4
Suppose 2*c - 3 = 1. Suppose -c*k + 0 = -8. Solve -x = -4, -6*i = -k*i - 2*x + 6 for i.
1
Suppose 4*p - 46 = -3*h, 5*p = -3*h - 0 + 59. Solve -3*t + 3 = 2*r - 14, 4*r = t + p for t.
3
Suppose j = -3*q + 3, j + 2*q = 5*j - 12. Suppose -j*n - t + 89 = -3*t, 2*t = -4*n + 128. Solve -o + 2 + 17 = 5*h, -4*o - 5*h = -n for o.
4
Suppose 5*g - 169 = -94. Solve 2*z = 4*l - 3 - g, 5*l - 20 = 0 for z.
-1
Suppose -2*s = 3*s - 20. Solve -10 = -2*p + 2*g, s*p + 0*g - g = 8 for p.
1
Let q(c) = -3*c - 3. Let g be q(-2). Let f be 2/2 - g - -3. Solve f = 5*n - n - r, r = 3*n for n.
1
Suppose -2*o + 8 = 0, 0*t - t + 12 = 2*o. Let f = 24 - 39. Let n = -10 - f. Solve t*z - 3*r + 0*r = 4, 2*z - n*r - 16 = 0 for z.
-2
Let z(c) = c**3 + 10*c**2 + 9*c + 3. Let o be z(-9). Suppose 2*j + o*j - 25 = 0. Let s be (2/(-1))/(2/(-19)). Solve 2*m - 5*y = s, 3*m + j*y = m - 11 for m.
2
Let m(s) be the third derivative of -s**4/24 - s**3/6 - s**2. Let c be m(-4). Solve 5*w = -4*l + 14, 0 = -c*w + 3 + 3 for l.
1
Let g(i) = i**2 - 5*i - 4. Let n be g(6). Solve -10 = -n*j, -3*f - f - 11 = j for f.
-4
Suppose -4*o = -o + d - 1, 3*o = 5*d + 31. Let u = o + -3. Let a = 2 - u. Solve 4*k + s = -a*s - 12, 2*s = 0 for k.
-3
Let d(o) = -10*o**2 - 18*o + 49. Let x(u) = 7*u**2 + 12*u - 33. Let f(i) = -5*d(i) - 7*x(i). Let h be f(-8). Solve -2 = 2*b, -b = h*r - r for r.
1
Let c(n) = -n**3 + 3*n**2 + 5*n - 2. Let q be c(4). Solve -q = t + 3*r, -2*t - 2*t + 26 = -5*r for t.
4
Let y = 81 + -75. Solve f - y = -s - 1, -4*f + 12 = 0 for s.
2
Suppose 0*f = 4*f. Let r be (38 - f)*2/4. Suppose -4*w - 3*j - 21 = -7*w, -5*w + j + r = 0. Solve 5*c - 2*y = -26, 4*c - w*y = c - 21 for c.
-4
Suppose 8*s - 46 = 66. Solve 5*m = -2*k + s, 4*k + m = 3*k + 1 for k.
-3
Let h = -1 - -5. Suppose -5*o - 3*i = -22, 3*i = -0*o + 2*o + 8. Solve -3*a + h = 4*m + o*a, -2*m = 5*a - 2 for m.
1
Let t(h) = 2*h - 4. Let c be t(4). Let d(i) = -i - 3. Let k be d(-8). Solve -2*b - c*s = 12, 0 = -k*b - s - 0*s - 3 for b.
0
Let a(u) = -18*u - 15 + 7*u + u**3 + 2 - 10*u**2 - 2*u**3. Let v be a(-9