0. Let w = a - -65. Does 33 divide w?
False
Does 9 divide 2905 - (3 - (-75)/(-18))/(8/(-48))?
True
Suppose -81*x = -40*x - 119103 - 205617. Does 132 divide x?
True
Suppose 12*t - 30 = 7*t. Suppose 0 = z - 9*o + t*o - 109, -3*o = 2*z - 236. Is 5 a factor of z?
True
Let f = 7537 - 1517. Does 7 divide f?
True
Suppose -60*t = -26116 - 239984. Is 20 a factor of t?
False
Let v be (-802)/(-8) + 2/(-8). Suppose -19*s - 5*r - 56 = -20*s, -2*s + 98 = 4*r. Let o = v - s. Is o a multiple of 5?
False
Let p be ((-55)/(-10))/(4/(-48)). Is ((-24)/9)/(4/p - 0) even?
True
Let u = -397 - -723. Does 5 divide u?
False
Let l = -215 - -141. Let c = 176 + l. Suppose -2*k = -2*z + 3*k + c, -178 = -3*z - 5*k. Is 13 a factor of z?
False
Let d be 4 - (-14)/21*-3. Suppose 844 = 5*t - i - 80, i + 369 = d*t. Is 28 a factor of t?
False
Suppose -62*z + 201 = -59*z. Let s = 67 - z. Suppose 15*u - 9*u - 1560 = s. Is 13 a factor of u?
True
Let y = 113 - 57. Is 23 a factor of 13/(52/y)*(-81)/(-6)?
False
Let p(m) = 88*m + 2291. Does 24 divide p(35)?
False
Let p = -302 + -264. Let b = -436 - p. Is b a multiple of 17?
False
Suppose -3*y - k + 2*k + 50065 = 0, 0 = -4*y + 3*k + 66745. Is y a multiple of 36?
False
Let v(q) be the third derivative of q**6/120 + q**5/6 + q**3/2 - 17*q**2. Let h be v(-6). Suppose h*z - 152*z = -165. Does 5 divide z?
False
Let c(z) = -24*z**3 + 17*z**2 + 8*z + 19. Does 92 divide c(-5)?
True
Let j(r) = -r**2 - 7*r - 6. Let s be j(-6). Suppose 40 = -4*b - s*b. Let f = 6 - b. Is f even?
True
Let d = 91 - 109. Let s be -1*d/4*4/3. Is 236/s*(5 + -1 - 1) a multiple of 8?
False
Let p be (0 + -1)/(2 - 67/33). Let h = p - 63. Is 20 a factor of (-273)/2*(-5)/(h/(-8))?
False
Suppose 4*w + 5*c = 38140, -6*c + 28584 = 3*w + 3*c. Is 18 a factor of w?
True
Is -11 + (1 + 29177 - (-8)/1) a multiple of 41?
False
Let o = 78 - 28. Is -582*(-5)/o + (-1)/5 a multiple of 7?
False
Let v = -16452 - -23082. Is 34 a factor of v?
True
Suppose -4*a = 10*m - 15*m - 6579, 0 = -4*m + 20. Is a a multiple of 32?
False
Suppose 0 = 2*v + l + 5 - 2, -3*v = -5*l + 24. Let x(o) = 2*o**3 + 6*o**2 - o + 1. Let g be x(v). Suppose g*t - 30 = 78. Does 3 divide t?
True
Let k = -2854 - -7396. Does 94 divide k?
False
Let o(z) = 3700*z - 3663. Does 49 divide o(2)?
False
Let d(h) = -h**2 + 5*h + 2. Let j be d(3). Suppose j*x - 696 = 528. Does 11 divide x?
False
Suppose 60*n = -48*n + 26352. Is n even?
True
Let h be (-37)/(-148) + (-1)/4. Suppose -5*k + 4*s + 1075 = h, 11*s + 632 = 3*k + 6*s. Does 12 divide k?
False
Let k = 119476 + -55802. Does 6 divide (-8)/(-14) - k/(-217)?
True
Let t be 3/((18 - 16)*(-1)/(-4)). Does 5 divide t - (-2 + -78) - -1?
False
Suppose 0 = -5*u + 9*h - 14*h - 150, -4*u = -2*h + 120. Suppose -g = -4*x - 308, 0*x = x + g + 77. Let l = u - x. Is 5 a factor of l?
False
Suppose 5*a + 4*n = -0*n + 667, 0 = 5*a - 5*n - 685. Suppose -5*m - 5*j = 265, 3*m - 3*j + 153 + 30 = 0. Let t = a + m. Does 13 divide t?
True
Let h = 15814 - 10493. Is h a multiple of 17?
True
Let g be (6/(-2) - 1) + -2. Let a = -6 - g. Does 21 divide (-1 - -49) + -6 + (a - 0)?
True
Let y = 86 + -173. Let f = y - -286. Is 17 a factor of f?
False
Let z be 124/(-434) + (-201)/7. Let v = -69 + 22. Let p = z - v. Is 6 a factor of p?
True
Let k(u) = 534*u**2 + 244*u + 1382. Is k(-6) a multiple of 34?
True
Suppose 14*w + 8*w - 674934 - 564920 = 0. Is 83 a factor of w?
True
Let p = -169 - -168. Is 12 a factor of ((-1624)/112)/(p/26)?
False
Let r be (1 + 213)*6/4. Let x = r + -199. Is 12 a factor of x?
False
Let b(f) = 247*f + 34. Suppose 0 = -2*x - 4*y + 2*y, -2*y = 4*x - 8. Is 61 a factor of b(x)?
False
Does 50 divide ((-26841)/(-92))/((-8)/(-32))?
False
Let p = 750 + -688. Suppose 67*t - p*t = 615. Is t a multiple of 5?
False
Is 5 a factor of (0 + (-3)/(-6))*24198/111?
False
Let u(s) = 2503*s + 14. Let c be u(4). Suppose 37046 - c = 20*y. Is 32 a factor of y?
False
Let f be ((-2)/(8/(-6)))/((-39)/(-156)). Suppose -f*b - 4*j = -9*b + 1053, -5*b + 1784 = 3*j. Does 13 divide b?
False
Let y = -5070 + 9710. Is 16 a factor of y?
True
Let q(f) = 242*f**3 - 2*f**2 + 8*f - 14. Is q(5) a multiple of 127?
True
Suppose -4*v - l - 2137 = -v, v - 2*l = -724. Does 25 divide 6/(-4) + 3/(-12)*v?
False
Suppose -5*l + 1065 = 260. Suppose 4*k - 2*u = 374, 3*u + 307 = 5*k - l. Is 21 a factor of k?
False
Suppose c + 3*c - 3*y - 27299 = 0, c - 6828 = 4*y. Is 17 a factor of c?
False
Suppose 3*l + 3*m + 287 = 7*l, 2*l = -2*m + 140. Suppose -80*b = -l*b - 3222. Is 12 a factor of b?
False
Is 17 a factor of ((-1)/(-3))/((-4)/(-126612))?
False
Let v = -440 + 5557. Is 14 a factor of v?
False
Let q = -86 + 87. Is 36 a factor of (71 - -2) + 2/q?
False
Let w be -54*(-2)/2 - (1 + 2). Suppose -7*f + w + 54 = 0. Suppose -f*u + 57 = -12*u. Is u a multiple of 19?
True
Let w = -427 - -294. Let q = -138 - w. Does 4 divide ((-180)/35 - q) + (-281)/(-7)?
True
Let j(m) = m**3 + 9*m**2 - m - 9. Let u be j(-8). Does 33 divide 22/1*u/14?
True
Let j(n) = 7*n + 99. Let l be j(-13). Suppose 0*v = l*v - 2128. Does 7 divide v?
True
Let z = 605 - 600. Suppose 0 = 3*k + 2*k - 3*s - 1977, 1981 = z*k + s. Does 22 divide k?
True
Let m be (0 - -3) + 0/(-3 - 0). Suppose -l + 2*n - 2 = -5, -m*n = -3. Does 42 divide l/((-5)/4) - (-7 + -291)?
True
Let l(u) = -13*u - 140. Let g be l(-11). Suppose 0 = 2*w + 10, 0 = -2*j - g*w + 108 + 55. Does 7 divide j?
False
Let f(z) = 28*z**2 + 8*z + 39. Is 123 a factor of f(-17)?
True
Let b = -199 + 423. Is b a multiple of 4?
True
Let b(m) = 6*m - 11. Let l be b(2). Let y be l/4 - 3/12. Suppose -t - o + 21 = -y, 5*t + 4*o = 108. Is 24 a factor of t?
True
Suppose 8*o = -o + 63. Suppose -2*a = -2*y + 4, o*a - 2*a = -y + 14. Suppose w - a*i = 2*i + 83, 2*i = 4*w - 304. Does 25 divide w?
True
Let v(f) = -3*f**3 + 8*f**2 + 52*f + 3. Suppose 2*k - c + 4 = -15, 0 = -k + 5*c - 32. Does 15 divide v(k)?
False
Suppose 4*u = 23*d - 22*d - 5854, -4*d + 2920 = -2*u. Let c = -492 - u. Is 18 a factor of c?
True
Suppose 4*u + 10 = -3*y, 24*y = 4*u + 25*y + 6. Is 8 a factor of (11 - (-14 + 20)) + (231 - u)?
False
Let m(b) = b**2 - b + 1. Let g(a) = -a**3 + 7*a**2 + 39*a + 13. Let q = -45 - -46. Let w(o) = q*m(o) + g(o). Does 25 divide w(10)?
False
Let n = 10 + -5. Let s(o) = -3*o - 12. Let y be s(-5). Suppose -691 = -5*m - n*t + 2*t, -y*m + 4*t = -432. Is 20 a factor of m?
True
Suppose v - 724 = 5*v + 2*d, -2*d + 536 = -3*v. Let p = -50 - v. Does 13 divide p?
True
Let j be 29/116 - 20255/(-4). Suppose -60*l + 66*l = j. Is l a multiple of 11?
False
Let o = -26 + 41. Let f(x) = -31*x - 45. Let j(n) = 15*n + 23. Let a(q) = 6*f(q) + 13*j(q). Does 13 divide a(o)?
False
Let l(x) = x**3 + 14*x**2 + x + 8. Let w be 85/(-5) - ((-6 - -3) + 0). Let i be l(w). Let v(q) = q**3 + 7*q**2 - 2*q + 6. Is v(i) a multiple of 27?
True
Let y be (2*1)/(-3*(-5)/(-30)). Let x be (34 - 4 - 1) + y. Suppose n - 40 = x. Is 10 a factor of n?
False
Let s = 4016 + -2859. Suppose -22*t + 779 = -s. Is t a multiple of 88?
True
Let j(v) = 786*v - 11154. Is 27 a factor of j(19)?
True
Let h be -5 - (-1 + 5095/(-5)). Let m = h - 457. Suppose 4*l - m = -78. Is l a multiple of 10?
True
Let t(q) = 242*q**2 + 16*q + 96. Does 9 divide t(-5)?
True
Let j = -92 - -48. Let r = j - -80. Is 2 a factor of r?
True
Suppose -5*w - 4*y = -7*y - 7826, y - 7818 = -5*w. Is w a multiple of 32?
False
Let g = 18205 + -12647. Is g a multiple of 154?
False
Let a(q) = 2*q**2 - 10*q - 17. Let i be a(13). Let d = i - 113. Suppose 8*w - 322 = d. Does 10 divide w?
True
Suppose -5*y + 4*n = -155244, -858*n - 31051 = -y - 855*n. Is 27 a factor of y?
False
Suppose -21 = -5*f + 3*i, -2*f - 5*i - 19 = -5*f. Does 19 divide (2/f)/((-1362)/684 + 2)?
True
Let f(s) = s**3 + 10*s**2 + 13*s - 4. Let t be f(-9). Is (-2 - -6)*(-1270)/t - 2 a multiple of 16?
False
Let j(v) = -v**3 - 3*v**2 + 3*v - 8. Let o be j(-5). Let f = -32 + o. Let w = f + 15. Is 10 a factor of w?
True
Let u = 28 - 25. Let g be 54126/(-90) + (-2)/10*u. Is (-8)/16 + g/(-4) a multiple of 25?
True
Suppose 0 = -4*r + 3*y + 4 + 3, -12 = -4*y. Let f(h) = 255*h - 126. Does 33 divide f(r)?
False
Let p(q) = q**3 - 4*q**2 + 6. Let d be p(3). Let g be ((-10)/d)/((-3)/(-9)). Suppose 7*m = g*m - 69. Is m a multiple of 6?
False
Suppose 5*x - 8*x + 53609 = 2*f, 4*f - 178710 = -10*x.