z. Does 37 divide m?
False
Let r(l) = l**2 - 5*l + 9. Let p be r(3). Let u(z) = 20*z**3 - z**2 - 1 + p*z**2 - 6*z**3 + 8*z**3. Does 23 divide u(1)?
True
Suppose -5*u - 4*g + 31 + 49 = 0, 0 = -2*g. Let p = u - 11. Suppose 2*i - 258 = -p*d + 3*i, 4*d = -5*i + 218. Is 26 a factor of d?
True
Suppose 5*u = -0*u, 0 = 3*p - 2*u - 6. Suppose -p*h = -5*h + 159. Does 30 divide h?
False
Suppose 5*j + 0*n = 5*n + 5, 4*j + 4*n = 44. Let p be 133/j - 5/30. Suppose -4*r + 182 = -p. Is r a multiple of 17?
True
Suppose -6*k = 13 - 2065. Is 9 a factor of k?
True
Let y(w) = 3*w + 77. Let k(m) = -10*m - 230. Let p(z) = 2*k(z) + 7*y(z). Let q be p(0). Let o = -27 + q. Is o a multiple of 26?
True
Is 74 a factor of ((-12)/(0 + -2))/(41/3034)?
True
Let o(s) be the first derivative of s**2/2 + 19*s + 10. Let r be o(9). Suppose 0 = 3*w - 2*w - r. Is 7 a factor of w?
True
Suppose 18*p - 47 - 25 = 0. Let x be 1 + -23 + (1 - 0). Does 5 divide p/7 - 324/x?
False
Suppose 405 = 17*t - 224. Suppose 4*a = 5*z - 80, 0 = 2*z - a - t + 2. Is z a multiple of 5?
True
Let o(t) = -2*t**3 - 12*t**2 - 8*t + 9. Let s(m) = -3*m**3 - 13*m**2 - 9*m + 8. Let f(k) = -4*o(k) + 3*s(k). Let p = -7 - -16. Is 9 a factor of f(p)?
False
Suppose -17*r = -20*r + 15. Suppose z - 79 = -r*a, 3*z - 87 = 2*z + 3*a. Is 42 a factor of z?
True
Let a = 2 + 159. Is 6 a factor of a?
False
Let a be 78/21 + 6/21. Suppose -a*r + 2 = 3*y - 1, 0 = -2*r - 2*y. Suppose 1 - 31 = -r*x. Is x a multiple of 10?
True
Let o(z) = z**2 - 2*z + 5. Let p be o(-2). Suppose 351 = p*g - 4*g. Is g a multiple of 39?
True
Let u(j) = -1. Let t(v) be the third derivative of -v**5/60 - v**4/24 - 4*v**3/3 - v**2. Let a(w) = -t(w) + 2*u(w). Is 9 a factor of a(-5)?
False
Let q(y) = 4*y**3 - y**2 + 9*y - 46. Is q(8) a multiple of 30?
True
Suppose 2*l - 10 = -2*q, -q + 4 = -l - 1. Let s = 133 - 128. Suppose -g - s + 19 = l. Is 7 a factor of g?
True
Suppose -2*z + 6*z + 200 = -5*p, p = -4. Let i = z - -65. Is i a multiple of 5?
True
Let g(z) = 46*z**2 + 13*z + 2. Let q(n) = 23*n**2 + 6*n + 1. Let j(o) = -6*g(o) + 13*q(o). Let p be (-2)/4*(2 - 0). Is j(p) a multiple of 8?
True
Let g(b) = b - 1. Let p(k) = 6*k - 10. Let c(v) = -4*g(v) + p(v). Let j be c(6). Suppose -j*f - 20 = -10*f. Does 5 divide f?
True
Suppose -2*o + 7 + 15 = 3*v, o + 15 = 5*v. Let n be v/6 - (-880)/30. Suppose -n - 51 = -3*q. Is 27 a factor of q?
True
Let p = 119 + -15. Let m = 176 - p. Is m a multiple of 24?
True
Let p(g) = -2*g - 2. Let q be p(-11). Suppose v - 5*n + q = 0, -v - 5 = 3*v - 5*n. Suppose -5*c - 2*h + v*h = -75, 45 = 3*c + h. Is 4 a factor of c?
False
Let c(z) be the first derivative of 2*z**3 - z**2 + 7*z + 3. Does 37 divide c(-3)?
False
Does 8 divide ((-2)/1)/2 + 105 + 0?
True
Suppose p - 3 = -0*p, 2*f = -4*p - 10. Is 6 a factor of (-64)/f - 4/(-22)?
True
Let z(l) = -336*l**3 - 2*l + 1. Let t be z(1). Let b = 607 + t. Is 54 a factor of b?
True
Let c = -329 - -449. Is c a multiple of 10?
True
Let t be (((-20)/(-3))/(-2))/((-4)/6). Suppose g + t*v + 8 = 169, 675 = 5*g - v. Is 21 a factor of g?
False
Let o(q) be the second derivative of 7*q**4/6 - q**2/2 + 5*q. Let b = -4 + 5. Is o(b) a multiple of 13?
True
Suppose 13*c = 1302 - 67. Does 4 divide c?
False
Suppose -4 = -a, -2*y - 230*a + 624 = -235*a. Does 2 divide y?
True
Is 2 + (-96)/44 + (-20520)/(-88) a multiple of 14?
False
Suppose -2*i + 15 - 2 = 3*u, -4*u - 4*i = -24. Is 64 a factor of -13 + 392 + 5*u?
True
Let y = -711 - -1408. Is 41 a factor of y?
True
Suppose -8*q = -19*q + 616. Suppose 0*a = 2*p - a - q, 0 = -p + 2*a + 22. Does 5 divide p?
True
Suppose -3*o + 3*b = -28 - 20, 5*o + b = 104. Suppose 0 = -4*a - 84 - o. Let u = a + 103. Does 11 divide u?
True
Suppose 2*g = s - 18, 2*s + 8 = 2*g + 40. Let l = 14 - s. Suppose 4*w + w - 165 = l. Is w a multiple of 11?
True
Suppose -o + 30 = 4*o. Let m = 186 - o. Suppose f = -2*f + m. Is f a multiple of 24?
False
Let m(z) = -z**3. Let r be m(2). Does 10 divide (-1006)/r + (-6)/8?
False
Is (20/(-120) + 2350/(-12))*-1 a multiple of 14?
True
Suppose 76 = 3*m + m. Suppose -2 - m = -3*x. Is 12 a factor of ((-31)/(-7) + -1)*x?
True
Let b be -5 + -177 + 1*-4. Let u = -103 - b. Does 35 divide u?
False
Let i(f) = f + 106. Does 39 divide i(11)?
True
Suppose -j + 24 = j + 4*y, 4*y = 12. Let o(g) = -g**3 - 8 + 2*g - j*g - 6*g - 7*g**2. Is 10 a factor of o(-6)?
False
Suppose -4*a + 1850 = 4*c - 146, -a + 505 = -5*c. Is 27 a factor of a?
False
Let a = 1061 + -1063. Let l = 4 + -2. Does 21 divide -6 + l - (-48 + a)?
False
Let j = 6711 - 3229. Is 134 a factor of j?
False
Suppose -291 = -3*o + 36. Let m = -52 + o. Does 11 divide m?
False
Let l(x) = x**2 + 14*x + 35. Let h be l(-11). Let c(g) = 18*g**2 - 6*g + 4. Is c(h) a multiple of 15?
False
Let p(v) = 32*v - 46*v + 7 + 5. Does 31 divide p(-8)?
True
Let v(u) = u**2 + 13*u + 35. Let k be v(-10). Suppose -100 = -k*a - g + 297, -2*g + 162 = 2*a. Does 17 divide a?
False
Let r be (3/(-4))/(9/(-24)). Suppose -4*v + v = 0, -r*g + 8 = -v. Is 20 a factor of (-259)/(-3) - g/3?
False
Let a(l) = -l**3 + 13*l**2 + 4*l - 15. Let v(w) = -w**3 - 4*w**2 + 3*w + 3. Let c be 5/(2 - (-1 - -4)). Let m be v(c). Is a(m) a multiple of 8?
False
Let c(b) = 2*b + 254. Does 13 divide c(0)?
False
Suppose -7*k + 1029 = 14*k. Let m = -7 + 33. Let a = k + m. Does 25 divide a?
True
Let t(y) = -2*y - 6. Let g = 19 + -22. Let v be t(g). Suppose v*x - 3*u = 5*x - 81, 5*x - 4*u - 67 = 0. Does 5 divide x?
True
Let l(c) = 2*c**3 - c**2 - c + 318. Does 11 divide l(0)?
False
Let x(j) = 33*j**2 + 11*j + 2. Does 26 divide x(2)?
True
Let h(q) = q**2 + q - 1. Let c be h(-6). Let j = 41 - c. Is 6 a factor of j?
True
Let i(h) = 43*h - 23. Let g(l) = -64*l + 35. Let z(p) = -5*g(p) - 7*i(p). Does 22 divide z(6)?
False
Suppose b + 6587 = 3*a, -25 + 30 = 5*b. Is 30 a factor of a?
False
Let n(s) = s + 35. Let q be (0 - (-5)/(-10))*(-14 - 0). Does 3 divide n(q)?
True
Let a = -1972 + 3454. Is a a multiple of 21?
False
Suppose -2*l + 6 + 2 = 0. Suppose -3*j - 60 = 3*y, -5 - l = 3*j. Let k = y - -40. Does 18 divide k?
False
Let f(b) = 22*b + 45. Does 5 divide f(1)?
False
Let k be (-75)/10 + -1 + (-5)/(-2). Does 23 divide 164 + 3/6*k?
True
Suppose 4*k = -31 + 1123. Is 39 a factor of k?
True
Let y = -1054 + 1883. Does 104 divide y?
False
Is ((-574)/(-10))/((-671)/(-55) - 12) a multiple of 5?
False
Suppose 5*c + 1881 = 7066. Does 17 divide c?
True
Let d = -42 - -105. Let r = 0 - -5. Suppose -3*f = -2*h + 2*f + d, -r*f = 4*h - 51. Does 4 divide h?
False
Let g be (-1 - 0)/((-8)/(-688)). Let f = 60 + g. Let q = f - -86. Does 17 divide q?
False
Does 42 divide (20/(-8))/(3/(-6)) - -163?
True
Let u be 0 + ((-2)/(-2) - -3). Let a(d) = -d**2 + 4*d + 2. Let p be a(4). Suppose -20 = -h + 4*y, -p*h - u*y = h + 4. Does 3 divide h?
False
Let i(u) = 116*u - 6. Is 10 a factor of i(1)?
True
Let q be (-1)/(3/708*4). Let i = q - -89. Suppose 0 = -n - 4*c + 5*c + i, 5*n - c - 138 = 0. Is 6 a factor of n?
False
Let s(v) = v**3 + 6*v**2 + v + 6. Let u be s(-6). Let l be (u - (3 - 3))*-1. Suppose 4*y + 5*z - 91 = l, 6*z = 4*y + 4*z - 70. Does 19 divide y?
True
Let r(m) = -3*m**2 - 7*m + 18. Let v be r(-7). Let q = v + 168. Is 8 a factor of q?
True
Suppose -17*i = -3*i - 4270. Does 14 divide i?
False
Let t = -4 - -9. Suppose -t*m = -2*m - 3. Is (-6)/m*(-22)/3 a multiple of 11?
True
Suppose -4*o - 992 = -8*o - 4*m, -5*m = -25. Suppose a = -2*a - o. Let u = 113 + a. Does 8 divide u?
True
Let s = -486 + 1069. Is 11 a factor of s?
True
Let f(j) = -112*j + 472. Is f(-8) a multiple of 9?
True
Let b(y) = -y**3 + 13*y**2 - 4*y - 10. Is b(6) even?
True
Suppose 0*h - h + 28 = 0. Suppose o = -3*p - 14, p + 4*o + h = -o. Does 16 divide -123*(-1 + (-2)/p)?
False
Let m(k) = 34*k**2 + k. Is m(-1) a multiple of 11?
True
Let y = -33 - 29. Let k = y + 112. Does 10 divide k?
True
Is 9 a factor of 20524/12 - ((-20)/(-6) - 3)?
True
Let z(o) be the third derivative of o**6/120 + 7*o**5/60 - 5*o**4/24 - 7*o**3/6 + 13*o**2. Let u = 9 + -16. Is 14 a factor of z(u)?
True
Is 19 a factor of (-8)/20*(-140)/(-16)*-834?
False
Let c = 414 + -376. Does 7 divide c?
False
Let j(b) = -b**3 + 6*b**2 - 10*b - 3. Is j(-7) a multiple of 56?
False
Let i(b) = -2*b + 6. Let u be i(2). Suppose -5*c - u*y + 90 = -7*y, 2 = -c - 3*y. Is 3 a fact