. Let j = c - -622. Is 5 a factor of j?
True
Let w be ((-924)/(-165))/((-2)/(-15)). Is 58 a factor of 3*(-1631)/w*-4?
False
Let w(c) = c**2 - 15*c + 12. Let m be w(28). Let p = m - 49. Does 15 divide p?
False
Let d be ((-216)/16)/9*-24. Suppose z - 101 = -c, -z = -35 + d. Is c a multiple of 17?
True
Let c be 1*(3 + -6) + 4. Let q be -2 - (-7 + (c - -2)). Suppose 3*b + 2*b + 64 = q*t, 0 = b + 4. Is t a multiple of 11?
True
Suppose -248*y + 262*y = 5964. Is 6 a factor of y?
True
Let j(l) = 59*l**2 - 14*l + 32. Is 30 a factor of j(2)?
True
Let a be ((-9)/27)/((-1)/447). Let r(d) = d**3 + 15*d**2 - 20*d + 33. Let h be r(-16). Let g = a - h. Is g a multiple of 9?
False
Let p = -14500 - -17698. Is 10 a factor of p?
False
Let n(i) = 84*i + 6. Let g be n(-1). Suppose -3*q - 5*f = 2*q + 260, 305 = -5*q + 4*f. Let x = q - g. Is x a multiple of 16?
False
Let y be 1*(-6)/((-6)/1019). Suppose -2*w = -3*n + 978, -4*w + 5*n - 939 = y. Is 3 a factor of 6/(-9) - w/9?
True
Is 32/(-48) + (-38224)/(-6) a multiple of 65?
True
Let j = 43228 - 22955. Is j a multiple of 34?
False
Let t(d) = 7*d**2 - 11*d + 4. Let u(v) = -v**2 + 20*v - 92. Let s be u(12). Is t(s) a multiple of 12?
True
Let c(q) = 857*q**2 - 12*q + 16. Is 23 a factor of c(2)?
False
Let t(i) = -68*i**3 - 2*i**2 + i + 4. Is 4 a factor of t(-1)?
False
Let o(p) = -13*p**2 + 25*p**2 - 10*p**2 + 29 + 11*p - 13*p**2 - 2*p**3. Let m be o(-9). Suppose m = -15*d + 3587. Is 20 a factor of d?
False
Is 33 a factor of (14/21)/(26/236925)?
False
Let n(g) be the second derivative of -g**5/20 + 4*g**4/3 - 9*g**3/2 + 5*g**2 - 96*g. Is n(10) a multiple of 24?
False
Let i(d) = 1795*d - 6302. Is 76 a factor of i(17)?
False
Suppose 70 = -8*y + 14. Let f(j) = -j**3 - 6*j**2 + 5*j - 17. Let t be f(y). Is 40 a factor of 121 + (5 + -9 - t)?
True
Let y = -247 - -4900. Is 33 a factor of y?
True
Let f be -25 - -32 - (-2 + 4). Suppose -2*v - 5*y + 356 + 429 = 0, -f*v + 5*y + 1980 = 0. Is v a multiple of 79?
True
Suppose 9*n = -2*k + 13*n + 1852, -1877 = -2*k - n. Suppose -4*p + 1560 = 5*c, -24*c = -21*c + 3*p - k. Is 14 a factor of c?
False
Let j be -2*(54/16)/((-48)/448). Let l = -118 - -210. Let v = l - j. Is v a multiple of 29?
True
Let l = -140 - -201. Let r = -46 + l. Let f(t) = -t**3 + 14*t**2 + 21*t - 12. Is 6 a factor of f(r)?
True
Suppose 23*j - 156 = 19*j. Does 18 divide -5 - (-201)/j - (-9822)/39?
True
Suppose 0 = w + 8*d - 832 - 173, 0 = 4*d - 28. Is w a multiple of 73?
True
Suppose -13*s = 4*s - 1445. Suppose 0 = -86*x + 81*x + s. Let a(y) = -y**2 + 20*y - 5. Is 4 a factor of a(x)?
False
Let q(p) be the first derivative of p**4/4 + 25*p**3/3 + p**2/2 - 24*p - 173. Does 8 divide q(-24)?
True
Suppose k + 26 = 50. Let t(a) = -2*a**3 - 3*a**2 + 4*a + 1. Let w be t(-3). Let d = w + k. Does 10 divide d?
True
Let n = -671 - -1325. Let k be (-10)/(-10) + (-1 - -353). Let u = n - k. Is 16 a factor of u?
False
Suppose -u + 4 = 0, -1501*u = -2*m - 1496*u + 6272. Does 121 divide m?
True
Let g be 26/143 + (-90)/11. Let b(a) = -28*a - 24. Is b(g) a multiple of 25?
True
Let k = -207823 + 101131. Is ((-2)/8)/(51/k) a multiple of 6?
False
Suppose 0 = -226*b + 456*b - 232*b + 11808. Does 41 divide b?
True
Suppose 0 = 872*h - 887*h + 97890. Is h a multiple of 13?
True
Let x(k) = k**3 - k**2 - 2*k + 1. Let t be x(-1). Let z(l) = 532*l**2 - 2*l + 1. Does 59 divide z(t)?
True
Let t = 24943 + 3307. Is 250 a factor of t?
True
Suppose -3*z - 2494 = -2*h, -131*h + 133*h + 3*z - 2470 = 0. Is 15 a factor of h?
False
Suppose 76*t + 65617 = 81*t + 4*v, -3*v = 21. Does 112 divide t?
False
Let y = 1 + -1. Suppose 2*x - 10 = 0, 0 = 4*b - 5*x - 51 + 64. Suppose 2*v - 2*z - 14 = 0, b*v - 5 + y = -5*z. Is v a multiple of 5?
True
Suppose 78*v - 362500 = -38*v. Is 13 a factor of v?
False
Let p = 241 + -237. Suppose -p*r = -5*t - 893, -t - 1111 = -3*r - 2*r. Does 37 divide r?
True
Suppose x - 23 = -3*a, -3*a + a + 30 = -3*x. Suppose -q = -a*q + 5416. Is q a multiple of 57?
False
Let o(m) = 3247*m + 2201. Is o(3) a multiple of 7?
True
Let k(b) = 74*b - 319. Is 3 a factor of k(47)?
True
Let k = 81251 + -54583. Is 151 a factor of k?
False
Let m(f) = 10*f**2 - 47*f - 153. Does 158 divide m(22)?
False
Suppose -116*h + 147*h - 56296 = 0. Is h a multiple of 42?
False
Suppose -203*c + 212568 + 387974 = -1143431. Is 98 a factor of c?
False
Let z(q) = 2*q**3 + 12*q**2 + 20*q - 41. Let l(j) = j**3 + 12*j**2 + 22*j - 42. Let f(w) = 3*l(w) - 4*z(w). Does 14 divide f(-6)?
True
Let s(o) = o**3 - 4*o**2 - 10*o + 15. Let l be s(5). Let j = l - -58. Does 33 divide j?
False
Does 46 divide 4/(-68) + 398925/51?
False
Let n(z) = z**3 - 8*z**2 + 7*z - 77. Let h be n(7). Does 21 divide (10 - 17006/h) + 1/7?
True
Suppose -217*m + 9590 = -215*m - 14258. Is m a multiple of 38?
False
Suppose -4*b = -4*a, -4*a - 3*b = -8 - 27. Suppose 4*n - a*v + 0*v = -52, -3*n - 5*v = 39. Is 17 a factor of (2 - 1)*(-702)/n - 3?
True
Suppose -331*h + 159*h = -165*h - 5054. Is h a multiple of 9?
False
Is 35 a factor of 7148/3*171/76?
False
Suppose -3*n = -0*n - 9. Suppose -814 = -2*u + m, n*u - m - 406 = 2*u. Is 51 a factor of u?
True
Let d be (15/(-6))/((-5)/10). Suppose 958 = d*p + 4*x, -x + 471 = 3*p - 108. Does 6 divide p?
False
Is 21 a factor of (242/4)/1 + (-1000)/(-400)?
True
Suppose 0 = x - 2*x + 73. Suppose 7 + x = -8*g. Let c = 64 + g. Does 27 divide c?
True
Let a be 995/6 + 2/12. Let f be (-306)/84*-10 + (-3)/7. Let v = a - f. Is 13 a factor of v?
True
Suppose 22*y - 51046 = -6430. Suppose -4*m + 2*v + 2*v + y = 0, 0 = -2*m - v + 1005. Does 18 divide m?
True
Is (13/(364/48))/(27/35028) a multiple of 16?
True
Let y(i) = -19*i + 779. Does 26 divide y(-37)?
True
Let p(a) = 7*a**3 + 4*a**2 - a + 6. Suppose 74 = -2*s - 4*r, 5*s - 2*r + 211 = r. Let n = s - -44. Is p(n) a multiple of 18?
False
Suppose -7*q = 7*q - 378. Let x = 52 + q. Is x a multiple of 13?
False
Suppose 2*c = -0*c - 2*d - 478, 3*c + d = -709. Let r = c + 564. Is 23 a factor of r?
False
Suppose -17*d = -22*d - 7*b + 49843, -49795 = -5*d + 5*b. Is 9 a factor of d?
True
Let w be 51524/(-77) + 3 - (-2)/14. Is 24 a factor of -5 - (w/12 - (-2)/(-4))?
False
Suppose 2756 = 5*j - w, -2*w = 3*j - 6*w - 1640. Let q = 679 - 319. Let y = j - q. Is 48 a factor of y?
True
Suppose -44*w = -62548 - 1560. Is w a multiple of 8?
False
Suppose 0 = -416*i + 418*i + 2*r - 31004, 3*i - 4*r - 46499 = 0. Is i a multiple of 28?
False
Let g be (-86 + 90)/((-3)/((-1851)/2)). Let v = -222 + g. Is 26 a factor of v?
False
Let z(p) = 34*p**2 + 34*p + 540. Is 49 a factor of z(-10)?
False
Suppose 4*x = u + 109, -6*x + 2*u + 62 = -4*x. Let b = x + 56. Does 6 divide b?
False
Suppose 9*b - 3982 = -13*b. Let a = b + -18. Is a a multiple of 13?
False
Suppose 3*u = -5*m + 23 + 28, -2*u + 5*m + 34 = 0. Let s = -14 + u. Suppose s*g = -v + 157, -8*v + 3*g = -4*v - 613. Does 40 divide v?
False
Let z = -1795 + -537. Does 12 divide z/(-52) + 3 + (-26)/(-169)?
True
Suppose 11*v - 56 = 54. Does 56 divide 373/v*6 - (-3)/15?
True
Let v(u) = 7*u - u**3 - 1 + 3 + 6*u - 11*u**2 + 14. Let h be v(-12). Is 6 a factor of h/(-14) + (1156/(-7))/(-4)?
False
Let n(l) = 8 + 10 + 4 + 3*l**2 + 3*l - 7. Let k be (-90)/12*3/9*2. Is 5 a factor of n(k)?
True
Let y(v) = -5*v**3 - 70*v**2 + 40*v + 83. Does 40 divide y(-21)?
False
Suppose 7*q - 78 = 5*q. Let g = 45 - q. Suppose -g*d + 585 = -87. Does 16 divide d?
True
Let h(l) = 34*l**2 - 13*l + 42. Let m be h(10). Suppose -m = -14*x - 526. Does 21 divide x?
False
Let x = 38 + -178. Let h = x + 230. Is h a multiple of 18?
True
Suppose -s = 4*x + 1256, -628 = 2*x - 2*s + 6*s. Let q = -161 - x. Is q a multiple of 22?
False
Let u = -1572 + 1612. Let l be (-102)/4*4/3. Let p = u + l. Is p even?
True
Is 21 a factor of ((12155 + 4)/(-3))/((-32)/160)?
True
Suppose -406 = -4*p + 2*u + 46, 5*u + 95 = p. Suppose -3*m - p = -t, m = t - 0*m - 113. Is t a multiple of 16?
True
Suppose -74 - 70 = -8*v. Let p = 27 - 13. Suppose -p*q + v*q = 280. Is 35 a factor of q?
True
Let c(s) = s**3 + s**2. Let j be c(4). Let q = j - 24. Does 28 divide q?
True
Let r(i) = -i**3 + 17*i**2 + 20*i - 24. Let u(v) = 3*v**3 - 8*v**2 + 4*v - 3. Let y be u(3). Let f be r(y). Let z = 8 + f. Is z a multiple of 10?
True
Suppose -3 = -2*o + 3. Suppose -18*s - 3 = -17*s. Does 5 divide s 