+ 533. Is 49 a factor of d?
False
Suppose 0 = -28*l - 71 + 2955. Is 11 a factor of l?
False
Let c = -17 - -9. Let i = 5 + c. Does 9 divide i/(2*(-2)/36)?
True
Let p(f) = 3*f + 3. Let u be p(6). Suppose u*r = 20*r + 96. Suppose 2*v - 51 = -t, -t + 2*v = -3*t + r. Does 11 divide t?
False
Let k(c) = 9*c - 8. Let q(b) be the second derivative of -5*b**3/3 + 4*b**2 - 5*b. Let m(a) = 4*k(a) + 3*q(a). Is m(5) a multiple of 8?
False
Suppose -3*q + 11 + 4 = 0. Let s = 29 + q. Suppose -5*d + 154 = s. Is d a multiple of 9?
False
Suppose n + 4*g + g - 220 = 0, -g + 212 = n. Suppose 4*r - 102 = n. Is r a multiple of 26?
True
Let k = -24 + 28. Suppose -k*v - 16 = -100. Is v a multiple of 20?
False
Suppose y = d + 2*y + 1, -30 = 2*d - 5*y. Let i = 64 + d. Suppose -3*p + 5 = q, 0*p - i = -4*q + p. Does 14 divide q?
True
Let q(b) = -2*b - 9. Let t be q(-6). Suppose t = 2*w + 1. Is (w + (-31)/(-2))*2 a multiple of 12?
False
Let u be (-2 + -2 - 44)/(6/(-8)). Is ((-3)/(-1))/(3/u) a multiple of 8?
True
Let m = 1765 - -915. Is 11 a factor of m?
False
Let c(p) = p**3 - 3*p**2 - 5*p + 3. Let w be c(4). Is 2 - w - 72/(-8) a multiple of 2?
True
Let z(n) = -n**3 - 8*n**2 + 9*n + 2. Let s be z(-9). Suppose -p - 2*i = -18, 13 = -s*p + 5*i + 4. Is 2 a factor of p?
True
Suppose 5*a + 0 = 10. Suppose 5*h - 75 = a*h. Suppose 0 = 5*y - h, 5*y + 0*y - 13 = x. Does 4 divide x?
True
Suppose 4*f - 2*k + 3*k + 401 = 0, 2*k = -2*f - 196. Let w = 272 + f. Is w a multiple of 9?
True
Suppose 0 = 2*h + 4*d - 1126, -4*d = 15*h - 11*h - 2260. Is 9 a factor of h?
True
Suppose -s = -5*s + 128. Suppose -27*o = -s*o + 110. Is 11 a factor of o?
True
Suppose -f + 6 = 2*f + 3*r, 0 = f - 5*r - 8. Suppose 316 = -f*g + 7*g. Is 16 a factor of g?
False
Let f = 49 - 51. Let x(r) = 10*r**2 - 4. Is x(f) a multiple of 18?
True
Suppose -785 = -5*m + 1015. Does 30 divide m?
True
Does 2 divide 2592/20 + (-6)/(-15)?
True
Let w = -11 + 15. Let z be 4/w - (-1 - -1). Let b(d) = 10*d**2 - d. Is b(z) a multiple of 3?
True
Suppose h - 6*y - 506 = -8*y, -2*h = 3*y - 1011. Is h a multiple of 36?
True
Let b = 21 + -29. Let l(k) = -k**3 - 9*k**2 - 8*k + 9. Let q be l(b). Let i = q - -5. Does 3 divide i?
False
Let m(k) = k**3 - 2*k**2 - 2*k - 1. Let s be m(3). Suppose -u - s*u = -15. Suppose -u*g = -2*g - 96. Is g a multiple of 10?
False
Let r = 707 - -1180. Does 51 divide r?
True
Let g(o) be the third derivative of o**5/60 + 5*o**4/24 + 11*o**2. Let m be g(-5). Suppose 3*w - 29 - 79 = m. Is 8 a factor of w?
False
Let k(d) = 109*d - 49. Does 27 divide k(14)?
False
Let z(o) = -8*o**2 - 2*o**3 + o**3 - 6 + 12*o + 5*o**2 - 8*o**2. Let r be z(-12). Is 8 a factor of ((-12)/(-15))/(r/(-75))?
False
Suppose -2*n = 4*z - 120, 2*n + 2*n - 234 = -5*z. Suppose 126 = 3*h + 4*f, -h + 3*f + n = 14. Is h a multiple of 12?
False
Let s(v) = v**2 + 19*v - 22. Let x be s(-20). Does 3 divide (-4 - -7)*(68/12 - x)?
False
Let p = -1 + 4. Suppose 7*c = p*c + 16. Suppose 2*x - 2*d = 2*d + 24, 2*x + c*d - 56 = 0. Is x a multiple of 6?
False
Suppose -25 = -11*a + 6*a. Suppose 5*c - 2*v = v - 88, a*v = c + 22. Let s = 3 - c. Is s a multiple of 16?
False
Suppose 1487 = 9*l - 14677. Does 28 divide l?
False
Let p(y) = y + 6. Let m be p(-3). Let b = -63 - -25. Is 15 a factor of m + (1 - (b + 2))?
False
Let d(l) = -61*l + 12. Is 18 a factor of d(-6)?
True
Suppose 4 = 3*r - 3*i + 2*i, 2*i = 5*r - 5. Suppose 8*y - r*y = 15. Suppose -3*b = -2*x + 65, -y*x + 132 = -5*b + 33. Does 7 divide x?
True
Let n(h) = h**2 - 36. Let u be 2/5 + 30/(-75). Let c be n(u). Is 9 a factor of 82/4 - c/24?
False
Suppose 0 = -0*k - 5*k + 15. Let g be (61/k)/(3/18). Suppose -50 = -4*c + g. Does 10 divide c?
False
Suppose -45*s + 52*s = -63. Is 3/3*-2 - 882/s a multiple of 16?
True
Let d(r) = 19*r + 2. Let o be ((-10)/(-4))/(2/4). Let m = -4 + o. Is d(m) a multiple of 21?
True
Let m(i) = 337*i**3 - 3*i**2 + 12*i - 19. Is m(2) a multiple of 105?
False
Let z(d) be the third derivative of -7*d**4/6 + 2*d**2. Let p be z(-1). Suppose -4*i = -5*u - 6*i + 62, -2*u + p = 4*i. Is u a multiple of 6?
True
Let p = 2761 - 1842. Does 5 divide p?
False
Let p = 756 - 288. Suppose -4*d - p = -10*d. Is d a multiple of 21?
False
Suppose -2*l + 3*v - 36 = v, 3*v - 34 = 2*l. Is 2 a factor of (-28)/42 + l/(-3)?
True
Suppose 0 = -5*l - 106 + 326. Let w = -1 + l. Is w a multiple of 30?
False
Does 51 divide 2/(-4)*(156 + -3)*-6?
True
Let b(a) be the second derivative of -a**6/720 - 7*a**5/120 - a**4/12 + 5*a. Let n(d) be the third derivative of b(d). Is n(-10) a multiple of 2?
False
Let h(f) = 5*f + 23. Let d be h(8). Does 20 divide (-719)/(-7) - (-18)/d?
False
Let n(l) = -2*l + 3. Let c be n(0). Suppose -c*t + 66 = 3*t. Does 4 divide (2*t)/(3 - 1)?
False
Let k(d) = -3 + d**3 - 6 + 6*d + 12 + 7*d**2. Let y be k(-6). Suppose p + o - 23 = -0*p, y*o + 3 = p. Is p a multiple of 9?
True
Let n = 2860 - 2455. Does 4 divide n?
False
Let i(x) = 12*x - 69. Is i(14) a multiple of 33?
True
Let n(j) = -3*j - 15. Suppose 18*s = 13*s - 85. Let y = s + 6. Is 16 a factor of n(y)?
False
Suppose 11887 = 28*t - 6481. Does 41 divide t?
True
Let r(l) = -l**3 + 5*l**2 - 3*l. Let f be r(4). Let t = f + -4. Suppose -3*w + 63 + 7 = 2*z, t = z + 1. Is w a multiple of 8?
True
Does 24 divide 30790/110 + 1/11?
False
Let v be 328/6 + ((-4)/2)/(-6). Suppose 0*x - 5*x - 60 = 0. Let h = v + x. Is 8 a factor of h?
False
Let y(q) be the second derivative of -q**5/20 - 3*q**4/4 - 5*q**3/3 + 15*q**2/2 + 22*q. Does 15 divide y(-9)?
True
Suppose 6*b + 11520 = 22*b. Is b a multiple of 45?
True
Suppose -2*d - 19 = -5*m, 2*m = -m - 2*d + 21. Suppose m*a + 28 = 2*s + 178, a - 3 = -5*s. Is a a multiple of 8?
False
Let w(t) = 4*t**3 + 4*t**2 + t - 11. Let i(p) = -7*p**3 - 8*p**2 - p + 21. Let f(l) = -3*i(l) - 5*w(l). Is f(4) a multiple of 10?
False
Suppose 0 = 40*w - 46*w + 5094. Is w a multiple of 3?
True
Let p(j) = -j - 12. Let q be p(-15). Suppose 0 = 4*t + 3*u + q + 12, 20 = -4*t - 4*u. Suppose 3*l - 69 - 111 = t. Is 15 a factor of l?
True
Let b(j) = -j**3 + 5*j**2 - 3*j + 2. Let o be b(3). Suppose o - 66 = -p + 2*r, 0 = -3*p - 5*r + 121. Is p a multiple of 9?
False
Let p(o) = 22*o**2 - 5*o - 9. Is 7 a factor of p(-3)?
False
Let l(o) be the second derivative of -o**4/12 - 10*o**3/3 + 3*o. Does 9 divide l(-11)?
True
Suppose -2*o + 6*o + 21 = q, 0 = -4*q + o + 159. Suppose -v + 0 = -q. Is v a multiple of 10?
False
Let v = 1324 - 915. Is 18 a factor of v?
False
Let i be 2*(9/(-3))/(-3). Let p be 1 - (-2 + (i - -3)). Is 14 a factor of -1 + p - (-102)/6?
True
Suppose -n + f + 1272 = 0, 4*f - 550 = 3*n - 4362. Is n a multiple of 22?
True
Suppose 0 = -x - 2*h + 281, -2*x - 2*h - 42 = -598. Is 25 a factor of x?
True
Suppose 3 = -b + 1. Is 4 a factor of ((-39)/b)/(81/216)?
True
Let r be (-2 - -5)/(-3)*-1. Let b(d) = -8*d - 36. Let u(i) = -1. Let l(g) = r*b(g) - 24*u(g). Is l(-6) a multiple of 18?
True
Let f be (-1)/2*(34 - -4). Let t = 0 + f. Let v = 56 - t. Does 25 divide v?
True
Let b = -83 - -29. Let m = 68 + b. Is 4 a factor of m?
False
Suppose -4*c + 159 = -3*r, c - 4*r - 24 = 19. Let f = 11 - 15. Is 9/(c/9 + f) a multiple of 9?
True
Suppose f - 3*f = -6. Suppose t + 2*b - 24 = 0, -f*t + 112 = -0*t - 4*b. Is t a multiple of 9?
False
Let q = -1640 + 2790. Does 23 divide q?
True
Suppose 9*z = 13*z + 5*h - 1100, -3*z - h + 814 = 0. Does 2 divide z?
True
Suppose -2*o + 45 = o. Let x be 32/10*o/6. Suppose 3*l + 4*f + x = l, 4*l - 20 = 4*f. Is l a multiple of 2?
True
Let l be (631 + 11)*(-2)/(-3). Suppose -5*f - l = 22. Let r = f - -149. Is 21 a factor of r?
False
Let m = 1743 + -1399. Is m a multiple of 8?
True
Suppose 43 = -2*u + 9. Let z = -12 - u. Suppose -16 = -w + z. Is 21 a factor of w?
True
Let r(v) = 6*v - 3. Let j be r(5). Let q = j - 16. Is 2 a factor of q?
False
Let p = 248 + -64. Let l be 2/((-1 - -4) + -2). Suppose -70 = -2*z + c, 5*z = -0*z - l*c + p. Does 11 divide z?
False
Let o(u) = -u**2 - 18*u + 11. Let l = -66 - -48. Is o(l) a multiple of 7?
False
Is (494 - (-12 - -2))*24/4 a multiple of 18?
True
Let q(c) be the second derivative of c**4/12 + c**3/2 + 11*c. Is 35 a factor of q(7)?
True
Let m(r) = -r**2 - 10*r - 7. Let z be m(-8). Suppose 3*x + 4 - 1 = 0. Let h = x + z. Is 8 a factor of h?
True
Let r = 64 + -68. Let n(m) = -15*m