
True
Suppose 7*x - 27*x = -5880. Is x a multiple of 42?
True
Suppose 5*d + 53 = -12. Does 5 divide 3 - (2 - 1) - d?
True
Suppose 4*a + d - 4 = 0, 18 = -5*d - 2. Suppose a*l + l - 9 = 0. Suppose -5*x - 2*b + 82 = 0, -5*x + 4*b - l*b + 94 = 0. Is x a multiple of 9?
True
Let w = -153 + 250. Let p = w - -29. Suppose 5*a = p - 31. Is a a multiple of 14?
False
Let q = 10 - 18. Let i(f) = -f + 1. Does 9 divide i(q)?
True
Suppose 189 = -0*k + 2*k - 3*d, -d - 383 = -4*k. Is 30 a factor of k?
False
Suppose 0 = -4*b - b + 165. Is 6 a factor of b?
False
Suppose -j + 4*g - 6 = g, 5*g - 15 = 0. Suppose -d = -j*d. Suppose -68 = -2*h + 2*f, 2*h + 3*f - 68 = -d*h. Is 17 a factor of h?
True
Let b = -306 + 525. Suppose -3*h + 8*h - b = -2*q, -5*h = -5*q - 205. Is h a multiple of 19?
False
Let y(c) = -c + 86. Is y(18) a multiple of 17?
True
Let f(r) = 3*r**2 - 2*r + 7. Let y be f(6). Let i = 144 - y. Is i a multiple of 14?
False
Does 15 divide 2/3 - (-596)/6?
False
Let s(w) = -w + 8. Is s(2) a multiple of 2?
True
Let y(r) = -2*r - 3. Let j be y(-3). Suppose 18 = m + 4*h, m = -j*h + h + 14. Is m a multiple of 10?
True
Suppose 2*i - 15 = 17. Let b = i + -2. Suppose 4*m = 2*t + b, 3*t + 2*t - 5*m = -10. Is 2 a factor of t?
False
Suppose -2*z - 3 = z. Let s = z + 4. Is s a multiple of 3?
True
Let i(q) = -5*q + 6. Let k be i(-6). Suppose -3*a + 7*a - k = 0. Does 7 divide a?
False
Suppose 6 = -b + 9. Let r(o) = 9*o - 1. Is r(b) a multiple of 9?
False
Let k = -56 + 101. Let r = 135 - k. Let i = -44 + r. Is 18 a factor of i?
False
Let b(q) = q**2 + 7*q + 10. Let z(f) = 2*f + 7. Let i = 5 - 12. Let o be z(i). Is 10 a factor of b(o)?
True
Suppose -2*n + 206 = -2*x, -7*n = 5*x - 4*n + 475. Let s = 194 + x. Is 32 a factor of s?
True
Suppose 64 = -5*f + 159. Is 19 a factor of f?
True
Suppose -8 = 3*q - 5*q. Let a be (-4)/(-2) - (-1 + 3). Suppose -f - f + q = a. Is f even?
True
Suppose 0*k + 3*k - 96 = 0. Does 16 divide k?
True
Suppose 0 = -3*c - 4*l + 27, 3*c + 31 = 8*c + 2*l. Suppose 3*o - y - 52 = -c, 5*o - y - 81 = 0. Is 12 a factor of o?
False
Let y(x) = 12*x. Is y(7) a multiple of 17?
False
Let r = 15 + -22. Let l be (-8)/28 - 2/r. Suppose 0*q - 5*q + 100 = l. Does 7 divide q?
False
Let r = 138 + -127. Is r a multiple of 3?
False
Suppose -3*w = -5*f - 0*w + 334, 2*f - 128 = 4*w. Suppose 2*j + 41 - 103 = 4*r, 3*j = r + f. Does 21 divide j?
True
Let t = -6 - -6. Suppose t = -4*k + 78 + 50. Is 16 a factor of k?
True
Let a = -55 + 88. Does 7 divide a?
False
Let d(s) = 3*s + 1. Let g be d(1). Suppose 5*z = g*z. Suppose z + 80 = 2*r. Is 20 a factor of r?
True
Suppose -2 = 4*a - 14. Suppose -10 = 5*p, 7 - 23 = -a*w - 4*p. Is 4 a factor of w?
True
Let o = 10 - 11. Is o/(20/22 + -1) a multiple of 11?
True
Let m = 5 + 0. Suppose -16 = w - m*w. Suppose w*k + 5*b = 85 + 79, 5*k + 3*b = 192. Is 18 a factor of k?
True
Let t(p) = -p**2 + 3*p - 2. Let z be t(2). Suppose 2*w = -z*j + 5*j - 24, 2*j = -5*w + 27. Is j + (-2 - 2)/(-2) a multiple of 7?
False
Suppose 0 = 3*s + 6, -4*c + 8*s - 26 = 3*s. Let n = -2 - c. Is 2 a factor of n?
False
Let j be (-1)/2*-2 - 57. Let g = j - -80. Is 15 a factor of g?
False
Let w = -21 + 46. Is w a multiple of 25?
True
Let r(w) = -2*w - 4. Let m be r(-4). Let f(l) = 5*l**2 - 3*l + 4. Let z be f(3). Suppose -3*t - z = -m*t + 2*u, -4*t + 3*u = -180. Is t a multiple of 16?
True
Suppose -180 = 4*j - 9*j. Does 6 divide j?
True
Suppose 5*s + k = 561, 5*s - 563 = k - 4*k. Suppose -s = -4*b + 144. Is b a multiple of 20?
False
Let y(m) = -8 + 3*m - 7*m + 0*m. Does 9 divide y(-8)?
False
Let w = -9 - -6. Let b = 6 + w. Suppose 6*t + 20 = t, -3*s + 42 = -b*t. Is s a multiple of 4?
False
Let p be 2/(((-12)/(-81))/2). Let n = -11 + p. Let q = -10 + n. Does 6 divide q?
True
Let n(v) = -v**2 + 10*v - 12. Let w be n(8). Let h be (16 + -1)*12/15. Does 7 divide h/(w/18*3)?
False
Let a(m) = m**2 + 4*m + 4. Let u be a(-4). Let o(r) = -r**3 + 5*r**2 + 1. Is o(u) a multiple of 6?
False
Suppose 0 = 3*g - 4*u - 16, -u + 7 = -0*g + 2*g. Suppose -g*k - 2*t = -54, -3*k - 15 = -5*t - 88. Does 8 divide k?
True
Let x(l) = l**3 - 5*l**2 + 6*l - 4. Let g be x(4). Suppose -s = -3*b + 5*b - 6, b = -g*s + 52. Is 10 a factor of (-21)/s*40/(-6)?
True
Let k = -84 - -244. Let q = k + -94. Is 22 a factor of q?
True
Let r(m) = m**2 + 4*m - 3. Let v be r(-4). Let p(b) = 7*b**2 + 2*b - b**3 - 3 - 7*b**2. Does 7 divide p(v)?
False
Let c be 9/12 + (-34)/(-8). Suppose -2 = -c*n - 2*q, -n + 3 = 4*q - q. Suppose 4*b - 6*b + 34 = n. Is b a multiple of 14?
False
Let l(o) = 4*o**3 + 4*o**2 - 2*o - 2. Does 23 divide l(2)?
False
Let h(i) = i**2 + 7. Let y = 1 + -1. Does 7 divide h(y)?
True
Suppose 18 = -4*x - 6. Let a(y) = -y**3 - 6*y**2. Let k be a(x). Does 14 divide k*(-3)/(-3) - -30?
False
Suppose 255 = 4*i + 5*x - 80, -i - 4*x + 92 = 0. Suppose -5*j - b = -64, -5*b - i + 23 = -4*j. Is j a multiple of 13?
True
Let v(l) = -27*l + 4. Let i be v(-3). Suppose 0 = 3*y + 4*x + 121 - 33, 3*y + i = -x. Let n = 41 + y. Is n a multiple of 13?
True
Is 3 a factor of 2*(-15)/10 - (-15 + 0)?
True
Suppose 0*m + 4*j - 10 = -2*m, -13 = -5*m + 2*j. Let y = -21 + 21. Suppose 4*x - 57 = m*q + 10, y = 2*x + 5*q - 27. Is x a multiple of 5?
False
Suppose 0 - 12 = 2*i. Let k = 4 + i. Let n(w) = -2*w. Is n(k) even?
True
Let a(b) = -b**3 - 2*b + 6. Is 9 a factor of a(-3)?
False
Suppose 0 = 5*w - 10*w. Let u be w + (-1)/(-1) - -4. Let l(g) = 3*g + 3. Is 9 a factor of l(u)?
True
Is (-8)/10 + 3633/35 a multiple of 9?
False
Suppose -3*y + 2*y + 3 = 0, 1888 = 5*b - 4*y. Suppose b = 6*r - r. Is 25 a factor of r?
False
Does 10 divide 1/(292/144 - 2)?
False
Let a be (-6)/(-15) + (-4)/10. Suppose -3*l + 2 + 19 = a. Does 7 divide l?
True
Let t(o) = 133*o**3 + o**2. Let u be t(1). Let n = -79 + u. Is 13 a factor of n?
False
Suppose 502 = 4*g + 154. Does 29 divide g?
True
Suppose 5 = -5*i, 2*i - 82 = -5*m + 16. Is 5 a factor of m?
True
Suppose -o + 3*a + 0 + 3 = 0, -4*a + 12 = 4*o. Suppose c + o*c = -56. Let n = 26 + c. Is n a multiple of 5?
False
Is 1 + (-9)/((-36)/16) a multiple of 5?
True
Let i(k) be the third derivative of -k**5/60 + k**4/3 - 2*k**3/3 + 2*k**2. Is 10 a factor of i(4)?
False
Let b be 0/(1 - -1) - -5. Suppose b*q = 2*g - 0 + 21, 0 = g - q + 3. Suppose 160 = 6*p - g*p + 4*n, 4*n = 3*p - 85. Is p a multiple of 13?
False
Let j be (-26)/(-8) - (-2)/(-8). Let x = 2 - 2. Is 4 a factor of x - -2 - j*-2?
True
Suppose 2*m - 3*i + 3 - 33 = 0, -2*m = -i - 26. Let d be m/15*70/4. Let t = 33 - d. Is 8 a factor of t?
False
Suppose 2*c - 4*c = -84. Let i = 69 - c. Is 9 a factor of i?
True
Let n = -1 + 1. Suppose n = 2*j + 3*j - 530. Is j a multiple of 35?
False
Let x be 206184/54 - 4/18. Let y = x - 1746. Does 17 divide y/35 + 2/(-10)?
False
Let t = 50 - 24. Suppose t = z + 3*l, -6*l = -z - 4*l + 6. Does 4 divide z?
False
Let x = 6 + 14. Does 5 divide x?
True
Let v(z) = -9*z - 3. Let g be (15/(-20))/((-2)/(-8)). Is 10 a factor of v(g)?
False
Suppose 3*k - 392 = -4*x, 196 + 197 = 3*k + 3*x. Is k a multiple of 33?
True
Suppose 4*i = 7*i - 24. Does 4 divide i?
True
Is 17 a factor of 954/(-27)*6/(-4)?
False
Let f = 3 - -1. Suppose 4*a - 2*k - 60 = 0, f*a - 33 - 21 = -k. Does 5 divide 74/a + 10/(-35)?
True
Let y be (280/(-6))/4*-3. Let l = y - 21. Is l a multiple of 11?
False
Let r(w) = 3*w**2 - 1. Let i be r(1). Does 14 divide (36/16)/(i/24)?
False
Suppose 2*b = 5*r + 3 - 32, 4*b = -5*r + 17. Let d be (-3)/(b/4 + -1). Is 4 a factor of -3 + 3 + d + 6?
True
Let j(p) = p + 23. Let a(y) = y + 11. Let r be a(-11). Let h be j(r). Suppose -2*w + 49 = -h. Is 12 a factor of w?
True
Is 15 a factor of (-2)/5 + 302/5?
True
Let p = 152 + -57. Let o = p - 43. Does 11 divide o?
False
Let y be 1 - (2 + -3)*2. Suppose -2*k = -1 - y. Suppose -3*q - 31 = -4*w, -5*w - k*q = 3*q - 30. Is 3 a factor of w?
False
Let y(g) be the third derivative of -5*g**4/12 - 2*g**3/3 - 2*g**2. Does 12 divide y(-4)?
True
Suppose -x = -7*z + 3*z + 2, 0 = -3*x + z + 5. Is ((-117)/3)/((-3)/x) a multiple of 10?
False
Let v = 99 + -63. Is 18 a factor of v?
True
Suppose 0 = -4*l + 5*d - 21, -l + 5*d = -0*l + 24. Let p be (91 - l)*8/6. Suppose -p + 0 = -5*c. Is 12 a factor of c?
True
Suppose -9*s - 17 = -512. Is s a multiple of 37?
False
Let x = 212 + -135. Does 22 divide x?
False
L