/(j/80)?
True
Suppose -g - 2*g + 330 = 3*w, -2*g + w = -226. Is g a multiple of 28?
True
Suppose 0 = -3*j + 2*j. Does 5 divide 2*(j - (-26)/4)?
False
Let d = 74 + -46. Does 28 divide d?
True
Suppose 0 = w + 2*l + 3*l - 100, -3*w + 2*l + 232 = 0. Does 5 divide w?
True
Let p be -1*(-2 + -2 + 3). Suppose -1 = -4*y - a - 2, 0 = 3*y - a - p. Suppose -u - 2*b + y*b = -17, 5*u - 5*b - 70 = 0. Is 15 a factor of u?
True
Let z = 89 + 16. Is z a multiple of 12?
False
Let y(o) be the second derivative of o**3/6 - 2*o. Let b be y(3). Does 10 divide 1*(-3)/(b/(-23))?
False
Suppose 5*b = 92 + 58. Is 6 a factor of b?
True
Does 15 divide 2/(2/45) - 3?
False
Let p(h) = 5*h**2 + 3*h - 7. Is 5 a factor of p(3)?
False
Let y(k) = -4*k + 16. Does 26 divide y(-9)?
True
Suppose -9 = -5*h + 1, -3*q = 3*h - 18. Suppose q*t = t. Suppose t = -3*a + 27 + 9. Is a a multiple of 6?
True
Let j be (-4)/18 - 7/9. Let x be 2/(-8) + j/(-4). Suppose 2*l = -x*l + 32. Is 8 a factor of l?
True
Suppose v = 5*x - 1, 2*v + 7 = 3*v + 3*x. Suppose y = -y + v. Suppose -a - 23 = -y*a. Is a a multiple of 11?
False
Let x = -2 + 7. Suppose 6*m - m - 35 = 2*k, -x*k = 25. Is 5 a factor of m?
True
Let u = -12 + 30. Suppose -3*p + u = 3. Suppose 3*z + 5*j = 22, 2*z - 38 = p*j + 10. Is 14 a factor of z?
True
Suppose -6*w = -3*w + 3*y - 135, -2*w - 3*y = -95. Let b be w/12 - (-2)/3. Suppose i + b*i - 55 = 0. Is i a multiple of 11?
True
Let f = -28 + 49. Suppose 0 = -2*a + 63 + f. Is (1 + -2 - 2) + a a multiple of 13?
True
Suppose 4*s - 21 = -1. Suppose -2*z - 2*k - 6 = 0, -s*k + 0*k = 25. Suppose -i = c - 3, -i + z*c = -2*c - 3. Is i even?
False
Let h(k) = -2*k + 5. Let g be h(-8). Let o = 9 - g. Does 10 divide 75/4 - 3/o?
False
Suppose 48 = -5*x + 3*x + 2*d, -5*d = 10. Let s = 45 + x. Is 6 a factor of s?
False
Let l = 47 - -91. Does 23 divide l?
True
Let f(q) = -25*q**3 + 2*q**2 - 1. Let x(v) = -v**2 - 5*v + 5. Let u be x(-6). Let o be f(u). Let d = o + -10. Is 8 a factor of d?
True
Let r = 11 + -22. Suppose 19 = -5*u - 4*d - 12, -3*d - 12 = 0. Let t = u - r. Does 6 divide t?
False
Suppose -6*m - 81 = -4*g - m, 0 = g + 3*m - 33. Is g a multiple of 7?
False
Let u be (-50)/6*(-5 - 1). Suppose -4*q = -u - 62. Is 5 a factor of q?
False
Suppose 3*h + 12 = 0, -u + 12 = -4*h - 6. Suppose u*i = i + 108. Is i a multiple of 24?
False
Let d(z) = -z**3 + 5*z**2 + 8*z - 4. Is 7 a factor of d(6)?
False
Suppose 0 = -3*x - 5*m + 93, -m - 121 = -5*x + 2*m. Is x a multiple of 13?
True
Does 3 divide (-5*4/(-80))/(2/152)?
False
Let s = 60 - 30. Suppose 5*j + 28 + 2 = 2*g, j + 78 = 4*g. Is ((-16)/g)/((-1)/s) a multiple of 12?
True
Is (0 + 2)*(-21)/(-2) a multiple of 9?
False
Let n be 38/4 - 21/14. Let j = n + -8. Suppose 4*l + 0*l - 8 = j. Does 2 divide l?
True
Suppose u - b - 14 = 0, 2*b - b = -4*u + 66. Is 8 a factor of u?
True
Let l(z) be the second derivative of z**5/20 + z**4/3 - 4*z**3/3 - 5*z**2/2 + z. Let j be 2 - (9 + 1*-2). Is 6 a factor of l(j)?
False
Let p = 1 + 79. Does 11 divide p?
False
Suppose 0 = h - 4 - 1. Suppose -13 = -4*a - h. Suppose 6*w - a*w = 44. Is w a multiple of 11?
True
Let k(f) = f**3 + 6*f**2 + 4*f. Suppose 0 = -3*m + 7*m + 20. Is 5 a factor of k(m)?
True
Let b = 4 - -6. Let f be 3/15 + 458/b. Let y = f - 18. Is 14 a factor of y?
True
Let s(i) = -32*i - 4. Does 12 divide s(-2)?
True
Let h(o) = o**3 + 9*o**2 + 7*o - 9. Let n be h(-8). Is (n + 2)/((-2)/(-10)) a multiple of 2?
False
Suppose -2*o + 333 = 69. Is 22 a factor of o?
True
Is -15*(-7)/3 - -3 a multiple of 7?
False
Let l be (3/2)/(2/4). Suppose -o + c = -1, -11 = -3*o - l*c + 4*c. Suppose -2*n + 3*n + 4 = 2*f, o*f = 3*n + 7. Is n a multiple of 6?
True
Let d = 147 - 43. Is 24 a factor of d?
False
Let q(k) = -k**3 + 10*k**2 - 8*k + 3. Let s be q(6). Suppose 4*z + x - s + 12 = 0, 0 = -3*z + x + 74. Does 13 divide z?
False
Let d = -1 + 1. Suppose 0 = -i + t + 24, -5*i + i - 2*t + 126 = d. Let j = i - 6. Is 10 a factor of j?
False
Let q(d) = -d + 39. Does 3 divide q(-6)?
True
Suppose u + 3*u = 0. Suppose -2*f - 3*f + 165 = u. Is 11 a factor of f?
True
Let s = 173 + -119. Suppose 4*z = s + 2. Does 7 divide z?
True
Let v(x) = -x**3 - 8*x**2 - 4*x + 8. Suppose 2*r + 5*p = -21, -4 = 3*r - 2*r - 4*p. Let m be v(r). Let k = m - 18. Does 11 divide k?
True
Let m = 5 - 7. Let o = 6 + m. Is 4 a factor of o?
True
Let q(k) = k**2 + 14. Let g be 0*(3/(-6) - -1). Let i be q(g). Let f = i + -7. Does 7 divide f?
True
Suppose m - 9 - 1 = 0. Suppose -5*o - 5*j = -m, o = 5*o + 5*j - 5. Let t(r) = r**3 - 2*r**2 - 8*r + 6. Is t(o) a multiple of 16?
False
Suppose 3*k = 2*n + 28, 5*k - 5*n = 2*k + 25. Let t = 14 - k. Is t a multiple of 2?
True
Is 16 a factor of (374/8)/1*4?
False
Suppose 51 = 4*r + o, -55 = -4*r - 0*o + 3*o. Let p = -16 + 20. Suppose -s - p = -r. Is s a multiple of 4?
False
Does 4 divide (-13)/(-52) - (-222)/8?
True
Suppose -d + q = 9 + 15, d + q + 18 = 0. Does 13 divide ((-24)/(-9))/((-2)/d)?
False
Suppose 5*m - 228 = 2*q, 3*q - 2*m - 114 = 4*q. Let b = q - -166. Is b a multiple of 19?
False
Let z be 0/(-2 - 4*-1). Suppose z = -g - 2*g + 9, 5*h - g = -198. Let u = 62 + h. Is u a multiple of 9?
False
Suppose -2 = -3*j + 3*b + 1, 2*b = -j + 4. Suppose -d = -j*y - 6, -d - 2*d - 2*y + 2 = 0. Suppose -7*p + 50 = -d*p. Is p a multiple of 6?
False
Let k be 1/((15/(-9))/(-5)). Suppose -5*y + 520 = -k*x, x + x + 418 = 4*y. Let i = y - 75. Is i a multiple of 13?
False
Suppose 3*d + h - 2*h = 7, -4*d = -h - 10. Suppose -d*u + 61 = -47. Does 12 divide u?
True
Let o be (-2)/7 + (-79)/(-7). Is o - (1 + -1)/(-2) a multiple of 7?
False
Let c(l) = l**3 + 9*l**2 + 9. Does 9 divide c(-9)?
True
Is 9 a factor of -4 - -1 - -23 - 2?
True
Is (0 + -3)*28/(-3) a multiple of 7?
True
Let b(d) = 4*d + 13. Is b(6) a multiple of 8?
False
Suppose -2*w = -5*y - 8, -2*y + 2*w + 4 = 12. Suppose 0 = -2*d - 0*h - 5*h + 25, y = 4*d - 3*h + 15. Suppose 10 = -d*a + a. Is 5 a factor of a?
True
Is 2/(-2)*(15 + -287) a multiple of 34?
True
Suppose -2*p + 4*p - 518 = -2*x, 0 = 3*x - 3*p - 807. Is 24 a factor of x?
True
Let q(i) = 4*i + 12. Let h(t) = -3*t - 11. Let z(c) = -3*h(c) - 2*q(c). Is z(0) a multiple of 5?
False
Suppose s = 6*s - 10. Suppose a = s*r + 19, -2*a - 2*a + 16 = 4*r. Suppose -3*x = -a - 42. Is 17 a factor of x?
True
Let j = 9 + -10. Let u = 20 + j. Is 19 a factor of u?
True
Let u = 177 - 113. Is u a multiple of 16?
True
Is (136/14)/(4/14) a multiple of 16?
False
Suppose 0 = -4*o - 3*v + 164, o - 2*v = -3*o + 144. Does 19 divide o?
True
Suppose -2*j + 21 = 4*r - 5, -5*j + r = -10. Suppose -20 = -j*k - g, 5*g + 4 = 4*g. Does 2 divide k?
True
Suppose 2*b + 3*t - 11 = 0, 4*b - 13 = -4*t + t. Let u(m) = 91*m + 1. Let i be u(b). Suppose -f = 3*f - i. Does 8 divide f?
False
Let n = 0 + -3. Let d be (3 + -4)*1*n. Let s(t) = 2*t**3 - 4*t**2 + t + 1. Is s(d) a multiple of 15?
False
Suppose -3*n = -s - 37, -2*s + 0*s + 3 = n. Is 2 a factor of n?
False
Suppose 4*r + 5*p = 2*p + 43, 5*p - 15 = -r. Does 3 divide r?
False
Suppose j - 23 = -8. Suppose -4*h - h = -j, -5*h = -3*o + 99. Is 8 a factor of o?
False
Suppose 0 = 2*a + a - 9. Suppose a*i = 7 - 1. Is 2 a factor of i?
True
Suppose -3*x - 16 = -5*x. Does 4 divide (-10)/x*(-8)/2?
False
Suppose i + 8 = -u - 0*u, 4*i + 6 = -2*u. Let s = u - -44. Does 14 divide s + (-1*6)/2?
True
Let s(q) = 26*q + 1. Let a be s(-1). Let h = a - -40. Is 5 a factor of h?
True
Is ((-8)/(-12))/((-1)/(-21)) a multiple of 7?
True
Let t(w) = w**3 - 9*w**2 + 10*w - 9. Is 27 a factor of t(9)?
True
Let y = 95 - 65. Is 5 a factor of y?
True
Let j(x) = x**3 - 5*x**2 - 7*x + 4. Let r be j(6). Let k(s) = 8*s**2 + 2*s. Is 14 a factor of k(r)?
True
Suppose 0 = 5*d - 4*u - 11 - 141, -4*u = -4*d + 124. Is 14 a factor of d?
True
Let i be -78 + 2 - (0 - 1). Let g(b) = -5*b + 7. Let r be g(8). Let d = r - i. Is 14 a factor of d?
True
Let h(r) = -r**3 + 6*r**2 - r + 1. Let i be h(3). Let b be (-2 - (-44)/16)*4. Suppose b*v + i = 163. Does 23 divide v?
True
Let h(c) = 1. Let t(v) = 17*v - 2. Let p(d) = -5*h(d) - t(d). Let j be p(3). Let m = j - -76. Is m a multiple of 11?
True
Let b be -2*2*(-3)/6. Let i(u) = -4*u - 2*u**2 - 2 + 2*u**2 + u**b. Is i(-3) a multiple of 9?
False
Suppose -11 = -t + 4*k + 72, 3*t - 184 = -k. Suppose 4*j = j + t. Does 7 divide j?
True
Let c