et o = -1209 + 1927. Is 111 a factor of o?
False
Suppose -y - 8 = -d, 4*y = -d - 0*y - 7. Let x = d - -7. Is x a multiple of 4?
True
Suppose -41*b + 560280 = 74*b. Does 14 divide b?
True
Let g = 5 + 0. Suppose 3*t - 8 = -g. Is 3 a factor of (t + 6)*(-20)/(-14)?
False
Let m(j) be the third derivative of j**5/30 + j**4/6 + j**3/3 + 5*j**2. Let g = 5 + -12. Is 18 a factor of m(g)?
True
Let i(l) = -l**3 + 15*l**2 - 13*l + 13. Suppose 5 = 2*j - 23. Is i(j) a multiple of 25?
False
Suppose 3*x - x = j - 363, -3*x = -4*j + 1477. Is j a multiple of 22?
False
Suppose -305 = -5*w - l, -3*w - 56*l + 183 = -54*l. Does 61 divide w?
True
Suppose 9 + 3 = 4*y. Suppose y*t = t. Suppose t = -4*x + 118 - 22. Does 9 divide x?
False
Let x(l) = -6*l + 276. Is x(-57) a multiple of 11?
False
Let c(q) = -8*q**3 - 7*q**2 + 7*q + 15. Does 3 divide c(-4)?
True
Let c = -3 + -4. Let d(f) = -1 - 8 - 3*f + 2. Is d(c) a multiple of 4?
False
Let x be (-80)/(-3) + (32/12)/(-4). Let i = -23 + x. Is 3 a factor of i?
True
Let w(b) = 5*b + 14. Let d be w(-2). Does 24 divide ((-67)/d)/(19/(-228))?
False
Suppose 3*b = 5*k - b + 114, -2*k - 60 = 2*b. Let q = k + 57. Is 4 a factor of q?
False
Let o(j) = 2*j + 20. Let v be o(-7). Suppose -v*c = c - 49. Does 3 divide c?
False
Suppose 0 = 19*i + 11 - 49. Let l = 15 + 20. Suppose l = i*r - 5*v, -49 = -5*r - 3*v + 54. Is 20 a factor of r?
True
Let v(g) = g**3 - 4*g**2 + 3*g - 2. Let t be v(2). Let h = 2 + t. Let w(m) = 12*m**2 + 2*m - 2. Is w(h) a multiple of 14?
True
Let w = 1763 + 12. Is 7 a factor of w?
False
Suppose 0 = -13*t - 3*t + 5200. Is 17 a factor of t?
False
Let s(u) = 25*u - 57. Is 6 a factor of s(11)?
False
Let t(v) = -v**2 - v. Let z be t(-5). Suppose 3*j + j = 2*m + 120, -j - 4*m + 21 = 0. Let c = z + j. Is c a multiple of 8?
False
Let q(c) = -7*c**2 + 4*c - 4. Let f(y) = -8*y**2 + 3*y - 5. Let a(o) = 2*f(o) - 3*q(o). Let w be 5 + -4 + 0 + (3 - -1). Does 14 divide a(w)?
False
Let r(d) = d**3 + 4*d**2 - 20*d + 10. Let f be r(-7). Suppose -5*b + 1056 = -3*a, 5*b + f*a - 261 = 783. Is 30 a factor of b?
True
Let i = -8 - -34. Suppose 0 = -p + i + 6. Does 32 divide p?
True
Let i = 26 + 22. Is 4 a factor of i?
True
Does 4 divide -10 - (-3)/((-21)/(-10115))?
False
Does 60 divide (10/15)/(2/720)?
True
Let m = 96 + -45. Suppose g + 0*c - 3*c = 14, g + 5*c + 10 = 0. Suppose g*s = 4 + m. Does 4 divide s?
False
Let p = -85 + 88. Suppose 2*i - 86 - 48 = -m, p*m + 183 = 3*i. Is i a multiple of 13?
True
Let u(b) = -31*b - 59. Let n(d) = 6*d + 12. Let j(q) = -11*n(q) - 2*u(q). Is 15 a factor of j(-11)?
True
Let g = 9 + -17. Is 21 a factor of (g/12)/((-2)/63)?
True
Suppose -12*d + 29*d - 6120 = 0. Does 12 divide d?
True
Let g = 9 - 2. Suppose -4*n - g = 9. Does 19 divide 4 + n - -4*19?
True
Let j(t) = -2*t**3 - 2*t**2 - 5*t - 26. Is 15 a factor of j(-4)?
True
Let g(k) = 2*k + 4. Let n be g(-2). Let y(j) = -4*j + 16. Does 16 divide y(n)?
True
Let b(z) be the third derivative of z**6/120 + 2*z**5/15 - z**4/2 - 4*z**3/3 - 27*z**2. Does 15 divide b(-7)?
False
Let i = 21 - 17. Suppose -3*a - 98 = -i*x + 59, -239 = 5*a - x. Is 14 a factor of a/(-2) + 6/(-4)?
False
Suppose 4*n - 33 = 27. Is 11 a factor of n?
False
Does 15 divide 8*6/240 - (-24162)/15?
False
Let w(a) = a**2 + 4*a - 13. Let l = 15 + -28. Let s be w(l). Suppose 0 = 3*b - b - s. Is b a multiple of 15?
False
Let f = 332 - 128. Let u be 8/20 - f/10. Let m = 32 + u. Is 7 a factor of m?
False
Suppose -206 = 8*r + 74. Let o = 45 + r. Does 3 divide o?
False
Let b(v) = -5 - 5*v**2 + 15*v - 16 + 4*v**2 + 17*v. Is 7 a factor of b(30)?
False
Suppose -235 = -2*z - 3*z. Let g(r) = -2*r**2 + r + 29. Let b be g(0). Let u = z - b. Is 7 a factor of u?
False
Let b(m) = -m**3 + 12*m**2 + 5*m + 1. Let p be b(12). Let n = -37 + p. Is 12 a factor of n?
True
Suppose 17 = -f - f - 5*u, 0 = 4*f - u - 21. Suppose 6 = -f*l - 18. Is 13 a factor of -3 - -12*(-8)/l?
True
Let l = -40 + 39. Let x = 2 - -4. Let w = x - l. Is w a multiple of 7?
True
Let b(l) = 1069*l**2 + 5*l + 3. Let o be b(-1). Suppose 2*w - 2*k - 426 = -3*k, -3*k = 5*w - o. Is w a multiple of 29?
False
Suppose a + j = -a + 1645, -3*a + 2454 = -3*j. Is 59 a factor of a?
False
Suppose -3*r = -152 - 127. Is r a multiple of 15?
False
Does 22 divide (-19)/(209/33) - (1 - 1126)?
True
Let n = -1975 + 3168. Is 60 a factor of n?
False
Suppose -2*x + 4 = 4*d - 4*x, x - 19 = -5*d. Suppose 4*a + f = 149, d = -3*a - 2*f + 116. Suppose -q + 2*q = 2*p - a, -4*p = 2*q - 94. Is 7 a factor of p?
True
Suppose 5*q - z - z - 3234 = 0, -4*q + 2576 = 4*z. Does 38 divide q?
True
Suppose 68 = 10*x - 12. Suppose 18 = -2*k + x*k. Is 2 a factor of k?
False
Suppose 2*l + 9 = 17. Suppose 3*t = 4*t + 4*k - 16, -l*t - 4*k + 28 = 0. Suppose h = -3, -h - 65 = -t*q + 2*h. Is q a multiple of 5?
False
Let c(x) = 3*x - 10. Let s be c(3). Does 3 divide ((-6)/(-9))/((s/27)/(-1))?
True
Let v(k) = -2*k**2 - 2*k + 7. Let b be v(7). Is (-7725)/b - (3/(-7) + 0) a multiple of 8?
False
Let a = 35 - 33. Suppose -215 + 55 = -a*j. Is 10 a factor of j?
True
Suppose 9*t = 3*t - 414. Let p = -54 - t. Is 4 a factor of p?
False
Let d(x) = 6*x**3 - 6*x**2 + 7. Let c(p) = -5*p**3 + 5*p**2 - 6. Let h(i) = 5*c(i) + 4*d(i). Let u be h(-2). Suppose u = w + 4. Is 2 a factor of w?
True
Let y(u) = -28*u + 172. Is y(-6) a multiple of 43?
False
Suppose 232 = -2*y + 4*y. Let z be ((-20)/22)/5 - (-906)/22. Let b = y - z. Is 25 a factor of b?
True
Let v(x) = 1. Let p(d) = d - 6. Let t(u) = -p(u) - 6*v(u). Let o(i) = 12*i + 4. Let k(q) = -o(q) + 3*t(q). Is k(-2) a multiple of 13?
True
Let u = -496 - -556. Is u even?
True
Suppose 5*y = 4*w - 0*y - 821, 0 = y - 3. Suppose 0 = -7*r + w + 85. Does 14 divide r?
True
Suppose 2*f - 8*f = -222. Let m = 357 - 206. Suppose -3*y + m = -2*q, 3*q = y + 5*q - f. Is y a multiple of 13?
False
Let f = 27 - -89. Is f a multiple of 29?
True
Is 12*2*(-8)/32*-121 a multiple of 33?
True
Suppose 23*r - 22*r = 1. Suppose -6*v + r = -161. Is v a multiple of 11?
False
Suppose 0 = -2*i + 2, 0 = 4*c - 5*c - i + 10. Let x be 1/(-3) - (-111)/c. Does 18 divide (x/(-16))/(2/(-96))?
True
Let r be -1*(-5 + (-2 - -4)). Suppose 21 = r*j - 135. Is j a multiple of 13?
True
Let o = -987 - -1550. Is 106 a factor of o?
False
Let a = -14 - -20. Suppose 0 = a*r - r - 10. Does 10 divide (4 + 0)/(r/8)?
False
Let a be 1*-4 - (-1 + -4 + -575). Suppose 665 + 327 = 5*o + 4*w, 3*o - a = 4*w. Is o a multiple of 49?
True
Suppose 0 = -5*k - 4 + 14. Suppose -2*j - 3*l + 1 = 30, 5*j + k*l = -56. Let p = 28 + j. Is p a multiple of 9?
True
Suppose -35*o + 17652 + 513 = 0. Does 3 divide o?
True
Suppose 5*j + 25 = -z + 2*z, 3*z = -2*j + 7. Does 13 divide (j + 10/(-4))*-10?
True
Suppose -3*d + 536 = 131. Does 17 divide d?
False
Let b be (0 - 7)*(-108)/7. Let u = b - 77. Let p = 64 - u. Is p a multiple of 33?
True
Suppose -3*l - 718 + 97 = 0. Let o = l - -563. Suppose -j + 5*m - 335 = -6*j, 5*j - 2*m = o. Is 14 a factor of j?
True
Suppose 0 = c + 59 - 57. Is 14 a factor of 121 - c - 6*3/9?
False
Suppose -2*l + 7 = 3*t - 0*t, 5*t - 14 = -l. Suppose -t*o = o. Suppose 0 = m - 7 - o. Does 2 divide m?
False
Let r be -3*(-4)/(-24)*-16. Let b = 38 - r. Does 12 divide b?
False
Suppose -4*x = -3*o - 55 - 344, -4*o = 4*x - 392. Does 9 divide x?
True
Suppose 12 = 2*b - 2*i - 34, -5*b + 106 = -2*i. Is 2 a factor of b?
True
Does 91 divide (7 + (-82725)/45)/((-2)/3)?
False
Let z(r) = 9*r**2 - 13*r - 10. Does 28 divide z(-6)?
True
Suppose 2*s + 5*x - 21 = 0, s + 5*x + 3 = 21. Suppose z + 5*t + 8 = -s, -4*z - 5*t = -16. Is 3 a factor of z?
True
Let n(u) = 2*u**3 - 33*u**2 - 10*u - 21. Does 5 divide n(17)?
False
Suppose -5*n + 8 = -12. Suppose 0*z = n*z - 128. Does 4 divide z?
True
Let d be 1/(((-28)/64)/(-7)). Suppose -4*k - d = -3*k. Let l = 23 + k. Is 7 a factor of l?
True
Suppose -r + 4 = r. Suppose 6*d - 268 = r*d. Let j = d + -39. Is j a multiple of 6?
False
Suppose 3*r - 3 - 3 = 0. Let j be 0 + r + (-1)/1. Is 13 a factor of j - -2 - -7*7?
True
Let g(p) = p**3 - 2*p**2 - 2*p + 3. Let u be ((-33)/(-22))/(2/(-4)). Let w be g(u). Does 15 divide w*((-3)/(-6) + -3)?
True
Let r(w) = -w**3 - 4*w**2 + 7*w + 2. Let q be r(-5). Let l = -18 - q. Does 9 divide 2/l - 3760/(-50)?
False
Let i(k) = 51*k**2 + k - 1. Suppose -11*c - 7 - 4 = 0. Does 25