e of 48?
True
Let p = -265 + 267. Let y be -16*(-6)/(-16)*-18. Suppose 5*c + 2*a = 248, 5*c - p*a - y - 144 = 0. Does 10 divide c?
True
Is (-82664)/(-6) - 388/291 a multiple of 70?
False
Suppose -2*f = -7*f + 25. Suppose -1612 = -5*k + 2*x, 2*k - 6*k = -f*x - 1276. Does 27 divide k?
True
Suppose w - 37 = 2*l, 5*w = l - 21 + 170. Suppose w*c - 13871 = 9793. Is 51 a factor of c?
True
Let j = 10588 + -10047. Is j a multiple of 50?
False
Let f(c) = 7*c - 45. Let s = 60 - 54. Let b be f(s). Is 161/1 - (b - -3) a multiple of 23?
True
Let a(n) = -n**3 - 2*n**2 - 5*n - 3. Let u = 10 + -18. Let l be (-2)/u + (-18)/8. Does 3 divide a(l)?
False
Let s(j) = j**2 - 6*j - 22. Let a be s(8). Let z(p) be the second derivative of p**4/4 + 11*p**3/6 - p**2 + 3*p. Is z(a) a multiple of 40?
True
Let a = -63 - -60. Is a/4 + 1432/32 + 2 a multiple of 5?
False
Let i(u) = u**3 - 7*u**2 - u + 36. Let v be i(6). Suppose q - 3*q = 0. Is 9 a factor of ((-27)/v - q)*6 + 0?
True
Suppose -4*y - 17*u = -12*u + 1077, 3*y + 804 = -5*u. Let m = 415 + y. Is m a multiple of 41?
False
Let r = -4095 + 5767. Does 17 divide r?
False
Let m be (-24)/(-18) + 110/30. Suppose -m*a + 47 = -43. Does 6 divide a?
True
Let b = -78 - -86. Let q(w) = 9*w - 59. Does 7 divide q(b)?
False
Let z be -6*3/((-18)/4). Suppose -z*n + 12 = -n. Suppose i - 116 = -n*a, -i - 46 = -a + 3*i. Is 6 a factor of a?
True
Let g(o) = 2*o - 14. Let s be g(10). Suppose 266 = 8*v + s*v. Is v a multiple of 2?
False
Let c be (3 - 0) + (-21 - -14). Let u(i) = -2*i**3 + 7*i**2 + 10*i + 7. Is 23 a factor of u(c)?
True
Suppose -2*m + 6274 = 4*v, -107*m - 3*v + 3136 = -106*m. Is 16 a factor of m?
False
Let v(d) = 54*d**3 - d**2 - 2*d + 3. Let p(f) = -2*f**2 - f + 8. Let q(u) = -3*u**2 + 9. Let j(h) = 4*p(h) - 3*q(h). Let z be j(2). Is 9 a factor of v(z)?
True
Let v(n) = -88*n**2 - n + 3. Let c be v(-2). Let b = c - -811. Is 29 a factor of b?
True
Is (3336/(-28))/(6/27 - (-213)/(-945)) a multiple of 278?
True
Is 55 a factor of 480275/125 + 1/(-5)?
False
Suppose 0 = n + 11 + 85. Does 9 divide 5/((-1)/(n - -3))?
False
Let l be (-680)/(-12)*(216/(-5))/6. Is 29 a factor of l*6*(-5)/45?
False
Suppose -317 = 5*d - 9537. Suppose 4*o - d - 1124 = 0. Is 6 a factor of (3/(-2))/3*o/(-7)?
False
Suppose 14608 = 49*b - 359884 - 205276. Is b a multiple of 12?
True
Let q = 123 - 609. Let r = q - -948. Is 22 a factor of r?
True
Let o = -551 + 0. Let t = 827 + o. Is t a multiple of 23?
True
Suppose 2*v - 240 = -2*v. Suppose 0 = -5*s + 5*u - 200, -3*s = 14*u - 12*u + 130. Let m = s + v. Does 9 divide m?
True
Let g(x) = 63*x**2 - 681*x + 15. Is g(-14) a multiple of 105?
False
Let y = 2 + -2. Let m(j) = -j**2 + 2*j + 2. Let h be m(y). Is (h - 50/15)*-66 a multiple of 23?
False
Let n(i) = -i**3 + 26*i**2 - 25*i - 46. Let f be n(23). Suppose 4*y = 5*k - f, 849 + 121 = 5*k - 5*y. Suppose 0 = 5*d, -2*c + 5*d + k = 3*c. Is 3 a factor of c?
False
Let c = 2430 + -1643. Suppose -4*l - l + o + c = 0, 3*l - 2*o = 475. Suppose 19 = 4*q - l. Is q a multiple of 11?
True
Suppose 130*n - 18*n + 145520 = 477152. Is n a multiple of 11?
False
Suppose -56*z - 53*z = -137340. Is z a multiple of 28?
True
Let i(p) = 4*p**3 + 27*p**2 + 20*p + 40. Let o(k) = -k**3 - 9*k**2 - 7*k - 13. Let v(n) = -2*i(n) - 7*o(n). Let h be v(10). Is h/(-2) + 468/8 a multiple of 17?
False
Let h = 70 - 82. Let t(d) = 4*d + 40. Let c be t(h). Let b(n) = -3*n + 12. Is b(c) a multiple of 12?
True
Is 27 a factor of 0 + (-2)/(-14) + 861964/1582?
False
Is (42/(-4) - -13)*1804 a multiple of 19?
False
Let x(s) = s**2 - 19*s - 40. Suppose -3*v = -11*v + 24. Let r(q) = 2*q**2 - 37*q - 80. Let m(l) = v*r(l) - 7*x(l). Does 16 divide m(18)?
True
Let h(d) = 6*d**2 - 6*d - 31. Let c be h(8). Let q = -160 + c. Is 29 a factor of q?
True
Suppose -181*w = -259*w + 180492. Is 34 a factor of w?
False
Let d = -43 - -270. Let p = 279 - d. Is 5 a factor of p?
False
Let k be ((-958)/(-16))/(2/8)*-2. Let q = -200 - k. Does 16 divide q?
False
Is 6 a factor of 8106 + -3 - ((-286)/33 - 4/12)?
True
Does 22 divide 229889/22 - 9/(-12) - 2/8?
True
Suppose -5*o + 184 = -2*t, -2*t - 28 = -o - 6*t. Suppose -2*z - o*h = -39*h - 1916, z + 4*h = 969. Does 31 divide z?
True
Is 5 a factor of (2/12 + (-75820)/(-408))/((-4)/(-70))?
True
Suppose -24*a - 185*a = -3923557. Does 132 divide a?
False
Suppose -4*u = -16*u + 38*u - 358644. Is u a multiple of 315?
False
Let z = -593 + 597. Suppose -5*l - 3*p = -5286, -18*l - z*p + 1064 = -17*l. Does 82 divide l?
False
Suppose 5*n = 8*i + 118917, 23*i = 19*i - 16. Is n a multiple of 31?
True
Suppose 0 = -f - 13*f + 742. Let x = -50 + f. Is 9 a factor of 634/6 + (-2)/x?
False
Suppose 6*k - 14868 = -8*k. Let u = k - 594. Does 18 divide u?
True
Suppose -42*u - 63*u + 1852015 = 46*u. Is u a multiple of 276?
False
Let w = 39 - 26. Suppose -5*h + 5*p + 572 = -533, 0 = 3*h - p - 665. Suppose 11*k + h = w*k. Does 16 divide k?
False
Let g be (-25*(-32)/240)/((-1)/3). Is ((-5772)/g)/(32/80) a multiple of 13?
True
Let f(u) = 3*u**3 - 6*u**2 + 2*u + 3954. Does 3 divide f(0)?
True
Let v(u) = 948*u - 1196. Is 13 a factor of v(10)?
False
Suppose 2*j + s + 0*s - 2 = 0, -j + 4*s - 8 = 0. Suppose -3*x - 4*v + 8 = -5, 2*x + 3*v - 9 = j. Suppose 199 = x*q + 64. Is 9 a factor of q?
True
Suppose -132 = -3*p + 3*f, -10*f = -p - 13*f + 28. Suppose -5*i = -2*t + p, 6*t - 12 = 4*t - 2*i. Is t a multiple of 4?
False
Let z(t) = t**2 - 26*t - 3. Let w be z(27). Is 54 a factor of ((-21)/28)/(w/(-1856))?
False
Suppose -53*z + 479*z = -62*z + 33672. Does 2 divide z?
False
Let r(x) = 2*x**3 - 12*x**2 + 11*x - 31. Let j(c) = -c**3 - c**2. Let o(s) = -j(s) - r(s). Is 17 a factor of o(10)?
True
Let y = 28 - 25. Suppose 0*m - y*m + 4*r - 11 = 0, -4*m = -5*r + 14. Is 22 a factor of (-22)/4*m*8?
True
Suppose 2466*j + 2301 = 2469*j - 3*g, -2*g - 3070 = -4*j. Is j a multiple of 4?
True
Suppose 92*o - 25048 = 356719 + 10705. Does 54 divide o?
True
Suppose 0 = -2*s - 5*t + 8684, -5709 = -4*s + t + 11615. Is s a multiple of 76?
True
Let l(z) be the third derivative of 13*z**8/4032 + z**7/1680 - z**6/180 + 3*z**5/20 - 3*z**2. Let n(o) be the third derivative of l(o). Does 16 divide n(1)?
True
Let p = -27529 + 31489. Is p a multiple of 165?
True
Is (122/4)/(1/170) a multiple of 108?
False
Suppose 3*v - 4*z = -11, 2*z + 20 = 5*v + 3*z. Suppose v*d = 5*d - d. Suppose -3*g = -4*o + 501, -2*g + g - 3 = d. Is o a multiple of 17?
False
Let c(k) = -10*k - 130. Let b be c(-33). Let i = b - 154. Does 23 divide i?
True
Let n = 218 - 238. Is n/(-50) + 493/5 a multiple of 28?
False
Let i(b) = -44*b + 18 + 25 - 14. Let s be i(-7). Let f = s + -9. Is f a multiple of 60?
False
Suppose 5*w = -4*t + 25, 5*w - 5 = 4*w + 4*t. Suppose -w*i + 751 = -2709. Does 14 divide i?
False
Suppose 0*j + 5*j - 130 = -3*r, 5*j - 125 = -2*r. Suppose -j*n = -30*n + 2058. Is 42 a factor of n?
True
Let t(v) = -v**3 + 172*v**2 - 277*v + 1196. Is 70 a factor of t(169)?
False
Suppose 2*q = 17 - 7. Suppose v + 4*v = -5*a + 15, 0 = -5*v - q. Suppose -a*f = -122 - 6. Is f a multiple of 8?
True
Let u(g) = g**2 - 14*g + 24. Let k be u(12). Suppose k = 4*p - 186 - 102. Suppose -v = -2*i + 38, 0 = 5*i - i - v - p. Is i a multiple of 2?
False
Let m = -18 - -23. Let v be 7/(98/(-63))*-176. Suppose -v = -m*h + 4*y, y + 490 = 3*h + 6*y. Is h a multiple of 27?
False
Suppose 3*f = 2*b - b + 17, -3*f + 1 = -5*b. Suppose 5*k + 73 = 3*z + 15, 5*z - 5*k - 80 = 0. Does 13 divide (-2 - f)/(z/(-33))?
False
Let u(x) = 46*x**3 - 13*x**3 + 23*x**3 - 2 + 9*x**2 + 8 - 17*x. Is 11 a factor of u(2)?
False
Let z be (-6)/(60/70) - -24. Let l(b) = -1 + 4*b + 9 - 2. Is 7 a factor of l(z)?
False
Let f = 336 + -618. Let l = -102 - f. Does 15 divide l?
True
Is ((-4 + -8 + -3)*-433)/(3/5) a multiple of 23?
False
Suppose -4*c + 910 + 60 = 3*q, -2*q - 2*c = -646. Does 15 divide q?
False
Let b(t) be the first derivative of -5*t**2/2 + 21*t + 1654. Let j = -8 + 1. Is b(j) a multiple of 7?
True
Suppose 20729 + 175343 = 4*m - k, 3*k - 196104 = -4*m. Does 76 divide m?
True
Is 5737 - (513/(-95) - (-6)/15) a multiple of 23?
False
Suppose 2*j - 5475 = -j - 3*k, 0 = 4*j + 5*k - 7298. Is j a multiple of 13?
False
Is -8 + (74/4 - 9) - (-64077)/6 a multiple of 14?
False
Is (135124/286)/(46/299) a multiple of 3?
False
Suppo