-i**3 - 13*i**2 - 2*i + 3. Let u be o(-13). Let q = -25 + u. Suppose 6*z - 136 = q*z. Is z a multiple of 35?
False
Suppose -3*l + 9 = 5*k - 7, -5*l - 30 = -3*k. Suppose 29 = h + 2*x, h - 17 = k*x - 10*x. Does 7 divide h?
False
Let l be (-44)/(-16) + -3 + (-362)/(-8). Let c = -124 + l. Let j = -61 - c. Is j a multiple of 9?
True
Let v(d) = d**2 + 20*d + 124. Let o = -385 + 380. Is v(o) a multiple of 4?
False
Let m be (-4700)/(-18) + (-6)/54. Let t = 720 + m. Does 66 divide t?
False
Let y(h) = h**2 + 6*h + 10. Let i be y(-4). Does 18 divide 3*3/(-36)*(-550 + i)?
False
Suppose -28035 = -144*s + 150813. Is 18 a factor of s?
True
Let h = 3395 + -1926. Does 2 divide h?
False
Let c(n) = n**2 - 6*n - 5. Let r be c(-2). Let p be 3 - (2 - r)/3. Is -5 + 997/p + (-2)/12 a multiple of 10?
False
Let f(n) = 4*n**2 + 4*n - 6. Let s be f(3). Is 10 a factor of -8 - 1106/(s/(-6))?
True
Let w(m) = -m**2 - 11*m - 13. Let t be w(-7). Let v be (t/4 - 1/(-4)) + -1. Suppose -2*l + 80 = v*q, -l - q = 4*q - 40. Is l a multiple of 20?
True
Suppose -5*l + 2*u = u - 21, 0 = 2*l - 5*u - 13. Suppose -l*w = -12*w + 2432. Does 31 divide w?
False
Suppose 5*r = -4*m + 19420, -3*m + 5*r + 18785 = 4220. Is 9 a factor of m?
False
Let f = -4078 - -4229. Does 2 divide f?
False
Suppose 4695 = -8*i + 34487. Suppose 158*z - 165*z + i = 0. Is 23 a factor of z?
False
Suppose -72 = -58*z + 102. Suppose -z*i - 2*i - 855 = -5*h, -2*i = 6. Is h a multiple of 21?
True
Let i(z) = -5*z**2 + 408*z - 326. Does 7 divide i(77)?
False
Suppose 8160 = 11*n - n. Suppose -11*r + n = -196. Does 23 divide r?
True
Let p = 7 + -5. Suppose -2*m - 555 = -3*j, 4*m - 5*m = -p*j + 369. Suppose 0 = -4*w + 4*i + 156, -i - j = 3*w - 8*w. Is w a multiple of 9?
True
Let y be (4 - 8)/((-12)/5139). Let p = 3466 - y. Is 80 a factor of p?
False
Let y = -8070 + 8638. Is y a multiple of 3?
False
Let a = -14618 + 20997. Does 5 divide a?
False
Let t = -652 + 656. Suppose -116 - 56 = -t*m. Is 11 a factor of m?
False
Let l(p) = 46*p**2 - 5. Let a = 118 + -116. Does 14 divide l(a)?
False
Let b = 172 + -68. Let y = 107 - b. Suppose -m + 3 = 0, -a + 17 = -y*m + 5*m. Does 3 divide a?
False
Let s = -7624 - -28556. Is s a multiple of 10?
False
Suppose v = 3*o + 10, 7*v - 2*v - o - 64 = 0. Let s(m) = -10 - 12*m + 3*m - 9*m + 2*m**2 + 0*m. Is 11 a factor of s(v)?
False
Let u = -33 - -37. Suppose -x - u*v + 2*v = -33, 3*x + 2*v = 91. Let a = 52 - x. Is a a multiple of 23?
True
Suppose -73*w + 1763640 = 157*w. Does 213 divide w?
True
Let d be 40/200 + (-878)/(-10). Does 23 divide (-16)/d - 1/((-33)/23238)?
False
Suppose 24*c + 112 = 17*c. Let m = c + 295. Does 30 divide m?
False
Let v be 4*6/(60/155). Suppose x - l - 42 = 0, -v = -x + 3*l - 18. Suppose -y = 2*h - 6, 4*h + h = y - x. Is y a multiple of 16?
True
Let u(r) = 2*r**2 - 2. Let h be u(-10). Let t = -54 + h. Is 8 a factor of t?
True
Let n(v) = 1711*v + 10463. Is n(9) a multiple of 67?
True
Suppose 110*y = 355*y - 1070650. Does 12 divide y?
False
Let h(d) = -89*d**3 - 2*d**2 - 2*d - 1. Suppose 4 = 4*o - 4. Suppose 0 = -4*m - 2*q - 12, -2*q = -3*m + o*m + 7. Is 11 a factor of h(m)?
True
Let n(o) = 2*o**2 + 76*o - 1163. Let x be n(-49). Let w(p) = 2*p**3 - 4*p**2 + 3*p - 2. Let j be w(2). Is 11 a factor of (18/j - 3) + x/(-2)?
True
Let f(w) = 1103*w + 4. Let l be f(4). Suppose 30*h = 7*h + l. Is h a multiple of 29?
False
Suppose m = 2*c - 2032 + 17957, 4*m - 6*c = 63714. Does 231 divide m?
True
Suppose -r + 27576 + 11186 = -2*s, -2*r + 77515 = 5*s. Is 209 a factor of r?
False
Let m(o) = o**2 + 7*o + 15. Let n be -1*33/3 - (-2 + -2). Let d be m(n). Let x = d - -21. Does 5 divide x?
False
Let v be 24/14 - 10/(-35). Let b be 12 + (3 - -5) + -16. Suppose -2*h = h - b*q - 48, -v*h + 4*q + 28 = 0. Is h a multiple of 20?
True
Does 67 divide (10/(1 + 0))/(27 + 2127314/(-78792))?
True
Let n = -381 + 1664. Let g = -807 + n. Suppose 0 = -4*l + g + 484. Does 40 divide l?
True
Let o = 6495 - -1677. Is 6 a factor of o?
True
Does 19 divide -2 + 5 + 4 + 7246/1 + 5?
True
Suppose -d - 2*r = 8, 0 = -3*d - 3*r - 20 - 19. Suppose -9681*x - 19 = -9660*x - 712. Let k = x + d. Is k a multiple of 13?
False
Suppose 3*z - z = -4*x + 42, -5*x = 0. Let p = z - 14. Suppose 846 + 1415 = p*r. Does 17 divide r?
True
Let a be (3*-3)/3 - -283. Suppose -45 - 35 = -10*y. Suppose 5*k + y*q = 3*q + a, 0 = 3*k - 2*q - 143. Is 17 a factor of k?
True
Let s(p) be the first derivative of 4*p**3/3 + 15*p**2/2 - 41*p + 19. Does 12 divide s(4)?
False
Let j = 113 - 115. Does 12 divide (j - 0)*-50 - (1 - -4)?
False
Let o = -265 + 305. Suppose 248 + o = 4*j. Is 9 a factor of j?
True
Let o(k) = -5757*k - 73. Is o(-1) a multiple of 116?
True
Let k(g) = g**3 - 11*g**2 - 13*g + 17. Let v be k(12). Suppose 0 = -2*y - v*n - 57, 3*y - 8*y - 2*n = 90. Let p = 104 - y. Is p a multiple of 15?
True
Suppose -10*j = -26*j - 13*j + 106459. Is 24 a factor of j?
False
Let f(h) = h**3 - 10*h**2 + 6*h + 12. Suppose 52*x - 35 = 51*x. Suppose -7*r + 35 = -x. Is f(r) a multiple of 7?
False
Suppose -22*a + 572 = -820 - 82. Does 33 divide a?
False
Suppose 0*o + 112878 = 4*m - o, 5*m - 141117 = -2*o. Is 16 a factor of m?
False
Suppose 2*z + 31*z = -41*z + 1517074. Is 83 a factor of z?
True
Let p be (4 + (-88)/12 - -4)*6. Suppose 5*x = p*x + 1, -5*c = 3*x - 2953. Is 17 a factor of c?
False
Suppose -5*b - 50*b = -220. Is 34 a factor of 1093/b - 35/140?
False
Suppose 36*w - 68*w = -41*w + 10431. Does 10 divide w?
False
Suppose 2*l + l = 3*w - 6768, 0 = -4*l - 20. Suppose -4*b + w = -453. Is b a multiple of 32?
False
Does 11 divide (16 - 1) + -21 - -1613?
False
Let j be (27/(-18))/(38/(-12) + 3). Suppose -j*s = -14*s + 1350. Is -1 + s - 9/(-9) a multiple of 26?
False
Let k(y) = -3510*y + 1937. Does 53 divide k(-2)?
True
Is 12 a factor of (-6 - (-6 - -4) - -4892) + -4?
True
Suppose -2 = -3*m - j, 3*m + 5*j = 2 + 8. Suppose 6*p - 2*p - 126 = -2*g, m = 5*g - 5. Is p a multiple of 3?
False
Let t = 1360 - -1697. Does 16 divide t?
False
Suppose 1763 = 3*u - 2*m, -u + 589 = 3*m - 5*m. Is 88 a factor of u?
False
Suppose 4*a = -4, 4*h - 67 = -2*a + 71. Let m be 42/h*15/9. Suppose g - 82 = -m. Is g a multiple of 16?
True
Suppose 4*g + 51 + 69 = 0. Let y be (42/(-1))/((-12)/g*-5). Suppose k - 89 - y = 0. Does 14 divide k?
False
Suppose 0 = -2*t + 3*v + 2125, 31*t - 2128 = 29*t + 4*v. Is 3 a factor of t?
False
Let i(g) = 11*g + 376. Suppose 29*r + 3*r = 0. Does 18 divide i(r)?
False
Let a(r) = r + 1919. Is 7 a factor of a(-102)?
False
Suppose -2 = -2*a + 4, 0 = -5*w + a + 402. Let b = w + -78. Suppose b*l - 196 = -4*l. Is 4 a factor of l?
True
Suppose -a + 158 + 31 = 0. Let p = a + -171. Is p a multiple of 3?
True
Let d = 92218 - 50575. Does 20 divide d?
False
Let w = 243 - 264. Let d(k) = 2*k + 79. Is d(w) a multiple of 6?
False
Let p(s) = -3*s**3 + 10*s**2 - 71*s - 559. Is 4 a factor of p(-7)?
False
Let f(p) be the second derivative of p**5/20 + 3*p**4/4 + 2*p**3/3 - 4*p**2 - 2*p - 1. Let l = -18 - -14. Does 14 divide f(l)?
True
Suppose -11*w - 85 = 6*w. Let m(c) = c**3 + 11*c**2 + 12*c + 38. Is 32 a factor of m(w)?
True
Suppose -67445 = -b - 28*b - 6*b. Is b a multiple of 2?
False
Suppose -3*b - 18633 = -2*t, 0 = 7*t - 12*t + 3*b + 46605. Is 56 a factor of t?
False
Let s(w) = 2*w**2 - 105*w + 61913. Is 17 a factor of s(0)?
False
Suppose 9*s = -11 + 38. Suppose -5*c + 7 + 38 = 0. Suppose 285 = s*j - c. Does 14 divide j?
True
Let c(g) = -2*g**3 - 10*g**2 - 130*g - 735. Is c(-6) a multiple of 75?
False
Let t(m) = 212*m**3 + 3*m**2 + 4*m + 2. Is 15 a factor of t(2)?
False
Suppose -18*g + 10 + 26 = 0. Suppose -3*b + 435 = -g*b - 5*a, 2*b = 4*a + 846. Is 18 a factor of b?
False
Suppose a = 4*p, -p + 2*p - 5*a = 0. Suppose -x - 5*m - 10 + 312 = p, -3*m - 591 = -2*x. Is 33 a factor of x?
True
Let j(k) = -4*k**3 + 6*k**2 + k - 25. Does 3 divide j(-7)?
False
Let l = -7 + 11. Let f = 41 + -37. Suppose 0 = 3*n - 3*a - 48, -2 = -f*n + 2*n - l*a. Is n a multiple of 6?
False
Let k = -179 + 421. Suppose 0 = 4*y + 5*d - 3*d - k, 4*d = 4. Is 10 a factor of y?
True
Let j be 2*29/(-4)*-2. Let q(v) = v**3 + 20*v**2 - 24*v - 9. Let m be q(-21). Suppose -s = -3*f + m, 2*f - 2*s - s - j = 0. Is 6 a factor of f?
False
Let d(l) = -8 + l**2 + 10*l - 7*l + 7*l - 2. Let t(y) = y**2 + 9*y - 1