0*h**2 - 104*h + 17. Is c(8) a multiple of 48?
False
Let y(q) be the third derivative of 5*q**4/6 + 7*q**3/2 + 10*q**2. Let k be y(6). Let b = k - 56. Does 20 divide b?
False
Suppose -71*f = -65*f - 564. Is f a multiple of 2?
True
Suppose -379*s + 389*s - 19620 = 0. Does 109 divide s?
True
Let u be (3/2)/(6/36). Let a be (-1 + 4)*6/u. Suppose 5 = a*b + 1. Is 2 a factor of b?
True
Is 25 a factor of (-2599)/(-4) - 47/(-188)?
True
Let b(w) = -8*w + 18. Let x be b(5). Let g = x - -111. Is 13 a factor of g?
False
Let q(p) = 113*p**2 - 4*p - 5. Let i be q(-1). Suppose -4*u + 352 = i. Is u a multiple of 30?
True
Suppose 3*h - 3*r = 762, -2*h - 5*r + 746 = h. Is 42 a factor of h?
True
Let n = -16 + 21. Let x be n/10 - (-21)/(-6). Let g = 35 + x. Is g a multiple of 8?
True
Let u(d) = -d**2 - 10*d - 23. Let f(k) = -2*k**2 - 19*k - 45. Let s(c) = -3*f(c) + 5*u(c). Does 10 divide s(8)?
True
Let j(f) = 3*f - 19. Let o be j(8). Suppose -4*x - 4*b - o = -5*x, -3*x = -3*b - 51. Is x a multiple of 6?
False
Let r be 80/15 + (-1)/3. Suppose -4 = -2*a - 0. Suppose i - r = -a. Is 3 a factor of i?
True
Let f(n) = -4*n + 1. Let m be f(3). Let q = m + 39. Suppose 4*k + 80 = 4*g - 0*k, -k = 2*g - q. Is 13 a factor of g?
False
Let q = 406 + 696. Is 29 a factor of q?
True
Suppose -9*r - 6400 = -26920. Does 80 divide r?
False
Is 4 a factor of 1671/21 + (-27)/(-63) - 2?
False
Let m(q) = 7*q**2 - q + 2. Let h be m(-3). Suppose a - h = 5*c, 4*c - 195 = -2*a - 3*a. Does 20 divide 5 + -2 - (-3 - a)?
False
Let y(j) = j. Let s(d) = d**2 + 4*d - 6. Let p(k) = s(k) - 3*y(k). Let z be p(-3). Suppose 4*h - 5*x - 308 = 0, 3*x = -2*h - z*h + 132. Is 12 a factor of h?
True
Let o(w) = -w**2 + 7*w. Let h be o(7). Suppose 0 = 4*n, g + h*g - 15 = n. Does 5 divide g?
True
Let g(z) = 9*z - 9. Let s be g(2). Let b(h) = 12*h + 36. Is b(s) a multiple of 17?
False
Let j be 3*(6 - (-3 + 6)). Suppose j*z - 14*z + 700 = 0. Does 7 divide z?
True
Let r(l) = 17*l + 61. Does 34 divide r(9)?
False
Let h be (2*459)/3 - -2. Let p = h + -175. Is p a multiple of 29?
False
Suppose -l = -8 + 17. Let h(u) = 223*u - 16. Let q be h(l). Is q/(-35) + (-1)/(-5) a multiple of 13?
False
Let j = 21 - 21. Suppose j = -7*g + 6*g - 19. Let t = -11 - g. Is t even?
True
Let l = -117 + 297. Is 10 a factor of l?
True
Suppose -108 = -5*a + 292. Let b be a/24*(-6)/(-4). Suppose h = b*u - 353, 2 = -4*h - 10. Is u a multiple of 14?
True
Let i = 42 - 38. Suppose 2*p - 5*p = -2*u + 83, 0 = i*u + 2*p - 158. Does 25 divide u?
False
Let l(v) = 4*v**2 + 2*v. Let o be l(2). Let m be o/7*42/12. Suppose -5*u + 54 = r - m*u, -5*u = -2*r + 103. Is 17 a factor of r?
False
Let l = 15 + -13. Is 10 a factor of l/1 - 561/(-11)?
False
Let k(y) be the third derivative of -y**6/120 + y**4/24 - 5*y**2. Let q be k(0). Suppose q = -5*s + 3*s + 64. Does 16 divide s?
True
Suppose -66*p + 1379 + 3901 = 0. Is 15 a factor of p?
False
Let x(w) = 3*w**3 + 2*w**2 + 5*w - 7. Let k be x(4). Suppose 3*q + k = s + 2*s, 0 = -2*s - 4*q + 164. Is s a multiple of 16?
True
Let w = 922 + -857. Does 10 divide w?
False
Let h = 220 - 190. Is 3 a factor of h?
True
Suppose 3*c - 6 = 0, t + 4*c = -2*t - 76. Let n = 52 + t. Is 4 a factor of n?
True
Suppose 4*b - 3*b + 10 = 0. Is 25 a factor of (-168)/b*(-75)/(-10)?
False
Let l(v) = 4*v**2 - 6*v - 2. Does 4 divide l(3)?
True
Suppose -10*s = 758 - 5258. Is s a multiple of 25?
True
Suppose p + 84 = 5*p. Suppose 7*b - p = 4*b + 3*l, -5*l = -b + 3. Is -8*(-4 - 12/b) a multiple of 11?
True
Let i(o) = -5*o - 5. Let r be i(-1). Suppose 2*t + 38 = 5*y, 2*y - t - 29 + 13 = r. Is 4 a factor of y?
False
Is 27 a factor of (-792)/77*(-126)/12?
True
Suppose -4*g + 6*g - 172 = 0. Suppose 0*z = 3*z - 1206. Suppose 0 = 5*q + m - z, -q - 2*m = m - g. Is q a multiple of 16?
True
Let d = 760 + -376. Let a = -124 + d. Does 65 divide a?
True
Let b(k) = 3 + 7*k + 8 - 8*k. Does 10 divide b(-24)?
False
Suppose 0*a - a = 2*n + 141, -3*a + 161 = -2*n. Does 6 divide (-1 + 3)*n*(-2)/4?
False
Is 156/16 - 5/(-20) a multiple of 8?
False
Suppose 0 = 7*y + y - 1632. Suppose y = 12*h - 240. Is h a multiple of 7?
False
Suppose -6 = -c - 5*c. Let g = 37 - c. Is g a multiple of 6?
True
Let s(q) = -4*q**2 - 211*q + 8. Is 9 a factor of s(-21)?
False
Is 534 + ((-60)/(-5) - 6) a multiple of 5?
True
Let r(n) = n**3 + 9*n**2 - 6*n + 6. Let j be r(-5). Let o be 16/(-20)*5/(-2). Suppose 0*c + j = o*c. Is c a multiple of 21?
False
Suppose -2*d = -3*d - 23. Let f = d - -27. Suppose -5*y = -f*h + h + 130, -2*y = 4*h - 208. Is h a multiple of 10?
True
Let k(m) = -5*m - 5. Let r be k(-3). Let c = 20 + r. Is 15 a factor of c?
True
Let b = 3901 + -2776. Is b a multiple of 15?
True
Let s be (0/5)/(4/2). Suppose s = 4*j + j - 595. Is 17 a factor of j?
True
Let w = -47 + 202. Is w a multiple of 3?
False
Let w be (-1)/(-2 + 14/8). Suppose -w*m - 16 = -4. Is -7*3*(1 + m) a multiple of 21?
True
Suppose 3*t - 577 = 335. Let g = t - 205. Is g a multiple of 21?
False
Suppose 21*m - 5*m = 80. Suppose 235 = 2*n + d, -8*d + 15 = -m*d. Is 32 a factor of n?
False
Let r = -50 - -51. Is r/3 + 7/(-3) + 190 a multiple of 17?
False
Let u(r) = r**3 + 23*r**2 + 2*r + 46. Let j be u(-23). Is (j + 0 - (-9)/(-15))*-95 a multiple of 12?
False
Suppose 2*l - 5*t - 193 - 97 = 0, 0 = l - 4*t - 139. Is l a multiple of 14?
False
Suppose 948 + 17 = 5*u + 4*l, 955 = 5*u + 2*l. Let b = -291 + u. Is (-1)/(-2) - b/4 a multiple of 13?
True
Let r be (-116)/(-12)*-1*3 + -3. Let x = r - -50. Is 6 a factor of x?
True
Let s = -51 - -56. Suppose -s*x - b + 717 = 0, 4*x + 2*b = 638 - 62. Is x a multiple of 15?
False
Does 16 divide 2 + -3 + 1127/7?
True
Suppose -2*u = -6*u + z + 8, 4*u - 4*z = -4. Suppose 4*j - 74 = -u*y, -2*y + 110 - 38 = 4*j. Is j a multiple of 10?
False
Let x(p) = 3*p + 4. Let l be x(-3). Let k(v) = -v**2 - 5*v + 6. Let t be k(l). Let m(s) = 13*s - 19. Is m(t) a multiple of 14?
False
Suppose -2*n - 23*v + 5346 = -22*v, 20 = 5*v. Is 92 a factor of n?
False
Suppose -3*w = -5*w + 756. Is 18 a factor of w?
True
Let i(g) = -g**3 + 9*g**2 - 10*g + 15. Is 24 a factor of i(5)?
False
Let v be 2*3/(24/20). Suppose 0*m = -v*m + 10. Suppose m*u = -k + 72, -5*k - 3*u - u = -348. Is k a multiple of 30?
False
Let w = -21 - -34. Let g be 1 - 2 - 5/1. Let z = w + g. Is 7 a factor of z?
True
Suppose 2*k + 12 = 6*k - 5*c, 0 = 2*c - 8. Suppose -102 = -k*n + 6*n. Is n a multiple of 18?
False
Let x = 171 + -51. Is x a multiple of 40?
True
Let s(j) = -j**3 - 19*j**2 - 27*j + 10. Is 2 a factor of s(-18)?
True
Let i be 2 + (-8)/(5 - 9). Suppose -4*z - 4*r + 588 = 0, 54 = 3*z + i*r - 384. Is z a multiple of 25?
True
Does 4 divide (29 + -22)*(-2 + 12)?
False
Suppose -q + 13 = 2*r, 4*r + 4*q = -8 + 40. Suppose 0 = 5*z, -3*p + r*p - 64 = -4*z. Is p a multiple of 10?
False
Let c be 76/20 - (-2)/10. Suppose -c*b - 231 = -7*b. Does 17 divide b?
False
Let p(n) = -n**3 - 9*n**2 - 7*n + 8. Let d be p(-8). Suppose -s = -a + 118, d = -2*a + 2*s + s + 237. Is a a multiple of 10?
False
Let k = -63 + 67. Suppose 0 = k*f - 5*g - 1385, 2*g = -5*f - 2*g + 1721. Does 51 divide f?
False
Suppose 5020 = 4*j - 4*m, 5*j = 3*j + 5*m + 2495. Is j a multiple of 25?
False
Suppose 5*u = 10*u - 20. Suppose 0 = u*c - 8*c + 120. Let n = c - 15. Does 5 divide n?
True
Let r be 0 - 835/(-5) - -1. Is 8 a factor of r/12*4/7?
True
Let x = 131 + -220. Let f = x - -98. Is f even?
False
Suppose -5*p + 11 + 1 = f, 3*p - 4 = f. Suppose -4*k + 0*k = -2*w + 102, -f*w + 66 = 5*k. Suppose 3*v - 11 = -n + w, -3*v = 0. Is n a multiple of 18?
True
Suppose 0 = -11*q + 6*q + 4*f + 3331, q - f = 667. Is 48 a factor of q?
False
Suppose i - 3*s = 1, 13 = 5*i - 2*s - 18. Let d(z) = 2*z**2 - 8*z - 14. Is 28 a factor of d(i)?
True
Let h(b) = -b**3 + b**2 + 2*b + 163. Let c(z) = -z**2 - 7*z - 10. Let d be c(-5). Is 28 a factor of h(d)?
False
Let x(j) = j**3 + 8*j**2 - 3*j + 6. Suppose 71 = 5*f + i, -f + 18 = 6*i - 2*i. Let y = f - 22. Is 7 a factor of x(y)?
False
Let m = -2218 - -3138. Is 5 a factor of m?
True
Let c(w) = 994*w + 31. Does 15 divide c(2)?
False
Let l(q) = 67*q - 4. Let n be l(3). Let y = 289 - n. Does 23 divide y?
True
Let b(s) = 21*s - 3. Suppose 10*m = 2 + 48. Is b(m) a multiple of 17?
True
Let w = 22 + 1110. Suppose 3388 = 8*u + w. Is u a multiple of 39?
False
