-4*l + t. Let k be -4 + 3 - -12 - l. Is 26 a factor of k/14 + 4236/84?
False
Let o(g) = g**3 + 34*g**2 - 73*g - 34. Let b be o(-36). Suppose -2*n - b*d = -234, 2*n + 5*d = -0*d + 222. Is 3 a factor of n?
False
Suppose -m - 936 = -4*m. Let w be -2*(-2)/4 - (21 - 25). Suppose -w*n = -9*n + m. Is 26 a factor of n?
True
Suppose 39274 = -32*c + 664234. Is 63 a factor of c?
True
Let d(g) = -g**3 + 22*g**2 - 15*g + 146. Let b be d(22). Let j = b - -352. Does 8 divide j?
True
Suppose -6173 + 25647 = 6*g - 33104. Is g a multiple of 23?
True
Suppose 3*v + 1 = -3*o + 235, 93 = v - 2*o. Suppose 0 = -3*n - 3*x + 111, 0 = n + 4*x - 27 - 16. Let y = v - n. Is 8 a factor of y?
True
Suppose 4*l = 5*r - 19, 8*r - 4*r = -2*l + 10. Suppose -q + 480 = r*q. Does 12 divide q?
True
Let r = -211 + 218. Is 16 a factor of 16*(102 - 4)/r?
True
Suppose 0 = 4*c + 2*m + 366, c + 8 = -3*m - 91. Let l be (c/21)/(3/(-14)). Suppose l = q - 5. Does 5 divide q?
True
Suppose -91 = -5*j - 46. Suppose -j*t + 3*t = -198. Is t a multiple of 11?
True
Let s(m) = 15*m**2 + 30*m - 308. Is s(16) a multiple of 34?
True
Suppose 0 = 339*j + 158898 - 497898. Is 5 a factor of j?
True
Let k(r) = 5*r**2 - 5*r - 24. Let c be k(6). Suppose -5*d + 94 = -c. Is d a multiple of 16?
False
Suppose 5*n + y = -1827, 1089 = -10*n + 7*n - 3*y. Let v = n - -403. Is v a multiple of 2?
False
Suppose 62 - 55 = c, 0 = -7*i - c + 160244. Is 11 a factor of i?
True
Suppose 0 = -5*n + 5*c + 14590, -5*n = -4*n + 5*c - 2894. Is n a multiple of 68?
False
Let l be (15/45)/((-2)/(-78)). Let j(s) be the third derivative of s**6/120 - 11*s**5/60 - 7*s**4/12 - 8*s**3/3 - 27*s**2. Is j(l) a multiple of 19?
False
Let v = -42 - -60. Let q(j) = 24*j + v*j + 15 + j**2 - 48*j + 18*j. Does 4 divide q(-12)?
False
Let v(t) = t**3 + 21*t**2 - 32*t - 4. Suppose -2*s - 3*s = 110. Is 8 a factor of v(s)?
True
Let t = 122 + -119. Let k(w) = -w**3 - 19*w**2 - 3*w - 9. Let m be k(-20). Suppose -125 = -t*q + m. Is q a multiple of 13?
False
Let w(x) = -2*x**2 - 6*x**3 - 7*x**2 + 5*x**3. Let o be w(-9). Let n(v) = v**2 + 2*v + 92. Is 23 a factor of n(o)?
True
Let d = 21469 - 13485. Does 129 divide d?
False
Suppose 0 = 19*k - 18*k - 2*l + 5264, 5*k + 2*l = -26272. Let t = -3660 - k. Is t a multiple of 14?
True
Let h(z) = -3*z + 5*z**2 + 501 + 501 - 1006. Is h(-6) a multiple of 17?
False
Let q = -117 + 100. Let c(a) = 3*a**2 + 13*a + 11. Let n be c(q). Let h = n - 406. Is 11 a factor of h?
False
Let f be ((-32)/(-52))/(-4) - 12/(-78). Suppose 47*a - 53*a + 1518 = f. Is 61 a factor of a?
False
Let v(t) = 36*t + 8. Let n = 47 + -40. Let g be v(n). Suppose 12*i - g = 10*i. Does 17 divide i?
False
Let y be 2*(0 + 1) + -41. Let d = y - -104. Is 13 a factor of (10 + -9)*(d - 0)?
True
Let y(v) = 7743*v**3 - 12*v**2 - 12*v + 23. Is 38 a factor of y(1)?
False
Suppose -28440 = 4*a - 19*a. Suppose -2*p + 1892 = 2*q, 12*q + a = 14*q + 3*p. Is 18 a factor of q?
False
Let u = 15285 - 6491. Is 121 a factor of u?
False
Let m(h) = -80*h - 52 - 63*h**2 + 33*h**2 + 27*h**2. Let x(t) = -t**2 - 20*t - 13. Let c(i) = 2*m(i) - 9*x(i). Is c(-11) a multiple of 12?
True
Let q(p) = -p**3 - 11*p**2 - 21*p - 10. Suppose 0 = b + 4 + 5. Let t be q(b). Let a(n) = -n**2 + 22*n + 23. Does 9 divide a(t)?
True
Suppose 4*z = -5*d - 120, 57 + 39 = -4*z + d. Let c be ((-5)/z)/((-1)/(-5))*189. Suppose 2*m - 45 = c. Is m a multiple of 39?
True
Suppose 3*t = -126 + 138. Suppose t*w - 542 = 82. Does 21 divide w?
False
Let x be (1 + -76)*343/(-21). Suppose -2*j - 3*r + x = 0, r = 3*j - j - 1205. Suppose w = 6*w - j. Does 11 divide w?
True
Let r(v) = -v**3 - 20*v + 7*v**2 - 3 + 0 + 21*v. Let p be r(7). Suppose a - p = 0, 5*j - a + 1 = 42. Does 8 divide j?
False
Let s(o) be the third derivative of -5*o**4/2 + 55*o**3/6 + 68*o**2. Is 8 a factor of s(-16)?
False
Is 36 a factor of 198/(-22) - (-5)/(15/12123)?
True
Let g = -25945 + 42409. Does 88 divide g?
False
Let p(m) = 2*m - 8. Let f be p(-8). Let j be (-380)/32 + 2 - (-3)/f. Is 6 a factor of (-108)/(-45)*j/(-4)?
True
Suppose 4*w + 157 = -y, 4*w = -0*w - 5*y - 177. Let k = w + -41. Let i = k - -90. Does 11 divide i?
True
Let l(u) = -u**3 - 25*u**2 + 40*u + 28. Let p be l(-26). Let d = p + 413. Does 7 divide d?
True
Suppose 3*u = 2*u - 4*a - 12, -5*a = -5*u + 15. Suppose u = b - 2*b - d + 10, 40 = 5*b + 3*d. Suppose -2*m + b*w = -20 - 40, 0 = -m + 3*w + 29. Is m even?
False
Is -7 + (8 - 8) - (-4232 - -3) a multiple of 19?
False
Let v(i) = -2*i**3 + 28*i**2 + 13*i + 37. Let a be v(14). Suppose a*d + 2728 = 223*d. Does 11 divide d?
True
Let g = -139 - -245. Let r = -2 + 4. Suppose 76 = 4*z - 4*u, 2*z = -2*z - r*u + g. Is z a multiple of 12?
True
Let y = -11813 + 17421. Does 46 divide y?
False
Let c = -1498 - -947. Let t = c - -1225. Does 56 divide t?
False
Suppose 5979 = 5*a - 4*v, v - 2388 = -2*a - v. Suppose -5*w = -0*w + a. Let r = -120 - w. Is 10 a factor of r?
False
Let s(l) = -8*l + 21. Let z be s(-23). Suppose 1430 = 5*b + z. Is 49 a factor of b?
True
Let h(k) = 2*k**2 - k. Let i(r) = -3*r**3 - 16*r**2 + 11*r - 17. Let w(a) = -3*h(a) - i(a). Does 14 divide w(5)?
True
Let f(l) = -2*l**3 - 4*l**2 + l + 539. Suppose 9*c = 34*c. Is f(c) a multiple of 38?
False
Let o = -13 + 15. Suppose -r = -o*r - 10. Let i(m) = m**2 - m - 10. Is 20 a factor of i(r)?
True
Let c = -23 + 25. Suppose -117 = -3*m - m + w, 0 = -c*m - 3*w + 69. Is 5 a factor of m + -1 + (-15)/(-15)?
True
Let w = 429 - 429. Suppose 3*x + 25*x - 14840 = w. Is x a multiple of 10?
True
Suppose j + 2*o - 5549 = 0, 0 = 11*j - 13*j + 4*o + 11114. Is 9 a factor of j?
True
Let b(z) = -z**3 - 8*z**2 - 3*z - 7. Let u = -9 - -1. Let k be b(u). Is 25 a factor of 2/k + (-8575)/(-85)?
False
Suppose -4*d - o + 1497 = 0, 10*o - 7*o = -9. Does 15 divide d?
True
Let d be 576 + 0 + -4 + 16 + -11. Let g = d - 540. Is g a multiple of 4?
False
Is (-10 + (-34)/(-12))/((-4)/1128) even?
False
Suppose 14*w - 9*w + 9*w = 0. Suppose -o - f - 4*f + 258 = w, 8 = -4*f. Is o a multiple of 12?
False
Let u(d) = d**2 - 17*d. Let k be u(12). Let z be (-1496)/10 + 24/k. Let o = z - -278. Does 12 divide o?
False
Let h(z) = -16*z - 26. Let f be h(-2). Does 9 divide ((-10)/f)/5 + 2778/18?
False
Let v be 2/2 - ((-2)/(-1) + -4). Suppose v*w - 5*t = 334, 2*w - 4*t = 4*w - 252. Is w a multiple of 30?
False
Suppose 54*t = 27*t. Suppose 4*s + 5*y - 640 = -t*s, s - 4*y = 160. Does 40 divide s?
True
Suppose 12 = -6*j + 4*j. Let g be (-36)/27 + (-2)/j. Does 15 divide ((-262)/2)/(5/(g - 4))?
False
Let r = -27 + 31. Suppose 4*a - n - 16 = n, 3*n = -3*a + 12. Suppose a = -r*j, 0*u = 5*u + 4*j - 166. Is 11 a factor of u?
False
Let c be (4*15/42)/((-4)/(-196)). Suppose -c = -54*x + 44*x. Is 3 a factor of x?
False
Suppose 5*a - 20*i + 19*i = 6, -2*i = 3*a - 14. Suppose -a*u + 54 + 152 = 0. Does 13 divide u?
False
Let d(p) = -16*p - 3. Let v be d(3). Let m = v - -55. Suppose 2*w + 33 = -j + 173, m*w - 284 = -4*j. Does 15 divide w?
False
Let a = -34 - -50. Let z = 10 + a. Suppose 0 = -s + 162 - z. Is 11 a factor of s?
False
Let b(y) = -6*y - 24. Suppose 15 = -v + 5*m, v + 6*m = m + 5. Let j be b(v). Is (-87)/(-9) + (2 - j/9) a multiple of 4?
False
Let m = -164 - -103. Let b = m + 65. Suppose 4*o - 267 = g, -2*g + b*g + 336 = 5*o. Is 22 a factor of o?
True
Suppose 34*n - 2*n = 73248. Is n a multiple of 39?
False
Suppose -11*i = -w - 13*i + 10565, 0 = -4*w - 11*i + 42251. Is w a multiple of 8?
False
Let x be (22/(-33))/(1/(-3)). Suppose x*q - d + 24 = 0, 38 = -4*q + 3*d - 8. Let s = 1 - q. Is 3 a factor of s?
False
Suppose -w = -2*r + 1, w = 4*w - 2*r - 9. Does 2 divide 43 + (-4 - w) + 5?
False
Does 31 divide 85 - 72 - 4172/(-1)?
True
Suppose -7850 = -2*k - 2*r - r, 5*r = -2*k + 7842. Is k a multiple of 36?
False
Suppose -247155 + 456054 + 653945 = 218*l. Is l a multiple of 161?
False
Suppose 97 + 463 = -16*n. Is (14/n)/(2/(-520)) a multiple of 9?
False
Let a = 4 - -10. Suppose i - 60 = -a. Is (i + -3)/(1/2) a multiple of 23?
False
Is 22 a factor of (77*28/154)/(3/3729)?
True
Let d(r) = r**3 + r**2 + r. Let t(h) = 3*h**3 + 5*h**2 + 7*h - 4. Let f(j) = 6*d(j) - t(j). Let z be f(-4). Let o = -38 - z. Does 12 divide o?
False
Let t(j) = -17*j + 6. Suppose x - 6 = -x. Suppose 15 = -2*a - x*a. Is 5 a factor of t(a)?
False
Let p(r) = 112*r +