 = -2*z**3 + 11*z**2 - 3*z - 54. Does 28 divide w(-9)?
False
Let p = 1417 + -596. Is p a multiple of 16?
False
Suppose -5*m = -4*m - 4. Suppose -5*v = -m*w - 614, 5*v - 3*w - 622 = -w. Does 14 divide v?
True
Let i(o) = 3*o**2 - 14*o - 8. Is i(-6) a multiple of 31?
False
Let g = 2354 + -1393. Does 31 divide g?
True
Suppose -l = -2*o + 8, -2*o + 12 = o. Suppose 2*p + 2*p - 16 = l. Is 19 a factor of 2/(4/304*p)?
True
Suppose 0 = 2*x - 3*d - 6, -x + 3*x - 5*d = 6. Suppose 0 = x*z + 2*v - 4*v - 190, v - 1 = 0. Is z a multiple of 6?
False
Let r be 0/2 + (-2 - -3). Suppose b + r = -8. Is 20 a factor of 0*3/b + 66?
False
Suppose 9*n - 8 = 7*n. Let o(r) = -r**3 - 3 + 10*r - 3*r**2 - r**2 - 3*r - n. Does 9 divide o(-6)?
False
Let d(s) = 73*s**3 - s**2 - 2*s + 2. Let a be 2/3*(-9)/(-6). Does 12 divide d(a)?
True
Suppose 12*v + 31*v = 31218. Is 33 a factor of v?
True
Let r be (12/(-30))/(2/(-20)). Let c be r + 0 - (2 - -2). Suppose 3*b - 5*v + c*v - 35 = 0, 0 = 2*b - 3*v - 22. Does 2 divide b?
False
Suppose 0 = 22*q - 27*q + 20. Suppose -31 - 37 = -4*o + 2*t, -2*o = -3*t - 38. Suppose o = q*x - 0*x, p - 5*x - 12 = 0. Does 16 divide p?
True
Let u = -1 + 75. Suppose 5*m = -4*p + 173, m - 4*p + u = 3*m. Is 10 a factor of m?
False
Let p(q) = -7 + 0 + 22*q - 24*q. Let f be p(-5). Suppose v + 0*s = -s + 87, -3*v + 243 = -f*s. Does 21 divide v?
True
Let h be (9/6)/(15/(-40)) + 19. Is ((-56)/20 - -3) + 1992/h a multiple of 19?
True
Let x be -4 + 3 - -3 - -4. Suppose -3*w + x = 0, 0 = 4*z - 2*z - w - 6. Is 2 a factor of z?
True
Let f be 12 - 1 - (-2 - 0). Suppose 0 = -f*i + 3*i + 1510. Is i a multiple of 30?
False
Let k(b) = 3*b - 26. Let v(n) = -4*n + 26. Let y(x) = 3*k(x) + 4*v(x). Is y(-11) a multiple of 9?
False
Let w be 13/39 + (-2)/(-3). Let n(h) = -34*h - 2. Let q be n(w). Does 21 divide (27 - -1)*q/(-48)?
True
Is (-3 - -177)*(-1)/9*-3 a multiple of 4?
False
Let z(a) = -79*a + 1. Let c = 30 - 31. Is z(c) a multiple of 10?
True
Suppose 0 = -5*x + 2*b + 65, 4*x + 4*b = -b + 85. Suppose 0 = 3*u + x, 4*u = -3*c - 0*c + 616. Is c a multiple of 53?
True
Let t(g) = 2*g**2 + 7*g + 91. Does 20 divide t(13)?
True
Let m be 2338 + 5 - (3 + 1 + -1). Suppose -m = -d - 11*d. Does 15 divide d?
True
Is 37 a factor of 4605*((-16)/44)/((-20)/22)?
False
Let s(f) = f. Let n(c) = -c**2 + c + 1. Let p(q) = -q**3 + 7*q**2 - 6*q - 1. Let b be p(6). Let d(o) = b*s(o) - 2*n(o). Does 17 divide d(5)?
False
Does 75 divide (19 - 22)/((-1)/425)?
True
Does 11 divide -2 + 6 + 2 + 51?
False
Let y be 12*(4 - 80/(-12)). Suppose 4*k = 6*k + y. Let t = -3 - k. Is t a multiple of 19?
False
Let m = -1052 - -1857. Does 23 divide m?
True
Suppose 132 = 3*y - 39. Suppose 4*r + 63 = -u + 6*u, -5*u + r = -y. Does 2 divide u?
False
Let n(w) = w - 1. Let j be n(5). Suppose 7 = 4*m - 4*l + 27, m + j*l - 10 = 0. Is (10 - 0)*(m + 3) a multiple of 10?
True
Suppose 0 = 4*f - 4 - 4. Let z be f - (2/2 + -1). Suppose z*l + 13 = 37. Is 3 a factor of l?
True
Is 9 a factor of (-10192)/(-64) + (-2)/8?
False
Suppose -3 = 3*b - 18. Let z be -6 - 92/(-8 - -4). Let q = z + b. Does 11 divide q?
True
Let v = -1671 - -3057. Is v a multiple of 42?
True
Suppose 0 = 5*c - 4*x + 8*x - 2896, 0 = 2*c - 5*x - 1165. Is c a multiple of 36?
False
Does 12 divide 26/(-65) + 4202/5?
True
Is 42 a factor of 1286 - (-5)/(-5)*-1*-4?
False
Let v be 5 + 2*(-1)/1. Suppose 2*c + 36 = 3*w, 14 = w + v*c + 2. Does 2 divide w + (-2 - 2) + 3?
False
Suppose 0 = -4*d + 2*q + 501 + 273, 0 = d + 3*q - 197. Is d a multiple of 5?
False
Suppose -4*o - 4*z = -644, -o + 4*o - z = 475. Is 20 a factor of o?
False
Does 8 divide 2*(1520/25)/((-4)/(-50))?
True
Suppose 1316 = 4*w - 924. Is w a multiple of 21?
False
Suppose 4*t = 20, 2*g = 3*t + t + 52. Is g - (-7)/((-7)/4) a multiple of 15?
False
Is 42/(-35)*580/(-8) a multiple of 15?
False
Suppose -3*o = -883 + 289. Is o a multiple of 66?
True
Let t(o) = 4*o**3 + 6*o**2 - 5*o + 9. Does 17 divide t(6)?
False
Suppose 20*x - 45 = 25*x. Does 38 divide (-114)/x*1*9?
True
Suppose 0 = -4*b - 18 + 6, p - b - 1 = 0. Does 16 divide p/((-3)/4 - (-107)/148)?
False
Suppose -f = 5*l - 15, -3*f - 2*f + 15 = 5*l. Suppose -12 = -3*z + 6. Suppose 5*d - z = o, f*o + 3*o + d - 30 = 0. Does 9 divide o?
True
Let h = -24 + 30. Suppose -705 - 135 = -h*m. Is m a multiple of 14?
True
Suppose -4*h + 8 = -8*h, 2*h = 3*k - 310. Does 6 divide k?
True
Let z(k) = 7*k**2 + 195*k + 6. Does 16 divide z(9)?
False
Let b(l) = -9*l - 4. Let a(u) = 5*u + 2. Let v(i) = -5*a(i) - 3*b(i). Suppose 0*z = 3*z - 21. Is 7 a factor of v(z)?
False
Let h(n) = 398*n**2 - 37*n - 36. Does 11 divide h(-1)?
False
Let y(f) = -2*f**2 + 11*f - 13. Let b be y(9). Let c = -32 - b. Is c a multiple of 20?
False
Let d(m) = -m**2 - 3*m + 1. Let p be d(-2). Suppose 3*a = 4*j + 168, 2*a - 7*j = -p*j + 116. Suppose a - 132 = -5*g. Is 8 a factor of g?
True
Suppose n + 0*n = -3*s - 8, -5*s - 12 = n. Is (-3)/(-3)*s*-16 a multiple of 8?
True
Let q(c) = c**3 - 2*c**2 - 8*c. Let a be q(4). Suppose 4*t + 5*v - 241 = -0*t, t + 2*v - 64 = a. Is t a multiple of 9?
True
Let n(s) be the third derivative of s**5/60 - s**4/6 + 2*s**3/3 + s**2. Let u(m) = 7*m**2 - m - 3. Let l be u(-1). Is 9 a factor of n(l)?
True
Let n(d) = d**2 - 6*d - 1. Let a be n(7). Suppose a = 3*g, 3*s - 4*g - 212 = -5*g. Is 16 a factor of s?
False
Let u(q) = q**3 + 3*q**2 + 3. Let i be u(-3). Suppose i*h + 135 = -0*h. Is 9 a factor of (-2 - -4)*h/(-10)?
True
Suppose 0 = -4*w + 8*w - 8. Suppose -4*z - w*z = -54. Is z even?
False
Suppose 7*u - 5161 - 6704 = 0. Does 21 divide u?
False
Let t = 0 - -132. Is t a multiple of 22?
True
Let y(f) = f**2 + 5*f + 82. Is 2 a factor of y(-10)?
True
Suppose l + 37 - 36 = 0. Is l/(-5 - (-3470)/695) a multiple of 24?
False
Let l(m) = 3*m**3 + m**2 - 1. Let q be l(1). Suppose -q*p = 2*p - 30. Suppose -1 + p = n. Is n a multiple of 2?
False
Let w(f) be the second derivative of f**4/6 + 13*f**3/6 - 7*f**2 - f. Let m be (-1)/((-24)/(-18)) - 111/12. Is w(m) a multiple of 9?
False
Suppose -2*i - 162 + 1353 = 5*y, -5*i - 5*y + 2955 = 0. Is i a multiple of 2?
True
Let z(j) = j**2 - 8*j - 7. Let c = -13 - -22. Let y be z(c). Is 3 a factor of 0/2 - (-1 - y)?
True
Is 115510/125 + (-8)/100 a multiple of 22?
True
Let u(c) = 3*c**2 - 19*c - 44. Let y(s) = -8*s**2 + 57*s + 128. Let p(h) = 17*u(h) + 6*y(h). Suppose -4 = k, -5*x - 11 = -3*k + 17. Does 10 divide p(x)?
True
Suppose -2*a = 2*y - 14, 3*y = 4*y + 5. Let w = a + -6. Is 24 a factor of ((-27)/w)/((-12)/64)?
True
Let p(r) = 76*r - 351. Is p(5) a multiple of 2?
False
Let f be (-2)/(-5) - 232/(-20). Let x be (18/f)/((-1)/(-6)). Is 19 a factor of (-6)/x + 609/9?
False
Suppose -7*h - 28 = -6*h. Is 19 a factor of h/7*(-302)/8?
False
Let c(z) = -163*z - 2. Does 54 divide c(-2)?
True
Let h(w) = -w**3 + 32*w**2 + 39*w + 59. Is 33 a factor of h(32)?
False
Is 3 a factor of 9 - (-40)/(-8) - -6?
False
Let t be 1/2*0/(-8). Suppose t*p - 30 = -p. Is 5 a factor of p?
True
Let u(c) = 15*c + 1. Suppose 2*r + 2 - 6 = 0. Suppose 0 = a - r + 1. Is 10 a factor of u(a)?
False
Suppose -4*f = 26 - 30. Let r(o) = 46*o**2 - o + 3. Does 16 divide r(f)?
True
Suppose -1147 = -11*i + 888. Is i a multiple of 5?
True
Suppose i - 14 = j, -3*i + j - 8 = -56. Let w = -17 + i. Suppose -4*p = 2*y + 3*y - 108, -4*y - 2*p + 90 = w. Is y a multiple of 8?
True
Let t = 258 + 179. Is t a multiple of 19?
True
Let z be (-6)/9 - 1043/(-21). Let l = z - 32. Does 9 divide l?
False
Suppose -10*f = 16*f - 35334. Does 60 divide f?
False
Let z(d) = -d**2 - d + 9. Let m be z(3). Does 12 divide (596/12 + -3)/((-1)/m)?
False
Let z(b) = 3522*b**2 + 8*b + 4. Is z(-1) a multiple of 17?
False
Suppose 2*j + 0*s = -4*s + 10, 3*s = -2*j + 9. Is (j + -1)*(-135)/(-3) a multiple of 18?
True
Suppose -o = 21 + 27. Let f = 100 + o. Does 13 divide f?
True
Let p = 475 + -304. Is p a multiple of 19?
True
Let z(u) = u**3 - 11*u**2 - 11*u - 9. Let v be z(12). Suppose 3*g - 3*q + q - 235 = 0, -89 = -g - 2*q. Let n = g - v. Is 16 a factor of n?
False
Suppose 0*b + 6*b - 696 = 0. Let o = -80 + b. Does 9 divide o?
True
Suppose -78*n = -83*n. Suppose 2*c = 3*a + 34 + 314, n = -2*c - 3*a + 336. Is 19 a factor of c?
True
Let j(g) = -g**2 - 5*g + 8. Let v be j(-6). Suppose v*p - p + k - 21 = 0, -12 = -4*k. Is 80/60*p*2 a