 be (3 - 22/10)/(2/(-5)). Let g(z) = -3*z**3 + 4*z**2 - z - 2. Does 14 divide g(l)?
False
Let u = 113 + 17. Suppose 2*a + u = 4*s - 24, -4*s = -3*a - 159. Suppose -26 = 34*p - s*p. Does 13 divide p?
True
Suppose -10 = c - 8. Let o(v) = 6*v**2 + 1. Does 7 divide o(c)?
False
Let z be (30/(-4))/(2/(-20)). Let b = -39 + z. Suppose -d = 2*d - b. Is 12 a factor of d?
True
Suppose b + 37 = 42, -4*l + 850 = -2*b. Does 4 divide l?
False
Let n = 1995 + -1496. Is 20 a factor of n?
False
Is (6 + 1224/(-84))/(6/(-28)) a multiple of 8?
True
Let n be 12/(5 + -4 + 0). Let s = 16 - n. Suppose -9 = -s*f + 23. Is f a multiple of 2?
True
Let y = 492 - -985. Is 43 a factor of y?
False
Let g(v) = 131*v - 336. Does 19 divide g(3)?
True
Let g be (-174)/(-1) + 2 + 0. Let a = g - 111. Does 32 divide a?
False
Let z be (-14)/(-3)*12/14. Suppose -66 = -z*f - 2*m, 4*f - m - 36 = 3*m. Is f a multiple of 14?
True
Let t be (-1617)/(-105) - (-4)/(-10). Suppose 10 = -m - 4*m. Let o = t - m. Is o a multiple of 17?
True
Let z(l) = -66*l - 46. Let x be z(-11). Suppose 3*m = -5*m + x. Does 18 divide m?
False
Let f(l) = -l**3 - 3*l**2 - 3*l - 1. Let h be f(-2). Let k = h + 4. Suppose 83 - 258 = -k*p. Is p a multiple of 10?
False
Let m = -223 - -475. Does 21 divide m?
True
Let g be (0 + -6)*(5 - 4). Let b(y) = -21*y**3 + 9*y**2 - 5*y - 7. Let k(m) = 20*m**3 - 8*m**2 + 4*m + 6. Let v(j) = g*k(j) - 5*b(j). Is v(-1) a multiple of 8?
True
Suppose 4*j - 3*a - 2*a - 208 = 0, -5*a = 0. Let w = -5 + 8. Suppose 4*o = w*o + j. Is o a multiple of 17?
False
Suppose -4*o + 5*u - 2*u - 187 = 0, -5*o = -u + 231. Let s = 79 + o. Does 3 divide s?
True
Does 60 divide 189 + (-26 - -13) - 8/(-2)?
True
Let r be (17/4 + 0)*20. Suppose 20 - r = -5*c. Is 11 a factor of c?
False
Suppose -2*w - k + 2*k = -698, -1746 = -5*w + 3*k. Does 6 divide w?
True
Let b(j) = j**3 + 13*j**2 - 11*j - 25. Let d be b(-12). Let u = d - 175. Does 20 divide u?
False
Let z be (-21 - -28) + (-3)/1. Suppose 2*s = 4*a + 72, 2*s = a - z*a + 100. Is 11 a factor of s?
True
Let a = 2643 - 1715. Is a a multiple of 29?
True
Let g(u) = u + 2. Let z(p) = p**3 + 13*p**2 - 9*p - 1. Let j(v) = v**2. Let l(t) = 5*j(t) - z(t). Let f be l(-9). Does 3 divide g(f)?
True
Let s(j) = -j**3 - j**2 + 2*j + 2. Let y = 15 - 18. Does 7 divide s(y)?
True
Suppose 3*o = h - 14, 5*h - 2*o - 18 = -0*o. Suppose -4*b - h*b = 0. Suppose 2*g + 3*g - 120 = b. Does 6 divide g?
True
Suppose t = -3*i + 6*t + 46, 5*i + 5*t = 50. Let u be i/(1*-4) - -84. Let l = -53 + u. Does 13 divide l?
False
Let n(x) = x**2 - x + 727. Let f be n(0). Let q = -339 + f. Suppose 7*d = 3*d + q. Is 27 a factor of d?
False
Let l = -62 - -39. Let g = 25 + l. Suppose g = 3*z - 1, 0 = -y - 4*z + 104. Does 20 divide y?
True
Does 15 divide ((-63)/35*-35)/((-1)/(-40))?
True
Let r(f) = -f**2 + f + 35. Suppose -3*i - 10 = 2*h, 5*i - 5 = 4*h + 15. Is r(i) a multiple of 11?
False
Suppose 9 + 12 = 2*b + 5*z, 4*b = -3*z + 21. Suppose -b*g - 4 = -x, -4*x - 4*g - 28 = -92. Does 13 divide x?
True
Is 1268 - (-4 + -5 + 8) a multiple of 47?
True
Let b(g) = g**3 + 19*g**2 - 4*g - 26. Let o(r) = -5*r**3 - 96*r**2 + 21*r + 131. Let f(y) = 11*b(y) + 2*o(y). Is f(-17) a multiple of 10?
True
Let m = -512 + 324. Let f = m - -398. Is 30 a factor of f?
True
Suppose b - 5*b + 20 = 0. Suppose -3*k = -b*k. Suppose -6*j + j = -f - 95, -3*f - 15 = k. Is j a multiple of 9?
True
Let q be 90/(-27) - 1/(-3). Let p(k) = -4*k**3 - 3*k**2 + k + 3. Is p(q) a multiple of 24?
False
Let x(u) = 2*u - 9. Let r be x(5). Let z(q) = 89*q + 3. Is z(r) a multiple of 19?
False
Let v(m) = -m**2 - 9*m - 6. Suppose 33 = -5*a - 2*r - 8, 15 = -a + 3*r. Let y be v(a). Is 6 a factor of (-4)/y - (-156)/9?
True
Let l be -5*(2 + (-52)/20). Suppose l*f - f = -16. Is (-550)/(-40) + (-2)/f a multiple of 4?
False
Let i = 118 + -42. Is i a multiple of 4?
True
Let w(z) = -2*z + 2 + 7*z - 4 + 3. Let f(l) = 14*l + 3. Let d(k) = 6*f(k) - 17*w(k). Is 6 a factor of d(-5)?
True
Let b = 53 + -49. Suppose 414 + 130 = b*n. Is 40 a factor of n?
False
Let i = 279 - -74. Is i a multiple of 15?
False
Let k = 1038 + -1024. Is 5 a factor of k?
False
Let t(m) = 2*m**2 - 14*m + 6. Let n be t(6). Let p be (-1*1)/(3/n). Is (p - 4)*-5 - 0 a multiple of 8?
False
Let u(n) = -17*n + 41. Is 13 a factor of u(-6)?
True
Let p(q) be the first derivative of q**3 + 7*q**2 - 8*q + 6. Does 8 divide p(-8)?
True
Suppose -372 + 7 = -4*t - 5*l, -5*t - 2*l + 435 = 0. Is 50 a factor of t?
False
Suppose 4*h = p - 15, 2*h + 11 = -p + 2. Let y(g) = 341*g + 13. Let s be y(h). Is 7 a factor of 6/14 + s/(-49)?
True
Let x = -2339 - -5241. Does 38 divide x?
False
Let g(p) = p**3 + 9*p**2 - 10. Let f = -3 + -5. Does 20 divide g(f)?
False
Let d(z) = -z**2 + 6*z + 16. Let o be d(8). Suppose o = -7*x + 2*x + 780. Does 26 divide x?
True
Let r = 1325 - -187. Is r a multiple of 42?
True
Let b(k) = 6*k. Let w be b(4). Is (-1056)/(-18)*4/(w/9) a multiple of 22?
True
Suppose 14*d - 3 - 81 = 0. Let j(w) = 2*w**3 - 9*w**2 + 15*w - 2. Does 14 divide j(d)?
True
Suppose -32*g = -29*g. Suppose 4*j - q = 220, g = 4*j - 4*q + 21 - 241. Is 5 a factor of j?
True
Let w = 126 + 74. Is w a multiple of 43?
False
Suppose k = 9 - 5. Suppose -2*j + k*w = -5*j + 71, -w = 3*j - 65. Suppose -123 = -a - 5*x - j, -3*a = 3*x - 306. Does 17 divide a?
True
Suppose -5*f = 2*o - 5*o - 145, 2*f = -4*o + 84. Is 4 a factor of f?
True
Let o = -8 - -168. Does 32 divide o?
True
Let c(w) be the second derivative of 2*w**3/3 + 4*w**2 + 13*w - 1. Let m(n) = 8*n**2 + n. Let u be m(-1). Is c(u) a multiple of 9?
True
Suppose -300*n = -288*n - 37728. Does 24 divide n?
True
Suppose 0 = -2*v + 2, -5*i = 5*v - 5 - 0. Suppose -54 = -3*s - i*s. Does 6 divide s?
True
Let h(x) = x**3 - 3*x**2 - x - 9. Let g = -31 - -36. Is 12 a factor of h(g)?
True
Suppose 2*c + 17 = 5*k, 2*k - 2*c = -4*c + 4. Is 7 a factor of (7 + 35)*k/2?
True
Let d(t) = 25*t + 34. Let g(s) = -38*s - 51. Let r(o) = 7*d(o) + 5*g(o). Is 10 a factor of r(-4)?
False
Let n(s) = s**2 + s + 2. Let y be n(0). Suppose 0 = 2*x + y*b + 36 - 206, 0 = 2*b + 2. Does 17 divide x?
False
Does 2 divide 4 - 8 - 2 - -42?
True
Let h(o) = 799*o**3 + 1. Let n be h(1). Suppose 16 = 82*d - 80*d. Does 27 divide (6/d)/(8/n)?
False
Suppose 0 = -2*b + 41 + 19. Suppose -5*r + b = 90. Let v = r + 34. Is v a multiple of 11?
True
Let d(v) = -2*v**2 - v + 2. Let k be d(-2). Let o be 2*2/k*6. Let b(s) = -s**3 - 7*s**2 - 9*s - 10. Does 6 divide b(o)?
False
Let v be 0 - -41 - (-3 - -7). Let i = v - 62. Let b = -7 - i. Does 6 divide b?
True
Let z = 6 - 10. Let s = 7 - z. Let f = s - 4. Is 3 a factor of f?
False
Let s = 28 - 22. Let v(h) = 2*h**3 + 4*h - 3*h**3 - 6 - h - s + 10*h**2. Is 9 a factor of v(10)?
True
Does 11 divide 8/5*(-105)/(-2) + 4?
True
Let o(j) = 21*j - 39. Let c(l) = -5*l + 10. Let w(i) = -9*c(i) - 2*o(i). Let u be 8/(-56) - -6*38/28. Is w(u) a multiple of 7?
False
Let m(k) = -2*k + 6. Let v be m(6). Does 18 divide ((-405)/v + 0)*8/5?
True
Let m(q) = -17*q**3 - q**2 + 2*q + 3. Does 3 divide m(-1)?
False
Let j = 234 + 378. Does 12 divide j?
True
Let l = -175 - -510. Does 13 divide l?
False
Suppose -32 = 25*g - 1007. Does 39 divide g?
True
Suppose 0 = 3*j - k - 2995, 0 = -j - 3*k + 190 + 825. Is j a multiple of 40?
True
Let d = 1860 - 848. Does 22 divide d?
True
Let x(h) = -h**2 - 5*h - 14. Let n(g) = -2*g**2 - 4*g - 13. Let o(z) = 2*n(z) - 3*x(z). Is o(8) a multiple of 2?
True
Suppose 47113 = 33*j - 16280. Is 17 a factor of j?
True
Let i = -660 + 2350. Is 26 a factor of i?
True
Let f be (2 - 4)*76*1. Let h = f + 260. Suppose 0*n + h = 2*n. Does 12 divide n?
False
Suppose 0 = 2*u + 22 - 6. Let n(b) = -2*b + 6. Let t be n(u). Is 13 a factor of (4 + t)*(-2)/(-4)?
True
Suppose -3*k + 8*k = -5*b + 135, 4*k = 4*b + 84. Suppose v + k = 46. Suppose -v - 12 = -2*p. Is p a multiple of 15?
False
Let s be (13 - 20)*(-2)/7. Let j(k) = s - k + 3 + 20. Does 6 divide j(13)?
True
Suppose -44 = -2*l + 4*h, -2*l - 4 = 2*h - 66. Does 10 divide (-8)/l - 657/(-21)?
False
Let m(q) = 43*q + 4. Suppose 0 = -2*r + 2*v + 16, 6 = 2*r + v - 1. Let f be m(r). Suppose -n = 2*n - f. Is 20 a factor of n?
False
Let j = -602 + 1028. Does 16 divide j?
False
Suppose -5*g - 9 = -3*k + 6, -3*k + 15 = g. Does 13 divide ((-125)/k + 4)*-3?
False
S