. Does 112 divide u?
True
Suppose 24 = 8*z + 40. Is 18 a factor of (z + 29)*(-56)/(-12)?
True
Suppose 5*h - 4*h = 5*g + 816, 4*h - 3312 = -4*g. Suppose h = 8*w + 3418. Is 9 a factor of (w/16)/((-6)/16)?
True
Suppose 1 - 13 = -4*x. Let h be (6018/(-2360) - (-6)/(-5))/((-2)/(-8)). Does 25 divide (-355)/h*(x + 3)?
False
Does 49 divide 12/15*1/(-2) + (-278508)/(-20)?
False
Let a = -86 - -80. Let r be (a - (-46)/7) + (-1548)/14. Let v = 218 + r. Is v a multiple of 16?
False
Suppose -11*g = 4208 - 1568. Is 64 a factor of ((-7344)/170)/(9/g)?
True
Let z = -50 + 138. Suppose 6*y = z - 58. Suppose -154 + 437 = 2*f - y*w, w - 577 = -4*f. Is f a multiple of 24?
True
Let o(k) = -2*k + 40. Let m = -12 - -32. Let f be o(m). Is 9/((f + 1)/7) a multiple of 21?
True
Is 4 a factor of (((-10080)/(-12))/(-12))/((-4)/14)?
False
Let d(w) = -w**3 + w - 3. Let c be d(-2). Suppose 8*t + 12 = 5*t, -5*t - 389 = -c*u. Is 41 a factor of u?
True
Suppose 0 = -14*t + 113180 + 88714. Does 21 divide t?
False
Is (-7914078)/(-972) + (4 - 292/72) a multiple of 69?
True
Let p(j) = -23*j - 116. Suppose 3*g - 4*b = -16, -3*g = 27*b - 23*b + 56. Is p(g) even?
True
Suppose -5*w + 14 = -21. Let o = 90 - -467. Suppose w*x = 353 + o. Is x a multiple of 13?
True
Let t = -103 - -152. Suppose -v = 5*r + 73, -5*v = -3*r - 3*v - t. Does 9 divide ((-72)/r)/(2/15)?
True
Suppose 4*y = -3*y. Let z be y + 15/5 - (-6)/(-2). Suppose -3*n - 1 + 178 = z. Does 9 divide n?
False
Suppose 5*h - 3*s - 297 = 0, 3*h - 5*s - 16 = 159. Let o = h + -42. Suppose -o*z = -22*z + 112. Is z a multiple of 15?
False
Let c = 205 + -409. Does 19 divide c/16*(-1)/(-3)*-16?
False
Suppose 69*c = -62*c + 136*c - 26845. Does 9 divide c?
False
Let o(i) = 139*i**2 + 9*i + 17. Let r(u) = 92*u**2 + 6*u + 11. Let f(y) = -5*o(y) + 8*r(y). Suppose -w - 11 = -9. Is f(w) a multiple of 19?
False
Let v(c) = -478*c - 61. Let p be v(-3). Suppose -p*y = -1366*y - 1519. Is y a multiple of 2?
False
Suppose 180 = 19*u - 4*u. Suppose u - 88 = -2*s. Does 4 divide s?
False
Let y(w) = 2*w**3 - 31*w**2 + 178*w + 81. Is y(23) a multiple of 24?
False
Suppose -189*h - 51641 = -192*h - 5*b, -2*h + 3*b = -34459. Is h a multiple of 64?
False
Let y = -291 + 295. Suppose -100 = -u - 2*g, 16*g = -y*u + 12*g + 396. Does 4 divide u?
False
Let c(x) = 101*x**2 - 2*x - 2. Let g be c(2). Suppose 1336 = 33*f - 66*f + 41*f. Let y = g - f. Is 15 a factor of y?
False
Suppose -252*x = -217*x - 110110. Is x a multiple of 11?
True
Let u = -1259 - -2095. Is u a multiple of 11?
True
Suppose -58*p = -60*p + 98. Is 14 a factor of 7/p + (-5385)/(-35)?
True
Suppose 0 = -2*k - 419 + 11023. Suppose -k = -41*c + 10196. Does 63 divide c?
True
Suppose -623 = -3*s + 3*p + 4582, -5*s = 6*p - 8730. Is 12 a factor of s?
True
Suppose -184 = -5*b + 2*t, 3*b + 3*t + t - 100 = 0. Is 44 a factor of 12532/b - -4 - 9/81?
True
Let v = 347 + -337. Does 4 divide (-9746)/(-143) + v/(-65)?
True
Let k = -144 - -2022. Does 52 divide k?
False
Let l(p) = 5*p**2 - 113*p + 1437. Is l(89) a multiple of 5?
True
Does 36 divide (22860 - -3) + 204/51*(-1)/4?
False
Suppose 200*l - 222260 = -8860. Is 3 a factor of l?
False
Suppose 756*i = 766*i - 8470. Suppose i = l - 6*x + 3*x, 0 = 3*l - x - 2573. Is 11 a factor of l?
False
Suppose -23*h - 1184666 = -130*h + 33*h. Does 11 divide h?
False
Does 51 divide 15*96/120 + 23814?
False
Does 9 divide (-438)/((-180)/(-16) + -12)?
False
Does 50 divide -7*274/(-1) + (-235)/47?
False
Let p(u) = 44*u + 132. Let a be p(30). Suppose -4*o + a - 444 = 0. Does 12 divide o?
True
Suppose 398*g + 5850 = 399*g. Is 13 a factor of g?
True
Suppose -119*a - 2964 = -117*a. Let w = a + 2199. Does 76 divide w?
False
Let w(c) = -4*c - 114. Let v be w(-28). Is -2 + 143 + 5 + v a multiple of 18?
True
Does 110 divide (13680/(-54))/(0 - 4/132)?
True
Let x be 3/5*(0 + 50 + -5). Suppose -31*b = -x*b + 72. Let m(s) = -s + 24. Is m(b) a multiple of 25?
False
Suppose -5*c + c + 16 = -4*z, -2*z = 3*c + 8. Suppose 3*g = -0*w + 5*w + 30, 4*g + 5*w - 75 = c. Suppose g*d + 2*d = 5712. Does 21 divide d?
True
Let x be (-12 + 12 + 3)*246/(-2). Let p = -215 - x. Is 7 a factor of p?
True
Suppose -l - 3*x = 16, -x = 5*l - 4*x + 80. Let h be (132/l)/(2 + 70/(-32)). Suppose 0 = -41*b + h*b - 63. Is b a multiple of 21?
True
Suppose -103*n + 1597641 = -1090453. Is 33 a factor of n?
False
Suppose 3 = 4*w - 105. Let j = 77 - w. Let f = 175 - j. Is f a multiple of 8?
False
Let p(q) be the first derivative of q**3/3 - 4*q**2 + 32. Is 14 a factor of p(-6)?
True
Suppose c - 3*o = 14, 2*o = -2*c + 1 - 5. Suppose 3*f - c*x - 90 = 0, 5*x = -f - 3*f + 97. Is 2544/f + 4/28 a multiple of 13?
True
Let d be -1*20/24*-2*12. Suppose 4*k = -12, 2*u = k - 7 + d. Suppose u*t - 13 = -0*j - j, 39 = 3*j - 5*t. Does 4 divide j?
False
Let a(o) = -216*o**3 - 16*o**2 - 35*o - 6. Is a(-2) a multiple of 14?
False
Let b(y) = -2*y**3 - 18*y**2 + 4*y + 39. Let l be b(-9). Suppose -l*s + 736 = -v + 2*v, -494 = -2*s + v. Is 97 a factor of s?
False
Suppose 5*c + 2*m - 320 = 0, c + m + 4*m = 41. Let f = c + -71. Is 9 a factor of (-20)/f + -6 + 63?
False
Let s be (-14 + 0)/(1*2/(-3)). Let p = -5 + s. Is (-3)/((-60)/p)*35 a multiple of 7?
True
Let y(w) = 12*w**2 - 8*w - 37. Let r(a) = -25*a**2 + 13*a + 74. Let v(o) = 2*r(o) + 5*y(o). Is 21 a factor of v(-4)?
False
Let j(r) = 2*r**3 - 69*r**2 - 33*r + 42. Let y be j(35). Suppose -41*x + y = -40*x. Does 12 divide x?
False
Suppose -44*z + 18704 = -36*z. Is z a multiple of 14?
True
Suppose -3*v + 133 = -23. Is 16 a factor of 6344/18 + v/(-117)?
True
Suppose 0 = 38*v + 220*v - 10874184. Is v a multiple of 257?
True
Let o(i) = -40*i**2 - 3*i - 3. Let x be o(2). Let l = x + 232. Is 9 a factor of l?
True
Let s(l) = -348*l - 690. Is 28 a factor of s(-10)?
False
Does 26 divide ((-427)/6 - (-16)/96)*-78?
True
Let g be 3/2 - 598354/(-164). Suppose -3*a - a + 3680 = 2*t, 2*a = 2*t - g. Is t a multiple of 30?
True
Let h(u) = -33 - 87 - 7*u + 2 + 2*u**2 + 11. Does 17 divide h(15)?
True
Let b = -3 - -5. Suppose -4*r = 3*v - 119, b*r - 52 = 2*v - 6*v. Is 8 a factor of r?
True
Does 160 divide ((-30)/(-12)*(-3)/(-6))/(20/60960)?
False
Let m = -10796 + 24046. Is 25 a factor of m?
True
Suppose y - 101 + 19 = n, 3*n + 165 = 2*y. Suppose 0 = -4*k - 17 + y. Suppose k = 4*z, v - z - 165 = -0*z. Is 11 a factor of v?
False
Is 2471 + 0 - (-36)/(12 - 3) a multiple of 11?
True
Let q = 202 + 715. Does 70 divide q?
False
Let h(k) = 704*k**2 + 2*k + 8. Let r(s) = 235*s**2 + s + 3. Let z(f) = 3*h(f) - 8*r(f). Let i be (2/(-8))/((-17)/4 - -4). Does 46 divide z(i)?
True
Suppose -197*z - 129259 + 1437117 = -692283. Is z a multiple of 71?
True
Let k = 18151 + -6627. Is k a multiple of 67?
True
Suppose -5*h + 65 = 3*t, 0*t - 4*t + 77 = -3*h. Suppose 17*p - t*p + 142 = l, -4*p + 2*l + 176 = 0. Is p a multiple of 23?
True
Let t = 169791 - 119937. Is t a multiple of 14?
True
Let k = 211 - -522. Let j = 1249 - k. Is 43 a factor of j?
True
Let j = 69 - -92. Suppose 3*l - 226 = j. Let b = -84 + l. Is b a multiple of 22?
False
Let y(z) = -5 + 26*z**2 + 0 + 5*z + 2. Let h(o) = o**3 - 58*o**2 + 51*o + 343. Let n be h(57). Is y(n) a multiple of 8?
False
Let p be 2*12/32 + 733/4. Suppose p + 0 = 2*j. Suppose 4*m = -4*c + j, 52 = 2*c - 3*m - m. Is 4 a factor of c?
True
Let p = -14 - -17. Suppose 5 + 14 = p*g + 2*f, 2*f = 2*g + 4. Suppose -2*w + g*w - 40 = 0. Does 8 divide w?
True
Suppose -24 = -4*i, 102*i - 106*i = 4*h - 19284. Does 15 divide h?
True
Let f = 14300 - 8638. Is f a multiple of 38?
True
Suppose 13*j = 8*j + 35, 4*j = -2*b + 94248. Is b a multiple of 35?
True
Let n be 0*(5 + (-18)/3) + -713. Let r = 974 + n. Is 29 a factor of r?
True
Suppose 13*u - 9*u = -25*u + 450399. Does 196 divide u?
False
Suppose 6*n = 2*n + 5*v + 108, n - 2 = -5*v. Suppose 9324 = 34*a - n*a. Does 32 divide a?
False
Let n = 771 + -443. Suppose -14*y + 9*y = -935. Suppose 5*q - y - n = 0. Does 13 divide q?
False
Suppose -2*o + 3*x - 1993 = 2*x, -o = -4*x + 1000. Is 50 a factor of 5 + -3 + o/(-2)?
True
Let o = -5079 + 7417. Is o a multiple of 58?
False
Let y be (-3 - -2)/(3/63 - 0). Let u = y - -76. Suppose 3*r + 0*l = -l + u, 4*l + 40 = r. Is 20 a factor of r?
True
Let q(r) = 11*r - 9. Let c be q(1). Suppose -m = 5*u - 277, 106 = 2*u - 0*u + c*m. Is 14 a fact