8. Suppose -l*n - 76 = -10*n. Does 19 divide n?
True
Suppose 5*y - 9364 = -2*f, 15*y - 19*y = -4*f - 7452. Is y a multiple of 55?
True
Does 24 divide (1 + -3)*-15*2772/55?
True
Suppose 0 = -5*v - 2*q + 86948, 3*v = -85*q + 84*q + 52168. Is v a multiple of 42?
True
Let k(j) = -j + 24. Let l be k(0). Let o be 14*(-12)/l*1*-3. Let b = o + 184. Is b a multiple of 19?
False
Suppose 68*v - 47*v = 47*v - 1077284. Is v a multiple of 20?
False
Suppose 40*v = -2*k + 45*v + 39155, 8*v - 58686 = -3*k. Is 9 a factor of k?
False
Suppose 399*q = 394*q - 10, q = o - 20. Is o a multiple of 3?
True
Suppose y = -0*y + 6. Suppose -2*x + 20 - y = -k, 5*k = 0. Suppose -x*a + 586 + 233 = 0. Is 13 a factor of a?
True
Let h = 14976 - 11443. Is h a multiple of 27?
False
Suppose -2*j + 1888 = 2*z, z - 6*z - 1902 = -2*j. Is j a multiple of 77?
False
Suppose 3*i - 12419 - 6491 = -2*t, 5*t + 12594 = 2*i. Does 81 divide i?
False
Suppose 2*u - 1927 = -3*b + 994, 3*u = 2*b + 4388. Suppose 0 = -2*n + 2*g + u, -3*n + 2573 = g + 384. Does 73 divide n?
True
Suppose -15*c + 1667470 = 52*c + 3*c. Is 109 a factor of c?
False
Suppose 732 = 5*j - l, l - 107 - 183 = -2*j. Suppose 2*d - j = 742. Suppose c = 5*c - d. Does 25 divide c?
False
Suppose -2*p + 2*c + 4834 = 0, 9*c = -4*p + 12*c + 9668. Let t = -1316 + p. Does 38 divide t?
False
Let z(n) = 3*n**2 + 145*n + 686. Does 11 divide z(-77)?
False
Suppose -5*d + 3*l + 55 = 0, -5*l + 4*l = 5. Let n be (-2 + 74/d)/((-8)/(-32)). Suppose -79 = -3*z + n. Is z a multiple of 12?
True
Let s be (-4)/((60/215)/(-6)). Let v = 152 - s. Suppose v = -7*m + 8*m. Is m a multiple of 22?
True
Suppose 1455 = -8*l + 5167. Is 16 a factor of l?
True
Let q(p) = 15*p**2 + 107*p - 1165. Is q(16) a multiple of 19?
False
Let i(g) = g + 10. Let c be i(-8). Let d be 8 + 328/(-12)*-3. Suppose -c*l - n + d = n, 3*l - 136 = -2*n. Is l a multiple of 26?
False
Suppose -6 = 3*w, 3*z - w + 83 = 22. Does 8 divide (z + 9)*4/(-30)*125?
True
Is (60/150)/((-5)/(-15525)) a multiple of 138?
True
Suppose 25*d = 14*d + 16*d - 36935. Is 89 a factor of d?
True
Let l = 303 - 310. Let v(b) = -36*b - 117. Is 31 a factor of v(l)?
False
Let p = -128 - -273. Suppose -86 = -q + p. Is 7 a factor of q?
True
Suppose -9*s + 4*s - 9580 = 0. Is 4 a factor of 1/((-16)/s) - (-4)/16?
True
Is ((-4)/(-3))/(-3 + (-801340)/100170 + 11) a multiple of 42?
True
Suppose 0*f + f - 2*n = 406, f - n = 408. Suppose f - 2932 = -2*d. Does 13 divide d?
True
Let l(z) = -z**3 - 8*z**2 - 6*z - 13. Let w = 2 + -11. Let r be l(w). Suppose 37 = -2*p + 2*v + 123, 3*p + 4*v - r = 0. Is p a multiple of 14?
True
Suppose -2*j + 11946 = 23*m - 20*m, 4*m - 2*j = 15942. Does 3 divide m?
True
Let c(i) = 2*i - 27. Let p be c(16). Suppose -r + 7 = -p*m, -r - r + 9 = -5*m. Suppose -3*v - a = r*a - 123, 5 = a. Is 9 a factor of v?
True
Let o(m) = 3*m**3 + m**2 + 3*m + 544. Is o(0) a multiple of 32?
True
Let y = 5861 + 8112. Does 89 divide y?
True
Let n be (1*15/25)/((-4)/100). Does 15 divide (n/2 + 0)/((-26)/1716)?
True
Suppose -4*o + 20 = 0, 5*s + 0*o = o - 1640. Let c = s - -636. Is 38 a factor of c?
False
Is (2 - 4) + 7708 - (-16 + 22) a multiple of 35?
True
Let i = -22 + 174. Suppose j - 44 = 4*t + i, 0 = -2*j - 5*t + 392. Is 28 a factor of j?
True
Suppose 0 = 2*y + 6*p - 217 - 3775, 7998 = 4*y - 2*p. Does 3 divide y?
False
Suppose -4*l + 2126 = 2*s, 1008 = 2*s + 5*l - 1114. Suppose -11*w = 5*g - 8*w - s, 3 = -w. Does 19 divide g?
False
Suppose 53*i - 6570 = -5*p + 52*i, 5272 = 4*p + 4*i. Does 19 divide p?
False
Suppose 4*s + 98*s - 289273 = 118319. Is s a multiple of 222?
True
Let n be (-1 - (-4)/5) + (-5610)/(-50). Let l = 177 - n. Does 7 divide l?
False
Suppose 19*i - 9 = 48. Suppose -t = -0*r - i*r - 752, 2*r - 3845 = -5*t. Is 80 a factor of t?
False
Does 35 divide -4*(3 - 77175/36)?
False
Suppose -4*i = -4*t - 12243 + 113491, -22*i = -27*i. Is t a multiple of 163?
False
Let a(n) = -129*n - 2388. Does 3 divide a(-23)?
True
Let s(f) = 12*f**2 - 5*f - 2. Let o be s(7). Suppose -4*h + 2*r = 3*r - o, 0 = -3*h - 2*r + 417. Suppose u + 46 = 3*u - 4*b, b - h = -5*u. Does 7 divide u?
False
Let n(f) = -20*f + 743. Let k(q) = -10*q + 373. Let o(c) = -7*k(c) + 4*n(c). Does 26 divide o(0)?
False
Is 19 a factor of (((-16)/152)/1 + (-25582)/(-76))*26?
False
Suppose 4*a = 5*v + 15, 12 = -9*a + 4*a - 4*v. Suppose 9*g - 24*g + 11505 = a. Is 59 a factor of g?
True
Let m be (-19488)/(-51) - (-4)/(-34). Let p = m + -278. Does 3 divide p?
False
Let s = 4288 - -30958. Is s a multiple of 125?
False
Suppose -3*q = j + 2643, 2*j = -5*q - 0*q - 4404. Let i = q - -1506. Does 48 divide i?
True
Suppose 5*a - 1237 + 6707 = 0. Suppose -27*q - 1331 + 116 = 0. Does 6 divide a/(-18) + (-1 - 55/q)?
False
Suppose f + 705 = 6*f. Let d = f + -90. Let l = d - 31. Is 8 a factor of l?
False
Let o(w) = -228*w**2 - 21*w - 160. Let g be o(-17). Is 40 a factor of g/(-175) - (-7)/(-5)?
False
Let y = 1971 - 915. Suppose 3*j + y = 15*j. Is 25 a factor of j?
False
Let o(v) = 23*v - 203. Let j be o(9). Is j/(-2)*418/(-4) a multiple of 7?
False
Let r = -6737 - -37097. Does 20 divide r?
True
Let v be (3 + (-53)/3)/(8/(-12)). Suppose 0 = 2*a + 5*n - 42, -a + 2*n = 1 - v. Is (-1 - a/15)/((-6)/420) a multiple of 24?
True
Let j(i) = i**2 + 21*i - 17. Let b(f) be the third derivative of 5*f**4/24 - 2*f**3/3 - 14*f**2. Let g(z) = -26*b(z) + 6*j(z). Does 4 divide g(3)?
True
Suppose -4*b = -5*i + 497, 3*i + 4*b - 5*b = 294. Let y = -23 + i. Is 15 a factor of y?
False
Let l(g) = -g**2 - 42*g - 21. Is 6 a factor of l(-41)?
False
Suppose -3*r - 3*q = -89 - 49, -5*r = q - 222. Let h = 53 - r. Suppose -j = -2*o - 43, h*j - 4*j = o + 215. Is 8 a factor of j?
False
Let k(z) = 68*z**2 + 3*z + 4. Let i be k(-1). Let m be 389/(-3) - (-46)/i. Let x = -93 - m. Does 13 divide x?
False
Is (-396)/((-11)/44*(-6)/(-13)) a multiple of 24?
True
Let d = -252 + 230. Let c(a) = a**3 + 23*a**2 + 21*a - 3. Is c(d) a multiple of 2?
False
Let z = 434 + -246. Is z a multiple of 10?
False
Let u(p) = -p**3 + 120*p**2 - 275*p - 1836. Does 3 divide u(117)?
True
Let p be (-8)/(-4)*-1*(-63)/14. Suppose p*d = -1630 + 7570. Is d a multiple of 74?
False
Let z(h) = 146*h + 108. Does 138 divide z(18)?
False
Let r(n) = 6*n**2 - 60*n - 14. Let z be r(14). Suppose 3*i + 4*o = z, 2*i - o - 4*o - 207 = 0. Is i a multiple of 9?
False
Let g(x) = x**3 + 92*x**2 + 179*x - 1502. Is g(-84) a multiple of 69?
False
Is (1517/(-2))/(40/(-160)) a multiple of 39?
False
Let k(g) = -9*g + 111. Suppose 39 + 51 = -5*n. Is 13 a factor of k(n)?
True
Suppose -3*h + 249024 = l, h - 83008 = 7*l - 9*l. Does 30 divide h?
False
Let o(s) = -s**2 - 23*s - 17. Let h be o(-22). Let j(q) = -h*q - 2 + 18*q**2 + 10*q - 9*q. Is j(-1) a multiple of 2?
True
Suppose -328850 = -30*a - 19730. Is a a multiple of 46?
True
Suppose -15*p + 24 - 159 = 0. Is 66 a factor of (-27)/18*7332/p?
False
Is 5 a factor of 240/114 + -2 - 1297680/(-190)?
True
Suppose 5*s + 7195 - 17145 = 0. Suppose 0 = k + 4*a - 378 - 2, -2*a + s = 5*k. Is 16 a factor of k?
True
Let n(f) = 148*f - 2031. Is 69 a factor of n(61)?
False
Suppose -3*u - 30 + 165 = -3*h, 4*h = -2*u + 84. Suppose 2*d - 616 = u. Does 41 divide (-2)/(2 + (-7)/(1148/d))?
True
Let q(d) = 2*d**2 + 7*d - 4. Suppose 3*a + 16 = -5*m, 0 = -a - 3 + 6. Let h be (-57)/(-12) + (m/(-4) - 1). Does 27 divide q(h)?
True
Suppose 4*o - 1655*v = -1660*v + 64559, -2*o - 3*v + 32279 = 0. Is o a multiple of 25?
False
Let r = 6385 + 35037. Is r a multiple of 12?
False
Let j be 0/((-4 - -3)*-1). Suppose 12*z - 9*z - 15 = j. Let u(d) = 3*d**2 - 4*d - 12. Does 10 divide u(z)?
False
Let l be ((-1)/(-1 + 4))/(71/(-2130)). Suppose -1476 = -l*c - 116. Does 34 divide c?
True
Suppose -8*s = 26*s - 2*s - 51840. Is s a multiple of 90?
True
Let u(i) = 16*i**2 + 7*i - 3. Let k be u(5). Let r(b) = -b**2 - 32*b + 279. Let v be r(7). Suppose -v*o = -15*o + k. Is o a multiple of 4?
True
Let u = 44142 - 27550. Is 111 a factor of u?
False
Suppose 68*t - 140 = 66*t. Let r = 134 - t. Is 21 a factor of r?
False
Suppose 3*a + 3*a + a = 0. Suppose a = 2*x - 12*s + 7*s - 187, -5*x + 459 = -4*s. Does 2 divide x?
False
Let y = 5330 - 3218. Does 64 divide y?
True
Let n(a) = 69*a**2 + 2102*a + 53. Is 90 a factor of n(-37)?
True
Suppose -3*o - 6507 = -2*f, 6509 = 2*f