 Does 15 divide (-1)/(a/(-27) - 2)?
False
Suppose -4*y + 1 = -11. Suppose y*g - 15 = -0*g. Suppose 2*s = -0*s - n + 31, -13 = -2*s + g*n. Is 7 a factor of s?
True
Suppose 2*v = 4*r + 5*v + 90, r = 2*v - 28. Is 2 a factor of (-4)/(r/(-33))*-2?
False
Let d(b) = -4*b - 4. Let w be d(3). Suppose -4*q - 10 = -126. Let n = q + w. Is 10 a factor of n?
False
Let r(p) = 2*p**3 - 5*p**2 + 2*p + 4. Let m be r(3). Let u = -13 + m. Does 11 divide (16/u - -1)*3?
True
Let f be (110/3)/(2/6). Let r = f + -67. Is 15 a factor of r?
False
Suppose q = -3*q + 8. Suppose 147 = -4*w + 5*l, q*l = -5*w + 5*l - 174. Let k = w - -48. Is k a multiple of 5?
True
Suppose -2*b = 2*b - 64. Does 16 divide b?
True
Suppose 3*k - 445 = -2*k + j, -4*k + 4*j = -372. Does 8 divide k?
True
Does 21 divide (1 - -1) + (73 - -3)?
False
Let n be 5/((-10)/3)*6. Let y(h) = h**2 + 9*h + 12. Let a be y(n). Does 19 divide 294/8 - a/(-48)?
False
Suppose -35 = -5*b - 0*b. Suppose d - 46 = -b. Does 11 divide d?
False
Suppose 0 = h + 2*w + 2*w + 18, 0 = h - 3*w - 17. Suppose 2*r + 20 = 3*s, -3*r - h*s + 6*s = 28. Does 2 divide (r/7)/(8/(-28))?
True
Let q(s) = -3*s**2 - 8*s - 7. Let j be q(-6). Is 9 a factor of 6/(-4) - j/2?
False
Suppose -j = -5*y + 10, -4*y + 2 = -3*j - 6. Suppose a + 3*a - 20 = j. Does 4 divide a?
False
Let t be 4/6 - 28/(-21). Suppose -2*x - k + 3*k = -176, -4*x - t*k = -328. Is x a multiple of 29?
False
Let b(l) be the third derivative of l**4/24 + l**3/3 + 3*l**2. Does 6 divide b(5)?
False
Suppose -5*w + 5*d = -3*w - 20, 0 = -5*w + 5*d + 50. Is 10 a factor of w?
True
Let x(v) = -v + 11. Let w be x(8). Suppose 5*u + 3*q + 96 = 548, 2*q + 275 = w*u. Suppose -u = -4*p - 19. Does 9 divide p?
True
Is 4 - 879/(-3) - (-5 + 3) a multiple of 13?
True
Let w = -18 - -74. Suppose w + 25 = 3*s. Is 23 a factor of s?
False
Suppose 3*i = 7 + 56. Does 20 divide i?
False
Let t(s) = 3*s**3 - 11*s**2 + 3*s - 3. Is 14 a factor of t(5)?
True
Suppose -4 + 0 = -w. Suppose 7*d - w*d - 10 = -n, 0 = 2*d - 4*n - 2. Suppose -4*g + 7*g + 5*i = 88, 4*i = d*g - 70. Is g a multiple of 13?
True
Is 7 a factor of ((-42)/(-4))/(-1 - 18/(-12))?
True
Suppose -792 = 47*d - 51*d. Does 22 divide d?
True
Suppose 80*k - 77*k - 126 = 0. Is k a multiple of 7?
True
Let g = -11 + 18. Let y = g - -10. Is y a multiple of 8?
False
Let z(n) = n**3 + 5*n**2 - 2*n + 4. Does 14 divide z(-4)?
True
Let s = 1 + 3. Suppose -h + 2*h = s. Suppose h*d - 17 = -5. Is 2 a factor of d?
False
Let i be 2 - 6/(-2)*1. Suppose -5*h + 4*q + 2 = 0, 3*q = -h + i*h - 2. Suppose 3*n + 4*t - 133 = 0, -5*n + 2*n = -h*t - 109. Does 13 divide n?
True
Let r(h) = 2*h**3 - 2*h**2 + 2*h - 3. Is r(2) a multiple of 4?
False
Let g = -106 + 191. Is g a multiple of 8?
False
Let z(x) be the third derivative of x**5/60 - x**4/4 - 4*x**3/3 + 3*x**2. Is z(8) a multiple of 8?
True
Suppose -r + 9 = 3*y, 1 = 3*r - 2*y - 4. Suppose 40 = r*n - 74. Is 19 a factor of n?
True
Let k = -29 - -1. Let o = -67 - k. Let y = o + 62. Is y a multiple of 12?
False
Let j be -2 + 90 + -2 + -3. Let h = -26 + j. Does 18 divide h?
False
Suppose 5*m = m + 28. Let b = m - 0. Does 7 divide b?
True
Let t(j) = 0*j**2 - j**2 + 10 + 0*j + 0*j - 5*j. Let i be t(-10). Let b = i + 86. Is 17 a factor of b?
False
Suppose 3*b + 3*n = 2*n + 144, -5*n = 15. Suppose 296 = 5*c - b. Does 25 divide c?
False
Suppose 4*b + 2*w + 2*w = 16, 3*w - 12 = -b. Suppose 5*p + b*f - 5*f - 225 = 0, 3*p = 5*f + 141. Is 18 a factor of p?
False
Let n(q) = 80*q - 7. Let t(i) = -160*i + 15. Let m(d) = 13*n(d) + 6*t(d). Let x be m(1). Let l = x + -51. Does 19 divide l?
False
Suppose 5*k - 64 = k. Let i = 42 - k. Does 12 divide i?
False
Let n(d) = -d - 5. Let i be n(-8). Suppose 4*r - i*r = -5*u + 21, 5*u = r + 9. Does 3 divide r?
True
Suppose 24 + 284 = 4*m. Suppose 2*v + 0 = 4. Suppose -13 = v*w - m. Does 16 divide w?
True
Let x(q) = -2*q + 1. Does 2 divide x(-8)?
False
Let o(q) be the first derivative of -5*q**2/2 - 7*q + 3. Let u be o(6). Let f = -17 - u. Does 8 divide f?
False
Let y(h) = -h**3 + 7*h**2 - 5*h. Let x be y(6). Suppose 5*o = -4*p + 33, 11*p + 4*o - 39 = x*p. Does 7 divide p?
True
Let k(f) = -4*f + 0 - 3*f + 8*f + 4. Let i = 9 + -6. Is k(i) a multiple of 7?
True
Suppose -3*z = 4*m + 23, 5 = 4*z + z - 2*m. Let p be z*(-18)/((-2)/(-1)). Let o(v) = 4*v - 6. Is 26 a factor of o(p)?
False
Suppose -2*y = -3*h + 12, -5*h + y + 10 + 10 = 0. Suppose -5*g - 36 - 14 = -h*s, -3*s + 37 = -4*g. Is s a multiple of 5?
True
Let t(b) be the second derivative of -b**5/20 - b**4/6 - b**3/2 - 3*b**2/2 - 4*b. Is t(-3) a multiple of 15?
True
Let z(a) = 5*a - 1. Let m be z(1). Suppose 1 = -3*w + m*k + 11, w - k - 5 = 0. Is 5 a factor of w?
True
Suppose -4*a = -12, 0 = p + 3*a - 0*a - 33. Is 24 a factor of p?
True
Let c(m) = m + 3. Let d be c(0). Suppose q + 4*t = 126, d*t + 524 = 4*q - t. Suppose 3*k + 150 = 5*z, -5*z - 4*k + 3*k + q = 0. Is z a multiple of 9?
True
Let t(y) = y**2 + 4*y - 5. Is 15 a factor of t(4)?
False
Let w = -27 - -49. Let r = 40 - w. Is 13 a factor of r?
False
Suppose 0 = -v - 2*z + 7, 3*v = -5*z + 28 - 9. Suppose -5*y - v + 8 = 0. Is 20 a factor of (52*y + -2)/1?
False
Let z(t) be the first derivative of t**3/3 + t**2/2 - 6*t + 5. Is z(-5) a multiple of 13?
False
Let f be 4/12 + 29/3. Suppose -i = -6 - f. Is 6 a factor of i?
False
Let f = -15 - -26. Suppose 3*w - 72 = -3*q, 0 = -w + 4*q + f + 13. Is w a multiple of 24?
True
Suppose 4*i + 14 = 5*l - 6*l, 3*l - 3*i = 18. Does 13 divide (-1 + l)/((-2)/(-54))?
False
Suppose 3*d + 25 = -2*d. Let k = 12 + d. Does 3 divide k?
False
Let l be 3/(3 + -2) - -1. Let p(q) = 0*q + 3*q - 2*q - q**3 + 5*q**2. Is 10 a factor of p(l)?
True
Let i(c) = -6*c**3 - 4*c**2 - 3*c + 4. Let a be i(-4). Is (3/4)/(6/a) a multiple of 14?
True
Is 3 - (4 + -4 - 0 - 414) a multiple of 21?
False
Let w(i) = 5*i**2 + 11*i - 6. Let b be w(7). Suppose 5*o - 168 = -v, -2*v - o - 4*o = -b. Suppose -4*r = -12 - v. Is 15 a factor of r?
False
Suppose 2*h = 5*l - 11, 9 = 4*l - 3*h + 3. Suppose 0 = 2*q + l*q - 140. Is 14 a factor of q?
True
Suppose 0 = 3*o + 19 - 97. Let l = o + -42. Does 14 divide (l + 1)*-2 - 2?
True
Let q(r) = 1. Let u(t) = t**2 + 14*t + 10. Let j(x) = -q(x) + u(x). Is 24 a factor of j(-15)?
True
Is 3 a factor of ((-8)/8)/((-2)/12)?
True
Suppose -2*y = -4*x - 20 - 0, -5*x = 15. Suppose 9 - 1 = 3*n - y*i, 2*n - 4 = 4*i. Does 2 divide n?
True
Let d be ((-406)/(-4))/(8/16). Suppose -4*o + d = -5*z, -5*z + 133 = o + 51. Is o a multiple of 19?
True
Let j(b) = -b**2 + 0*b + 2*b**2 + 0*b + 2. Let h be j(-4). Suppose -4*f = -34 - h. Does 13 divide f?
True
Let v(n) = 4*n**2 - 10*n + 6. Does 44 divide v(7)?
True
Let s = 101 - 56. Suppose -s = -3*w - 3*c, -12 = -4*c - 0. Is 9 a factor of w?
False
Let w = 35 - -25. Does 5 divide w?
True
Let v be 2/((-130)/(-64) - 2). Suppose -5*b + v = -b. Does 8 divide b?
True
Let l be 15*3 + (0 - 0). Let z = l + 11. Suppose -3*d - d = -z. Does 14 divide d?
True
Let c(l) = 12*l - 17. Suppose -15 = -2*t + 5*t. Let r(u) = 8*u - 11. Let z(w) = t*c(w) + 8*r(w). Does 5 divide z(2)?
True
Is 4 a factor of 4*(9 - 1 - 4)?
True
Suppose 5*k - 20 = 0, 2*m - 4*m - k = -4. Suppose -5*f + 3*f + 28 = m. Is f a multiple of 6?
False
Suppose 2*x + 19 = 5*m - 0, -m = -3. Suppose -p - 4 = -3. Is 3 a factor of 11 + p - (0 - x)?
False
Suppose v + 28 = 8*v. Suppose -u - 5 = -2*b, -4*u = -5*b - 9*u + 20. Suppose 2*o + v*s - 30 = 0, 5*o + b*s = 4*s + 20. Does 5 divide o?
True
Suppose -3*h + 519 = 4*j, -h - 2*h + 390 = 3*j. Is 28 a factor of j?
False
Suppose 13 = 3*t - 26. Let d be 10/(-2) + (-8)/8. Let z = d + t. Is z a multiple of 3?
False
Suppose 3*b = j - 0*j - 51, j - 48 = 4*b. Is j a multiple of 39?
False
Let h be 13/4 + 3/(-12). Suppose 0 = -2*t + h*i + i + 24, -5*t + 3*i + 32 = 0. Suppose -t*o + 80 + 84 = 0. Does 14 divide o?
False
Let o be 2 - (-2 - -3) - -1. Suppose -o*f + 33 = -5*v, 3*f - 2*f + 3*v - 33 = 0. Is f a multiple of 8?
True
Let n be 1 - (3 + -2 - -15). Let y = 20 + n. Is y a multiple of 2?
False
Let d(a) = -a + 3. Let b be d(9). Let v be (-207)/(-2)*b/(-9). Suppose -5*c + 3*y = -v, 34 = 3*c + 3*y + 7. Is c a multiple of 10?
False
Let q(o) be the third derivative of 0 + 1/30*o**6 + 1/30*o**5 + 2*o**2 + 0*o**4 - 1/6*o**3 + 0*o. Is 3 a factor of q(1)?
False
Let g = 