3*g + 103. Suppose o = -3*o + g. Is 9 a factor of (1 + -1)/2 + o?
True
Does 3 divide (6 - 9)/((-3)/14)?
False
Suppose -3*i = -0*i - 156. Does 14 divide i?
False
Let o(u) be the third derivative of 5*u**4/24 - 5*u**3/6 - 3*u**2. Does 15 divide o(4)?
True
Let q be (4/(-10))/((-5)/250). Is 8 a factor of (-5)/q - (-81)/4?
False
Suppose 5*q = 2*o + 518, -3*o + 211 = q + q. Is q a multiple of 28?
False
Let x = 2 + -1. Let a = x - 1. Suppose y + a*c = -2*c + 35, -113 = -3*y + 2*c. Is 14 a factor of y?
False
Let t(c) = -26*c + 16. Does 10 divide t(-4)?
True
Is 6 a factor of -2 + 3 + 1 - -22?
True
Let f = -4 - -4. Suppose 0*q + 145 = 5*q + 4*j, 2*q + 5*j - 58 = f. Does 11 divide q?
False
Let a(w) = -5*w**3 + 4*w**2 - w + 5. Let x(m) = -4*m**3 + 4*m**2 - 2*m + 5. Let k(n) = 3*a(n) - 4*x(n). Suppose 4*i = i + 12. Is 15 a factor of k(i)?
True
Let c(r) = 13*r - 62. Is c(6) a multiple of 4?
True
Suppose -3*z - z + 16 = 0. Suppose -z*b + 3*b = 0. Suppose 2*l + 4 = -b*l - 5*a, -4*l = -2*a - 16. Does 3 divide l?
True
Suppose 2*x + 3*m = 4*m, 7 = -3*x - 2*m. Let k = 5 - x. Is 6 a factor of k?
True
Let w(z) = -17*z + 15. Is w(-5) a multiple of 25?
True
Suppose 56 = 5*q - 3*q. Is 14 a factor of q?
True
Let m be (-14)/(-4)*12/21. Suppose -3*h = -3*k + 90, 101 = 4*k + m*h + 11. Is k a multiple of 7?
False
Suppose 0 = z - 4*c - 35, -2*z = -5*z - 3*c + 60. Does 14 divide z?
False
Let z(p) = -p**2 + 14*p - 12. Let h = 9 - 6. Suppose -4*w = 5*o - 60, -4*w + h*w + 3*o = 2. Does 14 divide z(w)?
True
Let b be (-3)/6 - 31/(-2). Let n be 8/(3*1/b). Suppose -4*t = -2*d + 52, -t - n = -d - d. Is 6 a factor of d?
True
Let x(r) = -13*r - 41. Does 4 divide x(-5)?
True
Let q = -15 - -14. Is -1*(6/(-1) + q) a multiple of 2?
False
Let c(l) be the third derivative of -1/12*l**5 + 0*l + 1/24*l**4 + 1/60*l**6 + 0 + 5/6*l**3 + 2*l**2. Is 15 a factor of c(4)?
False
Let d(f) = -2*f - 2. Let c be d(-3). Suppose c*r - 549 + 213 = 0. Suppose 3*u - r = -u. Does 14 divide u?
False
Suppose -10 = -4*o + 10. Let j = 47 - o. Suppose 3*r - 54 = -2*t, 4*t = 2*r + 6 - j. Is 13 a factor of r?
False
Let c be 7*1 - (-1 + 3). Let k(v) = -v**3 + 6*v**2 - 5*v - 3. Let g be k(c). Does 5 divide (1 - 12/g) + 0?
True
Suppose 6*q - 2*q = 116. Is q a multiple of 19?
False
Let a = 23 + 41. Is 10 a factor of a?
False
Let w = 63 - -3. Let s = w + -42. Is 12 a factor of s?
True
Let g be 20/(-5) - -24*1. Suppose 3*s = g + 175. Is 13 a factor of s?
True
Let x be -1 - 2 - (3 - 0). Is 12 a factor of (-71)/(-6) - 1/x?
True
Let f be (-6)/15 + 434/10. Let z = -25 + f. Suppose -38 = -v + 3*w - 5*w, 2*w + z = v. Does 14 divide v?
True
Let l be (-3)/4*-2*-2. Let r = -12 - l. Let v(h) = h**2 + 2*h + 3. Is v(r) a multiple of 27?
False
Does 9 divide (-27)/2*56/(-21)?
True
Suppose 5*f = -5*w + 4*w + 58, -44 = -4*f - 2*w. Is f a multiple of 3?
True
Let t(g) = g**2 - g + 6. Let p be t(0). Let i = 24 - p. Does 13 divide i?
False
Suppose 4*b - 6 = 10. Let v = b + 6. Is 8 a factor of v?
False
Suppose -117 = -2*j + 3*x, -2*x - 22 + 191 = 3*j. Is j a multiple of 19?
True
Suppose -5*m + 4*t + 262 = 0, 4*m = -0*m - 3*t + 222. Suppose -6*y + 2*y = 3*f - m, -f = 2*y - 18. Is f a multiple of 6?
True
Suppose -2*t + w = -2*w + 9, -2*t + 2*w = 4. Is t a multiple of 3?
True
Suppose 4*o + v = -v + 190, 5*v = -5*o + 250. Is 15 a factor of o?
True
Let j = -1 - -4. Suppose -j*a - a + 24 = 0. Is 3 a factor of a?
True
Let d(q) = 35*q**2 + 3*q - 1. Does 14 divide d(-1)?
False
Suppose -5*n + 5*w - w + 232 = 0, 3*n - w = 135. Is n a multiple of 19?
False
Suppose n = -6*n + 189. Is 27 a factor of n?
True
Let b = 76 + -46. Let i = -18 + b. Is 12 a factor of i?
True
Suppose 4*l = -26 + 6. Let g be ((-12)/15)/(2/l). Is 16 a factor of g - -5*6*1?
True
Let w = 91 - 52. Let r = w + 13. Is 13 a factor of r?
True
Suppose 0 = 6*y + 52 - 376. Does 27 divide y?
True
Suppose 0*u + u = -p + 73, 357 = 5*p - 3*u. Is 12 a factor of p?
True
Let k be ((-1)/2)/(2/(-200)). Suppose -p = 4*p - k. Does 10 divide p?
True
Let a(s) = -s**2 + 10*s - 3. Let v be a(7). Suppose -q + v = 4*r, 4*q - 88 = -4*r - 4. Does 22 divide q?
True
Let i(w) = 2*w**2 + 5*w + 5. Does 6 divide i(-4)?
False
Let f(i) = -10*i - 3. Let p be f(-5). Let h = p - 33. Does 14 divide h?
True
Suppose 2*i - 267 = -3*w, -3*i + 2*i - 4*w = -136. Is i a multiple of 16?
False
Suppose -4*m - 24 = m + 2*z, -5*m - 45 = -5*z. Is (18 - -3) + m/2 a multiple of 6?
True
Let f = -61 + 52. Let r(k) be the first derivative of k**3/3 + 4*k**2 - 1. Is 4 a factor of r(f)?
False
Suppose -5*n = 5*u - 10 - 30, 0 = n - 3. Suppose -u*i + 11 = 1. Is 3 a factor of 1 - -7 - (0 + i)?
True
Let g(n) be the third derivative of n**5/60 - n**4/24 - 2*n**3/3 + 6*n**2. Is 8 a factor of g(-4)?
True
Suppose 0*c = -3*c + 2*q + 83, -5*q + 155 = 5*c. Suppose a - u - 19 = 0, -3*a + a + c = -5*u. Does 11 divide a?
True
Let y = -2 + -2. Let z = y - -9. Is z a multiple of 2?
False
Let b = 4 + -2. Suppose 3*j + t + b*t = 99, j + 4*t - 48 = 0. Suppose -l = l - j. Is l a multiple of 11?
False
Let w(y) = y**3 + 6*y**2 - 2*y + 7. Let p be w(-6). Let b = 36 - p. Does 11 divide b?
False
Let y be 12 + 2/(0 + 2). Suppose 4*l + 2 = -5*v + 19, 0 = v - 4*l - y. Is 3 a factor of v?
False
Suppose -3*i + 3 = 5*x, -5*x + 8 = -x + i. Suppose 3*a + s - 188 = 0, 2*s = x*a - 2*s - 193. Does 13 divide a?
False
Let v(k) = -4*k - 10. Let x = -11 + 4. Does 6 divide v(x)?
True
Suppose -3*o + 5*o - 48 = 0. Is 7 a factor of o?
False
Let c = 36 - 18. Let n be ((-1)/2)/((-3)/c). Suppose 66 = n*l - 0*l. Does 11 divide l?
True
Let p(j) = -2*j**2 - 7*j - 5. Let v be p(-4). Let i(c) = c**3 + 9*c**2 + c + 13. Let x be i(v). Suppose -b + 75 = x*b. Is 11 a factor of b?
False
Suppose -6*f + 180 = -4*f. Suppose 0 = -q - 3*q - 2*b + f, 3*q - 84 = 4*b. Is 24 a factor of q?
True
Let q = -57 - -135. Is q a multiple of 39?
True
Suppose -1 - 11 = -v. Suppose 0*o - v = -2*o. Suppose 0 = 3*z - 18 - o. Is 4 a factor of z?
True
Let u = -29 - -43. Is u a multiple of 7?
True
Suppose 5*h + 2 - 12 = 0. Suppose p = -2*p - 3*f - 18, 0 = -h*f - 6. Let t(m) = -m**3 - 3*m**2 - 4*m - 4. Is t(p) a multiple of 3?
False
Let i(x) = -84*x**3 + 2*x**2 - x - 2. Is i(-1) a multiple of 15?
False
Suppose 3*q - 6 = 6*q. Let r(j) = 42*j**2. Let t be r(q). Suppose 5*s - 2*n - t = 0, 3*s - 2*s - 5*n - 29 = 0. Is s a multiple of 12?
False
Let m(o) = -o**3 + 3*o**2 + 4*o + 3. Let c be m(4). Suppose -2 = -f, c*h = -h - 3*f + 78. Does 9 divide h?
True
Suppose 0 = 5*u - 5*h - 335, -5*u - 5*h = -u - 250. Does 13 divide u?
True
Suppose -5*u + 2*u = -405. Does 28 divide u?
False
Suppose 0 = -3*j + 5*j + 72. Let u = -25 - j. Is 6 a factor of u?
False
Let z be -7*(1 + (2 - 4)). Suppose z = 2*h - 3. Is (1 - 11/h)*-20 a multiple of 8?
True
Let p = 1 - 1. Suppose -2*y = 4*d - 10, 2*d + 0*d = 4*y. Suppose p = 3*i - d*i - 28. Is i a multiple of 11?
False
Let j = 5 - 3. Let k be (6/j)/((-3)/(-117)). Suppose 3*x + c - k = 2*c, -5*x + 188 = -4*c. Is 16 a factor of x?
False
Let w(q) = -2*q**3 - q**2 - q - 3. Let s be (-3 - 4/(-1))/(-1). Let b = -4 - s. Is 15 a factor of w(b)?
True
Let q(j) = j**2 + 6*j + 24. Does 23 divide q(-13)?
True
Let x be 6/12*(0 + 4). Suppose -3*o + 6 + 6 = 0, -4*r + 68 = 3*o. Suppose 4*u - r = -x. Is u a multiple of 2?
False
Let d(r) = -r**2 + 7*r + 1. Let c be 2/9 - 56/9. Let k be (-4)/c - 26/(-6). Is d(k) a multiple of 11?
True
Let l be 2/(-8) + (-5)/(-4). Let k(r) = -12*r + 3*r + 16*r + 1 + 47*r. Does 20 divide k(l)?
False
Is 38 a factor of (-22)/209 - 8670/(-57)?
True
Suppose -3*n + h = n - 297, 3*h + 299 = 4*n. Is 11 a factor of n?
False
Let n(m) = m**3 + 5*m**2 - 8*m - 3. Let b(o) = o**2 + 2*o. Let p be b(-5). Let u be p*-3*2/15. Is n(u) a multiple of 9?
True
Is (5 + -11 - -3)*176/(-3) a multiple of 25?
False
Suppose -4*x + 37 = -3*x + 3*i, x + 4*i = 38. Is x a multiple of 17?
True
Let c(m) = 4*m**2 - 3. Let x(f) = 9*f**2 + f - 6. Let z(b) = 5*c(b) - 2*x(b). Is 7 a factor of z(4)?
True
Suppose 0 = -3*u + 6*u, 0 = 2*p + 3*u - 22. Does 11 divide p?
True
Suppose 4*k + 64 = 3*w - 0*w, -5*w - 5*k + 130 = 0. Is w a multiple of 12?
True
Suppose 4*f = 14 + 2. Suppose 0 = 2*k - 5*k + 5*a - 55, 4*k - f*a + 76 = 0. Let s = k - -29. Does 9 divide s?
True
Let h = -5 + 5. Let g = 16 - h. Suppose 0 = 2*j - 4*j + g. Is 3 a 