 = -h + 2*h. Suppose -7*k = -h*k + 72. Does 12 divide k?
True
Let n(o) = 8*o - 1 - 4*o + 4*o - 3*o**2 - o. Let j be n(5). Let s = j - -65. Is 12 a factor of s?
True
Let y be (-18)/(-10) - (-3)/15. Is 7 a factor of 3 + -6 + (12 - y)?
True
Is 59/2*(5 + -3) a multiple of 11?
False
Let j be (-184)/(-3) - 4/(-6). Suppose -2*n = -n - j. Let s = n - 32. Is 15 a factor of s?
True
Let a = 13 - 27. Let h be (-8)/5*35/a. Suppose h*k - 2 = 2*f - 10, 8 = 2*f + 5*k. Is f a multiple of 2?
True
Let a(i) = -i**3 + 10*i**2 - 9*i + 4. Let c be a(9). Suppose -c*m + x + 14 = 0, -4*x - 4 = -2*m - m. Is m a multiple of 4?
True
Suppose 155 = 3*l - 5*b, 3*b = l - 16 - 37. Does 25 divide l?
True
Suppose 7 = 2*k - 4*x + x, k + 4*x + 13 = 0. Does 12 divide -1*1 - (k + -36)?
True
Let n = 106 + 7. Does 27 divide n?
False
Is 13 a factor of (-6)/27 + (-1268)/(-36)?
False
Let u(x) = -x**3 + 19*x**2 - 32*x + 23. Is u(17) a multiple of 9?
False
Does 11 divide 3/12 - 147/(-4)?
False
Let f(p) = -p**3 - p**2 + p + 2. Let c be f(0). Let h = c + -4. Is 4 a factor of -1*h*21/6?
False
Let z = -445 - -629. Does 30 divide z?
False
Let b(v) = v**3 - v**2 - v + 87. Is 29 a factor of b(0)?
True
Let u = 94 + 78. Let c = u + -92. Let d = c - 38. Is 18 a factor of d?
False
Suppose -5*y + 10 = 0, -2*y = 5*p - 4*y - 16. Is 12 a factor of (-95)/(-4) - p/(-16)?
True
Suppose -2*k - 13 = -5*k + 2*l, 0 = -4*k + 4*l + 24. Let u(s) = k + 3*s + 2*s - 2*s + 1. Is 10 a factor of u(6)?
True
Let u(h) = h**2 - h - 6. Let o be u(0). Let q(y) = -y**2 - 7*y - 5. Let x be q(o). Is 18/(-1)*x/(-3) a multiple of 3?
True
Let v be (-3)/2*80/(-24). Suppose 92 = -v*y + 6*y. Is y a multiple of 21?
False
Let l = -11 + 19. Suppose -605 = 3*y - l*y. Is y a multiple of 31?
False
Suppose -5*w = -5*r + 80, -w - 46 = 2*r - 5*r. Is 14 a factor of r?
False
Suppose -46 = -2*x - 12. Is x a multiple of 4?
False
Let s(l) = -l**2 - 4*l + 5. Let g be s(-5). Suppose -5*i - 5*p - 7 + 272 = g, 0 = -5*i - 4*p + 269. Is 19 a factor of i?
True
Let d(m) = 6*m**2 + 8*m - 13. Does 23 divide d(4)?
True
Let o(l) = 19*l**3 - 2*l**2 - 3*l + 2. Is 14 a factor of o(2)?
True
Let o = -5 - -8. Suppose 82 = 2*s - m - 2*m, -138 = -3*s - o*m. Does 22 divide s?
True
Suppose -4*m - l = -2*m - 59, 4*m = 3*l + 123. Is 7 a factor of m?
False
Let d be 0 + (-3)/(-6)*-6. Is 10 a factor of d*(-2)/9*30?
True
Suppose 3*h - 3*f = 2*f + 32, 0 = 3*f + 12. Does 4 divide h?
True
Suppose -594 = -6*k - 114. Does 16 divide k?
True
Suppose 4*i + 36 = -3*x, 5*i + 3*x = 4*i. Let z = 42 + i. Is 13 a factor of z?
False
Let c = -34 + 69. Is 11 a factor of c?
False
Let x = -16 + 48. Is x a multiple of 16?
True
Is 9 a factor of (-260)/(-25)*((-15)/6)/(-1)?
False
Suppose -2*d + 205 - 68 = 3*j, -2*d - 4*j + 136 = 0. Is 12 a factor of d?
False
Suppose -3*v + 3*p + 30 = 0, p + 4*p = -4*v + 40. Is 5 a factor of v?
True
Suppose -2*d + 5*h = -0*d - 39, 0 = 5*d + 2*h - 112. Let i = 45 - d. Is 13 a factor of i?
False
Let s = -91 - -137. Is s a multiple of 10?
False
Let s(c) = 3*c**2 - c. Let h be s(-1). Suppose 4*y + 15 = h*t - 1, -2*t = -4*y - 8. Suppose y = 2*w - 5*w + 39. Is w a multiple of 5?
False
Let j = 7 + -1. Let q be 4/3 - 2/j. Does 8 divide (21 - q)*3/3?
False
Let w(a) = -a**3 + 6*a**2 - a + 11. Let z be w(5). Let d be 86/(-7) - 2/(-7). Let t = z + d. Is t a multiple of 19?
True
Let c(m) = 4*m + 2*m**2 + 0 + m**3 + 1 - 2*m**2 + 2*m**2. Let r be c(-4). Let y = -27 - r. Is y a multiple of 10?
True
Does 6 divide 4/(-12) - 57/(-9)?
True
Suppose -3*q - 37 = -5*v + 19, 4*v + 4*q - 32 = 0. Let d = 14 + v. Let j = -12 + d. Does 12 divide j?
True
Suppose 3*f - 121 = -40. Is f a multiple of 9?
True
Let p(c) = -c. Let x be -1*-2*3/(-2). Let r be p(x). Suppose 2*s + 4*m - 78 = -s, -r*s - m + 69 = 0. Does 11 divide s?
True
Let i be (-3)/(2 - 3) + 41. Suppose -4*a = -8*a + i. Does 10 divide a?
False
Suppose -3*w = 15 - 6. Suppose 5*o + 45 = 3*q, o - 4*o = -5*q + 75. Does 12 divide 5/q + (-47)/w?
False
Suppose 7*i = 3*i + 380. Is 13 a factor of i?
False
Does 4 divide (4 + (-265)/10)*-2?
False
Suppose -k - 142 = -3*k. Is k a multiple of 18?
False
Suppose -2*w + 12 = 2*w. Suppose -2*j = -w*j + 6. Is 22/j + (-4)/6 a multiple of 3?
True
Let l(m) = -3*m**3 - 4*m**2 + 1. Let w(z) = -2*z**3 - 4*z**2. Let a(j) = -3*l(j) + 4*w(j). Let u be a(3). Is (-6)/1*u/8 a multiple of 9?
True
Suppose 0*w - w + 5*g = -11, -5*w = g - 81. Let p be (12/w)/((-2)/(-32)). Let q = 25 - p. Does 8 divide q?
False
Let p(l) = l**3 + l**2 - 7. Is p(5) a multiple of 32?
False
Let w(b) = 5*b**2 - 2*b - 1. Let j(o) = o**2 + 10*o - 12. Let q be j(-11). Is w(q) a multiple of 4?
False
Suppose 4*t - 20 = 0, 4*q + 3*t = -t + 20. Suppose 4*p - 19 = i, -2*p + q*i + 2*i = -8. Is p even?
False
Suppose 0*o + 3*o + 66 = 0. Let z = -61 - -17. Let x = o - z. Is 11 a factor of x?
True
Let o = 186 + -56. Is o a multiple of 13?
True
Suppose 4*u - 3*k - 99 = u, 3*u - k - 105 = 0. Does 18 divide u?
True
Suppose -2*z + 23 = 3*z + 4*g, -5*z + 5*g + 50 = 0. Let q = 15 - z. Does 4 divide q?
True
Let s = 35 - 22. Is 13 a factor of s?
True
Suppose 0 = -4*q - 2*b - 14, 4*q + b + 10 = q. Let p = -11 + 16. Let n = p - q. Is n a multiple of 8?
True
Let m = 18 + -16. Suppose m*t = -0*t + 16. Does 6 divide t?
False
Let u(t) = 7*t - 5. Suppose -4*b + 5*g - 1 = 0, 1 = -5*g + 26. Does 9 divide u(b)?
False
Let u = -7 + 7. Let l be (-1)/(-2)*u + -4. Is 2 a factor of l/(-18) + (-125)/(-45)?
False
Is 1/(-3) - (280/15)/(-2) a multiple of 7?
False
Suppose 0 = -3*f + 2 + 4. Let t(z) = -4*z**f - z**3 - 10 + 8*z + 10. Is t(-6) a multiple of 7?
False
Let o(r) = r + 7. Let x = 13 - 18. Let p be o(x). Suppose 5*c = 3*a + 109, -2*a + 8 = -p*c + 50. Does 10 divide c?
False
Let z(t) be the second derivative of t**5/20 + 7*t**4/12 + 5*t**3/6 - 2*t**2 + 2*t. Let b be z(-6). Suppose 0*n + 32 = b*n. Is n a multiple of 8?
True
Let a(b) = b**2 + 3*b - 17. Is a(-7) a multiple of 11?
True
Let k = 0 + 2. Suppose -65 - 75 = -k*m. Suppose -4*d - m = -9*d. Is 14 a factor of d?
True
Suppose 788 = 5*j - 3*x, -5*x - 140 = -j - 0*x. Suppose 7*l + j = 5*w + 2*l, -4*w + 2*l + 128 = 0. Does 10 divide w?
False
Let w = 12 - 7. Suppose -w*l + q + 189 = 2*q, -3*q - 41 = -l. Is 19 a factor of l?
True
Suppose 0 = 2*o - 313 + 57. Does 32 divide o?
True
Let k be (2/(-2) + 1)*-1. Suppose k = 2*u - 5*u + 9. Suppose u*z = 71 - 14. Is 19 a factor of z?
True
Let s = 23 - 15. Suppose -75 = -s*o + 3*o. Is 5 a factor of o?
True
Is 22 a factor of 1 - -66 - (-5 + 0)?
False
Is (3/36*51)/((-1)/(-8)) a multiple of 34?
True
Suppose -4*a + 0*w - 3*w + 20 = 0, 0 = -3*a + 4*w - 10. Let n(r) = r**2 + r - 2. Let o be n(a). Suppose 0 = -o*m - 0*m + 32. Does 5 divide m?
False
Let g(o) be the second derivative of o**7/2520 - o**6/360 - o**5/15 - o**4/12 + 2*o. Let b(f) be the third derivative of g(f). Is 20 a factor of b(8)?
True
Suppose 3*z + 2*s = 743, -3*z - 9*s + 5*s + 733 = 0. Is 32 a factor of z?
False
Suppose 3*y - 5*y - 10 = -2*f, 5*y = -2*f - 46. Is 13 a factor of 64*((-28)/y - 3)?
False
Suppose 0*q - 26 = 2*q. Let a = -8 - q. Is 5 a factor of a?
True
Let r be 0/1 - -1 - 15. Let n = -9 - r. Suppose 0 = 5*q + n*k - 35, 2*k = -3*k + 5. Does 6 divide q?
True
Suppose k = -c + 120, -2*k = c + 3*k - 120. Is 8 a factor of c?
True
Let m(t) = -t**2 + 15*t - 2. Is m(5) a multiple of 16?
True
Is (1 + 5 + -3)*10/1 a multiple of 27?
False
Let r(a) = a**2 + 9*a + 2. Let m be r(-9). Suppose 0 = -3*c - m*c + 25. Is 2 a factor of c?
False
Suppose 4*b + 6*o = 2*o - 236, -o = 0. Let n = b - -154. Let w = n + -64. Does 14 divide w?
False
Let n(p) = p**2 - 5*p - 4. Let z = -3 - -3. Suppose z = -4*a + 4*w + 28, -a + 7 = 3*w - 0*w. Is n(a) a multiple of 10?
True
Let w = -25 + 19. Does 6 divide 28/w*15/(-10)?
False
Suppose -5*n - 8 = -128. Does 8 divide n?
True
Let q(r) = 3*r**2 + 4*r - 5. Is q(-4) a multiple of 20?
False
Let i = 9 + 3. Is i a multiple of 4?
True
Let d(j) = j - 3. Let w(o) = o - 3. Let r(u) = -6*d(u) + 5*w(u). Is 7 a factor of r(-4)?
True
Suppose 2*q = -7 - 17. Let i = -6 - q. Is 6 a factor of i?
True
Suppose 386 = 7*u - 174. Does 16 divide u?
True
Suppose -3*p + 144 = -5*d, -p = -6*p + d + 262. Does 18 divide p?
False
Suppose 0 = -5*q + q - 4. Let n = 5 + q. Is 2 a factor of (-3 + 1)/((-2)/n)?
True
Let b(m) = -m**2 +