 k a multiple of 6?
True
Suppose -3*p - 15 = -3*u, -2*u + 0*u + p + 7 = 0. Suppose -u*w - 3*t = -75 - 25, -2*t = 0. Does 13 divide w?
False
Suppose 4*c - 56 = -2*r, -5*c + 2*r = 5*r - 70. Suppose 4*h = 5*v + 9, 2*v + 2 = -h + c. Is h a multiple of 6?
True
Suppose 3*h - 2*n + 8 = 0, -3 = 2*h + n - 0. Let y be (h + -1)/((-3)/2). Suppose 4*f - 72 = -3*i + y*i, 5*f = -2*i + 90. Does 8 divide f?
False
Let n = -16 - -19. Suppose n*r + 69 = 5*r + 5*s, 3*s = -4*r + 103. Is 16 a factor of r?
False
Suppose c - 3 = -5*l, 9 = 2*l - c + 4*c. Let k = l + 9. Suppose 0 = -3*r + 63 + k. Is 8 a factor of r?
True
Let f(k) = k**2 + k - 1. Let w be f(0). Let c(s) = -32*s - 1. Does 14 divide c(w)?
False
Let g = 116 + -71. Let n be (-192)/(-20) + (-4)/(-10). Suppose -g = -3*a - 3*y, -3*a + a + 2*y = -n. Does 10 divide a?
True
Let n = 277 + -127. Is n a multiple of 15?
True
Let u be 8/(-2) + (-2 - 0). Let t = -4 - u. Is 11 a factor of (-1)/t*(1 + -27)?
False
Suppose 2*d + 0*d = 42. Suppose 1 = -4*o + d. Is 5 a factor of o?
True
Let v(t) = 2*t**3 - 7*t**2 + 4*t + 5. Suppose -5*y + 16 = 4*f, -2*y - f + 12 = -5*f. Is 16 a factor of v(y)?
False
Let j(k) = -8*k**3 + 6*k**2 + 3*k + 3. Is 9 a factor of j(-3)?
False
Let r(j) = -j**3 + 8*j**2 + 4. Let g(c) = c - 2. Let x be g(3). Let v(s) = s. Let m(k) = x*v(k) - r(k). Is 4 a factor of m(8)?
True
Let r = 3 + 0. Suppose 0 = -r*p + 2*p + 3. Suppose -w + p = -4*f - 22, -5*f = -w + 29. Is 7 a factor of w?
False
Let l be 7/(-49) + (-29)/(-7). Suppose l*w - 40 = -4*b + 20, 4*b + 2*w = 70. Is b a multiple of 10?
True
Suppose 3*k - 236 = -k. Is k a multiple of 25?
False
Suppose 0 = 8*l - 5*l - 33. Is 8 a factor of l?
False
Suppose -5*d = 2*b - 10 - 4, d - 4*b + 6 = 0. Suppose -5*h + 2*m + 87 = 16, 0 = -d*h + 3*m + 24. Is h a multiple of 3?
True
Let b be (-23)/(-7) - (-2)/(-7). Suppose 2*x = -0*x + 12. Is 14 a factor of ((-56)/x)/((-1)/b)?
True
Let q be 10/(3 - (-1 - -3)). Is 15 a factor of -1 - 36/(-8)*q?
False
Suppose -3*o + 2*o - f + 57 = 0, -3*f + 118 = 2*o. Let z = -13 + o. Suppose -t = t - z. Is 10 a factor of t?
True
Let v = 247 - -11. Is v a multiple of 16?
False
Let y = -60 + 85. Is y a multiple of 6?
False
Let p(m) = m**3 - 3*m**2 + 2*m - 1. Let k be p(3). Suppose k*h = 117 - 37. Is 6 a factor of h?
False
Let t(b) = 6*b + 1 - 6*b + 2*b**2. Let a be t(-1). Suppose -2*k - 4 = -a*k. Is k a multiple of 2?
True
Let v be 6 - 2*3/6. Let n = -2 + v. Suppose -4*k + n*k - 5 = 0, 5*b + 4*k = 240. Does 20 divide b?
False
Let q(w) = 2*w**2 + 7*w - 15. Does 9 divide q(6)?
True
Let w(m) = -m**3 - 2*m**2 + 3*m + 2. Let b be w(-3). Suppose b*r - 4*r = -62. Is 9 a factor of r?
False
Suppose -2*p + 54 = 4*g - 60, -2*p - 2*g = -124. Let j = p + -39. Is 14 a factor of j?
True
Suppose -95 + 19 = -n. Does 20 divide n?
False
Is 8 a factor of 6/(-9)*3 - -50?
True
Let w(l) = -3*l**2 + 7*l - 2. Let p be w(5). Let u be (-1208)/(-14) + 12/p. Let a = u - 58. Is 8 a factor of a?
False
Let y = -3 - -4. Suppose -c + 2 = y. Does 5 divide 12 - ((c - 3) + 2)?
False
Let a be 2/6 - 3/9. Suppose 2*w - 8 = -a. Suppose 3*n - w*n + 8 = 0. Is 4 a factor of n?
True
Let f = 289 - 143. Suppose -18 = 4*m - f. Does 21 divide m?
False
Let q be (0/2)/2 - 6. Does 3 divide (q/3)/(2/(-8))?
False
Let g(i) = -i**2 + 9*i - 2. Let v be g(8). Let s = v + -22. Let x = 24 + s. Does 6 divide x?
False
Suppose -3*p = 3*a - 582, 4*a - p - 770 = -2*p. Is 32 a factor of a?
True
Let q be 0/((-4)/(-2) - 3). Suppose -o + 44 + 21 = q. Suppose 6*g = g + o. Does 13 divide g?
True
Let h(p) = -p**2 + 6*p + 16. Does 7 divide h(5)?
True
Let x = 8 - 8. Does 2 divide x - (-9 + -1 + -1)?
False
Let o(z) = 4*z + 14. Let y be o(6). Suppose -5*f - 30 - 20 = 0. Let n = f + y. Does 27 divide n?
False
Let p = 33 - 9. Is 12 a factor of p?
True
Let u = 6 + 16. Is 20 a factor of u?
False
Let n(v) = v**3 + 8*v**2 + v + 9. Let s be n(-8). Is 17 a factor of ((-10)/20)/(s/(-46))?
False
Let g(k) = -k**3 + 4*k**2 - k + 5. Let h be g(4). Let l be (-1)/((-2)/(-4) - h). Suppose -l*m - n + 94 = -2, -53 = -m + 2*n. Is 21 a factor of m?
False
Let f = 128 + -46. Suppose -3*b + f = 4*c, 145 = 3*b + 2*b + 5*c. Does 17 divide b?
True
Suppose 3*w - 2*w - 2*r - 24 = 0, -40 = -w - 2*r. Suppose 0 = 2*u - 2 - w. Is u a multiple of 17?
True
Suppose -5*v = -2*n + 3*n + 18, 4*v = -3*n - 54. Let f = 66 - n. Is 28 a factor of f?
True
Let o(y) = -20*y - 11. Is 10 a factor of o(-3)?
False
Suppose -b - 14 = 2*b - 5*z, -4*b = -2*z. Let j = b - 2. Does 6 divide 1 - (-11 + j + 0)?
True
Let c = 14 - 10. Suppose -c*s - 1 = 19, -2*r + 5*s + 41 = 0. Does 3 divide r?
False
Let i be (-6)/(6/39 + 0). Let g = 59 + i. Is 10 a factor of g?
True
Suppose -10*v + 14*v - 232 = 0. Is v a multiple of 12?
False
Let q(a) = -3*a + 11*a + 20 - 18. Is q(3) a multiple of 13?
True
Let l = 282 - -28. Suppose -4*c = 2*o - 152, -4*o - 2*c + l = -0*c. Suppose -3*r - r = -2*i - o, 3*i = -5*r + 70. Is r a multiple of 7?
False
Suppose -13*c + 312 = -c. Does 4 divide c?
False
Let d(i) = i + 39. Let v be d(0). Let t = 86 - 81. Suppose 57 = -2*b + 6*b - t*n, v = 3*b - 3*n. Is 8 a factor of b?
True
Let h(l) = l - 11. Let f be h(9). Let g = 12 + f. Is g a multiple of 5?
True
Let h(x) = 2*x**2 + 3*x + 2. Let j be ((-12)/10)/(10/(-25)). Let s be -4 + j + (-2)/2. Is 2 a factor of h(s)?
True
Let m = 13 + -7. Is 5 a factor of (8/m)/(3/18)?
False
Let t = 19 - 36. Let k = 49 + t. Is 13 a factor of k?
False
Suppose -64*j + 66*j - 526 = 0. Is 15 a factor of j?
False
Let c be -3 + (-158)/(-2) + 2. Suppose 186 = 4*p - c. Is 18 a factor of p?
False
Let l = 31 - 9. Suppose w - l = 5*u, -2*w - w - 3*u = -30. Does 4 divide w?
True
Let v(b) = -6 - b**2 + 2*b + b**2 + b**2. Let j be v(6). Suppose -4*i - x + 30 = 0, j = 5*i - x - 0*x. Is 8 a factor of i?
True
Suppose 16 = 4*f - 196. Let k = -31 + f. Is 11 a factor of k?
True
Let j(t) = t**3 - 8*t**2 - t. Let b be j(8). Let s = b + 11. Is s a multiple of 3?
True
Let m(i) be the second derivative of -3*i**5/20 - i**4/12 + 2*i**3/3 + i. Let s be m(-3). Let a = s + -25. Is 14 a factor of a?
False
Suppose 0 = 2*x + 2*x - 20. Suppose 3 = -0*v + v. Suppose -4*r + 4*u = -v - 9, u = -x*r + 39. Does 3 divide r?
False
Let p(z) = z**2 + 15*z + 23. Is 13 a factor of p(-16)?
True
Is 32 a factor of (-289)/(-2) + (-57)/38?
False
Let o(u) = -u**2 + u + 2. Let w be o(0). Let a(q) = -q**2 + 3*q - 2. Let s be a(w). Is 33 + 0 - (0 + s) a multiple of 9?
False
Let o(i) = -i + 38. Let x = -4 + 4. Is 8 a factor of o(x)?
False
Suppose 116 = -4*c - 0*o - 5*o, 104 = -4*c - 2*o. Is 13 a factor of c/16*(-136)/6?
False
Suppose -5*r + 3*r = 0. Suppose r = -5*x + 3*c - 2, 3*x + 0*c + 10 = 4*c. Suppose -x*q = 3*w - 43, -3*q + 73 = 2*q - 4*w. Does 11 divide q?
False
Suppose -5*y + x = -176, 0 = -4*y + x - 5*x + 136. Is y a multiple of 15?
False
Let m be 2/(-1) + 10/2. Suppose m*p + 3*x - 16 = 2*x, 3*x = -6. Does 6 divide p?
True
Let s(k) = -k + 1. Let m be s(-4). Let x(u) = -u**3 + 6*u**2 + 5*u. Let q be x(m). Suppose 5*r - 2*l = 203, -3*l - q = 5*r - 233. Is r a multiple of 16?
False
Does 25 divide 50/3*135/18?
True
Let n(u) = 4*u + 2. Does 19 divide n(5)?
False
Is ((-3)/(-4))/((-3)/(-252)*3) a multiple of 7?
True
Suppose -160 = -2*f - 4*n, -5*n + 395 = f + 4*f. Let h = f + -56. Is 6 a factor of h?
False
Let r(m) = m**3 + 11*m**2 - 4*m + 14. Is r(-11) a multiple of 29?
True
Let y(u) be the first derivative of 3*u**2 + 3*u + 6. Does 19 divide y(9)?
True
Let f(v) = -v - 5. Let m be f(-10). Suppose 125 = -0*t + m*t. Does 12 divide t?
False
Let j(o) = -o**3 + 18*o**2 - 14*o - 9. Is 6 a factor of j(17)?
True
Suppose -78 = -4*l - 30. Does 12 divide l?
True
Let t(x) = -x + 9. Let b be t(5). Suppose 4*c = c - 6. Is (b/(-3))/(c/30) a multiple of 7?
False
Let h be (-5 + -110)*(-2)/5. Suppose h = 4*d - 38. Is d a multiple of 8?
False
Let a(p) = -2*p**2 + 3*p + 3. Let v be a(3). Let u = v + 8. Is (4 - 1)/(2/u) a multiple of 3?
True
Let x = 9 - 6. Suppose -7*b + 224 = -x*b. Is b a multiple of 28?
True
Suppose -5*g + 40 = -g. Suppose 0*h + h = g. Is h a multiple of 3?
False
Is 13 a factor of 13/(-2)*(0 - 18)?
True
Let y(v) = -v**3 + 5*v**2 + v - 1. Let s = 2 - -3. Is y(s) even?
True
Is (-1 - -26) + (-2 - -2) a multiple of 5?
True
Let h = -127 - -183. Does 14 divide h?
True
Let h(n) = 4*n