43 - 2368. Is y a multiple of 42?
False
Suppose 0 = 72*z - 367688 + 109568. Does 23 divide z?
False
Suppose 68*l = -68*l + 309264. Is l a multiple of 2?
True
Let i(t) = -738*t + 64. Is 13 a factor of i(-3)?
False
Let b(d) be the third derivative of d**6/60 - d**5/60 + d**4/6 - d**3/6 - 2*d**2. Let j = -1040 - -1042. Is b(j) a multiple of 8?
False
Let i = 20912 + -14543. Is 18 a factor of i?
False
Suppose 37*m - 39*m = -v - 15766, -15768 = -2*m + 2*v. Is m a multiple of 88?
False
Suppose -130*i + 3180 = -142*i. Let g = 370 + i. Is g a multiple of 8?
False
Suppose -3*r + 9*v = 5*v - 18, 3*r = -2*v. Is ((-18)/(-18))/(r + 3381/(-1692)) a multiple of 24?
False
Suppose 4*j + 0*j - 1732 = 0. Suppose -793 = -4*t - k, -2*t - 5*k + j = 14. Suppose 3*n - 290 = 2*f, 4*f + f = 2*n - t. Is 12 a factor of n?
True
Suppose -4*k + 3*c + 28 = 0, -5*k + 5*c = -12 - 28. Suppose k*b + 6*n - n = 1357, -1 = -n. Is 19 a factor of b?
False
Suppose -37*c - 40*c - 98506 = -242727. Is c a multiple of 6?
False
Let j be 105/(-10)*7/((-147)/(-36)). Let w be (j/15 - 2/(-10))*-5. Suppose 4*a = -w*f + 3 + 120, -f = 1. Is a a multiple of 17?
False
Is 21 a factor of 35123 - 11*(3 - -5 - 7)?
True
Let g(d) = -11*d - 7 + 21*d - 12*d. Let o(h) = 2*h + 7. Let x(l) = -3*g(l) - 2*o(l). Does 5 divide x(18)?
False
Let p(x) = 9*x**2 - 1. Let m be p(1). Suppose -m = -r - 6. Suppose r*a - 70 - 242 = 0. Is 38 a factor of a?
False
Let v(n) = 2533*n + 5016. Does 227 divide v(12)?
True
Let b(h) = 9*h - 129. Let q be b(11). Is (-63)/210 + (-3159)/q a multiple of 3?
True
Suppose 0 = -n - 3*n + 16, -n - 5 = -3*w. Suppose 4*c - c = -3*m + 1158, m + w*c - 390 = 0. Suppose m = -5*r + 1364. Is 17 a factor of r?
False
Is (-60)/(-35) + (-730784)/(-287) a multiple of 37?
False
Let r = 216 + 659. Suppose 0 = 5*d - 4*x - 1120, -x = -4*d - 2*x + r. Is d a multiple of 55?
True
Suppose -3*q = -5*k + 975, 9*q = -2*k + 11*q + 394. Suppose 188*i + 792 = k*i. Does 18 divide i?
True
Suppose 2*m + 10 = 4*m. Suppose 0 = 3*u + m*u - 31680. Suppose 9*h - 20*h + u = 0. Does 15 divide h?
True
Let a be (-122)/(-6) + -9 + (-4)/(-6). Is 6 a factor of 73 + a/12*(1 - 2)?
True
Suppose 0 = d + 2699 - 142. Let b = d + 3661. Is 12 a factor of b?
True
Let g = 7253 - -473. Is 47 a factor of g?
False
Suppose -608*p - 1625946 = -650*p. Is 13 a factor of p?
False
Let d(t) be the second derivative of -t**5/20 + 13*t**4/4 - 73*t**3/6 - 8*t**2 - t - 11. Is 2 a factor of d(37)?
False
Let t be 11/((-3)/27*-3). Let m be t/9 + (-2)/3. Suppose 11 + 31 = m*y. Does 3 divide y?
False
Let l(s) = 853*s + 800. Is 173 a factor of l(9)?
True
Let h(q) be the third derivative of q**5/12 - 5*q**4/24 + 5*q**3/6 - 25*q**2. Let y(s) be the first derivative of h(s). Is y(9) a multiple of 17?
True
Let i(y) be the first derivative of -y**4/4 - 4*y**3/3 + 2*y**2 - 2*y + 9. Let f be i(-5). Suppose f*t + t = 120. Is 30 a factor of t?
True
Let z(p) = -103*p + 2165. Is z(-5) a multiple of 38?
False
Let k(l) = -l**2 + 31*l - 122. Let p be k(25). Suppose -p = 23*g - 626. Is 15 a factor of g?
False
Suppose 5*l + 5*y = -35, 3*l - 2*y + 27 = -3*y. Let f = l - -16. Suppose 0 = m + 4*b - 76, f*m - 3*m + 5*b - 214 = 0. Does 17 divide m?
True
Suppose -23*i - 29587 + 511846 = -242149. Is i a multiple of 254?
True
Let u(g) = 39*g - 12. Let h(c) = 41*c - 10. Let q(a) = -3*h(a) + 4*u(a). Is q(10) a multiple of 8?
True
Let q be ((-1395)/(-18))/((-2)/(84/(-3))). Let b = q - 722. Is b a multiple of 33?
True
Suppose 3*r - 18594 - 31422 = -3*h, 3*h + 2*r = 50012. Does 27 divide h?
False
Suppose 3520 = 4*u + 226*p - 223*p, 5*p - 1774 = -2*u. Is 22 a factor of u?
False
Suppose -508 + 2055 = 7*f. Suppose 3*p - 169 = 4*l + f, 5*p = 4*l + 642. Is 7 a factor of p?
True
Suppose 121101 + 43523 = 14*v + 43230. Is 14 a factor of v?
False
Suppose -4*q - 34 = 4*n - 314, 3*q - n = 202. Suppose 16*s - q = -s. Suppose -s*f - 572 = -17*f. Does 2 divide f?
True
Suppose -180*q = -190*q + 36180. Does 18 divide q?
True
Suppose -k - 2 = -a, -3*a - 2*k + 4*k + 7 = 0. Suppose -2*m + 5*y + 98 = 0, -a*m - 3*y = 2*y - 122. Is m a multiple of 22?
True
Let f = 223 + -218. Suppose -5*x + 3365 = f*b, -3*b + 41*x - 42*x = -2023. Does 27 divide b?
True
Suppose -4*m = -8*p + 20972, 3*p - 2640 = 5*m + 5193. Is p a multiple of 3?
False
Suppose -u - 72 = -2*w, 243 = -4*u + 30*w - 31*w. Let m = u - -86. Is 2 a factor of m?
True
Let c be 14/18 + -1 - (-15432)/(-54). Let x = c - -646. Is x a multiple of 36?
True
Let k be 15/(-6)*(4 + (-62)/5). Suppose -8*b + k*b = 14209. Is 37 a factor of b?
False
Let q = 4389 + -1474. Is q a multiple of 55?
True
Suppose 65*f = 40*f - 339900. Is (-108)/(-42) + -2 + f/(-21) a multiple of 31?
False
Suppose 0 = 9*d + d - 40. Suppose 0*c - c + d*g = -267, -3*c - 3*g + 786 = 0. Does 57 divide c?
False
Suppose -45 = -5*x - 4*a + 2*a, -x - 3*a = -9. Does 29 divide (x + (-561)/15)/(4/(-10))?
False
Let a = 20 - -1791. Let p = a - 1131. Is 20 a factor of p?
True
Let w(j) = 9*j**2 - j - 4. Let g be w(1). Let a be (0 - 2)*(-4)/8. Suppose -g*t + 43 = -a. Is t a multiple of 11?
True
Suppose 19*g + 14302 - 59660 = 15138. Is g a multiple of 4?
True
Let p(x) = -28*x - 63. Let c be p(-6). Suppose -c = 2*n - 539. Does 19 divide n?
False
Is ((-1211)/5*(-6 - 3))/((-34)/(-170)) a multiple of 84?
False
Let n(k) = -k**2 - 9*k - 14. Let a be n(-5). Suppose t + 2 = -1, -t = -v + a. Suppose -5*d = f + f - 154, -3*f + v*d = -252. Does 7 divide f?
False
Suppose 0 = -i - 2*i. Let r be 4 + 13 + -9 + -1. Is i + -1 - (-329)/r a multiple of 23?
True
Suppose 7245 = 29*s - 28*s - 4*v, -s = 3*v - 7210. Does 85 divide s?
True
Let f(o) = -o**2 - 4*o - 18. Let k = 6 - 15. Let m be f(k). Let c = m - -147. Is 8 a factor of c?
False
Suppose -23 = 14*x - 51. Let c(p) = -6*p + 7*p**3 - p + 8*p - p**2 + 2. Does 14 divide c(x)?
True
Let z(q) = -q**3 - 16*q**2 - 11*q**2 + 33*q**2 - 16*q**2 - 20*q. Is z(-9) a multiple of 33?
True
Suppose 2*r - 2199 = -16*r + 2661. Is 10 a factor of r?
True
Suppose 4*c - 44 = -16. Suppose r - 494 = -4*n + c, -372 = -3*n - 2*r. Is n a multiple of 18?
True
Let c = -60 - -63. Suppose j + c*j - 66 = 2*t, -4*j = t + 15. Let o = t + 30. Is o a multiple of 2?
False
Is (-4 + ((-896)/20)/(-7))*(-1200)/(-18) a multiple of 15?
False
Let i(v) = -425*v + 868. Is i(-16) a multiple of 54?
True
Let s(m) = -m**3 - 13*m**2 - 27*m - 38. Let g be s(-18). Suppose 26*n - g = 15*n. Is 12 a factor of n?
False
Let v = 6219 + -1246. Is 6 a factor of v?
False
Suppose 4 = 6*u - 10*u, -2*l + 141 = -5*u. Suppose -l = -2*f + 4. Is 14 a factor of f/45*245*1?
True
Let d = -74 + 84. Suppose -d = -4*g + 2*u, 2*g + 5*u = 8*u + 11. Is g/4 - 3100/(-80) a multiple of 8?
False
Let s = -28700 - -30156. Is 8 a factor of s?
True
Suppose 0 = -3*f + 2*p - 16, 3*f + p + 2*p = -6. Is 92 a factor of 718 - 0/((-5)/((-20)/f))?
False
Suppose 3*x + 393 = x + 5*t, -4*x = 4*t + 716. Let z = -48 - x. Is z a multiple of 14?
False
Let r be 5/((-25)/10) - -195. Suppose -f + r = -5*q, -4*f + 541 + 159 = -2*q. Suppose -12*u = -1973 + f. Does 9 divide u?
False
Let k = 46504 + -34545. Is k a multiple of 23?
False
Let a be ((-7)/14 + 2)/((-6)/(-20)). Is 9 a factor of a/(50/(-108))*45/(-6)?
True
Let r(i) = -20*i**2 - 32. Let s(k) = -7*k**2 - 11. Let y(c) = -4*r(c) + 11*s(c). Let v = 2083 + -2086. Does 14 divide y(v)?
False
Let i = 524 + -519. Suppose -i*m + 3*t = -129, -3*m + 65 = t - 18. Is 11 a factor of m?
False
Let a(w) = -191*w - 27. Let n = 244 + -246. Is 13 a factor of a(n)?
False
Suppose 0 = 21*j - 13*j + 848. Let h = j + 122. Does 5 divide h?
False
Let r(q) = -8*q**2 + 2*q + 5. Let v(c) = -8*c**2 + c + 4. Let i(m) = -5*r(m) + 4*v(m). Is 9 a factor of i(6)?
True
Suppose 3*z + z + 672030 = 23*z. Is 135 a factor of z?
True
Let p(z) = z**3 + 14*z**2 + 16*z + 46. Let n be p(-13). Does 17 divide n/(35/1105)*1?
True
Let r(i) = 8*i**2 + 128*i + 89. Is r(34) a multiple of 219?
False
Let i be -1*(-3 + -1)*-2. Let d be ((-115)/(-3))/(i + (-225)/(-27)). Let a = -84 + d. Is a a multiple of 7?
False
Suppose -11*s = -26*s + 300. Let n = s + 94. Is 57 a factor of n?
True
Suppose -1631 = -4*z + 11525. Suppose 5*i - z = -q, 3517 = 5*i + 5*q + 232. Does 14 divide i?
True
Let c(o) = -o**3 - 3*o**2 - 10. Let y be c(-4). Is ((-289)/y - 4/8)*-3 a multiple of 8?
False
Suppos