3*o**5/20 + 7*o**4/12 - 5*o**3/3 + 12*o**2. Let m be c(-7). Is 10 a factor of (324/45)/((-1)/m)?
False
Let c be (2 - 1 - -1) + -2. Suppose -3*i + 8 = 2, c = -3*k - 5*i + 25. Suppose k*r = 2*q + 1194, q - 4*q - 231 = -r. Is 60 a factor of r?
True
Let y = 1 - -24. Suppose 5*t - 13 = -2*d + 22, -2*t + y = 3*d. Suppose 3*f - 3*v + 36 = d*f, -2*f + v + 52 = 0. Does 8 divide f?
True
Suppose -963*d + 3815601 - 7682133 = -67232895. Does 270 divide d?
False
Suppose -65*f + 60*f = 5*u - 15, 3*f + 5*u = 9. Suppose -5*c + 1331 = f*o, 0 = 2*o - o + 5*c - 457. Is 19 a factor of o?
True
Let v(i) = 36*i + 15. Let g be v(-5). Let l = g - -202. Is l a multiple of 37?
True
Does 8 divide 6/4*(-11020)/(-174)?
False
Let l(t) = -603*t + 6392. Does 7 divide l(-13)?
True
Does 31 divide -2*(6 - (-55610)/(-20))?
True
Suppose 13116 = 6*l + 2466. Is 64 a factor of l?
False
Suppose 678 = -9*s - 339. Let d = 15 - s. Is 31 a factor of d?
False
Suppose -5*q = -b - 73, -q - 4*b = -5*q + 68. Suppose -2*x + q = -4*h, h - 2 = x + 2*h. Does 24 divide x/7 + 5202/42?
False
Suppose -3*o + 2*z + 182 = 0, -3*o - 3*z + 24 = -138. Let r = o - -332. Is 15 a factor of r?
True
Suppose 0 = 2*m - m - 3. Suppose 3*p - 3 - m = 0. Is (-164)/(-1) - p/(-6)*0 a multiple of 32?
False
Suppose u + 3*u - 40 = 0. Suppose 0*w = 2*w - u. Suppose 10 = -w*b, 2*i - 97 = b - 35. Is i a multiple of 30?
True
Suppose 33*i - 457593 - 1116903 = -121*i. Is i a multiple of 6?
True
Let w(h) = h**3 + 30*h**2 + 28*h + 16. Let m be w(-28). Suppose 23*b = 3*b + m. Does 5 divide b?
True
Let x(s) = -s**3 - 3*s**2 + 2*s + 8. Let l be x(-3). Suppose -l*a + 168 = -36. Is a a multiple of 6?
True
Is 90 a factor of ((-82)/(-18))/(17/(-4692))*-3?
False
Suppose x + 3*z - 1011 = 0, -27 + 42 = 3*z. Suppose 4*t + 1570 = 3*a + 5516, -t - 4*a = -x. Does 52 divide t?
True
Let g be -2 - 120/(-21) - 2/(-7). Let k be 15/12 + (-1)/g. Let f = 53 + k. Is f a multiple of 35?
False
Suppose -31 = 5*a + 5*z - z, 0 = -3*a + 4*z + 7. Is 17 a factor of (-76)/a*(-1377)/(-108)?
True
Let p be (-15)/10*-2*-1 + 7. Suppose -2*b + 1188 = p*b. Is 11 a factor of b?
True
Is 165 a factor of 59/(11151/5635770) + (-56)/(-18) + -3?
False
Let w be (-12)/(-18) - (-730)/(-6). Is 3 a factor of (w + 13)/(3/(-2))?
True
Suppose 0 = -4*i + 16 - 28. Is i/9 - (2 + 57/(-9)) a multiple of 4?
True
Suppose 2 = -4*n + 2*n. Is 29 a factor of n/4 + 7/((-196)/(-8519))?
False
Let u(h) = 3*h + 62. Let v = -473 + 454. Is 3 a factor of u(v)?
False
Suppose 3150 = -44*y + 54*y. Let w = 547 - y. Is w a multiple of 29?
True
Let i be (-1)/(1/(-1224)*2). Suppose -48*t + 136 = -31*t. Suppose t*m - 11*m = -i. Is m a multiple of 51?
True
Suppose -2*z + 191 = 3*i, -99 = -z - 5*i - 0*i. Suppose w + j = z, -376 = -4*w + 4*j - 0*j. Is w a multiple of 4?
False
Does 30 divide 72/((-19280)/1930 + 10)?
False
Let w be (8/(-10))/((-824)/120 + 7). Is (21 - -2) + w + 0 a multiple of 17?
True
Let q(a) = a**3 + 30*a**2 - 36*a - 39. Let b(u) = -u - 59. Let o be b(-28). Is q(o) a multiple of 6?
False
Suppose 5*g - 4 = -i + 4, -14 = -4*g + 3*i. Suppose -g*m = 3*k - 2304, -2*m + 2071 = -2*k - 213. Does 22 divide m/42 + 8/(-28)?
False
Suppose -5*w - 25 = 0, 8*o - 4*o - 4064 = 4*w. Is 15 a factor of 36/(-6) - o/(3 - 6)?
False
Let p(d) = -2 + 0 + 228*d**2 + 21 + 11*d. Does 11 divide p(-2)?
False
Let t = -26849 + 45381. Is 226 a factor of t?
True
Let k = -5145 - -11412. Does 93 divide k?
False
Let w = 11793 + 4555. Is w a multiple of 8?
False
Let u(x) = x. Let n(r) = 11*r**2 + 6*r + 3. Let v(g) = n(g) - 3*u(g). Let a be v(-1). Let d(j) = 16*j + 4. Is 12 a factor of d(a)?
True
Let s(w) = 1 + 26*w + w**3 + 4*w**3 + 11 - 6*w**3 + 9*w + 34*w**2. Is s(35) a multiple of 4?
True
Let l(u) = 4 - 2*u - 3*u - 2. Let g = 334 + -339. Is 12 a factor of l(g)?
False
Suppose 128*f + 74*f + 55*f - 481104 = 0. Is f a multiple of 72?
True
Let y = 5298 + 2288. Is 12 a factor of y?
False
Let w(l) = 5*l**2 - 20*l - 6. Let f(u) = 4*u**2 - 19*u - 6. Let y(x) = 6*f(x) - 5*w(x). Let k be y(-14). Is k/3 - -113 - (-3 - -2) a multiple of 13?
False
Suppose -159*r + 210*r - 86514 - 282981 = 0. Is 7 a factor of r?
True
Suppose -5*m - 4*t + 8760 = 0, -6308 + 1060 = -3*m - 4*t. Does 3 divide m?
False
Suppose -15*w = -4*w - 157938. Suppose 17*l = w - 4328. Does 39 divide l?
False
Let g(q) = q**2 - 1. Let f = 46 + -48. Let u(v) = -2*v**2 + v + 7. Let p(s) = f*u(s) - 2*g(s). Is p(5) a multiple of 14?
True
Suppose 3*u = -5*a + 7393, 5*u - 10438 - 1822 = 4*a. Does 54 divide u?
False
Let d be 15/(-6) - (-2)/(-4). Let o(i) = i**2 - 6*i - 3. Let y(g) = 3*g**2 - 11*g - 6. Let a(h) = -7*o(h) + 4*y(h). Is 16 a factor of a(d)?
True
Let j be (6 + -7)/(1/6*-2). Let x(q) = -q**3 + 4*q**2 + q - 7. Let i be x(j). Suppose 4*a = i + 95. Is 4 a factor of a?
False
Let b(o) = 10*o**3 - 2*o**2 - o + 2. Let k be b(1). Does 20 divide (k + 396)/5 - (0 - -1)?
True
Let h be 6/24 + (-8169)/(-28). Let k = 573 - h. Is k a multiple of 24?
False
Let b = 47 - 11. Suppose -b*z + 1323 = -27*z. Is 21 a factor of z?
True
Suppose -h = v - 2681 - 2128, -2*h = 3*v - 14432. Does 83 divide v?
True
Suppose 0 = -0*i - 2*i + 12. Suppose 5*g - 2*q - 31 = 0, -2*g - 3*q - 29 = -i*g. Suppose x + g*x = 102. Does 4 divide x?
False
Let f(b) = b**2 - 36*b - 72. Let p be f(38). Suppose -3*n + 3*t - 162 = -4*n, -p*t = 5*n - 854. Does 2 divide n?
True
Let b(c) = -2 - 8 - c**3 + 22 + 6 + 9*c - 3*c**2. Does 66 divide b(-7)?
False
Let h = 43 - 43. Let d be 94/((h + -2 + 0)/3). Let v = d + 255. Is 16 a factor of v?
False
Let b(l) be the first derivative of -85*l**2/2 - 218*l - 259. Does 2 divide b(-6)?
True
Let f = -86 + 98. Let b = -7 + f. Suppose b*j = -3*r - 2*r + 620, 3*r + j = 366. Is r a multiple of 11?
True
Suppose 3*n - 23187 = -3*q, -14*n + 16*n + 5*q - 15461 = 0. Is n a multiple of 12?
True
Suppose 0 = 5*i + 2*o - 39280, -28*i + 29*i - 5*o - 7829 = 0. Is 119 a factor of i?
True
Let o(l) = 5*l - 1. Let t be o(-16). Suppose 2*v + 5*z = -66, v - 3*z = z - 7. Let c = v - t. Does 6 divide c?
False
Let o be 7 + (2/1 - 1). Suppose o*u - 5*u = 162. Is 6 a factor of u?
True
Let v(u) = 207*u - 269*u + 22 + 213*u + 135*u. Does 23 divide v(2)?
False
Let o = 8610 - 5125. Does 17 divide o?
True
Suppose -15*f + 825 = 3*l - 18*f, 2*f = 3*l - 823. Suppose q = -2*i + 282, q + 4*i - l = -i. Does 12 divide q?
True
Suppose y = -5*r - 2, 14 = 6*y - 2*y - 2*r. Let h(z) = 17*z + y*z + 19 - 4*z. Does 33 divide h(5)?
True
Suppose -36*o + h - 29 = -38*o, 3*o - 42 = -h. Suppose 3*d = o*d - 6130. Is 17 a factor of d?
False
Let y(z) = -z**3 + 4*z**2 + 30. Suppose 5*p - 3*b - 34 = 0, b = 2*p + 4*b - 1. Is 4 a factor of y(p)?
False
Let n = -8209 + 12032. Does 70 divide n?
False
Let p be 4/(-12)*5*-3. Suppose p*w - 342 - 538 = 0. Let j = w - 49. Is 29 a factor of j?
False
Let i(k) = -k + 12. Let v be i(-9). Let b = v + -139. Let j = 123 + b. Is 5 a factor of j?
True
Suppose 9*r - 4942 - 60173 = 0. Is r a multiple of 27?
False
Suppose -4*x = -2*f - 28, 0*f + 5*f - x = -97. Let d = -6 - f. Suppose -2*n + 30 + d = 0. Does 9 divide n?
False
Let m(h) = h**3 + 10*h**2 - 4*h - 11. Suppose -26*f + 60 = -21*f. Suppose f*q + 8 = 11*q. Does 22 divide m(q)?
False
Suppose -41*m = -3*z - 38*m + 219225, m - 365405 = -5*z. Is z a multiple of 145?
True
Let p = -96 + 104. Suppose -52 = p*d - 188. Suppose 23*m - 390 = d*m. Is m a multiple of 6?
False
Let w(p) = 54*p - 19. Suppose -2*v + o = -20, 2*v + v - 4*o = 35. Let q be w(v). Let x = q + -291. Is x a multiple of 14?
False
Let r(d) = 94*d - 9202. Does 19 divide r(165)?
True
Is 914/6 + 10 - (0 - (-2)/6) a multiple of 9?
True
Let c = 38 - 33. Let y(u) = 2 - 8 - 23*u + 7 + c. Does 9 divide y(-2)?
False
Suppose 4*d - 28 = -2*m, -d + 2*d - 4*m = -2. Let j be 2/(d/5)*3. Suppose j*r + n - 284 = 0, -2*r + 3*n - 292 = -7*r. Is r a multiple of 8?
True
Let t be ((-2369)/1)/((-4)/16*4). Let g = t - 1652. Suppose -527 = 4*f - 2*n - 1477, 3*n = -3*f + g. Is 17 a factor of f?
True
Let r(p) = p**3 + 12*p**2 - 3*p + 27. Suppose 3*x = -116 + 26. Let z = x + 18. Is 21 a factor of r(z)?
True
Suppose 0 = 31*d - 42*d + 275. Does 5 divide (7 + -9)*(-1 - d)?
False
Let m(p) = p**3 - 2*p**2 - 17*p + 5. Let a be m(6). Suppose -a = 4*f - 367. Suppose 15 = -h + f. Is 7 a factor of h?
False
Let d = 370 - 209. Is 5 a facto