de i?
False
Let l = 3 + -1. Suppose 2*s - l = -8. Is 9 a factor of s/(-3) + 1 - -7?
True
Let p be (14/(-2) - -4) + 1. Let l be 2*(p - (-2 + -2)). Suppose 32 + 26 = 2*g - 2*w, 120 = l*g - 5*w. Is g a multiple of 7?
False
Let i(z) = 6*z**2 - 10*z - 2. Is 38 a factor of i(12)?
False
Let m(d) = 94*d**2 - 5*d - 2. Let y be m(-1). Suppose -123 = -r + 3*q, -r = 2*q - y - 41. Is r a multiple of 14?
False
Let t = 24 + -16. Let i = -4 + t. Is -2*(3 - i) - -1 even?
False
Suppose -2*u - y = -174, 23 = 3*u + 5*y - 238. Suppose 65 = 4*h - u. Is h a multiple of 19?
True
Let m be 0/(-3)*(-4 + 3). Suppose 4 + m = -4*o. Does 17 divide o*(1 - 0 - 18)?
True
Let d = -8 + 11. Suppose 4*w - d*o + 2 = 10, 3*o = 0. Suppose w*b - 5*l = 53, -5*b = 2*l - 50 - 126. Is b a multiple of 9?
False
Suppose -2*a = -8*a + 12. Let w be (-6)/8 + 978/24. Suppose b = s - w, -a*s + 7*s - 180 = b. Is s a multiple of 8?
False
Let y = 847 + -504. Is y a multiple of 20?
False
Let a be 1 + 3026/8 - (-1)/(-4). Suppose -t - a = -4*i + i, t = -5*i + 621. Does 25 divide i?
True
Let f(d) be the second derivative of -d**5/20 + 3*d**4/4 - 11*d**3/6 + 11*d**2/2 - 33*d. Does 7 divide f(5)?
True
Let f(x) = -x**3 - 9*x**2 + 11*x + 14. Let a be f(-10). Let y = -63 + 215. Suppose 0*j + y = a*j. Is j a multiple of 22?
False
Let h = 299 - 139. Is 13 a factor of 1 - (3 + -3 - h)?
False
Suppose 4*i + 19 = -0*x - x, -4*x = -i + 25. Let y(c) = 2*c**2 + 8*c - 2. Does 20 divide y(x)?
True
Suppose -4*u - 3*m = -1027, 0 = 3*u - 3*m + m - 766. Does 15 divide u?
False
Suppose 5*s = 4*x + 1928, 0 = -2*x - 2*x - 8. Does 24 divide s?
True
Suppose -8*o - 3*o = -2585. Is o a multiple of 17?
False
Let k = 4 + 129. Let i = k + 27. Is i a multiple of 40?
True
Let r be (-4)/20 + (-105)/(-25). Suppose -2*m = n + 2*m + 13, r*m + 1 = -5*n. Suppose -d + n*g + 6 = 2*d, -4*g = 2*d - 16. Is d a multiple of 2?
True
Let v(f) = -21*f - 75. Is 17 a factor of v(-6)?
True
Suppose -2587 = 50*u - 63*u. Does 7 divide u?
False
Let a(u) = u + 7 - 7 + 0*u + 15. Is a(12) a multiple of 9?
True
Let a = -373 - -1813. Does 96 divide a?
True
Suppose 0 = 2*k - 4*m - 7454, 4245 = 2*k + 3*m - 3244. Does 14 divide k?
False
Suppose -5 + 8 = c. Suppose -2*q + 19 = c*p - 34, -p + 2*q + 15 = 0. Let n = p + 26. Is 11 a factor of n?
False
Suppose 4*z + 3*p - 33 - 26 = 0, 4*z - 58 = -2*p. Let u = 313 + -303. Suppose -z*l = -u*l - 192. Is 12 a factor of l?
True
Suppose 3*j - 7*j + 2*l = 288, -194 = 3*j + 4*l. Does 10 divide 2/(-7) - 2050/j?
False
Suppose -2*i = -m - 1868, 4*i - 3*i + m - 937 = 0. Does 17 divide i?
True
Suppose 4 = 3*p - 20. Let m be (-8)/3*(-12)/p. Suppose -m*v + 32 = -4*f, -5*v + f + 58 = 2*f. Does 10 divide v?
False
Let w(k) = 4*k. Let q be w(8). Let h = q - 21. Is 10 a factor of (-2)/h + (-1344)/(-132)?
True
Let y = -24 + 30. Suppose y*w - 24 = 120. Is w a multiple of 8?
True
Let j = 105 - 77. Suppose 27 = 5*l - 3*k + 141, 0 = l - 2*k + 27. Let y = j - l. Does 11 divide y?
False
Suppose -12 = -8*l + 4*l - t, 4*l + 2*t = 12. Let x = -30 + 47. Suppose -3*c = -l*s - 4*c + x, 0 = -c - 1. Is s a multiple of 6?
True
Let l(r) = -r**2 + 5*r - 3. Let j be l(3). Suppose -j*q + 6 = -q. Suppose 4*h - 48 = -2*x, q*x - 8 = x + 4*h. Does 14 divide x?
True
Let t(c) = -c**3 - 17*c**2 - c - 14. Let z be t(-17). Suppose z*h = 191 - 5. Does 31 divide h?
True
Let o = 313 - 150. Does 22 divide o?
False
Suppose 0 = -0*n + 8*n. Suppose 0 = s - n*s - 3*j, 0 = s + 4*j - 21. Does 7 divide s?
False
Suppose 2*f - 2*u = 2094, -u + 0*u = 3. Does 29 divide f?
True
Let b = 15 - -6. Let r = b + -5. Suppose -4*g - r = 0, -5*g + 14 + 50 = 2*w. Is 14 a factor of w?
True
Let c(h) = -3*h - 2. Let x be c(-2). Suppose z - 8 + x = 0. Suppose 0 = z*o - 32 - 0. Does 6 divide o?
False
Let y(t) = t**2 + 5*t + 3. Let a(v) = -v**2 - 7*v - 3. Let m be a(-4). Is 18 a factor of y(m)?
False
Let y(h) = 29*h - 21. Is y(1) a multiple of 5?
False
Suppose 3410 = 17*h - 2999. Is h a multiple of 9?
False
Let y(d) = -d**3 - 5*d**2 - 4*d - 1. Let b = -5 + 1. Let m be y(b). Does 29 divide (m/2)/(6/(-456))?
False
Suppose 0 = 1102*f - 1103*f + 792. Is f a multiple of 72?
True
Suppose -7712 = 3*r - 11*r. Suppose o - r = -3*o. Is o a multiple of 9?
False
Suppose 3*u = 4*h + 867, 0 = u - 4*h + 70 - 367. Suppose -u = -42*f + 37*f. Is 5 a factor of f?
False
Let i(m) be the first derivative of m**4/4 + 19*m**3/3 - 11*m**2 + 17*m - 25. Is 9 a factor of i(-20)?
False
Is 18 a factor of 45*(6/8 + 3016/160)?
True
Does 4 divide 12/(-36) - 5/((-15)/2638)?
False
Suppose 4*a - 2*a = 278. Let t = a - 94. Is 15 a factor of t?
True
Suppose -4*c + 2*h + 2350 = -0*c, -1166 = -2*c + 4*h. Does 14 divide c?
False
Suppose -4*g - 4*p = 0, 2*g - g = 3*p + 16. Let f(r) = -r**3 + r**2 + 7*r - 2. Let c be f(g). Let m = 12 - c. Is m a multiple of 14?
False
Does 27 divide (-4)/(-6)*(-20556)/(-24)?
False
Let p(i) = 3*i**3 - 6*i**2 + 6*i + 8. Let n(y) = -2*y**3 + 6*y**2 - 7*y - 8. Let m(x) = -4*n(x) - 3*p(x). Let h be -10 + 3 + (-1 - 0). Is 28 a factor of m(h)?
True
Suppose -x - 4 = -4*h + 8, 0 = 5*x + 2*h - 28. Suppose x*s - 300 = -s. Is s a multiple of 30?
True
Suppose i - 3*v - 11 = 0, 3*i + 3*v - 25 = 68. Let t be 2 + -3 - (i - -3). Let b = t - -50. Is 6 a factor of b?
False
Suppose -3*q - 8 = 2*g, -3*g + q + 18 = -2*q. Suppose 3*d + 1 = 5*k - 8, 4*k = g*d + 8. Suppose d*v - 3*m = 50, 2*v - 76 = -v + 4*m. Does 14 divide v?
True
Suppose -2 = -10*f + 9*f. Let m(p) = p**3 - 5*p**2 + 4*p + 4. Let g be m(4). Suppose 22 - f = g*a. Is 3 a factor of a?
False
Suppose 17*f = 2545 + 7417. Does 29 divide f?
False
Does 11 divide 4618/6 - (-4)/(-6)?
False
Let p(n) = n + 7. Let u be p(-5). Let c(q) = 2*q**u - 3*q - 4*q + 7 - 3. Is 14 a factor of c(6)?
False
Suppose 0 = 3*y + 4*k - 120, 4*y - 160 = 4*k - k. Let c = 50 - y. Is c even?
True
Let u(s) = 2*s + 106. Is 70 a factor of u(-18)?
True
Let h = 133 + -60. Suppose -2*m - h = 3*n, -3*n = n + 20. Let j = 27 - m. Is 14 a factor of j?
True
Let g = 260 - -203. Is g a multiple of 9?
False
Suppose 0 = -u - 1, 0*u = -4*z - 2*u - 22. Is 21 a factor of (-6)/(-15) + (-208)/z?
True
Does 16 divide (-4550)/(-525)*(-1)/((-2)/96)?
True
Let d(x) = -x - 10. Let b be d(-7). Let g = 6 + b. Suppose 0 = -g*t - k + 35, 0 = t + k + k - 20. Does 4 divide t?
False
Let s = -531 - -596. Does 2 divide s?
False
Suppose 0 = 8*y - 38852 + 10948. Is y a multiple of 20?
False
Let s(l) = 4*l - 48. Let g be s(15). Let j(c) = c**2 + 6*c - 34. Does 14 divide j(g)?
True
Let d be (63/15)/3*5. Suppose d + 25 = 2*s. Does 2 divide s?
True
Let n(i) = -672*i + 735. Let y(w) = -42*w + 46. Let p(a) = 3*n(a) - 49*y(a). Does 47 divide p(9)?
True
Suppose -11*r + 3*r = 2272. Let p = r - 18. Is 25 a factor of (-5)/15 + p/(-6)?
True
Suppose 32*a - 39*a = -9401. Is a a multiple of 27?
False
Suppose -7*s + 33 = -51. Is (s/8)/((-9)/(-132)) a multiple of 5?
False
Let a be (2 + 2)*(-3 - (-20)/(-8)). Is 9528/132 + -1*(-4)/a a multiple of 11?
False
Let d = -203 - -373. Does 13 divide d?
False
Let l be 1 + 3 + 0 + 278/1. Suppose -z + l = z. Does 20 divide z?
False
Let n = 57 + -43. Does 4 divide n - 0 - (2 + 0)?
True
Let y(r) = -r**3 + 16*r**2 + 9*r - 11. Does 20 divide y(15)?
False
Suppose -4*k - 2*b - 3*b = -1115, -k + 279 = b. Let q be (k/21)/(4/6). Suppose -5*x + 4*x + q = 0. Is x a multiple of 11?
False
Let b(h) = h**3 + 5*h**2 - 6*h + 4. Let p be b(-6). Suppose -p*n - 3 = -83. Suppose -s + 0*d = 5*d - 93, -5*d = -n. Is s a multiple of 18?
False
Is (-2)/(-5)*-1 - 54509/(-35) a multiple of 20?
False
Let r(b) = b**3 - 5*b**2 - 4*b + 11. Let a be r(6). Is ((-14)/(-4) - 3)*4*a a multiple of 5?
False
Let h(t) = -t + 14. Let n be h(10). Suppose -n*j - j = 5, -g - 67 = 4*j. Let l = g + 106. Does 14 divide l?
False
Let s(m) = 10*m**2 - 4*m - 19. Does 17 divide s(-5)?
False
Let o be 5*((-48)/(-15) + -2). Let g(j) = j**2 - 20. Is g(o) a multiple of 4?
True
Suppose 0 = 21*t + 50*t - 305513. Is t a multiple of 13?
True
Suppose 213 = 2*n + 313. Is (n/40)/((-2)/144) a multiple of 45?
True
Let q(x) = -x**3 - x**2 + 2*x - 6. Let h be q(-3). Suppose 238 - 1102 = -h*p. Is 9 a factor of p?
True
Let c(j) = -4*j**3 - 3*j**2 + 6*j. Let b be c(-6). Suppose r + b = 10*r. Is r a multiple of 16?
True
Suppose -i = -d - d + 2, 0 = 4*i - d - 6. Suppose -140 = i*q + 3*q. L