e x(9)?
True
Suppose 37*u - 61062 = 208890. Is 24 a factor of u?
True
Suppose 15*z = -k + 10*z + 11, 3*z = k - 27. Suppose 0 = m - 13 - k. Does 11 divide m?
False
Let b be -5 - (9/(18/(-356)) + 6). Suppose i = -q + b, 3*q + 4*i = 432 + 66. Does 17 divide q?
True
Let j(c) = c**2 + 2*c - 53. Let b be j(-9). Is -1 - (b + -3 + -83) a multiple of 16?
False
Let u(q) = 20*q - 109. Let c be u(6). Suppose 876 = c*f - 7*f. Is 35 a factor of f?
False
Is 89 a factor of (0 - 36312/30)*-10*4/16?
True
Let h be 6/(-14) - (657/(-63) + 4). Is (-2 - 1)*(2 + (-1588)/h) a multiple of 11?
False
Let h(t) = -t + 2. Let j be h(-2). Suppose -3*m - m - j*c + 1160 = 0, -5*c = -4*m + 1133. Is m a multiple of 42?
False
Suppose -f = 4*u - 17, 4*u + 2*f - 8 = 6. Suppose -z = -u*g - 343, 4*z - 674 - 773 = 5*g. Does 20 divide z?
False
Let z(o) = -3 - 6 + 55 - 9*o. Let a be z(5). Is 6 a factor of -79*(a - (-2)/(-1))?
False
Let v(m) = 7400*m**3 + 10*m**2 - 17*m + 8. Does 81 divide v(1)?
False
Suppose 4*c = 4*t + 44, 3*c + c + 4*t = 60. Let d(s) = -7*s**2 + 7*s - 8 + c - 4 + s**3. Does 5 divide d(6)?
False
Let f(s) = -2*s**3 - s**2 - 1. Let v(t) = 3*t**3 - 3*t**2 - 8*t - 15. Let o(l) = 3*f(l) + v(l). Is 11 a factor of o(-4)?
True
Let k be -9*(-5)/(25/(-5)). Let u = k - 21. Let i = 70 + u. Does 8 divide i?
True
Let z(u) = -u**2 + u - 1. Suppose 15 = -5*d + 5*a, 3*d - 2*a + 3 = -1. Let v(p) = 3*p**2 + 5*p + 17. Let j(w) = d*z(w) + v(w). Is 12 a factor of j(-8)?
False
Let x(y) = 10*y**3 - 2*y**2 + 5*y - 14. Let h be x(2). Suppose 58*c + 7840 = h*c. Does 95 divide c?
False
Let b(m) = -2 + 33*m - 12*m + 24*m - 701*m. Let l be b(-1). Suppose -4*r = -l - 38. Is 24 a factor of r?
False
Let n(m) = m - 1. Let s(w) = 60*w - 2. Let u(h) = 2*n(h) - s(h). Let r be u(-1). Let i = 152 - r. Does 22 divide i?
False
Let u = 11508 + -3884. Does 88 divide u?
False
Suppose -13*j + 18*j = -2*v + 6878, -4*v = 3*j - 13770. Is v a multiple of 4?
True
Let d(o) = o**3 - 13*o**2 - 14*o - 290. Is 29 a factor of d(32)?
False
Let l(i) = -i**3 + 22*i**2 + 110*i - 113. Is l(-17) a multiple of 75?
False
Let k(y) = -y**2 - 10*y + 61. Let s be k(-14). Is (s/2)/((-9)/(-774)) a multiple of 8?
False
Suppose 10*c - 21*c = 4*c - 36645. Is c a multiple of 95?
False
Does 30 divide (-2)/(-27) - 42652514/(-6291)?
True
Let l be (284/(-16))/(3/(-12)). Let o = l + -69. Is 6 a factor of (-4 + (1*-14)/o)*-2?
False
Suppose 4*m = 3*a - 1159, 2*a + 1161 = 5*a - 3*m. Does 27 divide (1 - a)*2/(-8)?
False
Suppose 0 = -8*v - 66 - 6. Let y(p) = -2*p**3 - 14*p**2 - 11*p - 37. Does 10 divide y(v)?
False
Suppose 0 = -14*m + 2*m + 10332. Let q = m + -24. Is 27 a factor of q?
True
Suppose 4*a + 0 = -3*o + 3, 0 = -3*o + 5*a + 30. Suppose 3*c - v - 315 = -104, -o*c + 349 = -3*v. Is 3 a factor of c/4 - (0 - (-6)/(-24))?
True
Suppose -14 = -x + 4*j, -5*x + 5*j + 23 = -2. Suppose 5*g - x*f = 318, 0 = g - 2*f + 10 - 72. Does 3 divide g?
False
Let a be (-33)/(-6)*-2*1. Let b(p) = 17*p + 118. Let h(u) = 5*u + 40. Let d(r) = -2*b(r) + 7*h(r). Does 5 divide d(a)?
False
Let c(z) = -z**3 - 5*z**2 + 59*z + 2. Let w be c(-12). Suppose w*x - 292*x - 10500 = 0. Is x a multiple of 10?
True
Suppose -3*o - 2*a - 1 = 0, -2*o - 4*a + 7 = 13. Does 18 divide (-9*(0 - o))/(3/34)?
False
Let l be 2284/14 + -3 - (-5)/(-35). Suppose -l = r + 110. Does 10 divide r/(-2) - (-5 + 9)?
False
Let p = 2845 - 1945. Suppose -4*c - 4*a = -728, -p = -0*c - 5*c - 3*a. Is c a multiple of 4?
False
Let l be 1/5 + 2/(-10). Suppose 5*j - 5*s - 20 = l, 6*j + s = 10*j - 16. Is 12 a factor of (-79)/4*(-4 - j)?
False
Suppose -21*p + 3*z = -16*p - 43095, -43090 = -5*p + 4*z. Is p a multiple of 80?
False
Let h = -616 - -608. Let z(q) = -151*q - 88. Does 35 divide z(h)?
True
Let y(r) = -13*r - 53. Let x be y(-5). Does 3 divide 20804/168 + 2/x?
False
Suppose -32*z + 39 = -19*z. Suppose 4*v - z*l = l + 3844, 2*v - 1922 = 3*l. Is 32 a factor of v?
False
Is 10 a factor of (-19759 - -3)/(-4) + 1 + -9?
False
Let p be (4/(-3))/(3/(-9)). Suppose p*d + d - o = 70, 0 = -4*d - 3*o + 75. Suppose -3*s + d = 0, 5*k - 4*s - 1276 = k. Is 12 a factor of k?
True
Let f(s) = 34*s**2 + 155*s + 19. Is 53 a factor of f(6)?
True
Suppose 0 = 4*x + b - 10079, -6*x + 10076 = -2*x + 4*b. Is x a multiple of 8?
True
Let y be (-20)/190 + (-160)/(-76). Suppose -4*b = -y*w + 620, -4*w + 4*b + 1243 = -b. Does 12 divide w?
True
Suppose 33 = -46*k + 217. Suppose 2*s - 861 = 3*d, -1724 = -k*s + 4*d - 0*d. Is s a multiple of 54?
True
Let n = 152 - 149. Is (-100)/(-3)*(-5 - (-8 - n)) a multiple of 25?
True
Let t(d) be the first derivative of d**4/4 - 2*d**3 - 4*d**2 - 7*d - 21. Let s be t(7). Is 48 a factor of 2*302/(-6)*21/s?
False
Suppose -13 = -m - 2*c, 2*m + 2 = 2*c - 2. Suppose 838 = m*s - 608. Is 44 a factor of s?
False
Suppose -13194 = -5*j - 4336 + 13912. Is 11 a factor of j?
True
Is 26 a factor of 16/(-320)*-20 + (1 - -492)?
True
Let o(b) = 8*b**2 - 3. Let j(p) = 2*p**2 - 7*p - 1. Let x be j(5). Let q be (-1)/((x/4)/7). Is 5 a factor of o(q)?
False
Suppose 4*w + 22*m = 27*m + 82834, -4 = 2*m. Does 21 divide w?
True
Let b(l) = 75*l**2 - 24*l - 82. Let u be b(-4). Let n = u - 829. Does 41 divide n?
False
Is (101595/195)/(7/(-4) + 2) a multiple of 18?
False
Suppose 0 = -4*c - 5*p - 2031, -705 - 1841 = 5*c - p. Let g = -294 - c. Is g a multiple of 25?
False
Let j be 96/(-52) - ((-16)/26)/(-4). Let t be (-3)/j + (-215)/10. Let r = t + 116. Does 11 divide r?
False
Let q(h) = -25*h - 304. Let i be q(-4). Suppose -2*s = 3*s - 1520. Let y = s + i. Is y a multiple of 10?
True
Suppose 207*d = 5*g + 209*d - 12226, -17110 = -7*g - 2*d. Is g a multiple of 69?
False
Let j be (((-35)/10 + 4)*-8)/1. Is 6 a factor of j/(-3)*((5 - 3) + 4)?
False
Is 15 a factor of (2920/(-1095))/((-7445)/7443 - -1)?
False
Does 8 divide -24*(-116 + -6 + 0)?
True
Let d(r) = -r - 2. Let c(o) = -9*o + 13. Let m(b) = 2*c(b) + 6*d(b). Does 27 divide m(-12)?
False
Let x = -17490 + 24781. Does 20 divide x?
False
Suppose 2*h - z = 4007, -5*h - 4022 = -7*h - 2*z. Does 95 divide h?
False
Let v = -104 - -108. Suppose -2*c = 4*q + 288, 0 = -v*c + 5*q - 141 - 448. Let n = c - -272. Is 5 a factor of n?
False
Let b = 9 + -18. Let i = 4443 + -4473. Does 26 divide (i/b + 1)*6?
True
Let g be 595/(-34)*180/(-14). Suppose -5*c - 28 = 3*u, -5*c + 4 + 4 = -3*u. Is (-3)/2 - g/u a multiple of 6?
True
Let x(n) = -4*n**3 + 5*n**2 + 7*n + 18. Let q be x(5). Let o be (-18)/27*(2 - q). Is (o/(-32))/((-2)/(-24)) a multiple of 8?
False
Suppose 102*c - 225*c = -98*c - 11250. Is c a multiple of 150?
True
Let p = 39188 + -26994. Is 182 a factor of p?
True
Let n be (-5)/20*-19 + 6/(-8). Suppose n*p - 225 = -3*l, 5*p - 3*l = -l + 310. Is 12 a factor of p?
True
Suppose -4*s + 2*o = -70, 4*s - 79 = 4*o - 11. Is 2 a factor of (s/12)/(2/20)?
False
Suppose 3*a - 3 = -3*p + 6, -4*p + 17 = 5*a. Suppose 5*f + a*g - 4985 = 0, 5*g = 4*f + g - 3980. Is f a multiple of 12?
True
Suppose 203 = -3*i - 82. Let r = 122 + i. Is r a multiple of 12?
False
Suppose 3*c = -4*v + 129387, -252*c + 5*v - 86279 = -254*c. Does 159 divide c?
False
Let o(i) = -143*i**3 - 17*i + 6. Is 14 a factor of o(-4)?
True
Let c(i) = 17*i**2 - 3*i - 16. Let z = 165 + -159. Is 25 a factor of c(z)?
False
Suppose -3*z = m - 46443, -16*m + 12*m = -4*z + 61956. Is 14 a factor of z?
False
Let y = -2750 + 7301. Does 35 divide y?
False
Let i = -59 + 67. Let t be ((-2)/i)/(2/(-152)). Suppose -25*w + t*w = -1440. Does 40 divide w?
True
Suppose 5*q = 2*j + 10, 4*q + 3*j - 10 = -2. Suppose -3*m + 2982 = -4*h, 3*m - 2982 = -h - q*h. Is 2/(-11) - m/(-22) a multiple of 9?
True
Suppose 15 = 4*b - 2*k + k, -2*b = -4*k - 18. Suppose -350 = -2*g - 2*y, -123 - 575 = -4*g - b*y. Does 50 divide g?
False
Let z(s) = 3528*s - 2418. Is z(3) a multiple of 34?
False
Let b(p) = 263*p - 2364. Let i be b(9). Let f(w) = 4*w**3 - w**2 - w - 4. Let r be f(4). Suppose 0 = 2*o - o - 3*t - r, 0 = i*t + 9. Is 27 a factor of o?
False
Let a(k) = 112*k + 7. Let u(g) = -2*g + 1. Let n(j) = -a(j) - 6*u(j). Is 7 a factor of n(-3)?
True
Suppose o + 6*f - 43 = 0, 23*o - 42 = 21*o - f. Is o a multiple of 4?
False
Let f(h) = -h**2 - 11*h - 24. Let u be f(-8). Does 16 divide 1 + 77 - (u - (-16)/(-8))?
True
Let l(r) = r**2 + 25*r + 2. Let f be l(-25). Suppose f*c - 1677 + 293 = 0. S