410. Let r = -65 + a. Is r a multiple of 28?
True
Suppose -g - 20 = -22. Let o be g + (19 - 0) + 3. Suppose -8*a = -4*a - o. Is a a multiple of 2?
True
Let l = 13 - 17. Let z be (-114)/l*8/6. Suppose 106 + z = 4*y. Is 12 a factor of y?
True
Suppose -2088 = -2*w - 16*w. Does 6 divide w?
False
Suppose 51 + 19 = 10*u. Let h(z) = 2*z**3 - 21*z**2 + 9*z - 26. Let n(k) = k**3 - 10*k**2 + 4*k - 13. Let m(w) = -4*h(w) + 9*n(w). Is m(u) a multiple of 14?
False
Let y = 259 - 113. Let i = y - 131. Does 2 divide i?
False
Suppose -v + 0*v + 33 = 0. Suppose -15 = -3*a, a - 71 = 4*o - 2*a. Let t = v + o. Is t a multiple of 19?
True
Let i(y) = y**2 - 28*y + 275. Is i(0) a multiple of 12?
False
Suppose 31463 - 196927 = -86*u. Is u a multiple of 15?
False
Suppose -3*n - q - 4 = -5*n, 0 = -q + 2. Suppose 2*m = -2*m - 5*f + 109, 4*f - 81 = -n*m. Is m a multiple of 7?
False
Let x(p) = p + 7. Let z be x(-14). Let t(y) = -2*y - 12. Let r be t(z). Suppose -r*f + 0 = -20. Is f a multiple of 5?
True
Suppose 534 = -28*c + 30*c. Is 5 a factor of c?
False
Suppose 37 = 10*g - 23. Let b be 294 + (-2)/((-2)/2). Suppose -b = -g*z - 92. Is 30 a factor of z?
False
Suppose 1533 = 14*o + 7*o. Let j = -4 + 7. Suppose -b + 4*b + 5*r = 63, 0 = 4*b + j*r - o. Does 8 divide b?
True
Let p = 1208 + -659. Is 33 a factor of p?
False
Is -2 + (-34)/51*(-57)/2 a multiple of 2?
False
Let l(i) = 2*i**3 - 7*i**2 - 18*i + 38. Is 4 a factor of l(7)?
False
Suppose 0 = -3*n + 4*h + 5542, -4*n = -8*n + 5*h + 7390. Let a = n - 590. Is 16 a factor of (6/(-5))/((-54)/a)?
False
Suppose 5*h = -3*o + 711, 137 = -0*h + h - 2*o. Is 20 a factor of h?
False
Suppose -5*i = -4 - 6. Suppose 10 = 3*p + i*p. Is 6 a factor of (4/3)/(p/9)?
True
Let a = 28 + -27. Let g be 87 + -4 - (-1 + a). Suppose -52 = -2*m + 2*f, 2*m - g = -m + 2*f. Is m a multiple of 17?
False
Suppose -3*c - 3652 = -4*l, -14 + 2 = 3*c. Does 5 divide l?
True
Let t be (194/(-4))/(6/(-24)). Suppose t = 3*s - 91. Does 12 divide s?
False
Suppose -4*z + 3*z + 1004 = 2*h, 0 = -3*h + 5*z + 1532. Suppose -9*x = -h + 18. Does 30 divide x?
False
Let y be 2 + (2 + 1)/(-1). Let n be (-2)/(5 + -4) - 10. Is y/2*(n + -4) a multiple of 4?
True
Let k(a) = 24*a + 10. Let r = 88 - 82. Is k(r) a multiple of 22?
True
Let t be -1 + 3 + (-4 - -4). Suppose 0 = -a + 9 - t. Suppose a*q = 9*q - 80. Is q a multiple of 20?
True
Let m(t) = t**2 - t + 13. Let l be m(0). Let n = l + -11. Suppose 4 = -n*b, -4*o + b + 132 = o. Does 13 divide o?
True
Is 3 + -6 + 8/(-8)*-21 a multiple of 18?
True
Let x be ((-2)/4)/((-4)/200). Suppose 2*s + 0*b = -b + 5, 5*b = x. Suppose c - 29 - 45 = s. Does 14 divide c?
False
Let v = 31 - 13. Let l = 93 + v. Is l a multiple of 37?
True
Let i(o) = o**2 - 19*o - 10. Let v(q) = -2*q**2 + 39*q + 20. Let r(m) = -13*i(m) - 6*v(m). Is r(10) a multiple of 8?
True
Let y(a) = -2*a + 20 + 20 + a**3 - 38 + 3*a**2. Is y(-3) a multiple of 4?
True
Let i = 32 - 24. Suppose -2*h = t - 10, -55 = 4*t - i*t - 5*h. Is 20 a factor of t?
True
Let l(w) = 138*w - 100. Is 4 a factor of l(2)?
True
Let i be 5/(-10)*14/1. Let m = i + 19. Is m a multiple of 12?
True
Suppose -28*j = -25*j - 12. Suppose z - 315 = -4*x, z = -j*z - 25. Suppose 0 = n + 4*n - x. Is 16 a factor of n?
True
Let a(r) = 4*r**3 + 18*r**2 - 15*r + 11. Is a(7) a multiple of 48?
True
Let g(p) = 6*p**2 + 63*p + 21. Is g(-12) a multiple of 8?
False
Let v(p) = p**2 - 29*p - 182. Is 25 a factor of v(-17)?
True
Suppose -2*q = -4*y - 8, -2*y = 2*y + q + 2. Let z = 3 + y. Suppose i = -3*p + 48, -z*i = p + 2*i - 27. Does 4 divide p?
False
Let n be 4/(-2)*16/(-16). Suppose -4*g - 2*z = 2, 19 = n*g - 4*g + 5*z. Is 5 a factor of ((-60)/(-8))/((-1)/g)?
True
Let i be -3 - (-3 + -3) - (4 - 31). Suppose -i - 30 = -3*f. Is f a multiple of 10?
True
Let z be (-5)/15 - (-182)/6. Let g = -30 + z. Suppose -c = 4*p - 0*c - 196, g = -5*c + 20. Is p a multiple of 16?
True
Does 11 divide (-140)/49*1869/(-6)?
False
Let a be 0 + (1 - 2)*1. Let d be (-1)/(2/10*a). Suppose -66 = 3*y - d*y. Is 11 a factor of y?
True
Let m(w) be the third derivative of w**5/20 - 2*w**4/3 + 13*w**3/6 - 41*w**2. Is 23 a factor of m(12)?
True
Let w(i) = -20*i - 134. Is w(-9) a multiple of 2?
True
Suppose 3*y - 3 = 0, 2*n - 111 = 12*y - 9*y. Does 19 divide n?
True
Let c(l) = -3*l**3 - 7*l**2 + 0*l + 4 - 4*l + 5*l**3 - 17. Is c(6) a multiple of 13?
True
Let h = -84 + 93. Is 14 a factor of 1887/h - 9/(-27)?
True
Suppose -19*m = -14*m - 75. Suppose 8*z - m*z = -679. Is 9 a factor of z?
False
Suppose x + 11507 = 2*i + 2*i, -4*x = 7*i - 20143. Does 21 divide i?
True
Suppose -2*j - j = -12. Is 17 a factor of (204/(-30))/(j/(-10))?
True
Let g(f) = 13*f - 15. Let b(j) = j**2 + 9*j - 15. Let w be b(-11). Does 28 divide g(w)?
False
Let z = -15 + 11. Let b be z/(-18) + (-25)/(-9). Suppose 2*g = -8, -b*k - 4*g + 8*g + 178 = 0. Does 25 divide k?
False
Let p be (-70)/21*(-12)/(-10). Let q(h) = -42*h**3 - 5*h**2 + 4. Let l(v) = 43*v**3 + 6*v**2 - 5. Let s(r) = p*q(r) - 3*l(r). Does 19 divide s(1)?
False
Let d(f) = 14*f**2 + 11*f + 15. Let k be d(-5). Let o = k - 156. Is o a multiple of 14?
True
Let i = -34 - -34. Suppose 3*r = -4*k + 108, i*r - 144 = -4*r + 4*k. Is r a multiple of 12?
True
Let h = 15 - 40. Let d = 44 - h. Is d a multiple of 6?
False
Suppose -2*t = -732 - 1502. Is 6 a factor of t?
False
Let f(m) = -m**3 - 48*m**2 - 65*m - 80. Is 15 a factor of f(-47)?
False
Let u = 23 + -20. Is 3 a factor of u*1/3 + 20?
True
Let u(w) = -w**3 + 3*w**2 - 2*w + 1. Let y be u(-3). Let k = -31 + y. Does 5 divide k?
True
Let b = 149 + -145. Suppose 0 = 2*z - 2*r - 468, 3*z + b*r - 730 = -0*r. Is z a multiple of 17?
True
Let c be 2/6 - 25/(-15). Suppose -p = -4, c*y = 3*p - 1 - 3. Suppose -y*q = -314 + 122. Does 12 divide q?
True
Suppose 87 = 15*q - 228. Does 7 divide q?
True
Suppose -c + 0*c + 40 = 0. Let u = 24 + -21. Suppose 8*f = u*f + c. Does 4 divide f?
True
Suppose -3*g = -g - 6. Let p be 8 + g*8/(-12). Suppose 10 = 4*l - p. Is l a multiple of 2?
True
Let u(c) = 108*c + 106*c + 119*c + 15 - 428*c + 114*c - c**2. Let x = 57 - 39. Does 17 divide u(x)?
False
Let z(j) = -3*j - 11. Let t be z(-5). Suppose -4*o + 4 = -t. Suppose -5*d = -o*b - 422, -4*b + 59 = 5*d - 357. Does 19 divide d?
False
Let r be 1*(-1)/3*27. Let f(w) = -w**3 - 8*w**2 + 4*w + 13. Does 13 divide f(r)?
False
Suppose 14 = -3*p - 2*a, p + 10 = -a - a. Let d(c) = c**3 + c**2 - c. Let r(v) = -7*v**3 + 4*v - 2. Let i(n) = 3*d(n) + r(n). Does 12 divide i(p)?
False
Let u = -6 - -9. Does 3 divide 2*(u - 1)*1*4?
False
Suppose 5*p - 4045 = -5*n, 2*n + 3*n = 4*p + 4054. Does 9 divide n?
True
Suppose 0*n + 3*n + 771 = 4*j, j + 5*n = 164. Is 21 a factor of j?
True
Let p(v) = -v**2 - 5*v - 3. Let x be p(-2). Suppose -4*m + 172 = -2*n, x*n - 116 = -2*m - 38. Is m a multiple of 10?
False
Suppose -5*y + 330 = 2*v, y = -0*y - 2*v + 66. Suppose 4*i = y - 2. Suppose 0 = -4*q - 2*n + i, 4*q - 5*n = -n + 28. Is 5 a factor of q?
True
Let n = 89 + -85. Is 3 a factor of -3 + n - ((3 - 2) + -24)?
True
Let w be (-4)/(-18) + 16/9. Suppose p = 3*y - 3, -w*p + 5*p + 25 = y. Is 4/6 + (-183)/p a multiple of 21?
True
Does 9 divide 6/(-12)*-16*99?
True
Is (-45)/55 - -1 - 12835/(-11) a multiple of 31?
False
Let o(j) = j**3 + 10*j**2 + 9*j + 8. Let u = -10 + 1. Is o(u) a multiple of 8?
True
Is (15/(-4))/((-21)/168) a multiple of 30?
True
Suppose -3*f = m - 2362 - 2879, -5*m = 15. Is 29 a factor of f?
False
Suppose 4*y - 3*c - 2081 = 0, -2*y + 2*c = 4*c - 1030. Is y a multiple of 53?
False
Suppose -2*k - 2*k - 4*q = 32, -k = -5*q - 4. Let x(z) = -4*z + 7. Let r be x(k). Let b = r + -12. Does 18 divide b?
False
Let b = -18 - -23. Suppose 0 = p - b*p + 120. Is 15 a factor of p?
True
Let o(l) = -l**3 + 54*l**2 - 52*l - 4. Is 5 a factor of o(53)?
False
Let t = 380 + -6. Is t a multiple of 17?
True
Is 27 a factor of ((-11)/22)/((-4718)/1572 - -3)?
False
Let r(h) = -6*h**2 + 16*h - 12. Suppose 4*v = 2*v, -2*l + 12 = 4*v. Let t be r(l). Is 5 a factor of t/(-28) + (-6)/(-21)?
True
Suppose -5*c + 18*j + 2227 = 16*j, -c = 4*j - 441. Is 9 a factor of c?
False
Let s(t) = 3*t**2 - 13*t - 8. Let z be s(6). Is z/4*-12*(-4 - -3) a multiple of 11?
True
Let d be 115 - (1 - 3/3)/(-2). Suppose 5*i + k - 120 = 4*k, -d = -5*i + 2*k. Is 2 a factor of i?
False
Supp