Let k = -56 - z. Is 31 a factor of k?
False
Let x = -30 + 31. Suppose 0 = l + x - 43. Let p = -12 + l. Is p a multiple of 30?
True
Let w be (-227)/(-5) - 4/10. Let y be (-3 - -9 - 7) + 4. Suppose -4*p = -y*p - w. Does 15 divide p?
True
Let n be (2 + -1)/1*-3. Let i be (-12)/(-8)*(n + 1). Does 10 divide 1 + -4 + (-69)/i?
True
Let x(t) = t**2 + 5*t - 15. Let h(j) = j**3 - 6*j**2 - 10*j + 14. Let p be h(7). Let a be x(p). Let y = 11 + a. Is 5 a factor of y?
True
Suppose -3*a + 5*a + 3*n - 884 = 0, a + 3*n = 448. Is a a multiple of 10?
False
Let f be 6/2 - 9*(-10)/(-45). Suppose r + 2 = 1. Is 25 + r + (f - 2) a multiple of 13?
False
Suppose 2*n - 6 = -c - 4, 0 = -2*n + 4. Suppose 0 = -5*o + 34 + 46. Let s = c + o. Is 6 a factor of s?
False
Suppose -5*b = 9*s - 12*s - 9840, 0 = 2*s. Does 24 divide b?
True
Let j(w) = 17*w + 214. Is 14 a factor of j(-7)?
False
Let v(j) = -45*j + 4*j**3 + 1 - 3*j**3 + 3 - 4*j**2 + 43*j. Is 3 a factor of v(5)?
False
Let p be 662/18 + 14/63. Let s = p - 23. Is 14 a factor of s?
True
Suppose 6*m - 455 + 137 = 0. Let g = 32 + m. Is 22 a factor of g?
False
Let y(o) = -o + 2. Let h be y(2). Suppose h = -x + 6 + 1. Let v = 26 + x. Is 11 a factor of v?
True
Let h = 2315 + -1379. Is h a multiple of 24?
True
Suppose 0 = 6*u - 5*u + 1. Let a be (u + 4)*(3 - 2). Is 9 a factor of 16 + 1/(a + -2)?
False
Let k(t) = 27*t**3 - t**2 - t + 2. Let p be k(1). Suppose 3*g - p = 18. Does 5 divide g?
True
Suppose -4*n + q + 3139 = -2*q, 3*n + 5*q - 2347 = 0. Is ((-12)/14)/((-16)/n) a multiple of 12?
False
Let b be (-10)/(-3 - 2) - -2. Suppose 21 = b*g - 4*v - 267, g = -3*v + 64. Is 23 a factor of g?
False
Let j be 4 - 5 - (-2 + -1). Suppose -2*n + 0 = -j, -3*q + 16 = 4*n. Suppose 0 = 5*l + 15, -q*s + s = -4*l - 96. Does 28 divide s?
True
Suppose -g - 2*o - o = -21, -5*g + 29 = -4*o. Suppose -g*c + 12 = -10*c. Is 0 + 6 + c/4 even?
False
Let w(r) = -r**3 - 9*r**2 - 3*r + 4. Let n be w(-5). Let d(m) = -m**3 + 11*m**2 - 24*m + 5. Let q be d(9). Let k = q - n. Is k a multiple of 7?
False
Suppose -4*i - v + 1759 = 0, -3*i + 4*v + 1457 = 133. Does 22 divide i?
True
Let d = 197 + 26. Does 13 divide d?
False
Suppose 25 = 8*s - 3*s. Suppose s*l - 3*l - 32 = 0. Is l a multiple of 16?
True
Let x = 21 - 29. Let p be 350/40 - (-6)/x. Suppose -356 = -p*o + 4*o. Does 14 divide o?
False
Let j be 6 + (1 + 3 - 5). Let f = -125 + 215. Suppose -n - j*l = -f, n + 3*l = 4*n - 198. Is n a multiple of 24?
False
Suppose 4*a - 5*f - 1835 = 0, 7*a - 12*a + 2297 = -3*f. Is a a multiple of 37?
False
Suppose h + 5*x - 12 = -3*h, -x = -h + 3. Suppose -t + r + 40 - h = 0, -t = r - 29. Let o = 4 + t. Is 12 a factor of o?
False
Suppose 2*d = -4, d = 6*z - 11*z + 1563. Is z a multiple of 63?
False
Suppose -x = 4, 5*q + 12 = -5*x + 2*x. Suppose -2*c + 104 + 22 = q. Is c a multiple of 5?
False
Let q = -7 - -8. Let o be q/(-2)*(-28 + -8). Does 8 divide (-4)/(2 - 39/o)?
True
Let r = -38 + 60. Suppose -2*g + 4*c + 26 = -30, 0 = -g + 5*c + r. Does 8 divide g?
True
Let z(q) = -2*q**2 - 25*q + 19. Let j be z(-14). Let r = 63 + -97. Let n = j - r. Is n a multiple of 11?
True
Suppose -8*p - 45 = -3*p + 5*z, 3*z = 2*p + 3. Does 9 divide 21 - (1 + 3/p)*0?
False
Let c(b) = 64*b**2 - 3*b - 1. Is c(-1) a multiple of 8?
False
Let l be 1/(-2*1/26). Let u = l - -14. Does 9 divide ((-1)/u)/(4/(-108))?
True
Suppose -5*m + 3*m + 2 = -3*d, 5*d - 4*m + 4 = 0. Suppose 13 = 5*w - 2*y - 4, d = w - 4*y + 11. Does 5 divide w?
True
Let x(s) = -38*s**2 - 7*s - 5. Let l be x(-2). Let u = -85 - l. Is 18 a factor of u?
False
Let y(x) = 9*x**2 - 3. Let w be 32/(-112) - (-32)/14. Is y(w) a multiple of 7?
False
Suppose 1 - 5 = m. Let l = m + -1. Let b(i) = i**3 + 6*i**2 + i - 2. Does 6 divide b(l)?
True
Let z = 34 - 30. Does 25 divide 108 - (z + 0 + -4)?
False
Suppose 43*c - 39*c = 12. Suppose 3*v + 153 = c*p, 0*p - 132 = -3*p - 4*v. Is p a multiple of 24?
True
Suppose -2*v - 40 = 2*j, 0 = 5*v + 2*j - j + 84. Let y = 153 + v. Does 14 divide y?
False
Suppose 3432 = 9*u + 4*u. Is u a multiple of 11?
True
Is 8 a factor of 2/20 - (-620308)/520?
False
Suppose -36 = 2*u + 4*u. Is 39 a factor of (224/35)/(u/(-105))?
False
Suppose -2*f + 4*g - 2*g + 60 = 0, 3*g - 110 = -5*f. Suppose 816 = 31*u - f*u. Is 8 a factor of u?
True
Let s(g) = -22*g - 7. Let c be s(-4). Suppose c = -0*r + 3*r. Is 20 a factor of r?
False
Suppose 4*p = -2*r + 254, p - 47 = 2*r + 9. Let u = p + 17. Is 13 a factor of u?
False
Suppose 0 = -3*i + 30 - 12. Suppose -i = 4*g - 7*g. Let p(s) = 2*s**3 - s**2 + s + 2. Is 8 a factor of p(g)?
True
Suppose -p + 30*p - 1508 = 0. Does 3 divide p?
False
Let t be (-10)/2 - (9 + -5). Is t/3*(-9 + 6) a multiple of 7?
False
Let w(v) = v**3 - 5*v**2 - 3*v + 7. Let b be w(5). Let m = b + 8. Suppose -18 = -2*d - m*d. Is d a multiple of 8?
False
Is 30 a factor of ((-4)/(-2) - 18)/(78/(-1755))?
True
Let z(t) be the second derivative of 7*t**4/12 + t**3/2 + 5*t**2/2 - 32*t. Does 39 divide z(5)?
True
Let x(m) = -6*m + 118. Does 8 divide x(-7)?
True
Suppose 0 = 5*z - c - c, -z - 5*c = 0. Suppose 4*b - i + 4*i - 632 = z, 2*b + 5*i - 302 = 0. Is b a multiple of 7?
True
Let a = 151 - 13. Let w = -86 + a. Is 13 a factor of w?
True
Let y(m) = 0*m**2 - m**2 + 10*m + 0*m**2 - 1. Let s = 11 - 2. Is 3 a factor of y(s)?
False
Suppose -14 = -7*y + 14. Let h = y + 38. Does 8 divide h?
False
Suppose 0 = 1525*u - 1529*u + 1344. Is u a multiple of 28?
True
Let a(z) be the third derivative of z**4/24 - 4*z**2. Let r be a(3). Let n = r + 10. Does 6 divide n?
False
Suppose 42*p - 57*p = -10335. Does 13 divide p?
True
Let f(i) be the third derivative of i**8/20160 - i**7/2520 + i**6/180 + 7*i**5/60 - 2*i**2. Let o(v) be the third derivative of f(v). Is 6 a factor of o(4)?
True
Let z(b) = -22*b + b + 4 - b. Let p(j) = j**2 - 16*j + 62. Let q be p(8). Is z(q) a multiple of 16?
True
Let u = -104 - -236. Suppose -5*q + u + 135 = 4*j, -4*j + 5*q = -317. Does 22 divide j?
False
Let t = 22 - 20. Suppose -182 + 50 = -t*l. Does 7 divide l?
False
Suppose -4*o - n + 3*n = 184, 5*n = 4*o + 172. Let p = -31 - o. Suppose -t + 1 = -4*u - 16, -3*u + p = t. Does 10 divide t?
False
Is 5 + (66 - (-20)/5) a multiple of 3?
True
Suppose 4*i - 3*w - 32 = 0, 5*i + 2*w - 17 = -0*w. Suppose i*p - 157 = 8. Is 11 a factor of p?
True
Suppose 2*p - 19 = 5*d, -4*p + 0*d = 4*d + 4. Let f = 3 + p. Suppose 0 = -z + 4, 27 + 13 = 4*c - f*z. Does 15 divide c?
True
Suppose j - 102 = 2*j. Let u = 0 - j. Does 31 divide u?
False
Suppose 4*n - 2523 = -3*u, 0 = -n - 3*u + 458 + 184. Is 11 a factor of n?
True
Let i(a) = -13*a**3 + a**2 + 5*a + 7. Is 14 a factor of i(-2)?
False
Let l = 29 - 24. Suppose 0 = -l*t - 152 + 7. Let b = 88 + t. Is b a multiple of 22?
False
Suppose 2*j = 6*q - 4*q + 14, 0 = j - 3*q - 15. Suppose 0 = j*y + 29 - 5. Is (-1)/(2/y) - -92 a multiple of 12?
True
Let m be (-8)/(-6) + (-6)/(-9). Let q be (53 - m/(-2)) + -3. Suppose 2*d = 5*k - 33 - q, -4*d + 66 = 3*k. Is k a multiple of 9?
True
Suppose -2*q - 6*q = -24. Is 12 a factor of (2*15/(-10))/(q/(-69))?
False
Let y(t) = t**3 - 8*t**2 + 6*t + 10. Let p be y(7). Suppose p*u = -5*v + 171, -5*u - v = -0*u - 285. Is u a multiple of 15?
False
Let d = -167 + 303. Let s = -54 + d. Suppose 5*y - 6*n = -2*n + s, 0 = 5*y + 4*n - 58. Is y a multiple of 5?
False
Let d(s) = -s**2 - 41*s + 248. Is 10 a factor of d(-38)?
False
Let o be 45/10 - 1/(-2). Suppose -o*v = -4*b + 284, 5*b + v - 388 = -v. Let u = b - 40. Does 12 divide u?
True
Let m(q) be the second derivative of -q**4/12 - 17*q**3/6 + 19*q**2/2 + 5*q. Does 19 divide m(-11)?
False
Let a(v) be the second derivative of 7*v**3/6 - 15*v**2 - 15*v. Is 11 a factor of a(9)?
True
Suppose -4*d = -3 - 5. Suppose -3*j + d*z + 2*z + 17 = 0, 2*j + 2*z + 12 = 0. Is 12 a factor of (-274)/(-8) - j/(-4)?
False
Let v(j) = -5*j**3 - 11*j + 6. Let o(s) = 5*s**3 + 11*s - 6. Let w(t) = 3*o(t) + 2*v(t). Does 18 divide w(3)?
True
Let l(p) be the second derivative of 1/6*p**3 + 0 + p - 7/12*p**4 + 1/20*p**5 + 7/2*p**2. Is 8 a factor of l(7)?
False
Let w = -76 - -94. Is w a multiple of 11?
False
Suppose -3*v + 114 = 18. Does 2 divide v?
True
Suppose u = 491 - 334. Is u a multiple of 21?
False
Let r = -11 - -13. Suppose 0 = -3*m + 4*s + 21, 5*m - 22 - 13 = -r*s. Let u(i) = i**3 - 7*i**2 + 8