. Is w a multiple of 26?
False
Let r(n) = 5*n**2 + 7*n + 11. Let z be r(-5). Let y = -95 + z. Is y even?
True
Let p(q) be the second derivative of q**6/120 + q**5/30 - 4*q**4/3 + 9*q. Let g(x) be the third derivative of p(x). Is 7 a factor of g(7)?
False
Is 61 a factor of 0 - (-7)/((-14)/(-15128))?
True
Let v(u) = 6*u - 10. Let x be v(2). Let o be ((-141)/45 - -6) + x/15. Suppose -173 = -o*n + y, 5*n = 4*y + 136 + 164. Is 8 a factor of n?
True
Let g = 31 - -178. Let z be (-1)/(-3)*30 - -100. Let k = g - z. Is k a multiple of 11?
True
Suppose 3*b + 109 = 4*b. Suppose -3*z + 5*p - 4*p = -b, -z + 35 = p. Suppose 3*q - 12 = 2*i - 5*i, 5*i - z = 3*q. Is i even?
True
Suppose 3*a + 5*j - 780 = 1015, -4*a = -5*j - 2440. Let i = a - 425. Does 10 divide i?
True
Suppose -58*x = -66*x + 16992. Suppose 34*m + x = 40*m. Does 48 divide m?
False
Let t(r) = 29*r + 809. Is 80 a factor of t(-17)?
False
Suppose 4*v + 8 = 2*n, 0*v + 5*n - 20 = -v. Suppose v = -6*w - 11 + 41. Let o(u) = -u**3 + 6*u**2 + 5*u - 12. Is o(w) a multiple of 12?
False
Suppose 0 = 10*s - 54*s + 21120. Is 3 a factor of s?
True
Let a(s) = -33 + 21*s - 20 + 4 + 3 - 68. Does 66 divide a(40)?
True
Let a be (3/2)/((-6)/12). Let b(s) = -7*s**3 - 4*s**2 - 6*s - 6. Let t be b(a). Suppose c + t = 6*c. Is 33 a factor of c?
True
Suppose -4*d - 72 = 4*y, 0 = -23*y + 25*y - 3*d + 21. Does 22 divide ((-5305)/y - 3)*27/18?
False
Let h(s) = 31*s + 5065. Is h(-61) a multiple of 8?
False
Let p(r) = 78*r - 477. Let z(o) = 1. Let g(n) = -p(n) + 3*z(n). Is 12 a factor of g(0)?
True
Let u = -2268 + 3984. Does 11 divide u?
True
Let l(i) = -1178*i - 9. Let p be l(-5). Let b = p - -5594. Is b/63 + (-1)/7 a multiple of 45?
False
Let d(s) = -672*s + 144. Is 23 a factor of d(-4)?
False
Suppose 3*i + 1562 = m - 247, -3*i = 3*m - 5391. Suppose 4*b = -2*a + 3616, 0 = 2*b - a + 6*a - m. Is 11 a factor of b?
False
Let n(m) = -6*m**2 - 852*m - 78. Is 12 a factor of n(-39)?
True
Let k = -971 - -2595. Is 5 a factor of k?
False
Let t be 6 - (10 - (6 + 0)). Is (-2)/(84/(-26934)) - t/7 a multiple of 78?
False
Suppose 15*f + 585 = 4*j + 16*f, -2*j - 3*f + 305 = 0. Does 2 divide j?
False
Suppose 2*j - 30 = 5*r, 2*j - 2*r + 1 - 31 = 0. Suppose -18*v + 5*p + 118 = -j*v, -67 = -2*v + p. Does 3 divide v?
False
Let z = -50 - -18. Let m = z + 190. Let s = 428 - m. Is s a multiple of 49?
False
Let c = 58356 + -34431. Does 87 divide c?
True
Let a be (-1)/4*4 - -151. Suppose 0 = -z - 2, 0 = -5*d - 4*z + 172 + a. Does 4 divide d?
False
Suppose 14*j = 24*j + 15615 - 55985. Does 34 divide j?
False
Let y(t) be the second derivative of -8*t - 1/2*t**2 + 5/6*t**4 - 5/6*t**3 + 0. Is 27 a factor of y(4)?
False
Suppose 111*q + 150*q - 2340135 = 166*q. Is 51 a factor of q?
True
Let m(d) = 2*d**2 - 31*d - 10. Let u be m(15). Does 10 divide (-2 - 8/6)*(u + -5)?
True
Suppose -8*o - 1260 = 3620. Is (-216)/10*o/183 a multiple of 4?
True
Let a = -4782 + 5592. Is 54 a factor of a?
True
Let y be 3 + (13 + 0 - (-4 - -5)). Suppose 2*a + y = 5*a. Suppose -a*c - 5*d = -3*c - 46, 0 = -2*c - 2*d + 34. Does 3 divide c?
False
Suppose -3740644 = 342*z - 9730722 - 5490178. Is z a multiple of 92?
False
Let i = -425 + 3587. Suppose -i + 15717 = 31*f. Is 39 a factor of f?
False
Is 34 a factor of (4/((-16)/(-58971)))/((-57)/(-76))?
False
Suppose -16*d + 1 = -47. Suppose -14*v + 19*v - 4*q = 5980, 0 = d*v + 5*q - 3625. Does 64 divide v?
False
Suppose 0 = 115*j - 120*j + 4760. Suppose 38*d - 45*d + j = 0. Is 8 a factor of d?
True
Suppose 5*w = -4*m + 42, -5*w - 15*m + 36 = -13*m. Does 10 divide w/(-6)*-150*14/6?
True
Let f = -1677 + 623. Let m = f - -1477. Is m a multiple of 17?
False
Let p(s) = -2*s**3 - 30*s**2 + 489*s + 32. Is p(-28) a multiple of 71?
False
Is 46 a factor of (-738)/48 + 15 - 284841/(-24)?
True
Let c(s) = -s**3 + 13*s**2 - 14*s + 27. Suppose 13*w = 9*w + 48. Let x be c(w). Is -20*(x - (-44)/(-8)) a multiple of 25?
True
Suppose 39*n = 321*n - 1226274 - 2811966. Is n a multiple of 80?
True
Let t = 102 + 0. Let c = 25 - t. Let r = -45 - c. Is r a multiple of 11?
False
Let f(b) be the third derivative of 2*b**5/3 + 5*b**4/12 - 22*b**3/3 - 2*b**2 + 162*b. Does 58 divide f(5)?
False
Let i be (-3)/4 + (-6)/(96/(-5068)). Suppose 0 = 3*n + 2*l - i, 3*n - 331 = -l - 4*l. Suppose -k + n = k. Is 7 a factor of k?
False
Let k(n) = n**3 + 14*n**2 + 14*n - 53. Does 3 divide k(-10)?
True
Let n(w) = -13*w**3 + 2*w + 2. Let k be n(-1). Suppose -4*r = -b - 119, 9*r - 2*b = k*r - 122. Is 5 a factor of r?
True
Let r(f) = f**3 - f**2 - 9*f - 9. Let a be r(-2). Is (-1679)/(-7) + (-4)/84*a a multiple of 5?
True
Suppose -4*p + 25 = -5*z + 10*z, -p = 3*z - 15. Suppose -3*s - 1 = 11, z*s = -a + 48. Is 4 a factor of a?
True
Suppose 9 = j - 10. Let u(t) = -71*t + 714. Let k be u(10). Suppose -k*m = 3*y - 317, -4*y + j = 7. Does 7 divide m?
True
Let r(i) be the third derivative of -i**4/3 - 7*i**3/3 - i**2 + 61*i. Let w be -1 + (-2 - 8/2). Is 9 a factor of r(w)?
False
Let y(i) = i**3 - 19*i**2 + 42*i + 90. Is 17 a factor of y(34)?
False
Suppose -b - b = -g + 9, 4*b - 31 = -5*g. Let d(c) be the first derivative of 2*c**3/3 - 5*c**2/2 - 3*c - 17. Is 15 a factor of d(g)?
True
Let z(c) be the third derivative of 9*c**2 + 4*c**3 + 0*c - 1/8*c**4 + 0. Does 12 divide z(-12)?
True
Let h = 35 + -27. Suppose 0 = h*m - 3*m - 5*u, 4*m - 9 = u. Does 8 divide 1 + m + -2 + 38?
True
Suppose -5*o - 55625 = -5*i, 2*i - 3*o - 6893 = 15352. Is 10 a factor of i?
True
Suppose 0 = -695*r + 693*r + 1186. Is 4 a factor of r?
False
Let d = 183 - 181. Suppose -8*v + 5*v + 5*w + 638 = 0, -w = -d. Does 24 divide v?
True
Let h be 13/(65/45) - 3. Suppose -1462 = -11*l + h*l + 3*j, 3*j = -12. Is l a multiple of 29?
True
Let q be (-1 - -4 - 4)*(-5 - -2). Suppose -2*w + 5*l = -43, q*l + 25 + 62 = 3*w. Suppose 8*j = 10*j - w. Is j a multiple of 6?
False
Let m = -2387 - -4072. Let x = -607 + m. Is x a multiple of 14?
True
Let a = 1 + 11. Suppose 19*z - 14 = a*z. Does 2 divide z?
True
Let c(d) = -135*d - 125. Let n(u) = -90*u - 84. Let m(t) = -5*c(t) + 8*n(t). Is m(-3) a multiple of 9?
False
Suppose 5*y = -5*w - 5, -3*w = -5*w + 6. Let i be ((240/(-9))/(-10))/(y/(-6)). Suppose -i*q - 34 = -5*g - 3*q, 0 = 3*g - 4*q - 34. Does 3 divide g?
True
Let i = -43 - -98. Let v = -91 + i. Let g = 63 + v. Is g a multiple of 17?
False
Suppose -4*k = r - 26985, 3*k + 2*r + r = 20232. Does 173 divide k?
True
Let k(b) = 847*b**2 + 674*b + 31. Is 12 a factor of k(-7)?
True
Let u = 143 - 146. Suppose 5*p + 9 - 54 = 0. Is p/u + 5 - -110 a multiple of 21?
False
Let f be (7 + 942/(-24))*-8. Let o = -139 + f. Does 6 divide o?
False
Let x = -991 + 1034. Suppose -x*d + 1600 = -39*d. Is d a multiple of 25?
True
Let m(q) = 10*q**3 + 773*q**2 + 45*q - 45. Is 49 a factor of m(-77)?
False
Let q be 6 - (2 + -10 + 0 + 4). Suppose q*k - 481 = -51. Does 6 divide k?
False
Suppose -14*l + 27957 - 2925 = 0. Is l a multiple of 6?
True
Suppose 0 = 19*a - 23*a - 60. Let k(u) = u**3 + 19*u**2 + 58. Is k(a) a multiple of 9?
False
Let d = -10068 + 19068. Does 125 divide d?
True
Suppose 0 = 2*j - 198 - 584. Let b = j - 144. Does 10 divide b?
False
Let u be 7/(105/(-125))*3. Let q(s) = s**2 + 20*s + 62. Does 17 divide q(u)?
True
Let r(q) = -63*q + 13. Let l(i) = 95*i - 20. Let p(u) = -5*l(u) - 7*r(u). Does 7 divide p(-2)?
True
Let c be (-54)/48*(-4)/3*2. Suppose -3*s = 4*p - 0*s + 5, c*p + 1 = -5*s. Does 14 divide (2/p)/((-3)/126)?
True
Let l(o) = -92*o**2 - 9*o + 3. Let f be l(-4). Let x = -976 - f. Suppose 0 = -5*q - 3*s - s + 574, -4*q = s - x. Is 28 a factor of q?
False
Suppose -4*p + 2*y = -204, -4*p + 5*p = 2*y + 57. Suppose -53*k = -p*k - 8. Suppose z + 38 = l + k*z, -z = -5*l + 178. Is l a multiple of 8?
False
Let m(d) = d**3 + 13*d**2 + 15*d + 33. Let n be m(-12). Is 11 a factor of n*(3 + 2 + -82)?
True
Let m be 1 + -1 + (-1334)/(-2). Let g(z) = z**3 + 32*z**2 - 48*z + 158. Let l be g(-33). Suppose 3*x - m = 5*i, -3*i - l = -3*x + 4. Is x a multiple of 51?
False
Is (-18)/(-15) + 840/(-200) - (1 - 6430) a multiple of 126?
True
Suppose 3748 = z - 5*x, -2*z - 11233 = -5*z + 4*x. Suppose -29*n = -10*n - z. Is 8 a factor of (n/(-4))/(((-66)/24)/11)?
False
Let o(n) = 2*n**2 + 22*n + 351. Is o(-13) a multiple of 31?
True
Let b(k) = -1 + 4 + 3 - k + 3. Let h 