 14 a factor of t(f)?
True
Let l(g) = -6*g**2 + 2*g + 6. Let v(j) = -9*j**2 + 3*j + 9. Let w(f) = -8*l(f) + 5*v(f). Suppose -12 = 5*p - 2. Does 4 divide w(p)?
False
Suppose 0 = i - 6*i + 40. Suppose 6 = -7*q - i. Let p(c) = -36*c**3 - 2*c**2 + 4*c + 7. Does 31 divide p(q)?
True
Let a be (3 + -5 - 0)*93/6. Let m be 210/(-5) - (-4)/2. Let y = a - m. Is 9 a factor of y?
True
Suppose 12 = 5*n - 3. Suppose -5*h = n*z - 338, -5*h = -5*z - 0*z + 550. Let w = 207 - z. Does 20 divide w?
False
Suppose -7*p + 59234 + 49497 = 0. Is 27 a factor of p?
False
Let q = 2611 - 1555. Is q a multiple of 32?
True
Let w be 4052/(-56)*-2*7. Let z = w + -648. Is z a multiple of 29?
False
Does 8 divide 2*(-1863)/(-18) + 9?
True
Let b = 3273 - 1908. Does 3 divide b?
True
Suppose -5 = -j, -1 + 18 = n + 3*j. Suppose -2117 = -5*t - 4*z + 551, 0 = t + z - 533. Suppose -n*r + t = 5*y, -5*r + 3*y = -125 - 1153. Does 44 divide r?
False
Let d be (-1 + -1)/(5/235). Is 8 a factor of (d/(-6))/(((-22)/(-12))/11)?
False
Suppose 4*f - 2*f = 6310. Let h = -2047 + f. Suppose 15*j = 11*j + h. Is 39 a factor of j?
False
Does 60 divide (-142)/(-923) - (-32017)/13 - -2?
False
Let l = 1597 + 626. Suppose 10*s = s + l. Does 26 divide s?
False
Let a = -215 + 1017. Let p = a - 307. Is p a multiple of 41?
False
Suppose -60*x = -55*x - 25. Suppose 4535 = 5*p + u, 7*p - 6*p - x*u = 907. Is p a multiple of 60?
False
Let w = 113 - 199. Suppose 126 = 2*o - 94. Let d = o + w. Is d a multiple of 3?
True
Let p be -2 + -1077 - (-16 + 8). Let q = p + 1631. Is 16 a factor of q?
True
Suppose -h + 120*u - 119*u = -3855, 3*h - 4*u - 11561 = 0. Is h a multiple of 22?
False
Suppose x - 3*u = u + 4385, 2*u = x - 4381. Is x a multiple of 13?
False
Let i = 31912 - 19094. Is 123 a factor of i?
False
Let m be -3 - (-17)/(-2 - -3). Let q(u) = 17*u + 10*u - 11*u + 6*u + m. Is 31 a factor of q(5)?
True
Let w(y) = -y**3 + 3*y**2 + 2*y + 3. Let b(u) = u**3 - u**2 + 2*u. Let n be b(0). Let t be w(n). Suppose t*q - 2*q = 132. Is q a multiple of 43?
False
Let l = 3 - -43. Suppose 0*i - i + l = 0. Suppose -q + 18 = g, -3*g + 0*q + i = -q. Does 16 divide g?
True
Suppose 5*t - 10 = -2*o - 38, -o - 8 = 4*t. Let l(w) = -52*w - 12. Let f be l(-3). Let k = o + f. Is 24 a factor of k?
True
Let m(r) be the second derivative of 5*r**4/12 - 13*r**3/6 + 8*r**2 - 84*r. Is 22 a factor of m(-7)?
True
Let z(n) = -2*n**3 - 1. Let g(p) = 10*p**3 - 3*p**2 + 5*p - 10. Let b(r) = g(r) + 4*z(r). Is 10 a factor of b(7)?
True
Suppose 2*n + 2*x - 946 = 0, -3*n - 2*x = -6*n + 1434. Does 2 divide n?
True
Let y = 805 + -915. Suppose -2*j = 5*o + 372, -132 - 239 = 5*o + j. Let n = o - y. Is 12 a factor of n?
True
Let t = -21 + 41. Let r = -26 + t. Is 30 a factor of (-2889)/(-18)*(1 - 2/r)?
False
Suppose 2*n - 5900 - 8571 = k, 0 = -2*n + 2*k + 14478. Is 32 a factor of n?
True
Let y(a) = a**2 + 4*a + 6. Let k be y(-7). Suppose l - k = 132. Suppose 0 = -2*n + l + 31. Is 19 a factor of n?
True
Let u = 47 + -40. Let s(x) = 34 - u + 5 - x + x**2. Does 24 divide s(13)?
False
Suppose 27*a + 5*b = 22*a + 5, -2*a = b - 1. Suppose a = -15*t + 83 + 157. Is 5 a factor of t?
False
Let i = 29080 - 16986. Does 6 divide i?
False
Does 4 divide (-3 + 1342/(-10))/(9/(-270))?
True
Suppose -2*k = 2*x - 0*k - 18, 4*x - 4*k = -4. Suppose 5*h = 3*b - x*b + 325, -3*b = -3*h - 921. Suppose 10*n = b + 790. Is 30 a factor of n?
False
Let m = -174 + 290. Suppose 3*w + 3*d - 111 = 0, 2*w - 3*w - 4*d = -28. Let n = m - w. Is 13 a factor of n?
False
Suppose 63*l - 20 = 58*l. Suppose -l*r + 117 + 235 = 0. Is r a multiple of 8?
True
Suppose 2*g = 2*z + 46014, -7*z + 23426 = 2*g - 22534. Is 9 a factor of g?
False
Suppose -14362 = 10*g - 39782. Is g a multiple of 100?
False
Let n be -2*((-261)/18 + 9). Suppose 5*i + 2*r = 1952, n*r - 8*r - 3 = 0. Is i a multiple of 5?
True
Let f = 569 - 498. Suppose 68*i = -2*q + f*i + 2668, -4*q - i = -5364. Is 67 a factor of q?
True
Let n(g) = 1119*g**2 + 92*g + 624. Is 48 a factor of n(-7)?
False
Suppose -3*r + 5 = -2*r. Suppose f - 3*s = -6, -4*f - r*s = -10 - 0. Is (-326)/(-3) - (f - 5/15) a multiple of 14?
False
Let o be (-1)/5 - (-1326)/130. Let t(w) = 2*w**3 - 11*w**2 + 6*w + 3. Does 75 divide t(o)?
False
Let x(m) = -391*m**3 - 4*m**2 - 8*m - 3. Suppose 417*l - 413*l = -4. Is 56 a factor of x(l)?
True
Let r(v) = v**2 - 6*v - 15. Let d be r(9). Suppose -9*x = -d*x + 63. Is x even?
False
Let i = 1561 + -1260. Does 3 divide i?
False
Suppose -2*r = s + 23, -2 = 3*r - 4*s + 49. Let d = r - -69. Is 3 a factor of d?
False
Let f = -1765 - -897. Let j = -253 - f. Is j a multiple of 13?
False
Let c = 497 - 239. Suppose -5*m - 2*t + 1182 = 0, -2*m + 5*t + c = -m. Is 12 a factor of m?
False
Suppose 0 = -7*c + 11*c + 4*r - 24868, 3*c = 3*r + 18669. Is 84 a factor of c?
False
Suppose 2*h = 3*f + 46441, -5*h + 2*f + 36967 + 79119 = 0. Is 91 a factor of h?
False
Is 14 a factor of (-25575)/(-12) + -3 + (-9 - 385/(-44))?
True
Let u(i) be the third derivative of -5*i**4/12 + 32*i**3/3 + i**2 - 97*i. Is 9 a factor of u(-8)?
True
Let s = 670 - -2327. Is 81 a factor of s?
True
Let n(y) = -17*y - 9. Suppose 0 = 5*u - 5*k - 55, -2*u - 4*k = -4*u + 30. Suppose -i - u + 0 = 4*w, -5 = -i. Does 14 divide n(w)?
True
Suppose 0 = -679*a + 634*a + 59985. Does 8 divide a?
False
Let t = -5494 - -10023. Does 27 divide t?
False
Let o(j) = -3*j - 17. Let p(g) = -6*g - 34. Let i(x) = 7*o(x) - 3*p(x). Let l be i(-5). Is 4 a factor of -3 + 2 + l + 38?
False
Let o(u) = 3*u - 4. Let q be (-2)/7 - (-240)/105. Suppose 0 = -5*z + q*z + 18. Is 10 a factor of o(z)?
False
Suppose 0 = 3*k + 5*y + 10, 5 = 5*k - 3*y - 35. Let w(p) = 106*p - 55. Does 25 divide w(k)?
True
Let f = 2398 + -2390. Let r be (-1 - (-138)/(-2))*-11. Suppose -f*v = -v - r. Is 19 a factor of v?
False
Let m be 2*75/20*(-2)/(-5). Suppose 2*k + 4*x - 26 = 0, -5*x + 47 = m*k + 12. Suppose 0*w = 3*r - k*w - 514, -4 = 2*w. Is 13 a factor of r?
False
Suppose 356*h - s - 12605 = 351*h, -s - 5 = 0. Is h a multiple of 87?
False
Let y(n) = -125*n - 67. Let j be y(-6). Is 9 a factor of j + 3*15/(-9)?
False
Let x be 2*(-78)/(-27) - 4/(-18). Suppose -8*p + 3*p = -x*p. Suppose -d + 2*y + 25 = p, -4*y - 84 = -3*d - 17. Does 2 divide d?
False
Let z = 9792 - 5480. Is z a multiple of 28?
True
Is (-131968)/(-384)*2/((-3)/216*-2) a multiple of 24?
True
Let r = -556 - -1747. Does 34 divide r?
False
Let d = -14476 + 34894. Is d a multiple of 82?
True
Let i be (-1)/((-171)/(-87) + -2). Suppose -4*w = 12, -i = 2*y - 3*y + 5*w. Suppose -16*c + y = -15*c. Does 6 divide c?
False
Suppose t - 5*t - 3*a = -30, -5*t + 22 = -4*a. Let q = t - -85. Does 29 divide q?
False
Let q(u) = 3233*u + 284. Is q(2) a multiple of 150?
True
Let j(b) = b**3 + 18*b**2 - 10*b + 15. Let p be j(-15). Suppose -128*m - p = -135*m. Is 30 a factor of m?
True
Let x(t) = t**3 + 13*t**2 + 8*t - 27. Let d be 1/(-3) + 30/9. Let h be (12/d + 7)/(-1). Is 26 a factor of x(h)?
False
Suppose -1522 = -s + 2*b, b = 5*s - 2*b - 7596. Is (-9)/((-27)/s) + 1 a multiple of 13?
True
Let a(h) = 4. Let p(c) = 41*c + 23. Let o(m) = -5*a(m) + p(m). Is o(16) a multiple of 15?
False
Suppose 35 - 381 = -r. Let l = 475 - r. Is 3 a factor of l?
True
Let c be ((-7)/((-63)/27))/(3/(-4)). Is 52/c*2*(-22 - -2) a multiple of 10?
True
Let j(l) = 2*l + 30. Let x(t) = -10*t - 150. Let a(n) = -n**3 - 7*n**2 - 6*n - 14. Let p be a(-6). Let i(q) = p*j(q) - 3*x(q). Does 9 divide i(6)?
False
Let z(x) = 203*x**2 + 133*x + 1287. Is z(-9) a multiple of 167?
True
Let f = 36 - 46. Let w = -11 - f. Does 9 divide (-5 - w - -5)/(1/31)?
False
Suppose 3*g + 17 = 4*f, 2*g - 3*g + f - 6 = 0. Let b = 118 + g. Is b a multiple of 20?
False
Let j be 580/3 + 1/(-3). Suppose 4*k - 4*n = 12, 2*n = -n. Suppose -4*b - 5*g = -j, k*b + 2*b - 185 = 5*g. Does 14 divide b?
True
Let z(n) = 465*n**2 + 19*n - 21. Is 11 a factor of z(1)?
False
Suppose 46*i = 16*i + 53820. Is 70 a factor of i?
False
Suppose 0 = 2*b + 6, -2*x + 19 = -2*b - b. Suppose -x*f = -3*r + 1045, 0 = 2*r - r + f - 343. Is r a multiple of 15?
True
Let s = -9273 - -14067. Is s a multiple of 17?
True
Suppose -141725 = -22*k + 409639. Is 137 a factor of k?
False
Let f(u) = 14*u + 15. Let s(b) = 15*b + 15. Let v(q) = 4*f(q) - 3*s(q). Let j be (-3)/12 + 260/16. Is 22 a factor o