-5*k + 10285. Does 148 divide k?
True
Let l(x) = 151*x - 6152. Is 21 a factor of l(87)?
False
Let h(j) = -11*j**3 + 3*j**2 - 30*j - 42. Does 8 divide h(-7)?
True
Let h = -870 + -18. Let k = h - -2363. Is 49 a factor of k?
False
Let u(r) = 63*r**3 - 7*r - 52. Does 152 divide u(4)?
True
Suppose 0 = 28*l - 373067 + 99367. Is 85 a factor of l?
True
Is 39172/32 + (-16 - 635/(-40)) a multiple of 8?
True
Let z = -27 - -31. Suppose -3*u - z*h - 450 = 0, 0*h = h + 3. Let f = u - -215. Is 40 a factor of f?
False
Let k(n) = 2*n**2 - n - 104. Suppose h + 3*i = i, 2*h + i = 0. Let y be k(h). Let t = y - -112. Is 8 a factor of t?
True
Let y be 0 - (-329 + (-18)/3). Let d = y + -231. Is 26 a factor of d?
True
Let t = -4021 + 7854. Is t even?
False
Suppose 1836 = 3*d - d - 3*g, 3*d - 2776 = -g. Is d a multiple of 44?
True
Let m(o) = -335*o**3 - 41*o**2 - 10*o - 29. Is m(-6) a multiple of 20?
False
Does 13 divide (-1)/(-3) + (2995216/21)/8 + 2?
False
Let w = -104 - -224. Suppose 0 = 2*a - 3*l - w, 0 = 5*l - 3*l. Is a a multiple of 6?
True
Let v(l) = -42*l - 250. Let t be v(-6). Suppose 2*p - 2152 = i, -p + t*i = -494 - 582. Does 70 divide p?
False
Let m be 7590/(-88) - (-5)/4. Does 16 divide (-17)/(m/(-10))*-64?
True
Suppose -22030 = -5*p - 2*q, 5*q = 7*p + 2*q - 30813. Is 12 a factor of p?
True
Let t(r) = -2*r**3 + 66*r**2 + 13*r + 103. Is 30 a factor of t(31)?
True
Let r(w) = 8*w + 164. Let i(g) = -8*g - 160. Let c(n) = 3*i(n) + 2*r(n). Is 33 a factor of c(-26)?
False
Suppose 3*n + 14*n - 6*n = 89056. Is 23 a factor of n?
True
Suppose -4*d = m - 68 + 25, 3*m = 3*d - 36. Suppose -731 - 721 = -d*h. Is h a multiple of 36?
False
Suppose 306*i - 265*i = 126936. Is 18 a factor of i?
True
Let d be 0 - (0 - 1) - (-8 - 67). Suppose -3*h - 2*s = -3 + 13, -5*s = 2*h + 25. Suppose h = -4*x - d + 252. Does 10 divide x?
False
Let t = 7 + -96. Let p = t + 219. Suppose -4*m - 2*b + p = 0, -2*m + b + b = -62. Does 23 divide m?
False
Does 3 divide (-6)/20 - (-332784)/480?
True
Let k(d) = -32*d - 62. Let z be ((-888)/36)/(6/9). Does 33 divide k(z)?
True
Let x be 2/(-30)*-6*5. Let q(k) = -10*k - x*k - 17*k - 5*k - 17. Is 21 a factor of q(-2)?
False
Let s(n) = -n**2 - 24*n - 16. Suppose -6*i - 24 = 6*i. Let o be (i + 4)/2*(-1 + -8). Is 17 a factor of s(o)?
True
Suppose 23*y = 14*y + 378. Let z = 630 - y. Suppose 0*h - 2*h - 4*n = -588, 2*n - z = -2*h. Is 20 a factor of h?
False
Suppose u - 4*t = -11 - 4, 5*u = 3*t - 7. Let c be (13/26)/(u/24). Does 19 divide c/24 + 226/4?
True
Suppose -v = 2*u - 3, 2*u = 7*v - 3*v + 18. Suppose -3*f + 935 - 236 = 3*b, 4*b = -u*f + 934. Is 25 a factor of b?
False
Let i = 15296 - 10840. Is i even?
True
Let y = 6003 + 533. Is y a multiple of 76?
True
Suppose -18*x + 4*y = -21*x + 33154, -2*x + 3*y = -22097. Does 9 divide x?
False
Let n be (2 + -6)/(-12) + 1928/12. Let b = 308 - n. Let o = 227 - b. Is 8 a factor of o?
True
Let g(p) = 2*p**3 + 72*p**2 - 86*p + 87. Is g(-37) a multiple of 4?
False
Let j(p) = -p**3 + 39*p**2 - 2*p + 85. Let z be j(39). Is 33 a factor of (422 - 24/6)*(-4 + z)?
True
Let n = -45 - -51. Suppose -2*s - s - 5*w = -6, 2*w + n = 3*s. Suppose -4*h + 78 = -s*h. Is 13 a factor of h?
True
Suppose -1418*x + 1423*x - 4*w - 67969 = 0, 0 = -4*w + 16. Is 6 a factor of x?
False
Let h be (-3 + 7)/((-2)/(-4)). Let o be (-1*(-82)/h)/(1/20). Let x = -129 + o. Is x a multiple of 19?
True
Suppose 12 = -69*j + 65*j, 0 = q - 5*j - 2682. Is 21 a factor of q?
True
Does 3 divide 40/((-60)/(-6))*-2 - -3161?
True
Let u(d) = 192*d + 10. Let a(c) = 102*c + 0 + 5 - 2 - 38*c. Let g(j) = -7*a(j) + 2*u(j). Is g(-1) a multiple of 12?
False
Suppose -5*b + 3 = 13. Does 25 divide (15 + 59)/(b/(-4))?
False
Let h = 6903 - 5423. Is h even?
True
Is -492*(-16)/80*160/12 a multiple of 8?
True
Suppose -14*f + 435299 = -94041. Is 199 a factor of f?
True
Suppose 29 = 4*b - 43. Let p(g) = 25*g + 39 - b*g - 5*g. Does 7 divide p(-9)?
True
Does 25 divide 26/117 + (-38732)/(-18) + -2?
True
Suppose -85*m + 91*m - 54801 = -5121. Does 184 divide m?
True
Suppose 6576 = 4*g + 4*t, -10*g - t = -7*g - 4940. Suppose -824 = 13*m - 15*m + 5*k, -4*m + 2*k + g = 0. Is 20 a factor of m?
False
Let y(d) = -35*d - 4. Let x be y(-1). Is (1 + x)*3 + 15/15 a multiple of 25?
False
Is (20 - (27 + 3))/((-1)/165) a multiple of 16?
False
Let l be 0*2/(-10) + -5 - -26. Is 5 a factor of ((-30)/(-18))/(1/l)?
True
Let g(a) = 329*a - 290. Let b(s) = 110*s - 96. Let r(n) = -8*b(n) + 3*g(n). Is 53 a factor of r(5)?
False
Let n(l) = 2495*l - 414. Is 8 a factor of n(2)?
True
Let k = 60409 - 30580. Does 90 divide k?
False
Let s = 18 - 8. Let b be (-6)/10 - (-406)/s. Suppose 0 = -6*i + b + 98. Does 16 divide i?
False
Suppose -5*b + 2*x = -64899, -157*b + 154*b + 4*x + 38945 = 0. Does 6 divide b?
False
Let j(c) = -71*c**3 - 7*c**2 - 31*c + 11. Is j(-4) a multiple of 22?
False
Let x be 10/(-8)*(-16 + (14 - 2)). Does 12 divide 63/((-12)/(-15)*x/20)?
False
Suppose -4*j - 5*z = -8605, -j - 268*z = -265*z - 2160. Is j a multiple of 33?
True
Let b be 1 - (-3 + 8 + -6). Suppose 5*d = b*c - 118, -2*c - 3*d = d - 154. Is 23 a factor of c?
True
Suppose -1134052 = -133*f - 383932. Is f a multiple of 72?
False
Suppose z - 9329 = -2*g, -2*g = 5*z - 4949 - 4368. Is g a multiple of 23?
False
Let k(r) = -r**2 + 14*r + 5062. Is k(49) a multiple of 45?
False
Let x be ((-5)/1 + -3)*-1. Let a(j) = 20*j + 2*j**2 - 21 - j**2 - x*j. Is 16 a factor of a(-16)?
False
Let f = 205 - 192. Is (-10)/(-65) - (-1428)/f a multiple of 5?
True
Let l = 7206 - 3755. Is l a multiple of 149?
False
Let k = -462 - -702. Suppose 10*t + k = -5*t. Let o = 126 - t. Does 28 divide o?
False
Suppose -93*v + 122128 = -140504. Does 4 divide v?
True
Let c(d) be the third derivative of -11*d**4/24 + 31*d**3/6 + 29*d**2. Does 9 divide c(-2)?
False
Suppose 3*f = y - 7964 + 2846, y = 5*f + 5110. Does 171 divide y?
True
Let a(l) = -14*l + 608. Is 6 a factor of a(40)?
True
Let g(o) = 5*o**3 - 22*o**2 - 11*o - 3. Let i be g(12). Suppose 549 = -18*h + i. Is h a multiple of 14?
True
Let o = 205 + -163. Does 9 divide 5*(o - (-5 + 0))?
False
Suppose 0 = w + 2*t - 9, 8 - 2 = -3*w + 5*t. Is ((-3330)/(-54))/(w/45) a multiple of 12?
False
Let r = 980 + -252. Let d = 1105 - r. Is d a multiple of 13?
True
Suppose x + 0 + 4 = z, 5*z + 5*x - 10 = 0. Suppose z*r - r - 184 = 0. Let k = r + -67. Does 17 divide k?
False
Suppose 5241 = 4*q - u, 5*q = 5*u + 8138 - 1598. Let b = q - 471. Is 30 a factor of b?
True
Let s = -4158 + 8286. Does 129 divide s?
True
Let y be ((-3 - -3) + (-6)/(-12))*0. Suppose 14*x - 4680 + 494 = y. Does 13 divide x?
True
Let c(t) = 58*t + 513. Is 28 a factor of c(85)?
False
Suppose 5*c = 268 + 112. Let q = 173 - c. Suppose q = 3*r - 8. Is 7 a factor of r?
True
Let y be 26/(-65) - 12824/(-10). Let m = y + -616. Is 37 a factor of m?
True
Suppose -9*r = -3*r - 12. Let w(k) = -k**3 + 4*k**2 - 4*k + 2. Let t be w(r). Suppose 170 = t*v - 4*x, -v - 4*x = -0*x - 85. Is 17 a factor of v?
True
Suppose -3730*r + 3727*r - 594 = 0. Suppose 0*m - m = -49. Let l = m - r. Does 31 divide l?
False
Let w(s) = -5*s**3 - 6*s**2 + 4*s. Let a be w(-3). Let g = a - 65. Suppose -5*m = -2*y + 45, -g*y - 4*m + 50 = -26. Is y a multiple of 5?
True
Let j = 495 + 680. Suppose 4*p + 644 = x, 3*p + 1336 = 4*x - j. Is x a multiple of 20?
False
Suppose -34*m + 26*m - 3008 = 0. Let g = -318 - m. Is g a multiple of 29?
True
Let g = 7 - 11. Let k be (14/21 + g)*(-12)/5. Does 20 divide 2 + (-12)/k + (-609)/(-6)?
False
Suppose -5*n - 143 + 655 = -4*g, 2*n - 4*g = 212. Suppose 2*y = t + 204, 2*y = y + t + n. Does 25 divide y?
False
Let s = 73 - 74. Let p be (-1)/(-1)*s*7. Let l = 111 + p. Does 26 divide l?
True
Let s(m) = m**2 - 9*m + 6350. Does 5 divide s(0)?
True
Suppose -5*h + 23 = 4*r, 3*h + 1 = 5*r - 0*h. Let f(b) = -r*b + 4*b + 2*b + 3*b + 20. Is f(4) a multiple of 3?
True
Let j(b) = 2*b**2 + 9*b + 8. Let p be j(-4). Suppose p*x - m = 8, 2*m - 8 = -0*x - 4*x. Suppose x*o = 67 + 101. Does 14 divide o?
True
Suppose 83*g = 4648660 - 404787. Is g a multiple of 76?
False
Let u = -12718 + 13265. Is u a multiple of 2?
False
Let o(s) = 32*s**2 + 28*s + 88. Suppose 9*d = 3*d - 36. Is 16 a factor of o(d)?
True
Let m = -33 + 2145. Is 8 a factor of 8 + m/8 + -1?
False
Let l(h) = -4*h**2 - 4*h + 1. 