4). Let v be 0/(2/(1*-2)). Suppose -u - a*u = v. Solve u*b - 3 = -3*b for b.
1
Let q(g) = 12*g + 27. Let x be q(-2). Solve x*j + 2*j = 0 for j.
0
Let n be (18/15)/((-2)/(-5)). Suppose n*o - o + 2*k - 110 = 0, 4 = 2*k. Suppose -o - 97 = -6*d. Solve 0 = -0*t + 5*t + d for t.
-5
Let d be (2 + 3 + -1)*112/64. Solve 15 - 22 = d*w for w.
-1
Let r be (-1)/(-3) + (-203)/(-21) + -6. Solve 2*c = 6*c - r for c.
1
Suppose -4*u + 4*q = -8*u - 176, 4*u + 2*q + 184 = 0. Let g be u/(-15) - (-4)/5. Let c = 7 - g. Solve -c*h = -2*h - 2 for h.
2
Suppose 2*m - 96 = 8*m. Let w(r) be the third derivative of -r**5/60 - 5*r**4/8 + 10*r**3/3 - 2*r**2. Let h be w(m). Solve -3*g - 1 = -h*g for g.
1
Let q(m) be the third derivative of -m**5/30 - 25*m**4/24 + 3*m**3 + 5*m**2. Let s be q(-13). Solve s*t + 2 + 3 = 0 for t.
-1
Let v = -114 + 221. Suppose -c = 3*u - 6*c - v, -3*u - c + 83 = 0. Suppose 4*s - a = u, 16 = 5*s - 2*a - 24. Solve 0 = m - s + 4 for m.
2
Let z = -1204 - -1208. Suppose -2*i - 3*i = -20. Let j be 2/7 + i/(-14). Solve j = -z*g - 0*g + 8 for g.
2
Let d(r) = -r**3 + 3*r**2 - r + 1. Let p be d(2). Suppose 5*w - 24 = w. Solve w*l - p = 7*l for l.
-3
Suppose 4*o - 9*o = 2*d + 4, d + 4*o + 5 = 0. Solve -d*t - 3 = -0 for t.
-1
Suppose 0 = -3*s - 5 - 40. Let x be (s/20)/((-1)/(-24)). Let z = -12 - x. Solve -z*w = -w - 15 for w.
3
Let q(g) be the third derivative of g**5/60 - g**4/3 - 5*g**3/6 - 6*g**2. Let x be q(9). Solve x*b - 4 = 2*b for b.
2
Let m be 3 - (-20)/(-8)*-2. Let v(t) = t + 2. Let o be v(-2). Let b be ((-28)/m)/7*o. Solve b = l + 3*l + 16 for l.
-4
Suppose 5*o = 3*m - 10, 5*m + 16*o - 11*o - 30 = 0. Solve 26 = m*y + 11 for y.
3
Let d(t) = -2*t**3 - 2*t**2 - t - 2. Let o be d(-2). Solve o*b - 5 = 7*b for b.
5
Let w = -2 - -2. Suppose 2*m = 2*j + 2, 4*j + 2*m - 14 = 2*j. Suppose j*k = d - 2 + 5, 5*k - d - 7 = 0. Solve -r - 1 + k = w for r.
1
Let r be 25/(-2)*(-20)/25. Suppose -5*c + 37 = -3. Let u = -6 + 9. Solve -u*k = -c*k + r for k.
2
Let y be (1/(-3)*1)/(2/(-78)). Solve -14*o + y*o = -2 for o.
2
Let r(j) = 4*j**2 + 2*j. Let f be r(3). Let h = f - 30. Let w = h + -8. Solve 0 = -w*p + 2 + 2 for p.
1
Suppose 0 = 5*g + 3*k + 1, -5 = 5*g - 0*g + 5*k. Solve -p - 2 = -g for p.
-1
Suppose 35 = r + 5*w, 2*r + 5*w - 41 = 4. Solve r = -3*h - 2*h for h.
-2
Let w be 7*((-4)/(-16))/(63/216). Solve 4*x - 14 = w for x.
5
Let r = 359 + -359. Solve r*j - 3 = 3*j for j.
-1
Let b(x) = -3*x + 111. Let n be b(36). Solve n*l = -6*l - 18 for l.
-2
Suppose 0 = -3*f - 4*k + 38, -2*k - k = f - 6. Let o be (20/(-3))/(5 - 96/f). Solve s = -3*s - o for s.
-5
Let k be (-43 + 3)*56/(-35). Let o = k - 64. Solve o*a + a = -3 for a.
-3
Suppose c + 5*i - 12 = 0, -7*c = 5*i - 206 + 2. Solve -9*j + 13 + c = 0 for j.
5
Let u = 1915 + -1824. Solve 4*v - u = -79 for v.
3
Suppose 5*l - 5*n = -30, 6*l - l + 5*n + 10 = 0. Let c be (-27)/36 - 11/l. Solve 2 + c = t for t.
4
Suppose 5*h = -2*a + 1 - 7, -5*a + 12 = -h. Let b be -4 + 2/(-4)*h. Let k = b + 7. Solve l + 0 = -k for l.
-4
Suppose -15*v + 18 = -12*v. Solve -32*n + 26*n = v for n.
-1
Suppose 2*g = -g + 24. Let c = g - -2. Solve -3*l + 8*l + c = 0 for l.
-2
Suppose 0 = -12*s + 17*s + 70. Let a = -10 - s. Solve -3*x - a = -13 for x.
3
Suppose j = 3*h + 5, -h - j - 4*j = -25. Let m(b) = b**3 + b**2 + 6. Let u be m(h). Solve -u*v = -2*v + 4 for v.
-1
Suppose -12*i + 240 = 3*i. Solve 17 - i = l for l.
1
Suppose -42*o + 171 + 81 = 0. Solve o = t + 11 for t.
-5
Suppose 0 = -m - 3*g - 8, 4*g = 5*m + 2*g + 6. Let t be 2 - 1/((-1)/m). Let s be (-52)/(-14) + (-19)/(1197/(-18)). Solve t = 2*x - 3*x + s for x.
4
Suppose -337 + 137 = -10*r. Solve -10*o + 15*o + r = 0 for o.
-4
Suppose -4*y + 7 = -1. Let x be (y - (-2 - -9))*-1. Solve x + 10 = -3*k for k.
-5
Let t(n) = n**2 - 4*n - 5. Let g be t(4). Let y = -3 - g. Solve -b + y + 1 = 0 for b.
3
Let p(k) = -4*k - 119. Let o be p(-31). Suppose 0 = 2*h + 2*h + 5*s - 105, -3*s + 95 = 4*h. Solve -o*d + h = -d for d.
5
Let t = 135 + -135. Solve 0 = -t*g - g + 1 for g.
1
Let q = -89 + 79. Let o(t) = -3*t**2 - 31*t - 8. Let a be o(q). Solve -4*u + 6 = -a*u for u.
3
Let g = -96 + 101. Solve g*n + 12 = 2*n for n.
-4
Suppose -3*r - y + 184 = 0, r + 2*y - 179 = -2*r. Let q be r/6 - (-9)/6. Solve 4*h + q = 7*h for h.
4
Let l(q) = -61 + 61 - q. Let s be l(-7). Suppose -24 = -11*v + s*v. Solve a - v*a = -10 for a.
2
Let a(s) = 17*s + 7*s**2 + 25 - 10 + s**3 + 5 + 10*s**2. Let w be a(-16). Suppose 14*m = 19*m - 20. Solve 2*b = m*b - w for b.
2
Let p(o) = o + 15. Let u be p(-8). Suppose -u*i + 25 = -2*i. Let t = 5 - i. Solve -2*a + a + 5 = t for a.
5
Suppose 5*z + 2*i - 8 = 0, -5*i + 4 = -z + 11. Solve z*x = 3*x for x.
0
Suppose d + 144 = -3*d. Let j be d/(-10) - (3 - 51/15). Solve -5*b = -b - j for b.
1
Suppose 1 + 11 = 3*l. Suppose l*s - 6 - 2 = 0. Suppose -27 = -4*c - 5*p, -5*p + 20 = 5. Solve -s*u + c = u for u.
1
Let p = 1953 + -1940. Solve -6 + 6 = -p*a for a.
0
Let n = 586 + -561. Solve -123*r + n = -118*r for r.
5
Let o be 280/42*(33/2)/1. Solve 106*s + 4 = o*s for s.
1
Let o(g) = -4*g + 132. Let i be o(32). Solve -12 = -i*a + 8 for a.
5
Suppose -28 = 5*p + 12. Let d = 2 + p. Let x = -4 - d. Solve -x*k = k + 15 for k.
-5
Suppose -7*u - 522 = -13*u. Let f = u + -81. Solve -h = 2*h + f for h.
-2
Let o(j) = 3*j**2 + 2*j**2 - j**2 - 3*j**2 + 6*j + 4. Let m be o(-5). Let s be ((-4 - -2) + 2)*m. Solve s = -v + 1 - 4 for v.
-3
Suppose 0 = -3*r + 5*r + 3*w - 249, -4*r + 477 = -w. Solve r = d + 117 for d.
3
Suppose 0 = 3*d - 9*d + 24. Let q(s) = 7*s - d*s - 2*s**2 + 7*s + s**2 - 14. Let o be q(6). Solve 0*i + o = -2*i for i.
-5
Suppose -v - 15 = -3*d + 13, -4*v = 3*d - 23. Let r(z) = -2 + 11*z - z**2 - 7*z + 5 + d*z. Let m be r(13). Solve -m*u + u = 8 for u.
-4
Let d be (-4)/3 - (-13)/3. Let z be -2 + 66/d + -1. Let u = z + -13. Solve -4 = p - u for p.
2
Let o(a) = -16*a - 12. Let g be o(-1). Solve -g*y + 7 - 27 = 0 for y.
-5
Let h(s) = -8 + 2 + 10 - 2*s + 15. Suppose -8*k - 16 = -10*k. Let m be h(k). Solve -m - 1 = 2*l for l.
-2
Let u = 998 + -992. Solve u*v + v = -35 for v.
-5
Let l = -2 + -1. Let m(w) be the first derivative of 2*w**3/3 + 3*w**2/2 - 4*w + 5. Let p be m(l). Solve -5 = -p*u - 0 for u.
1
Suppose -4*b = -8*b + 8. Suppose d + 3 = -b*d. Let m be 0 - d - (6 + -5). Solve m = -4*f - f - 5 for f.
-1
Suppose x = 2*i - 0*x - 10, 4*i = 5*x + 14. Let b(q) be the second derivative of q**3/6 - 3*q**2/2 + 10*q. Let u be b(i). Solve -u*n + 8 = n for n.
2
Let n = -1667 - -1719. Solve 2*q = 48 - n for q.
-2
Let j(n) = 17*n - 388. Let k be j(24). Solve -5*r - k = -30 for r.
2
Suppose 46*i = 62*i - 80. Solve i = -0*o + 5*o for o.
1
Suppose -3*g + b + 13 = 0, -3*g + 14*b - 7 = 9*b. Solve -2*x - g = -5*x for x.
2
Let d(u) = u**3 + 5*u**2 + 3*u - 4. Let k be d(-4). Let w = 220 + -214. Solve w*m - 4*m - 4 = k for m.
2
Let y(a) = -a**3 - 10*a**2 - 2*a - 18. Let k be y(-10). Let f be 11/(11/24) + k. Solve -5*l = -6 + f for l.
-4
Let i(c) = c**3 + 6*c**2 - 4. Let u be i(-6). Suppose 0 = -4*s - s + 10. Let m be (s/(-4))/(u/32). Solve m*x + 3 - 7 = 0 for x.
1
Suppose 0 = -0*y - 5*y + 20. Suppose -44 = y*l - 16. Let g = l + 7. Solve 0*n - n + 5 = g for n.
5
Suppose -2*g + 4*s + 62 = 0, -42 = -4*g - 5*s + 17. Solve -3*k + g = 18 for k.
1
Let g(b) = 18*b + 154. Let r be g(-7). Solve 0 = 5*w - r + 23 for w.
1
Let s = -30 + 34. Let z = 46 - -20. Suppose 4*v + 6 - z = 0. Solve -s*d + d - v = 0 for d.
-5
Let x(u) = u**2 - 11*u - 95. Let j be x(-6). Solve -6*y + 8*y + j*y = 0 for y.
0
Let c(h) = -h**3 + 6*h**2 + 6*h + 7. Let a be c(7). Suppose -2*d - 3*n + 11 = 0, 42*n - 1 = -d + 45*n. Solve d*g = -a*g for g.
0
Let z = 42 + -45. Let d be z/((-5)/((-100)/(-15))). Solve -5*v - 21 = d for v.
-5
Suppose 4*o - 14*o = -110. Suppose o*l = -9 + 75. Solve 4*z - l*z = 10 for z.
-5
Suppose 0 = 11*w - 22 - 11. Solve 0 + w = 3*y for y.
1
Let w(b) = b**2 - 40*b + 36. Let r be w(40). Solve -10*j = -j + r for j.
-4
Let t(l) = l**2 + 5*l - 4. Let g be t(-6). Let r(z) = 8*z**2 - 3. Let x be r(g). Let d = -12 + x. Solve 2 = -3*h + d for h.
5
Let h = 699 - 694. Solve -23*r = -28*r - h for r.
-1
Let b(x) = 28*x - 442. Let t be b(16). Solve -3*f = t + 6 for f.
-4
Let m(t) = -t**3 + 9*t**2 - 8*t + 4. Let l = 2 + 6. Let x be m(l). Suppose -3*a + 36 = -