= 3*q**2 + 19*q + 8. Let d be l(g). Solve 0 = -d*o - 2*o for o.
0
Let l = 124 + -119. Solve 3*u - 24 = -l*u for u.
3
Let s = -70 + 77. Suppose 4*k - s = -2*q + 13, 0 = 2*k + 4*q + 2. Solve 2*g = k*g - 10 for g.
2
Suppose -9 = -2*x - 1. Suppose 0 = -f - x*f - 110. Let h = 25 + f. Solve 3 + h = 2*w for w.
3
Let x = 14 - 3. Let a = 26 + -50. Let m = 25 + a. Solve -m = 5*s - x for s.
2
Let l be (-5 - -2) + 7 - 4. Let t(g) = 23 - g + l*g - 25. Let u be t(-3). Solve n + u = 3 for n.
2
Suppose 0 = 1438*q - 1433*q - 110. Solve -12*a - 10 = -q*a for a.
1
Let q = -35 + 15. Let m be 10/4*(-32)/q. Suppose 0 = -4*s + 2*r + 26, s - m*r + 3 = -1. Solve 4*v + s + 4 = 0 for v.
-3
Let g(r) = 3*r**2 - 9*r + 14. Let i be g(3). Solve -w = i - 12 for w.
-2
Let k be (-1)/1*(-35)/(-5). Let r(n) = n**3 + 6*n**2 - 8*n - 7. Let g be r(k). Solve -s = -g*s + 2 for s.
-2
Suppose 4*a - 7 = 9. Suppose -z + a*u - 15 = u, 4*z = 3*u - 15. Suppose 12*k + 19*k - 155 = 0. Solve k = -z*b + b for b.
5
Suppose 0 = 3*y + 12, -t + 5*t = y + 36. Suppose -3*i = 4*o - 7 - t, -5 = -2*o - i. Suppose o = 5*x - x - 8. Solve -2*j - x*j - 8 = 0 for j.
-2
Let v(m) = -3*m**3 + 134*m**2 - 89*m + 47. Let k be v(44). Suppose -9 = -4*n - 3*q, -4*q - 45 = -5*n - q. Solve 0 = h + n - k for h.
-3
Suppose t - 3*i = 32, -3*t + 60 = -4*i + 7*i. Solve t*z + 12 = -34 for z.
-2
Let o = 959 + -952. Solve -a - 12 = -o for a.
-5
Let o = 241 + -232. Solve 3 = 3*t + o for t.
-2
Let m(a) be the third derivative of a**6/120 + 19*a**5/60 + 2*a**4/3 - 13*a**3/3 + a**2. Let d be m(-18). Solve -5*j - d = -0*j for j.
-2
Let q(n) = -n - 37. Let y be q(17). Let m = y + 70. Solve 3*i - m = -i for i.
4
Suppose 21*g = 22*g - 10. Suppose 5 = 2*t - 0*t - c, -5 = c. Suppose t + 4 = r. Solve r*p = -6 - g for p.
-4
Let g(i) = -27*i + 395. Let v be g(14). Solve 2*z = v - 13 for z.
2
Let s(x) = x**3 - 7*x**2 - x + 10. Let h be s(7). Let c be 4/(-6)*h - -2. Solve c = -y - 0*y - 2 for y.
-2
Let f be ((-28)/21)/(1/36). Suppose -3*a = 8 - 35. Let d be (-4)/f*a*4. Solve 3 = -2*w - d for w.
-3
Suppose 0 = 7*u - 6*u - 14. Suppose 0 = -2*j - 10 + u. Solve -j*l - 6 = l for l.
-2
Suppose y = 5*x + 3*y - 12, 5 = 5*x - 5*y. Let c be (8/2 - 3)*x. Let p = 20 + -15. Solve -p = -c*j - 3 for j.
1
Suppose 4*r + 3*m - 427 = 0, -3*m + 8*m = -5*r + 535. Suppose 0 = -4*z + r - 98. Let t be (0/(-1 + 3))/(-2). Solve -2 = z*v - t for v.
-1
Let s(f) = -36*f**2 + 254*f + 6. Let w be s(7). Solve 7*z + w = 20 for z.
0
Let k = 142 - 136. Solve -k*c = -c for c.
0
Let d be ((-20)/5 - -3) + 5. Suppose 2*a + 2*k + 4 = 0, -5*a - 13 = -6*a + d*k. Solve a = -q - 3 for q.
-4
Suppose 2*v - 1 = 3. Suppose 100 = 106*b - 56*b. Solve b*n + 4 = -v for n.
-3
Let r be (-392)/(-35) + 17/(-85). Suppose -3*l = -5*j - 2*l + 13, 5*j = -4*l + 23. Solve -r = j*y - 2 for y.
-3
Suppose -2*h - 18 = -7*k + 5*k, 0 = -2*k - h + 3. Suppose z + k = 0, 7*m = 2*m - z + 21. Solve 5*w - m + 0 = 0 for w.
1
Let c = -128 - -158. Solve -6*g + c = 12 for g.
3
Let o(j) = 15*j - 22. Let n be o(2). Let g(r) = 3*r**2 + 2*r - 1. Let m be g(1). Solve -m*b + 0*b = n for b.
-2
Let n be (-3)/2*(-20)/(-3). Let q = 15 + n. Suppose 20 - 5 = q*s. Solve -s*d + 0 = 6 for d.
-2
Let p(q) = -q**2 + 7*q + 2. Let x be -2*(-2 - 9/6)/1. Let w be p(x). Solve w*a - 3 = 1 for a.
2
Suppose 0 = -v - 4*r + 22, v + 2*r = -3*r + 25. Solve -6*g = -v*g for g.
0
Suppose -15 - 3 = -m. Let x = m - 22. Let a be (-4)/x*(4 - 2). Solve 3*h + a = 2*h for h.
-2
Suppose 10 = 3*i + 4*f, -2 = i + 5*f - 9. Solve -6*v = -4 - i for v.
1
Let t(u) = 2*u**2 + 54*u + 6. Let g be t(-27). Let d = g + -6. Solve 2*x + 0 - 2 = d for x.
1
Suppose 14 = 2*k - 2*n, 3*n = 4*k - 31 + 3. Let f(m) = m**3 - 5*m**2 - 12*m + 6. Let o be f(k). Let v = o - 20. Solve -2*l + 7*l + 10 = v for l.
-2
Let w be 0 - 8/3*(-420)/16. Solve -9*r = -23*r + w for r.
5
Let n(t) = t**3 - 2*t**2 - 4*t + 7. Let v(x) = -x**3 + 7*x**2 - x + 10. Let q be v(7). Let k be n(q). Solve k*m + 5 + 7 = 0 for m.
-3
Suppose -3*u - 2*x - 3*x = -54, 0 = 2*x + 6. Let n = u - 20. Solve n*t = t - 8 for t.
-4
Suppose 5*i = -5*n + 60, -2*i - 13 + 23 = 0. Solve 15 - 43 = -n*w for w.
4
Let c be (4/(-6))/(26/1911). Let h = 51 + c. Suppose o - 21 = 3*m, 4*o - 19 = 3*m - 4*m. Solve -o + 0 = -h*y for y.
3
Let f be (-3 + 1)/1 - 7. Let p be (2 + -1)/(800/88 - 9). Let m = f + p. Solve o + m*o = -12 for o.
-4
Let h = 3 - -134. Solve h*t = 134*t + 3 for t.
1
Let c be 1/(-7) + (8 - (-660)/(-84)). Solve 6*o - 4 + 16 = c for o.
-2
Let d = -8498 - -8499. Suppose -11 = 3*c + 5*o, 2*c + 2*o - 3*o - 10 = 0. Solve c = x + d for x.
2
Let w = -82 + 87. Let l be (-23)/(-5) - 2/(-5). Let v = l - w. Solve v = 4*r - 16 for r.
4
Suppose 2353*d = 2340*d + 572. Solve d = 5*k + 64 for k.
-4
Suppose 0 = -4*g + 8 + 28. Suppose g*q + 25 = 4*q, -15 = -3*w + 3*q. Suppose 3*n + 5*k - 3 = -1, w = -n - k + 2. Solve n*r = -8 - 8 for r.
-4
Suppose -2*s + 26 = m, -2*s - 1 = -5*m - 3. Let o be (-4)/(-6) + -3 + 8/(-3). Let f = s + o. Solve 0 = 4*h + 10 + f for h.
-4
Suppose -4*b - f - 48 = -7*b, -f = -3. Let l = b + -22. Let t(d) = d**2 + 4*d - 2. Let o be t(l). Solve -2*u + 3*u = o for u.
3
Let p(u) = -3*u**3 + u**2 + 2*u + 1. Suppose -6*t + 9*t = -3. Let a be p(t). Suppose a*x - 4 = 2. Solve x*o + 2 = 4*o for o.
1
Let l(u) = -u**3 + 5*u**2 + 2*u + 6. Let v be l(5). Suppose 12*i = v*i - 32. Solve -n + 3*n = i for n.
4
Let i(t) = -t**3 - 6*t**2 - 2*t - 31. Let k be i(-6). Let d = -19 - k. Solve -h + 3 + 1 = d for h.
4
Suppose -w = 2 + 8. Let o = 200 - 185. Let d = w + o. Solve d*c = c + 16 for c.
4
Let f be 2*33 - -1 - 1. Suppose 0 = w + w - f. Suppose -h - 3*b - 12 = 0, 3*h - 2*b + 14 = w. Solve -3*a - h = 12 for a.
-5
Let n(f) = 5*f - 1. Let i be n(1). Let q(k) = -k**3 - 5*k**2 + 6*k - 3. Let u be q(-6). Let j be (-20)/(-16) - u/i. Solve 6*l - j*l = 0 for l.
0
Suppose 4*u - 52 = -0*u. Let p = -1 + u. Solve 0 = -c - 2*c - p for c.
-4
Let j(l) = l. Let v be j(4). Let k be 14/v + 1/(-2). Let c(t) = t**3 + 6*t**2 - t - 27. Let r be c(-3). Solve k = 2*w - r for w.
3
Let s be 6/2 + 70/14. Solve -1 = -3*b + s for b.
3
Suppose -33*x + 1153 + 1520 = 0. Solve -x*s + 87*s = -6 for s.
-1
Let s = 43 + -43. Suppose s = 5*w + 2*c - 40, -c = -w + 2*c + 8. Solve -7*j - 1 = -w*j for j.
1
Suppose -81 = -158*f + 149*f. Solve f*k - 21*k - 60 = 0 for k.
-5
Suppose -2*r = 5*d - 17, 6*r = -d + 2*r + 7. Suppose -9 = -4*n + 11. Solve -2*x - d*x + n = 0 for x.
1
Let g(a) = 3*a**3 + 32*a**2 + 53*a + 10. Let h(f) = 2*f**3 + 21*f**2 + 35*f + 7. Let x(l) = 5*g(l) - 8*h(l). Let k be x(-6). Solve 8*p - 5*p + k = 0 for p.
-4
Suppose -5*m = 4*h - 10*m, 2*h - 2*m = 2. Suppose 30 = 5*x - k - k, 2*k = -4*x + 42. Suppose -5*t + 33 = x. Solve -t*d + h + 15 = 0 for d.
4
Let s be 0 - 2/(-4)*6. Suppose 2 = l - 3. Let u be -10*((-4)/l - 0). Solve -y + u = s*y for y.
2
Suppose 0 = 5*w + 15 - 55. Suppose -w*d + 2*d = -d. Solve -5*x + 6 + 14 = d for x.
4
Let v = -443 - -451. Solve -20 = v*h - 3*h for h.
-4
Let a(j) = -2*j**3 - 2*j - 1. Let o(r) = -r**2 + 14*r + 50. Let s be o(17). Let h be a(s). Solve -h*u - 15 = -0 for u.
-5
Let g(q) = q**2 + 11*q + 45. Let u be g(-9). Solve 4*b - u = -19 for b.
2
Let n be (52/(-14))/((-346)/15743). Solve -9 = n*m - 172*m for m.
3
Let p(d) = -4*d + 4 - 1 - d**2 + 2*d. Suppose 17*v + 5 = -46. Let h be p(v). Solve h - 4 = -4*w for w.
1
Suppose -1 = 7*i - 10*i - d, 15 = -3*d. Solve 5*f - 4*f = i*f for f.
0
Let s be 7 - (3 + -4 - 31). Solve -5*c = 19 - s for c.
4
Let r(x) = x**2 - 7*x + 11. Let k be r(6). Solve -k*l = 7*l + 48 for l.
-4
Let s = -39 - -31. Let j be (2 + s/(-12))/((-6)/(-9)). Solve j*g = 15 + 1 for g.
4
Let w be 544/(-40)*1*(-4 + -1). Solve 3*c = 80 - w for c.
4
Suppose -131 + 125 = -6*m. Solve x + 2 = m for x.
-1
Let n(f) = -35*f + 1200. Let w be n(34). Suppose -7 = -2*g - 2*z + 7, -5*z + 30 = 4*g. Solve -5*h = -w - g for h.
3
Suppose -4*c - 2*k = -0*k - 18, -2*k + 20 = 5*c. Suppose -c*f - 8 = -28. Solve -3*u - f = -5*u for u.
5
Suppose -83 - 877 = 8*v. Let a = 121 + v. Solve 0 = j - a - 3 for j.
4
Let t(b) = -28*b + 188. Let s be t(6). Solve 0*q = 5*q + s for q.
-4
Let l = 162 - 123. Solve -43*y = -l*y - 16 for y.
4
Suppose 0 = -2*c + a - 5, 5*a = 17*c - 20*c + 25. Solve c - 6 = 3*o for o.
-2
Let a be (18/(-21))/(120/(-42) - -3). Suppose 1