0*f - 106. Solve 16 = u*m - 53 for m.
3
Let w be -1*(-2 + 0/(-4)) + 8. Let o(k) = k**3 - 10*k**2 + 3*k - 20. Let b be o(w). Suppose b*i - 6*i - 24 = 0. Solve i - 1 = h for h.
5
Suppose -2*o + 4*d + 12 = 0, -o + 8 = -4*d - 0*d. Suppose -o*q - q - 30 = -2*y, y + 4*q = -11. Solve 0 = -c - y + 6 for c.
1
Let p = -7097 - -7122. Solve -5 = 5*h + p for h.
-6
Suppose -3*m = -2*o + 3 + 10, 2*m = -o + 3. Suppose 3*w - 31 = -5*b, o*b - 3*b - 10 = -2*w. Solve 9*g - b*g = 0 for g.
0
Let r(s) = -s**3 - 7*s**2 + 6*s - 14. Let n be r(-8). Let m(b) = 6*b + 2. Let g be m(n). Suppose 27 = g*d - 5*d. Solve -d*u = u for u.
0
Let g = 6153 + -6141. Solve -47*t - 210 = -g*t for t.
-6
Suppose 1 = 4*y - 15. Let q = y + 0. Suppose 0 = -11*o - 145*o + 2184. Solve q - o = 5*z for z.
-2
Suppose 1485 = -15*s + 6*s. Let j = -160 - s. Solve j*t - 3*t + 6 = 0 for t.
-3
Let q = -33 + -69. Let v = q + 105. Solve -2*x - 3 - v = 0 for x.
-3
Suppose -4*c = -q + 198 - 2, -4*c = -8. Let h = 206 - q. Solve r = 2*r - h for r.
2
Let b be (-685)/10 + 6/4 - 2. Let i = -57 - b. Suppose i = 5*v - 6*d + 3*d, -4*v + 20 = -5*d. Solve 4*s = -v*s + 8 for s.
2
Let g be -5*(-4 - -3) - 0. Let i be (-1)/(g/3) + (-136)/(-10). Let u = -13 + i. Solve u = -2*l - 0*l - 2 for l.
-1
Let j(c) = c**3 + 4*c**2 - c - 2. Let i be j(-4). Suppose -3*w + 55 = 2*g, -105*w + 20 = -102*w - 5*g. Solve w = i*q + 5 for q.
5
Let g be 1 + 38/8 - 87/116. Suppose 0*p - 5*r = p + 14, 0 = g*p + r - 2. Let l be p/(-5)*-1*25. Solve -l*o - 8 = -18 for o.
2
Let y be (((-18)/(-15)*-1)/3)/(1/(-5)). Suppose -5 = -2*i + 15. Solve 4*d - y = i for d.
3
Let m be ((-364)/(-1638))/(4/486). Solve m*v + 89 - 224 = 0 for v.
5
Let k be -4 - (230/(-30) + 2/3). Suppose 61*a - 66 = 39*a. Solve -a*j - k = 6 for j.
-3
Let m(r) = 11*r + 1007. Let v be m(-91). Solve v*p = -18*p + 48 for p.
2
Let a(d) = -d**2 + 8*d - 2. Let s be a(7). Let v(g) = g**2 - 43*g + 250. Let l be v(6). Let w be l/(-70) + (-486)/(-15). Solve -s*y + w = 7 for y.
5
Let k(a) = 3*a**2 - a - 1. Let n be k(3). Suppose -2*b - 3 = -q, -5*q + 4*b = 2*b - n. Solve q*c + 0*c - 5 = 0 for c.
1
Suppose 0 = -8*o + 3*o + 60. Let y = -268 + 284. Solve -y*q = -o*q - 20 for q.
5
Suppose 872*t = 892*t. Solve t = 36*y + 45*y - 81 for y.
1
Let h be (-96)/51 + 2 + -3*(-3164)/238. Solve 0 = 3*t + h - 25 for t.
-5
Let b = 2274 - 2255. Solve 15*i + 16 = b*i for i.
4
Suppose 0 = 235*m - 236*m + 50. Solve -m*w = -49*w - 3 for w.
3
Let z = -25 + 74. Let a be 4/(-7)*z/(-14). Let k be 3/a - -4 - 3/6. Solve 0*r = -k*r - 20 for r.
-4
Let k(q) = -q**2 + 6*q + 2. Let r be k(4). Suppose -2*s + 48 = 5*i + 4, -i + 4*s = 0. Solve i*x - r*x + 8 = 0 for x.
4
Let j(b) be the second derivative of 4*b**4/3 + b**3/6 - 22*b. Let a be j(1). Let h = 20 - a. Solve 0 = h*z - 6 for z.
2
Suppose 0 = -s + 77 + 39. Suppose 131 - s = 3*m. Solve 0 = -m*q + 10*q + 5 for q.
-1
Let z(w) = 49*w + 37. Let h be z(-4). Let l = h + 161. Solve l*b + 10 = 4 for b.
-3
Suppose 0 = -8*x + 2*x + 2058. Let a = -343 + x. Solve a = 4*m + 4*m for m.
0
Let o be -578*(-430)/(-516)*(-3)/5. Solve 286*z = o*z + 12 for z.
-4
Let g(r) be the second derivative of r**5/20 - r**4 - 3*r**3/2 + 11*r**2 + 26*r. Let k be g(12). Let j = -83 - k. Solve -5 = j*b + 4 for b.
-3
Suppose -2*g = -3*u - 0*u + 14, -5*g + 10 = 0. Let a(l) = -2 + 35*l + 25 + 38*l - 76*l. Let p be a(u). Solve -2*k - 3 = -p for k.
1
Let i be 2/(-11) - (24/(-11) + 2). Suppose i = 4*j - w - 7, -4*j + 22*w = 17*w - 3. Solve 5 = j*c + 3 for c.
1
Let j = -1487 - -1526. Solve 53 = 23*v - j for v.
4
Let t = -24 - -41. Suppose h = -2*w + 4, -t = -4*h - 5*w + 5. Suppose -h*s + 91 = -69. Solve o - s = 5*o for o.
-5
Let b be ((2/(-12))/((-18)/(-1026)))/((-1)/2). Let t(w) = -3*w - 2. Let u be t(-6). Solve 7*i - u = b for i.
5
Suppose 2*k - 810 + 767 = -5*r, 0 = 4*k + 3*r - 37. Solve -4*n = -4 - k for n.
2
Suppose 5*z - 2*m = 2*z - 6, 0 = -4*z - 5*m + 15. Solve z = 45*k - 164 + 29 for k.
3
Let u = -128 - 118. Let h = u - -246. Solve h = 14*r - 15*r for r.
0
Suppose 6 = a - 5*b, -5*a - 2*b + 7*b = -10. Let y = 3385 - 3381. Solve y*x = -13 + a for x.
-3
Let i(b) = -b**2 - 33*b + 1389. Let d be i(-57). Solve 5*s + d = 6 for s.
-3
Let f = -553 + 51. Let o = f + 515. Solve -8 = -17*p + o*p for p.
2
Let m = 579 + -577. Let z be (1/(-2) - -1)*0/(-16). Let y be 4*1/((-16)/(-60)). Solve m*r + r - y = z for r.
5
Suppose 0 = -11*f + 87 + 210. Solve 28*b - 19*b - f = 0 for b.
3
Let z = -16 + 22. Let q be ((-44)/(-6))/((-4)/z). Let n be (17/33 - (-2)/q)*0. Solve n*l + 3 = l for l.
3
Let b(c) = -c**3 + c**2 + c + 1. Suppose t + 2 = x, 8 = -x - 2*t - 2*t. Let j be b(x). Suppose 3*f - 4 = -a, -3 + j = -2*f - a. Solve -f*u = 14 - 6 for u.
-4
Let p be 1/(-1) - (-91 + 5 + 0). Let g = -83 + p. Suppose -18 = -5*h + g*h. Solve -5*c - h = 9 for c.
-3
Let b(i) = -4*i**2 - 187*i - 467. Let l be b(-44). Solve -12*a - l*a - 58 = 0 for a.
-2
Let b(q) be the second derivative of q**4/6 - 5*q**3/2 + 11*q**2/2 - 62*q. Let l be b(7). Solve -l - 16 = -5*o for o.
4
Let j(l) = -3*l**2 + 34*l - 85. Let v be j(4). Suppose 0 = 4*b + 2*z - 6*z, -2*z = b - 9. Let u(n) = 4*n. Let g be u(b). Solve v + g = -3*h for h.
-5
Let y = -158 - -90. Let c = y + 68. Suppose c = z + 4 - 8. Solve 2 = -z*f + 2*f for f.
-1
Let d = 9865 + -9858. Solve -226 = -d*u - 226 for u.
0
Let m be -3 + 100/28 + 217/49*1. Solve -9*v + m = -49 for v.
6
Suppose 0 = 5*s + 5*l - 0 + 230, l + 91 = -2*s. Let f be -2 - ((-18)/(-4))/(s/60). Let b(r) = -r**3 - 5*r**2 + 2. Let v be b(-5). Solve -f*k = -v*k for k.
0
Let h be 25 + (-16 - -4) + -5. Suppose 5*q - 5 = 65. Solve 18*y = q*y - h for y.
-2
Suppose 2*x - 5*o - 15 = -3*x, 0 = -5*x + 3*o + 5. Let q be 1/(2/120*x). Let g be (q/(-12))/(3/6). Solve 0 = g*k + 9 + 16 for k.
-5
Let d(l) = -l**3 - 7*l**2. Let b be d(-7). Suppose b*t - 3 = -t. Let h = 27358 - 27357. Solve -2*c + t + h = 0 for c.
2
Let g(a) = -63*a - 289. Let w be g(-5). Solve -18*q + w = -5*q for q.
2
Let d(i) = -3*i**2 + 72*i + 17. Let l be d(24). Solve -l*w + 21*w = 4 for w.
1
Let j be (-3)/(-1)*(5 - 4). Suppose -j*d - 23 - 19 = 0. Let p be (d - -14)/(1 - -2). Solve p = 2*b - 0*b + 10 for b.
-5
Suppose 0 = 3*t + 15, 4*b - 9*b - 3*t = 5. Let o be (2/5)/(3/90). Let n be (o/(-8) + 2)*0. Solve b*g + n*g = -4 for g.
-2
Suppose -75*b - 2*g = -80*b - 8, 12 = -3*b + 3*g. Solve b = -16*z - 5 + 69 for z.
4
Suppose -116*h + 21 = 21. Let j = -4 - -10. Solve -j*c + 3*c - 15 = h for c.
-5
Suppose h + 10 - 13 = 0. Let k = 327 + -325. Solve -h - 5 = -k*c for c.
4
Let h = 212 + 58. Suppose 6*n - h = -228. Solve n*b = b + 24 for b.
4
Let a(x) = -x**2 - 10*x + 110. Let d be a(-16). Solve -6*y - d = 16 for y.
-5
Let i = -1 - -3. Let a be 2/3*(-2028)/4. Let j = a - -341. Solve -j*x + x = -i for x.
1
Suppose s = -2*z - 320, 0 = -2*s + s. Let u = z + 166. Solve 5 = u*c - 11*c for c.
-1
Let h(l) = -28*l + 13. Let w be h(1). Let v be 7/5*w/(-3). Solve 5*m = -v + 32 for m.
5
Suppose 6 = 2*u - 2*i, -8*u = -3*u + 4*i - 42. Let f = -2 - -8. Let m(p) = -p**2 - 6*p - 4. Let k be m(-4). Solve k*h + u = -f for h.
-3
Let z be -3 - (21 - 31) - (-2)/(-1)*-13. Solve z*o = -25*o + 464 for o.
8
Let d = 5307 - 5259. Solve 3*q - d = -5*q for q.
6
Let d be 2/(-4) - 452/(-8). Suppose 10*g - 8*g = -d. Let w be (9/(-5) - -2) + g/(-10). Solve y = -w*y - 12 for y.
-3
Let b = -113 - -141. Suppose -5*p - 2*f = 2*f - b, 3*p = -2*f + 16. Solve -2*a = 2*a + p for a.
-1
Suppose -2*h + 96 = 4*n, -3*h + 5*h + 65 = 3*n. Suppose 2*v + 1 + 0 = u, -4*v = 3*u - n. Solve -u*q - 2 = -4*q for q.
-2
Let h = -42 + 132. Let f = h - 55. Let t be 30/f*(-21)/(-6). Solve -v = -1 + t for v.
-2
Let n(o) = -o**3 + 148*o**2 - 11*o + 1641. Let f be n(148). Solve 0 = -3*v - 28 + f for v.
-5
Let f be ((-17)/(-17) - -3)*722. Solve 16*q - f = -2968 for q.
-5
Let i be (-454)/30 + (-14)/315*-3. Let c be 2*6 + (-45)/i. Solve 18*h - 15*h - c = 0 for h.
5
Let q(l) = -2*l**3 + 4*l**2 - 5*l + 6. Let c be q(4). Let p be (-32)/(-6) + 26/c. Solve -p*t = -2 + 17 for t.
-3
Let i be (-71 + 71)/(-1*(-1 - -3)). Let u be i*(11/77)/(4/14). Solve u = -0*w - 4*w for w.
0
Let r be -7 + 4 - (3 + 0) - -95. Let v = r - 83. Solve v*y = -21 + 3 for y.
-3
Suppose 220*a - 221*a = 4. Let d be a/(-48) + (-460)/(-240). Solve -g - d*g = g for g.
0
Let y be 2016/27 + (-2