e of 14?
True
Suppose o - 3*m + 11 = 2, 5*o = 2*m - 19. Is o + 4 + (-2 - -744) a multiple of 57?
False
Let s be ((-126)/2)/(15*8/560). Let b = -290 - s. Is b a multiple of 4?
True
Let b(d) = -d + 1. Let g(t) = 8*t - 36. Let o(m) = -10*b(m) - g(m). Let u be o(12). Suppose -27 = -q + 5*k + 11, -u = -5*q - 3*k. Is q even?
False
Suppose -3*l + 561 = 2*h, 0 = 2*l - 5*l + h + 552. Let f = 314 - l. Is 32 a factor of f?
False
Let h be 1 - -14 - (3 - -1). Suppose 2*g + 6 = c, -3*c + 6 = -5*g - h. Suppose 0 = -c*k - 4*k + 160. Is 3 a factor of k?
False
Let i(r) = -11*r**2 + r + 2. Let u be i(-2). Let o be (u/6)/(18/(-27)). Suppose -o = -3*l + 61. Is 6 a factor of l?
True
Let l(m) = m**2 + 29*m + 174. Let p be l(-15). Is 125 a factor of p/(-6) - 14 - -508?
True
Let q = -4465 - -8813. Is 39 a factor of q?
False
Suppose 0 = -11*f + 3057 + 4082. Suppose 2*c + 0*h = 2*h + 456, -4*h = 3*c - f. Is c a multiple of 23?
False
Let c(i) = 53*i + 31 + 33 - 9 - 258*i. Does 40 divide c(-5)?
True
Suppose 287530 = 45*w - 40070. Is 56 a factor of w?
True
Let b be 7/(-315)*-6 - (-416)/30. Suppose -b + 13 = v. Does 13 divide (-10)/70 - (2382/(-14) - v)?
True
Let b(p) = p**2 + 4*p + 4. Let o be b(0). Let s(w) = 2*w**2 - 4*w - 5. Let h be s(12). Suppose -c - 5 = 0, h = o*q + 4*c + 55. Is 16 a factor of q?
False
Suppose -2*d + 4*r = -48670, -5*d + 4*r = -34633 - 87018. Is 53 a factor of d?
True
Let q = 13866 - 9012. Is 9 a factor of q?
False
Does 16 divide 20/8 + 1333956/136?
False
Let y(c) = c**3 + 11*c**2 + 13*c - 139. Is 33 a factor of y(7)?
False
Is 55*(387/430)/(1/62) a multiple of 33?
True
Suppose 0 = 5*y - 3*f - 10383, -f + 4733 = 5*y - 5666. Is y a multiple of 99?
True
Let c(r) = 30*r + 5. Let n(o) = -31*o - 5. Let p be 60/9 - (-2)/(-3). Let q(f) = p*n(f) + 7*c(f). Does 20 divide q(4)?
False
Is 56 a factor of (-5320)/38*204/(-15)?
True
Let f(g) = 223*g**2 - 62*g - 321. Does 26 divide f(-5)?
True
Let c(l) = -7*l - 37. Let f be c(-6). Let w be 2/1*f/2 - -2. Let o = 40 - w. Is o a multiple of 7?
False
Let f = -107 + 116. Let i(l) = -8*l + 27 - 3*l - f*l**2 - 1022*l**3 + 1023*l**3. Is 17 a factor of i(10)?
True
Let f(i) be the first derivative of 5*i**2/2 + 13*i + 10. Let n be f(5). Is ((-2)/1)/(-1*2/n) a multiple of 6?
False
Suppose -3 = v - 0*v, 33 = 2*r + 3*v. Let d(g) = 44 + 2*g**2 + 3*g**2 + r*g - 53. Is 5 a factor of d(-6)?
True
Is (1 + 22041/27 + 1)/((-10)/(-36)) a multiple of 6?
True
Let c = -151 - -154. Suppose 0 = 5*b + 5*s - 1525, 0 = -2*b - c*s + 6*s + 585. Does 6 divide b?
True
Let x be (3 - 28) + 4 - (-1 + 0). Is 4/x + 0 + 6004/20 a multiple of 10?
True
Let d(y) = -45*y - 35 + 14*y + 3*y**2 - 5*y**2 + 2. Is 9 a factor of d(-14)?
True
Let b be (-2132)/8 + 5/(-10). Let p = b + 412. Suppose 5*m - 451 = 3*k + p, -2*m - k + 234 = 0. Does 16 divide m?
False
Let u = -2326 - -4460. Is 17 a factor of u?
False
Suppose -5*l = -4*w - 5056, -2028 = -2*l - w + 4*w. Let r be (30/(-90))/((-2)/60). Suppose u + l = r*u. Does 13 divide u?
False
Suppose 11*h = 17*h + 3*k - 14244, -2374 = -h - 5*k. Does 15 divide h?
False
Let x(i) = 1478*i - 2946. Does 16 divide x(5)?
False
Suppose -b + 4*a = -72376, 938*a - 934*a = 3*b - 217096. Is 166 a factor of b?
False
Let b be ((-30)/10 + -230)*2/(-2). Suppose 4*q + 4*l = 956, l = 27*q - 26*q - b. Is q a multiple of 4?
True
Let a(r) = r**2 - r - 2. Let f = 47 - 48. Let l be a(f). Suppose l = 11*w - 622 - 720. Is w a multiple of 52?
False
Let h(o) = -o + 66. Let j(x) = -x + 65. Let w(a) = 3*h(a) - 2*j(a). Does 7 divide w(-15)?
False
Suppose -260*u = 1320650 - 5613770. Is u a multiple of 96?
True
Let s(h) = 49*h + 4. Let f be s(-1). Let c = f + 47. Suppose -3*j + 37 = -c*j + 5*i, 5*j - 5*i - 35 = 0. Does 3 divide j?
True
Let b be 0*((-7)/(-4) - (-5 - -7)). Suppose -2*l = 2, -245 = -4*v - b*l + 5*l. Does 8 divide v?
False
Let a(i) = i**3 - 8*i**2 + 8*i. Let s be a(7). Suppose -4*l = s + 13. Let v = 75 + l. Does 14 divide v?
True
Let l = 21 - -42. Let b = l + -78. Is 5*((-6)/b - -3) a multiple of 3?
False
Let n = -88 + 90. Suppose 4*j = n*x + 277 + 215, 0 = -5*x. Suppose 2*v = -v + j. Does 4 divide v?
False
Let j be 186/15 - (-8 - (-370)/50). Is 22 a factor of (41 + (-1 - 1))*j?
False
Let h(j) = -2*j**2 + 11*j + 2. Let y be h(10). Suppose s = -3*g - 448, -5*s + 179 = -g + 51. Let r = y - g. Does 5 divide r?
True
Let m(r) = 274*r - 354. Does 49 divide m(82)?
False
Does 5 divide (-81869)/(-8) + 4*(-3)/(-32)?
False
Suppose -101 + 614 = 3*h. Let f = 287 - 154. Let r = h - f. Does 5 divide r?
False
Let o = -450 - -642. Let l(v) = v**3 + v + 30. Let w be l(0). Suppose w*x - 34*x = -o. Is x a multiple of 16?
True
Let v(c) = -c**2 + c. Let n be v(0). Let m be 0*(1 - (-3 - 12/(-4))). Suppose -3*s = -n*u - 5*u + 468, m = -2*s + 8. Is u a multiple of 28?
False
Let q be -10 + ((-2)/(-8) - 3/12). Let a(i) = -43 - 53*i + i**2 + 33*i + 24*i + 15. Is 31 a factor of a(q)?
False
Suppose 0 = 2614*l - 2605*l - 14184. Is 20 a factor of l?
False
Let b be (-300)/(-400)*40/6. Suppose 60 = 7*m + b*m. Is 4 a factor of m?
False
Let i = 23 - 9. Let o = i - -427. Does 21 divide o?
True
Let p be 149 + (-2 - -5) + 4. Suppose -s = 5*j - p + 51, -j = 5*s + 3. Suppose 4*h + 68 = 4*b, 0 = 2*b - 0*b + 4*h - j. Is b a multiple of 3?
True
Is 28140/175*15/2 a multiple of 6?
True
Suppose 2*z + 228 = -3*u + 3072, -u + 944 = 2*z. Does 5 divide u?
True
Suppose -2627520 = 145*u - 329*u. Is 42 a factor of u?
True
Suppose -4*d = 1 - 13. Let w(j) = 78*j - 22. Does 53 divide w(d)?
True
Let w(o) = 2*o**2 - 20*o - 17. Suppose 204 = 45*h - 33*h. Is 17 a factor of w(h)?
True
Suppose 11*a = 6*a + 20. Let b(v) = -v**3 + 31 - 12 + 4*v - 14 - a*v**2 + 6*v**2. Is 17 a factor of b(-4)?
True
Suppose -3*d + 4*z = -15240, 0 = -6*d - 4*z + 11374 + 19178. Does 32 divide d?
True
Suppose 0 = -9*c + 8*c + 7. Let o be (c - (1 - -3)) + 623. Suppose 0 = 5*j - 10, 2*s - j = 5*s - o. Does 52 divide s?
True
Does 25 divide -10 - (4 + -15) - 16797/(-3)?
True
Let l be (5/3)/(-5) + 19/3. Suppose x + 3*x = 5*t - 832, 3*x + 635 = t. Is l - 2 - x/3 a multiple of 25?
True
Let b(d) = -d**2 + 28. Let f be b(-5). Suppose 0 = -f*n + 7*n - 324. Suppose 4*l - 585 = -n. Is l a multiple of 21?
True
Suppose -p + 84748 = 4*q, 3*p = 4*q + 6*p - 84740. Is 41 a factor of q?
False
Let g(z) = 8*z**2 - 151*z - 1228. Is 12 a factor of g(-8)?
True
Let u = 139 - 140. Is 357 + (5 - u/(-1)) a multiple of 10?
False
Suppose -505*n + 497*n + 60024 = 0. Is n a multiple of 41?
True
Does 40 divide 63/273 + 64985/65?
True
Suppose 2*b + 4*o - 18 = 0, -5*b + 6*o = 10*o - 69. Let g(c) = c**2 + 3*c - 100. Does 57 divide g(b)?
False
Suppose 0 = 29*t - 31*t - 8, -5*l + 5369 = 4*t. Suppose 0 = -11*q + 14*q - l. Is q a multiple of 12?
False
Let v(b) = -b**3 + 10*b**2 - 7*b - 6. Let k be v(9). Let q = 451 + -481. Does 34 divide (408/(-10))/(k/q)?
True
Suppose 3*j = -4*g - 0*j + 749, 4*g - 754 = 2*j. Is g - ((-18)/9)/2 a multiple of 8?
False
Suppose 81*y - 89*y + 40 = 0. Suppose 2*a = 3*h - 4420, -h + y*a = -5*h + 5878. Is 23 a factor of h?
True
Let k(t) = -2*t + 20. Let m be k(0). Let d = m + 34. Is d a multiple of 6?
True
Let n = 322 + -318. Suppose 930 = a - n*b, 0 = -3*a + 5*b + 3604 - 779. Is a a multiple of 33?
False
Let a(b) = -b**3 + 4*b**2 + 14*b + 1. Let d be a(6). Let r = 11 - d. Is 7 a factor of -4 - r - -1*(73 - -1)?
False
Suppose 44983 = 59*k - 52*k - 538. Is k a multiple of 72?
False
Is 76 a factor of (9044/35)/(3/30)?
True
Let g = 14289 + -457. Is 91 a factor of g?
True
Let x = 36 - 262. Let q = x - -366. Is 7 a factor of q?
True
Let j(f) = -735*f**3 + 4*f**2 - 248*f - 992. Is 184 a factor of j(-4)?
True
Suppose -2*h - 2*b + 166 = 0, 5*h + 2*b - 138 - 283 = 0. Let s = h + -83. Suppose -s*m - 2*m = -84. Is 20 a factor of m?
False
Suppose -5*t + 39 = u - 4*u, 3*u + 15 = t. Suppose 0 = 2*l - t, 1868 + 1729 = 4*p - l. Does 18 divide p?
True
Let o be (-410)/(-5) - 2/1. Let d(u) = 9*u**2 - 4*u - 3. Let t be d(-2). Suppose -b - 8 = -z - t, 2*b = -5*z + o. Is 16 a factor of b?
False
Suppose 2*f - 1038 = 8934. Is 88 a factor of f?
False
Suppose -c + 493 = 473. Suppose 0*t + 10240 = c*t. Is t a multiple of 11?
False
Let d(g) be the third derivative of g**7/360 + 7*g**6/144 + g**5/15 - 6*g**2. Let w(a) be the third derivative of d(a). Does 7 divide 