 a multiple of 24?
True
Let c(m) = -5 + 16 - 1 + 1 + 47*m. Does 29 divide c(11)?
False
Suppose -4*r - m = -520, -5*m + 68 = r - 43. Let s = -34 + r. Let w = 135 - s. Is w a multiple of 9?
False
Let s(a) = a**2 - a - 1. Let d(y) = -28*y**2 + 2*y - 5. Let i(n) = -d(n) + 4*s(n). Let v be i(-5). Let c = v + -473. Is 15 a factor of c?
False
Let l be (-18)/10 + 2 + 2574/130. Suppose 0 = -2*s - 2*x + l, 3*s + 4*x = 34 - 0. Suppose -62 = s*j - 8*j. Is 4 a factor of j?
False
Is 45 a factor of (894/(-9))/(6/10*182/(-7371))?
True
Let w(x) = -31*x**2 - 17*x + 124. Let k(r) = -10*r**2 - 6*r + 42. Let p(a) = 8*k(a) - 3*w(a). Is p(-6) a multiple of 6?
True
Let r = -741 - -1548. Is r a multiple of 48?
False
Suppose 96*c = 97*c - 2. Suppose c*o - 4*f - 636 = 0, -2*o + 2*f + 523 = -103. Is 44 a factor of o?
True
Suppose 237 = -3*g + 75. Let j = g + 77. Suppose -3*i + j = -2*i. Does 2 divide i?
False
Suppose 0 = 15*r - 9285 + 2625. Does 2 divide r?
True
Let f = 70 - 46. Let z(o) = -o + f - 3 + 9 + 25. Is 11 a factor of z(0)?
True
Let t(s) = 546*s - 278. Is t(38) a multiple of 151?
False
Let q(v) = 7*v**2 + 67*v - 198. Is q(-21) a multiple of 57?
True
Let y(p) = -10*p + 424. Is y(8) a multiple of 2?
True
Suppose 5*c + 5 = 3*b, b + 5 = 5*c + 10. Suppose b = 51*h - 49*h - 1410. Is 13 a factor of h?
False
Suppose -2*v = -4*x - 4, -v - 1 = -2*v + x. Suppose -f - 2*t + 1009 = v, 2110 = 3*f + 4*t - 925. Does 25 divide f?
False
Suppose -67894 = -4*w + 10*c, -14*w + 67879 = -10*w - 5*c. Is 34 a factor of w?
True
Suppose 4*s + 16 = -8. Is (-3)/3 + s + 163 a multiple of 13?
True
Let k(t) = t**3 + 11*t**2 + 7*t - 18. Let s be k(-10). Suppose -2*i - s*i = -2450. Suppose 3*m = 41 + i. Is m a multiple of 12?
True
Let k(o) be the first derivative of 7/3*o**3 - 1/4*o**4 + 10*o + 6*o**2 - 22. Is k(8) a multiple of 30?
False
Is (9 - 13) + -9 - -3141 a multiple of 34?
True
Let k(g) = -17593*g - 487. Is k(-1) a multiple of 23?
False
Let g be (12/(-3) + -28)*(-3)/6. Let j be ((-2)/(-4))/(g/128). Suppose 4*i = 3*v - 145, -9*v = -j*v - 4*i - 255. Does 5 divide v?
True
Let c(g) = 3*g**3 + 8*g**2 - 5. Let l be c(-3). Is 1/2 + (-6601)/l a multiple of 51?
False
Suppose 12*u + 1700 = -1816. Let m = -172 - u. Is 11 a factor of m?
True
Suppose 10*r = 9*r + 30. Let w be r/25 - (1 + (-4)/5). Is (w + 44/(-3))*-3 a multiple of 18?
False
Let q = 7 + -5. Let d(x) = -54*x - 1 + 107*x + 3. Is 18 a factor of d(q)?
True
Let d = -39 - -61. Let b(w) = -w**3 + 25*w**2 - 6*w - 113. Is b(d) a multiple of 11?
False
Suppose -4*k - 5*b = -41, -3*b - 5 = -4*k - 4. Does 31 divide 101 - (1 + k/(-2))?
False
Suppose d - 21 = 39. Let z = -40 + d. Is (-2)/((-42)/z + 2) a multiple of 8?
False
Let k(n) = -6*n - 25. Let o be k(-4). Let g(i) = 193*i + 10. Let j(s) = 386*s + 21. Let u(d) = -13*g(d) + 6*j(d). Is 26 a factor of u(o)?
False
Let d = -292 + 300. Suppose d*m = 634 + 86. Is 12 a factor of m?
False
Suppose -112066 = 28*t - 135*t + 171805. Does 29 divide t?
False
Let x = -3279 - -3699. Is x a multiple of 15?
True
Suppose -39*r + 236108 - 70592 = 0. Is 15 a factor of r?
False
Let x = -38 - -57. Let j(s) = x - 1 - 2*s + 21. Is j(-6) a multiple of 17?
True
Suppose 2*a - 8133 = -5*r + 3*a, 3*a = -r + 1617. Suppose 0*h - r = -6*h. Is 57 a factor of h?
False
Let z(v) = 26*v + 11. Let j be z(-3). Let p = j + 92. Is (72/30)/((-23)/p - -1) a multiple of 5?
True
Let m(s) = -561*s + 18. Is 11 a factor of m(-9)?
False
Suppose -c - 8 = 4*q - 3*q, 22 = -3*q - 4*c. Does 71 divide 4/6*5*(-426)/q?
True
Let x = 5159 - 687. Does 43 divide x?
True
Let q = 1060 + 1060. Is 5 a factor of q?
True
Suppose 16 = -0*q - q. Is 58/5*20/q*-4 a multiple of 13?
False
Suppose 698*l = 699*l + 78. Is 256*(7 + l/12) a multiple of 16?
True
Let n(q) = q**3 + 3*q**2 - 41. Suppose 4*a - 23 = r, 15 = 2*a + 6*r - 3*r. Is 35 a factor of n(a)?
False
Let t(g) = -1023*g + 6480. Is t(-15) a multiple of 75?
True
Suppose -5*r - g + 282 = -13, 3*g = 4*r - 255. Does 60 divide r?
True
Suppose 118 = -139*t + 140*t. Let k = 106 + t. Is 12 a factor of k?
False
Let b be (20 + -23)*(-79)/3. Suppose 4*v - 77 = b. Suppose v*n + 635 = 44*n. Is n a multiple of 22?
False
Suppose -5*z - 209 = -4*v, -3*z + 52 - 4 = v. Let y(o) = -32 + 22*o**3 + 13*o**2 - 9*o - v*o**3 + 28*o**3. Does 11 divide y(10)?
False
Suppose -4*z = 3*a - 352, -4*a - 5 + 21 = 0. Let k = 209 - z. Is k a multiple of 5?
False
Let k(h) = 4*h**2 + 5*h - 9. Let i(m) = -28 + 0*m**2 + 14*m + 13*m**2 - 3*m**2 + m**2. Let n(g) = 3*i(g) - 8*k(g). Is 6 a factor of n(6)?
True
Is 1095 - (13/(-13) - 0)/((-2)/14) a multiple of 16?
True
Let a = -1363 + 2279. Let g be (18/9)/(2/13). Suppose g*o - 774 = a. Is o a multiple of 6?
False
Let h(w) be the first derivative of 2*w**3/3 - 5*w**2/2 + 11*w - 1890. Let k be 0/2 + 1*11. Does 19 divide h(k)?
False
Suppose -2*x - 5 - 5 = 0, 2*f + 5*x + 19 = 0. Let b(d) = f - 34 + 6*d + 11. Is 6 a factor of b(8)?
False
Let w be (0/1 - -8)*(0 + 1). Suppose -3*d = -3*m - d + 11, -2*m + w = -2*d. Does 16 divide (-6815)/94*m/(30/(-8))?
False
Suppose -62*c + 51434 = -628706. Is c a multiple of 10?
True
Does 10 divide 39682/4 - ((-606)/12 - -51)?
True
Suppose 3*y + 139 - 37 = 0. Let j = y - -238. Is j a multiple of 12?
True
Does 100 divide (5/4 + -1)/(43/1387868)?
False
Let d(q) = 4*q + 71. Let r be d(-17). Suppose 4*y + j - 191 - 102 = 0, -2*y = -r*j - 157. Is y a multiple of 3?
False
Let v(d) = 11*d**3 + 35*d**2 + 12*d. Let x(t) = -5*t**3 - 17*t**2 - 7*t. Let s(z) = 2*v(z) + 5*x(z). Does 2 divide s(-5)?
False
Let q(s) = 51*s - 132. Is 36 a factor of q(16)?
True
Let r(n) be the third derivative of n**5/15 - n**4/8 + 40*n**3/3 + n**2 + 17*n. Is r(7) a multiple of 51?
True
Let s(d) be the third derivative of d**6/60 - d**5/15 - d**4/6 - d**3/6 + 9*d**2. Let b be s(5). Suppose 15 = -5*y, 0*h - 2*h = -3*y - b. Is h a multiple of 20?
True
Suppose 0 = 4*x + 3 - 11. Let u be (14 + x)*((-2)/(-1))/1. Let o = u + 15. Is 8 a factor of o?
False
Suppose 0 = 2*t - 2*h - 8 - 26, -2*t = -h - 35. Let a be (-2)/(-9) - (-3992)/t. Suppose j - p = -34 + 255, j - 2*p = a. Does 44 divide j?
True
Let w(o) = -5*o**3 + 13*o**2 - 18*o - 13. Let u(i) = -12*i**3 + 27*i**2 - 34*i - 27. Let g(s) = 2*u(s) - 5*w(s). Does 8 divide g(11)?
False
Let c(n) = n**3 + 7*n**2 - 2*n - 9. Let l be c(-7). Let x(m) be the third derivative of 7*m**5/60 - 5*m**4/12 + 5*m**3/6 + 17*m**2. Does 26 divide x(l)?
True
Suppose -28*t - 31*t + 63*t = 27088. Is t a multiple of 80?
False
Let z(i) = -5*i**2 + 4*i + 21. Let w(q) = -q**2. Let f(t) = 4*w(t) - z(t). Let k be f(-9). Let x = k + -66. Is 15 a factor of x?
True
Let r = -15 + 19. Suppose 4*w - r*x + 261 = 869, -3*w - 4*x = -463. Suppose -2*p - w = -4*p - 5*u, -4*u = -4. Does 30 divide p?
False
Let y(p) = -50*p**3 - 3*p**2 - p + 1. Suppose 5*n = -3*a + 19, -n - n = -10. Does 6 divide y(a)?
False
Let r(t) = -t**3 + 10*t**2 - 5*t - 60. Let q be r(9). Does 5 divide ((-112)/(-21))/((-2)/q)?
False
Suppose w - 1 = 0, 62*t - 66*t + 4*w + 32532 = 0. Does 28 divide t?
False
Let s(b) = 2*b**3 + 7*b**2 - 4*b + 4. Let z be s(-4). Suppose -10 - 1 = -v + z*d, 3*d - 101 = -5*v. Suppose -v*l + 21*l - 162 = 0. Is 12 a factor of l?
False
Let f(g) = 30*g - 9. Let i be f(-8). Let b(a) = -a**3 - 19*a**2 - 42*a + 3. Let y be b(-14). Let n = i - y. Is 20 a factor of n?
True
Let v(r) = -5*r - 64. Let m(g) = -5*g - 3. Let t be m(-1). Suppose -3 = 4*i - 3*i, -t*i - 86 = 5*z. Is 2 a factor of v(z)?
True
Suppose 3*p = 2*n - 4*n + 2433, 0 = -3*p - 3. Suppose 8*x - n - 190 = 0. Suppose -3*j + 94 = -x. Is j a multiple of 10?
True
Suppose 2860 = 3*i + 7*i. Suppose 2*q = 2*s - i - 176, 5*q = -2*s + 483. Suppose 6*p - 7*p + s = 0. Does 26 divide p?
True
Suppose -21494*y = -21480*y - 77868. Does 54 divide y?
True
Let u(n) = 7*n**3 + 23*n**2 + 24*n - 10. Let c(x) = -4*x**3 - 12*x**2 - 12*x + 6. Let f(r) = 5*c(r) + 3*u(r). Is f(-5) a multiple of 38?
False
Let y(c) be the first derivative of -4*c**2 + 344*c - 94. Is y(0) a multiple of 8?
True
Let i = -18 + 21. Suppose -40 = 4*g + g - 2*l, -2*g - 3*l + i = 0. Let q(x) = -33*x - 38. Is 40 a factor of q(g)?
True
Suppose 22*x - 18*x = 12. Suppose 0 = 11*i - 8*i - 297. Suppose x*d - 519 = -2*d + 3*q, i = d - 3*q. Does 15 divide d?
True
Let w(g) = -5*g**2 + 29052*g - 29052*g + 3*g**3 - 