 + g. Is c a multiple of 15?
True
Let h be 10 - 0/(-1 - 0). Suppose h*p = 7*p + 114. Is 19 a factor of p?
True
Let h(i) = -i**2 + 2*i - 3. Let u be (-4)/(-16) + 10/(-8). Let j(m) = -m + 1. Let l(k) = u*h(k) - 2*j(k). Does 13 divide l(4)?
False
Suppose 3*n + 234 = 5*n. Does 39 divide n?
True
Let u(y) be the first derivative of -y**3/3 - 17*y**2/2 - 4*y - 10. Is u(-14) a multiple of 16?
False
Let n be (0/(-1) - -36) + -3. Suppose -v + 68 = v - 4*s, -v + s = -n. Does 8 divide v?
True
Let p = 47 - 33. Is 7 a factor of p?
True
Suppose -4*y + 14 = -2. Let s = 4 - y. Suppose s = -f - 0*f + 15. Is f a multiple of 7?
False
Suppose 2 = 2*i + 2*n, -5*n = i - 0*i + 3. Let m be (-1)/(i - 27/12). Suppose m*k + 26 = 106. Is k a multiple of 12?
False
Let b = 1288 - 893. Does 42 divide b?
False
Let n = 36 + -9. Is 9 a factor of n?
True
Is 25 a factor of ((-30)/(-2))/(3/10)?
True
Let m = 48 + 19. Does 20 divide m?
False
Let j = 64 - 44. Is j a multiple of 5?
True
Suppose 14 + 4 = 3*n. Suppose 5*v = 4*z + 31, 0 = -4*v - 2*z + n - 2. Does 3 divide v?
True
Let u(c) = 3*c**2 - 7*c - 3. Does 19 divide u(7)?
True
Suppose 0 = -x - 3*x - 36. Let c = x - -13. Let a(p) = p**3 - 2*p**2 - 2*p - 1. Is a(c) a multiple of 8?
False
Suppose -2*w = -5*j - 8, 0 = 2*j + 4*w - 2*w + 6. Is 14 a factor of (-252)/9*j/4?
True
Suppose -6 - 1 = -o. Does 2 divide o?
False
Suppose 0 = 2*g - 5*g + 9. Let l = -8 - -28. Let y = l + g. Is y a multiple of 9?
False
Let a be (-6)/(-4) + (-3)/6. Let t = a + 2. Suppose t*o - 71 = -5*w, 0*w - 3*w + 2*o + 54 = 0. Is 16 a factor of w?
True
Let k(c) = -c - 6. Let x be k(-8). Let m = 11 + -7. Suppose -m*i + x*i = -2*s - 34, -3*i = 2*s - 41. Is 7 a factor of i?
False
Let r(k) = -k**2 + 9*k + 3. Is r(5) a multiple of 12?
False
Let a be 77/21 + (-1)/(-3). Suppose -a*z = -0 + 4. Is 8 a factor of (72/16)/(z/(-2))?
False
Let t = 9 + 48. Let n = t - 31. Is 13 a factor of n/1*4/4?
True
Suppose 9*u + 12 = 11*u. Let t(v) = v**2 - 2*v - 7. Does 17 divide t(u)?
True
Suppose 3*i = i + 6. Suppose -l - u = u - 10, -u + 50 = i*l. Does 9 divide l?
True
Does 13 divide (-25)/(-2) - (-8)/16?
True
Let a(c) = 4*c**2 - 15*c + 13. Let l(h) = 2*h**2 - 7*h + 6. Let o(f) = -4*a(f) + 9*l(f). Let r be o(4). Does 11 divide (-8)/1*r/(-8)?
True
Suppose 3*m - 4 - 8 = 0. Let v be -2*-1*(-11)/2. Let a = m - v. Is 6 a factor of a?
False
Let q = 5 - 9. Let w(z) = -z + 2. Let c be w(q). Let j(n) = 3*n - 2. Does 16 divide j(c)?
True
Let o(a) be the first derivative of -a**3/3 + 9*a**2/2 - 12*a + 4. Is o(6) a multiple of 6?
True
Let s(u) = u**2 + 6*u + 3. Let k be s(-6). Suppose 0 = -k*t - 0*t + 135. Suppose 90 = 2*v + c - 15, v = 2*c + t. Does 17 divide v?
True
Suppose -33 = 3*o - 147. Does 20 divide o?
False
Let q = -1 + 2. Suppose -2*k - 18 = 3*w - 6*w, -5*k - 23 = -2*w. Let j = w + q. Does 5 divide j?
True
Let u(x) = -2*x - 11*x - 8 - 2*x + 3*x. Let b be u(-6). Suppose -r + b = r. Is r a multiple of 13?
False
Let d = 8 - 7. Let m(p) = 6*p + 1. Let q be m(d). Suppose 0 = 3*b - w - 17, -w + q + 4 = b. Is 7 a factor of b?
True
Suppose 6*h = 3*h + 48. Let c = -8 + h. Is c a multiple of 8?
True
Suppose -13*v + 14*v = 28. Is 8 a factor of v?
False
Let t = 6 + -3. Let n = 13 - t. Is (n/15)/(1/72) a multiple of 20?
False
Does 12 divide (216/28)/(3/28)?
True
Is 13 a factor of (3 - -47 - 0)/1?
False
Let g(x) = -5*x + 4*x + 3*x - 1. Does 2 divide g(3)?
False
Let s = -33 + 2. Let r = s - -64. Is 11 a factor of r?
True
Suppose -4 = -3*v + 2. Suppose x - 94 = -2*g + 3*x, -v*x = 0. Is g a multiple of 14?
False
Suppose -6*s = -946 - 158. Does 46 divide s?
True
Let i = -40 - -26. Is 4/i + 256/14 a multiple of 9?
True
Let v be (20/15)/((-2)/(-99)). Suppose 0 = 4*f + v + 10. Let g = f + 45. Does 13 divide g?
True
Suppose 5*l = l - 2*n + 36, -n + 38 = 4*l. Let w(k) = -k**3 + 11*k**2 - 10*k + 14. Is w(l) a multiple of 14?
True
Let m(i) = i**3 + i**2 + i + 47. Let j be m(0). Let k = j - 29. Is k a multiple of 6?
True
Let d(z) = 32*z - 4. Does 41 divide d(9)?
False
Let p(y) = y**3 - 7*y**2 - 7*y - 5. Let u be p(8). Suppose u*h - 4*h + 19 = 0. Is h a multiple of 12?
False
Let d = -21 - -35. Let c(q) = q**3 - 10*q**2 + 6*q - 18. Let l be c(10). Let b = l - d. Is 17 a factor of b?
False
Let l = 1 - -2. Let g(m) = -7*m + 3*m**2 + 2*m**2 + m**l - 4 + 3*m. Does 8 divide g(-5)?
True
Suppose -5*z + 5*l + 20 = 0, 3*z - 24 = -2*z + 3*l. Let p = z + -6. Suppose p = -6*o + o + 50. Is 3 a factor of o?
False
Is 20148/126 + 2/21 a multiple of 32?
True
Let q(a) = -16*a. Suppose -13 = -3*g + 2. Let y = g - 6. Is 16 a factor of q(y)?
True
Let v(y) = -y**2 + 15*y + 3. Does 3 divide v(15)?
True
Suppose 0 = -j - 19 + 99. Does 40 divide j?
True
Suppose 8*u = 4*u + 28. Let d = u + -22. Let z = d + 25. Is 10 a factor of z?
True
Let p = 1 + 3. Suppose 3*x - p*c + 5*c - 51 = 0, -3*x = 3*c - 51. Is x a multiple of 7?
False
Suppose 2*k - 432 = -4*k. Is 9 a factor of k?
True
Is 32 a factor of (-7152)/(-28) - 24/(-42)?
True
Let o(y) = -y**3 + 9*y**2 + 2*y + 15. Is o(9) a multiple of 12?
False
Is 11 a factor of -148*5/(-10) - (1 + 2)?
False
Let h(m) = 28*m**3 - m. Does 9 divide h(1)?
True
Let y = 181 - 125. Suppose 2*x + y = 4*x. Is 7 a factor of x?
True
Is 8 a factor of ((-12)/4 - -49) + 2?
True
Let w(c) = -c**2 - 4*c - 3. Let k be w(-3). Suppose -19 = 3*d - d + 5*t, 5*d - 3*t - 30 = k. Suppose d*v - 80 = -v. Does 20 divide v?
True
Let g be -4*2/8*-2. Suppose -u = g*u - 15. Let w = 20 - u. Is w a multiple of 5?
True
Let n = -153 - -278. Is 8 a factor of n?
False
Let a = -45 + 76. Suppose s + 5*r - a = 0, 0*r + r + 155 = 5*s. Is s a multiple of 11?
False
Suppose 0 = -8*s + 3*s + 175. Suppose 4*c - 121 - s = 0. Is 25 a factor of c?
False
Suppose -3*h + 96 = h. Is 8 a factor of h?
True
Let n = 17 + -9. Suppose 0 = -n*u + 4*u + 404. Does 28 divide u?
False
Let m = -120 - -180. Is 15 a factor of m?
True
Suppose -2*y - 2*y + 4*c + 28 = 0, 12 = -4*c. Let o(s) = 11*s + 3. Is 14 a factor of o(y)?
False
Let z(v) = v**3 - 8*v**2 - v + 6. Let k be z(8). Let g(u) = 87*u + 8. Let o(j) = 58*j + 5. Let q(f) = 5*g(f) - 8*o(f). Does 20 divide q(k)?
False
Let v be -27*(-6 + 2)/(-4). Let p = -27 - -66. Let n = v + p. Is 8 a factor of n?
False
Let j(y) = -17*y - 1. Let p be j(-1). Suppose 4*m = 3*g + 57, 2*m - 4*g - p = -0. Is 18 a factor of m?
True
Let t(l) = 17*l**3 - l**2 - 2*l + 2. Is 13 a factor of t(2)?
True
Suppose 3*u - 4*u = -55. Does 27 divide u?
False
Let y = -18 - -29. Suppose -2*q = -0*q + 2*z - 14, 3*z = 2*q + y. Suppose -2*w = 4*m - 7*w - 181, -3*m - q*w = -130. Is m a multiple of 15?
False
Let l be 44/(-16) + 2/(-8). Let y be (-1)/l + (-33)/(-9). Suppose 3 = y*b - w, 4*b - 3*b + 2*w - 12 = 0. Is b even?
True
Suppose 124 = 8*k - 116. Is 5 a factor of k?
True
Is 9 a factor of (5 - 3) + 56 - 4?
True
Let j(t) = -t**2 - 9*t - 12. Let o be j(-7). Suppose o*a - 80 = 8. Is a a multiple of 11?
True
Suppose -25 = -2*q + 45. Let m = q - 21. Does 12 divide m?
False
Let u(w) = 3*w**3 - w + 2. Is 8 a factor of u(2)?
True
Suppose r + 17 = 73. Does 14 divide r?
True
Let p(f) = -f**3 - 9*f**2 - 3*f + 2. Let t(z) = -2*z**3 - 17*z**2 - 6*z + 3. Let b(j) = 7*p(j) - 4*t(j). Is 8 a factor of b(-2)?
True
Suppose -5 = 4*g - 49. Let u = g - 3. Is 4 a factor of u?
True
Does 10 divide ((-3)/2)/(9/(-60))?
True
Let v(l) = l - 8. Let d be v(11). Suppose -d*x - 13 = -4*x. Is x a multiple of 6?
False
Let w be 6/(5/(-3) - -1). Let x be -3*3/w*6. Suppose 0*f = 2*f - x. Is 2 a factor of f?
False
Suppose -2*z + 8 = -4. Is z a multiple of 6?
True
Suppose -5*y + 53 = 13. Suppose -4*m - 44 = -y*m. Is m a multiple of 11?
True
Let j(v) be the first derivative of -v**3/3 + 15*v**2/2 - v - 5. Is j(11) a multiple of 9?
False
Let l(y) = y**3 - y**2 - 5*y. Is l(4) a multiple of 7?
True
Let w(t) = t**2 - t - 20. Let u be w(0). Let b = -11 - u. Does 3 divide b?
True
Let u(r) = -r**3 - 5*r**2 - 7*r + 6. Let l be u(-6). Let b = -1 - -4. Suppose -b*a + 210 = l. Is 21 a factor of a?
True
Let i be (-2 + 10/6)*0. Suppose i = -2*q + 5*q - 42. Does 7 divide q?
True
Suppose 0 = -4*r - 65 + 273. Is r a multiple of 10?
False
Suppose 16 = 6*n - 2*n. Suppose -n*c + 0*i + 4*i = -328, 4*i + 91 = c. Is c a multiple of 18?
False
Let x be (-19 + (-2)/(-2))/(-1). Suppose -4*p + 3*w + 24 = 0, 5*p - 2*p - x 