. Is c(l) a multiple of 44?
True
Let m be -1*2*-2*2300/40. Suppose -7*z + 1233 = -m. Is z a multiple of 19?
True
Let p(l) = l**3 + 7*l**2 - 101*l - 86. Is 2 a factor of p(17)?
False
Let c = 8885 + -5175. Is c a multiple of 85?
False
Does 7 divide (-61012)/(-12) - 14/42?
False
Let c(m) = 4*m - 3. Let z(l) = 12*l - 9. Let q(o) = -8*c(o) + 3*z(o). Let j be q(4). Suppose -11*s - 242 = -j*s. Does 43 divide s?
False
Suppose 0 = -31*r + 28*r - 3, 292 = 4*n - 4*r. Suppose 3*k = -3*q + 21, -q + 3*q = -4*k + 18. Suppose 24 + n = k*s. Does 10 divide s?
False
Suppose -228*p = -94*p - 115*p - 29773. Is p a multiple of 8?
False
Suppose 3*u + 5*v = 166, -2*v - 459 + 141 = -5*u. Let b be -3 + (-29*4/2)/2. Let h = u + b. Is h a multiple of 4?
False
Let v be 8976/(-99) - (-2)/(-6). Is 29 a factor of v/52*(-1 - 23)?
False
Let u(g) = 2*g**3 - 3*g**2 + 5*g - 2. Let p be u(6). Suppose -p = 11*r - 3*r. Let o = -6 - r. Does 34 divide o?
False
Suppose -4*j - 14308 = -5*p, -4*p = 11*j - 8*j - 11434. Suppose -22*m + 33*m - p = 0. Does 10 divide m?
True
Let c(o) = o**3 + 8*o**2 - 11*o - 18. Let b be c(-9). Suppose b*h + 53 = 2*h - j, 0 = -h + j + 24. Does 15 divide h + 4/(-4) - (-2 - -4)?
False
Let w be -3 - 2*(-1)/1. Let v be (-3)/w - 0/(-4). Suppose -v*h + m + 62 = 0, -4*h + 38 + 51 = 5*m. Does 21 divide h?
True
Suppose 2*r + 15 = 13. Let q be -4 + 0 + r - -5. Suppose q*u - 2*u + 74 = -a, 2*a + 31 = u. Is 14 a factor of u?
False
Let k(l) be the second derivative of -l**5/10 - l**4/6 + l**3/2 + l**2 - l. Let p be k(-2). Suppose -2*q = p*q - 888. Does 25 divide q?
False
Let h = 201 + -8. Let x = -113 + h. Is 16 a factor of x?
True
Suppose -i + 2*g + 6656 = 0, 5*i + 147*g - 146*g - 33302 = 0. Is i a multiple of 15?
True
Let u = -606 - -386. Suppose -25*c = -5001 - 3824. Let v = u + c. Does 19 divide v?
True
Let x(c) = 58*c**2 - 118*c - 36. Is x(-11) a multiple of 72?
True
Suppose 20*h - 176313 = 64640 + 225147. Is 40 a factor of h?
False
Let x(z) = -14*z - 96. Let b be x(-7). Suppose -5*s + 2725 = 4*q, b*q - 5 = q. Is s a multiple of 15?
False
Suppose 5*c = 4*r - 4635, -r - 42*c + 1158 = -44*c. Is 20 a factor of r?
True
Let u be (5 - 9) + 8 + -16. Let k(g) = -27*g + 76. Does 40 divide k(u)?
True
Let c = -11723 - -15323. Is 24 a factor of c?
True
Let w(d) = -541*d + 3127. Does 17 divide w(-11)?
True
Suppose -362*q + 177*q + 3677245 = 0. Is 139 a factor of q?
True
Let y(l) = 7*l**3 - 25*l**2 + 20*l - 364. Does 91 divide y(12)?
True
Suppose -7*t - 104 + 111 = 0. Suppose 7 = -5*g + 2*y - 45, 3*g + 32 = y. Does 3 divide (6/(-2))/(t/g)?
True
Let p(w) be the second derivative of 3*w**3/2 - 23*w**2/2 - 11*w. Let a be p(9). Suppose -a = -8*c + 54. Does 6 divide c?
False
Let x(h) = -8*h - 10. Let i be x(-3). Let g(j) = j + 23. Let q(d) = -4*d - 114. Let y(o) = i*g(o) + 3*q(o). Is 18 a factor of y(20)?
False
Suppose 0 = 35*c - 39*c - z + 13590, 3*z + 10200 = 3*c. Is c a multiple of 98?
False
Let c = 25089 - 14417. Does 58 divide c?
True
Let w be (-7015)/92 - 2/(-8). Let i = 8 + 12. Is 8 a factor of 1/1 - (w - i)?
False
Let n = -174 - -194. Is 18/(((-3)/14)/((-30)/n)) a multiple of 8?
False
Suppose -2*b - 7 = -3. Let v be 19*(b + 9 + -3). Suppose -w = 2 - v. Is 19 a factor of w?
False
Suppose -4*v - 40 + 64 = 0. Let d = v - 3. Suppose -3*x + 9*p - 4*p + 650 = 0, 432 = 2*x - d*p. Does 14 divide x?
True
Does 3 divide 435/11310 - (-14558)/52?
False
Let a(d) = 36*d**2 - 41*d + 579. Is 9 a factor of a(15)?
True
Suppose 5*h + 10 = 0, -3*l - 4*h + 43939 + 32001 = 0. Does 30 divide l?
False
Let n be ((-2)/(-4))/(13/(-182)). Let z = n - -12. Suppose 3*s = -5*q + 40, z*s - 7 = 18. Is q even?
False
Let a be (15/(-3))/(-2 - -1). Suppose 0 = a*i - 3*r - 5, 5*i - r = 15. Suppose 90 = -p + i*p. Is 5 a factor of p?
True
Let v be 6/(-8) - (-8)/(-128)*-92. Suppose 5*d - v*u = 2925, -1761 = -3*d + u - 4*u. Is d a multiple of 22?
False
Suppose -5014 = -48*l + 3002. Suppose 0 = 4*u + 4 - 12. Suppose 0 = u*r - l + 5. Is r a multiple of 26?
False
Let f be (2 + -1)/(-7 - 72/(-10)). Is 2 a factor of -7 + f/(-15)*-237?
True
Let b be ((-24)/96)/(3 - (-1610)/(-536)). Suppose b = -7*c + 1131. Is c a multiple of 8?
True
Suppose -18*h = -h + 17. Does 28 divide -6*(((-244)/(-8))/h - -2)?
False
Suppose -12 = -2*f - 4*f. Let h be 3*9/(27/f). Suppose h*a - 19 = -3. Is 8 a factor of a?
True
Suppose 712*w = 573*w + 2211073. Is 22 a factor of w?
False
Suppose 342*w = 340*w + 142. Suppose -47*b + w*b = 18312. Is 9 a factor of b?
False
Let z be ((-5105)/(-10) + -5)/((-3)/(-4)). Suppose y - 330 = 2*s, 2*y + 2*s - 16 = z. Is 20 a factor of y?
True
Suppose -29775 = 52*v - 71895. Does 15 divide v?
True
Suppose 2*p = -2*i + 7984, -476*i - 4*p = -474*i - 7978. Is i a multiple of 17?
True
Let c(d) = -31*d - 45. Let h be c(-10). Let m = h - 29. Suppose 7*z - 177 = m. Is z a multiple of 31?
False
Suppose 9512*b - 9501*b - 153450 = 0. Is b a multiple of 30?
True
Let r = 134 - 144. Is (-799)/(-5) - 2/r a multiple of 40?
True
Suppose -3*s - 48 = 3*f, -s = s + 3*f + 34. Let g(v) = 2*v**2 + 10*v + 55. Is 29 a factor of g(s)?
False
Let v(d) be the third derivative of -3*d**4/8 - 76*d**3/3 - d**2 + 76. Does 3 divide v(-24)?
False
Let g = -36 - -86. Suppose g*v - 955 = 45*v. Does 10 divide v?
False
Suppose 2*f - 45 = -27. Suppose 4*h - 72 = -f*v + 4*v, -v = -5*h + 119. Is 5 a factor of h?
False
Let u(g) = g**2 - 7*g - 3. Let q be u(8). Suppose -3*s = 2 + 4. Is 13 a factor of q/s*416/(-40)?
True
Let o = -40 - -43. Let u(k) = 10*k + 5 - o*k + 22*k. Is u(4) a multiple of 11?
True
Suppose 3*g + 39 = 3*k, 4*k = 2*k - 4*g + 20. Let m be (0 - 311/(-2)) + 18/k. Let x = m - 122. Does 13 divide x?
False
Let n be 4 - (21/7 + -41381). Suppose -14*z + 71*z = n. Does 33 divide z?
True
Let j(u) = 5*u + 39. Let y(g) = 2. Let v(p) = -j(p) - 3*y(p). Is v(-13) even?
True
Let b(h) = 449*h**2 + 198*h - 1137. Is b(6) a multiple of 141?
True
Suppose -9*c - 180 = c. Let j be (2/(-6))/(3/c). Suppose -1408 = -j*x - 14*x. Is 8 a factor of x?
True
Suppose 0 = 5*g - 4*v - 31276, 18767 = 3*g - 6*v + 5*v. Suppose 16*x + 18*x = g. Is 23 a factor of x?
True
Suppose -27*s + 11127 = 2163. Suppose 0 = 2*u + 4*c - 34, -3*c - 46 = -u - 4*u. Suppose 4*q - 604 = u*z - 6*z, -2*q - 5*z = -s. Does 13 divide q?
True
Suppose 1306 - 112 = -6*l. Let y = l - -479. Suppose 4*g - 4*w - y = 0, 0*w = 4*g - 5*w - 284. Is 23 a factor of g?
False
Let r(i) = -i**3 - 10*i**2 + i + 2. Let h be r(-10). Let w = -302 - -303. Is 5 a factor of w/h + (-2247)/(-56)?
True
Suppose 99*l = 102*l + 2*t - 109576, -73032 = -2*l - 4*t. Is 153 a factor of l?
False
Let g(m) = 11*m**2 + 16*m + 122. Is 11 a factor of g(-11)?
False
Let u(r) = r**3 - 10*r**2 - 3. Let j be u(10). Let b(o) = o**3 + o**2 - 3*o - 1. Let t be b(j). Let a = 16 + t. Does 3 divide a?
True
Let f(k) = -k**2 - 10*k + 2. Let m be f(-11). Let q be (m/4)/((-21)/56). Suppose q*b - 5*b - 131 = -l, 5*b = l + 649. Does 13 divide b?
True
Let w(n) = -2*n**2 - 12*n - 11. Let c be w(-4). Let o be (-572)/(-5) + (-2)/c. Let a = o - 64. Is a a multiple of 10?
True
Does 47 divide (-157062)/(-8) - (-1243)/(-452)?
False
Let i = 1469 - 317. Suppose 41*u - 4*z = 39*u + i, -5*u + 3*z = -2915. Is u a multiple of 10?
False
Suppose -20*u = 5*w - 24*u - 80, 0 = -w + u + 16. Suppose 5*t + 3058 = w*t. Is t a multiple of 10?
False
Suppose -1823 + 609 = -v. Is 29 a factor of v?
False
Let g be (6 - (-2)/(-2)) + (-198 - 4). Let x = g - -218. Is 7 a factor of x?
True
Does 56 divide ((-243)/6)/(-4 + 1007/252)?
False
Does 40 divide (-6 - (-27 + 11) - 5) + 13035?
True
Suppose -8*n + 11*n - 102 = 0. Let p = n + -34. Suppose 76*j - 75*j - 18 = p. Is j a multiple of 11?
False
Let v(w) be the second derivative of w**3/6 - 5*w**2/2 - 25*w. Let q be v(9). Suppose 0*n - 3*n + 2*k + 165 = 0, 4*k + 220 = q*n. Does 11 divide n?
True
Let a(z) = -9*z + 64. Let s be a(-25). Let x = s - 57. Is 29 a factor of x?
True
Let t(s) = -5*s**3 + 6*s**2 + 2*s + 1760. Is 16 a factor of t(0)?
True
Let f(m) = -2*m**3 + m**2 - 20*m - 21. Let i be f(-1). Suppose -850 = -2*j - 5*r, i*j - 858 = -7*r + 6*r. Does 10 divide j?
True
Suppose 5*j + 2*l = 118646, -21352 = -j - 5*l + 2391. Is 113 a factor of j?
False
Let d be 111*3 - (-27 - -21). Is 16 a factor of (0 - d)*47/(-141)?
False
Suppose -3*l - 13620 +