 for m.
-5
Let x(y) = -y**3 - 17*y**2 + 11*y + 18. Let s be x(0). Solve -76 = -s*a - 148 for a.
-4
Let x = 46 - 43. Let h be 0*(3 - (x + 1)). Solve b + 3 + h = 0 for b.
-3
Let m(y) = 26*y + y**2 + 2 - 3 - 15 - 32*y. Let p be m(-3). Solve 12*s = p*s for s.
0
Suppose 3*t + 2*t = 110. Let m(f) = 217*f**2 + 3484*f + 204. Let c be m(-16). Solve t = -2*r + c for r.
-5
Let q(h) = -536*h + 1384. Let x be q(2). Solve 0 = 310*d - x*d - 2 for d.
-1
Let f(d) = 45*d - 12. Let q be f(2). Solve 13*x = -13 + q for x.
5
Suppose -18*g + 54 = s - 20*g, -2*s + 111 = -g. Solve -37*r = -s*r for r.
0
Suppose 3*n = 123*x - 127*x + 51, 22*x + 5*n = 315. Let r(g) = g + 1. Let w be r(-1). Solve x = -5*i - w for i.
-3
Suppose -3*z + 27 = 3*y - 12, -6*z + 18 = 0. Solve y*i - 2*i = 32 for i.
4
Suppose 51*m + 35*m - 355 = 15*m. Solve m*z - 2*z - 9 = 0 for z.
3
Let j(b) = 5*b**3 - 7*b**2 + 16*b - 22. Let l be j(2). Solve 7*v = l - 1 for v.
3
Let r(h) = 5*h**2 - 12*h + 10. Suppose -49*g = -52*g - 4*x + 11, -4*x = -g - 7. Let k be r(g). Solve 0 = k*o - 15 - 0 for o.
5
Suppose 7 = 5*r - 3. Let v be 9 + 198/(-24) - (-84)/16. Solve r*l + v = -2 for l.
-4
Let u = 2685 - 2685. Solve u = -8*h + 43 - 67 for h.
-3
Let a(w) = -w**2 - 20*w - 27. Let f be a(-18). Suppose f*b - 32 = -7*b. Let j = -62 + 80. Solve -j - b = -5*o for o.
4
Suppose -k - 4*x = -0*x + 12, 12 = -4*x. Let o be (-1 - 24)/((-6 + k)/6). Let f = 17 + -11. Solve -m - o = -f*m for m.
5
Let o be (273/(-52))/((0 - 3)/12). Suppose -3*h - 2*h = -10. Let w be h/(-4) - o/(-12)*6. Solve 4*n = -w + 2 for n.
-2
Suppose -5*z - 4320 = 25*z. Let r = z - -166. Solve 5*b - r + 7 = 0 for b.
3
Suppose 47*r + 1642 - 279 = 0. Let g = 58 - 89. Let n = r - g. Solve n - 3 = -o for o.
1
Suppose 7*q = -8*q - 1545. Let m = -103 - q. Solve m = 3*y + y + 16 for y.
-4
Let a be (-25 + 1495/52)*(-8)/(-3). Solve -3*f + a = -f for f.
5
Suppose -7637 + 7333 = -19*l. Let w(m) = -m**3 - 13*m**2 + 13*m - 14. Let b be w(-14). Solve l*r - 17*r - 4 = b for r.
-4
Let t = -9292 - -9292. Suppose 3*j + 9 - 25 = -5*p, -3*j = -p - 4. Suppose -14 = 2*m - 5*c, -3*c + j*c + 7 = m. Solve m*b - 6 + t = 0 for b.
2
Let g = 263 - 269. Let m be (-10)/(g - (-1 + -3)). Solve m*f - 2 = 3*f for f.
1
Let d = -3 + 3. Let g be 1/(-2) - 9/(-6). Suppose 325*m = 106*m + 1389 - 294. Solve -m*k - 4 - g = d for k.
-1
Let y = 88 - 73. Suppose y = 237*i - 232*i. Solve -i*v + 20 = 17 for v.
1
Let y be 28 - 33 - (1 + -8). Let b be (-2)/(-3) + (-129)/(-9). Let k = 28 + -23. Solve k*d = y*d - b for d.
-5
Suppose 794 = h - 3*j, -200*h + 195*h - 5*j = -3970. Solve -784*q + h*q - 10 = 0 for q.
1
Suppose 163*w = -480 + 9282. Solve -w*a - 238 - 194 = 0 for a.
-8
Let g(h) = -2*h + 74. Let s be g(36). Suppose -5*f + 24 = 4*m, -s*f = 4*m + m + 4. Solve -2*w - f = -6*w for w.
2
Suppose -208 + 175 = -3*x. Let r(f) = -f**2 + 16*f - 27. Let j be r(x). Solve 0 = 4*q + j - 36 for q.
2
Suppose -3*k - 3*l + 30 = 0, -2*l = 4*k + k - 59. Solve 7*h - k*h = -18 for h.
3
Let t be (-2 - -1)*(182 - 12). Let h = -150 - t. Solve 2*w = 7*w - h for w.
4
Suppose 7*f - 88 = -74. Suppose -f*v - 18 = -v - 4*p, p = -4*v + 13. Let r = 44 - 24. Solve -v*a = -7*a - r for a.
-4
Let b(o) = -10*o**2 + 154*o - 51. Let s be b(15). Solve s = -n + 8 for n.
-1
Let d be (-3 - -2)/(2/(-2)) - 10. Let g(b) = -b**3 - 8*b**2 + 10*b + 9. Let t be g(d). Suppose t = -9*q - 0*q + 81. Solve 3 + q = 4*w for w.
3
Let w be 8/(-6)*(-1260)/40. Suppose -16*l - 5*l = -w. Solve 6 = -4*t - l for t.
-2
Let p = -678 - -964. Suppose -5*f + p = 17*f. Solve f = 2*w + 23 for w.
-5
Let p(f) = -2*f**2 - 29*f - 14. Let h be p(-14). Let j(m) = -m**3 + 5*m**2 + 65*m + 14. Let c be j(11). Solve -a = -c - h for a.
3
Suppose -3*d + 12 = 0, 3*i = 3*d + 197 + 226. Let a be (-1)/(-3) - (5 + i/(-15)). Suppose 25 = a*o - 0*o. Solve n + 0 + o = 0 for n.
-5
Suppose -5*s = -7*s + 5*q + 267, -5*q = s - 111. Suppose 122*u - s*u + 16 = 0. Solve -u*d = 15 + 1 for d.
-4
Let c(i) = -6*i**2 + 174*i - 60. Let s be c(28). Solve -78*m = -s*m - 270 for m.
-9
Let g = -195 - -203. Suppose -10*i - g = -12*i. Let u = 80 + -55. Solve b + u = -i*b for b.
-5
Let h be (2 + 0)*(-5)/(-6)*3. Suppose 0 = -h*b - 15, -4*m + 5*b + 274 = -269. Let l be (-2)/5 + m/55. Solve a = -l*a - 9 for a.
-3
Let k(m) = -7*m - 2. Let q be k(-1). Let n(x) = 5*x - 12. Let d be n(q). Suppose 5*b - 4*l - 29 + 8 = 0, -3*l = 2*b - d. Solve z = -1 + b for z.
4
Let k(m) = 1 - 7 + 0 + m. Let s be k(21). Let g(x) = -x + 34. Let v be g(s). Solve 1 + v = -5*h for h.
-4
Suppose 4*w - 14 = -2*o, 4*o + 2 = w + 3. Let n be (12/10)/(w/10). Suppose 0 = 2*g + s - 9, -3*s - 33 = -24. Solve n = m + g for m.
-2
Let a be -26*(6 - (-156)/8). Let p = a - -687. Solve -p*r + 27*r = 0 for r.
0
Let n(w) = 3*w**3 - 5*w**2 + 8*w - 16. Let f be n(2). Let j(t) = t**3 - 5*t**2 - 6*t + 4. Let i be j(6). Solve 6*o - f*o = -i for o.
-2
Suppose -4*a - 6 = 6, -3*z + 297 = -2*a. Solve 0 = -z*y + 27*y for y.
0
Let o(n) = -n**2 - 20*n + 74. Let d be o(-23). Suppose z - 3 = -0*z, 44 = d*a + 3*z. Solve a*k - 2*k = 0 for k.
0
Let k = 36657 - 36644. Solve -20 = k*z - 7 for z.
-1
Let u be 1/(2 + 30/(-14)). Let n be ((-10)/3)/(u/(3*-14)). Let i = n - -28. Solve 4 = -4*x - i for x.
-3
Suppose -4*i + 38 = 2*k, -952*k + 956*k - 26 = -3*i. Solve 11*h - 8 = i*h for h.
8
Suppose -33 = -5*d - 61*n + 63*n, 3*d + 2*n - 39 = 0. Solve 0 = -d*i - 3*i - 48 for i.
-4
Suppose 0 = -5*z + q + 1133, z + 4*q = 6*z - 1127. Let x = 265 - z. Solve -46 + x = 4*j for j.
-2
Suppose -w = -7*h + 12*h - 40, 0 = -2*w + 5*h + 35. Suppose 0 = -5*d + w, -10*y + 2*d - 6 = -8*y. Solve 0 = -y*i - 0*i for i.
0
Suppose 5*j - 673 = -3*q, 1037*q - 1040*q = -4*j - 655. Solve -q*o = -232*o + 22 for o.
2
Suppose 53*o - 33*o = 34*o. Solve 5*j + o = -15 for j.
-3
Let c(o) = -2*o**3 + 78*o**2 - 3*o + 127. Let m be c(39). Solve -m*u + 18*u = -19*u for u.
0
Suppose -8*s - 114 = -2*i - 11*s, 0 = 3*i + 5*s - 173. Solve 0 = 9*w + i - 33 for w.
-2
Suppose 0 = 38*l - 39*l + 220. Let q = 244 - l. Solve q = -5*x + 9 for x.
-3
Suppose -4*f - 2*j = -234, f - 5*j - 42 = -0*f. Let m be ((-19)/(-4))/(3/36). Let q = m - f. Solve 3 = r - q*r for r.
3
Suppose 0 = 24*w - 149 - 43. Suppose -9*i = -w*i - 8. Solve 7*c = i*c + 2 for c.
-2
Suppose 0 = -30*g + 22 + 2026 + 2782. Solve 37*i + g = -24 for i.
-5
Let b be (5*-1)/(2/(-2)). Let a(k) = -3*k - 78. Let i be a(-27). Suppose 4*v - 4*d - 28 = 0, -3*d - 9 = -i*v + 2*v. Solve -z + v*z + b = 0 for z.
-1
Suppose -5*r + 72 = 62, -3*d - 3*r + 141 = 0. Solve 179 = 28*y - d for y.
8
Let l be -72*((-524)/9170 - (-29)/(-105)). Solve -l*k = -73 + 121 for k.
-2
Let z be 4 + -1 - (-164 - 14/(-2)). Suppose -428 = -28*p + z. Solve -16*g + 20 = -p*g for g.
-4
Let t = -12 - -14. Suppose n - 27 = -5*u, 5*n - u = -0 + 5. Let f be 15/(-6) + n + (-14)/(-4). Solve t*d - 15 = -f*d for d.
3
Let m be 1/(1/1) + 13. Let p(a) be the third derivative of a**6/120 - 13*a**5/60 - 13*a**4/24 + 11*a**3/6 + 4*a**2. Let j be p(m). Solve -l = 4*l - j for l.
5
Suppose 1066 + 509 = 26*q + 145. Solve -14*i = -25*i - q for i.
-5
Suppose 2*i - 3*z = -9, 0 = -5*z - 15. Let a = i + 17. Suppose a*v = 4*v + 24. Solve -y + v = -4*y for y.
-2
Let s = -9 + 96. Let b(x) = x**3 - 18*x**2 + 105*x - 114. Let d be b(5). Solve -s*v - 2 = -d*v for v.
-2
Suppose 269*u - 263*u - 72 = 0. Suppose 9*b + u - 66 = 0. Solve 6*c = -0 - b for c.
-1
Suppose 3184*s = 3138*s + 52302. Solve -1135*m - 16 = -s*m for m.
8
Let q be 6/21 - (-94)/14. Suppose 720*g + 716*g - 1457*g = 0. Solve -8*v + v + q = g for v.
1
Let s(t) = t**3 - 19*t**2 + 34*t + 2. Let i be s(17). Suppose -19 = i*j - o - 50, 0 = 3*j - 2*o - 45. Solve -7 = 2*b - j for b.
5
Let p = -2 + 2. Let t = -1244 - -1244. Suppose 2*o + p*o = t. Solve o = 2*u - 0*u - 4 for u.
2
Let h(b) = 438*b - 2335. Let z be h(6). Solve -4*s + 297 = z for s.
1
Suppose 10*y + 160 = 50*y. Solve -6*r + y*r - 8 = 0 for r.
-4
Let i(u) = 27*u**2 - 5*u - 7. Let s be i(-2). Let f = s - 108. Let k be 12/18 + f*111/27. Solve 5*a = -12 - k for a.
-5
Suppose 0 = -13*o + 264 + 516. Suppose o = 5*u + 4*v, -7*v = u - 2*v - 12. Solve 4 = -2*i + u for i.
4
Let s(g) = -g**3 - 9*g**2 - 2*g + 26. Let f be s(-9). Suppose -11*v + 14 = 5*b - 8*v, 4*b + 3*v - 10 = 0. Solve -b*c - f = -60 for c.
4
Let v(u) = -3*u - 18. Let 