 Let y be 0/(-2 + 1) - (u + 1). Suppose 282 = y*c - 124. Is c a multiple of 36?
False
Let z(l) = 89*l - 4. Let q be z(-2). Let f(p) = -6*p**2 + 3*p + 17. Let u be f(5). Let r = u - q. Does 13 divide r?
False
Let a be 1 + (32/(-176) - 26/(-22)). Is a/(-11) + (450/55 - 5) a multiple of 3?
True
Suppose -13 = 3*n + 4*y, -n = 4*y + 4 + 11. Let b = n + -39. Is 9 a factor of (17 + -15)*b*(-2)/2?
False
Suppose 0 = -235*i + 107*i + 97*i + 1406036. Is i a multiple of 58?
True
Let c(m) = 2*m**2 + 14*m. Let h be c(-7). Let r be -130 + (h - 1) + 5. Does 7 divide (3/(-2))/(3/r)?
True
Let r = 5383 + -2345. Does 31 divide r?
True
Suppose -490 = -2*g + 2*p, 248 = 5*g - 4*g + 2*p. Let w = g - 211. Is w a multiple of 24?
False
Suppose 154*c - 155*c = 5*v - 1037, -v = -3*c + 3191. Does 42 divide c?
False
Suppose -158*t - 96 = -166*t. Does 43 divide 2/(-8) + 6987/t?
False
Let b = 45659 + -25958. Does 33 divide b?
True
Suppose -6*l + 2396 - 23596 = -14*l. Does 20 divide l?
False
Suppose 0 = -80*w + 82*w - 214. Let k = 137 - w. Does 16 divide k?
False
Suppose 5 = -5*a, 3299 = 5*l - 4*a - 360. Is l even?
False
Let l(f) = 4*f**2 + f - 6. Let p be l(-4). Let i = p - 38. Suppose 2*v + 27 = 3*x - 9, x = 2*v + i. Is 10 a factor of x?
True
Suppose -w - 4 = 2*y, -4*w + 3*w + 6 = -3*y. Suppose -k = 0, -2*a + k + w*k + 260 = 0. Is a a multiple of 10?
True
Suppose -4*i - 4*u = 143747 + 32337, 220132 = -5*i + 4*u. Is 78 a factor of i/(-32) + (2/8)/1?
False
Let g(q) be the first derivative of q**6/120 + 13*q**5/120 - q**4/4 + 20*q**3/3 + 9. Let z(w) be the third derivative of g(w). Is z(-6) a multiple of 14?
False
Let i(z) = -15*z + 1. Let o(n) = 11*n - 1. Let j(k) = -2*i(k) - 3*o(k). Let p be (2 - 14/(-8))*-4. Does 15 divide j(p)?
False
Suppose -81 = -11*d + 73. Let r = -11 + d. Is (34 - (0 + -1)) + (1 - r) a multiple of 11?
True
Let c = 4233 - 3833. Does 20 divide c?
True
Let k(a) = 105*a**3 + 2*a**2 - 42*a + 172. Is k(7) a multiple of 22?
False
Let r(w) = 12*w**2 - 71*w - 7. Let b(f) = 10*f**2 - 70*f - 6. Let q(g) = -4*b(g) + 3*r(g). Is q(16) a multiple of 4?
False
Let v(y) = -9*y**3 + 4*y**3 + 5 + 4*y**3 + 8*y**2 - 19*y**2 + 15*y. Is v(-14) a multiple of 52?
False
Is 23 a factor of (-14 + -101)/(10/(-390))?
True
Suppose 3*n - 3593 = -4*x, -5*x = 12*n - 15*n + 3575. Is n a multiple of 15?
False
Let s(b) = -b**2 + 15*b - 21. Let f be s(13). Is 4 a factor of 223/f + (1 - (-24)/(-15))?
True
Let s = -7899 - -8589. Is 5 a factor of s?
True
Suppose 871 = q - 1880. Suppose -201 = -8*d + q. Does 9 divide d?
True
Let l(h) = 15*h + 25. Let s be l(6). Let q = -88 + s. Suppose -3*b = -4*b + q. Is 9 a factor of b?
True
Let m be 256 - (-10)/(-45)*9. Let h = m + -206. Is h a multiple of 16?
True
Suppose 15*j - 12163 = 32175 + 41837. Is j a multiple of 94?
False
Suppose 22*i - 8*i - 71440 = -6*i. Is 45 a factor of i?
False
Let q(n) = 3*n**2 - 19*n + 25. Let a = 98 - 88. Is q(a) a multiple of 5?
True
Suppose -13*v - 6360 = -14*v. Is v a multiple of 12?
True
Suppose -3*b = 2*y - 261, 9700*b - 9697*b + 549 = 4*y. Does 45 divide y?
True
Is (25369 - 1)*(-62)/(-217) a multiple of 8?
True
Suppose 0 = 6*k + k - 21. Let c be (2 + k)/(-5)*-3. Suppose c*u + 115 = 3*j + 577, 3*u - 2*j - 459 = 0. Is u a multiple of 31?
False
Let k(p) = 3*p**3 + 26*p**2 - 11*p + 12. Let x(g) = -2*g**3 - 13*g**2 + 5*g - 5. Let r(v) = -6*k(v) - 11*x(v). Does 53 divide r(7)?
True
Suppose 2*h + 560 = b, b + 2240 = 5*b + 4*h. Is b a multiple of 70?
True
Let c(i) = 99*i**3 - 17*i**2 + 3*i - 15. Is 19 a factor of c(4)?
True
Let r(u) be the first derivative of -17 + 3*u - 16*u**2 - 13*u + 5*u. Is r(-4) a multiple of 29?
False
Suppose -c + 1914 = -5*x, -5*c + 1548 = x - 5*x. Suppose -3 + 4 = -a, -p = -4*a - 557. Let u = p + x. Does 9 divide u?
True
Suppose -133082 = -13*g + 2*o + 9713, 0 = -2*g + o + 21965. Is g a multiple of 13?
True
Is (-2982)/(-6)*-6*(-4 - (-30)/9) a multiple of 18?
False
Is 10 a factor of 2 - ((-2518 - 2) + -18)?
True
Let k(w) = -3*w + 0*w - 2*w + 43 + 68 - w. Is k(-24) a multiple of 51?
True
Suppose 69 - 66 = -g. Does 3 divide (-10)/(-1*g/(-18))?
True
Suppose -16*b + 13*b - 3803 = -4*c, c - 2*b = 952. Suppose 4*g = 3*m + 8*g - 941, 3*m - c = 5*g. Is 24 a factor of m?
False
Suppose u + 3 - 8 = 0. Suppose -u*x = -0*x + 17780. Is 19 a factor of 2/(-6) + x/(-21)?
False
Let z(j) = -j**2 - 2*j. Let h = 5 - 3. Let p(r) = r**3 - r**2 - r. Let x(q) = h*p(q) - z(q). Is 4 a factor of x(3)?
False
Let u(a) be the third derivative of a**6/120 - 3*a**5/10 + 5*a**4/12 + 41*a**3/6 + 2*a**2 - 12. Is 19 a factor of u(18)?
False
Suppose -30*s - 240 = -32*s. Suppose -840 = -3*o - s. Is 34 a factor of o?
False
Is (199144/16 + 3)*(-40)/(-35) a multiple of 26?
False
Let j be 4*6/(-108) - 994/(-18). Let k = -174 + j. Let h = -63 - k. Does 13 divide h?
False
Let d = -84 + 85. Suppose -2*z = -3*v - 5 + d, 5*z = 5*v + 10. Does 24 divide (z/(-4))/(-1)*268?
False
Suppose -31*t + 5*b - 7499 = -35*t, 1873 = t + 3*b. Is t a multiple of 14?
True
Suppose 108*n = 99*n + 11592. Does 14 divide n?
True
Let w = -95 + 99. Let g(i) = 0 + w + 11*i + i**2 - 2. Is g(-14) a multiple of 8?
False
Let o(t) = -36*t - 4. Let m(j) = 37*j + 5. Let x(k) = -k**2 + 3*k + 6. Let p be x(-2). Let n(w) = p*o(w) - 3*m(w). Does 6 divide n(1)?
False
Suppose -3*y + 72 - 19 = 2*b, -10 = -2*y. Suppose -604 = -23*k + b*k. Does 33 divide k?
False
Suppose -2*v + 7*v + 27 = 2*h, 0 = 3*h - v - 73. Suppose -32*s + 1020 = -h*s. Is s a multiple of 17?
True
Let g(k) = -1016 + 537 + 29*k + 501. Is 49 a factor of g(18)?
False
Let b(y) = 18*y + 8. Let s be b(10). Suppose -8*c = -356 - s. Suppose -4*k - c = -6*k. Does 17 divide k?
True
Let j(z) = -2 + 10*z - 5*z**2 + 0 + 72*z**2 - 8*z. Does 30 divide j(2)?
True
Suppose 0 = -5*h - 4*k - 5, -5*k - 30 = -5*h - 2*k. Let i be (h - 2) + 2/10*5. Suppose 419 = 5*j + r - 5*r, -2*j + i*r = -166. Is j a multiple of 9?
False
Suppose -17*c = c + 78*c - 340800. Is c a multiple of 50?
True
Let t(z) = 19 - 18 - 27 + 16*z - 51 - 33. Is 10 a factor of t(8)?
False
Let z(j) = 47*j + 1. Let h be z(-3). Is 38 a factor of (-12)/(-10) - 197652/h?
False
Let s = 45854 - 30538. Is 15 a factor of s?
False
Let y(m) be the third derivative of -m**6/120 + 3*m**5/20 - 11*m**4/24 + m**3 + 86*m**2. Suppose 0 = -3*z, 0 = -2*q + 3*z - 0*z + 8. Is y(q) a multiple of 9?
False
Let w(p) = -110*p - 1. Let l be w(-1). Suppose 3*d = 15, 3*h + d + 27 + 91 = 0. Let s = l + h. Is s a multiple of 17?
True
Let h = -784 - -538. Does 11 divide (-72)/(-16)*h/(-9)?
False
Let s(j) = j**2 - 12*j + 4. Let c be s(12). Suppose 0*v + 3*v - 468 = c*d, 3*d = -2*v + 312. Let k = 303 - v. Does 26 divide k?
False
Let w be (-2)/(-7) + (-7)/(98/(-108)). Is 335 - ((-1)/9 - w/9) a multiple of 48?
True
Suppose -136*a + 61541 = -95*a. Does 23 divide a?
False
Is 14/(-28)*-1408*18 a multiple of 64?
True
Let j = 17 - 55. Is 36 a factor of (-28633)/j + 6/(-4)?
False
Suppose -11*h = -3498 - 2090. Is 11 + -5 + h/2 a multiple of 20?
True
Let b(g) = -g**3 + 88*g**2 + 118*g + 428. Does 51 divide b(88)?
True
Let g = 771 + -270. Does 32 divide g?
False
Suppose -6 + 11 = h. Suppose 2*z - 50 = -y, -h*z + 2*z + 4*y = -75. Suppose 3*r - 3*n + n = 1036, 5*n + z = 0. Does 43 divide r?
False
Suppose -3307 + 5221 = 6*d - 6630. Does 89 divide d?
True
Let x(i) = 6*i**2 + 75*i - 4. Is x(-32) a multiple of 34?
True
Let l = -51 - -46. Let s = 29 + l. Suppose -f + s = -43. Is f a multiple of 14?
False
Let k(p) = p**3 - 13*p**2 + 2*p - 6. Let v = 192 + -179. Is 14 a factor of k(v)?
False
Let g = -770 + 1104. Suppose 0 = 4*c - 5*l - 647 - 773, -c - 4*l = -g. Is c a multiple of 72?
False
Let q = -18 - -41. Suppose -5*j = -g - 7*j + 14, -j = -2*g + q. Is g a multiple of 6?
True
Let b(r) = -2*r**2 + 8*r - 15. Let w be 5/15 - 40/(-6). Let a be b(w). Is 33 a factor of (-3 + -1)*(-5 - a/(-2))?
False
Let z be 9 + ((-4)/10)/((-1)/5). Suppose z*w + 0*w = 1441. Suppose w = 2*q - 135. Is 20 a factor of q?
False
Suppose b = 2*s + 11848 - 1434, 4*b - s - 41621 = 0. Does 68 divide b?
True
Let t be (-30957)/(-68) + 2/16*6. Suppose -4*l + t = 8*l. Is 10 a factor of l?
False
Suppose -4*j + 4*a - 3 = 1, 3 = -5*j + 3*a. Suppose 0 = -2*t - 4*m + 5*m + 22, j = t + 5*m - 22. Is 30 a factor of 2/t + (-4884)/(-72)?
False
Suppose -270*p + 465682 = -2