0
Let h = -22 + 48. Let c = 30 - h. Let m(p) = -7*p + 7. Let z be m(1). Solve z = c*o - o - 6 for o.
2
Let s be 4/(-1 + (-6)/(-2)). Let x = s - -1. Suppose 0 = x*u - 13 - 23. Solve 3*k - u = -k for k.
3
Let v = -3779 - -3829. Solve -v*t - 345 - 55 = 0 for t.
-8
Let s(j) = j**2 + 5*j + 14. Let h = -28 - -28. Let i be s(h). Suppose l - 9 + 6 = 0. Solve l*m - i = -5 for m.
3
Let c(x) = x**3 + 92*x**2 + 182*x + 217. Let v be c(-90). Solve -13*s + v*s - 24 = 0 for s.
1
Let x = 4 - -1. Suppose 3*f + 2*m - 49 = 0, -15*m + 79 = 5*f - 13*m. Solve -f = x*p - 0 for p.
-3
Suppose 31 + 89 = 24*l. Let m be (3/2)/((-10)/(-1100)*l). Solve -m = -b - 28 for b.
5
Let b be (-36 + 38)*39/2. Let r = b - 38. Solve 2*x + 7 = r for x.
-3
Suppose -53 = 6*d + 73. Let n be d/9*(8 + -11). Solve -45 = n*t + 2*t for t.
-5
Suppose 3*t + 2*t + 4*m - 9 = 0, -5*m + 3 = -2*t. Let q be (28/3)/(32/(-24) - -1). Let u be q/7*t/(-2). Solve -u*p = -7*p + 10 for p.
2
Let s = 729 - 722. Suppose 11 = s*d - 94. Solve 12*c = d*c + 12 for c.
-4
Suppose 0*i = -4*i + 12, -5*i - 306 = 3*t. Let o = -102 - t. Solve -13 = 9*b + o for b.
-2
Let z(o) = -8*o + 91 + 16 - o**2 + 2 + 31*o. Let p be z(27). Solve 3*t - 16 = -p for t.
5
Let t = 75 + -64. Let c = 22 - t. Suppose c*m + 6 = 13*m. Solve 0*z - 6 = -m*z for z.
2
Let l = 5747 - 5736. Solve -20 = -3*s - l for s.
3
Let u(d) = d**2 - 8*d. Let z(s) = 5. Let n(t) = -14. Let q(o) = 6*n(o) + 17*z(o). Let k(v) = -5*q(v) + u(v). Let f be k(9). Solve -2*x + f = -0 for x.
2
Suppose 0 = v - 10 - 13. Let a = -21 + v. Suppose t = 4*w - 6 - 6, a*w = t + 6. Solve 2*f + w*f - 10 = 0 for f.
2
Let l(k) = k**3 - 8*k**2 + 2*k - 1. Let o be l(8). Let n(w) = -w**3 + w - o*w**2 - 11*w**2 + 42*w**2 - 17*w**2. Let t be n(-3). Solve -2*u - t = 3*u for u.
-3
Suppose 6 = -2*u + 2*k, 451*k - 50 = -2*u + 446*k. Solve 24*h = u*h - 57 for h.
-3
Suppose 80 = 34*j - 18*j. Suppose -3 = k, -2*v - j = -6*v - k. Solve -v*h - 5 = 5 for h.
-5
Let c be (123 + -124)/(((-4)/(-110))/(-2)). Suppose 278*l - c = 267*l. Solve -l*m + 0*m = -5 for m.
1
Let r(a) = -2 - 4*a**2 + 17 + 15*a**3 + a**2 - 6*a - 13*a**3. Let g be r(3). Solve -12 + g = -3*y for y.
-4
Let x(u) = -192*u - 7. Let b(z) = -211*z - 6. Let n(r) = -10*b(r) + 11*x(r). Let q be -10*(0 + 1)*1. Let t be n(q). Solve t*f + 9 = -0*f for f.
-3
Suppose -4 = -y + 3*s + 8, -4*y - 5*s + 82 = 0. Suppose 0 = -11*f + 15 + y. Solve 3*b + 18 = f for b.
-5
Let l = -1680 - -1686. Solve l*n = 35 - 17 for n.
3
Let d(m) = -87*m + 970. Let q be d(11). Solve 10*o - q*o = -6 for o.
2
Suppose -5*g - 2*i = -321, -4*i + 327 = 7*g - 2*g. Let d be (-10)/(-4) + (g/14 - 4). Solve d*m + 0 = -9 for m.
-3
Let h be 11 - (-36)/(-6) - 14. Let a be ((-8)/((-24)/h))/(-1). Solve -w = -a*w for w.
0
Let p be 6*(-19)/(-285) - 336/(-10). Solve -12*m - 26 = p for m.
-5
Let v = -4353 - -4358. Let g = -8 + 5. Let f = -3 - g. Solve -z + 1 - v = f for z.
-4
Suppose -12 = 4*q, 4*z - 3*q = -5*q - 6. Let j = 61 + -47. Suppose -22*r + j*r = z. Solve -3*b + 0*b = r for b.
0
Let y be (-7044)/(-84) - 1/(-7). Let h be (-2)/((-4)/14 + 10/y). Solve 3 = -3*n + h for n.
3
Suppose -36 - 588 = -26*z. Solve -55*l - z = -59*l for l.
6
Let u be ((-13500)/(-21))/4 - 18/(-63). Let f be (-23)/(u/42)*(-2 + 1). Solve 3*a - f*a + 9 = 0 for a.
3
Let v = -582 - -585. Suppose r + 0 = -v*b - 12, -8 = -r + b. Solve -r*m = -m for m.
0
Let w(x) = -41*x - 1515. Let r be w(-37). Solve 0 = -19*j - r*j - 63 for j.
-3
Let v = 53 + -65. Let l be (-3)/((45/v)/5). Suppose -3*j - 43 = -4*d, 24 = -5*d - l*j + 70. Solve -4*q + d = -2*q for q.
5
Let x(o) = 16*o + 35. Let j be x(-2). Let h be (4/(-9))/((-203)/63 + j). Solve -h = f - 6 for f.
4
Suppose 5*k = 2*b - 707, 0*k + k + 127 = 4*b. Let x = k - -212. Let t = x - 66. Solve -3 = t*u + 3 for u.
-2
Suppose l + 12 = -7. Let k(g) = g**2 + 23*g + 82. Let q be k(l). Solve -q*y = -2*y for y.
0
Let u = -3956 + 4076. Solve 16*x - u = x for x.
8
Let j = -2551 + 1711. Let r be 2/(-6) - j/63. Solve -9*d = -r*d + d for d.
0
Let r(y) = y**2 - 126*y - 515. Let v be r(-4). Solve -h = -v*h for h.
0
Let x(p) = 226*p + 9741. Let m be x(-41). Solve 0 = -8*w - 507 + m for w.
-4
Let y(z) = -z + 3. Let r be y(0). Let c = 276 + -285. Let h be 3/c + (-14)/(-42). Solve h*d + r*d = 0 for d.
0
Let l(x) = 5*x**2 + 56*x - 17. Let y be l(8). Solve 768*c - y*c - 17 = 0 for c.
1
Suppose 28 - 3 = 5*f. Suppose -f*r - 35 = -50. Solve 5 = r*p - 10 for p.
5
Let j(f) = 10*f**2 + 4*f + 2. Let h be j(-1). Let l(u) = u**3 - 6*u**2 - 13*u - 19. Let s be l(h). Solve -s*d + 0 = -5 for d.
1
Let y be 3/(-5) - 5632/55. Let b = y - -111. Solve -b - 17 = 5*d for d.
-5
Let o(a) = a**3 - 38*a**2 + 336*a - 79. Let p be o(13). Solve 0 = -p*c + 54*c + 90 for c.
9
Let p(b) = -b + 44. Let x = -63 + 76. Let g be p(x). Solve 0 = -g*m + 27*m for m.
0
Let i(w) = -w + 3. Suppose -16*r + 13*r - 51 = 0. Let c be i(r). Solve -6*z + z = c for z.
-4
Let z(r) = -r**3 - r**2 - 2*r + 12. Let k be z(0). Suppose -k*g + 36 = 24*g. Solve -3*u + g = 7 for u.
-2
Suppose 14*c + 2263 = 87*c. Solve 6 = 5*v + c for v.
-5
Let m(a) = a**2 + 45*a - 250. Let o be m(5). Solve 59*y - 70*y - 55 = o for y.
-5
Let z(r) = -34*r - 501. Let a be z(-15). Solve 27 = -a*n + 9 for n.
-2
Let o be (-4)/14 - 90/(-21). Suppose -o*r + 15 = -r. Suppose -11*h - 1 + 20 = -69. Solve -r*y = -h*y for y.
0
Suppose -21*u - 4*d = -17*u - 8, 5*u - 40 = 5*d. Solve 57 = u*h + 52 for h.
1
Let o = -639 - -528. Let g = -111 - o. Solve 6*q + g*q = -6 for q.
-1
Suppose -3*q - a + 4*a + 12 = 0, -2*a - 10 = -4*q. Let c(k) be the first derivative of 5*k**3/3 - k**2 - 23. Let s be c(q). Solve 5*b = s + 2 for b.
1
Let u(f) be the third derivative of f**6/120 + 13*f**5/60 - 17*f**4/24 - 37*f**3/6 + 4*f**2 - 1. Let n be u(-14). Solve -5*w - 10 + n = 0 for w.
-1
Suppose 4*v - 956 = -4*d, -v - 4*d + 468 = v. Let q be (-14)/(-63) + v/36. Solve 0 = -12*c + q*c + 25 for c.
5
Suppose -7*m + 98 = -189. Suppose -m = 12*x - 77. Solve 6*d + x + 3 = 0 for d.
-1
Suppose -3*g = n - 79, 2*n = -630*g + 627*g + 86. Solve -7*a - 3 = -g for a.
3
Suppose 23 = 4*o - 2*r - 7, 5*r = -3*o + 42. Let j(i) = i**2 - 10*i + 13. Let k be j(o). Solve k*m = -0*m - 12 for m.
-3
Let v = 203 + -203. Suppose -2*d = -2*o - 2, -2*o = 3*d - v*d - 3. Solve o = 16*t - 15*t + 1 for t.
-1
Suppose -2*d - 76 = -2*f, 0 = 9*f + 2*d + 174 - 538. Solve -24*b = -16*b - f for b.
5
Let n(f) = 10*f - 14 - 7*f**2 - f + 6*f**2 + 2*f**2. Let h be n(-10). Let p = h - -4. Solve p*i = -5*i for i.
0
Let k(s) be the second derivative of s**3 + 68*s**2 - 7*s. Let j be k(-11). Solve -4*z = -62 + j for z.
-2
Suppose 11*q - 1576 = 9*q. Let g be (-32)/(-40) - q/10. Let k = g - -80. Solve -4*w + 18 - k = 0 for w.
4
Suppose 1160*h - 1395 = 925. Let v(g) be the third derivative of -g**5/60 + 7*g**4/24 + 5*g**3/3 + 2*g**2. Let n be v(8). Solve n + h = j for j.
4
Let k = 487 + -472. Solve -9*h + k*h - 36 = 0 for h.
6
Let l(c) = 23*c - 506. Let f be l(22). Suppose -w + 2*w = 4. Let m be 1/(((-6)/(-4))/3). Solve -w = -m*s - f for s.
2
Let b = 13739 + -10463. Solve 10*i = 3326 - b for i.
5
Let d = -7805 + 7835. Solve -2*q = -d*q - 112 for q.
-4
Let w = 16 - 16. Suppose w = 7*l + l - 32. Let s be (-6)/((-6)/l + 0). Solve 1 = q - s for q.
5
Suppose 24*w - 3*w - 6342 = 0. Let z = -293 + w. Solve 4 = z*p - 8*p for p.
4
Suppose 0 = 5*o - 5*a + 20, 0 = 2*o + 2*a + 7 + 5. Let i be 22/5 - (-2)/o. Solve -4*l = i*l for l.
0
Suppose 3*i = -2*l + 8, i = 5*l - 21 + 1. Let j be 6/(-12)*i*(-1)/(-3). Solve -2*x - x + 9 = j for x.
3
Let h be 140/(-16)*(-7 - (9 - 12)). Solve 14 = -7*k + h for k.
3
Suppose r - 37 = 5*k, 2*k - 39 = -2*r + 5*k. Let d be (-5)/(-30) - 1*(-82)/r. Suppose 0 = -d*q + 2*q + 20. Solve 14 = q*p + 2 for p.
3
Suppose -398*y = -5373 - 4577. Solve 0 = y*l - 19 - 31 for l.
2
Let u be ((-24)/(-5))/6*45/(-6). Let p be ((-180)/(-48))/(u/(-8)). Solve 2*m - p*m = 15 for m.
-5
Let g be -1476*-18*(-46)/(-1863). Solve g*j = 638*j + 72 for j.
4
Let t = 116 - 107. Suppose 48 - 3 = t*x. Solve -2 - 13 = -x*a for a.
3
Let a = 9394 + -9389. Solve -19*w = -2*w + a*w for w.
0
Suppose -2*l + 3*i + 901 = -6*l, 5*l + 1112 = i. Let h = 223 + l. Solve -2*k + 1 - 7 = h for k.
-3
Suppose -4 = 38*c - 39*c + 5*g, 3*c - 12 = 2*g. Solve -24*j - c = -25*j for j.
4
Let w be (-2)/5 + 