 o(l) = -27 + 7*l + 0*l**2 - 2 + 2*l**2 - 8. Let y be o(-17). Suppose -2*p + 0 = -4, 4*a - 3*p = y. Is 31 a factor of a?
False
Suppose -2*s = -5*s + 5*f + 2340, 3*s - 2340 = f. Is 2 a factor of s?
True
Let h(q) = -q**3 - 43*q**2 - 12*q + 200. Let p be h(-43). Let a = p - -374. Is 7 a factor of a?
False
Let n = 17585 - -2657. Is n a multiple of 58?
True
Suppose -x + 14 + 302 = 0. Let j = x - -132. Does 14 divide j?
True
Suppose -4*v - 5*f + 3 = 0, -2*v + 5*f - 24 = v. Let n = 13 - v. Let x = 8 + n. Is x a multiple of 6?
True
Let g = -135 + 130. Suppose -4*u + 45 = -203. Does 8 divide g + u - (2 - 1)/1?
True
Suppose 3*l = -3*i + 2064, 7 - 5 = -i. Does 30 divide l?
True
Let p(z) = -2*z**3 - 24*z**2 - 20*z + 16. Let o be p(-11). Let k(w) = w**3 + 9*w**2 + 8*w - 5. Is k(o) a multiple of 11?
True
Suppose -3*w + 43045 = 5*o, -15*w + 28699 = -13*w + 3*o. Is 20 a factor of w?
True
Suppose 19*m = 23*m. Suppose -2*h + 3*h + p + 66 = m, h - p + 56 = 0. Let o = h - -109. Does 22 divide o?
False
Suppose -23*s + 18*s = -30. Let b(n) = -n**3 + n**2 - n - 24. Let w be b(s). Is 3 a factor of (-1918)/w - 2/15?
True
Let r(c) = -c**3 - 4*c**2 - 2*c + 3. Let a be r(-4). Suppose 0 = l - 15 - a. Let b = 47 - l. Is b a multiple of 8?
False
Let r = 5 + -4. Suppose 58*j - 12 = 62*j. Does 10 divide (4 - 627/9)/(r/j)?
False
Suppose -4*r + x + 22 = 0, -r - 17*x + 15*x + 1 = 0. Suppose -2*a = -7*a + 2*s + 4087, -r*a = -5*s - 4090. Is 43 a factor of a?
True
Let l = 859 - 842. Suppose l*w - 12117 = 3166. Does 31 divide w?
True
Let l = -568 + 949. Suppose -5*k + 214 = -l. Let v = k - 49. Is 10 a factor of v?
True
Let m(a) = -33*a + 92. Let c(w) = -10*w + 31. Let d(v) = 7*c(v) - 2*m(v). Is d(-5) a multiple of 41?
False
Let u(w) = w**3 + 4*w**2 - 3*w - 48. Is u(8) a multiple of 58?
True
Is ((-121332)/(-8))/(165/308) - 1/(-5) a multiple of 7?
False
Suppose -2*x + 10542 = -1253 - 10165. Is 90 a factor of x?
True
Let l = 157 - 154. Suppose 0 = -3*o - 3*b + 150, -b = -l*o - 0*b + 158. Is o a multiple of 5?
False
Suppose -9*i - 75804 = -11*i - 10*i. Is 28 a factor of i?
False
Let i = -223 + -17. Let c = i - -250. Is c even?
True
Let j = -239 + 239. Suppose 4*k = 4*h - 3732, 5*h + 2*k - 4000 - 686 = j. Is 28 a factor of h?
False
Suppose f - 4*n = -0*n - 7, 3 = 3*f - 4*n. Suppose 0 = 4*l + 4*i + 48, -3*l + 2*l + 18 = -f*i. Is 23 a factor of 206 + l - 4/(-2)?
False
Suppose -60 = -2*o - 4. Is 62 a factor of 7/o*-1 + (-2882)/(-8)?
False
Let q(h) = h**3 - 32*h**2 + 92*h + 9. Let d = 226 - 196. Is q(d) a multiple of 57?
True
Suppose -26*n - 2*o + 223390 = 0, 10*n - o - 34369 = 6*n. Is 48 a factor of n?
True
Let t = -693 + 690. Let i(u) = -5*u**3 - 6*u**2 - 6. Is i(t) a multiple of 13?
False
Let s(w) be the first derivative of 15*w**2 - 125*w + 142. Is s(35) a multiple of 25?
True
Let l be -62 - -1 - (-13 + 10). Let i = -56 - l. Suppose y - 3*y + 274 = i*x, -5 = -y. Is x a multiple of 16?
False
Suppose -3*m - 1 = 8. Let u(p) = -19*p + 2. Let y be u(m). Let z = y - 50. Is 3 a factor of z?
True
Let f(t) = 112*t**2 - 424*t - 2491. Is f(-6) a multiple of 107?
False
Suppose 735 = -2*d + 17*d. Let o = d + -47. Suppose -3*f + o*c + 115 = 0, f - 56 = 3*c - 20. Is 9 a factor of f?
False
Suppose -61712 = -8*d - 19*d + 8*d. Is 114 a factor of d?
False
Suppose -5*b - 41014 = -3*h + 18139, -5*h + 98611 = 3*b. Is 37 a factor of h?
True
Suppose 0 = -5*p - 2*g + 15394, 3*g - 9 = -18. Is 10 a factor of p?
True
Let f = 21 - -85. Let m = -514 - -448. Let h = f + m. Is h a multiple of 10?
True
Let a = 8784 + -6999. Is a a multiple of 51?
True
Suppose -4*x = 4, -x - 1098 = -2*r + 2975. Suppose 2*i + r = 5*d, 1630 = 18*d - 14*d - i. Does 51 divide d?
True
Suppose 4*u + 2*l = 428, -5*l - 190 = 8*u - 10*u. Suppose -4*z - 5*k + 943 = 0, 152 + u = z - 3*k. Is z a multiple of 22?
True
Let s = -100 + -131. Let a = s - -724. Does 36 divide a?
False
Let g be 24592/18 + 5 + 141/(-27). Is 12 a factor of g/4 + -5 + (-4)/(-8)?
False
Let q(r) = -r**3 + 21*r**2 - 53*r - 13. Let f be q(18). Suppose -6*c = -7*c - p + 255, 1255 = 5*c - f*p. Does 11 divide c?
True
Let m(d) = -4*d**2 + 71*d - 26. Let a(x) = 6*x**2 - 106*x + 39. Let y(h) = -h + 23. Let s be y(16). Let w(b) = s*m(b) + 5*a(b). Does 30 divide w(17)?
True
Let g(h) = -7*h + 1. Let o be 153/12 - 2/(-8). Suppose 0 = 3*p + 2*j + o, 0*p + 1 = -p - 4*j. Does 18 divide g(p)?
True
Suppose -55*w - 664 = -63*w. Suppose -w*t + 295 = -78*t. Is t a multiple of 6?
False
Let h(z) = 17*z. Let i be h(-2). Let g = -68 + i. Is 17 a factor of (-4 + 4)/5 - g?
True
Suppose -4 = a, 5*a = 13*g - 15*g + 22594. Is 7 a factor of g?
False
Let c(k) be the first derivative of -6*k**2 - 24*k - 13. Let d be c(4). Let y = d + 165. Does 16 divide y?
False
Let c be 8*((-6)/(-2))/6. Suppose -5*l = 5*b + 5, c*l - 5 = -5*b - 13. Is (-641)/b + (-4)/16 a multiple of 16?
True
Suppose 0 = 6*s + 21 + 33. Let f = -9 - s. Suppose 0 = -f*v + 2*v - 46. Does 21 divide v?
False
Let c be (-11)/33*(0 - -207). Let j = 184 + c. Does 17 divide j?
False
Suppose -v = 0, -5*u = -15*v + 9*v + 7*v - 20400. Is u a multiple of 40?
True
Suppose -10*g + 11*g = -a + 7915, 5*a = 3*g - 23785. Suppose g = 35*y + y. Is y a multiple of 20?
True
Let k(n) = -22*n - 18. Let m(z) = -11*z - 9. Let f(h) = -2*k(h) + 5*m(h). Let p(c) = 1. Let g(d) = 2*f(d) + 14*p(d). Does 4 divide g(-2)?
True
Let x = 108 + -77. Does 7 divide 3*x + (-17)/(-17)?
False
Suppose -7685 = -4*d - 3*u, 20*d - 9600 = 15*d - 5*u. Is 35 a factor of d?
True
Let f be (5 - 8)*1*(2 + -3). Let c be -1*(-4)/f*(0 + -9). Is 180/c*(-28)/6 a multiple of 11?
False
Let c be (28*(-4)/4)/(-2). Suppose c = n + 9. Does 10 divide n*(2 + -6 + (-44)/(-5))?
False
Let l = -2436 + 3305. Is l a multiple of 149?
False
Let d = -21 - -24. Suppose h + 12 = j + d*j, j = 2*h + 10. Suppose -7*a + 72 = j. Does 5 divide a?
True
Suppose 39*m - 38*m + 3 = 0. Let y(f) = -4*f**3 - 3*f**2 - 12*f + 3. Is y(m) a multiple of 6?
True
Suppose 0 = -10*r + 11*r - 4. Suppose -4*z + b - r = -27, z - 5*b = 20. Suppose -c - 6 = -5*k + 16, 25 = 2*k + z*c. Is 2 a factor of k?
False
Suppose -4*t + 14 = -2. Suppose -d + t = v + 9, 5*d - v + 19 = 0. Is (-1 + 3)*(-7)/d*20 a multiple of 11?
False
Let q = 87 + -78. Suppose -5 = q*m - 4*m, -5*y + 498 = 2*m. Is y a multiple of 10?
True
Suppose d - 24 = 63. Suppose 3*a - 6*a = -3*i + d, 2*i + 5*a = 58. Let c = i - 22. Is c a multiple of 7?
True
Suppose -2*j - 3*b = 2*b - 23, -j + 4*b - 8 = 0. Suppose -s + j*s - 402 = 0. Let c = s - 62. Is 36 a factor of c?
True
Let m(g) = -1524*g + 450. Is 78 a factor of m(-6)?
True
Let s = 21326 + -1362. Does 31 divide s?
True
Suppose 12*q = 6*q. Suppose q = -f - 2*i + 94, -371 = -3*f - 3*i - 86. Is f a multiple of 32?
True
Let q(v) = -13*v - 88. Let g be q(-7). Suppose 2*p - 272 - 246 = -2*m, -g*p + 781 = 2*m. Is 47 a factor of p?
False
Let q(r) = -r**3 + 3*r**2 + 3*r + 4. Let k be q(4). Suppose 0 = -5*l - v + 187, 0 = -k*l - 2*l - v + 73. Suppose 24 = l*n - 34*n. Does 2 divide n?
True
Suppose -425 - 6652 = -4*a + u, 0 = -2*a - 3*u + 3563. Is a a multiple of 22?
False
Let y = 3268 - 1274. Is y a multiple of 34?
False
Let q(w) = -w**3 + 38*w**2 + 33*w - 231. Is 28 a factor of q(20)?
False
Suppose 0 = 8*r - 11*r + 2127. Suppose -5*d - r = -3524. Is 33 a factor of d?
False
Suppose 5*k - 5263 = -4*h, -5*h + 498 = 2*k - 1597. Let g = k + -621. Let a = g + -290. Is a a multiple of 41?
False
Let t = -2575 + 5749. Does 69 divide t?
True
Let x(m) = 41*m**2 + m - 3. Let h be 35/11 - 14/77. Is x(h) a multiple of 16?
False
Let y be (-11253)/(-1581) + 2/(-17). Let a(t) = -t**3 + 9*t**2 + 8*t - 6. Is a(y) a multiple of 11?
False
Suppose -63 = 5*r + 3*f + 57, 4*f = 3*r + 72. Is 27 a factor of (-3)/18 - (7 + 6340/r)?
False
Let v be 1 - -2*(-1 - 0). Let c be (-2*v/(-2))/(2/8). Is 9 a factor of 2/c + (-1135)/(-10)?
False
Suppose 0 = 105*a - 1324926 - 112419. Is 122 a factor of a?
False
Is 81 a factor of -2*1/9 + 121018/18?
True
Let h = -2423 + 2506. Let v = 41 - 6. Let p = h - v. Is p a multiple of 6?
True
Suppose -3*r - 11*h + 13*h + 1164 = 0, 3*r = 3*h + 1167. Suppose 3*w - 277 = r. Does 13 divide w?
True
Suppose m + 578 = 5*q + 1458, 4*m - 3584 = 4*q. Is 36 a factor of m?
True
Suppose 1 = -3*c - 5, -3*s + 5*c = -298. Suppose -160 - s = -i. Does 64 divide i