q = -13 + 237. Does 7 divide q?
True
Let v(c) = c**3 + 15*c**2 + 11*c + 12. Suppose 3*n = 3*y - 1 - 2, 4*y = -4*n - 28. Let u be -15 + ((-6)/y - 1). Is v(u) a multiple of 8?
False
Suppose -404 - 4096 = -15*c. Does 3 divide c?
True
Let v(t) be the third derivative of t**6/120 - t**5/60 - t**4/24 - 5*t**3/6 - 30*t**2. Does 18 divide v(5)?
True
Suppose 2*h - 7*g + 6*g - 347 = 0, -4*h = -5*g - 691. Is 6 a factor of h?
True
Let f be 0 + 2300/35 + (-4)/(-14). Let t = f - 57. Is t a multiple of 8?
False
Does 36 divide 3/(1/3 - (-87754)/(-264828))?
False
Let u(a) = 11 - 4 - 287*a**3 - 21*a**3 - 4*a - a**2 - 8. Is u(-1) a multiple of 45?
False
Let w(f) = -62*f - 2. Let r be w(1). Let u be (-57)/(-4)*(2 + 6). Let m = u + r. Is 28 a factor of m?
False
Let m(g) = g**3 + 5*g**2 + 2*g. Let q be m(-5). Let w = q + 13. Suppose 8 = w*p - p. Is 3 a factor of p?
False
Suppose 4*q + 3 = 5*t, -2*t - 8 = 2*q - 20. Let z(s) = -2 + 0 + 0 + t*s**2 + 4*s + s. Is z(3) a multiple of 10?
True
Is 16 a factor of 202 + 0 - (-6 + 0)?
True
Let f(c) = -c - 8. Let k be f(0). Is 11 a factor of (-28)/k*16 + -1?
True
Suppose -2*f - 4*f = 330. Let n = 99 + f. Suppose -248 + n = -3*y. Is 34 a factor of y?
True
Suppose 5*i - 4*z = -163 + 42, -5*i + z = 124. Let w be (i/125)/((-1)/10). Suppose p + w = 19. Is 15 a factor of p?
False
Does 27 divide (3285/(-75))/(42/(-20) - -2)?
False
Let c(n) = -38 - 2*n - 27 + n + 55. Let a be c(-10). Suppose 0*d - 77 = -5*j - d, a = -5*d - 15. Is j a multiple of 10?
False
Suppose -105*o = -118*o + 2847. Does 5 divide o?
False
Let c(y) = -19*y**3 + y**2 - 2*y - 4. Let a(r) = 18*r**3 + 2*r + 3. Let u(v) = -3*a(v) - 2*c(v). Does 15 divide u(-1)?
True
Suppose 4 = -2*p - 3*a + 1, 5*p - 30 = 5*a. Suppose 4*t = -p*b + 122, b = -3*b - 3*t + 165. Does 3 divide b?
True
Is 55 a factor of (1100 - 6) + 6/(2 + -4)?
False
Suppose 8*y = 7*y. Suppose -3*o - 16 + 148 = y. Does 22 divide o?
True
Let v(l) = -l**2 + 6*l - 5. Let z be v(4). Suppose z*u - 177 = -3*f, 0 = -u + 3*f + 25 + 22. Does 7 divide u?
True
Suppose -7*p + 168 + 112 = 0. Let a = 9 + p. Is a a multiple of 7?
True
Let o(g) = g + 15. Let k be o(7). Is 2/4 + 429/k a multiple of 7?
False
Let y = -23 - -10. Let t = 61 - y. Is t a multiple of 37?
True
Suppose 4*o = -4*q - 8, -o - 22 = -q + 4*o. Suppose q*z + 2*a - 90 = 0, 2*z - 4*a = -2*a + 106. Suppose 5*t - z = 221. Is 27 a factor of t?
True
Suppose 5*d - 14 + 64 = 0. Let b = d + 16. Suppose -b*g + 2*g + 24 = 0. Does 3 divide g?
True
Suppose 10598 = 91*a - 77*a. Is a a multiple of 7?
False
Let q = -59 - -126. Let z = q - 52. Does 5 divide z?
True
Let x(g) = 2*g**3 + 10*g**2 - 21*g - 11. Does 7 divide x(6)?
False
Let m = -27 - -13. Does 7 divide (6 - 0)/((-4)/m)?
True
Let u(q) = 37*q**2 - 2*q + 2. Let w = 0 - -15. Suppose -a = -2*k - 3*a - 6, 3*k - w = 3*a. Is u(k) a multiple of 16?
False
Suppose 0 = -3*l - 4*a + 1532, 4*l - 2*l - 1023 = -3*a. Is 7 a factor of l?
True
Let n(c) = 242*c - 150. Does 53 divide n(5)?
True
Suppose 0*b = b. Suppose 2*c - 4*c + 8 = b. Suppose h = -3*a + 42, c*a + 5 = -a. Does 22 divide h?
False
Suppose 3*p + p - v - 11 = 0, -3*p = -4*v - 5. Suppose p*w - 97 - 80 = 0. Let i = w - 14. Is i a multiple of 15?
True
Suppose 0 = -6*q + 51 + 573. Is 36 a factor of q?
False
Let j(b) = b**3 - 13*b**2 + 33*b + 2. Let k be j(9). Suppose 3*x = -0*x + 183. Let d = k + x. Does 21 divide d?
False
Let g = -91 - -88. Let v(r) = -8*r - 5. Does 19 divide v(g)?
True
Is -2 + 2952 - 1/(2 + -1) a multiple of 14?
False
Let r(b) = -134*b - 234. Does 9 divide r(-9)?
True
Let f = 679 - -2393. Is 8 a factor of f?
True
Suppose -4 = 2*x + 3*a + 4, -4*x - 4*a - 8 = 0. Suppose 4*d - 202 = d + 4*o, 286 = 4*d - x*o. Suppose 0 = -3*g + d + 205. Is 31 a factor of g?
True
Let f = 20 - 15. Suppose -f*t = t - 60. Suppose -3*h = -2*h - 2, 3*j - h = t. Does 2 divide j?
True
Suppose 4*q = -8, 5*i - 28 = 5*q - q. Suppose 0 = i*v - 50 - 42. Does 23 divide v?
True
Suppose 5*k - 4*k - 43 = -4*f, -2*k + 5*f + 21 = 0. Let o = 9 - k. Is 15 a factor of 6/(-21) + (-214)/o?
True
Let j = 866 + -434. Does 36 divide j?
True
Let q(d) be the first derivative of 3*d**2/2 + 7*d - 1. Let t be q(4). Let z = t - 8. Is 11 a factor of z?
True
Let d = -70 + 50. Let c(r) = -r**2 - 3*r + 4. Let j be c(-6). Let w = j - d. Is w a multiple of 6?
True
Suppose -19 = -2*b + 4*y - 3, -42 = -4*b + 3*y. Let s = 58 - 104. Does 7 divide s/(-6) + (-8)/b?
True
Suppose -h - 5*n + 238 = 0, 4*h + n = 269 + 683. Is 13 a factor of h?
False
Let a(v) = v + 3*v - 5 + 0. Let n be a(-4). Does 8 divide (7/(n/24))/(-1)?
True
Let c(u) = -7*u**3 + 4*u**2 - 6. Is c(-3) even?
False
Is 758/5 - (-3)/(-5) a multiple of 5?
False
Let a(i) = -i**3 + 5*i**2 - i + 4. Let j(p) = p - 2. Let s(d) = -d + 1. Let k be s(-5). Let o be j(k). Is 9 a factor of a(o)?
False
Suppose -6*v = 21*v - 14553. Is v a multiple of 8?
False
Let d(c) = 6*c**2 + 14*c - 237. Is 27 a factor of d(12)?
False
Let z be 2*1*70/28. Suppose -57 - 8 = -5*n + l, 4*n = -z*l + 23. Let t = 30 - n. Is 6 a factor of t?
True
Let c(w) = 124*w + 86. Is c(8) a multiple of 14?
True
Let m(y) = 25*y**2 + 10*y - 20. Is 60 a factor of m(-8)?
True
Let h(v) = -11*v**3 + v**2 - v - 1. Let f = 3 - 1. Suppose 1 = -3*g - f. Is 5 a factor of h(g)?
False
Suppose 34 = 15*r + 4. Suppose 0 = -0*q + 4*q + y - 689, -q + 167 = r*y. Is 50 a factor of q?
False
Is 16/(-120) + (-5374)/(-30) a multiple of 9?
False
Let r(w) = 50*w - 1. Suppose -11*o + 13*o = 4. Does 11 divide r(o)?
True
Suppose 60 = 5*s + 40. Suppose -n = s*n - 345. Is 23 a factor of n?
True
Suppose 12 = -3*c + 2*c. Let w be (-3)/c - (-39)/(-12). Does 4 divide (6 - -3 - w)*1?
True
Let w = -557 - -999. Is 26 a factor of w?
True
Let s(q) = 49*q + 82. Is 18 a factor of s(38)?
True
Let n(r) = -203*r**3 - 7*r**2 + 8*r + 1. Does 93 divide n(-2)?
True
Let t(v) = -7*v**3 + 14*v**2 + 25*v - 2. Let j(n) = 4*n**3 - 7*n**2 - 13*n + 1. Let y(d) = -5*j(d) - 3*t(d). Let k be y(7). Let m = 97 + k. Is 8 a factor of m?
False
Let r be 162/(-12)*10/(-3). Let i = r + 6. Is i a multiple of 5?
False
Suppose -y + 492 = 4*o - 824, -3*o - 3*y = -978. Is o a multiple of 33?
True
Suppose -z = 4*j - 124, j + 2*j - 110 = -5*z. Is j a multiple of 30?
True
Let a(p) = 2*p - 6. Let h(c) be the first derivative of c**4/4 - c**3 - 3*c**2/2 + c + 1. Let q be h(4). Is a(q) a multiple of 3?
False
Suppose 3*v = -3*y + 3 - 0, v - 5*y - 13 = 0. Let z = v - -9. Does 15 divide 9*4/z - -72?
True
Let y(c) = -6*c**2 - 10*c + 4 - c**3 - 2*c**2 + 12*c. Let f be y(-8). Let s = f + 64. Is s a multiple of 13?
True
Let f(v) be the third derivative of v**6/120 - 2*v**5/15 - v**4/4 - 2*v**3 - 2*v**2. Let b be f(9). Let x = b - 12. Is 3 a factor of x?
True
Suppose -256*u = -279*u + 5175. Does 3 divide u?
True
Let n = -11 - -4. Let c = 6 + n. Let g(v) = -6*v - 1. Does 5 divide g(c)?
True
Suppose 0 = 5*g + 10, 5*g + 15 + 31 = 4*z. Does 9 divide z?
True
Suppose 2*t + 7 + 5 = 0. Is 855/t*(-28)/35 a multiple of 14?
False
Let x be (-1 - -4)/(-2 + (-363)/(-186)). Is (x/(-8) + -1)*40 a multiple of 18?
True
Is 17 a factor of (7 - (8 + 2)) + 1005?
False
Suppose -5*i = -25, -4*z = -2*z - i + 11. Suppose -y = -2*j - 5, 3*j + 3*y + 37 = 7. Let b = z - j. Is b a multiple of 2?
True
Suppose 7 = 5*s - 3. Let a be ((-42)/(-49))/(s/14). Suppose -98 = -2*o - j, -a*o + 3*j = -o - 256. Does 10 divide o?
True
Let a(v) = -10*v + 9. Let r(n) = -n + 1. Let g(d) = 6*a(d) - 42*r(d). Let z be g(-5). Suppose 2*l + z = 4*l. Is l a multiple of 17?
True
Let w be 5/(5/(-3)) + 0. Let m(c) = 11*c + 3. Let y(z) = -21*z - 6. Let i(r) = w*y(r) - 5*m(r). Is 7 a factor of i(3)?
False
Let w = 115 - 49. Does 6 divide w?
True
Suppose -26 = -2*m + 22. Let s be (-220)/(-18) - (-2)/(-9). Let d = m - s. Is d a multiple of 10?
False
Let l(u) = -u**3 + 2*u**2 - u + 153. Is 12 a factor of l(0)?
False
Let t(y) = 20*y**2 - 56*y - 18. Let f(g) = -7*g**2 + 19*g + 6. Let o(c) = -17*f(c) - 6*t(c). Let r be 3 + 11/2 + (-6)/12. Does 21 divide o(r)?
False
Let r = 2253 - -169. Is 7 a factor of r?
True
Let r(h) = h**2 - 8*h + 10. Let b be r(7). Suppose 0 = -b*p - s - 0*s + 27, 15 = -5*s. Is ((-15)/(-25))/(1/p) a multiple of 6?
True
Is 38 a factor of 4*(-97)/6*(-3 - 6)?
False
Let x(n) = -n - 6. Let k be x(-12). Let y = 14 + k. Is 20 a factor of y?
Tr