k(q)?
False
Let w = -47690 - -73262. Is 16 a factor of w?
False
Suppose -309*y + 9744 = -280*y. Is y a multiple of 14?
True
Let t be (-6)/(-2) - (-154)/7. Suppose -6*k - 5*y = -k - 220, 0 = 5*y - t. Is 4 a factor of k?
False
Suppose 0*b + g + 77 = 2*b, -139 = -4*b - 3*g. Suppose -u - 35 = -5*h, h - 5*u - b + 6 = 0. Is 36 a factor of ((-3)/2)/(h/(-808))?
False
Let u(o) = 17*o**2 - 22*o**2 - 27*o**2 - 4 - 6*o + 5 - o**3. Does 12 divide u(-32)?
False
Let w = 88 + -77. Suppose 15*x = w*x + 160. Does 11 divide x?
False
Let g(s) = -s**3 - 6*s**2 - 2*s + 15. Let t be g(-5). Suppose t = -5*z - 15, -3*z - 78 = -k + z. Let v = 87 - k. Is v a multiple of 3?
True
Let b(j) = j**3 + 20*j**2 + 19*j - 18. Let x = -502 - -488. Is 22 a factor of b(x)?
False
Suppose 2*b - 91*h - 4284 = -93*h, -3*h = -4*b + 8554. Does 16 divide b?
False
Suppose 89*r - 41*r - 123872 = -r. Is r a multiple of 2?
True
Suppose 5*l + 899 - 8039 = -3*g, 0 = -l - g + 1428. Is 34 a factor of l?
True
Let t be (-2)/(-11) - 207488/(-88). Suppose -4*n = -n - t. Suppose 4*m - 7*j + 3*j = 624, -n = -5*m - j. Is m a multiple of 36?
False
Let w(i) = 259*i - 3964. Is w(48) a multiple of 35?
False
Suppose -128 = -z + 268. Is z a multiple of 33?
True
Let r = -21443 + 59795. Does 282 divide r?
True
Suppose 3*l - 943 = -5*g + 818, -5*l - 2*g = -2916. Suppose -4*d + l = 38. Is 34 a factor of d?
True
Suppose 280*z = 148*z + 1984620. Is 37 a factor of z?
False
Does 13 divide (13 - 343/28)/((-21)/(-610988))?
False
Let o(i) = 5*i**2 + 2*i + 9. Let z(h) = 7*h**2 + 2*h + 9. Let g(k) = 6*o(k) - 4*z(k). Does 6 divide g(-6)?
True
Let h = 44431 - 22720. Is h a multiple of 79?
False
Let n(g) be the second derivative of g**5/4 + g**4/12 - 5*g**3/6 + 3*g**2/2 + g. Suppose -2*l - 4*t + 22 = 0, 5*t - 10 - 1 = 3*l. Is n(l) a multiple of 27?
False
Let z be ((-2)/(-6))/((-2)/(-48)). Let j be ((-106)/4 - 1)*z/10. Let x = j - -51. Does 29 divide x?
True
Suppose -k = j - 329, -10*j + 1643 = 5*k - 7*j. Does 8 divide k?
True
Let k(u) = -u**3 + 5*u**2 + 5*u - 10. Suppose -67 - 13 = 10*g. Is k(g) a multiple of 63?
False
Suppose 36 = 12*h - 36. Suppose 0 = 5*i + 15, 8*w - 465 = h*w - 3*i. Does 12 divide w?
False
Let q(w) = -10*w + 87. Suppose -15 = 14*t + 209. Does 13 divide q(t)?
True
Suppose -p = -2*a + 206, 4*a + 1072 = -5*p - 0*a. Let w = 443 - p. Is w a multiple of 16?
False
Let t = 418 + -270. Let k = t - 70. Let n = 2 + k. Is n a multiple of 20?
True
Let j(x) = -18*x - 3. Suppose 0 = 4*k - 3 - 49. Suppose -k = 8*c + 43. Is 13 a factor of j(c)?
False
Suppose 18*p - 1309 = p. Let q = 135 - p. Let s = -33 + q. Does 5 divide s?
True
Let b(l) = l**2 - 10*l - 11. Let j be b(10). Let k be 2/j + (-4)/(-22). Suppose k = 5*r + 33 - 88. Is 2 a factor of r?
False
Let w(p) = 18 - 8*p + 20*p + 39 - 7*p + 4. Let t = -1 + -4. Does 36 divide w(t)?
True
Let i(q) = 54*q + 2420. Is 38 a factor of i(34)?
True
Suppose -19766*c + 105084 = -19764*c. Does 21 divide c?
True
Suppose 0 = -365*f + 368*f - 17343. Is f a multiple of 13?
False
Suppose 4*s + 18 = -4*l + 7*l, 4*l - 2 = -2*s. Let h(b) = -b - 1. Let g be h(l). Does 30 divide (g + (-18)/(-4))/(2/132)?
False
Let d = 30199 + -21069. Does 110 divide d?
True
Suppose -7*c - 112 = -0*c. Let x = c - 13. Let y = x - -46. Does 7 divide y?
False
Let p(b) = b**2 + 55*b - 165. Is 12 a factor of p(37)?
False
Let b = 198 + 204. Let l = -230 + b. Does 32 divide l?
False
Let l = -68 - -88. Suppose l = 11*q - 7*q. Suppose -g + 76 = 3*g - 4*k, -3*g + q*k = -47. Is 3 a factor of g?
True
Let n(o) = 3*o**2 - 9*o - 10. Let x = -104 - -112. Does 22 divide n(x)?
True
Is 7 a factor of (-1750679)/19*((-1)/2)/(91/26)?
False
Suppose -5*w + 31 - 26 = 0. Let k(m) = 70*m + 8. Is 11 a factor of k(w)?
False
Let b = 515 + -811. Let t = b - -342. Does 9 divide t?
False
Suppose 2*p + 5*s - 580 = 0, -4*p - 205*s + 1134 = -208*s. Is p a multiple of 42?
False
Let h(y) = -3822*y - 54. Is h(-1) a multiple of 4?
True
Suppose 104*o - 380222 = 340087 - 208629. Is 30 a factor of o?
True
Suppose -193 = v - 617. Suppose c - 3*n - 603 = -c, 285 = c + 4*n. Let j = v - c. Is 27 a factor of j?
False
Let l = 200 - 227. Is (3 - 2)/(-1) - l a multiple of 26?
True
Let u(o) = o**3 + 11*o**2 - 13*o - 38. Let l be u(-12). Let a be 26/(24/(-15) + 2). Let n = l + a. Is n a multiple of 13?
True
Suppose 0*v - 3*d = v + 12, 0 = -4*v - 3*d - 12. Suppose v = -z + 2*z - 3*j - 236, 2*z - 462 = j. Let k = z - 162. Is 17 a factor of k?
True
Let z(w) be the third derivative of -w**5/60 - w**4/24 + w**3 - 16*w**2. Let f be z(3). Is 1/((-20)/110 + f/(-22)) a multiple of 4?
False
Let g be -1 - 229*-1*(-1 - -2). Let c = 407 - g. Is 12 a factor of c?
False
Let j(z) = -z**3 + 87*z**2 + 54*z - 2113. Is 26 a factor of j(87)?
False
Let i(x) = x**3 + 8*x**2 + 3*x + 3. Let k(u) = 5*u + 35. Let m be k(-9). Let d(j) = -j**2 - 11*j - 17. Let h be d(m). Is 6 a factor of i(h)?
False
Suppose -44*m - 35645 + 10829 = 0. Let t = m + 1214. Is t a multiple of 73?
False
Let f(m) = -9*m + 48. Let v be f(5). Suppose -4*z + 449 = v*q, 4*q - z - 646 + 22 = 0. Is q a multiple of 19?
False
Let t = 67 + -39. Suppose -25*g - 345 = -t*g. Let y = g + -79. Is y a multiple of 13?
False
Suppose -49 = -4*i + 3*k + 1859, -3*i - 4*k = -1431. Is (-53)/i + (-5132)/(-18) a multiple of 22?
False
Suppose 28*q = 33*q. Let b be (2 + 6)/(q - 1). Is (-24)/(-2) + b/(-8) even?
False
Let c be 115/9 + (-42)/(-189). Does 36 divide c/((-65)/198)*-10?
True
Let t(y) be the second derivative of -37/4*y**5 + 0*y**2 - 1/12*y**4 + 0*y**3 - 2*y - 6. Is 23 a factor of t(-1)?
True
Let u be (-6)/4*(15 - 222/18). Let g(o) = -o**2 + 27. Is 5 a factor of g(u)?
False
Let o be (-7 - -7) + (5 - -2). Let d be 3/6 - ((-154)/4)/o. Does 15 divide (-198)/(-9)*(d + 0)?
False
Let f be 21 - 19 - (4/2)/2. Is 25 a factor of 35*f/((-42)/(-60))?
True
Suppose 57*h - 243558 = 54666. Is h a multiple of 16?
True
Let b = -345 - -815. Suppose b = -13*y + 2095. Is y a multiple of 5?
True
Let b(q) = -q**2 - 10*q + 26. Let k be b(-12). Suppose 5*z = k*z + 1725. Is z a multiple of 10?
False
Suppose 0 = -3*f - 3*l + 33384, 0 = 5*f + 3*l + 7995 - 63627. Is 54 a factor of f?
True
Is (-13 - 1051925/(-84)) + 3/36 a multiple of 18?
True
Let a be (-5)/(15/12) + 19. Suppose -22 = -f + a. Suppose f = 4*q - 3*q. Does 5 divide q?
False
Suppose 1401*g - 1367*g = 12920. Is 20 a factor of g?
True
Let m be (2/(-5))/(34/(-10) + 3). Let k(v) = 157*v**3 + 2*v**2 - v - 1. Let u be k(m). Let t = 240 - u. Does 10 divide t?
False
Let w = 394 - 375. Suppose 0 = 40*u - w*u - 525. Does 3 divide u?
False
Suppose 2*v - v - 19 = -3*a, -v + 13 = 2*a. Let w(b) = -b + 6. Let q be w(a). Suppose 3 = h + 5*m, q = -0*h + 2*h - 4*m - 48. Is 6 a factor of h?
True
Is 5644 + ((-1)/(-3) + (-17)/(-3) - 7) a multiple of 57?
True
Let l be (1 + 72)/(6/342). Let d be l/9 + (-12)/9. Suppose -337 = -3*c + 4*q, d = 4*c + 3*q - 6*q. Is 33 a factor of c?
False
Suppose -2*m - 2*m - s + 501 = 0, 366 = 3*m + 4*s. Suppose -130*j + m*j = -1200. Is j a multiple of 45?
False
Suppose 2*a = -0*a + d + 134, 272 = 4*a - d. Let m be 2/(-4)*(2 - (7 + -5)). Let c = m + a. Is c a multiple of 23?
True
Suppose d + y = 1, -d + 3*y - 2*y = -3. Suppose 4*k - 301 = -b, 0 = d*b + k - 354 - 283. Is b a multiple of 34?
False
Suppose 0 = -5*t - 0*t + 25. Suppose -5*l + 657 = -2*g, t*l + 110 = -5*g - 1550. Let q = -199 - g. Is 22 a factor of q?
True
Let l = 164189 - 113269. Is 67 a factor of l?
True
Let y be 2*(2 - 57/6)/(-3). Suppose y*q - 20 = 0, -3*u - 9*q = -14*q - 745. Does 51 divide u?
True
Suppose -4*d - 2*z + 46 = -2*d, -3*z - 75 = -5*d. Let m(h) = h**2 - 7*h + 6. Let w be m(d). Suppose 4*q = 3*i - w, 5*i - 4*q - 236 = 96. Does 8 divide i?
True
Let a = -189 - -300. Let o = a - 66. Suppose -2*m - o = -3*m + w, -20 = -5*w. Does 18 divide m?
False
Let w = 20 + -38. Let v(k) = 21 - 53 - 102*k + 87*k. Is 12 a factor of v(w)?
False
Suppose 0 = 2*i - 3*i + 24. Let d = -24 + i. Let b = d + 97. Does 29 divide b?
False
Suppose -2*v + 4 = 0, v + 28 + 48 = 3*o. Suppose 32*y - o*y - 3132 = 0. Suppose -7*l = -234 - y. Is l a multiple of 36?
True
Let z be -5 + 1 - (-65 - -59). Suppose 2*h - 2*c = 344, -z*h - 2*c + 323 = 3*c. Is 16 a factor of h?
False
Let k be ((3070/(-15))/1)/(1/3). Let w = k + 624. Is w a multiple of 6?
Fal