j = -4*w + 48. Solve 8 = -5*y - w for y.
-5
Let t(u) = -u**2 + 9*u - 8. Let n be t(8). Suppose -4*j + 3*j - 3*o = -8, n = 5*o - 5. Solve 0 = -j*l - 1 + 16 for l.
3
Let x = 74 - 42. Suppose 0 = -2*i + 6*i - x. Solve -2*t + 4*t = i for t.
4
Suppose 0 = 3*k, 3*k + 1 + 11 = 3*z. Solve 0 = -z*g - 8 for g.
-2
Let u(m) = -m**2 - 1. Let g(r) = r**3 - 9*r**2 - r - 1. Let q(z) = g(z) - 5*u(z). Let p be q(4). Let i be (0 - p)/((-8)/4). Solve -s - 3 - 2 = i for s.
-5
Let r = 3 - 2. Solve -2 = -3*m + r for m.
1
Suppose -d + 0*l - l - 4 = 0, -5*l - 20 = -3*d. Solve -c + 2 = -d for c.
2
Suppose 5*u - y = 105, 0 = 4*u - u - 4*y - 80. Let x = -1 - -5. Suppose f = -x*f + u. Solve 1 = 5*q - f for q.
1
Suppose 5*h - 7 = 3. Suppose d = -k + 7 - h, -2*d + 5*k = 4. Solve d*r - 5*r = 0 for r.
0
Let h be -6 + (2 - -1) + (5 - 1). Solve -j + h = -2*j for j.
-1
Let r = 36 - 36. Solve r = -3*q + 3 + 9 for q.
4
Let u(p) = p - 2. Let j be u(6). Suppose -2*t + 3*z = t - 6, 2*z = 6. Solve c - j = -t for c.
-1
Suppose 0 = -6*o + 57 + 51. Let d = 0 - 0. Solve d = -4*q + 2 - o for q.
-4
Let d(j) = -j**3 + 7*j**2 + 10*j - 11. Let q be d(8). Suppose q*b = b. Solve -k + 2 - 3 = b for k.
-1
Let l be (-9)/3*(-2 - -3). Let w be (10/(-15))/(2/l). Solve -q - 3 - w = 0 for q.
-4
Suppose -6*n = -2*n - 20. Let s be (3/2)/(2/4). Solve -n*b - s = -2*b for b.
-1
Let u be 120/(-45)*3/(-2). Solve 0*i + i = -u for i.
-4
Suppose l + o - 3 = 1, -2*o = -l + 1. Let w be l - 2*(2 + -3). Let b = 21 + -18. Solve 7 + w = b*d for d.
4
Suppose 0 = 3*y + y - 8. Suppose y*z = 3*s - 3 - 10, 5*s = 3*z + 22. Solve -z + 5 = -4*w for w.
-1
Suppose -u = -4*u + 15, 21 = -2*h + 5*u. Solve -h*w = 7 - 15 for w.
4
Suppose 0 = 5*d - 20, 0*m + 2*d = -5*m + 28. Let z(q) = -q + 6. Let w be z(m). Let c be (-3)/((-12)/3 - -3) + -1. Solve w*f + 0 = c for f.
1
Suppose 39 = 2*d + d. Suppose -2*a - a + 23 = 4*q, -3*a = -q - d. Suppose 12 = 3*p, q*z - 3*p = 2 - 12. Solve -4*w + 5*w = z for w.
1
Suppose -u + 3*u = -5*s - 25, 2*s - 2*u + 10 = 0. Let k = s - -10. Suppose j = k*j. Solve j = 2*g - 2 - 4 for g.
3
Suppose 4*v + 118 - 320 = -5*g, 0 = 3*v - 2*g - 163. Suppose -3*d + 5*b - 5 = -v, 5*b + 32 = 2*d. Let w be 8/d*20/2. Solve w = -2*c - 1 for c.
-3
Let n(y) = y**3 + 9*y**2 - 6*y + 8. Let v(z) = z**2 - z + 1. Let c(w) = -n(w) + 6*v(w). Let t be c(-4). Solve -4*j - t - 6 = 0 for j.
-5
Suppose 5*d + 3*a = 1, 7 = -d - 2*a + 3. Suppose -2*z = 5*v, -d*v + 16 = -3*z - 3. Solve 0 = -v*q - 0*q - 4 for q.
-2
Let d be 1*2 + 3 + -10. Let i(q) = q**3 + 5*q**2 - 2*q - 4. Let s be i(d). Let l(a) = a**2 + 2*a + 2. Let m be l(-4). Solve m = 4*y - s*y for y.
-5
Let k(i) = i - 6 + 3 + 4*i**2 + 0*i**2 + i**3. Let q be k(-3). Suppose -2*l + 7 = 3. Solve -q*s = l*s + 10 for s.
-2
Let i = 25 - 0. Let j = 15 - i. Let c be j/(-4)*(-64)/(-40). Solve c*r = -r for r.
0
Let s = 117 + -112. Solve 0 = s*n - 2*n - 6 for n.
2
Suppose -5*q + 2*t + 16 = 5*t, -4*q = 4*t - 16. Let p be -1 - (28/(-2) - q). Solve 0*g + p = -3*g for g.
-5
Let n = 34 + -24. Let p be 2/4 + 45/n. Solve -p*y = -0*y + 20 for y.
-4
Suppose 2*w + 0*w = 140. Suppose w = 2*k - 5*n, -3*n - 58 = -2*k - n. Let s(z) = z**2 - 22*z + 49. Let a be s(20). Solve -k = 4*q - a for q.
-4
Suppose -5*w + 73 + 2 = 0. Solve 4*p = -p - w for p.
-3
Let l(i) = i + 3. Suppose 3*y + 5*w = -1, 3*y - 1 - 10 = w. Suppose 4*h + 3*a = 15, -h - y*a = -2*h - 15. Let t be l(h). Solve t*d = 8 + 4 for d.
4
Suppose w + 0*w = -3. Let y be 1*(2 + w)*-1. Suppose -y + 0 = -t. Solve -t = 2*k + 9 for k.
-5
Let u = 7 + -2. Let m = u - 1. Solve 15 = -z + m*z for z.
5
Suppose 168 + 52 = 11*w. Solve -6*j + w = -2*j for j.
5
Suppose 3 = l + 3*j - 7, 3*l - j = 20. Solve -m + l = 6 for m.
1
Let n be (-8)/(-28) - 136/(-14). Let x = n + -10. Solve 0*d - d + 2 = x for d.
2
Suppose 0 = -0*c + 2*c - 4. Let i be (-2)/1 - -5 - -1. Let w(k) = -4*k - 18. Let h be w(-7). Solve c*n - h = i*n for n.
-5
Suppose 0 = 14*w - 13*w. Let j(d) = 0*d**3 - d**3 + d + 0*d**2 - d**2. Let f be j(w). Solve k + 4*k = f for k.
0
Let v be 3/3 + 1 + 13. Suppose q + 3*c + 2 - v = 0, q + c = 9. Suppose q*s - 5*s = 0. Solve -3 = -b - s for b.
3
Let h(i) = -i + 7. Suppose 13 = 5*r - t - 7, 10 = r + t. Let a be h(r). Suppose 5*m + 2*j - 5 = 0, -a*j = -5*m - 7*j + 5. Solve 2*f - 5 = m for f.
3
Let c be 2 + -6 + 3*3. Solve c*s + 9 + 1 = 0 for s.
-2
Suppose 4*k - 2*r - 6 = 0, 0 = 4*k + 5*r - 13 - 0. Suppose 0 = k*y - 62 + 22. Solve 5*z = -0 + y for z.
4
Suppose t - 2*t = r - 5, 5*t = -4*r + 20. Suppose -3*x + 0 + 1 = 5*b, t = -5*x + 10. Let g be (-18)/(-8) - b/(-4). Solve -u + g = 6 for u.
-4
Suppose 17 = 5*y - 23. Let w = -1 + 3. Solve -y = -2*x + w for x.
5
Let p(b) = -b**3 - 7*b**2. Let s be p(-7). Solve s = -3*l - 9 for l.
-3
Let p(a) = a - 10. Suppose -6*r = -5*r - 10. Let v be p(r). Solve v = 2*k + 2*k for k.
0
Suppose -5*d + 6*d = 0. Let y be -1 + (-18)/(2*1). Let l be d*(y/(-4) + -2). Solve l = 2*f + 5 - 1 for f.
-2
Suppose 0 = 5*z - z - 16. Let w = -4 + z. Solve w = -o + 4*o - 6 for o.
2
Let d = 2 + 2. Let i = -4 + d. Solve i*k = 5*k for k.
0
Let i be (-2)/4 + 6/4. Suppose -p - i + 10 = s, p - 4 = 4*s. Suppose 5*f - 4 = -o + 2*f, -4*f = 2*o - p. Solve -n - n = -o for n.
2
Suppose 2*g - 12 = -4. Suppose -3*m = -g + 7. Let v(l) = 9*l**2 - l. Let k be v(m). Solve -p - p = k for p.
-5
Suppose -2*p + 4*p - 2 = -g, -5*g = 4*p + 2. Solve -p*m + 10 = -4*m for m.
-5
Let q = -1 + 1. Suppose -6*f + 42 = 30. Solve 3*g - f*g = q for g.
0
Suppose -2*n = 2*n - 16. Suppose -13 = -3*u + 4*x, 0 = -u - n*x + 3 - 4. Solve 0 = k - u + 4 for k.
-1
Suppose -3*a - 8*a = -3*a. Solve a = -3*c + 12 for c.
4
Let a = 1 + -3. Let y be (a/(-6))/((-1)/(-9)). Suppose -x - 17 = -3*t + x, -3*t - y = 3*x. Solve 4*m - t = 1 for m.
1
Suppose b - 116 = -b - 2*m, 56 = b - m. Let a = 15 - 48. Let h = b + a. Solve -5*k + h = 9 for k.
3
Let u = -1 - -16. Suppose 2*o + 0*o = 10. Solve -o*f - u = -2*f for f.
-5
Let t = 8 - 6. Suppose t*y - 3*y = -3. Solve -y*j = -0 + 3 for j.
-1
Let m(g) = g - 6. Let n(q) = 4*q**2 + 4*q + 9. Let p(w) = w**2 + 1. Let y(r) = n(r) - 3*p(r). Let b be y(-4). Let x be m(b). Solve x = o - 0*o for o.
0
Let b = -5 + 9. Suppose b*h - 26 = -t, -3 = 3*t - 5*h + 4. Let o be (-4)/t - 33/(-9). Solve 0 = -o*n + 8*n - 25 for n.
5
Let i(f) = -f**3 + 4*f**2 + 2*f - 5. Let s be i(4). Suppose 0 = -q + s*q. Let m = 0 + 2. Solve m*w + 0*w - 8 = q for w.
4
Let p = 7 - 5. Suppose 5*x - p*s = -5*s + 21, s + 27 = 4*x. Solve -5*l - 14 - x = 0 for l.
-4
Let p(a) = a**3 - 5*a**2 + 14*a - 40. Let o be p(4). Solve 4*w - 14 - 2 = o for w.
4
Let d(j) = j**3 + j**2 - j - 1. Let i be d(-1). Solve i = n + 2*n + 6 for n.
-2
Suppose 2*n + 11 + 3 = 0. Let c(d) = d**3 + 8*d**2 + 6*d - 4. Let w be c(n). Solve -w*h = -h for h.
0
Suppose 3*j + j = 8. Solve 3*t = -j + 5 for t.
1
Suppose -u + 0*u + 2 = 0. Let c(q) = q**2 + 4*q - 5. Let v be c(-6). Let o = -4 + v. Solve -r + u + o = 0 for r.
5
Suppose 0 = 4*n - y - 8, -4*n + 2*y - 8 = -3*y. Solve -x = -n*x for x.
0
Suppose 4*j + z - 3 = 0, -5*z - 6 = j - 21. Solve -4*o = 8 - j for o.
-2
Let j = 8 - 5. Let s be (-2)/(-8) + j/(-12). Let y = -3 - -8. Solve s = -y*u - 31 + 6 for u.
-5
Suppose -5*j - j + 42 = 0. Solve -c - 5 = -j for c.
2
Let b be (-5 - -8) + 0/(-3 - -5). Solve -b*k + 19 - 4 = 0 for k.
5
Let d = 23 - 21. Solve -d*h + 0 = -4 for h.
2
Let h = -13 + 15. Let l(m) = -3. Let p(o) = -o - 1. Let d(i) = l(i) - 3*p(i). Let v be d(h). Solve v*a = a - 10 for a.
-2
Let g = -7 + 7. Solve g*r - 2*r - 8 = 0 for r.
-4
Suppose 2*d = 4*n + 20, 2*d + 4*n + 1 + 19 = 0. Solve d = -5*z + 4*z - 5 for z.
-5
Suppose -11*x + 74 = 19. Solve x - 10 = -5*d for d.
1
Suppose -4*d = i - 3*d - 1, -5*i + 21 = d. Suppose -2*p + 0*p = -i*n - 28, -2*n = 2*p. Suppose p*c - 4 - 4 = 0. Solve -1 = -k + c*k for k.
-1
Let a be 6*(-2)/(-1) - 0. Let m = a - 0. Let t be 4/(-6) + 4/6. Solve t = -2*b - b - m for b.
-4
Suppose -2 + 22 = 5*o. Let j be 2*5*2/o. Suppose -51*r + 47*r = -12. Solve -2*m - j = r*m for m.
-1
Suppose 0*o = d + 4*o + 5, 3*d = -3*o + 3. Suppose -d*h = -h - 22. Suppose 4 = -10*x + h*x. Solve 0 = t + t - x for t.
2
Suppose -6 = 2*h, -5*x - h - 3*h = 12. Solve -m - 6 + 9 = x for m.
3
Let l(q) = q**3 + 0*q + 3*q**2 - 3*q - 2*q**3 - 6 + 3*q**2. Let x be l(5). Solve -2*o - 2 = -x*o for 