55)) even?
False
Let n(y) = -y - 2. Let k be n(-2). Let g be (-1220)/(-2) - (27 - 25). Suppose 9*m - m - g = k. Does 19 divide m?
True
Suppose -12 = -5*j - a, -j + 10 = -10*a + 14*a. Suppose 0 = j*h - 69 - 5. Is h even?
False
Let h(f) = 2*f + 25. Let l(z) = 8*z + 76. Let y(g) = -8*h(g) + 3*l(g). Does 5 divide y(6)?
False
Let h = 90 - 51. Let x = h + 3. Let q = 38 + x. Does 23 divide q?
False
Does 44 divide (-4255050)/(-165) + 2/(-11)?
False
Suppose 0 = -5*a, 210 = -m - 4*a + 2792. Suppose -2278 = -9*l + m. Does 36 divide l?
True
Suppose x + 3*f - 27 + 0 = 0, -5*f = 0. Let d = x - 2. Suppose -3*r + d = v + 2*r, 0 = 3*v - 4*r - 75. Does 9 divide v?
False
Let o(q) = -2*q**3 + 14*q**2 - 2*q + 17. Let j be o(7). Suppose 2*f = 4*l + 8, -j*l + 0*f = f - 4. Suppose l = 4*b - 142 - 18. Is b a multiple of 10?
True
Suppose -3*d + 3187 - 16307 = u, 5*d - 5*u = -21900. Does 39 divide ((-4)/(-14))/((-25)/d)?
False
Let s = 322 + -42. Suppose -10*i + s = -430. Is i a multiple of 6?
False
Suppose 7*n = -4*n + 4*n. Suppose n = 5*o - 2*o - 102. Suppose -12 - o = -z. Does 4 divide z?
False
Let q(i) be the first derivative of -3/2*i**2 + 25/3*i**3 - 19 + 4*i. Is 9 a factor of q(1)?
False
Let m(t) be the third derivative of t**5/60 + t**4/3 - 3*t**3 - 9*t**2. Let q(y) = -y**3 + 9*y**2 + y - 5. Let n be q(9). Is 30 a factor of m(n)?
True
Suppose 0 = 63*l - 84*l + 28686. Let a = l - -66. Is a a multiple of 108?
False
Suppose -2677 = 5*y + 2*k - 0*k, 2*y + k = -1070. Let w = y + 757. Is 44 a factor of w?
True
Suppose -5*r = 20, 5*j - 2*r - 12809 = 3039. Suppose -7*m - m + j = 0. Is 36 a factor of m?
True
Let y(h) = 33*h + 9. Let n be y(-1). Let v = 333 - n. Is v a multiple of 51?
True
Suppose 23 = 2*d + 17. Suppose 343 = d*r - 3*p - 2*p, 2*r = -p + 246. Does 22 divide r?
False
Let x = 4211 + -1281. Does 4 divide x?
False
Is (-7 - 133/(-14))/((-5)/(-8870)) a multiple of 62?
False
Let s be 8/(-4 - 0) - (-1 + -2). Is s + 605 + 2/(-2)*3 a multiple of 9?
True
Let p(g) = 13*g**3 - 38*g**2 - 24*g + 123. Does 17 divide p(14)?
False
Let w(s) = s**3 - 2*s**2 - 7*s + 8. Suppose -5*h + 10 = -20. Let o be w(h). Suppose 2*u - o = -0*u. Is u a multiple of 11?
True
Let n = 0 + 36. Let z be 2/(-6) - (-552)/n. Let g(q) = -q**2 + 22*q - 32. Does 49 divide g(z)?
False
Let f(p) = -p - 21. Let i be f(-17). Let a be i + 6 + 2 + 25. Let h = a - -22. Is h a multiple of 17?
True
Suppose 39*d = 50*d - 42658. Is 25 a factor of d?
False
Let w be 34/9 - 2*1/(-9). Suppose -w*y = -3*l - 2918, -7*l + 8*l - 1454 = -2*y. Is y a multiple of 39?
False
Suppose 3*x - 2378 = -67*m + 71*m, -3950 = -5*x + 5*m. Is 46 a factor of x?
True
Let p = -297 + 159. Let h = p + 138. Suppose h = g - 81 - 21. Is 51 a factor of g?
True
Let v(l) = -8*l - 131. Let x be v(0). Let b = x + 227. Is 13 a factor of b?
False
Let o be ((-198)/(-110))/(-6*3/(-60)). Suppose 4*m - 4*k = o*m - 1452, 3658 = 5*m - 4*k. Is 12 a factor of m?
False
Suppose 77*z - 34923 = 58*z + 29867. Does 55 divide z?
True
Is (0 - -16) + 11102 + 228 a multiple of 73?
False
Let f(b) = -2*b - 20. Let p be f(-10). Let q(v) = 3*v**2 + 4*v**2 - 7 + p - 6*v**2 + 2*v. Does 34 divide q(11)?
True
Let k(m) = 5*m**2 - 55*m - 94. Let j be k(22). Let d = 1643 - j. Is d a multiple of 31?
True
Let u = 373 + -371. Suppose 212 = 3*v - 3*f - 364, u*f + 8 = 0. Is 14 a factor of v?
False
Let d(v) = -v**3 + 41*v**2 + 204*v + 93. Is d(45) a multiple of 3?
True
Suppose -32*c = -19*c - 8853. Suppose o + 5*i = 112 + 63, -i + c = 4*o. Is o a multiple of 17?
True
Let m = -9952 + 10912. Is m a multiple of 3?
True
Let c(l) = -10*l**2 - 9*l + 11. Let i be c(3). Let y be i/(-1) - (10 - 6). Let g = -68 + y. Does 6 divide g?
False
Suppose -69*d = -5*k - 67*d + 7826, -7836 = -5*k - 3*d. Is k a multiple of 54?
True
Is 30 a factor of (-6)/(-15)*393250/100?
False
Let o = 3589 + -2023. Suppose 1885 = 7*q - o. Is q a multiple of 17?
True
Let h = 2427 - -765. Is h a multiple of 3?
True
Let z = -4839 + 21037. Is z a multiple of 89?
True
Suppose 0 = -m + 4*y + 83, -3*y = 3*m - 266 + 47. Suppose 74*j = m*j - 174. Does 29 divide j?
True
Suppose 5*q + 4*l - 126144 = q, -20 = 5*l. Is q a multiple of 170?
False
Let y be 1/(5 + (-9037)/1806). Let c = y - -461. Does 14 divide c?
False
Suppose 0 = -j + 83 - 79. Does 11 divide 88/(-1*(-2)/j)?
True
Let f(y) = y**2 + 2*y + 632. Let a be f(0). Suppose -4*m - v - v + a = 0, 4*v - 172 = -m. Let g = m + -94. Is 42 a factor of g?
False
Let z(q) = 25 - 5 - 13*q**2 + 16*q**2 - 57*q. Is z(23) a multiple of 74?
True
Let w(c) = -c**2 - 89*c - 888. Does 5 divide w(-31)?
True
Let c(u) = 6*u**2 + 6*u + 5. Let x be c(-1). Suppose -4*m + 32 = 2*p, p - x*m + 4*m - 1 = 0. Is p even?
True
Suppose -1412 = 5*r - 7*r + 3*d, -2*d - 1414 = -2*r. Suppose v = -2*v - 4*y + r, -5*v = -2*y - 1225. Does 22 divide v?
False
Suppose 5*k = 11 + 4. Let u be (-25)/k*(-6)/5. Suppose 9*y = u*y - 47. Is 4 a factor of y?
False
Suppose 77*a - 82*a = -15. Suppose 5*k - 609 = -a*v, -2*v - 517 - 102 = -5*k. Let t = 183 - k. Is t a multiple of 12?
True
Suppose 63*l = 62*l - 5*u + 1436, 2837 = 2*l + 3*u. Is l a multiple of 5?
False
Suppose -28*b + 43*b - 71910 = 0. Does 51 divide b?
True
Suppose -26680 = -13*o - 8337. Suppose w - 5*s - 664 = 0, 2*s - o = -5*w + 1855. Does 12 divide w?
False
Let k(w) = -12*w + 2934. Is 32 a factor of k(32)?
False
Let f = 2519 + -1223. Is f a multiple of 12?
True
Suppose 0 = 12*u - 1617 - 2523. Suppose 2*j + u = -3*j. Let a = j + 123. Is a a multiple of 27?
True
Let b be 2 + 0 - 66/(6/2). Let t = -20 - b. Is 11 a factor of (132/10 - t)*30/9?
True
Suppose -9*x + 14*x - 4*k - 9 = 0, -28 = -4*x - 2*k. Suppose -x*u + 3*h + 81 = 0, 57 = 5*u - h - 30. Does 10 divide u?
False
Let k(b) = -44*b**2 + 2*b - 2. Let w be k(-2). Let q = 1814 + w. Suppose 6*h - q = -456. Does 28 divide h?
True
Suppose 3*o + j = 11 + 10, 0 = -j - 3. Let p be 8/(-32) - (-50)/o. Suppose 0 = -p*s - 4*s + 320. Is 4 a factor of s?
True
Suppose d = -34*d + 131147 + 169958. Does 71 divide d?
False
Let n be ((-1)/4)/((-1190)/(-80) - 15). Suppose -n*m = 5*v - 1293, 3*v + 5*m - 783 = 2*m. Does 6 divide v?
False
Suppose 5*m - b - 412502 = 0, -51*m - 4*b - 82508 = -52*m. Does 75 divide m?
True
Let z(h) = -h**3 + 4*h**2 - h + 10. Let o be z(3). Suppose 0 - 12 = -2*p + n, 4*n + o = 0. Suppose 2*i + 59 = 2*b - 3*i, -p*b + 88 = -4*i. Is b a multiple of 6?
False
Is 87 a factor of (-39)/12 + (-1269920)/(-128)?
True
Suppose 0 = 4*b + s - 1813, -2255 = -2*b - 3*b + s. Let x = 0 + 0. Suppose x = -i + 5*i - b. Is i a multiple of 13?
False
Suppose -4*j - 4*f = f - 151, 0 = -4*j + 5*f + 121. Suppose j*z + 268 = 36*z. Is z a multiple of 11?
False
Let o(j) be the second derivative of 7*j**3/2 - 7*j**2 - 9*j - 35. Suppose h - 2*w = 0, -24 = -4*h - h - 2*w. Does 23 divide o(h)?
False
Let a(b) = -5*b - 16. Suppose 0 + 4 = 2*k. Let c = k - 13. Does 5 divide a(c)?
False
Let x = -2774 + 5616. Is x a multiple of 9?
False
Let i = -16092 + 27556. Is 114 a factor of i?
False
Suppose -4*b = -11*o + 10*o - 68579, 3*b - 51430 = 5*o. Is 45 a factor of b?
True
Let z(v) = -v**3 - 6*v**2 + 7*v + 3. Let n be z(-7). Let b = 353 - 340. Suppose 4*m - b = n. Does 4 divide m?
True
Suppose 1126 = 6*y + 118. Let j = y - 104. Does 11 divide j?
False
Suppose -5 = 5*r, 0 = -4*k - 3*r - 2 - 1. Suppose -3*f + o + 31 = k, 4*f - o - 43 = -0*o. Is 7 a factor of ((-153)/(-2) - (-6)/f)*1?
True
Does 88 divide (-3)/((-72)/316820) + ((-294)/(-36) - 9)?
True
Let y(u) = u**3 - 17*u**2 + 60*u - 4. Let c be y(5). Let n(f) = -318*f - 24. Does 24 divide n(c)?
True
Suppose -5*h + j = -7*h - 249, 126 = -h + j. Let o = 121 + h. Does 33 divide 185/2 - 2/o?
False
Suppose 160*t + 26615 = 122*t + 443779. Does 22 divide t?
True
Let u(d) = -d**2 - 14. Let r be u(5). Does 44 divide 1/(-3) - 13741/r?
True
Suppose -c + 5*q + 24784 = 0, 0 = -2*q + 4 + 4. Does 26 divide c?
True
Suppose 211 = 7*a + 260. Let u(f) = -43*f + 335. Is u(a) a multiple of 12?
True
Suppose -4*w = 2*a - 5102, 2*w = 4*a + a - 12695. Let f be 4/(-10) - a/(-15). Suppose 3*t + 2*v - 76 - 81 = 0, -v = -3*t + f. Is 6 a factor of t?
False
Suppose 2*m - 12 = -8. Suppose -33 = -2*v - 3*k, -m*v = -7*v + k + 57. Suppose -2*q = 5*y - 669, v = -4*q - 0*q. Is 15 a factor of y?
True
Let s(g) be the second derivative of -g*