2/10)/(z/850)?
False
Suppose 0 = 5*d + 3509 + 9121. Is 45 a factor of 7/(-105)*d + (-4)/10?
False
Let b be 0 + 16/4 + -4. Suppose -f = -5*g + 18, b*f = -f - g + 6. Let c(k) = 7*k**3 - 2*k**2 + k. Is 8 a factor of c(f)?
False
Suppose -5*z + 2*m - 10 = -0*m, 2*z - 17 = 5*m. Let o be z/(-6) + 56*6/9. Suppose -g + o = -4*v + 7*v, -v - 222 = -5*g. Is g a multiple of 11?
True
Let g be (-1652)/16 - 1/(-4). Let d = 274 + g. Is d a multiple of 4?
False
Let f(h) = h + 14. Let k be f(-11). Suppose 3*a - 2*x + 42 - 63 = 0, 5*x = 5*a - 35. Suppose -720 = -k*m - a*m. Is m a multiple of 12?
True
Let o = 59622 + -38787. Is 29 a factor of o?
False
Let s = 27750 + -18078. Is 124 a factor of s?
True
Let v(b) = -b**3 + 5*b**2 - 7*b + 42. Let x be v(6). Let z(d) = -8*d - 236. Is z(x) a multiple of 30?
False
Is 10 a factor of (-7 - (-3 + 4))/(2/(-605))?
True
Does 14 divide 64393*((-6072)/(-7623) - 8/(-132))?
False
Suppose 5*a = -3 - 2. Does 41 divide ((-6)/a)/(((-12)/(-866))/3)?
False
Let n(r) = -15*r - 133. Let p(b) = -4*b - 33. Let j(h) = 2*n(h) - 9*p(h). Let x(o) = -19*o - 91. Let w(m) = 8*j(m) + 3*x(m). Does 29 divide w(-17)?
False
Suppose -6*b = -1 - 17. Suppose -b*i + 525 = 3*l, 0 = 5*l - l + 5*i - 699. Let z = -96 + l. Is 11 a factor of z?
False
Suppose -6 = -3*s - 5*q, -q - 8 = -4*s - 0*q. Suppose -3*n + 3 = -s*n. Suppose 0 = -n*f - 7*f + 880. Is f a multiple of 11?
True
Suppose -6*y + 10*y + 228 = 0. Let w be (0 + 16 - 1)*(-418)/y. Suppose 4*v + v = 3*h - 80, w = 3*h + v. Does 5 divide h?
True
Let k be 6/(-18) + (-676)/24*4. Let a = 417 + k. Does 15 divide a?
False
Let n(g) = -g**3 - 2*g**2 - 4*g - 5. Let j be n(0). Let h(z) = -2*z - 6. Let r be h(j). Suppose -r*x + 8*x - 162 = -3*a, -4*x - 302 = -5*a. Does 21 divide a?
False
Let s(m) = -m**3 + 10*m**2 - 10*m + 4. Let v be s(9). Is (14335/141)/(v/(-6)) a multiple of 33?
False
Suppose q + 3*o - 12 - 9 = 0, 0 = -3*q - 3*o + 69. Suppose -8*w + q = -5*w. Is (-1)/(w/(-20) + (-31)/(-90)) a multiple of 3?
True
Suppose -10323 - 11101 = -52*b. Is 6 a factor of b?
False
Is 143 a factor of 82432/36 - (120/27)/(-20)?
False
Let k be (136/(-12))/((-4)/390). Suppose -k = -5*u + 3*h, -h = u - 2*h - 219. Let n = -94 + u. Is n a multiple of 29?
False
Let d(x) be the second derivative of 1/4*x**4 + 5/2*x**2 - 13*x + 0 + 7/6*x**3. Is 5 a factor of d(-4)?
True
Let q(n) = -n**2 + 4*n + 7. Let i be q(5). Let w(z) = 0 - 4 - 15*z + 0*z**2 - z**i. Is 10 a factor of w(-11)?
True
Suppose -42*f + 43*f + 35 = 0. Let t be 0*(2/14 + f/(-98)). Let j = 6 - t. Is j a multiple of 6?
True
Let c(i) = -45*i**3 + 3*i**2 - 33*i + 18. Does 18 divide c(-9)?
False
Suppose 4701*y - 23561 = 4708*y - 67031. Is y a multiple of 11?
False
Let d be 6*5*130/75. Suppose 0 = h + 17 - d. Is 5 a factor of h?
True
Does 9 divide (-11112)/(-16)*10*6/45 - 5?
False
Suppose -17*j + 4971 = -21*j - b, -j = -5*b + 1227. Let d = -154 - j. Does 24 divide d?
False
Let w = -135 - -298. Let i = 82 + w. Is 11 a factor of i?
False
Suppose -r - 1621*y + 1618*y = -52812, 0 = 2*r - y - 105666. Does 351 divide r?
False
Let o be (5 - 8) + 8/1. Suppose -o*v - 4*c - c = 1200, 0 = -2*c. Is (16/20)/((-4)/v) a multiple of 11?
False
Suppose -15*a + 72 = -333. Suppose 10*r - a = 243. Is r a multiple of 9?
True
Let r(i) = 85*i**3 - 7*i**2 - 3*i + 22. Does 21 divide r(3)?
False
Let n = 110 + -105. Suppose 0 = n*b - 2*u - 3494, -3526 = -4*b + u - 729. Does 14 divide b?
True
Suppose 0 = 23*i - 21881 - 8801. Is i a multiple of 46?
True
Suppose 0 = 11*f - 15*f + 32. Let z be f - (8 + -2) - (0 - -1). Let r(i) = 64*i**3 - i**2 + 1. Is 8 a factor of r(z)?
True
Let t = -2657 - -3900. Does 3 divide t?
False
Let m be (-3 - -6) + 1 + -1. Suppose 0 = -4*c + m*o - 4*o + 16, 0 = -3*c + 5*o + 35. Is 4 a factor of (-30)/50 - (-118)/c?
False
Suppose 17*v - 6*v = 1870. Let z = v - 138. Does 24 divide z?
False
Suppose -38*q + 2154 = -32*q. Suppose q - 26 = 3*m. Is 6 a factor of m?
False
Let p(l) = 23*l**2 + 80*l + 3. Let a = 285 + -292. Is p(a) a multiple of 37?
False
Let y = 826 - 598. Is 30 a factor of 60/(4/y*6)?
True
Suppose -2*l = j - 52, -5*l + 3*j = -7*l + 48. Suppose -l = -5*w + 3. Is 3 a factor of w?
True
Let n be 12/(-14) + 129144/(-56). Let u = n + 4197. Is u a multiple of 15?
True
Suppose 0 = -5*g - 49 - 26. Let w(i) = -2*i + 46. Let p be w(g). Suppose 6*j - p - 122 = 0. Is 11 a factor of j?
True
Let r be (-1 + -9)*(-4)/8*1. Suppose 0*n + 3*v = -5*n + 1209, 5*n = -r*v + 1205. Is n a multiple of 27?
True
Let b = 10324 - 7972. Does 28 divide b?
True
Suppose 26 = -39*o + 41*o. Suppose -370 = -o*u + 3*u. Suppose -u + 2 = -m. Does 7 divide m?
True
Suppose -121340 = 53*w - 534899. Is w a multiple of 17?
True
Suppose y = 13 - 5. Let u(g) = -5*g**2 + 38*g + 105. Let m(j) = 2*j**2 - 15*j - 43. Let z(r) = 12*m(r) + 5*u(r). Is 4 a factor of z(y)?
False
Suppose 4*i - 7*l + 3*l = 2508, 4*i = -4*l + 2548. Suppose 5*u - 58 = i. Is u a multiple of 15?
False
Does 7 divide (-11178)/(-12) - 8/16?
True
Let h(y) = -9*y + 0 + 5*y - y**2 + 2 + y. Let q be h(0). Suppose b + 2*c = -3*c + 58, -q*c = -5*b + 182. Is 3 a factor of b?
False
Suppose 0 = -3*b + 5*n - 417 + 819, -n + 268 = 2*b. Is b a multiple of 9?
False
Let k be 7*-10 + (1 + -1)/(-4). Let f be ((-7)/(k/24))/((-6)/(-20)). Suppose 0 + 360 = f*i. Is 45 a factor of i?
True
Suppose -5*k - 4*v + 2912 - 42 = 0, -3*k = -4*v - 1722. Suppose k = 3*z - 368. Is z a multiple of 5?
False
Let q(i) = -7 - i - 45*i**2 - 3*i + 60*i**2. Let s be q(5). Suppose 5*x - s = 117. Is 35 a factor of x?
False
Let p be 1*(-15)/(-40) + 74/16. Suppose -p*b - 4*y = 177, 0 = 2*b - 2*y - 3 + 63. Let m = 13 - b. Is m a multiple of 46?
True
Suppose 0 = -3*q + 5*s + 1251, -9*q + 6*q = s - 1269. Suppose -l + q = -325. Does 47 divide l?
False
Let a = -247 - -398. Suppose 5*k - 2*d = 809, 3*d + d + a = k. Does 27 divide k?
False
Let g be 86*((-20)/8 + 3). Suppose l - 242 - g = 0. Does 16 divide l?
False
Let w = 308 + -305. Is 9 a factor of ((-861)/(-9) - -7)*w?
False
Suppose -4*l = 12, -31 = -2*r + 5*l - 10. Let z(p) = 8*p**3 - 3*p**2 + 2*p - 6. Let j be z(r). Let b = j - 46. Is b a multiple of 9?
False
Let k be 13632/56 + 20/35. Let c = k - 209. Does 11 divide c?
False
Suppose 0 = -x - 8 + 11. Let n be (17 - 11)/((9/52)/x). Suppose -180 = -2*q + n. Is 33 a factor of q?
False
Let o(v) be the second derivative of 5*v**4/12 - 11*v**3/6 + 37*v**2/2 - 26*v. Let m(y) be the first derivative of o(y). Is 18 a factor of m(7)?
False
Suppose -109*v = -235*v + 108108. Is 15 a factor of v?
False
Suppose -26*a + 43 = -165. Does 28 divide (2/a)/((-8)/(-1568))?
False
Let l = 342 + -360. Is 1*4*((-315)/l - -2) a multiple of 13?
True
Suppose -3*r + 2*m - 1665 = -19160, 3*m = -2*r + 11646. Does 29 divide r?
True
Let o(s) = -s**2 + 14*s + 11. Let d be o(8). Suppose 3*z - 62 = -4*p - 2*z, 0 = -5*p + 3*z + d. Let j(l) = l**3 - 12*l**2 - 10*l + 17. Does 15 divide j(p)?
False
Let s be (((-16)/10)/1)/((-4)/120). Let o be (s - 0)/((-1)/(-43)). Suppose 0 = g - 13*g + o. Does 43 divide g?
True
Let z(j) = 337*j + 42. Let m be z(2). Let l = m - 360. Does 38 divide l?
False
Suppose -1107*x = -1119*x + 70560. Is x a multiple of 120?
True
Let o(n) = n**3 - 35*n**2 - 32*n + 58. Let r be o(36). Suppose -210*d = -r*d - 880. Is 10 a factor of d?
True
Let h be (-7)/1*(-324)/42. Let j = h + -15. Suppose -j - 25 = -8*t. Is 3 a factor of t?
False
Does 27 divide ((-725)/125 + (4 - 0))*-615?
True
Let q(v) = 6*v - 2*v + 16 - 18. Let j be q(1). Is ((-23)/(-4) - 4)/(j/56) a multiple of 22?
False
Suppose 2*v = t - 43171, 3*t + 6*v - 11*v = 129507. Is 14 a factor of t?
False
Let d = 597 + -599. Let k(s) = -81*s**3 - 3*s**2 + 3*s + 2. Is 11 a factor of k(d)?
False
Let t(o) = o**3 + 13*o**2 - 8*o + 27. Let z be t(-10). Suppose z = -4*r + 1407. Let k = -150 + r. Does 4 divide k?
True
Let a(g) be the third derivative of g**6/120 - g**5/30 - g**4/3 + 2*g**3/3 - 30*g**2 - 7. Suppose -v + 0*v = -5. Is a(v) a multiple of 13?
True
Suppose -4*d - 897 = r, 3*d + 150 = 2*r - 509. Let q = d + 763. Is q a multiple of 32?
False
Let v(t) = 7*t**2 + 199*t - 290. Is v(-42) a multiple of 13?
False
Suppose -1258 = 4*g - 5*l, 5*l = -g + 9*l - 309. Let i = g + 965. Is 54 a factor of i?
True
Let r(t) = 20*t**3 - 8*t**2 - 5*t - 7. Let f be r(-3). Let a = 517 + -869