ple of 43?
False
Let j(x) = -x. Let m(p) = -p - 1. Let n(z) = 5*j(z) - 4*m(z). Let f be n(-1). Suppose -25 = -f*c, -c = 3*l - 150 - 233. Is 9 a factor of l?
True
Let n = -4173 - -6429. Does 11 divide n?
False
Let f = 12385 + -4090. Is 15 a factor of f?
True
Suppose -12*b = -11*b + 848. Let r = 1664 + b. Is r a multiple of 68?
True
Suppose 3*t + z - 4 = 3, -3*t = -5*z - 19. Suppose -t*y + 0*n = -n - 15, 2*y = -2*n + 2. Suppose q = 1, y*u + 5*q = 2*q + 295. Is 20 a factor of u?
False
Let s(c) = 9*c**2 + c**2 + 43 + 7*c**2 + 45 + 2*c - 83. Is s(2) even?
False
Let y be (-2 - 3) + -4 + 8 + 1. Suppose -4*x + 3*l + 1689 = y, 6*x - 2*x - 1674 = -2*l. Does 21 divide x?
True
Let z = 108 + -186. Let y = 102 - z. Is y a multiple of 15?
True
Suppose -2*q + 4 = -4*q. Let a be ((-78)/(-12))/(q/(-4)). Suppose 0 = 4*y - a - 3, -2*o + 5*y = -86. Is o a multiple of 13?
False
Let c(v) = 2*v**2 + 38. Let x be (-3128)/322 - (-2)/(-7). Is 7 a factor of c(x)?
True
Let u(s) = -2*s**3 + 9*s**2 + 11*s - 26. Let w be u(5). Suppose w*h - 4 = 0, -2*z + 392 = 4*h - 716. Is 46 a factor of z?
True
Suppose 5*l = -25, -r + 2*r + 5*l = -141. Let u = -107 - r. Is 9 a factor of u?
True
Let y(t) = 47*t - 154. Let o be 130/(-117)*-6 - 1/(-3). Is y(o) a multiple of 35?
True
Suppose 1878 = 4*k + 1122. Is k a multiple of 3?
True
Let t = -989 + 694. Let p = t + 75. Is 28 a factor of p/(-2) + (12 - 10)?
True
Suppose -d + 6*s = -2*d - 1168, 4*d - 5*s + 4701 = 0. Let c = d + 1858. Is c a multiple of 12?
True
Suppose 0 = -0*z + 2*z - 3*z. Let i = z + 205. Is i a multiple of 41?
True
Suppose 3*i - 5*y = 2615, -2859 = -4*i + 2*y + 623. Suppose -11*q + i = -153. Does 3 divide q?
True
Suppose 19*q + 589 = -3230. Let a = q - -381. Is 18 a factor of a?
True
Does 57 divide (-15 - 44/22) + 10676?
True
Let r(a) = a**2 - 7*a + 15. Suppose 0*k - 3*d - 16 = -k, 24 = 3*k - 3*d. Let j be r(k). Suppose 2*f + j*u = -2 + 55, 2*u = 3*f - 86. Is f a multiple of 7?
True
Suppose 2 = -4*y + 66. Let v = 6 + y. Is 2/11 - (-2)/v*669 a multiple of 21?
False
Let q(b) = b**3 + 65*b**2 - 158*b + 32. Is q(-67) a multiple of 20?
True
Is 9/54 - 4226846/(-204) a multiple of 28?
True
Let l be (-242)/(-847) + (9316/(-14))/(-2). Let c = -306 + l. Is 12 a factor of c?
False
Let i(s) = -11*s - 149. Let c be i(-14). Suppose 972 = -c*p + 7*p. Is p a multiple of 28?
False
Let f(t) = 16*t - 116. Suppose 2*r = -2, 2*z + 5*r = r + 16. Is f(z) a multiple of 2?
True
Let w(y) = 2*y**2 - 23*y - 62. Let b be w(28). Let z = -813 + b. Is 7 a factor of z?
True
Is 15 a factor of (-2134258)/(-942) + 1/((-3)/(-4))?
False
Let c(q) = -5*q - 8. Suppose -s = 0, 0 = -2*f + 3*s - 4. Let a be c(f). Suppose i - a*i = -120. Does 40 divide i?
True
Suppose -3*s + 18 = 4*v - 0*s, 0 = 3*v - 5*s - 28. Suppose -2*y + y + 5*h - 6 = 0, y + 4*h = -v. Let c(b) = -b**3 - 4*b**2 + 7*b - 5. Is c(y) a multiple of 25?
True
Let k = -12984 + 18624. Is k a multiple of 5?
True
Let p(y) = y**2 - 23*y - 24. Let t be p(24). Suppose -5*x + k = -10*x + 254, t = 2*x - 3*k - 88. Is x a multiple of 5?
True
Let p(n) = n - 1. Let b(r) = 123*r - 1. Let x(m) = -b(m) + 2*p(m). Let f = 19 - 20. Does 24 divide x(f)?
True
Suppose 0*o = 3*o. Suppose o = -i - 9 + 11. Is 19 a factor of (6/9)/(i/57)?
True
Is 1344/24*166/4 a multiple of 28?
True
Let j be -3 + (2 - -1331) + 2. Suppose 0 = -17*o + j + 1252. Is 7 a factor of o?
False
Let h be ((-6)/(-21) + (-9)/7)*-3. Suppose 0*y = -4*y + 4*t - 12, y + h*t + 3 = 0. Is ((-1 - y)*-3)/2 + 29 a multiple of 5?
False
Suppose -15*s = -99*s + 413700. Does 17 divide s?
False
Let z(f) = 115*f + 434. Is 50 a factor of z(47)?
False
Let b = 8453 - 6693. Is 20 a factor of b?
True
Let m(p) = -2*p + 18. Suppose -31 = -4*b - s, -4*s - 4 = -4*b + 32. Let d be m(b). Suppose d*v + 4*k - 264 = 0, -2*k = -v - 3*v + 508. Is 18 a factor of v?
False
Suppose -59*m + 784704 = 5*m. Is 61 a factor of m?
True
Suppose 4*o + 42 + 154 = 4*w, -2*o = 4*w - 190. Let r = -5 - -13. Suppose r*c - 696 = -w. Is 9 a factor of c?
True
Let i(w) = 4*w + 35. Let d be i(-6). Let o = 0 + d. Is 2 a factor of o?
False
Let y(k) = 14*k - 20. Let b be y(-6). Let j = 300 + b. Does 37 divide (j + -5)*-1*1*-1?
False
Suppose -6*j = 470 - 1424. Suppose -3*c - j + 870 = 0. Does 6 divide c?
False
Suppose -3*j + 5253 = -3*r, 2*j + 8763 = 7*j + 3*r. Suppose 68*o - 56*o = j. Does 3 divide o?
False
Let c(s) be the third derivative of 7/3*s**3 + 0 + 5/24*s**4 + 1/20*s**5 + 20*s**2 + 0*s. Is c(-4) a multiple of 14?
True
Is 3/9*-123*(-5 + (-1 - 62)) a multiple of 17?
True
Does 17 divide (-8)/1 + -14 + 0/(-10) + 7774?
True
Suppose 5 = -5*u, 1 - 9 = 2*k - 4*u. Let v(x) = x**3 + 2*x**2 - 10*x - 5. Let c be v(k). Let n = c - -130. Is n a multiple of 41?
True
Does 229 divide (-43)/((-903)/(-1050))*(1 + (-3211)/5)?
True
Suppose -88*w = -59*w - 477485. Is w a multiple of 76?
False
Suppose -3*a - 5 = -20. Let l(p) = 12 - 4 - a*p + 13 + 4*p. Is l(6) a multiple of 5?
True
Let h = -28367 + 49192. Does 5 divide h?
True
Is (-1*(-49974)/(-9))/(7*(-18)/189) a multiple of 52?
False
Suppose 0 = -4*h + 9526 + 27806. Is 51 a factor of h?
True
Suppose 2*z - 8 = -2*m, 0*m + m = 4. Suppose 4*a + 6*f = 3*f + 314, z = -a + f + 82. Is a a multiple of 9?
False
Let g(d) = d + 1. Let h be g(-4). Suppose 9*f - 168 = 129. Let i = f - h. Is i a multiple of 6?
True
Suppose -19*h + 44*h = 19*h + 36660. Does 26 divide h?
True
Let l(o) = o**3 + 11*o**2 + 15*o - 20. Let p be l(-9). Suppose -p*u = -3*u - 684. Does 19 divide u?
True
Let r(z) = 64*z**2 + 128*z - 733. Is 73 a factor of r(6)?
False
Suppose -128*l + 4924 = -1642 - 16474. Does 18 divide l?
True
Let y = 12 - 9. Suppose -y*n + 8*n - 15 = 0. Does 14 divide (11/(-3))/(n/(-63))?
False
Suppose 3*w + 970 + 28115 = 3*h, -38789 = -4*h - 5*w. Is 21 a factor of h?
False
Suppose -6 = -3*t + 5*i - 3*i, t - 6 = 2*i. Suppose q = -3*o + o - 155, t = 3*o - 3. Let g = -102 - q. Is 17 a factor of g?
False
Let u(h) = -18*h**2 - 12*h - 12*h**3 - h**3 + 11*h**2. Is 4 a factor of u(-2)?
True
Let g(o) be the second derivative of o**4/3 - 4*o**3/3 + 17*o**2/2 + 3*o. Let y(u) = -2*u**2 + 4*u - 9. Let l(t) = -2*g(t) - 5*y(t). Is 37 a factor of l(-7)?
False
Let t = 5437 - 4458. Is t a multiple of 11?
True
Let r(u) = 4*u**2 - u**3 - 4*u**2 + 3*u**2 + 0*u**3 - 6 - 8. Does 14 divide r(-4)?
True
Let t(y) = -y**3 - y**2 - 2*y + 168. Let f = -28 - -28. Let x be t(f). Suppose -19*a + x = -17*a. Is a a multiple of 11?
False
Suppose -u + 3*u = -2*v + 10, 0 = -3*u. Let b = v + -45. Is 2 a factor of (-1)/(-6)*4 + b/(-3)?
True
Suppose 0 = -42*a + 45*a + 15, 0 = 4*y - 4*a - 55796. Does 83 divide y?
True
Let n be (1 + 0)*(481 - 4). Let q = -303 + n. Suppose -4*b + 578 = -q. Is b a multiple of 15?
False
Suppose 5*l - 47*l + 18130 = -7*l. Is 74 a factor of l?
True
Suppose -5*g + 5*b + 176 = -19, b = -4*g + 146. Suppose -g*y + 29*y + 3088 = 0. Does 54 divide y?
False
Let x(r) = -13*r - 91. Let l be x(-7). Suppose l = -13*g - 4 - 178. Let j = g - -16. Is 2 a factor of j?
True
Let i(c) = c**3 + 15*c**2 - 13*c + 48. Let m be i(-16). Suppose m = -192*x + 199*x - 2730. Is x a multiple of 31?
False
Is ((-2)/4)/(-17 + 67113/3948) a multiple of 47?
True
Suppose -676*y = -5*h - 672*y + 10064, 0 = -4*h + 4*y + 8052. Is h a multiple of 32?
False
Let c = -173 - -172. Is (-16182)/(-72) - c/4 a multiple of 45?
True
Let k(v) = -4*v + 88. Let t be k(22). Suppose 5*l + 3*c - 200 = 0, t = 3*l - 4*c + 5*c - 120. Is l a multiple of 12?
False
Let p = -1970 - -2570. Does 15 divide p?
True
Suppose 5*d = -0*x - x + 408, 0 = -x + 5*d + 418. Let p = x + -346. Does 3 divide p?
False
Suppose -86 = -11*t + 673. Suppose 0 = -7*b + 330 + t. Suppose -2*r + b + 60 = u, -2*r - 2*u = -120. Does 21 divide r?
False
Let m(r) = 13*r + 440. Is 123 a factor of m(4)?
True
Is (-13 - 297/(-22))*((1 - 1) + 15402) a multiple of 36?
False
Let x(d) = 5*d**2 - 212*d + 63. Is x(-42) a multiple of 231?
True
Let h = -62 - -66. Let n(j) = j**3 - 17*j**2 + 23*j. Let i(s) = -s**3 + 17*s**2 - 22*s. Let c(u) = h*n(u) + 5*i(u). Is 10 a factor of c(15)?
True
Let j(g) = -18*g - 176. Let f be j(-10). Suppose 4*o + m - 3296 = -0*o, -4*o = f*m - 3284. Does 75 divide o?
True
Suppose 3*p + 3*c = 21270, 2*p - 3*c - 3236 - 10949 = 0. Is 7 a factor of p?
True
Let i(r) = -39*r + 94. Let a(s) =