 2*s, 127*i - 125*i = -3*s + 16922. Is 43 a factor of i?
False
Let q(k) = 898*k**2 + 3*k - 44. Does 24 divide q(2)?
False
Let n(b) = 26*b - 23. Let s(y) = y - 2. Let v(o) = -n(o) + 6*s(o). Suppose -2*x + 13 = -5*f - 0*x, 0 = 5*f - 3*x + 12. Is v(f) a multiple of 11?
False
Let x(c) = -212*c - 50. Let h be x(-4). Let b = h + -465. Is b a multiple of 9?
True
Let u be (-3*(-3)/18)/((-47)/(-658)). Is u - (-1206 + (-20)/4) a multiple of 23?
False
Suppose -3*b + 4910 = -11740. Suppose -b = -22*x + 5362. Does 16 divide x?
True
Let o(g) = 6*g - 120. Let r be o(29). Suppose r*v = -4*q + 57*v + 1095, 0 = -3*q - v + 805. Is 6 a factor of q?
True
Let p(h) = 4*h**2 + 10*h - 13. Let z = 88 - 38. Let x be 4 - (-7)/((-35)/z). Is p(x) a multiple of 27?
False
Does 24 divide (-11 - 233/5)/((-2)/60)?
True
Let k be 2 - 3 - (-10 - -5). Suppose 3*s - 2*s = k. Suppose -321 = -4*d - 5*m, -3*d - s*m + 135 = -105. Does 12 divide d?
True
Let f = -7 + 13. Suppose 11 = -f*c + 5. Does 5 divide c - (-31 + 0 + 2)?
False
Let t be (-27)/(3/1)*(6 - 12). Suppose -t = 5*n - 2*n. Let w = 37 + n. Is 6 a factor of w?
False
Suppose 4*g = -4*o + 38424, 5*o = -4243*g + 4240*g + 48036. Does 5 divide o?
False
Let t(i) be the second derivative of -i**4/12 + i**3/2 + 2*i**2 - 11*i. Let g be t(3). Suppose 0 = -g*x + 149 - 29. Is x a multiple of 10?
True
Suppose l - 4*y = 2, 4*y + 23 = 2*l + 3. Suppose -l = -5*r + 2*d, 0 = -2*d + 3*d + 4. Suppose i = o + 52, -278 = -4*i - r*o - 94. Does 7 divide i?
False
Let m be 7 - 15/(15/(-5)). Suppose -3*p = m, -4*i - 12*p + 112 = -14*p. Does 8 divide i?
False
Suppose t = 4*t - 15528. Suppose 85 = -5*m + 2*f + 6573, 2*f - t = -4*m. Does 27 divide m?
True
Suppose -3*c + 4*t + 24 = 0, c + 9 + 2 = -5*t. Let k(g) = 87*g**2 - 2*g - 1. Let p be k(2). Suppose 2*b = -3*a + 251, b + 0*b - p = -c*a. Is a a multiple of 29?
True
Is 45 a factor of 3 - (-13721 - 6/6)?
True
Let t(j) = -5*j**3 + 3*j**2 + 5*j + 1. Let a be t(-5). Suppose 185*l + a = 189*l. Suppose -l + 22 = -s. Is 30 a factor of s?
False
Suppose -4*b = -462 + 58. Suppose -n + 33 = -2*n - 2*f, -n + f = 39. Let v = n + b. Is v a multiple of 8?
True
Suppose 0 = -41*n + 54605 - 2658. Does 9 divide n?
False
Suppose 2*u = 5*b - 8530 - 1099, -b = 3*u - 1919. Is 55 a factor of b?
True
Let w(p) = -p + 16. Let a be w(14). Suppose 0 = -3*b, -6*b + 2*b = a*q + 24. Let c = 29 + q. Does 10 divide c?
False
Suppose 0 = -4*i - 148 + 168, -3*y - 3*i = -19863. Is 33 a factor of y?
False
Let v(d) = -1034*d - 543. Is 76 a factor of v(-2)?
False
Let x(z) = -2*z**3 - 6*z**2 + 4*z - 1. Let l be x(-4). Let h(b) = b**3 - 10*b**2 - 46*b - 30. Is h(l) a multiple of 30?
False
Let v(s) be the third derivative of s**7/840 + 11*s**6/720 - 9*s**5/40 - s**4/8 + 41*s**2. Let d(g) be the second derivative of v(g). Does 60 divide d(6)?
False
Let r be (-6)/12 - 1*(-29)/2. Let s be 1156/28 + (4/r)/(-1). Suppose -s = -j - 3*q, j - 15 = -q + 30. Is j a multiple of 9?
False
Let l be (-3)/18 + 0 + 42348/72. Suppose 0*z + 3*z - l = -3*k, -588 = -3*z - 4*k. Suppose 10*v = 17*v - z. Does 14 divide v?
True
Let t be (0 + 2)/(60/330). Is 37 a factor of 15678/143 - (-4)/t?
False
Suppose -3*q + 0*q = -2*p - 29, -3*p = -5*q + 49. Suppose -q - 43 = i. Let u = -14 - i. Is 10 a factor of u?
True
Let v = 9567 - 8932. Is 5 a factor of v?
True
Suppose 0 = -4*v + 4*f + 2806 + 4826, -4*v + 7636 = -5*f. Is v a multiple of 18?
False
Suppose 0 = 5*i - 4*y - 18, 2*i - 3*y = -2*i + 15. Let a be 21/i + (-3)/6 - 2. Does 11 divide a/(2/152) + (-11 - -12)?
True
Suppose -104931 = -44*g + 111945. Does 95 divide g?
False
Let y(p) = p**3 + 19*p**2 + 20*p + 43. Let g be y(-18). Is (201/2)/(g/42) a multiple of 67?
True
Let i(j) = -2*j**2 - 2*j + 9. Let z(m) = m**3 + 4*m**2 - 4*m + 5. Suppose -5*y = 3*a - y + 35, -a - y - 10 = 0. Let s be z(a). Is 9 a factor of i(s)?
True
Let t = -6338 - -9562. Is 69 a factor of t?
False
Is 30 a factor of (-12)/(-300) - 2677486/(-350)?
True
Let j be (-27)/(-18)*4*(2 + -1). Suppose -3*a + 2*m - 1 = 0, j*a - 2*a = 5*m - 13. Is 23 a factor of (32 - 3)*(7 - (-1 + a))?
False
Let o be (-445)/(-1) - ((-3)/3 - -5). Suppose 2*c + 0*g = -4*g + 294, 3*c - 3*g = o. Is c a multiple of 4?
False
Suppose 1435752 = 335*c - 59*c. Does 54 divide c?
False
Suppose g + 25 - 127 = -5*b, g - 88 = 2*b. Is 22 a factor of 2198/8 + (-69)/g?
False
Suppose 2*c + 19 + 3 = 4*q, 2*c - 18 = -4*q. Is (3/(-12) - c)/(3/72) a multiple of 4?
False
Suppose -i - 2*i + 561 = 5*l, -4*l - 12 = 0. Suppose 6*d - i = 9*d. Is 1/3 + d/(-6) a multiple of 7?
False
Let r(u) = 4*u**2 + 9*u - 2. Let m be r(-9). Suppose 4*y = -3*i + 2*y + 244, -m = -3*i - 5*y. Suppose 2*o - 4*c - 48 = 0, 0 = 5*o - c - 11 - i. Does 8 divide o?
False
Let o(m) = -2231*m + 2195. Is 9 a factor of o(-8)?
True
Let b(z) = z**3 - 11*z**2 + 5*z + 5. Let o be b(11). Suppose -105 - o = -3*d. Let n = 81 - d. Is 13 a factor of n?
True
Let i(p) = 5*p + 5. Let a be i(-1). Suppose -3*s = -4*l - 765 - 323, -5*l + 5 = a. Is 13 a factor of s?
True
Let a = -15513 - -56481. Does 18 divide a?
True
Let p = -5820 - -10644. Is p a multiple of 134?
True
Suppose -2*s + 50379 = 3*u, -11504 = -u + 5*s + 5272. Is u a multiple of 12?
False
Suppose -685*c + 18444 = -569*c. Does 3 divide c?
True
Let o(h) = -147*h + 18. Let k(l) = -l**2 + 3*l + 8. Let i be k(-2). Is o(i) a multiple of 24?
True
Let z = 6336 + -1691. Is 4 a factor of z?
False
Let r(p) = -p**3 + p**2 + 89. Let s be r(0). Let c = s - -75. Is (2 + c/6)/((-2)/(-18)) a multiple of 26?
False
Let f = -9 - -30. Let k = f - 27. Is k/(-9)*93/2 a multiple of 10?
False
Let z(v) = 311*v**2 + 29*v - 124. Is z(4) a multiple of 69?
True
Let d be (6/(-4))/((-11)/22). Suppose 5*t - 78 = 2*g, -2*g = 2*t - 17 - d. Is 26 a factor of (-36)/126 + 1096/t?
True
Suppose -158 + 405 = 19*h. Suppose h*m - 576 = m. Is 16 a factor of m?
True
Suppose -3677184 = 531*v - 615*v. Does 76 divide v?
True
Let s(p) = -p**3 - 6*p**2 + 50*p + 936. Is 26 a factor of s(-14)?
False
Let p(y) = y**3 - 13*y**2 + 2*y + 38. Let d be p(12). Let b = d + 158. Is b a multiple of 7?
False
Suppose 5*n - 2*u - 13979 = 0, 56*n - 3*u - 5585 = 54*n. Is 106 a factor of n?
False
Suppose 4*g + 522*p = 527*p + 90137, -2*g - 4*p = -45036. Is g a multiple of 88?
True
Suppose -12512 = -2*k + i, 0 = 4*k + 4*i - 15422 - 9602. Is k a multiple of 9?
False
Let c(o) = -o**3 + 49*o**2 - 18*o + 200. Does 9 divide c(48)?
False
Suppose -2*h - z = 2098 - 9172, -5*h - 5*z + 17680 = 0. Is h a multiple of 58?
True
Suppose -3*d + 186 = -48. Suppose d + 12 = 3*n. Suppose p - 5*h - n = -0*h, -3*p - h = -26. Does 4 divide p?
False
Suppose 0 = 2*l - 2*c - 34, -4*c + 60 = 5*l - 7. Suppose 3*x + x - 288 = 0. Suppose x*f - l = 71*f. Is f a multiple of 5?
True
Let c(o) = -o + 18. Let y be c(11). Let a(f) = 12*f - 9. Let t be a(y). Let j = t - 35. Is j a multiple of 6?
False
Suppose -108 = -9*c + 3*c. Suppose -24*f = -23*f + c. Is (-3)/f - 71/(-6) a multiple of 9?
False
Let f(b) = -b**3 - 27*b**2 - 24*b + 26. Let o be f(-26). Let d(l) = l**3 + 26*l**2 - 8*l - 35. Is 16 a factor of d(o)?
False
Suppose -4*t = -2*b + 18, 5*b - 12*t + 16*t = 3. Suppose f = -s + 145, -2*s = b*f - 140 - 151. Is s a multiple of 6?
True
Suppose 2*x - 99 = -67. Is (-2)/(-4) + 20/x*62 even?
True
Let u = -12191 - -17963. Is 52 a factor of u?
True
Let m(c) = 92*c**3 - 3*c**2 - c - 2. Let w be m(2). Suppose 0 = 13*v - w - 1373. Is 6 a factor of v?
False
Let d = -20 + 23. Suppose -d = -m + v, -m - 1 = -4*v - 7. Suppose -3*n + 3*f + 117 = 0, -m*f = -2*n + 2*f + 88. Is n a multiple of 22?
False
Suppose 758 = t - 3*n, 5274 - 1484 = 5*t - 5*n. Let w = t + -538. Does 11 divide w?
True
Suppose -492017 = -19*f - l, -4*f + 6*l - l = -103619. Is 13 a factor of f?
True
Let b(j) = 6*j**2 - 3*j + 2. Let h(q) = q**2 - q - 5. Let v be h(0). Is b(v) a multiple of 25?
False
Suppose -o - 5*a + 79 = 0, -23*o + 21*o + 169 = -a. Suppose 5*d + 5815 = 5*s, -2*s + 2244 + o = -3*d. Is 27 a factor of s?
True
Let g(a) = -19*a + 57*a - 4 - 21*a - 14*a. Let u be g(1). Is 3 a factor of 5 - (0 + (-1 - u))?
False
Let q(r) = -r**2 + r - 110. Let x be q(0). Let w be -3 + 157 + 5 + -4. Let g = w + x. Is g a multiple of 15?
True
Let m = -85 + 95. Suppose -223 = -3*u - 5*h + h, -5*h = m. Suppose -24 = -w + u. Is w a multiple of 16?
False