1). Let l(p) = 2*p**3 + 9*p**2 - 18*p + 11. Does 33 divide l(g)?
True
Suppose -3*k = 0, 4*k = -2*p - k. Suppose p = 41*f - 17 - 639. Does 5 divide f?
False
Let v(t) = -8*t. Let m be v(-3). Let f = 260 - 266. Is (-24)/m - (f + 2/2) a multiple of 3?
False
Is -4956*(-6)/8*3160/474 a multiple of 12?
True
Suppose -5*j - 140 = -u, -u - 5 + 91 = -3*j. Let c = j - -33. Does 12 divide c/8 + 1245/20?
False
Let p(w) = -2*w**3 - 9*w**2 - 6*w + 146. Is p(-7) even?
False
Suppose -2*k - 41*o + 176 = -43*o, -4*o = 5*k - 413. Is k a multiple of 17?
True
Suppose 793047 + 675003 + 1198965 = 235*i. Is 85 a factor of i?
False
Let p be -18*1*(-2)/4. Let k(v) = -2*v + 118. Is 17 a factor of k(p)?
False
Is (144/15)/((-120)/(-57200)) a multiple of 15?
False
Let t(h) be the second derivative of h**4/12 - h**3 + 3*h**2/2 + 5*h. Let q be t(7). Suppose 0 = q*o - 5*o - 120. Is o a multiple of 24?
True
Suppose 3538 - 3544 = -3*l. Is l a multiple of 2?
True
Suppose -2*v - v + 2*f = 32, -4*f = 5*v + 24. Is 14 a factor of (10176/(-2))/v + 7?
False
Let q = 22 + -20. Suppose q*o - 3*n - 41 = 0, 3*o - 28 = 2*o + 3*n. Let g(d) = d**3 - 13*d**2 + 4*d - 19. Is 6 a factor of g(o)?
False
Let y(w) = -9*w - 7. Let m(f) = -5*f - 4. Let h(d) = 7*m(d) - 4*y(d). Let a be h(2). Is (4 + (-14)/(-3))/(a/12) a multiple of 13?
True
Let d(s) be the first derivative of -5*s**2/2 + 3*s - 54. Is 14 a factor of d(-5)?
True
Let c(s) = 1. Let o(a) = a + 5. Let n(l) = 2*c(l) + o(l). Let z be n(13). Suppose -40 = -r + z. Does 28 divide r?
False
Suppose -1083242 = -26*w + 852304 - 391536. Is 15 a factor of w?
True
Suppose -2*r + 4*l + 532 = -12, -4*r = 3*l - 1055. Does 4 divide r?
False
Let n(i) = -181*i + 322. Is 24 a factor of n(-46)?
False
Let r = 1007 - 533. Suppose -u + r = -3*k, 10*k = 15*k + 25. Does 17 divide u?
True
Is 31 a factor of 260/20 - 428*1974/(-12)?
False
Let q(i) = -21*i**3 + 7*i**2 + 7*i. Let g be q(-1). Is 34 a factor of 81/21 + -4 - (-9642)/g?
False
Suppose 5*a + 14 = 24. Suppose -a*k - 5*p = -185, 6*p - 181 = -2*k + 5*p. Is 6 a factor of k?
True
Let v(k) = 2*k**2 - 27*k + 71. Let n be v(4). Let u(y) = -2*y**3 - 4*y**2 + 8*y. Does 3 divide u(n)?
False
Let s(l) = -4*l**3 - 4*l**2 + l + 6. Let w(b) = -b**3 - b**2 + 1. Let f = -44 - -43. Let v(x) = f*s(x) + 6*w(x). Is v(-3) a multiple of 14?
False
Does 30 divide (-41338)/(-13) + (-945)/195 + 5?
True
Let w = 62 - 60. Suppose w*x = 28 - 18. Suppose -a + 5*a - 32 = -2*u, 92 = 3*u - x*a. Is u a multiple of 24?
True
Suppose 0 = 2*i + 2*v - 5*v - 4834, 5*v = -i + 2417. Suppose i + 719 = 7*g. Suppose -3*w + g = 85. Does 46 divide w?
False
Suppose 3*n - 5694 = z + 4739, 0 = 3*n - 5*z - 10405. Does 10 divide n?
True
Suppose -40*u - 46*u = -81*u. Suppose -4*i + 3*k + 1039 = u, 89 = i + 5*k - 142. Is i a multiple of 32?
True
Suppose 317 = 12*g - 835. Let w = g + 28. Is 31 a factor of w?
True
Is 77 a factor of ((-113)/(3616/3008))/(4/(-726) - 0)?
False
Suppose -4*l + 7361 = 3*n, 24*l - 5522 = 21*l - n. Is 4 a factor of l?
False
Suppose -256 = -2*c + v - 4*v, 2*v = -4*c + 512. Let w be -1*19/(171/909). Let t = w + c. Is 17 a factor of t?
False
Let b be -4 + -6 + (5 - (6 + -3)). Is 15 a factor of 20/(-6)*324/b?
True
Let q(v) = v**2 + 2*v + 16. Let s be q(0). Suppose -s*o + 254 = -14*o. Is o a multiple of 32?
False
Let k be (-24)/9*81/(-18). Suppose k*m = 378 - 150. Is m a multiple of 6?
False
Suppose w = y - 6, w + 7 = 2*y - 0*w. Suppose i - v - 2*v - 5 = 0, -2*i = 5*v + y. Suppose u + 1 = 0, i*o - 5*u - 18 = 11. Is o a multiple of 8?
False
Suppose -6*k = v - 9181, 28*v = 30*v + 10. Is k a multiple of 107?
False
Suppose 0 = -508*y + 515*y - 37912. Is y a multiple of 100?
False
Suppose 4*k + 4*k = 32. Suppose 2*q - 17 = q + 3*h, 0 = -k*q + h + 35. Suppose 0 = q*l - 4*l - 912. Does 38 divide l?
True
Let l be 0 + (-8)/52 - (-91746)/117. Let t = l - 142. Is t a multiple of 65?
False
Let s = -29 - -33. Suppose 2*q - 6*q = s*c - 52, -5*c = -2*q - 9. Does 9 divide q/(2/1) - -59?
True
Suppose w = -2*d + 74, w + 0*w - 2 = 0. Suppose m - 6*s = -24, -39 = -4*m + 3*s - 51. Does 3 divide 4/(-12)*m + d?
True
Let k = 1 + -2. Let p = k + 241. Suppose 0 = -0*u + 6*u - p. Does 10 divide u?
True
Let i = 7014 - 4308. Does 82 divide i?
True
Let o be 10/6 - 465/(-45). Suppose 1134 = o*w - 9*w. Is 7 a factor of w?
True
Let z be 31 - (-1 + -5 - -2). Suppose 32*p + 396 = z*p. Let i = p - 106. Does 12 divide i?
False
Let b(f) = -3*f - 32. Let m(i) = 5*i + 3. Let k be m(-5). Let c be b(k). Let j = c - 8. Is j a multiple of 19?
False
Let d be 27200/(-128) - (7/(-2) + 2). Let g = -67 - d. Does 18 divide g?
True
Let y(k) = -k**2 + k + 536. Let a be y(19). Suppose 0 = -3*o + 15, j + o - 125 = 2*o. Let c = a - j. Is 19 a factor of c?
False
Is (1*-5 - (-85 - -32898))/(-2) a multiple of 105?
False
Suppose -55*h = -67*h + 77088. Is 44 a factor of h?
True
Let y = -23 - -36. Let o = -60 - y. Let s = o + 148. Is 9 a factor of s?
False
Let u be 4/16*2*2. Let z be ((-3)/6 + u*3)*2. Suppose 229 = -z*i + 769. Is 7 a factor of i?
False
Let h = 148 - -174. Let a = h - 187. Does 15 divide a?
True
Let t(b) = b**3 + 8*b**2 - 29 + b**2 + 51 + 2*b. Let w be t(-9). Suppose 190 = 4*x - 5*l, 0*l = -2*l - w. Is x a multiple of 9?
True
Suppose 3626*t - 2878 = 3628*t. Let c = t - -2719. Is c a multiple of 20?
True
Let v(z) = -z**2 - 4*z + 10. Let b be v(-5). Suppose -30 = -o - 2*s, b*o - o - 117 = -5*s. Is o a multiple of 4?
True
Let o(v) = v**3 - 16*v**2 + 34*v + 7. Let s = -74 - -91. Is o(s) a multiple of 19?
True
Let k = -86 - -91. Suppose 5*z - 5 = 5, 0 = k*p + z - 32. Let q(v) = -v**3 + 14*v**2 - 13*v + 33. Is q(p) a multiple of 18?
False
Let c(u) = -2*u + 75. Let t be c(0). Let s(b) = -17*b - 38. Let d be s(-8). Let p = d - t. Does 10 divide p?
False
Let z(s) = -66*s + 29. Let t be z(-6). Let b = -254 + t. Is 19 a factor of b?
True
Let s(c) = 3*c**2 + 15*c - 15. Let i be s(5). Let b = i + -83. Is (18/(-12))/(0 - 6/b) a multiple of 5?
False
Is 1/((-420372)/(-1050780) - (-6)/(-15)) a multiple of 6?
False
Suppose 2 = l - 1. Suppose -l*m = -3*i - 33, 5*m + 6 = 3*i + 69. Suppose -28 = -s + 4*w, -s - m = -3*w - 40. Does 13 divide s?
False
Suppose -25*r = -5*w - 29*r + 7550, -5*w = r - 7550. Does 5 divide w?
True
Let o(g) = -97*g + 6. Let x be o(3). Let p = -200 - x. Let w = p - -30. Does 14 divide w?
False
Let q(h) = h**3 + 47*h**2 + 4*h - 306. Is q(-15) a multiple of 102?
True
Let p = 65 - 109. Let q(f) = -6*f - 180. Is 6 a factor of q(p)?
True
Let r be -12 - (4/(-18) + 200/(-72)). Let h(n) = -75*n + 120. Is 13 a factor of h(r)?
False
Is 11 a factor of 1196/(-10)*-8 - (10 - 3)/(-35)?
True
Let r = -475 - -265. Let d be (9/(-18))/(-1 - r/212). Let a = 1 + d. Is 18 a factor of a?
True
Let c be (2/(-5))/(-2 + 179/90). Suppose -4*l + 948 = -c. Does 12 divide l/16 - (-60)/(-160)?
False
Suppose 7696 = 4*v - o, 2*v = -4*o + 3478 + 388. Does 55 divide v?
True
Let b(h) = -h**3 - 8*h**2 - 12*h - 36. Let d be b(-7). Is ((-16)/d)/(1 + 498/(-504)) a multiple of 12?
True
Let l = 10847 - 4927. Is l a multiple of 10?
True
Suppose 5*f = 3*f + 116. Suppose 3*u = 4*i - 82, 5*u - u = 2*i - 36. Let h = f - i. Is 12 a factor of h?
True
Let h be (30/10)/((-6)/10). Let j(a) = -a**2 - 2*a - 1. Let k be j(h). Is 23 a factor of (4/k)/((-3)/1668)?
False
Let a be 132/40 - 45/150. Suppose a*k = 3*x - 300, k = 5*k - 20. Is x a multiple of 5?
True
Suppose r + 2*z - 1205 = 0, 0 = 9*r - 8*r - 2*z - 1213. Is r a multiple of 39?
True
Let v(p) = 8*p + 13. Let z be v(24). Suppose z = 7*c - 2*c. Does 16 divide c?
False
Suppose 0 = 5*t - 2*d - 30, 6*d - 3*d + 35 = 5*t. Suppose t = -2*c, -n - 14 = c - 42. Does 2 divide n?
True
Suppose 3*v + 18 = 0, 4*v = -k - 226 + 5812. Is 165 a factor of k?
True
Suppose -u - u = -f - 3, -3*u = 2*f + 20. Let a be (-4)/(16/f + 2). Suppose 0*p = -p + a. Does 13 divide p?
False
Suppose -2 = 3*g - 11. Let q(v) = -4*v - g - 33*v - 16*v - 24*v. Does 37 divide q(-1)?
True
Suppose 9*b - 5*b - q = 12166, b + q = 3034. Does 80 divide b?
True
Suppose -4*t - t = -225. Let j = -43 + t. Is 3 a factor of 3*j + 0 + 4 + -2?
False
Let y(v) = v**3 + 4*v**2 - 1. Let c be y(-4). Let i be 3/6*22 - (c + -2). Suppose 90 = i*d - 8*d. Does 11 divide d?
False
Let i = 48 - 48. Suppose i = 3*o + 3*o. Suppose u + 2 = -3*f + 23, 4*u = o