 Let c be d(-2). Suppose 2*q + c = -q. Let g = q - -73. Is 13 a factor of g?
False
Let y = -63 + 146. Is 23 a factor of y + (-33)/11*(-1)/(-3)?
False
Let j = 120 + -94. Suppose j = 11*o - 9*o. Is o a multiple of 7?
False
Let q be ((-12)/8)/(-1 - 21/(-30)). Does 4 divide q*(3 - (-5 - -3))?
False
Let x(t) = -t + 1. Let c be x(4). Let s be (-1)/2*21/(189/(-36)). Does 14 divide (28/(-3))/(s/c)?
True
Let v(q) = q**2 + 22*q + 14. Is v(-36) a multiple of 7?
True
Let c = -18 - -22. Suppose -c*r - 40 = -3*n - 11, n = -2*r - 7. Is (-12 + r)*(0 + -1) a multiple of 6?
False
Let b = 6 + -8. Let h be 3 - ((b - -3) + 5). Let l(z) = 4*z**2 - z - 4. Does 10 divide l(h)?
False
Suppose -10*t - 8 = -12*t. Does 24 divide (t + 0 + -9)*-26?
False
Suppose 3*a + 6 = 4*p - 6, 0 = -2*a. Is (236/(-2))/(1 - p) a multiple of 13?
False
Suppose -f = 3*i - 312, 2*f + 104 + 208 = 3*i. Does 30 divide i/39*45/4?
True
Is ((-1719)/36)/(3/(-24)) a multiple of 21?
False
Let o = -15 + 697. Is o a multiple of 11?
True
Let h = -25 - -107. Does 14 divide h + (-3 + 3 - 2)?
False
Suppose 1226 + 1654 = 6*d. Is 6 a factor of d?
True
Suppose 199 = -5*x - 16. Let o = x + 78. Suppose -2*z + o = -c + 13, -5*z = -3*c - 57. Is z even?
False
Let t(u) = -6*u - 21. Let g be t(-14). Let x = g - -7. Suppose -3*r - x = -8*r. Is 7 a factor of r?
True
Is 15*(10 - (-380)/25) a multiple of 21?
True
Does 42 divide (-12856)/(-6) + (-15)/((-720)/(-32))?
True
Suppose 456 = 5*q - 2*k, -4*k + 100 = -2*q + 3*q. Is 4 a factor of q?
True
Suppose -h + 4*o = h - 48, -5*h - o = -120. Suppose 0 = -11*a + 12*a + h. Let g = -14 - a. Is 5 a factor of g?
True
Let o be 16/(-3)*(-63)/(-14). Let j be (150/o)/(1/(-20)). Let d = j + -57. Is 22 a factor of d?
False
Suppose 0 = -12*f + 17*f - 20, 0 = c - 2*f - 135. Is c a multiple of 13?
True
Let p(d) = -6*d + 8. Let w be p(-5). Suppose -3*k - 2*u + w = 0, k - 5*u + 13 = 37. Is k a multiple of 7?
True
Let w = -158 + 197. Does 18 divide w?
False
Let u = 399 + -257. Is 9 a factor of u?
False
Suppose 0 + 18 = -6*o. Let m(s) = 5*s + 3*s**2 - 2*s**2 - 4*s - 2. Does 2 divide m(o)?
True
Suppose 3*b - 4*r - 215 = 0, -2*b + r + 65 + 80 = 0. Let k = b - 13. Is 6 a factor of k?
True
Let i = 63 + -63. Is 13 a factor of (i - -1 - 2)/(6/(-546))?
True
Let t = 23 - 28. Let b = t + 5. Is 57*(1 + b) + 4 a multiple of 24?
False
Let t = 16 - 10. Let l(w) = -w + 8. Let h be l(t). Suppose -h*c + 60 = -c. Is 15 a factor of c?
True
Let i = -1038 + 2181. Suppose -7*b + i = 2*b. Is 16 a factor of b?
False
Let n = -2 - -7. Suppose 3*h + n - 26 = 0. Does 2 divide h?
False
Let l(v) = 9*v**2 - v. Let o(k) = 2*k + 10. Let i be o(-12). Let r = -13 - i. Does 8 divide l(r)?
True
Let w(o) = 2*o**3 - 3*o**2 - 9*o + 5. Let g(m) = m**3 - m - 2. Let z be g(2). Is 11 a factor of w(z)?
False
Suppose 17 = -5*m + 4*d, d - 8 = 2*m - 0*d. Let g(b) be the second derivative of -7*b**3/6 - 8*b**2 + 10*b. Is 4 a factor of g(m)?
False
Let p = 2169 + -1438. Is p a multiple of 43?
True
Let s(f) = f**3 - 10*f**2 - 9*f - 13. Let y be s(11). Suppose r - 15 = -y. Let z = r + 25. Is z a multiple of 16?
False
Let v(r) = -21*r + 28. Let n(l) = 22*l - 27. Let q(j) = -3*n(j) - 4*v(j). Is q(6) a multiple of 11?
True
Suppose 2*l - 4*u - 10 = 0, 3*l + 0*u = -u + 8. Suppose -3*g = -2*y + 135, -g = 3*g + l*y + 180. Is (g - -6)/((-9)/6) a multiple of 11?
False
Let h(o) = -37*o - 81. Does 18 divide h(-6)?
False
Let n(v) = v**3. Let d(z) = 133*z**3 + 2*z**2 - 3*z + 1. Let w(x) = d(x) - 5*n(x). Is 32 a factor of w(1)?
True
Let y = -74 + 85. Suppose 6*u = y*u - 280. Is u a multiple of 7?
True
Let l(w) = 25*w**2 - 3*w + 4. Let f(m) = -8*m**2 + m - 1. Let d(q) = -7*f(q) - 2*l(q). Is 14 a factor of d(-3)?
True
Let x(s) be the third derivative of -7*s**4/24 + 3*s**2. Let o be x(-3). Suppose 2*z = -3*m + o, 10 = m + z + 3. Is m a multiple of 2?
False
Let i = 131 + -77. Suppose i = 2*d + d. Is 2*d/21*7 a multiple of 3?
True
Let j(y) = 34 + y + 0*y + 0*y. Is 24 a factor of j(15)?
False
Let m(o) be the second derivative of -o**7/2520 - o**6/72 - o**5/12 + o**4/4 + 4*o. Let s(g) be the third derivative of m(g). Is 5 a factor of s(-8)?
False
Let y(c) = 23*c + 37. Let n(j) = 11*j + 18. Let z(p) = -5*n(p) + 2*y(p). Is 13 a factor of z(-9)?
True
Suppose o = 5*o - 52. Let q(k) = k**3 - 14*k**2 + 18*k + 1. Does 11 divide q(o)?
True
Suppose 2*i - 1 - 5 = 0. Suppose 0 = -i*u - 4*u + 1435. Does 41 divide u?
True
Let n(o) = -o**3 + 7*o**2 - 7*o + 12. Let h be n(5). Let u = 44 - h. Does 5 divide u?
False
Let n(k) = -k - 1. Let w(m) = -5*m - 3. Let p(l) = 3*n(l) - w(l). Let v be p(2). Is v/(-10) - 568/(-20) a multiple of 14?
True
Let z = -1015 + 1764. Is z a multiple of 7?
True
Let m(a) be the second derivative of -17*a**5/10 + a**4/12 + a**3/2 + 5*a**2/2 + 29*a. Is m(-2) a multiple of 55?
True
Is 2 a factor of (-1 - (-135)/1) + -3?
False
Let g be (21/(-15) - -1)*-40. Suppose -4*j = -8*j + g. Suppose -j*f + 28 = -0*f. Does 3 divide f?
False
Suppose 4*v = -2*d + 3*v + 971, 0 = v + 1. Does 18 divide d?
True
Let f = 130 + -130. Suppose f = -10*x + 7*x + 675. Is x a multiple of 15?
True
Let n = -80 - -416. Does 7 divide n?
True
Suppose 0 = 45*p - 3*p - 29820. Is 71 a factor of p?
True
Suppose 0*d = 3*d - 12. Suppose 3*r = -6, d*k + 3*r - 242 = 4*r. Is 30 a factor of k?
True
Suppose -6*i + i - 4 = o, -2*o + 4*i = -34. Suppose 0 = y + 2*a - o, 28 + 12 = 3*y - a. Does 13 divide y?
True
Let a be (8 + 2)*(-3 - 29/(-5)). Suppose 24*s + 176 = a*s. Is s a multiple of 11?
True
Let h(w) = 35*w**2 - 5*w - 9. Let z be h(-2). Let x = z - 91. Is x a multiple of 11?
False
Let m(i) = i**2 - 3*i + 11. Suppose -4*g + 6 = j, j - 2*g + 9 + 3 = 0. Let z be m(j). Suppose 0 = 5*y - z - 55. Is 6 a factor of y?
True
Let q = 2401 + -472. Does 34 divide q?
False
Let j(b) be the second derivative of b**5/20 + 3*b**4/4 - 5*b**2 - 4*b. Let t be j(-8). Let z = t - 37. Is z a multiple of 17?
True
Suppose -2*s + 0 + 18 = u, 0 = -4*s + 5*u + 22. Suppose 5*q + 315 = s*q. Is q a multiple of 21?
True
Let z(a) = a**2 - 48*a + 151. Does 23 divide z(-13)?
False
Suppose 2*t = 2*b + 3*t - 11, 0 = 2*b + 4*t - 14. Suppose -2*x + b*y = 26 - 0, -5*x + 5 = 5*y. Does 15 divide (-77)/x - 2/(-6)?
False
Suppose -2*o = 2, -2*u + 5*o = -0*u + 67. Let m = -33 - u. Is 3 a factor of m?
True
Suppose -4 = -2*r + 54. Suppose 0 = -5*b + 111 + r. Does 14 divide b?
True
Does 35 divide (-2911)/(-4) - (-270)/(-360)?
False
Suppose -4*c + 2160 = 2*c. Does 9 divide c?
True
Let t = -21 + 41. Is t/(-3)*(-84)/16 a multiple of 26?
False
Let w = -237 + 497. Is w a multiple of 34?
False
Is ((-6)/4)/(18/(-5268)) - -3 a multiple of 26?
True
Suppose t + 3*a - 5*a - 104 = 0, -4*t + 380 = a. Does 16 divide t?
True
Let r = 454 - 135. Does 6 divide r?
False
Does 12 divide (-27)/(-126) - 80127/(-42)?
True
Let k = -13 + 23. Let n be (-1)/2 - 445/k. Is (-4)/10 + (-783)/n a multiple of 5?
False
Suppose -7*g + 10*g = 15. Suppose 2*j = 2*l - 0*j - 66, 0 = -2*l - g*j + 31. Is 8 a factor of l?
False
Suppose -30*y = -45443 - 5647. Is 26 a factor of y?
False
Suppose 17*f - 367117 = -56*f. Does 16 divide f?
False
Suppose -51*f + 56*f = 3*u + 4831, -3*f + 3*u + 2895 = 0. Is f a multiple of 88?
True
Let z be (-2)/(-12) - 15978/(-36). Suppose z = t + 2*t - 3*a, 20 = -4*a. Is t a multiple of 11?
True
Let h be (77/3 - 0)*3. Let a = 122 - h. Suppose -r = 4*r - a. Is r a multiple of 2?
False
Suppose 2*f - 1808 = -6*f. Suppose -4*z + 142 = -f. Is z a multiple of 23?
True
Let h = 76 + -66. Does 12 divide (-5)/(h/912)*(-14)/28?
True
Suppose 98 + 82 = 2*y. Suppose 0*j = -5*j + y. Does 9 divide j?
True
Does 23 divide (-6 + 1110)*(-1 - 28/(-12))?
True
Let o(h) = -h**2 - 7*h + 3. Suppose -10 = 5*f + 15. Let p be o(f). Suppose -3*m + 110 = -p. Is 16 a factor of m?
False
Let d(w) be the first derivative of -11*w**4/4 + w**2 - 3*w - 4. Let g(a) = 21*a**3 - 4*a + 7. Let n(j) = -5*d(j) - 2*g(j). Is 12 a factor of n(1)?
True
Let o = 517 + -177. Does 10 divide o?
True
Let d = 65 - 154. Suppose -5*q - 120 - 680 = 0. Let u = d - q. Is 22 a factor of u?
False
Suppose -17 = -5*q + 3. Suppose p + q*p - 11 = -4*j, 4*p + 3*j = 9. Suppose -65 = -2*h - p*h. Does 13 divide h?
True
Suppose -19*y = -70184 + 7275. Is 12 a factor of y?
False
Let z = 2008 - 1021. Is 19 a factor of z?
False
Sup