2 = 3*q + k. Let y = q + 139. Is y a multiple of 20?
False
Suppose 7*q - 14*q = -1001. Is q a multiple of 26?
False
Let n = 127 - 70. Does 4 divide n?
False
Suppose 5*c + 5*l - 400 = 0, 4*c + 12 - 311 = 3*l. Let v = c - 55. Does 17 divide v?
False
Is 13 a factor of (-40096)/(-280) + (-1)/(-5)*-1?
True
Let u(l) = l**2 + 6*l + 2. Let g be u(-6). Suppose g*v = -7 + 29. Is 8 a factor of v?
False
Let n(y) = -2*y + 50. Is n(20) a multiple of 10?
True
Let q = -2 + 6. Suppose 8*o - 59 = -d + q*o, -d + 60 = 3*o. Suppose -4*f - 3 = -d. Does 15 divide f?
True
Suppose 0 = -2*q + 4*q - 58. Does 15 divide q?
False
Let v = 1 + 1. Is 3/2*(v + 0) a multiple of 2?
False
Suppose 2*g - 38 = -5*z, 0 = -4*z - z - 3*g + 42. Let f(i) = 3*i - 6. Is 12 a factor of f(z)?
True
Is 29 a factor of (4 - 2)*(-114)/(-4)?
False
Suppose -7*m = -m - 504. Does 13 divide m?
False
Let r = -579 - -813. Is r a multiple of 18?
True
Let r be (-21)/(-24) - 5/(-40). Is 14 a factor of (5 - 1)/(r/14)?
True
Let u(r) = 9*r**3 + 3*r**2 - 3*r + 2. Let f(h) = h**3 + 6*h**2 - 7*h + 2. Let i be f(-7). Let p be u(i). Suppose 0*x + p = 4*x. Is 12 a factor of x?
False
Let x = 33 + -13. Is x a multiple of 10?
True
Suppose 13*a - 270 = 11*a. Is a a multiple of 27?
True
Let f(p) = -p + 8. Let g be f(0). Let t(x) = x - 4. Let k be t(4). Suppose 2*v - g*b - 49 = -3*b, -b - 1 = k. Is v a multiple of 11?
True
Let q(b) = b**2 - 5*b - 9. Let a be q(7). Suppose -5*k = a*z - 30, -2*z + 3*k = -z - 2. Suppose -z*m + 16 = -m. Is 2 a factor of m?
True
Let g(n) = -n**2 + 13*n + 20. Let r be g(14). Is 18/r - 3/(-1) a multiple of 4?
False
Suppose -3*p = 2*h - 1, -2*h - 2 = 4*p - 6. Suppose 0 = 4*z - 20, 0 = -p*t + 7*t - 4*z - 64. Is t a multiple of 7?
True
Let l(a) = -a**2 + 7*a - 8. Let k be l(6). Let o be 3 - 2 - 1 - k. Suppose -m - 17 = -o*m. Is m a multiple of 17?
True
Let a = 71 + -35. Is (a/14)/(18/168) a multiple of 6?
True
Suppose 5*v + 3*m - 54 = 3*v, -v + m + 17 = 0. Suppose 0*i - 2*i = -74. Let u = i - v. Is u a multiple of 10?
False
Is ((-15)/2)/((-9)/24) a multiple of 3?
False
Is 12/8 - 3 - (-63)/2 even?
True
Suppose -2*g + 0*g + 8 = h, -2*g + 12 = 3*h. Suppose -3*d = h*d - 120. Is d a multiple of 14?
False
Suppose 0 = -3*w - 12, -3*a + 28 = -4*w - 30. Is 2 a factor of a?
True
Suppose -5*w + 0 + 25 = 0. Suppose -3*x = -8*x - w. Does 11 divide 68/6 + x/3?
True
Let d be 1/2 + 2/(-4). Let k be d - -2 - 30/(-2). Let n = k + -8. Is 9 a factor of n?
True
Suppose 0 = 2*t + 2*t + 168. Let b = 9 - t. Let m = b + -33. Does 9 divide m?
True
Let t(q) = q**3 + q**2 + 3*q + 96. Is t(0) a multiple of 12?
True
Let q = 7 + -3. Let u(i) = i**3 - 4*i**2 + 5*i + 3. Is 6 a factor of u(q)?
False
Suppose -6*d = -7*d + 57. Is 19 a factor of d?
True
Let z(w) = 3*w + 2. Is 13 a factor of z(8)?
True
Suppose 3*c = 1 - 4. Let f(l) = l**2 - 11*l**3 - l + 0*l**3 - 2*l**2. Is 5 a factor of f(c)?
False
Let z(m) = -4*m + 1. Let h(l) = -3*l + 1. Let q(i) = -3*h(i) + 2*z(i). Is q(10) a multiple of 9?
True
Suppose 4*c - 132 = -4*x - 36, c = 3*x - 92. Suppose 3*r + r = 5*y - 31, 0 = 3*y - 5*r - x. Suppose -y*o + 2*d + 15 = 5*d, 2*o = d + 7. Is 3 a factor of o?
False
Is 2/(-3) - 17/((-357)/4088) a multiple of 15?
False
Suppose 0*j - 42 = -2*j. Is 7 a factor of j?
True
Suppose 19*o - 23*o + 300 = 0. Is 18 a factor of o?
False
Suppose 5*u + 8*n = 3*n + 15, -2*n + 12 = -u. Let w = 23 - u. Is w a multiple of 8?
False
Does 16 divide (-116)/145*(1 - 261)?
True
Let z = -46 - -88. Is (-2 + 1)/((-2)/z) a multiple of 15?
False
Suppose -2 = -0*a + a. Let p = -6 - a. Let v = 9 + p. Does 5 divide v?
True
Is 81 - (-1 - 8/4) a multiple of 32?
False
Let d(z) = z**3 + 10*z**2 + 8*z - 6. Let i(m) = m - 2. Let x = -4 - 3. Let c be i(x). Does 2 divide d(c)?
False
Is 28 a factor of 962/14 - 2/(-14)*2?
False
Suppose -5*n + 2*n = 0. Suppose n*l - l + 32 = 0. Is 16 a factor of l?
True
Suppose 2*g = -2*p + 46, -4*p = 4*g - p - 87. Is 6 a factor of g?
True
Let p(r) = 2*r + 5. Suppose 2*v = 3*v + 4. Let s be p(v). Does 14 divide -2 + (-6)/s + 14?
True
Suppose 5*k - 13 = 12. Suppose -3 = j, -k*j - 20 = -3*p + 13. Is p a multiple of 5?
False
Let n(c) = c**3 - 10*c**2 + 3*c - 7. Suppose 0*l + 2*r = 4*l - 42, l - 4*r = 14. Does 23 divide n(l)?
True
Suppose z - 8 = -3. Suppose 0 = -5*l + z*y + 285, -2*l = 6*y - y - 93. Does 27 divide l?
True
Suppose 2*y = -u - 3*y + 14, -y = u - 6. Suppose -2 = i, -44 - 116 = -2*m - u*i. Suppose -3*d + 12 = c, -3*d + m = 2*c + 3*c. Is 9 a factor of c?
True
Let f(b) = -6*b**2 + 3*b**3 - 2*b + 3*b**2 + 7*b - 2*b. Is f(2) a multiple of 6?
True
Let f = -35 + 101. Is f a multiple of 12?
False
Let p be 0 - -3*(2 - 1). Let w(z) = z**3 - 18*z**2 + 2*z + 8. Let i be w(18). Suppose i = -2*f + p*f. Does 17 divide f?
False
Suppose -y - 2 = -2*y. Suppose 3*h + 15 = 4*f, -20 = 2*h + y*h + 3*f. Let d(w) = -w + 4. Is 5 a factor of d(h)?
False
Let i(j) = -j**2 - 7*j - 5. Let a be i(-7). Let s = 9 + a. Suppose s*n = -n + 45. Is 8 a factor of n?
False
Let b(h) = 2*h**2 - 26*h - 69. Does 23 divide b(23)?
True
Does 9 divide 1 + 29 - (1 - 3)?
False
Suppose -4*x - 17 = -0*x + 5*y, -5*x - 49 = -3*y. Let a(q) be the third derivative of -q**6/120 - q**5/10 + q**4/3 - q**3 - q**2. Is 20 a factor of a(x)?
False
Let i(a) be the third derivative of 5*a**4/24 - 3*a**3/2 + 3*a**2. Is 21 a factor of i(6)?
True
Suppose 12 - 2 = 5*m. Suppose -72 = -3*q + 3*k, 91 = 4*q - m*k - k. Is 19 a factor of q?
True
Let y = 9 + 30. Suppose 4*l + y + 9 = 0. Does 4 divide 3/(-4) - 129/l?
False
Is (-4)/16 - 970/(-8) a multiple of 36?
False
Let t(o) = -2*o**3 - 4*o**2 + 4*o - 3. Let j be t(2). Is ((-8)/(-3))/((-9)/j) a multiple of 4?
True
Let c be (-12)/(-5) - 4/10. Is 10 + c/(-3 + 2) a multiple of 8?
True
Suppose -3*o + 177 = 4*u, -59 = -2*o + o + 5*u. Is 6 a factor of o?
False
Suppose -116 = -w + 9. Does 32 divide w?
False
Suppose 2*h = -3*u + 1, 2*u - 3 = 3*h + 2. Let w be (-16)/(-2 + 6) - -1. Is 8 a factor of ((-3)/w)/(u/8)?
True
Let p = 67 + -37. Suppose 2*v + 3*v - p = 0. Does 3 divide v?
True
Suppose -3 = -d + 5. Let b be 870/d - (-1)/4. Suppose -b = -4*l - 37. Is 18 a factor of l?
True
Suppose 2*v - 3*v = -31. Is v a multiple of 9?
False
Suppose 3*v - 1 - 5 = 0. Let t be -1 - (-6 - (2 - 2)). Suppose 0 = -c + v, 2*c = -t*u + 5*c + 29. Does 7 divide u?
True
Suppose 0 = -0*y + y - 449. Suppose -2*o + 139 + y = 0. Is -2 - (o/3)/(-2) a multiple of 17?
False
Let d = 7 + -4. Suppose -c - d*q = -0*q - 1, -2*c + q + 9 = 0. Suppose c*g = -0*g + 28. Is g a multiple of 7?
True
Suppose -k = -3*p - 91, 4*k - 318 = -4*p - 18. Does 29 divide k?
False
Let r = 5 + -2. Does 7 divide ((-1)/r)/(2/(-42))?
True
Let t be 422/4 + (-4)/8. Suppose 0 = 2*l - 13 - t. Is 20 a factor of l?
False
Suppose -9 = -2*w - 5. Suppose 3*h = -3*x - 8 + 32, -5*x + 28 = w*h. Does 3 divide x?
False
Let f(o) = o**3 - 2*o**2 + 2*o + 4. Let b be f(5). Suppose 0 = 4*d + 37 - b. Is d a multiple of 10?
False
Suppose l = 2*l, 2*l - 39 = -3*k. Suppose 132 = 5*s - 5*i - k, s - 13 = 5*i. Does 7 divide s?
False
Suppose 5*z - 7 = -p, -p - 1 = -3*z + 8. Let d(i) = 4*i**3 + 2. Is d(z) a multiple of 17?
True
Let z(d) = 3*d**3 - 4*d**2 - 2. Let w be z(3). Let p = -24 + w. Is p a multiple of 10?
False
Let y be (-3)/2*(-36)/27. Let m(k) be the first derivative of 3*k**3 - 2*k - 1. Does 12 divide m(y)?
False
Suppose 0*s - 4*g = s + 18, -g - 27 = 4*s. Is 8 a factor of ((-12)/(-9))/((-1)/s)?
True
Suppose 82 = -0*t - t. Let o = t + 130. Does 19 divide o?
False
Suppose -9*g - 270 = -14*g. Does 5 divide (-2)/9 + 1362/g?
True
Suppose 0 = 5*a - 0*a. Suppose -2*w - 62 = -4*y - a*w, -3*w = 4*y - 67. Suppose 160 = 5*p + 5*j, -2*p + y = 3*j - 46. Is p a multiple of 9?
False
Is (-26)/(-2) + (0 - 4) even?
False
Is 7/28 + 23/4 a multiple of 3?
True
Let c(q) = -21*q + 2. Let g be c(-4). Suppose 4*t - v - g = -2*v, v = -2*t + 44. Is t a multiple of 9?
False
Suppose 8 - 80 = -4*y. Does 21 divide (y/(-15))/(3/(-105))?
True
Let z(i) = 4*i**2 + i - 3. Let t be (-3 + -1)*(-6)/(-8). Let r be z(t). Suppose 3*j - 2*j = r. Is j a multiple of 15?
True
Let f(p) = -p**3 - 6*p**2 + 5*p - 2. Suppose w + 12 = -4. Let o = w + 9. Is 10 a factor of f(o)?
False
Let a = -26 + 75. Does 5 divide a?
False
Let j(z) = 2*z**2 - 4*z + 5. Let w be j(2). Suppose 4*o - 82 - 28 = w*p, -