c - l - 4. Solve -2*b = 2*t + 3 - 19, -c*t = m*b - 24 for b.
4
Let u be (23 - 22) + 2/(0 - 2). Suppose -h + 5 + u = 0. Solve -5*m + 6 = h*x - 4, 2*x + 4*m = 8 for x.
0
Let y(a) = -6*a - 88. Let o be y(-15). Solve -o*p - 2*k = 3*k + 5, 2*k - 17 = 3*p for p.
-5
Let r(p) = -p**3 + 4*p**2 + p - 12. Let q be r(3). Solve a - 3 = f, -a - 3*f - f - 7 = q for a.
1
Let a(z) = -z**2 - 10. Let y be a(0). Let f = -12 + 14. Let v be (-20)/f*y/20. Solve 5*w - 20 = 5*c, v = 2*w - c - 0*c for w.
1
Suppose -93*f + 73 = 73. Solve 5*l - 5*o + 5 = f, 8 + 13 = 3*l + 5*o for l.
2
Let k = 10 + -11. Suppose -d = -3*d + 2*s + 10, s + 11 = 4*d. Let f = d - k. Solve f*g - 21 = -3*r, -3*g - 5*r + 0*r + 29 = 0 for g.
3
Suppose -271*n - 7 = -272*n. Solve 0 = -5*f - 5*r - 5, f - n = 3*r - 4 for f.
0
Let r be -2 - (1 + 9)*1/(-2). Suppose r*u - 40 = -k - 2*u, -4*k - 5*u + 85 = 0. Solve 3 + k = -2*w + 5*a, -26 = 5*w - 3*a for w.
-4
Suppose 48 = -4*d + 516. Suppose -40 = -2*c + 4*c + 5*f, -5*c - d = 4*f. Let m = 31 + c. Solve -p - 3*s - m = -4*s, 3*p = -2*s - 3 for p.
-3
Let p(k) = -8. Let z(r) = r - 15. Let j(b) = -7*p(b) + 3*z(b). Let l be j(10). Suppose -l = -2*a + 3. Solve -4*o = -5*u + a, 6*u - 2*u - o = 11 for u.
2
Let u = 17 + -14. Suppose 8 = u*p - 4, -18 = 2*m + 2*p. Let s(z) = -z**2 - 12*z + 16. Let k be s(m). Solve -2*x - 7*a + 3*a = 18, 0 = -k*a - 15 for x.
1
Let q = -2074 + 2076. Solve v = -2*i + 2, q*i + 5 = -5*v - 9 for v.
-4
Let w(h) = -h**2 + h + 3. Let c be w(0). Suppose 11 = y + c*z - 1, 4*y - 4*z = 0. Solve -2*g + 2 = -0*g, -5 = y*k - 5*g for k.
0
Let v be (-1 - -5)/(2*1). Let t be 2/4*11 - 1170/780. Solve -t*z - w = 19, -5*z - 18 = -z + v*w for z.
-5
Let d = 8 + -12. Let x(a) = 5*a + 13. Let m be x(d). Let c be (-143)/m + (-60)/(-105). Solve -4*g = 3*s + 2*s - c, 5*s + 2*g - 13 = 0 for s.
1
Let u(q) = -q**3 - 11*q**2 + 6*q + 72. Let s be u(-11). Solve -3*c + 0*c - 10 = 5*h, -2*c - s = 3*h for h.
-2
Let b(p) = 50*p**3 - p + 1. Let w be b(1). Let r be (60/w)/((-2)/(-10)). Solve t = -3*t - 12, 5*t + r = 3*z for z.
-3
Suppose 0 = -5*r + 2*t + 111, 6 = 3*t - 0*t. Let h = -4 + r. Suppose 5 = -2*o + 2*v + h, -2*v = 4. Solve 3*l = 4*w + 8*l - o, -3*w = 2*l - 9 for w.
5
Suppose -2*p - 4 - 46 = 0. Let s = p + 45. Suppose -5*d - 6*r + 7*r + 94 = 0, -2*r - 8 = 0. Solve -3*t + d = -0*t + 3*b, 5*b = s for t.
2
Suppose 3*m - 6*m = -9. Suppose -6*t + m = -7*t. Let u be ((-6)/8)/t*12. Solve -5*h = 0, u*k + 2*h = 4*k + 4 for k.
-4
Suppose -5*r + 16*r = 0. Suppose r = 5*h + 5*j - 15 - 5, 2*h = -j + 7. Solve 2*c + h*f = c - 7, 3*c - f = 9 for c.
2
Suppose 2*v = -5*l + 41, -5*l - v + 43 + 0 = 0. Let z be 28/6*l/6. Let p be (z + -8)/(2/(-46)). Solve -k + 5*d - p = -0*k, -k - 13 = -3*d for k.
2
Let u(j) = 10 + 1 - 18*j - j**2 + 20*j + 8. Let y be u(5). Solve 2*d - 3*d + 11 = y*b, -2*d - 4 = -5*b for d.
3
Suppose -5*v + 4*c = -132, 116 = 4*v - 0*v + 2*c. Let b = v - 15. Suppose b = 4*q - 27. Solve r = -w + 4, -w + 4 = 5*r - q*r for r.
0
Let d be 2/(-10) - 1/(-5). Solve -t + d*l = l - 2, -4*t - l + 5 = 0 for t.
1
Let o = 417 - 413. Solve 3*m = -3*i - 15, -2*m + 5*i + o = -7 for m.
-2
Suppose -l - 5*w - 6 = 10, -5*w - 12 = 2*l. Let m = -5 + 14. Solve 5*j = l*p - 1 + m, 2*p - 18 = -3*j for p.
3
Let p(k) = -2*k**2 + 55*k - 17. Let q be p(27). Let z(n) = n + 7. Let x be z(-5). Let l be 2 - x/((-2)/23). Solve -b - l = 8*o - 4*o, 2*o - q = 4*b for o.
-5
Let i(g) = g**3 + 12*g**2 - 15*g - 17. Let z be i(-13). Solve 0 = q + 3, 3*s + z = 3*q + 3 for s.
-5
Let k(h) = -6*h + 164. Let r be k(27). Solve 0 = r*n + 3*q + 13, 0*q - 5 = -5*n + 5*q for n.
-2
Let v = 71 + -67. Suppose 15*r = v*r. Solve -p + h + 7 = r, -3*p - 3*h - 2*h = 3 for p.
4
Suppose -s - 3*s - 4*r = -12, 0 = 5*s - 4*r + 12. Solve -4*h + 4 = s, b + h = 2*h + 1 for b.
2
Suppose 0*m + 3*h - 24 = -3*m, 0 = -5*m - h + 24. Suppose k - 105 = -m*k. Suppose 2 = -c + 4. Solve c*o - 14 = -2*f, -5*o + f = -f - k for o.
5
Let v = -142 - -144. Suppose -5*n + 23 = 2*p, 0 = n + 6*p - p. Suppose -3 + 14 = n*h + a, 20 = -5*a. Solve -4*k + 2 = -2*t, h*t - 3*k = v*k - 2 for t.
1
Suppose -5*i + 0*i + 100 = 0. Let j be 3/(-4) - 46305/i. Let d be j/(-156) - 4/(-26). Solve 4*c - 12 = -2*t, 0*t - d = -5*c + 5*t for c.
3
Suppose 2*o - 3 - 10 = -3*u, -o = 2*u - 8. Let g = 390 - 387. Solve g*c + 4*n = 3*n - 11, 6 = -4*c + u*n for c.
-3
Let h be 1376/72 - (-2)/(-18). Solve 0 = 2*g - 4*r + h + 1, 4*g = r - 19 for g.
-4
Let h(y) = -41*y + 11. Let q be h(-5). Suppose 0 = -2*f + 8*f - q. Solve v - 6 = m, 0 = -5*v + 3*m - 12 + f for v.
3
Suppose -8*f = -12*f + 8. Solve -5*k + 11 = -4*x + f, 2*x + 4*k - 2 = 0 for x.
-1
Suppose -18*j + 16*j - 5*z = -15, 0 = 2*j + 2*z - 18. Solve -12*l - j = p - 8*l, 3*l + 8 = -p for p.
-2
Suppose 102 = h - 4*b, -5*h = -3*b - 641 + 80. Let s = h + -102. Solve -2*m - 3 = -a, 7*a = 2*m + 3*a + s for m.
0
Suppose -43*k = -35*k - 24. Solve -v - 6 = k*j - 4*v, -29 = -3*j - 4*v for j.
3
Suppose -b = 5*w + b - 112, -3*w + 5*b + 92 = 0. Solve -2*l + 7*l + w = -i, l + i = -4 for l.
-5
Let x be (2/3)/(3/(-54)). Let a = -8 - x. Let j = 2 - 2. Solve a*r + 20 = -2*u, u + r = -j*r - 7 for u.
-4
Let s be (1 + 0)*(-12 - -14)*1. Solve 2*w + 8 = s*n, 0 = -n + 2*w + 3*w for n.
5
Let v = -86 + 90. Solve 6 = y + 2*f, y + v*f = 5*y for y.
2
Suppose 0 = 27*q - 81 - 0. Solve 4*t - 3*n = -14, -n = -q*t + 2*n - 9 for t.
-5
Let g = 7 - 12. Let q be (-4 + (-2 - g))*-22. Suppose 0 = -6*s + 39 + 3. Solve -s*n = -2*n - m - 6, 5*m = -n + q for n.
2
Suppose 263*y - 261*y - 24 = 0. Solve -3*l + 4 = 3*s + 1, 4*s = 4*l - y for s.
-1
Let s = -15 + 18. Let b(a) = 5*a - 7. Let d be b(s). Solve -6*j + j - 45 = -5*z, -2*j = d for z.
5
Let n = 713 - 708. Solve -2*o = -0*o + 5*a + 26, 11 = 3*o - n*a for o.
-3
Suppose 4*l - 34 = 2*l. Let y = l + -13. Suppose -4*a = 3*n - 20, 3*a + 0*a - 15 = -3*n. Solve -2*m = d + 9, a*d + y - 3 = m for m.
-4
Suppose -19*w + 126 = -5*w. Solve 0 = -y + 5*i + w, y + 9 = -0*y - 4*i for y.
-1
Suppose y = -1 + 2. Suppose 6 = -5*a + y. Let g = a + 3. Solve -2*h - 3*h = -c - 4, -g*c = 5*h - 7 for h.
1
Let k(h) = 11*h - 2. Let y be k(2). Let b be y/(-5) - 42/(-2). Suppose 0 = -r + 2*c - 3*c + 8, -3*c + b = 2*r. Solve -3*l - r = 2*x, 4*l + 2 = 2*x - 12 for l.
-3
Let b be 2*2 - 112/(-16). Suppose 1 = 4*k - b. Solve -2*p + 5*u + 1 - k = 0, 2*p - 2*u = 4 for p.
4
Let t(d) = 2*d**2 - 3*d + 1. Let c be t(-7). Let o be (4/5)/((-16)/c). Let b = o - -7. Solve 2*q = -3*u - b, -2*u = q + 1 - 2 for u.
3
Let y(x) = -x**3 + 7*x**2 + 9*x - 8. Let p be y(8). Let g = -1752 + 1756. Solve p = g*z - 4*a, 0 = -3*z + a + 3*a + 3 for z.
-3
Let s(c) = c**3 - 4*c**2 + 6*c - 6. Let r be s(4). Let i(u) = 2*u**2 - 11*u + 7. Let o be i(5). Solve -7*f = b - o*f, -4*b - 2*f + r = 0 for b.
5
Let b = 11 + -10. Let l = -258 - -260. Solve -3*t = -7*t + 4*h + 8, -l*t + b = -h for t.
-1
Let g(q) = q**3 + 20*q**2 - q - 17. Let y be g(-20). Let w be (10/y)/((-16)/(-24)). Let o be w/(50/4)*5. Solve -4*c + 2*c + 4*z = 0, 0 = -o*c + z + 6 for c.
4
Let c = 881 + -876. Solve -a - 4*a + c*l - 40 = 0, 0 = a + 3*l - 4 for a.
-5
Let o = 133 - 133. Suppose 3*l - y - 12 = o, -4*y - 15 = y. Solve -l*f + 0*j - j = 17, 2*f + 3*j + 23 = 0 for f.
-4
Let h = 11 - 11. Suppose h*s = -2*s - 4. Let v(m) = m**3 + 4*m**2 + 3*m. Let q be v(s). Solve 4*x - p = -14, 7*p = -q*x + 4*p for x.
-3
Suppose 4*c + v = 9, -5*c - 3*v = -20 + 7. Solve 0 = s - c*s + 5, -3*h = -2*s + 16 for h.
-2
Let w = -1 - -4. Let c(j) = j**2 + 27*j - 42. Let k be c(-29). Solve -7 = 3*r + 2*y, 0*r + k = r - w*y for r.
1
Let z(n) = -n**3 + 12*n**2 - 1. Let b be (-3)/6*(2 - 24). Let g be z(b). Let q be ((-3)/(-2))/(36/g). Solve q*u - 4*w = 21, 4*u + 0*w = -w for u.
1
Suppose 460 = -20*k + 15*k. Let w = 92 + k. Solve -5*a + 15 = w, -4*b - 2 + 0 = -2*a for b.
1
Suppose -4*q = 4 - 20. Solve -2*a - q = -2*h, h + 2 = 3*a - 0 for a.
2
Let k(n) = -n**2 + 14*n + 25. Let y be k(17). Let x = y + 29. Solve -x*l + 15 = h + 3*h, h = -2*l + 5 for l.
1
Let s(y) = 3*y - 4. Suppose 0 = -6*k + 5*k + 2. Let a be s(k). Suppose 0 = h - 2*x - 6 - a, h = -5*x - 13. Solve -4*n + 4*u = 0, -h*u + u - 3 = 0 for n.
-3
Let n(j) = -5*j + 134. Let a be n(26). Solve 4*u + a*p = -16, -5*u + p - 17 = -3 for u.
-3
Let h(o) = -o**2 - 8*o - 5. Let w be h(-7). Let y be 1/(-