Let o = 30 - 53. Let h be 3/(-6)*(1 + 1)*14. Let j = h - o. Does 6 divide j?
False
Suppose -809 = -5*u + 66. Suppose 3*x = 2*t + 5, 0*t + 3*t = -5*x + 40. Suppose -t*b = -u - 15. Does 19 divide b?
True
Does 13 divide (-2)/4*2*-43?
False
Let a = 120 - 76. Is a a multiple of 12?
False
Let x be 34/10 - 3/(-5). Suppose 26 = -3*r - 2*l + 102, 0 = -x*r + 3*l + 124. Is r a multiple of 8?
False
Let f(y) = -y**3 + 1. Is 9 a factor of f(-5)?
True
Is 25 a factor of 1*-4 + (-5 - -34)?
True
Let g = -288 - -484. Does 24 divide g?
False
Let p = -20 + 32. Is 12 a factor of p?
True
Suppose -5*w = -5*k - 35, -3*k + 13 + 1 = 4*w. Suppose w*o - 4*o = 24. Is o a multiple of 16?
False
Suppose 3*l = n + 115, -4*l - 5*n + 180 - 14 = 0. Is 31 a factor of l?
False
Suppose 0 = 8*c - 3*c. Suppose i + 0*i - 59 = c. Is 20 a factor of i?
False
Suppose 4*m - 2 - 6 = 0. Suppose 3*k = -x + 24 + 57, 0 = 4*x - m*k - 366. Suppose x = 4*y - 50. Does 21 divide y?
False
Let z(l) = -2*l**3 - 3*l**2 + 3*l - 3. Is z(-3) a multiple of 15?
True
Suppose -8*g - 24 = -4*g. Let w = 6 + -34. Let d = g - w. Is 14 a factor of d?
False
Let h = 19 + -19. Suppose h*w - 29 = -w. Is 13 a factor of w?
False
Suppose g - 81 - 79 = 0. Suppose -2*n = -4*n + g. Suppose -5*v = -5*l + n, 5*l + 4*v = 17 + 36. Does 13 divide l?
True
Suppose -3*p + 0*q = 3*q - 21, -q = -3*p + 5. Suppose -4*x + 2*x = p*l - 10, -5*x = -l + 9. Is (-14)/x + 2 + -1 a multiple of 5?
True
Let b(p) = 3*p**3 - 2*p**2 + 4*p - 3. Does 20 divide b(3)?
False
Let i(w) = 12*w + 6. Suppose 0*j + j + 2*l - 1 = 0, 4*j - 34 = 2*l. Does 30 divide i(j)?
True
Let v = -135 + 214. Does 29 divide v?
False
Suppose y - 3 = -0*y. Suppose 3 = -4*w - 4*r + 47, y*w = 5*r + 9. Is 4 a factor of w?
True
Let k be (-4)/(-2)*4/(-8). Let z be (2/(-5))/(k/5). Is 12 a factor of ((-2)/z)/(5/(-110))?
False
Is 272/14 + (-6)/14 a multiple of 6?
False
Is ((-9)/4)/(9/(-108)) a multiple of 4?
False
Let d = -57 + 93. Does 18 divide d?
True
Let t(g) = -g**3 + 11*g**2 - 10*g - 7. Let d be t(11). Does 12 divide (-11)/22 + d/(-2)?
False
Let h(v) = -v**3 + 7*v**2 - 5*v + 1. Let w be h(4). Suppose 4 = -s + w. Does 17 divide s?
False
Suppose 5*h - 504 = 56. Is h a multiple of 20?
False
Suppose -q - 3*q = -12. Suppose -2*b + 111 = q. Does 16 divide b?
False
Let q(d) = -234*d. Let w be q(-1). Let c = -128 + w. Does 18 divide c?
False
Let r be (-2)/((-1 - 0) + 0). Suppose 5*w = w - c + 72, 90 = 5*w - r*c. Is w a multiple of 18?
True
Let b = 4 - 2. Suppose -3*d - 2*d + 40 = 5*c, -b*d - 3*c + 12 = 0. Does 5 divide d?
False
Let q(p) = 2*p**2 - 13*p - 1. Let b(o) = o**2 + o + 3. Let y be b(-3). Does 22 divide q(y)?
True
Let r = 12 - 9. Suppose r*j - 4*j = 2*m - 27, 0 = -3*m + 5*j + 47. Does 14 divide m?
True
Suppose c = 7 + 2. Is 5 a factor of c?
False
Let f(m) = m**3 + 4*m**2 + m - 4. Let q be f(-4). Let v(w) = w**2 + 8*w + 2. Let x be v(q). Is 11 a factor of 11/2*(4 - x)?
True
Let c(l) = -2*l**3 + 3*l**2 - 2*l - 3. Let k(t) = t**3 + t. Let w(b) = -c(b) - k(b). Is w(3) a multiple of 3?
True
Let b(q) = -q**3 + 10*q**2 - 10*q + 9. Let v be b(9). Suppose 4*l - f = -v*f - 12, -5*f = 0. Does 10 divide 32/l*(2 - 5)?
False
Is (1 - 2) + -2 - (0 - 21) a multiple of 3?
True
Let i = -8 + 12. Is 4 - (8/i - 0) a multiple of 2?
True
Let k(f) = f - 75. Let s be k(0). Let w = -19 - s. Is w a multiple of 16?
False
Suppose 4*h - 4*r = 364, 6*r - 2*r - 176 = -2*h. Is 18 a factor of h?
True
Let a = -2 + 2. Let t = a + 3. Let r = 6 - t. Does 3 divide r?
True
Let g be (-1*(-1 - -1))/(-2). Let q = -51 + 99. Suppose g*t + 4*t - q = 0. Does 11 divide t?
False
Let s be (-12)/4*5/(-3). Suppose z + 5*h - 33 = -0, -s*z = 5*h - 185. Does 19 divide z?
True
Let l(p) = p**2 + p - 1. Let o(t) = -t - 4*t**2 + 0 - t**2 - 1. Let y be o(-1). Is 19 a factor of l(y)?
True
Let a be (6 + -3)/((-2)/(-8)). Let k = a + -8. Suppose 2 = -k*p + 26. Does 5 divide p?
False
Let q = -2 + 51. Does 7 divide q?
True
Let q = -15 - -21. Suppose -f - 3*y = -64, q*y - 276 = -5*f + 2*y. Suppose -2*i + 8 = -f. Is i a multiple of 11?
False
Let i(v) = -17*v**3 - v. Let p be i(-1). Suppose 4*j = -7*y + 2*y + p, 19 = 3*j + y. Let l(a) = a**2 - 3*a - 8. Is 10 a factor of l(j)?
True
Suppose -4*o = -3*z + 258 - 2, -o = 4*z + 64. Let k be o/10 - (-10)/25. Is 15 a factor of 292/7 - k/21?
False
Let k be (-7)/(-21)*3*2. Suppose -5*n + 30 = u - 5*u, n = k*u + 6. Does 3 divide n?
True
Let x be 2/4*(-2 + 2). Let z = -1 - -3. Suppose -2*q + o = -16, -z*q + 6*o - o = x. Does 5 divide q?
True
Let o(t) = -t**3 + 6*t**2 - 2*t - 1. Does 6 divide o(5)?
False
Let k(v) = -v + 4. Let x be k(-11). Suppose -x - 97 = -4*j. Is j a multiple of 10?
False
Let k be -1 + (-9 - -3) + -3. Let l(t) = -t**3 - 9*t**2 + 7*t - 4. Is l(k) a multiple of 13?
True
Let s(u) be the third derivative of -u**4/6 + 2*u**3/3 + 3*u**2. Is 8 a factor of s(-3)?
True
Suppose 3*u + f - 5 = 0, 0 = 4*u - 5*f - 2 - 11. Let n be u*(0 + -4)/(-2). Suppose -2*w + 20 = -n. Does 12 divide w?
True
Suppose -5*k = 53 - 8. Let w = 5 - k. Is 11 a factor of w?
False
Suppose 0 = 3*d + 2*d - 20. Suppose -3*p = -2*h - d*p + 7, -3*h + 4*p + 5 = 0. Suppose 3*v - h*g = 4*v - 33, 3*v + 5*g - 111 = 0. Is 18 a factor of v?
False
Does 26 divide (3536/(-170))/(1/(-5))?
True
Let t = 243 - 103. Does 14 divide t?
True
Is (-299)/(-6) - 2/(-12) a multiple of 8?
False
Let h = -6 - -18. Let a = h - 5. Is a a multiple of 2?
False
Let n = 15 + -7. Suppose n = 3*c - c. Suppose -2*m - m = -3, c*l = -m + 13. Does 3 divide l?
True
Suppose -4*h = -h - 408. Suppose 5*u - 4*n - h = -0*n, 5*u = 2*n + 138. Is u a multiple of 6?
False
Suppose -442 = -g + 2*n, 4*g - 2*n - 1006 = 732. Is g a multiple of 15?
False
Let i = -136 - -194. Is i a multiple of 9?
False
Suppose l = 4*r + 96, -l + 116 = -0*r + r. Is 27 a factor of l?
False
Suppose -k + 7 = -3*x, -x + 5*x + 3 = -5*k. Let d be (3 - k - 2)*1. Suppose 5*n + d*n - 75 = 0. Is n a multiple of 5?
True
Suppose 7*g = 2*g + 80. Does 16 divide g?
True
Suppose 18*o - 25*o = -56. Is o a multiple of 8?
True
Let p(q) = -q - 4. Let r be p(0). Is r + 6 - -8*3 a multiple of 13?
True
Suppose 22 = 3*o - 14. Is o a multiple of 3?
True
Let g = -11 - -13. Suppose -4*j + 42 = g*o, 2*j - o - o = 6. Is j a multiple of 3?
False
Suppose -4*c = -6*c + 94. Is 13 a factor of c?
False
Suppose -3*p + 10 = -q, q + 6 = -4*q + 4*p. Is q a multiple of 2?
True
Suppose 5*b - 4*g + 6*g = 66, b + 2*g = 10. Does 3 divide b?
False
Let g be -3*(-6)/(-9)*-15. Is 20 a factor of 12/g + (-396)/(-10)?
True
Let g = 66 - -4. Suppose 0 = -5*d + 7*d - g. Is 9 a factor of d?
False
Suppose -3*o + 210 = a, 2*o - a = a + 140. Does 14 divide o?
True
Let r(n) = -n**3 + 9*n**2 - 2*n + 1. Let u be r(9). Let i = u - -28. Does 11 divide i?
True
Is 20/(-8)*-10*1 a multiple of 7?
False
Let z be (-28)/(-8)*4/(-1). Suppose 2*v - 46 = -2*m, 3*m - 97 = -4*v - 0*m. Let k = v + z. Is 14 a factor of k?
True
Suppose 0 = 4*q - 5*q + 55. Let v = q + -30. Is 8 a factor of v?
False
Let h(g) = g - 2. Let z be h(0). Let s be (4 - z)/(1 - -1). Suppose 5*l - 75 = -3*p, 10 = -s*p + 5*p. Is l a multiple of 7?
False
Let l(y) = y**3 + 7*y**2 + 7*y + 8. Let b be l(-6). Suppose -2*s - b*s - 2*k = -86, -s + 2*k = -34. Is 12 a factor of s?
True
Let m = 4 - -15. Let b(i) = i - 12. Let l be b(0). Let g = l + m. Is g a multiple of 7?
True
Suppose 4*v - 248 = 4*s, -4*v - 2*s + 254 = -0*s. Is v a multiple of 3?
True
Suppose -2*k = 5*y - 146, 3*k + 6*y - 224 = y. Does 13 divide k?
True
Let r(i) = -i + 11. Is r(4) a multiple of 3?
False
Suppose 3*u + 3*f - 345 = 0, 4*f = -0 - 20. Suppose 5*q + u = 10*q. Is q a multiple of 7?
False
Suppose 4*p - 144 = 4*j - 3*j, 4*j = 5*p - 180. Is p a multiple of 18?
True
Suppose 5*t + 15 = 2*z + 155, -260 = 4*z - 5*t. Let o = 88 + z. Does 11 divide o?
False
Suppose -12 = 4*k - 0. Let f(n) = n**3 - 6*n - 5. Let q be f(-4). Is 12*(q/(-12) + k) a multiple of 8?
False
Suppose -15 = -3*l + t + 23, -60 = -4*l - t. Does 14 divide l?
True
Let h = -464 - -661. Let p = -126 + h. Let a = p - 33. Is 17 a factor of a?
False
Let g be (-8)/12 - 148/(-6). Is 9 a factor of 200/14 + g/(-84)?
False
Let w be 4/6 + (-274)/6. Let k = 74 + w. Let r = -10 + k. Is r a multiple of 9?
False
Let l = 135 - 63. Is 20 a factor of l?
False
Suppose -4*d - q + 11 = -0*q, 5*d - 10