t be (-6)/v - ((10 - 4) + -3). Suppose -2*q + 3*q = -5*f + 203, -2*q + 119 = t*f. Is 17 a factor of f?
False
Does 6 divide (-168)/(-49)*74200/16?
True
Is 10217450/5068 + 1/(-14) a multiple of 16?
True
Let n(y) = -20*y**2 - 34*y + 18. Let o(t) = 6*t**2 + 11*t - 6. Let c(a) = -5*n(a) - 16*o(a). Let u(d) = -d + 3. Let f be u(-3). Does 19 divide c(f)?
True
Let l = 9137 - 7463. Is l a multiple of 31?
True
Let r = -16832 + 19497. Is 41 a factor of r?
True
Let u(h) = -174*h - 1315. Is u(-28) a multiple of 134?
False
Let y = -25746 - -48492. Does 238 divide y?
False
Let a = -30 + 15. Let b be 5/(-1)*9/a. Suppose b*m - 440 = -2*g, 5*g = -3*m - 0*m + 1082. Does 31 divide g?
False
Suppose -36*u + 40*u + 35201 = 5*j, 7042 = j + u. Is j a multiple of 8?
False
Suppose -2*z - 10 = 0, -5*u - 2*z + 7 - 2 = 0. Suppose -3*n - u*r = -177, n + 3*r - 37 = 22. Does 5 divide n?
False
Let q be 41 - ((3 - 1) + -1). Let v be q + -8 + 2 + 2. Let s = 56 - v. Is s a multiple of 5?
True
Let i be (-12)/(-20) - (-2 + 14644/(-10)). Let f = -781 + i. Is 7 a factor of f?
True
Suppose 0*c = -4*c - 2*o - 1764, 3*c + 3*o + 1317 = 0. Let s = -302 - c. Is s a multiple of 10?
False
Let r(z) be the third derivative of z**6/120 - 3*z**5/20 + z**4/24 + 5*z**3/6 + 23*z**2. Suppose 0 = 3*o - 4*u - 43, -u + 4*u = -12. Is r(o) a multiple of 2?
True
Suppose 2*j - 2551 = -l + 1476, 2*l + 8066 = 4*j. Is 7 a factor of j?
False
Suppose 0 = 2*z + 5*r + 3, 2*z - 6 + 0 = -2*r. Suppose -z*t - 1415 = -11*t. Is t a multiple of 51?
False
Let m be ((-200)/16)/(1/2). Let k = 103 - m. Is k a multiple of 32?
True
Let l(k) = -k + 16. Let v be l(11). Suppose 16 = 5*s - 4. Suppose v*z + 32 = s*u - u, -2*u + 4 = z. Does 2 divide u?
True
Suppose -56 = -28*w + 24*w. Let t(f) = -f**3 + 12*f**2 + 26*f + 6. Let u be t(w). Is 10 a factor of (17 - 0 - 0)/((-2)/u)?
False
Let c(q) = -4559*q - 249. Is 181 a factor of c(-2)?
True
Let y = 954 + -481. Let u = y - 394. Is u a multiple of 5?
False
Let d(j) be the second derivative of -j**4/12 + 77*j**3/6 + 5*j**2 + 10*j + 4. Is d(16) a multiple of 29?
True
Let o be (8/(-10) - -1) + 408/60. Suppose -o*a - 241 = -801. Is a a multiple of 10?
True
Let o be (16/72 - (-50)/18) + 0. Suppose o*t + r - 5 = -t, 0 = 5*t + 5*r - 25. Suppose 7*b - 19 - 800 = t. Is 27 a factor of b?
False
Let w(b) be the second derivative of -b**5/20 + 3*b**4/4 - 4*b**3/3 + 2*b**2 + 11*b. Let d be w(8). Suppose 4 = -d*v + 172. Does 21 divide v?
True
Let x(u) = 2*u**3 - 41*u**2 - 20*u - 17. Let t be x(21). Suppose -5*j = -4*f - 3804, -t*f - f + 3840 = 5*j. Does 86 divide j?
False
Is (((-30)/(-14))/(6/(-21)))/(6/(-3904)) a multiple of 16?
True
Let p be 10 + -7 + (-1 - -2). Suppose -4*c - 345 = 1343. Does 16 divide c/(p - 6) + -3?
True
Let g(j) = -j**3 + 7*j**2 + 62*j - 2. Let r be (6 + -16)/((-10)/12). Does 11 divide g(r)?
True
Suppose -349*c = -332*c - 403937. Does 30 divide c?
False
Does 20 divide (374/(-6) - 1)/((-16)/(-20160)*-6)?
True
Suppose 0 = -2*x + g - 148, 150 = -2*x + 2*g - 0*g. Let w = 131 + x. Suppose 2*f + w = 190. Is f a multiple of 9?
False
Let g(x) be the first derivative of x**6/360 - x**5/60 + 7*x**4/12 - 13*x**3/3 + 8. Let j(i) be the third derivative of g(i). Is 14 a factor of j(-11)?
False
Suppose 40 - 20 = -4*b - 2*r, b + 5*r + 5 = 0. Let t(v) = -168*v - 103. Is t(b) a multiple of 39?
False
Let b(v) be the first derivative of 323*v**3/3 + 7*v**2 + 13*v - 147. Does 23 divide b(-1)?
True
Let c(u) = -u + 146*u**3 - 70*u**3 - 6 - 77*u**3 - 11*u**2. Let i be c(-11). Is 2 a factor of 4*2/8*i?
False
Let s(y) = -2*y**3 + 14*y**2 + 2*y + 4. Let r be (10/6)/(-5)*(-19 + -2). Is s(r) a multiple of 3?
True
Is 111 a factor of (18/8)/((-79155)/(-26380) - 8 - -5)?
False
Suppose 2*x - 31 = 29. Suppose -4*i = -6*i + x. Is i a multiple of 15?
True
Let s(u) = -u**3 + 5*u**2 + 3*u + 18. Let o be s(6). Suppose o = 5*k - 5*j + 25, -3*k + 4*j = 2*j + 11. Is 27 + 3/k + 4 a multiple of 6?
False
Suppose 2*y - 41 - 171 = 0. Suppose -5*r + r + 28 = 2*v, 5*v = -r + y. Does 22 divide v?
True
Let x(s) = -28*s - 12. Let v(k) = 168*k + 71. Let w(p) = -p**2 - 3*p + 4. Let g be w(-5). Let t(a) = g*v(a) - 34*x(a). Is 27 a factor of t(-3)?
False
Let b = 288 + -141. Let l = b + 69. Suppose 33*m + l = 36*m. Is 24 a factor of m?
True
Let f(k) be the second derivative of -k**5/20 + 13*k**4/12 + 2*k**3/3 - 12*k**2 + k. Suppose 6 = 150*i - 153*i, g = -2*i + 8. Is 9 a factor of f(g)?
False
Let o(d) = -3631*d**3 - 5*d**2 - 2*d - 3. Does 29 divide o(-2)?
True
Let k(s) = s**2 - 16*s - 11. Let z(m) = -2*m**3 + 6 + 3*m**3 - 10*m**2 - 2*m**2 - m**2 + 13*m. Let o be z(12). Is k(o) a multiple of 25?
True
Suppose 490 = -40*g + 35*g. Let i = g - -94. Let l(r) = -47*r - 1. Is 10 a factor of l(i)?
False
Suppose 4*t = -3*m + 8, 5 - 1 = 4*t + 2*m. Let n be t/(-6) + 11/6. Suppose 0 = 2*u - 3*p - 140, 4*u - p = -n*p + 252. Is u a multiple of 8?
True
Suppose 44 + 2 = j. Let a = j + 20. Is (0 - -2)*a/4 a multiple of 5?
False
Suppose 0 = 2*x + 3*b + 6, -4 = b + b. Suppose 2*o - 7*o - 4*l = -11, x = 4*l + 4. Suppose 0 = 3*z - 4*m - 308, o*z + 3*m - 45 = 270. Is 8 a factor of z?
True
Suppose 182*z - 5853824 = 139*z - 189*z. Is z a multiple of 16?
True
Let d = 195 + -176. Suppose 2*i - 98 = -4*y, d*i = 20*i - 2*y - 49. Is 10 a factor of i?
False
Suppose 10*w - 5164 - 4286 = 0. Is 9 a factor of w?
True
Let m(h) = h**3 - 6*h**2 - 8*h - 6. Let k(l) = 9*l**2 - 2*l - 2. Let t be (25/(-50))/(1*1/2). Let g be k(t). Is 33 a factor of m(g)?
True
Let l(u) = -17*u + 25. Let h(a) = -33*a + 49. Let c(d) = 3*h(d) - 5*l(d). Does 10 divide c(-2)?
True
Is (246/(-164))/((-9)/517632) a multiple of 32?
True
Let m(n) = n**3 - 29*n**2 - 72*n + 38. Let s = 61 + -29. Is 26 a factor of m(s)?
True
Suppose 75 - 31 = 11*m. Suppose 5*g - 268 = 2*g - 2*f, 3*f - 357 = -m*g. Is g a multiple of 5?
True
Suppose 292262 = 36*r - 262816 + 169518. Does 85 divide r?
True
Suppose -10183 + 544 + 679 = -16*v. Is v a multiple of 4?
True
Suppose 5*p = 11*t - 12*t - 3, -4*p + 4*t = -12. Suppose -4*x - 3*v = -p*x - 1227, 323 = x + 4*v. Is 28 a factor of x?
False
Let r be (-342)/(-27)*171/6. Suppose -8 = o - 5, 0 = -2*u + o + r. Does 53 divide u?
False
Suppose 3*n - 4*d = 1617, 2*n + 2163 = 6*n - 3*d. Suppose 12*l - 21 = n. Is 8 a factor of l + 0 + 3 + -5 - -3?
True
Let f = -12645 - -25560. Is 9 a factor of f?
True
Let p(u) be the third derivative of -3*u + 2*u**2 + 31/8*u**4 - 11/2*u**3 + 0. Is p(3) a multiple of 41?
True
Let a be (-34)/(-85)*(-25)/(-2). Suppose -3*u + f - 5*f + 590 = 0, 2*f = a*u - 966. Is 21 a factor of u?
False
Suppose -17*c + 10594 + 16010 = -13312. Is c a multiple of 7?
False
Suppose 2274 + 2041 = o. Is 5 a factor of o?
True
Suppose -101*c - 270 = -95*c. Let y(x) = -5*x - 71. Is 14 a factor of y(c)?
True
Suppose 22*b = 5*t + 23*b + 50, 21 = -4*t + 3*b. Let n(f) = -8*f - 39. Does 3 divide n(t)?
True
Let j(y) = -y**2 + 9*y - 19. Let x be j(9). Let l be (-76)/x - 520/(-2). Does 15 divide l/18 + (-2)/(-6)?
True
Suppose -2*p + 17 = 23. Let k be (-1 - (p - -3)/(-1))*-5. Suppose -2*l + 18 = 4*x, -l + k*l + x = 15. Is l a multiple of 3?
True
Let j be (-9)/(-6)*3556/21. Suppose -6*o = -j - 322. Does 21 divide o?
False
Suppose -136*c - 374*c = -7385820. Is 144 a factor of c?
False
Let d = 18987 + -1167. Suppose -3*h - 15*h = -d. Does 38 divide h?
False
Let s(g) = 126*g**2 - 128*g + 134. Is 174 a factor of s(-14)?
True
Suppose 31325 = 10*y + 11615. Suppose -2*t - 5*q + y = 0, q - 4893 = -2*t - 3*t. Does 40 divide t?
False
Let c(g) = -10*g**3 - 2*g**2 + 6*g - 6. Let t be c(3). Let h = t + 780. Does 72 divide h?
True
Let i(q) = q**2 + 74*q - 129. Is 17 a factor of i(-82)?
True
Suppose 0 = 5*b + q + 3, b + 0*b - 3 = q. Suppose b*k = -k. Suppose 0 = -r - 3*y - 2 + 16, k = r + y - 8. Is 4 a factor of r?
False
Suppose 99*r + 9210 = 86826. Is 23 a factor of r?
False
Let q(m) = m**3 - 12*m**2 + 2*m - 37. Let i be q(12). Let u = 13 + i. Suppose -4*c + c + 117 = u. Does 13 divide c?
True
Let l = 330 + -329. Suppose -3*z + l = 13, -z - 732 = -2*c. Does 28 divide c?
True
Let l be 1/(-2)*-2 + (-553)/1. Let j = l + 747. Is 15 a factor of j?
True
Suppose 77*j = 66263 + 264067. Does 26 divide j?
True
Suppose 0 = 690*b - 691*b + 4*l + 19704, -l = b - 19719. Is b a multiple of 31?
True
Let b = 153