 = 2*y - s*y + 2. Let f be 6/(-14) + (-3)/(-84)*12. Solve f = y*x - 5 - 5 for x.
5
Let o = 15 + -7. Let f = 1 - -1. Let a = -116 - -118. Solve f*z + a = o for z.
3
Suppose -26 = -4*q + 3*y - 0, -4*y + 2 = 2*q. Suppose -q*m + 0*m = -15. Suppose 0 = -x + 2*x. Solve m = -3*p - x*p for p.
-1
Let l = -11 - -18. Let i = -6 + l. Let c(h) = 5*h**2 + h - 1. Let q be c(i). Solve q = 3*p + 2*p for p.
1
Let i be 1 + 1/(3/9). Let y = 0 + 3. Suppose -y*u + 16 = u. Solve i + 0 = u*n for n.
1
Let x be 3/((-12)/4) + 8 + -3. Solve 0 = x*z + z - 5 for z.
1
Let k = 7 + -4. Solve z + 20 = -k*z for z.
-5
Suppose -7*w = -33 + 5. Solve -w*x = -6 - 10 for x.
4
Let h be ((-108)/45)/((-24)/10 + 2). Solve -4*k - 10 = -h*k for k.
5
Suppose -3*d = -11*d + 64. Solve -d - 1 = 3*b for b.
-3
Let o be 8/5*10/4. Suppose 0 = -o*c - 12 - 0. Let f = c + 3. Solve 5*y + f = -5 for y.
-1
Let s = -7 + 12. Suppose -a = -2*w + 12, s*a + 6 = 2*w - 14. Solve w*u - 14 = 11 for u.
5
Let j = -53 + 56. Let a = -13 - -8. Let o be (-2 - a/j)*-6. Solve v + o = -v for v.
-1
Suppose -15*k + 144 = -14*k. Let m be k/7 - 4/7. Solve -5*n - m = 5 for n.
-5
Let q = 23 + -13. Solve q = -y + 6*y for y.
2
Let b(g) = -g**3 + 11*g**2 - 10*g - 12. Let j be b(9). Suppose j = -0*n + 3*n. Let y = -2 + 5. Solve -y*t = 2*t + n for t.
-4
Suppose -2*f = 25 - 7. Let c = -5 - f. Suppose 2*k = 3*k. Solve -c = -o - k*o for o.
4
Suppose -5*g + 2*g + 12 = 0. Suppose -7 = -g*y + 5. Let v = 1 + -1. Solve 0 = -y*b - v*b + 12 for b.
4
Suppose 0*a + 2*a - 2 = 0. Solve v - 4 = -a for v.
3
Let t(w) = -10*w. Let x be t(-1). Suppose 1 = 4*z - 7. Let y be -1 + 10*(-2)/(-4). Solve -z*j - x = -y*j for j.
5
Suppose -4*n = n. Solve n*c = -3*c - 6 for c.
-2
Let n(s) = s + 1. Let p be n(1). Solve -t + 2*t = -p for t.
-2
Let p be 1*5 + (-2)/1. Let z be (-4 - 3/(-1))*0. Let r be 0/p + z + 3. Solve -12 = -7*c + r*c for c.
3
Suppose 0 = 3*x + x - 44. Suppose x = 2*t + 3. Solve t = -5*l - 16 for l.
-4
Suppose 1 = -j, -4*j + 0*j = u + 7. Let p = 15 + u. Solve -3*v + 0 = -p for v.
4
Let a be (-1 + 18/8)*4. Let v be (32/(-6))/((-38)/57). Solve -v = -a*x + x for x.
2
Let s(y) = -y - 5. Let v be s(-6). Let t = 1 + v. Suppose -m - 2*m = 2*l - 67, 3*m - t*l = 83. Solve 0 = 6*q - q - m for q.
5
Suppose 15 = -2*n + 7*n. Solve 3*d = -0 + n for d.
1
Suppose 6 = 2*x - 0*x. Suppose 0 = -4*d + x + 5. Suppose -q + 0*w = -d*w - 11, 5*q = -5*w - 5. Solve -q = -o - 4 for o.
-1
Suppose 0 = -5*h + 35 + 10. Let w(s) = s - 6. Let m be w(h). Solve i + 5 = m for i.
-2
Let y be -2 + 0 + 6 + -2. Suppose 0 = -y*r - 3*r - 45. Let h = -5 - r. Solve -2 = n - h for n.
2
Let j(p) be the first derivative of p**5/120 - p**4/24 - 2*p**3/3 - 2. Let h(m) be the third derivative of j(m). Let d be h(1). Solve 4*u + 0*u + 4 = d for u.
-1
Let h = -3 - 27. Let b be 24/h*5/(-2). Solve t = -1 - b for t.
-3
Suppose -17 - 1 = -2*h. Let b = 11 - h. Let s be 0/(2/(0 + b)). Solve s = -4*q + 8 + 4 for q.
3
Let t be (4 + 1)/(4 + -3). Suppose t = b + 1. Suppose d - 5*d = -b. Solve -3*p = 10 - d for p.
-3
Let o(l) = l**3 - 15*l**2 - 17*l + 20. Let k be o(16). Suppose -q = 2*y + 3*y + 4, 4*q - 32 = 4*y. Solve -r = k - q for r.
2
Let u(v) = 2*v**2 - 3*v + 3. Let a be u(2). Let q = 9 - a. Suppose 0 = -q*t - 3*k + 7 + 7, 4*t - 2*k - 4 = 0. Solve -6 + 2 = t*i for i.
-2
Suppose 3*j - 2*j - 25 = -4*q, 2*q = 4*j - 154. Suppose 3*r - j = -5*t, 4*r + 2*t = -3*t + 41. Solve 0*m = -r*m + 12 for m.
3
Suppose -4*i - 11 = -3, -2*i + 1 = b. Suppose 3*x + 5*m - 9 = 0, -b*m - 12 = 2*x - 6*x. Solve -x = -4*l + 9 for l.
3
Suppose r - 4*x = -r - 2, -3*r = 4*x + 3. Let k be 0/(r/(1/2)). Let y(o) = o**2 - 5*o + 6. Let t be y(2). Solve t = c + 3 - k for c.
-3
Let r(c) = -c**3 + 6*c**2 + 6*c + 10. Let h be r(7). Let a be h/((-2)/((-8)/6)). Solve n = a*n for n.
0
Suppose -m - 4*m = 0. Suppose m = 2*q - 6*q + 8. Suppose -2*w = -q*c - 12, 5*w + 3*c + 0*c - 30 = 0. Solve -3*u + w = -0 for u.
2
Let i = -6 + 6. Suppose a - 31 = -2*a - 4*g, -3*a = -2*g - 7. Solve i*f - a = -5*f for f.
1
Let u(l) = l**3 - 8*l**2 + 8*l - 5. Let i be u(7). Suppose -4*f + 6 = -i. Solve -f*b + 0 = -4 for b.
2
Let x be ((-12)/(-15))/(2/5). Suppose -3*n - 4*u + 37 = 0, 4*n - x*u = n + 49. Let h = n - 11. Solve -4 = -h*d - 0 for d.
1
Let x(i) = i**2 + i - 6. Let b be x(-3). Solve b*w - 2 = -2*w for w.
1
Let j(d) = d**2 - 5*d + 2. Let b be (-10)/8 + 6/(-8). Let t be 5*(1 + b + 2). Let x be j(t). Solve 20 = -3*v - x*v for v.
-4
Let t(p) = p - 1. Let b be t(2). Solve -4*k = b + 3 for k.
-1
Let d(x) = -x**3 + 6*x**2 + 8*x - 5. Let p be d(7). Let h = 6 - p. Solve -q + 5*q = h for q.
1
Let m be (8/6)/(6/9). Suppose 6*l - m*l = 16. Solve -l*s = -0*s - 12 for s.
3
Let k be 3/9 - (-1)/(-3). Solve -j + k*j = -2 for j.
2
Let k be ((-8)/10)/(1/(-5)). Let z = k + -4. Suppose g - 6*g = 25, -d - 5*g = 23. Solve z = d*t - 2 + 8 for t.
-3
Suppose -3*w + 11 + 49 = 0. Let r(z) = z**2 - 6*z - 7. Let j be r(8). Let h = j + -5. Solve 0*i = h*i + w for i.
-5
Suppose 5*g - 54 = 41. Let o be 0/2 - (-38)/g. Solve -o*f = -0*f for f.
0
Suppose 4*y - 9 - 11 = 0, 4*k + y = 13. Solve -4*o + 2 = -k for o.
1
Let r be ((-8)/20)/(2/(-90)). Let n be (-12)/10*(-60)/r. Suppose n*k = k. Solve 0 = p - k + 3 for p.
-3
Let q(l) = -l**3 - 2*l**2 + l - 3. Let x be q(-3). Solve b + 2 = -x for b.
-5
Let o = 0 + 5. Suppose 2*a - 10 - 12 = -4*p, -2*p = 5*a - 15. Solve 0 - p = o*r for r.
-1
Let q(n) = -n**2 + 7*n - 2. Let j be q(6). Let d(m) = 2*m**3 - 2*m**2 + 3*m. Let y be d(2). Suppose -2 = 4*k - 22, 4*k - y = 3*r. Solve j + r = 3*g for g.
2
Suppose -6*r + 6 = -4*r. Solve -r*d = -5*d for d.
0
Let c(n) = n**3 - 2*n**2 - 2*n + 5. Let q be c(3). Solve -4*t - 20 + q = 0 for t.
-3
Let t(q) = -q + 13. Let o be t(10). Let v(f) = -f**2 + 4*f - 3. Let y be v(o). Solve y = -2*m + 6 + 2 for m.
4
Let c(m) = -3 + 7 + 2 - 1 - m. Let l be c(-5). Solve -2*h + 7*h - l = 0 for h.
2
Suppose 0 - 8 = -4*t + 4*y, 3*t - 4*y - 4 = 0. Let a = 4 - 2. Let h be (a + 1)*(-3 - -4). Solve t*u - 1 = h for u.
1
Suppose 3*p = -0*p + 12. Solve p*s + 0 + 12 = 0 for s.
-3
Suppose -4*p + 10 + 6 = 4*g, -2*p = -2*g - 12. Let l(i) = 69*i**2 + 2*i + 1. Let c be l(g). Suppose -2*j - 2*j = -c. Solve 3*n - j + 2 = 0 for n.
5
Let c(n) = -n**2 + 16*n - 24. Let j be c(14). Let g(h) = -h - 1. Let z be g(-3). Solve 0 = j*b - z*b + 2 for b.
-1
Let m be (2 - 1)/(1/(-5)). Let q(v) = -9*v**2 + v. Let w be q(1). Let f = m - w. Solve 0 = -0*s + s - f for s.
3
Let q be 2 + 0 + 4/2. Suppose 18*p - 15*p = 0. Solve q*l = -p*l for l.
0
Let t(w) = -w**3 + w**2 + 6. Let d be t(0). Let n be (6/(-9))/((-4)/6). Suppose x + n = 3*y, -3*x - y = -0*y - 7. Solve 0 = x*p + p - d for p.
2
Let z = 138 + -135. Solve z*i - i + 4 = 0 for i.
-2
Suppose 2*l + 2 = -0. Let h be (l + -1*2)/(-1). Suppose p - 2 = -2*a, -3*p - h*a = -2*a - 6. Solve -p*x = -x + 3 for x.
-3
Suppose -5*d + 51 - 36 = 0. Solve 4*c + 5 = d*c for c.
-5
Let d = 13 - 9. Let x = d + -11. Let z be -1 + 0 - (x - -3). Solve -5*y + 2*y + z = 0 for y.
1
Let o(d) = -d**3 + 2*d**2 + 2. Let b be o(2). Suppose b*f = -2*a + 5*f + 16, a = 5*f + 15. Solve a*g = -7 + 2 for g.
-1
Let d(t) = -t**3 - 6*t**2 - 6*t - 4. Let q be d(-5). Solve 2*n + q = -1 for n.
-1
Let g be 10*((0 - 1) + 3). Solve 6*x - x = -g for x.
-4
Let j(d) = d**3 + 14*d**2 + 17*d - 8. Let o(n) = -5*n**2 - 6*n + 3. Let s(q) = -4*j(q) - 11*o(q). Let k be s(-1). Solve k*r = 2*r + 2 for r.
1
Let b(z) = -z**3 - 12*z**2 - 11*z + 2. Suppose -9 = 5*f + 46. Let u be b(f). Solve -u - 4 = 3*l for l.
-2
Suppose 7*m = 4*m + 9. Let f be (-6)/27 + (-16)/9. Let q be (5/(-10))/(f/80). Solve s + m*s = -q for s.
-5
Suppose -3*l + 6*l + 21 = 0. Let y = -7 - -5. Let g be 46/14 - y/l. Solve -g - 7 = -5*a for a.
2
Suppose -2*y + y + 2*j = -4, 4*y = j + 9. Solve -2*z = y*z + 12 for z.
-3
Suppose -5 = -2*i - 3. Suppose -o + l = -8, -o - 2*l - i = 2*o. Solve -1 - 2 = -o*v for v.
1
Suppose -2 = 4*z + 2*x, z + 4*z + 4*x = -7. Let c be z/((-18)/10 - -2). Solve 4*a - c*a = 3 for a.
-3
Suppose 2*s + 2*h + 3*h - 22 = 0, 0 = s - h - 4. Solve 2*f + s = -f for f.
-2
Let n be (-10)/35 - 24/14. Let d be ((-6)/(-4))/(n/(-4)). Solve d = -4*g + g for g.
-1
Let j(k) = k**2 + k + 3. Let i be j(3). Solve i = -2*f - 3*f for f.
-3
Suppose -16 = q - 21. Suppose -4*u = -u. Let m(i) = -2*i**3 