/24*w**4 + 0*w + 3*w**2 + 0. Is 3 a factor of o(0)?
False
Let r(i) = 33*i**2 + i. Suppose 3*a - 2 = 1. Let f be r(a). Suppose 2*c - f = -0*c. Is 5 a factor of c?
False
Let v(p) = 2*p**3 - 2*p**2 + 17. Is v(7) a multiple of 13?
False
Suppose 4*w + 5 = 33. Suppose 9*j - 8 = 5*j. Suppose 3*s - 2*k - 282 = 0, -j*s = -w*s - 4*k + 492. Does 32 divide s?
True
Suppose h = -2*c + 5*h + 1902, 4*c + 5*h = 3765. Does 18 divide c?
False
Let u be 144/2*(-7)/63*-6. Is 9 a factor of (-9 + -1)*6/u*-12?
False
Let j = -15 - -15. Suppose 6*k - 10*k + 544 = j. Does 34 divide k?
True
Let n(s) = 6 + 6*s + 8*s**2 - 12*s**3 + 13*s**3 + 1. Does 12 divide n(-7)?
False
Let y be 6/(-10) - 15/(-25). Suppose y*a = -a + 26. Suppose -2*s + 94 - a = 0. Does 17 divide s?
True
Suppose -q - 6*f + 7*f = -1638, 1641 = q + 2*f. Does 11 divide q?
True
Let n = 153 - 5. Does 37 divide n?
True
Let g(v) be the first derivative of -v**3/3 + 25*v - 1. Let c be g(0). Suppose -5*l = f - 51, -5*l + 24 = -f - c. Is l a multiple of 10?
True
Suppose 0 = 6*m - 2201 - 1453. Is 21 a factor of m?
True
Let j(q) = 2*q + 8. Let y(r) = -1. Let w(h) = j(h) + 4*y(h). Let l be w(8). Suppose 10*o - l = 5*o. Is 2 a factor of o?
True
Let z be (-34)/(-8) + (-18)/(-24). Suppose -4 = z*p - 14. Suppose 112 = 2*s + 2*h, p*h - 181 = -3*s - 9. Is 12 a factor of s?
True
Let r(o) = -o**2 - o + 52. Let y be r(0). Let q = y + -37. Suppose 0 = 4*j - 39 + q. Is 2 a factor of j?
True
Suppose 10*u + 32 = 332. Is 6 a factor of u?
True
Suppose 4*h + 87 = w + 8*h, -2*h = 8. Does 15 divide w?
False
Let s(f) = -1 + f**3 - 5*f**2 + 10*f + 2*f**2 - 3*f**2 + f**3. Is s(4) a multiple of 20?
False
Suppose -4*d = 4 - 24. Suppose -d*n + n + 132 = 0. Suppose 5*v = 15, -5*v - 48 = -4*x + n. Is 8 a factor of x?
True
Suppose -2*m - 3*i = 3*m + 67, 3*i = -m - 23. Let p(j) = j**2 + 7*j - 14*j + 12*j. Does 33 divide p(m)?
True
Let c = 4 + 2. Let w be c/21 - 2/7. Suppose w = r - 0*r - 3*p - 26, -p = 3*r - 38. Is r a multiple of 10?
False
Let u(a) = 49*a**2 - 4*a - 5. Let h(p) = 48*p**2 - 3*p - 5. Let f(w) = -2*h(w) + 3*u(w). Does 12 divide f(-1)?
False
Let c be (-526)/(-2)*-1 - 0. Let v = c - -389. Does 19 divide v?
False
Let z be 695 - (-4)/((-12)/9). Suppose 3*n - 3*k - z = n, 2*n + k - 684 = 0. Is 19 a factor of 5/20 + n/4?
False
Is 22/(-77) - (-3534)/21 a multiple of 21?
True
Suppose -21775 = -43*p - 2296. Does 28 divide p?
False
Suppose 3*v - 4*j - 1234 - 185 = 0, 0 = v - 4*j - 473. Is 43 a factor of v?
True
Let j = 766 - 538. Does 78 divide j?
False
Let g(a) = 9*a**2 + a + 4. Let u be g(-2). Let w = 35 + -5. Suppose -4*k = -u - w. Is 4 a factor of k?
False
Let u(v) = v**3 - 9*v**2 + 6*v + 10. Let f be u(8). Let o = 8 + f. Does 11 divide o/7 + 888/28?
False
Suppose -5 = -5*n + g, -2*g + 2 = 2*n - 7*g. Is 2 a factor of 22 + (n - 1 - -3)?
False
Let i = -3598 + 5885. Is i a multiple of 29?
False
Let i(b) = 62*b + 6. Let x be (14/(-28))/(2/(-20)). Is i(x) a multiple of 29?
False
Let n(a) = -22*a**2 + 2*a + 20. Let j be n(-5). Let l = -335 - j. Does 25 divide l?
False
Let s(b) = b + 13. Let w be s(-3). Suppose n = w + 14. Is n a multiple of 24?
True
Suppose -166 + 600 = 7*c. Let b = 205 - c. Does 13 divide b?
True
Suppose -58 = -5*t - 4*k, 4*k + 30 = 5*t - 12. Suppose -13*u = -t*u - 6. Suppose -5*b + 6 = -u*b. Is b even?
True
Let d = 849 - 367. Is d a multiple of 47?
False
Let z(f) = -f - 1. Let q(g) = -g + 14. Let t(j) = q(j) + 2*z(j). Let u be t(8). Is 3 a factor of 6/(4/u*-2)?
True
Let p be (-4)/3*(-9)/6. Let l be 0/(2 + -3 + p). Suppose 3*k + l = -3, 2*d - 2*k - 86 = 0. Is 12 a factor of d?
False
Suppose -4*p = -2*p - 2*w - 268, 3*w - 142 = -p. Suppose 4*r - 8*r = -p. Is r a multiple of 11?
False
Is 68 a factor of 492 + 0/(6 - 10)?
False
Suppose 6 = 2*y, 5*y + 202 = 2*c - 1169. Is c a multiple of 8?
False
Suppose 6*p - p = 5*j + 5, 3*j - 3 = 0. Suppose 3*g + 177 = 5*g + 3*z, 3*g - 268 = -p*z. Does 18 divide g?
True
Let a(n) = 8*n**2 + 46*n + 5. Is a(-7) a multiple of 3?
True
Let w(x) = -162*x + 378. Is w(-5) a multiple of 27?
True
Let r(k) = 1 + 6*k - 6*k - k - k**3. Let b(s) = 5*s**3 + 3*s**2 + 12*s - 9. Let z(p) = -b(p) - 6*r(p). Is z(5) a multiple of 6?
False
Let i = -12 - -17. Suppose 3*g + 4*a - 123 = 0, -i*a + 44 = -4*g + 208. Suppose g = 3*r - 4. Is 5 a factor of r?
True
Let a = 73 - 48. Suppose 70 = 3*s + a. Is 15 a factor of s?
True
Let a = -226 - -231. Is a a multiple of 2?
False
Let d = -27 - -49. Suppose 0 = 4*r - 2*r - d. Is 3 a factor of r?
False
Suppose 0 = -4*c + 8 + 8, -2*b = -3*c - 396. Suppose -4*o + b + 380 = 0. Does 16 divide o?
False
Suppose 0 = 6*j - 904 + 10. Let l = j + -74. Suppose -l = -4*o - o. Is 4 a factor of o?
False
Let n = 996 + -536. Is n a multiple of 11?
False
Let p = 793 - 405. Is 12 a factor of p?
False
Suppose 5*g - 24 = -9. Suppose 2*n - 3*k = -g*n + 6, 0 = 4*n + k + 2. Suppose -2*j + 68 + 70 = n. Is j a multiple of 23?
True
Let k(j) = -6*j - 3 - 8 + 3*j**2 - 2*j. Let w be k(7). Suppose -2*c = 3*l - 48, -w = -0*c - 4*c + 2*l. Does 21 divide c?
True
Does 37 divide 20878/6 - 1 - (-1056)/(-1584)?
True
Suppose 0 = -4*y + 3*w + 48 + 55, 4*y - 97 = -3*w. Suppose y*j = 24*j + 45. Is j a multiple of 9?
True
Let o = -4596 - -6783. Does 18 divide o?
False
Let a(s) = s**3 + 7*s**2 + 7*s + 8. Let b be a(-6). Suppose 0 = 5*q + 5, -4*q + 189 + 71 = -b*v. Let z = v - -192. Does 20 divide z?
True
Suppose 2*u - 4*u - 2*p + 20 = 0, -u - 5 = -2*p. Suppose -3*z + 2*h = -28, -2*z + 56 = z + u*h. Does 12 divide z?
True
Let s(r) = 20*r**2 + 17*r + 15. Is 5 a factor of s(-3)?
False
Does 69 divide ((-9)/15)/((-6)/690)?
True
Suppose 3*s = -z + 15, -5*s - 45 = -4*z - 2. Suppose 4*x + 29 = -d, x + d = -z + 4. Let v(y) = -y**3 - 7*y**2 - 7*y - 9. Is 20 a factor of v(x)?
True
Suppose 0 = 5*f + 4*m - 2858 + 1019, 3*f = -4*m + 1097. Is f a multiple of 15?
False
Suppose 3*a - 49 = -40. Suppose p - 192 = -2*j + 3*p, a*p = 4*j - 387. Is 33 a factor of j?
True
Let m(o) = 2*o - 6. Let k be m(5). Suppose -k*v = 2*v. Suppose v*z = 4*z - 312. Is 28 a factor of z?
False
Let p(f) = -94*f - 39. Is p(-7) a multiple of 5?
False
Let o(s) be the third derivative of -s**5/60 - 13*s**4/24 - 3*s**3/2 + 56*s**2. Let b = 16 + -25. Is o(b) a multiple of 13?
False
Suppose 0 = 4*t + 2*w - 2902, -34*t - w - 1453 = -36*t. Does 33 divide t?
True
Let l(b) = 180*b + 154. Is l(5) a multiple of 17?
True
Let j = 22 + -11. Is (j - 5) + (-4)/(-2) a multiple of 4?
True
Suppose -o = 1, 4*b + 6*o - 3*o + 15 = 0. Let t be b/(-2)*(-3 - -5). Suppose 4*k = 3*c + t*k - 170, k + 54 = c. Does 29 divide c?
True
Let z be 3/((-15)/(-50)) - 0. Suppose -8*d - 30 = -z*d. Is 4 a factor of d?
False
Let n be (-1 - 3) + 2 + 2. Suppose -4*z - 3*l = -121 - 221, n = 2*z + 3*l - 174. Does 21 divide z?
True
Let s be (2/(-4))/((-1)/(-24)). Let r(p) = p**3 + 12*p**2 - 3*p - 29. Does 2 divide r(s)?
False
Let o(j) = 3*j**2 - j - 9. Let y be (0 - 5/1)*1. Is 3 a factor of o(y)?
False
Let j be 1/((-6)/(-9) - 111/180). Is 1975/j + 2/8 a multiple of 33?
True
Let j = -824 - -1679. Is 19 a factor of j?
True
Is 114/(-9)*9/(-6) a multiple of 8?
False
Let u(c) = 7*c**3 + c**2 - c - 1. Suppose 3*z = 1 + 47. Let q = z + -15. Is u(q) even?
True
Suppose -3*g + 4*g = -4*f + 932, -5*g + 682 = 3*f. Is 6 a factor of f?
True
Let b = 1482 - 893. Is 31 a factor of b?
True
Is -2 + 306/7 + (-80)/(-280) a multiple of 42?
True
Let h = -229 - -299. Is 30 a factor of h?
False
Suppose 0 = -5*z + o + 4*o + 60, 0 = -5*z - o + 42. Suppose z*l - 194 = 436. Is l a multiple of 14?
True
Suppose -5*j + 2128 = -4*n, 5*j - n = 13 + 2124. Does 3 divide j?
False
Let o be -112 - (3 - (4 + 0)). Let a = o + 159. Is a a multiple of 16?
True
Suppose -5*r - t + 1716 = 0, -14*r + 19*r + 2*t - 1712 = 0. Is r a multiple of 26?
False
Let j(t) = 12*t**3 + 7*t**2 - 8*t + 12. Is 14 a factor of j(4)?
False
Let o = 15 - -129. Does 6 divide o?
True
Suppose 2*l - 10 = -3*l. Let r(q) = 12*q**3 - 2 - q - 4*q**l - 5*q**2 - 13*q**3. Is 4 a factor of r(-9)?
False
Suppose 4*w = 4*s - 12, 3*s = 2*s + 5*w + 11. Let t(l) = 9*l**2 + 46*l - 46*l + 40*l**2. Is t(s) a multiple of 23?
False
Suppose -3*l + 0*l = -162. Suppose -30 - l = -4*c. Is 7 a factor of c?
True
Suppose 0 = 5*i + 20, -2*k + 4*k + 2*i + 38 = 0. Let z(m) = -m**2 - 20*m + 12. Does 29 divide