 = -2*d - 2*a + 3 + z. Suppose 25 = -5*f, -185 = -2*s + 2*f + d*f. Is s a multiple of 24?
False
Let m = -22 - -16. Let s(p) = 2*p**3 - p**2 - p. Let o be s(-1). Does 10 divide o/4 - 63/m?
True
Let x(q) = -47*q - 178. Does 10 divide x(-17)?
False
Suppose -3*l - 3 = 6. Suppose -9*n + 44 = 13*n. Does 4 divide -2 + n + (-87)/l?
False
Let h(t) = -5*t - 4. Let g be 0/(1 + 0 + 1). Let v be -7 + (-3 - (g - 2)). Is 18 a factor of h(v)?
True
Let l = 31 - 27. Let p be (-6)/(-21)*(l - -3). Suppose -4*h = q + p - 21, 3*h = 0. Is 9 a factor of q?
False
Let o(p) = p**2 - 8*p - 7. Let u be (-2 + (-2)/4)*(-28)/5. Is 7 a factor of o(u)?
True
Suppose 0*m - y = 4*m + 580, -4*y = 5*m + 725. Is (174/m)/(0 - (-2)/(-15)) a multiple of 3?
True
Let c(b) = -3 - 24 + 3*b**2 + 26*b + 0*b**2 - 4*b**2. Is 3 a factor of c(22)?
False
Let d be (64/(-5))/(((-4)/(-10))/(-2)). Suppose d = 3*x - 20. Does 14 divide x?
True
Suppose 0 = -3*y + 2952 + 2664. Is y a multiple of 18?
True
Suppose -b - 160 = -9*b. Does 5 divide b?
True
Suppose q = -32 - 298. Is 21 a factor of -4 + (42/5)/((-9)/q)?
False
Let y = 474 - 406. Does 16 divide y?
False
Let a(d) = 2*d - 6. Let c be a(5). Suppose c*m - 68 = w - 3*w, 3*w = -2*m + 86. Let o = 42 - w. Is o a multiple of 6?
False
Suppose -20 = -5*x - 5*d + 20, 3*x = -d + 16. Suppose 7 = -4*f + 27, -4*b - x*f + 336 = 0. Is 11 a factor of b?
False
Let w(v) = 187*v**3 - v**2 - 5*v + 6. Does 15 divide w(1)?
False
Suppose 0 = 11*h - 0*h. Suppose h = -3*y + 28 + 92. Is 10 a factor of y?
True
Let w(l) = 78*l**2 - 11*l - 2. Let t(b) = b + 1. Let u(g) = 6*t(g) + w(g). Is u(1) a multiple of 10?
False
Does 4 divide 6/11 + 28310/209?
True
Suppose -19 = -p - 18. Does 8 divide (-9 + p)/2*(-288)/16?
True
Does 52 divide 7 + (-2 - -761 - -6)?
False
Let h(x) = 3*x**2 - 24*x + 13. Is h(19) a multiple of 8?
True
Does 49 divide 5/40 + (-4703)/(-8)?
True
Is -63*(-84)/18 + 3 + -1 a multiple of 58?
False
Let i(l) = -l**3 - l**2 - l + 420. Is i(0) a multiple of 60?
True
Suppose 69 = -3*w - 90. Let s = -37 - w. Does 15 divide s?
False
Let y(l) be the first derivative of -3 + 4*l - 11*l**2 + 13*l**2 + 0. Is y(12) a multiple of 12?
False
Suppose 0 = 4*x - 2*m + 6*m - 4164, 0 = -m + 4. Is 61 a factor of x?
True
Suppose -h - 2 + 0 = 0. Let d be (68/6)/((-6)/9). Let j = h - d. Is j a multiple of 4?
False
Let u(m) be the second derivative of m**4/12 + 3*m**3 - 27*m**2/2 + 10*m. Does 9 divide u(-20)?
False
Suppose -4 = 22*n - 26*n. Does 10 divide (n - 11)/(((-2)/(-16))/(-1))?
True
Let p be 17 - -1*3/1. Suppose 0*q = -5*w + q + 26, -p = -5*q. Is 1 + 1 + w/2 a multiple of 5?
True
Suppose 2*i - 61 = -2*i - 3*d, 0 = -i + 5*d - 2. Suppose 1092 = i*u - u. Is u a multiple of 10?
False
Suppose -3*c = 14 + 7. Let u(s) = s**2 + 8*s + 2. Let z be u(c). Is (-3)/5 - 253/z a multiple of 23?
False
Suppose 968 = 3*i + i. Let m(c) = 0*c + 225 - i - 2*c. Is m(-12) even?
False
Let c = 46 + 30. Suppose 4*i - c = -12. Is 16 a factor of i?
True
Is 3/42*4468 - 24/21 a multiple of 54?
False
Let v = 24 - -4. Is 19 a factor of -4*(7/(v/(-90)) + -4)?
False
Let l(z) = 21*z + 45. Let v be l(-5). Let y = 185 + v. Is 7 a factor of y?
False
Suppose 12*k = 6*k + 234. Let z(m) = -m**2 - 11*m + 1. Let a be z(-7). Let y = a + k. Is 19 a factor of y?
False
Suppose 5*q - h - 35 = 20, -5*h = 4*q - 73. Is q a multiple of 7?
False
Let v(t) = -t**3 + 5*t**2 - 4*t + 8. Let l be v(5). Let b = l + 11. Is 17*(-3)/(b - 0) a multiple of 8?
False
Suppose 5*s - 41 = 4*s. Let w = s + 76. Does 18 divide w?
False
Suppose 0 = 27*t - 9*t - 5544. Is t a multiple of 6?
False
Let s = -16 - -30. Suppose -s = 4*g + 14. Let d = 38 + g. Does 6 divide d?
False
Suppose 0 = 4*f + 3*d - 66, 3*f = -3*d + d + 50. Suppose 0 = 5*x - 4*x - f. Is x a multiple of 6?
True
Suppose -4*t + 3*i + 6 = -20, -5*t - 5*i + 15 = 0. Suppose -t = -3*w + 7. Is w even?
True
Suppose -5*g - 597 + 1927 = 0. Is 19 a factor of g?
True
Suppose -63*k + 56*k + 658 = 0. Let w = -27 + -30. Let h = k + w. Is 8 a factor of h?
False
Suppose 5*h + 3*c = 86, -4*c = -14*h + 10*h + 88. Let m = h - 3. Is 4 a factor of m?
True
Suppose 4*f - 1053 = -3*n, 5*n - 8*n = 5*f - 1314. Is 7 a factor of f?
False
Suppose -4*p + 19*z + 760 = 16*z, 2*p - 4*z = 390. Is p a multiple of 6?
False
Let y = 11 - 4. Suppose 4*z + y - 55 = 0. Is 4 a factor of z?
True
Let a(f) = 2*f**2 - f. Let d be (-4 - -7)*4/6. Suppose 0 = -p - 5*c - 2, -5*p = -2*p - d*c + 6. Is a(p) a multiple of 5?
True
Let q(y) = -y**3 - 7*y**2 - 9*y - 8. Let s be q(-7). Let x be 6/10 + 187/s. Suppose -4*g = -x*m + 220, -4*g + 9*g + 10 = 0. Is 9 a factor of m?
False
Let r = 8 + -2. Let f = -66 - -70. Suppose r = -f*w + 5*w. Does 6 divide w?
True
Suppose 15*s + 7*s = 21956. Does 5 divide s?
False
Suppose 4*y + 0*y - 60 = 0. Let d = 18 - y. Suppose -112 = -5*f + d*f. Is f a multiple of 19?
False
Let l = -31 + 10. Let u = l + 24. Is u a multiple of 3?
True
Suppose 148*d - 144*d = 944. Suppose -4*f + 292 = 6*q - q, d = 4*q + 2*f. Is q a multiple of 20?
True
Let d(c) = -2*c**2 - 10*c + 6*c**2 + 0*c**2 + 6. Let n be d(7). Suppose h - n = -2*h. Is h a multiple of 11?
True
Let q(h) = 244*h + 165. Does 9 divide q(6)?
True
Let u = -101 + 113. Let j = 90 - u. Is j a multiple of 10?
False
Suppose -2*x - 20623 = -43*x. Is x a multiple of 18?
False
Suppose z + 734 = h, 0*h - 5*h - 3*z = -3630. Is 1/(-2 + h/363) a multiple of 39?
False
Suppose 14*u + 11802 = 35182. Is u a multiple of 10?
True
Suppose 2*y = -3*y. Suppose -3*t + 0*t + 6 = y. Suppose 5*h = -10, 2*c + h - 214 = -t*c. Does 17 divide c?
False
Suppose n - 168 = -3*n. Suppose 4*z = z + n. Does 8 divide z?
False
Let o(h) = 8*h - 7. Let w be (5/15)/((-2)/(-6)). Suppose -15 = -2*u + w. Is 15 a factor of o(u)?
False
Let r be 3 + (-3)/(-1) + -7 - -26. Suppose 21 = -3*j - 3*t, 2*j + 3*t + 31 = -3*j. Let i = r + j. Is 8 a factor of i?
False
Let w = -14 - -7. Let k be (-54)/(-7) - 2/w. Suppose 8 = -k*f + 4*f, -2*j + 140 = 2*f. Is 18 a factor of j?
True
Let k(o) = -o**2 + 3*o - 21. Let t be k(9). Let f = 99 + t. Does 6 divide f?
True
Let w(x) = -x**3 - 6*x**2 - 4*x - 4. Suppose 3*g - 4*o = 2*g - 7, 3*g + 21 = 5*o. Is w(g) a multiple of 11?
False
Let t = -29 - 64. Let r = t + 236. Is 54 a factor of r?
False
Let k be ((-2)/(-3))/((-30)/(-1575)). Let i = -25 + k. Is i a multiple of 3?
False
Let g(b) = -b**3 + 8*b**2 + 10*b - 10. Let k be g(9). Is 19 a factor of (4 + -3)/(k/(-59))?
False
Let n be 27*((-35)/(-21) + -2). Let i = -11 - -8. Is i/n - (-35)/3 a multiple of 4?
True
Let a = -13 + 216. Is a a multiple of 24?
False
Let p be ((-3)/(-2))/((-9)/(-30)). Suppose h = -u - p + 52, h - 3*u = 55. Does 13 divide h?
False
Suppose x - 551 = 2*f, 0 = 14*x - 13*x - 1. Is ((-254)/5)/((-11)/(f/(-10))) a multiple of 24?
False
Suppose 5*m + 19*m = 744. Does 3 divide m?
False
Suppose 77*k = 83*k - 4368. Is k a multiple of 13?
True
Is (9/(-6))/(2 - 83/40) a multiple of 9?
False
Let r(k) = 13*k + 5. Let o(u) = -1. Let f(j) = o(j) + r(j). Does 22 divide f(6)?
False
Let t(i) = 95*i + 6. Let y(s) = -96*s - 7. Let g(z) = -5*t(z) - 4*y(z). Is 37 a factor of g(-3)?
False
Let d(y) = -31*y - 139. Does 54 divide d(-12)?
False
Let d be (-3)/9 + (-1650)/(-9). Let n = d - 127. Let v = n + -34. Is 11 a factor of v?
True
Let g(d) = d**3 + 4*d**2 - 7*d + 5. Let u be g(5). Let x = u - 100. Is x a multiple of 19?
True
Let c(t) = -t**2 + 3*t + 1. Let w be c(3). Let q be (34/(-6))/(w/(-3)). Suppose 2*r - 1 - q = 0. Is 2 a factor of r?
False
Let u(j) = -27*j**2 + 2*j + 1. Let z be u(-1). Let k = z - -73. Does 10 divide k?
False
Is (-597)/(-21) - (-20)/35 a multiple of 3?
False
Let m be ((-12)/8)/(18/(-48)). Suppose m = 2*g, 0 = -2*o + 3*o - g - 108. Does 10 divide o?
True
Suppose 4*k - 234 + 42 = 0. Suppose -k = -7*w + 3*w. Is w a multiple of 4?
True
Let h(n) = n**3 + 12*n**2 + 17*n + 34. Does 64 divide h(-10)?
True
Suppose 3*q = -t + 2063, 109*t = 108*t - 4. Does 14 divide q?
False
Suppose -12500 + 128084 = 48*q. Is q a multiple of 24?
False
Suppose 2*w - 463 = -5*u, 6*w = -3*u + w + 274. Let z = u - 72. Does 2 divide z?
False
Let x be (-2268)/(-70) - (-3)/5. Let a = x - 20. Is a a multiple of 13?
True
Let i(t) = t**2. Let l(c) = -2*c**2 - c + 71. Let n(z) = 3*i(z) + l(z). Let j be n(0). Let p = -32 + j. Does 7 divide p?
False
Let m(s)