-13*m - 3*q + 9 = -10*m. Suppose 5*u - 7*u + m*x = -438, -897 = -4*u - 3*x. Is 6 a factor of u?
True
Let w(x) = -2*x**3 - 13*x**2 - 8*x - 10. Let y be w(-6). Suppose -y*q - 4*p + 162 = -256, 0 = -5*q - 4*p + 1039. Does 12 divide q?
False
Let x(b) = b**2 + 2. Let h be x(0). Suppose o = h*j + 12, 2*j = -2*o + 1 - 7. Suppose 3*v + o*v = -5*r + 160, 24 = r - 3*v. Is r a multiple of 15?
True
Let s be (-48)/(-30) + -2 - 7812/(-30). Is ((-22)/8 + 4)*s a multiple of 15?
False
Suppose 0 = -3*k - 2*r + 23142, -49898 + 11347 = -5*k + 3*r. Is k a multiple of 19?
False
Let c(n) = -n**3 + 11*n**2 - 13*n + 3. Let s be (-6)/5*(4 - 138/12). Let r be c(s). Let d = 128 - r. Is d a multiple of 8?
True
Let k = -4071 - -6263. Is k a multiple of 48?
False
Suppose -26138 - 6353 = -11*z - 679. Is z a multiple of 49?
False
Let f = 3022 + 793. Is 35 a factor of f?
True
Let m = 84 + -84. Suppose -3*q + 0*v - v + 199 = m, q - 4*v = 62. Does 22 divide q?
True
Is 170*(-45)/36*2/(-5) a multiple of 28?
False
Let s(x) = 162*x. Let f be s(-1). Let k = 115 - f. Suppose 7*w - k = 38. Is w a multiple of 5?
True
Let h be 12/(-6) - (1 - 11). Let a be (-16)/6*(2 - (-332)/h). Let t = a + 192. Is t a multiple of 38?
True
Suppose d - 3025 = 3183 - 1720. Is 17 a factor of d?
True
Suppose -p + 3644 = 5*u, -14*p + 5*u = -16*p + 7258. Does 3 divide p?
False
Is 810*15/((-330)/(-11)) a multiple of 122?
False
Suppose 0 = 4*u - 4*h - 24704, 0 = 834*u - 829*u - 2*h - 30874. Does 147 divide u?
True
Is 107 a factor of 5/(-3) + (-41)/(-164) + (-318466)/(-24)?
True
Let g(j) = 2*j**3 - 3*j**2 + 2*j. Let d be g(2). Suppose 0 = -d*z + 237 + 987. Does 17 divide z?
True
Let w(v) = -58*v + 1072. Does 9 divide w(8)?
False
Let d(c) be the second derivative of 131*c**3/6 - 8*c**2 - 3*c + 3. Does 26 divide d(2)?
False
Is 0 + (1266 - 115 - 22/2) a multiple of 20?
True
Let d be ((-26)/26)/(1/(-2)) - 2. Suppose 6*h - 24*h + 3474 = d. Does 7 divide h?
False
Let b(j) = -9*j - 1. Let p be b(-1). Let w(c) = 8 + 7 + 3 - c + 9. Is w(p) a multiple of 7?
False
Let w(l) = -l**3 + 6*l**2 + 11*l + 3. Suppose -8*y - 40 = -13*y. Let p be w(y). Let v = 61 + p. Is 3 a factor of v?
True
Let a = -5981 + 11605. Is 19 a factor of a?
True
Let d be -1*47*(-208)/(-26). Let q = -266 - d. Is q a multiple of 5?
True
Let s(j) = 5*j - 27. Let r be s(9). Let g = r - 13. Suppose x + 1 = -2*y + 35, x - 69 = g*y. Is x a multiple of 11?
True
Let a = 11236 + -3346. Does 30 divide a?
True
Suppose 0 = -294*l + 261*l + 834240. Is l a multiple of 40?
True
Suppose -24*o - 4 = -4*v - 20*o, 8 = 2*v + o. Does 15 divide ((-15)/4)/((-5)/300*v)?
True
Let y be 4/(-22) + (-4)/(-44)*2. Suppose y*k = -k + 5. Let s(o) = o**3 - 4*o**2 + 5*o + 12. Does 39 divide s(k)?
False
Is 119 a factor of ((-1)/8)/((-20)/160)*5593?
True
Does 24 divide ((-27)/((-270)/(-8)))/((-1)/440)?
False
Let o(r) = r**3 - 20*r**2 + 7*r + 21. Let b be o(21). Let f = b - 353. Is f a multiple of 32?
True
Let n(o) = 67*o + 7. Let v(l) = l + 3. Let p(u) = n(u) - 6*v(u). Is 6 a factor of p(5)?
True
Let k(j) = -189*j + 44. Let s be k(-8). Let n = -995 + s. Does 11 divide n?
True
Suppose 12 = -f - 2*o, 4*o + 2 + 16 = f. Let d be (21/84)/(0 - f/8). Let v(r) = 16*r. Is v(d) a multiple of 16?
True
Let l = -662 - -665. Suppose l*c = 2887 + 2819. Is c a multiple of 32?
False
Is (-2596)/3*198/(-132) + 10 even?
True
Suppose 6993 + 10181 = 31*z. Let o = z - 180. Is o a multiple of 12?
False
Let h(o) be the first derivative of o**2/2 + 70*o - 6. Is 9 a factor of h(10)?
False
Let z(i) = -i - 2. Let f(x) = -78*x**2 - 5*x - 8. Let o(t) = -3*f(t) + 12*z(t). Is o(-1) a multiple of 11?
True
Let o = -3805 - -5007. Is 27 a factor of o?
False
Let r = 2918 + -1284. Suppose -5*j + 4*m + r = 0, 5*j - m - 812 = 819. Is j a multiple of 41?
False
Suppose 0 = -3*q + 32 + 37. Suppose 4*y - 26 = u, -u + 0 = 3*y - q. Suppose -y*j + 63 = -35. Does 2 divide j?
True
Let g(a) = -9*a**2 - 42*a - 270. Let q(x) = -5*x**2 - 21*x - 136. Let w(t) = 2*g(t) - 5*q(t). Is 20 a factor of w(-8)?
True
Let r = 8104 - 5748. Let d = 4038 - r. Is 11 a factor of d?
False
Let m = -3373 - -10157. Is 32 a factor of m?
True
Suppose 6746 = 2*c + 4*z, 2*z = -27*c + 32*c - 16913. Is c a multiple of 121?
False
Let a(s) = -s**3 + 8*s**2 + 2*s - 9. Let l be a(4). Suppose 8*x = -209 - l. Let h = -24 - x. Is h a multiple of 10?
True
Let o = 44 + -29. Let x be (-1)/(o/6) + 4926/15. Suppose x = 3*r - 0*r - t, -3*t = 3*r - 312. Does 12 divide r?
True
Let z = 153 - 153. Suppose -2*r + z*t - t = -260, 2*r = -2*t + 260. Is 21 a factor of r?
False
Let q = 1530 - 714. Let k = q - 455. Is 15 a factor of k?
False
Let q = -835 + 835. Suppose -12*i + 17 + 235 = q. Is i a multiple of 7?
True
Let g = -100 - -105. Suppose 5 = -g*v - 5*r, 4*v + 3 = -3*r + 2. Suppose 1035 = 5*k - 3*s + 30, v*k + s = 391. Is k a multiple of 33?
True
Suppose 12*c = -3*f + 291822, 2*c + 3*f = 6*c - 97298. Does 95 divide c?
True
Is (-36)/63 - (-466128)/21 - 1*8 a multiple of 6?
True
Let m(t) = 728*t - 304. Is 8 a factor of m(10)?
True
Suppose -3*f = -2*s - 40053, 5*f - 84*s - 66753 = -81*s. Is 133 a factor of f?
False
Let x(h) = -h**3 - 7*h**2 - 10*h + 5. Let z be x(-5). Suppose -2*o + 8 = 0, 0*w = -2*w - 4*o + 120. Suppose -2*b - 37 = -z*t, 0*t = -4*t - 4*b + w. Is t even?
False
Suppose -126*f + 19915 = -91*f. Is 54 a factor of f?
False
Let p = -979 - -1396. Suppose -p = -18*f + 825. Is f a multiple of 11?
False
Suppose -2*y - 349 = 3*j + 983, j = y + 656. Let u = -205 - y. Suppose 6*i + u = 13*i. Is i a multiple of 6?
False
Let c = -457 - 140. Let t = 1497 + c. Is t a multiple of 75?
True
Suppose 0 = -3*z + 2*z + 3*p - 11, 0 = -5*z - 2*p - 123. Let h = 27 + z. Does 7 divide -1*(-1 - 13)*6/h?
True
Suppose 5*z + 25 = -4*w, 2*w + 0*z = -z - 5. Suppose -9 = 9*f - w. Does 11 divide (2 - 4) + f - -48?
False
Let y be (20/(-25))/((-4)/10). Suppose 0 = -y*o + 4*o - 64. Let k = o + -5. Is 9 a factor of k?
True
Does 2 divide (-99 - -92)*(-1 - 349/7)?
True
Let l = -6726 - -10544. Does 71 divide l?
False
Let q(z) be the first derivative of z**4/4 - 5*z**3/2 - 9*z**2 - 9*z - 24. Let u(k) be the first derivative of q(k). Does 45 divide u(9)?
True
Let z = -9 - -30. Suppose -2*c + c = k - z, 0 = -3*k - c + 53. Suppose j - 41 = -k. Is j a multiple of 5?
True
Suppose -2469 = -6*c + 1887. Suppose -c = -0*d + 11*d. Let g = d + 157. Does 7 divide g?
True
Let g(h) = 14986*h + 326. Does 58 divide g(1)?
True
Let f(m) = 2*m**2 + m - 3. Let d be f(0). Let u be d/(4/((-60)/9)). Suppose 0 = 9*i - u*i - 48. Is i a multiple of 12?
True
Let x = 104 - 18. Let v be (-4)/(-30) + x/30. Suppose 0 = -4*k, 4*k + 0 = -v*d + 6. Does 2 divide d?
True
Let a(y) = 12*y - 281. Let q(b) = 7*b - 142. Let g(u) = 2*a(u) - 5*q(u). Is 6 a factor of g(8)?
True
Let a(r) = 2. Let w(q) = -2*q**2 - 6*q - 4. Let i(h) = -4*a(h) - w(h). Is i(11) a multiple of 33?
False
Suppose -5*o - 124272 = -6*o - 15*o. Is o a multiple of 9?
True
Suppose 3*t + 2 = 4*t. Let u(s) = 25 + s**2 + 9 - 47 - t*s. Is 12 a factor of u(8)?
False
Let k be (6 - 8)*1 + 936. Suppose 309 - k = -5*m. Is m a multiple of 16?
False
Let p(m) = -17*m**3 - 5*m**2 + 3*m + 11. Let q = 90 + -93. Does 52 divide p(q)?
True
Let r(q) = -q**3 - q**2 + 4*q + 171. Let w be r(0). Suppose -6*k + w = 3*k. Is 2 a factor of k?
False
Suppose -14138 = -6*o - 3*w + 15274, -3*w = -o + 4895. Does 64 divide o?
False
Let d = -301 + 994. Suppose 4*v = -3*m + 33, -2*v + v + 7 = 2*m. Suppose 0 = 2*f - v*f + d. Is f a multiple of 9?
True
Let y(x) = x**2 - 12*x - 248. Let k be y(-11). Suppose -5*b = -275 - 275. Suppose b + 280 = k*v + 5*g, g = v - 88. Is v a multiple of 8?
False
Suppose -5*z - 72 = -2*z. Let k = -23 - z. Does 8 divide ((-1)/k)/((-1)/24)?
True
Suppose b = 6*b - 160. Let c = b + 0. Let m = -25 + c. Is m a multiple of 7?
True
Suppose 104 = -208*f + 221*f. Suppose -5*s + 20 = -10. Is (s + -2)*2/f*4 a multiple of 2?
True
Let b(m) = -266*m + 1286. Is 23 a factor of b(-6)?
False
Does 8 divide (4*1)/((-58)/(-9048))?
True
Suppose 3*p + 5*u = p, 0 = 4*p - u - 44. Let v be 2824/p - (-7)/((-70)/4). Suppose -5*k + v = -k + g, -k + g = -73. Is 45 a factor of k?
False
Suppose 0 = -11*f - 37 + 136. Suppose -1635 = f*z - 1779. Is z a multiple of 8?
True
Let b be 839 - 1/(1/3). Suppose 47*z = 43*z + b. Does 20 