Let v(l) = l**3 + 4*l**2 - 5*l. Let f be 4/6*18*(-1)/(-3). Is v(f) a multiple of 12?
True
Let i = 2819 + 1263. Does 13 divide i?
True
Let v = 825 - 332. Is v a multiple of 41?
False
Let j = -588 - -416. Let z = 250 + j. Suppose 5*w + z = 268. Is w a multiple of 19?
True
Suppose -4*l = 4*k - 2*k - 166, 15 = 5*k. Does 36 divide l?
False
Let f(y) = 163*y**3 + 2*y**2 + y. Let k be f(-1). Let x be k/(-4)*112/42. Suppose z + 2*w = x, 3*z = -0*z + 2*w + 364. Is 32 a factor of z?
False
Suppose -194 = 2*f + 3*z, -3*f + z = -8*f - 498. Let a = f - -209. Is 15 a factor of a?
False
Let q = 137 + 79. Does 18 divide q?
True
Is 5 a factor of 2*((-24)/(-4) - -349)?
True
Let f(x) = 53*x - 13. Let h be f(4). Suppose 0 = 4*t + 3*j - h, t + 38 = 4*j + 102. Does 13 divide t?
True
Suppose 0 = 2*w - 6 - 0. Suppose -w*u = 2*u - 10. Suppose 5*q + s = -3*s + 181, u*s + 150 = 4*q. Is 11 a factor of q?
False
Let c be (6/(-4))/(5/(-10)). Suppose -3*r = 4*a - 5*a - 61, -2*r + 26 = c*a. Is r a multiple of 17?
False
Let v = 1194 + -730. Is 58 a factor of v?
True
Suppose n = 4*q + q + 722, 2*q = -n + 736. Is 9 a factor of n?
False
Is (35/4 - -4)*(-2 + 6) a multiple of 2?
False
Let x = 1188 - -53. Is x a multiple of 15?
False
Let x(w) be the first derivative of -w**4/4 + 10*w**3/3 - 9*w**2/2 + 23*w + 21. Does 7 divide x(9)?
False
Suppose -9*o + 20 + 16 = 0. Is o a multiple of 3?
False
Let c(z) = -213*z - 35. Is 22 a factor of c(-1)?
False
Let n(p) = p + 8. Let i be n(-5). Suppose 0*h + h + i*s = 78, -4*h - 3*s + 348 = 0. Is 6 a factor of h?
True
Let v = 80 + 35. Suppose -5*f + 8 + 7 = 0, 5*f + v = 2*q. Is q a multiple of 7?
False
Let q(x) be the third derivative of x**6/60 - 7*x**5/60 + 7*x**4/24 + x**3/3 + 2*x**2. Let f be q(5). Let c = f - 37. Is 15 a factor of c?
True
Let j(v) = v**3 - 9*v**2 + 14*v + 1. Let l be j(7). Is 4 a factor of (-7)/((l - 3)/((-24)/(-6)))?
False
Let y(v) = 38*v - 104. Is y(34) a multiple of 44?
True
Suppose 4*d - 5*n + 819 = 0, 2*n = -5*d - 0*n - 999. Let i be -3 + 1/((-3)/d). Let w = i - 31. Does 12 divide w?
False
Let b(n) = -6*n**3 - 12*n**2 - 9*n - 5. Let z(m) = -5*m**3 - 11*m**2 - 8*m - 4. Let a(y) = 4*b(y) - 5*z(y). Suppose -5*f - 37 + 7 = 0. Is 7 a factor of a(f)?
False
Is 5 a factor of 9/(-21) + (-32628)/(-84)?
False
Let g = 5 - -51. Suppose 0 = -4*a - 4 + g. Is 6 a factor of a?
False
Let a = 178 - 113. Suppose 5*q - 10*q + 14 = -d, 4*d = -16. Suppose -q*v + 199 = a. Does 13 divide v?
False
Let i(l) = -79*l - 156. Is 6 a factor of i(-12)?
True
Suppose 0 = 8*o - 11*o + 267. Let m = o + -56. Is 11 a factor of m?
True
Let s(y) = -y**2. Let h(a) = -21. Let l be (-2)/2*(0 + 1). Let n(j) = l*s(j) - h(j). Does 21 divide n(0)?
True
Let h = -21 + 531. Is h a multiple of 5?
True
Suppose -2*t + t = -10. Suppose 4*p + y = 5*y + 480, -2*y = t. Is 18 a factor of p?
False
Let i(u) = -106*u - 248. Is i(-10) a multiple of 17?
False
Let c(n) = 3*n**3 + 13*n**2 - 13*n + 7. Is c(-5) a multiple of 11?
True
Suppose 4*u = -m + 99, 0 = 3*u - 3*m - 60 - 18. Is u a multiple of 12?
False
Is ((-502)/(-2))/((-7)/(-7)) a multiple of 17?
False
Let g(a) = 273*a**3 - a**2. Let y be g(1). Let t = -134 + y. Does 46 divide t?
True
Let g = -74 + -11. Let t = 121 + g. Does 9 divide t?
True
Let p(f) = -f - 1. Let j be p(9). Let s be 22/j + 4/20. Is 135/7 - s/(-7) a multiple of 14?
False
Let y(o) = -10*o**3 + 14*o + 27. Is 23 a factor of y(-2)?
False
Suppose 15*q - 13*q = 10. Suppose -115 = -q*b + 45. Does 8 divide b?
True
Let n(f) = -3*f + 18. Let v = 100 - 71. Let c = -46 + v. Is 23 a factor of n(c)?
True
Let s(y) = y**2 - 5*y - 3. Let u be s(-3). Suppose -4*z = 0, -4*h + 8*z = 9*z - 12. Let k = u + h. Is k a multiple of 13?
False
Suppose -5*r + 4*p - 2*p = 128, 0 = -4*r + 2*p - 104. Let l = r - -88. Is 8 a factor of l?
True
Let n(v) = -37*v. Let s be n(3). Let p(f) = -f**3 - 10*f**2 + 8*f + 7. Let r be p(-12). Let j = s + r. Is j a multiple of 26?
False
Suppose -35*i = 35*i - 2240. Is 7 a factor of i?
False
Let i(l) = -37*l + 1. Let m(k) = 37*k. Let c(n) = 5*i(n) + 4*m(n). Is c(-1) a multiple of 21?
True
Let f(y) = -85*y + 401. Does 20 divide f(-10)?
False
Suppose 13*a - 2923 = 2927. Does 25 divide a?
True
Suppose 1285 = 5*c - 750. Suppose -3*i + 8*i + w = c, -87 = -i - 3*w. Does 27 divide i?
True
Let x be (((-32)/(-12))/8)/((-1)/6). Is 5 a factor of x/16 + 2824/64 + 1?
True
Let y = -71 - -50. Let n = 89 - y. Does 25 divide n?
False
Suppose 71*d + 109 = 70*d. Let t = -75 - d. Is t a multiple of 7?
False
Suppose 30 = -4*u + 2*u. Let k(m) = m - 10. Let x be k(u). Let c = 37 + x. Does 4 divide c?
True
Suppose -k + 5*y + 208 = 0, -5*k + 0*y + 1124 = 3*y. Is 17 a factor of k?
False
Let x = 14 + -18. Let z = x + 0. Does 11 divide ((-33)/(-6))/((-2)/z)?
True
Suppose 3*x = -3 + 9, 2*c - 3*x - 76 = 0. Is 10 a factor of c?
False
Suppose -22*v = -u - 18*v + 272, 0 = 4*u - 5*v - 1132. Is u a multiple of 32?
True
Suppose -8 = 2*m, -2*m = -a - 0*m + 7. Let b(r) = -66*r + 3. Is 23 a factor of b(a)?
True
Let o = 72 + -64. Suppose 5*g + 108 = o*g. Does 4 divide g?
True
Let s = 13 - 1. Let z be ((-1)/(-3))/(4/s). Is 13/z*(-4 - -6) a multiple of 13?
True
Let q(w) = -3*w. Let o be (18 + -9)/(6/4). Let r be (o/18)/(1/(-9)). Is q(r) a multiple of 4?
False
Suppose -10 = 2*z - 4*z, q - 413 = -5*z. Does 5 divide q?
False
Let m(k) = k**3 + 22*k**2 - 21*k + 5. Is m(-10) a multiple of 21?
False
Let p(b) be the first derivative of 2*b**2 - 11 + 12 + b**2 - 2*b. Does 7 divide p(2)?
False
Let r(y) = -4 + 0*y - 5*y - 66*y**2 + 58*y**2. Let h(g) = -7*g**2 - 4*g - 4. Let l(q) = -6*h(q) + 5*r(q). Is l(-4) a multiple of 10?
True
Suppose 3*x - 19*x = 24336. Does 9 divide (35/40)/(-7) - x/8?
False
Let u be 2*(-1)/(-8) + (-31)/(-4). Suppose -4*z = -2*z - u, -z = v - 96. Is 23 a factor of v?
True
Let h(y) = y**2 + 2*y + 2. Let l be h(-2). Suppose 0 = 3*q + 2*q. Suppose 0 = -l*i - q*i + 12. Is i even?
True
Let i(y) = y**3 + 19*y**2 + 6*y + 26. Let c be i(-18). Suppose -237*u = -c*u + 355. Is 6 a factor of u?
False
Suppose 0 = 3*z - 17 + 32. Let f(u) = 8*u**2 + 2*u - 8. Is f(z) a multiple of 28?
False
Suppose 4*a + 291 = 3*x, 4*a = -a + 4*x - 363. Let p = a + 120. Is 7 a factor of p?
False
Let x = 4325 - 1217. Is x a multiple of 42?
True
Does 15 divide (-12188)/(-28) - (-2 + (-16)/(-7))?
True
Suppose -3*g - 5*i = -1, -5*g - 5*i = -7 + 2. Let v be ((-5)/(20/16))/g. Let x(s) = -18*s - 2. Is x(v) a multiple of 8?
False
Let l(b) = 8*b + 180. Does 14 divide l(13)?
False
Suppose -403*q = -404*q + 2419. Is 59 a factor of q?
True
Let s = 131 + 210. Suppose 5*u + 66 = s. Is 11 a factor of u?
True
Suppose -3*m = 2*k + 2, 5*k - 6 = -5*m - 1. Let w = 323 + -96. Suppose -k*f + 221 = -0*r - 2*r, r = -5*f + w. Is 18 a factor of f?
False
Suppose 0 = 35*u - 20*u - 1080. Is 3 a factor of u?
True
Let t be -5 + 11 + (0 - 1). Suppose 5*v + 2 = -5*g - 3, g - t = 5*v. Does 26 divide 0 + (0 - g) + 52?
True
Let h be (-412)/(-26) + 2/13. Suppose 9 = 5*b - h. Suppose 3*i = -b*a + 25 - 1, 24 = 3*i + 2*a. Is i even?
True
Suppose 3*b - 216 - 507 = 0. Let q = -113 + 26. Let j = q + b. Is j a multiple of 31?
False
Let t(k) = k - 4. Let o be t(4). Suppose o = -4*s - s + 4*v + 41, -5*s = -v - 44. Is s a multiple of 9?
True
Suppose 25*d - 26*d + 6 = 0. Suppose -d*h = -145 + 25. Does 6 divide h?
False
Suppose 4*i + z = -76, -i + z - 16 = 2*z. Let j = -147 - -211. Let u = i + j. Is u a multiple of 10?
False
Suppose m - 2 = 3. Suppose -m*u - 10 = 5*b, -2*u - 9 = -0*b + 3*b. Suppose -2*p + p + u*d = -61, 61 = p + 2*d. Is p a multiple of 17?
False
Suppose 918 = -6*v + 354. Let b = v + 166. Is 9 a factor of b?
True
Let h(x) = -x**2 - 10*x + 16. Suppose -5*u = -26 + 81. Let i be h(u). Suppose 6*g - 8 = i*g. Is 8 a factor of g?
True
Let y(o) = 165*o**2 + 2*o + 3. Let w be y(-1). Suppose 4*i - w = -18. Is 36 a factor of i?
False
Let d = 41 - 38. Suppose -5*r = d*k - 85, 2*k - r + 3*r = 58. Is k a multiple of 7?
False
Suppose 3*c + 5*t + 0*t - 513 = 0, -c + 175 = 3*t. Let l = c + -106. Does 10 divide l?
True
Let u(p) be the first derivative of -2*p + 10*p**2 + 8 + 3*p - 3*p. Does 6 divide u(1)?
True
Let s = -10 - -12. Suppose -3*i = 5*m - 124, 89 = 5*i - m - 155. Suppose -4*q - p + 88 = 6, -s*q + 3*p = -i. Is 11 a factor of q?
False
Is 49 a factor of (0 + (-