*2 - 6*z - 1. Let o(l) = 3*l. Let x(u) = 4*c(u) + 7*o(u). Is x(3) a multiple of 13?
False
Is 4 a factor of (0 - 1)/(-3*(-6)/(-1044))?
False
Let w = 10 + -6. Let u = w + 0. Suppose 2*o - s - 2 = 10, -u*s + 8 = 0. Does 3 divide o?
False
Let a(u) be the first derivative of u**3/3 - 3*u**2 - u + 3. Is a(9) a multiple of 26?
True
Let y = -78 + 49. Let p = y + 40. Is 11 a factor of p?
True
Suppose m - 3 = 7. Is 10 a factor of m?
True
Let d(q) = 39*q - 4. Let z(s) = s + 1. Let b(h) = -d(h) - 4*z(h). Suppose 2*i = 5*i + 3. Is b(i) a multiple of 13?
False
Suppose 5*s = z + 503, 4*z - 138 = -5*s + 350. Does 9 divide s?
False
Let k = -8 - -3. Let u = -16 - k. Let l = u + 18. Is 3 a factor of l?
False
Suppose -39 = -5*v + 6. Let s = 4 - 7. Let n = s + v. Does 5 divide n?
False
Let v = 8 - 4. Suppose 118 = v*m + 3*j - 37, 4*m = -4*j + 156. Suppose -2*n = 4*i - m, 3*n + 2*i - 23 - 46 = 0. Does 16 divide n?
False
Suppose 3*r + 15 = 0, 4*x - 4*r - 220 = -x. Does 9 divide x?
False
Let d be -4*(27/(-12))/3. Suppose 0 = -d*f + 6, -y - 2*y = -3*f. Suppose -y*m + 19 = 3*i, 3*i - m - 3*m + 11 = 0. Does 2 divide i?
False
Suppose 5*u - 339 = 2*u. Does 19 divide u?
False
Is (-42)/(-49)*1*(84 - 0) a multiple of 72?
True
Is 12 a factor of (-1 + (-3)/(-6))*-328?
False
Suppose 54*l = 57*l - 1104. Is l a multiple of 75?
False
Let j be 18/6*(-4)/6. Let q be -3 - (-2 + -1) - j. Suppose q*f - 160 = -2*f. Is f a multiple of 16?
False
Suppose -3*o - 2*o + 20 = 0. Suppose 5*g = -2*c + 49, 0*c + o*c = -g + 53. Does 12 divide c?
True
Suppose 10*b = 88 - 38. Is b a multiple of 3?
False
Let n(l) = l - 2. Let y = 5 - -2. Is 2 a factor of n(y)?
False
Suppose -5*s - 3*o + 960 = 222, -4*o = s - 151. Let w = s - 84. Does 17 divide w?
False
Suppose -19*b + 329 = -2597. Is b a multiple of 18?
False
Suppose -126 = -6*j + 3*j. Suppose -4*w - 8 = q, 5*q + w - 13 - j = 0. Does 10 divide q?
False
Let n(x) = x**2 + 13*x + 10. Let y be n(-8). Let m = 48 + y. Is 6 a factor of m?
True
Let k be -23*(-11 + -1)/(-4). Let h = k - -109. Is h a multiple of 13?
False
Is 36 a factor of (1032/30)/((-4)/(-10))?
False
Let k = 7 - 4. Suppose -k*s + 72 = -0*s. Does 12 divide s?
True
Suppose -140 = -m - 6*m. Does 5 divide m?
True
Let n(d) = 14*d - 4. Is n(7) a multiple of 47?
True
Let t be 3/(-2 - 10/(-8)). Let p = t + -2. Let n(u) = -u**2 - 9*u - 5. Is n(p) a multiple of 7?
False
Let a(l) = l**2 + 7*l - 12. Is 44 a factor of a(-16)?
True
Let x = -110 + 166. Is 6 a factor of x?
False
Suppose 3*l = -d + 1, 2*l - 6 = -0*d + 2*d. Let b = d + 5. Is 3 a factor of b?
True
Suppose 0 = 2*a + j - 2 + 7, 2*j + 9 = -3*a. Is 27 a factor of 55 - (-3 - a - -3)?
True
Suppose 2*c + 3*w = 114, 4*w - w = 0. Is c a multiple of 18?
False
Let n = 16 + 33. Suppose o + 5*u = n, o - 4*u - 14 - 17 = 0. Suppose o = -3*w + 96. Is 8 a factor of w?
False
Suppose -5*v - 3*r + 156 = 0, 0*v + 2*v + 2*r - 64 = 0. Is v a multiple of 15?
True
Let n be (-980)/(-55) - 2/(-11). Let v = 31 - n. Let f = -7 + v. Is 3 a factor of f?
True
Let p(m) = -m**3 + 6*m**2 + 6*m. Suppose 5*z - 30 = -0*z. Is 12 a factor of p(z)?
True
Let b = -5 - -8. Suppose 16 = 2*j - 3*t, 2*t = b*j + t - 10. Suppose j*k - 22 + 6 = 0. Does 4 divide k?
True
Let p be (-1262)/(-6) + (-6)/(-9). Suppose -3*q + 4*q - 2*l + p = 0, 677 = -3*q - 5*l. Is 14 a factor of 1/(q/(-108) + -2)?
False
Suppose -8 = -k - i, 3*k - 4*i - 9 = -2*i. Suppose -3*z = 3*o - 48, -4*z + k*o + 98 - 16 = 0. Does 11 divide z?
False
Let x(m) = -4*m - 1. Let c(a) = 2*a + 1. Let z(s) = -5*c(s) - 3*x(s). Let p be z(3). Let k = p + 10. Is k a multiple of 6?
False
Let r be 16/3 - 4/(-6). Let q = -2 + r. Is q a multiple of 2?
True
Suppose 0 = -4*v + 3*m + 3385, -2*v - 3*m = 2*m - 1725. Does 21 divide v/14 + 6/21?
False
Let f(n) = -5*n + 1 + 25*n - 17 - n**2. Is 25 a factor of f(13)?
True
Suppose 16 = -5*d - 184. Let v = 62 + d. Is v a multiple of 11?
True
Let p(v) be the first derivative of 4/3*v**3 + 2 - 7/2*v**2 - 7*v + 1/4*v**4. Does 3 divide p(-5)?
True
Let k(r) = -5*r + 25. Is k(-7) a multiple of 30?
True
Let c(y) = 25*y**2 - 4*y - 1. Is 21 a factor of c(2)?
False
Let x be 1 + (2 - 0)/2. Let y(k) = 6*k**3 - 3*k**2 + k + 1. Is 12 a factor of y(x)?
False
Suppose -4*q = 2*b - 8, q = b + 11 - 0. Let h = b + 10. Suppose 3*y = -2*i + 79, -8*i + h*i + y + 165 = 0. Is i a multiple of 16?
False
Let j(c) = 4*c + 14. Does 27 divide j(10)?
True
Suppose 2*t + 5*g - 182 = -0*t, 0 = 2*t + 3*g - 190. Is 16 a factor of t?
False
Let s = 18 - 37. Let n(h) = -h**2 + 10*h - 17. Let j be n(12). Let i = s - j. Is 9 a factor of i?
False
Let l be (-396)/14 - 6/(-21). Suppose 4*f + 62 = -2*w - 10, -2*w - 68 = 5*f. Let i = l - w. Is i a multiple of 8?
True
Does 12 divide ((-9)/((-9)/2))/((-2)/(-81))?
False
Let y(m) = -m - 4. Let b be y(-7). Suppose -b*a + 7 + 3 = -2*g, -g = -2*a + 8. Is 6 a factor of a?
True
Suppose 6 = 3*l - 3. Suppose -27 = -4*a - l*t, -a + 4*a - 23 = -5*t. Is 6 a factor of a?
True
Let f(x) = -x**2 - 6*x - 2. Let l be f(-5). Suppose 23 = 5*t + l*h - 4*h, -3*t + 18 = -2*h. Suppose -j + 100 = t*j. Does 8 divide j?
False
Suppose 0 = -h - h + 100. Does 25 divide h?
True
Let f = -4 + 7. Suppose o + 1 = f. Suppose o*m - 4 = 12. Does 3 divide m?
False
Suppose 0 = 4*l + 4, -3*z = -2*z + 5*l + 24. Let s = z + 1. Is 12 a factor of 6/s + 146/6?
True
Let w(z) = -10 + 7*z + 4 + 2*z**2 + 7. Is w(5) a multiple of 22?
False
Let v = -46 + 118. Does 9 divide v?
True
Let z = 1 + 19. Does 8 divide z?
False
Suppose -12 = -2*h - 2*h. Suppose -4*p + 40 = 4*z, -h*p - p + 5*z = -85. Is 13 a factor of p?
False
Suppose -t + 2*r = -63 + 17, -t - r = -40. Let v = t + 1. Does 15 divide v?
False
Let i = 23 + 113. Does 17 divide i?
True
Let c be 2*3*6/18. Suppose 0 = 2*b - 4*j - 40, c*b + 2*j = -18 + 58. Is 20 a factor of b?
True
Let q(h) = h**3 - 8*h**2 + h. Is 15 a factor of q(9)?
True
Let g(q) be the third derivative of q**5/30 + q**4/12 - q**3/3 - 2*q**2. Is 2 a factor of g(-2)?
True
Let l(h) = 4*h - 4. Let g be l(3). Suppose -4*d = 1 - 89. Suppose -2*z = -g - d. Is z a multiple of 8?
False
Let p be ((-624)/10)/2*-10. Suppose 4*y = -4*g + p, -4*y - 2*g + 3*g = -337. Let v = y + -57. Does 13 divide v?
True
Let o(p) = p + 17. Is 4 a factor of o(15)?
True
Let w(l) = 17*l**2 - l - 1. Does 24 divide w(2)?
False
Let o(f) = f**3 - 2*f**2 + 4. Does 9 divide o(4)?
True
Let m(w) = -w**3 + 7*w**2 - 6*w. Let f be m(6). Let c(p) = -2*p + p**2 - p + 0*p**2 - 3 + f. Is 4 a factor of c(6)?
False
Let o = -13 - -6. Is 8 a factor of 47/2 - o/14?
True
Suppose 991 = 4*j - 5*t, 0*t + 259 = j + t. Suppose -5*x + j - 104 = 0. Is x a multiple of 14?
False
Suppose 128 - 4 = a. Does 17 divide a?
False
Let a be -3 - 1/((-3)/144). Suppose 0*l + a = l. Is l a multiple of 15?
True
Let w = -6 + 6. Let l = 16 - w. Does 10 divide l?
False
Does 12 divide (-6 + 30)*(-2 - (-13)/4)?
False
Suppose -s = -22 - 156. Suppose 0 = 3*d - 15, -2*x = -x - 3*d. Suppose -j - 5*m + x = 0, 8 = -4*j + 2*m + s. Is 20 a factor of j?
True
Suppose -26 = -a - 11. Is a a multiple of 13?
False
Does 17 divide 782/10 + 4/(-20)?
False
Does 21 divide (7/4)/(11/132)?
True
Let b(r) be the first derivative of 6*r**2 - 4*r - 4. Is b(4) a multiple of 22?
True
Let p be 6/(-8) - (-1063)/4. Suppose -2*a + 7*a = 0, 5*k - 3*a = p. Does 11 divide k?
False
Let w(m) = m**3 + 31*m**2 - 36*m - 62. Is 22 a factor of w(-32)?
True
Let p(n) = n**3 + 6*n**2 + 8*n + 2. Let w be p(-6). Let k be w/(-10) + 12/30. Suppose 3*q - 23 = -k. Is 2 a factor of q?
True
Let g be (-42)/(-35)*-1*10. Is 29 a factor of 1868/26 - g/78?
False
Let z = -117 - -250. Let g = z + -81. Is g a multiple of 29?
False
Suppose -5*c - 2*m - 776 = 0, c = -3*m + 8*m - 139. Let b = -88 - c. Is 15 a factor of b?
False
Is (-6)/2 + (2 + -80)/(-1) a multiple of 7?
False
Suppose 3*b + 0*b - 153 = 0. Is b a multiple of 17?
True
Let a = 3 + -1. Suppose -j + a = -14. Is 16 a factor of j?
True
Let u = 5 - 2. Suppose -u*q + 4*j = -59, q - 6*q - 4*j + 45 = 0. Is 13 a factor of q?
True
Let r(y) = -y**2 + 10*y + 2. Let v be r(10). Let o be 1 + (0 - -1)*v. Suppose o*s + s = 52. Is 12 a factor of s?
False
Let a(c) be the second derivative of -c**3/3 - c. Let k be a(-2). Is k*(2 + -1)*4 a multiple of 8?
True
Let l = -76 + 22. Let h = -33 - l. Is h a multiple of 15?
False
Suppo