= 5*l - 5, -2*l = 5*b - 9. Suppose 20 = 3*g + l*g, 4*g = m - 45. Does 22 divide m?
False
Suppose -2*j + 140 = -6*j. Let m = 86 + j. Suppose 3*a = 165 + m. Does 24 divide a?
True
Suppose -96 = 6*f - 0*f. Let b = -27 - f. Is 22 a factor of (b*5)/((-2)/(-4)*-1)?
True
Suppose 0 = l - 4, 4*p - l = -884. Let m = 24 - p. Is 21 a factor of m?
False
Let a be 1901/4 + ((-3)/4)/3. Is 12 a factor of (-5 - (1 + -2)) + a?
False
Let p(b) = 22*b**2 - b. Let t be p(1). Let x be 11/(-4) - t/(-28). Is 12 a factor of 2/x*(4 - 138)?
False
Suppose -5053 + 4710 + 53593 = 15*v. Is 10 a factor of v?
True
Let l(g) = -g**3 + 10*g**2 - 9*g + 21. Let n(x) = 3*x**2 - 22*x - 8. Let j be n(8). Is l(j) a multiple of 25?
False
Does 114 divide ((-30095)/15)/((2 + -11)/54)?
False
Let h(p) = p**2 - 13*p + 37. Let c be h(4). Does 4 divide 8 + 3195/27 - c/3?
False
Suppose -2*b = -5*s - 7*b - 190, 5*s + 2*b + 181 = 0. Let r = -5 - s. Does 30 divide r?
True
Let s(c) = c**3 + 21*c**2 - 17*c - 349. Does 24 divide s(-19)?
True
Suppose 0 = -10*a - 19684 + 23884. Is 19 a factor of a?
False
Suppose 305*q - 89*q - 87492 = -101*q. Does 46 divide q?
True
Suppose -8*a + 6886 = -t, 2*a = 4*t + 1728 - 14. Is 3 a factor of a?
True
Let b = 3089 + 3544. Is 9 a factor of b?
True
Let s(d) = -d**3 + 10*d**2 - 2*d + 10. Suppose -139 = -10*p - 49. Let q be s(p). Suppose 68*n = q*n - 210. Does 6 divide n?
True
Let v(d) = -d**3 + 26*d**2 - 5*d - 13. Let j = -64 - -68. Let o(a) = -a**3 + 26*a**2 - 4*a - 13. Let h(i) = j*v(i) - 5*o(i). Does 3 divide h(26)?
False
Let a(r) = -r**3 - 21*r**2 + 32*r + 64. Let l be a(-20). Let c = -330 - l. Is c a multiple of 34?
True
Let l(s) = -s**3 + 15*s**2 + 14*s + 36. Let d be l(16). Let q be d/(-88)*106 - (-6)/(-33). Does 15 divide -7 - q - (-411)/3?
True
Suppose -94248 = -5*i - 10*i + 4*i. Is 102 a factor of i?
True
Let g = 760 - 757. Suppose 3 = -g*h, -20*h - 1567 = -2*m - 19*h. Is 9 a factor of m?
True
Suppose 4*s = -2*s + 4446 + 4080. Does 7 divide s?
True
Let l(x) = 26*x - 7*x**2 - 4 - 20 - 8*x**2 + 16*x**2. Let u be l(-27). Suppose -u*r = -26 - 97. Is r a multiple of 8?
False
Suppose -4*q = m - 118, 0 = 4*q + 2*m - 6*m - 128. Suppose -13*p - 3*o + 156 = -12*p, 624 = 4*p - 4*o. Let r = q + p. Is 33 a factor of r?
False
Suppose 2*f = -3*m + 28368, 762*f - 767*f - 2*m = -70953. Is 14 a factor of f?
False
Suppose 11*n - 4*n - 2*y - 114854 = 0, -y = n - 16400. Is 12 a factor of n?
False
Let w(h) = h**2 + 67*h + 468. Does 69 divide w(-72)?
True
Let o = -629 + 623. Does 6 divide (-14000)/(-84) + (-8)/o?
True
Let g(o) = 16*o**2 - 187*o + 6414. Is g(58) a multiple of 16?
True
Suppose 55*j + 781820 = 107*j. Does 89 divide j?
False
Suppose -6268732 = -131*y - 114090. Is y a multiple of 26?
True
Suppose 0 = -864*q + 865*q - 2*n - 2904, -4*q - n = -11634. Does 59 divide q?
False
Suppose -5*m = 5*m - 500. Does 38 divide (m/4 + 0)*(-2128)/(-70)?
True
Let h = -1331 - -5295. Is 25 a factor of h?
False
Let m = -18 + 21. Suppose -2*j + 3*b + 3800 = m*j, 0 = -b. Is 10 a factor of j?
True
Let r be 1*-7*(-103 - -104). Let l(f) be the second derivative of -5*f**3/6 - 4*f**2 + 2*f. Is 27 a factor of l(r)?
True
Let g be (12/(-18))/((-2)/1881). Suppose 0 = -5*n - 25*d + 26*d + g, -492 = -4*n + 4*d. Is n a multiple of 9?
True
Suppose 0 = -3*g - m + 187208, -67649 = -4*g + 4*m + 181919. Is 75 a factor of g?
True
Suppose 15*y - 2*r - 647 = 12*y, y - 239 = -4*r. Does 5 divide y?
False
Suppose 99*l = 31*l + 55*l + 47541. Is l a multiple of 53?
True
Let n(p) be the third derivative of 31*p**4/24 - 26*p**3/3 + 54*p**2. Is 43 a factor of n(10)?
True
Suppose 43 = 15*p - 47. Suppose 0 = -p*n + 57 + 87. Is n a multiple of 7?
False
Let o(c) = c**2 + 15*c + 16. Let p be o(-10). Does 7 divide (1 - -3) + p + 235?
False
Suppose -3*c = -27 - 24. Let a(y) = y**3 + 3*y + 1. Let l(p) = -7*p**3 - 18*p**2 - 3*p + 16. Let w(b) = 8*a(b) + l(b). Does 21 divide w(c)?
False
Let u(d) = -d**3 - d**2 + 6*d + 7. Let z be u(-3). Is 12 a factor of 24/7*(z - (2 + -2))?
True
Let z(y) = 11*y - 15. Let b(a) = -23*a + 29. Let c(g) = -3*b(g) - 7*z(g). Let x be c(7). Let w = -32 - x. Is 3 a factor of w?
True
Let o = 25842 - 13262. Is o a multiple of 169?
False
Let z(c) = -2*c**3 + 23*c**2 + 15*c - 12. Let y be z(11). Suppose -5*q - 2*i - y = -7*q, -3*i + 6 = 0. Does 8 divide q?
False
Let l = -18415 - -96571. Does 12 divide l?
True
Suppose -59*j + 49*j = -35380. Does 29 divide j?
True
Suppose -2*n - 138 = -7*n + 4*d, -5*n + 144 = -2*d. Let v be (-2)/5 + (-168)/n. Let k(o) = 2*o**2 - 8*o - 14. Does 15 divide k(v)?
False
Let s be (2 + -3)/(12/(-43740)). Suppose -13*z - s = -58*z. Is z a multiple of 27?
True
Suppose -16 = 2*h - 4*s, 0 = -3*h + 8*h + 5*s - 35. Suppose -5*q - 44 = -4*v - 419, -132 = -h*q - 2*v. Suppose -2*j = -65 - q. Does 36 divide j?
False
Let c = -1 + 4. Suppose 20*k = 14*k + 4*o + 2832, 0 = -2*k - 3*o + 931. Suppose -k = -4*h + c*r - 195, -4*r - 343 = -5*h. Is 36 a factor of h?
False
Suppose 5*t - 99245 + 10085 = -5*t. Is 163 a factor of t?
False
Let o(i) be the second derivative of 7*i**4/12 - 2*i**3/3 - 7*i**2/2 + 3*i - 17. Let l(x) = 2*x + 3. Let c be l(-3). Does 25 divide o(c)?
False
Let g(f) = -5339*f + 2650. Is g(-4) a multiple of 12?
False
Let z = 10171 + -9560. Is z a multiple of 25?
False
Let d = 3549 - -1051. Is d a multiple of 50?
True
Suppose -15990 = -5*j + 5*y, 0 = -17*j + 15*j - y + 6396. Does 13 divide j?
True
Let k = 158 - -19. Suppose 4*i + j = 404, -3 = -2*i + 5*j + k. Is 20 a factor of i?
True
Does 18 divide 3/4 + 1 + 492948/16 - 7?
False
Suppose 17535 = f - x - 17810, -2*f - 2*x + 70722 = 0. Does 6 divide f?
False
Suppose -51*c = -34*c - 198832. Does 9 divide c?
False
Is 39 a factor of (1248/56)/((4/(-84))/((-86)/4))?
True
Let j(n) = 220*n**2 - 21*n - 66. Is 15 a factor of j(-6)?
True
Suppose -2*q + 9*q - 518 = 0. Suppose -9*s - 569 = -q. Is (-10)/s - 0 - 2614/(-22) a multiple of 17?
True
Let p(b) = 221*b + 1609. Is p(31) a multiple of 8?
False
Let f = -158 - -108. Let b = 58 - f. Suppose -5*l = -2*l - b. Is l a multiple of 7?
False
Let m(b) = 18*b**2 - 50*b + 250. Is m(4) a multiple of 3?
False
Suppose n - 5940 = 2*a, 596 = -n - 2*a + 6536. Suppose n + 4122 = 43*z. Is 11 a factor of z?
False
Suppose 64*d - 5*f = 65*d - 398, -3*d = 7*f - 1210. Is 11 a factor of d?
False
Let b = 5040 - -13701. Does 25 divide b?
False
Is 4 a factor of ((-10)/(-12) + 183/18)/(20/14960)?
True
Suppose -3*f + 90 = 78. Is (-2610)/(-6) - (-2 + (f - 2)) a multiple of 87?
True
Suppose 0*r + 5*r + g = 25, 5 = g. Is 42 a factor of 289*(r/14 - 65/(-91))?
False
Let x = -89 - -40. Let o = -51 - x. Is ((-160)/o)/(-7 + 92/12) a multiple of 12?
True
Let d = -3279 - -6067. Is 15 a factor of d?
False
Let t = -2712 - -2846. Does 2 divide t?
True
Let j(o) = -11*o**3 + 10*o**2 - 149*o + 94 + 152*o + 10*o**3. Is j(11) a multiple of 3?
True
Let s be 411/(-4 - (-44)/8). Suppose -r + 179 = -2*m + 2*r, -3*m - r = s. Is 117/7 + (-26)/m a multiple of 4?
False
Suppose 0 = -0*u + u - 2. Let o(c) = 50*c**2 + 193*c - 3. Let z be o(-4). Suppose 0 = -u*x + 5*n + 77, 3*n = -2*n - z. Is x a multiple of 13?
True
Let l = 14073 + -13088. Is 5 a factor of l?
True
Suppose -o = -4*k - 6*o + 95, -2*o - 54 = -3*k. Suppose -k*m + 1923 = 323. Is 4 a factor of m?
True
Let c = -343 + 592. Suppose c + 615 = 4*p. Is 72 a factor of p?
True
Let b(w) = 4928*w**2 + 2*w + 2. Let p be b(-1). Suppose 50*t = 54*t - p. Is 88 a factor of t?
True
Let f = 68 + 131. Let w = f - 65. Is w a multiple of 15?
False
Suppose -13*m + 3*m - 4563 + 48663 = 0. Is 77 a factor of m?
False
Suppose 4*h + 2*d + 86 = 0, -3*h + 28 = -2*d + 110. Let s(v) = -3*v**2 - 6*v - 2. Let w be s(3). Let k = h - w. Does 10 divide k?
False
Let p(j) = 44*j - 450. Let r(l) = -5*l + 50. Let c(w) = -6*p(w) - 52*r(w). Let o be c(0). Is (77/14 + -4)*o/6 a multiple of 5?
True
Let w(m) = 2*m**3 + 9*m**2 - 5*m + 5. Let h be w(-5). Suppose -h*v = -14*v + 2070. Does 30 divide v?
False
Let a = -10706 - -15886. Is 70 a factor of a?
True
Let c = -270 + 339. Does 15 divide 6/c - (-307240)/460?
False
Suppose 10*d - 187792 = -5892. Is 170 a factor of d?
True
Let o(f) = f**2 + 11*f + 32. Let p be o(-7). Does 5 divide ((-28842)/(-207))/(p/6)?
False
Let c(p) = p**3 + p**2 - p - 1. Let y(i) = -3*i**3 + 12*i**2 + 11*i - 32