Let k = 0 - w. Let f(a) = 2*a**2 + 5*a + 4. Let d be f(k). Solve 0 = -5*n - 13 - d for n.
-4
Let u = -2 + 5. Suppose -u*s = -s. Let f be 126/10 + (-3)/5. Solve s*d - 4*d + f = 0 for d.
3
Let z(t) = t**2 + 3*t - 8. Let r be z(-7). Suppose -2*i + r = 3*i. Solve i*k = 5*k + 4 for k.
-4
Let k = 16 - 8. Solve 2 = 2*y + k for y.
-3
Let w be (-9)/(-12)*4*2. Let f = w + 1. Solve -f*k + 2*k = -25 for k.
5
Let z be (-2)/3*33/(-2). Suppose 4 = -5*p - z. Let w be (-40)/(-6) + (-1)/p. Solve 2*d + 3 = -w for d.
-5
Let k(p) = -p**3 - 15*p**2 - 14*p + 1. Let c be k(-14). Let f be (c/4)/(5/60). Let g = -2 + 2. Solve 0 = -y - g*y - f for y.
-3
Suppose -5*w - 3 = -18. Let c = -12 - -21. Solve 0 = 3*q + c - w for q.
-2
Let s(t) = -t**3 - 5*t**2 - t - 5. Let m be s(-5). Suppose m = -h - 1 - 7. Let u be h/10*(-10)/4. Solve 0 = u*b - b + 1 for b.
-1
Let q(a) = -a**2 + 5*a - 4. Let z be q(3). Suppose 0 = z*f - f - 1. Let c be (-1*(f + -1))/(-3). Solve -2 = -b - c for b.
2
Suppose -2*c + 7 = -47. Let a = c + -18. Suppose -4*k + a*k = 90. Solve 3 = -5*q + k for q.
3
Let d(m) = -4*m + 9. Let v be d(6). Let l = 11 + v. Let o be 2/(-2 - 10/l). Solve -15 = -o*j - j for j.
3
Suppose n = -3*u + 19, -u - 3*u + 4*n = -52. Let s(z) = -z**3 + 8*z**2 + z - 4. Let x be s(u). Solve 0*f = -x*f + 16 for f.
4
Let k(v) = -v**2 + 6*v. Let a be k(5). Let s = -15 - -15. Suppose 5*d - d - 48 = -4*g, s = -a*g - 3*d + 52. Solve 0 = x + x + g for x.
-4
Let i(z) = z**2 + 9*z + 15. Let v be i(-7). Solve -4*p + v = -3 for p.
1
Let j = 113 - 110. Solve z - 2 = -j for z.
-1
Let k(z) = -2*z - 2. Let g be ((-8)/(-6))/((-1)/3). Let t(u) = u**2 + 4*u - 4. Let o be t(g). Let r be k(o). Solve -r = -5*w - 1 for w.
1
Let p(j) = -j**3 + 32*j**2 + 2*j - 60. Let z be p(32). Let a be (-2 - -1) + 4 + 0. Suppose 0 = -a*w - 5 + 20. Solve z*r = w*r - 3 for r.
3
Let v(m) = m + 9. Let q be v(-6). Let k be (-30)/25*(-40)/q. Solve 0*x - k = 4*x for x.
-4
Let o = 46 + -44. Solve 8 = 5*k - o for k.
2
Suppose w + 5 = 6*w. Let z be (-1)/(-1 - w/(-2)). Solve r - z = -0*r for r.
2
Let z = -12 + 6. Let y be z/9 - (-4)/6. Solve -r + 5*r = y for r.
0
Let o be (-2)/6 - (-124)/12. Suppose -20 - o = 5*x. Let z = x + 8. Solve z*v + 6 = -2 for v.
-4
Suppose 2*o = -0*o + 4. Suppose 106 = 5*y + 4*n, o*y + 2*n = -y + 64. Solve -3*q - y = -7 for q.
-5
Let v = -3 - -9. Suppose v*j = 4*j. Solve j = 4*i + 20 for i.
-5
Let m be 16/(-6)*(-282)/8. Suppose -5*a - u = -39 + m, 5*u + 45 = -2*a. Let w be a/(-35) - 5/(-7). Solve -1 = j + w for j.
-2
Suppose -x - 10 = -6*x. Let q = 5 + -8. Let f(w) = -w**2 - 7*w - 4. Let i be f(q). Solve -x*m + 0 = i for m.
-4
Let f(o) = -10*o - 1. Let p(s) = 10*s + 1. Let m(w) = -3*f(w) - 2*p(w). Let l be m(-1). Let v be (3/2)/(l/(-12)). Solve -v*h - 8 + 2 = 0 for h.
-3
Let o(k) = k**3 + 19*k**2 + 17*k - 16. Let a be o(-18). Solve -a*m = -3*m for m.
0
Let p be 2/(-11) + (-70)/(-22). Suppose -6 = 2*x - 6*x + o, 8 = x + p*o. Suppose -1 = x*s - 5. Solve -s = -3*g + 7 for g.
3
Suppose -2*c - 200 = 3*c. Let i be c/(-18) - 32/144. Solve i = 2*j - j for j.
2
Suppose 4*d - 8 - 36 = -4*x, 37 = 5*x - d. Suppose -4*u - 4*p + x = 0, -2*u + 6*u + 3*p = 9. Let y be 8 - (-2)/((-2)/u). Solve 0 = f + y for f.
-5
Let p = 11 + -11. Solve p*s + 8 = -2*s for s.
-4
Let t(j) = 3*j**2. Suppose 4*d - 2 - 2 = 0. Let w be t(d). Solve -w = -h - 0*h for h.
3
Suppose -5*q + 6 = -39. Let k be 1*4/(12/q). Solve k = 3*n - 0 for n.
1
Let x be (-922)/(-18) + 14/(-63). Let k = x - 31. Solve -5*r = -r + k for r.
-5
Let v(z) = z**2 + 2*z. Let l be v(-2). Let y = 0 + l. Let n be 1/((2 - -1)/9). Solve -n*o = -y*o for o.
0
Let q = -2 - -7. Suppose -q = -n + 3*n - z, -n - z + 5 = 0. Solve n*o = 4*o for o.
0
Let o(f) = -10 + 14 + 3*f - 3*f + 2*f. Let s be o(5). Solve 5*y = s + 6 for y.
4
Let o be (9/6)/((-1)/(-2)). Solve 3*a = -0 - o for a.
-1
Let p be (-4)/14 - (-282)/(-42). Let w = 9 + p. Suppose -r + w = -2. Solve 0 = -r*h + 4 for h.
1
Suppose 4*k - k = 3*u - 6, 2*k = 4*u - 18. Suppose 0 = -3*p + 5*i + 3 - 14, p + u = 5*i. Let b be (-2 - p) + 9 + 1. Solve -h - 4*h = -b for h.
2
Let l(y) = -y**3 + 2*y**2 - y + 2. Let t be l(3). Let q = -6 - t. Suppose 0 = -2*w + q*w. Solve -f - 1 = -w for f.
-1
Let i = -3 + 6. Let s(b) = 6*b + 4 - 5*b - b**2 + 4*b. Let l be s(5). Solve 7 = l*f + i for f.
1
Let c be (1 + 1)/(4/2). Suppose -21*m + 9 = -12*m. Solve z + c = -m for z.
-2
Let u = 93 + -88. Solve -u*x - 1 = 9 for x.
-2
Let c = -15 - -18. Solve 14 = -c*v - 1 for v.
-5
Let p(r) = -3*r + 2*r - 4 + 2*r + 14. Let x be p(-8). Suppose u = -3, -9 = 3*g - x*g + 3*u. Solve 8 = -g*q + 2*q for q.
4
Let i = 52 - 46. Solve i*y - y = -5 for y.
-1
Suppose -2*j + 20 = 5*s, -3*j - 13 = -4*s + 3. Solve -b + 2 = -j*b for b.
2
Let y(n) = -n**2 - 8*n - 1. Let u be y(-7). Let w be 0*((-6)/(-2))/u. Solve w = 3*z - 12 for z.
4
Suppose -3*i = 3*b - 6*b - 30, 0 = b + 5. Solve -2*g + i = -1 for g.
3
Suppose 0 = 6*s - 15*s + 54. Solve a - s = -a for a.
3
Let t(u) = u**2 + u. Let w be t(-1). Suppose 4*p + 4 = -4*c, -3*c + 4*p = -2*c - 24. Suppose -x = c*x - 15. Solve w*y - 12 = -x*y for y.
4
Let d(b) = -b + 3. Let z be d(-13). Solve -2*r = 2*r - z for r.
4
Let i be -3 + 3 - (-12 + 0). Let q be (-9)/2*(-16)/i. Solve 0 = -n - n + q for n.
3
Suppose 3*i = 36 + 15. Solve 0 = 5*u + i + 3 for u.
-4
Let d(r) = -r**2 + 1. Let p(t) = t**3 + 4*t**2 - t - 6. Let m(a) = 3*d(a) - p(a). Let s be m(-7). Let i(o) = -2*o - 3. Let v be i(-3). Solve s*h = -h + v for h.
1
Suppose 3 + 10 = -k. Let r = 6 - k. Let x = 29 - r. Solve -x = -4*t - 2 for t.
2
Let w(s) = -s + 7. Let x be w(4). Let h = x + -1. Solve 3 = -h*d - 3 for d.
-3
Suppose -5*i = -5*t - 5, 2*i - 3*i - 3*t = 3. Solve -2*g = -i*g for g.
0
Suppose 0*y = y. Solve -k - 5 + 0 = y for k.
-5
Suppose -x = -6*x + 25. Let d = -3 + x. Solve 4*j - 2 = d for j.
1
Let v(c) = 6*c**2 - 2*c - 1. Let j be v(-1). Suppose 0 = 3*h - j*h - 16. Let q = h - -6. Solve -3*r = -q*r for r.
0
Let l be (-50)/(-15) + (-6)/(-9). Let n = -7 + 7. Solve 0 = l*x - n + 4 for x.
-1
Let x(d) = d - 10. Let w(k) = -k + 20. Let z(a) = 2*w(a) + 5*x(a). Let v be z(4). Let j = 15 + -3. Solve -v*o + j = o for o.
4
Let d(m) = -m + 39. Let a be d(0). Suppose -5*r + a = 9. Solve 4*o = -r - 6 for o.
-3
Suppose -34*m + 36*m = 4. Solve 9 = -m*t - 1 for t.
-5
Suppose 0*p + 45 = -2*x + 5*p, 4*p = -3*x - 10. Let r = x + 15. Solve -4*k = -r*k + 4 for k.
4
Suppose 10 = -v + 4*k - 1, 0 = 2*v + 2*k - 18. Suppose -n + v*n - 4 = 0. Solve 9 = 2*i + n for i.
4
Let j(q) = -4*q. Let r be j(-1). Let m be -2 + 2*(-1)/2. Let z = r + m. Solve z + 1 = -b for b.
-2
Let x be (-11 - 0 - -3)*-1. Suppose 2*u - 7*u = -j - 24, x = -2*j. Solve -20 + 0 = -u*r for r.
5
Let f = 10 - 7. Solve -f*r - 7 = 2 for r.
-3
Let o = 16 - 23. Let l = o - 5. Let r be (l/18)/(1/(-6)). Solve w = -0*w - r for w.
-4
Suppose -p + h = 6, -25 - 17 = 2*p + 4*h. Let l(f) = -5 - 3 - 1 - f. Let r be l(p). Solve -r*z = -4*z - 6 for z.
-3
Let x = 11 - 8. Suppose -x*w + 5*w - 30 = 0. Solve 7*y - 4*y = -w for y.
-5
Let v = -30 - -38. Solve 4*o = v*o - 16 for o.
4
Suppose 0 = -5*d - 10 + 20. Solve 4*n - 6 = -d for n.
1
Let b(a) = -a**3 + 5*a**2 + 9*a - 8. Let l = -11 - -17. Let p be b(l). Solve -p = 4*g - 30 for g.
5
Let c be (-5)/(-4)*(-5 + 1). Let a(j) be the first derivative of -j**2/2 - 5*j - 1. Let u be a(c). Solve q = -u - 2 for q.
-2
Suppose -8*d + 3*d = -20. Solve 2 = -d*u + 22 for u.
5
Suppose -6 = 2*x - 4*h, -3*x + 0*x = 3*h - 27. Solve -x = -4*q + 7 for q.
3
Let b(d) = -d**3 - 4*d**2 - d + 1. Let c be b(-4). Solve -8 - 7 = -c*y for y.
3
Suppose 5*t = -4*b + 9, 2*t + 3 = -b + 6. Let r be (2*6 - 0) + b. Solve 3 = -5*v + r for v.
2
Let r = 26 + -23. Let x(a) = 2*a - 6. Let v be x(5). Suppose -2*d = 2*d - v. Solve r = 4*t - d for t.
1
Let y(s) = -2*s - 8. Let q be y(11). Let v be q/(-4) - 6/4. Solve 2*f = v*f for f.
0
Suppose 3*w - 90 = -5*q, 0*w - w - 4*q = -37. Solve -5*o + 0*o - w = 0 for o.
-5
Let f(x) = -x**3 + 7*x**2 - 8*x + 8. Let k be f(6). Let y be k/(-3)*(-6)/(-2). Let n = 7 - 7. Solve -3*m - y + 1 = n for m.
-1
Let t = 43 - 39. Solve 0*i + t = i for i.
4
Suppose 0 = t - 1 - 2. Solve -4*r + 13 + t = 0 for r.
4
Let l = 12 + -21. Let z be (4/(-3))/(3/l). Solve z*y + 19 = 3 for y.
-4
Suppose 10*d + 197 = 227. Let y = -2 + 2. Suppose 2