factor of i?
True
Let x(w) = 101*w + 204. Is 14 a factor of x(0)?
False
Let g(z) = -z**3 + 4*z**2 - 2*z - 3. Let u be g(3). Let d be (0 - -2) + u - 60. Does 2 divide 14/28 - d/4?
False
Let p(l) = l**2 + 15*l + 11. Suppose -10 = -x + 13. Let k = x - 38. Is p(k) a multiple of 11?
True
Let p be (-4)/(-18) + 1312/(-72). Is (28/(-6))/(p/378) a multiple of 15?
False
Let s(b) = 86*b**3 + 2*b - 2. Let w be s(1). Suppose -2*d + 6*z + w = z, -129 = -3*d - z. Is 24 a factor of d?
False
Let a(w) = -2*w. Let r(k) = -k - 1. Let z(u) = a(u) - 3*r(u). Let f be z(-3). Is 13 a factor of f/(-3 + 0) - -33?
False
Suppose 3 = 2*x - 3*o, 0 = 4*x + 4*o - 0*o - 56. Is (-410)/(-4) + x/(-6) + 1 a multiple of 17?
True
Let w = 48 - 6. Let f = w - 19. Is 5 a factor of f?
False
Is 11/(-110) - (-24964)/40 a multiple of 12?
True
Let k = -232 + 98. Let j = -124 - k. Does 4 divide j?
False
Suppose 60 = -7*q + 3*q. Is (-380)/q - 1/3 a multiple of 5?
True
Let a(d) = -2*d + 14. Let s be a(7). Suppose -4*z + 2*z + 46 = s. Suppose 4*t + t - z = 4*y, -t + 1 = -2*y. Is 7 a factor of t?
True
Let f = -3837 + 7509. Is 136 a factor of f?
True
Let c(q) = 3*q**2 + 4*q. Let i be c(-3). Let h = i - 13. Let p(l) = 4*l**3 - 3*l**2 + l + 2. Does 6 divide p(h)?
True
Let j(f) be the first derivative of f**3/3 - 2*f**2 - 6*f + 17. Is 13 a factor of j(-4)?
True
Suppose 1 - 61 = -3*z. Does 19 divide 261/6*z/15?
False
Let b(y) = -y**2 - 17*y - 38. Does 9 divide b(-7)?
False
Let g = 1053 + -500. Is 7 a factor of g?
True
Let m(z) = -z**3 - 8*z**2 + 2*z + 18. Let l be m(-8). Suppose 0 = u - l*u + 4. Is 2 a factor of u?
True
Let j(m) = -2*m**3 - 8*m**2 - 3*m + 12. Let k be j(-6). Suppose -k - 177 = -9*o. Does 5 divide o?
False
Let w(x) = 8*x**3 + 12*x**2 - 5*x + 22. Is w(5) a multiple of 40?
False
Let c(i) = -i**2 - i + 225. Let u be 0/19*(-2)/4. Is 15 a factor of c(u)?
True
Let r(s) = -s**3 + 10*s**2 + 2*s - 5. Let g be r(10). Suppose 0 = -a + 6*a - g. Suppose -4*b + 22 = z, -3*z - z - a*b + 114 = 0. Is z a multiple of 27?
False
Let m be ((-8)/6)/((-18)/27). Suppose m*j = -8*j + 400. Is j a multiple of 5?
True
Suppose 4 = -2*m, 4*m + 139 = s - 1759. Suppose 13*l - s = 6*l. Is l a multiple of 27?
True
Let g = 1927 + -295. Does 16 divide g?
True
Let u(k) = -k**3 - k**2 - k - 42. Let v be u(0). Let h = v - -84. Let c = h + 2. Does 19 divide c?
False
Let d(z) = -18*z**3 + z**2. Let f(g) = 2*g**2 + 2*g + 1. Let u be f(-2). Suppose 13 = y - 3*n - 1, -3*n - 20 = u*y. Is d(y) a multiple of 6?
False
Let t(q) = -q - 7. Let y be t(-12). Let s = 9 - y. Suppose -w = -u + 24, -s = -u - 3*w - w. Does 9 divide u?
False
Suppose 3*z = 0, -2*z + 0 = 2*g - 32. Let n = g + -10. Is 13 a factor of 8/(-24) - (-332)/n?
False
Let w(v) = -v**3 + 17*v**2 - v - 136. Does 55 divide w(12)?
False
Suppose 3*c - c - 6 = 0, 2*b - 5*c - 441 = 0. Is 10 a factor of b?
False
Let n(o) = -8*o**3 + 3*o**2 - 2*o + 3. Let z be 45/(-12) + ((-45)/12)/(-5). Is n(z) a multiple of 28?
True
Let h(d) = 282*d**2 + 2*d - 2. Is h(-2) a multiple of 25?
False
Let k = -466 - -1547. Does 13 divide k?
False
Let v = -347 + 238. Let j = -58 - v. Is j a multiple of 8?
False
Let a = 2366 + -1589. Does 21 divide a?
True
Let f = 27 - 44. Let d = 20 + f. Suppose j = 2*j - d. Is 2 a factor of j?
False
Suppose 0 = -3*a - 3*z + 15, -3*a - 3*z = z - 15. Suppose a*u + p + 4*p - 75 = 0, 2*u = 5*p + 9. Does 4 divide u?
True
Suppose -b = -5*a + 29, -5*b + a + 0*a = 121. Let d be (-11)/(-3) + (-8)/b. Suppose -d*x - x = -70. Is x a multiple of 11?
False
Suppose 70 + 35 = r. Let g be 22/6 - 1*(-10)/(-15). Suppose 2*k - 51 = -q, g*q + 5*k - 48 = r. Does 12 divide q?
False
Let a = 197 - -58. Does 17 divide a?
True
Suppose 5*q + 598 = -2*z + 5*z, 4*z - 4*q = 792. Let k = z - 121. Does 21 divide k?
False
Let s be (4/8)/((-4)/16). Is (11/s)/(1/(-6)) a multiple of 20?
False
Let n be 13474/14 - (-52)/91. Suppose -5*w + 0*j + 3*j = -n, -j - 577 = -3*w. Is 32 a factor of w?
True
Let m(s) = -s - 11. Let j be m(-14). Suppose g = 3*l + 10, 4*g = 7*l - j*l + 16. Is 4 a factor of 2/(-5)*l*10?
True
Suppose 13*f = -0*f + 11388. Is 39 a factor of f?
False
Let u = -13 + 11. Let k be 37 + u + (2 - 2). Suppose -s + k = -5*h + 186, h = 5*s + 11. Is h a multiple of 12?
False
Let a be -3 - (-4 - (3 + 0)). Suppose t = a*t. Suppose -6*d + 2*d + 272 = t. Is d a multiple of 14?
False
Suppose -4*z + 4*q + 15 = -21, -3*z = -2*q - 22. Suppose -z*x + 8*x - 460 = 0. Does 23 divide x?
True
Let v(b) = b**3 + 4*b**2 + 2. Let h be v(-4). Suppose -2*k = 2*q - 189 + 21, -5*k + h*q = -455. Is 20 a factor of k?
False
Let y(i) = 3*i + 29 - 12 + 13 - 6*i. Is y(-18) a multiple of 14?
True
Let i = -83 + 88. Suppose i*z = 101 + 289. Is 16 a factor of z?
False
Let o(z) = 1367*z - 109. Is o(2) a multiple of 25?
True
Does 38 divide (-1842)/(((-20)/(-4))/(25/(-10)))?
False
Suppose -48*t + 61*t - 2236 = 0. Does 14 divide t?
False
Suppose 5*x = -28*x + 6765. Is x a multiple of 20?
False
Let m(i) = -i**3 + 18*i**2 - 33*i + 30. Let w be m(16). Let k(q) = q**3 - 7*q**2 + 5*q + 8. Let d be k(6). Let z = w + d. Does 16 divide z?
True
Let f be 19 - (2 + -3)*(-1 + -3). Suppose -2*p + 2 + 20 = 0. Let s = p + f. Is s a multiple of 6?
False
Let s(r) = 6 + r + 0*r - 2*r + 6*r**2 + r**3. Let g(l) = -2*l**2 - 3*l - 4. Let k be g(-2). Is 12 a factor of s(k)?
True
Let q(z) = -3*z**3 - 4*z**2 - 10*z - 22. Let w be q(-5). Suppose -w = -s + n, -4*s + 1203 = -n - 0*n. Does 12 divide s?
True
Let a = 12 - 1. Let w = 21 - a. Let h = 11 + w. Is 11 a factor of h?
False
Suppose -2*a + a = -310. Let o = -158 + a. Suppose -5*u + o + 8 = 0. Is u a multiple of 9?
False
Suppose 2*c + 426 = 4*c. Suppose 0 = -5*u + 2*d - c, -3*u + 0*d = -4*d + 139. Let k = -27 - u. Does 5 divide k?
False
Is 64 a factor of 68/(-3)*(3 + (-945)/20)?
False
Suppose -r + 8 - 4 = 0. Suppose 4*c = 12 + r. Suppose s - 40 = -2*z + 2*s, -c = -s. Is z a multiple of 5?
False
Let b(y) = -y**3 + 5*y**2 + 3*y + 6. Let u be b(7). Let h = u + 126. Is h a multiple of 11?
True
Let y = -5403 + 9048. Is 45 a factor of y?
True
Suppose 5*d - 1395 + 234 = -4*v, d = -2*v + 231. Let h = d - 159. Does 47 divide h?
False
Let k(f) = -f**3 + 2*f**2 - 7*f - 16. Let s be k(-4). Suppose -4*q = -4*u - s, 3*q = 3*u + u + 78. Does 5 divide q?
True
Suppose -2*m = -2*z - 4, -1 = -2*z - z - 4*m. Let u be 5/((1/z)/(-3)). Is 8 a factor of (-36)/u*(4 + -14)?
True
Let w be 4/(0 - (2 + -4)). Suppose w*m + 122 = 4*m. Does 14 divide m?
False
Let s(a) = -a**3 + 6*a**2 + 6*a - 9. Let p be s(6). Is (-4)/6 - (-1908)/p a multiple of 10?
True
Let r = 26 + -24. Suppose -d - r*p + 0 = -26, -d + 14 = -4*p. Is ((-8)/(-10))/(d/275) a multiple of 6?
False
Let a = 2521 - 2017. Does 84 divide a?
True
Suppose 72 + 66 = 6*g. Is g a multiple of 12?
False
Let d = 339 - 234. Does 5 divide d?
True
Let d(m) = -4*m**2 + 2*m - 2. Let c be d(1). Is 11 a factor of (-1248)/(-56) - c/(-14)?
True
Suppose 10*c + 6 = 1046. Does 33 divide c?
False
Let u(l) = -l + 11. Let j be (-1 - 2) + 3 + 7. Let h be u(j). Suppose 0 = h*p - y - 160, -y + 0*y = -p + 37. Does 12 divide p?
False
Let i(c) = 9*c**2 - 7*c + 1. Let m be i(2). Suppose 0 = v - 3*f - 0*f - m, v + 4*f = 51. Is v a multiple of 5?
True
Suppose -2*d - 5 + 63 = 0. Suppose 0 = -z + d + 15. Is z a multiple of 11?
True
Suppose 1996 + 949 = 19*q. Is q a multiple of 2?
False
Suppose -i + 4*y + 365 = 0, -349 = -i + 29*y - 33*y. Is 29 a factor of i?
False
Let v(o) = 3*o**2 - 3*o - 4. Let n = -13 + 17. Is 16 a factor of v(n)?
True
Is 23 a factor of (30*(-9)/81)/((-2)/54)?
False
Let g = -3982 - -5956. Is 42 a factor of g?
True
Let m = 195 + 421. Is m a multiple of 28?
True
Let s = 1167 + 868. Is 22 a factor of s?
False
Suppose -3*f = 5*f + 2472. Let r = f - -582. Is r a multiple of 13?
True
Let l = 73 - 71. Suppose 550 = 7*j - 2*j. Suppose 3*x + 3 = 0, -4*z + l*x + j = -144. Is 21 a factor of z?
True
Let j(r) = 2*r**2 + 2. Let m be j(-2). Suppose -52 = 6*l - m*l. Is 7 a factor of l?
False
Let j = 107 + -70. Suppose -3*u - 5*y + j = 0, 3*u + 0*u = 2*y + 2. Suppose x + 80 = 3*h, h - 40 = x - u*x. Is h a multiple of 28?
True
Let k(q) = -q**2 + 4*q + 5. Let b be k(5). Let r be b/(-9) + (-1 - -55). Let t = r - 33. Does 10 divide t?
False
Let b(d) = 8*d**2 - 2*d - 14. Let l(h) = -7*h**2 + 2*h + 13. Let z(m) = 