 y = 61 + o. Does 16 divide y?
False
Let f be (35/(-14))/(2/(-4)). Suppose -4*m = 3*p - 493, 0*p - f*p - 660 = -5*m. Suppose 139 = g + 4*t, 4*g - 4*t - 509 = m. Is 23 a factor of g?
False
Suppose 4 = 4*r, 2*v + 3*v - 338 = 2*r. Let h(k) = -7 + v*k + 74*k - 145*k. Is 3 a factor of h(-4)?
False
Suppose -8*p - 4*g - 38 = -3*p, g = p + 13. Is 18 a factor of (2*76 - 30/p) + -5?
False
Let x(m) = 72*m + 3. Let p be x(8). Suppose -4*s = 5*q - 693, -3*q + 5*s = q - p. Let t = q - 87. Is t a multiple of 54?
True
Suppose -2*s = -1269*m + 1270*m - 4547, -2*s = -3*m - 4543. Does 91 divide s?
False
Suppose -589 = 7*m + 111. Let f = -63 - m. Suppose 42*v - 880 = f*v. Is v a multiple of 11?
True
Let a(n) = -n**3 + 15*n**2 + 16*n - 3. Let x be a(16). Is 40 a factor of ((-24968)/(-64) - x) + (-1)/8?
False
Suppose -4*h - 9*h = 0. Suppose h = 11*b + 4*b - 6450. Is 10 a factor of b?
True
Let d(s) = 13*s + 31. Let m be d(-8). Let v be (-2)/(-4)*-2*-85. Let t = m + v. Does 3 divide t?
True
Let n = 729 + -1072. Let o = 691 + n. Is 29 a factor of o?
True
Let x(h) = h**2 - h - 6. Let l = 31 + -29. Suppose -w = l*w - 21. Is x(w) a multiple of 9?
True
Let w(k) = 17*k**2 - 8*k - 13. Let q be w(-4). Let y = -135 + q. Is y a multiple of 6?
True
Let b(x) = 101*x**2 + 11*x - 42. Let y be b(3). Suppose -1206 - y = -6*v. Is 12 a factor of v?
False
Suppose j + 3*b = 30589, 18*b + 91767 = 3*j + 15*b. Does 15 divide j?
False
Let y = -587 + 589. Suppose 5*w - 4322 = -2*i, -14*i + 10*i = y*w - 1732. Does 9 divide w?
True
Suppose 44 = -6*r + 4*r. Let p be ((-186)/(-8))/(9/24). Let s = p - r. Does 14 divide s?
True
Suppose 80265 = 5*c + h, -5*c + 43277 = -h - 36978. Is 50 a factor of c?
False
Let v(g) = 19*g + 11. Suppose 5*c - 4*u + 108 = 416, 0 = 3*u + 6. Let p be c/8 - 4/8. Is 24 a factor of v(p)?
True
Is 23 a factor of ((-399)/35 - -11)/(3/(-19755))?
False
Let c(y) = -y**2 - 30*y - 142. Let l be c(-7). Suppose -2*q + 22*o = l*o - 186, -3*o = 3*q - 264. Is q a multiple of 15?
True
Let n = -174 + 179. Suppose -3*o + k = -709, -n*o + 1215 = 18*k - 13*k. Is 37 a factor of o?
False
Suppose -18*i + 240 = -6*i. Suppose -i = -4*g + 32. Does 10 divide g?
False
Let t be (-12 + (-496)/(-40))/((-2)/3240). Let a = t + 1120. Is a a multiple of 8?
True
Suppose 0 = -406*c + 3564785 + 6038333 + 611030. Is 42 a factor of c?
True
Suppose 4*o + 20580 = 8*l, -8*o = -6*o + 10. Is 5 a factor of l?
True
Suppose -u + 13*u = -u + 124722. Does 78 divide u?
True
Let s = 22961 - 15646. Is s a multiple of 11?
True
Is 36 a factor of 8134 - -2*((6 + -3)/(-3))/(-1)?
True
Let x(u) = -u**3 + 3*u**2 - 11*u - 4. Let s(q) = q**2 + q. Let r(b) = 5*s(b) + x(b). Let v be r(7). Suppose -3*p + 540 = v*p. Is 18 a factor of p?
True
Let r = 135 - 943. Let b = -535 - r. Is b a multiple of 21?
True
Let a(w) = 2 - 3*w - 1 - 4 + 0 + 6*w**2. Does 4 divide a(-3)?
True
Suppose q + 25 = -5*s + 105, 0 = -2*q - s + 151. Is q a multiple of 5?
True
Let d(u) = -u + 58*u**2 - 9 + 0*u + 7 + 72*u**2 - 17. Is d(3) a multiple of 33?
False
Let o(u) = 5*u**2 - 106*u + 4486. Is 74 a factor of o(38)?
False
Let v = -16523 - -18307. Is v a multiple of 8?
True
Let t = -6816 - -22185. Is 141 a factor of t?
True
Suppose 3*d - 6 = 0, -44*d + 29111 = 3*x - 43*d. Is 25 a factor of x?
False
Suppose 5*i = 4*h - 182, -100 = -2*h - 21*i + 19*i. Is h a multiple of 6?
True
Suppose 4*n - 1396 = -5*f, -4*n + 2*f + f = -1428. Suppose -z - 4*p = -204, -4*p + 66 + n = 2*z. Does 12 divide z?
True
Suppose 19*c + 2*c = 37695. Suppose 5*u + 14*d = 9*d + c, 5*d = u - 389. Does 51 divide u?
False
Let s be 171/6 + 1/2. Let y(t) = 19 + 19 - 13*t - 12*t + s*t. Does 15 divide y(13)?
True
Let o(b) be the third derivative of -b**6/60 - 2*b**5/5 + 13*b**4/24 + 17*b**3/2 - 25*b**2 + 1. Does 5 divide o(-13)?
True
Suppose -36*u - 2*n + 522 = -35*u, -1044 = -2*u - 2*n. Does 72 divide u?
False
Let k = -19525 - -23037. Does 11 divide k?
False
Let t(r) = r**3 - 38*r**2 - 39*r - 90. Let n be t(39). Let g = n - -729. Is g a multiple of 44?
False
Let i = -1332 - -1920. Is 7 a factor of i?
True
Suppose -5*h = -2*y + 514 + 438, -3*y - 2*h = -1409. Suppose -569 = -5*z + y. Does 13 divide z?
True
Is 92 a factor of 2276571/363 + -23 + 12/(-22)?
False
Suppose -741 - 231 = -3*d. Let s = d - 94. Is 14 a factor of s?
False
Let j(h) = -4*h**2 + 181 + 9*h + 9*h**2 - 179 + 5*h. Let m be -3*(-3)/3*-1. Is j(m) a multiple of 2?
False
Suppose 5*n = -10, 3*m + 3*n + 4 = -2*n. Suppose -3*k - 4*c + 380 = -m*k, 3*c + 387 = k. Is 24 a factor of k?
True
Suppose -25*j + 8458 + 5342 = 0. Does 12 divide j?
True
Let c(y) = 122*y - 33. Let s(o) = -o**3 - 14*o**2 - 2*o - 25. Let m be s(-14). Is c(m) a multiple of 30?
False
Let g = -458 - -788. Suppose g = -27*o + 32*o. Is 8 a factor of o?
False
Suppose 2397 = 3*f + 963. Suppose -f - 566 = -4*b. Is b a multiple of 26?
False
Let z(o) = -327*o - 2034. Is z(-38) a multiple of 30?
False
Does 15 divide 19 + 4725/(-245) + -559*(-5)/7?
False
Does 7 divide ((-16)/22)/((-62)/341) + (0 - -305)?
False
Is 74 a factor of 477/212*(-888)/(-45)*(-10)/(-3)?
True
Let g(h) = 1545*h - 3130. Is g(9) a multiple of 9?
False
Let s(j) = 4*j**2 - 87 + 72 + 5*j**2 - 7*j. Is 18 a factor of s(-5)?
False
Suppose -17*c - 51 = -119. Does 37 divide (-37)/1*21*c/(-6)?
True
Suppose -2*q = 4*d - 270, 3*d + 3*q - 4*q = 215. Suppose -4*j = 5*k - 6*j - d, 5*j + 25 = 0. Suppose i = -0*i + k. Is 3 a factor of i?
True
Suppose -24*p = -27*p + 75492. Does 8 divide 4/10 - p/(-90)?
True
Suppose 2*u = -5*y - u + 793, 5*y - 787 = 3*u. Let m be (-1800)/130 + 4/(-26). Let x = m + y. Is 36 a factor of x?
True
Suppose 19 = -c - 2*p, 0 = -2*c - 43*p + 40*p - 33. Does 16 divide (c - 7)/(-1)*3?
True
Let z(j) = -10*j - 5. Let g be z(-2). Let d = g - -9. Is 15 a factor of (225/50)/(1/(d/1))?
False
Suppose 9899 = 10*q + 4233 - 7094. Is 8 a factor of q?
False
Suppose 3280 = 17*l - 9*l. Let m = l + -242. Is m a multiple of 8?
True
Let o(r) = -2*r**3 - 2*r**2 + 6*r. Let n be o(2). Is (n/(-20) + -1)/((-2)/220) a multiple of 4?
True
Let t be (26/(-1))/(36/738). Let b = 907 + t. Is b a multiple of 11?
True
Let i(o) = 3*o - 15. Let k be i(9). Let s be ((-3)/(-6) - 2)*k. Does 14 divide s/((6/56)/(-1))?
True
Let z = -3 + 8. Suppose -3*p - p + 542 = z*w, 4*w - 3*p - 415 = 0. Does 23 divide w?
False
Suppose 0*z - 16 = -4*z + 2*l, 3*l = 0. Suppose x + 9 = 2*x - 3*r, z*r + 14 = 2*x. Suppose -x*m + 11*m = 1792. Does 28 divide m?
True
Let k = 1712 + -664. Let h = k - 426. Is h a multiple of 18?
False
Suppose 0*p - 17*p - 39*p = -106848. Is 18 a factor of p?
True
Let f = -263 - -77. Let j = 557 - f. Is 30 a factor of j?
False
Suppose -20 = 8*d - 28. Does 38 divide 9 + -13 + d + 471?
False
Let h(r) = 40*r - 66*r - 45 + 38*r. Is 5 a factor of h(6)?
False
Let a(r) = -33*r + 134. Let k be a(4). Suppose 0 = -s - k*w + 6*w + 528, 3*s - 1629 = -3*w. Is s a multiple of 90?
True
Let q = 1565 - 2324. Does 9 divide ((q/(-2))/11)/(2/4)?
False
Let u(o) = -6*o**2 - 210 + 424 - 8*o + 2*o**3 - 217. Is 7 a factor of u(7)?
False
Suppose 7*z - 49*z + 65327 = -27955. Is 28 a factor of z?
False
Let y = 2007 + -3792. Is (6/(-21))/(5/y) a multiple of 34?
True
Suppose -4*c + 4098 = -l, 0 = -2*c - l + 1428 + 618. Is 74 a factor of c?
False
Does 21 divide (257 - -1)/(2/7 + (-12298)/50050)?
False
Let n be -1*9*(1 - -4). Suppose 0 = -22*k + 15*k + 525. Let c = n + k. Does 7 divide c?
False
Let i(f) = -f**2 + 6*f + 9. Let g be i(6). Suppose 4 = -4*h, -v - 2*h + 4*h = -3. Is (v + -5)/(g/(-36)) a multiple of 6?
False
Let w be (-8)/((-8)/(-3) + -2). Let k(z) = 2*z**2 + 26*z + 9. Let c be k(w). Let s = c + 46. Is 11 a factor of s?
False
Suppose 4*g = -x + 89, x - 4*g - 421 = -4*x. Suppose -7*j + 295 - x = 0. Is j a multiple of 30?
True
Let t = 30 - 10. Suppose 25*g - 85 = t*g. Suppose 13*y = g*y - 120. Is 15 a factor of y?
True
Let c be (864/(-10))/(4/(-20)). Is 27 a factor of ((-35)/70)/((-2)/c)?
True
Let m = 2025 + 406. Is 34 a factor of m?
False
Suppose 329930 - 176698 + 460989 = 71*k. Does 211 divide k?
True
Suppose -3*d - 129071 = -5*b, -33*b + 5*d = -37*b + 103316. Does 8 divide b?
False
Let y be (-150)/(-4)*(4/(-6) + 2). Suppose -2 = -8*g - y. Is 44 a factor of (-1659)/g*(-28)/(-49)?
False
Let b = 14 + -11. Let f(l) = -55 + 82 + 22*l + 18*l**2 + 0*l**2 - l**b.