+ (y - -6))/((-6)/706)?
False
Let h(w) = -41*w**2 + 8*w - 10. Let x(p) = 43*p**2 - 7*p + 10. Let z(l) = 3*h(l) + 4*x(l). Does 18 divide z(-4)?
True
Let s(a) = -a**2 + a + 280. Let y be s(0). Suppose 2*g - 7*g = y. Let t = 86 + g. Does 10 divide t?
True
Is -3*626958/(-216) - (-10)/8 a multiple of 44?
False
Let t(x) = -x**3 + 18*x**2 + 7*x - 57. Let r be t(15). Let c = r - 349. Is c a multiple of 10?
False
Suppose -3*i - k = -1, 0*k - 5*k - 19 = 3*i. Suppose i*m - 1 = 421. Let t = m + -63. Is 43 a factor of t?
False
Let z be (-22)/(2*(-5)/(-40)). Let a = -86 - z. Suppose -162 = a*b - 414. Does 16 divide b?
False
Let c(f) = -206*f + 1422. Does 32 divide c(-15)?
True
Let y(f) = -937*f - 14. Let m be 52/(-78) - 2/6. Does 13 divide y(m)?
True
Suppose q + 3*m = -3*q - 20, -2*m = 5*q + 18. Let r be ((-4)/6)/(q/(-3)). Is -5*(-3)/15 - r even?
True
Let p = 24375 + -273. Is p a multiple of 234?
True
Let k = -7924 + 10061. Is k a multiple of 35?
False
Suppose -107*i + 112*i = 1175. Let u = -114 + i. Is 11 a factor of u?
True
Let i = 6076 + 19355. Is 65 a factor of i?
False
Suppose b = 2*g + 20943, -3*b - 4*g = g - 62884. Is b a multiple of 17?
False
Let y = -10564 + 12813. Is y a multiple of 5?
False
Let g(p) = -p**3 + 6*p**2 - 6*p - 16. Suppose -10*n - 57 = 3. Is 56 a factor of g(n)?
False
Let i(o) = 12 - 81*o + 67*o + 76*o. Is 17 a factor of i(3)?
False
Suppose -7*k + 4 = -11*k. Let h be (2 + k)*0/(-1). Suppose -4*z = -h*z - 160. Does 4 divide z?
True
Let s(y) = 390*y + 5255. Is s(36) a multiple of 58?
False
Let t(c) be the third derivative of -c**6/120 + 7*c**5/30 + 3*c**4/8 + 4*c**3/3 + 225*c**2. Suppose 18 = u + 4. Is t(u) a multiple of 25?
False
Suppose -3*p = -n + 4083, 33*p - 4083 = -n + 29*p. Does 32 divide n?
False
Let i(x) = 3*x**2 + 22*x - 3 - 2*x**2 + 14*x - 40. Let b be i(19). Suppose -3*y = 2*j - 392 - 2, -5*j = -y - b. Is 16 a factor of j?
False
Is (-2)/(-14) - 5998986/(-2303) a multiple of 32?
False
Let c = -32512 + 95352. Is c a multiple of 40?
True
Let p(n) be the first derivative of n**4/6 + 5*n**3/2 - 7*n**2/2 - 33*n - 2. Let m(h) be the first derivative of p(h). Does 14 divide m(-11)?
True
Let o(p) = -44*p - 57. Let t(u) = -43*u - 58. Let w(g) = 4*o(g) - 3*t(g). Is w(-7) a multiple of 25?
True
Does 6 divide (-3 - -2)/((1121/105906)/(-59))?
True
Is 13 a factor of ((-81)/18)/((-51)/18326)?
False
Suppose 0 = -3*n - 48 - 3. Let j = n + -205. Let b = j - -345. Does 29 divide b?
False
Suppose 3*u - 9 = 2*r, -4*u + r = u - 15. Suppose -2*m - 8*o = -5*o + 7, u*o + 3 = -3*m. Suppose -i + m = 0, -5*i - 368 = -4*x - i. Is 16 a factor of x?
True
Let l(d) = d**2 - 11*d + 19. Let o be l(9). Let c be (o + -1)*(-5)/10. Suppose 5*b + 2*a - 78 = c, -3*b + 5*a + 22 = -0*a. Does 14 divide b?
True
Let s(x) = -4*x + 0*x + 7 + 6*x. Let t be 0 + -1 - ((-6 - 2) + 0). Does 21 divide s(t)?
True
Let g(w) = 5*w**2 - 169*w**3 + 170*w**3 + 3*w**2 - 8*w - 2*w. Does 12 divide g(6)?
True
Suppose 2*k + 23504 = 4*n - 3*k, -5*n = 3*k - 29380. Suppose 0 = -8*r + n - 1356. Does 65 divide r?
False
Let c(r) = r**3 - 7*r**2 - 12*r - 27. Let m be c(-5). Let x = 478 + m. Is 5 a factor of x?
False
Suppose 17253 = 3*g - 3*j, -132*j = -3*g - 127*j + 17243. Is g a multiple of 64?
False
Suppose -9*j + 9354 - 2766 = 0. Let k = -115 + j. Does 45 divide k?
False
Let h(j) = 4*j + 17*j**2 - 6*j + j**3 - 14 - 2 + 1 + 23*j. Does 30 divide h(-8)?
False
Suppose 7 = -3*k - 14. Let p(m) = m**3 + 8*m**2 - 2*m - 15. Is 10 a factor of p(k)?
False
Does 197 divide (17 - -5028) + (12 - 10)?
False
Let x(c) = 364*c - 448. Does 56 divide x(8)?
True
Let k = 890 + -505. Suppose 2*w - k = -5*b, -b + 597 = -2*w + 5*w. Is 12 a factor of w?
False
Suppose 559 + 33 = 2*t. Suppose -5*y + 3*x - 2*x + t = 0, 4*y - 248 = -2*x. Does 12 divide y?
True
Suppose 4*h + 435*k - 28512 = 433*k, -h - 5*k + 7128 = 0. Does 66 divide h?
True
Let v be (0 + 6)*-4*(-4)/48. Suppose g - 40 = -2*m, 0 = -v*m - m + 12. Suppose 2*f = 4*i + 62, i = -2*f - i + g. Is f a multiple of 6?
False
Let b = -30 + 16. Let k be (13 + b)*(-8)/2. Suppose -7*s + 306 = -k*s. Does 15 divide s?
False
Suppose 4*o - 7 = -7. Suppose 3*d - 12*c + 9*c = 267, o = -4*d + 3*c + 355. Is d a multiple of 8?
True
Suppose 4*i - 106 = 2*c, -2*i - 4*c = -5*i + 67. Let s(u) = -11*u - 7*u - i - u**2 + 17. Is s(-8) a multiple of 38?
False
Let n(r) = -9101*r**3 - 3*r**2 + 19*r + 21. Does 91 divide n(-1)?
True
Suppose -191695 - 279239 = 8*b - 161*b. Does 27 divide b?
True
Let x = -3047 + 5987. Suppose 3*v = -11*v + x. Does 13 divide v?
False
Suppose -4*h = -3*m + 104, 3*m - 2*h - 94 = -3*h. Let a(r) = -2*r**2 + 65*r + 32. Does 8 divide a(m)?
True
Suppose -42*p + 96 = 348. Is 97 a factor of p/(74/111 + (-200)/291)?
True
Let f = -3705 + 4114. Is 5 a factor of f?
False
Let x(a) = -3*a**2 + 5*a - 1. Let p(i) = 7*i**2 - 11*i + 3. Let s(h) = 6*p(h) + 13*x(h). Does 18 divide s(5)?
False
Let c be ((-6)/(-8))/(9/(-2808)). Let v be 6/(-4) - c/52. Suppose 0 = -f - 5, -v*j - 2*f - f = -228. Is 9 a factor of j?
True
Let n(v) = v**3 + v**2 + 2*v + 27. Let c = -115 - -115. Does 3 divide n(c)?
True
Let w(t) = -4*t**2 + 193*t + 77. Is 12 a factor of w(11)?
True
Let k(j) = 29*j - 13. Let z be k(1). Suppose -5*q + z*q = 5434. Does 26 divide q?
True
Let j be (-2 + 6)/(-2) - -122. Suppose s + 2*m - j = 0, s + 8*m - 3*m = 120. Is s a multiple of 15?
True
Let l = 3506 - -6106. Suppose 0 = 26*g - 6664 - l. Is g a multiple of 8?
False
Let w(c) = 9*c**2 + 11*c**2 + 2*c + 10 - 21*c**2. Let r be w(5). Does 4 divide ((-4)/r)/(1328/220 - 6)?
False
Suppose 1 = -4*g - 15, 2*c - 5*g - 200 = 0. Is c/(-27)*243*2/(-3) a multiple of 27?
True
Suppose -5*x - 403 + 383 = 0. Is 3 a factor of ((-120)/(-45))/(730/(-183) - x)?
False
Is 14 a factor of ((-77)/(-14) + -4)*140/(-15)*-138?
True
Suppose 570 = 811*w - 810*w. Is 13 a factor of w?
False
Suppose 3*j = y + 46 - 7, -2*j - 4*y = -26. Suppose 765 = 16*z - j*z. Is 61 a factor of z?
False
Suppose -3 = -3*k - w + 8, -2*k - 3*w = -5. Suppose 0 = -2*j - 10 - 0, 3*j = k*n - 763. Let q = -61 + n. Is q a multiple of 18?
True
Is 50 a factor of 2/(-4)*-331*(68 + (-43 - -31))?
False
Suppose -8680 = -j + 42*t - 41*t, 17365 = 2*j - 3*t. Is j a multiple of 6?
False
Let d = 11222 - -4850. Does 17 divide d?
False
Let n be (38/(-5))/(8/(-100)). Let k = 143 - n. Suppose 4*b + 0*b - k = 0. Is 4 a factor of b?
True
Suppose 0 = 566*z - 628*z + 110794. Does 3 divide z?
False
Let t = 146 - 143. Is 11 a factor of ((-1)/t)/((-25)/15375)?
False
Suppose 63727 = 2*b + 7*j - 19823, -3*j + 125370 = 3*b. Does 162 divide b?
True
Let v(i) = -i**3 + i**2 + 4*i + 2. Let w be v(-1). Suppose w*m - m = -27. Suppose -30*q + m*q = -138. Does 23 divide q?
True
Suppose -280*a = -253*a - 4725. Is a even?
False
Let d(o) = o**3 - 5*o**2 - 10. Suppose -2*p + 8*k - 6*k = -26, -4*p = 4*k - 36. Is 8 a factor of d(p)?
False
Let j be 266*(-13)/(637/210). Is 4/38 + (-1080600)/j a multiple of 79?
True
Let i(x) = -19*x**2 + 4*x - 2. Let f be i(2). Let m(k) = 6*k + 39. Let w be m(-13). Let b = w - f. Is b a multiple of 10?
False
Suppose 2196*j - 2150*j = 1108968. Is 123 a factor of j?
True
Is 7954/(((4 + -28)/(-12))/(0 + 1)) a multiple of 2?
False
Let g = -70021 + 123277. Does 25 divide g?
False
Suppose -182*n = 3045184 - 8136452. Does 49 divide n?
False
Let y(m) = 8*m**2 - 2*m + 2. Let q(h) = -h**3 - 3*h**2 + 2*h + 6. Let c be q(-2). Let x be y(c). Let f = x - -15. Does 4 divide f?
False
Suppose 0 = 5*s + 402*t - 406*t - 3240, -2*s - 2*t + 1296 = 0. Is 3 a factor of s?
True
Let h = 34 + -35. Let v be ((-18)/14 - h) + (-552)/(-168). Let b(j) = j**3 - j**2 - j - 4. Is 2 a factor of b(v)?
False
Let c = 5702 + 3226. Does 124 divide c?
True
Let j(l) = 7*l**3 - 9*l**2 + 6*l. Let c(m) = -7*m**3 + 8*m**2 - 5*m + 1. Let d(p) = -7*c(p) - 6*j(p). Does 3 divide d(3)?
False
Suppose 150*g = 162*g - 348. Is g a multiple of 2?
False
Suppose -7 = -3*c + 4*d + 28, 3*c + 3*d = 0. Is 4179/c - ((-8)/(-10))/(-4) a multiple of 22?
True
Let f = 229 + -157. Is (f/60)/((-4)/290)*-9 a multiple of 51?
False
Suppose 3*c - 24771 = -4*d, d - 6194 = -100*c + 98*c. Does 12 divide d?
True
Suppose -5*p = 2*y - 301, -5*y - 10 = -0. Let v = -4802 - -4853. Let t = p - v. Does 5 divide t?
True
Let w = -3307 + 6714. Is 21 a factor of w?
False
Let s = 