6*l - 12 for l.
-4
Suppose -150 = -5*o + 4*c, -3*c - 9 - 21 = -o. Let w be (-1 - -2 - 2)/((-3)/o). Solve 0 = 2*x + f - 1 - w, 5*x = 2*f + 14 for x.
4
Suppose 2 = -5*a - 3*f - 2, -2*a + f = -5. Suppose -10 = -13*h + 16. Solve -2*t + 6 = -m, -a = -t + h*m + 2 for t.
3
Suppose -33*d - 9 = -36*d. Suppose d*i - i - 6 = 0. Solve -2*v + 4 = -i*t + t, -3*t + 4*v = 8 for t.
0
Let f be 2/(-4)*(11 - 65). Solve 0 = 4*c + 3*b + f, c + 0 - 2 = b for c.
-3
Suppose 2*o - 3*o + x = -2, 0 = x. Let y be (o/(-4))/(7/(-182)). Suppose -s = 2, -2*s + 0*s + 5 = 3*f. Solve -y = -f*q - 4*t - 45, -2*t - 30 = 5*q for q.
-4
Suppose 11*l + 33 + 77 = 0. Let s = 15 + l. Solve -r = 3*x + 4, -2*r = 4*x + s - 3 for r.
5
Let k = -8 + 14. Suppose -5 = -d + 4. Let o = d - k. Solve 0 = o*t + 6, 0*r = r + 4*t + 13 for r.
-5
Suppose -o - 3*o + 84 = -4*j, 5*o - j - 93 = 0. Let i = -13 + o. Solve 0 = -4*f - y + 1, -5 = -2*f - 4*y + i*y for f.
1
Suppose 9*s = s + 40. Suppose -4*k = -s*k. Solve 5*u - 3*y - 5 = 0, k = -2*u - y + 5*y + 2 for u.
1
Let k = 10 + -6. Suppose 4*a = 3*r - 12 + 16, -16 = -3*r - a. Solve -r*j = s + 1, j - 3*s + 14 = -k*j for j.
-1
Let n(t) = t**2 - 8*t + 7. Let h be n(2). Let p be (-6)/30*-17 - 3/h. Solve -2*v + 5 = -3*v, 0 = -5*w - p*v - 5 for w.
3
Let y = 16 + -12. Suppose 0*x + 17 = 3*x - y*o, -5*x - 5*o = -5. Solve k + 5 = 0, x*u = 2*k + 13 - 0 for u.
1
Let m(v) = -4*v + 4. Let d(w) = -w**2 - 14*w - 16. Let l be d(-13). Let t be m(l). Solve -k = -4*z + t, z - k - k - 4 = 0 for z.
4
Let h(n) = 2 - 2*n + 7*n**2 - 7*n**2 - n**2. Let f be h(-3). Let r be 1 - (-2 - (2 + f)). Solve 0 = -5*v - 2*w - 14, 0 = -2*v - r*w - 12 for v.
-2
Let p be (2/13)/(6/78). Solve -4*r + p*o - 3 - 1 = 0, -o = -r + 1 for r.
-3
Let t(d) = -14*d + 5. Suppose -5*c + 3*f - 3 + 32 = 0, -f + 1 = c. Let y be t(c). Let l be -5*(-3 - y/(-15)). Solve 2*v + 4 = -7*h + 3*h, 4*h = 5*v - l for v.
4
Let r = 132 + -132. Suppose r = -8*z + 3*z - 5, 3*g = -2*z - 2. Solve -n - 8 = 5*j - g*j, -2*n = 2*j for j.
-2
Let z be ((-24)/15)/(2/15). Let r = -12 - z. Suppose 3*i - 7 - 8 = r. Solve 3*m + 5*x = -19, i*m - 3*x - 34 = -9 for m.
2
Suppose -15*a = -35 - 100. Solve -p - 1 = w, 10*p = 5*w + a*p + 11 for w.
-2
Suppose -2*v + 3*v + 2*p = -22, 0 = v + p + 17. Let x be v/(-4 - 0) - 1. Suppose m + 12 = 4*m. Solve 0*g = g - m*o - 18, 4*g - 2 = x*o for g.
-2
Let r = 4 + 4. Suppose 2*q = r*q - 6. Solve -5*o + 5*n - 14 = q, 3*o + 9 = 2*n for o.
-3
Suppose 4*k = -4*q + 76, 0 = -3*q + 4*k - k + 39. Let y(d) = d**2 - 3*d + 4. Suppose -2*v = -4*v + 6. Let s be y(v). Solve -5*x - f = -q, f - s*f = 3*x for x.
4
Let y = 1927 - 1923. Solve -4*s + 4 = -3*p, 8*p = 5*s + y*p - 6 for s.
-2
Let r(k) be the third derivative of 0*k + 0 + 1/6*k**4 - 8/3*k**3 - 7*k**2. Let v be r(7). Solve -12 = 4*l, 3*s + l + 0 = -v for s.
-3
Let y = 14 + -10. Suppose 0 = -17*q - 7*q + 336. Suppose 5*n = -4*w + 47, 53 = 4*w + 2*n - 3*n. Solve y*x + m = -w - 5, -4*x + m - q = 0 for x.
-4
Suppose -4*z + 21 = -3*b, -4*z = b + 4*b - 29. Let v be (3 - (-8)/(-3))*(9 + z). Solve -v*r = y + 17, -4*y + 4*r + 10 = -6*y for y.
3
Suppose -4*t + 5*a - 20 = 0, -2*t + 6*a - a = 20. Solve -5*c + 4 = -h, -3*c + 3*h = -t*h for c.
1
Let a(s) = s**2 - 7*s - 11. Let u be a(8). Let m be 16 - (-3)/(u/1). Let k be 24/5 - (-3)/m. Solve -2*p = -k*q - 7, -2*p + 0*p = -2 for q.
-1
Let x = 11 + -36. Let o be x/2*10/(-25). Solve -o*u + t - 17 = 0, 4*u + 5*t + 16 = -15 for u.
-4
Let r(u) = -6*u + 37. Let i be r(5). Solve 8*w - 8 = i*w - 2*v, -4*w - 4*v = -12 for w.
-2
Let w(l) = -3*l - 39. Let r be w(-16). Solve -2*b - r = 2*i - 1, -5*b + 2*i = 13 for b.
-3
Let f(i) = 7*i + 25. Let o be f(-2). Let y = 11 - 8. Suppose 2*w + y = o. Solve 2*r + 0*r - 5*u - 10 = 0, -r + w*u + 11 = 0 for r.
-5
Suppose 2*v - 4*v + 18 = 0. Suppose 2*b - v = -b. Suppose -7*q = -q - 24. Solve 2*m + 3*z = q*m - 10, 0 = -3*m - b*z for m.
2
Let k(p) = 7*p - 25. Let m be k(4). Let h be (-6)/(-2) + -2 - -4. Let t be h*(2 - 1 - 0). Solve 2 = -n + w - 1, -w = -t*n - m for n.
0
Let g = -27 - -5. Let d = g - -34. Solve d = 4*i, -2*i - 1 + 3 = 2*t for t.
-2
Suppose -6*d - 18 = -3*d. Let v(g) = g**3 + 8*g**2 + 13*g + 9. Let r be v(d). Solve r*z - 3 = 4*z + 2*o, -4*o - 11 = -3*z for z.
1
Let t = -257 + 268. Suppose -7 = 2*q - t. Let z be 4 - (-2)/(-4)*0. Solve -q*l = z*r - 14, r + 2*r = -l + 9 for l.
3
Let l(c) = 6*c**3 - 3*c**2 - 5*c + 5. Let b be l(1). Solve b*j = -5*g + 17, 1 - 18 = -g - 4*j for g.
1
Suppose 0 = -0*o + o + 18. Let v = -9 + -11. Let w = o - v. Solve 0*k - k - h = -3, 3*k = -w*h + 11 for k.
5
Let l(s) = s**2 - 23*s - 5*s - 21 + 43*s. Let o be l(-17). Solve -r = f + 2*r - o, -4*r + 24 = 3*f for f.
4
Let l be 4*4/(-32)*(-4 + -2). Solve -2*z + 7*z = l*x + 4, -4*z - 19 = 5*x for z.
-1
Suppose 18*k = 6 + 30. Solve 5*b - 26 = -k*o + 2, -o = -b for o.
4
Let w be 3/((-18)/81 - (-71)/198). Suppose p = -10*p + w. Solve 0 = -3*k - k - 2*a - 8, -k - 5 = p*a for k.
-1
Suppose -z + 0*z - 5*r = -30, 30 = 2*z + 4*r. Solve -y - 4 - z = 5*g, -3*y + 13 = -5*g for g.
-2
Let q = -3 + 11. Suppose k = 5*k - q. Suppose 0 = -5*m - k*y + 2, 2*y - 3 = -4*m - y. Solve 0 = -5*l + 2*j - 1, 5*l + m*l - 14 = -3*j for l.
1
Let h be ((-6)/15)/(24/(-20) + 1). Solve k - f + 6 = 0, h*f + 3*f - 18 = -k for k.
-2
Suppose -10*r + 45 = 5. Solve 3*j = -4*i + 31, 2 = -2*j + r*j - 2*i for j.
5
Let x(i) = i + 1. Let p be x(24). Let w = -10 + p. Solve -5*j - 3*c - 15 = 0, -w = j - 0*j + 3*c for j.
0
Let h be (-3 - -27) + (1 - -2). Suppose -i - 4*i = 2*t + 74, 120 = -4*t - 3*i. Let l be 1/(t/(-6) + -4). Solve -4*r = -5*k - h, 0 = k + l*k + 9 for r.
3
Let y be (4 - (-35)/(-5))*-1. Solve 5*a + 7*r + 2 = y*r, r = -4*a - 6 for a.
-2
Suppose 2*y - 65 = -17. Let x = -39 + y. Let z be 5/(x/2)*-6. Solve z*k - 2*w = -w + 16, 3*w + 21 = 3*k for k.
3
Let q = 298 + -297. Solve -3 = -3*l + y - 0, y + q = l for l.
1
Let z(u) be the second derivative of -2*u**5/5 - u**4/12 - u**3/3 - u**2/2 - 14*u. Let t be z(-1). Solve -2*h + 12 = 3*a, -4*h + 2*a - t = -5*h for h.
0
Let k(p) = -p - 1. Let s be k(-8). Solve 0 = -0*v + v - 1, 2*f + v - s = 0 for f.
3
Let m(f) = -1 - f + 2*f + 0*f + f**2. Let s be m(1). Let n be (s - 3) + (11 - 4). Solve n*y + 23 = l, 4*y + 6 = 4*l - 6 for y.
-5
Suppose -4*m - a - 24 = -9*m, m = 2*a + 12. Solve -3*j = 2*h + 17, 4*h + j + m = 5*h for h.
-1
Let q be (-2)/(1 - 2 - -3)*7. Let c = q + 11. Let k(v) = v + 3. Let t be k(9). Solve c*y = l - 8, 4 - t = -3*l + 4*y for l.
0
Let r = 14 - 9. Let c(a) = 3*a**3 + 2*a - 2. Let l be c(1). Let m be 1/l + (2 - (-1)/(-3)). Solve -9 = -3*g + m*o, -r*g - 3*o - 7 = o for g.
1
Let r be (-2)/(-8) + -6 + (-155)/(-20). Solve -l = -r*l - 5*y - 19, -l + 2*y = -2 for l.
-4
Let u(h) = -h**3 + 5*h**2 - 8*h + 89. Let c be u(6). Solve -3 + 1 = c*v - 2*s, 14 = v - 4*s for v.
-2
Suppose -2 - 4 = -3*r. Suppose 5*h + 13 = 5*j - 92, -4*j + r*h = -74. Let g be (-8)/j*(-5 - -1). Solve g*m - 4 = x, 6 = 3*m - m for x.
2
Let c(i) = -2*i - 5. Let u(m) = -2*m - 5. Let p(g) = -6*c(g) + 7*u(g). Let o be p(-4). Suppose 0*v = o*v. Solve t + v*t - 2*y - 7 = 0, -3*y - 3 = -4*t for t.
-3
Let w(f) be the first derivative of f**2/2 - 5*f + 11. Let o be w(9). Solve 1 = -2*j + c, o*j + 4*c = -j + 4 for j.
0
Let x(t) = -7 + 2*t + 9*t - 2*t - 4*t. Let b be x(2). Solve 4*q = 4*h + 4, 5*h - b*q = -0*q + 3 for h.
3
Suppose -12 = -5*r - x - 0, -8 = r - 5*x. Let d be r - 1/2*-1*0. Solve -n - 4*z - 5 = -z, -d*n = 3*z + 1 for n.
4
Suppose 2*z - 4 = 4*j, 10 + 5 = 5*z - 5*j. Solve 1 = 2*n + 4*o - 1, 0 = -3*n + z*o + 3 for n.
1
Let w be 2 - ((-155)/(-3) - 2/3). Let q = w - -64. Solve 0 = 2*a + a + 3*j - q, -5*a = -5*j - 15 for a.
4
Suppose 0 = 5*d - 2*j - 16, 1 = -2*j + 5. Solve -2*u - 4*x = -4, d*x + 0 = -3*u + 4 for u.
0
Suppose -n + 344 = 7*n. Let d = n + -32. Solve 2*w + h = -d, -3*h = 5*w + 2*h + 30 for w.
-5
Let b(k) = 4*k - 15. Let o be b(6). Suppose z = -2*z + 12. Suppose 5 = r, 3*r - 15 = 14*y - 18*y. Solve -5*s = 5, -z*j + y*j + o = -s for j.
2
Suppose 118 - 34 = 6*b. Let f be (-35)/2*(-8)/b. Solve 0*h + 2*h - 2*o + 8 = 0, -5*o + f = 0 for h.
-2
Let j be (11 + -1)*(-99)/198. Let d = 25 - 1. Let u be 28/(-35) - d/j. Solve -2*y - 5*t = u, 5*y + 2*t = 4*t - 10 for y.
-2
Let m be ((-15)/(-6))/((-3)/6). Let u = 3 - m. Let i = -6 + u. So