s 3 a factor of h(m)?
False
Let t(k) be the second derivative of -3*k**5/5 + k**4/12 - 5*k**3/6 - 3*k**2 + 3*k - 11. Let z(i) = -i**2 + 3*i - 2. Let l be z(3). Does 34 divide t(l)?
False
Let r = -47 - -49. Let a(o) = 13 - 9 - 3*o**3 - 1 - 6*o**2 - o**r - 4*o. Does 7 divide a(-4)?
False
Let j(t) = -t**2 + 12*t + 4. Let c(z) = 8*z - 19. Let h be c(3). Suppose -3*s = m - 10, -h*m - s + 50 = 4*s. Is 4 a factor of j(m)?
True
Let l(g) = 2 + 1 + 0 - 39*g + 3. Let p(o) = o - 9. Let j be p(7). Is 12 a factor of l(j)?
True
Is (2 - 24115/(-26))*2 even?
False
Let c(h) = 8*h**2 + 3*h - 92. Let b be c(-18). Suppose -8*k + b = 342. Does 14 divide k?
False
Suppose -6217*f + 6251*f = 104210. Is f a multiple of 39?
False
Let h = 73 - 61. Suppose -5*j - 133 = -h*j. Does 9 divide j + -5 + 4 + 1 + -1?
True
Let c(n) = n - 13*n**2 + 5 + n**2 + 11*n**2 + 0 - n**3. Let t be c(0). Suppose -2 + 57 = t*i. Does 11 divide i?
True
Let x(s) = 10*s + 134. Let r = 47 - 47. Is 6 a factor of x(r)?
False
Let h be 174/8 + (-6)/8. Suppose 11 + h = -p. Is (-40)/p*(2 - -62) a multiple of 20?
True
Let z = -16 - -18. Let k(q) = q + 4*q + 2*q**3 - 3*q - 5*q**z + 7. Is 7 a factor of k(4)?
True
Let i(u) = 2*u**2 - 71*u - 111. Let c be i(37). Let n be (-2 - 0)/((-2)/4). Suppose -d - 64 = -l, -8*l + n*l + 2*d + 256 = c. Is 6 a factor of l?
False
Suppose -51058 = -l + 4*r, -80*l + 2*r = -83*l + 153188. Does 48 divide l?
False
Let h = 29 + 154. Let u = -94 + h. Is u a multiple of 7?
False
Let t be 30/165 - 119/(-11). Does 11 divide (60/33)/(-10) - (-3170)/t?
False
Suppose -348*j + 345*j = 1029. Let t = 639 + j. Is 8 a factor of t?
True
Does 5 divide 154/(-10)*3/((-12)/20)?
False
Let s be (-2)/(-10) + (-451)/5. Does 20 divide s/(-54) + 230/6?
True
Suppose -111*l + 465 = -116*l. Suppose 0*u = 3*u - 420. Let i = u + l. Is i a multiple of 19?
False
Let i(m) = -2535*m**3 - 846*m**2 - 1691*m + 2. Is i(-2) a multiple of 15?
True
Suppose -4*j - 3*g + 32 = -6*g, 0 = 4*j + 5*g. Suppose 0 = -2*r - 11 + 19, -r = -j*s + 1016. Is s a multiple of 12?
True
Is 10 a factor of 1*(-7)/105 - 1095933/(-45)?
False
Let a = -16659 + 19459. Is 10 a factor of a?
True
Suppose 5*o - 2*l = 22, 4*l = -5*o - l + 15. Let g be -227*o*(4 - 85/20). Let i = g - 123. Is 26 a factor of i?
True
Suppose -5*u = -4*l - 2*u + 437, 2*l - 236 = -2*u. Let k = l - -170. Does 19 divide k?
False
Suppose 8*a - 1451 = -4*d + 10017, -3*d = -2*a + 2863. Does 24 divide a?
False
Suppose y - 226 = -5*x + x, 0 = 5*x - 5*y - 295. Let o = x + -49. Suppose 2*n - o*n + 720 = 0. Is 10 a factor of n?
True
Let d(p) = -p**3 + 26*p**2 + 20*p - 216. Is d(19) a multiple of 13?
True
Let i(r) = -r**2 - 3*r - 1. Let d be i(-2). Let l be d*1/3*0. Suppose l = -9*w + 8*w + 8. Does 4 divide w?
True
Let g = 434 + -432. Suppose 0 = -g*o + 4*p + 706 + 58, -3*o + 4*p = -1148. Is o a multiple of 8?
True
Let n = -42 + 47. Suppose 4*b = j + 21, 2*b - 22 = n*j + 11. Suppose 0 = -2*i - b*z + 100, 0*i + 50 = i + 4*z. Is i a multiple of 4?
False
Let m(r) = 123*r**2 + 100*r - 5. Is 10 a factor of m(5)?
True
Let f(p) = 29*p + 30. Let m be f(-6). Let q = 174 + m. Does 15 divide q?
True
Let m(k) = -k**2 - k + 1. Let g be m(0). Let q be 0 + 4 + 0/g. Suppose 2*a = -0*u + 4*u + 112, -3*a = -q*u - 164. Is 12 a factor of a?
False
Let v be (-129)/3 + 7/(14/6). Let k = 220 + v. Does 10 divide k?
True
Suppose 4*v + 182 + 1712 = 3*p, 0 = p + 4*v - 626. Suppose 3 = -w, -525 = -4*z + w + p. Is z a multiple of 18?
True
Let f = -1037 - -2465. Is 4 a factor of f?
True
Let i(m) = m**2 - 9*m + 4. Let p be i(-6). Suppose -p - 358 = -3*a + 4*o, -3*a - 5*o = -488. Does 7 divide a?
False
Is 117045/(-68)*48/(-9) a multiple of 180?
True
Let p(m) = -320*m**3 - 4*m - 3. Let q be p(-1). Suppose -3*f + q = 2*d - 30, 3*f = 4*d - 729. Does 18 divide d?
True
Let f(y) = 3*y**2 - 23*y + 62. Let m be f(3). Let r(a) = -a**3 + 20*a**2 + 20*a - 21. Does 49 divide r(m)?
False
Let f(h) = -7*h + 1 - 17*h + 83*h**2 + 39*h - 6*h. Is 45 a factor of f(-2)?
True
Let s be (-1 - -2) + (55/1)/(-1). Is 4 a factor of -8*(8/10 + s/30)?
True
Suppose -4*j + x = -22410, 4*j - 6*j = 5*x - 11216. Suppose j = 12*y - 5821. Is y a multiple of 28?
True
Let j = -8281 + 11853. Is 19 a factor of j?
True
Let z(f) = f**3 - 9*f**2 - 9*f + 10. Let q be z(10). Let p = q - 15. Let i(a) = a**3 + a**2 - 7*a - 6. Is 11 a factor of i(p)?
False
Let d be (58/8)/(6/(-8) + 1). Let c(z) = -2*z**3 + 61*z**2 - 39*z - 112. Is c(d) a multiple of 10?
True
Suppose -t - 2*x + 8 = 0, 4*t - 20 = -x - 4*x. Suppose -13*y - 233 = -8*y - 3*b, 5*y - b + 241 = t. Let f = y + 103. Does 5 divide f?
False
Suppose 26*y - 100*y = 300481 - 1347211. Does 22 divide y?
False
Suppose -4*l = -16, 2*h + 3*l + 86 = 4*h. Let j = h - 11. Is 21 a factor of j?
False
Is 18 a factor of (-22)/((-2112)/439312) - (-15)/18?
False
Suppose 0 = -0*b + 2*b + 2*z + 6, -4*z - 30 = -5*b. Suppose 3*c + 12 = 40*s - 41*s, 4*c + 3*s + 16 = 0. Is (1984/c)/(-4) + b a multiple of 10?
False
Let b(f) = 4*f**2 - 9*f - 2. Let c be b(-4). Is (-6 + 6 - c)*-1 a multiple of 9?
False
Let b(p) = 781*p**2 + 82*p + 155. Is 18 a factor of b(-2)?
False
Is 615/45*(-8 - 4/(-1) - -190) a multiple of 49?
False
Suppose -8*u = 5338 - 19802. Is u a multiple of 30?
False
Let a(y) = -6*y**2 - 23*y + 11. Let l be a(-13). Does 29 divide l/66*(-870)/8?
True
Let f(c) = -2*c - 13. Let d be f(-9). Let m be 3 - d - (0/2 + -814). Suppose 4*l + 1 = -5*b + 1416, -3*b = -5*l - m. Does 30 divide b?
False
Suppose -5*k = -3*u - 8 + 47, -9 = 2*k + u. Let o = k - -9. Suppose 0 = 2*i + o*i - 165. Does 11 divide i?
True
Does 94 divide (3948/(-15))/(-14)*-32*(-24 + -1)?
True
Let b = 6202 + 1260. Does 10 divide b?
False
Suppose -4*t - 1170 = 3*y, 7*t = 8*t - 2*y + 298. Let k = 391 + t. Is 3 a factor of k?
False
Let z = 819 + -410. Suppose -4*h + 107 + 11 = -j, 3*j - h + z = 0. Let f = j - -226. Is f a multiple of 11?
True
Let o be 29/(-2) - 4/(-8). Suppose 0 = 4*r + 1328 + 3628. Is 4/o + r/(-49) a multiple of 5?
True
Suppose 19*h - 34*h = -135. Suppose -4*q + h*q = 1380. Does 46 divide q?
True
Let b = -6079 - -6885. Is b a multiple of 31?
True
Let m = 2399 + -1658. Let t = -358 + m. Is 4 a factor of t?
False
Let w(f) be the third derivative of 23/24*f**4 + 0*f + 0 - 17/6*f**3 + 22*f**2. Is w(5) a multiple of 17?
False
Let q = -1456 + 3481. Is 26 a factor of q?
False
Let p(j) = 14*j**2 + 5*j - 45. Let c(q) = q - 8. Let o be c(13). Does 15 divide p(o)?
True
Suppose 2*j - 4*r - 1005 = 1307, 4*j - 4702 = -5*r. Is j a multiple of 2?
True
Let r(p) = 3*p**2 - 24*p + 23. Let n be r(1). Suppose -n*x + 949 = 5*y, -6*x + 2*x + y + 1843 = 0. Is x a multiple of 42?
True
Suppose 3*n = 5*v - v - 7, -5*v + 4*n = -10. Let m be 2 + (-2 - -2) - (v + -61). Suppose 0 = 4*u + 6*r - r - 175, 5*r + m = 2*u. Is u a multiple of 12?
False
Let c(k) = k**2 + 26*k + 51. Let v be c(-22). Let z = 42 + v. Suppose 642 = z*l + 92. Is l a multiple of 10?
True
Let f(i) = 2*i**3 - 26*i**2 - 100*i + 1676. Does 88 divide f(17)?
True
Let k = 7236 + -6932. Is k a multiple of 8?
True
Let w(r) = 2*r**2 + 12*r + 32. Let i be w(-14). Let m = -58 + i. Is m a multiple of 33?
True
Suppose 17*k - 16239 = 29576. Suppose 66*v + k = 71*v. Does 7 divide v?
True
Let w = 1214 - -350. Is w a multiple of 17?
True
Is 18 a factor of (-18)/(25/(-40)*(-16)/(-5120))?
True
Suppose 3*c + 12 = -6*l + 2*l, -l + 2*c = -8. Suppose 2*o - 38 = p - 5*p, -4*p + 5*o + 17 = l. Suppose 185 = p*m - 3*m. Is m a multiple of 4?
False
Let u(b) = 42*b**2 - 2*b - 286. Is u(-10) a multiple of 7?
True
Let j(v) = 534*v**2 + 70*v + 241. Is 35 a factor of j(-4)?
True
Let o(k) = -3*k**3 + 10*k**2 + 106*k + 124. Is o(-12) a multiple of 50?
False
Let d(g) = -g**3 + 8*g**2 - 4*g - 2. Let j be d(6). Let o = 7 + -38. Let i = j + o. Is 4 a factor of i?
False
Let o be 3 - 344 - (-6 + 3 + 1). Let y = 901 + o. Is 76 a factor of y?
False
Let c = 139 + -144. Is (-4)/16 - (1503/(-12) + c) a multiple of 36?
False
Let j = 113 - 97. Let p(y) = 48 - 36*y**2 - 42*y**2 + 79*y**2 - 17*y. Is p(j) a multiple of 4?
True
Suppose 20 - 16 = -2*n. Let l(q) be the second derivative of -7*q**3/3 + 9*q**2 + 2*q. Is l(n) a multiple of 28?
False
Let w(b) = 17*b - 3 - 5 - 13*b + 3*b**2 + 0. Is w(-6) a multiple of 6?
False
Suppose 2*t - 135 = 5. Let r = t + -52. S