 5?
True
Let x(n) = 19*n**3 - 2*n**2 + 2*n - 1. Let m = 23 - 19. Suppose m = -3*i + 7. Does 6 divide x(i)?
True
Let g(i) = 22*i + 251 - 251 + 11*i. Is g(2) a multiple of 10?
False
Suppose -3*m + 30 = 3*m. Suppose -m*s + 127 = 12. Is 23 a factor of s?
True
Let y(a) = 15*a - 8. Let j = 7 - 11. Let p be y(j). Let t = -44 - p. Does 8 divide t?
True
Suppose -8 = 4*m - 2*m. Let j be m/22 - 476/(-77). Does 16 divide 9/j - (-154)/4?
False
Suppose -b - 4*o + 196 = 0, -o = 2*b + 3*b - 1037. Let c = 292 - b. Is c a multiple of 19?
False
Let b = -164 + 70. Let k = -28 - b. Is 22 a factor of k?
True
Suppose -1 = -6*l - 25. Is 2 - (-1 - l) - -106 a multiple of 15?
True
Suppose 2*l + 4 + 0 = -2*y, 3*l = 3*y - 18. Let i(z) = -13*z**2 - z + 2. Let a be i(l). Is (-12)/28 - a/14 a multiple of 7?
True
Let i(k) = -k**3 - 7*k**2 + 7*k - 10. Let b be i(-8). Is b/3 - (3 - (-2103)/(-9)) a multiple of 29?
False
Suppose 3*v = -2*p + 218, 566 = 5*p - 3*v - 0*v. Let t = p - 46. Let f = -27 + t. Is f a multiple of 10?
False
Let w(k) = k**2 + 6*k + 12. Let s(q) = 2*q + 5. Let r be s(-7). Does 16 divide w(r)?
False
Suppose -q - 6*j + j + 6 = 0, 0 = -5*j + 15. Let k(i) = -i**3 - 6*i**2 + 15*i + 16. Is k(q) a multiple of 31?
True
Let z(k) = -2*k**2 + 42*k - 2. Let l be z(21). Let q(o) = -9*o - 4. Does 7 divide q(l)?
True
Suppose -49*m = -62*m + 1924. Does 37 divide m?
True
Let r(y) = 103*y**2 - 13*y + 11. Is r(-5) a multiple of 17?
False
Does 10 divide 125 - (2 + 28/(-4))?
True
Let q(n) = -n**2 - 4*n + 1. Let k be q(-7). Let o = k - -21. Let h = 7 + o. Is h a multiple of 8?
True
Suppose z + 2 = -7. Let s be z/(18/(-4))*11. Suppose -2*n + 3*n - s = 0. Is 6 a factor of n?
False
Suppose 5*q = -11 - 4, -1080 = -4*r - 4*q. Is 13 a factor of r?
True
Let a = -69 - -114. Suppose -4*k - 4*v - 92 = 0, 3*k - 3*v - a = 5*k. Is 5 a factor of 2/4 - 756/k?
False
Suppose 3*v + 4 = 13. Let y be 1/((-3)/(-24)) - v. Suppose -a - 45 = -2*a - y*g, -3*g + 15 = 0. Does 10 divide a?
True
Let y = 28 - 24. Suppose y*d - 107 - 337 = 0. Is d a multiple of 43?
False
Suppose -19*x = -44*x + 8400. Is x a multiple of 46?
False
Let y = 189 - -35. Is y a multiple of 56?
True
Suppose 252 = -5*p - 3*k, 0*p + p + 36 = 3*k. Let h = -331 - -302. Let w = h - p. Is w a multiple of 6?
False
Suppose -3*h = -3*j + 5*j - 432, 3*j - 614 = 4*h. Is 14 a factor of j?
True
Suppose 792 = -2*n + 6*n. Is n a multiple of 18?
True
Let s(m) = 91*m**2 - 8*m - 31. Does 35 divide s(-6)?
False
Let c(g) = -g + 0 + 14*g + 3 + 24*g. Let a be c(4). Suppose w = -4*u + a, 4*u + 2*w - 149 = -w. Is u a multiple of 19?
True
Let s(y) = -1 - 3*y**2 - y + y**3 - 3*y + 6 + 0*y**3. Let u be s(4). Suppose u*m - 32 - 13 = 0. Is m even?
False
Let r(u) = -229*u - 876. Is r(-4) a multiple of 4?
True
Let h be 36480/135 - 2/9. Suppose -h = -10*y + 5*y. Is 0 + y + 0/(-2) a multiple of 25?
False
Let q(h) be the first derivative of h**4/6 + h**3/3 - 7*h**2 + 4*h + 10. Let v(u) be the first derivative of q(u). Is v(-7) a multiple of 29?
False
Suppose -4*p - 5*b + 606 = -460, -p = -4*b - 256. Suppose 10*o + p = 13*o. Is o a multiple of 8?
True
Let p(v) = 11 - 5 - 6*v - 2. Let d be p(2). Is ((-6)/(-1))/((-6)/d) a multiple of 4?
True
Let t = 1109 - 11. Is 4 a factor of t?
False
Suppose 2728 = 4*g - 4*w, -8*w + 4*w - 676 = -g. Is 61 a factor of g?
False
Is (42/(-18) - -3)*(-4278)/(-4) a multiple of 35?
False
Suppose 5 = 13*x - 12*x. Suppose -2*y - 5*z + 642 = 0, y - x*z = -0*z + 351. Is y a multiple of 53?
False
Suppose t - 5*t = 0. Suppose t = -5*x - 5. Is 6 a factor of 13 + 3 - x*2?
True
Let a(m) = -3*m**2 + 105*m + 68. Does 14 divide a(33)?
True
Suppose -j = -14 - 65. Suppose 0 = 5*q - 241 - j. Is ((-150)/(-40))/(6/q) a multiple of 20?
True
Suppose 5*s = 4*o + 8314, -4*o = 3 - 19. Does 14 divide s?
True
Let o = -10 - -13. Let f be -3 - (-9)/o - -8. Let h = 0 + f. Does 4 divide h?
True
Is (803/(-33))/((-2)/462) a multiple of 73?
True
Suppose -1006 - 2714 = -6*z. Does 10 divide z?
True
Let b(h) = 7*h - 13. Let c be b(8). Let i = c + -20. Is 3 a factor of i?
False
Let v(r) = -r**2 + 12*r - 33. Let t be v(6). Suppose t*z = -i + 161, i - 6*z = -z + 121. Is 13 a factor of i?
False
Let h be (-9)/12*(-4)/(-1). Let g be (-1)/((9/h)/3). Is 8 a factor of 33/6*(3 - g)?
False
Let t(g) = 2*g**3 - 4*g**2 + g - 2. Let z be t(4). Suppose 2*b - z = -2*h, 5*h + b - 57 = 88. Does 19 divide h?
False
Let n(d) = 2*d**2 + 2. Suppose y + 2 = 3*k, 4*y + 0*k - 5*k + 8 = 0. Is n(y) a multiple of 7?
False
Suppose -7 = p - 1. Suppose 2*s - 3*m + 18 = 0, -s = -2*s - m + 1. Is 2 a factor of -3 + (s - p) + 7?
False
Let a(b) be the first derivative of 60*b**2 - 4*b + 12. Is a(1) a multiple of 29?
True
Let u(r) = 3*r**2 + 4*r + 3. Let m be u(-2). Let o(q) = q**3 - 7*q**2 + 2*q - 8. Let p be o(m). Suppose 8 = l - p. Is l a multiple of 14?
True
Let p(i) = 3*i**2 - i + 1140. Is 30 a factor of p(0)?
True
Let x = 3 + -2. Let v = 86 - 80. Is (v/(-15))/(x/(-80)) a multiple of 16?
True
Does 24 divide (-128)/(-160) - (0 - 7436/5)?
True
Suppose 0*v - 4*v = 5*x - 95, 2*v - 50 = -2*x. Suppose v = t - 150. Let z = t - 108. Is z a multiple of 24?
True
Let y(k) = 2*k**2 + 5*k - 3. Let o be y(-4). Suppose 5*v - 6 = o. Does 13 divide ((-27 - 2) + v)/(-2)?
True
Let o = -365 + 752. Suppose o = -5*n + 1187. Suppose -20 = -3*c + n. Is 15 a factor of c?
True
Let o be 7 + (0 - 0/1). Let x = 4 - o. Does 2 divide (-6)/4*4/x?
True
Suppose -6*q + 224 = -4*q - 4*r, 0 = 5*q - 3*r - 574. Is 10 a factor of q?
False
Suppose 4*a - 1 - 11 = 0, 4*w + 4*a - 5628 = 0. Does 18 divide w?
True
Let m(r) = 2*r**3 + 35*r**2 - 14*r - 29. Is m(-17) a multiple of 62?
False
Let h(k) be the third derivative of -k**6/120 - k**5/60 + k**4/24 + k**3/2 + 10*k**2. Is 9 a factor of h(-3)?
True
Does 5 divide ((-1)/3)/(873/(-432) - -2)?
False
Suppose 2*m = 5*m, 2*m - 842 = -d. Does 56 divide d?
False
Let y = 306 - 183. Suppose -2 = -2*d, -d = -3*x - y - 70. Does 15 divide 2 + -4 + (-2 - x)?
True
Let n(m) = -2*m + 8. Let h be n(-6). Suppose -3*z = 2*z - h. Suppose x - 4*u + 1 - 61 = 0, 2*u = z*x - 198. Does 12 divide x?
True
Let m = 36 + -27. Suppose -576 = -m*h + 5*h. Is h a multiple of 34?
False
Suppose 2*v = -4*g + 332, -168 = -6*v + 5*v - g. Is v a multiple of 17?
True
Suppose 0 = -2*w - 5*v + 20 + 1, 0 = 2*w + 2*v - 18. Does 4 divide w?
True
Let l(a) = 2*a**3 + 2*a**2 - 1. Let r be l(1). Suppose r*x - 9 = -3*n, 6*x - 9 = x - 3*n. Suppose 2*o - 65 = -4*c - 23, x = -4*c - 3*o + 47. Does 7 divide c?
False
Let x(y) = 21*y**2 + 4*y - 1. Is x(3) a multiple of 15?
False
Is 15 a factor of (0 + 222/(-15))/(5/(-375))?
True
Suppose -278 = 2*i + 5*d - 1816, 0 = 4*i + 4*d - 3100. Does 41 divide i?
True
Let b = -68 + 67. Does 3 divide 4 + (-1 - 33/b)?
True
Is 9 a factor of ((-178)/5 + -1)/(2/(-20))?
False
Let z(s) = -127*s + 3. Let u be z(-3). Let g(d) = -54*d + 11. Let a be g(-8). Suppose 2*i + 3*i - 3*w = a, -5*w + u = 4*i. Does 18 divide i?
False
Let l = 1240 + -758. Is 3 a factor of l?
False
Let w(c) = -613*c + 3. Is 7 a factor of w(-1)?
True
Suppose 3*x - 10 = -2*x. Let f = 10 + x. Suppose -33 = -d + 3*j, -3*j + 27 = d - f. Is 12 a factor of d?
True
Suppose 38*i + 2616 = 41*i. Is 35 a factor of i?
False
Let s(d) = -14*d - 35. Let x be s(-12). Let p = x + -71. Is 31 a factor of p?
True
Let c(l) = l + 14. Let i be c(-22). Is -55*(-2 + i + 5) a multiple of 51?
False
Let g = 3972 - 303. Does 52 divide g?
False
Let f = 116 - 26. Suppose -b + f = b. Does 12 divide b?
False
Suppose -3*g + 110 = -g. Suppose 0 = -0*p - 5*p + g. Does 5 divide 4/22 - (-493)/p?
True
Suppose -2*x - 280 = 3*x. Let f = x + 60. Is 2 a factor of f?
True
Let h(w) be the third derivative of 11*w**4/24 - w**3/3 - 4*w**2. Let f be h(-6). Does 5 divide -2 - 4/(16/f)?
True
Let a(p) = -p**3 - 8*p**2 - 9*p - 1. Let z be a(-7). Let j(b) = b**3 + 9*b**2 - 14*b - 5. Let q be j(-9). Suppose q = 2*o - z. Does 32 divide o?
False
Suppose -40 + 10 = -2*y. Does 11 divide 3/1*85/y?
False
Let h = 52 + -38. Suppose 706 = h*m - 1086. Is m a multiple of 16?
True
Suppose 9*s - 3333 = -2*s. Is 43 a factor of s?
False
Let o be (-2793)/7 + 5 + -2. Let g = -201 - o. Suppose 2*m = -3*u + 178, 5*m + 5*u - 255 = g. Is 23 a factor of m?
True
Is 8 - (-510 - (0 - 7)) a multiple of 73?
True
Let c(f) = -7*f**3 - 4*f**