s 195 a factor of f?
True
Let a(x) = x**3 + 17*x**2 + 4*x + 23. Let l be a(-17). Let g = l - -56. Suppose -5*f - 43 = -2*r + g, 135 = 5*r + f. Is r a multiple of 3?
True
Suppose 2*f + 14591 = 3*m, -4*m + 10261 + 9197 = -f. Does 10 divide m?
False
Let u(q) = -q**2 - 10*q + 41. Let m be u(-13). Does 35 divide (49/m)/((-15)/(-270))?
False
Suppose 827 = p + 2*j, -3*j - 24 = -33. Is p a multiple of 45?
False
Let l(n) = -n**3 + 11*n**2 - n - 27. Let u be l(8). Let j = 223 - u. Is 5 a factor of j?
False
Let q be (-2)/7 - ((-72150)/(-35))/(-5). Let a be 2/((-1080)/(-542) - (-9 - -11)). Let z = a + q. Is z a multiple of 14?
False
Let h(s) = 68*s**2 + 98*s + 5. Is h(-15) a multiple of 30?
False
Let l = 12011 - 3857. Does 55 divide l?
False
Let x = -2591 - -7991. Is 20 a factor of x?
True
Let h(z) = -5*z**3 + 143*z**2 - 439*z - 41. Let o(s) = -s**3 + 29*s**2 - 88*s - 8. Let b(g) = 2*h(g) - 11*o(g). Does 3 divide b(30)?
True
Let a(o) = -63*o - 18. Let h be a(1). Let i(w) = 6*w**2 - 5*w + 1. Let q be i(-4). Let c = q + h. Does 12 divide c?
True
Let j be -7*(8/(-14))/1. Suppose -n - j*n + 815 = 0. Suppose -2*h + 116 = o, -h + 81 + n = 2*o. Is o a multiple of 17?
False
Suppose 359 + 316 = 4*z - 3*h, 0 = 5*z - 3*h - 843. Suppose -354 - z = -18*i. Is 19 a factor of i?
False
Suppose -55*x - 1382 + 7982 = 0. Let q = 3 - 3. Let t = x + q. Is t a multiple of 24?
True
Is 94 a factor of ((-3)/(9/(-32712)))/((-206)/(-103))?
True
Suppose -5*m - 2*r + 199 = 0, 0 = 5*m + r + 2*r - 196. Let f = -37 + m. Suppose -b + 16 = -f*d, -3*b + 5*d = b - 119. Is b a multiple of 12?
True
Let u = 123 - 114. Let z be -6 - -4 - (-2 + -1). Does 27 divide (-5 - z)*((-132)/u + 6)?
False
Let g = -152 + 227. Suppose g = 5*w + 5*r, w + 4*r - 27 = -3. Is 9 a factor of (104/w)/((-4)/(-6))?
False
Let k(w) be the second derivative of 7*w**4/12 - w**3/6 + 15*w**2/2 - w - 13. Is k(7) a multiple of 19?
False
Let o(q) = 2*q**2 - 6*q - 10. Let n be o(-12). Suppose 4*f - 2 = -4*l + 5*l, 5*l - 40 = -5*f. Suppose -l*u + n = u. Does 5 divide u?
True
Suppose -5672 = 3*x + 3*d - 63980, 0 = -3*x - 5*d + 58312. Does 246 divide x?
True
Let u(g) = 4*g + 4. Let d be u(5). Let z = -2818 + 2820. Suppose -d = -z*y + 312. Is y a multiple of 12?
True
Is (-1 - -9) + 16 + 5960 + -8 a multiple of 18?
True
Let a(g) = 149*g**2 + 14*g - 96. Does 109 divide a(7)?
True
Suppose -154 = 4*q - q - 5*r, 23 = -q - 4*r. Let l = q - -89. Let f = 116 - l. Is 7 a factor of f?
True
Let i = 1228 - -315. Suppose i = -10*j + 5633. Is 11 a factor of j?
False
Let w(g) = 2*g**2 - 39*g - 86. Is 7 a factor of w(-17)?
True
Suppose 52 = 3*h + h. Let l = -13 + h. Suppose l*u = b - u - 56, -3*b + 4*u + 164 = 0. Is b a multiple of 14?
False
Let n(f) = f**2 + 46*f + 50. Let t be n(-24). Let q = t - -558. Is 4 a factor of q?
True
Let o = -17117 - -31164. Does 11 divide o?
True
Let l(f) = f + 10. Let t be l(-4). Suppose -t*h = -4*h + 76. Let g = 188 + h. Is 26 a factor of g?
False
Let r(w) = w**3 - 4*w**2 - 2*w - 13. Let q be r(5). Suppose -q*g - 7*n = -4*n - 1970, 0 = 4*n. Is 39 a factor of g?
False
Let z be (3*3/(-6))/(6/(-8)). Suppose -28 = -4*m - z*y - y, 4*m = 3*y + 4. Suppose -2*v + 390 = 5*p - 5*v, m*v - 263 = -3*p. Is p a multiple of 11?
False
Let t(d) = -d**3 - 16*d**2 - d + 12. Let k be t(-16). Let v be k/(-8)*(-36)/21. Suppose -2*j = r - v*j - 74, -4*r + 4*j + 236 = 0. Does 8 divide r?
False
Let j = -36 - -41. Suppose -4*i + 3*z + 530 = -1572, 5*i - 2610 = -j*z. Is 28 a factor of i?
False
Let c(u) = -u - 17. Let d be c(-22). Suppose d*n - 869 - 596 = 0. Is n a multiple of 49?
False
Let q = 79 + -77. Let y(s) = -47 - 44 + 4*s**q + 79 - 4*s. Is y(-2) even?
True
Let f(q) = -5*q**3 + 17*q**2 - 10*q + 58. Let o(y) = -14*y**3 + 53*y**2 - 30*y + 174. Let j(v) = 11*f(v) - 4*o(v). Is j(25) a multiple of 16?
True
Suppose -4*h - 5*d = -157309, 39*h = 44*h - 3*d - 196664. Is 49 a factor of h?
False
Let f(n) = -7*n + 28. Let w be f(-12). Let d = 8 + w. Let t = -66 + d. Is 4 a factor of t?
False
Let i = 5 - -3. Let f(k) be the third derivative of 5*k**4/12 + 22*k**3/3 - 37*k**2 - 3. Does 26 divide f(i)?
False
Let r = -17253 - -34229. Is r a multiple of 4?
True
Let u = -4857 + 4927. Does 10 divide u?
True
Suppose 3*l + 0*y = -y + 5, 5*y + 1 = -2*l. Does 13 divide (-14828)/(-66) + l/(-3)?
False
Suppose -18*j + 22*j - 3769 = 3*j. Does 65 divide j?
False
Suppose 0 = 5*q - 4*u - 165, 0 = 12*q - 16*q + u + 121. Let f(x) = 2*x**3 - 57*x**2 - 25*x - 28. Is 22 a factor of f(q)?
True
Let w(h) = h**3 + 8*h**2 + 30*h - 47. Does 58 divide w(8)?
False
Suppose 17*t - 21*t = -3*o + 6582, -5*o + 10993 = t. Is 13 a factor of o?
False
Suppose 0 = 5*p + 49 + 61. Let y(h) = h**3 + 21*h**2 - 24*h - 24. Let s be y(p). Let i = s + 29. Is 6 a factor of i?
False
Does 8 divide (2 + 354/(-9))/((-204)/2142)?
True
Does 48 divide 15/(-20) - ((-66)/44)/(18/145041)?
False
Suppose -2243491 - 997547 - 2057112 = -330*l. Is 14 a factor of l?
False
Suppose r = -2*t - 224, r - 216 = 2*t - 0*r. Let x = 166 + t. Does 14 divide x?
True
Suppose 5*o + 27*v - 52362 = 29*v, -5*o + 52359 = v. Is 44 a factor of o?
True
Let n = 47 + -44. Suppose 5*g - 261 = -4*b + 2*g, 217 = n*b - 2*g. Let x = -47 + b. Is 6 a factor of x?
False
Suppose -f + 2187 = -3*q, 80*f - 4359 = 78*f + q. Does 9 divide f?
True
Let i = 21121 + -15800. Is i a multiple of 16?
False
Suppose 77*u - 81*u + 8 = 0, -3*f + 3*u + 93126 = 0. Is 45 a factor of f?
False
Suppose 6*p + 2309 = 5*h + 5*p, h + 4*p - 466 = 0. Suppose v + 0*v + 619 = 2*z, -4*z + 4*v = -1236. Let u = h - z. Is 38 a factor of u?
True
Let g = 249 + -90. Let a = 306 - g. Is a a multiple of 21?
True
Is ((1 - -2) + (-57)/12)*-92 a multiple of 7?
True
Suppose 0 = 5*c + 6*c - 22. Suppose 0 = -4*p - 5*i + 186 + 933, -564 = -c*p - 4*i. Is 23 a factor of p?
True
Suppose 2*b - 3*x + 6423 = 5*b, 5*b - 10714 = 4*x. Suppose 0 = o + 16*o + b. Let h = o + 182. Is 15 a factor of h?
False
Let p = -804 + 1161. Suppose 0 = 2*b - p - 235. Suppose -3*s - s = -b. Does 34 divide s?
False
Suppose -4*a + 82 = 2*n, 2*a + 56 + 78 = 4*n. Suppose -2*z - 12*g = -9*g - 95, -z - 4*g + n = 0. Does 4 divide z?
False
Suppose 0 = 4*a, -2*x + 296 = 2*a - 248. Is (-7)/((-14)/x) + 8 a multiple of 24?
True
Suppose -4*b - m - 92 = -5*m, 0 = -3*b + 2*m - 66. Is (b/(-30))/((-2)/15)*-3 a multiple of 15?
True
Suppose -3*h = 3*x - 3696, -h + 8*x - 6*x + 1232 = 0. Suppose -16*i = -5*i - h. Is i a multiple of 14?
True
Let g = 251 - 256. Let k(c) = c - 1. Let p(m) = -13*m + 2. Let n(q) = 3*k(q) + p(q). Is n(g) a multiple of 7?
True
Suppose -21667 = -4*h + 32877. Does 105 divide h?
False
Let c(y) = y**2 + 4*y + 81. Let b be c(0). Suppose -b - 15 = -u - 4*m, 0 = -3*u + 2*m + 316. Is 15 a factor of u?
False
Suppose 283 = 2*y - b + 67, 0 = 5*y - b - 543. Let g = 144 - y. Suppose -4*z = g - 203. Does 6 divide z?
True
Let y be (64/(-96))/((8/(-1662))/2). Suppose -f - 5*z + 432 = 0, 2*f - 2*z - 1153 = -y. Is f a multiple of 23?
True
Let p be (6 + -6)*2/6. Suppose p = -u - 2*u + 453. Let z = u - 110. Is z a multiple of 12?
False
Suppose 0 = -5*m - 4*n + 59903 + 68889, -m - 2*n = -25768. Does 37 divide m?
True
Suppose 0 = 5*o - g - 12749, 6*o - 11*o + 12733 = 3*g. Is 24 a factor of o?
False
Let x(h) = -841*h + 777. Does 68 divide x(-3)?
False
Suppose -7*j + 8*j - 1659 = 0. Is j a multiple of 7?
True
Let b = 29 + -32. Let y be 1*42/(-9) - (-4)/b. Is 4 a factor of -4*1*(y - 2)?
True
Let a(q) = q**3 - 14*q**2 + 12*q - 8. Let b be a(13). Let u be (4 - -1 - b) + -1. Is 2 a factor of (-20)/u + 124/5?
True
Suppose -q + 2945 = -6*q - 5*u, 0 = -3*q + 5*u - 1791. Let p = 900 + q. Does 22 divide p?
True
Let y(h) = 8*h**2 - 6*h + 14. Let a be y(2). Let f(o) = -o**2 + 33*o + 171. Does 10 divide f(a)?
False
Let m be 156/(-11) - (7 + (-869)/121). Is (62 - 1) + m + 13 a multiple of 3?
True
Is (-147)/((-20)/(4080/18)) a multiple of 17?
True
Let z be (-320)/12*153/(-12). Is 14 a factor of z - (3 - (7 + -1))?
False
Is 354/((-1740)/175 + 10) a multiple of 59?
True
Suppose 4*o = -5*w + 120, -3*o - 4*w + 20 + 69 = 0. Suppose 0 = -o*s + 30*s + 20. Suppose -4*j + s*z - 5*z + 1522 = 0, 5*j - 2*z = 1896. Does 48 divide j?
False
Suppose 4*a - 8*y + 5*y = 1376, 1751 = 5*a + 4*y. Let m = 1 + a. Does 6 divide m?
True
Let b = -153 + -398. Suppose 4*z