*f, 4*f = 5*l + 4 for l.
-4
Let b be 8/(-12)*(-132)/(-8). Let f = 8 - b. Suppose 0 = -0*i - i + f. Solve -i = -4*d + n, 4*d = 5*n - 10*n + 25 for d.
5
Let l = -843 - -848. Solve -l*c - 2*b = -0*b - 35, -5*c + 5 = -4*b for c.
5
Suppose -575 = -26*h + 23. Solve 7*t - 4*t = 4*m - h, 2*m - 11 = t for m.
5
Suppose -2*d + 3*d = 5*o - 34, 4*d + 4*o = -88. Let k = d + 26. Solve -4*s + 2*u - 6 = -k*s, 5*u - 35 = -5*s for s.
2
Let g(v) = -v**3 + 29*v**2 - 14*v + 414. Let j be g(29). Solve -4*w + a = 4*a + 7, w + 4*a - j = 0 for w.
-4
Let a(f) = -f**2 - f + 9. Let m be a(-3). Suppose 38 = 4*o - b, b + 26 = 3*o - b. Suppose -m*u - 2*u = -o. Solve -4*y + 2 = -3*c, -5*c + 3*y = -u*y + 5 for c.
-2
Let l(t) = -t**3 - 12*t**2 - 18*t + 23. Let j be l(-10). Let g be (-9)/6*8/(-2). Suppose g*u - 3*u = 12. Solve 0 = -u*h - 2*w + 22, -w + j*w = 2*h - 8 for h.
5
Let h be (-16)/(8 + -4) + (-12)/(-2). Solve -h*n - j = 3, 4*n = n - 3*j - 6 for n.
-1
Suppose 4*f + 9 = -27. Let y be (-12)/f*2/(8/6). Solve -n + t = 0, 2*n = 4*n + y*t - 16 for n.
4
Suppose -r + 27 = -0*r. Let q = 29 - r. Solve 3*u + u + o = 19, 0 = q*u + 5*o - 23 for u.
4
Let n be -6 - (0 + (-6)/3). Let r = n - -7. Suppose 0 = 6*j - r*j - 30. Solve 3*g - 5*a + j*a = -12, -g + a + 4 = 0 for g.
1
Suppose 14*x = 80 - 38. Solve -x*a + 6 = 4*q, 3*q + 3 = 12 for a.
-2
Let d(m) = -2*m**2 + 19*m + 8. Let n be d(10). Let u be (n/7)/((-1)/35). Suppose -6*b + 30 = -0*b. Solve b*f = -5*y + u, 3*y = f + 2 - 0 for y.
1
Suppose -a + 5*p = -4*a + 22, 0 = a + 4*p - 12. Let d be a/8*8 + 0. Solve -4*v + 6 = -3*n, 3*n + d*v = -n + 20 for n.
2
Let h(r) = 2*r + 59. Suppose 0 = -2*k - 0*k - 56. Let g be h(k). Solve 3*z - z = 5*f + 20, -g*z = -5*f - 20 for z.
0
Suppose 4*c - 32 = -3*z - 0, 4*c - 40 = -5*z. Solve 3*y - c*l - 8 = 0, -2*y + l + 4 = 1 for y.
1
Let t = -615 + 620. Solve 4*f = -3*q + t*f - 2, 0 = 3*q + f - 2 for q.
0
Let x = 118 + -63. Suppose 11*g + x - 176 = 0. Solve -6*i + 11*i = -25, 0 = p - 2*i - g for p.
1
Let t(g) = 16*g - 24. Let i be t(5). Let k = i + -52. Solve -k = 2*o + c, 2*o + 5*c - 6 = 6 for o.
-4
Suppose -3*w + 27 = -5*p, -w + 6*p = 2*p - 16. Let s = 8 - w. Suppose -s*t + 9 = -t. Solve 0 = -t*m - 0*h + 5*h, 11 = 4*m - 3*h for m.
5
Let i = -6 - -10. Suppose -7 - 3 = -2*g. Suppose -5*n - 3*p = 18, -n + 78 = -3*p + 60. Solve 22 = c + g*f, n*c - i*f = 2*c - 14 for c.
-3
Suppose -2*y - t = -30, 0 = t - 5*t + 8. Let i = y + -14. Solve -u + 6 = -5*p + 3, 3*p + 3 = i for u.
-2
Let q(y) = -8*y - 243. Let a be q(-33). Solve 9*m + a = 4*m - k, 4*m + 18 = -2*k for m.
-4
Suppose 5*r + 1 = 9*u - 5*u, -3*u + r + 9 = 0. Solve -4*q + 3*l - u*l - 1 = 0, 5*l = q + 16 for q.
-1
Suppose 5*z - 12 = 3*q + 8, -3*z + 6*q = -12. Solve 1 + 7 = 5*s + z*l, 4 = 2*l for s.
0
Let w = -6 + -7. Let j = 15 + w. Solve 3*r = -0*r - a + 16, 8 = j*a for r.
4
Let h be (-27)/54 + (6/(-4) - -2). Solve 26 = 5*u + o + 5, h = -4*u + 2*o + 28 for u.
5
Suppose -20 = i + 1. Let p(b) = -8*b + 34. Let x be p(5). Let w be (4/7)/(x/i). Solve -2*o = 8, w*f + 12 = -o - 4*o for f.
4
Suppose -2*n + 64 = 14*n. Solve 0 = b - 0*y + y + 4, -5*b = n*y + 21 for b.
-5
Let y be (-3)/2*2/3. Let a(q) = q**2 + q - 1. Let d be a(-2). Let w be y*d/(-2)*10. Solve g + w*x = -5, -x = -3*g + x + 2 for g.
0
Let a(g) = -8*g**2 - 67*g - 9. Let v be a(-8). Solve 0 = -2*m + 5*s - 5, -2*s = -2*m - 7*s - v for m.
-5
Suppose -x - 4*v + 16 = -6, 3*x - 5*v = -2. Suppose 0 = -8*g + x + 26. Solve -2*q = 6*y - y, g*y = 5*q for y.
0
Suppose 0 = 6*m - 12*m + 12. Solve m*b - 5*z = 35, 0*z = -3*b - z + 10 for b.
5
Let x(o) = o**3 + 8*o**2 + 10*o + 2. Let z be x(-6). Suppose -z*k + 11*k = -15. Solve 3*f - 14 = -4*t, -k*f = -5*t - 0*f for t.
2
Suppose 4 = -2*c + 19*t - 23*t, -2*c - 5 = 5*t. Solve 4*j + 2*x + 2 = -c, 5*j - 3*x = 25 for j.
2
Let k = -41 - -46. Suppose -5*g = -5*p + 10, 0 = k*g - 2*p - 1 - 1. Solve 5 + 11 = -g*h + 5*a, 3*h + a - 10 = 0 for h.
2
Let l = -28 + 36. Suppose 0 = -3*d + 6*d - 4*n - 23, -n = 2*d - l. Solve u = 4*p + 7, d*u = -2*p - 33 + 2 for u.
-5
Suppose -7*u = -5*u + 4. Let z be (-2)/(-3)*(-3)/u - -1. Solve -3*f = 5*l - 11, -f + z*l - 2 = -2*l for f.
2
Let z be 42/112 - 63/(-24). Solve -10 = o - 3*a, -2*o + 5 = -z*o + 2*a for o.
5
Let s(v) = v - 39. Let j be s(42). Solve -j*u - f = 15, -f + 10 = -2*u - 4*f for u.
-5
Let o be (-110)/(-4) - (-13)/26. Solve 3*r - 3*g = 7*r + 4, -5*g - o = -4*r for r.
2
Let r(l) = -l**2 + 6*l + 23. Let h be r(9). Let p(m) = -m**2 - 7*m - 8. Let x be p(h). Solve 3*y = 2*y + 5, -3*k + x*y - 23 = 0 for k.
-1
Suppose 37*p - 20*p = 255. Solve 6*n - 5*d = 8*n + 11, 3*n - p = 3*d for n.
2
Let s = 369 - 363. Solve -m = 6*k - 2*k + 6, 2*k + 5*m - s = 0 for k.
-2
Suppose 295 = 3*l + 4. Let p = l + -81. Solve 0 = 4*g - 4*t - p, -4*t - 15 = 1 for g.
0
Let v(t) = t - 8. Let x be v(8). Solve 3*l - 6 - 13 = -2*z, x = z + 5*l - 20 for z.
5
Let d(i) = -i**2 + 7*i - 7. Suppose -6 = -s - s. Let b be d(s). Solve -b*w = 4*q - 4, q + 1 - 2 = 3*w for q.
1
Suppose -m + 3*m - 24 = 0. Let b = 84 - 81. Solve -5*z - 3*h = -b*z + m, h = z - 4 for z.
0
Suppose 4*r = -2*o + 12 + 24, 0 = -3*o + 12. Solve -y = 3*j - r, 4*j = 3*y - 12 + 4 for j.
1
Suppose -5*w = -4*d - 20, d = -4*w - 2*d - 15. Suppose -4*b + 12 = w, 2*b = -2*h + 7*b - 11. Solve -2*o - 3 + 22 = 3*k, h*o = -k + 9 for o.
2
Suppose 18*f - 13*f + 2 = -i, -5*i - 10 = -3*f. Solve 3*h - 2*d + 0*d - 7 = f, -4*d = 20 for h.
-1
Suppose 2*b = -3*b - 10. Let o be b/(-4) - (696/(-16))/3. Let h(z) = z + 8. Let y be h(-8). Solve y = -j - 2*m - 0*m + 5, -4*j - 3*m = -o for j.
3
Suppose -m - 5*r + 0 = -3, -3*r = m - 3. Let g be (-1 - m)*(-8)/8. Let y be 10/3 + 2/(-6). Solve -3*a = -15, 0*a = -y*u + a + g for u.
3
Let h(n) = n + 8. Let p be h(-7). Let l(w) = 7*w**3 + 2*w**2 - 2*w + 1. Let d be l(p). Solve -18 = -2*o - 7*v + 3*v, -4*o - d = -3*v for o.
1
Let z be 3*3/12 - (-21)/(-28). Solve 2*p = 4*m - 4, z*p = p - 5*m + 11 for p.
4
Let m(b) = -b + 4. Let r be m(10). Let z(u) = u + 8. Let j be z(r). Solve 13 = -j*a - i, 3*a + 5*i + 1 + 29 = 0 for a.
-5
Suppose 0 = 3*z + 3 - 15. Let m = 7 - 6. Let d = 3 - m. Solve d*j + 20 = 5*n + 3*j, z = n + 3*j for n.
4
Suppose 2*g = 5*g. Let x(z) = -2*z**2 - 5*z + 2. Let p be x(3). Let n = p - -35. Solve -l = i + n*l - 2, 3*l = g for i.
2
Let j = -173 - -175. Let d = -13 + 25. Let h be d/8 + (-2)/(-4). Solve -y = -5*b + 21, -j*b - h*y + 0*y = -6 for b.
4
Let g = 843 + -843. Solve 16*p - 12*p = 16, -2*h + 4*p - 10 = g for h.
3
Let u = -59 - -162. Let c = u - 100. Solve 0 = -x - x + 2*d - 4, c = -3*d for x.
-3
Let n be (-2)/3 - 2/(-3). Suppose 0 = -2*k - 2*c + 28, -4*k = -5*c - 21 - 17. Solve 4*l - 35 = -l + 5*v, 2*l - v - k = n for l.
5
Let g be (-1956)/14 - 2/7. Let n = g + 168. Solve 4*l - 3*k - n = k, -2*k = -5*l + 29 for l.
5
Let t(u) = -37*u - 217. Let x be t(-6). Solve o + 3*p = 2*o + 3, -5*p = -5*o + x for o.
3
Suppose 2*v = 8*r - 12*r + 12, -2*r - 2*v + 4 = 0. Solve o = 5*m - 15, -o - 4*o - r*m - 17 = 0 for o.
-5
Suppose 2*y - 2*x = -2, y - 4*x + 4 = -2*x. Solve -2*t - 4 = -2*v - 0*t, -4*v - y*t = 16 for v.
-2
Suppose 1 = -2*v + 15. Suppose 5 = 3*q - v. Suppose 0 = q*b - 5*b. Solve a = -z - 1, 4*a + b*a = 2*z - 10 for a.
-2
Let y = -7 + 27. Suppose -n - 3*n - 2*d = -y, 5*n + 3*d - 26 = 0. Solve -n*p + 3*p - 18 = -5*v, -4 = -v for p.
2
Let a be (-6)/4*104/(-78). Suppose 0 = -2*n - a*n. Solve -2*u + n*u = 2*d + 14, 25 = -3*u - 5*d for u.
-5
Let i = 8 - -4. Suppose -i = 7*y - 40. Suppose -3*t + 5*b + 63 = 0, -2*b = -t - 4*b + 21. Solve y*o + 5*u + 3 = 0, 4*o + 0*u = 3*u + t for o.
3
Let r be 28 - (-4 + (7 - 2)). Let q = r - 1. Let v = q - 25. Solve 5*x + 4*w - v = 0, 0*x + 2*w = 3*x - 5 for x.
1
Let a = 59 + -42. Suppose 5*g - 3*c - 17 = 0, 3*g + 3*c + a = -2*c. Let z = g + 4. Solve 7*x - z*s - 5 = 2*x, s + 4 = 0 for x.
-3
Let q(l) = l**3 + 6*l**2 - 9*l + 2. Let i be q(-7). Suppose -i - 26 = 3*x. Let j = x - -16. Solve 5*c - 25 = -j*k, 2*k - 3*c = 6*k - 29 for k.
5
Let z(o) = -10*o**3 + o**2 + 2*o + 1. Suppose 4*j = -3*k - 11 + 1, 4*j + 8 = -2*k. Let b be z(j). Solve 4*s = a + 2*s - 3, 5*s = -a + b for a.
5
Let x = 39 - 7. Suppose 8*m = -0*m + x. Solve 4*w - 13 + 2 = k, 0 = 5*w + m*k - 40 for w.
4
Suppose -70 - 270 = 4*i. Let t be (-1 - 12/(-5)) + 34/i. Solve 4*n = 5*s + t - 6, 