 -2*x - l + 192, 0 = -x + l + 68. Let s = -63 + x. Solve 4*f - s*f = 2 for f.
1
Let f = 942 - 940. Solve -f*d + 0*d = 3*d for d.
0
Let s = -1522 + 1530. Solve 0*h = -2*h + s for h.
4
Let w be -3 + 2 + 3 + (7 - 5). Solve w*i - 4 = 4 for i.
2
Let a(z) = -z + 3. Let h be a(2). Let u be (-468)/(-104)*(-2)/(-3). Suppose 0 = -2*b - 3*b + 20. Solve -h = u*p - b for p.
1
Let w be (1 + 4 + -2)*36/27. Solve 4*h = -w + 8 for h.
1
Let q(y) = 3*y - 13. Let x be q(6). Suppose 14 = x*m - 46. Solve m*l - 6 = 9*l for l.
2
Suppose -j + 2*j = -3*y + 78, -4*y + 120 = -4*j. Suppose -5*s - 2 = -y. Suppose -4*c - 3*n - 4 = 0, 2*n + 3 = -5*c + s. Solve -c*l - 2 + 0 = 0 for l.
-1
Suppose h + 2*i + i + 15 = 0, 5 = -2*h - i. Solve h = -3*v + 9 - 0 for v.
3
Let v(z) be the third derivative of -z**6/30 - z**5/20 - z**4/12 - z**3/6 - 30*z**2. Let r be v(-1). Solve -r*d - 1 = -5 for d.
2
Let f(q) be the first derivative of 2*q**3/3 + 5*q**2/2 + 8*q - 40. Let w be f(-4). Solve -3*l - w = l for l.
-5
Suppose -t = -3*w + 15, -2*t - 4*w = -6*t - 20. Suppose 4*a - 6 = -2*y, 5 = 5*a + 2*y - 5. Solve 0 = a*x - t*x + 16 for x.
-4
Let q be 4 - 9/((-18)/(-4)). Let a(l) = q - 1 + 5 + 3 + l. Let m be a(-6). Solve -m*b = -4 - 11 for b.
5
Let k(n) = n**3 - n**2 + n - 1. Let s be k(2). Solve -3*h - 8 = -s*h for h.
4
Let b(m) = m**3 - 7*m**2 - 10*m + 20. Let l be b(8). Suppose o - 40 = -3*r, -l*o - 10 - 10 = 0. Let p be (3 - -2*2) + 1. Solve r = -p*z + 3*z for z.
-3
Let u = 17 + -15. Suppose a = -5*a + a. Solve a*j = -u*j for j.
0
Suppose 3*u - 2*a + 19 = 0, -4*u = 2*a - 7 + 23. Let h be u*(-5)/((-100)/(-8)). Solve h = 2*g - 8 for g.
5
Let v = -84 - -88. Suppose -76 + v = -6*d. Solve 0 = -3*k - d - 3 for k.
-5
Suppose 15 = -5*y - 3*f, 2*f = -2*y + 5*f - 6. Suppose -2*p = -2*h - p - 2, h - 2*p = -7. Let d = h - y. Solve d*x = x for x.
0
Let f = -82 - -85. Solve 4*j + f = -9 for j.
-3
Let n(t) be the second derivative of t**2 + 0 - 4*t + 1/6*t**3. Let m be n(0). Solve -c = m - 1 for c.
-1
Suppose 0 = -2*j - 33 - 23. Let p = 32 + j. Solve 12 + p = 4*o for o.
4
Let u(k) = 22*k + 114. Let t be u(-5). Solve -3*v + t*v - 1 = 0 for v.
1
Let z be 5/(-55) + (-92)/(-44). Solve z*j + 3 - 5 = 0 for j.
1
Suppose -4*b + 2*z + 56 = 0, 5*z + 11 = b - 12. Let g be 11/2*(3 - 5). Let r = b + g. Solve -q - r - 3 = 0 for q.
-5
Suppose 65*k = -3*s + 69*k + 150, 3*s + 3*k - 150 = 0. Solve -s = 5*d - 30 for d.
-4
Let i be 56/4*(-3)/(-6). Suppose -3*p - 3*b - i = -p, -p - b = 1. Let v(d) = -d + 4. Let u be v(p). Solve u = -4*t - 12 - 0 for t.
-3
Let g be (0 + 2)*(-21)/(-2). Suppose 0 = p - 4*p + g. Let k be (-3)/(-2) + 39/26. Solve k*d - p*d = 20 for d.
-5
Let f(v) = v**2 - 13*v - 21. Let b be f(15). Solve b*k - 1 = 8*k for k.
1
Suppose -4*y = -5 - 11. Let t = 7 - y. Let h be (t/(-2))/(24/(-32)). Solve -h*w + 4*w - 8 = 0 for w.
4
Let o(g) = -g**3 - 48*g**2 - 134*g + 58. Let w be o(-45). Solve -w*k - 36 = -4*k for k.
-4
Let w = -219 + 221. Solve -w*q = -q + 1 for q.
-1
Let a(k) be the first derivative of -k**4/4 + 4*k**3/3 - 2*k**2 + 3*k + 3. Let n be a(2). Let y = -74 - -84. Solve -g + y = -n*g for g.
-5
Let k = 4 + -1. Let a(u) = u**3 - u**2 + u + 1. Let r be a(2). Let g be 8/2 + r + -6. Solve -4*c - k = g for c.
-2
Let i = 7 + -5. Suppose 4*z - 40 = -5*h, 2*z = -i*h + 7*z - 17. Let m(k) = -k**3 - 50*k**2 - 108*k - 576. Let a be m(-48). Solve a = -f - f - h for f.
-2
Let n = -15 + 10. Let q = 0 - n. Suppose -q*i + 2*i = 4*d + 14, 18 = -i - 4*d. Solve -i*y - 5 = -7*y for y.
1
Let f be (5 + 3 + -8)/(3 + -1). Solve -5*z + 7 + 13 = f for z.
4
Let f(s) = s**3 - 7*s**2 + s - 5. Let b be f(7). Let k(u) = b*u - 4 + 4*u - 2*u - 5*u. Let q be k(-4). Solve 2*y + y + 15 = q for y.
-5
Suppose 7*b = 94 + 25. Solve -5*m + 3 = -b for m.
4
Let v(r) = r - 3. Let f = 13 - 3. Let g be v(f). Suppose t + 3*z + g = 0, 16 = t - 2*z + 3. Solve -1 = -b - t for b.
-4
Suppose -3*a - 12 = -6*a. Suppose 3*c = -a*r + 89, -5*c = 3*r + 4 - 79. Solve r = -2*g + 6*g for g.
5
Suppose -40*o + 11*o + 232 = 0. Solve -o*b = -5 - 19 for b.
3
Let o(a) = 2 - 12 + a - 9 + 3. Let w be o(19). Solve 0 = 2*s - w*s - 3 for s.
-3
Let i(x) = 4 - 5*x + 7*x - 3*x. Let v be i(7). Let c(m) = -m**2 - 2*m + 3. Let w be c(v). Solve w = b + 1 + 3 for b.
-4
Suppose -4*z - 9*a + 5*a = -32, 4*z - a = 37. Solve z*y - 12 = 5*y for y.
3
Suppose -z + 9 = 7. Let p = z + 2. Suppose 0 = p*l + 2*k - 10, -5*l = -4*k + 2 + 5. Solve 0 = -q - l + 2 for q.
1
Suppose 0*f + f = 2*l - 6, -2 = 2*l + f. Suppose -4*y + 17 = -p + l, 3*y = -4*p + 31. Solve -15 = -0*w - y*w for w.
3
Suppose j + 37 = 2*w, 5*j + 2*w + 153 = 4*w. Let r = -14 - j. Solve -4*s = -s - r for s.
5
Let j = 3 - 0. Suppose -3*y = -4*p + 85, -4*p + 2*p = -y - 45. Suppose 2*f = -j*f + p. Solve 2 = f*l - 3 for l.
1
Let u(q) = q**2 - 9*q + 11. Let s be u(8). Suppose -4 = 4*z - s*f, -3*f + 10 = -2*z + z. Suppose -i + z*i = 4. Solve 11 + i = -3*r for r.
-5
Let i = 19 - 4. Let f be (-5)/i + 20/6. Suppose f*s - 4*s = -3. Solve j + 2 = -s for j.
-5
Suppose -3*r + 31 = q + 2*r, -q = -5*r - 1. Suppose 5*n - 19 = -3*x, n + 4*x = 4*n - 23. Let g = 13 - 12. Solve -n*b = -g + q for b.
-3
Let i = -2338 + 2357. Solve -7*h + i*h - 48 = 0 for h.
4
Let f(u) = u**3 + 5*u**2 + u + 7. Suppose 3*i + 2*y + 25 = -0*y, i - 3*y = 10. Let p be f(i). Let t be 0 + 0*(p + -1). Solve -8 = -2*h - t*h for h.
4
Let q be (-4)/22 - 1825/(-55). Suppose 5*h - 12 - q = 0. Solve 5*j = h + 11 for j.
4
Suppose -n + 21 = -3*w, n + 3*n = 5*w + 28. Let x be 4*(1 + (-6)/w). Solve x = -3*l - 2 for l.
-3
Let w(o) = o**3 - o**2 - 8*o + 11. Let z(g) = -2*g - 21. Let b be z(-12). Let c be w(b). Solve -r - c = 4*r for r.
-1
Suppose 2*k = -4*w + 102 - 22, 0 = 4*k + 4*w - 152. Solve -k*c = -37*c + 2 for c.
2
Let d(j) = 3*j - 31. Let v be d(14). Let b = v - 10. Let s be (-5)/(-5) - (b - 2). Solve 2*t + s*t = 16 for t.
4
Suppose 0 = -4*c + 3*n - 4*n + 18, -5*c + 33 = -4*n. Solve -c*v + 2*v = -9 for v.
3
Let k be 34/(-5) + (-3)/15. Let j(m) = -m**2 - 5*m + 15. Let l be j(k). Let q be 88/4 + l + -3. Solve 2*a + 3*a + q = 0 for a.
-4
Suppose 144 = -4*y + 16*y. Suppose 4*x = -5*d + y, 4*x - 6*d - 12 = -2*d. Suppose 0 = -2*m + 2, q + 5*m - 2*m = 5. Solve q*u = 5*u + x for u.
-1
Let m = -8 + -5. Let l = -9 - m. Suppose -h + 8 = 3*w - 3*h, -3*w + 20 = -5*h. Solve w = l*k - 23 + 7 for k.
4
Suppose 0 = 4*b + 16 - 96. Suppose -w + 4*h = -2, 0*h - 3*h = 0. Let l(y) = y**3 + 6*y**2 - 53*y - 316. Let j be l(-6). Solve -j*z = w*z + b for z.
-5
Suppose 20 = -2*u + 6*u, 287 = 4*c - 5*u. Let s = c + -58. Solve -5*w + w - s = 0 for w.
-5
Suppose -3*d = -4*j - j + 17, -13 = 4*d + 3*j. Let z be 1 + 5 + (-3 - d). Solve -4*c - z = 9 for c.
-4
Let l = -77 - -119. Solve -6*q - l = -12 for q.
-5
Let s be (-1)/5*-19 - 6/(-30). Suppose s*l + 20 = 8*l. Solve -4*r - l = r for r.
-1
Let b = 57 - -8. Let c(w) = w**2 + 4*w - 10. Let u be c(-6). Suppose -3*q + 35 = r, 0 = -u*r - 2*q - 3*q + b. Solve -r = -a - 4*a for a.
4
Suppose -40 = -27*b + 19*b. Solve b*h - 10*h = 10 for h.
-2
Let u = 390 + -383. Solve 0 = -7*p - 0 - u for p.
-1
Suppose 3*o - 8*o + 40 = 0. Let q be 2/o + (-101)/4. Let g = -21 - q. Solve 20 = -g*d - d for d.
-4
Let q = -781 + 782. Let j be (-1)/(-3 - -2) - -3. Solve 0 = c + j + q for c.
-5
Let d = 7 + -5. Let q(t) = -t + 23. Let w be q(23). Solve w = -j + d*j + 5 for j.
-5
Let i = -880 - -884. Solve -9*p + i = -7*p for p.
2
Let r(w) = 13*w**2 - 5*w + 15*w - 2 - 14*w**2 + 47. Let q be r(13). Solve 6 = 4*s - q for s.
3
Let r = -2 - -6. Suppose -2*i = -r*i - 24. Let d = 12 + i. Solve d - 2 = g for g.
-2
Let i be (1 - (9 + -2))*5/(-3). Let o(r) = -r**3 - 4*r**2 - 2*r - 3. Let a be o(-4). Solve 0 = 5*j + a + i for j.
-3
Suppose -84 = -30*u + 6. Let n = 11 - 6. Solve n*a - u = 2*a for a.
1
Let m be (-14)/((-15)/9 + 1). Let q(f) = -f**3 + 22*f**2 - 23*f + 50. Let r be q(m). Solve -5*k + r = -k for k.
2
Suppose 8*a = 3*a - 50. Let r = -6 - a. Let u(s) = -2*s**3 + 13*s**2 + 8*s - 4. Let v be u(7). Solve -v*q = -r*q + 3 for q.
3
Suppose 9 = 2*t - 11. Let a = t - 8. Solve -3*k - a = -17 for k.
5
Let c(s) = -s**3 + 21*s**2 - 21*s + 45. Let d be c(20). Solve 0 = -4*m - 5 + d for m.
5
Let y(t) = 3*t**2 - t - 2. Let n be y(-2). Suppose -3*d = -9*d + n. Solve d*v = 7*v + 5 for v.
-1
Let l be 4*12/(-40)*(-