 = 4*z + 6. Let d be r(-4). Let b be 130/50 + 6/d. Suppose s - b*s = -3. Solve s*m - 2*y = -23, 0 = -2*m - 0*m - 2*y - 2 for m.
-5
Let c(j) = j - 9. Let z be c(11). Suppose -2*w = z*v + 2, v - w = -0*v + 9. Solve 2*a + 2 = -0*a + 4*i, v*i - 37 = -5*a for a.
5
Let u(t) = -t + 7. Let r be u(5). Let j = r - -13. Suppose -20 = -2*n - 4*c, 0 = 3*n - 3*c - 6 - j. Solve 0 = 5*i + v + n, 3*i + v + 3 + 1 = 0 for i.
-2
Suppose -9 = 90*m - 91*m. Solve 25 = 3*r + 5*y, -7*y = 4*r - m*y - 16 for r.
5
Let f = 100 + -97. Solve -b + n = f*b + 5, 5*b + 3*n + 2 = 0 for b.
-1
Let s be 0 - (6/3 - (2 + 0)). Suppose 66*l - 63*l - 6 = s. Solve -4*v + 20 = 4*o, -l*v = -o + 6*o - 19 for v.
2
Suppose 3*p = -2*h - 0*p + 22, -5*h + 13 = -3*p. Let m = h + -20. Let y = 20 + m. Solve -y*t - 1 = -4*u, -2*t - u + 3 = -6*u for t.
-1
Suppose -2*c - a + 0 + 6 = 0, 10 = -5*a. Suppose -4*u = 1 - 29. Suppose 0 = -m - 3 + u. Solve 2*p - c = -w, -7*w - m*p = -3*w - 4 for w.
-2
Let q(m) = m**2 + 6*m - 12. Suppose 5*j = 3*j. Suppose j*r - 12 = 3*c - 3*r, 2*r - 16 = 3*c. Let p be q(c). Solve -3*f - 3 = d, f = 4*f - p*d + 18 for f.
-2
Let o = -100 + 117. Suppose 0 = x - 2. Suppose 3*l - 30 = -x*l. Solve k - l*i + 3*i = 11, 5*i + o = 3*k for k.
-1
Let g(k) = k**2 + 26*k + 5. Let a be g(-26). Let p = 1 - 1. Suppose -x = 3*c + 4, 17 = 3*x - 5*c - 13. Solve 5*d = 5*l - a, 4*d + 3 = x*l - p for d.
-2
Let w be (-1 - 0) + (70/5 - -1). Solve 0 = -2*p - 4*h + w, -p - h = -6 for p.
5
Suppose 0 = 2*x - 6. Suppose 0 = l + x*p, 2*l + 3*p + 2 = 5. Suppose 2*u + 5*g = 27, -6*g + 30 = 2*u - 2*g. Solve -6 = -2*k + 2*v, 4*k - l*k + 5*v = -u for k.
-1
Let b be ((-165)/(-25) + -6)/(2/50). Solve -3*h - 2*n + 5 = b, -h + 5*n = 9 for h.
-4
Let r be ((-12)/10)/(3/(-10)). Suppose 4*k + 7 = y, 13 = 6*y - 3*y - r*k. Solve -z + 6 = 3*c - y*z, 8 = 4*c + 4*z for c.
2
Let p(i) = i**2 - 6*i - 18. Let c be p(9). Suppose -23 = -c*g + 10*g + 5*b, 5*b = 5*g - 35. Solve g*l + 13 = 3*u, 0*u + u = 4*l + 11 for u.
3
Let m(p) = -p**2 - 38*p - 102. Let u be m(-35). Solve -4 = -y, 0 = u*c + 8*y - 12*y + 7 for c.
3
Suppose 8 = 2*h - 5*c, 5*h - 2*c - 45 = -25. Solve o + h*o + 4*t = -26, -o + 6 = -2*t for o.
-2
Let d be (-12)/(-5)*(-20)/(-6). Let v = -223 - -215. Let p be (2/d)/((-1)/v). Solve -5*y - 36 = 4*a, 3*y - p*y + 8 = -a for a.
-4
Suppose -3*u = 5*x - 29, -18 = -3*x - 2*u - 0*u. Let i be (4 - 5)/((-2)/x). Solve -4*q = -4*h + 36, 2*h - 7*q = -i*q + 30 for h.
5
Suppose 35 = -3*p - 97. Let w be 10/(-25) + p/(-10). Solve -i - 16 = 4*b + 3*i, -5*i = -w*b + 20 for b.
0
Let v(b) = -b**2 - 10*b - 7. Suppose -2*g + 26 = -2*o, 6*o - o + g + 41 = 0. Let s be v(o). Solve -7*y - 4*x = -3*y, 0 = -s*y + 3*x - 5 for y.
-1
Suppose -a + 4*v = -2, 4*a + 0 = -2*v + 8. Let p be (4/(-6))/(2/(-12)). Let n be ((-2)/4)/(2/(-12)). Solve p*d = -a*w + 6*w + 4, 7 = -n*w + 2*d for w.
-5
Let t = 13 + -8. Let c = t + 0. Solve c*b + 2*w - 1 = -7, b - 12 = 4*w for b.
0
Let n(w) = -2*w**2 - 12*w - 6. Let r(c) = -c**3 + 9*c**2 + 10*c - 5. Let v be r(10). Let k be n(v). Solve p + k*s + 2 = -4, 3*p + 7 = -s for p.
-2
Suppose -3*p = -h + 2 + 7, 5*p = h + 1. Let i(x) = -x**3 + 23*x**2 + 26*x - 48. Let c be i(h). Solve 0 = k, -3*k + 2 + c = -u for u.
-2
Let s be 10/3 + (-18)/54. Suppose -s*w = w - 12. Suppose 0 = q + 2*y, 3*q = 6*q + y. Solve -4*o = -3*a + 8, 0 = -2*o - w*a - q - 4 for o.
-2
Suppose -7 = -2*n - 4*r - 3, 5*r - 20 = -5*n. Suppose 2*p = -3*c + 6*p, 0 = 3*c - 2*p - n. Solve 0 = c*a - 4, 4*j - a = 7*j - 7 for j.
2
Suppose -48 = -5*f - 2*h, -5*f - h = -26 - 18. Let n = 10 - f. Solve -2*l = -5*t + 15, 0*l + n*l + 3*t - 25 = 0 for l.
5
Let y be 1*99 + (-14 - -17). Suppose 8*w - 42 = y. Solve 4*h + 0*d - 3*d + w = 0, 4*h = 2*d - 16 for h.
-3
Let u = 834 - 828. Solve -4*o - u*n + 24 = -8*n, -5*o + 17 = 4*n for o.
5
Suppose -37 = -5*f + 13. Let t be (-26)/(-2) + f/(-5). Suppose -3*j + t + 4 = 0. Solve -3*s - 20 = -5*r, 5*r + j*s + 2 = 22 for r.
4
Let j(n) = -n**2 + 22*n + 139. Let i be j(27). Solve 5*u + 4*t - 9 = 5*t, -5*u + i*t + 21 = 0 for u.
1
Let s = -204 + 206. Solve 2*m - m - s*q = -14, -5*q + 45 = -5*m for m.
-4
Suppose 46*w - 312 = 424. Solve j - z = 2, -4*z + w = 2*j - 6 for j.
5
Let v be 92/(-69)*((-3)/2)/1. Solve w + 16 - v = -4*f, -2 = -3*w - f for w.
2
Let m = -10 - -10. Suppose -v + 64 = 4*i, -2*i - i + 5*v = -25. Suppose i - 3 = 4*z. Solve m = -2*x + 6*x + 5*d + 4, 3*x + d = -z for x.
-1
Suppose 4*w + f - 26 = 0, -2*f = 4*w - 10 - 18. Solve -2*z = -h + 9, 0*z + z = h - w for z.
-3
Let j(q) be the first derivative of -q**2/2 - 14*q + 2. Let a be j(-11). Let n be a - (-4 + 3 - 2). Solve -2*x + 3*f = -1, n*f + f = 2*x + 5 for x.
-4
Let v = -23 + 26. Suppose 8 = 5*p - v*p. Solve 5*y + 5*r = 0, -p*y - 17 - 19 = -5*r for y.
-4
Let p(t) = -t - 11. Let i be p(12). Let v = i + 41. Suppose h = 4*y + 21, -h - 5*y - v = 6. Solve -f - 2*n - 4 = 3*n, -4*n - h = 3*f for f.
1
Suppose -4890 = 6*x - 4914. Solve -2*w - n = -x, -7*w - 5*n = -9*w - 20 for w.
0
Suppose 4*f - 4 = 4, -3*n + 5*f = 1. Suppose n*i - i = 12. Suppose 0 = 4*g - 7*g + i. Solve -5*r + g*t = -5, t + t = r - 9 for r.
-1
Let u(k) be the first derivative of 0*k**2 - 3*k - 2*k - 3 + k**2. Let j be u(5). Solve y + 3 = d, 3*d + 4*y = -j - 21 for d.
-2
Let q be (9/(-5))/(18/(-120)). Suppose 3*t + p = q, t - p - 3*p - 17 = 0. Solve -a - t = 4*r, 3*a = a - 2*r - 4 for a.
-1
Suppose 3*r = -2*h + 11, 3*r = -0*r + 3. Let g be h/(-30) + 94/30. Suppose 0 = -g*z - 3 + 63. Solve 2*k = -3*n + k + 5, -z = 5*k for n.
3
Let d = -59 - -73. Suppose -9*u + 29 = 5*j - 6*u, 5*j - 2*u = d. Solve -j*l = 5*q + 12, 2*l + 4*q = -2*l - 12 for l.
-3
Suppose 2*n - 4 - 6 = 0, 4*n = 4*z - 172. Suppose -j + z = 2*j. Let i = 28 - j. Solve i = -6*t + 2*t - 4*y, 0 = -y - 5 for t.
2
Let s = -871 - -876. Solve -2*p + 5 = 2*p - 3*i, -13 = -4*p - s*i for p.
2
Let h be (0/(0 - -2))/1. Suppose 19*b = 65 - 27. Solve 0 = -j, h = -o - b*j - 3*j for o.
0
Suppose 0*u - 4*u = 0. Suppose u = -4*n - 0*n + 4. Suppose 0 = -h + n, 0*t + 33 = 3*t + 3*h. Solve -7 = 5*b + 4*f, t - 27 = 5*b - f for b.
-3
Suppose 42*l = 4*h + 39*l - 13, -5*h + l + 19 = 0. Solve 2*o + 4*g + 20 = 4, 20 = -3*o - h*g for o.
-4
Let p = -32 - -25. Suppose 0*o - 4*o = 48. Let k = p - o. Solve 2 = 4*i + l + l, 5*l = -k for i.
1
Let o(p) = -p**2 - 4*p - 1. Let c be o(-2). Solve 3*d = -2*q + 4, -c*d - 5*q + 0*q = -10 for d.
0
Suppose -180 = -4*t + 2*n, 5*t = -n + 4*n + 227. Let o = 29 - t. Let y = 16 + o. Solve 2 = -2*i, -i = -y*w - 5 - 2 for w.
-4
Let f be (5 - 8) + 2 + 5. Suppose 0 = 2*z - 2*t - 2*t + 2, 0 = 2*z + 5*t - 7. Solve -f*u + l + 8 = -3*l, 5*l + z = 2*u for u.
3
Suppose 83 = 24*u - 397. Solve 5*o = -3*k + 12, u = -5*o - 0*k + 5*k for o.
0
Let c(j) = j**2 + 16*j + 19. Let y be c(-15). Let n be y*((-84)/(-16) - 3). Solve -s - n = s + 3*a, 5*s = 5*a + 40 for s.
3
Let r(z) = -z**3 + 6*z**2 - 3*z - 4. Let t = -25 + 15. Let a be 6/4*t/(-3). Let w be r(a). Solve -m + 12 = -4*b, w*m - m - 28 = 4*b for m.
4
Suppose 21*i = 10 + 32. Solve -3*o + 9 = 3*t - 8*o, i*t = -o + 6 for t.
3
Suppose 15 = -5*u - 4*o, 5*u - o + 6 = 3*u. Let m be 0*(-1)/u + 11. Solve 4*t - m = 3*v - 2, 3*v = 3*t - 9 for t.
0
Let l be 2/(-4)*-16*(-11)/(-44). Solve -1 = k - v + 2, l*k + 5 = v for k.
-2
Suppose -5*u - 2*u = 21. Let f(s) = -3*s - 9. Let h be f(u). Solve h = -4*w, 3*l - w + 2 = -4 for l.
-2
Suppose -5 = 5*v - 5*l, 4*v - 63*l - 12 = -67*l. Solve -2*s = 8, 0 = 5*a - 3*s - v - 26 for a.
3
Let z = -331 - -351. Solve -4*j + 2*v - 2 + 0 = 0, -z = 5*j + v for j.
-3
Let z be (-5 + 2 - -3)/4. Solve 0 = -4*i + l + 3*l + 24, -l - 3 = z for i.
3
Let w = 30 + -18. Suppose 0 - w = -3*k. Suppose 0*v - k*v = 0. Solve -4*m + 4*a = -0*a, v = -3*m - 2*a + 20 for m.
4
Suppose 0 = -19*y + 18*y + 2. Let x = y - -3. Suppose -11 = -x*i + 9. Solve 4*d + i*r - 20 = 0, d = -d + 5*r - 18 for d.
1
Let m = -23 + 23. Solve 3*x + f + 2 = m, 4*x = 5*f - 2 - 7 for x.
-1
Let n(o) = -21*o**2 + 2*o. Let p be n(1). Let r = p - -26. Let f(k) = 3*k - 21. Let v be f(r). Solve -7 = 3*c - 4*i, v = -c + 3*i - 3 - 6 for c.
3
Suppose -13*r = -16*r - 3*d + 3, r - 2*d - 10 = 0. Solve 3*o = -4*m + 2*m + 25, -r*m = -20 for o.
5
Let y(p) = -p**2 - 10*p + 1. Let g be y(-10). Let a be -10*(140/8)/7. Let s = a - -30. Solve r - s*r - g = 3*w, 2*