se -5*w - 106 = -m - 0*m, -8 = r*w. Is 16 a factor of m?
True
Let c(p) = 3*p**2 + 63*p + 44. Let k(i) = i**2 + i - 1. Let z(l) = -c(l) + 2*k(l). Does 10 divide z(-27)?
False
Suppose 3*y - 3 = 9. Does 18 divide (66/12 - y)*38?
False
Let u(s) = 151*s - 4678. Is u(92) a multiple of 34?
True
Let z(m) = 21*m + 39*m**2 - 93 - 81*m**2 + 44*m**2. Does 7 divide z(13)?
True
Let n = 93 + -99. Let g be 16/n - 6/(2 + 16). Let v = g - -9. Does 6 divide v?
True
Let f be 178/(-14) - (-2)/(-84)*12. Let k(w) = 4*w**2 + 22*w + 62. Does 9 divide k(f)?
False
Let b(x) = 1401*x - 4 + 2*x**2 - 1404*x + 11*x**2 - 6. Is b(3) a multiple of 7?
True
Let l = 151 - 145. Let h(b) = b**3 - 5*b**2 - 2*b + 8. Let f be h(5). Is 18 a factor of f/l + (-1720)/(-12)?
False
Suppose 8361 + 7571 = 5*j + 3*y, 5*j - 4*y = 15904. Is j a multiple of 95?
False
Suppose -3*q + 2*w + 60 = w, -93 = -5*q + 4*w. Let m be q/6 - (14/(-4) + 3). Suppose -m*b = -3*c - 692, 2*c - 672 = -0*b - 4*b. Is b a multiple of 34?
True
Let h be ((-12)/9 + 1)/((-1)/6). Let y be (20/(-30))/(h/(-9)). Suppose -y*p - 28 + 82 = 0. Does 7 divide p?
False
Let i be -11*5/5 - 4. Let m(z) = -z - 39. Let k be m(0). Let v = i - k. Is 24 a factor of v?
True
Suppose -68*h - 24579 = -275522 - 72533. Does 78 divide h?
False
Let j(m) = 2*m**2 - 11*m - 2. Let w be 3 + (-4)/(2/(-1)). Let h be j(w). Let u(p) = -20*p - 5. Does 36 divide u(h)?
False
Let h(x) = 31 + 39*x**2 + 13*x - 183 - 23*x - 19*x - x**3. Is 7 a factor of h(38)?
False
Suppose -201*p + 202*p + 225 = o, -5*o = 3*p + 667. Let a be 4/8 + 1454/4. Let c = p + a. Is c a multiple of 33?
False
Let r = 439 + -434. Suppose 2*n = -8, -r*i + 5*n - 7*n + 1252 = 0. Is 28 a factor of i?
True
Let h = -42 - -43. Does 66 divide 1375/11 - (h + -8)?
True
Suppose -12*i - 25*i + 39627 = 0. Is i a multiple of 116?
False
Let f be (-1 + (-1 - 3))/((-2)/4). Suppose -i - f + 50 = 0. Is i a multiple of 14?
False
Let j = 80 + -81. Let z(b) = -932*b**3 + b**2 - b - 1. Let i be z(j). Suppose -4*s = -i - 127. Is 53 a factor of s?
True
Suppose 24*o = -389667 + 1818531. Is o a multiple of 244?
True
Is (-454822)/(-152) - 2/8 a multiple of 8?
True
Let b = 2240 - 1155. Suppose -w = x + 770, 3*x + w + 2300 = -0*w. Let m = x + b. Is m a multiple of 30?
False
Suppose 8*y - 4*y + 3*n = -14, 0 = -4*y + 5*n + 2. Let j be 5 + (-3)/1 + 38. Does 39 divide (-20)/j + (-391)/y?
True
Let f(n) = 2*n - 43. Let t be f(19). Let c = -17 - t. Let d(u) = -u**3 - 13*u**2 - 16*u - 10. Is d(c) a multiple of 19?
True
Suppose 3*r = -3*r + 12. Let d = 3 + r. Suppose d*c - 69 = 91. Does 9 divide c?
False
Suppose 0 = -0*v - 2*v - 8. Let l(d) = -3*d**3 + 9*d**2 + 5*d - 1. Let n(q) = -8*q**3 + 20*q**2 + 8*q - 1. Let j(m) = -5*l(m) + 2*n(m). Is j(v) a multiple of 3?
False
Let c be 5*((-849)/(-5) - -6). Let a = c + -539. Is a a multiple of 13?
False
Let j(l) = -4*l + 76. Let a be j(-11). Suppose h + a = 219. Is 10 a factor of h?
False
Let j be ((-5)/3)/((-170)/612). Does 16 divide ((-8136)/791)/(j/(-196))?
True
Let r(i) = -i**2 + 28*i - 5. Let m be r(27). Suppose -m*q = -722 - 1478. Does 4 divide q?
True
Suppose 3*v - 4*f = v - 152, 0 = -f - 2. Let d be v*(-1 + 9/15). Suppose -2*x - q + 28 = -d, x = -q + 28. Is x a multiple of 16?
True
Suppose p - 1504 = -3*p - 4*v, 25 = 5*v. Suppose -1547 = -6*r - p. Does 41 divide r?
False
Let j(w) = w**3 + 6*w**2 - 26*w + 8. Let b be j(8). Suppose -4*u = -12*u + b. Is 29 a factor of u?
True
Let y = 205 + -312. Let q = 21 - y. Is 9 a factor of q?
False
Suppose 2*a - j - 2*j + 1151 = 0, 2*j = a + 574. Let m = -477 - a. Is 15 a factor of m?
False
Suppose 0 = -31*j + 50 + 74. Suppose j*o + 152 + 562 = 5*i, -5*o = -5*i + 715. Is i a multiple of 7?
False
Suppose 3*s + 4*s + 112112 = 11*s. Is s a multiple of 11?
True
Suppose -92*i + 4235189 = 84*i + 27*i. Is i a multiple of 38?
False
Let q(z) = -z + 3. Let s be q(-5). Let p(k) = k**2 - 7*k - 6. Let f be p(s). Suppose 4*j + x - 9 = 228, -f*x - 246 = -4*j. Does 30 divide j?
True
Suppose -5*l - 462 = -v, -l = 16*v - 21*v + 2358. Suppose -475*w + 1854 = -v*w. Does 48 divide w?
False
Suppose 5*z - 87 = 2*u, 4*z = 5*z - 4*u - 3. Suppose z - 16 = o. Suppose -48 + 6 = -o*n. Is n a multiple of 7?
True
Suppose -13*b - 8 = -15*b. Let l be -21*(8/b + 11). Let v = -183 - l. Is 38 a factor of v?
False
Let o = -7848 - -10788. Does 98 divide o?
True
Is 12 a factor of -5*(133/(-70))/19*2*2998?
False
Let v = -98 + 112. Suppose 0 = d - 5*s - v, -2*s - 14 = -2*d + s. Is (26/d)/(390/48 - 8) a multiple of 26?
True
Let f(p) = -116 - 5*p**2 + 47 + 60 + p**3 + 7*p. Let r be f(4). Suppose -r*j = -3*d - d - 52, -2*j = -4*d - 36. Is 8 a factor of j?
True
Suppose 2*r = -4*b + 4162, -4147 = -5*b + b + r. Is b a multiple of 19?
False
Let p = 1402 - -16926. Does 58 divide p?
True
Let s be 25 + (6 - (7 + -3)). Does 42 divide (882/s)/((-2)/(-18))?
True
Let w be (-5 - (-11 - -2))*2. Let l be (6/4)/(w/976). Suppose 0*d = 3*h - 3*d - l, 5*h + d = 287. Is h a multiple of 17?
False
Let r = -19 + 21. Suppose h + 14 = -3*y, 0 = -5*y - 3*h + r*h - 20. Is 16 a factor of (-287)/y - 14/21?
False
Suppose -7516*r + 19320 = -7508*r. Is 23 a factor of r?
True
Let k(y) = -y**3 - 3*y**2 + 17*y + 17. Let i be k(-6). Suppose r = -0*r + 3. Let z = i - r. Is z a multiple of 4?
True
Is ((-1467)/(-1304) - 2/16)*1285 a multiple of 7?
False
Suppose s - 8014 = 5*b, -4*b - 4349 = -s + 3663. Is s a multiple of 31?
False
Let s = -27 + 28. Suppose 4*l - 2*n = -66, -5*n - 13 - 46 = 4*l. Does 39 divide 156*2*s/l*-4?
True
Suppose 5*w - 5*s = 15, -3*s - 9 + 3 = 0. Suppose 0 = -d - w, 4*d - 1301 = -2*y + 5*d. Does 65 divide y?
True
Let i be (-544)/(-10)*-5*(-6)/4. Is 224/(-64)*i/(-21) even?
True
Suppose 3*l + 1904 = -901. Does 21 divide 0 - (-4)/((-20)/l)?
False
Let f = 20567 - 2069. Is f a multiple of 29?
False
Let d = 16053 - 15529. Does 3 divide d?
False
Suppose -4*r = -3*s - 341 - 58, 5*r + 4*s - 522 = 0. Let a be (-2 - r) + 0/1. Let x = a - -206. Is x a multiple of 21?
False
Let q be (-11)/(-33)*(3 - -180). Is 23 a factor of (-3 - 0) + (q - -471)?
True
Let b be 7 - 4/(6/3). Let p(q) = q**2 + 34*q + 120. Let i be p(-30). Suppose i = -10*l + b*l + 295. Is 18 a factor of l?
False
Let a(w) = 15*w + 47 + 9*w - 110 + 51 + 6*w. Let h = -11 + 16. Is 23 a factor of a(h)?
True
Let y(c) = -6*c**3 + 1989*c**2 - 10 - 1988*c**2 - 5 - 8*c. Does 10 divide y(-3)?
True
Suppose -5*q - 28450 = -2*v, -25*v = -20*v - 5*q - 71185. Is 5 a factor of v?
True
Let r(a) = -17*a + 76. Let i(t) = t**3 - 9*t**2 + 6*t + 1. Let w be i(8). Is 28 a factor of r(w)?
False
Let y(z) be the first derivative of z**4/4 - 2*z**3/3 + 3*z**2/2 + 10*z + 2. Suppose 0 = -62*o + 149 + 161. Does 20 divide y(o)?
True
Suppose 15*w - 13256 = 6244. Is w a multiple of 26?
True
Suppose a - 3*z = 15141, 0 = 3*z - 4 - 5. Does 60 divide a?
False
Let n(g) = g**3 - 21*g**2 - 21*g + 8. Let z(j) = 5*j**2 + 3*j - 9. Let i be z(7). Suppose i = 12*v - 7. Does 6 divide n(v)?
True
Let q(v) = 2*v**2 - 35*v - 8. Let y(k) = 36*k + 2*k**2 - 29 - 3*k**2 - 25 + 61. Let c(p) = 5*q(p) + 4*y(p). Is c(9) a multiple of 13?
True
Let k(p) be the third derivative of p**6/120 - 2*p**5/15 - 5*p**4/8 + p**3 + 7*p**2 + p. Let x be 1 - -1*(-1 + 11). Is 12 a factor of k(x)?
True
Let w be (3 - -115)*5 - (-95)/(-19). Let q = w - 265. Is q a multiple of 40?
True
Let r be (15 - 14)*(-7)/((-7)/52). Let y(c) = -4*c**2 + c - 3. Let p be y(-3). Let u = r + p. Is 5 a factor of u?
True
Let f be ((-12)/9)/((-7)/399). Let l = f - 68. Suppose -l*t + 356 + 124 = 0. Is 15 a factor of t?
True
Suppose -4*v + 1613 = 2*s - 3755, v + 5*s = 1342. Is 2 a factor of v?
True
Let d = -101 + 128. Does 13 divide (117/d)/((-2)/(-468)*3)?
True
Is 120 a factor of (0 - -2) + -1*24/(-4) + 28648?
False
Is 70 a factor of -12 - 5286*3/(-9)?
True
Is 36 a factor of (1592/12)/((-91)/(-54) - 310/186)?
True
Does 5 divide (-35)/(-105) + (2411/3 - 2)?
False
Let t be 174/(-87) - (1 - 0). Does 63 divide (t - -21)*((-79)/(-2) + -1)?
True
Let u(d) = -6*d**3 + 2*d**2 + 12*d + 1654. Is 7 a factor of u(0)?
False
Suppose -63715 + 213455 = 20*k. Does 132 divide k?
False
Suppose 0 = 5*i + 5*p - 30, 4*p + 12 - 34 = -3*i. Let s be (((-9)/i)/(-3))/((-6)/(-16)). Suppose r - 219 = -s*u, -u - 2*r + 56 = 10. Is u a multiple of 13?
False
Let u be (0/(-2) + 1)/(