2*l. Is l a multiple of 57?
False
Let u be 96*3/(7 - -2). Does 14 divide ((-14)/8)/(u/(-768))?
True
Let h(b) = 737*b**2 - 7*b + 6. Let q(d) = d**2 - 2*d - 2. Let p be q(3). Does 16 divide h(p)?
True
Suppose -3*x = x. Let g(v) be the first derivative of v**4/4 - v**3/3 + v**2 + 64*v + 5. Does 16 divide g(x)?
True
Suppose k - 23566 = -2*r, -4*k - 87*r + 86*r = -94271. Is 16 a factor of k?
True
Let h(w) = 2*w**2 - 7*w + 45. Let b be h(7). Suppose 2*f + b + 42 = 0. Let y = 36 - f. Does 13 divide y?
True
Let q = 1799 - -7869. Does 13 divide q?
False
Let t(x) = -9*x - 204. Let b be t(21). Does 14 divide b/1*(6/6 - 2)?
False
Suppose -r + m + 10515 - 744 = 0, -39087 = -4*r + 5*m. Is 2 a factor of r?
True
Let n(z) = -z**3 + 9*z**2 - 6*z - 2. Let f = 29 - 22. Let h be (25/(-7) - -4) + 32/f. Is n(h) a multiple of 4?
True
Let o(t) = 895*t + 8467. Is o(11) a multiple of 12?
True
Let s(r) = 13*r + 13 + 7 + 16 - 5. Let c be s(4). Let j = -52 + c. Does 8 divide j?
False
Suppose -4*s - 5*o = -6, 0*o + 5*o + 30 = 5*s. Suppose -3*p + 3*v = 2*p - 535, s*v = -3*p + 350. Let a = -68 + p. Does 7 divide a?
True
Let o(a) = 10*a**3 + 2*a**2 - a. Let x be o(1). Suppose x*h = 1046 + 2914. Is h a multiple of 24?
True
Suppose 270 = -8*z + 3*z. Let b = z - -66. Let a = b + 2. Does 12 divide a?
False
Let w = 3764 + -2014. Is w a multiple of 14?
True
Let o(p) = p**2 + 7*p - 45. Let z be o(-11). Let w(i) be the first derivative of 4*i**3 - i**2/2 - i - 14. Is 7 a factor of w(z)?
False
Is 15 a factor of (36/(-2))/(-17 + 27850/1640)?
False
Suppose 6*h - 1230 = 924. Suppose i = 2*p - 287, -60 = 2*p - 5*i - h. Is p a multiple of 4?
False
Let z = 3801 + -2996. Is 23 a factor of z?
True
Let d be ((-4)/10)/((-63)/(-45))*-7. Suppose d*m - 135 + 3 = 0. Is m a multiple of 66?
True
Let w(i) = -i**3 + 4*i**2 + 3*i - 14. Let n be w(3). Is 75/(n + 69/(-18)) a multiple of 17?
False
Suppose 3*g + 0*g = 4*i - 572, 5*g = -i - 915. Let y be (-255)/6 + 3/2. Let l = y - g. Does 31 divide l?
False
Let p = -1603 + 632. Let t = 1389 + p. Is t a multiple of 73?
False
Let s(r) = -r**3 + 7*r**2 - 4*r - 2. Let a be s(6). Let t be a + (-1 - 3) + -2. Suppose 0 = 3*k - 2*p + 89 - 583, -2*k = -t*p - 316. Is k a multiple of 14?
True
Suppose h = -4*h + 10. Suppose -2*p = 3*s - h*s - 277, -3*p - 4*s = -428. Let d = -57 + p. Does 14 divide d?
False
Let p be (-5 + (-26)/(-4))*20/15. Suppose -o + p*o = -u + 532, 5*u = -o + 532. Does 19 divide o?
True
Let y = -95 + 100. Suppose 0 = 2*q - 5*t + 125, -2*t = -5*q + 59 - 382. Let f = y - q. Is f a multiple of 7?
True
Let r = -1242 - -1956. Is 11 a factor of r?
False
Let w(c) = -c + 1. Let n(o) = -9*o - 94. Let d(r) = n(r) - 3*w(r). Is 16 a factor of d(-20)?
False
Suppose 552957 + 205443 = 128*l. Is 15 a factor of l?
True
Suppose 300*h + 57550 = 143*h + 182*h. Is 59 a factor of h?
False
Suppose 23*a + 236266 = 57*a. Is a a multiple of 33?
False
Let o(f) = 224*f - 28. Let r be o(3). Let w = 849 + 447. Suppose -4*c + 2*p + w = -0*p, 2*c = 3*p + r. Is c a multiple of 43?
False
Suppose 725 = -5*r - 3*w, -2*r - 400 = -w - 121. Let u = 450 + r. Let c = -120 + u. Is 25 a factor of c?
False
Suppose -5*v + q + 113573 = 0, 700*q = -2*v + 703*q + 45437. Is 277 a factor of v?
True
Let i(c) = -c**3 + 2*c**2 + 11*c - 15. Let s be i(3). Suppose -766 = 4*u - s*u - 2*k, -u = 4*k - 164. Does 4 divide u?
True
Suppose -7*b = -13*b - 6738. Let j = b + 1994. Does 92 divide j?
False
Is 16 a factor of 162*((85/(-25) - -4) + (-1601)/(-15))?
False
Let c(n) be the second derivative of 37*n**3/2 + 75*n**2/2 + n - 96. Is 21 a factor of c(3)?
False
Let t(x) = 89*x - 118. Let b be t(12). Suppose 6*g - 1570 = b. Does 29 divide g?
False
Let d be 960/42 - (-1)/7. Suppose 8450 = d*x - 2429. Is x a multiple of 43?
True
Let f = -24 - -29. Suppose 0 = -f*b + 2 - 17. Does 24 divide b/2 - (-1 + (-131)/2)?
False
Suppose 3*w = -4*h + 16, 16*h - 19*h + 3*w - 9 = 0. Let l(o) = 543*o**2 - 5*o + 4. Does 60 divide l(h)?
False
Let n = -191 + 401. Suppose n = -13*w + 1133. Is 16 a factor of w?
False
Suppose -4*p = -0*p - 52. Let u(x) = -6*x + 2*x**2 - 26 + 7 + x**2 - 2*x**2. Is u(p) a multiple of 36?
True
Is 92 a factor of (-92)/(-3)*264*(-27)/(-18)?
True
Let n = 10194 - 6806. Does 14 divide n?
True
Let i = -36615 - -98445. Is 117 a factor of i?
False
Suppose 3*d = 7 - 1. Let y(n) = 5*n + d + 6 - 3 - 2. Is y(4) a multiple of 23?
True
Let y = -77 + 80. Suppose -y*o - 2 - 1 = 5*x, 0 = -x. Does 36 divide o/((-2 - 2)/(-4)) - -217?
True
Does 8 divide (-484370)/(-150) - 14/105?
False
Let g be 0*(8/(-4) + 3). Suppose 3*n - 245 - 304 = g. Does 9 divide n?
False
Let l be (-89 + 1 - -1) + -4. Let g = l - -93. Is 24 a factor of (-1)/(4/(-2896)*2*g)?
False
Suppose 14 = x - 0*x + 3*d, -3*x - 2 = -2*d. Let w(p) = 34 - p**2 - 2*p**2 - 21*p + 4*p**x. Does 21 divide w(22)?
False
Suppose -17*q = -12*q - 25, 0 = -5*h - 4*q + 885. Suppose 0 = 170*b - h*b + 660. Does 11 divide b?
True
Let l be (1/2)/(14/2492). Let g = l + -34. Suppose -2*w - 7 - 3 = 0, -w + g = 3*m. Is 5 a factor of m?
True
Let c(a) = -15*a - 202. Let x be c(-14). Suppose x*k - 3656 - 552 = 0. Is 60 a factor of k?
False
Let m(g) = -g**3 - 5*g**2 + 8*g + 8. Suppose -6*t = -2*u - 7*t - 22, t = 5*u + 41. Is 32 a factor of m(u)?
False
Let b be 5/(-15) - (-40)/(-24). Is (24/84)/(b + 1654/826) a multiple of 5?
False
Let y(o) = -o + 16. Let b be y(-8). Let g(t) = -6*t + b*t**3 + t**2 - 39*t**3 - 13 + 16*t**3. Does 16 divide g(6)?
False
Suppose -5*k - 3*p = 74, 36 = -2*k - 0*k + 2*p. Let n = 0 - k. Let j = n + 16. Is 15 a factor of j?
False
Let n be (-1 + (-19)/4)/((-17)/136). Let u = -34 + n. Suppose -u*y + 266 - 26 = 0. Does 10 divide y?
True
Suppose -470 = -5*v + 2*m, 102 = v + 9*m - 11*m. Let g = 224 - v. Is g a multiple of 44?
True
Let d(k) = -k**2 + 5*k + 32. Let u be d(8). Suppose 786 = -7*h + u*h - 4*t, 4*t - 3906 = -5*h. Is h a multiple of 46?
True
Let q = 25106 - 17454. Is q a multiple of 93?
False
Let n be (3635/3)/5 + (-4)/3. Let a = n + -193. Is 3 a factor of a?
True
Let j = 71 - 85. Let r(t) = -2*t + 44. Is r(j) a multiple of 3?
True
Let m(f) be the second derivative of 2*f**4/3 - 5*f**3/6 - 49*f**2 - 7*f. Is m(-6) a multiple of 17?
False
Let d = -80 - -84. Let m be 1/d + 29028/48. Suppose -3*a + 3*l + 54 = -333, -5*a - 3*l + m = 0. Is 11 a factor of a?
False
Suppose n + 50 - 519 = -3*f, 0 = -3*n + 4*f + 1407. Let q = -215 + n. Let a = -171 + q. Is 3 a factor of a?
False
Let q(u) = -67*u - 422. Is 86 a factor of q(-34)?
False
Let o(m) = -121*m + 142. Let n be o(7). Let a = n - -767. Is 6 a factor of a?
False
Let p = -14343 + 16944. Does 16 divide p?
False
Suppose 0*p - 5*p + 290 = 0. Let l = -53 + p. Suppose -l*d = -2*m - 447, 0 = m - 1 - 3. Is d a multiple of 11?
False
Let l be 3/(-5)*(-4 + -1). Let d(o) = 4 + 5*o - o + 6*o - l. Is 7 a factor of d(1)?
False
Let u be (3 - (3 + -3)) + 1. Suppose 44*s - 39*s = -5. Is 2 a factor of -1 + 20 + (u - (3 + s))?
False
Let v be -5*(-10)/((-350)/(-49)). Is 16 a factor of ((-4 + -63)*v + -3)*-2?
True
Let h be 1*6 + (-18 - -16) - -483. Let g = h - -933. Is g a multiple of 11?
False
Let n(r) = r**2 + 98*r + 2999. Is 10 a factor of n(-35)?
False
Let z = -25 + 25. Suppose -5*u + 20 + 40 = z. Is 30 a factor of (-9)/(u/(-4)) - -27?
True
Let p(w) = 94*w**2 - 590*w + 5833. Is p(10) a multiple of 68?
False
Suppose -6*u + 4*u - 2*j = -22, -2*j = 3*u - 34. Let d be 67/4 + (-9)/u. Suppose 0 = -o + d + 89. Does 17 divide o?
False
Let w = -18 - -19. Does 7 divide (w - -33) + (-9)/(-2 + -7)?
True
Let r(i) = 54*i**2 - 14*i - 98. Is r(-11) a multiple of 10?
True
Suppose -4*w = 20, 0 = 2*u - 5*w + 4*w - 29. Suppose -u*p = -6*p - 420. Is p a multiple of 14?
True
Is 19 a factor of (138/(-72))/(-23) - 698*(-1074)/144?
True
Suppose 5*d + 4*u = 2*d - 1081, 2*d + 4*u = -722. Let w = 619 + d. Does 13 divide w?
True
Suppose -3*q + 9786 = -416*u + 419*u, q - 3256 = 2*u. Does 46 divide q?
False
Let v(i) = -338*i + 216. Is v(-8) a multiple of 14?
False
Let j = 168 - 42. Let m = 198 - j. Is m a multiple of 24?
True
Let p = -25568 + 44018. Is 50 a factor of p?
True
Let z(w) = 1082*w**2 + 156*w - 593. Does 17 divide z(4)?
False
Let l be 2 - -1 - (28 + -28). Suppose 0*x + 3*o = -x + 94, x - 76 = l*o. Does 15 divide x?
False
Let p(f) = 4*f**2 - 18 + 2*f**2