 4*x - f*y, x = -y - 0*y + 3 for x.
-2
Suppose 2*v - 6*v - 2*b = -8, 4*b = -3*v + 16. Let l(c) = -c**3 - 4*c**2 - 4*c + 3. Let r be l(-4). Solve 2*w + 0*f - 11 = -f, v = -3*w - 4*f + r for w.
5
Let b be ((-15)/(-12))/5*28. Let r = 9 - b. Solve -16 = u + r*u + 5*v, 4*u + 3*v = -14 for u.
-2
Let j = -3 - -8. Solve 16 = -o - j*a - 0*a, a = 3*o for o.
-1
Let j(l) = l**3 + 8*l**2 - l - 11. Let u be j(-8). Let n = 0 - u. Solve 2*p + 8*i = 5*i - 7, -n*p = -i - 17 for p.
4
Let a = -65 - -41. Let i = 46 + a. Solve -2*g - g + 2 = -m, 3*m = -5*g + i for m.
4
Let j = -4 - -8. Let p be (8 - 4/j) + -4. Solve 5*n = p*r - 40, 5 = 2*r - 5 for n.
-5
Let a(m) = -2*m**3 + m**2 - 1. Let z be a(-1). Let w = -1 + 1. Suppose z*t = 2 - w. Solve 3*d + 5 = 5*x, -3*x + 0*x + d = t for x.
-2
Let q(v) = v**2 - v - 7. Let p(s) = 2*s**2 - 2*s - 14. Let h(l) = 4*p(l) - 7*q(l). Let j be h(6). Solve -5*f + 7 = -5*y - j, f - 15 = 4*y for y.
-3
Suppose -2*u = 5*i - 171, i + 4*u - 38 = -11. Let b = -20 + 71. Let d = b - i. Solve k - d = -5*y, 0*y = -y - k for y.
4
Suppose c - 6*c = 0. Suppose 4*v + 0 - 8 = c. Suppose -2*k + k = -v*g + 7, 2*k + 2 = g. Solve 15 = 5*f + g*y - 3*y, -3 = 3*f + 3*y for f.
4
Suppose 0 = -3*w - 0*w + 18. Solve 0 = 3*l - w, 6*o + 2 = 2*o + 3*l for o.
1
Suppose -7*h + 3*h = 0. Solve h*l - 18 = 2*q - 5*l, q + l - 5 = 0 for q.
1
Suppose 2 + 6 = 4*q. Suppose 0 = -2*w + q + 4. Solve 4*z = -5*t + 19, 0 = 2*t - w*z - 0 - 3 for t.
3
Let y(j) = j - 1. Let g be y(5). Let w be (4 - 1)*1 + g. Suppose 0 = -4*t + 1 + w. Solve k - 2*q - 4 = -3, -3*q = -t*k + 1 for k.
-1
Let h(x) = x**3 + 4*x + 1. Suppose -8 = -g + 5*r, 2*g - 1 = -4*r - r. Let b be h(g). Suppose 0*u + b = 4*u. Solve j = -2*t + 2 - u, -4*t = -j + 10 for j.
-2
Let k = 132 - 128. Solve 4*x - o = -16, -k*x - 8 - 8 = -2*o for x.
-4
Let y = -4 - -4. Suppose -3*m = -3*k - y*k - 72, 0 = m - 5*k - 44. Solve 0*l - 4*f - m = -3*l, 0 = 3*l + 2*f + 5 for l.
1
Let x = 28 - 28. Solve m - i = x, 5*i = 3*m - 6*m + 24 for m.
3
Suppose 5*p + 11 = 26. Solve 2*x + 5 = p*j, -5*j = 2*x - x + 9 for x.
-4
Let a = -2 + 4. Let z = -12 + 23. Suppose 0 = -6*w + z*w - 10. Solve -a*o + 4*l = 3*l, 0 = w*o + l - 4 for o.
1
Let c be ((-2)/4)/(2/4). Let x be 15 + c*(1 - 0). Solve x = 2*j + 5*p, -4*j - p = 3 - 13 for j.
2
Suppose 20 - 4 = 4*j. Solve -j*n = -p + 9, 5*n - 3*n + 9 = -p for p.
-3
Suppose -4*v = 3*g + 7, -5*g - 3*v + 0 + 3 = 0. Let x = 94 + -19. Let s = x + -45. Solve -i = g*w + 5 + 1, 5*i - s = 5*w for i.
3
Let n be (-3 + 2)*(-8)/4. Solve 0 = l - 3*z + 6, 3*z = -n*l + 2 + 4 for l.
0
Suppose -4*n - 7 = 3*l, -l - n + 0 - 1 = 0. Let w be -3*(l + -2) + 7. Solve 0 = w*b + t + 1, 0 = -t - 0 + 3 for b.
-1
Suppose 4*l - 25 = 5*y + 12, -3*l = y - 4. Solve -5*j - 4*k + 5*k = 21, -5*k - 7 = l*j for j.
-4
Let h be (2/3)/(1/12). Let f be (-1)/4 + 18/h. Let a be (8/f)/(4/2). Solve -2*t + a - 30 = -5*l, -3*t = 2*l + 4 for t.
-4
Let i be 16/6 + 6*2/36. Solve -3*f + 4 = z, 4*z + i = -4*f + z for f.
3
Let a = 146 - 143. Solve -3*t + 2*p + 3 = 0, 0 = -0*t + 4*t - a*p - 4 for t.
1
Let i be (-36)/(-16) + 1/(-4). Suppose -2*k - 3*m = 2*k - 28, 0 = 3*k - m - 8. Solve -5*n = -2*w - 9 - i, 0 = -5*n - k*w - 7 for n.
1
Let j = -2 - 1. Let o = 19 + -18. Let f = o - j. Solve -2*k + 4 = -2*q, -3*k = -8*k + 3*q + f for k.
-1
Suppose 0*j = j - 5. Let y = 89 - 53. Suppose 2 = -a, -5*b + a = 3*a - y. Solve 3*r - q = -j, -28 + b = -5*r - 4*q for r.
0
Suppose 4*u - 25 = 7. Let v be 8/12*3*1. Suppose 5*i = 2*f - 17 - 6, 0 = -v*i - 6. Solve 9 = 3*l + 4*x - 1, -f*x = 2*l - u for l.
2
Suppose g - 8 = -3*j, -2*j + 28 = 5*g + 1. Solve t - g*a + 5 = 0, -3*a + 5 = -5*t + 2*a for t.
0
Let g(p) = -p**3 + 9*p**2 + 11*p + 11. Let o be g(10). Solve -4*x + 3*m = o, -3*x + m = 13 - 1 for x.
-3
Let i be 1/((-9)/6)*-3. Suppose 0 = i*p - 27 + 5. Let h = p - 6. Solve 2*a - 4*x - 9 + 1 = 0, h*a + 3*x = -6 for a.
0
Let z = 3 + -2. Let l be 5*6/(1 + z). Suppose 2*i = -3*i + 25. Solve 5*m - l = 4*r, -i*m = r + 14 - 4 for m.
-1
Let t be -1*2 - (-8)/4. Suppose 5*k - 5 = 2*q, q + 3*q + 2*k - 2 = t. Solve -i + q*i = 4*h - 5, -5*h - 3*i + 8 = 0 for h.
1
Let g = -6 - -4. Let k be (4 - g) + 4 + -5. Solve -j = 4*b + 1 - 0, 0 = -5*b - k for j.
3
Let c = 20 + -11. Suppose -p + 4*p = c. Solve m - 7 = -5*i, 10 = m - p*m + 2*i for m.
-3
Let l(q) = q + 2. Let c be l(7). Suppose -4*v - 30 = -c*v. Solve -v*o + 9 = -2*o - 5*j, -30 = 5*o + 2*j for o.
-4
Suppose 2*r - 5*b = -2*r + 79, -5*r + b = -83. Solve c = 2*t - 4, 2*t + c - r = -t for t.
4
Let p(j) = 4*j + 2. Let o be p(4). Let n be 2/4 + o/4. Suppose 4*m - 5*m = -n. Solve -2*k - w = 2*w - m, 0 = 2*w - 10 for k.
-5
Let c = -15 + 11. Let w be ((-2)/(-4))/((-2)/c). Let q(s) = -8*s - 20. Let r be q(-3). Solve 0*l - w = z + l, -4*z - r = -l for z.
-1
Let j(h) = 5*h + 20. Let m(q) = 2*q + 10. Let p(d) = -3*j(d) + 7*m(d). Let x be p(8). Solve z - 6*z + 2*r + 8 = 0, z + 8 = -x*r for z.
0
Suppose 0 = w - 2*z - 29, 0*w + 4*z - 140 = -4*w. Let n = w + -22. Solve 1 = 3*j + 5*q, -4*j = -9*j - 2*q - n for j.
-3
Let k be (0 - -2)*(5 - 0). Let m(t) = t**2 - 10*t + 4. Let l be m(k). Solve -l*a = -6*z + 3*z + 16, 3*a + 12 = 0 for z.
0
Let x be (40/(-6))/(2/(-6)). Solve 0 = 4*q - 20, 5*u + q + 0*q - x = 0 for u.
3
Let v(k) = k - 7. Let n be v(7). Suppose 3*t - t = n. Solve 2*h - 5 = 3*j + 1, 4*j - h + 3 = t for j.
0
Let n(v) = 4*v - 33. Let z be n(12). Solve 10 = 2*m - 3*a, m - 4*m - 3*a = -z for m.
5
Let l = 41 - 25. Solve -2*c + 2*k = -8, 5*c + 5*k - l = c for c.
4
Let m = 942 - 607. Suppose 5*p = m - 115. Solve 5*c = -5*n, 4*n = 4*c + 12 - p for n.
-4
Suppose 3*c - 2*o = c - 26, -5*o + 15 = 0. Let b = 1 + 1. Let d be b/4 + (-45)/c. Solve -d = 4*r - 0*p - p, -4*p + 6 = -2*r for r.
-1
Let r = 7 - 5. Solve r*b = l + 6, -5*b - 4*l = 4 - 6 for b.
2
Suppose -4*r + 2*r = -4*y - 6, 0 = -r - 3*y + 28. Solve -s = -2*x - r, x + 5 + 4 = s for x.
-4
Let y = -3 + 6. Let x(r) = r**3 + 7*r**2 + 4*r + 5. Let k be -12 - -6 - (0 - 0). Let g be x(k). Solve 4*v + 24 = -4*b, y*v = -4*b + 2*b - g for b.
-1
Let w = -12 - -35. Suppose -w = 2*i - 63. Solve -3*c + i = 3*u - 7*u, 0 = -5*u + c - 25 for u.
-5
Suppose -5*p - 90 = -23*p. Solve 0 = -p*c + 4*v - 8, c - 2*v + 4 = 5*c for c.
0
Let g = -36 + 49. Solve -n = 5*z + 11, -5*z = -n - 2*z + g for n.
4
Let y(p) = -2*p. Suppose 0 = 3*r, -s + 3*r - 5 + 3 = 0. Let k be y(s). Solve 20 = -3*w + 4*g, 4*w = 2*w - 2*g - k for w.
-4
Suppose -6*u + 9 = -3*u. Solve u*g - 5 = 5*c, -6*c + 2*c = -4*g + 12 for g.
5
Let p(k) = 4*k - k**2 + 0*k**2 + 3*k + 1. Let q = -22 - -29. Let c be p(q). Solve -2*i - c = 4*s - 7*s, -3*i + 3 = 0 for s.
1
Let i be 1 + -6 + 2 + 0. Let k = 32 - i. Solve 0 = -4*m - 5*c - k, 0*c = -3*m + 5*c for m.
-5
Let d = -23 - -38. Suppose -3*j + d = -0*j. Solve 5*m + 6 = -x + j, -2*x = -2*m + 2 for x.
-1
Let v = -4 + 1. Let i be (1/v)/(3/(-18)). Let u be (-20)/4*i/(-2). Solve -u*l = -5*x - 35, 1 - 9 = 4*l + 5*x for l.
3
Suppose 4*a + 22 = 2*t, -3*a + 18 - 52 = -5*t. Solve 5*f + 25 = t*i, 3*f - 2*i + 15 - 3 = 0 for f.
-2
Let q be (-6)/2 - 1 - -9. Solve 0 = 5*p + k + 30, p + 3*k + q = 3*p for p.
-5
Suppose 0 = -3*v - 6, o + v - 7 = -3. Suppose 3*a - 3*f - 15 = 0, -5 = 2*a + o*f - 3*f. Solve 0 = a*l + 5*m + 7, -2*m = 2*l + 2 + 2 for l.
-1
Let q = 12 + -20. Let h be q/3*6/(-4). Let m be (10 + -14)/(-1 + -1). Solve h*f - m*k + 5 = -7, 2*f - 6 = -5*k for f.
-2
Suppose 6*x - x = 0. Solve -4*o = 4*w + 2 + 10, 5*w - 2*o + 29 = x for w.
-5
Let v be (1/(-6) - 43/(-6))*4. Solve -u + 2*u - 4*b = -12, 0 = 4*u + 3*b - v for u.
4
Suppose 0 = -6*v + 24 + 96. Solve -v = -5*d, 11 = 3*j - 2*d + d for j.
5
Let z be 0*((1 - 1) + 1). Let g(r) = r**2 + r - 14. Let t be g(z). Let h be (t/4)/(4/(-8)). Solve -h = 7*w - 6*w + 2*x, -4*w - 2*x - 4 = 0 for w.
1
Let l(w) = -w**2 + 9*w + 4. Suppose 4*m - 16 = 2*m. Let h be l(m). Solve s + 16 = 3*t, -s = 2*t - 3*s - h for t.
5
Let s = -20 + 24. Solve 4*z + 4 + 8 = -2*h, -4*z - s*h = 8 for z.
-4
Let m = -90 - -92. Solve -5*b + 25 = 0, 7*s - 3*s = m*b - 10 for s.
0
Let t be (-1)/(-3) - 40/(-15). Solve -5*o + 2*p + 25 = 0, -p - 14 = -4*o + t for o.
3
Suppose 3*k = 4*k - 3. Suppose i - 3 = -0. Solve r - f - 1 = -r, -i*f = r + k for r.
0
Let t = 66 + -62. Solve t*u + 4*o + 28 = 0, -4*o = -u + 4*u + 25 for u.
-3
Let d(m) 