 for l.
-4
Let s = 89 + -97. Let b be ((-9)/6)/((-28)/s + -4). Solve -4*x - b = 3*f, 4*f + 0*f - 15 = x for f.
3
Let n(o) = o**2 - o - 4. Let v be n(6). Solve -4*j = 2*h + 18, 0 = -5*h + h - 3*j - v for h.
-5
Let f(y) = -10*y**3 + 2*y**2 + y. Let v = 19 + -12. Suppose -p + 6 - v = 0. Let i be f(p). Solve -3*n + n + i = 3*t, 0 = -2*n + t - 9 for n.
-2
Let n = 354 + -332. Solve -2*d + 5*o + 2 = -3, 2*d + 4*o + n = 0 for d.
-5
Let j(p) = -p**2 + 26*p + 32. Let b be j(27). Solve -20 = b*u, 4*n - 3*u = n - 3 for n.
-5
Let d(l) = -2*l**3 + 3*l**2 + 5*l - 3. Let y be d(2). Solve -7 = -y*p + p - 3*g, 13 = 3*p + 2*g for p.
5
Suppose 0 = 3*a + 4*g - 23, 0*a + 12 = 2*a + g. Suppose 4*i + a = -i. Let z be (i - (-2 - -11))/(-1). Solve -r - 1 = 0, -t + 5*r = 2*t + z for t.
-5
Let m(y) = -2*y. Let j be m(-1). Let f = -11 - -23. Suppose 0 = 5*a - 3 - f. Solve -u + j*q + 8 = u, 3*u + a*q + 18 = 0 for u.
-1
Let u(s) = s**2 - 12*s + 39. Let x be u(7). Solve -2*t + 3 = 3*t - 4*c, 2*t - x*c + 6 = 0 for t.
3
Suppose 23*o = 65 + 27. Solve 4*j + 20 = 0, 6*a + o*j = a - 30 for a.
-2
Let z(v) = v. Let w(u) = u**2 - 14*u + 14. Let b(r) = -w(r) - 6*z(r). Let a be b(4). Solve -t + a*i = -10, -5*t - i - 5 = -10*t for t.
0
Let n be 38/14 - 36/(-126). Suppose 0 = -3*c - 5*r + 10, -4*c - n*r + 11 = -6. Let w = -1 - -3. Solve c*q + 2*t = 4*t + 23, 4*q + w*t = 4 for q.
3
Let u = 2 - 9. Let w be (-4*1)/(u - -9). Let q be 3/w + 299/26. Solve -6*p + 2*p = -3*x - q, 3 = 3*p for x.
-2
Suppose 7*n + 11*n - 36 = 0. Solve -2*p - p + 2*j - 7 = 0, 0 = 4*p + n*j for p.
-1
Let r = 12 + 3. Let k(c) = 6*c**2 + 67*c - 68. Let j be k(-12). Let x = j + r. Solve 0 = -g - 5*z - 2, -x*z = 2*g - 3*z - 2 for g.
3
Let s be (-3 + 2)/((-3)/12). Let w(r) = -r + 9. Let k be w(4). Suppose -4*p + 15 = -k. Solve n = 3*c + p, c = -3*c - s for n.
2
Suppose 0 = -3*h - 2*h + 575. Suppose -m - h + 117 = 0. Solve 3*d - 10 = -2*u + 3*u, 0 = -4*d - m*u + 30 for d.
5
Let i = 143 + -138. Solve -13 = 3*w + 2*w + 3*d, 3*w = i*d - 35 for w.
-5
Let a be -4 + ((-7)/(-35))/((-1)/(-170)). Solve -q - 4*q - 3*f = -40, 4*q + 2*f - a = 0 for q.
5
Let r = -152 - -157. Solve -w + 0*x - 7 = 4*x, r*w + 18 = -3*x for w.
-3
Suppose 27*b = 12*b + 720. Suppose -9*a = -17*a + b. Solve -3*m + 3 = -2*r, 3*m + 3*r - 6 = a*r for m.
-1
Let a be 10/6 - (-2 + (-48)/(-18)). Let x(z) = z + 3. Let k be x(a). Solve p = -3*w - 8 + 24, -k = -w for p.
4
Let o be ((-2)/(-4))/(6/300). Solve -r = -4*m - o, 4*r - 39 = 3*m - 4 for m.
-5
Let i = 0 - -2. Let y = 23 - 21. Suppose 0 - 6 = -y*u. Solve c = t - i*t - 6, 0 = u*t - 3*c for t.
-3
Suppose 0 = -h + 3*a - 13, 16 = 3*a + 1. Solve -3*y - h*y - 15 = 0, -4*y - 24 = 4*p for p.
-3
Suppose 19 + 8 = 3*k. Let i be ((-3)/k + 1)*3. Suppose -3*z - 4*o = 3, -i*z = -z + o. Solve 0*p - 20 = 2*w - 3*p, z*p = 12 for w.
-4
Let n be (64/40)/((-2)/(-5)). Suppose 55*x - 60*x + 10 = 0. Solve -2*p + 3 - 11 = -2*j, -n*j = -x*p - 16 for p.
0
Let x = 482 + -477. Solve -q + x*y = -5 - 8, -4*q + 3*y = -18 for q.
3
Let f = 6 - 1. Let b(a) = a**2 - 49*a + 182. Let v be b(45). Solve h + v*o + 2*o + 7 = 0, 0 = -h + 2*o + f for h.
1
Let n(w) = -2*w**2 + 8*w + 5. Let f be n(4). Let i be 2/f - 40/(-25). Solve 0 = i*p, s + 6*p - 3*p = 0 for s.
0
Let x(f) = -97*f - 91*f + 192*f - 3. Let n be x(2). Solve l = n*y + 1, 2*y + 2*y - 8 = 3*l for y.
-1
Suppose -13*z = -4*z - 45. Solve 5*l + 34 = 3*u, -2*l + 2*u - 1 = z*u for l.
-5
Let w = -8 - -12. Let p(j) = -j**3 + 4*j**2 + j + 5. Let a be p(w). Suppose -g = -5 - a. Solve 3*t - 6 = 3*z - 6*z, -3*z = -t - g for t.
-2
Let z be (-4)/8 - (-28)/8. Solve 5*s + 4*b + 16 = 8*s, 2*s - z*b - 11 = 0 for s.
4
Let a be (-8 - 80/(-10))/(-1). Solve 5*p + 9 = -i, a*p + 9 = 3*p - 3*i for p.
-1
Suppose -i = -3*c + 11, 6*c - 17 = c + 3*i. Solve 0 = j + c*y - 2, 0 = -3*j - y - y - 4 for j.
-2
Let v(d) = d - 3. Let o be v(5). Suppose 4*u = 2*u - o*x + 2, 0 = -5*x - 20. Solve u*c - 11 = -2*l, 0 = 2*l + c - 2 - 5 for l.
3
Let h = 35 - 44. Let z be (-6 - h)/(1 - 0). Let v be -3 + 7 + 0/(-2). Solve 2*n + 2*n - v = -w, -n + 12 = z*w for n.
0
Suppose w = -3*x - 10, 30 + 0 = -2*w + 4*x. Let u = 13 + w. Let j = -3 - -3. Solve 3*m - 2*a + 1 = u, j = 3*m - 4*m + 3*a + 9 for m.
-3
Let i(s) = -3*s + 5. Let w be i(-5). Suppose 0 = -u + 6*u - w. Suppose 0 = -3*b + 43 - 10. Solve 3*y - u*v = 0, 0 = -3*y - v + b + 4 for y.
4
Suppose 18 = 6*d + 6. Suppose 1 = 4*b + 2*m - 3, 5*m + 6 = -d*b. Solve -3*u + b*g - 17 = -0*u, u + 5*g = 17 for u.
-3
Suppose 2*r + 4*d + 4 = 0, -4*d = -5*r - 9*d. Suppose -4*f = -3*g + 26, -5*g + 4*f - r = -40. Solve 4*z + 2*j - g = 0, -3*j = -3 - 0 for z.
1
Suppose 11*b = -1 + 23. Solve 0 = -j - 3*j - 5*x - 45, -2*j + b*x = 0 for j.
-5
Suppose -3*n = 5*z + 22 + 42, n + 2*z = -20. Let v be ((-15)/(-20))/((-1)/n). Solve -3*m = -2*h + 7*h + v, h + 11 = -4*m for h.
-3
Let f = -2834 - -2836. Solve -2*j + 4*m + 4 = 0, -7*j - 3*m - 29 = -f*j for j.
-4
Let j = 422 + -407. Solve j = -3*y, 4*r = 2*r + 4*y + 30 for r.
5
Let j(r) = 7*r - 35. Let x be j(5). Suppose -4*q + 26 + 22 = x. Solve 0 = 4*m - 4*h - 12, -4*m - 6*h + h = -q for m.
3
Let z(t) = t**3 - 10*t**2 - 145*t + 20. Let o be z(18). Solve g - 7 = -2*y, -g + o*g = 3*y - 18 for y.
5
Let t(a) = a**2 + 4*a - 3. Let w be t(-6). Let s(i) = i**2 - 7*i - 18. Let z be s(w). Solve -4*g + 2*d = -z*g - 18, -3*g + 21 = -3*d for g.
2
Suppose 429*g - 441*g + 24 = 0. Solve -4*v + 2*v - 8 = f, -8 = -f + g*v for f.
0
Let x be (-11)/4*36/9. Let z = 13 + x. Let q = -9 - -29. Solve q = -z*t + 4*t - 4*f, -2*f - 2 = 3*t for t.
2
Let a(y) = 5*y**2 - 7*y - 16. Let i be a(3). Let z be ((-21)/(-12))/(2/32). Solve 2*n = 5*w + z, 3*n - w + i = -6*w for n.
4
Suppose -104 + 124 = 2*b. Solve -b*q + 7*q + 3*k = 0, -3*k = -q + 10 for q.
-5
Suppose 0*f = 5*f + 20. Let b = 1 - f. Solve 8 = 3*k - 0*d - 4*d, 0 = -b*k - 2*d - 4 for k.
0
Let b be (0 - (-4)/(-8))*(2 - -2). Let m be 1500/625 - (b/(-5) - 0). Solve -12 = -4*t + x, -t - m*x = t - 16 for t.
4
Suppose 0 = b + 4*j - 134, -b + j = 2*j - 137. Let w = b - 133. Solve -5 + 14 = w*h + 4*r, -22 = -2*h + 3*r for h.
5
Let v = 120 - 105. Solve -7*y + 4*y + 6 = 0, 0 = -5*b + 5*y - v for b.
-1
Suppose -3 + 23 = 4*o, 0 = -h + 4*o - 18. Suppose 12 = -h*c + 6*c. Solve -c*a = -10 + 1, -3*f - a - 6 = 0 for f.
-3
Let t = -12 - -6. Let m(p) = p**3 + 6*p**2 - p - 8. Let n be m(t). Let i(j) = -3*j. Let l be i(n). Solve -4*k = 2*w - l, -3*w = 2*k - w - 2 for k.
2
Let s(j) = -81*j**3 - j**2 - 2*j - 1. Let r be s(-1). Let n = -44 + r. Suppose -c = 2*g - 41, n = 2*g - 2*c - c. Solve -q = 4*u + g, 0*q + 8 = -q - u for q.
-4
Let y be (-231)/(-22)*4/2 - -4. Solve -5*k + 5*l - y = 0, 5*k - 18 = -4*l + 2 for k.
0
Let z = -2 + 6. Let c(l) = 2*l**2 + 8*l + 10. Let w be c(-4). Suppose -2*o = 2*o + 3*g - w, -5*g - 14 = -o. Solve -z*q + 5*t = o*t, 2*t = 3*q for q.
0
Suppose 0*h = h - 4*j + 1, 2*j = h - 1. Solve h*m + 12 = -2*b, m + m = -4*b - 16 for m.
-2
Let d = -62 + 64. Suppose 5*j - d*z = 3 + 2, j + 5*z = 28. Solve 5*h - 3*r = -16, j*r - 1 + 0 = 2*h for h.
-5
Let j = 515 + -512. Solve 3*y - z - 14 = 0, z = j*y - 3*z - 11 for y.
5
Let o be (3/4)/((-12)/(-64)). Suppose 4*x + 2*m = -m + 37, o*x + m - 47 = 0. Solve -j + 1 = -2*v - x, 3*v - 1 = -4*j for v.
-5
Let q be 7 - 4 - (0 - 1)*-3. Solve -2*w + 4*k + 12 = 0, 2*w + 5*k + 3 + 3 = q for w.
2
Let y(k) = 7*k**2 + 19*k - 8. Let z(j) = -4*j**2 - 10*j + 4. Let n(g) = -3*y(g) - 5*z(g). Let m be n(-6). Solve 0 = 3*w - w + m, -r + 9 = -w for r.
4
Let g(x) = -26*x + 4. Let l be g(0). Solve l*p + 4*n = -8, -5*n + 11 = 9*p - 11*p for p.
-3
Let l(y) = y**2 + 12*y. Let t be l(-13). Let n = t - -11. Let d = -4 + n. Solve -5*m - 5*q = -d, -m = 2*m - q - 4 for m.
2
Suppose -17*t = -20*t + 4*q - 14, -5*q = -5*t - 15. Solve -2*p + p = -3*a - 13, -2*a = -t*p + 14 for p.
4
Let z(c) = c**3 - c**2 + c + 1. Let x be z(-1). Let g = x - -8. Solve -4*l + 3*q = -25, -q = q + g for l.
4
Suppose -1 + 9 = -2*w. Let k be (-9)/((-9)/w) - -4. Let c be 6/(-1)*1/(-2). Solve i + 2*q = -9 - k, -c = 2*i - q for i.
-3
Suppose 4*x - 62 = 3*x. Let t = x + -56. Solve 0 = t*d - d, -2*d - 12 = -4*b for b.
3
Suppose 0 = 4*g + 5*l + 12, 5*g - 4*l = -0*g + 26. Suppose 2 + g = s. Suppose 0 = -2*b - s*b + 30. Solve 0 = b*c - 20, -3*h - 5*c = -5*h - 10 for h.
5
Sup