divide l(w)?
True
Let j(a) = -3*a**3 + 9*a**2 + 9*a - 3. Let b be j(4). Let l(t) = t**3 + 18*t**2 + 26*t + 3. Does 9 divide l(b)?
True
Suppose 4*t + 0 - 32 = 0. Let h be (-6)/t - ((-92)/16 + -3). Suppose 4*c - h*c + 189 = 5*p, -3*p = 9. Does 5 divide c?
False
Let y(q) = -q**2 + 13*q + 20. Let c be y(14). Let p(h) = 46*h - 11. Does 9 divide p(c)?
False
Let c = 775 + -685. Is c a multiple of 9?
True
Suppose -15*b - 97 + 7 = 0. Is 6 a factor of ((-4 + 10)/b)/(2/(-114))?
False
Is (-950862)/(-154) + 5/((-70)/6) a multiple of 98?
True
Let d = 37 - 39. Let a be d + (-50)/((-6)/3). Suppose 4*v + 12 = 0, -v - a = -4*m + 2*m. Is m a multiple of 10?
True
Let a = -47 + 49. Suppose -a*o - 7*q - 74 = -3*q, 2*o + 5*q + 75 = 0. Let r = 203 + o. Is r a multiple of 46?
False
Suppose -18*m + 7357 = -132233. Is m a multiple of 47?
True
Suppose -4*o - 2 = 7*j - 8*j, 4*j = 2*o + 8. Suppose 3*d - 105 = -j*w, 0 = 3*w - 0*w - d - 185. Is 6 a factor of w?
True
Let a(d) = 8*d**2 + 18*d + 79. Does 18 divide a(12)?
False
Suppose 0 = -3*m + 4*n + 62, -5*n + 49 = -3*m + 5*m. Suppose -11*j - 1496 = -m*j. Is j a multiple of 17?
True
Let q = -4861 - -14948. Is 131 a factor of q?
True
Let y be 1115/75 + -2 + (-64)/(-30). Suppose 2*g = 2*w - 4*w + 2546, -y = 5*g. Is w a multiple of 29?
True
Let u = -27 - -53. Let b be ((162/9)/(-54))/((-2)/36). Suppose z + b*q - 2*q = u, 0 = 2*z + 2*q - 46. Does 22 divide z?
True
Let a be (-28)/(-7) + 42 - (6 - 0). Does 83 divide (8/10 - a/(-75))*249?
True
Suppose 2*u = 5*n + 27, -4*u + 9 = 3*n - 6. Let r = 2036 - 678. Suppose u*q = 196 + r. Is q a multiple of 10?
False
Suppose -37*n = -41*n + 5*j + 2271, 5*n + 2*j - 2880 = 0. Does 142 divide n?
False
Suppose 158*r + 141245 = 211*r. Does 13 divide r?
True
Suppose 85*x = 258603 + 49947. Is 55 a factor of x?
True
Let x(j) = 47 + 22*j**2 + 18*j + 23*j**2 - 42*j**2. Does 5 divide x(-8)?
True
Suppose 10*n + 4*n - 10752 = 7*n. Is n a multiple of 111?
False
Suppose 10*r - 6 = 24. Let p be 1/(r*(-4)/(-36)). Suppose -p*u + 67 = 4*x, 2*x - 3*u = 5 + 6. Is 13 a factor of x?
True
Suppose -3*s = o - 22, -4*o - 3*s - 10 + 62 = 0. Let u(p) = 11*p - 26. Let a(h) = 2*h + 3. Let i(x) = -2*a(x) + u(x). Is 4 a factor of i(o)?
False
Suppose k + 2098 = 4*t, 5*k = 4*t + 6*k - 2102. Suppose 2*r + 4292 = 4*y, 0 = y + 2*r - t - 553. Is y a multiple of 57?
False
Let m(z) be the first derivative of 97*z**2 + 22*z + 30. Let h be m(-5). Is 19 a factor of (-28)/(-70) - h/5?
True
Suppose n = -2*q - 184, 5*n - 13 = -33. Let c be 50/(-6) - (-60)/q. Let s(w) = -16*w - 44. Does 36 divide s(c)?
False
Let r(x) = x**3 + 4*x**2 - 14*x - 9. Let n be r(-6). Suppose 281 - 5 = n*t. Is 8 a factor of t?
False
Let p(l) = 15*l + 1. Let y be p(2). Let u(r) = -4*r**3 - 264*r**2 - r - 61. Let q be u(-66). Suppose -b = -y - q. Is b a multiple of 18?
True
Suppose -2*a = 4*s - 5358, 0 = 4*s - a - 4*a - 5337. Let j = s - 943. Does 69 divide j?
False
Let z(b) = b**2 - 13*b - 39. Suppose 8*f - 39 = 6*f + 3*a, 0 = 2*f + 5*a - 63. Is z(f) a multiple of 9?
True
Let o(y) = -y**3 - 5*y**2 - 34. Let a be o(-6). Suppose -20 = -5*k - 5. Suppose k*d + 20 = b, a*d + 10 = b - 8. Is b a multiple of 2?
True
Let n(k) = -4*k + 100. Let v(r) = -5*r**2 + 11*r - 19. Let p be v(2). Is 4 a factor of n(p)?
True
Let f be (-328)/1 + (5 - 0) + -8. Let p = 814 + f. Is 23 a factor of p?
True
Let v be (-5)/(-2*(33/6)/11). Suppose v*m - 803 = -283. Is m a multiple of 13?
True
Suppose 0 = -5*y + 2*d + 12, 5*y - 2*d - 16 = -d. Let n be y/(-18) + 893/171. Suppose 399 = n*i - 251. Does 17 divide i?
False
Let u be ((-8 - -8)/8)/((-2)/2). Suppose 22*s - 15*s + 3248 = u. Let t = -273 - s. Does 9 divide t?
False
Let i(k) = -3*k**3 - 3*k**2 - 4*k - 6. Let s be i(-5). Suppose 0 = 4*f - 4*c + 916, -80*f + 3*c - 463 = -78*f. Let n = s + f. Does 10 divide n?
True
Let n be (10/15)/(2/57). Suppose -2*f + n = 13. Let i = 3 + f. Is 3 a factor of i?
True
Let l(z) = z + 111. Let o = -577 - -562. Does 7 divide l(o)?
False
Let v(t) = t**2 - 10*t + 1598. Is 4 a factor of v(66)?
False
Is (-156940)/(-6) - 8/(5 - (-66)/(-6)) a multiple of 82?
True
Let t be 2 - 6/(-3) - 4. Is 1 + 139 + (t - 4) a multiple of 8?
True
Let j(m) = -4*m + 8. Let n be j(-7). Suppose 64*w - n = 62*w. Is 359/3 - (-6)/w a multiple of 24?
True
Suppose 29*r + 51*r = -23*r + 163255. Is 76 a factor of r?
False
Let m(v) be the second derivative of 1/6*v**3 + 1/20*v**5 + 26*v + 29/2*v**2 - 3/4*v**4 + 0. Does 5 divide m(10)?
False
Let z(p) = 48*p**3 + 8*p**2 - 8*p + 14. Is z(3) a multiple of 25?
False
Let o be 27/144*4*8. Is -1*6/o*-113 a multiple of 2?
False
Let d(s) = -s**3 - 6*s**2 - 12*s - 50. Suppose 8 = 4*x, 2*x = -f - 3*x - 1. Is 21 a factor of d(f)?
False
Let r(b) = -4*b**2 + 2*b. Suppose 2*y - 29 = -5*k, -2*y + 0*k - 6 = -2*k. Let h be r(y). Let s = h - -53. Is s a multiple of 7?
False
Suppose -5*i + 5*v = 3*v + 1158, 466 = -2*i - 2*v. Let r = i + 472. Is r a multiple of 11?
False
Let y be (-4220)/(-70) - (-2)/(-7). Is 200/(-80)*y/(-1) a multiple of 15?
True
Let n(k) = 19*k - 23. Let o be (1/5)/(8/(-70))*-4. Suppose -31 = -4*x - o. Is n(x) a multiple of 18?
False
Let g = 4713 + -3321. Is 22 a factor of g?
False
Let t = -218 - -174. Is 15 a factor of (1463/t)/(2/(-8))?
False
Let j(i) = -35 + 9 + 1 - 7 - 46*i. Is 12 a factor of j(-2)?
True
Let n be 522/8*144/27. Let q = n + -119. Suppose -6*c = -q - 77. Is 10 a factor of c?
False
Let i(b) = 2*b**2 + 7. Let t be i(0). Let p(d) = -2*d + t - 2 + 1 + 13*d. Does 5 divide p(4)?
True
Let v(p) = -3*p**3 + 2*p**2 - 3*p - 10. Let x be v(-6). Suppose 5*i = 9*i - x. Suppose 17*s - i = 4*s. Is 4 a factor of s?
False
Suppose -1962*a - 142737 = -1969*a + 24493. Is a a multiple of 119?
False
Let y(g) be the second derivative of -g**3 + 0 - 7/12*g**4 - 1/2*g**2 + 14*g - 1/10*g**5. Does 10 divide y(-4)?
False
Let u(k) = -18*k**2 - 18*k - 80. Let h(j) = 2*j**2. Let m(f) = -2*h(f) - u(f). Is 20 a factor of m(-5)?
True
Let g(t) = 4*t - 4*t**2 + 3*t**2 - 3*t. Let x(r) = r**2 - 14*r - 2. Let m(w) = 2*g(w) + x(w). Is m(-5) a multiple of 15?
False
Let b = -39 - -45. Let h be 32/(-2)*(-45)/b. Let f = h - 33. Is f a multiple of 15?
False
Let f be 21/(6/21*2/4). Let n = f - 71. Suppose 77*c - 237 = n*c. Does 26 divide c?
False
Suppose l = -i + 3, 0 = -4*l + 5*i - 2 + 14. Is 15 a factor of ((-4780)/(-10))/(55/15 - l)?
False
Let r(w) = -w**2 - 237*w - 10072. Is r(-60) a multiple of 2?
True
Let y = 31394 - 30986. Does 73 divide y?
False
Does 6 divide -11 + 3 + (-18)/(15869/2268 + -7)?
False
Is ((-332582)/895)/(2/(-50)) a multiple of 12?
False
Suppose 2 = -32*a + 33*a. Suppose 0 = a*w - 0*k - 3*k - 793, 5*k = w - 407. Is w a multiple of 18?
False
Let y(d) = 337*d**2 + 880*d + 6. Is y(-5) a multiple of 52?
False
Let o(b) be the first derivative of -b**2/2 + 15*b - 25. Let j be o(6). Suppose -5*v + 4158 = j*v. Does 29 divide v?
False
Let p = 64288 - 32784. Does 22 divide p?
True
Let o = -154 + 157. Suppose -5*b + 7*z - 11*z = -6909, -4141 = -o*b + 2*z. Is 32 a factor of b?
False
Let j(m) = -113*m - 10. Let p be j(-3). Let r = p - 107. Does 18 divide r?
False
Is 22*(-4 + -4 + -26*(-47)/4) a multiple of 14?
False
Let w(v) = -v**3 - 8*v**2 + 4*v - 55. Let c be w(-9). Is (160/(-6))/c*69 a multiple of 30?
False
Suppose o - m - 641 = 0, 19*o - 3187 = 14*o - 4*m. Does 17 divide (((-60)/(-18))/(-10))/((-3)/o)?
False
Let w be (-9)/6 - (6996/8)/(-3). Let g = 35 - w. Is g/(-3) + (4 - 1) a multiple of 22?
True
Suppose 10 = 2*u, 2*u = -3*x + 7*x - 18. Does 4 divide 27/(6*x/126)?
False
Suppose 16*s + 10835 = 20*s - 5*p, 0 = -2*s + 7*p + 5431. Does 15 divide s?
False
Let r be (3 - (4 + 1097)/(-3)) + -1. Let q = r + -255. Is 38 a factor of q?
True
Suppose 17964 = 7*m + 9*m - 7*m. Is 4 a factor of m?
True
Is (857/(-4))/(286/(-468)*(-3)/(-22)) a multiple of 9?
False
Let u = 228 + -126. Does 4 divide 3/((-6)/10)*u/(-15)?
False
Is 21 a factor of 7154375/1250*(1 + 1)?
False
Let v = 1 - -3. Suppose 0 = -37*z + 491 + 249. Suppose v*o - 68 = -z. Does 2 divide o?
True
Let j(c) = -4*c**2 - 105*c - 10. Suppose -s + 14 = -2*f + s, -31 = 4*f - 3*s. Is 18 a factor of j(f)?
False
Suppose 56439 = 16*z - 63258 - 1039. Does 47 divide z?
False
Suppose -3*p - 3*t = -12, 0*t = 4*p + t - 10. Is 28 a factor of -7*(-12)/6*p?
True
Is (448 - 3) + 169