)/(((-30)/375)/(1/5)). Suppose -4*c - p + 583 = 0, -4*p - 1129 = -m*c - 374. Is 7 a factor of c?
True
Suppose 144585 = 92*l + 43*l. Is 119 a factor of l?
True
Let t = 174 + 9. Suppose -a - t = -2*l + 4*a, -4*l + 333 = a. Let x = -82 + l. Does 2 divide x?
True
Suppose -j - 5*y = 147, 5*j + 63 = y - 672. Is 30 a factor of (1/(-4) - 1695/420)*j?
True
Suppose 9 = 2*m - 3*t - 64, m = 2*t + 39. Suppose -4*f + m = -119. Is 3 a factor of f?
False
Suppose -p + 852 = 3*j - 341, -6*j = p - 2390. Is j a multiple of 19?
True
Suppose -14603 = -5*c + l + 5262, 4*c + l = 15883. Is c a multiple of 74?
False
Let y(a) = a + 5. Let k be y(-3). Does 47 divide -3*3*235/(-45)*k?
True
Let d be (14/(-8))/((-6)/(-48)). Let h = 17 + d. Let t(v) = 3*v**2 + 5*v - 3. Is 10 a factor of t(h)?
False
Suppose 2*f = -4*v + 11288, -109*v - f + 11284 = -105*v. Is v a multiple of 38?
False
Let d = 26 - 34. Let a(j) = -j**3 - 8*j**2 - 7*j - 18. Let q be a(d). Let y = q - -4. Is 14 a factor of y?
True
Suppose 5*p + 25 = 0, -5*z + 13348 = -5*p - 162. Is z a multiple of 26?
False
Let s(l) be the second derivative of l**3/3 + 6*l**2 + 13*l. Let g be s(-5). Suppose -108 = g*f - 5*f. Is f a multiple of 6?
True
Let r(x) = -x**3 + 52*x**2 - 84*x + 145. Does 63 divide r(50)?
True
Suppose 2*d = -y + 1689 + 1983, -7*d - 3*y = -12853. Does 3 divide d?
False
Let j = 523 + -519. Is 15 a factor of 42/56 - (-2997)/j?
True
Let x(t) = 2*t**3 + 86*t**2 - 50*t + 223. Does 4 divide x(-43)?
False
Suppose 490*a + 167937 - 2625267 = 389*a. Does 15 divide a?
True
Let v = 1130 + -744. Let l = -276 + v. Does 3 divide l?
False
Let c(r) = 10*r - 160. Let n be c(0). Let f be (-1 - n/(-6)) + (-2)/6. Is (f/(-8))/((-5)/(-240)) a multiple of 9?
False
Let c = -14300 + 16143. Is c a multiple of 135?
False
Let b(y) = -3*y + 2 - 1 - 12*y - y**2 - 3. Is 12 a factor of b(-10)?
True
Let t(k) = -7*k**2 + 42*k - 2. Let z be t(6). Is 2 a factor of z/(-8) + (10 - 132/16)?
True
Suppose 4*j - 44 = -2*n, -30 = -3*j - 4*n + n. Suppose 5*f = j + 3. Does 17 divide (-1)/f - (-952)/21?
False
Let f(s) = -14*s**3 + 158*s**2 - 59*s - 505. Let q(i) = -5*i**3 + 53*i**2 - 20*i - 168. Let z(v) = 6*f(v) - 17*q(v). Is 19 a factor of z(-47)?
False
Suppose 3*l = -5*i + 279, i + 14 = l - 79. Suppose 2468 = 5*r + l. Does 19 divide r?
True
Let t(z) = z**3 - 19*z**2 - 20*z + 6. Let m be t(20). Let w = m + -10. Let v = w + 20. Is v a multiple of 16?
True
Let d be -1*2/10 - (-813)/15. Let l = d + -54. Let c(b) = -2*b + 80. Is 16 a factor of c(l)?
True
Let s = -460 + 199. Let w = 573 + s. Does 6 divide w?
True
Let k(a) = a - 3. Let l be k(9). Let s = -112 + 187. Is ((48/(-5))/(-4))/(l/s) a multiple of 10?
True
Let y = -35208 + 58422. Does 159 divide y?
True
Suppose -4*u = -320 + 52. Suppose 2*x + 9 = u. Is x a multiple of 8?
False
Suppose -m + 2 = 4, a + 3*m + 89 = 0. Let h = 89 + a. Suppose -4*u = -7*u - h, -4*n + 2*u + 116 = 0. Does 9 divide n?
False
Let i(y) = -y**3 - 38*y**2 + 3*y + 19. Let s be i(-16). Is 50/6*s/(-185) a multiple of 17?
True
Suppose -4*k - 361 = -4*w + 3*w, 0 = 3*w + k - 1083. Suppose x + w = 5*n, 5*n + 69*x - 67*x = 358. Is 4 a factor of n?
True
Let c be 13/(-52) + (-1778)/(-8). Suppose -966 = c*o - 228*o. Does 23 divide o?
True
Let a(q) = -2*q + 2295. Let i be a(0). Suppose -5*h - i = -14*h. Is 51 a factor of h?
True
Let d = -34186 + 73488. Does 89 divide d?
False
Let h = -14 + 71. Let m = h - 12. Suppose -7*j + 269 - m = 0. Is 14 a factor of j?
False
Suppose 4*k = 2*o - 35412, 6*o - 4*k = 11*o - 88502. Is o a multiple of 167?
True
Let f = 13848 + -7546. Is 137 a factor of f?
True
Is ((-93)/93)/(2/(-11928)*2*1) a multiple of 6?
True
Suppose -10*x - 3100 = -8*x. Is 7 a factor of x/(-12) + (7 - 1)/(-36)?
False
Let l(j) be the second derivative of -j**3/6 + 9*j**2/2 + 15*j. Let y be l(-19). Let m(v) = v**3 - 28*v**2 + 7*v - 14. Is m(y) a multiple of 13?
True
Suppose b + b = 0. Let m be 0 + 0 + b/8. Suppose -a + 5*a - 432 = m. Is 36 a factor of a?
True
Let l = -54 + 13545. Is 9 a factor of l?
True
Let h(f) = -3*f**2 - 18*f + 15. Let a(t) = 9*t**2 + 55*t - 45. Let m(j) = -6*a(j) - 19*h(j). Let s be 0 + 5 + 2 + -2. Does 12 divide m(s)?
True
Let n be 0/(-2 + (-3 - -7)). Suppose q + 5*h = 424 + 241, n = 2*q + 5*h - 1345. Is 40 a factor of q?
True
Let z be 3*-1*(-15)/(6 + -1). Let h(g) = 4*g**2 - 31*g - 1. Is h(z) a multiple of 11?
True
Let g = 8192 + 4608. Is 13 a factor of g?
False
Suppose -40*z + 70 = -35*z. Is 8 a factor of (12 - z)/((6/92)/(-3))?
False
Let x(l) = -17*l**2 + 3*l - 34. Let p be x(4). Is 49 a factor of p*(60/(-24) - (-4 - -2))?
True
Let w(j) = -17*j**3 - 86*j**2 + 90*j - 37. Let m(d) = -3*d**3 - 17*d**2 + 18*d - 8. Let y(x) = 11*m(x) - 2*w(x). Let c = 9 + 5. Does 8 divide y(c)?
False
Let i(n) = -n**3 - n**2 - 4*n + 21. Let v be i(-6). Let f = v + 25. Does 15 divide f?
False
Suppose -2*j - 5*y + 1729 = 129, 2*j - 1612 = -2*y. Let p = j + 40. Is p a multiple of 16?
False
Let d(h) = 90*h**2 - 120*h - 572. Is 17 a factor of d(-5)?
True
Let g(i) = i + 24. Let t be g(-17). Suppose t*u = 4*u + 156. Suppose 0 = j - 32 - u. Does 14 divide j?
True
Suppose -18*x = -493 - 983. Suppose 5*i = l + 961, -2*l = 2*i - 4*i + 386. Suppose y - 4*t - t - x = 0, -2*y + i = -3*t. Does 6 divide y?
True
Is 99 a factor of (11/(-121) - 495460/22)/(-3)?
False
Suppose 5*d - 11069 = -4219. Suppose 9*a - d = 1762. Is 29 a factor of a?
True
Let r(c) be the third derivative of -c**7/2520 - c**6/60 + 3*c**5/40 + 3*c**4/8 + 15*c**2. Let t(f) be the second derivative of r(f). Does 20 divide t(-9)?
False
Let c(d) = -29*d**3 - 78*d**2 + 15*d + 6. Is c(-9) a multiple of 13?
False
Let m be (-1)/(((-2)/236)/(17 - 16)). Is m*(6/2 + (-39)/(-26)) a multiple of 61?
False
Suppose 3*o = -2*h + 2411, -4*h = 10*o - 14*o - 4852. Is h a multiple of 2?
True
Let m be (32/(-6))/(12/(-54)). Let c = 26 - m. Suppose c*f - 18 = 5*v, v = -5*f - 18 + 90. Is f a multiple of 10?
False
Let w = 8377 - 5912. Does 32 divide w?
False
Let r(j) = 10*j - 18. Let o be r(2). Suppose -m - 22 = -5*l, -o*m = -7*m + 3*l. Is m even?
False
Suppose -a + 3*l = -3267, -3*a + 2*l = -12170 + 2341. Is 70 a factor of a?
False
Let s(y) = -2*y**3 - 2*y**2 + 2*y + 3. Let z be s(-2). Let q(f) = 4*f - 10. Let g(p) = -4*p + 9. Let o(x) = 2*g(x) + 3*q(x). Does 8 divide o(z)?
True
Let y = -20 + 19. Let p be -5 + 39 - ((0 - y) + 0). Suppose 5*b - p = 87. Is 24 a factor of b?
True
Let j(n) = 1242*n + 432. Does 14 divide j(3)?
True
Let w(z) = z**2 - 6*z + 24. Let r be w(12). Let m = 1476 + r. Is 11 a factor of 3 + (-2)/10 + m/60?
False
Suppose 2*c - 72262 = -3*z, 205*c - 208*c + 108367 = -2*z. Is c a multiple of 85?
True
Suppose 2*o + 2821 = 4*o + j, -5*j + 2841 = 2*o. Is 22 a factor of o?
True
Let y be (2/4)/((-133)/28 + 5). Suppose -y*c = -6*c + 4, -4*m + 5*c + 563 = 0. Suppose -4*l - 4*u = -l - m, 3*l + 5*u - 140 = 0. Is l a multiple of 28?
False
Let k(u) = -2*u**2 - 217*u - 596. Does 6 divide k(-101)?
False
Suppose 2977 = -3*r + 2*d + 13922, -18251 = -5*r + 2*d. Is r a multiple of 10?
False
Suppose -2*k = -4, -4*m = -9*m - k + 22. Suppose x + 859 = -2*q + m*x, 2*q + 4*x + 824 = 0. Is 17 a factor of (15/9)/(-5) + q/(-6)?
False
Let l be 2786/(-10) + (-5)/((-50)/6). Let a = 728 + l. Suppose -16*x + 19*x = a. Is 15 a factor of x?
True
Suppose 5*m - 9 + 74 = 0. Let x = m - 72. Let c = 151 + x. Is c a multiple of 13?
False
Suppose 2*p + 3*p - 62822 = -8*f, -5*f + p + 39239 = 0. Is 181 a factor of f?
False
Suppose -5*w + 1349 = -15*g + 13*g, 0 = -4*w + g + 1081. Is 19 a factor of w?
False
Suppose 302500 + 165119 = 53*n. Is 31 a factor of n?
False
Let p(r) = r**2 + 4*r + 32. Let i be 124/93*(-10 + 2 + -1). Is 16 a factor of p(i)?
True
Let j(l) = -l**2 + 8*l - 11. Let n be j(4). Suppose -n*f - 27 = -52. Suppose -3*k = 2*k + d - 486, f*d + 510 = 5*k. Does 7 divide k?
True
Does 29 divide -166*((-451 - -24) + 0)?
False
Let j(r) = 86*r**2 + 142*r - 2. Does 45 divide j(-9)?
False
Let l(t) = 3*t**2 - 25*t + 62. Let f be l(29). Suppose 0*q = -6*q + f. Is 19 a factor of q?
False
Suppose -5*r - 20 = 2*u - u, -2*r = -4*u + 30. Suppose 0 = -b - y + 8, u*b - 10 = -y + 26. Suppose -898 + 30 = -b*j. Is j a multiple of 13?
False
Let o(p) = -55*p + 5065. Does 9 divide o(8)?
False
Suppose 3*s = 3*g + 12658 + 2057, 2*g - 19620 = -4