= 2*v + s*l, -2*l + 8 = 0 for v.
4
Let n be (-379)/(-3) + 59/(-177). Suppose n = 54*z - 36*z. Solve 3*o - 3*s + s = z, -4*o + 13 = s for o.
3
Let m be ((-6)/18 - (-3)/(-6))*-6. Suppose 0 = -3*x + m*i - 10, 2*x - 2 = i + 3. Solve q = 3*n + 1, 5*q - 20 = 5*n - x for q.
4
Let l = 565 + -547. Let z(d) = -9*d + 165. Let q be z(l). Solve 6*i = q*i + 3*r - 18, 4*r - 28 = 5*i for i.
-4
Let d = 480 + -417. Let h = -60 + d. Solve -5*o - h*j = 11, -2*o - 3 = 5*j - 10 for o.
-4
Let p be 4*-1*76/16. Let o be ((-3)/4)/(p/76). Suppose 6 = o*h + j, h - 4*j = -4*h + 10. Solve 2*x = -t + 3, -5*t + h = x - 4*x for t.
1
Let a(s) = 4*s**2 - 5*s - 4. Suppose -7*u + 297 - 304 = 0. Let h be a(u). Solve -o - 4*m + 2 = 0, -7*o = -4*o + m + h for o.
-2
Let b be 4/(-16)*4*1*-11. Let y be (-15 - -13) + b*1. Let d(f) = 4*f - 34. Let n be d(y). Solve z - 4*a = -n*z - 22, -a = 2*z for z.
-2
Suppose 18*y + 12 = 14*y. Let t be (-80)/(-15) - y/(-9). Solve -t*n = l - 9, 2*l - n = -2*n for l.
-1
Let j = -252 - -284. Suppose -77*q = -85*q + j. Solve 2*y + q = -2*t + 2, -5*y + 4*t = 41 for y.
-5
Suppose 7714*n - 220 = 7659*n. Solve -5*p + 4*p - v = 1, -3*p - 3 = -n*v for p.
-1
Suppose -d - 62*w = -65*w - 8, 0 = 3*w + 6. Let u(i) = i**2 - 7*i + 2. Let a be u(7). Solve 2 = -5*b + 3*y, b - y + a = -d*b for b.
-1
Let a be (15 - (0 + 6)) + 5. Solve -3*p - 14 = l, l - p + a = 16 for l.
-2
Let v be 11 + -15 + (-1 - -94). Suppose 0 = 91*p - v*p - 10. Solve -p*j = -j + f + 20, -j + 5*f - 5 = 0 for j.
-5
Let b be (-16 - -15)*1/(2/18). Let s be b*(2/30 + 8/(-20)). Solve -3*v + 7*v = -f + 3, -4*f - s*v = 1 for f.
-1
Suppose 4*z - 28 = -0*z. Let j be 14/5 + 12/(-180)*-3. Solve -2*d + l + 0*l = -z, -l = j*d - 18 for d.
5
Suppose 6*u - 8*u = -70. Let l = 129 + -129. Suppose l = 5*z - 75 + 35. Solve q + 22 = 4*o, z*q - 5*o + u = 3*q for q.
-2
Let k be (-20)/(-35)*7/2. Let d be 4 - (-1 + 2 - -3). Suppose -4*u + 5*g - 1 = -d, 5*u - 6 = -g. Solve 5*z + k*l = -0*l - 22, l = -u for z.
-4
Suppose -8 + 11 = s - x, 4*s = -x + 12. Solve -i = 4*b + 11, -s*b - 4*i = 2 + 3 for b.
-3
Suppose 9*x - 4*x - 5*a = 0, 2*x + 3*a = 0. Suppose x = 115*c - 122*c. Solve -2*t + 12 = 2*v - c*v, 1 = t for v.
5
Suppose 8*y - 10 = 7*y + 3*c, 5*y = -4*c - 7. Let z(r) = 94*r - 86. Let n be z(y). Solve -4*a = 2*o + o + n, a - 17 = 4*o for a.
1
Let c(q) = -42*q - 42. Let r be c(-1). Solve r = -2*k - 2*v - v + 1, -3*k + 30 = -5*v for k.
5
Let q be (66/18)/((-5)/15) + 13. Solve 4*j - 52 = -5*d - 35, -q*j - 19 = -3*d for d.
5
Let m = 7159 - 7154. Solve 3*g + 9 = -g + m*c, 5*g + 2*c - 30 = 0 for g.
4
Let v(g) = -15*g**2 - 65*g - 3. Let w be v(-4). Solve -3*c - w = -4*q, 4*q + 19 = -c + 8*q for c.
1
Let q be 4/((-64)/3374) - 1/8. Let i = q + 236. Solve 5*u + i = -3*r + 5*r, 0 = 5*r + 2*u - 19 for r.
5
Suppose -14 = 4*r - 5*r. Suppose -6*m = -r*m. Solve 4*l - 7 = -5*b, -4*b - 16 = -4*l - m*l for b.
-1
Suppose 2*t + 32 = 3*i, 7*t + 25 = 2*i + 2*t. Solve 5*z - 15 = -5*f, -f + 13 = -5*z + i for f.
3
Suppose -9*a - 23 + 32 = 0. Suppose -s - a = -r, 3*r - 10 = -2*s + 3. Solve -8 = -s*c + 4*w, -4*c - 3*w + 4 = 21 for c.
-2
Let i be (0 - 20)/(38/(-57)). Suppose 7*d + i = 17*d. Solve 0 = 2*w + d*w - 5, 7 = -g + 4*w for g.
-3
Suppose -14*p + 403 - 361 = 0. Suppose -l = 5*g + p, -8 = -5*l + 4*g + 6. Solve -3*u + l*o - 3 = 0, 0 = 3*o - 2*o + 3 for u.
-3
Let b(x) be the first derivative of 7*x**2/2 + 5*x - 48. Let z be b(0). Solve -3 = -3*n, 5*p - z*n - 15 = p for p.
5
Suppose 2*s + 11*a + 462 = 10*a, -2*s - 456 = 4*a. Let z = s - -236. Solve -4*p - 4*l = -p - 21, z*l = -p + 15 for p.
3
Suppose 0 = -h + 9, 87*m = 91*m + h - 81. Solve 5*b + 9 = -j - m, 0 = -j + b + 3 for j.
-2
Let j(v) be the third derivative of v**5/60 - v**4/12 - v**3/6 - 153*v**2. Let p be j(3). Solve -2*f - 4 = 2*s, -2*f + 3*f + 7 = -p*s for s.
-5
Let b = -53 + 53. Let u = 0 + b. Let r(i) = -i**3 - i**2 + i + 4. Let m be r(u). Solve -34 - 1 = -m*k + 5*x, 0 = 4*k - 2*x - 26 for k.
5
Let w = 3514 - 3511. Solve -7*t + 13*t - l + 27 = 0, w*l = -4*t - 29 for t.
-5
Suppose q + 3580 = 5*z + 3483, -4*z - 4*q = -68. Solve -3*o - 3*m = -9, 0 = z*o - 15*o - 5*m + 6 for o.
1
Suppose -2*n = -3*p + 2, -8*p + 5*n + 5 = -11*p. Suppose p = -4*u - 8, 0*u - 4 = 3*b + 2*u. Solve 0*l - 4*l + 4*m + 16 = 0, b = -3*l - 3*m for l.
2
Let v be ((-3)/9)/((-132)/(-45) - 3). Suppose -6*c = -v*c - 2. Let s = -29 - -32. Solve -c*r + r - 4*t + 2 = 0, -s*r - t + 6 = 0 for r.
2
Let b = 10786 + -10784. Let y be (0 - -18) + (-1)/1. Solve -2*i + y = -5*l, -b*i + 11 = -3*l + 4 for l.
-5
Let u be 3*1/(-3) + 1. Suppose 0 = -5*z - 2*p + 7, 3*z + 3*p - 6 = -u*p. Suppose -q - 24 = -3*f, z - 10 = -3*q. Solve -2*h - v = -2*v + f, 2*v - 15 = 3*h for h.
-3
Let f be (2 + 0)*24/16. Let s be 0*(-1)/(f - 1). Let n be 52026/2175 - (0 + 2/(-25)). Solve s = 5*u + 15, -3*k + u - n = 5*u for k.
-4
Suppose -2*t + 22 = 6. Suppose -t = -2*x, 5*l - x + 2 = 2*x. Suppose 142*k = 137*k. Solve -h - l*h + q - 1 = k, 3*h + 2*q + 16 = 0 for h.
-2
Let m = -1956 - -1947. Suppose 48 = 4*y - 2*l + 6*l, 54 = 4*y + l. Let w = y + m. Solve w*j + 2*g = 26, 5*j - 4*g = 6 + 2 for j.
4
Suppose 5*z = -2*d + 71, -d - 25 = 96*z - 99*z. Solve -20*m + 15*m - 3*u = -z, 2*m + 2*u = 2 for m.
4
Let q be 6/(3*(-10 + 11)). Solve 4*k = 4*x - 4, -q*k + x + 30 - 35 = 0 for k.
-4
Let d be -15 + 18 + 2/1. Suppose -2*j - 3*n = -8*n + 6, 3*j - 16 = -d*n. Solve 5*b - 4*m = -11 - j, -3*b + m - 5 = 0 for b.
-1
Let i = 3248 - 3241. Solve 0 = -5*k + 5*h - 13 - i, -3*k - 4*h - 19 = 0 for k.
-5
Let w(n) = n**3 - 21*n**2 - 5*n + 54. Let f be w(21). Let d = 46 + f. Let p be -13 + 13 - d*2. Solve 2*g + p = -3*h, -2*g + 0*g = -5*h - 22 for h.
-4
Let d be ((-2)/16*-4)/((-2)/(-692)). Let r = 178 - d. Solve 3*v - 5*v = -h - 7, r*h + v = 9 for h.
1
Suppose r + 26 = 3*r. Suppose -5*p - f = 364, 2*p + 47 = -f - 101. Let i = p + 85. Solve 6*d = 3*d - 4*c + i, 4*d - r = -c for d.
3
Let h(l) = l**2 - 23*l - 27. Let v be h(24). Let x(u) = -u**3 - 5*u**2 - 6*u + 2. Let w be x(v). Solve -3*t - 20 = -n, 2*t = w*n + t - 15 for n.
5
Let u be 0 + 2 + 12*3/36 + 5. Solve 4*w - 26 = -5*p, -w = 4*p - u - 15 for w.
-1
Let c be (-1425)/(-152)*64/24. Solve y - 19 = 4*q, -4*q = 51*y - 46*y + c for q.
-5
Let c(l) = l**3 - 4*l**2 + 3*l - 7. Let n be 12/18 + (-20)/(-6). Let z be c(n). Solve -4*k - 5*q + q = 8, z*k - 5*q - 30 = 0 for k.
2
Let r be 0 - (-4)/(-2) - -3. Let l = 2 - r. Suppose -d - 2*h - 104 = -87, 0 = 4*d - h - 22. Solve -d*k = -v + 8, 5*k - v = l - 11 for k.
-1
Let u(o) = -4*o + 92. Let q be u(22). Let f be 5*(-36)/(-20)*4. Suppose -11*w = -7*w - f. Solve 5*b = q*t - 3 - w, 0 = 5*b + 20 for t.
-2
Let v = 3 + 7. Suppose 2*d - v = -4. Solve d*h = -9, -3*h + 18 = -4*g + 7 for g.
-5
Suppose 3*x = 7*s - 10, -23*x - 30 = -28*x. Solve 2*z - s*r - 14 = 0, 5*z + 0*r - r = -1 for z.
-1
Suppose 20*d - 1218 = -15*d - 23*d. Solve -3*j - a = d - 10, -5*a - 1 = -3*j for j.
-3
Suppose 3*t = 2*j - 856, 5*t = -2*j + 5*j - 1286. Let u = j - 403. Solve 0 = b - 5*x + 9, -x - 2*x + u = -4*b for b.
-4
Let y = 145 + -430. Let k = 289 + y. Solve -3*j + k*j + 3*b = 8, -2*j = -5*b + 6 for j.
2
Let r(m) = 3*m**2 - 97*m + 674. Let i be r(10). Solve 4*w = y - 17, i*y + 9 = -3 for w.
-5
Suppose -5*x - 279*l + 283*l + 2 = 0, 4*l = x + 6. Solve -4 = x*c, -5*k - 5*c - 19 - 11 = 0 for k.
-4
Let v = -9896 + 9926. Solve -5*f = 5*q + v, -f - q = -5*q - 4 for f.
-4
Let r(t) = -3*t**3 - 2*t + 20. Let b(j) = -j**3 - j + 11. Let f(s) = -5*b(s) + 2*r(s). Let z be f(-4). Solve -3*g - 3*u = -3 + 6, z = -5*g + 5*u for g.
-5
Let o be 4/(-6) - 15/(-27)*57. Let u = 49 - o. Let h(p) = 2*p**2 - 34*p - 33. Let x be h(u). Solve x*s + 4*k - 10 = 3*k, s + k = 0 for s.
5
Let z be 4/10 - 13/(-5). Suppose -122*i + 112*i = 5*x - 105, 21 = x + 5*i. Solve -x = -0*u + 5*u + g, 3*g = -z*u - 15 for u.
-4
Suppose 0 = 13*t - 23*t + 130. Suppose 3*u = -3*y - t + 31, -2*u = -3*y - 17. Suppose -u*f = 6 - 62. Solve -5*b = -5*o - 15, -2*o - f = -b - 3*b for o.
-2
Let c be 11028/16 - 9/(-12). Let f be (-92)/c - (-124)/30. Solve -3*g = -y - 5, g = -f*g + y + 9 for g.
2
Let t = 229 - 240. Let c(k) = -2*k**3 - 25*k**2 - 35*k - 17. Let m be c(t). Solve -2 = 2*l - 5*p, -l - p = -m*p + 1 for l.
-1
Suppose 0 = -11*u + 2*u + 45. Suppose 2 = -g + u*m, 8*m - 42 = -4*g + 3