ivide 1090/45 + (-4)/w?
True
Let j be (-4 + 0 - -4) + -6. Let q = -4 - j. Does 7 divide (20/(-8))/(q/(-12))?
False
Let u = 762 + -698. Is 32 a factor of u?
True
Let y(p) = p**3 + 8*p**2 - 3*p + 1. Let j be -7*(15/(-7) + 3). Is 21 a factor of y(j)?
False
Let t(r) = -r**3 - 9*r**2 + 4*r. Let q = -8 + 15. Let n be q*(-4 + 2) + 4. Does 20 divide t(n)?
True
Let t(n) = 2*n**2 - 30*n - 22. Let r be t(16). Let k(m) = m**3 - 11*m**2 + 14*m + 8. Is 16 a factor of k(r)?
True
Suppose -5*x - 5*c = -310, 3*x + 182 = 6*x + 5*c. Is 43 a factor of 3 - 6*x/(-6)?
False
Let b(l) = l**3 - 11*l**2 + 8*l + 13. Let k be b(10). Let d(z) = 8 - 6*z**2 - z**3 - 7*z + 7*z + 7*z. Is 3 a factor of d(k)?
False
Let f = -13 - -13. Suppose 9*d - 11*d = f. Suppose 5*b + d*b = 160. Does 16 divide b?
True
Let m(q) = q**3 + 15*q**2 - 13*q - 68. Does 3 divide m(-14)?
False
Let o(r) = -r**3 + 20*r**2 - 20*r + 24. Let v = -1 - -20. Let b be o(v). Does 12 divide 240/(-50)*b/(-2)?
True
Let t(o) = 3*o**3 + 15*o**2 + 13*o + 8. Let u(z) = -z**3 - 7*z**2 - 6*z - 4. Suppose 5 + 3 = -4*w. Let q(g) = w*t(g) - 5*u(g). Is 15 a factor of q(5)?
False
Let o(u) = -u**3 - 6*u**2 - 18*u - 11. Does 3 divide o(-5)?
True
Let x(a) = 3*a**2 - 12*a - 11. Let m(s) = -s**2. Let w(y) = -4*m(y) - x(y). Let p be w(-11). Suppose 2*u + 6 = 0, -d = -p*d + 5*u - 4. Is 5 a factor of d?
False
Does 21 divide 226149/189 + (-12)/(-27)?
True
Let w = -132 + 136. Let z(l) = -l**3 - 2*l**2 + 3*l + 3. Let m be z(-3). Suppose -w*g + 198 = -2*g - 4*i, m*g + 4*i - 327 = 0. Does 32 divide g?
False
Let q(z) = 58 - 6*z + 14*z - 7*z. Does 25 divide q(-6)?
False
Let i(p) = p. Let y be i(11). Let g = y - 9. Is 9 a factor of 6/g + (-14)/(-1)?
False
Let w = 2 - -1. Suppose -w*f = b - 139, 5*f - b - 229 = -0*b. Suppose 4*m = -5*x + f, 4*x + 4*m - 33 - 3 = 0. Is 3 a factor of x?
False
Let z(l) = -l**3 - 2*l**2 + l + 3. Let a be z(-3). Let f be -3*(-3 + 21/a). Suppose 0*s - f*s + 124 = 0. Does 31 divide s?
True
Let q = 839 - -46. Is 8 a factor of q?
False
Does 2 divide (10 - 3) + (-17 - -8) + 56?
True
Suppose 9*y - z + 319 = 12*y, -4*z = -5*y + 526. Is 2 a factor of y?
True
Let i be 0 + (-2 + 2 - -1). Let u(f) = 2720 - 2719 + 27*f - 7*f + 29*f. Is u(i) a multiple of 19?
False
Let v(c) = -33*c - 112. Does 20 divide v(-4)?
True
Let f = -36 - -30. Is 13 a factor of (-5 - f)*-2 - -79?
False
Suppose 0 = 4*j - 4*a - 8788, 4154 = 2*j - a - 239. Does 18 divide j?
True
Let b = 694 - 472. Is 17 a factor of b?
False
Let d(i) = 10*i - 33. Let u be d(6). Is 41 a factor of 2733/u + 14/(-63)?
False
Let c = 131 + -74. Let u = c + 63. Does 20 divide u?
True
Suppose -2*w = 2*g - 52 - 714, 0 = -4*w - 2*g + 1542. Does 23 divide w?
False
Let q be (1 - 1)*2/(-4). Suppose -4*y = -68 + 16. Suppose -3*d + 67 = d - 5*z, q = -d + 2*z + y. Is d a multiple of 7?
False
Suppose 8 = 8*v - 4*v. Let y(h) = 22*h**2 - h - 2. Is 12 a factor of y(v)?
True
Let h be (-140 - (-5 - -1)) + 0. Let m = -109 - h. Does 9 divide m?
True
Let d(c) = c + 1. Let h(m) = 8*m - 18. Let i(a) = 4*d(a) + h(a). Let j be (16/6)/(34/51). Is i(j) a multiple of 17?
True
Is 10 a factor of (-40)/140 - (-55872)/42?
True
Suppose 0 = -5*t + 25, -132 = -58*a + 57*a - 3*t. Is a a multiple of 9?
True
Let j(k) = k**2 - 4*k - 7. Let n = 108 + -114. Is 24 a factor of j(n)?
False
Suppose 232 = 2*u + 82. Suppose -r + u = -4. Let m = r + -52. Is 11 a factor of m?
False
Let i(n) = -n**3 + 11*n**2 + 13*n - 4. Let d be i(12). Suppose 3*f = 3*r + 69, -3*f + 26 + d = 4*r. Does 12 divide f?
False
Let m = -29 - -32. Suppose -m*i + 162 = -0*i. Does 12 divide i?
False
Suppose 5*g - 5*j - 530 = -9*j, -4*j = 2*g - 200. Is g a multiple of 14?
False
Let x(w) = -1 + w**2 - 5*w**3 + 6*w**2 + 3*w**3 + w**3 - 5*w. Let q be x(6). Suppose r + 2*d - 4 = -d, 3*r - 68 = q*d. Is r a multiple of 9?
False
Suppose 23 = 3*h - 34. Let i be 5 - (0 + 2)*1. Let f = i + h. Is f a multiple of 4?
False
Let r = -9 - -88. Is 7 a factor of r?
False
Let i(s) = s**2 + s + 2. Let f be i(-2). Suppose -3*l - 2*b + 15 = -97, -f*b = -l + 14. Is l a multiple of 13?
False
Let m = 1 - -44. Is 15 a factor of (27 - 26)/(1/m)?
True
Let n(p) = -65*p - 2. Let t be n(-13). Let w be 3/12 + t/4. Suppose -3*x + 5*m + 148 = 0, -4*x - 37 + w = 5*m. Is 23 a factor of x?
True
Suppose 4896 = 34*b - 22*b. Is b a multiple of 24?
True
Let j(x) = x**2 - 2*x + 3. Let o be j(3). Suppose -6 = -o*s + 7*s. Is (63/s)/(4/(-8)) a multiple of 21?
True
Let m = 80 + -54. Let b be ((-7)/(-2) + -3)*0. Is 21 a factor of (10 - 7) + (m - b)?
False
Let f(t) = -4*t**3 + 2*t**2 + 6*t - 3. Does 15 divide f(-3)?
True
Let c(u) = u**2 + 7*u - 13. Let k be c(-9). Let o(w) = 8*w**2 - 5*w + 9. Let y be o(k). Let z = y + -108. Does 19 divide z?
True
Suppose -1146 = -26*s - 132. Is 13 a factor of s?
True
Let g(t) = t**2 - 1. Let w(u) = 81*u**2 + 3*u - 4. Let v(o) = -2*g(o) + w(o). Is v(1) a multiple of 20?
True
Suppose -16*b - 6 = -13*b. Is 13 a factor of 66 - (-7 + 1)/b?
False
Suppose -27*r + 40984 = -22682. Does 18 divide r?
True
Let l = -1345 - -2464. Does 24 divide l?
False
Let t be (-19 + -5)/(15/(-100)). Suppose 0 = 2*x - a - t, 5*x + 3*a - 253 = 136. Is 4 a factor of x?
False
Let z be 126/24 + -5 - 307/(-4). Let x = z - 49. Does 14 divide x?
True
Let y be 1/((-28)/16 - -2). Is 31 a factor of 310/(5 - (y + -1))?
True
Suppose 2*f - 19*y = -17*y + 694, 4*f + 4*y = 1372. Does 49 divide f?
False
Let k(l) = l. Let g(p) = 2*p**2 - 7*p - 1. Let a(b) = g(b) + 5*k(b). Let y be a(-2). Let h = y + 3. Is 3 a factor of h?
False
Let k(q) = q**3 + 17*q**2 - 13*q - 29. Is 64 a factor of k(-17)?
True
Let o be 2/(-8) + (-1969)/44. Let b = o + 143. Is 668/14 + 28/b a multiple of 36?
False
Let l = 36 - 83. Suppose r - 40 = 5*r. Let z = r - l. Is 11 a factor of z?
False
Let d(g) = -2*g**3 - 13*g**2 + 2*g + 86. Does 11 divide d(-10)?
False
Suppose x - n + 6*n + 4 = 0, 3*x = 2*n + 5. Suppose i - 3 = 2*p + x, 0 = -5*p - 20. Is 19 - 0/(i/4) a multiple of 12?
False
Does 15 divide 2/6 + 5104/87?
False
Let z be ((-128)/12)/(1/3). Let h = -41 + -12. Let v = z - h. Is v a multiple of 6?
False
Let b(a) = -a**3 - 2*a**2 + 2*a + 2. Let q = 8 + -11. Let i be b(q). Suppose 2*c = i*y - 13 + 65, 0 = -c - 2*y + 44. Does 18 divide c?
True
Let w(h) = 2*h**2 - 45*h - 19. Let s be w(23). Suppose 185 + 311 = s*c. Does 8 divide c?
False
Let v = 67 - 45. Suppose -3*f + 2*o + v = -6*f, 5*f + 3*o + 36 = 0. Is 9 a factor of f/15 + 127/5?
False
Let d(l) = -16*l - 6. Let b be d(-4). Let n = 172 + b. Is n a multiple of 40?
False
Let x(z) be the first derivative of z**3/3 + 4*z**2 + 10*z - 15. Is 3 a factor of x(-7)?
True
Let s be (-9)/(-3) + 18*1. Suppose -4*u - 15 = -5*u + 2*f, -u + s = 4*f. Is 2 a factor of u?
False
Suppose -2*x - 2*j + 22 = 3*x, 3*j = 2*x - 5. Suppose m = x*m - 15. Does 5 divide m?
True
Let l(g) be the first derivative of g**4 - g**3 + g**2 + 2*g + 7. Is l(2) a multiple of 6?
False
Suppose -5*x - 2*l = 0, 0 = -4*x - 7*l + 3*l - 12. Suppose 0 = x*v - 2*u + 89 + 5, 0 = 5*v - 4*u + 233. Is (-415)/v - (-2)/(-9) a multiple of 3?
True
Let j be (-153)/(-18)*(3 - 1). Let k = j - -22. Is 13 a factor of k?
True
Let h(g) = -10*g + 22. Let s be h(3). Let i = 68 + s. Is i a multiple of 30?
True
Let l(o) = 4*o**2 - 4*o + 1. Let d be l(6). Let b = d - 78. Is 18 a factor of b?
False
Suppose 74*f - 7020 = 69*f. Does 78 divide f?
True
Let m = -159 + 231. Does 24 divide m?
True
Let r(m) = m**2 - 9*m - 9. Let c be r(11). Suppose 90 = -8*u + c*u. Is 13 a factor of ((-24)/9)/((-1)/u)?
False
Let g = 89 + -44. Let r = g + -12. Is r a multiple of 10?
False
Let k be (-144)/7*392/(-42). Let g = -114 + k. Is g a multiple of 15?
False
Suppose j - 172 = -3*y, -y - 3*j - 2*j + 48 = 0. Suppose p + 0*p = 5*c - y, c + 2*p - 16 = 0. Does 8 divide c?
False
Let l(b) = -b**2 - 11 + 3*b + 10*b + 0*b. Is l(9) a multiple of 15?
False
Let j(f) be the third derivative of f**4/4 - 5*f**3/3 + 2*f**2. Let a = -149 - -156. Is 32 a factor of j(a)?
True
Suppose 0 = 5*s - 24 - 41. Suppose 0 = s*p - 11*p - 46. Is p a multiple of 23?
True
Suppose -15*w + 1617 + 1128 = 0. Is w a multiple of 10?
False
Let j = 6 + -4. Suppose n + j = 7. Suppose 3*x = n + 1. Does 2 divide x?
True
Let b = 92 + 16. Let i = -44 + b. Does 16 divide i?
True
Suppose 0 = -7*x + 9*x - 4. Suppose -x*t + 15