 Let d(q) = 3*m(q) + 5*t(q). Let o be d(-8). Is 6 a factor of (o - -4)/(4/14)?
False
Is ((-36)/(-14))/(3/126) a multiple of 12?
True
Let h(l) = -l**2 + l. Suppose u = -4 + 3. Let v(n) = -7*n**2 + 6*n. Let x(i) = u*v(i) + 5*h(i). Is x(4) a multiple of 16?
False
Suppose -5*q = l - 17, -3*q + 4*q = 5*l - 7. Let a = 31 - q. Is 6 a factor of a?
False
Suppose -36 - 8 = 4*h. Suppose 0 = -5*k + k - 76. Let w = h - k. Is 7 a factor of w?
False
Suppose 2*t = -3*b + 5, 5*t - 12 = -b + 33. Is t a multiple of 3?
False
Let o(f) be the first derivative of -f**3/3 - 9*f**2/2 - 2*f - 4. Let w be -2 - (-3 + -2) - 10. Is 12 a factor of o(w)?
True
Let b = 9 - 5. Let p be (0 - (0 + 1))*-4. Suppose b = 2*j - p. Is j even?
True
Suppose 4*z = 31 + 165. Suppose 0 = -u + z + 19. Suppose -x = -5*x + u. Is x a multiple of 7?
False
Suppose 0 = 3*v - 12 - 3. Suppose j + 18 = v*c, 2*j + 27 = 5*c - 2*j. Is 3 a factor of c?
True
Let x = -20 + 16. Let i(l) = -4*l + 3. Is 4 a factor of i(x)?
False
Let d(w) = w**3 + 4*w**2 - 6*w - 5. Let o(b) = -b - 5. Let u be o(0). Let z be d(u). Is 2/(-4)*z + 34 a multiple of 17?
True
Suppose -7 = 2*i - 3, -4*i - 48 = -4*z. Is 2 a factor of z?
True
Suppose 15 = 3*h - 0. Suppose 0 = -h*j - 6 + 1. Is 31 + (0/2 - j) a multiple of 18?
False
Is (-5)/(-2) + -2 - (-4605)/30 a multiple of 7?
True
Suppose -w + 207 = 3*k, 2*w = -2*w + 5*k + 743. Is w a multiple of 12?
True
Let j(k) = k**2 + k - 1. Let u be j(0). Let m = u + 6. Suppose -m*v = 5*o - 44 - 46, -2*v = o - 32. Does 7 divide v?
True
Suppose -4*r - 2*b + 7*b - 12 = 0, -4*r = -b - 4. Suppose -2*p + 96 = r*p. Is 8 a factor of p?
True
Suppose 0 = -z + 5*a + 37, z - 3*z + 5*a = -54. Let q = 52 - z. Does 11 divide q?
False
Let q be 2 + ((-1)/(-1) - -1). Suppose 76 = 4*v + q*k, k + 15 = -0*v + v. Is 6 a factor of v?
False
Let y = 7 - -14. Is 7 a factor of y?
True
Let z be -29*2/1*-1. Suppose w = -5*q + z, -4*w + q = -w - 174. Is 17 a factor of w?
False
Is 7 a factor of 3 + (-22)/(-1) - 2?
False
Let c = -13 + 60. Does 17 divide c?
False
Let d(h) = h + 10. Let b be d(8). Let c = 64 - b. Does 23 divide c?
True
Let w be 1/(-3) - (-10)/3. Does 18 divide (-30)/(((-27)/12)/w)?
False
Let i = -8 - -7. Let h(z) be the third derivative of 3*z**5/4 + z**4/24 + z**2. Is 22 a factor of h(i)?
True
Is (-752)/(-18) - (-8)/36 a multiple of 14?
True
Let y be (-2 - -6) + 0 + -3. Suppose -3 - y = -2*o. Does 22 divide ((-45)/(-6))/(o/8)?
False
Let k(i) = 14*i - 6. Is k(5) a multiple of 8?
True
Let c be (-2)/1 + (-6)/(-3). Suppose i = -c + 6. Is 4 a factor of 9 + (1*i)/3?
False
Suppose 4*h - 66 - 210 = 0. Is h a multiple of 14?
False
Let s be (-6)/(-4)*(-6)/(-9). Let p be (s - (-1 + 3)) + 8. Suppose 39 = 4*b + p. Does 4 divide b?
True
Suppose 120 = -s + 4*s. Suppose 4*p - 5*p + s = 0. Does 10 divide p?
True
Let p = 17 - 14. Let g be (0/(-1))/(-2) + 0. Suppose -p*c - 5 + 14 = g. Does 2 divide c?
False
Suppose 5*h - 12 = -j, 0 = 2*j + 2*h - h - 60. Let d(q) = -q**2 + 20*q + 17. Let o be d(17). Let g = o - j. Is 18 a factor of g?
True
Let c(m) = -m**3 + 11*m**2 + 18*m - 21. Is c(12) a multiple of 7?
False
Let d(v) = 5*v**2 + 8*v - 16. Is d(4) a multiple of 24?
True
Let b be (3/9)/((-2)/(-30)). Suppose -13 = -b*h + 47. Is 5 a factor of h?
False
Suppose -2*b = r + 4 + 6, -5*r = 2*b + 90. Let h = r + 23. Is 3 a factor of h?
True
Let o(a) = -7*a - 17. Is o(-5) a multiple of 6?
True
Suppose 3*j - 6 = -3*f, f + 16 = -3*j + 5*j. Is 6 a factor of j?
True
Suppose -5*u + 136 = -2*z, -6*u + 3*z + 139 = -u. Is 5 a factor of u?
False
Let v = -145 + 163. Is 6 a factor of v?
True
Suppose 4*y - p = 90, -y + 15 = 2*p - 6*p. Does 8 divide y?
False
Let s = -48 - -112. Let d = -16 + s. Is d a multiple of 16?
True
Suppose 8 + 2 = 2*u. Is u even?
False
Let d be (-45)/(-6) - (-1)/2. Does 8 divide (-26 + d)/(3/(-4))?
True
Let t = 216 - 90. Is t a multiple of 14?
True
Suppose -3*a = 9, 5*a + 28 = 5*l + 3. Suppose 47 + 103 = 4*r + x, -l*x = 3*r - 110. Is r a multiple of 11?
False
Let o = 0 + 0. Let t = 2 + 1. Suppose o = c - 4 - t. Does 7 divide c?
True
Suppose 3*t - 108 = -9. Is 32 a factor of t?
False
Suppose 3*o - 550 - 563 = 0. Does 53 divide o?
True
Let c be (12/14)/((-3)/21). Let z(h) = h**2 - 6. Does 15 divide z(c)?
True
Let p = 297 + -174. Is p a multiple of 8?
False
Let u be (-750)/(-11) - (-2)/(-11). Suppose 4*t - 120 = u. Does 16 divide t?
False
Let m = 1 - 13. Let f be (-2)/6 - 28/m. Suppose -9 = f*v - 35. Does 13 divide v?
True
Let k be (-1 - 7)*3/(-4). Suppose -k = s - 3*s. Is ((-32)/6)/(s/(-9)) a multiple of 16?
True
Let o(x) = 42*x. Let h = 2 - -2. Let r be o(h). Suppose 3*v - r = -30. Does 10 divide v?
False
Let n be (0 - -1)*(0 - -2). Suppose -3*y - n*y = -2*k + 35, 2*y = -k - 5. Suppose 0 = -t + 5*x + 2, t + k*x - 16 = 16. Does 7 divide t?
False
Let s = 5 - 6. Is (-9)/(-3)*9 + s a multiple of 13?
True
Let u(g) = -5*g**3 - 1. Let w(d) = d - 1. Let p be w(0). Is 3 a factor of u(p)?
False
Let b(h) = -5*h - 9. Suppose -4*j + 84 = -0*j. Let a = 15 - j. Does 8 divide b(a)?
False
Suppose -246 = -21*i + 15*i. Does 24 divide i?
False
Let b be -4*-1*(-1)/(-2). Suppose -c + 21 = b*c. Is c a multiple of 7?
True
Let r(u) = 3*u + 20. Is r(24) a multiple of 10?
False
Let z = 103 - 67. Does 8 divide z?
False
Let l be 16/(-6)*(-21)/2. Suppose 4*a + 0*a - l = 0. Suppose 0 = -a*j + 3*j + 80. Is j a multiple of 10?
True
Suppose -4*w + 18 = -w. Suppose -4*a = 5*o + 12 - 0, 3*a + w = -3*o. Suppose -2*r = k - 24, 3*k - a*k + 3*r - 29 = 0. Does 5 divide k?
False
Suppose -3*n + 30 = 2*n + y, 3*y = -15. Let a = n + -12. Is 11 a factor of ((-44)/6)/(a/15)?
True
Suppose -2*k + 1 + 9 = 0. Suppose k*v + 2*w - 84 = 0, 5*v + 0*w = 4*w + 72. Is 16 a factor of v?
True
Suppose 5*t - 238 - 372 = -5*g, 4*t + 142 = g. Is g a multiple of 14?
True
Let u(i) = -3*i - 3. Suppose -4*k + 6*k - 8 = 3*d, 4*k = -d - 12. Let b be u(k). Is (2 + -1)/(b/36) a multiple of 12?
True
Is 64 a factor of 12/(-28) - (-15030)/35?
False
Let p = -45 + 73. Suppose 4*c = 2*j + 3*c - 15, c = -4*j + 21. Is p/6 + (-4)/j a multiple of 4?
True
Suppose 4*l - 2*g - 3*g - 100 = 0, 0 = 2*l - 2*g - 48. Is 11 a factor of l?
False
Let k(l) be the first derivative of -l**5/20 - 2*l**3/3 - 2. Let p(y) be the third derivative of k(y). Is 15 a factor of p(-5)?
True
Suppose 0 = -4*z + 2*z + 164. Is 29 a factor of z?
False
Let r(c) = 27*c - 15. Does 13 divide r(6)?
False
Let j = 23 + 2. Suppose -3*y + 8*y = j. Suppose 3*b - y*b + 22 = 0. Does 11 divide b?
True
Suppose 4*f - 38 = 3*f. Suppose 0 = v + 1, 0 = 2*q - v - 83 - f. Is q a multiple of 30?
True
Let h(i) = i + 5. Let x be (1 - 1)*5/5. Let k be h(x). Suppose -k*l + 0*l = -185. Is l a multiple of 21?
False
Suppose 0*z = 3*z + 5*u - 74, -81 = -2*z + 3*u. Let k = -15 + z. Does 8 divide k?
False
Suppose -3*b + 3*y = b - 26, 2*b + y - 8 = 0. Suppose b*m - 253 = 127. Suppose q = -q + m. Is 19 a factor of q?
True
Suppose -6*t + 2*t + 2*z + 766 = 0, 3*t + 4*z = 547. Is t a multiple of 13?
False
Suppose 3*j + 3*y + 51 = 5*j, 3*j = y + 73. Let l be j/42*(-7)/(-2). Suppose -25 - 7 = -l*g. Does 16 divide g?
True
Suppose 35*a - 33*a - 402 = 0. Is 14 a factor of a?
False
Let y = 2 - -31. Is 11 a factor of y?
True
Suppose -15 = -6*d + d. Let w be ((-1)/1)/((-1)/16). Suppose w = x + 2*z, -4 = x - 3*x + d*z. Does 4 divide x?
True
Let o(d) = 7*d + 2. Let a(q) = -q - 1. Let v(t) = -4*a(t) - o(t). Let f be (-2)/(-3) - 40/6. Is v(f) a multiple of 7?
False
Let t be 1 - (-6)/(-2) - -4. Suppose -t = 4*s + 2*r - 0*r, -4*s + 3*r - 27 = 0. Let n = 14 + s. Is n a multiple of 11?
True
Let u(c) = -11*c**3 - c**2 + c + 1. Does 7 divide u(-1)?
False
Let r = 1 - 11. Does 25 divide (-246)/r + 6/15?
True
Let i = -11 - -1. Let x(b) = b**3 + 10*b**2 + 1. Let n be x(i). Is n/(-3)*(0 - 15) even?
False
Let b = 6 + -6. Let t = b - 3. Let i = t - -8. Is 5 a factor of i?
True
Does 18 divide -35*(-3 + 4)*-3?
False
Let p(m) = -m**3 - 9*m**2 - 10*m. Let z = -3 - -5. Let v be -10 - (0/2 - z). Is p(v) a multiple of 8?
True
Let z = -33 + 117. Is z a multiple of 12?
True
Let l be 0 - 1 - 17*-1. Suppose -7*h = -3*h - l. Suppose 36 - 4 = h*f. Is f a multiple of 6?
False
Suppose 7*x - 11*x + 96 = 0. Is x a multiple of 12?
True
Suppose 3*i - 165 = -3*y, 4*y + 2*i - 128 = 102. Is y a multiple of 12?
True
Le