 = -17 - l. Is u a multiple of 9?
True
Let b = 124 - 193. Does 13 divide (-5)/(30/b) - (-6)/4?
True
Let c be (-8)/4*(-6)/4. Suppose 4*s + c*f = 4*f - 14796, -5*f - 7398 = 2*s. Does 18 divide s/(-63) + 4/14?
False
Let z(n) = 2*n**3 - 25*n**2 + 45*n + 5. Let w(t) = t**3 - 13*t**2 + 22*t + 3. Let a(c) = -13*w(c) + 6*z(c). Is 9 a factor of a(18)?
True
Let r = -22 + 27. Suppose 0*z + 4*z + 4*u - 28 = 0, 4*z + 3*u = 25. Suppose -r*k = -z*k - 6. Is k a multiple of 3?
True
Let u(c) = 79*c**2 - 7*c - 28. Does 11 divide u(-3)?
True
Let r = -1 - 2. Let j be (201 - 2)/(r - -4). Suppose -5*o + 4 = -4*c - j, 4*o = -2*c + 152. Does 13 divide o?
True
Let n = 5 - 106. Let z = n + 181. Does 6 divide 4/(z/(-12))*-30?
True
Suppose -5*r + q + 80 = 0, -q = r - 2*r + 12. Suppose 5*p + 0*n - 2*n = r, 4*p + 5*n - 7 = 0. Suppose 2*v - 5*u - 9 = -0*u, 30 = p*v - 2*u. Does 12 divide v?
True
Suppose -4*p + 3*h + 2*h = -163, 5*p = 5*h + 205. Suppose 10 = -2*c + p. Is 7 a factor of c?
False
Let g(s) = 4*s - 9 - 3*s - 2*s - s**3 + 56. Is g(0) a multiple of 13?
False
Suppose -2*g - 2*g = 2*p - 200, 5*p = 0. Suppose -2*w = -4*d - 114 - 66, -d - 2*w - g = 0. Let x = d - -66. Is 10 a factor of x?
True
Is ((-10)/1)/(406/140 + -3) a multiple of 10?
True
Let a(m) = -m**3 - 17*m**2 - 20*m + 18. Let b be a(-15). Let f = -92 - b. Does 15 divide f?
False
Let j(d) = -82*d + 13. Let k be j(-5). Suppose 7*n = k - 73. Does 5 divide n?
True
Let l be 68 + 2*1/(-2). Let x = 127 - l. Is 12 a factor of x?
True
Let t(b) = 25*b**2 - 2*b. Let g be t(3). Let s = -145 + g. Is s a multiple of 12?
False
Let a(s) = -19*s - 1. Let g be a(-7). Does 22 divide 6*g/(-54)*-3?
True
Suppose 952 = 14*c + 28. Is 11 a factor of c?
True
Let v = -130 + 97. Let k(z) = z**3 + 3*z**2 - 7*z - 6. Let c be k(-4). Let d = c - v. Is 14 a factor of d?
False
Suppose 0 = -27*k - 0*k + 27. Suppose 3*p - 5*t + 11 = 0, -6 = 2*p - 2*t - t. Does 6 divide (p - -13) + (-1)/k?
False
Suppose -3*z - 5*g = 27, 2*g = -4 - 2. Let r be (8/z - -32) + -3. Let w = -5 + r. Does 20 divide w?
False
Let h = 77 + -55. Let i = h + -49. Let v = i + 93. Is 22 a factor of v?
True
Suppose w + 4*n - 218 = 0, -3*w + 3*n + 537 = -117. Is 18 a factor of w?
False
Suppose 4*x - 5 = -2*m + 7, -3*m = 4*x - 14. Suppose 0 = -5*y + 5*g + 444 + 16, -5*g = -x*y + 181. Is 31 a factor of y?
True
Let s = 875 - 449. Suppose 0*m + s = 4*m - 2*n, -m + 104 = -3*n. Does 18 divide m?
False
Let z = -553 - -869. Does 54 divide z?
False
Suppose -10*h + 3762 + 138 = 0. Does 39 divide h?
True
Let r = -111 + 150. Is r a multiple of 2?
False
Let c(s) = 7*s + 11*s**2 - 17 - 5*s**2 + 3*s**2 - 7*s**2. Does 16 divide c(-7)?
True
Suppose -14*f + 10*f = -2*a + 160, 5*a = -4*f + 358. Does 9 divide a?
False
Let u(i) = i**3 - 3*i**2 - 8*i - 14. Let r be (1 + -2)*1 + 8. Does 11 divide u(r)?
False
Let i = -494 - -1159. Does 35 divide i?
True
Suppose 2*s + 3*a - 126 + 6 = 0, 3*s = 2*a + 193. Is 9 a factor of s?
True
Let w = -1750 + 3424. Does 62 divide w?
True
Suppose 0 = 5*f + 2*u - 62, -f + 0*f = 2*u - 6. Let w = 7 - -3. Does 20 divide w/35 + 836/f?
True
Let m(l) = 3*l**2 - l. Let a be m(2). Let p(r) = 19*r + 24. Is 24 a factor of p(a)?
False
Let s = -2550 - -4101. Does 33 divide s?
True
Is (-46)/(3 + (-3)/((-60)/(-65))) a multiple of 23?
True
Suppose 5*o - p - 35 = 0, 14 - 33 = o + 5*p. Let y = o + -6. Suppose v + 4*d = 10, -4*v + y*v = -4*d - 40. Is v a multiple of 5?
True
Suppose 0 = -4*p + 5*h + 29 - 7, 0 = -5*p + h + 17. Is (-13 - 2)*(-2 + p - 2) a multiple of 13?
False
Let z = 169 + -89. Suppose 3*a = 8*a - z. Is 4 a factor of a?
True
Suppose -115*x = -10*x - 3885. Is x even?
False
Let s be (-13)/(-5) + (-6)/10. Let o(n) = -6 + 12 + 0*n - n**3 - 4*n - 11*n**s - 10. Is 10 a factor of o(-11)?
True
Suppose 0 = c + c - 210. Let l = 168 - c. Does 9 divide l?
True
Let c(g) = g**3 + 33*g**2 - 147*g + 95. Is 30 a factor of c(-33)?
False
Suppose m = 3*t + 157, -4*t = -3*m - 0*m + 466. Let h = m - 83. Is 13 a factor of h?
False
Let i be ((-1)/(-2))/((18/4)/(-9)). Let r(s) = 76*s**2 + 4*s + 3. Does 15 divide r(i)?
True
Let j(z) = -32*z - 133. Is 21 a factor of j(-14)?
True
Let x(q) = -11*q**3 - 3*q - 2. Let w(t) be the first derivative of t**3/3 + t**2/2 - 2*t + 1. Let k be w(0). Does 19 divide x(k)?
False
Suppose 2*t + 2*t = 44. Suppose z + t + 1 = 0. Let c = 26 + z. Is 14 a factor of c?
True
Let r(m) = 6*m**2 - m - 2. Let t(a) = 1. Let p(i) = r(i) + 6*t(i). Let j be p(2). Suppose 5*u + 6 = j. Is 3 a factor of u?
False
Let m = 33 - 29. Suppose -5*y - 210 = -m*c, -4*y = -2*c + 7*c + 168. Let z = -31 - y. Does 2 divide z?
False
Let z be 12/(-42) + (-4988)/(-14). Let r = -194 + z. Is r a multiple of 54?
True
Suppose b = 86 - 74. Let q = b - -65. Does 11 divide q?
True
Let b = -139 + 23. Let y = 246 + b. Is y a multiple of 13?
True
Let d(r) = -16*r**2 + 8 - 16*r + 28*r**2 - 13*r**2. Does 2 divide d(-16)?
True
Let o(w) = -w**3 - 42*w**2 - 49*w - 56. Is o(-41) a multiple of 46?
False
Let w be (-7 + -40)/(1 + -2). Suppose 5*o = -2*k + w + 73, 3*o = -4*k + 86. Does 11 divide o?
True
Let v = 2218 - 1084. Is v a multiple of 42?
True
Let g = 14 - 85. Suppose 5*b + 3*n + 163 = 0, -2*b - 2*b = 4*n + 132. Let m = b - g. Is m a multiple of 13?
True
Suppose 2*o - 1 - 7 = 0. Let y = o - 8. Is 7 a factor of (-9 + -5)/(y/2)?
True
Suppose 675 = -7*h + 1396. Is h a multiple of 103?
True
Let i be 96 + -3 + 1 + 2. Is 106/16 + 36/i a multiple of 2?
False
Suppose 0 = -2*j + 6*j. Suppose j = 4*r - 2*r - 54. Let u = r + -16. Does 7 divide u?
False
Suppose 76*s + 2880 = 86*s. Is 32 a factor of s?
True
Let d(q) = -q**2 + 22*q - 24. Let o = -66 - -81. Is 9 a factor of d(o)?
True
Let p(t) = 3*t**3 - 2*t**2 - t. Let l be (4/8)/(2/8). Let b be p(l). Suppose 0 = 3*g + f - 38, g + f + b = 2*g. Is g a multiple of 13?
True
Let k = -146 + 97. Let a = k + 162. Suppose 7*n - 307 = a. Does 10 divide n?
True
Let k(q) = 20*q**3 + q**2 + 4*q - 12. Let s be k(-8). Is 13 a factor of s/(-112) + ((-10)/8 - -1)?
True
Let w(l) = 8*l + 57. Is w(-4) a multiple of 6?
False
Suppose 5*q + 10 - 191 = 2*s, -q = 4*s - 45. Let o be (-2)/(-7) - (-24)/14. Suppose o*a - 7 = q. Is a a multiple of 22?
True
Let j(x) be the first derivative of x**7/168 - x**6/120 + x**5/120 - x**4/12 - x**3/3 - 1. Let w(r) be the third derivative of j(r). Is 14 a factor of w(2)?
True
Let u = -19 - -16. Let a = 25 - -9. Does 15 divide a/2 + 2 + u?
False
Suppose 35 = -5*x - 75. Let o = -86 - -37. Let t = x - o. Is t a multiple of 18?
False
Suppose 9*n = -9*n + 9504. Is 66 a factor of n?
True
Let d = 1704 + -1474. Is 20 a factor of d?
False
Suppose -3*p = -2*y - 33 + 373, 0 = 4*y + p - 680. Does 17 divide y?
True
Let c = 139 + -83. Is c/(-10) + 6 + 188/5 a multiple of 28?
False
Suppose 3*q = 160 + 218. Suppose t - o = 128, o = t - o - q. Does 26 divide t?
True
Suppose 8 = -j + 16. Let o be (-7)/28 + (-1054)/j. Let b = -79 - o. Does 20 divide b?
False
Let z be (-1)/(490/(-122) + 4). Let j = -19 + z. Does 21 divide j?
True
Suppose -l - 2*i + 0*i - 9 = 0, i + 9 = 4*l. Suppose -2*n + 7 = a - l, -2*a + 3*n = -44. Does 8 divide a?
True
Let v = 74 + -146. Let z = -42 - v. Is z a multiple of 5?
True
Suppose 15*u - 24 = 12*u. Is (66/u)/(2/24) a multiple of 10?
False
Suppose j = 1 + 3. Suppose x - 5*x = -j*l - 4, -5*x = 5*l + 45. Is 17 a factor of (-1)/l - (-219)/5?
False
Let r(f) = 2*f**2 - 7*f + 9. Suppose -10*i = -162 + 52. Is r(i) a multiple of 16?
False
Let b(d) = 5*d - 22. Let g be b(7). Suppose g*s - 51 = 10*s. Is 10 a factor of s?
False
Suppose -12 = 5*r - 9*r. Suppose -3*b = 9, -r*z + z + 3*b = -27. Is z a multiple of 3?
True
Let y = -161 - -219. Does 12 divide y?
False
Suppose 6121 - 193693 = -87*w. Is w a multiple of 22?
True
Let n = -84 - -51. Let a = n + 57. Does 8 divide a?
True
Suppose -157 = 11*m + 1713. Let j = 387 + m. Does 31 divide j?
True
Let d(n) = n**3 + 7*n**2 + 7*n - 7. Suppose -3*t + t + 15 = -3*y, 5*y + 5*t = -50. Let m be d(y). Is (m + 2)*(0 - 1) a multiple of 22?
False
Suppose 3*u - 4*u = z - 402, u = -5*z + 410. Is u a multiple of 22?
False
Let a(s) = -3*s**3 + s**2 - 4*s + 2. Let u be a(1). Does 9 divide (24/(-9))/((-1)/(-54)*u)?
True
Let i = 73 + -23. Suppose -3*f = -f - i. Suppose 5*h - 200 = f. Is h a multiple of 10?
False
Let t(z) be the first deriv