 2*d - 3. Let x be u(3). Solve 0 = -x*v - 0*v for v.
0
Suppose 0 = 2*y - 19 + 5. Suppose y*v = 2*v - 20. Let x = v - -4. Solve x = -0*t - 4*t - 4 for t.
-1
Let a be ((-6)/((-6)/(-83)))/(1 + -2). Let f = a + -79. Solve f*d + 5 = 1 for d.
-1
Let y(p) be the third derivative of p**6/120 + p**5/10 - 7*p**4/24 + p**3/6 + 12*p**2. Let o be y(-7). Let v(n) = n - 2. Let i be v(5). Solve i*u + o = 4 for u.
1
Suppose s + 2*n - 7*n - 2 = 0, -s = -n + 6. Let c(k) = 15 + 5*k**2 + 3*k**2 - 3 + 11*k**3 + k - 11*k**3 + k**3. Let g be c(s). Solve -1 = -v - g for v.
-3
Suppose -5*d + 2 = r, 12*r - 16*r - 3*d = -8. Let s = -22 + 12. Let j = s + 14. Solve j*o + r = 6 for o.
1
Suppose 2*g = 3*f + 181, 0 = -0*f - 3*f - 5*g - 188. Let z = f - -65. Solve -z*x + 2 = -2*x for x.
1
Let o(q) = q**2 + 2*q - 4. Let h be 6/3*-2*1. Let g be o(h). Let u = 13375 - 13350. Solve -b - u = g*b for b.
-5
Let p(k) = -2*k - 13. Let m be p(-6). Let l be (0 - m/(-3)) + (-19)/(-3). Solve -5*q - 14 = l for q.
-4
Let j(q) = q**2 - 24*q + 156. Let d be j(12). Solve 3*n = 7*n + d for n.
-3
Let s = -14 + 24. Suppose 0 = 4*v + v - s. Solve v*z = -2*z + 20 for z.
5
Let u(s) = -2*s**2 + 2*s + 4. Let d be u(-1). Solve 5*a - a + 16 = d for a.
-4
Let g be (-12)/(-18)*6 - -6. Let t(v) = -v + 2. Let h be t(6). Let a be ((-8)/g)/(h/70). Solve 2 = -4*q + a for q.
3
Let m(j) = -2*j**3 + 20*j**2 + 22*j + 12. Let r be m(11). Solve 2*v + r = -2*v for v.
-3
Suppose 0 = -p + 4*o + 44, -27*p = -29*p + o + 67. Solve 0 = 37*u - p*u + 10 for u.
-2
Let a = -64 - -52. Let h be a*(-3)/((-18)/(-4)). Let l(b) = b - 4. Let q be l(4). Solve 3*r - r - h = q for r.
4
Suppose 0 = -4*x + r + 12, r = 2*x - 0*r - 8. Solve 4*l + 6 = -x for l.
-2
Let k be (-5)/(-10) + (-15)/(-6). Let p be (3*1/3)/(k/15). Solve -p*h + h = 16 for h.
-4
Suppose 0 = -2*r - 3*r. Let w be 1/(((-28)/108)/(-7)). Suppose 9*c = -0*c + w. Solve c*g - 6 = -r for g.
2
Let l(a) = a**2 - 1. Let n(c) = 3*c**2 - 3*c - 3. Let j(q) = l(q) + n(q). Let p be j(-1). Solve p*u - 2 = 1 for u.
1
Let h = 42 + -30. Let u be 2 + -6 - 4*-1. Suppose u = 4*z - 7 - 5. Solve o = -z*o + h for o.
3
Let z be 5/(-15) + (-303)/9. Let l = 62 + z. Let o = -26 + l. Solve -o*i - 6 = -0*i for i.
-3
Suppose h + 0*h - 6 = 0. Suppose -2*o - r = -23, h = 5*o - 3*r - 24. Solve -5*k + o = -1 for k.
2
Let h(q) = q + 5. Let x(k) = 3*k - 7. Let z be x(3). Suppose -4 = z*t + 6. Let r be h(t). Solve r = 4*y + y for y.
0
Let l be 12/(-20)*(-1 + -4). Suppose 0 = -3*w - 4*f + 6 + 7, -43 = -5*w + 4*f. Solve 8 = w*g - l*g for g.
2
Suppose -22*f + 64 + 134 = 0. Solve -3 - f = -3*r for r.
4
Let f(t) = 1. Let w(l) = -l**3 + 4*l**2 - l. Let b(p) = 4*f(p) + w(p). Let u be b(4). Suppose u*r + 4*r - 5*q = 5, q = 5*r - 22. Solve -r*d + d - 20 = 0 for d.
-5
Let n be (2/3 + -2)*-6. Suppose 4*w - n = 2*w. Suppose 5*s = w*x + 103 + 17, -s - 5*x - 5 = 0. Solve 5*o + 0*o = s for o.
4
Let i(d) = -3*d - 18. Let v be i(-9). Suppose 4*h = 5*h - 5. Let c = h - 1. Solve c*u = u - v for u.
-3
Let q = -17 - 16. Let l be (4 - 0)/((-22)/q). Suppose -5*j - 4 = 2*p, j - 3*p = 5*j + l. Solve 7*o - 2*o + 5 = j for o.
-1
Let r(u) = u**2 - 2. Let j(o) = -o**2 + 9*o + 3. Let i be j(9). Suppose -x + 3*c + 8 = x, i*c = -12. Let f be r(x). Solve -2*z + 12 = f*z for z.
3
Suppose -2*i + 8 = 2*x - 0*x, -4*i = 4. Suppose -6*a = -2*a + u - 75, -x*a - 2*u + 90 = 0. Suppose -j - 9 + 12 = 0. Solve -j*b - a = b for b.
-5
Let p(z) = -z**3 + 15*z**2 + 16*z + 16. Let k be p(16). Let s = k - 13. Let u be 0*(s - 8/3). Solve 4*x = -u*x + 4 for x.
1
Let m be (10/(-1))/(-1) - 2. Let y be m/3*360/(-16). Let p be 7/((-21)/y) + -4. Solve 5*f - f - p = 0 for f.
4
Suppose -4*i = 3*w + 8, -3*w - 7 = -2*i + 7. Let h(p) = -1 - 4*p**3 + 5*p**3 - 1 + p**2 + i. Let x be h(1). Solve 5 + x = -3*m for m.
-2
Let g be (-2 + 124/12)/(4/12). Solve 4*x = 9*x + g for x.
-5
Let y(r) = r**3 + 2*r**2 - 50*r + 14. Let n be y(6). Let k = -2 + 7. Let z = 5 - k. Solve z = -l - 1 + n for l.
1
Let w = 6 + 0. Let j be 30/(-20)*(-16)/w. Suppose -8 = 2*x - j*x. Solve -p = p + x for p.
-2
Let q = 1 - 2. Let d be (0 + q)/((-2)/4). Suppose -2*b - 2 = -3*x - 1, 0 = 2*b + 4*x - 6. Solve n + b = d*n for n.
1
Let b be (-7 - (-4 + -9))*8/3. Suppose a = b - 14. Let u = -11 - -17. Solve -u*p = -a*p for p.
0
Let b(a) = 2*a**3 + a**2 - 6*a + 4. Let k be b(1). Solve -5*g = -6*g + k for g.
1
Let o(y) = -y**3 + 6*y**2 - 9*y + 3. Let z be o(4). Let p(x) = -7*x - 2. Let i be p(z). Let w = i + -1. Solve -d - w + 3 = 0 for d.
-1
Let b(j) = -2*j**2 + 18*j + 13. Let c(d) = -d**2 + 9*d + 7. Let g(v) = 3*b(v) - 5*c(v). Let k be g(9). Solve -4*o + 4 = -k for o.
2
Let b be 18/14 + 16/(-56). Let i be (-2)/8 - (-6)/24. Suppose -3*v + 4 - b = i. Solve 0 = -p + 2*p - v for p.
1
Let l(b) = 4*b - 7. Suppose 4*s - 24 = -0*s. Let a = s + -1. Let w be l(a). Solve 0 = 3*u - w - 2 for u.
5
Let c = -253 + 258. Solve 4*t - 1 = c*t for t.
-1
Suppose f = -4*f + 5. Let j be (-24)/60 + 36/(-10). Let k be (-12)/(-3*(-1)/j). Solve 5*c - f = -k for c.
-3
Suppose 2*j + j + 15 = 0, -5*j = 5*m + 15. Suppose 43 = 5*a - m*x + x, 2*x = -3*a + 18. Solve a = -v - v for v.
-4
Let s = -1 + 6. Let h = -23 + 13. Let b be (h - -9)*(1 + -9). Solve s*i = -b - 12 for i.
-4
Let p be 5 - (-10 - -2)/(0 + 2). Solve 0 = 2*b - 5*b - p for b.
-3
Suppose 0 = 6*p - 11*p + 60. Solve p*q + 4 = 11*q for q.
-4
Suppose 3*w - h = 3, w - 5*h = -3*h - 4. Solve -w*y = -6*y + 12 for y.
3
Suppose 0*j + 5 = -5*j. Let v = j + 4. Let q be 3/4*4 - (-10 - 2). Solve -2*k - v*k - q = 0 for k.
-3
Suppose 5*m - 5*h - 20 = 0, -3*m - h = 4*h - 20. Solve m*y - 9*y - 4 = 0 for y.
-1
Let m(a) = -3*a + 1. Let o be m(-1). Let p(r) = r**3 + 5*r**2 - 22*r - 102. Let k be p(-4). Solve k*v = -2*v + o for v.
1
Let n = -17 + 19. Let u(i) = i**2 - 2*i**2 - n*i + 8*i + 2*i - 5. Let c be u(7). Solve -h = -c*h for h.
0
Suppose w + 16 = -4*t, 3*w - 4*t + 8 - 40 = 0. Solve -8*o + 12*o + w = 0 for o.
-1
Let y be (-2268)/(-1071) + 1 + (-38)/34. Solve y = -v + 5 for v.
3
Let m(p) = 2*p - 6. Let s be m(4). Suppose s = -4*r + 10. Let z(a) = 3*a + 2. Let y be z(r). Solve 4 + y = 4*b for b.
3
Let m be 1/(-5) - 51/(-5). Suppose 2*k - m = 5*g, -k - 2*k - 10 = 5*g. Suppose k = -4*t + 10 - 2. Solve -t*o + 3 = -5*o for o.
-1
Suppose 0 = 5*i + 3*i + 2*i. Solve i + 6 = 2*s for s.
3
Let t = -264 - -272. Solve 4*a - 4 = t for a.
3
Let q = -162 + 16. Let y = -146 - q. Solve 3*i + y = 3 for i.
1
Let i = -95 + 110. Suppose 0 = -i*q + 33 + 42. Solve -q*d - 16 = -d for d.
-4
Let p be -2 + 3 + (-12)/(-6 - -3). Suppose 3*q = 3*l - 3, -p*l = -4*q - 4 - 3. Solve -q - 1 = c for c.
-3
Let o(x) = x**3 + 21*x**2 + 2*x + 42. Let v be o(-21). Solve 0 = -3*t - v*t - 6 for t.
-2
Let k = -58 + 63. Solve -k*v = -4*v - 1 for v.
1
Let m be 1*(-2 - -2)*-1. Suppose -v + 2 = -3*y + 11, 3*v + y - 3 = m. Let w(x) = -x**3 - x**2 + 24. Let r be w(v). Solve 5*k - 1 = r for k.
5
Let o(t) = -t**2 - 6*t - 4. Suppose -8 = 29*q - 27*q. Let h be o(q). Solve 4 + 16 = -h*j for j.
-5
Let t = -26 + 41. Let u be 47/t - (-2)/(-15). Suppose -4*x - 1 = u*l, l + 2*l + 17 = 4*x. Solve 3*z + x + 4 = 0 for z.
-2
Let x = -7 - -14. Let z = 2 - x. Let h be 9 + 2/(z + 3). Solve -5*o - h - 2 = 0 for o.
-2
Let q be (3/15)/(7*(-4)/(-420)). Solve -13 + 4 = q*r for r.
-3
Suppose 5*j - 53 + 0 = -4*y, -4*y = -2*j - 46. Suppose -n + 22 = 4*b, -553 + 588 = 5*b + 5*n. Solve h - b*h + y = 0 for h.
3
Let m be (-1)/2*(1 - 5). Let h(j) = -j**2 + 9*j + 1. Let y be h(9). Let r be (-5)/(-3) - (-28)/21. Solve -m*l - r = y for l.
-2
Let q(g) = -g**3 - 4*g**2 + 10*g + 65. Let t be q(-5). Solve -6*v + 46 = t for v.
1
Let v be (-196)/(-84)*36/21. Solve -7*w = v + 3 for w.
-1
Let q(t) be the second derivative of -t**3/2 + 33*t**2/2 + t. Let h be q(10). Solve h*d - d = -4 for d.
-2
Let w be 1 + (55/22)/(1/8). Suppose -5*k = u - 5*u - 8, 3*k - 2 = u. Suppose k = -2*l + 7*l - 25. Solve l*f + 4 = -w for f.
-5
Let w(o) be the third derivative of o**4/24 - o**3/6 + 7*o**2. Let z be w(3). Solve 0*p + p = z for p.
2
Let w be 2/(-11) + (-8358)/(-231). Let m = -32 + w. Solve 4 = m*g + 24 for g.
-5
Suppose 3*l - 9 = 24. Suppose -12 = -p - l. Suppose -n + 0*f = 2*f + p, 5*n = f + 28. Solve 8*d + 15 = n*d for d.
-5
Let k = 17 - 15. Suppose 0 = -k*z - 0*z. Suppose -5*j + 7*j - 6 = z. So