et l = -110 - -178. Is l a multiple of 51?
False
Let h(x) = -3*x**2 + 5 + x**3 + 1 - 3 - 6*x. Let y be h(4). Let v(k) = -3*k + 7. Does 19 divide v(y)?
False
Suppose 993 = 5*c + 208. Suppose -23 = -4*j + c. Is 19 a factor of j?
False
Let y(g) = g**3 + g**2 - g. Let w(f) = 5*f**3 - 3*f**2 - 11*f - 9. Let s(i) = -w(i) + 6*y(i). Does 10 divide s(-8)?
False
Let h(a) = 12*a**2 + 12*a - 3. Does 47 divide h(-4)?
True
Suppose -139 = -5*t - 2*x + 28, x + 4 = 0. Let y = t + 6. Suppose -i = -y + 2. Is i a multiple of 13?
True
Let j = -4 + 4. Is 6 a factor of -1 - (-13)/(j + 1)?
True
Suppose 114 = 4*m - m. Is 7 a factor of m?
False
Let i(r) = 24*r + 2. Let z be (-5 - -1)/(-5 + 3). Is 25 a factor of i(z)?
True
Let m = -36 - -18. Suppose 0 = 4*b + 4*b - 1344. Is 14 a factor of b/m*(-9)/2?
True
Suppose 5*h - 2*h - 504 = 0. Suppose 18 = -2*g + h. Suppose 6*f - f - g = 0. Does 10 divide f?
False
Let s = -8 - -35. Is s a multiple of 6?
False
Suppose z - 124 = 4*m, 2*z - 3*m - 275 = -4*m. Suppose -5*h - 4*k = -224, -4*h + z + 43 = 3*k. Is 14 a factor of h?
False
Let l = 1 + 3. Does 3 divide l?
False
Let y = -17 - -22. Suppose 0 = -y*u + 26 + 94. Is 12 a factor of u?
True
Is 11 a factor of 2/((-33)/22*8/(-498))?
False
Suppose -14*a - 1185 = -19*a. Is 18 a factor of a?
False
Let n(k) = -k**2 + 14*k + 4. Does 13 divide n(6)?
True
Let r(s) = -s**3 - 16*s**2 + 10*s - 8. Is r(-17) a multiple of 24?
False
Let b = -3 - -4. Suppose -3*a = -b - 5. Suppose -a*t + 16 = -20. Is 15 a factor of t?
False
Let c(d) = d**2 - 6*d - 4. Let z be c(6). Let t(i) be the first derivative of -i**3/3 - 2*i**2 + 4*i + 1. Does 4 divide t(z)?
True
Does 6 divide 10/((-140)/(-21))*(-256)/(-6)?
False
Let r = 89 - 42. Is 9 a factor of r?
False
Let v = 18 + -9. Is v even?
False
Suppose q - 8 = -y + 4*q, 4*q + 12 = 2*y. Suppose 4*k - 3*x + 43 = 5*k, -2*x = y*k - 70. Does 13 divide k?
False
Suppose -4*f - 4*u = -12, -5*f - 3*u + 15 + 6 = 0. Does 6 divide f?
True
Let q(l) = -l**2 + 21*l - 9. Is q(10) a multiple of 32?
False
Suppose b + 52 = 5*b. Is 13 a factor of b?
True
Let c = -4 + 4. Suppose -28 = -n - c*n. Suppose 4*o = 112 - n. Does 7 divide o?
True
Suppose 2*j + 3*j = 225. Suppose -x - 3 = -j. Suppose -4*w = x - 138. Is w a multiple of 12?
True
Let y(m) = m**2 + 11*m + 4. Let l be y(-11). Suppose -2*n + l*q = -0*q - 34, n = 5*q + 17. Is n a multiple of 8?
False
Suppose 5*u - 6 = 9. Suppose -93 = -u*q - 5*n - 35, -3*n + 18 = q. Does 5 divide q?
False
Let h(c) = -c + 11. Suppose -27 = -a - 2*a. Let b be h(a). Suppose 5*y + b*t - 180 = 0, 2*y + 4*t + 82 = 5*y. Is y a multiple of 17?
True
Let t(k) = 2*k - 6. Let n be t(5). Suppose 2*o = -4*q + 38, 3*o - 8*q = -4*q + 7. Let u = o - n. Is 2 a factor of u?
False
Let o be (-42)/(-15) - (-2)/10. Suppose 0 = 4*c - 3*t - 269, -o*t - 50 - 15 = -c. Is 17 a factor of c?
True
Let n(x) = x**3 - 8*x**2 + 4*x - 7. Suppose 5*f = -3*q + 28, 28 = 5*f - 3*f - 3*q. Is 14 a factor of n(f)?
False
Suppose 84 = 4*x + 4*w, 0 = -4*x + 3*x - 4*w + 27. Is 19 a factor of x?
True
Suppose 4 = -4*f - 0*f. Let w be ((-14)/f)/(1 + 0). Suppose w = j - 1. Is j a multiple of 13?
False
Suppose -4*j + 18 = -0*j - n, j - 6 = n. Is j a multiple of 2?
True
Let w(v) = v**2 + 5*v - 4. Let j be w(-6). Suppose -74 = -4*m - j*a, -3*m + a + 92 = 34. Does 5 divide m?
False
Is -1 + (2 + 1 - -36) a multiple of 7?
False
Let b(w) = -w**2 + 11*w + 16. Let u be b(12). Suppose -15 = -5*f + u*d, f - 2*f + 5*d = 18. Is f a multiple of 3?
False
Suppose 4*y = 20, f = 2*f + 4*y - 58. Does 13 divide f?
False
Let i be ((-6)/9)/(4/(-18)). Let t(q) = -6*q - q**i + 18 + 6*q. Is t(0) a multiple of 6?
True
Suppose 5*x = -3*m + 657, 87 = m + 3*x - 136. Let n = -134 + m. Does 24 divide n?
False
Let z be 14/(-1 + 32/30). Suppose b - 6*b + z = 0. Does 21 divide b?
True
Suppose -61 = 3*i + 2*a + 9, 5*i = -a - 105. Is 7 a factor of (-8)/i - (-126)/10?
False
Suppose 0 = -4*m + 3*m + 18. Suppose 2*f - 34 = m. Let d = 38 - f. Does 8 divide d?
False
Suppose 3*a + 3*d = 6, d = -5*a + 5 + 13. Suppose -a*s + 18 + 30 = 0. Is 12 a factor of s?
True
Suppose 0 = 4*i + i - 250. Does 13 divide i?
False
Let s(z) be the first derivative of -3*z**4/4 - z**3/3 + z**2 + 2*z - 6. Let h = 0 - 2. Is 6 a factor of s(h)?
True
Suppose -3*x = s - 115, -x - 315 = -3*s - 4*x. Is 4 a factor of s?
True
Let u(r) = r - 3*r**2 + 6*r**2 - 3 + 4. Let n(s) = -s**2 + 4*s + 2. Let a be n(4). Does 12 divide u(a)?
False
Let d(n) = 4*n - 5. Let o be d(4). Let t(h) = h**2 - 9*h - 16. Let p be t(12). Let i = o + p. Is 15 a factor of i?
False
Is (-2 - (-20)/16)*-140 a multiple of 21?
True
Let l = -56 + 81. Is 12 a factor of l?
False
Let n = 55 - 9. Suppose -3*i + 2*i + n = 0. Is 23 a factor of i?
True
Let m(c) = c + 1. Let o be m(1). Suppose o*r + 4*k - 3 = k, 3*r - k = 21. Does 3 divide r?
True
Let u(a) = 34*a + 3. Does 15 divide u(3)?
True
Suppose 2*x - 300 + 84 = 0. Is 12 a factor of x?
True
Let n(x) = -14*x - 1. Let b be n(-3). Let f = b + 3. Is (f/6)/((-6)/(-9)) a multiple of 6?
False
Suppose 0 = 6*l - 2*l - 3*h - 250, 3*l = 5*h + 193. Is l a multiple of 7?
False
Suppose 2*n - 5*s = -0*n - 6, 0 = -2*n - 3*s + 10. Let f(o) = o**3 - 6*o**2 + 4*o - 9. Let v be f(6). Suppose -17 = -n*h + v. Does 8 divide h?
True
Let f = 85 - 52. Does 33 divide f?
True
Suppose 2*g + 1 = -3. Let q = g + 5. Suppose 5*n - 109 = -3*k, -99 = -q*k - 2*n - n. Does 12 divide k?
False
Let w be (-1 + 4)/(3/130). Suppose -2*r - 4*d = -6*d - w, -2*r = -5*d - 133. Is r a multiple of 22?
False
Let d(a) = a**3 + 10*a**2 - 6*a + 24. Is d(-10) a multiple of 7?
True
Suppose 0 = b - 3 + 8. Let s(x) = -1. Let r(w) = -13*w - 3. Let p(t) = b*s(t) + r(t). Is p(-3) a multiple of 9?
False
Suppose 5*o + 4*n - 180 = 0, o = 5*n + 31 + 5. Suppose -3*z = -0*z - o. Is 3 a factor of z?
True
Suppose 0 = 8*f - 4*f - 84. Is 7 a factor of f?
True
Let q(m) = -6*m - 11. Let v be q(-8). Let w = 52 - v. Is w a multiple of 11?
False
Let x(q) = -q**2 + 19*q + 22. Is 4 a factor of x(18)?
True
Let u(o) = -2*o - 10. Let j be u(6). Let d be -2 - (-1)/(1/39). Let s = d + j. Does 14 divide s?
False
Let u(x) = 2*x**2 + 4*x - 27. Does 9 divide u(7)?
True
Suppose 0 = 4*p - 0 + 12. Is 56*(-4)/16*p a multiple of 14?
True
Let k(j) be the first derivative of -j**3/3 + 3*j**2 - 4*j + 3. Let z be k(5). Let n(f) = 9*f**2 - f. Is n(z) a multiple of 8?
True
Let y(d) be the first derivative of -3 - 1/2*d**2 - 1/4*d**4 + 4/3*d**3 + 3*d. Does 4 divide y(3)?
False
Suppose 6*f - 155 = f. Let h = 45 - f. Does 14 divide h?
True
Let b = 1 - -4. Is (42/6)/(1/b) a multiple of 23?
False
Let i(l) be the third derivative of -l**5/30 - 7*l**4/24 - 4*l**3/3 + 2*l**2. Let z be i(-6). Let x = 55 + z. Is 11 a factor of x?
False
Let k = 420 - -20. Is k a multiple of 53?
False
Let m(g) = -101*g + 8. Is 35 a factor of m(-2)?
True
Suppose -9 = -2*i + 23. Suppose -c = -i + 4. Does 6 divide c?
True
Suppose 0 = -4*u + 2*u + 2. Let s = u - -1. Is ((-16)/24)/(s/(-27)) a multiple of 3?
True
Suppose -5*o - 29 = -n - 10, 26 = 4*n + 5*o. Let d = -38 - -80. Suppose -m = 5*x + 3*m - d, m = -x + n. Is x a multiple of 6?
True
Let d(t) = 2*t - 4. Let c be d(4). Suppose -4 = 4*l, y - l = -0*l + 6. Suppose 0 = -y*z + 2*m + 76, -2*m - 68 = -4*z - c*m. Is z a multiple of 11?
False
Let x = -272 + 569. Is 34 a factor of x?
False
Suppose 0 = -5*w + 19 - 4. Suppose -2*p + 105 = 3*f, 0*p - 5*p + w*f + 315 = 0. Is p a multiple of 15?
True
Suppose -4*z = -0*b - 5*b + 72, 3*z = 2*b - 26. Is b a multiple of 6?
False
Let j = -2 - -6. Suppose 0 = -j*z + 2*z - 8. Let h = 0 - z. Does 2 divide h?
True
Let r = 124 - 74. Does 18 divide r?
False
Suppose 2 = -5*t - 18. Let o be (4/(8/(-18)))/(-1). Let v = o + t. Is 2 a factor of v?
False
Let i(v) = -57*v - 6. Does 15 divide i(-3)?
True
Let d = 11 + 15. Does 4 divide d?
False
Let g(x) = x + 2. Let k be g(0). Let l(t) = t**3 + 4*t**2 - 7*t - 7. Let a be l(-5). Suppose k + a = u. Is 2 a factor of u?
False
Let z be ((-6)/10)/3 + 885/(-75). Let k(w) = -3*w**3 - 3 + 2*w**3 - 7*w**2 - 6*w**2 - 15*w. Is 18 a factor of k(z)?
False
Let v be (9/6)/((-3)/(-6)). Suppose v*r = 6 + 6. Suppose 5*o - 86 = r. Is 7 a factor of o?
False
Is (-1 - (-11)/4)*24 a multiple of 8?
False
Suppose -6 = -2*w + 8. Suppose 6*n = 7*n - w. Is 3 a factor of n?
False
Let j(v) 