of 39?
False
Let r(c) = -c**3 - 5*c**2 - c - 3. Let w be r(-5). Suppose 5*k - 3*g = 8, w*g + 0*g = 2*k. Suppose -k*a = -68 + 16. Is a a multiple of 4?
False
Let m = 6781 + 23260. Is 75 a factor of m?
False
Let l(v) = 20*v**2 + 50*v - 26. Is l(-13) a multiple of 70?
False
Suppose 0 = -7*r + 21 + 7. Let o(p) = p**3 - p**2 - 3*p + 3. Let g be o(2). Does 13 divide (6/(-72)*r)/(g/(-159))?
False
Let u(h) = h**3 + 10*h**2 + 2. Let t be u(-10). Suppose -w + 5*l + 12 = t*w, 4*l + 8 = 2*w. Does 9 divide (w + -3)*54/1?
True
Let l(k) = 14*k - 394. Let w(m) = 3*m**3 - 4*m**2 - 4*m + 16. Let g be w(3). Is l(g) a multiple of 13?
False
Suppose 0 = 24*f + 750 - 12870. Is f a multiple of 2?
False
Let v(u) = -23*u + u - 177 - 65*u. Is 48 a factor of v(-7)?
True
Let h = 910 + -911. Let y(k) = -1036*k**3 + 6*k**2 - 2*k. Is y(h) a multiple of 6?
True
Is -78*862/(-12) + (-8)/2 a multiple of 142?
False
Let f = 48584 + -25463. Does 87 divide f?
False
Let n = 4012 + 30680. Does 27 divide n?
False
Suppose 2*r + 2*k - 7962 - 790 = 0, 0 = 4*r - 2*k - 17468. Is 68 a factor of r?
False
Let g = -9 - -3. Let u be (-1 - -3)/g*33. Let c = 56 + u. Does 7 divide c?
False
Let k be (-174)/(-4)*(-2)/3. Is (k - -702) + 6/2 a multiple of 56?
False
Does 13 divide (2 - 48/26 - 432760/104)/(-1)?
False
Suppose 28*n - 26*n = 2358. Suppose 4*t - 1025 = n. Is 74 a factor of t?
False
Does 10 divide -11 - -4009 - (-3 + (-3)/(-3))?
True
Let o(r) = -r**2 - 7*r + 99. Let j be o(-13). Does 41 divide ((-7)/(j/(-843)))/1?
False
Let f be 16/2 + (-1)/(-2)*4. Let z = -13 + f. Does 30 divide 1/((-2)/360*z)?
True
Let i(y) = -380 + 0*y**3 + 12*y - y**3 - 4*y**2 + 380. Let z be i(-9). Suppose 0 = 4*c + 81 - z. Does 29 divide c?
False
Let k(i) = -78*i + 130. Is 25 a factor of k(-15)?
True
Let p(f) = -2*f**2 + 19*f - 21. Let r be p(8). Let o(k) = 66*k - 49. Does 14 divide o(r)?
False
Suppose -21180 = 11*l + 4*l. Let p = 2168 + l. Does 28 divide p?
True
Does 43 divide (10016/768)/((-2)/(-488)) - (-1)/(-6)?
True
Suppose 2163 = -2*a - 3*m, 78*m = -a + 83*m - 1114. Let z = -639 - a. Is 30 a factor of z?
True
Suppose -2*w - 5*o - 15 = 0, -w + 2*o = w - 6. Suppose l + 2*n + 24 = 0, w*l + 3*l = -2*n - 72. Is l/(4/(-80)*3) a multiple of 40?
True
Suppose 0*i - 5 = -i, -9 = -3*g + 3*i. Suppose 2*r = 5*w - 10, 6*r + 4*w = 3*r + g. Suppose r = -4*u + 65 + 47. Is 28 a factor of u?
True
Let x(c) = -3*c + 2. Let y be x(-1). Suppose 36 = 4*q + y*k, 0 = -k - 2*k + 12. Suppose -82 - 90 = -q*z. Does 9 divide z?
False
Let h(m) = -4*m**3 + 22*m**2 + 37*m + 25. Is h(-5) a multiple of 5?
True
Let t(v) = v**2 - 2*v - 18. Let y be t(6). Suppose y*z - 116 = 112. Let c = z - -82. Is c a multiple of 20?
True
Let d = -42 + 40. Let r be -1 + (d + -1 - 1)/(-2). Is 1*-11*(-9)/3*r a multiple of 6?
False
Suppose -43895 = -5*o - 5*y, -149*o - 35134 = -153*o + 2*y. Is 19 a factor of o?
False
Suppose 241*u = -124*u + 6824405. Does 28 divide u?
False
Suppose 0 = 5*o - 5*c + 210, 0*c = c. Let u be ((-9)/(-18))/(3/o). Does 20 divide 556/14 + (-2)/u?
True
Suppose -78*c + 43463 - 15377 = -25578. Is c a multiple of 16?
True
Is (8 + (-28)/4)*313 a multiple of 5?
False
Suppose -1543931 = -1363*a + 1334*a. Does 69 divide a?
False
Let p(g) = 2*g**2 - 6*g**2 - 4*g + 3*g**3 - 1 + 17*g - 6*g**2 + 3. Is p(6) a multiple of 12?
False
Let b be 26/13*6/(-2). Let o be (-28)/b + ((-4)/(-6))/2. Suppose -o*y - 5*x = -1025, -4*x - 580 = -5*y + 2*y. Does 25 divide y?
True
Suppose -2*a + 0 - 4 = 0, -4*a + 1796 = -4*p. Is (4 - p) + 2 + -1 a multiple of 48?
False
Let x(i) = -43*i + i**2 + 17 + i**3 - 5*i**2 - 7*i**2 + 0*i**3. Let c be x(14). Suppose -754 + 1918 = c*f. Is 23 a factor of f?
False
Let y(p) = 138*p**2 + 29*p - 78. Is y(6) a multiple of 44?
False
Suppose -l + 6 = 4. Suppose 5*x - 164 = -n, 0 = -6*n + l*n + x + 761. Is 8 a factor of n?
False
Let d = 17472 - -4822. Does 51 divide d?
False
Let d be 15 + -12 + 2/2. Suppose d*u + 50 = 3*f, -4*f + 77 = -2*u + 7*u. Let z = 2 + f. Is z a multiple of 5?
True
Let p(b) = -b**3 - b**2 - b + 4. Suppose 5*w + 3*w - 5*w = 0. Let j be p(w). Is j/(-6)*(-1)/4*42 a multiple of 3?
False
Let n = 20 - 44. Let d = n - -55. Suppose c = 2*c - d. Does 23 divide c?
False
Let c(k) = -k**2 + 7*k + 22. Let j be c(9). Let b = 107 - -33. Suppose f - b = -j*f. Is f a multiple of 4?
True
Let b = 66 + -450. Let o = 789 + b. Is o a multiple of 15?
True
Let s(v) = 97*v + 93. Let w(f) = 24*f + 23. Let i(r) = 2*s(r) - 9*w(r). Let m = -292 + 288. Does 28 divide i(m)?
False
Let v = 153 - 153. Is 10 a factor of ((v - 1) + -166)/(4 + -5)?
False
Suppose 74*o - 75*o = -34. Suppose 28*z = o*z - 2250. Is z a multiple of 25?
True
Suppose -5*x = -5, u - 3*x - 450 = 2*x. Suppose 334 = 2*a - 5*t, 5*t + 46 + u = 3*a. Is a a multiple of 17?
False
Let j = -170 - -179. Suppose j*i - 1417 = 527. Does 36 divide i?
True
Is 318568/(-6)*(-66)/88 + 11 a multiple of 26?
True
Suppose -4*y + 5*t = 2*t - 18, -3*t = 3*y - 3. Suppose y*x + 5 = 4*x. Suppose -817 = -x*r + 253. Is r a multiple of 33?
False
Let w(v) = v - 19. Let s be w(21). Suppose s*z - 8 = 108. Does 29 divide z?
True
Suppose 12*c + 2*h = 24*c - 37006, -h - 9251 = -3*c. Does 3 divide c?
True
Is (2852/6)/(244/1098) a multiple of 31?
True
Let w be 1*2*3085/(-10). Let b = 936 + w. Is b a multiple of 33?
False
Suppose h + 0*h + 1100 = 2*h. Is 220 a factor of h?
True
Let f = 5179 + 1289. Is 154 a factor of f?
True
Let n(g) = -g**3 + 4*g**2 + 2*g - 4. Let v be n(-3). Let u be ((-6)/(-4) + -1)/((-33)/396). Let a = u + v. Does 12 divide a?
False
Let l(f) = -f**2 + 5*f - 7. Let z(m) = -2*m**2 + 11*m - 15. Let a(r) = -14*l(r) + 6*z(r). Let k = 299 + -307. Is a(k) a multiple of 14?
True
Let s be (15/6)/((-8)/(-1072)). Suppose -5*u + 2*z = 3*z - s, 5*z + 173 = 3*u. Is u a multiple of 9?
False
Suppose -5*a - 14 = b + 38, -4*b - 244 = 2*a. Let q be ((-238)/(-6))/(6/18). Let n = q + b. Is n a multiple of 19?
True
Suppose 25 = -4*x + 33. Suppose x*n = -3*o + 636, -4*n = -o - 4*o + 1038. Is 14 a factor of o?
True
Suppose -10*c - 3165821 - 759279 = -110*c. Is 39 a factor of c?
False
Let o(s) = s**3 + 34*s**2 + 65*s + 38. Let r be o(-31). Suppose -10 = 5*u, -4*u = -4*z - 7*u + r. Does 4 divide z?
True
Let z = -973 + 1908. Let f = -467 + z. Is 26 a factor of f?
True
Suppose -9258 = -526*l + 520*l. Suppose 20*z - 1057 = l. Is 28 a factor of z?
False
Let t = 352 + -133. Let a = -109 + t. Suppose 4*q = q - 4*u + 95, 3*u + a = 5*q. Does 8 divide q?
False
Suppose -82*v + 72*v + 11990 = 0. Is 56 a factor of v?
False
Let l = -51 - -54. Suppose -3*o - 15 = -4*c, -3*c + l = 4*o - 2. Suppose -5*k = -c*x - 220, -x - 132 = -2*k - k. Is k a multiple of 11?
True
Does 44 divide -21 + 13708 - ((-112)/(-42) + (-1)/(-3))?
True
Suppose -5586 = -2*q - 1486. Is q a multiple of 5?
True
Let q = -72 + 75. Suppose -w + n = -284, w + q*n = 3*w - 567. Is 16 a factor of w?
False
Let x = -1088 - -2855. Is 57 a factor of x?
True
Let i(y) = 3 - 17*y + 10*y + 14*y. Let v be i(-1). Is 29 a factor of 143 + (-2 - 0 - v)?
True
Let m(a) be the second derivative of 1/6*a**3 + 11/20*a**5 + 0 + 15*a - 1/6*a**4 - a**2. Is m(2) a multiple of 7?
False
Suppose -10*c = -25*c - 9075. Let t = -409 - c. Is 7 a factor of t?
True
Suppose -2*n - 2*b = -506, -3*b + b - 253 = -n. Let m = n + -128. Suppose 0 = -p - 4*p + m. Does 4 divide p?
False
Suppose -8 = r + 2*i, 0*r + 5*r - 4*i = 2. Let k be (-663 - r)*-1 + -2 + 1. Suppose 5*z + j = 1116, 3*z - 5*j + 8*j = k. Does 16 divide z?
True
Let l(x) be the third derivative of 0 + 2*x**3 + 1/8*x**4 - 38*x**2 - 1/120*x**6 + 0*x + 1/6*x**5. Is 20 a factor of l(9)?
True
Let m(i) = i - 1. Let h(w) = 6*w - 8. Let l(u) = -h(u) + 5*m(u). Let a be l(-4). Suppose 144 = f - b, a*f - 4*f - 426 = 5*b. Is f a multiple of 21?
True
Let q(d) = d**3 + 2*d**2 + d + 18. Let s be q(0). Suppose 2*i = n + 3*n + s, -i = 4*n + 9. Is ((-336)/i)/(-4) + 0 a multiple of 14?
True
Suppose 12 = 4*j, -2*o + 5*j = 3*j - 1454. Suppose -25*p = -15*p - o. Is 27 a factor of p?
False
Does 16 divide (222410/(-4))/(-5) - 190/(-380)?
False
Let f(h) be the first derivative of -7*h**5/10 - h**3/6 - h**2/2 + 13*h - 10. Let u(q) be the first derivative of f(q). Is u(-2) a multiple of 9?
False
Suppose -58 = -4*z + 2*f, -3*f = -3*z + 6*z - 48. Suppose z*w = -43 + 163. Does 11 d