= -16*m for l.
-5
Suppose 4*v - 201 - 251 = 0. Let w = -108 + v. Solve -3*z - 15 = -0*z - 3*l, -w*l - 3 = 2*z for z.
-4
Suppose 0 = -42*t + 49*t + 28. Let r be ((-1032)/21)/t + 6/(-21). Solve -2*y - r = 4*i, -10 = -5*y - i - i for y.
4
Let h be (-4 - (2 - 11)) + (-5 - -5). Suppose -2*g + h + 1 = -2*v, -16 = -5*g + 4*v. Suppose -22 + 7 = -5*s. Solve -4*f - w = -1, -1 = -f + s*w - g for f.
0
Suppose 2*l = -3*s + l - 76, 2*s + 2*l = -48. Let o be (-28)/7*s/8. Let p be 4/(-24) + o/6. Solve -4*w = -t - 11, -5*w + 40 = p*t + 2*t for w.
4
Suppose 556*d = 151*d + 810. Solve -14*n + 10 = -x - 19*n, 0 = -x - d*n - 1 for x.
5
Let v(k) = 3*k + 2. Let z be v(4). Suppose 0 = 2*w - 257 - 105. Let g = -181 + w. Solve -4*a = 5*n + z, g*n + 5*n = 4*a - 6 for n.
-2
Let y(u) = -105*u + 635. Let z be y(6). Solve 24*n - 10 = -z*w + 23*n, -4*w = -n + 1 for w.
1
Let k be -1 - (-10)/14 - (-3996)/21. Let o be ((-16)/10 - -2)/(38/k). Let j be -6*2/4 - -3. Solve -o*y = i + 8, 4*i - 3*y = -j*y + 1 for i.
-2
Let y be ((-16)/5)/(-2) - 672/(-480). Solve 5*z + 3*h = -19, 9*z - 12*z = -h + y for z.
-2
Let t = -4531 - -4556. Solve 6*x - 4*h + 32 = 3*x, 0 = -5*h + t for x.
-4
Suppose 5*w = -5*j - 0*j + 10, 5*w = -15. Suppose -m = a - 8, j*m = 4*a + 1 - 6. Solve 5*u + p - 18 = -5, -a*p + 5 = -5*u for u.
2
Let y = -51 - -49. Let s be (-4 - -6)*(2 + y + 2). Suppose 5*b = -0*b. Solve 5*p + 2*c - 2 = 3*p, -s*c - 8 = b for p.
3
Let u be (-4)/18 + 280/45. Let w(l) = -l + 9. Let y be w(u). Let j(d) = -d**2 - 29*d - 203. Let z be j(-12). Solve 4*o + 4 = s - z, -y*s = -3*o - 6 for s.
1
Let g be (-21)/(-231) + 4773/11. Let x = 437 - g. Solve x*s + 4*j = 2, -j + 6 = -s + j for s.
-2
Let w be 46/851 + 218/74. Solve -5*j + 3*h - 7 = 4, 0 = 4*j - w*h + 7 for j.
-4
Let l(x) = -14*x**2 + 205*x + 80. Let t be l(15). Solve 0 = -t*a - 10, -4 = -3*y - 5*a + 1 for y.
5
Let c = -5313 - -5315. Solve -5*x = -2*a + 31, c*x + 7 = -5*a + 4*a for x.
-5
Suppose -54*f + 155*f - 303 = 0. Solve -5*s - f*c + 10 = -11, -s - 5*c + 13 = 0 for s.
3
Let o be 484/(-10) - 74/(-185). Let r = -48 - o. Solve -y + r*y = -5*z - 30, -3*y - 5*z = 10 for y.
5
Let x(a) = -235*a + 4238. Let i be x(18). Solve 0 = d - 3*c - i, 3*d - 85*c + 86*c - 4 = 0 for d.
2
Suppose 64 = -85*u + 1 + 488. Solve -2*g - g + 15 = -3*b, -g = -3*b - u for b.
0
Suppose 0 = -1726*z + 1730*z. Solve z*t + t - 4*m = -4, -2*t - 5*m = -5 for t.
0
Suppose -890 = -4*w - 2*j, -4*w + 3*j + 465 = -2*w. Let f = -225 + w. Solve 0 = -s + 3*g + 5, 5*s + 5*g - 3*g - 25 = f for s.
5
Let g = -31 - -53. Let x be (-171)/(-33) + (-4)/g. Let f(s) = -s**2 + 27*s + 203. Let o be f(33). Solve 0 = v - x*u, o*u = u for v.
0
Suppose 4*z - m + 453 = 9*z, -z - 2*m + 96 = 0. Let b(f) = 24*f + 6. Let a be b(-4). Let c = z + a. Solve c*l - 4 = -4*i + 2*l, 3*l - 6 = 2*i for i.
3
Let r(i) = i**2 - 14*i - 7. Let f be r(8). Let k = f + 90. Suppose -g + 3*o = 2, 2*o - 13 = -3*g + 3. Solve 5*v - k = -g*b, v + 3 = -2*b + 16 for v.
3
Suppose 2*p + 188 - 18 = 0. Let i be ((-10)/6)/(p/204). Solve -3*f = k - 16, 0 = -5*f + 4*k - 0*k + i for f.
4
Let a be ((-232)/(-12) + -3)/(1/6). Let c = -93 + a. Solve -2*h - m + 3 = -h, 0 = 4*h + c*m - 14 for h.
1
Suppose -4*f = -267 + 199. Suppose -3*i + 18*r = f*r + 3, -4*r = 3*i - 12. Solve i*s - 7 = -o + s, -5*o - s + 11 = 0 for o.
3
Let x be 2/(-12)*-8*12. Let w = x - -6. Suppose 0 = 3*o + g - 44, 3*g - w = -o - g. Solve -3*q + 3*k + o - 41 = 0, -5*k = 4*q for q.
-5
Let t be (-8280)/24*(14/10 + -1). Let r = -138 - t. Suppose -3*d - 3*d = r. Solve c - 2*c + 9 = -2*i, d = -4*i - 5*c - 25 for i.
-5
Let z be 1/(-4) - (-9)/4. Let x(f) = -f**2 - 21*f - 111. Let q be x(-11). Let t be q*11/33*0. Solve t = 2*d + z*a, -d - 3*a - 2 = 4*d for d.
-1
Suppose -9*u - 81 = -n - 11*u, 359 = 4*n + u. Let b(f) = 10*f - 6. Let v be b(-8). Let d = v + n. Solve 0 = -3*q + d*i - 6*i + 10, -4 = -2*q - 2*i for q.
4
Let f(r) = -18*r + 3*r - 17 - 64 + 19. Let s be f(-5). Solve 3 = 3*j - 3*t, j = t + 3*t + s for j.
-3
Let k be 8/12*(2 + 1). Suppose k*q - 5*q + 30 = 0. Let x(w) = -2*w**2 - 11*w + 3. Let u be x(0). Solve -23 = 8*b - u*b + l, 5*l + q = -4*b for b.
-5
Let r = 53 - 43. Let v = 266 + -261. Solve 0*w + 4*w - r = 2*c, 4*w - v*c = -5 for w.
5
Let q = 4348 - 4342. Solve -2*x + 3*j = 2*x + q, 5 = x - 4*j for x.
-3
Let u = 13959 - 13954. Solve 3 = 4*z + j, -38 + 30 = -u*z + 3*j for z.
1
Suppose 2*d - 5 = -7. Let s be (-3 - (-153)/45)*(6 + d). Solve -2*z - s*z + 2*t = 0, -5*z - 5*t = -15 for z.
1
Let m = 17222 - 17187. Solve 2*h = -2*t, -3*h + 5 = -3*t + m for h.
-5
Let q(d) = -d**2 + 180*d - 1209. Let c be q(7). Solve 2*l + c*b - 8 = 0, -8 = 4*l - 6*b + 4*b for l.
0
Let d = -1820 - -1823. Let x = -5 + 7. Let a be x + (-2)/(-2)*-1. Solve -5*n - a = -f, 2*f - 4*n = -f + d for f.
1
Suppose -41*z = 1224 - 1429. Solve 3*h + 2*h - 2 = 2*v, -z*v + 20 = 0 for h.
2
Suppose -22 = 14*x - 19*x + 4*g, 4*x = -2*g + 2. Solve x*l = -2*r - 12, 3*l + 22 = 10 for r.
-2
Let x(n) = -3*n - 58. Let q be x(-17). Let s = 9 + q. Suppose 0 = -a + s*a - 4. Solve -3 = -3*c + 5*m + 17, -4*c = -a*m - 16 for c.
0
Let c = -10175 + 10177. Solve 37 = v - 2*k + 25, 0 = -c*k - 10 for v.
2
Let c(g) = 7*g - 343. Let t be c(54). Solve 5*s - 9*p + 5 = -12*p, 3*p = 5*s + t for s.
-4
Suppose 70 + 122 = 96*h. Solve -2*t - 8 = 4*g, -5*g + 5 = -h*t - 3 for g.
0
Let t be (110/(-30) - -4) + 20/12. Solve t*y = -5*z, -3*y = 42*z - 47*z for z.
0
Suppose -7*l = 81*l - 440. Solve -4*r = -r - 4*n - 9, n + 8 = -l*r for r.
-1
Let i = -17788 - -17793. Solve 0 = i*o - l - 6, 0 = -4*o + l + 40 - 36 for o.
2
Let d = 235 - 235. Suppose -4*c + 13 - 1 = d. Solve 0 = 3*u + u - 5*f - 5, -2*u - c*f - 3 = 0 for u.
0
Let j(s) = -s + 1. Let u(w) = -12*w + 54. Let x(h) = -4*j(h) + u(h). Let m be x(6). Solve -5*c = m*a - 8, 4*a - a - 12 = -3*c for c.
0
Let c(o) = o**3 + 4*o**2 - 2 - 34*o - 2 + 20*o. Let n be c(-6). Let b be 2 - (4/(-6) - n/6). Solve -3*k - x + 7 = -5, 2*x = -b*k + 16 for k.
4
Suppose 4*x + 4 + 0 = -2*u, 2*u + 3 = -3*x. Suppose -11*a + 121 + 110 = 0. Suppose 19*m = a*m - 12. Solve 2*f - t + 6 = u, f = m*t - 2*t - 3 for f.
-3
Suppose 9*y - 6*y - 72 = 0. Let n = -624 + 308. Let v = -307 - n. Solve 0*l - 4*l + y = -r, l = r + v for l.
5
Let y be 8/36 + (-25)/(-18)*2. Suppose 3*f = -2*m + 12, -y*m = -4*m - 2*f + 7. Solve 4*t = 5*v, -m*v - t + 2*t = -7 for v.
4
Let c = -377 - -30. Let r = 350 + c. Solve 2*z + 0*z + 2*o = 0, -r*o = -z - 20 for z.
-5
Suppose -12*d - 78 = -102. Solve d*s - 2*m = 0, -12*s + m = -7*s for s.
0
Suppose 1 = 59*i - 62*i - 2*p, 3*i = 5*p + 34. Solve -7 = -2*j - i*w + 15, -5*j = -3*w - 13 for j.
5
Let y(s) = -5 - 6*s + 17 - 3*s**2 - s**3 + s**2 - 8. Let a be y(0). Solve 5*b = -m - 5, -a = -4*b - 2*m - 2 for b.
-2
Let f(d) = -d**2 + 5*d + 176. Let y be f(-11). Solve 3*q - 3*u + 6 = 0, 0 = -5*q - y*u - 3*u - 18 for q.
-3
Let v = 3 - 3. Let s(l) = -l**3 - 69*l**2 - 176*l + 1458. Let g be s(-66). Suppose y = -4*h + 2*y + 13, 3*h = 4*y + 26. Solve -t + h = v, 4*z + 4 = t - g for z.
-2
Let u(r) = 3 + r**3 - 371*r - 7 - 3*r**2 + 374*r. Let g be u(3). Solve 5 = k - 5*i, -k = -3*i + 6*i - g for k.
5
Let r(v) = v**3 + 121*v**2 + 258*v + 2392. Let a be r(-119). Solve -2*w - 155*n + 9 = -154*n, -4*n - a = -4*w for w.
4
Let k = -68 - -61. Let v be (4 - (0 - k))/((-2)/(-24)). Let r = -32 - v. Solve 5*s = 25, -2*t = -4*t + r*s - 10 for t.
5
Let i be (-23)/(-9) + 0 + (-4)/(-9). Suppose 0 = -i*d + 2*d + 3*z + 18, -3*z = 12. Solve -3*r - 5 = -4*b, 9 = -2*r + 5*b - d for r.
5
Let q be (592/12 + -4)*-3. Let s = 136 + q. Suppose -h + 112 = 4*i, 0*h = 2*i + 4*h - 56. Solve 5*w - 2*z + 5 = s, -i = 4*w - 4*z - 12 for w.
1
Let l = -47 - -85. Suppose -6*y = -l + 8. Solve 0*b + 2*b + 3*i = 1, -b + 3*i + y = 0 for b.
2
Let n be (14/(-2))/(-3*3/36). Let y = -31 - 59. Let f be (12/(-5))/(12/y). Solve -4*z + n = -5*l, -3*l + z = -8*l - f for l.
-4
Let g(w) = -5 - 17*w**2 - 9*w - 5 + 0 + 16*w**2. Let u be g(-7). Suppose -5 = 3*d + 3*l - 11, -2*d - 5*l = 2. Solve -d*z - 5*k = -1, -3 + 7 = u*z + 4*k for z.
4
Let z be (2/(-1) + 10)/1. Let q be 0*((-15)/(-9))/5. Suppose q = -2*n + z. Solve 5*c = 2*h + 33, -5*c + n*h + 60 = 19 for c.
5
Suppose -5*c + 3 = -7. Let q(g) = -17 - 5 + c - 5*g. Let u be q(-5). Solve -3*f - u*r = -25, 4*r = 3*f - f + 20