tor of c?
True
Let z = 4485 + -1188. Is z a multiple of 53?
False
Suppose -3*f + 5*f - 4*k - 4 = 0, 2*f - 4 = k. Let p(q) = 3*q**2 + 3*q - 2. Let j be p(1). Suppose 2*o = f*w + 6*o - 184, j*o = -w + 100. Is 28 a factor of w?
True
Is (-80560)/(-22) + (-372)/(-2046) a multiple of 15?
False
Let s be 1/(-2) + (-1 - (-295)/10). Suppose -2*t = -s + 34, -219 = -4*d + t. Is 3 a factor of d?
True
Let n(g) = 43*g**3 - 4*g. Let w = 149 - 147. Is n(w) a multiple of 42?
True
Suppose -2*v + 4*v - 5*a = 3490, 16 = -4*a. Suppose 43*m - 38*m = v. Is m a multiple of 3?
False
Let j(f) = f**2 + 26*f + 87. Let m be j(-23). Let y be (0 - 1)/((-1)/3). Suppose -2*h + 241 = 5*o, 2*o - 86 = y*h + m. Is 7 a factor of o?
True
Let w = -20 - -38. Suppose 8*z - w*z = 220. Let f = 23 - z. Is 6 a factor of f?
False
Does 13 divide 943348/77*(-143)/(-26)?
False
Is 61 a factor of (-129930)/(-852)*3*58/15?
True
Suppose -27326 = -4*y - 2*b, 64*y = 60*y + 3*b + 27321. Is 23 a factor of y?
True
Does 7 divide 67/((-9380)/240)*(0 - 2653/2)?
False
Let g be (1 - 5) + 22 + -3. Let w be ((-15606)/(-15))/((2/(-2))/g). Is 42 a factor of w/(-81) + (8/(-6))/2?
False
Suppose -5*a = 4*l - 33, -54 = -5*a - 3*l - 18. Let w(z) = z**2 - 8*z. Let h be w(a). Suppose -t = -47 + h. Is 3 a factor of t?
False
Suppose 5*i = -q - 20, -8 = q - 4*q + 2*i. Suppose 16*j - 24*j + 2472 = q. Is 43 a factor of j?
False
Let f(i) = -2*i**2 + 25*i + 15480. Is 43 a factor of f(0)?
True
Suppose -7*t + 12791 = -22006. Does 13 divide t?
False
Let g(f) be the first derivative of 46*f**3/3 + 3*f**2/2 + 6*f + 143. Is 13 a factor of g(3)?
True
Let z(w) = -w**3 + 5*w**2 + w + 2. Let d be z(5). Suppose n = -y + 50, 0 = d*n - 3*n - 2*y - 224. Suppose l - n = 15. Is l a multiple of 17?
False
Suppose 3*y - y - 27508 = 5*h, -4*y + 27506 = -5*h. Does 4 divide (h/(-42))/(1 - 0)?
False
Suppose -280*f + 276*f = -188. Suppose 3*x = f + 7. Is 7 a factor of x?
False
Is (39 + 16)/((-5)/(-245)) a multiple of 32?
False
Let h(m) = 33*m - 187. Suppose -57 = -3*g - 3*l, 2*g + 0*g + 5*l - 32 = 0. Does 7 divide h(g)?
False
Suppose 16*t + 5*t = -7*t + 198800. Does 101 divide t?
False
Suppose -t = 35 + 83. Suppose 0 = -3*x + 12, 3*x = -3*l + 375 + 153. Let d = t + l. Is 18 a factor of d?
True
Let s(l) = 2*l - 4. Let d be s(6). Suppose 5*u - 4*r = 4064, -4*u + d*u - 3*r - 3252 = 0. Does 51 divide u?
True
Suppose -3*v - 22152 = 12702. Let l = -5101 - v. Is 22 a factor of (-1)/3 + l/57?
False
Suppose -3*g - 72 = -4*g. Let o = 151 - g. Is 2 a factor of o?
False
Suppose 19*y + 56 = 23*y. Is -2*64*(-7)/y a multiple of 56?
False
Let o(l) = -336*l + 72*l + 42*l + 24 - 102. Is 5 a factor of o(-2)?
False
Suppose 3*i - 21*l = -23*l + 3077, 3*l - 3 = 0. Does 12 divide i?
False
Suppose 4*h - 40 = -5*f, -h - 4 + 21 = 3*f. Suppose 4*u = -4*b - f, -2*b + 6 = -3*u - 2. Is ((-2)/(-6))/(u/(-186)) a multiple of 12?
False
Let t(i) = 14*i**2 - 6*i + 10. Let p(c) = 28*c**2 - 12*c + 21. Let y(w) = -2*p(w) + 5*t(w). Does 8 divide y(-4)?
True
Let s(p) = -13*p - 102. Let z be s(-9). Does 6 divide z/30*(99 - 1)?
False
Let i(d) = 493*d**3 + 2*d**2 + 4*d - 1. Let f be i(3). Is (18/10)/(58/f) a multiple of 5?
False
Let d = -56 - -40. Let c be (-44)/(-6) - d/(-12). Suppose 3*l + c = 51. Is 4 a factor of l?
False
Let j(i) = 319*i - 1109. Is j(6) a multiple of 23?
True
Is 17 a factor of 14324 - (-2)/(36/(-234))?
False
Let i = -10406 - -15258. Does 117 divide i?
False
Let p = -447 - -679. Let t(i) = -32 - 103*i + p*i - 108*i + 77. Is t(11) a multiple of 12?
True
Let i(f) = -695*f - 8851. Is 62 a factor of i(-16)?
False
Suppose 2*g - 14 = -6. Does 19 divide 5*2/g*68?
False
Suppose 0 = 40*c - 11039 - 10801. Is c a multiple of 42?
True
Suppose -3551 = -10*l + 1409. Let x = -335 + l. Does 22 divide x?
False
Suppose -5*l - 3*u - 19 = -5*u, l = 5*u - 13. Let z be (4*12 - l)/1. Suppose 0 = 2*x - 243 - z. Is 12 a factor of x?
False
Let t(z) = -z**2 + 9*z - 5. Let p be t(8). Suppose -p*k = -42 + 132. Let x = 80 + k. Is 24 a factor of x?
False
Let y = -64 - -37. Let p = y + 31. Suppose -g + 3*g = -4*k + 222, 0 = 2*k + p*g - 102. Does 24 divide k?
False
Let y = -132 + 136. Suppose -g + 7*k - 2*k + 541 = 0, 0 = -y*g + k + 2240. Is 20 a factor of g?
False
Suppose -6795 = -8*a + 23*a. Let p = a + 1037. Is 8 a factor of p?
True
Let g be (10 + (6 - 11))*(-232)/(-10). Suppose -3*y + 80 = -4*y. Let p = g + y. Does 11 divide p?
False
Let t be (1 - 29)/((-5)/10). Is 13 a factor of -4*2*(4 - t)?
True
Let y = 10619 + -5159. Does 65 divide y?
True
Let d(c) = 17*c**2 + 435*c - 3. Is 35 a factor of d(-38)?
True
Let g = 698 - -1147. Is 162 a factor of g?
False
Let i(f) = -2*f + 7. Let c(b) = b**2 - 4*b + 13. Let y(p) = 3*c(p) - 5*i(p). Let o be (-7*(-2 - 44/(-14)))/2. Is 30 a factor of y(o)?
True
Suppose -93*l + 5*m = -94*l + 9772, 5*m = 2*l - 19634. Is l a multiple of 26?
True
Let r(a) = a**3 + 30*a**2 - 9*a + 42. Let p(b) = 5*b**3 - b**2 - 8*b - 2. Let u be p(-2). Is r(u) a multiple of 52?
True
Is 19/(-38) + -1 + (1 - 967/(-2)) a multiple of 23?
True
Let z(m) = 200*m + 77. Let l be z(-4). Let g = 1379 + l. Does 7 divide g?
False
Suppose 173 = -19*a + 78. Is 14 a factor of (17184/(-240))/(a/(25/2))?
False
Is 96/(-20) - (-1)/(-5) - -1162 a multiple of 13?
True
Suppose -5*t + 2303 + 28855 = -x - 14727, 0 = 4*x. Is t a multiple of 23?
True
Let v = 148 + -172. Does 30 divide (18*-3 + -1)/(v/144)?
True
Let c = -1384 - -781. Let u = c - -1217. Is u a multiple of 60?
False
Suppose -3*i - 483 = -3*u + 2*i, 0 = 3*u - 3*i - 483. Suppose 169 = 4*b + n, -4*b = -n - u - 6. Suppose -b = -4*o + 258. Is o a multiple of 13?
False
Let d be -800 - 17 - (-3 + 2 + -1). Does 17 divide d/(-4) + (26/8 - 3)?
True
Suppose -9*t + 13 = -59. Suppose 7*h = t*h - 954. Does 9 divide h?
True
Suppose -14*k = -10*k - 3*x - 205887, 2*x - 102940 = -2*k. Does 21 divide k?
True
Let f be (-4 - -7) + 0 + 5. Does 11 divide 4/10 + f + (-9331)/(-35)?
True
Suppose 0 = -3*p - 2*p + 10. Suppose -2*o - p*o - 5*q = -2344, -q + 585 = o. Is o a multiple of 74?
False
Let o = 98 + 24765. Does 29 divide o?
False
Suppose 3*d = -3*q + 702, 2*d + 2*d = -q + 939. Suppose -5 = x, 5*x = -5*u + 2*x + d. Is u a multiple of 5?
True
Suppose -55*o + 94928 = -43177. Does 27 divide o?
True
Let p = 62 - -19. Let m = 58 - p. Let g = 44 + m. Is g a multiple of 18?
False
Let h(i) = -28*i**3 + 5*i**2 - 7*i + 69. Does 11 divide h(-5)?
True
Let q = 29353 + -13286. Is q a multiple of 51?
False
Suppose -2*z = 3*f - 4418, -20*z = -15*z + 4*f - 11024. Is 10 a factor of z?
True
Suppose 3 = -5*l - 7, l = 2*c - 1138. Let y = c + -515. Does 7 divide y?
False
Let w(x) = -10*x - 18. Let c be w(-7). Suppose 58*m - c*m = 3024. Is m a multiple of 18?
True
Suppose -12*m + 3240 = -9*m. Suppose 28*q - m = 26*q. Is q a multiple of 54?
True
Suppose 2*k - 411 = -3*n + 355, 5*n = -3*k + 1150. Suppose -70*o + 72*o = k. Is o a multiple of 22?
False
Suppose -21 - 21 = -7*k. Is 19 a factor of (-1747)/(-5) + k/10?
False
Let n(p) = 5*p**2 + 14*p - 268. Is 4 a factor of n(26)?
True
Suppose -5*d - l + 4655 = 0, 52*l - 57*l = 5*d - 4675. Suppose 20*n - 4890 = -d. Does 18 divide n?
True
Suppose -3*t - 3*w + 12294 = 0, -2 = 4*w - 14. Is 28 a factor of t?
False
Let q(c) = 562*c + 53*c**2 + 578*c - 1140*c - 1. Let n be (-2 - -4)/4*-2. Does 13 divide q(n)?
True
Let y(b) = -1 - b**3 + 3 - 12*b + 8*b + 5*b**2 - 1. Let t be y(4). Let u(z) = 41*z**2 + z. Is u(t) a multiple of 4?
False
Let f(q) = 7*q - 30. Let i be f(-9). Let z = 191 + i. Is 7 a factor of z?
True
Let a(t) = -t**2 - 20*t - 9. Let g(x) = -x**3 - 6*x**2 - 4*x + 9. Let m be g(-5). Suppose 5*c + 2*h = -80, 0 = -m*c - 2*h - 18 - 46. Is 11 a factor of a(c)?
True
Suppose -863*q = -869*q + 66. Suppose q*t - 2256 = -78. Is t a multiple of 33?
True
Suppose 21*f - 66815 - 51121 = 0. Is f a multiple of 16?
True
Suppose 3516 = 4*z - 4*t, -25*z + 3*t = -30*z + 4427. Suppose z - 85 = 5*k + i, 3*i = k - 166. Is k a multiple of 4?
True
Suppose 52*m = 624977 + 143167. Is m a multiple of 43?
False
Let x(z) be the first derivative of 66 - 9*z - 101 + 54 - 22*z**2. Is 28 a factor of x(-2)?
False
Let h(r) = r**3 - 2*r**2 - 3*r + 6. Let k = -78 - -75. Let v(s) = s + 6. Let a be v(k). Does 6 divide h(a)?
True
Suppose 202482 = 809*b - 795*b. Is 4 a factor of b?
False
Let