et a = d + -16. Does 24 divide a?
True
Let g(l) = -l**2 - 7*l + 11. Let w be g(-8). Suppose -4*y = -w*y. Suppose y = 3*z - 5*s - 33, -4*z + 68 = 5*s + 24. Is 3 a factor of z?
False
Let l be 3*((-40)/(-12))/5. Let b(o) = 19*o**3 - o**2 + 5. Is 17 a factor of b(l)?
True
Is 8/(-92) + (-3)/(276/(-57968)) a multiple of 14?
True
Let d(z) = z**2 + 10*z - 1. Let m be d(-11). Let w be 1406/13 - m/65. Let h = w + 7. Is h a multiple of 17?
False
Let t = 500 - 59. Does 5 divide t?
False
Let g(l) = -7*l - 5. Let o(m) = 4*m + 3. Let t(d) = -3*g(d) - 5*o(d). Is t(8) a multiple of 3?
False
Let p(y) = y**2 - 11*y + 10. Let k be p(-8). Let a = k - 80. Is a a multiple of 12?
False
Suppose 4*v + 12 = -2*y, 4*y + 36 = -3*v + v. Is 23 a factor of (164/y)/(1/(-10))?
False
Let l = -5 - -10. Suppose -l*y = 3*j - 25, -4*y - 4*j + 20 = y. Suppose -5*r + 3 = -4*o, -4 - y = o - 5*r. Is o a multiple of 2?
False
Let f(y) = y + 14. Let u be f(-11). Let k be -2*u*5/(-30). Is (41 - 0/k)/1 a multiple of 41?
True
Let f(b) = b**2 + 8*b - 5. Let h be f(-9). Suppose h*l - 60 = -2*x + 38, -4*l - 20 = 0. Suppose 1 + x = 2*w. Is 10 a factor of w?
True
Suppose -2717 = 14*r - 25*r. Does 19 divide r?
True
Let t be (-8)/(-6)*3/(-2). Is 30/((-14)/(-4) + t) a multiple of 13?
False
Let l(u) = -4*u + 35. Let q be l(-17). Let f = -65 + q. Is 19 a factor of f?
True
Let l = -74 - -29. Let u = l + 90. Is 15 a factor of u?
True
Let p be 4/(-6) - 34/(-6). Is 4 a factor of p + 4 - (4 - 0)?
False
Let d(a) = 11*a**3 - a**2 + 4*a - 4. Let q be d(1). Suppose 10 + q = h + 3*k, -k - 2 = 0. Does 10 divide h?
False
Is ((-54)/10 - -5)*-770 a multiple of 14?
True
Suppose -4*d = -0 - 20. Suppose -2*v + 36 = 3*a - 105, d*v - 333 = -a. Is v a multiple of 18?
False
Does 6 divide 1532/10 + (-5)/25?
False
Suppose -u - 4*a = 2*u + 37, -2 = -2*u + 4*a. Is 3 a factor of (-56)/(-16)*(-20)/u?
False
Is 19 a factor of (-3)/(-2)*(-488334)/(-441)?
False
Let q be 7/(-49) - 36/(-7). Let s(x) = 2*x**3 - 9*x**2 + 10*x - 7. Let j be s(q). Is (1*j)/(-9 - -11) a multiple of 17?
True
Let i = -11 + 20. Let f be (i/(-12))/((-12)/32). Suppose 0 = -f*k - 39 + 119. Does 7 divide k?
False
Suppose 0 = 2*l + l - 51. Let t(n) = 3*n + 51. Is t(l) a multiple of 18?
False
Suppose -5046 = -30*d + d. Is d a multiple of 19?
False
Suppose -x - x - 20 = 0. Let m(c) = -7*c - 13 + c - 2*c + 4*c. Is 9 a factor of m(x)?
True
Let d(q) = 26*q**2 + 36*q - 110. Is 6 a factor of d(3)?
False
Is (24/14)/((-12)/(-630)) a multiple of 7?
False
Let f(s) = -55*s - 3. Let n be f(-1). Let p = n - 73. Let w = 27 - p. Is w a multiple of 16?
True
Let y = -15 - -17. Suppose -4*n + 13 = -3*n - 3*f, 2*n - 25 = 5*f. Suppose -y*h = -u, 3*u - n = 3*h + 5. Does 10 divide u?
True
Let z(v) = v - 1. Let g(f) = -3*f - 9. Let i(a) = -g(a) - 2*z(a). Let t be i(-7). Suppose 0 = -s + t*s - 33. Is s a multiple of 7?
False
Suppose x + 18 = 4*n, -x = -4*n - 4*x + 26. Suppose m = -n*m + 312. Is 20 a factor of m?
False
Let n(c) = 13*c**2 + 6*c + 9. Is 4 a factor of n(-7)?
True
Let f = -498 - -759. Is 3 a factor of f?
True
Suppose 7*l + 5 = 33. Suppose -1260 = -5*x - l*m, 0*x - x + 252 = 5*m. Is 42 a factor of x?
True
Let r(s) = s**3 - 5*s**2 + 9*s + 3. Does 22 divide r(5)?
False
Suppose -160*m = -147*m - 5538. Is 10 a factor of m?
False
Suppose 0 = -5*k + 19 - 4, 4503 = 5*f + k. Is f a multiple of 45?
True
Let n be (1 - 9/(-6))*(-54)/(-45). Suppose -344 = -5*z + n*d, -z + 3*d = -18 - 46. Does 10 divide z?
True
Let p = 94 + 0. Let s = p - 22. Is s a multiple of 4?
True
Let c be (6/24)/((-3)/(-444)). Suppose 0 = j + 3 - c. Does 34 divide j?
True
Suppose 3*u = -3*v + 99, 29 = 2*u - 2*v - 37. Does 15 divide 6/33 - (-1974)/u?
True
Let h be -2 + 0 - 4*(-1 - 0). Suppose 2*w + 5*q = 145, 0 = 2*w - h*q + 4*q - 130. Does 12 divide w?
True
Let z(p) = 39*p**2 - 73*p + 331. Is 132 a factor of z(5)?
False
Let o(t) = 2*t - 13. Let a be o(5). Let j(z) = 19*z**2 - z + 2. Does 13 divide j(a)?
False
Suppose 5*b - 102 = -97. Is 11 a factor of 19 - b*-2*(-2)/(-4)?
False
Let p = 662 + -662. Let c be 33/4*4*4. Suppose p = -5*n + 68 + c. Is n a multiple of 10?
True
Suppose 7 = -3*t + 1, -t + 35 = s. Let z = s - 13. Is z a multiple of 8?
True
Let n be 2*77/(-4)*-6. Suppose 410 = 4*p + 5*a, a - 292 - n = -5*p. Suppose 2*z - 11 - p = 0. Is 29 a factor of z?
True
Let h = 11 - 11. Suppose 18 = 3*v - h*v. Suppose 4*w - 248 = -4*s, 5*w + v = 1. Is 21 a factor of s?
True
Let c be (-554)/6 + (-2)/(-6). Let k = -135 - 14. Let l = c - k. Is l a multiple of 16?
False
Let r(h) be the second derivative of h**6/15 - h**5/40 - h**4/12 - h**3/3 - 10*h. Let w(x) be the second derivative of r(x). Does 5 divide w(-1)?
True
Let b = -55 - -127. Is (10/(-8) - (-18)/b) + 20 even?
False
Let g(u) = -u**2 - 9*u + 20. Let a be g(-12). Is (-4 + (-84)/a)/(1/4) even?
False
Suppose -4*s + 4*a + 380 = 0, -a - 594 + 208 = -4*s. Does 14 divide s?
False
Let m = 762 + -450. Let d = -180 + m. Is 12 a factor of d?
True
Suppose 0 = 3*o - 11*o. Suppose -3*y + 3*j + 66 = 2*y, o = -y - 3*j + 6. Suppose 17 = u - y. Does 8 divide u?
False
Let o(g) = 2 + g**3 - 6*g - 7*g**2 - 12*g + g**2 + 11*g. Let u be o(7). Suppose -u*l = -d - l + 33, 4*d = -3*l + 111. Does 5 divide d?
True
Let f be 75/(-20) - 1/4. Let o be -12 + ((-64)/4)/f. Is 2/o - 363/(-12) a multiple of 6?
True
Suppose 7503 = 9*k - 948. Is 6 a factor of k?
False
Let d(g) = g**3 + 6*g**2 - 8*g + 10. Let q be d(-7). Suppose -5*h + 28 + q = 0. Suppose -30 - h = -k. Is 10 a factor of k?
False
Suppose 5*i - r - 10 = 11, 5*i - 9 = 4*r. Suppose 2*q + 5 = -i*c - q, -4*c = -2*q + 26. Is c/(-10)*(9 - -51) a multiple of 8?
True
Suppose 4*u + 1 = 9. Let k(i) = -11 + 2 + i - u. Does 9 divide k(20)?
True
Suppose k - 116 = -3*i, 0*k - 4*k = 4*i - 456. Let u = k + -17. Does 16 divide u?
True
Let z = -99 + 141. Let y = z - 3. Is 29 a factor of y?
False
Let u(x) be the first derivative of x**6/360 - x**5/40 + x**4/4 - 2*x**3/3 + 2. Let k(b) be the third derivative of u(b). Is 8 a factor of k(6)?
True
Suppose 0 = 2*v - 4*v. Suppose y - 844 = -2*y - 4*o, v = -5*y - o + 1418. Suppose -31 = -5*k + y. Is 21 a factor of k?
True
Suppose 0*o = 8*o - 240. Let b = o + -22. Suppose 5*v - 33 = -2*r, -v - 15 = 3*r - b*r. Does 4 divide r?
True
Let q(d) = 56*d - 4. Let x be q(3). Let w be -1 - (-26)/7 - 10/(-35). Suppose -g = w*g - x. Is 18 a factor of g?
False
Suppose 0 = -1264*v + 1270*v - 972. Is v a multiple of 5?
False
Suppose -3*r = -4*d + 3*d - 16, 16 = 2*r + 2*d. Suppose -r*t = -3*t - 6. Suppose -t*j = -11 + 1. Is 2 a factor of j?
False
Is 39 a factor of (31 + -69)*19/(-2)?
False
Let t = -436 - -689. Does 23 divide t?
True
Let w = -10 + 21. Suppose 4*z - w = -3. Suppose 0 = 5*c - 8 - z. Is c a multiple of 2?
True
Is 68 a factor of 2316 + (24/(-56) - 25/7)?
True
Suppose 3*h - 1988 = 1612. Is 25 a factor of h?
True
Suppose -8*y + 11*y = 144. Is y a multiple of 6?
True
Let m = 1 - 4. Let z be (1 + 15/(-9))*m. Is 10 a factor of -3 + z + 19/1?
False
Let f(d) = -29*d**3 - 2*d**2 - 3*d - 18. Does 42 divide f(-3)?
True
Let w = 601 + -83. Is 37 a factor of w?
True
Let g(f) = -2*f**3 + 2 + f**3 + 5. Let y be g(0). Suppose 0 = y*k - 5*k - 60. Is k a multiple of 10?
True
Let a(m) = -19*m + 25. Let x be a(-16). Is 5 a factor of x/21 - 2/3?
True
Let c(u) = -5*u + 3. Let j(r) = -6*r + 3. Let q(n) = 3*c(n) - 4*j(n). Let w be (1 - 4/(-4)) + 0. Is q(w) a multiple of 8?
False
Let m = -159 + 73. Let r = m - -149. Is 9 a factor of r?
True
Suppose 0 = -53*x + 55*x - 1792. Is x a multiple of 16?
True
Suppose -2*p = -5*v + 255, -13*p = -4*v - 11*p + 204. Is 3 a factor of v?
True
Let a = 7 - 6. Let y be ((-50)/4)/(a/2). Let u = y + 37. Is 10 a factor of u?
False
Is 15 a factor of 9/63 + (-11338)/(-14)?
True
Let n = 1357 - 1295. Does 2 divide n?
True
Suppose -2*f + 4 = 4*t - 2*t, 4*f = 5*t - 19. Suppose 5*w - t*w - 42 = 0. Is w a multiple of 6?
False
Let t = -292 + 621. Suppose -t = -4*u + 91. Let m = u - 63. Is m a multiple of 6?
True
Let r = 521 - 389. Is r a multiple of 9?
False
Let d = 58 - 41. Does 2 divide d?
False
Let b = -126 - -180. Let r be -2 + 15 + -1 + 1. Let y = b - r. Is y a multiple of 24?
False
Let y = -106 + 106. Suppose y = -n + 71 + 46. Does 13 divide n?
True
Let p = -3167 - -5508. Does 7 divide p?
False
Suppose 9*a - 7*a = 