f = -0*d - d. Suppose 0 = -d*i - 0*i + 6. Is i a multiple of 3?
True
Let m(b) = -12*b - 1. Let x be m(1). Let l = x + 57. Let w = -29 + l. Is 15 a factor of w?
True
Let n = -4 + 7. Suppose -n*z + 12 = z. Suppose -z*r + 4 = -26. Is r a multiple of 5?
True
Suppose 2*k - 2*p = 10, 0 = 2*k + 2*p - 0 + 2. Suppose x + s - k = 0, -3*x - 8 = -7*x - s. Does 2 divide x?
True
Suppose -12 = -4*d, 2*m = 2*d + 2*d - 130. Let p = -37 - m. Is 11 a factor of p?
True
Suppose -3*q + t = -q + 23, -20 = 2*q - 2*t. Let x = q + 45. Is 11 a factor of x?
False
Let f = 69 - -11. Is 16 a factor of f?
True
Let l = 6 + -3. Let v be ((-6)/(-4))/(l/(-4)). Let u = v - -8. Does 3 divide u?
True
Suppose -4*j - 3 = -3*j. Let w be j/(-2) + 9/(-2). Let g(n) = -n**3 - 2*n**2 + 2*n + 1. Is g(w) a multiple of 3?
False
Let z(g) = 163*g. Let r be z(1). Let s = 7 - 2. Is 13 a factor of 10/25 + r/s?
False
Let m(b) = b**3 + 8*b**2 + 5*b - 1. Let q be m(-7). Suppose 23 = 2*l + 3*d, -l - l - d = -q. Let r = 10 - l. Is r a multiple of 6?
True
Let c(m) = 29*m**2 - 1. Let r be (3/(-3))/((-2)/22). Suppose r = -f - 3*a, 3*a = 2*f - 6 - 8. Is c(f) a multiple of 10?
False
Let c = -15 - -19. Is 3 a factor of -1 - (c - 48/3)?
False
Let h = -7 + 6. Does 11 divide 7/(21/36) + h?
True
Let a(c) = -c - 1. Let x(b) = -2*b + 20. Let n(i) = -a(i) + x(i). Suppose p = 2*p - 9. Is 6 a factor of n(p)?
True
Suppose 0 = n + n, 2*s = -4*n + 50. Is 6 a factor of s?
False
Let v(i) = -i**3 - 24*i**2 - 5*i. Is 20 a factor of v(-24)?
True
Suppose -4 - 204 = -8*i. Is i a multiple of 10?
False
Let t(a) be the third derivative of -a**6/120 + a**5/6 - 5*a**4/24 - 13*a**3/6 + a**2. Is t(9) a multiple of 23?
True
Suppose 5*q - 564 = -r, -2 = 5*r + 3. Is q a multiple of 34?
False
Suppose 2*p = 7 + 137. Does 9 divide p?
True
Let a(k) = k**3 - k + 1. Let z(m) = -2*m**3 + 7*m**2 + 9*m - 9. Let r(x) = 3*a(x) + z(x). Let f = -15 + 10. Is 5 a factor of r(f)?
False
Let o(t) = 0*t + 12 - 20 - 4*t. Does 8 divide o(-6)?
True
Let x = -24 - -35. Suppose -55 = 6*t - x*t. Is t a multiple of 3?
False
Let y(i) = 65*i**3 + 2*i**2 - 1. Let p be ((-8)/(-12)*-3)/(-2). Does 11 divide y(p)?
True
Let h = 14 + -9. Suppose -h*s = -48 - 22. Is 14 a factor of s?
True
Suppose 0 = -2*j - 5*t + 199 + 205, 5*j + 4*t = 1010. Does 20 divide j?
False
Let f be (-1)/3 - 93/(-9). Is 7 a factor of (f/4)/(8/80)?
False
Let f(x) = 3*x**3 + x**2 - 2*x - 3. Suppose z - 6 = -z. Let n be f(z). Suppose -5*o = -4*y + n, 2*y + o = -y + 37. Is y a multiple of 14?
True
Suppose -17*d - 80 = -21*d. Does 10 divide d?
True
Let h(p) = 2*p - 2. Let n be h(3). Let z(x) = -5 - 1 + 5 - n - 2*x. Does 11 divide z(-11)?
False
Suppose -5*m - 253 = -2*y, 4*y - 3*m + 4*m - 561 = 0. Is 21 a factor of y?
False
Suppose 56 = 3*k + 2. Is k a multiple of 3?
True
Suppose -b + 213 = 3*k, 0*k + 71 = k + 5*b. Suppose -a - 186 = 5*w, -54 = w - 0*w - 4*a. Let t = w + k. Is t a multiple of 15?
False
Suppose 0 = 4*n + l - 17, -l + 37 = 4*n + 4*l. Suppose 2*g + 3*d + n = 0, d + 23 = -0*g + 3*g. Let y = 3 + g. Does 7 divide y?
False
Is (6/4*6 - 0)*2 a multiple of 4?
False
Let g = 2 + -5. Let q(r) = r**2. Let w(t) = 3*t**2 - 6*t + 3. Let x(h) = -4*q(h) + w(h). Is x(g) a multiple of 12?
True
Let c = -239 + 131. Let a = c - -156. Is 17 a factor of a?
False
Suppose -2*w + 3*l = 3*w - 257, 5*w - 2*l - 258 = 0. Is 31 a factor of w?
False
Let k = 511 - 185. Does 45 divide k?
False
Let u = -299 - -429. Is 13 a factor of u?
True
Is 7 a factor of (0 - (-14)/(-8))*-4?
True
Let p(q) = q + 11. Let b be p(-8). Suppose -u = -b*u + 20. Let f = u + -2. Is f a multiple of 7?
False
Suppose -7 = -2*q + 7. Is 2 a factor of q?
False
Let n(a) = -a - 6. Does 2 divide n(-16)?
True
Suppose 4*o = -3*o + 812. Is 16 a factor of o?
False
Let k be -3*(-9)/(81/42). Let s = k + 16. Is 16 a factor of s?
False
Suppose -2*a = -5*l + 305, -5*l + 259 + 71 = 3*a. Is l a multiple of 9?
True
Suppose -3*f + 5*x = -16, -2*f + 5*f + 4*x = 25. Let i be (f + (2 - 3))/(-1). Let m(b) = -4*b - 8. Does 16 divide m(i)?
True
Let j = -1 - -5. Suppose 6*i - 17 = -3*y + 2*i, -i = -j*y + 29. Is y a multiple of 4?
False
Let g = -6 + 3. Let d = g - -6. Suppose 2*v + 41 = 7*v - 2*f, -v + d*f + 3 = 0. Is 9 a factor of v?
True
Let o be (2/4)/(1/40). Suppose m - 3*m + o = 0. Does 7 divide m?
False
Let q(k) = k**3 + 6*k**2 - 6*k + 4. Does 21 divide q(-6)?
False
Let b(x) = -20*x - 2. Let j be b(3). Let a = -30 - j. Is a a multiple of 6?
False
Let a(z) = 7*z**3 + 6*z**2 + 3*z. Let h(q) = 6*q**3 + 6*q**2 + 3*q. Let b(g) = -5*a(g) + 6*h(g). Let i = 4 + -6. Is 4 a factor of b(i)?
False
Suppose 0 = 2*m + m - 5*o + 73, -56 = 2*m + 4*o. Is 14 a factor of m/(-65) - (-136)/10?
True
Suppose 0 = -4*z + 8*z. Suppose m + 5 - 25 = z. Is m a multiple of 5?
True
Let r = 3 + -2. Let v(d) = 11*d**3 + 2*d**2 - 1. Is v(r) a multiple of 6?
True
Let w be 87/5 + 2/(-5). Let y = w + 3. Is y a multiple of 20?
True
Let b be (-4)/22 + (-84)/22. Let j be (-1)/(-4) + 9/b. Is j/(-8) + (-23)/(-4) a multiple of 6?
True
Let g(s) = s**3 - 5*s**2 + 4*s + 4. Let w be g(4). Suppose -2*a - 5*t + 242 = 0, -2*t + 53 + 69 = a. Suppose -a = -w*d + 46. Is d a multiple of 15?
False
Suppose 3*c - 4*c + 136 = 2*q, 4*q - 144 = -c. Suppose 2*y - 64 = 5*t - 10*t, 0 = 4*y + t - c. Is 16 a factor of y?
True
Let h(g) = 7*g**2 + 5*g. Does 24 divide h(-3)?
True
Does 32 divide (8/5)/((-2154)/720 + 3)?
True
Suppose -f + 330 = 4*f. Is f a multiple of 6?
True
Does 10 divide 30/(-2 - (-57)/24)?
True
Let f be (1/2)/((-1)/(-16)). Let n = f - 6. Suppose n = -q + 12. Does 5 divide q?
True
Suppose 5*s - 22 = -2. Suppose 9*a - 190 = s*a. Suppose -2*u + 50 = -5*z + 264, -z - 2*u + a = 0. Is z a multiple of 21?
True
Is (-7)/(8 + -1) - 29/(-1) a multiple of 7?
True
Suppose 0 = -4*y + 3*g - 83 - 2, -4*g + 12 = 0. Let r = y - -35. Is 16 a factor of r?
True
Suppose 180 = 2*r - 5*z, -r + 5*z = -3*r + 160. Let v(q) = q**3 - 3*q**2 + q - 1. Let l be v(3). Suppose -5 = l*c - r. Is c a multiple of 20?
True
Suppose 0 = h - 3 + 1. Suppose -3*z + h*z = -67. Suppose 5*s = -4*q + z, -130 = -q - 4*q + 3*s. Is q a multiple of 11?
False
Let u = 19 - -52. Is u a multiple of 13?
False
Let k be ((-69)/9 + 1)*-15. Suppose 0*p - 2*j = 4*p - k, 3*p = -5*j + 61. Does 9 divide p?
True
Let p = 16 - 16. Suppose 0 = q + q + 5*x - 59, -q + x + 19 = p. Is q a multiple of 10?
False
Let f(b) = b**2 + b + 39. Let x be f(0). Suppose -v + 29 = -4*t, 3*v - x = 3*t + 30. Suppose v + 21 = 3*j. Is 6 a factor of j?
False
Let n = 1 - 1. Suppose -56 = -2*w - n*w. Does 16 divide w?
False
Let g = 158 + -112. Is 8 a factor of g?
False
Suppose 0 = j - 7*b + 4*b - 28, -2*b = -2*j + 56. Suppose -2*a - 2*m + j = m, -5*a = 4*m - 70. Is a a multiple of 6?
False
Let q(o) = o**2 + o - 8. Let x be (21/2)/3*-2. Let v be q(x). Let a = v + -21. Is a a multiple of 13?
True
Let x = -12 - -15. Does 2 divide x?
False
Let j(i) = 5*i**2 + 17*i**3 - 2*i - 4*i**2 + i**2 + 1. Is 9 a factor of j(1)?
True
Suppose -4*v = 30 - 202. Let z = v - 4. Is z a multiple of 13?
True
Suppose 2*s - 3 = 1. Let o(g) = 19*g**2 - g + s - 2. Does 10 divide o(-1)?
True
Let p(d) = -3*d - 18. Is p(-8) a multiple of 2?
True
Let f = -176 + 80. Let q be -1 + 1 - (4 + 46). Let l = q - f. Is l a multiple of 18?
False
Let b(h) = 2*h - 5. Let u be b(5). Suppose -u*a = -3*p - 753, -a + 153 = -0*a - 3*p. Suppose q = 4*q - a. Is q a multiple of 13?
False
Suppose 0 = -5*r + 2*i - 2, 4*r - 15 + 3 = 5*i. Does 19 divide ((-4)/(-10))/(r/(-190))?
True
Suppose 0 = 3*u - u - 2. Let t(c) = 3*c - 1. Is t(u) even?
True
Suppose -5*h + 47 + 163 = 0. Is h a multiple of 14?
True
Let l(t) = -t**3 + 5*t**2 - t + 7. Let s be l(5). Suppose 5*o = s*o. Suppose o = -3*i + i + 78. Is 13 a factor of i?
True
Let o(d) = -d**2 + 8*d - 7. Let m be o(5). Suppose a - 23 = -m. Is a a multiple of 7?
False
Suppose -3*a = -2*v - 31, 4*a - 7*v = -2*v + 39. Suppose -a = 5*l + 9. Is 13 a factor of ((-2)/l)/(7/182)?
True
Let l(w) = 3*w**2 - 5. Let y be l(4). Suppose -2*o + r - 145 = 3*o, -5*r = -o - 53. Let c = o + y. Is 9 a factor of c?
False
Suppose -b + 3*i + 119 = 0, -3*b - 127 = -4*b + 5*i. Does 14 divide b?
False
Is 7 a factor of ((-5 - -8)/3)/((-1)/(-19))?
False
Suppose -2*q + 2160 = 4*q. Is q a multiple of 28?
False
Let s be -2 - 1 - (-2 + -1). Suppose z