*s - a = l*a + 24 for s.
1
Let k = 525 + -505. Solve 0 = 5*l - 2*g - k, l + 4*l - 4*g - 20 = 0 for l.
4
Let k(d) = -d**2 - 5*d - 2. Let b be k(-3). Let p(g) = -46*g - 181. Let q be p(-4). Solve 4*v + 2*n - b*n + 18 = 0, -q = -v - n for v.
-2
Let g be (4 + -1)/(-1) + (-90)/3. Let t be g/(-7) + 5/35*2. Solve -4*n - 3*d - 1 + 12 = 0, 0 = -3*n + t*d + 30 for n.
5
Let t be (55/(-15) - -5)*3. Suppose 5*m + i - 6 = 0, -6*m + t = -2*m + i. Let d = 10 + -5. Solve 4*z - 3*v + d*v = -10, 0 = -m*z + 2*v - 14 for z.
-4
Suppose -29 = 3*d + 73. Let y = 30 + d. Let l be (-102)/(-30) - y/(-10). Solve -2*o = -b - b + 4, l*b = -o + 10 for o.
1
Let o be ((-2)/(-3))/(2/21). Suppose 4*d - d + o*d = 0. Solve d*l - 2 = -2*l - 2*x, -4*x - 24 = -3*l for l.
4
Let c(p) = -2*p - 4. Let h be c(-5). Suppose w + 3 = h. Solve -2*o + 13 = 3*t, 4*o = 4*t + w*o + 1 for t.
1
Let l(z) = 42*z - 333. Let g be l(8). Solve -b - g*y = 1 + 13, b + 5*y = -22 for b.
-2
Let n be 7/2 - 3/6. Suppose 4*y + n*q = 5, 2*y - q + 10 = -5*q. Let o(f) = 2*f - 10. Let m be o(8). Solve -d - d = -2*t + m, -y*d + 20 = 2*t for d.
2
Let b = 78 - 72. Solve -l + 0*d - 3*d - 9 = 0, -3*l = 2*d + b for l.
0
Let w(y) = y**2 + 11*y + 24. Let j be w(-8). Suppose -4*f + 2*i + j*i = -30, 5 = -2*f - 3*i. Solve -d - 2*d + 4*l + 14 = 0, -2*d - 29 = f*l for d.
-2
Let d = 141 + -136. Solve 0*i + d*i - 4*m = -32, i = m - 7 for i.
-4
Let s be 9/(-1) + 8 + -3 + 9. Solve 0 = 3*m + s*i - 26, -18*i + 20 = 4*m - 15*i for m.
2
Let t = 98 - 92. Let a(g) = g**2 - 5*g - 2. Let s be a(t). Solve -s*p - d - 8 = 0, 4*p - 8 = -2*d - 3*d for p.
-3
Suppose -j + 5 = t + 4*t, -5*j - 21 = 2*t. Let x be 2/(j*3/(-15)). Solve 12 = 3*h, 2*h = -4*f + x - 14 for f.
-5
Let b = -68 - -72. Let p be (0 - -3) + (-6 - 1) + b. Solve p = -0*o - 5*o + 2*g - 7, 1 = 3*o + 4*g for o.
-1
Let y be ((8/(-6))/(-2))/(8/60). Solve 4*k = -0*b + b + 25, 2*k - y = -b for b.
-5
Suppose 16 = -644*h + 652*h. Solve h = -c + 2*r, 5*c + 4*r - 12 = 3*c for c.
2
Let s be 116/14 - 10/35. Suppose -s*f + 2*f = 0. Solve f = -2*t - 2*c - 10, 5*t = -2*c - c - 21 for t.
-3
Suppose 3*i - 17 = -3*x + 4, 4*i + x = 13. Solve i*u + 5*k - 11 = 0, -11*k + 10*k = 2*u - 7 for u.
3
Let l = -12 + 14. Solve 3*z = -12, 7*p + 16 = l*p + z for p.
-4
Suppose 2*u - 141 = -2*u - t, 0 = -2*u - 2*t + 66. Let r = -34 + u. Solve 5*v + 3*s = -3, 3*s = v - r*s + 23 for v.
-3
Let v(x) = x**3 - 3*x**2 + 3. Let g be v(3). Suppose 0 = 4*j - g*j - 14. Let c = 16 - j. Solve w = c*w + 5, 2*w = 2*b for b.
-5
Suppose 119*k = 122*k - 15. Solve 20 = -k*s - 4*c, 4*s = -6*c + 3*c - 16 for s.
-4
Suppose -3*o = -5*h + 164, 4*h = 2*o + 54 + 76. Suppose -5*i + 89 + h = 0. Solve 4*p = -5*t - i, 5*p - p - 4 = 2*t for t.
-4
Suppose -5*a + 18 + 2 = 0, 4*k + 4 = 4*a. Solve z + 11 = -k*j, 0 = -3*z + 2*z - 4*j - 14 for z.
-2
Let k = -4 + 7. Let v(l) = l**2 - l - 2. Let r be v(-2). Suppose 0 = z - 3, 5*y - 7 - 21 = 4*z. Solve -h + r*j - y = -5*h, 2*j = -k*h + 3 for h.
-1
Let c = 76007 + -75988. Let m = -12 + 20. Suppose 2*g = -2*g + m. Solve -3*x = p + c, -g*x - 15 = -3*x + 5*p for x.
-5
Let r(u) = 2*u**2 - 16*u + 28. Let i be r(6). Solve -2*t - 2*z + 4 = -t, -t + i = z for t.
4
Suppose 0 = 21*t - 29 - 13. Suppose t = -z + 7. Solve 4*p + 4*f - 1 = -z, -4*p - 5 = 3*f for p.
-2
Let c = -226 + 230. Solve 0 = -2*q - 2*t + 7*t - 26, c*t - 16 = 0 for q.
-3
Suppose -2*v - 1 = -19. Suppose 2*l - 1 - v = 0. Suppose -l*g = -10*g. Solve 0 = 3*r - g*r - 4*n - 7, -16 = 4*n for r.
-3
Suppose -5*s = -105 - 75. Suppose 33*v + 12 = s*v. Solve 2*n + y = -1, -v*n - 5*y = -3 + 2 for n.
-1
Let p = -4 + 6. Suppose x - 7 = p*x. Let y = 9 + x. Solve 5*k - 3*v - y = 0, k - 6*k - 5*v + 10 = 0 for k.
1
Let l(s) = 9*s - 4. Let r be l(3). Let p(z) = -5*z + 7. Let x be p(-8). Let i = x + -43. Solve 0 = y + 4*v + r, -i*y = -4*v - 4 - 4 for y.
-3
Let h(f) = 3*f**2 + 26*f + 12. Let j be h(-8). Let r be 15 - (9 + 0 + j). Solve r = 7*p - 2*p + 3*b, 0 = -4*p + 2*b - 14 for p.
-1
Suppose -32 = -5*d + 8. Suppose -8 = -2*n + d. Let g = 127 + -124. Solve -4*j + 13 = 5*i - g, 0 = -2*j + n for i.
0
Let h be (-220)/(-35) + (-2)/7. Let f be ((-20)/15)/((-2)/h). Let n(l) = l - 1. Let w be n(6). Solve -2*u - f*y + 5*y = -9, -4*y - 30 = -w*u for u.
2
Let l = -29 + 43. Solve 2*p + l = -5*u, -3*u + 3*p = -2*p - 4 for u.
-2
Let i = -40 - -45. Suppose -c + 128 = c + 4*x, -290 = -5*c + 5*x. Suppose 8*l = 3*l + c. Solve 4*p - i*s + l = -0*s, -20 = -5*s for p.
2
Suppose -58*s = -45*s - 52. Solve -3*h - 2*t - 16 = -h, -t = s*h + 17 for h.
-3
Let u(n) = n**2 - 6*n - 11. Let f be u(8). Suppose -20 - 40 = -f*x. Solve 4*o + 4*h = -x, -5*h + 18 = -5*o + 3 for o.
-3
Let a(u) = -u**3 - 8*u**2 + 6*u - 27. Let p be a(-9). Solve -v - 4*v + 31 = 3*g, p = g - 2 for v.
5
Let u = 542 + -532. Solve t = 4*w - u, 2*w + 6 = -5*t - 0*w for t.
-2
Let g be (40/(-30))/((-8)/18). Suppose -3*c + 7*c = 0. Let x be (-4)/(-4)*(c + 5). Solve -x*i - s = -i - 2, 2 = -4*i - g*s for i.
1
Let v = -136 + 139. Let m be (v + (-10 - -6))/((-2)/8). Solve -m*q + 8 = -o, -2*q + 4*o + 18 = -0*q for q.
1
Suppose -2*a + 33 = 3*q - 10, -5*a - 4*q = -90. Let u = a + 13. Solve 0 = -4*f + 5*b - u, -4*f + 4*b - 18 = 2*b for f.
-3
Let p = 48 + -109. Let o = p + 62. Solve 5 = 3*l - 3*s - 2*s, l - s - o = 0 for l.
0
Suppose -4*u = -8, -6 = -2*b + 3*u - 0. Suppose y + 8 = 5*y. Suppose 4*g = y*g + b. Solve 3*w + g - 6 = 2*j, -5 = -5*w + 2*j for w.
1
Let r(x) = -21*x - 1. Let m be r(-1). Solve -4*t - 5*q - m = 0, -5*t - 15 = q + 10 for t.
-5
Let f(g) = 38*g + 80. Let m be f(-2). Solve -9*h + 5*x - 40 = -m*h, -4*h = -3*x + 27 for h.
-3
Let m(n) = -n**3 + 3*n**2 + 6*n - 5. Let w be m(4). Let d = 13 + -13. Suppose d = 2*y - 10. Solve y*o = -4*q - 11, 2*o = 2*q + 13 - w for q.
-4
Let j = 11 + -9. Let g = -19 - -37. Suppose -2*t = 2*t + 3*h - 3, -t + 5*h = -g. Solve 0*d + j*d = -6, -5*z - 16 = -t*d for z.
-5
Let o be ((-309)/(-515))/(1/5). Solve -11 = -o*d + 4*a, 5*a + 10 = -15 for d.
-3
Let s be 45 + -3*3/9. Suppose s - 9 = 5*o. Solve l + 1 - o = -x, -1 = -x for l.
5
Suppose -4*l + 6 = 5*w, -l + 16 = -2*w + 2*l. Let t = 14 + w. Solve 0 = -3*c - 0*c + 3*n - t, c - 2*n + 8 = 0 for c.
0
Suppose 2*t = 2*f, -2*t + 20 = -t + 3*f. Suppose a + 71 = 4*a - t*y, a = 5*y + 27. Suppose 5*c = -2 + a. Solve -5*w + 32 = 4*j, 4*j - 4*w = -0*w - c for j.
3
Let n = -259 + 263. Solve -6 = -2*b + 4*t, -n*b + 3 = -0*t - 5*t for b.
-3
Let b = 236 + -236. Solve b = -2*p + 4*f - 4, 5*p - 4*p = f for p.
2
Suppose 0 = 3*w - 4*w + 75. Let i = w + -73. Solve 5*y + u - 4*u - 8 = 0, 20 = i*y + 3*u for y.
4
Suppose 43*l = 5*s + 45*l - 20, -33 = -4*s - 5*l. Solve -17 = s*b - 5*d + 2, 4*b + 23 = 5*d for b.
-2
Let d = 19 + -8. Let s = -20 - -25. Solve d = -s*c + 4*x, 3*x - 15 = 5*c - 2*x for c.
1
Let r be (-1)/((1 - -1)/(-10)) + 4. Let v be -4*3/(-54)*r. Solve 0*h + 4*h - 2*f = 0, 0 = -v*f + 4 for h.
1
Let t(f) = -f**2 + 15*f - 15. Let q be t(14). Let y be 0 + (3 - q) + 1. Solve -3*z + 21 = 5*w, -2*z = w - y - 2 for w.
3
Let i(s) = 2*s**2 - 2*s - 6. Let g be i(3). Suppose 10*o - 8 = g*o. Solve r + 3 = -o*d + 2, d - 5*r = 27 for d.
2
Suppose -5*n + 2*n + 6 = 0. Let r be (-164)/492*-9*1. Solve i + n*w - 3 = 0, r*i - w = 4*i for i.
-3
Suppose -5*m - 7*d + 2*d = -55, -4*d + 16 = 0. Suppose 4*u = 3*u + m. Solve -3*n = -4*w + u, -5*w + 10*w - 23 = -n for w.
4
Suppose 409*u - 437*u + 168 = 0. Solve 0 = 2*q + 3*i - u, 0 = -2*q - 0*q - 4*i + 8 for q.
0
Suppose 2*j + 0*j = 0. Suppose j*g + g = 0. Solve x = -4*t + 28 - 11, g = -t + 5*x - 22 for t.
3
Let r be (-1054)/(-124) + 5/(-2). Solve -5*x = -4*z - 40, -r*x + 2*x - 4*z = 4 for x.
4
Suppose -5*m + 22 = -13. Let x(c) = m*c + 0 + 0 - 4*c. Let k be x(1). Solve k*v + 2 = r, 5*r + 5 = -2*v - 2 for v.
-1
Let h be (20/12 - 2)*(-7 - -1). Suppose 0 = -z + h*z - 3. Solve -2*l = 3*l, 0 = z*f + 5*l - 6 for f.
2
Let i(b) = -b - 8. Let c be i(-11). Let p(x) = -2*x**3 + 13 + c*x**3 + 0*x + 10*x - 12*x**2. Let o be p(11). Solve t - 5 = -o*a, 0 = -3*t - a - 1 - 9 for t.
-5
Let t be 1/2*-1*-38. Let l = 765 - 762. Solve 5*o - t = 2*c, -11 - 4 = 3*c - l*o for c.
-2
Suppose -5*o + 59 = 44. Solve 0 = -3*k - 2*l + 4, k + o*k + 3*l = 4 for k.
4
Let q be 3 - 6 - (-19 + -2). Let h = q + -7. Suppose -3*g + 13 = -h. Solve -5*k + 3*z = 8, -2*k - g = k - z 