 4*q - 4. Let j be m(-6). Suppose a + 2*n = 662, -4*n = -j*a + 6*a + 1316. Does 10 divide a?
True
Let t be (-8)/(-60) + 8/(-60). Let v(k) = k**3 - 7 + t*k - 2*k**2 - k + k + 6*k. Is 10 a factor of v(3)?
True
Does 16 divide ((-8489)/5 - (118 + -123))*(1 - 26)?
True
Suppose -29334 = -4*i - 5*b, -36682 = 18*i - 23*i + b. Is 14 a factor of i?
True
Let u = 10 - 2. Suppose -6*s + 248 - u = 0. Is 5 a factor of s?
True
Is 38 a factor of (-16)/(-14) + -124*1630/(-35)?
True
Suppose -2*n = -h + 1, -7*n + 3 = -6*n + 3*h. Suppose n = -9*j + 21*j - 2052. Is j a multiple of 57?
True
Suppose -4*y - 890 = -2*p, 4*p + 3*y - 1863 = -105. Is 75 a factor of p?
False
Let n = -1115 + 1897. Is 10 a factor of n?
False
Let r(t) = -t**3 + t**2 - 5*t + 1. Let z(q) = 3*q - 1. Let y(v) = 3*r(v) + 5*z(v). Let m(c) = -c**2 - 8*c + 18. Let s be m(-10). Does 11 divide y(s)?
False
Suppose 0 = -7*h + n + 254229, -3*h - 28*n + 108941 = -32*n. Is h a multiple of 44?
False
Suppose m = 2*u + 2*u + 3, 4*m = 12. Suppose u = 3*y - 0 - 15. Suppose 20 = y*p - 4*p. Does 5 divide p?
True
Suppose 0 = -4*g - 4 - 84. Let v = -163 + g. Let c = 297 + v. Does 16 divide c?
True
Let g = -1089 - -4655. Is 13 a factor of g?
False
Suppose -3*v - 11618 = -2*t, 21*t - 26*t = -3*v - 29018. Is t a multiple of 60?
False
Let v(l) = -4*l**2 + 4*l. Let t(h) = h**2 + 2. Let x(z) = 5*t(z) + v(z). Does 19 divide x(16)?
False
Suppose -4*r - 3*g = 435, -r + 3*g = -0*g + 120. Let p = 69 - r. Does 10 divide p?
True
Suppose -1421833 - 1512835 - 268132 = -340*j. Is 15 a factor of j?
True
Let u = 152 + -322. Let s = u - -278. Is 2/(-9) + 13524/s a multiple of 14?
False
Suppose n + 267 - 39 = 4*d, n + 171 = 3*d. Let x = d - 57. Suppose x = -10*z + 14*z - 368. Does 11 divide z?
False
Let v(o) = -o**3 + 130*o**2 - 775*o + 312. Is v(123) a multiple of 198?
True
Suppose -95*l = -103*l - 1464. Let b = 351 + l. Is 6 a factor of b?
True
Let g(i) = 8*i**2 + 5*i + 36. Let m be g(-10). Let w = -318 + m. Does 13 divide w?
True
Let b = -8971 + 9708. Is 11 a factor of b?
True
Suppose -2*w - 28 = -24. Is (-2)/3 + (30296/(-42))/w a multiple of 40?
True
Let v = 668 + -666. Suppose -2*b = -p + 117, 235 = v*p - 5*b - 0*b. Is 17 a factor of p?
False
Suppose -6 = 5*v - 3*s, 0 = 4*v + 3*s - s - 4. Suppose v = 3*w - 5*m - 81, w - m + 81 = 4*w. Is w even?
False
Suppose -80 = -5*g + 4*o, -5*g = -2*g - o - 41. Suppose g*s = 7*s - 4*r + 620, -25 = -5*r. Suppose 5*z = s + 555. Is 11 a factor of z?
False
Let o = -570 - -576. Suppose o*h - 9*h = -3*y + 4320, -5768 = -4*y + 2*h. Does 43 divide y?
False
Let x(z) = 5*z**2 + 35*z - 7. Let m(n) = 3*n. Let f(w) = -6*m(w) + x(w). Is 13 a factor of f(10)?
True
Let t(x) = 715*x + 3359. Does 71 divide t(13)?
False
Suppose -o - v = -0 - 1, 4*o - v - 24 = 0. Suppose n - 2*l = 218 - 2, o*l + 1065 = 5*n. Does 7 divide n?
True
Let i = 218 - 209. Suppose 425 = 2*j + i*f - 4*f, 2*f - 1031 = -5*j. Does 41 divide j?
True
Let i = 46 - 43. Suppose -16 = -5*h - 1, 0 = i*d - 3*h + 198. Let b = -32 - d. Is b a multiple of 11?
False
Let r(c) = -207*c - 2303. Does 15 divide r(-23)?
False
Let k(b) = 97*b + 67. Suppose 6*v + 45 = 87. Is k(v) a multiple of 22?
False
Suppose 35 = v - 42. Suppose -3*z + v = a + 2*z, a + 3*z = 75. Is 6 a factor of a?
True
Let v = 206 - -2825. Suppose -a = -5*i + 2903, 5*i + a = v - 124. Is i a multiple of 12?
False
Suppose 21*g - 10 = 11. Let t(w) = 139*w + 11. Is t(g) a multiple of 26?
False
Suppose 29 = 9*t - 7. Suppose 4*p - 5*j = 389, 4*p - 461 = -t*j - 81. Is 21 a factor of p?
False
Let u(c) = -232*c**3 + 3*c**2 + 7*c + 2. Let v(h) = 4*h**2 - 26*h + 39. Let t be v(4). Is 23 a factor of u(t)?
True
Suppose 3*u - q = 1240 - 114, 5*q + 1483 = 4*u. Is u a multiple of 64?
False
Suppose 5*p + 4*h = -55, 5*p + 18 + 62 = h. Let m(r) be the second derivative of -3*r**3/2 + 8*r**2 - 24*r. Does 15 divide m(p)?
False
Let s = -14356 - -14510. Suppose -2*b + y - 163 = 0, 3*b = -y - 158 - 74. Let v = s + b. Does 3 divide v?
True
Suppose -3*p + 4*a = -0*a - 115, -5*a = 20. Suppose 8 = -29*j + p*j. Suppose -j*y = -6*y + 100. Is 5 a factor of y?
True
Let d be ((-17)/((-340)/1350))/((-3)/(-308)). Suppose -42*f + 53*f - d = 0. Does 30 divide f?
True
Suppose 0 = 4*k - 60*k + 20160. Is 40 a factor of k?
True
Let f(x) = 2*x + 12. Let t be f(-4). Let m(v) = v**3 - 5*v**2 + 3*v + 4. Let d be m(t). Let u(q) = 2*q + 48. Does 8 divide u(d)?
True
Suppose 2*d = -4*c + 472, 5*c - 2*d - 596 = -6*d. Let b = c - -182. Does 31 divide b?
False
Suppose 8*q - 3*q + 8 = -2*g, -4*g - 34 = q. Let x(c) be the second derivative of -c**3 - 6*c**2 - 4*c - 5. Is 7 a factor of x(g)?
True
Let m(c) = -4809*c + 3662. Is m(-3) a multiple of 18?
False
Let y(o) = -29*o - 361. Does 5 divide y(-14)?
True
Suppose -5*t + 15 = -95. Let z = 26 - t. Suppose -3*l + 24 + 7 = g, -2*l + 24 = z*g. Is l a multiple of 2?
True
Suppose o = -x - 1, -2*x + 2 = 5*o - 2. Let t be ((-945)/6)/(-3) - x/(-2). Let g = t + 40. Does 13 divide g?
True
Let i = 236 + 2553. Does 3 divide i?
False
Let p = 24 - 19. Suppose 5*h = -5*q + 110, -q + 0*q - p*h = -6. Let b = -21 + q. Is 4 a factor of b?
False
Let p be (-4)/14*(4 + -13 + -5). Suppose p*r - 9 = -1. Suppose w + 3*w + 44 = 3*i, 0 = -i + r*w + 16. Is 12 a factor of i?
True
Suppose -3*v + 2*j + 6265 = 283, -2*j = -2*v + 3984. Is v a multiple of 111?
True
Let y be 14 - 7704/(-28) - 2/14. Let w = 551 + y. Is w a multiple of 8?
True
Does 19 divide (124/6)/(242/49368)?
False
Let j = -7687 - -11223. Is j a multiple of 34?
True
Let d(q) = 655*q + 0 - 1273*q + 2 + 4. Is d(-1) a multiple of 12?
True
Let k(s) = s**3 - 8*s**2 - s + 10. Let d be k(8). Suppose d*w + 3*r - 1285 = 0, -6*w + 3*r - 2*r = -3825. Is 29 a factor of w?
True
Let j(a) = 3*a**2 - 7*a. Let n be j(3). Let m be 2706*1*(-3)/n. Is -4 - (-20)/8 - m/6 a multiple of 20?
False
Is 149 a factor of (-32)/24*3/6 + (-14308)/(-6)?
True
Suppose 58*l + 9702 = 76*l. Does 10 divide l?
False
Is (23/(207/(-594)))/(-2 - 720/(-363)) a multiple of 33?
True
Let j be 6 - 4 - (-930 + -2). Let a = -533 + j. Is a a multiple of 8?
False
Let q be 657/36 + (-6)/(-8). Let b(v) = 4*v - 52. Let p be b(q). Does 2 divide -6*(-6)/(p/10)?
False
Suppose -24*f + 43*f = 274811 + 200949. Does 45 divide f?
False
Let r = 1805 - 456. Suppose 8*t - r = 507. Does 29 divide t?
True
Suppose 0 = 14*c - 7*c - 1757. Suppose c = 4*x - 77. Is 12 a factor of x?
False
Let x(r) = 40*r**2 + 3*r + 11. Let z = -62 + 60. Is 30 a factor of x(z)?
False
Suppose -x = -2*a - 3804, 3980 = 2*x + 3*a - 3614. Is x a multiple of 38?
True
Let j = 219 + -214. Suppose -5*w + 231 = -j*i + 7*i, 6 = 2*w. Is 27 a factor of i?
True
Let g(l) = l**3 - 43*l**2 - 105*l + 509. Does 18 divide g(55)?
False
Let q = -75 + 57. Let j(u) = u**2 + 15*u + 16. Is 14 a factor of j(q)?
True
Let n be 141/6 + (-18)/12. Is 6 a factor of n + 20/(-2) + 2?
False
Let t(y) = y**2 - 15*y + 28. Let n be t(14). Let z = -50 + n. Does 11 divide 32/6*66/z*-9?
True
Let l be 22*12/(-16)*-70. Let i = l - 795. Is i a multiple of 36?
True
Suppose 1408 = -x - 3*x. Suppose 34*v - 15*v = -12*v - 7502. Let a = v - x. Is a a multiple of 22?
True
Suppose r - 3*g + 33 = 3*r, 0 = -2*r + 2*g + 8. Suppose 2*x + 133 = r*x. Is x even?
False
Suppose 3*d + 3*n - 4 - 5 = 0, -2*d = -4*n. Let i = d - -3. Suppose -i*x + 7*x = 96. Is 3 a factor of x?
True
Suppose 2*i + 2*c + 748 = 0, 2*i - 5*c + 230 = -504. Let v(f) = 42*f - 6. Let w be v(13). Let y = w + i. Is y a multiple of 21?
True
Is 29105 + 10 + 0/12 a multiple of 18?
False
Let c(b) = -12*b - 22. Let x be c(6). Let y = 96 + x. Suppose -7*z + 4*p + 704 = -3*z, 4*z + y*p - 692 = 0. Is 29 a factor of z?
True
Suppose 0 = -5*p + 5*g - 30, 9*p + g = 7*p - 6. Let b(n) = 4*n**2 + 5*n + 4. Let w be b(-3). Is 6 a factor of 1*w - (p + 5 - -2)?
False
Let j be (-4)/(-6)*-3 + 6*35. Does 44 divide (6/4)/(78/j) + 84?
True
Suppose 46*l = 47*l + 3*x - 880, 2*l - 1772 = -2*x. Is 21 a factor of l?
False
Let n(o) = -173*o - 198. Let s be ((-408)/238)/(2/7). Does 21 divide n(s)?
True
Suppose 16*d + 2143 = 3*h, 2*d + 2780 = -4*h + 8*h. Is 11 a factor of h?
True
Let g(x) = 2*x**2 + 18*x + 86. Let p = 682 + -693. Is 9 a factor of g(p)?
False
Suppose -125 = -7*j - 97. Suppose j*m + 1832 = 4*s, -3*s - m + 1394 = m. Is s a multiple of 22?
True
Suppose -4 = 4*