 c be b(-3). Suppose c*y = 62*y + 1680. Does 40 divide y?
True
Suppose 5*i - 18936 = 2*u + 6861, 2*u - 25793 = -5*i. Is i a multiple of 77?
True
Let j = -35 - -77. Suppose -j*d = -41*d - 2. Suppose 3*m - 4*y - 541 = 0, d*m - y = -113 + 477. Is m a multiple of 16?
False
Suppose 2*y + 2*y = 8, -o = -3*y + 218. Let k = 576 + o. Is 14 a factor of k?
True
Suppose 2*t = r - 1484, -5*r + 2*t + 9501 = 2073. Is 18 a factor of r?
False
Let x = -18 + 10. Let b(d) = d**3 + 8*d**2 + 2*d + 12. Let n be b(x). Let g(q) = -q**3 + 5*q**2 + 4*q + 4. Is 11 a factor of g(n)?
True
Let k(d) = -d**2 + 13*d - 13. Let f be k(12). Let j(v) = -101*v. Let c be j(f). Let b = c + -45. Does 7 divide b?
True
Let m = 41 + -18. Let q = 32 - m. Suppose -3*b - q = -63. Is b a multiple of 9?
True
Suppose -3*v = v + 12. Let u be v*((-3 - -6) + -4). Does 9 divide 229/u - (10/3)/(-5)?
False
Let y be 0/6*1/(-3). Suppose -2*m - 3*f = 2*f - 608, -2*m - f + 592 = y. Is 7 a factor of m?
True
Let q = -93 + 99. Let a be 5*-1 - (q + -16). Suppose 242 = a*t - 363. Is t a multiple of 22?
False
Is 4/(-58) - 8036581/(-5249) - (0 + 1) a multiple of 34?
True
Let d(r) = -r**3 - 16*r**2 - 16*r - 12. Let m be d(-15). Let u(z) = 3 - z - z**2 - 3*z**3 - 2*z + 4*z**3. Does 3 divide u(m)?
True
Let y(i) = -2*i**3 + 14*i**2 - 12*i + 13. Let m(u) = -u**3 + 6*u**2 - 6*u + 7. Let o(c) = 7*m(c) - 3*y(c). Is o(-5) a multiple of 33?
True
Let z = 5413 - 3781. Does 34 divide z?
True
Suppose 166 = 4*w + 2*h, 5*w - 6*h = -h + 185. Suppose 3*s - 5*x - 3517 = -6*x, 2338 = 2*s + 2*x. Is 37 a factor of s/8 - (-10)/w?
False
Suppose 2*y - 2 = 0, 2*y - 11 = -2*x + 31. Suppose u + 181 = 5*f + x, -f + 30 = 2*u. Is 2 a factor of f?
True
Let a = -438 + 533. Suppose 0 = -84*i + a*i - 1232. Does 7 divide i?
True
Let i = 2818 + 5946. Does 21 divide i?
False
Let p(t) = -5*t + 71. Let w be p(14). Let f be (1 - -1)*((-2529)/6)/w. Let o = -578 - f. Is o a multiple of 24?
False
Let o(b) = -65*b + 12. Let k be o(5). Let c(m) = 542*m**3 - 3*m**2 + 4*m - 1. Let h be c(1). Let f = h + k. Is f a multiple of 38?
False
Does 44 divide -1249*(5 - 3)*(-936)/208?
False
Let p(w) = -w**2 - 18*w - 1. Let c be p(-14). Suppose -2*r + 290 = 2*y, -445 = -c*r + 52*r - y. Is 6 a factor of r?
True
Let b(y) = 12*y + 10. Let p be b(23). Let j = p + -215. Does 15 divide j?
False
Let g(z) = 3*z + 4. Let p be g(0). Suppose -3*m = p*i + 7 + 9, 20 = m - 5*i. Suppose -v - 2*c + 9 = m, -3*c + 11 - 29 = -2*v. Is v even?
False
Let x be 15/3 + 0 - 3. Suppose -x*h = d - 17 + 1, 0 = -4*d + 3*h + 31. Suppose -500 = -0*t - d*t. Does 10 divide t?
True
Let b = 284 - 280. Is 21 a factor of b/18 - (-4154)/18?
True
Let x(f) = 9*f + 280. Let k be x(-33). Let m(c) = c**2 + 11*c - 20. Does 9 divide m(k)?
False
Is 2/(12/5664*1) a multiple of 2?
True
Suppose 4*u + 37010 - 149947 = 3*c, -141172 = -5*u + 4*c. Is 152 a factor of u?
False
Suppose 0 = -4*q + 3*i + 83, 1 - 5 = 4*i. Is 1*q/(-6)*-105 a multiple of 40?
False
Let s be (-159)/(-33) + (-20)/(-110). Suppose -s = -16*d + 43. Suppose 0 = -d*y + 12, y = 3*o - 2*o - 19. Is o a multiple of 7?
False
Let s(l) = l**2 + 7*l - 3384. Is s(-124) a multiple of 7?
False
Suppose -3*c + 3 - 15 = 0. Let q(i) be the second derivative of -13*i**3/6 - 9*i**2 - i + 2. Is q(c) a multiple of 4?
False
Let j = 84 - -192. Let a = -248 + j. Is 8 a factor of a?
False
Suppose -156*l - 138810 = -3454254 + 451284. Is l a multiple of 24?
True
Suppose 0 = -j + 110 - 106. Is 16 a factor of (-2830)/(-8) - j/(-16)?
False
Suppose -57 = -9*z + 6*z. Let p be (2 + -4)*35/10. Let x = z - p. Is 13 a factor of x?
True
Suppose h + 7 - 1 = 4*a, 2*h = 2*a - 6. Let p = 13 + a. Let y(k) = 2*k + 17. Is y(p) a multiple of 15?
True
Let i be (-3)/(-6) + (-5)/(-10). Let y be i/(3 - 4) - 9. Is (125/y)/(2/(-8)) a multiple of 14?
False
Suppose -f = -4*j + 4933, 2*j - 2*f = 7*j - 6176. Suppose 2*t = 3*x + 2307, -3*t - 3*x + 2204 + j = 0. Is 32 a factor of t?
False
Let z be ((-2 - -1) + 1)/((-3)/(-3)). Suppose 37*j - 41*j + 272 = z. Is j a multiple of 34?
True
Let g = -3657 + 6063. Does 17 divide g?
False
Let k = 383 - 383. Is 0 + (k - 6)*166/(-4) a multiple of 83?
True
Let s = -8072 - -8492. Is s a multiple of 4?
True
Suppose 2*r - 2*o = 24312, -5*o - 48623 = -32*r + 28*r. Is r a multiple of 102?
False
Suppose -3390 = -2*v + 4*n, -5*n - 6493 = -4*v + 287. Is 36 a factor of v?
False
Let d = 12869 - 262. Does 71 divide d?
False
Suppose 2 = g - 2. Let l be (6 - g) + (0 - -9). Is 16 a factor of (-2)/l - 12194/(-154)?
False
Suppose -2*h - 22*m + 10836 = 0, 0 = 12*h - 7*h + 3*m - 26986. Is 19 a factor of h?
True
Suppose -1756*u + 1708*u = -440640. Does 102 divide u?
True
Suppose 43*u - 14 = 115. Suppose 0 = -10*r + 5*r + 10, -4*a = -u*r - 122. Is a a multiple of 16?
True
Suppose 0 = 3*x + 4*y - 39, -4*x + 4*y = -13 - 11. Does 8 divide 1/2*(6 - -10740)/x?
False
Let i = 542 - 551. Is 44 a factor of (-1)/3 - 236*15/i?
False
Let m = -122 + 151. Suppose -m*f - 3*f + 2976 = 0. Is 5 a factor of f?
False
Let w = 15211 - 10367. Suppose -14*u = -28*u + w. Is 10 a factor of u?
False
Let f(d) = 2292*d**2 + 287*d + 289. Is 37 a factor of f(-1)?
True
Does 9 divide 12182 - ((-1770)/(-767) + 4/(-13))?
False
Let a(w) = 59*w**2. Let i be a(-1). Let k = -66 - -128. Suppose i*p - k*p + 207 = 0. Is p a multiple of 9?
False
Suppose -5*z = -4*s - 0*z + 101, -5*z = s - 44. Let j = 27 - s. Does 21 divide (-3)/(-4) - (1155/(-12) - j)?
False
Let r(p) = 5*p + 20. Let i be r(7). Does 39 divide ((-7513)/i)/(1*1/(-5))?
False
Let j(z) = z + 14. Let v be j(-10). Suppose -3*l - 156 = -v*k + 88, 0 = 5*k - 5*l - 305. Suppose 0 = 5*n - 321 + k. Does 13 divide n?
True
Let w(k) = 7*k - 11. Let i be w(2). Suppose -i*b = -3*l, -13 + 1 = b - 4*l. Is 20 a factor of (b + -165)*1/(-1)?
False
Suppose -3*c = -8*c - 2*x + 22, 5*x = -5*c + 25. Suppose c*d = -2*d + 858. Suppose -3*h + d + 43 = 0. Does 31 divide h?
True
Let h = -1387 - -3485. Does 3 divide h?
False
Let s be -1 - (5/(-5) + 1). Let j be ((-30)/(-24))/((-58)/(-56) + s). Does 11 divide 4 + j/((-20)/(-4))?
True
Let s = 97 + -71. Suppose 63 = -35*c + s*c. Let i(d) = -8*d + 31. Does 12 divide i(c)?
False
Suppose -16*r - 381767 = -42*r + 715563. Is r a multiple of 23?
True
Suppose 131*z + 30*z - 301231 = 0. Is z a multiple of 19?
False
Let q(z) = -5*z**2 + 3*z + 1. Let i(x) = -x**2 + x + 1. Let h(r) = -4*i(r) + q(r). Let c be h(2). Is 160 + 1 + (c - 12/(-3)) a multiple of 26?
True
Suppose 192 = -z + 3*r + 1472, -z = 5*r - 1304. Suppose -11*u = -z - 713. Is u a multiple of 46?
False
Suppose 19*l = 14*l + 25. Suppose c - 345 = -l*f, -6*c + 3*c - 3*f = -1071. Does 12 divide c?
True
Suppose -32*p + 4079 = -305. Let v = -77 + p. Is 2 a factor of v?
True
Suppose 3*k - 60580 + 15414 = -4*g, 0 = -5*k - 2*g + 75258. Is 43 a factor of k?
True
Suppose m + 11 = 4*i, 0 = 5*m - 11 + 6. Suppose w = -d + 218, -5*w + i*d = -1575 + 453. Does 37 divide w?
True
Suppose 0 = -72*r + 64*r - 80. Is (-8)/r*130/52 - -150 a multiple of 38?
True
Let q = 3120 + -1235. Is q a multiple of 29?
True
Suppose 7599 = 3*c - 4*x - 2949, -2*x = c - 3526. Is c a multiple of 20?
True
Is 19 a factor of ((-2)/(-2) + 128/24)/(72/15336)?
True
Let s = 6190 - -28740. Is s a multiple of 70?
True
Is 212 a factor of (-55274554)/(-1417) + 8/(-52)?
True
Let d(x) = x**3 + 3*x**2 - 1. Let r(p) = p**3 + 11*p**2 - 5*p + 29. Let j(b) = -d(b) - r(b). Is j(-10) a multiple of 42?
False
Let s(j) = 73*j**2 + 3930*j - 51. Does 152 divide s(-59)?
True
Suppose p - 4*p = -4*r - 292, -4*p = -3*r - 212. Let l = r + 367. Let k = 415 - l. Is k a multiple of 7?
False
Let p be -906 + (-15)/(-1)*(-18)/(-45). Let q = -788 - p. Is q a multiple of 7?
True
Let v(z) = -4 + 16*z - 2 + 0 + 43*z. Let w be v(3). Suppose 0 = 5*q - w - 54. Does 9 divide q?
True
Let x be -1 - (-18)/14 - (-522)/(-63). Let l = 39 - x. Does 5 divide l?
False
Suppose -22*d + 3964 = -70484. Does 114 divide d?
False
Suppose 2*m = -2*u + 1710, 0*m - 2*m = 0. Let a = u - 535. Does 32 divide a?
True
Suppose -4661479 - 13121081 = -530*t. Does 72 divide t?
True
Suppose -11 = 4*z - 23. Let u be 3*-1*z/6*-2. Suppose 0 = u*w + 5*x - 36, 9*x - 12 = -w + 10*x. Does 6 divide w?
True
Suppose -2 = -2*g, s - 7 = -5*g + 3*g. Suppose -23*a = -24*a + s. Suppose -6 = -a*y - 2*u + 269, y - 55 = 4*u.