*g - 4. Does 2 divide w(m)?
True
Does 21 divide 392 + 0/(0 + 4)?
False
Let l = -259 + 350. Does 7 divide l?
True
Let f = 25 + -24. Let m = f - -1. Suppose -168 = -4*o + 3*d, -m*o = 3*o + d - 210. Does 21 divide o?
True
Let f(k) = 5*k - 3. Suppose -30 = -4*s - s. Is 27 a factor of f(s)?
True
Suppose -9*j + 5106 + 8556 = 0. Is j a multiple of 66?
True
Let x = -68 - -126. Suppose -2*u + 5*u - x = -g, 0 = -g + 2*u + 73. Suppose 2*h = -3*v + 37, -2*v + 7*v - 2*h = g. Is v a multiple of 6?
False
Is 13 a factor of (-17)/((-546)/(-549) + -1)?
False
Suppose 13392 = 85*n - 79*n. Does 12 divide n?
True
Suppose -1131 = -17*p + 1725. Is p a multiple of 24?
True
Let s = -42 + 14. Let z = s - -110. Is 7 a factor of z?
False
Let t(s) = 11 + s - 8*s + 2*s**3 - 23*s**2 + 15*s**2 - 3*s**3. Is t(-7) a multiple of 11?
True
Suppose 0 = 18*t - 14*t - 332. Let w = 135 - t. Does 26 divide w?
True
Suppose 3*a + q = -10, -14 = -3*a + 5*q - 0*q. Is 3 a factor of ((-2)/3 - a/2)*18?
True
Let u(v) be the second derivative of -v**4/8 - 5*v**3/6 + 7*v**2/2 - 7*v. Let o(i) be the first derivative of u(i). Does 7 divide o(-6)?
False
Let w(g) = g**2 + 12*g + 34. Let z be w(-8). Suppose -339 = z*i - 5*i - t, -5*i = -t - 573. Is i a multiple of 19?
True
Let c = -14 + 20. Let r(g) = -g + 5. Let z be r(c). Let h = 17 - z. Is h a multiple of 18?
True
Does 23 divide (-6 - (4 + -9)) + 321?
False
Let f = -18 - -29. Suppose 1076 = f*k + 130. Does 13 divide k?
False
Let b = 157 - 22. Does 49 divide b?
False
Let d(b) = b**2 + 8*b - 3. Is d(6) a multiple of 27?
True
Let v(k) = -k**3 - 7*k + 16. Does 47 divide v(-5)?
False
Let b(x) be the second derivative of x**5/20 - 5*x**4/12 - 3*x**3/2 + x**2/2 - x. Let c = 55 - 48. Is 9 a factor of b(c)?
True
Suppose -3*t = -7 - 5. Suppose -10 = -2*q + 2*w, 2*w + 23 = t*q + w. Suppose 0 + q = 2*p. Is 3 a factor of p?
True
Let b(q) be the first derivative of q**5/24 - 5*q**4/24 + 2*q**3 - 3. Let t(a) be the third derivative of b(a). Is 12 a factor of t(13)?
True
Suppose p = 3*a + 168, -5*p - 5*a = -652 - 88. Does 17 divide p?
True
Let r(w) = -12*w**3 - 5*w**2 - 2*w + 5. Let o be r(-2). Suppose -3*u = -146 - o. Does 8 divide u?
False
Does 12 divide 30037/12 + (-11)/132?
False
Let s(i) = i**2 + 2*i + 2. Suppose -4*b - 7 = x, -b = 4*x - 9 - 8. Let a be s(b). Suppose 5*q - 2*w - 124 = 18, a*w - 107 = -4*q. Is 7 a factor of q?
True
Suppose 0 = 5*q + 5*l - 1320, -3*q - 3*l = -q - 527. Let o = q + -103. Is o a multiple of 27?
True
Suppose 2*s + t = 724, -3*s - 2*t + 839 = -249. Does 24 divide s?
True
Suppose -5*h - 180 = 5*h. Does 8 divide 0 - (2 + (h - -4))?
False
Suppose 0 = -i - 4*h - 20, -i - 11 = 3*h + 4. Suppose i = 5*y - s - 525, -5*s + 134 = 4*y - 257. Does 13 divide y?
True
Suppose -5*b = -4*u - 81, -4*b = u - b + 16. Let j = u + 50. Suppose 3*i + 2*r - j = 0, -2*i - 32 = -4*r - 74. Is 9 a factor of i?
False
Suppose 2*g + 3*s - 15 = 0, -4*s + 2 = g - 13. Suppose -121 = -y + 3*t, -575 = -5*y + g*t + 2*t. Does 16 divide y?
True
Suppose -15*k + 2278 + 1502 = 0. Is 36 a factor of k?
True
Let c be (-66)/(-14) + 34/119. Suppose -c = 4*z - 53. Does 4 divide z?
True
Let g(q) = 3*q**3 - 8*q**2 + 4*q + 8. Is g(4) a multiple of 3?
False
Suppose -5*d = -115 - 35. Suppose d = s + 5*s. Suppose 0 = -3*b + s*l + 157, 15 - 67 = -b + 2*l. Does 18 divide b?
True
Suppose -114 = 6*w - 18. Let f = w - -107. Does 28 divide f?
False
Does 5 divide 115498/170 + 3/5?
True
Let d = 19 + -16. Suppose 4*k - 164 = 2*p, 0*k + 121 = d*k - 2*p. Does 14 divide k?
False
Let r = 786 - 441. Does 7 divide r?
False
Suppose -20611 = -16*v - 4563. Does 8 divide v?
False
Let z be 0*((-3)/(-2) - 2). Let h(b) = b**2 + b - 30. Let u be h(-10). Suppose a + z*a = u. Is a a multiple of 15?
True
Let f be 4/(3 + (-15)/3). Let k(s) be the first derivative of -s**4/2 - 5*s**3/3 - 3*s**2 - 2*s - 2. Does 2 divide k(f)?
True
Let x = 2240 + -1147. Is 127 a factor of x?
False
Suppose 2*x = 17 + 15. Is x a multiple of 2?
True
Let d be (0 - (-425)/(-5))/1. Let g = d - -115. Is g a multiple of 11?
False
Let f be (-20)/(-16) - 234/8. Let x = f + 47. Is x a multiple of 3?
False
Let i(d) = 7*d**2 - 9*d - 1. Let v be i(9). Suppose 4*q = 5*k - 420, -5*k - 3*q + v = 100. Does 26 divide k?
False
Suppose -5*h + 6*h - 3 = 0. Suppose 3*o = 5*b + 69, 0 = o + h*b - 1 - 8. Does 9 divide o?
True
Let b = -1040 - -1648. Suppose -2*o + 6*o - b = 4*j, -3*o + 452 = -j. Is o a multiple of 11?
False
Is (-1 + 0 - -6)/(84/1596) a multiple of 5?
True
Suppose 5*a + 2338 = 19*a. Is 4 a factor of a?
False
Let o(u) = u**3 + 10*u**2 - 11*u + 3. Let y be o(-11). Let t(s) = -2*s + 9*s**2 - 5 + 13 + y*s + s**3 + 2. Does 23 divide t(-8)?
False
Let z(l) = -l**2 - 8*l - 5. Suppose 6*n = 4*n - 12. Let i be z(n). Suppose -i = -2*k + 1. Is k a multiple of 4?
True
Let j(i) be the second derivative of i**4/12 - 5*i**3/6 - 6*i**2 + 14*i. Does 19 divide j(-4)?
False
Let g(s) = s**3 - 22*s**2 + 5*s + 30. Let d(f) = f**3 - 14*f**2 + 15*f - 4. Let n be d(13). Is g(n) a multiple of 20?
True
Let a(f) = f**3 - 5*f**2 - 11. Let y be a(8). Suppose -5*h - y = -631. Is 15 a factor of h?
True
Suppose -3*l + 13 - 10 = 0. Is (l/(-2))/((-21)/8526) a multiple of 21?
False
Suppose l - 4452 = -2*y, l + 0*y = y + 4443. Is 18 a factor of l?
True
Let g be ((-4)/(-2))/((-2)/(-6)). Let c be ((-15)/g + 1)*2. Does 8 divide ((-8)/c)/((-1)/(-3))?
True
Let h = 12 + -9. Suppose -2*o + 0*r + 5 = r, -4*r = h*o. Is o + (0 - -23) - -2 a multiple of 8?
False
Suppose -19*d + 25776 = -d. Is 9 a factor of d?
False
Suppose 2 + 2 = 2*j. Let d(i) = -24*i + 105. Let o be d(3). Suppose -2*m + 29 = 5*a, 0 = j*m - a - 26 - o. Is 9 a factor of m?
True
Let o be (-3 - -7) + 365 + -1. Let l = o - 192. Does 16 divide l?
True
Let h(z) be the second derivative of z**3/6 + 7*z**2 + z. Let c(w) = 2*w + 8. Let j be c(-7). Does 3 divide h(j)?
False
Let r(z) = 16*z**2 - z. Let v be r(1). Let u(t) = t**2 - 14*t + 1. Does 4 divide u(v)?
True
Suppose 3*k - 14 = -8. Suppose 160 = 2*p - k*s, -p - s + 50 = -36. Suppose 3*l + 5 = p. Is 26 a factor of l?
True
Let x(i) = -2*i + 13. Let l be x(-17). Suppose u - 73 = l. Does 30 divide u?
True
Let o(j) = j**3 - 18*j**2 + j - 16. Let m be o(18). Suppose m*q - 36 = q. Does 5 divide q?
False
Let l(g) = -g**3 + g + 1. Let z(k) = -2*k**3 + 8*k**2 + 9*k + 10. Suppose 2*f = -3*f - 5. Let q(v) = f*z(v) + 3*l(v). Does 8 divide q(-8)?
False
Suppose -4*f - 10 + 18 = 0. Suppose j - 51 = -h + 6*j, -222 = -4*h + f*j. Does 4 divide h?
True
Suppose -x - 2*b - 1097 = 4*x, 2*b = -3*x - 655. Let r = x - -331. Is 35 a factor of r?
False
Suppose -950*p = -959*p + 9945. Is 17 a factor of p?
True
Suppose 3*b = 10 + 11. Does 12 divide (17/7 + 1)*b?
True
Suppose -2*c + 8 + 4 = 0. Let f be 81/6*4/c. Let h = 71 + f. Is 20 a factor of h?
True
Let l = 1029 - 645. Does 12 divide l?
True
Suppose -2*q = 3*q + 3520. Let t = q + 1019. Does 37 divide t?
False
Let k = 571 - 138. Let g = k - 213. Is 11 a factor of g?
True
Is 4 a factor of 190 - (2/10 - 63/(-35))?
True
Let l = -1506 - -2514. Suppose 2*y + y = i - 256, -4*i + 4*y = -l. Is i a multiple of 27?
False
Let i(o) = -o - 1. Let d be i(-6). Suppose -2*p + 2*w + 3*w + 9 = 0, -4*w = 4*p - 4. Suppose p*u = 4*c + 20, -94 = -d*u - 2*c + c. Is u a multiple of 9?
True
Let d be -1 + 50*((-48)/(-20))/(-2). Let b = d + 83. Is b a multiple of 22?
True
Suppose -13 = 3*q + 53. Let k be 118/4 + (-33)/q. Suppose 6*w - k = 35. Does 6 divide w?
False
Let t(a) be the third derivative of a**6/120 - 3*a**5/20 - a**4/24 + 2*a**3 - 182*a**2. Suppose 0*n - 3*r = -n + 15, 5*n = -3*r + 39. Does 3 divide t(n)?
True
Let u(v) = v**2 + 11*v. Suppose 3*d = -3*f - 66 + 21, 57 = -4*f - d. Is 6 a factor of u(f)?
True
Suppose 6*g - 5 = 5*g. Suppose g*r + 5*w - 15 = 0, r = -2*w + 1 + 3. Does 9 divide 60*(-2)/(r - 6)?
False
Let u = 344 + -339. Does 2 divide u?
False
Suppose 249*m - 253*m + 320 = 0. Does 10 divide m?
True
Let u(k) = k - 33. Let m be u(9). Let a be (-126)/(-8)*(-4 + 0). Let n = m - a. Does 19 divide n?
False
Let j(n) = 3*n + 6. Let w be j(4). Suppose -3*f = p + w - 116, f + 5*p - 42 = 0. Suppose 0 = -2*s - 2*s + f. Does 4 divide s?
True
Let r be (-75)/2 + (-2)/(-4). Let d = -48 - -32. Let f = d - r. Is f a multiple of 5?
False
Let u = -398 + 830. Suppose w + 5*s - 1