 3*l - 3*n - 6, 18 = -5*l - x*n for l.
-2
Let z(c) = c**2 - 6*c - 12. Let p(t) = -t**3 - 12*t**2 - 13*t - 14. Let q be p(-11). Let b be z(q). Solve -2*y + 6 = b*x, -4*y - 40 = x - 6*x for y.
-5
Let d = -549 + 552. Solve -d*y = h - 1 + 3, 2*h = -10 for y.
1
Let n be (3/((-6)/(-47)))/(12/(-72)). Let l = n - -143. Solve 4*f = -l*j - 1 - 9, 25 = 5*f - 5*j for f.
0
Let x(q) = -4 + q**2 - q + 6*q**2 - 8*q**2 + 2*q**2. Let b be x(-2). Solve r = -j + 5*j + 19, b*j = -2*r - 2 for r.
3
Let f(a) = -3*a**2 + 6*a + 2. Let g be f(0). Solve r + g*c - 3*c + 3 = 0, -2*r - 9 = -5*c for r.
-2
Let i be 8*1 + 224/(-32). Solve f - i = -3*l, 2*l + 3 + 19 = 5*f for f.
4
Let j = 278 - 258. Solve 0 = 4*x + j, 4*x = 4*a - x - 45 for a.
5
Let w be ((-10)/(-4))/((-4)/(-8)). Suppose 0 = -w*f - 0*b + 2*b + 30, 0 = -f + 4*b - 12. Suppose 7 + 3 = 2*v. Solve -q - 1 = 2*s, -v*s - f = -q - 2*q for s.
-1
Let o(s) be the second derivative of -s**3/6 + 2*s**2 - 6*s. Let z be o(2). Suppose z*d + 0*d - 24 = 0. Solve 3*f - 4*u + 9 = 0, 2*f + 3*u = -2*f - d for f.
-3
Let q(i) = 2*i + 4. Let m be q(-3). Let r(f) = 2*f**2 + 3*f + 2. Let x be r(m). Suppose -5*g - 8 = -33. Solve -k - p + g = x*k, 2*k - 5*p = 29 for k.
2
Let z = -928 - -930. Let v be -1*(-2 + 3)*-6. Solve 2*m + 0*y + 2 = z*y, 0 = 2*m - 4*y - v for m.
-5
Suppose 7 = -d + 4*u, -13 = -5*d + u + 9. Let f be (-19 + (4 - -15))*1/1. Solve f = -2*j + v - 0*v + 3, -5 = d*v for j.
1
Let m(k) = -k + 30. Let r be m(15). Solve 3*z - 2*o + 3 = 0, -3*o - 2*o = r for z.
-3
Suppose -t - 44 = 4*t - 3*z, 4*t - 5*z + 30 = 0. Let d = t - -10. Let h = d - -4. Solve h*j + 5*w + 2 = -2, 0 = -j + w - 1 for j.
-1
Let l = -40 - -47. Suppose l*x = 6 + 15. Solve 4 = 4*j + 5*c, -x*j - 4 = -3*c - 7 for j.
1
Let k be 7 + 1 + 3 - 3. Suppose -6 = -r - r. Let q = -5 + 8. Solve 0 = 2*o + q*y - 23, -k - 19 = -r*o - 3*y for o.
4
Let o be 0/(0 + -4 - -5). Suppose o = 5*k - 2*k - 51. Solve 3*h + k = -0*z + z, 0 = -4*h - z - 11 for h.
-4
Let d(n) = n - 11. Let r(x) = -1. Let f(a) = d(a) - 6*r(a). Let z be f(7). Solve 6 = -s + 3*k + z, 0 = -s + 4*k - 4 for s.
-4
Let s = 24 - 22. Suppose 1 = o - s. Solve 5*b + 6 = -o*i - 0, 0 = 5*b + i + 12 for b.
-3
Let r(p) = 3*p**2 + 6*p + 6. Suppose -7*f = -10 + 38. Let c be r(f). Let j = c + -25. Solve 0 = 5*y + 5*d - d + 3, j*y - 3*d + 24 = 0 for y.
-3
Let p(o) = -o**3 - 12*o**2 - 11*o - 2. Let x be p(-11). Let a = x + -2. Let n = a - -9. Solve 2*f + n*z = 7, -4 = -2*f - 4*z - 0 for f.
-4
Suppose 4*s + 49 = -7. Let f be (0 - 0)*s/56. Let x(w) = -3*w - 16. Let m be x(-13). Solve 2*j + 3*j - 4*d + 17 = f, -3*j - m = 4*d for j.
-5
Let m(x) = -72*x - 286. Let d be m(-4). Let t = 2 - -5. Solve 3*r = q + d*r - t, 2*q + 2*r + 2 = 0 for q.
3
Suppose -186*g + 200*g - 14 = 0. Solve 5*v - x = -11, 2*v + 2 = -x - g for v.
-2
Let y = -887 + 889. Solve -4*m + 19 - 7 = 3*q, y*q = 0 for m.
3
Let b(g) = -2*g - 5. Let k be b(-6). Let i = 739 - 739. Solve i = 3*n + 3*t + 6, -2*n = -k*n - t - 18 for n.
-4
Let i = 23 - 14. Suppose -2*f + 5*f = i. Solve -8 = 3*c - l, -f*l - 33 = 3*c - 9 for c.
-4
Let n(o) = o**2 + 3*o - 85. Let b be n(8). Solve -3*g + 8*g + 45 = 5*p, 0 = 3*g + b*p + 3 for g.
-5
Suppose 269*n - 14 = 262*n. Solve 4*p = n*h - 22, -4*p - 3*h - 7 = -0 for p.
-4
Suppose 15*j - 16 = -4*k + 19*j, 3*j - 16 = -4*k. Solve -k*p = z - 0*p - 9, 4*p = 12 for z.
-3
Let y = -5 + 7. Solve -2 = 4*r - 0*i + y*i, r - 5*i = -28 for r.
-3
Let t be -4 + (-3 - -2)*-34. Let f = 24 - 264. Let x be 4/22 + f/(-11). Solve -t = z - 5*l, 2*z + x = l + 7 for z.
-5
Suppose 3*u = -2*q + 6, -4*u - 1 - 14 = -5*q. Suppose -h - 5*l + 12 = -14, -q*l = -3*h + 78. Let r = h - 23. Solve 19 + 6 = -5*z, -r*o - 22 = 5*z for o.
1
Let p(c) = -7*c. Let y be p(-2). Let v be 214/y + 6/(-21). Let u be (4 - (-1 - -1)) + (4 - 4). Solve u*i = -4*z, i + z - v = 5*i for i.
-3
Let a = 117 - 89. Suppose -11*k = 6 - a. Solve k*f + 20 = -3*t, t = -f - 0 - 8 for f.
-4
Let k = -607 - -616. Let s(v) = -v - 1. Let q be s(6). Let a = k + q. Solve a*w + 18 = -3*u + 6, -w + u = 1 for w.
-3
Let y = 11 + 10. Let m = y - 25. Let w be 2/m*(1 - 23). Solve w = 3*s - c, 2*s + 2*s - c = 13 for s.
2
Let f = -2 + 5. Suppose -3*p + 25 = 4*r, 3*r = -5*p - 0*r + 27. Solve -5*i - 5 = -4*x, -f*x = -p*i - 3 - 3 for i.
3
Let u(n) = -n + 14. Let t be u(6). Suppose t*h = -h + 54. Solve 0 = -l + 2*p + h, -3*p = 3*l - 2*p - 4 for l.
2
Let g be 51/102 + 9/6. Suppose 10 + 0 = 2*u. Suppose -2*b + 21 = 5*p - u*b, -4*p + 5*b = -9. Solve -10 = 2*l, 4*l + p = -g*k - 12 for k.
1
Suppose 0 = -5*p - 4*l + 6, 7 = -4*l + 3. Solve 0 = -o - p*o + 6, 0 = -3*x - o + 14 for x.
4
Let u = -1907 - -1929. Solve -5*r = -v, 0 = 2*r - 18*v + u*v for r.
0
Let v = 47 - 39. Suppose -2 = v*o - 9*o. Solve m + o*m = y + 12, 2*y + m = 4 for y.
0
Suppose -2*g = -6*g + 12. Suppose 2*c - g = 41. Solve 2*f = -4*z - c, -4*z + 0*z - 16 = -4*f for f.
-1
Let t = -398 + 400. Solve 0 = -0*v + v + 4*u + 18, -t*u - 14 = 3*v for v.
-2
Suppose 165 = -6*a + 183. Suppose x - 159 = -4*q - 62, q - 27 = -3*x. Let b be (q/(-10))/3*-5. Solve 0 = -5*g - 2*m - 25, -4*m - a = -b*g - m for g.
-3
Suppose -5*u + 34 = -26. Suppose -5*a - 5*d - 1 = 14, 4*d + u = -2*a. Let n = -77 + 90. Solve -4*x - 3*o = a, -x + o - n = 2*x for x.
-3
Let k(o) = o**3 - 5*o**2 - 4*o - 7. Let h = 6 + 0. Let b be k(h). Suppose 7 = b*x - u, x - u = -x + 1. Solve -z + 4*q = -8, -4*z + 0*q - q = x for z.
0
Suppose -49*j + 39*j = -40. Solve j*q - 12 = -2*v, -2*v + 3*v + 6 = 2*q for q.
3
Let y = 8 + -8. Suppose -5*l - 26 + 6 = y. Let b = l + 4. Solve 5*j - 2*j + 5*c - 31 = b, 2*j + 16 = 4*c for j.
2
Let d(p) = 3*p + 84. Let h be d(-21). Solve 0 = y + 4*y + 4*c - h, -3*c = -5*y - 7 for y.
1
Suppose 4*g = 3*u + 4, -1 + 5 = 4*g. Suppose -2*d + 2*z - 1 = 1, u = -d - 5*z + 23. Solve -2*s - 19 = -5*j, d + 4 = -j - 5*s for j.
3
Let t(m) = -m**3 + 8*m**2 + 27*m - 22. Let w be t(11). Let z = w - -90. Solve 0 = 3*h, -z*h = 4*s - 3*h - 8 for s.
2
Let v(m) = -m**3 - 11*m**2 + 12*m + 7. Let p be v(-12). Suppose -5*r + p = -13. Solve x - 5*o = 12, 21 = 2*x - r*x - 5*o for x.
-3
Let k be (-5)/(-2) + (-1)/(-2). Suppose d = 4*r - 1279, -5*r - 2*d + 55 = -1560. Suppose 159 + r = 20*g. Solve -5*n - k*a + a = g, 2*n + 3*a = -14 for n.
-4
Let x = -4 - -15. Let g = x - 11. Suppose 4*w + 2*m = 12, -4*w - 5*m + 10*m + 40 = 0. Solve w*f - 2*b + 4 = 2*b, -f + 3*b + 8 = g for f.
-4
Let n = 61 + -58. Let m be (-85)/(-15) + (-2)/n. Solve -u = 3*l + 6, m*u + 15 = -0*u for l.
-1
Suppose -13*p - 48 = -5*p. Let i be (-46)/p - (-5 - (-14)/3). Solve -3*s + 3*c = -0*c - 3, -i = -2*s + 5*c for s.
-1
Suppose 2*u - 4*u + 2 = -4*o, u - 1 = 5*o. Suppose d + 12 = 4*d. Let b be (-3)/(-2)*(-4)/(-3). Solve o = 3*n + 2*m - 22, n = b*n - d*m + 16 for n.
4
Let j(c) = -2*c**3 + 9*c**2 - 3*c. Let q be j(4). Solve -2*h = q*i + 2, -7*i + 3 = -10*i - h for i.
-2
Let q = -5 - 1. Let v(a) = -a**2 - 6*a + 8. Let s be v(q). Suppose 7*g + 5*y - 9 = 5*g, 12 = 4*g + 4*y. Solve 2*c + 37 - 10 = 5*d, -g*d - 2*c + s = 0 for d.
5
Let b(s) = s**2 - s + 4. Let j be b(0). Let p = 29 - 25. Suppose 35 = p*i - a, 6*a - a + 4 = i. Solve -8*h + 9 = -j*h - w, -5*h + i = w for h.
2
Let f(v) = 8*v + 19. Let g be f(-2). Solve -g*c = -3*p + 3, p = -5*c + 39 - 14 for p.
5
Suppose -4*n + 61 = 2*q - 23, 0 = 3*q - 6. Solve -n = -5*p + 5*d, -7*d - 6 = p - 3*d for p.
2
Let x be 2/(3/((-27)/(-6))). Let h be 0/(-2 - (x - 3)). Solve -4*u = -4*n + 6 + 30, -3*n + 5*u + 37 = h for n.
4
Let c = -15 - -18. Suppose 3*d = 5*b - b + 4, 0 = 5*d + c*b - 26. Solve -d*s - 2*r = 3*r + 8, 4*s + 2*r - 4 = 0 for s.
3
Suppose 0 = u + h, -14 = -2*u + 2*h + 3*h. Solve -5*i + 2*b = 4*b, 4*b = u*i + 24 for i.
-2
Let t(n) = 19*n + 307. Let m be t(-16). Solve -o - 1 = 4*w, -m*w + 3*o - 14 = 2*w for w.
-1
Let u(j) = -j**2 - 19*j - 37. Let i be u(-17). Let z be ((-6)/12)/(i/30). Solve 0 = -q - z*b, 0*b + 2*b - 12 = 2*q for q.
-5
Suppose 7*j = -15*j + 176. Solve -2*f - f - y + j = 0, -2*f + 12 = 4*y for f.
2
Suppose -230 - 642 = -8*c. Let q = c - 104. Solve 4*d + 3*t + 5 = 0, 0*t = -3*d - q*t - 1 for d.
-2
Let w = -1680 + 1690. Suppose -u + 6 = -5*s, 3*s + 1 = -5*u + 31. Let q = w - u. Solve 3*m - q*m - 3 = 5*j, m - 7 = 5*j for j.
-1
Suppose -177 = -3*h - 2*k, -3*k + 223 + 14 = 4*h. Suppose 4*r - r = h. Solve