es 26 divide z?
False
Let f = -24 - -33. Suppose f*p = 3*p + 300. Is 7 a factor of (3 + p + -4)*(2 + -1)?
True
Is 43/(-258) - 42146/(-12) a multiple of 57?
False
Let o(p) = 13*p - 276. Let g be o(21). Let c(s) = 3*s**3 + 13*s**2 + s. Does 7 divide c(g)?
False
Suppose 31*w - 84 = 24*w. Suppose -2*q - d = -w, -16 = -2*q + 10*d - 9*d. Suppose q*p = 13*p - 54. Is 8 a factor of p?
False
Let h(l) = -7*l - 5. Let g be h(-1). Let v(p) = -3 + g*p + p**2 + 10*p - 5*p. Is 6 a factor of v(5)?
False
Suppose 4*d - 8 = 5*y - 4, 0 = -2*y + 2*d - 2. Suppose 5*a - 114 = -3*s - 6, y = -4*a + 2*s + 82. Does 20 divide a?
False
Let p(k) = k + 18. Let l(t) = -t**3 - 5*t**2 + 22*t - 10. Let c be l(-8). Let z be p(c). Suppose q + u - z = -0*q, u - 93 = -4*q. Is 3 a factor of q?
False
Let y be (-24)/108 - 1/9*-11. Suppose 5*h + 235 = -3*x, y = 2*h + 11. Let g = -49 - x. Is g even?
False
Suppose -3*z - 3*p = -140 + 35, 3*p = -5*z + 185. Suppose -15 = z*b - 43*b. Suppose -294 = -b*u + 526. Is u a multiple of 41?
True
Let b(g) = 4*g**2 - 6*g - 3. Suppose -d + 6 = -2*w, -2*w + w + 5*d + 15 = 0. Let y be ((-9)/15)/((-1)/w). Does 7 divide b(y)?
False
Let f be 5/(3 - (5 + -3)). Suppose f*i = 4*w - 42, 3*i + 38 - 10 = w. Does 5 divide 1116/60 + (-4)/i?
False
Let t(u) = -219*u**3 - u**2 - 5*u. Let y be t(-2). Let s = -1047 + y. Is s a multiple of 9?
True
Suppose 0 = -9*u + 30*u. Does 14 divide -1 - (u + 5) - -146?
True
Suppose j + 4*k = -0*k + 12, k = 5*j - 39. Let w be (2 - 1) + 2328/j. Suppose n - w = -2*o - 0*o, 3*o = 2*n + 452. Is o a multiple of 37?
True
Is 37 a factor of (-651)/(-124)*(-83708)/(-17)?
False
Let h(n) = 13*n**2 - 14*n - 15. Let s be h(5). Let l = s + 147. Is l a multiple of 40?
False
Suppose -7 = 4*l + 5*t, -2*t + 9 = 5*l + 5. Suppose -801 = -l*o - 7*o. Is 5 a factor of o?
False
Let o(z) = 37*z**3 - 7*z**2 - 15*z + 81. Does 3 divide o(4)?
True
Let j = -270 - 654. Is 12 a factor of ((j/(-9))/(-2))/((-1)/3)?
False
Suppose -1145 = -3*l + 5*o, -l - 5*o + 45 = -370. Suppose 0 = 4*b - 5*b - 5*y + 106, l = 5*b - 3*y. Does 5 divide b?
False
Let k be 4 - (-4 - (-30)/6). Suppose -5*o - 1023 = -3*g, 0 = -k*o + 7 - 16. Is 7 a factor of g?
True
Suppose 5*c + 3*f = 0, 0*c = 2*c - f. Suppose -2*t = 4*v - 54, t + 59*v - 61*v = 11. Suppose h - t - 167 = c. Is 15 a factor of h?
False
Suppose -2*i + 2*j - 5990 = 0, i - 3*j + 1693 = -1312. Is 65 a factor of (i/4)/((-40)/80)?
True
Let c be (6111/11)/3 + 6/(-33). Suppose -c = -5*s + 1120. Is s a multiple of 15?
False
Let f(j) = j**3 + 36*j**2 - 118*j - 39. Let r be f(-39). Suppose 4*w = -6*s + 5*s + 219, -6*s - 5*w + 1371 = r. Is s a multiple of 7?
True
Let m = -99 + 220. Let w = m + -43. Is 13 a factor of (w/5)/((-7)/(-35))?
True
Suppose -118992 = -49*y + 25*y. Is y a multiple of 67?
True
Let n(q) = q**3 + 6*q**2 - 6*q - 4. Let w be n(3). Suppose -w*p - 57 = -62*p. Is 19 a factor of p?
True
Let r be (-3)/1 - (2 - 7). Let x(q) = 10*q**2 + 40*q - 63. Let v(t) = -3*t**2 - 13*t + 21. Let z(j) = r*x(j) + 7*v(j). Is z(-9) a multiple of 13?
True
Let s(t) = 2*t**3 - 11*t**2 - 7*t + 10. Let o be s(6). Suppose 4*p - o = 16. Suppose -33 = -j - 4*m, -143 = -p*j - m + 22. Is 11 a factor of j?
True
Suppose -35618 = 9*i - 82472. Is 19 a factor of i?
True
Let s(o) = -2*o + 11 + 26*o**2 + o**2 - 6*o - 43 + 30*o**2. Is 22 a factor of s(-4)?
False
Let i be 2/3*(-2 + 5). Suppose 14 = 4*j + i*t, 3*j - 13 = -4*t + 10. Let b = 20 + j. Is b a multiple of 5?
False
Let w(b) = 4*b**3 + 22*b - 6. Let i(x) = 9*x**3 - x**2 + 43*x - 12. Let k(c) = 3*i(c) - 5*w(c). Is 4 a factor of k(4)?
False
Let u be 6 + -3 + 2 + -10 - -1. Let o(p) = -79*p + 170. Is o(u) a multiple of 26?
False
Suppose -3*h + 21 = -15. Let i = 12 - h. Suppose i = -8*n - 6*n + 504. Does 6 divide n?
True
Let z(d) = 15*d - 7. Let g(t) = -8*t + 3. Let y(v) = -11*g(v) - 6*z(v). Let b(u) = u + 1. Let f(n) = -21*b(n) - 3*y(n). Does 7 divide f(-8)?
False
Let f = -116 - -109. Let m(o) be the third derivative of -5*o**4/24 - 4*o**3 - 5*o**2. Is 3 a factor of m(f)?
False
Suppose -1875 = -11*c + 1876. Suppose -4*x + 2*m = -338, -29*x = -25*x + m - c. Is 6 a factor of x?
False
Suppose 5*i - i + c = 112, -3*c = 5*i - 133. Let x(r) = -2*r**2 - 16*r - 35. Let g be x(-5). Let q = i + g. Is 6 a factor of q?
True
Let w = 23486 + -6966. Does 10 divide w?
True
Let i(u) = -u**3 + 4*u**2 + 4*u - 6. Let n be i(3). Suppose -3*q = 5*l - 173 + n, q = -2*l + 54. Does 15 divide q?
False
Let v(h) = h**3 - 8*h**2 - 18*h + 26. Let y be v(10). Suppose -y*l + 54*l = 0. Does 19 divide l/(-3 - 1) + 133?
True
Suppose -4*n = 3*g - 13458, -13494 = -2*g - g + 2*n. Does 67 divide g?
False
Let j(h) = 193*h + 916. Is j(18) a multiple of 39?
False
Let d = 4187 - -1576. Does 132 divide d?
False
Let f(w) = -79*w + 1893. Does 5 divide f(-28)?
True
Let d(s) = -127*s + 507. Is d(-12) a multiple of 2?
False
Suppose -6*z + 5*z = -25. Suppose 5*l + z = 4*x, -3*l + 4*x - 23 = -0*x. Let s(p) = 48*p**2 - 2*p - 3. Is 15 a factor of s(l)?
False
Let i(q) = -31*q + 2174. Is i(29) a multiple of 25?
True
Suppose 445280 - 108011 = 19*h. Is h a multiple of 83?
False
Is ((-42402)/30 - 1)/((-6)/30) a multiple of 136?
True
Let u = 49 - -682. Let q = -260 + u. Is q a multiple of 16?
False
Suppose -97*r - 4036 = -112*r + 121529. Is r a multiple of 50?
False
Let d = -1230 + 3576. Does 6 divide d?
True
Let g(n) = 524*n**2 + 52*n - 202. Is g(4) a multiple of 11?
False
Let h = 406 - 156. Suppose 3*s = 13*s - h. Let u = 55 - s. Is u a multiple of 10?
True
Let t = -108 + 110. Suppose -160 = -t*p - 2*o, -2*p + 178 = -3*o - o. Suppose -l + m = -p, -5*m - 32 = 5*l - 397. Is l a multiple of 13?
True
Let z(q) = 2*q**2 - 29*q - 20. Let r be z(14). Let s = -54 - r. Is 5 a factor of s*7/(-21)*15/4?
True
Suppose -7*o + 1427 = -3*o + 5*u, 359 = o + 2*u. Let j = o - 269. Is j a multiple of 12?
True
Suppose 3 + 13 = 2*s. Suppose -s*h - 54 = -166. Does 12 divide h?
False
Let c(a) = 731*a**2 - 59*a + 2. Is 143 a factor of c(4)?
False
Let t(k) = 214*k**2 + 4*k + 15. Let f(j) = 43*j**2 + j + 3. Let a(v) = -11*f(v) + 2*t(v). Let d be a(-1). Let y = d + 93. Is 8 a factor of y?
True
Suppose 3*i - 339 = o, 21 = i - 5*o - 106. Let j = 31 + i. Let z = j + -99. Is z a multiple of 21?
False
Let r be (4/6)/(-6 - (-1012)/165). Suppose 3*f = -u + 325, -14*u = -15*u + r*f + 285. Is 17 a factor of u?
False
Let d = 820 + 867. Is d a multiple of 7?
True
Does 9 divide 19/(855/6630) - 3/9?
False
Let d be 34 + (-2)/(-11) + 210/55. Let a = d + 76. Is a a multiple of 13?
False
Let y = -235 - -239. Let a(i) = 12*i - 2. Let t be a(5). Suppose t = p + p + y*l, 2*p - 22 = 5*l. Is p a multiple of 21?
True
Let q be -3 - ((-4)/(-18) - 109142/198). Suppose 0 = 2*t + 4*a - q, 0*t = t - 4*a - 250. Is 4 a factor of t?
False
Suppose 4*w = -j - 117, 3*j = -0*w + 2*w + 41. Let b = 53 + w. Is (-20)/15*-1*3*b a multiple of 13?
False
Let r be (-9)/1*(1 + -3). Let s = -63 + r. Is (s/21 - -3)/(3/84) a multiple of 8?
True
Suppose 0 = 28*c - 694519 - 140581. Is 11 a factor of c?
False
Suppose 288*n = 297*n - 113130. Does 76 divide n?
False
Let z(l) = -l**3 - l**2 + l + 6. Let r be z(0). Let k(n) be the second derivative of n**4/6 - n**3 + 2*n**2 + 61*n. Does 8 divide k(r)?
True
Let w(b) = -b**3 + 4*b**2 + 4*b - 1. Let v be w(4). Suppose 2*k - 2*o = 316, 2*k - k - 156 = 2*o. Suppose v*z = 13*z + k. Is 13 a factor of z?
False
Is 77 a factor of -1*3529/(-7 - -6)?
False
Let y(s) = 796*s**2 - 15*s + 29. Is 2 a factor of y(2)?
False
Suppose 10680*i - 10788*i + 1848204 = 0. Is 3 a factor of i?
False
Suppose 5*p = -3*f + 41, -39 = -3*f - 4*p + p. Suppose 10*w = f + 8. Suppose 0 = -w*h + 168 + 54. Does 28 divide h?
False
Let b = 8162 + -5308. Does 2 divide b?
True
Let z(p) = p**3 + 7*p**2 - 8*p - 32. Let j be z(-7). Let v(m) = -m**3 + 21*m**2 + 82*m - 12. Does 13 divide v(j)?
False
Let w = 193 - 191. Suppose -2*z = -w*m + 1222, 0*m + 2*z - 1818 = -3*m. Is m a multiple of 51?
False
Suppose -43*v + 53*v = 13730. Suppose 0 = -29*j + 3267 + v. Is 16 a factor of j?
True
Let a(c) = 11*c + 131. Let l be a(0). Suppose -5*v - 2*k + 683 = -5*k, -v + l = 5*k. Is v a multiple of 12?
False
Is 66 a factor of 27/(-6) + (57384/16 - (-4 + 6))?
False
Let m(a) be the first derivative of 13 - 91/2*a**2 - 33*a. Is 42 a factor of m(-4)?
False
Su