Let d(o) = -c(o) - 3*h(o). Let l be d(q). Solve a = -l*a + 4 for a.
4
Let q = -112 + 34. Let w = -80 - q. Let u be (-4)/(12/(-17)) - w/(-3). Solve u = -0*x - x for x.
-5
Let u be 0 - (2 - 1) - 192/(-16). Let x = u - 8. Solve -x = -3*r - 0 for r.
1
Let j = -5135 - -5171. Solve -5*l + j = 31 for l.
1
Let f be (-11968)/(-33) + -11 + 372/36. Solve 50*t = -f + 62 for t.
-6
Let f(u) = 2*u**2 - 18*u - 9. Let y be f(-4). Let c = y - 92. Suppose -c*i = -5*w - 40, 2*w = 3*i - 2*w - 44. Solve -2*n + 7*n - i = 0 for n.
4
Let s(y) = 310*y + 525. Let h be s(-1). Solve q = -219 + h for q.
-4
Let b = -207 - -878. Let s = -666 + b. Let p be 4/20 + (-1)/5. Solve p = u - s*u for u.
0
Suppose -19*k + 17*k + 4*i = 12, i - 3 = -3*k. Solve 17*j - 6*j - 66 = k for j.
6
Suppose -7 = -7*s + 14. Suppose s*k = -4*r + 20 - 7, 0 = 3*r - 4*k - 16. Suppose -y = -5*y + 24. Solve 0 = -2*n - r - y for n.
-5
Let i(v) = 282*v - 1073. Let j be i(4). Solve 0 = -j*t + 60*t + 20 for t.
-4
Suppose 2*d = 4*s + 115 + 185, 2*s + 582 = 4*d. Let c be 0 + -141*(1 - 0). Let t = c + d. Solve -v - t = 1 for v.
-4
Let n be -1 + 5 + 4/(-2). Let q(d) = 2*d**2 - 15*d - 6. Let t be q(8). Suppose s = n*s - t*s. Solve s*f - 16 = -4*f for f.
4
Let y be (-3 - -1 - -2)/(-3). Suppose y = -4*j - 4*w + 20, -4*j - 15 = -8*j - 3*w. Let t be j/(-14) + 3 + 1. Solve 0 = t*x - 7*x for x.
0
Let n be (-1 + (-3)/(-5))/((-8)/40). Let c(j) = 15 + 1 - 15*j**2 + 25*j**n - 11*j**2 + 15*j. Let i be c(16). Solve -2 = -i*u + u for u.
-2
Let x(p) = -21*p**2 + 75*p - 107. Let o(a) = -4*a**2 + 15*a - 21. Let m(c) = 11*o(c) - 2*x(c). Let z be m(5). Solve z*y - 2 = 10*y for y.
-1
Let p(y) = -3*y**3 - 59*y**2 + 53*y + 89. Let a(z) = -4*z**3 - 88*z**2 + 79*z + 134. Let n(h) = -5*a(h) + 7*p(h). Let f be n(26). Solve i = -f + 3 for i.
-2
Let f be -48*((-236)/590 + (-2 + 4)/30). Solve 7*v = 44 - f for v.
4
Let r(f) = -9*f + 288. Let y be r(32). Let c = 44 + -30. Solve -6*o - o + c = y for o.
2
Let s = -4036 - -4084. Solve 3*v = -36 + s for v.
4
Let v be -1 + (0 - -23) - -8. Suppose -q + 4 = 0, -2*a = -a + 3*q + 15. Let w = a + v. Solve 4*l = w + 13 for l.
4
Let c(s) = -s**2 - 26*s + 60. Suppose 25*p - 38*p - 364 = 0. Let n be c(p). Solve -n*o = o for o.
0
Let x(a) = -2*a**2 + 20*a + 3. Let f = -14 - -15. Let v = 11 - f. Let g be x(v). Solve 0 = 5*d - 13 + g for d.
2
Let i be (0 + -1)*(-2)/2. Suppose k - 4*d = 17, 2*k - 12*d = -10*d + 10. Let m be (-12)/3 - k/((-5)/20). Solve 0 = -f - m*f - i for f.
-1
Let v(l) be the second derivative of -l**5/20 - l**4/12 - 4*l**3/3 + 2*l**2 + 22*l. Let b be v(0). Solve 6*c - 4 = b*c for c.
2
Let y = 9994 - 9978. Solve -61 + y = 9*x for x.
-5
Suppose p - 5*p + 120 = 0. Let m be (6 + -10 + -3 + 6)*-6. Solve 0*c = m*c + p for c.
-5
Let n(c) = 33*c**2 - 12*c - 50. Let l be n(-3). Solve -11 - l = 42*k for k.
-7
Suppose -138 = -k + 2*u + 15, 3*k - 513 = -3*u. Solve -17*n + 50*n = k for n.
5
Let j(f) be the first derivative of f**5/120 + f**4/6 + 5*f**3/3 + 39. Let s(d) be the third derivative of j(d). Let z be s(-2). Solve -5*l = z - 12 for l.
2
Suppose 3*w = 5*s + 602, 2*s = 4*s + 2*w + 228. Let r = s - -135. Solve -3*m + 2 = r for m.
-5
Let m(t) = 2*t**2 + t - 2. Let i be m(2). Suppose -20*l + 2 = -19*l. Suppose 2*r + 2 + 0 = l*f, -2*r + 10 = f. Solve -i*u + 25 = -r*u for u.
5
Let t = -1227 + 1299. Solve 14*v + 26 = -t for v.
-7
Let q be (-7)/(-3) - 4/(-6). Let i = 581 - 572. Suppose -3*j - 12 = -i*j. Solve j*m = -q*m for m.
0
Suppose 870*t - 852*t = 0. Solve t = 158*q - 147*q + 22 for q.
-2
Suppose 5*q - 18 = g - 106, 4*q + 209 = 3*g. Let n = 60 - g. Let j be 4/(-1 + (n - -5) + 1). Solve 2*m + j = 12 for m.
5
Let y(r) = 5*r**2 + 321*r + 75. Let l be y(-64). Solve -259 = -l*t - 248 for t.
1
Suppose 0 = -9*i + 197 + 1891. Let d = 253 - i. Solve -24*x + d*x = -9 for x.
3
Let d(i) = i**2 + 524*i - 7271. Let t be d(14). Solve t*g - 12 = 259*g for g.
6
Let w = 857 - 491. Suppose 362*d = w*d - 8. Solve d*q = 6*q - 4 for q.
1
Let s(x) = -x**2 + 22*x + 542. Let y be s(-14). Solve 45*l - 42 = y*l for l.
6
Suppose 168 = 4*k - 3*t, 17*t + 160 = 4*k + 15*t. Solve 0 = 7616*x - 7625*x - k for x.
-4
Let c(x) be the first derivative of -x**4/12 - x**3/6 + 7*x**2 - 15. Let i(q) be the second derivative of c(q). Let z be i(-3). Solve 0 = -2*v - 3*v - z for v.
-1
Let h(y) be the first derivative of 9*y**2/2 + 197*y - 264. Let t be h(-21). Solve 0 = -t*a - 19 + 3 for a.
-2
Let k be (-170 - -172) + 11*1. Solve 7*u = -k*u + 17*u for u.
0
Let k be 3 + -1*1/(4 + -3). Suppose -k*g + 36 = 4*g. Suppose 46 = g*b + 16. Solve 2 = -b*w - 18 for w.
-4
Let b be (-48)/(-40)*5/(1/1). Suppose -3*w + 6*w - b = 0. Suppose 4*t = 3*t + w*p - 3, 2*t + 5*p - 30 = 0. Solve 2 = d + t for d.
-3
Suppose 0 = 3*c + 2*h, 5*h + 19 = -0*c + 2*c. Let a be 68/187 + (-348)/(-132). Suppose -25 = -3*s - 3*d + 26, d = 3*s - 43. Solve c*w = -a*w - s for w.
-3
Let r(t) = -t**3 - t**2. Let k(f) = 3*f**3 + 7*f - 10 + 1 - 2*f**3 + 6*f**3. Let u(i) = k(i) + 6*r(i). Let n be u(5). Solve -x + 0*x + n = 0 for x.
1
Let i(c) = 6*c + 64. Let q(m) = 12*m + 130. Let s(o) = 9*i(o) - 4*q(o). Let u be s(-9). Solve u*x = 1 - 5 for x.
-2
Let c = 4467 - 4443. Solve 12*n - 72 = -c for n.
4
Let z = -72 + 78. Suppose -6*a + 3*f = -3*a - 18, 4*a + 5*f = z. Solve -5*k + 1 = -a for k.
1
Let w(a) = 37*a - 405. Let m be w(11). Solve -81 + 67 = m*h for h.
-7
Suppose -5*x + 8*x - 78 = 0. Suppose 0 = 30*f - x*f - 20. Solve -8*c = -f*c + 6 for c.
-2
Suppose -5*k + 10 = -2*j + 7*j, -j - 6 = -k. Let t be j/((-4)/(-1)) - 14/(-4). Solve t*l - 2*l = -4 for l.
-4
Let f(p) = -p**2 - 7*p. Let a be f(-3). Suppose -3*h - 4 = -4*j, 4*j - 4*h = -3*h + a. Solve 3*d - j*d = 0 for d.
0
Suppose 3*t + 0*t = -g + 16, 3*g - 15 = 2*t. Let q be -1 + 27 - (2 + 8 - g). Solve -22*h + q*h - 1 = 0 for h.
1
Let s be (-6 - -7)/((-4)/(-8)). Suppose -s*m = -43 + 41. Solve 0 = -6*j + 7*j - m for j.
1
Suppose 62*z - 27573 = -39*z. Solve -258 = 15*s - z for s.
1
Let l(d) = d**3 - d**2 + 3*d + 1. Let i(k) = 4*k**3 + 5*k**2 + 26*k + 14. Let g(w) = i(w) - 5*l(w). Let f be g(11). Solve -7*a = 2*a + f for a.
-1
Suppose 2296 = -75*o + 4221 + 3325. Solve 0 = -o*r + 54*r for r.
0
Let f be ((-2)/3)/(2/66). Let u = 770 + -746. Let p = f + u. Solve -x + 5 - p = 0 for x.
3
Let a = 47 - 33. Let n = 57 - a. Let y = n - 43. Solve 4*w - w = y for w.
0
Suppose 1308*f + 5*k + 454 = 1312*f, 2*k = 3*f - 351. Solve -144*t - 46 = -f*t for t.
-2
Let c(q) = q**2 + 14*q - 27. Let w be c(2). Suppose -5*v = 20, -w*f - 3*v = 2*v - 5. Solve -26*d = -21*d + f for d.
-1
Suppose 2*r = 4*n + 14, -16*r + 11*r - 4*n = 7. Solve 4 = u + r for u.
3
Let n(g) = 78*g - 6988. Let s be n(93). Solve 269*x + 12 = s*x for x.
-4
Suppose 6*h = 3*h + 12. Suppose 0*t = h*t - 60. Let m(j) = -9*j**3 + 41*j**2 - 16*j - 16. Let q be m(4). Solve 5*r - t = -q*r for r.
3
Suppose -2*l - 22 = -4*x, x - 7 = -2*l + 1. Suppose 0 = w - 5*w - 5*s + x, 0 = 3*w + 5*s - 2. Suppose -13 = -4*j - 5. Solve 0 = w*u - 10 - j for u.
3
Let h = 12 + 5. Let o = -48 + h. Let m = -27 - o. Solve -2*w + w = -m for w.
4
Let p be (-22256)/(-7) - 4/(-7) - -2. Suppose 28*l + 9*l - p = 0. Solve 87*g = l*g + 2 for g.
2
Let c = -73 - -70. Let b be c/((-3)/13) + (-12)/3. Solve -b*f = -12*f - 6 for f.
-2
Let g = -826 + 781. Let q = -65 + 118. Let h = q + g. Solve -2 - h = -5*s for s.
2
Suppose -4*h = -2*h. Suppose -4*t = 0, -57*t + 15 = 5*q - 56*t. Solve q*c = -h*c - 9 for c.
-3
Let m(h) = -h**3 - 7*h**2 + 6*h - 2. Let b be m(-8). Suppose 15*a - 59 = -b. Solve 0*o - a*o + 9 = 0 for o.
3
Let x = -3 + 19. Suppose -1091*v + 1087*v + 101 = 3*y, -v + y + 27 = 0. Let q = v - x. Solve -5*c = -15 - q for c.
5
Let u = 15941 + -15795. Solve u = 43*s - 26 for s.
4
Let s(d) = -14*d - 150. Let n be s(-11). Let g(u) = 3*u**2 - 3 - 4*u**2 - 5 + 7*u. Let r be g(n). Solve -a - r*a + 25 = 0 for a.
5
Suppose 69*s - 73*s - 8 = -3*x, 5 = 5*s. Solve x*m - 551 = -547 for m.
1
Let r(f) = f**3 - 48*f**2 + 118*f - 727. Let v be r(46). Solve -v*c + 460*c = 81 for c.
-9
Let q = -485 - -488. Suppose q*x - 743 = -725. Solve 0 = 2*h - x*h for h.
0
Let x = 2736 + -2726. Solve 12*g = x*g for g.
0
Let j be (0 + 4)*594/24. Let m = j - 95. Solve 2*s - m*s = 3*s for s.
0
Let n be 2541/14*6/(-9). Let f = 130 + n. Solve -f*j + 6 = -3*j for j.