-7 for z.
-4
Let l = 1008 - 1005. Solve l*f + 35 = 47 for f.
4
Let t(y) = -y**2 - y - 25. Let v be t(0). Let a = v + 25. Let l be a/(0 + -3 - 0). Solve l = 2*b + 2*b + 4 for b.
-1
Let k be -1 + (3 - 1 - -3). Let w = -41 - -46. Suppose -w = -b, 22 = 3*x + 3*b - b. Solve x = -k*f + 2*f for f.
-2
Let q = 3 + -2. Suppose 0 = -4*u + 16, 2*k + 58 = 4*u + 44. Solve i + q = -k for i.
-2
Let m = 248 + -228. Solve -r - 3*r = -m for r.
5
Let j(t) = -t - 6. Let z be j(-14). Suppose -4*f = -2*s - z, 2*f + 5*s - 20 = 2*s. Solve -f + 0 = -v for v.
4
Let p(s) = -s - 1. Let h be p(-7). Suppose -4 - 2 = -3*u + 2*k, 0 = 4*u - 2*k - h. Suppose -2*a + u*y = y - 7, a - 4*y + 10 = 0. Solve -a*j = j - 9 for j.
3
Let v = 26 + -24. Suppose 3*w - 6 = 5*t, -2*t + w = v*t + 2. Solve -u + 6*u - 5 = t for u.
1
Suppose d = 2*u + 5*d - 36, -46 = -3*u - 4*d. Let m = -13 + 25. Suppose -10*s + 6*s = -m. Solve -u = -s*t - 4 for t.
2
Let v be 3 + -1 - (0 - -1). Suppose -2*g + 19 = -v. Let x = 71 - 66. Solve x = 5*y - g for y.
3
Let x(f) = -5 + 5 + 2*f + f. Let i be x(1). Suppose 5*b - b = -5*w + 24, -4*w - i*b = -19. Solve -w = -2*o + 3*o for o.
-4
Let r = -2043 + 2071. Solve 6*h + r = -8*h for h.
-2
Suppose -17 = -2*m - 81*y + 84*y, -5*m + 3*y = -38. Solve -2*r = -9*r - m for r.
-1
Suppose 0*p + 15 = -p. Let z be (-62)/(-3) - (-10)/p. Solve 0*l = 4*l + z for l.
-5
Let d = -1147 + 1149. Solve -8*s = -d*s + 30 for s.
-5
Suppose -2*a - 6 = b, 3*a + 3*b + 5 = -1. Let d be a*2*12/(-32). Suppose -5*v + 2*g = 4*g - 12, 2*v + 4 = -d*g. Solve -i = v*i for i.
0
Let r(o) = 4*o + 6. Let k be r(4). Suppose v + 4*p = 16, 0 = 3*v + p - 2*p - k. Suppose 1 + v = 3*f. Solve f*s = s for s.
0
Let x be (1/(-2) - -1) + 4110/548. Solve x = -37*l + 35*l for l.
-4
Let s(b) = -7 - 3 - 11*b - 5 + 4. Let w be s(-1). Solve -u - u = w for u.
0
Let t(o) = o + 13. Let d be t(-8). Suppose -u = 3*u - 2*r - 8, 0 = d*r - 10. Suppose -2*l + 6 = n, 1 = -3*l + u*n + 19. Solve 2*x = 4*x - l for x.
2
Let t(g) = -g**2 - 18*g - 47. Let x be t(-9). Suppose -36 + x = -d. Let k = 6 - 3. Solve d + k = z for z.
5
Suppose 6*s - 3*s = 0. Solve s = 5*r - 27 + 2 for r.
5
Let k(z) = -7 - z**3 + 0*z**2 - 3*z + 10 - 5*z**2. Let m be k(-5). Suppose 8*a + m = 11*a. Solve 0 = a*t - t + 25 for t.
-5
Let n(y) = y**3 + 6*y**2 + 4. Let j(u) = u**3 + 10*u**2 - 10*u + 10. Let f be j(-11). Let o be f/6*3*12. Let d be n(o). Solve t - d = 5*t for t.
-1
Suppose 0 = -199*f + 187*f + 636. Solve 7*i - 32 + f = 0 for i.
-3
Let n = 493 - 489. Solve 4 = -n*t - 0 for t.
-1
Let r(z) = z**2 - 9*z - 159. Let t be r(18). Solve v = -t*v - 4 for v.
-1
Let c(b) = b**3 - 4*b**2 - 16*b. Let i be c(7). Let o = i - 32. Solve -o*f = -6*f - 6 for f.
-2
Let j = 17 + -19. Let x be 0/(-2 + -3 - j). Suppose -4*w + 2*v + 2 = x, 3*w + w + 4 = -4*v. Solve m + 1 + 1 = w for m.
-2
Let i = 2128 - 2065. Solve 6*u - i = -87 for u.
-4
Let i(a) = a**3 + 3*a**2 - a + 3. Let k be i(-3). Solve -8*r + 22 - k = 0 for r.
2
Let b(r) = -r**3 - 6*r**2 - r - 2. Suppose 12*a - 12 = 14*a. Let v be b(a). Solve -v*o + 13 = 5 for o.
2
Let a = 2 + 2. Suppose -a*l + 10 + 90 = 0. Suppose -5*c + 0*c = y - l, 0 = 3*y + c - 5. Solve y*w + 15 = -5*w for w.
-3
Suppose -3*d + 2*d - 14 = 0. Let i be ((-16)/(-14))/((-4)/d). Solve -p - p = i for p.
-2
Let z be (-12)/1 + 10/(-5). Let n = -14 - z. Suppose 5*y = -3*c + y - 8, 2*c - 2*y = 18. Solve -2*g + n = c for g.
-2
Suppose -14*k - 1 = -29. Suppose 0 = -k*t, -3*t - t + 10 = 2*u. Solve a + 2 - u = 0 for a.
3
Let z = 87 - 77. Let p(d) = d**2 - 9*d - 7. Let m be p(z). Solve 0 = -2*x - m - 3 for x.
-3
Let t = 1 - -1. Let p = 29 - 35. Let k be ((-4)/p)/(10/45). Solve -n = -t - k for n.
5
Let j be 15*((-15)/(-25))/((-18)/(-20)). Suppose -5*c + 0*c = -2*g - j, 2*g + 10 = -2*c. Solve -2*n - 3*n + 20 = c for n.
4
Suppose -3*o = -0*o - 36. Suppose 4*s + 0 - o = 0. Suppose -2*h + 3 = -s. Solve -6*b = -h*b for b.
0
Suppose 9*j - 6*j - 537 = 0. Solve j - 164 = -3*x for x.
-5
Let u(h) = -274*h + 280*h - 6 - 5 - 5. Let c be u(4). Solve z = 3*z - c for z.
4
Suppose 2*z + 19 = 5*m, z = 3*m + 6*z + 1. Solve -6 - m = 3*p for p.
-3
Suppose -5*t - 2*h + 31 = 0, 4*t + 2*h - 3*h = 17. Let f(m) = -m**3 + 15*m**2 + 14*m + 22. Let u be f(16). Let b be (0 - 0)*(u + 9). Solve b*c = -c - t for c.
-5
Suppose 60 = 15*f - 0. Solve f*c = -c - 20 for c.
-4
Suppose -3*d - p + 17 = 0, -3*d = -4*p - 0*p - 22. Let v(u) = u + 15. Let g = -37 + 31. Let r be v(g). Solve -d = -3*x + r for x.
5
Suppose 29 = 4*a + 13, a = 5*r - 6. Suppose -4*o - 8 = -8*o. Solve -o*h = -h + r for h.
-2
Let u = -254 + 256. Solve n - u = 1 for n.
3
Let j = -19 + 24. Suppose -2*f + 126 = j*f. Solve 5*n - 2 = f for n.
4
Suppose 89 = -3*j + 2. Let w = 30 + j. Let n = 2 + w. Solve 3 = -3*h - n for h.
-2
Let q be (-55)/(-65) + (-4)/(-26). Solve q + 11 = 4*k for k.
3
Let m(q) = -49*q + 214. Let b be m(4). Solve 0 = 22*f - b*f + 12 for f.
-3
Let l(s) = -s**2 + 7*s - 7. Let r be l(6). Let p be (r/2)/(8/(-96)). Suppose p = -2*k + 5*k. Solve k*i = -3*i for i.
0
Let l = 2 - 2. Suppose -3*f + 5 = o - 6, l = -2*o - 4*f + 16. Suppose -o*q + 5*z = -1, q - z - 5 = -q. Solve 0 = -2*g + 5*g - q for g.
1
Suppose -3*o - 3*r = o, 3*r = 0. Let z = -4 - -14. Suppose -4*d - z = 4*c + 2, c + 23 = -5*d. Solve o*y + c*y = 10 for y.
5
Let u be -46*-1*(-4)/(-8). Let r = 40 - u. Suppose 5*h = 4*g + 22, -h + 2*g + 3*g + r = 0. Solve h*a = -3*a - 25 for a.
-5
Suppose -6 = -4*d - 0*a - 2*a, 5*d + 3*a - 7 = 0. Suppose -11*c = -d*c. Solve c = -3*s - s for s.
0
Suppose -3*a - 6*a = 441. Let v = 53 + a. Solve 3*f = 2 + v for f.
2
Let k(m) = -m**2 - 10*m - 2. Let y be k(-8). Let b be (-3)/(36/y - 3). Solve -b = -2*z - 3 for z.
2
Suppose 3*k - 16 - 11 = 0. Suppose 18*v = 21*v - k. Solve -9 = -v*d + 3 for d.
4
Let a be -2*(15/(-6))/(-5). Let p = 1 - a. Let o(i) = i**3 + 9*i**2 + 20*i + 3. Let n be o(-5). Solve -h + p - n = 0 for h.
-1
Let g be (-27*(-6)/63)/(2/14). Solve -g*i = -13*i for i.
0
Suppose 2*t - 15 = o, 4*t = 5*o - 6*o + 21. Solve t - 1 = p for p.
5
Let v = -1 + 4. Let h(j) = -16*j + 69. Let f be h(4). Solve f*g - 18 = -v for g.
3
Let u = -16 + 31. Let y = -1 + u. Solve 2 = 3*f + y for f.
-4
Let k(y) = -y**3 + 4*y**2 + 18*y - 31. Let o be k(6). Solve l + l - o*l = 0 for l.
0
Let b be (-2)/((-6)/13) - (-9)/(-27). Suppose 0 = 2*q - 2 + 10, -5*t - 6 = b*q. Solve -2*i = 2 + t for i.
-2
Suppose 0 = h - 48 + 36. Solve 0 = 3*i - 0*i + h for i.
-4
Suppose -3*n + 5 = -1, 5*b = 2*n + 156. Let x be (b/6)/(8*5/60). Solve -4 = x*s - 7*s for s.
-4
Suppose z + 7 = 5*r, 6*r - r + 3*z - 19 = 0. Suppose -r*w + w = -19. Suppose 3*s = 2*s + 2, 3*u = -5*s + w. Solve -u*k - 26 = -11 for k.
-5
Let a(t) = 17*t - 1157. Let p be a(69). Solve 10*w - p = 14*w for w.
-4
Let x(n) = 3*n + 30. Let q be x(-6). Let t be (2 + -1)/1 - -11. Let d = t - 4. Solve 4*s - d - q = 0 for s.
5
Suppose -3*g + 4*l + 8 = 58, 5*l - 80 = 5*g. Let b = g - -14. Solve -2*a + 0*a - 10 = b for a.
-5
Let z be 3*4/(-12)*-3. Suppose -2*h = z - 5. Suppose -4*i + 0 + 16 = 0. Solve -5 = i*b - h for b.
-1
Suppose -4*l - 2*m - 59 = -89, -40 = -5*l - 3*m. Solve -7*b - l = 23 for b.
-4
Let d(c) = -c**3 - 13*c**2 - 23*c - 6. Let y be d(-11). Suppose -2*q = -4*q - 4, 2*q - 11 = -y*l. Solve -2*j = l*j - 10 for j.
2
Suppose 2*i = 5*h - 2*i - 85, -3*h = -2*i - 51. Let a = 21 - h. Solve -2*d + a = 2*d for d.
1
Let l(f) = 2*f + 1. Let a be l(1). Suppose 2 = 2*d - 4, a = -4*i + 5*d. Let z be 55/33*(-6)/(-5). Solve z*w + 5 = -i for w.
-4
Let k(v) = 3*v**2 + 6*v - 96. Let i be k(5). Solve 15*a + i = 24*a for a.
1
Let q be (-278)/(-6) + 24/(-72). Solve -41*u + q*u = -15 for u.
-3
Let r be 205/(-60)*-4 + (-4)/6. Let p = r + 1. Solve 5*x - p + 4 = 0 for x.
2
Suppose -g = -6*g + 35*g. Solve -5*s - 57 + 42 = g for s.
-3
Suppose 4*q - 14 + 3 = -3*h, -4*h + q + 21 = 0. Solve -h*r = -6*r + 4 for r.
4
Let o be ((-2 - -1) + 12 - 3) + -4. Suppose z + 17 = o*n, -2*n - 3*z + 3 + 16 = 0. Solve -n*q = -3*q for q.
0
Let o = -294 + 297. Solve -o*m + 0*m = -6 for m.
2
Let l(f) = 3*f**3 + 5*f**2 + 7*f - 4. Let k(o) = 5*o**3 + 9*o**2 + 13*o - 7. Let g(c) = 4*k(c) - 7*l(c). Let y be g(0). Solve 0 = 3*b - y*b - 6 for b.
2
Let y(z) = 6*z - 45. Let p be y(8). Solve -p*h = 3*h + 30 for h.
-5
Suppose 3*k = 3*c + 5*k - 2, 4*c + 2*k = 2. Solv