. Let a = 2 + j. Let k = 16 - a. Is 9 a factor of k?
True
Suppose -5*d - 103 + 1183 = 0. Is 18 a factor of d?
True
Let o = -5 + 7. Suppose 0 = -o*v - 5 + 13. Is (-6)/8 + 107/v a multiple of 13?
True
Let q = 5 - 0. Suppose q*w + 3*k = 2*k - 141, -k + 33 = -w. Does 22 divide (w + -4)/(6/(-8))?
True
Suppose 3*c + 15 = -2*c. Let b be 21/((2/c)/(-2)). Let m = b - 25. Does 20 divide m?
False
Let d be ((-12)/(-30))/((-1)/10). Is 2/d*(8 - 102) a multiple of 24?
False
Suppose -2*f = 2*d - 56, -f - 3 = -2*d + 41. Is d a multiple of 3?
True
Suppose 2*f + 4*v = 5*f - 25, 2*v = -4*f + 48. Let h = f - 5. Is h a multiple of 5?
False
Let m = 36 + -9. Suppose -4*d + m = -21. Is d a multiple of 7?
False
Let c be (-1)/(1 - 0) + -1. Let z = 4 + c. Is 6 a factor of (z/4)/((-1)/(-12))?
True
Suppose 0 = 5*q + 4*c - 65, 5*q + 3*c + 0*c - 70 = 0. Is 8 a factor of q?
False
Suppose q - 19 = -i, -3*i = -3*q - 0*i + 69. Is 13 a factor of (q/(-14))/(1/(-26))?
True
Let c(g) = 3*g + 42. Does 6 divide c(-10)?
True
Suppose 0 = 15*k - 2*k - 364. Is 4 a factor of k?
True
Suppose 150 = 5*g + 30. Is 15 a factor of g?
False
Let a be (0 + 2)*7/2. Let z = 18 + -14. Suppose c + 3*k - a = 0, -5*k - 3 = -c - z*k. Is c even?
True
Suppose -5*j - 16 = -86. Let l = j + -6. Is 2 a factor of l?
True
Let y(z) = -5*z - 14. Is 3 a factor of y(-5)?
False
Let o be ((-268)/(-16))/(2/8). Suppose -i = -5*v + o + 174, 3*i = -2*v + 93. Is 16 a factor of v?
True
Suppose 8*d = 3*d + 425. Suppose d = 5*q - 90. Is 17 a factor of q?
False
Suppose -20*w + 22*w = 274. Is 9 a factor of w?
False
Let t(z) be the first derivative of -z**2/2 - 4*z - 1. Let q be t(7). Let m = 15 + q. Is m a multiple of 4?
True
Let m be (-34)/6 - 1/3. Does 4 divide m*(-3 + (-28)/(-12))?
True
Let b(p) = p**2 - 8*p + 7. Let s be b(7). Suppose -3*v - v = s. Suppose -4*n + 60 = -v*n. Is 6 a factor of n?
False
Let c be 2/(-8) - 50/(-8). Let q = 6 + c. Is 6 a factor of q?
True
Let u = -61 - -26. Is (-7)/u - (-117)/15 a multiple of 4?
True
Let q(k) = -k - 7. Let d be q(-11). Suppose 0 = 3*v + 4*l - 59, 2*v + 0*v + d*l = 38. Is 10 a factor of v?
False
Let y(u) = u**2 + 6*u + 9. Let t be y(-7). Let z be (7 - 3)/2 - t. Let f = z + 23. Is 4 a factor of f?
False
Suppose -2*z - 5*r + 67 = 0, -2*z + 2*r - 3*r = -55. Is 7 a factor of z/(0 + 2 + 0)?
False
Let y(h) = 3*h**2 + 6*h + 2. Let g be y(-4). Suppose o + 10 = g. Is 5 a factor of o?
False
Let g = 3 + -3. Suppose g = 4*z - 22 - 14. Does 3 divide z?
True
Let k = -34 + 46. Is k a multiple of 3?
True
Let m(k) = -k - 7 - k + 5. Is 2 a factor of m(-3)?
True
Suppose 4*j = 16, 10 = 3*v + 3*j - 17. Let g be 4*(-6)/v*5. Is (9/12)/((-1)/g) a multiple of 16?
False
Suppose -2*b = -0*b - 28. Suppose -w = -0*w - b. Is 10 a factor of (2 - 8)/((-3)/w)?
False
Let u = -360 - -504. Is 16 a factor of u?
True
Let j(v) = -v**2 - 3 + 2 - 5*v + 5*v**2 - 2. Is j(-3) a multiple of 24?
True
Suppose 4*w = 2*r - 2, -4*r - w - 2*w = -26. Suppose q + r*x + 21 = 0, 4*x = -15 - 5. Is 3 a factor of q?
False
Let n(z) = 25*z - 6. Is n(3) a multiple of 22?
False
Let c = 10 + -9. Suppose m - z + c = 5, 5*z - 5 = 0. Is m a multiple of 5?
True
Let o = 69 - 40. Suppose 3*f - 5*f = -4*u + 74, -u + 4*f = -o. Is u a multiple of 9?
False
Let p(h) = -h**3 + 18*h**2 + 24. Is p(18) a multiple of 8?
True
Suppose 5*z - 407 = 663. Does 13 divide z?
False
Let s(r) = -19*r**3 - 2*r**2 - r. Is 6 a factor of s(-1)?
True
Let x be -2*1 - -85 - -1. Is 7 a factor of (2/4)/(3/x)?
True
Let s(c) = -c**3 + 2*c**2. Let g be s(1). Suppose g = -f + 13. Is 12 a factor of f?
True
Let f = 80 + -27. Is f a multiple of 14?
False
Let h(m) = m**2 - 4*m + 6. Let o be h(-6). Suppose 5*s - o = 114. Is s a multiple of 12?
True
Suppose -o = 4*m + m - 160, 4*o + 160 = 5*m. Is m a multiple of 13?
False
Suppose -4*t + 131 = -i, 2*t - 3*i = -3*t + 155. Suppose 0 = 5*w - t - 6. Does 3 divide w?
False
Is 2 a factor of -3*(-1 + (-8)/3)?
False
Suppose -a + 4 = -0. Suppose -a*g + 16 = -2*g. Is g a multiple of 7?
False
Let o(f) = -5*f**3 + 1. Let a be o(-1). Let p = -7 + a. Does 19 divide (1/p)/((-8)/424)?
False
Let j(l) = -2*l - 10. Let n be j(-7). Suppose -2*k + 43 = -0*t + 3*t, 0 = n*k + 4. Does 15 divide t?
True
Suppose 146 - 5 = 3*f. Suppose 0 = 5*z - f + 17. Does 13 divide (-117)/z*(-4)/6?
True
Let g(v) = -v**3 + 6*v**2 + 8*v - 4. Let h be g(7). Suppose 0*t = h*t - 84. Is 14 a factor of t?
True
Suppose 0 = y + 19 - 79. Does 10 divide y?
True
Let y(r) = 7*r - 1. Let o(n) = n. Let p(m) = 6*o(m) + y(m). Is 19 a factor of p(3)?
True
Let c be (-1 + 2)*(-26)/(-2). Let n = -38 - -88. Suppose -5*i = -t + c, i - n = -2*t - i. Does 11 divide t?
False
Let f be (-3)/(-3) + 0 - 1. Let k = -8 - f. Is 16 a factor of (-16 - -4)*k/3?
True
Suppose -l + 15 = 4*l. Suppose l*h = 9 - 3. Suppose 8 = -0*a - h*a, -a = 2*i - 12. Does 4 divide i?
True
Let z(o) = -8 + 0 + 10*o + 0*o**2 - o**2. Is z(7) a multiple of 6?
False
Let n(b) = 10*b**2 - 2*b - 1. Is n(-2) even?
False
Suppose 2*r - 5*r = -36. Let y = r + -9. Let j = y - -1. Is j a multiple of 4?
True
Suppose 0 = 4*d - 114 - 58. Is 11 a factor of d?
False
Let p = -27 - -47. Suppose -5 = 5*w - a, 3*a - p = -4*w - a. Suppose w = -4*o - 0*o + 52. Is o a multiple of 13?
True
Suppose 5*s - 26 = -1. Suppose 2*x - 2*c + s - 15 = 0, 4*x - 3*c = 17. Is (x/5)/((-2)/(-10)) a multiple of 2?
True
Let q(j) = j**3 - 5*j**2 - 12*j + 14. Is 19 a factor of q(9)?
False
Suppose 50 = 3*w + w - 5*x, 3*x + 6 = 0. Is w a multiple of 8?
False
Let f(o) = 2*o**3 - 4*o**2 + 3*o + 2. Let y(v) = -v**3 + 7*v**2 + 8*v + 3. Let p be y(8). Let u = 6 - p. Is 16 a factor of f(u)?
False
Let j = -1 + 4. Suppose -j*o = -o. Let n = 8 + o. Does 8 divide n?
True
Is 4 a factor of ((-9)/(-6))/(1/18)?
False
Let z(c) = c**2 + 10*c - 9. Let m be z(-10). Does 9 divide 6 + m + 1*30?
True
Let d(m) = m**3 + 4*m**2 - 2*m + 3. Let w be d(-4). Suppose 4 = 5*c - w. Suppose 3*h = -c*l + 30, -2*l = h - 8 - 13. Is l a multiple of 8?
False
Suppose 2*m - 6 + 0 = 0. Let y(k) be the first derivative of -k**4/4 + k**3 + k**2 - 2*k + 9. Is y(m) even?
True
Suppose 2*h = 4*d - 3*h - 1513, -d + 347 = 5*h. Is d a multiple of 57?
False
Suppose 2*b = -3*n - 0*b - 2, -5*b = 5. Suppose 3 = g - n. Suppose g*m - 4*k = 19, -4*m + 4*k = -0*m - 28. Does 3 divide m?
True
Suppose n - 79 = -2*v, 2*v + 2*n = -12 + 94. Suppose 3*g = g + v. Is g a multiple of 9?
False
Let f(v) = -5*v**2 - 31. Let t(b) = -3*b**2 - 15. Let l(w) = -4*f(w) + 7*t(w). Is 19 a factor of l(0)?
True
Let w = 119 - -7. Does 10 divide w?
False
Suppose -4*z + 17 = 1. Let v be z - (0 - (0 - -1)). Suppose m - v*m + 104 = 0. Does 11 divide m?
False
Let q = -16 + 109. Is q a multiple of 31?
True
Suppose -15 = -n + 4*p, -2*n + p + 6 = -n. Let r be 6/18 + 26/n. Suppose r = 3*l - 24. Is 7 a factor of l?
False
Let q = 42 - 78. Let n = q + 64. Is 14 a factor of n?
True
Let n(f) = f**3 + 4*f**2 - f + 7. Let t be n(-5). Does 21 divide -3 + 3/(-1)*t?
False
Let o be 6/(-9) + 6/9. Suppose o*z + 52 = 4*z. Is z a multiple of 8?
False
Suppose o - 106 = 19. Is o a multiple of 29?
False
Let k(m) = m**3 - 2*m**2 - 2*m + 2. Let z be k(3). Suppose 0 = 2*t - 2*a - 64, -z = -5*t + 2*a + 161. Is 17 a factor of t?
True
Suppose 94 = -z + 2*z + 5*b, -5*b = -z + 94. Is 19 a factor of z?
False
Let n(f) = 47*f + 4. Let z be n(3). Suppose j - z = -4*s, -2*s - 3*j = -6*s + 125. Is 15 a factor of s?
False
Suppose -3*r = -o + 3, 2*o + 5*r - 10 = -4. Is o even?
False
Let h = -11 + 15. Suppose 3*i + 5*x = -0*x + 122, 0 = 2*x + h. Is 15 a factor of i?
False
Let i(x) be the third derivative of x**6/120 + 7*x**5/60 - x**4/12 - 2*x**3/3 - x**2. Is 4 a factor of i(-7)?
False
Suppose k - 4 = -2. Suppose 59 = k*t + 17. Is t a multiple of 7?
True
Does 53 divide (6/8)/((-18)/(-3816))?
True
Suppose 7*w - 12*w + 495 = 0. Does 9 divide w?
True
Let o be (-1336)/20 + (-1)/5. Let b(n) = -n**2 - 2*n - 5. Let m be b(-7). Let h = m - o. Is h a multiple of 12?
False
Let x(a) = 4*a**2 - a + 3. Let g(o) = 17*o**2 - 4*o + 13. Let n(h) = -4*g(h) + 18*x(h). Does 8 divide n(3)?
True
Let q be ((6 - 3) + -2)*82. Let s = -36 + q. Is 23 a factor of s?
True
Let a = 4 - 4. Let p be (a - 0)*(-3 + 2). Suppose 5*f + 2*h - 45 = p, -f + 9 = 2*h - 0*h. Is f a multiple of 4?
False
Suppose 76 = 4*n + 16. Does 8 divide ((-9)/n)