(-1056)/(-3)?
True
Suppose 4*d = 2*k + 2*d - 1532, k + 3*d - 758 = 0. Suppose 0 = 2*v + 2*p - k, v + 3*v = 4*p + 1504. Does 21 divide v?
False
Let b(z) be the third derivative of -z**4/12 - 2*z**3/3 + 11*z**2. Let i be b(-3). Suppose i*l = -2*l + 124. Is 19 a factor of l?
False
Let f(h) = 2*h**2 + 28*h - 162. Does 11 divide f(29)?
True
Suppose -3*l = -2*p + 310, -6*p - 4*l = -11*p + 782. Let m = p + -142. Does 6 divide m?
False
Let d = 99 - 180. Let p be ((-216)/d)/((-2)/(-9)). Suppose -w - 2*t = -p, -2*w - 4*t = -6*w. Does 4 divide w?
True
Let s(i) = -713*i - 704. Is s(-20) a multiple of 56?
False
Let a be 1261/2 - 335/134. Let f = a - 551. Is f a multiple of 2?
False
Suppose 0 = -77*i + 2972351 - 812039. Does 51 divide i?
False
Suppose 10 = 3*l + 2*x, -2*x = -l + 4 + 2. Suppose -2 = -j - 4*b, 2*j - l = -5*b - 0*b. Suppose j*u - 149 + 29 = 0. Is 20 a factor of u?
True
Let n(t) = 0*t**2 - 6*t - 3*t**2 + 4*t**2 - 3. Let o(m) = -m**3 - 8*m**2 + 9*m + 7. Let r be o(-9). Does 3 divide n(r)?
False
Let v = -7 - -9. Suppose v*r = 3*i - 31, 0 = 4*i - 4. Is (-39)/9*(-2 - r)/(-2) a multiple of 13?
True
Let d(n) = 9*n**2 - 3*n - 9. Let l(k) = 2*k - 8. Let y be l(4). Suppose y = -4*p + 28 - 40. Is d(p) a multiple of 22?
False
Let k be (-3 + 63)/3*4/5. Is 32/k + 2 + 78 a multiple of 3?
False
Suppose 83*d - 241856 = 75*d. Is d a multiple of 91?
False
Is ((-10)/(-24))/(525/2835)*2120 a multiple of 53?
True
Let a = -481 - -496. Is 8 a factor of ((-162)/a)/((-1)/55)?
False
Let n(t) = t**2 - 4*t - 8. Let m be n(6). Let z be m*(4 - 24/4). Does 10 divide -4*6/(-8) - z?
False
Suppose -13*l + 553282 + 426632 = 0. Suppose -42*g + l - 31068 = 0. Is 10 a factor of g?
False
Let g(w) = -1079*w + 1298. Is g(-25) a multiple of 21?
False
Suppose -18667 = 125*u - 162167. Is 35 a factor of u?
False
Let i = -4576 - -5437. Is i a multiple of 41?
True
Suppose -1692 + 438 = -11*b. Suppose -b*l + 1260 = -108*l. Is 42 a factor of l?
True
Let h be ((-612)/3)/3 - 2. Suppose 12*w + 9*w = 2688. Let v = h + w. Is 3 a factor of v?
False
Let m be (-3 - -4 - -3)*(-6)/(-8). Suppose 0 + 3 = m*n - 3*v, 5*v = 15. Suppose -n*g + 1228 = 292. Is 39 a factor of g?
True
Suppose -12 = 4*n, 0 = -0*q - 4*q - 6*n + 43834. Is 30 a factor of q?
False
Suppose -5*s + 4*o + 45437 = 0, -3*s = -s - 3*o - 18172. Is 149 a factor of s?
True
Let h(b) = 3 + 26*b**3 - 1 - 2*b - 28*b**3. Does 8 divide h(-3)?
False
Let r(g) = g**2 - 90*g - 136. Does 11 divide r(-39)?
True
Suppose 2*i = 2*r - 3*i - 24, -3*i - 8 = 2*r. Suppose -5*w + 7*w - 5*n - 688 = 0, -1021 = -3*w + r*n. Is 20 a factor of w?
False
Let f = 28179 - 12618. Does 171 divide f?
True
Suppose 15164 = 11*p + 1777. Let m = p + -467. Is 15 a factor of m?
True
Suppose -8*x + 30074 = -7*d + 12*d, -d = 6. Is x a multiple of 4?
False
Suppose -67*w + 2 = -66*w. Is (9/w - 2) + 25254/36 a multiple of 16?
True
Suppose -2*k = 5*y + 304, 3*k - 4*y + 596 = 94. Let t = k - -275. Suppose 0 = -2*j - 2*j + 20, -4*m - j = -t. Is m even?
False
Suppose 27 = 13*g - 25. Suppose 2*d = g*r - 451 - 583, 0 = 2*d - 10. Is 9 a factor of r?
True
Let n = 40 - 127. Let f = 84 + n. Is (-7 - (-112)/21)/(1/f) a multiple of 2?
False
Let i(y) = 2*y + 14. Let m be i(-5). Suppose 3*n + m*a - 748 = 0, -2*a - 398 = -3*n + 326. Suppose 2*u = 4*q + n, u + 4*u + 4*q = 540. Does 14 divide u?
True
Let d(c) be the second derivative of -5/3*c**3 + 0 + 7*c + 4*c**2. Does 17 divide d(-4)?
False
Is 8/28 + 167724/84 + (-1 - -4) a multiple of 10?
True
Suppose -750*m - 83475 = -1511*m + 736*m. Is 16 a factor of m?
False
Suppose -3300 = -8*o + 4*o. Suppose -3*s - 5*j = -934 + 133, 3*s - 3*j = o. Is s a multiple of 17?
True
Does 55 divide 323460/30 + (-2 - 2) + 2?
True
Suppose 2*f - 5*q - 224 = 0, -935*q + 940*q = 5*f - 560. Is 8 a factor of f?
True
Let m be -14*(-4)/16*16*2. Suppose 18 = 10*y - m. Let j(i) = 2*i**2 - 25*i + 1. Is j(y) a multiple of 2?
True
Suppose 0 = 4*q - 4586 - 1462. Is q a multiple of 27?
True
Let d(y) be the third derivative of -11*y**4/4 + 4*y**3 + 16*y**2. Let z be d(-8). Suppose -46*q + z = -44*q. Is q a multiple of 33?
False
Suppose 5*n + 56 + 179 = -5*d, -3*d = n + 57. Let o(w) = -w**3 - 42*w**2 - 3*w - 19. Does 8 divide o(n)?
False
Suppose 27 = -9*w - 45. Let h be (-10)/w + 3/(-12). Suppose -2*o = 2*i - 10, -i - 2*o = 2*o + h. Is 2 a factor of i?
False
Let d = 517 + -518. Let h(a) = 627*a**2 - 18*a - 19. Is h(d) a multiple of 7?
False
Let x = 277 + -280. Does 7 divide (-1279)/x + (-8 - (-208)/24)?
True
Suppose -2668 = -2*j - 2*j + x, x + 670 = j. Is 74 a factor of j?
True
Suppose -x = -65 + 65. Suppose 0 = 3*i - 2*n - 7334, n + 2444 = i - x*i. Suppose -i = -10*p - 436. Is 36 a factor of p?
False
Let r(m) = -m**2 - 11*m - 23. Let s be r(-11). Let h = -18 - s. Suppose -h*c = 2*c - 476. Is c a multiple of 11?
False
Let t(j) = j**2 + 35*j + 4. Let y be t(-35). Let f(m) = 39*m - 19. Does 15 divide f(y)?
False
Let s be -5 - ((4 - -8)/(-6) + -4008). Suppose 2*o = w - 3*o - 823, -5*w + 3*o = -s. Is w a multiple of 69?
False
Let t = -78 + -1238. Let d = t - -1878. Is d a multiple of 27?
False
Let d = 4650 + -1765. Suppose -5*m - 608 = -i, 2*m + d = 3*i + 1087. Does 48 divide i?
False
Let o be (-2)/(-8) + ((-21724)/(-16) - -5). Suppose -10*l = -o - 337. Is 17 a factor of l?
True
Suppose 2*w + 2*q + 10 = 0, 2*w + 5*q + 21 = -4. Let y(c) = -19*c + 628. Let a be y(33). Suppose w = 5*z - a - 59. Is 2 a factor of z?
True
Let m(z) = -z**3 + 28*z**2 - 27*z + 38. Let p be m(27). Suppose 0 = -14*c + p + 18. Suppose -243 = -q - c*r, 3*q - 4*q = -2*r - 231. Is q a multiple of 14?
False
Let n(a) be the second derivative of -11/2*a**2 + 0 + 1/12*a**4 + 7/6*a**3 + 18*a. Does 19 divide n(-14)?
False
Let v(m) = 127*m**3 + 6*m - 8. Let f be v(2). Suppose 3*j - 163 = r + 451, -5*j + f = -r. Is 23 a factor of j?
False
Suppose -2*u = 0, -815 = -t - 4*u + 1721. Is 8 a factor of t?
True
Let o = 7335 + -2127. Does 62 divide o?
True
Suppose -22*y = -21*y + 238. Let z = -126 - y. Is z a multiple of 34?
False
Suppose 4*j = 0, 6 + 9 = 5*s - j. Suppose -s*v = 5*v - 12640. Does 111 divide v?
False
Suppose j = -5*a - 3*j + 4121, 2451 = 3*a - 3*j. Let w = a - 551. Suppose -2*i - 3*i - 3*p + w = 0, -3*i + 133 = -4*p. Is i a multiple of 13?
False
Suppose -5*p + 28 = a - 3*p, 53 = 2*a + 5*p. Suppose -39*i + 360 = -a*i. Is 18 a factor of i?
True
Let d(q) = q**2 - 3*q - 1. Let x = 86 - 80. Let h be d(x). Suppose h*l = 20*l - 291. Does 8 divide l?
False
Suppose 4*j - 5*c - 17 = 0, 4*c = -j - 4*j + 11. Suppose -3*n - n - 520 = -d, -4*d + 2137 = j*n. Is 51 a factor of d?
False
Let k(y) = 73*y**3 - 2*y**2 + 2*y - 1. Let d(o) = 3*o**2 - 5*o. Let g(a) = a**2 - 2*a. Let w(f) = 2*d(f) - 5*g(f). Let h be w(1). Does 12 divide k(h)?
True
Let a = 15813 + -10150. Does 24 divide a?
False
Suppose -43*d + 20131 + 67374 = 0. Does 55 divide d?
True
Suppose 73 = 4*h - s - 844, 4*h = 3*s + 927. Is h a multiple of 3?
True
Suppose 139*c + 143*c = 294*c - 52452. Is 31 a factor of c?
True
Is 63 a factor of (-26190427)/(-1644) + (-10)/8*4/(-60)?
False
Let m = 26 + -23. Suppose 2*t - 7*t - 10 = 0, -m*y + 22 = -2*t. Suppose l + 2 = -4*g, -2*l + y*l - g = 26. Is l a multiple of 6?
True
Let q(a) be the second derivative of 5*a**3 - 86*a**2 - 203*a. Does 65 divide q(34)?
False
Suppose -172 = -2*u + 238. Suppose -5*m + m - 5*b = -u, -3*m + 5*b + 145 = 0. Does 9 divide m?
False
Let w(b) = b**2 + 45*b + 5740. Is 17 a factor of w(-106)?
True
Suppose 24*s + 795 + 1125 = 0. Let a = -30 + 149. Let m = a + s. Is 22 a factor of m?
False
Suppose -2477341 + 6634854 = 428*z - 10643583. Is z a multiple of 15?
False
Suppose 3*p = -5*t + 6, p + 3*t = 2*t + 2. Is 37 a factor of (p - 4)*-22 + 3?
False
Let i(p) be the first derivative of p**4/4 - 23*p**3/3 + 7*p**2/2 - 65*p + 61. Does 3 divide i(23)?
True
Let f(n) = -15*n**2 + n - 47. Let c(x) = -8*x**2 + x - 24. Let s(v) = -11*c(v) + 6*f(v). Let i be s(-6). Does 8 divide (72/i)/(6/(-40))?
True
Let r be (2/4)/(-1 + (-51)/(-48)). Let s(x) = -r*x - 12*x + 4*x**2 + 43 - 6*x**2 + 4*x**2. Does 16 divide s(13)?
False
Let s(f) = f**2 + 13*f + 43. Let c be s(-11). Let a(y) = 4*y - 31. Is 4 a factor of a(c)?
False
Let n = -5310 + 9312. Is 174 a factor of n?
True
Suppose -56 = 8*q - 72. Suppose -q*z - 551 = 4*l - 1943, -2121 = -3