ve 4 = g, 18 + x = -3*z + 4*g for z.
-4
Suppose 5*p = -2*k - 12, -2*k - 4*p + 2*p - 12 = 0. Let j = k + 14. Let t = j - -5. Solve -2*u - a - 2*a = -t, 3*u + 2*a - 17 = 0 for u.
5
Suppose -2*y + 7 = -3*q, 9*q = -4*y + 7*q + 22. Solve -4*m - 2 = y*d + 21, -d = 5*m + 13 for m.
-2
Suppose 4*z = -2*u + 40, -3*u = z - 4*z + 30. Solve t + 4*h - 2 = 0, h = 5*t - 2*h - z for t.
2
Let t = 11 - 9. Solve 0 = -w - 2*z + 7, -t*z + 10 = 5*w - 3*w for w.
3
Let t = -15 + 33. Let c = 35 - t. Solve -h + x - 5*x = c, x + 11 = 2*h for h.
3
Let a = 223 - 134. Let m = -86 + a. Solve -2*l = j + 4, 2*j + 4 + 3 = -m*l for l.
-1
Let b(c) = c**3 + 16*c**2 + 25*c - 28. Let n be b(-14). Suppose 0*k + 2*k = 4*j - n, -3*k = -3. Solve 5*t = j*g + 1, 2*t + 5*g = 5*t + 2 for t.
1
Suppose 45 = -5*s + 2*s. Let a = s + 17. Suppose -a*i - 1 = -z - 9, 4*z + 8 = 0. Solve 3*n - 4 = -5*q + i, 5*q + 5 = 0 for n.
4
Let j be 14/(-196) + (-5)/(140/(-86)). Let b(u) = -2*u - 8. Let g be b(-6). Suppose 0 = -2*a + g - 0. Solve -j*o + 5 - 23 = -a*d, 5 = -d - 2*o for d.
3
Suppose -4*s - u + 11 = 0, 6*s - 3*s - 7 = -u. Suppose -28 = -s*c + 84. Solve -f = -5*t + c, 0*t = f + 3*t - 12 for f.
-3
Let n(y) = y**3 - 4*y**2 - 6*y + 8. Let z be n(5). Suppose 49 = 4*m - 51. Suppose -3*q + 5 = -2*q. Solve -3*t - 28 = 4*a - 5, -m = q*a + z*t for a.
-2
Suppose -11 = -2*k + x, x + 47 = 4*k + 4*x. Solve -4*f + 11 = p, k*p - 15 = 3*p for f.
2
Suppose -6*y - 4*y - 660 = 0. Let f = 70 + y. Solve f*k - 11 = 4*z + z, -z + 4*k + 1 = 0 for z.
-3
Suppose -y = 4*a - 31, -122 = -4*y + 3*a + 78. Let j = y + -33. Solve -10 = 5*u, -j = -2*d + 3*u - 0 for d.
4
Let q(c) = -c + 2. Let z be q(-2). Let d be (-172)/(-22) + 2 + (-60)/33. Solve 12 = -4*r, -b - d = b + z*r for b.
2
Let f be (30/(-75))/((-3)/45). Solve 3*s = -2*r + f*r, -s - 19 = 5*r for r.
-3
Suppose -6*r - 18 = -8*r. Let m be (12/(-36))/((-1)/r). Solve -4*g - g + 9 = -2*a, m*a - g = 6 for a.
3
Let c be 3 - (-4 + 7 + -4). Let b = 19 + -14. Let u(i) = 2*i**2 - 5*i - 6. Let q be u(b). Solve -a = 4*t - q, -c = -3*t - t + 4*a for t.
4
Let w = 16 - 21. Let y = 10 + w. Suppose -y*a = 4*l - 59, 6 = 2*l + 4. Solve -3*c + c + 4*k = -18, 4*k + a = -5*c for c.
1
Let t be (-5)/(-4) - 102/(-136). Suppose -2*i - 3 = -7. Let l be ((-3)/2)/(i/(-20)). Solve 0 = 5*w + l, v + 2 = -3*w + t*w for v.
1
Let y(s) = -s**2 + 37*s - 97. Let z be y(33). Solve 0 = 5*j - 5*t + 5 - z, -8 = 4*t for j.
4
Let n = 241 - 241. Solve 5*y + 20 = 3*b - n*b, y = 3*b - 4 for b.
0
Let i be (4*(-1)/9)/(14/(-63)). Solve 4 + 4 = b + i*f, -4*b + 24 = 4*f for b.
4
Let v be 26/(-26) + (2 - 1). Let z = 0 + v. Suppose 4*t - 2*p = 22, -p + z + 4 = t. Solve -3 = 3*i + f + 1, t*f = 2*i + 31 for i.
-3
Let i(c) = -c**3 - c + 2. Let u be i(0). Let o = u - 14. Let t(g) = -g - 8. Let w be t(o). Solve 4 = -w*b, 3*q + 11*b + 11 = 6*b for q.
-2
Let q = 10 + -5. Solve 3*l + 2*p - 10 = -3*p, q*p = -4*l + 15 for l.
5
Let o(h) = h**3 - 5*h**2 + 5*h - 17. Let y be o(5). Solve -y*n = -2*j - 3*n + 14, -4*n = 3*j + 25 for j.
-3
Let j be 4/(5 + (-168)/40). Solve 2 = 5*r + h, -j*r - 2*h = -1 + 2 for r.
1
Let h(k) = k**3 + 10*k**2 - 10*k + 27. Let i be h(-11). Solve -4*o + i = -2*g, o = -0*o - 3*g + 4 for o.
4
Suppose -u = -4*d + 14, -5*u + 0*d + 6 = -d. Solve 3*i = -6, i + u = t + 4*t for t.
0
Suppose -13*a + 28 = -11. Solve 3 = -2*q + s, 2*s + 1 + a = -q for q.
-2
Suppose -17*r + 22*r = 10. Let o = 2 + r. Suppose -3*g = g - 2*x - 6, -2*x = -g - 3. Solve -g*b + 3*n = 3, o*n = b + 2 + 8 for b.
2
Suppose t = -7 + 9. Suppose 2*f = -7 - 1. Let p(k) = 2*k**2 + 7*k + 4. Let r be p(f). Solve 8 = 4*w + 2*o, 4*w - 5*o - t = -r for w.
1
Let c(l) = l**2 - 13*l - 15. Let m be c(15). Solve q + 4*n = 2*n + 11, -3*n + m = q for q.
3
Suppose 0 = b + 4, -3*g - 5*b - 12 = g. Solve -g*v - 12 = -2*z, -2*z = -5*z + 4*v + 19 for z.
5
Let z(q) = 3*q. Let p be z(-1). Let d be ((-9)/4 - p)*4. Let m be 0 + 4 + 0/(-1). Solve -3*u - d + 11 = o, 3*u - 28 = m*o for o.
-4
Let o(s) = -s**3 + 2*s**2 + 11*s - 7. Let g be o(4). Suppose y + 4*y = -3*h + 96, -3*y + 102 = 3*h. Solve g*j = 3*m - 0*j - h, 2*j = -10 for m.
4
Let r(s) = -27*s + 135. Let i be r(5). Solve 2*a + 2*a + y - 16 = i, y = 5*a - 29 for a.
5
Let h(m) = m**2 - 6*m + 2. Let z be h(6). Let w = 21 + -19. Let k = -8 + 8. Solve w*c = -3*u + 6*c - 25, k = -4*u + z*c - 20 for u.
-3
Suppose 0 = 39*b - 30*b - 18. Solve -x - 5 = b*h, 0 = 5*h + 7*x - 2*x + 10 for h.
-3
Suppose n - 13 = 30. Let o = -39 + n. Solve 2 = s + 2*c - 8, 0 = -2*s + 2*c - o for s.
2
Suppose -4*f = -0*w - 3*w - 71, 3*f + 4*w = 72. Suppose r + r - 10 = -v, 2*v + f = 4*r. Solve r*j - 25 = 4*c, 3*j + 1 - 16 = c for c.
0
Let u = -73 - -71. Let n be u/5 + 7/5 + 2. Solve 0 = 2*s + 5*z - 17, -n*s + z - 5*z + 8 = 0 for s.
-4
Let l(o) = -2*o**2 - 12*o - 8. Let f be l(-4). Let r(p) = -p - 11. Let g be r(-11). Let n be 1 + g - (7 - 6). Solve -c = -n*c - 5*h + 6, -c + f = 2*h for c.
4
Let d be ((-68)/(-17) - 0/1) + -32. Let o = d - -51. Let t be 1/2 - 2/4. Solve 5*a + o = p, -4*p - 4*a = -t*p + 4 for p.
3
Let m be (42/(-3))/(-2)*-13. Let a = m - -91. Solve a = 5*o - 10, 5*b - o = -0*o + 8 for b.
2
Let z = -64 + 79. Let n(j) = -j**3 + 14*j**2 + 15*j + 3. Let c be n(z). Solve -5*a = -3*v - 8, 0*a - c*v = 5*a - 32 for a.
4
Let b(s) = 5*s - 45. Let z be b(9). Let t = -5 + 8. Suppose -2*k + 1 + t = 0. Solve 0 = k*o + 2*h - 8, -h = -z - 4 for o.
0
Suppose -5*o + 34 + 8 = 2*j, 2*o = -3*j + 41. Solve -3*x - j = z, 4*z - 41 = -0*x + 5*x for x.
-5
Suppose -g - 7 - 3 = -5*n, n - 2 = 2*g. Suppose g = 3*m - 5 - 1. Suppose 0 = m*a - 7*a, 5*x - 2*a - 10 = 0. Solve -3*y - 22 = -4*l, -5*l = 5*y - x*l - 2 for y.
-2
Suppose 16*j - 6 = 13*j. Suppose 5*l = j*p - 31, -3*l = -2*p + l + 26. Solve p*k + 23 = 4*q, -q + 4 = k - 0*q for k.
-1
Let k be -8 - (-1 - 5) - -5. Solve -z - z - k*y - 4 = 0, -5 = -3*z + y for z.
1
Let k(y) = 3*y - 3. Let a be k(3). Let h = -3 + a. Solve -h*n = -4*t - 20, -15 = t + 2*t + 5*n for t.
-5
Let k(s) = -2*s - 10. Let r be k(-8). Suppose 2*h + 28 = h. Let d be ((-8)/h)/(1/7). Solve 0 = 5*v + 5*g - 10, -d*g = -v - 4 - r for v.
-2
Suppose 11 + 28 = 13*a. Solve 0 = -4*n + a*q - 4, 0*n - 4*q = -4*n for n.
-4
Let d(w) = -w**2 - 11*w + 4. Let n be d(-11). Suppose 2*m - 10 = -4. Solve 5*p = 2*o - 11, -2*o + 2*p - n = m*o for o.
-2
Let g = -5 - -10. Let y(i) = -2*i**3 + i**2 + 3*i + 3. Let q be y(-1). Solve -5*j + g*c + 35 = 0, q*c + 9 = 3 for j.
5
Let l = 42 + -33. Let h = 11 - l. Solve 0 = -5*k + 2*w - 2, -4*w = 2*k + 22 - h for k.
-2
Suppose 0 - 10 = -m. Suppose 0 = 5*j - 0*j - m. Let q be ((-2)/6)/((-2)/12). Solve -3*u + 5*u + 2*l = 0, 0 = j*u - q*l - 16 for u.
4
Suppose 8*o - 16 = 64. Solve -2*r - 2*g - o = 0, 2*r + 3*g = -10 - 3 for r.
-2
Suppose -4*o = -4*h - 20, 0 = 3*o + 8*h - 3*h + 9. Solve 5*j + o*l - 2 = -12, 0 = 2*l - 10 for j.
-4
Suppose -2*c = 11*c + 312. Let j = 24 + c. Solve 4*x + 12 = 4*m, 3*x + 3*m + j*m + 9 = 0 for x.
-3
Suppose 2*j - 5*j = -2*l - 34, 0 = 4*j - 4*l - 40. Solve -3*h + 19 = -5*c, 2*h - j = c + 3*c for c.
-2
Suppose -5*a - 20 = -15. Let z be a/(-4) - (-102)/8 - 1. Suppose 0 = -2*y - 4*i - 6, -5*y + 2*i = 5*i - 6. Solve -8 = y*l + v, -2*l + 4*v = 3*v + z for l.
-4
Let q be -12*(-4 + (-1)/(-2)). Let h be 32/(-24)*q/(-4). Let l be (-7)/h - (-14)/4. Solve -4*i + 15 = 5*s, -2*s + 9 = -i + l for i.
0
Let o(p) = -p**3 - 18*p**2 + 3. Let u be o(-18). Solve v + y = 2, 0*v - 14 = v - u*y for v.
-2
Suppose 0*x = x - 5. Suppose -3*a = 5*f - 53, 4*f - x*a = -3*a + 60. Suppose r - 4*k + 7 = 0, 0 = -4*k + f - 1. Solve -u = 3*s - 1, 0 = -u - 5*s + r - 4 for u.
1
Let j(t) = t**2 + 4*t + 3. Let q be j(-4). Let b be 0*(-1)/(-2)*-1. Let w = -562 + 566. Solve -r = 3*z + w + q, b = -r - 4*z - 8 for r.
-4
Let z be -5 + -1 - (-13 + 4). Solve -37 = -5*u + 4*p, u - 8*p - 20 = -z*p for u.
5
Suppose -2*f - 3*p - 1 = -3, -2*p = 5*f + 6. Let x be f/(-6) + 8/(-24). Suppose -2*d + d + 3 = 0. Solve 2*v = -v, x = -2*l - d*v - 10 for l.
-5
Suppose -2*x = -4*u - x + 19, 0 = -5*u - 2*x + 14. Solve 2*g + 2*g + 12 = u*q, -2*g - 14 = 2*q for q.
-2
Let j(l) be the first derivative of l**3/3 + 3*l**2 - 22*l - 11. Let k be j(-9). Solve k*s = 2*f - 20, 2*f + 2*f - 28 = 4*s for f.
5
Suppose 0 = h - 5 - 3. Suppose 5*f - h = 17. Suppose -f*q = -6*q + 8. Solve 3*x - 