- 1262. Is s a multiple of 57?
False
Let g(c) = -c - 34. Let j be g(-17). Let r = -22 - j. Is (-2260)/(-50) + 1/r a multiple of 5?
True
Let o be 6/(-9) - ((-16)/6 - 1). Let t(z) = -2*z. Let u(g) = 18*g + 7. Let w(f) = o*t(f) + u(f). Is 25 a factor of w(18)?
False
Let u be 6 - (10 + -2) - -294. Let x = 360 - u. Does 10 divide x?
False
Let d = 12183 + -9130. Is d a multiple of 217?
False
Let j(n) = -24*n + 126. Let c be j(5). Suppose -3344 = -c*o + 5*p, -770 = -2*o + p + 342. Is o a multiple of 31?
False
Suppose -148333 = -4*v - 5*c, -v = 37*c - 39*c - 37067. Is v a multiple of 17?
True
Let g be 544/(-80)*(255 - 0)*-1. Suppose 5*m + 3*x - 1449 = 0, 0*x + 2*x - g = -6*m. Does 8 divide m?
True
Suppose -248*p - 2*u + 19580 = -243*p, 4*p - u - 15664 = 0. Does 18 divide p?
False
Suppose 5*r - 2036 = 2*u - 177, -2*u = -3*r + 1117. Does 53 divide r?
True
Let k(w) be the third derivative of -w**5/60 + 17*w**4/24 - 28*w**3/3 - 8*w**2. Does 9 divide k(8)?
False
Is 20 a factor of -14*((-7776)/(-20))/((-25)/(5000/112))?
True
Let y be (-12)/30 + 69/(-15). Let c be (-5)/(0 + y)*-44. Let b = c + 138. Does 12 divide b?
False
Let k(l) = 3*l**2 + 21*l + 2. Suppose 5*r = -2*d - d - 50, 3*d - 13 = 4*r. Let n be k(r). Suppose -4*g - 26 = -5*q, 0*g = 4*q + n*g - 26. Does 6 divide q?
True
Let d be (6 - -1)*4/7. Let b(i) = 3*i**3 - 7*i**2 + 6*i - 6. Let h be b(d). Let u = h + -69. Is 9 a factor of u?
False
Suppose 0 = 11*q - 10*q - 2*l - 769, 1540 = 2*q - 5*l. Does 4 divide q?
False
Suppose 3*u + 4 = 5*u. Suppose 9*j - 4*j - 1 = -u*h, 0 = -4*h - 3*j + 23. Is 6 a factor of h?
False
Let m be (28/12)/((-2)/(-60)). Let c = m + -35. Suppose -c*j + 28*j + 406 = 0. Does 29 divide j?
True
Let g = 289 + -19. Suppose 181*f - 184*f + g = 0. Is f a multiple of 3?
True
Suppose -4*t = -3*z + 11404, -5*z + 101*t + 18988 = 99*t. Does 92 divide z?
False
Let o(j) = -26*j. Let y be o(-1). Let w(p) = 328 - 179 - 203 + 2*p - 3*p + 8*p. Does 16 divide w(y)?
True
Let l be ((-80)/(-25))/((-7)/(-5) + -1). Suppose 12*j = l*j + 56. Suppose -2*n = -4*q - 50, 82 = 2*n + 5*q + j. Does 4 divide n?
False
Let o be ((-44)/(-16) - 3)/(1/(-8)). Suppose 0*z + z = o. Suppose z*h = -b + 7*h + 4, 0 = -b - 5*h + 44. Is 8 a factor of b?
True
Let z(x) = -197*x + 5944. Does 6 divide z(-69)?
False
Is 2 a factor of (48/(-9) + 4)/((-8)/600)?
True
Suppose -4*j - 4342 + 10390 = 4*h, -4*h = 2*j - 3024. Let i = j + -823. Does 53 divide i?
True
Let s = 21165 - 12695. Is 85 a factor of s?
False
Let b(s) = -384*s + 1566. Does 29 divide b(-58)?
True
Let o = -26523 - -38049. Does 14 divide o?
False
Let s be (-15)/(-60) - 429/(-12). Is (-57)/9*s/(-12) a multiple of 19?
True
Suppose 4*n + 32 = 8*n. Suppose n - 23 = -5*x. Suppose x*c - 136 = -22. Does 35 divide c?
False
Let b(h) = -h**3 - 9*h**2 - 345. Is 8 a factor of b(-22)?
False
Let g = -2026 - -3658. Suppose 84*t - 108*t = -g. Is t a multiple of 6?
False
Is 548*11 - (-91)/(-143)*-11 a multiple of 85?
True
Let h(y) = -y - 9. Let n be h(-9). Suppose n*d = -d - 3, -4*a + 3*d = -257. Suppose -59*b + a*b - 15 = 0. Is b a multiple of 4?
False
Let d(c) = 5*c - 94. Let j be d(20). Is (-3616)/(-6)*9/j a multiple of 8?
True
Suppose 93*g + 96*g = 227*g - 587822. Does 7 divide g?
False
Suppose 0 = q + 19 - 12. Let w be 5 + 4 + q + 2. Suppose 95 = w*v - 41. Does 8 divide v?
False
Let n be 6*(-2)/(-3)*1. Suppose n*x + 24 = -8*x. Is 11 a factor of -3*x/9*(19 + 29)?
False
Let j(q) = -2*q**3 + 46*q - 5*q**2 - 23 + 16*q - 36*q. Does 27 divide j(-9)?
False
Let y(w) = -w**3 + 2*w**2 + 25*w - 6. Let k be y(6). Suppose 13*c + 417 - 5305 = k. Is c a multiple of 17?
False
Let b = 2582 - 1100. Is b a multiple of 78?
True
Let o(j) = -j**3 + 50*j**2 + 18*j - 273. Is o(50) a multiple of 11?
True
Suppose -3407 - 3582 = -10*z - 19*z. Does 9 divide z?
False
Suppose 4*y - 20 = -28*x + 31*x, y - 3*x = 5. Suppose -201 = y*c - 636. Is 9 a factor of c?
False
Is 16 a factor of ((-4)/(-8)*-7807)/(-2) - 2/(-8)?
True
Suppose t = -45*b + 44*b + 5355, t + 16085 = 3*b. Is 10 a factor of b?
True
Suppose -570*v + 594*v - 3624 = 0. Does 15 divide v?
False
Let l be (-8008)/16 - (0 + 2/4). Let x = 823 + l. Is x a multiple of 14?
True
Suppose -487 - 398 = 15*t. Let a = 198 + t. Is 16 a factor of a?
False
Let n(i) = -27*i**3 - 49*i**2 - 115*i - 56. Let l(y) = 7*y**3 + 12*y**2 + 29*y + 14. Let w(k) = -9*l(k) - 2*n(k). Is 50 a factor of w(-5)?
False
Suppose -4*b = 5*k - 28, -3*k - 8 = 5*b - 30. Suppose b*t = 2*v - 482, 3*v - t + 5*t = 730. Does 10 divide v?
False
Let i = -10440 + 11903. Is 19 a factor of i?
True
Does 23 divide (-350064)/(-15) + -3 + (-57)/95?
False
Let y(w) = w**3 - 43*w**2 + 15*w + 11. Let u(f) = 43*f**2 - 17*f - 11. Let i(j) = -3*u(j) - 2*y(j). Is i(-22) a multiple of 3?
True
Let n(x) be the first derivative of -x**6/360 - 5*x**5/24 - 19*x**4/12 - 49*x**3/3 + 13. Let j(q) be the third derivative of n(q). Is 59 a factor of j(-13)?
True
Let n(c) = c**2 - 8*c + 17. Let x be n(5). Does 6 divide ((-10)/25)/((0 - x)/2430)?
True
Let u = 91 + -89. Let x(a) = 8*a**2 - 19 - 7*a**2 + 17*a + a**u. Does 7 divide x(-13)?
True
Suppose 3*c = c + 40. Let s be -2 - (-268)/(-9) - c/90. Is 0 + (3 - s) + 1 a multiple of 11?
False
Suppose 60943 = 35*g - g - 142037. Does 30 divide g?
True
Let b be (-17)/68 + 3/(-4). Let l be b + (-1 - -2) + -11. Let c(y) = -7*y - 33. Is c(l) a multiple of 26?
False
Let q be 30452/8 - 1/(10/(-15)). Is 12 a factor of 18/4*q/84?
True
Does 70 divide (55/(-2))/((-89)/2492)?
True
Suppose y + 112 = 15*y. Is (587/(-2))/(y/(-16)) a multiple of 9?
False
Let w(c) = -2*c - 3 + 6*c**2 - 5*c**2 + 3*c**3 - 6 + 5. Let g be w(-2). Let y(k) = -k**3 - 21*k**2 - 22*k - 11. Does 6 divide y(g)?
False
Suppose -61629 = -2296*d + 2306*d - 466199. Does 194 divide d?
False
Let j = 25770 + -2986. Does 178 divide j?
True
Let h(w) = 290*w - 570*w + 17 + 360*w + 2*w**2. Is h(-41) a multiple of 7?
False
Suppose o + 13 = -2*j, -5*o - 5*j - 55 = -0*o. Let h = o - 9. Let i = 24 - h. Does 30 divide i?
False
Suppose -8*p + 13*p + 6*p - 93500 = 0. Is p a multiple of 150?
False
Let y(k) = -k**3 - 7*k**2 + 20*k + 16. Let w be -1*2 - 0 - (2 + 5). Let d be y(w). Let a(g) = -3*g**3 - g**2 - 4*g - 7. Is a(d) a multiple of 7?
True
Is 137 a factor of (9316/85)/((-12)/(-30))?
True
Let o be (-1)/(-5) - (-10 + (-11328)/(-40)). Let v = -147 - o. Does 21 divide v?
True
Suppose -513*b = -511*b - 12452. Does 3 divide b?
False
Let j(n) = -2*n**2 + 3*n + 2. Let w be j(2). Suppose w = 12*z - 5 + 65. Does 10 divide (-3 - 285/z) + -4?
True
Let u = -11953 - -6089. Does 11 divide 3 - u/14 - 1/(-7)?
False
Suppose 10*l + 13*l - 35398 = 1402. Is 5 a factor of l?
True
Let k(h) = h**3 + 36*h**2 - 80*h - 1085. Does 27 divide k(-30)?
False
Let d(j) = -j**3 + 3*j**2 - 3*j + 6. Let b = -1 - -3. Let l be d(b). Suppose m = -3*g + 65, -205 = -l*m - 3*g + 2*g. Is 4 a factor of m?
False
Let o = -1 - -59. Is 17/(-15)*-5*(o + 2) a multiple of 21?
False
Let t = 119 + -107. Let i(m) = 14*m - 61. Is 7 a factor of i(t)?
False
Let i(x) = 55*x**3 + 7*x**2 - 18*x + 12. Does 6 divide i(2)?
True
Let u(i) be the first derivative of 4*i**2 - i + 6. Let t be u(1). Suppose -t + 222 = 5*k. Is 26 a factor of k?
False
Suppose 3*g + 3*v = 15, 2*g - 25 = -3*g + 4*v. Suppose 5*c - 5*x - 4572 = -x, g*c = x + 4563. Does 15 divide c?
False
Does 17 divide (-19863)/(-15)*(20 - 55/3)?
False
Let a = 5021 + -3146. Let d = 3899 - a. Suppose 13*m - d = 5*m. Does 23 divide m?
True
Let b(m) = m**2 - m - 7. Let f = -41 - -41. Let n be b(f). Does 22 divide (n + 11)*(-71)/(-4)?
False
Suppose -4*m + l + 138086 = 0, -m - 15*l = -19*l - 34514. Does 199 divide m?
False
Suppose -6 = -7*k + 85. Suppose -k + 46 = 4*p - 3*x, -x - 55 = -5*p. Let s(m) = -m**3 + 14*m**2 - 12*m - 17. Does 15 divide s(p)?
False
Let u(b) = 648*b**2 + 38*b + 81. Is u(-4) a multiple of 87?
False
Let k(s) = -43*s - 46*s - 8 + 88*s. Let u be k(-6). Does 16 divide (3/u)/((-3572)/(-896) - 4)?
True
Suppose 4*x - 5*v + 17 = 0, -3*x + x - 1 = -5*v. Is 38 a factor of -1 + 81 + x + 4?
True
Let x = -24877 + 28354. Is x a multiple of 19?
True
Suppose 2*r - 10 = -3*p - 37, -3*r - 3*p = 39. Let o be 4/r - 8/3. Let h(g) = 4*g**2 + 5*g + 7. Does 14 divide h(o)?
True
Suppose -17028 + 161061 = 41*t. Does 42 divide t?
False
Suppose -74*p = v - 71