s = 0 for s.
0
Let c(j) = 5*j**3 - 16*j**2 + 38*j - 3. Let r(q) = 3*q**3 - 9*q**2 + 19*q - 1. Let y(s) = 4*c(s) - 7*r(s). Let m be y(-5). Solve m = -8*k + 9*k - 4 for k.
4
Let x(l) = -223*l - 1549. Let h be x(-8). Solve 46*f + 41 + h = 0 for f.
-6
Let n(r) = r**3 - 14*r**2 - 47*r - 42. Let a be n(17). Suppose -a*s = -28*s - 3*u + 5, -4*s - u = -35. Solve -19*f + s = -17*f for f.
5
Let i(l) = -l**2 + 5*l + 7. Suppose 2*r = 3*u + 6*r - 15, 5*u = -4*r + 25. Let q be i(u). Suppose 0*d - 25 = 5*d, -t - q = 2*d. Solve 8 - t = -p for p.
-5
Let b(x) = -14*x + 15*x - 24*x + 12. Let o be b(0). Let y(t) = -t**2 - 6*t + 4. Let k be y(-6). Solve -k*q - o = -0*q for q.
-3
Suppose 0 = -3*v + 3*i + 438, -4*v + 2*i + i + 577 = 0. Solve 143*y - 8 = v*y for y.
2
Let m(o) = -7*o**2 - 631*o + 654. Let b be m(-91). Solve -37*v + 497 = -b*v for v.
-7
Let x = -3454 + 3469. Solve 52 = -x*q + 7 for q.
-3
Let v(j) = -j**3 + 5*j**2 + 5*j + 7. Let l be v(6). Let q(n) = n**2 + 25*n + 48. Let c be q(-26). Let z = -69 + c. Solve z = r + l for r.
4
Let j = 166 - 152. Let n = -6 + j. Solve n = -6*f + 2*f for f.
-2
Suppose 42*d - 586 = 1430. Solve -42*n + d*n + 18 = 0 for n.
-3
Let u(w) = w**2 - 6*w - 33. Let s be (-5)/(-2)*12/(-3). Let m be u(s). Suppose -14*h - 43 + m = 0. Solve -3*x + h*x = 0 for x.
0
Suppose 16*z - 17*z = -3. Suppose z*d = 145 - 121. Solve -13 = t - d for t.
-5
Suppose -8*f = -3*f - 45. Suppose f*j - 12 = 6*j. Suppose -4*d + 534 - 474 = 0. Solve j*i + 3 - d = 0 for i.
3
Let y = 140239 - 140234. Suppose 0 = -0*q - q. Suppose q = -3*z + 3*w + 12, -2*z + 20 = -0*w + 4*w. Solve -y*s = -z + 26 for s.
-4
Suppose 3*t = -4*q + 125, 3*q - 96 = -3*t - 0*t. Let u be q/1 - (-13 + 7). Solve 3*z + u = -4*z for z.
-5
Suppose 4*a - 8 = 2*n, 5*a - 4 = a + n. Suppose 5*i + 5*w = 10, 4*i - 33 + a = w. Solve 0 = k - i + 4 for k.
3
Let z(u) = -u**2 - 13*u + 22. Let q be z(-16). Let o = 28 + q. Solve -3*h = -o*h for h.
0
Let h(w) = 7*w - 117. Let y be h(21). Let m be y/12*2*2. Solve -3*s + s = -m for s.
5
Suppose -10*o + 1095 = 885. Solve 0 = -o*r + 40*r - 57 for r.
3
Let r(k) = -k**2 - k + 2. Let m be r(-4). Let l be (-1)/(2 + m/4). Suppose -l*g = 2*g - 8. Solve g*f = f + 2 for f.
2
Let j be 12/32 - (-567)/24. Suppose 24*y - j = 22*y. Solve -y*h = -5*h + 7 for h.
-1
Let m(a) = -a**2 + 5*a + 6. Let h be m(5). Suppose 0 = -9*o - 16*o + 266 - 41. Solve -o = x - h for x.
-3
Suppose 2*p = -2*n + 46, 4*n - 116 = -0*p + 2*p. Solve 26*z = n - 183 for z.
-6
Let q(r) = 24*r**2 - 2*r - 2. Let w be q(-1). Let y be (2/(w/44))/((-2)/(-18)). Let p = y + -29. Solve p = -g - g for g.
-2
Let p = 245 - 165. Let g = -69 + p. Let h be 2/g + (476/44 - 5). Solve f + f + h = 0 for f.
-3
Let u be 17 + 1 + ((-22)/55)/((-6)/45). Solve -230 + 41 = -u*g for g.
9
Suppose -5*w + 3*y = 36, -3*w - 7*y - 8 = -2*y. Let t = 6 + w. Let i be t + -3*3/((-9)/2). Solve a = -0*a - i for a.
-2
Suppose 0 = 223*j - 306*j. Solve -75*i - 37 - 38 = j for i.
-1
Suppose 3*d - d - 4 = -s, 3*s = -2*d + 4. Suppose 16*m - 74 - 97 = -11. Solve s = 4*w + m - 2 for w.
-2
Suppose -1429 = -22*k - 1341. Solve -16*m - 4 = -k for m.
0
Let s(j) = -2*j**2 - 65*j - 152. Let d be s(-29). Solve 105 = -30*m + d*m for m.
5
Let o(u) = 4*u**2 + 52*u - 10. Let t(k) = 4*k**2 + 51*k - 12. Let p(q) = 4*o(q) - 3*t(q). Let r be p(-14). Solve 5*y - r*y - 20 = 0 for y.
-4
Let a be 1/3 - (-78883)/1239. Solve -71*u + 28 = -a*u for u.
4
Suppose -66*t = -73*t - 5*b + 67, b = -5*t + 53. Solve 97 - 53 = t*v for v.
4
Let w(d) = -3*d**2 + 80*d + 773. Let b be w(33). Solve 0 = -45*t - 11 + b for t.
3
Let d be 4 + 15 + 31 - (-7 + 4). Solve d*l = 39*l + 112 for l.
8
Let v = -291 - -281. Let g be ((-48)/30)/(24/v - -2). Solve 2 = -2*h + g for h.
1
Let h(i) = -373*i - 5591. Let d be h(-15). Let w(k) = k + 6. Let l(q) = -3*q - 13. Let j(t) = -6*l(t) - 13*w(t). Let n be j(3). Solve 0 = -d*a - a - n for a.
-3
Let x(o) = -o - 8. Let r be x(-11). Let s = 6883 - 6883. Solve -r*c = -s*c - c for c.
0
Suppose 19*u + 71 = 109. Let b(t) = -t - 3. Let y be b(-6). Suppose -5*m + 1 = u*w, -y*m + 8*m = -w - 2. Solve -q - w = -0*q for q.
-3
Let g = 176 + -172. Let r be 0/(4/8 - (-2)/g). Solve -4*d + 1 + 3 = r for d.
1
Let r = 489 - 476. Let b(y) = y**3 - 14*y**2 + 13*y + 16. Let k be b(r). Solve -4 + k = 3*m for m.
4
Let y be (-2 - -1)*(-42 - -56). Let b(d) = -d**2 - 14*d + 4. Let r be b(y). Solve p - 3*p = -r for p.
2
Let l(t) = 17*t - 253. Let r be l(-20). Let m = 595 + r. Solve -m = -s - 3 for s.
-1
Let d be (-552)/15 + 10/(-50). Let s = 38 + d. Solve s = -3*a - 2 for a.
-1
Suppose -2*m - 5*r + 9*r + 172 = 0, 12 = -3*r. Solve m = 3*q + 66 for q.
4
Suppose 9*m - 74 = -59*m + 334. Solve m - 8 = s for s.
-2
Let x(s) = 147*s**2 - 1018*s + 10. Let n be x(7). Solve -21 = -n*t + 66 for t.
1
Suppose 5*g + 1355 = 4*x, 4*x + 2*g = -3*g + 1405. Let o = x + -340. Solve o*n = 2*n - 12 for n.
-4
Suppose 9*z = 8*z + 4*j + 24, 4*z + j - 28 = 0. Solve -z*k - 28 = -36 for k.
1
Suppose -73*r + 79*r - 54 = 0. Let i be 13 + (-27)/r + -2. Solve 1 = i*y + 17 for y.
-2
Let l = 428 - 422. Solve l*m = -0*m + 12 for m.
2
Let x = -10979 - -11149. Solve 0 = b + x - 166 for b.
-4
Let o = -25523 + 25543. Solve o*g = 23 - 23 for g.
0
Suppose -3*f + 27 = -3*t, -26 = -7*f + 5*f + 4*t. Suppose 16*m = -4*m + f*m. Solve m = -4*d - 8 + 20 for d.
3
Let b = 57 + -54. Suppose 7*i + 120 = b*i. Let g = i + 34. Solve -g*h = -0*h for h.
0
Let d(a) = -268*a + 10722. Let f be d(40). Solve -18 = 4*j - f*j for j.
-9
Suppose 3*r = r. Let k(w) be the third derivative of w**5/20 + w**4/12 + w**3/6 - 4*w**2 - w. Let x be k(-1). Solve r*u = x*u + 6 for u.
-3
Let z(u) = -28*u**2 - 274*u + 67. Let r be z(-10). Solve -r*y + 13*y + 11*y = 0 for y.
0
Suppose 20 = 264*g - 260*g. Let h be (-1)/(-2)*(g + -3). Solve -4 = -3*q - h for q.
1
Let l(u) = -2*u + 37 + 9*u + 60 - 16. Let f be l(-11). Solve -1 = f*a - 13 for a.
3
Suppose 0*p - 5*p - 50 = 0. Let b = p + 15. Let j be 3/21 + 4/(-28). Solve j*y = -b*y for y.
0
Let u be (-3 + 63/(-27))*-3 + 8. Solve -u = -32*g + 40*g for g.
-3
Suppose -9*s = -4*s - s. Suppose 0 = 5*y + n, -5*y - 29*n + 33*n = s. Solve y = -6*o + 13 - 1 for o.
2
Let n = 133 + -91. Let t = -38 + n. Suppose -5*j + 87 = 3*a - 2*j, t*j = 2*a - 40. Solve -5*c - 6 = -a for c.
4
Let f = 43 + -43. Solve -3*w + 7*w = f for w.
0
Let n be 8/(-6) - ((-164)/6)/(-2). Let p be 6*(35/n)/(-7). Solve p*h + 6 + 0 = 0 for h.
-3
Let v = 6470 + -6470. Solve 270*u - 272*u - 6 = v for u.
-3
Let u(h) = -h**3 + 7*h**2 + 15*h + 29. Let k(p) = p**2 - 9*p - 81. Let a be k(15). Let d be u(a). Solve -3*c + d = -7 for c.
3
Let a(p) = p - 1. Let g be a(3). Let w(d) = -4*d - 8. Let s be w(-3). Suppose g*o - 4 = i - 0*i, 0 = -2*i + s. Solve -o*l = 2*l - 15 for l.
3
Let i be -2 - (0 + 16/(-4)). Let f(u) = -u + 5. Let v be f(6). Let k be (0 - v)*0*(-6)/(-30). Solve i*x + k - 6 = 0 for x.
3
Suppose 4090 = 226*r + 270 - 22. Solve 6*o + 55 = r*o for o.
5
Let c = -100 - -90. Let m be (-20)/(-2) + (-8 - (c - -4)). Solve m*f - 11*f + 9 = 0 for f.
3
Suppose 8*r = 3*r - 85. Let t = -17 - r. Let l = t - 0. Solve l = 4*f - 2*f + 8 for f.
-4
Let s = -2737 + 2739. Solve 5*i = s*i + 15 for i.
5
Suppose 161*m - 46361 = -18*m. Solve 5*p = m - 254 for p.
1
Let q = -27742 + 27961. Solve 233*w + 28 = q*w for w.
-2
Suppose 5*s = 9*s + 8. Let f(m) = 5*m**3 - 3*m**2 - 3*m. Let g be f(s). Let l = g + 46. Solve i = -l*i + 3 for i.
3
Let f = 13 + -11. Let j(m) = -22*m - 15 - m**2 - 6 - 2 + 3. Let r be j(-21). Solve f*k = -r + 5 for k.
2
Let g = -26 - -28. Suppose 4*f + g*k + 14 = 0, -4*f + 6 = -7*f - 3*k. Let c(u) = -2*u - 7. Let n be c(f). Solve n*j - 5*j - 2 = 0 for j.
-1
Let k = -5478 - -5480. Solve 0 = k*h - 4*h - 4 for h.
-2
Suppose 0 = -3*c + 4*w - 11, -4*c + 55*w + 32 = 59*w. Solve -c*l + 6 = 9 for l.
-1
Suppose -2*m = -74*n + 72*n + 2, -3*n = 4*m - 38. Solve -n + 46 = 10*a for a.
4
Let q be (-6)/5*(-155)/62. Suppose 0 = -2*h + 5*h + 3*k + 18, -3*k - 34 = 5*h. Let w = h + 12. Solve -w*a = -q*a - 1 for a.
1
Let d = 4 - -3. Suppose 71 = d*v + 8. Let x be (-2)/v + 282/54. Solve 0*g = x*g for g.
0
Let f = 10 - 16. Let t be f + 1 + 4 - -4. Suppose -4*x = 3*x - t*x. Solve x = -b + 5*b for b.
0
Let i(a) = -a**3 - 11*a**2 - a + 13. Suppose -3*h + 6 = 36. Let d be i(h). Let o = d 