 12197. Is p a multiple of 120?
True
Let c(p) = -p**3 - 2*p**2 - 4. Let t be c(-3). Suppose -396 = -5*n + 919. Suppose -t*r + n = 23. Does 11 divide r?
False
Let u(v) = 686*v**2 + 230*v + 1. Is 5 a factor of u(-2)?
True
Let b be (12 - -134) + -2 + -2. Let c = b - -100. Does 11 divide c?
True
Let g = -720 - -3662. Is 183 a factor of g?
False
Let s be (9 + -6)*137/(-3). Let c = 181 + s. Is 8 a factor of c?
False
Let c(l) = -4*l**3 + 2*l**2 + 8*l + 5. Let r(w) = w**3 - w**2 - w + 1. Let f(v) = c(v) + 3*r(v). Is f(-4) a multiple of 9?
True
Suppose -223*b = -227*b - 2*l + 12546, 3*b = 4*l + 9404. Does 4 divide b?
True
Suppose -4*q = b + 48, 4*q - 4*b + 12 = -16. Let k be (q - -3)*(1 + -4). Suppose 6*w - w = 3*a - k, 21 = 5*a - 2*w. Is a a multiple of 2?
False
Let b be (-5*8 + -2)*4/(-8). Suppose 5*g + 7*w = 4*w + b, -g + 9 = 3*w. Suppose -m - g*p + 58 = -p, -5*m + 297 = 3*p. Does 19 divide m?
False
Is 62 a factor of (-684982)/707*14/(-4)?
False
Let j = 2558 - -396. Is 14 a factor of j?
True
Let r = -69919 + 113947. Does 14 divide r?
False
Let b(h) be the first derivative of -h**4/4 + h**3 + 2*h**2 - 4*h + 4. Suppose -p + 5*x = -2*p - 2, -5*p + 16 = -x. Is b(p) a multiple of 4?
True
Suppose 88 = -2*z + 10*c - 8*c, 0 = 2*z - 5*c + 100. Let i = z - -715. Is 8 a factor of i?
False
Suppose 2*u - 41 = 161. Let v(g) = -g**3 - 4*g**2 - 5*g - 4. Let l be v(-3). Suppose 2*p - 68 = 3*x, l*p - 5*x = -p + u. Does 25 divide p?
False
Suppose -3*s + 5*s + 8*v - 70632 = 0, -2*s = 2*v - 70602. Is s a multiple of 216?
False
Let k(c) = 4*c**3 - 3*c**2 - 69*c - 27. Is k(10) a multiple of 10?
False
Let p(j) = -9*j - 6. Let h be p(-6). Suppose -13*y = -58 - 7. Suppose 4*b = 8, 3*b + 51 + h = y*n. Is n a multiple of 7?
True
Let q = 17231 - 5647. Is 167 a factor of q?
False
Let k(g) = g**2 + 30*g + 513. Does 71 divide k(-22)?
False
Let t be 212/8 + 4/8. Let x = 31 - t. Does 11 divide ((-11)/x)/(1/(-36))?
True
Let t(i) = 16*i + 75. Let g be t(14). Let m = -211 + g. Is 11 a factor of m?
True
Let q(a) = -2186*a + 2456. Is q(-14) a multiple of 95?
True
Suppose -25*h = -28*h + 309. Suppose 2*i - 181 = i. Let d = i - h. Does 24 divide d?
False
Suppose -u - 2*i + 17 = 0, -326*i + 331*i = -4*u + 62. Let k(g) be the first derivative of -g**4/4 + 14*g**3/3 - 4*g**2 - 26*g - 1. Is 16 a factor of k(u)?
False
Suppose -876*a + 343952 = -839*a. Does 8 divide a?
True
Suppose w - 4*k - 16920 = 0, 0 = 79*w - 76*w + 3*k - 50655. Is 68 a factor of w?
False
Let n be (-980)/(-60) + 8/(-6). Is (350/n)/((-1)/(-6)) a multiple of 28?
True
Let b = -383 + 308. Let u = 49 - b. Does 4 divide u?
True
Suppose 52*k - 61360 = -66*k. Does 10 divide k?
True
Suppose -75*g - 355 = -72*g - 3799. Does 14 divide g?
True
Let x = 3474 - 2342. Let s = x - -45. Does 41 divide s?
False
Suppose 0 = -4*h - 12934 - 7286. Does 9 divide 10/(-45) - h/27?
False
Suppose -2*n + 13*t = -154362, -17*n + 16*n + 4*t + 77171 = 0. Is 139 a factor of n?
False
Let k(c) = -23*c - 99 + 31 - 5*c + 7*c. Is 3 a factor of k(-9)?
False
Let v = -1367 + 282. Is 4/(-16) - v/20 a multiple of 16?
False
Suppose 0 = 2*y - 2, -3*c = -4*c - 4*y + 37073. Suppose c - 5092 = 33*w. Is 86 a factor of w?
False
Suppose -40*a + 9*a = 0. Suppose 0 = l - a*l + 2*j - 2017, -4*l + j + 8059 = 0. Is 25 a factor of l?
False
Let s(f) = 160*f + 2. Suppose -2*v + 7 - 5 = 0. Let l be s(v). Suppose 5*g = l + 43. Does 39 divide g?
False
Let k(u) = 1787*u**3 + 2*u + 1. Let t be k(-1). Let m be t/33 - (-4)/22. Let p = -35 - m. Is p a multiple of 10?
False
Let n(y) = 3*y**2 - 4*y + 27. Let w(o) = o**2 - o. Let f(a) = -n(a) + 2*w(a). Let s be f(9). Does 6 divide (2 + 36/(-15))*s?
True
Let z(o) be the third derivative of -o**4/3 - 95*o**3/6 - o**2 - 12. Does 12 divide z(-17)?
False
Let s(u) = 3*u**2 + 5*u - 38. Let x be s(-13). Suppose -x*c + 3069 = -401*c. Does 24 divide c?
False
Let z = -30 + 5. Let c be z/((-5)/1) + 0. Suppose -3*h = -c*w - 4*h + 73, w = -5*h + 5. Is 10 a factor of w?
False
Suppose -156*l = -103*l - 70172. Does 2 divide l?
True
Let k be (-64)/576 - 56/(-18). Let v be (35 - -1)*(-3 + 7). Suppose -v = -5*g + k*g. Is g a multiple of 9?
True
Let b = 21982 - 11706. Is 29 a factor of b?
False
Suppose -22*g + 24*g - w - 12539 = 0, -w + 6271 = g. Is g a multiple of 15?
True
Let s(w) = 2*w**2 + w - 14. Let f(u) = -u**3 - 5*u**2 - 4*u + 43. Suppose -28 = 17*t - 21*t. Let p(d) = t*s(d) + 2*f(d). Does 32 divide p(-4)?
False
Suppose 0 = -57*v + 688181 - 155117. Is 28 a factor of v?
True
Suppose 12 = -4*q, 3*x - 1 = x - 3*q. Suppose -5*a = x*y - 2910, 17*y = 3*a + 18*y - 1742. Is a a multiple of 75?
False
Let f(k) = -19*k + 1. Let s be f(-1). Suppose s*w - 15*w = 10. Suppose 0 = -3*a - 2*v + 100, -w*v = -3*a + 68 + 24. Is a a multiple of 8?
True
Suppose 0 = -i - 3*q + 1188, -2*q - 4780 = -6*i + 2*i. Suppose 3*p - i = 696. Is 15 a factor of p?
True
Let m = 363 + -213. Suppose 81*s = 75*s + m. Does 5 divide s?
True
Let u(c) = -27*c + 76. Let w be u(3). Let b(m) = -2*m**3 - 8*m**2 - 8*m - 15. Is b(w) a multiple of 75?
True
Suppose 2*k - 3*j - 19522 = 2*j, -5*j = -5*k + 48835. Does 46 divide k?
False
Does 220 divide 88*(-17 + 17 + 10)?
True
Does 153 divide -5 + (-154)/44*-220?
True
Let a(i) be the first derivative of -6*i**2 + 15*i + 24. Let b be a(3). Is 24 a factor of (b/4)/(11/(-352))?
True
Suppose 7*d - 67 - 318 = 0. Suppose -20 = -5*h + h. Suppose u - 5*y = 31, -h*u + 22 + d = y. Does 3 divide u?
False
Let l(i) = -42*i + 20. Let w be l(0). Suppose -w*m + 24*m = 840. Does 21 divide m?
True
Let h(k) = 1216*k + 1885. Is h(7) a multiple of 37?
True
Suppose 4*c + 577 = 585, -5*c + 16938 = 4*r. Is r a multiple of 46?
True
Suppose 2*v + 0 = -8. Let j(w) = 24*w**2 - 14*w**2 - 3*w - 234 + 237. Is 25 a factor of j(v)?
True
Let h = 3795 - 2640. Is 32 a factor of h?
False
Let h = -6 + -8. Let y be (h/9)/(-7) - 11/9. Is 2*y/1 + 60 a multiple of 6?
False
Suppose -2*j + 48 = -14*j. Does 18 divide ((-2431)/j)/(-11)*-4?
False
Let l(u) = 2*u**3 - 151*u**2 - 67*u + 1141. Does 73 divide l(76)?
True
Suppose v = -3*o + 4026, -o = -4*v + 19429 - 3351. Is 12 a factor of v?
True
Let w = -1776 + 3258. Let n = w + -1034. Does 5 divide n?
False
Let m(t) = -t**2 + 4*t + 1. Let w be m(3). Let x be 332/581 - 1641/(-7). Suppose 3*d - x = -2*k, -2*d - w*k + 316 = 2*d. Does 18 divide d?
False
Suppose -h - 6 = -2*f, -h = -3*h - 2*f + 18. Suppose -4*g + 36 = h*z, 1 = g + 3*z - 12. Suppose 4*t + 102 = g*t. Is 15 a factor of t?
False
Is 272 a factor of (7040/(-385))/(2/(-238))?
True
Suppose 3*n - 4*r - 40867 = 0, 103811 = 5*n + r + 35730. Does 89 divide n?
True
Is 70 a factor of ((-2 - -4)/(340/(-8092)))/(2/(-100))?
True
Is 9 a factor of (-5)/((-6)/(-5 - -1895))?
True
Suppose 6 = i + 3*g, -8*g - 4 = -12*g. Suppose 0*o + 3264 = 4*o. Is 43 a factor of o/12*(i - 0) - -2?
False
Suppose -17 + 142 = 3*x + 2*w, -2*w = -8. Let n = -36 + x. Is n a multiple of 2?
False
Let a(r) = r**3 - 3*r**2 - r + 80. Let h(o) = o**3 - o**2 - o. Let u(m) = a(m) - 2*h(m). Let i = -1377 + 1377. Does 8 divide u(i)?
True
Is 203*1 - (-753)/251 a multiple of 6?
False
Let m be (5 + -4)/(-5) + 93/15. Let l(w) be the second derivative of 19*w**3/6 - 23*w**2/2 + w. Is l(m) a multiple of 12?
False
Does 23 divide 18*((-103040)/(-63))/8?
True
Is (3807552/1232)/((-12)/(-88)) a multiple of 57?
False
Let w(i) = i**2 - 12*i - 18. Let f = -33 + 23. Let t be w(f). Is t/4 + (-10)/20 a multiple of 27?
False
Is 129 a factor of (1548/(-72))/(2/(-720))?
True
Let f(g) = g + 2*g + 55 - 4*g + 12*g. Is f(0) a multiple of 4?
False
Suppose -4*t + 124 = 4*q, -4*t - 1740*q + 1742*q = -142. Let f be (1*3)/((-3)/(-4)). Suppose 3*u - 41 = -4*s + 9, 3*s + f*u = t. Is 2 a factor of s?
True
Suppose -51*g = -53*g + 14. Suppose 350 = 5*b - 5*m, -58 - g = -b + 2*m. Suppose 0 = -4*y - 3*f + b + 10, 2*f = -2*y + 40. Is 25 a factor of y?
True
Let n be (-13)/26 - (-4041)/(-2). Let f = n - -3134. Is 70 a factor of f?
False
Let q(z) = -56*z + 24. Let p be q(3). Let s = p - -265. Is 11 a factor of s?
True
Suppose t - b = 3*t - 8595, -b = -5*t + 21470. Is 37 a factor of t?
False
Let d(f) = 3*f**2 + 16*f - 28. Let s(h) = -4*h**2 - 17*h + 28. Let l(p) = 3*d(p) + 2*s(p). Let j be l(-16). Is 13 a factor of 13/((j/11)/4)?
True
Suppose -3*p + 6123 = d, 3*d + 16*p - 19*p = 18297. 