 = -h + 2*d + 117. Suppose 8*t + h = 589. Does 28 divide t?
False
Let j(g) = -g**3 + 5*g**2 - 4*g. Let x be j(4). Suppose x = 6*o - 2*o + 3600. Is 5 a factor of (o/(-54))/((-4)/(-6))?
True
Let l(r) = -r**2 + r - 3. Suppose 0 = 2*h + 2*h - 4*c + 48, -c + 42 = -4*h. Let k be l(h). Let s = k - -178. Is s a multiple of 21?
False
Suppose 99 = 3*c - 3*g, 3*c + 0*g - 75 = -5*g. Is 8 a factor of c?
False
Let d be ((-66)/18 - -4)/(2/(-1758)). Let m = -193 - d. Does 10 divide m?
True
Suppose 2*c + 32 = -6*c. Is 15 a factor of -2*24/32 - 186/c?
True
Suppose 5*v + 0*v - 230 = 0. Let g = 30 - -42. Let f = g - v. Is 13 a factor of f?
True
Let l = -4 + 4. Suppose -282 = -5*o - g + 117, -5*o + 3*g + 403 = l. Is o a multiple of 32?
False
Let g(j) = -42*j - 48 + 21 + 19. Is g(-3) a multiple of 14?
False
Suppose -4*i = 3*b - 6, 2*b + 0 = -4. Let v(s) = 7 + s**3 - 9 - 3*s + s**i - s**3 - 5*s**2. Does 8 divide v(6)?
True
Suppose 4*u - 2*t = 8890, 689 - 5119 = -2*u - 4*t. Does 97 divide u?
False
Let f(y) = y**2 + 2*y - 23. Let d be f(5). Suppose -4*w - 1440 = -d*w. Is w a multiple of 20?
True
Let w = 359 + 187. Does 36 divide w?
False
Let l(h) = h**2 - 18*h + 3. Suppose 2*s + 2 = -14. Is 45 a factor of l(s)?
False
Let o = -117 + 121. Suppose 3*h + 2*y - 22 = 0, -h - o*y = 2*h - 14. Is h a multiple of 5?
True
Let r = 123 - 73. Is 5 a factor of (r/(-4))/(2 - (-20)/(-8))?
True
Let f(i) = i**2 - 2*i - 31. Let t be f(0). Let a = -34 - t. Is 26 a factor of (26 + -2)/a*-13?
True
Suppose 0 = 3*s + 3*v - 48, -v = s - 2*v - 8. Let u be 1/(((-21)/s)/(-7)). Suppose 5*m = 2*t - 18 - 10, 4*m + 80 = u*t. Is t a multiple of 12?
True
Let u(v) = -v**2 - v. Let i(l) = 7*l**3 + 5*l**2 + 3*l. Let c = 6 + -2. Let p(w) = c*u(w) + i(w). Is 16 a factor of p(2)?
False
Let r(i) = i + 16. Let y be r(-13). Suppose -t + 95 = c, 0 = -4*c + y*c - 5. Does 50 divide t?
True
Let j = -97 + 393. Let t = -209 + j. Is 10 a factor of t?
False
Suppose -2*f + 3079 = 3*s, 2660 = 3*s + 5*f - 407. Is s a multiple of 37?
False
Suppose -g = 2*l - 740, 3*l - 3*g = -6*g + 1113. Does 10 divide l?
False
Suppose 4*c + r - 718 = 0, 3*c - 3*r = -4*r + 538. Is 4 a factor of c?
True
Let d be (2/6)/((-2)/(-66)). Is 2/d + (-31)/(-11) + 245 a multiple of 39?
False
Let f = -341 - -1100. Is f a multiple of 23?
True
Let j(m) = -m**3 - 10*m**2 - 16*m + 7. Let h be j(-4). Let z = 91 + h. Does 6 divide z?
True
Suppose d + 2*d = 6. Suppose 0 = 3*h + 5*j + 14, 4*h - d*j - 8 = 8. Suppose -h*t = -6*t + 172. Is 11 a factor of t?
False
Suppose -2*s + 102 + 230 = 0. Suppose s = -0*x + 2*x. Does 16 divide x?
False
Let r(z) = -z**3 + 25*z**2 + 69*z - 45. Is 15 a factor of r(27)?
True
Suppose 0 = 5*p - 10 + 5. Is (-2)/8*4 + 41*p a multiple of 10?
True
Let i(c) be the third derivative of -c**5/30 + 7*c**4/12 + c**3/3 + 8*c**2. Let y be i(7). Is 4 a factor of (3*y)/((-1)/(-4))?
True
Suppose 29*y - 23556 = -5141. Does 31 divide y?
False
Let s = -222 - -442. Does 10 divide s?
True
Let m = -1307 + 1491. Is 12 a factor of m?
False
Suppose -2*m = t - 705, 0 = t - 4*m + 7*m - 710. Is 54 a factor of t?
False
Is (-10)/((28/(-76))/7) a multiple of 4?
False
Suppose 0 = -18*s + 17*s - 20. Let j = s - -23. Suppose r + o - 31 = -j*o, 2*r + 3*o = 42. Is 4 a factor of r?
False
Let j(v) = -34*v**3 - 2*v**2 + 25*v + 75. Does 18 divide j(-3)?
True
Suppose 2*w = -j - 27, -5 + 30 = -j - 3*w. Let p = 79 + j. Is 16 a factor of p?
True
Suppose 0 = -60*g + 23460 - 1380. Is g a multiple of 23?
True
Suppose -230*r + 221*r + 1215 = 0. Is 45 a factor of r?
True
Let z(n) = -n + 18. Let c be z(15). Let s be c*(28/(-6) - -4). Let r(t) = -38*t - 3. Does 18 divide r(s)?
False
Let q(a) = 0*a**2 + 32 - 8*a**2 - 30 - 3*a. Let u(r) = -9*r**2 - 4*r + 2. Let g(c) = -5*q(c) + 4*u(c). Is g(2) a multiple of 4?
True
Let m(a) = a**2 + 2*a - 5. Let d be m(-4). Suppose d*h - q = 3*q + 120, 4*h + 4*q = 188. Is 16 a factor of h?
False
Suppose -4*p = 0, -n - p = -4*n - 405. Let j = -73 - n. Is j a multiple of 19?
False
Does 43 divide ((-3450)/12)/(-23)*416/5?
False
Is (-62*6/9)/((-66)/297) a multiple of 62?
True
Suppose 24*r = 2*k + 28*r - 2936, r + 5899 = 4*k. Is 67 a factor of k?
True
Let r(o) = o - 4. Let a be r(-3). Let q be (-104)/(-28) - 2/a. Suppose -5*c - 255 = -q*h, 5*h - 2*c - 557 = -217. Is h a multiple of 14?
True
Suppose -2*s = -4*j, s + 1 + 9 = -3*j. Let r(q) = -12*q**3 + 2*q**2 - 3*q - 5. Is r(j) a multiple of 21?
True
Let u(o) = -16*o**3 - o**2 - 2*o - 3. Let i be u(-2). Suppose i = 3*g - 3*n - n, -g + 3*n = -45. Is 6 a factor of g?
False
Let g(n) = n + 3. Let w be g(-9). Let u(v) = v + 3. Let t be u(w). Is (t + -1)*(-70)/4 a multiple of 11?
False
Suppose 0 = -0*k - 3*k + 6. Suppose 6 = a + k*a. Suppose -39 = a*p - 151. Is 28 a factor of p?
True
Suppose -3*g - 12 = -g + 4*b, 2 = 3*g + b. Suppose 56 + 24 = g*w. Suppose 5*s + 0*s = w. Is 2 a factor of s?
True
Is 4822/16 + (-39)/104 a multiple of 43?
True
Let r(b) = -b + 11. Let l be r(-13). Suppose 0 = l*g - 25*g + 140. Is 29 a factor of g?
False
Let f = -840 - -1200. Suppose 5*r - q = f, 2 - 7 = -q. Does 16 divide r?
False
Let q = -26 + 4. Let r = q + 34. Is 5 a factor of r?
False
Let l(w) be the second derivative of -3*w**5/20 - w**4/12 - w**3/3 - w**2 + 2*w. Let d be l(-2). Is 11 a factor of (d/3)/(2/9)?
True
Is 12 a factor of 2 + 3 + 2922/6?
True
Let j = 229 - 99. Suppose -85 = -5*b + j. Suppose -3*l + 128 = -b. Does 19 divide l?
True
Is (136 + 4)*6*10/15 a multiple of 40?
True
Let f(p) = -21*p + 56. Does 4 divide f(-4)?
True
Let j(r) = -r**3 - 19*r**2 - 116*r - 21. Is 53 a factor of j(-14)?
False
Suppose -5*z - 216 = -2*m + 334, 5*m - 25 = 0. Is 12 a factor of (2 - (-1 - -2))*-1*z?
True
Let q = -9 - -11. Suppose 2*p - 3*f + 2*f = 175, -q*f = 4*p - 370. Does 30 divide p?
True
Does 155 divide 19/266 + 220524/56?
False
Is 13 a factor of (1 - (-17)/5)/(54/405)?
False
Suppose 2*n - 7*n + 10 = 0. Suppose 0 = 3*u + x - 16, 3*x - 1 = n*x. Suppose -u*c = -0*c - 405. Is 27 a factor of c?
True
Does 18 divide ((-540)/(-14))/(57/4788)?
True
Suppose -4*p + 3*c - 64 = -2*p, p + 43 = -4*c. Let r = p - -24. Does 19 divide r/77 + (-512)/(-7)?
False
Let i be 0/(3*(-3)/9). Suppose i = -4*s - 2 - 6. Is (s - -3) + -1 - -56 a multiple of 15?
False
Let c be (2/4)/(124/(-32) - -4). Suppose 40 = c*s - 404. Is s a multiple of 16?
False
Let k = 145 + -75. Is k a multiple of 14?
True
Let p = 3 + 0. Suppose 5*w + 5*o = 25, -p*o + 34 = 5*w - 7*o. Let c = 27 - w. Does 8 divide c?
False
Suppose 0 = -i - 5, 329 = x - 0*x - 2*i. Is x a multiple of 54?
False
Let o = 331 + -226. Does 35 divide o?
True
Let o be (1 + 0)/(9/(-18)). Let m be (-1839)/(-27) + o/18. Suppose 3*l - 247 = m. Is l a multiple of 21?
True
Let r(h) = 12*h + 19. Let j be r(-2). Let o(i) be the first derivative of i**4/4 + 4*i**3/3 - 9*i**2/2 - 11*i + 2. Is o(j) a multiple of 2?
False
Is (-83)/(((-120)/(-65) + -2)/2) a multiple of 36?
False
Is 339*20/12*3 a multiple of 114?
False
Does 17 divide (-18 + (-245)/(-14))/(1/(-2518))?
False
Let l be (-1 - -104)/((-4)/2 - -3). Suppose 5*o = a - 0*a + l, -2*o + 2*a + 46 = 0. Does 20 divide o?
True
Let y = -870 + 1346. Is 21 a factor of y?
False
Let y(j) = j**2 - 6*j - 18. Let d be y(-4). Suppose -r = -3*x + d, 2*x + 4*r - 65 = -3*x. Is x a multiple of 3?
True
Let m = 542 - 252. Does 29 divide m?
True
Suppose -8*j = -13*j - 105. Let x be (j/2)/(9/(-24)). Suppose x = 5*a - 17. Is a a multiple of 2?
False
Suppose -g + 2 + 1 = 0. Let l = 9 + g. Does 4 divide l?
True
Suppose 2*z = p + 6, 0 = 2*z - 7*z - 5*p + 15. Suppose b - z*o - 2 = -4, 2*o = 2. Is (b + 0)/(4/188) a multiple of 14?
False
Let q(g) = 2*g - 17. Let i(o) = -o + 2. Let y(x) = -3*i(x) - q(x). Does 2 divide y(8)?
False
Suppose 3*r + 29540 = 73*r. Does 3 divide r?
False
Is ((-124)/(-155))/((-4)/(-3600)) a multiple of 25?
False
Suppose -2*h = -2*v - 10, 2*h - 13 = 4*v + 1. Suppose -3*x + 25 = -c, 2*c + 2 = 2*x + 5*c. Suppose 5*f + 13 = 4*b, h*b + f + 9 = x*b. Is b even?
True
Let k be ((-6)/12)/(3/6). Let h be k - 8*(-5)/10. Suppose 4*j - 13 - 47 = -2*c, -h*j - 25 = -c. Is 7 a factor of c?
True
Let j(c) = 61*c**2 - 22*c - 53. Is 16 a factor of j(-3)?
False
Let c(j) be the second derivative of -j**4/12 - 5*j**3/3 + 17*j**2/2 - 20*j. Is 26 a factor of c(-9)?
True
Does 5 divide 23/(345/(-100