4*n = 4*l - l + x for n.
4
Let b = -29 - -27. Let t be (4 - 6) + 5 - b. Solve -t*c = -2*z + 14 - 0, -5*c + 4*z = 18 for c.
-2
Let v(r) = -3*r - r - 4 - 2*r - r**2 + 0. Suppose 5*z - 16 = 9*z. Let f be v(z). Solve -3*p - 19 = f*b, 2*b + 0*p = -4*p - 22 for b.
-1
Suppose -5*f = -5*b + 4 - 29, 2*f - 4 = -b. Let p be 324/(-16)*24/(-9). Suppose p = -m + 7*m. Solve s - f*r + 13 = -6*r, 3*r = 3*s - m for s.
-1
Suppose -7*y + 8 = -3*y. Suppose -h - 5*u + 4 = -3*h, 3*u = -y*h + 12. Let k be (-15 + (-3801)/(-252))*36. Solve 5*r + k*d = h - 0, 0 = -3*d - 12 for r.
3
Suppose 3*s - 14*s = -18*s. Solve -4*r - 2 = 2*y, s*y + 4 = -2*y - 3*r for y.
-5
Let y(u) = -u**3 - 17*u**2 - 2*u - 32. Suppose 2*r + 3*s = -40, -2*r + 5*s - 10 = 14. Let m be y(r). Solve -j - 4*j + m*i = 4, i = 3*j + 3 for j.
-2
Let a(l) = 4*l - 6. Let i = 14 + -7. Let o be a(i). Suppose 0 = -5*p - 5*f, -130*p + 5*f + 8 = -133*p. Solve -4*j - o = -3*z, -4*j + p*z - 20 = -j for j.
-4
Suppose 17 = 5*r - 53. Suppose 0 = 2*a + 5*b + 2, a - r = 5*b. Let n = -3 + 6. Solve -n*k - 7 = -5*f + k, -f = -a*k + 5 for f.
3
Let s be (105/(-49) - 2/(-14)) + 5. Solve s*l - 15 = 2*f - 2, -3*f = 4*l - 23 for l.
5
Suppose 149 = 5*b - a, -3*b + 0*b - 5*a = -95. Let k = 35 - b. Solve 4*u = -u - k*s - 15, 0 = -4*u - 5*s - 16 for u.
1
Let n = -1199 + 1200. Solve 4*d - 8 - 11 = 3*t, -t = 4*d + n for d.
1
Let j = 49 - 27. Let a = -17 + 32. Suppose 3 = -a*y + 16*y. Solve -y*x + 18 = -2*d, -4*d = -x - 6 + j for d.
-3
Let c(r) = r**2 - 12*r + 11. Let j be c(11). Suppose j = 5*s - 5*u, 6 = -s + u + 2*u. Suppose -15 = s*o - 54. Solve -p - 17 = 4*v, p + 0 = 2*v + o for v.
-5
Let w = 9 - 7. Let g be (w - 2)/(2 + 1). Let n = 2 - g. Solve 0 = -5*d - 4*c - 10, -4*d + 5 = c + n for d.
2
Let a = 41 + -29. Suppose -12*h + a = -10*h. Solve i + h = -5*j, 3 = -j + i - 3*i for j.
-1
Let f be (-4)/28 + (-2)/(-14). Suppose -2*a + 4*a - 34 = f. Let x = a + -12. Solve 0 = -2*u + 4*u - 3*z + 4, -u - x*z + 11 = 0 for u.
1
Let v be 2*(25/10 - 1). Solve 3*g - 6 + 5 = -o, v*o + 10 = 4*g for o.
-2
Suppose 0 = -4*x + o - 4, x + 4*o - 3 - 13 = 0. Suppose x*k + 84 = 4*k. Let b = 15 - 10. Solve -4*d + k = 4*l - 5*d, 2*l = -5*d + b for l.
5
Let m be (-18)/(-8) + (-2)/8. Let l be (144/(-3))/4*(-6)/(-12). Let y = -1 - l. Solve -m*i - 4 = -3*w + w, 5 = -y*i for w.
1
Let u be (5 + 1)*(-130)/(-195). Solve 0 = -2*h + u*m - 4 + 10, -2*m = 2 for h.
1
Let i = -149 - -152. Solve -3*g + 32 = 5*u, i*g + 2*u - 4 = 4*u for g.
4
Let n = 30 + 26. Let s be 2/16 + 217/n. Solve 5*b - s*h = -29, -4*h + 0*h + 9 = -b for b.
-5
Suppose t - 3 = 2. Let a = -20 + 85. Let c = a + -62. Solve 0 = -5*y - 3*n, -4*n - t = -c*n for y.
3
Suppose 8*b - 2143 = -2135. Solve 0 = -l + b, 5*p - 4*l = 2 + 19 for p.
5
Suppose 21 = 16*a - 9*a. Solve p + 4*m + 23 = 0, a*p - 4*m - 11 = -0*m for p.
-3
Suppose 3*m + g - 4 = 0, 2*g - 2 = 5*m + 6. Suppose m = -4*k + 5*b - 7 - 10, -2*b = 2*k - 14. Solve -k*o + 5*t = 17 - 3, -31 = -5*o - 4*t for o.
3
Let z = -12 + 17. Let l be (10 - 0)*26/52. Solve f + z*t - 13 - 2 = 0, -l*f + t = -23 for f.
5
Suppose -2 = -414*l + 413*l. Solve l*p = 4*m - 0*m + 10, 5*p - 25 = 4*m for m.
0
Let v(l) = 8*l**2 - 2*l + 4. Let c be v(1). Solve c = -2*s - 3*t, 0*t = 2*s - 4*t - 18 for s.
1
Suppose 4*k + 4*k - 40 = 0. Suppose -5*z + 14 = -o - 1, 4*z + k*o = 41. Solve -2 = -2*n - 0*g - g, -4*n - z*g = -12 for n.
-1
Suppose 5*l + 3*a - 35 = 8*a, 9 = 2*l - a. Solve j = -l*r, j + 2*j = -4*r + 4 for j.
4
Let i = -3 - -8. Suppose 0 = 5*p - i - 55. Let c be 30/p - (-2)/(-4). Solve -c*v = -3*r + v + 3, 0 = -3*r - v + 7 for r.
2
Suppose -93 = 4*p - 35*p. Suppose -3*w + 49 + 116 = 0. Suppose p*z - 5*b = w + 6, 0 = 5*z + b - 55. Solve -2*c - 6 - 4 = -2*i, 4*i = -4*c - z for i.
1
Let i(r) = 3*r - 1. Let f = 30 + -21. Suppose 4*n = -1 + f. Let k be i(n). Solve -3*q - 3 = 3*d + 3, d = -k*q - 2 for d.
-2
Let m be (36/10)/((-18)/(-120)). Suppose d = -2*p - 3*d + m, 5*p + 4*d - 30 = 0. Solve -p*l - 7 = -h, 6*l + 25 = -5*h + l for h.
-1
Suppose p = -3*n + 33, -9 - 1 = -5*n. Solve -3*a = 5*u - p, -a + 0*a = 4*u - 16 for a.
4
Suppose -5*l - 58 = 126*c - 128*c, -l + 70 = 3*c. Solve 5*k - c = -5*a + 11, 4*a - 22 = -k for a.
5
Let l = 29 + -32. Let m be (3 - (-33)/(-9))*l. Solve 3*x - 6 = 0, 22 = 4*z + x + m*x for z.
4
Suppose 5*f = -2*h - 0*h + 49, 3*h - 3*f - 126 = 0. Solve -5*o = 3*v + h, 4*o + 3*v + 0*v = -32 for o.
-5
Let p = 469 - 462. Solve -2*m - 5*k = -0 + p, 2*m = 5*k + 3 for m.
-1
Let g = 25 - 17. Suppose 7*y - 15 = g*y. Let b = -3 - y. Solve 3*u + b = 5*o, -5*o + 5 = -u - 9 for o.
3
Let m be 30 - (0 + 0 + 0). Suppose -z + 1 = r, 0 = -2*z + z - 4*r - 8. Let l be (-100)/m*(-6)/z. Solve f = 0, 0 = x + 2*x - l*f for x.
0
Suppose -125 = -12*m - 5. Suppose 3*s - 8 = -b, -5*s + 23 - 3 = 5*b. Solve x + x - f = -m, -s*x = 3*f + 2 for x.
-4
Suppose 0 = 3*h + 16 + 8. Let o = 1 - h. Let m = 14 - o. Solve g = -5*n - 20 + 1, -3*n - 17 = -m*g for g.
1
Suppose -y = -3*k - 2*y + 26, -2*k = 2*y - 12. Solve n + 2*n + 2*w - k = 0, 0 = 2*n - 5*w - 13 for n.
4
Let u(g) = -g**3 + 4*g**2 + 5*g. Let j be u(5). Let b be 2 + -4 + j + 9 + 0. Solve -3*p - 2*n = b, -4 = 2*p - 2*n + 3*n for p.
-1
Suppose 23*l = 30*l - 35. Solve -4*p + 2*p = l*a - 20, 4*a - 16 = -4*p for a.
4
Let h = -21 + 41. Let o(s) = -s**3 + 19*s**2 + 19*s + 22. Let c be o(h). Solve -15 = 5*l, -n = -4*l - c - 10 for n.
0
Let r = -42 - -43. Let s = r + -1. Suppose 4*z - 25 = -3*t, z - 6*z = -t - 17. Solve s*n - 3*m + 12 = 3*n, -z*m = -n + 9 for n.
5
Suppose -14*m + 72 = 4*m. Solve 5*g - 8*z + 5 = -4*z, 0 = -g - m*z - 25 for g.
-5
Let s = 11 + -20. Let g = s - -14. Suppose -q + j + 7 = -0*q, -2*j + 4 = 0. Solve q = p + 4*v, -6 = g*p - 4*v - 3 for p.
1
Suppose 6*u + 9 = 3. Let o = u + 5. Solve -2*j = -5*a + 1, o*a - 3 = -a + j for a.
1
Let o be ((-24)/(-28))/((-3)/(-63)). Suppose 6*y = 6 + o. Suppose 5*v = 5*r, -2*v + 14 = y*r + 2. Solve 3*t - 2*l + 0 - 3 = 0, 5*l + 17 = -r*t for t.
-1
Let s = 46 + -54. Let o be (-1)/2*-6*(s + 9). Solve -o*h = -3*z + 5*z, 4*h - 11 = z for h.
2
Let v(t) = 31*t + 33. Let a be v(-1). Suppose 0 = 2*l + 4*g + g - 24, -5*g = -l - 18. Solve l*c = -3*x - a, -1 = 3*x - c + 2*c for x.
0
Suppose 286*k = 290*k - 16. Solve -15 = -6*y + y - 5*c, k*y = 4*c + 12 for y.
3
Let l(w) = -13*w + 745. Let p be l(55). Suppose n - 1 - 1 = 0. Solve -5*b = -3*y - p, 5*y + 22 - 3 = -n*b for b.
3
Let h(v) = 9*v + 65. Let g be h(-4). Solve l - z - 1 = 0, 0 = -3*l + 6*l + 5*z + g for l.
-3
Suppose -4*h + 114 = 98. Solve -2*s - h = d - 0*s, 2*d + 5*s + 9 = 0 for d.
-2
Suppose 0 = -3*n + 53 - 53. Solve n = -c, -2*m = -6*m - c + 12 for m.
3
Suppose 17*p - 13*p - 28 = -4*w, -11 = w - 5*p. Solve -3*z + i = -w*z - 1, -5 = z + 3*i for z.
1
Let k = -509 - -514. Solve -3*m + k*v = 14 + 3, m + 7 = 3*v for m.
-4
Suppose n + 0*n + 3*m + 3 = 0, 3*n + m = 15. Suppose -2*u - n = 0, -4*h - 4*u + 8 = -36. Solve -3*l - 2*x - 2*x + 10 = 0, -3*l + 2*x - h = 0 for l.
-2
Let b be (-198)/14 - 4/(-28). Let s = -11 - b. Suppose 4 + 20 = s*m. Solve -3*h = -m*h + 25, 3*f + 4*h - 32 = 0 for f.
4
Let u be 16/2 + -5 + -9. Let h be (u/8)/(2 + 18/(-8)). Solve -3*n = -5*y + 13, -5*y = 2*n - 11 + h for n.
-1
Suppose 5*l - 1 = 3*b - 2, 2*l = 2. Solve -b*o + 2*g = 0, 24 = -o - o - 4*g for o.
-4
Suppose -19*t = -10*t - 54. Let s be t - 0 - (-9 + 3 + 3). Let k be 14 - -1 - 2/(-2). Solve p + s = h, 3*p = -h - p - k for h.
4
Suppose -3 = -6*j - 3. Suppose 0 = -j*f - 4*f + 24. Solve -2*t = 3*c + 14, 2*c + t + f = c for c.
-2
Let b = -32 - -138. Let q = b + -98. Solve c + 15 = 5*p, q = -c + 2*p - 1 for c.
-5
Let c(g) = -3*g + 13 - 3 - g**2 + 5 + 2. Let a be c(0). Solve -2*z - a = -3*o, 0*o = -4*o - z + 19 for o.
5
Let q be (6 + (-2 - 4))/(-2). Solve q = 3*f - 5*a + 17, -5*a = 4*f - 3*f - 21 for f.
1
Let z be ((-3)/5)/(14/(-70)). Solve i - 3*q = 4*i - 9, -z*i + q = 7 for i.
-1
Let d be (-10)/15*6/(-4). Let v be 3 - 1 - d*4. Let q be (v/6)/(2/(-12)). Solve q*m = 4*g - 3*g + 11, -2*m + 3*g = -17 for m.
4
Let w(k) = 2*k**3 + 12*k**2 - 6*k + 6. Let g be w(-6). Let f = g - 39. Solve 22 = f*q - 5*j, -2*j - 14 - 10 = -5*q for q.
4
Suppose 2*l + 6 = 4*l. Let z(g) = -2*g**3 - 6 + 5 + 0 - 2*g. Let t be z(-1). Solve -f + l = 0, t*a + 2*f + 18 = 3*f for a.
-5
Let d be -2 + 5 + -38 + 36. Let n