 8 - (4 - (4 - 1)). Let y(h) = h - 16. Let d be y(n). Let c(o) = -o - 4. Let u be c(d). Solve -u = -3*j - 2*j for j.
1
Suppose 3*u + 2 = -0*u - 4*c, 0 = 2*u + 3*c + 2. Solve u = -2*m - 0*m for m.
-1
Let w be ((-28)/8 + 3)/(2/(-12)). Solve w = o + 1 for o.
2
Let n be (-4)/6 + (-77)/(-21). Let d be 4 - 4/12*n. Solve -5 = 2*b + d*b for b.
-1
Let a = -4 + 3. Let k = 5 + a. Solve k*w = 4 - 20 for w.
-4
Let v(p) = p**3 + 4*p**2 + p - 3. Let w be v(-2). Solve -2*r + 3*r = -w for r.
-3
Suppose -7*z + 0*z + 77 = 0. Solve z = 2*x + 1 for x.
5
Let h(u) = -u - 3*u**3 + 0*u**2 - u**2 + 4*u**3 - 1. Let f be h(2). Solve -y + 2*y = f for y.
1
Let p = -3 - -4. Let k(j) = j**2 - 7*j + 6. Let m(u) = 2*u**2 - 14*u + 12. Let g(f) = -5*k(f) + 3*m(f). Let q be g(6). Solve p = -q*v + v for v.
1
Let u = -7 + 13. Solve 5*r = -u + 1 for r.
-1
Let t be (11/(-3))/(1/(-3)). Suppose 2*o = -26 + 10. Let m be o/12 + 15/9. Solve 3*h - t = m for h.
4
Suppose 0 = 2*q + 8 + 12. Let b = 14 + q. Suppose -3*y + 6 = -b*v, -2*v = -2*y + 5 - 1. Solve v = -a - 2*a for a.
0
Suppose g - 2 = -g. Solve -z + 2 = g for z.
1
Suppose -15 = f + 3. Let n = -15 - f. Solve 0 = h - n*h - 6 for h.
-3
Let z(h) = h**2 + 7*h - 12. Suppose 5*j + 45 = -2*i - 0*i, 0 = -2*j - i - 18. Let a be z(j). Solve -a*o = -2*o for o.
0
Suppose -13 - 17 = -5*c. Solve -5*f - c - 4 = 0 for f.
-2
Suppose 0*d - 9 = d. Let k = -5 - d. Suppose -k*j = -j. Solve j = -c + 1 for c.
1
Let m(x) = x + 10. Let g be m(-5). Let i = -4 - -17. Suppose 0 = 4*u - 5*q - 57 + i, 0 = 4*u - 2*q - 32. Solve g*w + 1 = u*w for w.
1
Let c be (4/(-6))/(6/(-45)). Let t(r) = 2*r - 2 + c - r. Let j be t(0). Solve -z + 20 = j*z for z.
5
Let k be 7/42 + 105/18. Solve k*u + 10 = 8*u for u.
5
Suppose 2*t - 5*p = -4*p + 10, 0 = 4*t - 5*p - 26. Solve -t*a = 2 + 6 for a.
-2
Let g be (50/8)/(6/24). Let b = 40 - g. Solve 0 = -2*c - c + b for c.
5
Suppose 10*d = 14*d - 100. Solve j - 6*j - d = 0 for j.
-5
Let g be (6/4)/(30/80). Suppose -2*x - 2*r + 5*r + 14 = 0, 4*x + 5*r - 6 = 0. Suppose 0 = -2*f + x*f. Solve f = -g*m + m + 15 for m.
5
Suppose 0 = l + 4*p - 13, 27 = 4*l + 5*p - 3. Solve 0 = -h + l*h + 16 for h.
-4
Suppose 0 = 5*u - 2*y - 18, 0*y - 5*y - 28 = -4*u. Let d(c) = -2*c - 5. Let q be d(-5). Solve -q = -u*i + 1 for i.
3
Let r(h) = -h**3 + 6*h**2 - 7*h + 7. Let a be r(5). Let i be 0 + (15 - (a + 6)). Let x = -3 + i. Solve -2*u - x = 1 for u.
-5
Let z be 5/(-1 + 2 + -2). Suppose 5*q = -t + 27, -4*t + t + 2*q = -13. Let a = t + z. Solve 4 = a*i - 4*i for i.
-2
Let w(v) = v**2 + 25*v + 30. Let k be w(-24). Solve -k*g + 4*g + 6 = 0 for g.
3
Let i(r) = r**2 + 9*r + 10. Let a be i(-8). Solve a*h + 4 = -0*h for h.
-2
Let w(t) = -4*t**2 + 9*t + 7. Let v(m) = -11*m**2 + 27*m + 22. Let z(q) = -3*v(q) + 8*w(q). Let r be z(10). Solve 0*c - c + 3 = r for c.
3
Suppose -5*r - 8 = -c + 3, -3 = c + 2*r. Let y = c + -1. Let q be (21 - 1) + 3 + -2. Solve 5*v + q + 4 = y for v.
-5
Let i = 138 - 97. Suppose 4*p = -g + i, 52 = 2*p + p + 5*g. Solve -4*b = -7 - p for b.
4
Let c = -12 + 16. Solve -c*m = -m - 6 for m.
2
Suppose 4*o - 8*o = 0. Solve o*p - 3 = p for p.
-3
Suppose n - 2*d + 2 - 18 = 0, 4*n - 49 = 5*d. Solve -4*u - 6 = n for u.
-3
Let d(p) = -p - 15. Let o be d(-15). Solve -10*s + 5*s = o for s.
0
Suppose 3*v + q + 9 = 0, -v = 2*v - 4*q - 6. Let n = v - -12. Solve -d + n = d for d.
5
Let b(y) = y**3 + 8*y**2 - 3*y - 9. Let h be b(-8). Solve -h + 0 = -3*f for f.
5
Let p be (9/(36/(-8)))/(-1). Let x(n) = -n**2 - 7*n - 5. Let b be x(-6). Let t be 0 - b/(p/(-12)). Solve 4*s + 6 = -t for s.
-3
Let c = 90 + -84. Solve u + c = 4*u for u.
2
Let q(f) = f**2 + f - 4. Let a be q(-3). Suppose a*d = -d. Solve t + d - 3 = 0 for t.
3
Suppose 8*y - 3*y - 5*q = -15, -4*y = 5*q - 15. Let k be 11 - (y + 0) - -1. Let d(m) = -m**3 + 5*m**2 + 4*m + 12. Let o be d(6). Solve k + o = -3*a for a.
-4
Let j(o) = 4*o**2 + o. Let u be j(-1). Solve -u*v - 2 - 4 = 0 for v.
-2
Suppose w - 6 = -9. Let b be 1*(0 - 12)/w. Solve -3*s + 1 = -b*s for s.
-1
Suppose 3*l - 15 = 3*t, 3*t - 7*t = 0. Suppose 3*u - l = 2*u. Suppose 0 = -4*g - 5*d + 39, -13 = -u*g - 5*d + 32. Solve -g*m = -m for m.
0
Let h = 33 + -15. Solve 5*y = -y + h for y.
3
Suppose -5*z = 4*r + 1 + 3, 0 = -3*r + z - 22. Let y = 8 + r. Solve -y*l + 0 = -2 for l.
1
Suppose 3*k + 52 = -2*d - 3*d, -2*d - 4*k - 18 = 0. Let q = 17 + d. Let g be ((-3)/(-9))/(-3*(-2)/54). Solve 0 = -g*o + 3 - q for o.
-1
Let j = 23 - 20. Solve -j*q + 6 = -5*q for q.
-3
Suppose -c + 5*a = 2*c + 22, -2*c - 4*a = -22. Let k be c/(2/4) + 2. Solve 0 - 16 = k*z for z.
-4
Suppose -p = -1 - 1. Suppose p = s - 7. Let u = s + 0. Solve -4*c = -3 - u for c.
3
Suppose 4*k - 4*i = -i + 19, -2*k = 3*i + 13. Solve -19 = 5*j + k for j.
-4
Let o be 9*-2*(-2)/4. Let r = o - 7. Solve a + r = -1 for a.
-3
Let h be 1 - (-3 - (-2 + 4)). Let g = -2 + h. Solve g*r + 11 + 5 = 0 for r.
-4
Let f(v) = v**2 + 7*v - 8. Let r be f(-8). Suppose -3*o + 6 = -r. Suppose -o*d - d + 15 = 2*q, 5*q = 4*d - 20. Solve u - 5*u - 20 = q for u.
-5
Let x(g) = -9*g + 78. Let w be x(8). Solve -4*o + w*o = -6 for o.
-3
Suppose 2*y + 2*y = -28. Let x = y + 7. Solve x = q + q + 4 for q.
-2
Let x(o) = o**3 + 5*o**2 - 3*o - 6. Let z be x(-5). Suppose -3 + 23 = 4*d. Solve -d*s - z = 11 for s.
-4
Let i(l) = l**3 + 8*l**2 + 6*l + 8. Let y be i(-6). Suppose -n - 12 = -2*r, 4*r + 4*n = n + y. Solve 0*o = -2*o + r for o.
4
Let a(m) = 4*m + 25. Let u be a(-6). Solve -5 = -z - u for z.
4
Suppose 2*w + 16 = -3*b, 0*w - 3*w = b + 17. Let a be b/6 + (-92)/(-6). Solve a = c - 6*c for c.
-3
Let k(q) = q**3 + 7*q**2 + 5*q - 5. Let d be k(-6). Solve -l - 1 = d for l.
-2
Let t(w) = w**3 + 6*w**2 - 9*w - 10. Let f be t(-7). Let u(b) = -b**2 - 4*b - 3. Let s be u(-3). Solve s = -f*r + 12 - 4 for r.
2
Suppose -2*m - 4*k - 4 = 0, 0 = 5*m + k + 3 - 11. Solve -2*d + 12 = m*d for d.
3
Let a(f) = -f**2 - 8*f - 3. Let t be a(-5). Let o be (t/(-9))/((-2)/6). Solve 0 = -r + o for r.
4
Let d(n) = 1 + 2*n**2 - 4*n**2 + 3*n**2 + 0. Let m be d(-1). Solve -4 - 6 = m*p for p.
-5
Suppose -5*r + 6 + 14 = 0. Solve 7*z = r*z - 9 for z.
-3
Suppose -3*u = -29 - 40. Suppose u = 5*y - 4*a, -4*y - 2*a + a + 10 = 0. Suppose -y*l = -3*d + 3, -2*l - 3*d + 10 = -3. Solve x = 2 + l for x.
4
Let s = 10 + 10. Let q be (-6)/(-33) + s/11. Solve t = q + 3 for t.
5
Let i = -194 + 200. Suppose c = -b - 2, -4*c - 3*b = -8*b - 28. Solve 0 = i*r - c*r + 4 for r.
-1
Suppose -3*b - b = -j - 18, -2*j + 14 = 2*b. Solve 0 = -2*w + b*w for w.
0
Suppose -i + 4*i - 9 = 0. Suppose -3*l - i*m + 2 = -7, 5*m = 3*l - 9. Suppose 0 = -l*h + 7 + 2. Solve 4*j - h*j = -1 for j.
-1
Suppose -11*y + 6 = -49. Solve y*j = 6*j - 4 for j.
4
Let w(a) = -a - 8. Let m be w(-9). Solve 2 = q + m for q.
1
Let w be ((-1)/(-2))/(5/110). Let z = -17 + w. Let u be (-2)/(-4) - 9/z. Solve -2*t - u + 4 = 0 for t.
1
Let n(k) = k**3 - 13*k**2 + 3*k - 30. Let m be n(13). Solve 2*a = -a - m for a.
-3
Suppose 21 = -2*t + 25. Solve -t*p = -0*p + 4 for p.
-2
Let j = 153 + -153. Solve g + j = 4 for g.
4
Suppose -5*y = -a - 2, -5*a = -3*a + 3*y - 22. Let d = 2 + -2. Solve d = -c - c + a for c.
4
Suppose 4*o - 1 = 3. Solve 5*u = 4*u + o for u.
1
Let t(x) = -4 + 3 - 4*x + 1. Let a be t(-1). Let o be 9 + -5 - a/(-2). Solve o = -2*g + 16 for g.
5
Suppose 5*g + 5 = 0, -g = -5*b + 4*g - 20. Let j = 2 - b. Solve j*a = 2*a - 25 for a.
-5
Suppose 3*p - 3 = 9. Solve 2 = p*s - 10 for s.
3
Let g be (-2)/5 - 37/(-5). Let b(h) = h + 7. Let i be b(-9). Let j be i - -3 - (-2)/1. Solve -j = 2*f + g for f.
-5
Let f(g) = -8*g. Let n be f(-1). Suppose n*i = 3*i. Solve -3*o + 3 = -i for o.
1
Let v = -8 - -8. Solve -d + 4 = -v for d.
4
Let g be 4 + 4 + -4 - 0. Solve g*w - 6 - 6 = 0 for w.
3
Suppose 4*r = 57 - 21. Let q = -9 + r. Solve q = 4*s - 7 + 19 for s.
-3
Suppose -i + 1 = 0, 0*o + 2*i = -5*o + 52. Suppose -60 = 5*z - o. Let s(y) = -y - 2. Let h be s(z). Solve 4*p + h = -0*p for p.
-2
Let t be ((-5)/(-3))/((-12)/(-36)). Solve t = -4*v - 7 for v.
-3
Let o = 9 + -6. Suppose -m = -5 - 3. Suppose -5*j + 22 = -m. Solve -9 = -j*h + o*h for h.
3
Let v = 7 + 10. Let p = v + -14. Suppose 60 = 3*j + 2*j. Solve j = -p*b - 3 for b.
-5
Let y = -19 + 23. Let o be 187/51 - y/6. Solve -1 - 2 = o*x for x.
-1
Let c = 17 + -17. Solve c = -4*y - y