alse
Suppose -b + 0*b = -3. Is 15 a factor of (2/(-8))/(b/(-204))?
False
Let s = 4 + -2. Suppose -y = -0*y - s. Does 8 divide 14/((4 - y)/2)?
False
Let w = -38 + 24. Let s = -9 - w. Does 5 divide s?
True
Let f(n) = 3*n + 6. Let l be f(-8). Let b = -7 - l. Is b a multiple of 5?
False
Suppose 104 + 142 = 2*l. Does 9 divide l?
False
Suppose -f - 3*t = -6*f + 155, -t - 165 = -5*f. Suppose -3*m + f = -53. Suppose 2*a = m - 1. Is a a multiple of 14?
True
Suppose 73 - 241 = -8*k. Is 7 a factor of k?
True
Suppose 0 = 2*x + x. Suppose 0*o - 2*o - 2 = 3*u, x = 4*o + 3*u - 2. Suppose -o*r + r + 8 = 0. Is 8 a factor of r?
True
Let g = 15 + -10. Let o(m) = m**3 + 2*m - 4*m**2 + 5 + 2*m - 2*m. Is 17 a factor of o(g)?
False
Let y = 49 + -24. Is y a multiple of 13?
False
Let c(u) be the first derivative of -u**3/3 + u**2/2 + 2*u + 4. Let l be c(3). Is 9 a factor of (-3)/(-6)*l + 29?
True
Suppose 0 = 4*r - 4*q - 84, 3*r + q - 2*q = 61. Let z be 5/r - 7/(-4). Suppose -5 = -z*p + 3. Is p a multiple of 2?
True
Let w(g) = -2*g + 8. Is 2 a factor of w(-14)?
True
Let m = 5 + 1. Let k = -1 + m. Suppose 10 = 5*r, k*o + r + r - 19 = 0. Is o a multiple of 2?
False
Let p = -38 + -43. Let h = -49 - p. Is h a multiple of 13?
False
Suppose 0 = -0*w + 2*w. Suppose w = 2*v - 43 - 9. Let h = v - -21. Does 17 divide h?
False
Is 1*(-18)/(-27) + 1730/6 a multiple of 12?
False
Let v be (63/(-28))/(2/(-8)). Let h(p) = p - 8. Let m be h(12). Is 17 + v/(m + -1) a multiple of 6?
False
Suppose k = -2*g + 88, 5*g + 0*g - 20 = 0. Is 20 a factor of k?
True
Let v(w) = w + 31. Is 19 a factor of v(-10)?
False
Suppose 4 = 4*l, -5*j + 2*l + 14 + 29 = 0. Let q(g) = -2*g**2 - 3*g + 3. Let t be q(-3). Let x = t + j. Is x a multiple of 2?
False
Let u(c) = c**3 + 5*c**2 + 2. Let p be u(-5). Suppose 2*o = -2*l + 4, -p*l + 3 = 3*o - 2. Suppose 4*h - 11 = l, i = 3*h + 29. Is 18 a factor of i?
False
Suppose -k - 2*k + 2*p + 43 = 0, -k + p + 16 = 0. Does 3 divide k?
False
Let w(n) = n + 1. Let s be w(1). Suppose -5*q + s*x + 60 = 0, 0*q - 4*q + 20 = 4*x. Is q a multiple of 10?
True
Suppose -4*t - t - 45 = 0. Does 14 divide 8/36 + (-250)/t?
True
Let t(b) = b**3 - 5*b**2 - 6*b + 4. Let r be t(6). Suppose r*i + 16 = 5*i. Is 6 a factor of i?
False
Let f = 65 + 111. Is f a multiple of 11?
True
Is 19 a factor of 30/75 + 283/5?
True
Let g = -2 - -6. Suppose 0 = 3*u - r - 11, 0*u + g*r = -u + 8. Is 2 a factor of u?
True
Suppose -8*z = -10*z + 76. Suppose 5*b = 0, 2*s + 49 = 4*b - 5. Let c = s + z. Is c a multiple of 11?
True
Suppose 0 = -5*w - 6 - 19. Let f(k) = -2*k - 4. Let s be f(w). Let b = 6 + s. Is b a multiple of 12?
True
Let c = -38 - -22. Let s = c + 31. Is s a multiple of 4?
False
Let k(i) = 4*i**3 + 17*i**2 - 11*i - 14. Let z(c) = 3*c**3 + 16*c**2 - 11*c - 14. Let x(h) = 4*k(h) - 5*z(h). Is x(11) a multiple of 14?
True
Suppose 1345 = 3*r - m - m, 3*r - m - 1343 = 0. Is r a multiple of 38?
False
Let v = 88 + -23. Suppose 43 = 4*c - v. Is c a multiple of 8?
False
Let n(f) = -5*f**2 - 3*f + 10. Let w be n(5). Let j = 190 + w. Is 19 a factor of j?
False
Let d be 1/1 - (-31 + 0). Suppose 48 = -3*j + 6*j. Let v = d - j. Is v a multiple of 8?
True
Suppose 68 = 6*y - 5*y. Does 17 divide y?
True
Let y = 1 - 1. Suppose 0 = -2*n + 4*s - 72, -3*n - 2*s - 124 = -y*s. Let b = n - -65. Is b a multiple of 20?
False
Let a(t) = -t**2 - 25*t + 74. Does 14 divide a(-24)?
True
Suppose 3*v - 3*t - 9 = 0, 0 = 5*v - 2*t + 6*t - 60. Let m = 5 - v. Is 12 a factor of (-1)/m + 214/6?
True
Suppose 3*j - 12 - 3 = -3*x, -3*j + 23 = -x. Let o(v) = -7*v**2 + v**2 + 4 + 1 - v**2 + 7*v + v**3. Is 15 a factor of o(j)?
False
Suppose -3*j + 3*b + 384 = -0*j, -2*j + 4*b + 264 = 0. Does 31 divide j?
True
Let v(t) = -t**2 + 3*t + 5. Let i be v(4). Let w(x) = -x - i + 17*x**2 + x. Does 11 divide w(-1)?
False
Let t = -194 - -432. Does 34 divide t?
True
Let i(z) = 2*z**3 + 21*z**2 - 27*z - 13. Let p(f) = -f**3 - 11*f**2 + 14*f + 7. Let u(g) = 3*i(g) + 5*p(g). Does 7 divide u(-9)?
True
Let g be (-4)/10 - (-24)/10. Let q be 2 + -1 + -22 + 1. Is 10 a factor of (1 + -3)*q/g?
True
Let c(g) = -7*g**3 - 2*g**2 + 4*g + 5. Is 15 a factor of c(-2)?
True
Suppose -3*t - 20 = -f, t + 10 = 2*f - f. Suppose 3*q - j - 78 = 2*j, f*j = 3*q - 76. Suppose 3*i - q = 27. Does 9 divide i?
True
Let f be 4/(5/(15/(-2))). Let a = 8 + f. Suppose a*o - 48 = -2*o. Is o a multiple of 12?
True
Let p(o) = -109*o**2 + o. Let y be p(-1). Let f = y - -248. Suppose 4*j - f = -58. Is j a multiple of 20?
True
Suppose 5*k = 27 + 63. Is k a multiple of 14?
False
Let b be (-351)/(-4) + (-1)/(-4). Suppose 3*g - b - 134 = 0. Is g a multiple of 30?
False
Let d(z) = 8*z**2 + z - 2. Does 8 divide d(-2)?
False
Suppose -8*t + 691 - 83 = 0. Does 38 divide t?
True
Suppose 0 = -f - 3*i + 4, 0*f + 48 = 5*f + i. Let u = f + 14. Is 12 a factor of u?
True
Let o = 1 + -6. Let d(k) = k**2 + k + 5. Does 9 divide d(o)?
False
Suppose -3*h = z + z + 6, 3*h = -z - 3. Is 9 a factor of (53 + z)/((-6)/(-3))?
False
Let b = -6 - -44. Is 19 a factor of b?
True
Let p = 63 - 27. Is 6 a factor of p?
True
Let p be 2/(-11) + 1680/44. Let f = 77 - p. Is 13 a factor of f?
True
Let i(n) = -n + 6. Suppose 2*d = q + 3, -2*d - 5*q = -0*d - 21. Let f be i(d). Is 4 a factor of (f + 2)*14/5?
False
Let f be ((-2)/(-5))/(3/30). Let z(g) = 5*g**2 + f*g**2 + 1 - 2*g + 5*g**2. Is 13 a factor of z(1)?
True
Is 37 a factor of 5*3/((-45)/(-111))?
True
Let g = -5 + 7. Suppose -4*j + 116 = -8*j - 5*r, g*r - 116 = 4*j. Let v = j - -52. Is 15 a factor of v?
False
Let x = -57 + 147. Is 15 a factor of x?
True
Suppose 0 = -5*h + 10*f - 6*f + 1258, 5*f + 10 = 0. Does 19 divide h?
False
Suppose 4*p = -2*t + 192, 3*t - 315 = -0*p + 3*p. Is t a multiple of 17?
True
Suppose -3*p + 102 = -111. Is 41 a factor of p?
False
Let u = -9 - -15. Let k = 43 - -38. Suppose 5*d + u = k. Does 6 divide d?
False
Suppose 0 = 4*d + 16 - 112. Suppose d = 4*j - 0*j. Is (j/7)/(1/7) a multiple of 5?
False
Let v(u) = u + 7. Let m be v(-4). Let s = m + 2. Does 2 divide s?
False
Suppose o + 35 = 3*m, m = 2*o + 5*m + 60. Is 3 + (-1 - o/2) a multiple of 4?
False
Suppose 3*a - 5*o = 284, 2*a + 5*o - 160 = o. Does 8 divide a?
True
Let g(b) = -4*b - 8. Let z = 15 + -8. Suppose 2*o = z*o + 35. Is g(o) a multiple of 7?
False
Let h(b) = -b**3 + 6*b**2 + 10*b - 9. Is h(7) a multiple of 4?
True
Let f(w) = -w**2 - 10*w + 8. Let o be f(-10). Suppose o = -5*z + 18. Suppose -z*g = -0*g - 104. Does 18 divide g?
False
Let f(h) = -h**3 + 4*h**3 - 7*h**2 + 4*h + 0*h**3 - 7 - 2*h**3. Is f(7) a multiple of 5?
False
Suppose -4*x + x = 0. Let j be (-3)/((-1 - 0) + x). Suppose -3*w + 58 = -5*n, -j*n + 9 = 3*w - 9. Is w a multiple of 9?
False
Let r be (12/18)/((-2)/3). Let b = r - 2. Let h(a) = -a**3 - 2*a**2 - a. Is h(b) a multiple of 12?
True
Suppose 7*v = v + 288. Does 31 divide v?
False
Let z be 18/12 - (-1)/(-2). Does 7 divide 32 + z*(1 + 0)?
False
Suppose 4 = u + u. Suppose -g + 78 = u*g. Is g a multiple of 23?
False
Suppose n - 3*y = -5*y - 28, y = 5*n + 195. Let d = -20 - n. Is 8 a factor of d?
False
Let j = -6 + 62. Is j a multiple of 14?
True
Suppose -4*o = -o - 6. Let m be 73/o + (-9)/18. Suppose -3*l - l = -m. Is l a multiple of 7?
False
Suppose -1450 = -4*v - 2*m, -v - v + 4*m + 710 = 0. Is 21 a factor of v?
False
Let n(r) = r**3 + 9*r**2 + 6*r - 11. Suppose -2*a + 6*a = -5*i - 56, -a = -4*i - 28. Let m be n(i). Suppose 2*j - m = -1. Is j a multiple of 2?
True
Let a(b) = -b**2 + 7*b - 2. Let l be a(6). Suppose 8 = 4*n + l*f, -3*n + 0 + 3 = 4*f. Is n a multiple of 5?
True
Let p(i) = 3*i**2 - 7*i + 15. Let s(a) = a**2 - 4*a + 7. Let r(w) = 2*p(w) - 5*s(w). Suppose -4*m + 3*f = 19, -f = m + 9 + 1. Is 2 a factor of r(m)?
True
Let d = 0 + 0. Suppose -5*b + 35 = -d*b. Is b a multiple of 4?
False
Let w(k) = -3*k**2 + 2*k - 4. Let j be w(2). Let o = j + 24. Does 3 divide o?
True
Suppose -714 - 48 = -2*k. Suppose -290 = -3*z - 0*a + 5*a, 4*z - a - k = 0. Is z a multiple of 24?
False
Suppose 8*p - 2*p = 156. Does 21 divide p?
False
Suppose -a = -l + 4, a = -3*l - 0*a + 20. Is l a multiple of 3?
True
Let v = 17 - 6. Suppose 4 = 2*p + 2*r, 3*p + r = -r + v. Suppose p*u = 4*u + 75. Is u a multiple of 11?
False
Let m = -6 - -9. Let f be 0 + (0 + 0)/(-1). Suppose -z + m*z - 18 = f. Does 6