- p*d, 2*c = d + 883. Is c a multiple of 27?
False
Let k(y) = 4*y**2 + 5*y - 12. Suppose 2*x = -5*i + 24, -2*i + 5*x = 3*i - 10. Is k(i) a multiple of 9?
True
Let a(y) = -41 - 7 + 59*y - 93*y. Is 22 a factor of a(-4)?
True
Suppose 0 = 2*j - 370 + 360. Let m be 3*(1 + 0)/1. Suppose 61 + j = m*t. Is 9 a factor of t?
False
Let p be ((-18)/8 - -3)*68. Let s be (p/(-34))/((-3)/14). Suppose -s*x = -481 + 47. Is x a multiple of 9?
False
Let v(g) be the third derivative of 19/60*g**5 - 1/24*g**4 - 30*g**2 - 1/6*g**3 + 0*g + 0. Is v(-1) a multiple of 2?
False
Let r be 1 + -1 - 3 - -1675. Let k = -1152 + r. Is 40 a factor of k?
True
Let w = -54 + 54. Suppose w = -2*o + 350 + 88. Let z = -134 + o. Does 17 divide z?
True
Suppose -3*a + 254 - 829 = -j, -j - a = -571. Is 2 a factor of j?
True
Let m = 492 - 1002. Let h = 705 + m. Is h a multiple of 3?
True
Let p = -3700 + 2552. Let b = p - -2096. Does 27 divide b?
False
Let i be 4 + (-4)/(-4)*-4. Suppose 4*f + 4*d - 1088 = i, f - 3*d = d + 292. Is f a multiple of 17?
False
Let q(m) = -15*m + 1. Let u be q(-2). Suppose -224 = -2*f - y, 3*f - 113 = 2*f - y. Suppose u - f = -i. Does 16 divide i?
True
Let r(m) = 236*m + 2130. Is r(3) a multiple of 33?
True
Let w = -15058 - -22160. Does 200 divide w?
False
Suppose 141488 = 31*l + 49852. Is 24 a factor of l?
False
Is 19 a factor of ((-72)/21 + 2)/(35/(-88445))?
True
Let w(y) = y**3 + 14*y**2 - 9*y + 36. Let p be 1035/(-90) + (-6)/4. Is 46 a factor of w(p)?
True
Suppose -3 = t, 3*w - 34 = 4*t - 10. Suppose s - 60 - 105 = -z, 0 = w*z - 3*s - 653. Does 8 divide z?
False
Suppose -136 = -8*u - 40. Is (7/(-7))/((-6)/u)*252 a multiple of 21?
True
Let i be (-8)/6*(-3)/(-2). Suppose -52*b + 93*b = 1230. Let n = b + i. Is 8 a factor of n?
False
Let q = 358 - 43. Suppose -68*o + 71*o - q = 0. Does 5 divide o?
True
Suppose 3*d - d = -0*d. Let z be ((-5222)/(-14))/(d + -1). Does 15 divide z/(-5) - (-6)/15?
True
Let f = -7866 + 28601. Is 145 a factor of f?
True
Let p(h) = 140*h**2 + 38*h - 94. Is p(-17) a multiple of 60?
True
Is 45 a factor of 362876/112 + 28/784?
True
Let h = 33 - 30. Let j(q) = q - h*q + 7 - 7*q + 11. Does 18 divide j(-10)?
True
Let t(r) = 81*r**2 + 12 - 5*r + 8*r - 80*r**2 + 4*r. Let y be t(-5). Suppose y*d - 37 = -x + 35, 2*d - 312 = -4*x. Does 16 divide x?
True
Let g = 194 + -164. Let a = 26 + g. Is 4 a factor of a?
True
Suppose -275 = -7*t + 502. Suppose -5*f + b = -7*f + t, 3*f = -2*b + 167. Is 22 a factor of f?
False
Let q(o) = -17*o**2 + 0*o**3 + 2*o**3 - 16 - o**3 + 8*o**2 + 11*o. Let j be q(8). Suppose 0 = 3*i + 4*h - 112, 2*i + 3*h - j*h - 67 = 0. Is i a multiple of 6?
True
Let w be 2 - 0 - 94/(-2). Let c = w + -73. Is (266/(-8))/(6/c) a multiple of 27?
False
Let k(s) = s**2 - 28*s - 120. Is k(-7) a multiple of 2?
False
Let a be 625/(-7) + (10/(-7))/(-5). Let y = 186 + a. Is 1 + (4 - 2) + y a multiple of 20?
True
Let i = -6124 - -7267. Is i a multiple of 30?
False
Suppose -57*k + 75101 = -20086 + 13563. Is 4 a factor of k?
True
Let h = 99 - 93. Is 74 a factor of (-69)/h*1*-130?
False
Let a(p) = 258*p**2 - 78*p + 985. Is 70 a factor of a(11)?
False
Let i(h) be the third derivative of 151*h**5/60 - 5*h**4/24 - h**3/2 - 63*h**2. Is i(-1) a multiple of 17?
True
Suppose -10*k = -51*k + 20*k + 62328. Is 53 a factor of k?
True
Let g be (-4)/((-12)/(-83))*3. Let z = g + 93. Suppose z*o = 5*o + 320. Is 8 a factor of o?
True
Let h = -25701 + 47053. Does 157 divide h?
True
Suppose 23*z = 18*z + 5*t + 45, 0 = 5*z + 4*t. Suppose -3604 = -5*j - 2*s, z*j - s - 2858 = 20. Is 72 a factor of j?
True
Let z(b) = -613*b + 377. Is z(-14) a multiple of 31?
True
Suppose 10*w - 17*w - 826 = 0. Let g = w + 194. Is 13 a factor of g?
False
Let t = 2796 - 969. Is t a multiple of 21?
True
Suppose k = -3*q, 4*k - 10 = -q + 1. Suppose 2*w - 41 = 5*n, k*w - 3*n = -2*w + 74. Suppose -594 = -w*j + 10*j. Is j a multiple of 11?
True
Suppose 3*u = -6 - 3. Let w = u - -7. Suppose 3*l - 412 = -w*m + 3*m, -m = 2. Is l a multiple of 23?
True
Suppose -492 = 2*l - 5*k, 2*l = 4*l + 5*k + 452. Let o = -21 - l. Suppose 3*h - 49 = o. Does 8 divide h?
True
Let n(j) = j**3 + 6*j**2 - 72*j + 195. Does 11 divide n(28)?
False
Suppose 5*b + h + 5 + 5 = 0, h = 0. Let a be (-3)/9 + (b - 358/6). Is 20 a factor of -4 - 2/1*a?
True
Let z = 17243 - 17163. Is z a multiple of 5?
True
Suppose 17*h - 33970 = -15084 + 18259. Does 23 divide h?
True
Let j(v) = 389*v**2 + 3*v - 4. Suppose 11 = 11*y - 0*y. Is j(y) a multiple of 22?
False
Suppose 288*j - 291*j + 4*v = -43667, 58140 = 4*j + 5*v. Does 5 divide j?
True
Suppose 0 = -14*t + 5424 + 54258. Does 31 divide t?
False
Let n(v) = 119*v**2 - 3. Let y = 40 - 42. Let i be n(y). Suppose -5*c = s - 149, -s = 2*s + 2*c - i. Is s a multiple of 29?
False
Suppose 1216*b - 1219*b - p + 517 = 0, -353 = -2*b + p. Is 3 a factor of b?
True
Let a = 8219 + 5807. Is a a multiple of 26?
False
Suppose a - 4 = 2. Suppose 46728 = a*v + 27*v. Is 16 a factor of v?
False
Is 32 a factor of 13 + 20005 + (-17 - -18)?
False
Suppose 797053 + 512158 = 103*j + 123269. Is 156 a factor of j?
False
Let x(d) = -8*d - 7. Let n = -55 + 57. Let h be x(n). Let g = h - -63. Is 25 a factor of g?
False
Let l = -196 - -200. Suppose -z + 2 = 2*y - 5*z, 3*y + z - 10 = 0. Suppose -l*b = -2*s + 266, 0*b + 391 = y*s - 4*b. Is 30 a factor of s?
False
Let d be (19/2 + 2 - -1)*76. Suppose -d = -7*p + 1654. Does 31 divide p?
True
Let l(s) = -16*s - 19. Let r be 3/(-4) - 462/24. Does 11 divide l(r)?
False
Suppose 1453 + 1711 = 2*j. Is (-996)/(-581)*2/(8/j) a multiple of 46?
False
Let a = 2027 - 1018. Let v = -592 + a. Suppose -2*w = -5*w + v. Does 37 divide w?
False
Let a be 2 + 2 - ((3 - 3) + -264). Suppose -a = -8*l + 308. Suppose 5*b - l - 65 = -s, -2*b - 102 = -s. Is 16 a factor of s?
True
Let s(q) = q**2 - 2*q - 162. Let o be s(0). Let a = 259 + o. Is a a multiple of 5?
False
Let v(x) = -22*x + 77. Let a be v(5). Let u = 177 + a. Is 16 a factor of u?
True
Suppose 0 = -73*t - 63*t + 130*t + 15972. Is 38 a factor of t?
False
Let z(d) = -2*d - 70. Let l(h) = h + 23. Let x(m) = 17*l(m) + 6*z(m). Let g be x(10). Does 13 divide (-3)/(g/(-1093)) - (-5)/(-35)?
True
Let t = -1295 - -10917. Is 34 a factor of t?
True
Suppose 0 = -4*b + w + 19747 + 19812, 5*b - 49475 = -4*w. Is 9 a factor of b?
True
Let z(d) = -d + 74. Let b = 54 - 37. Is z(b) a multiple of 3?
True
Let k(p) = -p**2 + 17*p + 9. Let x be k(17). Suppose -3*h = -x*h + 30. Suppose 0 = -h*i - 2*l + 64 - 4, -5*i = -2*l - 60. Is i a multiple of 9?
False
Suppose -5*f - i - 315 = 414, 415 = -3*f + 5*i. Let z = 210 + f. Is z a multiple of 5?
True
Let p(g) = -20*g + 6. Let o be p(-4). Let u(q) = q - 1 + q**2 - 216*q**3 + o*q**3 - q. Does 26 divide u(-1)?
True
Does 14 divide 3/7 - (-17 - 108000/56)?
True
Let v(c) = 2690*c - 264. Does 49 divide v(6)?
True
Suppose -5*j + 49*j - 1325148 = 0. Is j a multiple of 206?
False
Is 110 a factor of (2/(-4))/(7/(-210))*133?
False
Suppose 0 = 3*q + 6, 2*g - 4*q - 26 = -0*g. Let w(s) = 4*s**3 - 4*s**2 + s + 5. Let i be w(4). Suppose 6*h = g*h - i. Is h a multiple of 23?
False
Let o(j) = 2*j**3 - 2*j**2 + j - 1. Let t be 1 - 6/21 - (-2)/7. Let b be o(t). Let k(v) = v**3 + 2*v**2 + v + 70. Does 11 divide k(b)?
False
Let r be 198/(-44)*2/3. Is 50 + (-4 - -5)*r/3 a multiple of 22?
False
Suppose 4*a = -5*g - 95, 0*a - 4*a + g = 101. Let f = a + 29. Suppose 5*c - 250 = -5*m, -2*c - f*m + 152 = c. Is c a multiple of 8?
True
Let s = -393 + 428. Suppose -u + 5*o = 3*o - 34, -o = -u + s. Is u a multiple of 9?
True
Does 73 divide 12666717/918 - 35/30?
True
Suppose 0*v - 5*v = -4*d + 304, -3*d - 5*v + 263 = 0. Suppose 7*y = d - 4. Suppose -y*n = -8*n - 333. Is 20 a factor of n?
False
Suppose 2*u - 118 = -4*j + 2*j, 3*j - 4*u - 170 = 0. Let z be -13 + 2 + 7 - -46. Suppose -y + z = -j. Does 20 divide y?
True
Let k(d) = 45*d**2 + 9*d - 8. Let s be k(1). Suppose -422 = 6*q + s. Is 4 a factor of 6/4*q/18*-6?
False
Let x be 3/(9/(-15)) - (-6 + 6). Is 10 a factor of 1674/12 + x/(-10)?
True
Let w = 4617 + -2586. Is w a multiple of 5?
False
Let d = 230 + -350. Let x = 329 + d. Is x a multiple of 19?
True
Let b(u) = 6*u**2 - 3*u - 2. Let q(d) = d**3 - 6*d**2 - 3*d + 16. Let l be q(6). Let w be b(l). Suppose -13*f + w = -11*f. Is 3 a factor of f?
Fals