Let w be s(y). Solve -2*c - 5 - w = 0 for c.
-4
Let t be (2/4)/((-7)/168). Let l(q) = q**3 + 13*q**2 + 12*q + 16. Let y be l(t). Suppose -i = -0*z + 3*z - 17, -4*z = -2*i - y. Solve -i*h - 2*h = 0 for h.
0
Suppose -y + 382 = 4*i + 400, -2*y - 2*i = 6. Let z = 3 + -2. Suppose -s = -3 + z. Solve y*u + s = 4*u for u.
1
Suppose -2*c + 18 = -2*l, 3*c - 50 = 5*l - 11. Let w be -3 - (l + -2 - -4). Solve -w = -2*m - 7 for m.
-3
Let q(a) = a**2 - a + 9. Let t be q(0). Suppose 2*m - t = -1. Let z = 0 + 0. Solve -f + m + 0 = z for f.
4
Let r(z) = z**3 - 8*z**2 + 13*z - 2. Let n be r(6). Solve n = 4*l - 4 for l.
2
Let p(y) = -3*y**3 - 2*y**2 - y. Let w be p(-2). Suppose -3 = -3*l, -3*a + 3*l - 12 = w. Let k = a + 9. Solve k*d - d + 5 = 0 for d.
5
Let l be 7/35*(0 + 1)*365. Let d = -71 + l. Solve -6 = 2*y + d for y.
-4
Let h = -11 - -13. Let g = 5 - 2. Suppose 3*p = 1 + 38. Solve g*u + p = -h for u.
-5
Let k(n) = n**3 - 8*n**2 + 33*n - 111. Let t be k(6). Solve t*j - 4 = 19*j for j.
-1
Let r(x) be the third derivative of x**4/12 - 7*x**3/2 + 4*x**2. Let p be r(12). Solve 0 = -0*t + p*t - 9 for t.
3
Suppose 3*h = 2*t + 28, 0 = 5*h - 26 + 6. Let v be (-34)/(-10) - t/(-20). Solve -v*u = -u for u.
0
Let n = -17 - -9. Let y be (n/(-10))/((-12)/30). Let b be y/(-5) + 64/40. Solve -b*u = -u for u.
0
Let l = 105 + -103. Solve 0*y - l*y = 0 for y.
0
Suppose -4*d + 2*w - 5*w + 27 = 0, 0 = d - 4*w + 17. Suppose 6*m = 2*m, -d*z + m = -9. Solve h + z*h = 20 for h.
5
Suppose 3*q = -5*f + 122, -3*q = -9 - 3. Let s = -18 + f. Solve -6 = -v + s*v for v.
-2
Let y(s) = -4*s**3 - s**2 + 7*s - 2. Let q(c) = -5*c**3 - 2*c**2 + 8*c - 2. Let a(h) = -5*q(h) + 6*y(h). Let n be a(-2). Solve -13 = -3*b + n for b.
5
Suppose 4*i - 20 = -f, 0 = -3*i - 0*i + 4*f + 15. Suppose 39 = -i*c + 44. Solve a + 0 = -c for a.
-1
Let l(v) = 2*v**2. Let k be l(-1). Let c(f) = 30*f - 2. Let a be c(-2). Let t = a - -65. Solve k*i + t + 5 = 0 for i.
-4
Suppose -13*y = -16*y + 186. Solve -2*o - y = -70 for o.
4
Let y(z) = -z**3 - 4*z**2 + 4. Let s be y(-4). Suppose s*c - k = 12, -2*c + 6*c = -5*k - 12. Suppose 39 = 6*p + 15. Solve c*u = -2 - p for u.
-3
Suppose 0 = -8*g + 2*g + 2*g. Let a(v) = v**3 + v**2 - 3. Let q be a(0). Let m be (g - 0)/(q - -2). Solve -3*n - 5 + 17 = m for n.
4
Let u = 11 + 7. Let p be (-3*4/(-6))/((-4)/54). Let o = 29 + p. Solve 0 = -4*a + u - o for a.
4
Let y(o) = -o**3 - 5*o**2 + 6*o + 4. Let b be y(-6). Suppose -5*p = -b*p - 2. Solve -p*h + h + 1 = 0 for h.
1
Let d(c) = -3*c - 12. Let r be d(-3). Let u be (-3)/(r*(-2)/(-12)). Suppose w + w = u. Solve 14 = w*o - 1 for o.
5
Let p = 251 + -251. Solve 4 = -l - p for l.
-4
Let t be (-3 + 10/4)*-24. Suppose -2*n - 7*p = -2*p - 6, -p - t = -4*n. Suppose s = 6*s + 25, n*s = -c + 5. Solve u + c = 6*u for u.
4
Let s be (0 - 0)/(-8 - -5). Suppose s = -r + 5 + 2. Solve -r*o = -2*o - 20 for o.
4
Let u(w) = -35*w + 492. Let z be u(14). Solve 15*r + 32 = z for r.
-2
Let m be ((-20)/45)/(8/(-36)). Solve m*w + 5 = 1 for w.
-2
Let m = 338 - 336. Solve m*k + k = 0 for k.
0
Suppose 0 = -2*r - 7 + 1. Let z be (r/1 - -3)/1. Suppose z*f + 12 = 3*f. Solve 15 = s + f*s for s.
3
Suppose 133*i - 98*i = 140. Solve -3 = -i*f + 5 for f.
2
Let m be (-190)/(-1235) - 74/(-26). Solve v = m - 2 for v.
1
Suppose -3*f + 2*f = -3. Let v(h) = h**2 - 7*h - 3. Let y be v(7). Let j be (y/(-2))/((-6)/(-4)). Solve -4*u + j = -f for u.
1
Suppose -2*j - 139 + 27 = 0. Let a be 1/(-3) + j/(-42). Solve -t - 5 = -a for t.
-4
Let p(q) = 26*q**2 - 54*q**2 + 27*q**2 + 4*q + 2*q. Let s be p(5). Solve -m - s = -3 for m.
-2
Let y = -3 + 0. Let x be ((-21)/6 - y)*0. Solve x = -5*f - 1 + 16 for f.
3
Let h(i) = -i**2 + 11*i + 2. Let s be h(11). Suppose -a + z - 9 = -2*a, s*a = -5*z + 15. Let j be -3 - (-1 + -1) - -1. Solve -4*b + 2*b - a = j for b.
-5
Let p be (-112)/(-16) + (-2 - (-4 + 3)). Solve -5*v = -p - 4 for v.
2
Let x = 30 + -26. Suppose -18 = -x*n + 2. Let u(b) = b**2 - 7*b + 10. Let i be u(n). Solve -5*m + 8 + 17 = i for m.
5
Let y be -3*(10/(-3))/5. Let o(m) = 22 + m**3 - 6*m - 3 + m**y + 6*m**2. Let h be o(-8). Solve h = w + 2 for w.
1
Suppose 5*o + 16 = -m, -4*m + 13 = -2*o - 11. Let i(h) = h**2 - 2*h + 4. Let s be i(m). Let r be 0 + 3/s*0. Solve -5*v + v - 16 = r for v.
-4
Let w(y) be the second derivative of y**5/20 - y**4/6 - 4*y**3/3 + y**2 - 4*y. Let a be w(4). Solve -4*v + 10 = -a*v for v.
5
Let h(w) = -5*w**3 - w**2 + 2*w + 2. Let o be (4/(-13))/(-2) + 30/(-26). Let b be h(o). Solve b - 6 = -v for v.
2
Let a = -156 + 158. Let m be 7/14*0/(3/(-1)). Solve a*o = -m*o + 4 for o.
2
Let l = -7 + 27. Solve -3*f = 2*f - l for f.
4
Let m = 50 - 44. Suppose -m*v = -27 + 9. Solve 2*d + v*d = 15 for d.
3
Let r = 35 - -2. Suppose -y = -r - 26. Suppose 4*u - y + 15 = 0. Solve 5*b - u = b for b.
3
Let r(p) = 2*p**2 - 25*p + 37. Let j be r(11). Solve -j*n + 157 - 137 = 0 for n.
5
Let d(v) = -v**2 - 44*v + 1201. Let a be d(-63). Suppose -5 = 2*j + 3*j. Let z be -1 - (-2 + j/1). Solve a*t - 2 = z*t for t.
1
Let a(t) be the second derivative of 2*t**2 + 0 - 9*t + 1/6*t**3. Let w be a(3). Solve w*s = 2*s for s.
0
Let y(n) = 2*n + 12. Let s be (-26)/(-6) + (-2)/6. Suppose 3*k = 5*m + 15, s*k + 3 = 5*m + 18. Let i be y(k). Solve 2*g - 5*g = -i for g.
4
Suppose -2 = 2*y, 31 = 4*i - 0*y + 5*y. Solve 0 = -i*m + 5*m for m.
0
Let o be 1 + 0 + (-64)/(-8). Solve o*u + 2 = 10*u for u.
2
Let d(j) be the second derivative of -j**3/3 + 21*j**2 + 10*j. Let r be d(20). Solve r*k - 7 = -3 for k.
2
Let o(h) = -h**2 + 20*h + 272. Let t be o(29). Solve t*r + 39 + 5 = 0 for r.
-4
Let g = -378 + 395. Solve g = 3*f + 29 for f.
-4
Let w be (21/6)/(1/(-2)). Let t = 13 + w. Let p be -2 + -2 + 18/3. Solve -p*k + t = k for k.
2
Let d be 2/27*3 + 4/(-18). Suppose d = -3*m + 4*z - 4, 9*z - 8*z = m + 1. Solve m = -7*i + 4*i - 15 for i.
-5
Let g(d) = -d**3 + 26*d**2 - 27*d + 97. Let s be g(25). Solve -35 = -3*a - s for a.
-4
Suppose 26*m = 82*m - 1288. Solve -9*x = -m*x + 28 for x.
2
Let m(z) = -3*z**2 + 15*z + 8. Let d(g) = -2*g**2 + 8*g + 4. Let v(u) = 5*d(u) - 3*m(u). Let k be v(-3). Suppose -c + 4 = 1. Solve -3*l - c = -k*l for l.
-3
Suppose 3*k + 2*k = -5. Let y be (-39)/(-12) + k/4. Let u = -216 + 217. Solve y = -2*q - u for q.
-2
Let a be (-4)/(-16) + (-38)/(-8). Suppose -5 = -a*x + 5. Let c = -42 + 42. Solve x*h + 4 = -c for h.
-2
Let l(i) = -123*i + 13 + 130*i + 26 + 4. Let n be l(-5). Suppose 2*r + 2*r - 12 = 0. Solve u - r*u + n = 0 for u.
4
Suppose -4*g + 9 = -g. Let u be (2 + (-5)/g)*57. Let c = u + -15. Solve c*t + 1 - 21 = 0 for t.
5
Let x = -42 - -45. Suppose -4*a = -9 - x. Solve a = 4*b - 1 for b.
1
Let g be (15/9)/((-6)/(-108)). Let x = g + -30. Solve -5*j - 10 = -x*j for j.
-2
Suppose -2*p + x = -7, -5*p = 5*x + 3 - 28. Let d(s) = s**2 - s - 3. Let v be d(5). Solve -p*y + v = -3 for y.
5
Let r = -892 - -1063. Solve 159 = 4*a + r for a.
-3
Suppose g + 2*v - 164 = -4*g, -4*g + 136 = 4*v. Suppose 2*r = 2*y + 3*r - 7, y + r = 2. Suppose k - y*k + g = 0. Solve 3*x + x = -k for x.
-2
Let d be 13296/272 + 12/102. Solve 44*y + 20 = d*y for y.
4
Suppose -4*c = -0*c - 12. Suppose -1 = -k - c. Let v be (k/(-3))/(6/27). Solve -6*f = -v*f for f.
0
Suppose 0 = -d + l - 0 + 23, 0 = d + l - 23. Let i = d + -18. Solve -i*y + 7 = 2 for y.
1
Suppose 6*b = 79 + 59. Let l = 40 - b. Suppose -l = -6*u + 1. Solve 0 = -8*m + u*m for m.
0
Suppose 7*k - 114 = -4*l + 2*k, -l + 4*k + 18 = 0. Suppose 4*y + l = 46. Solve -11 = 4*r + y for r.
-4
Suppose 0 = 5*d - 1 - 9. Suppose -3*u = -5*x + 19, 0 = -d*u + u + 4*x - 18. Solve -u*i + 20 = -6*i for i.
-5
Let f = -33 - -56. Let y = 28 - f. Solve 5*j = -0 - y for j.
-1
Suppose -12 = 2*t + 4*i, 4*t - 2*i + 5*i + 4 = 0. Suppose 5 + 9 = o. Suppose -4*j + o = 2. Solve t*x - j = 3 for x.
3
Suppose 2*y - 8 = -0*y. Suppose -y*q = 27 + 5. Let j = 9 + q. Solve -j = 2*s - 3*s for s.
1
Suppose 17*j + 71 - 122 = 0. Solve j*m + 8 = 23 for m.
5
Let h be 7/4*(44 - (4 + -12)). Suppose -h*k + 6 = -88*k. Solve n + 1 = k*n for n.
1
Suppose -4*d - 852 = -3*w, -5*w + 7*d + 1420 = 3*d. Suppose f - w = -3*f. Suppose 4*o - f = -3. Solve -o = -3*k - 2 for k.
5
Let a be (1 - -2) + 12 + -15. Solve -8 = 4*r - a*r for r.
-2
Let j(v) = -18*v + 55. Let z be j(1). Solve 30*w - z*w + 7 = 0 for w.
1
Suppose 0 =