o = 3*z - 64. Let t(l) = -l**3 + 29*l**2 + 11*l + 2. Does 36 divide t(o)?
False
Let l(f) = 3*f**2 - 5*f - 9. Let j be l(-2). Suppose 0 = -8*a + j*a - 450. Is a a multiple of 18?
True
Let n = -5646 + 3893. Let o = -732 - n. Is 82 a factor of o?
False
Let i = -6 - -13. Suppose -4*b - 6 = -2*a, -2*a + 2*b + b + i = 0. Suppose -a*n - 12 - 3 = 0, -4*n - 66 = -d. Does 18 divide d?
True
Suppose -6*w - 2*s + 84896 = 0, -5*w - 46*s + 70752 = -47*s. Is w a multiple of 10?
True
Let u(s) = -58*s + 14. Let v be u(-4). Let t(d) = d**3 - d**2 - 6. Let w be t(3). Suppose -v = -6*j - w. Is j a multiple of 14?
False
Let l be (1*-1)/(2 + -1 - 0). Does 20 divide (16 - -25) + (l - -2) + 0?
False
Let b(x) = 518*x**2 - 63*x - 50. Is b(-4) a multiple of 11?
False
Let f be 6 + -11 + 25 - -5. Suppose w + 2*r = f, 2*w = 2*r + r + 29. Does 7 divide w?
False
Does 27 divide (-2 - (4 + 6))/((-10)/6795)?
True
Let y = 234 - 218. Suppose 0 = -3*g + y + 167. Does 61 divide g?
True
Let x(o) be the first derivative of 59*o**2 - 2*o - 14. Is 16 a factor of x(3)?
True
Suppose 0 = -2*z - f + 80, 7*z + 68 = 9*z - 5*f. Suppose -36*p - 1725 = -z*p. Is 48 a factor of p?
False
Suppose -3*i - 2*i + 230 = w, -260 = -5*i + 5*w. Let t = i + -43. Suppose -710 = o - 6*o + 5*d, 0 = -t*d + 20. Is 36 a factor of o?
False
Suppose -66978 = -5*m - 7*f + 11*f, 0 = m - 5*f - 13383. Is m a multiple of 77?
True
Let o(j) = -32*j**2 + 3*j - 19. Let h(t) = 11*t**2 - t + 6. Let i(d) = -8*h(d) - 3*o(d). Let g be i(7). Let c = 618 - g. Is c a multiple of 16?
True
Suppose 5550 = 23*s - 17*s. Suppose 18 = 23*b - s. Is b a multiple of 6?
False
Let d be (-18)/6 + -4 + 3333. Suppose -5*j + d - 521 = 0. Is j a multiple of 42?
False
Suppose -15*q = 26*q - 146083. Suppose 443*y + q = 450*y. Does 16 divide y?
False
Let q = 38135 + -23340. Does 75 divide q?
False
Let p = -29019 - -43496. Does 12 divide p?
False
Let m = 55542 - 7070. Does 27 divide m?
False
Suppose 5*a - 6*y = -y - 4830, 4*a = 2*y - 3872. Let k = -454 - a. Is 27 a factor of k?
False
Suppose 3*z + 72 = 10*i - 15*i, -5*i - 68 = 2*z. Let q be (-84)/(-10) + (-2)/5. Is 9 a factor of (60/q)/((-2)/i)?
True
Let v = -9915 + 11145. Is v a multiple of 10?
True
Suppose -15*c + 22*c = 21658. Suppose 20*h = c - 714. Is 7 a factor of h?
True
Let k be ((-55)/(-10))/((-2)/(-4)). Suppose 277 = -k*a - 746. Is 17 a factor of (-658)/(-6) - 124/a?
False
Suppose -3*t + 50 = f, 2*t - 25 = -3*f + 13. Let x be (0 - 3/(-12))*t. Is 5 a factor of (x + -116)*(-4)/8*1?
False
Suppose 12*f + 24*x = 19*x + 73187, 0 = 2*x - 14. Does 16 divide f?
True
Let w be 156 + 10/(-5) + -3. Let b = w + -455. Let r = -169 - b. Does 27 divide r?
True
Let g be (0/(-1))/(8 - 4). Suppose -j - 2*r - 157 = g, 5*j + 3*r = -0*r - 757. Let q = 433 + j. Is q a multiple of 34?
False
Let q(z) = z**3 - 29*z**2 - 33*z + 67. Let u be q(30). Let m = 146 + u. Is m a multiple of 41?
True
Let s = 30585 + -29361. Is s a multiple of 68?
True
Suppose 0 = -v - 2*r - 5, 4*r - 30 = -v + 9*r. Is (4*55/25)/(2/v) even?
True
Suppose t - 4 - 14 = 0. Suppose -2*v + 92 - t = 0. Let m = v + -19. Is m a multiple of 11?
False
Suppose 0 = -5*k + 4*k + 2*m - 23, -2*k - 66 = m. Let n = k - -37. Suppose 7*l - 36 = n*l. Does 7 divide l?
False
Let m(c) = -31*c**3 - 4*c**2 + 2*c - 21. Is 56 a factor of m(-7)?
False
Let f(h) = 7*h - 18. Let c be f(3). Suppose 4*q = -5*m - 32, -q - c*m - 2*m - 23 = 0. Is 16 a factor of (q + 10 + 41)*(-1 - -2)?
True
Suppose 2*z = -5*q + 193 + 107, 166 = 3*q + 4*z. Let c = 55 - q. Is 2/c + (-1524)/(-42) a multiple of 8?
False
Suppose -2*n - 34222 = -4*b - 4636, -2*n = -5*b + 36979. Is b a multiple of 50?
False
Let f(t) = -5*t**2 + 7*t + 10. Let s be f(8). Let v = s + 537. Is 35 a factor of v?
False
Let p be 20*-1*(-4)/8. Suppose 4*s - 606 = p*s. Let m = 144 + s. Is m a multiple of 17?
False
Let v(u) = -2*u - 9. Let z be v(-3). Let y be ((-9)/12 - 702/(-8)) + z. Let r = y + -14. Is r a multiple of 13?
False
Suppose 10*z - 17888 = -6*z. Suppose 2*f - 2*h = z, f = -2*f - 4*h + 1677. Is f a multiple of 43?
True
Suppose 0 = -3*h + 5*d + 247, 168 = -h + 3*h - 5*d. Let v(c) = -c**3 + 34*c**2 - 209*c + 7. Let s be v(8). Does 9 divide h + 2*((-3)/(-2) + s)?
False
Suppose 30817 = -64*a + 187105. Is 5 a factor of a?
False
Let n(h) = 47*h + 226. Is n(16) a multiple of 2?
True
Let z = 742 - -2206. Is 44 a factor of z?
True
Suppose 2*r - 3*l - 9409 = 0, 3*r - 5*l - 11686 = 2430. Is r a multiple of 77?
True
Let v = 153 + -148. Suppose -3*r = -5*t + 1394, 123 = -3*t - v*r + 973. Does 26 divide t?
False
Let l be (-9)/(-15)*(833 - -2). Let p = l - 491. Is 2 a factor of p?
True
Let k(f) = 104*f - 261. Is k(42) a multiple of 20?
False
Is 9 a factor of (-50)/(-144) + (-52)/416 + (-59126)/(-18)?
True
Let r be 1127/6 - (1/(-6) + 0). Suppose 7*n = -2*m + 4*n + r, 0 = -2*m - 5*n + 192. Is m a multiple of 5?
False
Let k(f) be the first derivative of 7*f**3/2 - 28*f**2 - 11*f + 35. Let h(u) be the first derivative of k(u). Is h(7) a multiple of 11?
False
Let q(y) = y**2 - 10*y - 47. Suppose 0 = -5*r - 4*x + 103, -23 = 5*r - 5*x - 108. Is 31 a factor of q(r)?
True
Suppose 2*x = -2*s + 866, 1404 = 5*s + x - 777. Does 2 divide s?
False
Let r(h) = -2*h**3 + 7*h**2 - 2. Let d be r(5). Suppose -546 = -5*a - 4*o, 72*a = 68*a + 5*o + 445. Let b = a + d. Is 7 a factor of b?
False
Suppose 3*l - 2*y = 6, 5*l + 4*y = 2*y + 26. Suppose l*u = 3*u + 54. Suppose u = -36*w + 39*w. Is 2 a factor of w?
True
Let h(b) = b**2 + 3*b - 24. Let k be h(6). Is 23 a factor of -8*115/k*(-3)/2?
True
Suppose 0 = -5*d + 2*u + 90371, -d + 3*u = -25028 + 6933. Does 60 divide d?
False
Let b = 3532 + -2036. Is b a multiple of 8?
True
Suppose -99*s = -97*s - 8. Suppose 0 = y + z + s*z - 37, 5*z = -2*y + 94. Is y a multiple of 7?
False
Let x(r) = -352*r + 3023. Does 22 divide x(7)?
False
Let m(t) = 2*t + 32. Let w(k) = k + 15. Let i(a) = -2*m(a) + 5*w(a). Let x be i(-20). Does 41 divide x/3 + (-352)/(-8)?
True
Does 33 divide (-2 - 696/20)/((-48)/3720)?
False
Let y(f) = f**2 + 3*f - 7. Let l be y(-5). Suppose 0 = 31*c - 87 + 25. Suppose -h = l*d - 6*d - 42, c*h - 5*d = 88. Is 6 a factor of h?
True
Suppose 6 = -2*f + 12. Suppose -f*t = -9*t. Is (t - 1)/(20/(-620)) a multiple of 10?
False
Suppose 2*y + 45 = 17*y. Suppose 0 = 5*b - 9*b - 2*h + 1010, y*b + 3*h = 756. Is b a multiple of 11?
True
Let b = -575 - -929. Suppose -3*p + z + 2*z = -b, -z = -3*p + 346. Is 22 a factor of p?
False
Suppose -9 = -3*p + 24. Let q(k) = k**3 - 11*k**2 + 4*k + 22. Let z be q(p). Suppose d - z = 167. Does 27 divide d?
False
Let r(y) = 2*y**2 + 80*y + 59 - 79 + y**3 - 98*y + y**2. Does 43 divide r(7)?
True
Suppose -3*q = -4*l + 24, -5*l + 25 + 6 = -4*q. Let t(j) = -8*j - 8. Let a be t(q). Suppose a = -6*z + 156. Does 5 divide z?
False
Suppose 3*z - 38244 = -4*j, 4*j + 21*z = 19*z + 38240. Is 7 a factor of j?
False
Let z = 33492 + -10502. Is z a multiple of 38?
True
Suppose 0 = -4*b + 198 - 22. Suppose 2*v - b = v. Suppose n + 0*u - v = -2*u, 2*n - 76 = 2*u. Does 10 divide n?
True
Suppose 0 = -8*q + 13*q + 205. Let a = 22 + q. Let u = a - -109. Is u a multiple of 19?
False
Let i(t) = -3*t - 7. Let d be i(-9). Suppose -2246 = -d*u + 1934. Is u a multiple of 2?
False
Let c be ((-10)/80)/(8/(-1088)). Suppose -50 = 3*a + 2*p + 101, -32 = a - 3*p. Let z = c - a. Is 4 a factor of z?
True
Let p(d) = d + 21. Let a be p(-16). Suppose 4*g + 289 = 5*v, -g - a*v = g + 167. Let n = g + 176. Is n a multiple of 25?
True
Let x(c) be the second derivative of c**4/3 - c**3/6 - 3*c**2/2 + 33*c. Is x(-7) a multiple of 29?
False
Let o(b) be the second derivative of -b**5/4 - 5*b**4/6 + b**3/6 - 3*b**2/2 - 4*b - 1. Is 13 a factor of o(-3)?
True
Let a(i) be the second derivative of 3*i**5/10 + i**4/12 - 2*i**3/3 + i**2 - 16*i. Let u be a(1). Suppose -112 - 68 = -u*c. Does 7 divide c?
False
Let w = 597 + -308. Suppose -17*r + w + 340 = 0. Is r a multiple of 10?
False
Is 1*(-3)/4*-6104 a multiple of 14?
True
Let n(p) = 147*p + 5897. Is 72 a factor of n(74)?
False
Suppose 0 = 2*b - 7*b + 20, 3*c - b + 64 = 0. Suppose 0*l + 4*l = 3*z - 83, -8 = l - 5*z. Let q = c - l. Is 2 a factor of q?
False
Let j(g) = 97*g**2 - 3*g - 3. Let k be j(-2). Let n = k + -658. Let a = -8 - n. Does 37 divide a?
True
Let x(f) be the second deri