l - 10. Suppose 4*h + 24 = l*h. Is 184/h - 6/9 a multiple of 11?
False
Suppose -2*b = -3*g + 12258, -b - 14762 = -3*g - 2510. Is 169 a factor of g?
False
Suppose 4*y - 7*n = -3*y + 57876, -24774 = -3*y - 2*n. Is 18 a factor of y?
True
Let c(x) = x**2 + 12. Let f(w) = -5*w**2 - w - 49. Let k(d) = -9*c(d) - 2*f(d). Let q(r) = -r**2 - r + 2. Let m be q(3). Is 14 a factor of k(m)?
True
Let m(c) = 4*c**3 + 7*c**2 - 4*c - 25. Is 204 a factor of m(12)?
False
Let n be (-68)/(-12) - (-3)/9. Suppose -n*p - 2*p = 120. Is -4*(-20)/p*-6 a multiple of 32?
True
Suppose 7*t - 10*t + 3*q = -37920, t - 12661 = -2*q. Is t a multiple of 211?
False
Suppose 6 = 2*n - 0. Suppose z - 2*z + 24 = -3*i, 2*i = 5*z - 42. Let l = z + n. Is 3 a factor of l?
True
Let v be ((-5)/((-50)/(-15)))/((-1)/(-232)). Let m = 878 + v. Does 23 divide m?
False
Let f = 71761 - 28880. Is 10 a factor of f?
False
Let r be 111/(-259) + (-1282)/14. Let v = r - -137. Does 45 divide v?
True
Suppose -h + 170 = -17. Let l = -263 + h. Let g = 82 + l. Is g a multiple of 3?
True
Suppose 3*b = 2*f + 107510, -f - 179195 = 58*b - 63*b. Is b a multiple of 280?
True
Suppose 0*p - 3*j = 4*p + 1968, -p - 5*j - 492 = 0. Let c = -292 - p. Is c a multiple of 40?
True
Let l = 13560 + -10112. Is 116 a factor of l?
False
Let i(o) = -19*o**2 - 3*o + 2. Let b be i(3). Suppose 5*v + 215 = -3*w, 25*w - 145 = 27*w + 5*v. Let j = w - b. Is 36 a factor of j?
True
Does 17 divide (42950/2 + -4)/1?
True
Let p = -84 + 87. Suppose -4*y + 30 = u, u + 10 + 9 = p*y. Suppose -2*z + 247 = y. Is z a multiple of 8?
True
Suppose 0 = 3*w - 12, 5*w - w = 4*x - 244. Suppose -j = x - 74. Suppose j*t = 15*t - 300. Does 10 divide t?
True
Let t(i) = i**3 - 4*i**2 - 2*i + 45. Let j be t(0). Let o = 123 + j. Does 42 divide o?
True
Let g(n) = 4*n**3 + 6*n**2 + 6*n - 4. Let w be g(-3). Let f = w - -78. Suppose f*t = 5*t - 6, -2*d - 3*t = -86. Does 5 divide d?
True
Does 22 divide ((-12)/(-225)*15)/(1/2515)?
False
Let n(f) = 178*f - 1179. Is n(8) a multiple of 5?
True
Let f = -7160 - -33332. Does 36 divide f?
True
Suppose 0*d + 27 = 3*m + 4*d, 4*m - 5 = 5*d. Suppose s + 136 = -m*c, 2*c = -c - 9. Let t = s - -188. Does 16 divide t?
False
Suppose 56934 = 16*q - 3674. Does 6 divide q?
False
Suppose 5*t - 32 - 128 = 0. Suppose 0 = -9*f + 27. Suppose f*z = -2*i + t, -14 = -z - 0*i + i. Does 2 divide z?
True
Let h(o) = 4*o**2 - o + 95. Let w be h(19). Suppose 1023*z = 1031*z - w. Is z a multiple of 10?
True
Suppose -2*m = -4*q - 2122, 113 = 3*q + 98. Does 85 divide m?
False
Let b = 143 - 140. Suppose 2 + 325 = b*f. Is 2 a factor of f?
False
Suppose q = -4*z - 16, -2*z - 19 + 55 = -5*q. Does 12 divide 8*((-2)/q - 422/(-8))?
False
Is 18 a factor of ((-76)/10)/(3/(-4725))?
True
Suppose 10*d - 7*d = 3*r - 126, -2*r + 178 = -4*d. Let w = d + 814. Does 59 divide w?
True
Let y = -16 + 73. Let w = y - -66. Is w a multiple of 41?
True
Suppose 3*b = -3*q + 306, 7*q = 4*b + 4*q - 422. Let w = 369 - b. Is w a multiple of 53?
True
Suppose -990 = -2*k - 2*w, 4*w - 847 - 638 = -3*k. Suppose -5*v = -0*d + d - 1276, 0 = 2*d - 2. Suppose -2*q - 15 = 4*m - v, 5*m - k = -4*q. Does 10 divide q?
True
Let n(l) = 45*l**2 - 118*l + 48. Does 12 divide n(12)?
True
Suppose -9*f + 205 = 178. Suppose 5*n = f*g - 2053, -5*g - 11*n + 3375 = -10*n. Is 31 a factor of g?
False
Is 1631 + (-84)/16*(-68)/(-51) a multiple of 56?
True
Let n(p) = -p**3 + 2*p**2 - 4*p + 172. Suppose 91 = -7*h + 91. Is n(h) a multiple of 32?
False
Let b(y) be the first derivative of -19*y**2/2 - 6*y + 30. Does 9 divide b(-15)?
True
Let u(o) = -9*o - 45. Let x = -68 + 68. Suppose -2*m - 5*d - 2 = -x*d, 2*d - 22 = 3*m. Is u(m) a multiple of 2?
False
Suppose 0 = -m - 5 - 50. Suppose -3471 - 8571 = 446*t. Let j = t - m. Is 9 a factor of j?
False
Let t(x) = 47*x - 50. Let z be t(3). Is 15535/z + 8/28 a multiple of 5?
False
Let n be ((-2)/2)/(3 - 4). Let k(d) be the second derivative of 7*d**3 - 4*d**2 - 2*d. Does 17 divide k(n)?
True
Suppose 14*q = 90 + 120. Suppose -q*t + 8*t = -14. Is (42 + (2 - t))/(24/64) a multiple of 14?
True
Suppose -23 = -6*c + 1. Suppose 5*r = 7*r + c. Is 55 a factor of (-4)/2 + 148 + r?
False
Suppose 5*d - 5*c - 3050 = 0, 4*d - 1500 - 940 = -4*c. Suppose -2*b + 7*b - d = -2*w, -2*b + 260 = 4*w. Does 20 divide b?
True
Let f be 5/(-40)*58*(-1 + -3). Suppose -f*w + 25*w = -704. Does 4 divide w?
True
Suppose -22*o = -20*o - 2*r - 37052, -92626 = -5*o + 3*r. Is o a multiple of 11?
True
Let x = -98 - -97. Does 15 divide (1 - (0 + x + -3)) + 826?
False
Let d = -225 + -114. Let s = -119 - d. Suppose 0*p - s = -4*p. Is 10 a factor of p?
False
Let r = 628 - 359. Let q = r + -193. Is 24 a factor of q?
False
Let b(t) = -9*t**3 + 21*t**2 - 18*t + 5. Let l(w) = -5*w**3 + 11*w**2 - 9*w + 3. Let s(i) = 6*b(i) - 11*l(i). Suppose 5*d + 20 = -0*d. Is 14 a factor of s(d)?
False
Is 115 a factor of (3/3)/((624/(-399576))/(-26))?
False
Let w be (-60)/(7 - 4)*1/4. Is 7 a factor of -69*(9 + w)/(-2)?
False
Suppose 3*o = -9 + 27. Suppose 0 = -o*h + 5*h + 363. Is 14 a factor of h?
False
Suppose -3*b = -4*b + 4*h + 56, -b + 65 = -h. Let k be (1 - 0) + 4 + -5. Suppose k*c - b = -c. Is 17 a factor of c?
True
Suppose 4*y - 2*y = 4, -i - y = -8581. Does 172 divide i?
False
Suppose 2*w + 6 = -m - 0*m, w - 6 = -5*m. Let d(p) = -19 + 16 + 25*p**2 + 2*p - 8*p**2 + 2*p**2. Does 11 divide d(m)?
True
Suppose 0*w + 3*o = 5*w + 102, -2*o = 4*w + 86. Is 38 a factor of -12*2/(-6)*(131 - w)?
True
Let s(i) = 2*i**2 + 29*i - 7. Let r be s(-15). Let q be ((-572)/r)/((-9)/18). Suppose 2*f = 3*b + 235, -4*b + q = 5*f - 502. Is 9 a factor of f?
False
Suppose -q = 4*i + 6, 7*i + 4 = -3*q + 2*i. Suppose q*o = -3*s - 133, 213 + 6 = -5*s - 4*o. Let p = -27 - s. Does 10 divide p?
True
Suppose -5*f + 3*l = -31, 8 + 3 = f - 3*l. Suppose -f*v - 175 = -4*t + 315, -2*t = 4*v - 258. Is 25 a factor of t?
True
Suppose 8*p = 27 + 13. Suppose -4*m + 3*d = -35, -5*m - 5*d - p = -m. Does 7 divide (m/(-2))/(15/(-420))?
True
Let o(q) = q**3 - 19*q**2 - 116*q. Is o(27) a multiple of 36?
True
Let s(h) = -h**3 + 62*h**2 - 24*h - 105. Is s(42) a multiple of 36?
False
Suppose 25*m + 19*m = 49*m - 130. Does 2 divide m?
True
Suppose -2 = 7*d - 9. Let x be -1 + 7/d*-7. Is ((-9)/6)/(1*3/x) a multiple of 5?
True
Let x = -12987 - -33151. Does 30 divide x?
False
Suppose -4*a + z = -10 + 1, -3*a - 2*z = -4. Suppose -a*u - w = -5, u - w - 4 = -0*u. Suppose -4*c - 257 = -5*g, -2*g + c + 110 = -u*c. Is g a multiple of 12?
False
Let q = 2473 - -65. Does 18 divide q?
True
Let w = -42 + 43. Let z(c) = -3 + 6 - 5*c + 7 - w. Is 27 a factor of z(-8)?
False
Suppose -4*l = -v + 22535, 343*v - l = 346*v - 67553. Is 34 a factor of v?
False
Suppose 4*n - 3*b - 74 = 0, 2*n = b - 8 + 46. Let k(a) = 9*a - 17. Is k(n) a multiple of 51?
False
Suppose 4*z - 15*z = -18425. Suppose h - 2199 + 489 = -3*y, 4*y + z = h. Does 17 divide h?
False
Suppose 3*k - 22 = 14*k. Let d(p) = 115*p**2 - p. Is d(k) a multiple of 22?
True
Let z(b) = 5*b**2 + b - 6. Let t be z(-3). Let r be 873/t - (-2)/(-8). Suppose 5*a = 5*x, 4*x + 7*a - r = 3*a. Is x even?
False
Let z = -360 - -354. Is 7 a factor of ((-9)/((-45)/10))/(z/(-903))?
True
Is 123 a factor of (-3*(-3)/(-3) - -2)/((-8)/185608)?
False
Let v = 450 - 251. Let t = v + -92. Suppose -5*b = p - t - 3, -2*p = -4*b - 290. Is 27 a factor of p?
True
Let a(j) be the second derivative of -j**4/6 + 9*j**3/2 - j**2 + 39*j + 2. Suppose o + 4*t = 21, 5*t - 14 - 9 = -o. Is a(o) even?
False
Suppose 4*s - 17119 = -5851 + 45248. Does 48 divide s?
False
Suppose 693239 = 37*k - 208081. Is 174 a factor of k?
True
Is (24/(-36))/((-4)/3384) a multiple of 12?
True
Let s(c) = -c + 35. Let r be s(20). Suppose -r*k + 13*k = -1088. Is 27 a factor of k?
False
Let k(b) = 519*b**3 + 6*b - 41. Is 51 a factor of k(3)?
False
Let y(q) = 13*q**2. Let x(n) = -n**2 + 13*n + 29. Let v be x(15). Let z be y(v). Suppose 2*f - z = -3*k, -4*f + 44 = -5*k - 15. Does 6 divide f?
False
Let z(r) = 2*r**3 + 51*r**2 + 8*r + 35. Is 32 a factor of z(-11)?
True
Does 11 divide (-51980)/(-12) - 4/(-17 + 5)?
False
Suppose -21 = -2*s + 11. Suppose 0 = 4*o - s*o + 2*o. Suppose o = -3*f + 3*l + 309, 5*f - 480 - 51 = -3*l. Is 7 a factor of f?
True
Is -1 + 13666/4 - ((-77)/(-22) + -1) a multiple of 2?
False