actor of p(q)?
False
Suppose -2*h - 5*f + 107 = -884, -4*h = -f - 1927. Is h a multiple of 69?
True
Let f = 43 + -38. Is f a multiple of 2?
False
Let u = -20 - -12. Is (22/u)/((-11)/220) a multiple of 15?
False
Suppose -4*v = -2*m - 258, 4*v - 2*v + 4*m = 104. Is v a multiple of 3?
False
Let p = 101 + 102. Does 29 divide p?
True
Suppose 4*c = -4 + 12. Suppose 3*q - 275 = -c*q. Is 11 a factor of q?
True
Suppose y = -3*b - 2*y - 6, 5*y = 2*b - 10. Suppose b = 3*s - 0*s - 168. Let z = -24 + s. Does 7 divide z?
False
Suppose 3921 = 2*k + 5*z + 380, 3*z = 3*k - 5301. Does 7 divide k?
False
Let c(z) be the second derivative of z**4/12 + 7*z**3/6 + 4*z**2 - 12*z. Does 13 divide c(9)?
False
Suppose -3*n = 3*c - 705 + 108, -2*n + 399 = c. Is 40 a factor of n?
True
Suppose -9*q + 380 - 2 = 0. Is q a multiple of 6?
True
Let d(z) = -340*z + 6. Let h be d(-4). Suppose 0 = 13*x - 441 - h. Is x a multiple of 16?
False
Let x(o) = 81*o + 474. Is x(4) a multiple of 21?
True
Let u be (3 - (-7)/(-4))*136. Let l = u - 97. Is 12 a factor of l?
False
Let p = 239 - 29. Is p a multiple of 10?
True
Suppose 2*y + 5*h - 11 = -0*h, -3 = -3*h. Does 16 divide 12/16*(y - -61)?
True
Suppose 208 = -7*z + 719. Let t = 48 - z. Does 8 divide (t/10)/(1/(-18))?
False
Suppose -h = 5*m - 74, 2*h - 5*h = -m - 190. Is 2 a factor of h?
True
Let w = 371 + -240. Is w a multiple of 16?
False
Let b(y) = -2*y**2 - 30*y - 26. Is 2 a factor of b(-12)?
True
Let k(z) = -z**3 + 9*z**2 - 9*z + 7. Let u = -20 - -28. Let g be k(u). Let b(h) = -43*h**3 + h**2 + 2*h + 1. Is b(g) a multiple of 20?
False
Let b = -37 + 52. Let p be 5*9*b/5. Suppose 5*f + 57 - 182 = 3*x, 5*f = x + p. Is 14 a factor of f?
True
Does 21 divide 3735/20*-6*2/(-3)?
False
Let t(d) = 33*d - 98. Is 49 a factor of t(8)?
False
Suppose 3 = -4*r + 11. Suppose i - 4*z = 42, i + 0*z - 30 = -r*z. Is 13 a factor of i?
False
Is (44/(-6))/((-20)/30) a multiple of 11?
True
Let d = 621 + -616. Is d a multiple of 4?
False
Let q be 6/(-4) - 294/(-28). Suppose -3*z + 3 = -q. Suppose z*n + 4 = 0, 0 = 5*d - n - 187 + 26. Does 8 divide d?
True
Suppose 0 = -4*a + 4, -5 = 2*o - 4*a + 1. Let x(t) = -44*t**3 + t**2 + 4*t + 3. Is x(o) a multiple of 4?
True
Let i = 153 - -1991. Is 8 a factor of i?
True
Let k(m) = 19*m**2 - 8*m + 16. Let o be k(5). Is o/5 + (-6)/30 a multiple of 18?
True
Suppose 37*x - 25555 = 6339. Is 6 a factor of x?
False
Suppose 0 = 24*h - 23*h - 4. Let i be (2 - 1)*5 - 0. Suppose -4*q = -h*c + 52, -5*c - i*q = -q - 110. Does 18 divide c?
True
Let t = 1274 + 589. Is t a multiple of 65?
False
Let t = 1064 - 1609. Let h = -374 - t. Is h a multiple of 57?
True
Let j be -3 - (1 + (-12 - -1)). Suppose 2*v - g - 16 = 0, 0 = 5*g - j*g. Let l(c) = -c**3 + 9*c**2 - 7*c + 2. Does 10 divide l(v)?
True
Let y be (1 - (-9)/3) + -13. Let d = y - -21. Is d a multiple of 12?
True
Let y(t) = -t**2 - 4*t + 1. Let v be y(-3). Let o(n) = -n**2 - n + 6. Let q be o(v). Let m(z) = z**2 + 14*z + 6. Is m(q) a multiple of 6?
True
Suppose w + 900 = 5*y - 4*w, 4*y + w - 725 = 0. Is 14 a factor of y?
False
Let h be (-1353)/(-3) - 1*(-5 - -2). Suppose -h = -3*o - 67. Is 15 a factor of o?
False
Let t(n) = -8*n**3 - 2*n**2 - 2*n + 3*n**2 - 42*n**3 - 547 + 545. Let a(w) = w**3 - 3*w**2 - w + 2. Let j be a(3). Is 17 a factor of t(j)?
True
Let j be 48/4*(-21)/(-6). Suppose -38 = -5*y + j. Suppose 3*g = -2*b + 65, y = b - g - 19. Is b a multiple of 19?
False
Is (40/(-44))/5 - (-25805)/55 a multiple of 47?
False
Let p be (4/(-5))/(5/125). Let f = -52 + 102. Let y = p + f. Does 11 divide y?
False
Let g be (-440)/(-36) - 6/27. Suppose 2*w = -4 + g. Is 7 a factor of (-108)/(-63)*42/w?
False
Let f = -3 + 5. Suppose 0 = 4*u + u + 3*d - 118, -f*u = -3*d - 64. Is u a multiple of 13?
True
Let c(g) = -19*g - 54. Does 13 divide c(-9)?
True
Let f(p) = 14*p + p**2 + 3*p**2 + 11 - 2*p - 3*p**2. Let o be f(-11). Suppose 4*h - 13 = -t, 5*t - 4*h - 57 - 104 = o. Does 8 divide t?
False
Suppose -b + 25 = -27. Suppose -4*l + 328 = -b. Does 19 divide l?
True
Suppose -4 - 10 = -2*u. Let m be 6/(-14) - (-73)/u. Let g(j) = -j**2 + 25*j - 20. Does 15 divide g(m)?
False
Suppose -2*z = -8, 5*a = -0*a - 3*z + 3392. Suppose -a = -4*u + 2*b, -2*b = 5*u - 0*u - 836. Is u a multiple of 24?
True
Let d be -2 + (-5 - -4) + 0 - -3. Let i(q) = 2*q**2 + 2*q + 72. Is 45 a factor of i(d)?
False
Let l be (5 + -1)/(5/10). Suppose -7*z - l = -6*z. Let s(u) = -6*u + 8. Does 12 divide s(z)?
False
Suppose -506 = -6*c + 1804. Is c a multiple of 30?
False
Suppose 2*y = -16 - 4. Does 11 divide ((-5)/1)/((12/y)/6)?
False
Let h(g) = -35*g**3 - 19*g**2 + g - 22*g**3 + 12*g**2 + 6*g**2 + 2. Is 21 a factor of h(-1)?
False
Suppose 48049 + 277841 = 102*g. Is 71 a factor of g?
True
Let q(z) = -z**3 + z**2 + z - 61. Is 13 a factor of q(-6)?
False
Let h(d) = 5*d**2 + 10 + 0*d**2 - 4*d**2 - 20*d - 5*d. Is 12 a factor of h(26)?
True
Suppose 7*t = 255 - 17. Is t a multiple of 2?
True
Let b(g) = 1990*g**2 + 2*g - 5. Is 14 a factor of b(1)?
False
Let z be (-24)/(-15) - ((-17)/5 + 3). Suppose 4*t + 5*p = 449, z*p = 3*t - p - 357. Is 17 a factor of t?
False
Suppose -92070 = 374*z - 429*z. Is 31 a factor of z?
True
Let p(a) = 31*a**3 + 7*a**2 - a + 2. Is p(4) a multiple of 42?
False
Let z(j) = -j**3 + j**2 - 93. Let w be z(0). Let b = w + 66. Let h = b + 64. Does 9 divide h?
False
Suppose 3*b = s - 3*s + 21, b + 5 = 0. Let n = s - 36. Does 3 divide n/90 - (-112)/10?
False
Suppose 0 = 5*c - 7*c - 58. Let l = c + 63. Is l a multiple of 13?
False
Let u = 35 - 32. Let y(o) = o**2 - 3*o + 6. Does 2 divide y(u)?
True
Let q(y) = y**3 + 5*y**2 + 4*y + 3. Let l be q(-4). Suppose -3*k = l*t + 12, 4*t = 2*k - 0*t + 8. Is (5 + k)*(4 - 0) a multiple of 4?
True
Let y be 1 + 1 + 4/(-2). Let p be 46/(-2 + y/4). Let v = 9 - p. Is v a multiple of 16?
True
Let n = -47 - -161. Let t = 256 - n. Is 8 a factor of 6/27 - t/(-9)?
True
Let s(h) be the second derivative of h**5/20 - h**4/2 + h**3 + h**2 - 19*h. Is s(6) a multiple of 38?
True
Suppose 10*u - 14*u + 2064 = -o, o = 3*u - 1549. Does 66 divide u?
False
Let z = 202 - 293. Let u = z - -200. Is 16 a factor of u?
False
Suppose 35*s - 420 = 21*s. Does 2 divide s?
True
Let b(j) = 182*j - 545. Does 73 divide b(5)?
True
Let d = 12 + 53. Let c = d + -18. Suppose n = -3*s + c, -3*s = -0*n + 4*n - 170. Is 15 a factor of n?
False
Suppose -2*j = -6*j + 2*f + 304, -3*j + 3*f = -228. Let v = j - 67. Is v a multiple of 2?
False
Is 26 a factor of 24/(-60) + 4504/10?
False
Suppose 3*y - 5*a - 21 = 4*y, y - a = -9. Let u = y + 64. Does 10 divide u?
False
Is 3/(-6*1/(-216)) a multiple of 27?
True
Suppose 2*k - 449 = -g, 12*g = 8*g - 3*k + 1811. Is 13 a factor of g?
True
Let m = -907 + 1005. Does 8 divide m?
False
Let d(l) = -l. Let k(f) = -5*f + 1 - f**2 + 0 + 0 - 5. Let a(j) = 3*d(j) - k(j). Is a(3) a multiple of 19?
True
Let v(q) = -34*q**3 + q + 3. Does 12 divide v(-2)?
False
Suppose 10*n - 15*n = -4200. Is 12 a factor of n?
True
Suppose 2*y = 5*y + 6, y - 5290 = -3*f. Suppose 7*i + 5*i = f. Is 21 a factor of i?
True
Let i = 223 + 617. Does 21 divide i?
True
Let r(u) = -u**2 + 6*u. Let n be r(6). Let s be ((-9)/12)/(9/12 + -1). Suppose -s*j = -n*j - 57. Is 8 a factor of j?
False
Let u(a) = -a**3 - a**2 + a + 4. Let w be u(0). Suppose c + w*c = -g + 8, 4*g - 12 = 0. Is 8 a factor of 75/3 + -2 + c?
True
Let t = 479 + 536. Is 35 a factor of t?
True
Let l(w) = -5*w + 17. Let m be 4 + -8 + 16*1. Let b(r) = r**2 - 12*r - 14. Let v be b(m). Is l(v) a multiple of 30?
False
Let p be 18/(-42) + -1*3/(-7). Suppose p = 6*d - 10*d + 440. Does 22 divide d?
True
Suppose 4*d - 2*f - 1384 = -f, -5*f = 3*d - 1038. Is 2 a factor of d?
True
Let r = 271 + -111. Suppose 3*l = -3*k + 5*l + r, -4*l - 170 = -3*k. Is k a multiple of 5?
True
Let g = -121 - -334. Is g a multiple of 39?
False
Let m = 46 + -50. Does 4 divide (-363)/(-6) + 2/m?
True
Let b be (-2 - -1)*-1*0. Suppose -6*q = -b*q. Suppose -3*h + 0*h + 75 = q. Does 5 divide h?
True
Suppose -5*s + 16216 = -h, -652 = s + 4*h - 3912. Is s a multiple of 17?
False
Suppose 0 = 3*k - 5*f - 40, 15 = 2*k + 2*k + f. Suppose 3 = o - k. Is o a multiple of 8?
True
Let p = 661 + -309. Is p a multiple of 12?
False
Suppose b - 9 = -5*s + 4, -2*b = -5*s + 4. Suppose -7 = z - 5*p, -2*z - p - s*p + 2