t s = l + -11. Does 3 divide s?
True
Let q = 2 - 7. Let t be ((-6)/(-8))/(q/(-40)). Suppose 7*c = t*c + 18. Does 9 divide c?
True
Let h(q) = 1. Let n(z) = -2*z - 4. Let l(x) = -5*h(x) + n(x). Is 7 a factor of l(-8)?
True
Is 5120/100 + (-1)/5 a multiple of 17?
True
Suppose -13*c + 1379 = -818. Does 7 divide c?
False
Suppose q = -4*q + 15. Is 8 a factor of (-3)/q + 22 + 1?
False
Let x be (2 + -2)/(2/2). Suppose 5*k + 0*k + 15 = x. Let s(b) = b**2 - b - 4. Is s(k) a multiple of 4?
True
Suppose 99 = -4*m - h - 2*h, m + 20 = 4*h. Suppose -253 - 2 = -5*t - 2*k, 2*k = -2*t + 102. Let u = t + m. Is 18 a factor of u?
False
Let d = -5 + 8. Let v = 17 - d. Is v a multiple of 14?
True
Suppose -3*n = r - 11, 10 = -2*n + r - 6*r. Suppose 42 = -g - 4*g - 4*h, g + 21 = -n*h. Let z = g + 21. Does 9 divide z?
False
Suppose 2*i - 87 - 23 = 3*y, 5*i - y - 275 = 0. Does 11 divide i?
True
Let t = 8 + -4. Suppose 3*g - 123 = 4*w + 2*g, -t*g - 159 = 5*w. Let j = -20 - w. Does 11 divide j?
True
Let g = 9 + 8. Is g a multiple of 10?
False
Let p = 14 + -3. Is p a multiple of 4?
False
Suppose -4*w = -w. Suppose w = -2*y + 2*d + 48, -37 = -3*y + d - 5*d. Is 19 a factor of y?
True
Suppose g = 5*y + 21, y = -y - 4. Is g a multiple of 5?
False
Suppose 3*x = 3*j - 18, -4*j + 15 = -3*x - 5. Suppose -40 = -j*s - 0*s. Is s a multiple of 8?
False
Suppose -3*u = 5*w - 28, u - 2*w = 2*u - 11. Suppose -1 + 6 = d. Let i = d - u. Is i a multiple of 4?
True
Let y = 14 - 4. Let c = 14 + y. Is 8 a factor of c?
True
Let j(k) = k - 2. Let q be j(6). Suppose 14 = q*g - 26. Is ((-28)/(-5))/(4/g) a multiple of 5?
False
Let o(f) = f**3 - 11*f**2 + 4*f + 8. Does 13 divide o(11)?
True
Let r = 8 - 8. Suppose r = h - 2*b - 36, 2*h + 4*b = 5*b + 57. Is h a multiple of 26?
True
Let f(r) = -4*r**2 - r**3 - 3 + 6*r - 4*r**2 + r**2 + 14. Is f(-8) a multiple of 9?
True
Suppose -5*m - 2*d = 26, d + 20 = -5*m - 4*d. Let j be 49/(((-9)/m)/3). Suppose 5*n = -3*w + 3 + 67, 4*w - j = -2*n. Is 10 a factor of w?
False
Let b = 27 - 0. Suppose 112 - b = 5*t. Is 15 a factor of t?
False
Let m(z) = -7*z + 8*z - 46*z - 3. Let q be m(3). Is 3/9*q/(-2) a multiple of 8?
False
Let p(z) = 2*z**2 + 2*z - 3. Is 6 a factor of p(3)?
False
Suppose -14*q - 20 = -18*q. Is q a multiple of 3?
False
Let u = 3 + -2. Suppose -k = u - 77. Suppose w - k = -3*w. Is w a multiple of 19?
True
Let c(r) = 4*r + 3. Is 9 a factor of c(6)?
True
Is 8 a factor of (3/15*4)/((-10)/(-400))?
True
Let s = 5 - 3. Let t be (1 + -3)/((-2)/5). Suppose -23 = -s*q - t*p + 38, 47 = 4*q - 5*p. Is 18 a factor of q?
True
Let z be 1*(-3)/(-6)*16. Let u(r) be the third derivative of -r**6/120 + 2*r**5/15 + r**4/12 - 2*r**3 - 2*r**2. Is 3 a factor of u(z)?
False
Suppose 0*y + 3*f = -4*y + 497, 3*y = f + 389. Is y a multiple of 16?
True
Let x(z) = 3*z**3 + z**2. Let b be x(1). Let i = 0 + b. Suppose 18 = 2*v + 2*t, -11 = i*v - 2*t - 41. Does 3 divide v?
False
Suppose 0 = 3*h - 7 + 1. Let t(c) = 2*c**2 - 3*c + 2. Let p be t(h). Suppose -3*j = -n + 41, -3*n + 4*j = -p*n + 48. Is n a multiple of 16?
False
Suppose -5*z = -3*w + 344, -2*w - z + 5*z = -232. Is w a multiple of 12?
True
Suppose -4*z = -3*b + 42, 4*b + 0*b = z + 43. Does 5 divide b?
True
Let s(z) = -z**2 - 9*z + 10. Let x = 6 - 13. Is 12 a factor of s(x)?
True
Let g(m) = 2*m - 4. Suppose -3*p + 2*p - 3 = 0. Let d be g(p). Let a = 30 + d. Does 11 divide a?
False
Let t(h) = h**3 + 4*h**2 + 4*h + 1. Let r be t(-3). Let c be (-5 + 1 - -2)*r. Suppose c*b = 92 + 12. Does 13 divide b?
True
Let k(t) = -t**3 - 34*t**2 - 36*t - 27. Is k(-33) a multiple of 9?
True
Let g(s) = s**3 + s**2 + 3*s - 2. Let w = 3 - 0. Let f be (-3)/(w/2) + 4. Is g(f) a multiple of 8?
True
Let h = 2 - -5. Let c = 87 - h. Suppose -4*i + c = -68. Is 13 a factor of i?
False
Suppose -3*u + 7 = -38. Is u a multiple of 5?
True
Let t(u) be the first derivative of -u**3/3 + 5*u**2 + 7*u + 3. Suppose 5*d + 18 = 63. Is 8 a factor of t(d)?
True
Suppose -5*j + 604 = -46. Is j a multiple of 13?
True
Is 12 a factor of 357/15 + 4/20?
True
Let i(r) = 1. Let o(l) = l - 1. Let x(k) = -i(k) - o(k). Let u be x(-3). Suppose -2*w - 2*w = 4*d - 76, u*w - 65 = 5*d. Is w a multiple of 10?
True
Let n = -12 + 8. Is (-22)/n - (-2)/(-4) a multiple of 2?
False
Let r(k) = 3*k - 1. Let n be r(-7). Let z be 6*n*2/(-3). Suppose -5*d = 13 - z. Is 11 a factor of d?
False
Is ((-8)/(-2)*(-288)/(-9))/1 a multiple of 19?
False
Is 8 a factor of (-3 - 0)/9*-54?
False
Let n = 19 - 24. Let i(y) = -y**3 - 4*y**2 + y + 3. Does 23 divide i(n)?
True
Does 15 divide (-1)/2*(-177 - -3 - 0)?
False
Does 13 divide ((-2)/5)/(0 + 2/(-160))?
False
Suppose 1 = -3*x + 10. Let v be (-4)/(-10)*(x + 2). Suppose -h - 3 = 5*f + 2, -v*h - 3*f + 4 = 0. Is h a multiple of 5?
True
Let h(x) be the first derivative of 15*x**4/4 - x**3/3 - 2. Is h(1) a multiple of 7?
True
Suppose x = 2*k + 51, -2*x - 2 = 4*k - 72. Is x a multiple of 7?
False
Suppose -4*r + 0*r + 1960 = 0. Suppose -r = 3*l + 2*l. Let s = 137 + l. Is s a multiple of 18?
False
Let u(p) be the first derivative of -2*p**3 - p**2 + 3*p + 1. Let d be u(2). Let b = d - -65. Does 20 divide b?
True
Let c be 2/(-6) - (-160)/12. Suppose -c = -2*y + 29. Does 8 divide y?
False
Does 13 divide (0 + 24)/(10/35)?
False
Let g(q) = -q**3 + 3*q**2 + 3*q + 4. Let z(f) = -f + 7. Let m(y) = 2*y - 8. Let u be m(6). Let x be z(u). Does 6 divide g(x)?
False
Let t be 3*(-3)/6*26. Let g = t + 87. Does 12 divide g?
True
Does 13 divide (-16)/(-5 + 1) + 15?
False
Suppose 0 = 2*j + j - 33. Is (8/(-2))/(-2)*j a multiple of 13?
False
Suppose -12*x - x = -338. Is x a multiple of 19?
False
Let j(q) = q**2 + 8*q - 4. Let x be j(6). Let w = x - 38. Does 21 divide w?
True
Let l = -8 + 11. Suppose -26 = n - l*n. Is 4 a factor of n?
False
Let j be 284/20 + (-1)/5. Suppose -6*p + 10 = -p, -2*p - j = -y. Is y a multiple of 18?
True
Does 33 divide 72 + -6 + -4 + 4?
True
Let s = 122 + -64. Suppose -5*t - l + 0*l + 87 = 0, -s = -4*t + 5*l. Is 9 a factor of t?
False
Let b = 53 + -21. Suppose 4*q = 152 - b. Is 10 a factor of q?
True
Let h(j) be the third derivative of -1/6*j**3 + 0*j + 0 + 2*j**2 + 1/4*j**4. Does 15 divide h(3)?
False
Suppose 9*i - 349 = 596. Is 10 a factor of i?
False
Suppose -502 = -4*r + 2*c - 64, -545 = -5*r + 3*c. Is 16 a factor of r?
True
Let u(k) = 7*k**3 - 3*k**2 - 2*k. Let r be u(-2). Is 7 a factor of ((-18)/(-8))/((-6)/r)?
False
Is (23/(-4))/((-3)/12) a multiple of 23?
True
Is 9 a factor of 3/(-4)*-2*30?
True
Let b be 4 - (-2*1)/(-2). Suppose 2*y = b + 1. Suppose 3*x = 2*j + 19, -2*x + 5*j = y - 0. Does 9 divide x?
True
Suppose -t = 2*k - 10, 4*t + 4*k = -0*k + 24. Let i(m) = m**2 + 6*m + 13. Let x be i(-11). Suppose t*g + 0*g = x. Does 13 divide g?
False
Let f(q) be the first derivative of -q**4/4 + 5*q**3/3 + 5*q**2/2 + 8*q + 2. Let o be f(6). Suppose w + 3*i + 12 = o*w, 2*w = i + 29. Is 7 a factor of w?
False
Suppose 5*h + 0*h = 350. Suppose -2*k - 3*k + h = 0. Is k a multiple of 5?
False
Suppose r = -4*i + 110, 2*i - 26 - 40 = 5*r. Is i a multiple of 2?
True
Does 15 divide (-3)/(-3) + 1/((-1)/(-163))?
False
Suppose -3*b + 0*b = -15. Suppose 2*w - 82 = -b*j + 2*j, -4*j + 4*w = -76. Is 12 a factor of j?
True
Let r be 14/(-4)*(-1 - 1). Let q = r + 12. Let i = q - 9. Does 8 divide i?
False
Suppose -2*m + 2 - 82 = -4*x, -3*x + 5*m = -60. Suppose -197 = -3*v - x. Is v a multiple of 16?
False
Let o = -27 - -54. Suppose 0*j + o = -3*j. Let i = 13 + j. Is i a multiple of 3?
False
Suppose 0 = t - 5*j - 17 - 1, 3 = 2*t + j. Let o(r) = 8*r**2 - 8*r**2 + r + 20 - r**t. Does 7 divide o(0)?
False
Suppose -3*x = -2*d + x + 26, 5*d = -2*x + 17. Suppose 0 = -2*q + 3*s + 41, -88 + 20 = -d*q - 4*s. Does 13 divide q?
False
Let c(y) = -y**2 + y + 33. Let v = -12 - -12. Is 33 a factor of c(v)?
True
Let x = -7 - -12. Suppose 5*l + 39 = 3*j, 4*l + 32 + 20 = x*j. Let p = j + -5. Is 2 a factor of p?
False
Let s = 0 - -4. Suppose 0 = -4*d + 2*d + 8. Suppose -44 + s = -d*a. Does 10 divide a?
True
Let w be 7 - ((-1 - 1) + 4). Let u = w - 2. Suppose 44 = n + u*n. Does 11 divide n?
True
Let u(k) = 46*k - 1. Let i be u(-2). Let j = 141 + i. Does 12 divide j?
True
Let g be (4/10)/(546/90 + -6). Suppose 5*r - 172 - 38 = 0. Let m = g + r. Is 16 a factor of m?
True
Let z(m) = -m**3 - 4*m**2 - 