y.
2
Let s = 2 + 0. Let p be (-144)/180*5/(-2)*1. Suppose 0 = 4*n + 5*c - 44, -3*n + p = -3*c - 4. Solve 0*m = -s*m - n for m.
-3
Suppose l = -4*t - 6 + 4, 0 = l + 2*t. Suppose -31 = -3*u + l. Let a = u + -7. Solve -5*v + a*v + 4 = 0 for v.
4
Let m(u) = u**2 - 2*u - 12. Let l be m(5). Solve 7 = -4*t + l for t.
-1
Let b(v) = -9*v - 112. Let k be b(-18). Solve 34*z + 120 = -k for z.
-5
Let l(f) = 2*f**2 + 3*f + 1. Let d be l(-1). Let n(h) = -h**3 + 6*h**2 - 7*h - 6. Let o be n(6). Let t be (-7)/(28/o) + 0. Solve d*w - 4*w = -t for w.
3
Let w(p) = 5*p - 14 + 2*p - 6*p**2 + 6 - p**3. Let n be w(-7). Let o be ((-3)/(-4))/((-1)/n). Solve o*x = 4*x + 8 for x.
4
Let b be 8/(-1)*(2 + 5). Let t(p) = p - 6. Let k be t(-8). Let q be (5/4)/(k/b). Solve h = q*h for h.
0
Suppose 4*t - 5 = 5*d + 4, d + 4 = 3*t. Suppose t = -z + 4. Solve 5*w = z*w + 10 for w.
5
Let t be (2 - 2) + (-6 - -11). Let c be (-5 - (-3)/3) + t. Solve -11 = -4*d + c for d.
3
Suppose 143*j = 145*j - 10. Let k(b) = 2*b + 2. Let i be k(-1). Solve i*d = d - j for d.
5
Let h = 283 - 268. Solve -h = 3*t - 3 for t.
-4
Let v(p) = 58*p + 183. Let m be v(-3). Solve -3*u + 24 = -m*u for u.
-4
Let k(c) = -6*c + 198. Let l be k(31). Solve -5*a = -a + l for a.
-3
Let w(g) = 2*g - 4. Let z be w(2). Suppose -4*f + f + 36 = z. Solve 5*h - f - 8 = 0 for h.
4
Let s(g) = -g**3 - g**2 + 2*g - 1. Let m be s(1). Let k be 4 + -1 + 0 + m. Let r = 65 + -59. Solve k*y = -0*y - r for y.
-3
Suppose t + 2*x = -2*t - 14, -3*x - 4 = -4*t. Let u = 0 - t. Solve -2*f - u*f + 8 = 0 for f.
2
Suppose 5 = 4*r - 4*c + 1, -5*r + c - 15 = 0. Let u be (r/(-20))/((-1)/(-15)). Solve k + 1 = -u for k.
-4
Let r(x) = x**2 - 6*x + 3. Let w be r(4). Let k be 10/6*(w + 2). Let f = k + 7. Solve 3*l = -f*l + 10 for l.
2
Let v be 1/4 + 820/(-80). Let y = v + 17. Suppose l + 3*a - 2 + 8 = 0, 21 = 4*l - 3*a. Solve -y*h + l*h = -8 for h.
2
Suppose 4*n + 3*p = 6, -2*n - 2*p + 19 = 15. Solve -24 = 6*j - n*j for j.
-4
Suppose 0 = -10*u + 141 - 481. Let q = u - -38. Solve -5*a - 16 = q for a.
-4
Let v be (-12)/(-14)*(-644)/(-138). Solve -v*o - 26 = -38 for o.
3
Let h be 0 - 4 - (-38 - 3). Suppose h*j = 39*j - 4. Solve 5*o + 15 = j*o for o.
-5
Suppose 7 = x - p - 2*p, -9 = -x + 5*p. Solve x*k - 19 - 1 = 0 for k.
5
Let b be (2 - 1)/(26 - 28)*-30. Solve -b = 5*g - 0*g for g.
-3
Suppose -k - 4*w = -2, -3 = -5*k - 4*w - 9. Let a be (-40)/(-25)*(-5)/k. Solve -a = 3*j - 4*j for j.
4
Suppose 6 = 2*k, -3*q - 2*k + 14 = 5. Let h be (4 + -1 + q)/1. Suppose 5*b + 16 = -3*g, -h*b - 8 + 3 = 5*g. Solve -g*v - 3 - 12 = 0 for v.
-5
Let w be (0 - 0)/(-1 + -1). Solve w = -4*a + 8*a + 12 for a.
-3
Suppose -4*i = i - 65. Let g = 17 - i. Suppose 0 = -g*o + 3*h + 76, 4*o - 3*h - 80 = h. Solve 0 = 3*c + c - o for c.
4
Let n(v) = -2*v + 9*v - v + 3*v**2 + 15 + 4*v. Let a be n(-2). Solve -a + 8 = -p for p.
-1
Suppose 0*y - 24 = -4*y. Suppose 5*b - 2*b = 9. Solve -t - y = -b*t for t.
3
Let a = -36 + 37. Suppose -d + 0*d + a = 0. Solve -2*p = d - 3 for p.
1
Let o = 774 - 773. Solve -4*f - o + 5 = 0 for f.
1
Suppose -2*d = 2*c - 82 + 20, -4*d - 2*c = -114. Suppose -h + 8 = d. Let m = h + 19. Solve 0 = -u + 2*u - m for u.
1
Suppose h + 4*y = -10, -40 = -4*h - 0*h + 4*y. Suppose 10 = h*a - a. Let v = 3 + a. Solve 1 = v*c - 4 for c.
1
Let d(m) = -9*m**3 - m**2 + m + 1. Let a be d(-1). Let o = -27 + 30. Suppose 0 = -o*k - 9, 2*y = y + k + 5. Solve 5*x + a = -y for x.
-2
Let o = 850 + -837. Solve 16*r - o*r = 12 for r.
4
Suppose l + 6 - 5 = 0, -5*l + 3 = 4*h. Let u be (h/8)/((-11)/(-132)). Solve -u*x + 3 = 6 for x.
-1
Let u = 44 + -39. Let c(o) = o**3 - 6*o**2 + 4*o + 5. Let s be c(u). Let m(w) = w - 5. Let i be m(7). Solve 2*k - 4*k + i = s for k.
1
Suppose 4*x = 7*x + 2*n - 20, -5*x + n + 16 = 0. Solve x = -39*h + 40*h for h.
4
Let a be (7 + -7)/(1 - 0). Suppose a = -v - 4*v + 60. Suppose -7 = -t + i, 0 = -0*i - 3*i - v. Solve q = -2*q + t for q.
1
Let f(s) = -3*s - 25. Let g be f(-10). Let p = 18 - 17. Solve -g*o + p = 11 for o.
-2
Let j(d) = -d**2 + 9*d - 10. Let h be j(7). Suppose 4*z = h*g + 12, 3*z - 2*g - 1 = 9. Let y be (12/16)/(1/z). Solve -y*q = -q for q.
0
Let o(l) = l**3 - 15*l**2 + 26*l + 11. Let p be o(13). Solve 0 = 3*a - 4 - p for a.
5
Let p = 857 + -857. Solve -5*m - 23 + 33 = p for m.
2
Let q(b) = -b**3 - 6*b**2 - 5*b + 5. Let x be q(-5). Let v(r) = -r**2 + 9*r + 4. Suppose 10*a + 9 - 59 = 0. Let f be v(a). Solve 4 = -x*t + f for t.
4
Let v(f) = -f**3 + 20*f**2. Let h(b) = 9*b - 34. Let x be h(6). Let w be v(x). Solve l + w*l + 2 = 0 for l.
-2
Let y be (16/(-5))/(4/20). Let g = y + 4. Let a be (-1)/3 - 4/g. Solve i = -a*i for i.
0
Suppose 20 = -3*q - 7. Let o = q + 6. Let i = 5 - o. Solve p = -p + i for p.
4
Let z(w) = w**3 - 10*w**2 + 25*w. Let n be z(6). Solve n*s = -s + 8*s for s.
0
Suppose -5*t - 4*x = -124, -5*t + 117 - 1 = -4*x. Suppose t = -j - j. Let a(o) = -o - 9. Let b be a(j). Solve r = -b*r + 16 for r.
4
Suppose 25*t - 20*t - 29*t + 24 = 0. Let v be ((-9)/4)/(1/(-4)). Suppose -2*u = -5*g + v + 1, -4*g + 8 = 2*u. Solve -3*x = -t - g for x.
1
Let f be ((-213)/(-24) - 9) + (-50)/(-16). Solve 0 = f*d + 2*d + 25 for d.
-5
Let i(z) = 49*z**3 - 2*z**2 + 1. Let b be i(1). Let a = b + -44. Solve -y - 3 = -a for y.
1
Let j = -201 + 201. Solve -2*m - 7 + 5 = j for m.
-1
Let j(d) = -d + 6. Let m be j(4). Suppose -2*y - m*y = -4. Solve 13 = -3*c + y for c.
-4
Let u be ((-7)/2)/(-5 + (-273)/(-54)). Let v = -55 - u. Solve 5*i = v*i for i.
0
Let i = 125 + -75. Suppose p - 6*p = -i. Solve p = 2*o - 0 for o.
5
Suppose 4 = 4*g - 2*g. Let v = 73 + -47. Suppose 0 = 29*x - v*x - 6. Solve -x = d + g for d.
-4
Let x(g) be the first derivative of g**6/360 + g**5/12 + 2*g**3/3 + 2. Let h(o) be the third derivative of x(o). Let t be h(-11). Solve 4*p + 9 = -t for p.
-5
Let x(z) = -2*z - 19. Let h(f) = -2*f**2 - 3*f + 3. Let d be h(2). Let t be x(d). Let v be ((-27)/(-9))/(t/4). Solve v*m - m = 12 for m.
4
Let i(n) = n**2 - 13. Let g be i(4). Solve -g*u = u - 20 for u.
5
Let t be ((-8)/(-5) + -1)*(-2 + 7). Suppose -t*c = -0*q + 5*q + 1, -9 = -5*c - 3*q. Solve -c*n = -2*n for n.
0
Let b(l) = l**3 + 13*l**2 - 15*l - 15. Let a be b(-14). Let x be 3 + 1/(1/a). Suppose -2 = x*c + 2*u + u, 0 = -2*c - 4*u - 4. Solve -4 = k - c*k for k.
4
Let x(q) = 4 - 1 - 7 + q**3 + 6 - 14*q**2. Let y be x(14). Solve -y*s + 3*s = 0 for s.
0
Let v be (-1*21)/(5/(-5)). Let c be (-2)/(-3) - 35/v. Let y be (2 - -2 - 9)/c. Solve y*h = 6*h + 2 for h.
-2
Let m(l) = 47*l - 682. Let u be m(15). Solve 5*t + 2 + u = 0 for t.
-5
Suppose 4*h + 4*o = 68, -3*h + 4*o = -7 - 37. Solve -5*x = -9*x - h for x.
-4
Let h be ((-33)/22)/(6/(-140)). Suppose -c = 0, -3*y = -5*c + h + 19. Let s be (45/y)/((-5)/4). Solve 2*m + s = 6 for m.
2
Let w be -1 - (4/(-10))/((-1)/(-5)). Suppose i + 2*k = -w, -2*i + 9 + 3 = -3*k. Solve 0 = -8*r + i*r - 25 for r.
-5
Suppose -l - 2*o = -43, 4*l = -3*o + 4*o + 172. Suppose -45*h + l*h = -6. Solve -5*k - 2 = -h*k for k.
-1
Let m(u) = 11*u**2 - u. Let q be (14/(-21))/((-1)/6). Suppose 2*z = 1 + 3, z + 2 = q*o. Let n be m(o). Solve 5*k = -0*k + n for k.
2
Let j(x) be the first derivative of -x**4/4 + 5*x**3/3 + x**2 - 19*x - 2. Let p be j(4). Solve p - 3 = -2*c for c.
-1
Let o be 20/(-70) + 23/7. Suppose 0 = 5*y + 5*d, o*y + 0*d = 5*d + 16. Solve 0 = y*p - 6*p + 8 for p.
2
Suppose -6*p + 19 = 1. Solve -p*f = -7*f + 20 for f.
5
Suppose -3*q - q + 2*b = -30, -q + b = -9. Solve 14 + q = -4*u for u.
-5
Suppose 0 = 2*y + g - 2*g - 1, 1 = -4*y - g. Solve -7*z + 6 - 34 = y for z.
-4
Suppose -17 + 11 = -3*q. Solve 0 = 7*a - 6*a - q for a.
2
Suppose 0 = 12*u - 9*u. Suppose 18*a - 19*a = u. Solve a = -c - 2*c for c.
0
Let w be (-1 - -2 - -10)*-5. Let q = w - -57. Solve -3*g = -q*g + 4 for g.
-4
Let c(i) = i**2 + 6*i + 20. Let m be c(-4). Solve -z + 16 - m = 0 for z.
4
Suppose 0 = 59*f - 56*f - 9. Suppose -k = 0, -f*k + 44 = 3*j - 1. Solve 0*s - j = -3*s for s.
5
Let f be ((-8)/(-10))/((-2)/(-10)). Suppose f*w - 2*w = 0. Suppose 7*h = 3038 - 3024. Solve w = 4*l - 3*l - h for l.
2
Let m = 4 + -9. Suppose 164*h = 156*h - 40. Let a be (3 - 2)*(m - h). Solve -3*f + a = 12 for f.
-4
Suppose 2*y + 24 - 66 = 0. Solve -16*u = -y*u + 5 for u.
1
Suppose 2*r = -t + 67, 2*r - 3*t = t + 92. Solve -5*i = -r*i fo