. Is k a multiple of 16?
True
Let q(z) = z**2 + 19*z - 26. Does 6 divide q(-23)?
True
Let o(b) = b**3 + 7*b**2 + 3*b - 3. Let p(i) = i**2 - 5*i - 2. Let n be p(4). Does 6 divide o(n)?
False
Suppose 4*j = 3*m - 28, 11 = m - 2*j + 1. Let c(d) = 6 - 6*d - 2 - d**3 + 9*d**2 + 2. Is 12 a factor of c(m)?
False
Let w(r) = r**2 + 4*r + 5. Let i be w(-5). Let p be -10*(-3 - (-26)/i). Suppose 2*f = p, 3*u - 2*f + 52 = 5*u. Does 8 divide u?
True
Let j be -2 + 57/3 + -2. Let c = j - 6. Does 4 divide c?
False
Let c(y) = -y - 6. Let t be c(-8). Suppose 2*h - 3*o = 14 - 2, 0 = 2*h + t*o - 12. Is h even?
True
Is 19 a factor of 2856/20 - (-6)/30?
False
Let r = 72 + -32. Is 8 a factor of r?
True
Suppose -5*l + 17 = -3*d, 0 = 3*l - 6*l + 4*d + 8. Is 4 a factor of 3/6 + 62/l?
True
Let m = 6 + -2. Suppose -24 = m*t - 8*t. Let i = t - -10. Does 14 divide i?
False
Let p be 0/(3*2/6). Suppose p*o + 90 = 3*o. Does 10 divide o?
True
Suppose 11 - 119 = -2*v. Is v a multiple of 19?
False
Suppose -j = 4*k + 2 + 7, -4*j + 2 = -3*k. Let r(a) = -3*a + 8*a - 2 - 20*a. Is 13 a factor of r(k)?
False
Let p be -4*(-2 + (-6)/(-4)). Let h be 0/((-2 + 4)/p). Does 4 divide h/1 - (-5 - -1)?
True
Let c(j) = 12*j. Let g be (-47)/9 - (-4)/18. Let k be c(g). Does 16 divide k/(-25)*(-40)/(-3)?
True
Let y be 138/2*1/3. Let u = y + -65. Let p = 1 - u. Is p a multiple of 24?
False
Let v be ((-18)/(-8))/((-12)/32). Let r = v - -11. Is 2 a factor of r?
False
Let r be ((-15)/6)/((-2)/8). Let a = 0 + r. Does 7 divide a?
False
Suppose 0 = f + 2*f. Suppose f*y - 5*y + 65 = 0. Is y a multiple of 10?
False
Let u = 1 + -22. Let n = 42 + u. Is n a multiple of 5?
False
Let y be -2*(0 + 2*-1). Let q(x) = -39 + 28 - x + 0*x + 19. Does 2 divide q(y)?
True
Let a(c) be the third derivative of -5*c**4/12 + c**3/6 + 2*c**2. Is a(-4) a multiple of 23?
False
Is 30 a factor of ((-24)/10)/(2/(-100))?
True
Is (-220)/(-6)*6/5 a multiple of 22?
True
Let g = 10 + 18. Suppose b - 27 = 5*v, -4*b = -3*v - g - 29. Is b a multiple of 10?
False
Suppose -2*l = -0*l - 4. Let t be l/3 - (-8)/(-3). Does 12 divide t + 35 + (-2 - -1)?
False
Suppose -2*i = 4*p, 4*i - 19 = 2*p + 1. Does 7 divide (-35)/p*(-20)/(-25)?
True
Let j(b) = 3*b - 33. Is 12 a factor of j(15)?
True
Suppose -a + 74 = 10. Is 4 a factor of a?
True
Let p be (55/(-10))/((-2)/(-4)). Let j(g) = -3*g - 13. Is j(p) a multiple of 11?
False
Let n be (7 + -3)*(-9)/4. Let w = n - -7. Is (6 + 0)/w + 42 a multiple of 13?
True
Let r(l) be the second derivative of -l**3/6 + 5*l**2 - 3*l. Is 4 a factor of r(0)?
False
Let q be 5 - (-3)/(-1 + -2). Suppose d = q*d - 60. Suppose 5*v = -d + 220. Does 20 divide v?
True
Let n = -12 + 21. Is 141/n + (-4)/6 a multiple of 9?
False
Let b(v) = 5*v**3 + 3*v**2 - v + 6. Let i(s) = -s - 2*s**2 - 3 - 3*s**3 - s + 3*s. Let f(q) = 4*b(q) + 7*i(q). Is f(-3) even?
False
Let v be 1/((4/(-178))/(-2)). Suppose -d - 3*h + v = d, -3 = -3*h. Let y = d - 23. Does 6 divide y?
False
Let c(o) = o**2 + 5*o + 2. Let d be c(-5). Suppose 16 = -d*q + 72. Is 14 a factor of q?
True
Let z = -15 + 107. Is z a multiple of 14?
False
Let f(x) = -x**3 + 10*x**2 - 7*x - 11. Let s = 1 - 1. Suppose v + v - 18 = s. Does 7 divide f(v)?
True
Let v be -2 + ((-12)/(-2) - 2). Let q(t) = 9*t**3 - 2*t**2 + 2*t + 1. Is 23 a factor of q(v)?
True
Let y(v) = v. Let t(o) = -14*o - 3. Let x(n) = t(n) + 5*y(n). Is 11 a factor of x(-4)?
True
Suppose 4*h + 92 = 5*s, -3*h + 35 = 5*s - 36. Let n = s + -1. Does 5 divide n?
True
Let r(g) = -g + g**2 + g - g + g**3 + 2 + 0*g. Is r(0) a multiple of 2?
True
Let t = -67 - -144. Is t a multiple of 11?
True
Let z be (-50)/(-5)*(-25)/(-2). Suppose -q + z = 4*q. Is q a multiple of 6?
False
Let z be (3 + 19/(-3))*3. Let u = -1 - z. Is u a multiple of 7?
False
Suppose -5*h + 58 = 13. Suppose 4*t + 445 = h*t. Suppose 3*y - t = 5*f, 3*f = y + 1 - 28. Is 19 a factor of y?
False
Let d = -25 - -37. Suppose -4*a - d = -2*x - a, -5*a - 19 = -3*x. Suppose 3*q - 2 = 4*z - 6*z, x*z + 35 = 5*q. Does 3 divide q?
False
Let h = 54 - 28. Is 10 a factor of h?
False
Let c(w) be the third derivative of -w**4/6 - w**3/6 - 7*w**2. Does 21 divide c(-16)?
True
Is 9 a factor of 36/(-126) - 109*11/(-7)?
True
Suppose n + 0*n - 10 = 0. Let c = n - 5. Suppose 4*o - c*a - 55 = 0, -6 = -o - 2*a + 11. Is o a multiple of 10?
False
Suppose 0 = -6*w - 9*w + 2385. Is w a multiple of 7?
False
Suppose -4*s + 157 + 307 = 0. Is s a multiple of 29?
True
Let r(x) = x**2 + 4*x - 6. Let i = -18 + 12. Let j be r(i). Suppose -c + j = c. Is c even?
False
Let c(u) = 13*u + 31. Is 42 a factor of c(5)?
False
Let f be -1 - (2 + -2 - 4). Let a(d) = -6*d**2 + 2 - d**3 - f - 7*d - 3. Is a(-5) a multiple of 4?
False
Does 33 divide 986/6 + (-9)/((-27)/2)?
True
Suppose -v + 5*v = 12. Let q be (-3*v - -1)/(-2). Suppose 3*l + 38 + 17 = q*w, -l = -5*w + 55. Does 7 divide w?
False
Let k = 92 + -58. Let f = 62 - k. Does 12 divide f?
False
Let f(u) = -u**3 + 4*u**2 + 2*u - 8. Is f(-4) a multiple of 28?
True
Let h(x) = -3*x**3 - 3*x**2 + x + 3. Does 18 divide h(-3)?
True
Suppose -4*j = -2*j - 90. Is j a multiple of 12?
False
Suppose 2*w = 5*y - 1094, 0 = -5*y - 4*w + 1474 - 362. Does 10 divide y?
True
Suppose 2*g = 5*v + 4*g - 105, -2*g = -4*v + 84. Let s = 32 - v. Suppose 4 = z + 5*d - 7, -z = 2*d - s. Does 7 divide z?
False
Let b(p) = -1 + 2 + 3*p - 8*p + 2. Let f be b(-5). Suppose f = -m + 2*m. Does 10 divide m?
False
Let s = -3 - -53. Let k = s + -26. Is k a multiple of 12?
True
Suppose 0 = 2*s - 0*s + 8, 0 = -j + 2*s - 13. Let r = j + -11. Is 10 a factor of 6/(-4)*r/3?
False
Let d(k) = k + 13. Let j(q) = -q**2 + q + 2. Let w be j(2). Let o be d(w). Let x = o + 6. Does 19 divide x?
True
Let z = 343 - 127. Is z a multiple of 27?
True
Let l be 412/6 + (-2)/(-6). Suppose -l = -4*g + 2*q + 67, -3*g + 5*q = -88. Is g a multiple of 12?
True
Suppose 2*n - 3*w = 205, -4*n - 4*w = -w - 365. Is 24 a factor of n?
False
Let q(o) = -o**3 + 9*o**2 - 6*o + 11. Let n be q(8). Let u = n + -15. Does 5 divide u?
False
Let d(y) = 16*y - 1. Let j be d(6). Let v = -1 - -1. Suppose -6*a + a + j = v. Is a a multiple of 15?
False
Suppose -l + 14 = 3*u - 0*u, -3*l = -4*u + 23. Suppose 2*v = 3 + u. Suppose 2*d = -6, v*p - 4*d - 24 = 3*p. Is p a multiple of 11?
False
Suppose 0 = 5*k + t - 805, -2*t = -k - 0*t + 161. Is k a multiple of 12?
False
Is (-6)/4*(-184)/3 a multiple of 21?
False
Let j = -35 + 62. Let v = -8 + j. Is 5 a factor of v?
False
Suppose o = -0*v + v - 31, -25 = -5*o. Is 9 a factor of v?
True
Let f(v) be the second derivative of -37*v**3/6 + v**2 + v. Let t be f(-6). Suppose -2*x - t = -6*x. Is 20 a factor of x?
False
Suppose -5*b - 2*y + 225 = 0, -3*b - b - 2*y + 182 = 0. Does 22 divide b?
False
Suppose -3*m - b + 57 = 2*b, 57 = 3*m + b. Is 19 a factor of m?
True
Suppose -270 = -36*x + 26*x. Is x a multiple of 2?
False
Suppose -y = -23 + 11. Does 10 divide y?
False
Let a = 16 + -5. Is 13 a factor of 6 + -4 + 0 + a?
True
Suppose -2*o + 9 = 3. Let i(k) = o - 2 - 4 + 10*k + 0. Does 17 divide i(2)?
True
Is 27/((-3)/6 + 2) a multiple of 11?
False
Suppose 4*p - 5*p = 2, 170 = 2*s - 4*p. Let y = -43 + s. Is y a multiple of 13?
False
Let u(v) = 7*v**3 - 2*v**2 + v. Suppose 2*y + 2 = 4*y. Let x be u(y). Is 13 a factor of (-104)/x*6/(-4)?
True
Let m be 4/3*(-3)/(-2). Suppose 14*s - 360 = 11*s. Suppose t - s = -m*t. Does 18 divide t?
False
Let v(m) = -m**2 - 13*m + 6. Is v(-5) a multiple of 23?
True
Let u be 6/27 + (-86)/(-18). Suppose u*o = 122 + 13. Is o a multiple of 24?
False
Let y be 19 + -3 + (-3)/(-1). Suppose s - 11 = -3*w, -5*s = -w + y - 58. Does 8 divide s?
True
Suppose -j + 45 = -67. Is 16 a factor of j?
True
Let y be (6/12)/((-2)/(-8)). Suppose t - 12 = -y*z, -3*t - z + 87 = 2*t. Is t a multiple of 5?
False
Is 12 a factor of (-2)/(12/(-578)) + 38/(-114)?
True
Suppose 0 = -4*f + 7*f - 123. Is f a multiple of 14?
False
Let l be 0/(0 - -2) - -2. Let h = l - 2. Is 7 a factor of (1 - (h - 20))*1?
True
Let k(w) be the third derivative of -w**6/12 + w**5/30 + w**4/12 + w**3/6 + w**2. Let x be k(-1). Let p = x + -7. Does 2 divide p?
True
Let t be 10 + -8 + (-218)/(-1). Is (-11)/(t/(-384))*5 a multiple of 24?
True
Is 2/(-12) + (-2476)/(-24) + 0 a multiple of 47?
False
Let v = -5 + 8. Suppose w = -4*q - 6, -w + 2*w = v*q +