. Is c a multiple of 17?
True
Let o(r) = -218*r**3 - 2*r**2 + 3*r + 1. Let s(v) = 1 + 8*v - 3*v**2 - 291*v**3 - 5*v + 73*v**3. Let z(x) = 4*o(x) - 3*s(x). Is z(-1) a multiple of 10?
False
Let h = 208 + 427. Suppose -6*k + 715 = -h. Does 11 divide k?
False
Let v(g) be the third derivative of 147*g**4/8 + 51*g**3/2 - 219*g**2 - g. Is 12 a factor of v(3)?
True
Let r = 5966 + -5938. Suppose 3*b - 38 = 4*x, -40 = 5*x - 15. Is r/8*b/21 - -23 even?
True
Let w = -14739 - -26979. Is w a multiple of 24?
True
Suppose 3*t + 2 = j + 9, 4*j + 4*t = -12. Let x(u) = -u - 4. Let k be x(-2). Is 22 a factor of 893/38*j/k?
False
Let t(c) = c**3 + 5*c**2 - 17*c - 11. Let o be t(-7). Let h(v) = 9*v**2 + 23*v + 14. Let i be h(-15). Suppose r = -o*r + i. Is 14 a factor of r?
True
Let g(u) = 36*u**2 - 129*u + 129. Does 6 divide g(-9)?
True
Suppose 199*t - 139833 - 449255 = 104029. Is t a multiple of 7?
False
Let r(o) = 30949*o**2 + 385*o - 386. Is 123 a factor of r(1)?
False
Suppose 34*b - 18 = 28*b. Suppose 0 = -50*l + 45*l + 3*i + 1872, -753 = -2*l - b*i. Is l a multiple of 11?
False
Let n = -10895 + 36901. Is n a multiple of 21?
False
Let r(d) = 3*d**2 - 191*d + 6120. Is 13 a factor of r(34)?
True
Let w = -6936 - -12340. Does 28 divide w?
True
Suppose 2*x = 337 + 447. Does 12 divide x + ((-6)/(-1) - 2)?
True
Let z = 4198 - 2938. Does 7 divide z?
True
Is (107962 - -10*4/4)/4 a multiple of 54?
False
Let a(z) = 2*z**2 + 17*z + 4. Let l be a(-9). Let f be (l/((-156)/16))/((-2)/3). Suppose -3 = -d, g - 5*d - 132 = -f*g. Is 9 a factor of g?
False
Let q be (-26 + -5)/((-2)/(-2)). Let z = q - -35. Suppose -5*a = -3*y + z*y - 19, -a - 1 = 0. Does 10 divide y?
False
Let t(y) = 2 - 82 - 43*y + 2*y. Is t(-11) a multiple of 7?
True
Let o(n) = -1289*n - 11515. Is o(-11) a multiple of 16?
False
Suppose -270*u + 266*u = -3764. Let l = -601 + u. Is l a multiple of 37?
False
Suppose -4*o + v + 10918 = 0, o = -2*o - 6*v + 8148. Does 44 divide o?
True
Suppose 0*w + 2544 = 3*w. Suppose 2*b - 892 = 2*z - 44, w = -2*z + 4*b. Let a = z + 598. Is 6 a factor of a?
True
Let g(w) = -10*w - 45. Let b be g(-5). Suppose 385 = 4*m + b*f, -m = -4*m - 2*f + 294. Is m a multiple of 26?
False
Suppose -3*x + 5*b + 16338 = 0, -6507 = -2*x - b + 4411. Is 44 a factor of x?
True
Let c = 16306 - 9141. Is 9 a factor of c?
False
Does 2 divide 243*((-128)/8)/(-16)?
False
Let v(r) = -11*r**2 - 10*r + 31. Let d(q) = -23*q**2 - 18*q + 60. Let z(s) = -6*d(s) + 11*v(s). Does 36 divide z(-7)?
True
Does 10 divide (-32)/(-4) + -10 - -1862?
True
Let s(d) = -74*d**3 + 5*d**2 + 13*d + 18. Is 14 a factor of s(-2)?
False
Suppose 134242 = 10*c - 71258. Is c a multiple of 30?
True
Let v(p) = p**3 + 9*p**2 - 12*p + 118. Let h be v(-11). Suppose -15444 = -44*b + h*b. Is 13 a factor of b?
True
Let p be -4 + 1/(-2)*926. Let v = -263 - p. Suppose -29*k = -32*k + v. Does 12 divide k?
False
Let i(z) = 91*z - 51. Suppose -34*w + 35*w = 5. Is i(w) a multiple of 20?
False
Let r(a) be the second derivative of 13*a**3/6 - 93*a**2 + 167*a. Is 37 a factor of r(20)?
True
Suppose 9*m + 2*g - 154 = 0, 38*m - 35*m = -5*g + 73. Suppose -a = 3*a. Suppose m*z - 11*z - 1050 = a. Does 14 divide z?
True
Suppose -5*z + 0*h = 5*h, 10 = -2*z - 4*h. Suppose -6*d + 4*j = -2*d + 24, -4*j - 3 = z*d. Is 3 a factor of d - (0 - 1 - 7)?
False
Suppose -13*u - 6 = -11*u. Let z be (6/8)/(u/(-16)). Suppose -5*x - z*i = -55, x - 5*i + 18 = -0*i. Is 3 a factor of x?
False
Let o(p) = -64*p - 220. Let q be o(-5). Let j = q + -9. Does 7 divide j?
True
Let w(p) = -1 - p + 11 + 13. Suppose -s + 6 = -y, -5*y = 4*s - 155 + 95. Is 13 a factor of w(s)?
True
Let n = 45 + -42. Suppose -4*u - 252 = -4*p, 183 = n*p - 4*u - u. Suppose 3*i = -3*i + p. Is 11 a factor of i?
True
Suppose -3*f = 4*z + 12, z + 2*f + 2*f + 16 = 0. Suppose z*b + 8*b = -176. Let g = b - -35. Does 13 divide g?
True
Let s(t) be the second derivative of 13/2*t**2 - 9*t - 1/2*t**3 + 0. Is s(-13) a multiple of 12?
False
Suppose y + 7648 - 22476 = -4*o, -2*y + 29608 = 2*o. Is 5 a factor of y?
False
Let m be 4/10 - 2/5. Let u(t) = -t**2 - 159*t + 993. Let h be u(6). Suppose -h*o - 5*d + 51 = m, 4*o + 30 - 121 = d. Is o a multiple of 15?
False
Is ((-1)/(-3))/(164/(-738))*299600/(-15) a multiple of 10?
True
Let l(r) = -12*r**2 + 5*r + 10. Let v(c) = c**2 - c - 1. Let x(j) = -l(j) - 2*v(j). Is 11 a factor of x(3)?
False
Let t(v) = 115*v**3 + 2*v**2 - 9*v - 2. Let d be t(3). Suppose 24*k - 5546 = d. Is 24 a factor of k?
True
Suppose 5*x - 3*j + 4*j + 17 = 0, 0 = -j - 2. Let m be ((-1)/x)/(9/(-27)). Is 30 a factor of 76 - 3/(1 - (1 + m))?
False
Suppose 564 = 2*v + l + 134, 4*v + 4*l - 872 = 0. Does 6 divide v?
False
Suppose -9*c + 5*f = -6*c - 52, 0 = -4*c - f + 54. Is (156/c)/((-66)/(-308)) a multiple of 4?
True
Is (13 - 12)*529 - 8 a multiple of 2?
False
Let r = 7729 + -2827. Is 57 a factor of r?
True
Let t(a) = -5*a**2 + 14*a + 2 - 1 + 0 + 23*a**2. Let o be t(3). Let w = o - 107. Is 12 a factor of w?
False
Suppose -3*c - 1837 = 3*i - 160, 3*i = -c - 1671. Let x = i + 1042. Is x a multiple of 9?
True
Let v(b) be the third derivative of b**9/60480 - b**8/20160 - b**6/90 - 2*b**5/15 - 17*b**2. Let i(q) be the third derivative of v(q). Is 4 a factor of i(3)?
False
Let k be -4 - ((-63)/(-3))/((-12)/8). Suppose k*g - 11*g = 9. Is g/(-12) + (2319/12 - 5) a multiple of 27?
True
Let w = 68 + -66. Suppose w*j + 952 = 3*a, -1864 = 3*j + j + 4*a. Is (j/75*-6)/((-2)/(-5)) a multiple of 9?
False
Let t(s) be the second derivative of -13*s**3 - 43*s**2 + s - 27. Is t(-12) a multiple of 48?
False
Let m be ((-351)/(-36) - 9) + 579/(-4). Let y = m - -484. Is 44 a factor of y?
False
Let j(x) = 49*x - 2. Let s be (-552)/(-23)*(-2 + 3). Is 33 a factor of j(s)?
False
Is 247 a factor of (-13)/26*(-20266)/(-1)*-1?
False
Suppose 2*m + 10365 = 2*h - 3865, -2*m = 4*h - 28490. Is h a multiple of 8?
True
Let a(j) = 8*j - 12. Let s(h) = -h**2 + 8*h + 27. Let n be s(10). Let m be a(n). Suppose 0 = -c - c + m. Is 2 a factor of c?
True
Let h = -84 + 110. Is ((-254)/4)/(h/(-156)) a multiple of 34?
False
Suppose 8*w - 6 = 6*w. Suppose u = -1 - w. Is u/(-6) - (4256/(-12))/8 a multiple of 15?
True
Let a be 3*(0 + (-20)/12). Let t be (-5 + 1)*(-4 - a)*-2. Let z(n) = n**2 - 2*n + 10. Does 29 divide z(t)?
True
Let b(y) be the first derivative of 12 + 3*y + 4*y**2 + 7/3*y**3. Is b(-4) a multiple of 24?
False
Let f(s) = s**2 + 46*s - 5825. Is f(-110) a multiple of 45?
True
Let g = -40 + 48. Suppose g = n + 4. Suppose 0 = -n*y + 9 + 23. Is 2 a factor of y?
True
Let l be (102/18 + -6)*-21. Suppose 840 = 11*n - l*n. Is 14 a factor of n?
True
Let u = -4425 + -388. Does 14 divide (-11 - (-80)/7) + u/(-7)?
False
Suppose r - 4*r + 12 = 0. Suppose 4*i - 2*q = 12, r*i + 4*q - 3*q = 24. Suppose -6*n + 5*n - 8 = -2*c, 4*n + 17 = i*c. Is c a multiple of 2?
False
Let p(m) = 3*m**3 - 9*m**2 - 3*m + 1. Let n be p(3). Does 39 divide 2/n - (-29694)/56?
False
Does 194 divide (-378743)/(-12) + (-233)/(-2796)?
False
Let i(w) = -w**3 - 6*w**2 - 5*w + 15. Let f be i(-4). Suppose -40 = -3*q + 2*l + 1, q - 4*l + f = 0. Is 5 a factor of q?
False
Suppose 380 = -2*b + 6*b. Let q = b + -87. Suppose q*x = 3*x + 450. Is x a multiple of 15?
True
Suppose 0 = -5*a + 15, -2*a + 9 = -c - a. Let r(n) = 9*n + 71. Is r(c) a multiple of 2?
False
Suppose j = -2*y + 1384, -2*y = -4*j + 2*y + 5488. Does 32 divide j?
True
Suppose -36656 = -49*m + 10286. Suppose -966*p + 2912 = -m*p. Is 26 a factor of p?
True
Let z(c) = -c**2 + 151*c - 2742. Is z(54) a multiple of 13?
True
Suppose -1346 = 6*b + 1972. Let o = -371 - b. Does 26 divide o?
True
Let g(h) = h**2 - 7*h - 7. Let o be g(7). Let a = -1 - o. Suppose 0 = a*d - d - 145. Is 10 a factor of d?
False
Let n(o) = -o**2 - 12*o + 17. Let f be 2*(-4)/((-40)/(-65)). Let d be n(f). Suppose -4*q = 5*u - q - 24, -d*q + 24 = 4*u. Is u even?
False
Let r(d) = -450*d + 5832. Is 14 a factor of r(11)?
True
Suppose 3820 = -26*x + 31*x. Let c = x - 339. Is c a multiple of 17?
True
Suppose 76*q - 2726 = 6242. Let u = 26 - 16. Suppose k + k - q = -j, 0 = 5*j + u. Is k a multiple of 15?
True
Suppose 273*z - 239111 = 87257 + 31262. Does 5 divide z?
True
Let r = -6126 + 19611. Is 81 a factor of r?
False
Let d be (15 - 15) + 3/(6/4). Suppose 0 = 3*z - d*z. Suppose 