oes 6 divide z(2)?
True
Is (288/63)/(5 + 34/(-7)) a multiple of 10?
False
Is 46 a factor of (-346832)/(-116) + 0 + (-14)/(-203)?
True
Let h(m) = -m + 6. Let s be h(4). Suppose s*g = 9*g - 588. Does 12 divide g?
True
Suppose 0 = -5*n - r + 1609 - 458, 2*n = -3*r + 450. Is 14 a factor of n?
False
Suppose 5*c - 3034 = -1109. Suppose -175 = -2*d - y, -y = -4*d + 4*y + c. Is d a multiple of 5?
True
Let s = 0 - 1. Let g = s - -1. Suppose -5*a + m + 161 = -3*m, -a + m + 33 = g. Is 9 a factor of a?
False
Let n = 2609 - 1808. Is n a multiple of 10?
False
Let l = -1 - -1. Let t(u) = u - 13. Let w be t(15). Suppose l = 3*v + w*v - 310. Is 16 a factor of v?
False
Suppose x - 190 = 6*x. Let h = x - -188. Is 10 a factor of h?
True
Let j(h) = -10*h + 186. Is j(-15) a multiple of 24?
True
Let o(x) = x + 2. Let p(c) = -8*c - 36. Let d(u) = o(u) + p(u). Does 5 divide d(-14)?
False
Let w(l) = -2*l**2 + 4*l + 4. Let r be w(-6). Does 10 divide 2 - ((0 + -1 - 0) + r)?
False
Suppose -y - 3*y - 20 = 0. Let i = y - -17. Suppose -s = -i - 18. Is s a multiple of 15?
True
Suppose -4*b + 4*z = b - 20, -4*b + 3*z = -16. Let f be -20*(-2)/b*1. Does 5 divide (-30)/f*62/(-6)?
False
Let j(i) be the third derivative of -i**5/60 + i**4/8 + 2*i**3 + 2*i**2. Let m be j(6). Let r = 27 - m. Does 11 divide r?
True
Let i(l) be the second derivative of l**4/12 + l**3/6 + 3*l**2/2 + 2*l. Let x be i(5). Does 3 divide x/4 - 2/8?
False
Let r(j) = 2 - 4*j + 11*j + 7*j. Suppose -58*a = -63*a + 15. Does 11 divide r(a)?
True
Suppose 4*l - x = -132, -x = 3*l + 113 - 14. Let j be -5*3/3*l. Suppose -3*q + c - 2*c = -95, j = 5*q + 3*c. Is 15 a factor of q?
True
Suppose -2*b = -2*f - 5*b + 1527, -5*f - 6*b = -3822. Is 8 a factor of f?
True
Let j(b) = -b + 30. Let f be j(0). Suppose 2*g - 4*x - f = 50, -5*g + 2*x + 224 = 0. Is g a multiple of 23?
True
Let y(q) be the third derivative of -q**6/120 + q**5/10 + q**4/3 + q**2. Let n be y(7). Suppose 3*b = 0, -n*m - b = -2*m - 120. Is 12 a factor of m?
True
Suppose c = 3*c. Let d be (c - 2)/((-5)/(-55)). Does 2 divide ((-12)/10)/(d/55)?
False
Let w(i) = -i**3 - 6*i**2 - 2*i + 2. Suppose a + 0 = -4*r - 26, 0 = 2*a + 4. Does 3 divide w(r)?
False
Let d(c) = c**3 - 5*c**2 + 2*c - 7. Let q be d(5). Suppose 2*s + 8 = g + q, -4*g = 2*s - 70. Is g a multiple of 2?
False
Let m be 2904/180 + 4/(-30). Suppose 2*z + 4*v = -m, 2*z + 2*v + v + 15 = 0. Is 25 a factor of 75*(4/z - -1)?
True
Suppose -65*d - 372 = -61*d. Is 11 a factor of ((-8)/6 - -1)*d?
False
Let v = 99 - 78. Is 3 a factor of v?
True
Let v be (14/21)/(2/(-3)). Let x be -3 - v - (-624)/(-12). Let f = -32 - x. Does 11 divide f?
True
Is 326 + 20/(1 - -3) a multiple of 12?
False
Let k(p) = 33*p. Let n be k(6). Let l(d) = 135*d**3 + 1. Let y be l(-1). Is 6 a factor of (-36)/n + y/(-11)?
True
Suppose -2*z = z - 9. Let t(l) = -2*l + 4*l + 0*l**3 + 2*l**3 - 4 + z. Is t(1) even?
False
Suppose -2*a + 126 = 2*m, 264 = 4*m + 4*a - 3*a. Does 4 divide m?
False
Let j be (0 + 1)/(-5 - (-96)/18). Suppose 4*c = -3*i + 81, 1 + 2 = -j*i. Is c a multiple of 3?
True
Is 7*((-5060)/14)/(-5) a multiple of 11?
True
Let h = -307 - -532. Is 17 a factor of h?
False
Suppose -p + 29 - 992 = -v, v - 2*p - 965 = 0. Does 28 divide v?
False
Suppose o = 5*o - 44. Suppose 87 = 4*z + o. Does 6 divide z?
False
Suppose 20*i - 16*i = 20. Suppose 5*k - k + 4*b = 368, -448 = -i*k + b. Does 10 divide k?
True
Let t(y) = -y**3 + 14*y**2 - 17*y + 21. Is t(7) a multiple of 8?
False
Let i be (1 + (-3)/2)*0. Let a(b) = 5*b**3 + b**2 - 7*b - 54. Let k(v) = -11*v**3 - 2*v**2 + 15*v + 109. Let y(o) = -13*a(o) - 6*k(o). Is 16 a factor of y(i)?
True
Suppose 2*a + 7*m + 62 = 2*m, -a - 4*m = 31. Is 5 a factor of 4/(-10)*(-4 + a)?
False
Let c = -39 - -110. Suppose -5*k = n - c, -5*k = -n - 2*n + 173. Does 25 divide n?
False
Is 21 a factor of ((-2)/2)/(-1*(-8)/(-25576))?
False
Suppose -2*q + 132 = 2*s, -3*q - 190 - 88 = -4*s. Let v = 82 - s. Does 14 divide v?
True
Suppose 0 = -4*v - 2 + 10. Suppose -2 = 5*r - f, 6*r + f - v = r. Suppose -l + 9 = -r*l. Is l a multiple of 4?
False
Is 22 a factor of (4 - 2)*376 - (-15 + 19)?
True
Suppose 2*b - 3*r + 168 = 44, 3*b - 2*r + 186 = 0. Let x = b + 114. Is x a multiple of 7?
False
Let y be 8 - ((-2 - 2) + 3). Let p = y - 9. Suppose 0 = g - o + 3 - 11, p = 4*g - o - 17. Does 2 divide g?
False
Suppose -350 - 1396 = 6*n. Is 13 a factor of -2*(3 + n/6)?
True
Let z(s) = -s**3 + 12*s**2 + 12*s + 12. Let d be z(13). Let b be 2 - d/((-2)/2). Is 42 a factor of 121 + (-2)/(b + 1)?
False
Let v(x) = x**3 + 9*x**2 + 4. Let w = 4 - 13. Let f be v(w). Suppose -28 = -4*j + 5*s + 11, f*j + 5*s - 9 = 0. Is 4 a factor of j?
False
Let z(g) = 23*g**2 + 3*g + 6. Let o be z(-2). Does 49 divide (10*3/(-24) + 4)*o?
False
Let c(z) be the third derivative of -z**6/120 - 2*z**5/15 - 11*z**4/12 - 11*z**3/6 - 28*z**2. Is c(-9) a multiple of 15?
False
Suppose -4*r + 2 = -2*h, h - 4*r = -9*r - 1. Is 12 a factor of ((224/24)/h)/((-2)/12)?
False
Let g = 27 + -11. Let n = g - 11. Suppose -2*p - p + 115 = 5*t, 5*t - 105 = -n*p. Does 6 divide t?
False
Let p = 496 + -96. Is p a multiple of 40?
True
Suppose -2*i - 101 = 3*u - 1146, -5*u = -i - 1720. Is u a multiple of 23?
True
Let h = 2506 - 1080. Does 37 divide h?
False
Suppose 0 = j - 0*j + 153. Let n = j + 218. Does 7 divide n?
False
Suppose -4*c = 2*l + 16, 2*c = 5*l - 2*l + 32. Let b(x) = x**3 + 12*x**2 + 11*x + 9. Is 49 a factor of b(l)?
False
Suppose 6*z = 4*z + 6. Suppose -52 = z*i - 5*i. Suppose m = l + i, -2*m - 11 = -3*m - 4*l. Does 19 divide m?
False
Suppose -m + 106 = 18. Does 8 divide m?
True
Suppose -5*y - 2520 = -5*t, -3*t + 888 = y - 612. Is t a multiple of 81?
False
Suppose 2*p - 4*z = 668, -5*p + 5*z + 888 = -787. Is 7 a factor of p?
True
Let z be -129*(-1)/3 - 1. Let x(g) = -z*g - 42 + 42. Is x(-2) a multiple of 21?
True
Let a(x) = -x**2 - 7*x - 1. Let m be a(-6). Suppose m*s - 16 = -d, -3*s + 2*d = -31 + 11. Suppose -v - s*v = -40. Is v a multiple of 3?
False
Let u be (-4 - -5)/(4/3 + -1). Suppose 5*y - 81 = -2*k, 9 - 117 = -3*k - u*y. Is 3 a factor of k?
True
Let q be ((-642)/(-4))/(9/12). Let g be 4/(-22) - (1 - (-356)/(-22)). Does 19 divide q/5 + 3/g?
False
Let y be (-6)/2 - (-7 - 0). Let n be (-13)/(-5) - y/(-10). Suppose 3*k + 2*b - 79 = 0, n*b - 4*b - 48 = -2*k. Is k a multiple of 22?
False
Let c(y) be the first derivative of -10*y**2 - 10*y + 5. Is c(-3) a multiple of 15?
False
Let f = -263 - -430. Does 6 divide f?
False
Let x = 20 - -17. Let p = -17 - -38. Let c = x - p. Is c a multiple of 15?
False
Suppose -2*z = z + 2*x - 20, -5*x + 5 = 0. Let l(g) = g**2 + 7*g - 5. Is l(z) a multiple of 20?
False
Suppose 3*u = -n - 12 - 33, 0 = 5*n - 2*u + 174. Let h be n/((-4)/(-3 - -7)). Is 32 a factor of 1008/54*h/7?
True
Let v(m) = m**3 + 9*m**2 + 4*m + 11. Is 4 a factor of v(-6)?
False
Suppose -9*s + 29 = -25. Suppose -4*t - 4*g = -240, -5*t - s*g + 292 = -5*g. Does 6 divide t?
False
Does 24 divide ((-3)/(-2))/((-99)/(-264)) - -2263?
False
Suppose -4*u + 224 = -4*g, u = -4*g - 0*g + 36. Does 13 divide u?
True
Is 9 - 5 - -35*(-2)/(-1) a multiple of 43?
False
Let a(x) = x**2 - 6*x + 10. Let w(k) = -k**3 + 7*k**2 + 9*k - 6. Let v be w(8). Suppose -v*i - i = -24. Is 13 a factor of a(i)?
True
Let l = 6933 + -4422. Is l a multiple of 27?
True
Suppose 4*z - 3988 = -4*a, -2*a + 2939 - 951 = 4*z. Does 10 divide a?
True
Does 12 divide 174/(-145)*(-1270)/6?
False
Let a = -446 - -854. Is 6 a factor of a?
True
Suppose -8*y = -12*y + 1432. Is ((y/(-5))/((-1)/(-5)))/(-2) a multiple of 28?
False
Let i be (-2)/(6/3) - 2. Let n = i + 57. Is 27 a factor of n?
True
Let w = 945 + -435. Does 51 divide w?
True
Suppose -7*q + 5*q + 14 = 0. Suppose 3*a = -3*b + 57, -5*a - q*b + 3*b + 100 = 0. Is 8 a factor of a?
True
Suppose 21 - 33 = h. Let a = 34 + h. Is 8 a factor of a?
False
Let r(j) = 5*j**3 - 11*j**2. Let a(s) = -4*s**3 + 10*s**2 + s. Let p(w) = 4*a(w) + 3*r(w). Let n be p(7). Let h = n - 17. Is 3 a factor of h?
False
Suppose 5*l + z = -15 + 69, 0 = z + 1. Suppose 5*y = n + 15, y + 5*n + 12 = -l. Let f = 4 + y. Is 6 a factor of f?
True
Let c = -14 - -19. Does 16 divide (c - -4)*(-64)/(-6)?
True
Let m = -5 - -9. Suppose -4*y + 10 = y - 3*w, m*w - 45 = -5*y. Suppose -y*t + 187 = -4*n + n, 183 = 5*t - 2*n.