Let d = t + -74. Does 32 divide (d/((-3)/(-203)))/(11 + -12)?
False
Let m(w) = -2*w**2 - 19*w + 37. Let c be m(-11). Suppose 4*p - c*r - 1352 = 0, -2*p + 1346 = 2*p - r. Does 24 divide p?
True
Suppose 4*l + 66*o = 69*o + 29897, 6*l + 2*o - 44878 = 0. Is l a multiple of 16?
False
Suppose 0 = -2*t - i + 269 + 8674, -2*t + 5*i + 8901 = 0. Is t a multiple of 8?
False
Let x(y) = -6*y**3 + 2*y**2 + 9*y + 8. Let h be x(-1). Suppose -h*m = -1049 - 64. Does 53 divide m?
True
Let r = -613 - -860. Suppose 4*q = -3*s + r, -122 = -19*q + 17*q - 2*s. Is 8 a factor of q?
True
Let q be -8 + 8 + (25/5 - 3). Suppose -4*r = -9*r - v - 24, 5*r + 8 = 3*v. Does 34 divide (-38 - r)*q*(-1 + 0)?
True
Let a be ((-26)/(-6) + -3)*6. Let s(f) = -f + 13. Let j be s(a). Suppose -430 = -j*k + g, -430 = -4*k - k - 5*g. Is k a multiple of 7?
False
Let k(x) = 5*x**2 + 4*x - 4. Let s be (-15 - -27)*(-1 - (0 - 0)). Let v be k(s). Suppose -4*t = -4*c - v, -2*c - 326 = -2*t + 2*c. Is t a multiple of 19?
True
Let l(v) = -v - 9. Let y be l(-7). Let n(u) be the third derivative of -u**6/120 - u**5/30 - u**4/4 - u**3/2 + 1785*u**2. Is 8 a factor of n(y)?
False
Suppose 0 = 5*n - 25, -o + 5*n = -0*o - 214. Suppose 3*a = -4*i - 187, -6*i + i - 2*a - o = 0. Let f = -41 - i. Is f a multiple of 8?
True
Let z(f) = f**3 - 116*f**2 + 232*f + 694. Is z(114) a multiple of 79?
False
Suppose 2*j = 164 + 22. Suppose t - j = 33. Suppose -3*n + 6*n - t = 0. Is 14 a factor of n?
True
Let o = 689 - 5015. Let b be 2 + o/(-9) + 4/3. Suppose -5*l + 790 = -5*x, -x + b = 3*l - 6*x. Is 28 a factor of l?
False
Is -5 - (-45846)/(-36)*(1 + (-26)/6) a multiple of 6?
False
Let u(b) = 20*b**2 + 2*b + 1. Let n be u(-1). Suppose -n*m = -12*m. Suppose m = 4*i + 2*q - 474, q = -3*i - 3*q + 358. Is i a multiple of 9?
False
Let d(j) = 21*j**2 + 16*j - 104. Does 124 divide d(-12)?
True
Let w be 16 + -13 + -1*3. Suppose 5*s = -g + 84 + 24, -g - 4*s + 106 = w. Is g a multiple of 45?
False
Let r be (6 + -6114)*3/(-12). Suppose 7*g + r = 8*g - 3*h, 2*g - 3030 = -2*h. Is 66 a factor of g?
True
Let h be 14*1/(-2)*-1. Suppose -4*l + h*l - 183 = 0. Suppose -2*d + l = m, -2*m + 5*d + 40 = -m. Is 24 a factor of m?
False
Let t = 29644 - 12337. Does 9 divide t?
True
Suppose -3*o = -0*o - 12, 2*d - o = 0. Let i(t) = -7*t**3 + 6*t**2 - 6*t + 3. Let z be i(d). Let l = z - -82. Is l a multiple of 3?
False
Let d(s) = -s**2 - 1. Let b(x) = 2*x**2 - 2*x + 6. Let z(w) = -3*b(w) - 15*d(w). Does 54 divide z(-6)?
False
Let b(a) = 17*a**2 + 68*a - 1175. Is 8 a factor of b(-26)?
False
Let m = -8220 + 13623. Does 15 divide m?
False
Let w(p) = -2*p**2 - 103*p + 311. Is w(-47) a multiple of 51?
False
Let t = -209 - -336. Let m = -127 + t. Does 16 divide (-1)/((-944)/312 - (-3 + m))?
False
Let k = -17142 + 53993. Does 286 divide k?
False
Suppose 0 = 4*s - 2*s + 2*y - 212, -3*s + 5*y = -334. Suppose -j = 3*j + s. Let g = j - -43. Is g a multiple of 3?
False
Let t(h) = -12*h + 2. Let z be t(1). Let v(l) be the second derivative of -l**5/20 - 11*l**4/12 - 11*l**3/6 + 2*l**2 + 103*l. Does 2 divide v(z)?
True
Let w(l) = -2*l**2 + 45*l - 133. Let r be w(18). Suppose 0 = -2*j, r*p - 32*p + 2*j = -1140. Is p a multiple of 20?
True
Let p = -311 + 284. Does 15 divide ((-262977)/27)/(-11) + 12/p?
True
Let a(f) be the first derivative of 2*f**3/3 + 15*f**2/2 + 9*f - 70. Is a(18) a multiple of 12?
False
Let b(q) = 21*q**2 + 61*q - 90. Is b(-14) a multiple of 5?
False
Suppose -c + 3*n = 0, -5*c + 2*n + 19 = 45. Does 15 divide ((-1818)/15)/(c/75)?
True
Suppose 270863 = 45*q + 28133. Is q a multiple of 29?
True
Does 226 divide (-40103 - 165/(-15))*(-1)/3?
False
Let l(t) = 3*t. Suppose -5*v + 5 = -0*v. Let k be l(v). Is 108 + k/((-12)/(-16)) a multiple of 10?
False
Let v(y) = 26*y**3 + 5*y**2 - 11*y + 53. Is 8 a factor of v(4)?
False
Let a = -3931 + 18353. Is 146 a factor of a?
False
Let r be ((-21)/(-18))/(2/12). Suppose 4*k - 12*c + r*c - 1123 = 0, -k = -4*c - 267. Is k a multiple of 14?
False
Let t(s) = -s**2 + 85*s - 142. Is t(47) a multiple of 12?
True
Suppose 7614 = 5*j - 9436. Suppose 30*c - j = 20*c. Does 21 divide c?
False
Let g(x) = 8*x + 4. Let a be g(39). Let k = a - -94. Does 10 divide k?
True
Suppose -56 + 36 = 2*d. Let j be (0/(-1) - -1) + 20/d. Let b(z) = -z + 7. Is b(j) a multiple of 6?
False
Let h be 110/33*(2931 + 3). Suppose 40*y = 8700 + h. Is 22 a factor of y?
True
Suppose -5*l - 3*b - 211 = -1216, 0 = 3*l - 3*b - 579. Suppose 206*v - 2592 = l*v. Is v a multiple of 81?
True
Let m(k) = 6*k**2 - 3*k + 4. Let l be m(-9). Suppose 6*h - l = 767. Let q = -84 + h. Is q a multiple of 15?
False
Let k = -232 + 244. Is (-6)/(-4)*(100/k - 1) a multiple of 11?
True
Suppose -47*r = -3*k - 52*r + 3830, -3*k - 4*r = -3832. Does 23 divide k?
False
Let s = 10945 - -6191. Is 153 a factor of s?
True
Does 7 divide 2 + 144/(-69) + ((-1330360)/(-460) - 15)?
True
Suppose 20*m - 26*m + 30 = 0. Suppose 4*f = -m*d + 617, d + 2*d - 5*f = 348. Is d a multiple of 13?
False
Let u(p) be the first derivative of p**4/4 - 4*p**3/3 + 2*p**2 - 20. Let n be u(2). Suppose -10*y + 1340 = -n*y. Does 9 divide y?
False
Let o = 887 + -797. Does 11 divide (-1)/6 + -47*(-885)/o?
True
Let y = 5396 - 1140. Does 76 divide y?
True
Suppose -87 = 2*a + 191. Let z(y) = -63*y - 7. Let f be z(3). Let b = a - f. Is b a multiple of 19?
True
Let i(h) be the second derivative of h**5/20 + 3*h**4/2 - 3*h**3 + 8*h**2 + 9*h. Let b be i(-19). Is 15 a factor of b*5/45*-411?
False
Suppose 5*u + 3*h - 7 = 0, 0*u - 2*h + 4 = 3*u. Let r(f) = -2 + 17*f**u - 9*f**2 - 5 + 6*f**2. Is r(3) a multiple of 13?
False
Is 179 a factor of (45/6 + -13 + 5)/(2/(-103104))?
True
Let v(h) = -13*h - 10. Let k be v(-2). Suppose -2*c + 4*p - k + 358 = 0, -2*c = -p - 333. Is 15 a factor of c?
True
Let d = 1262 - 1175. Is d a multiple of 2?
False
Let t(d) = d**2 - 23*d + 134. Let l be t(11). Suppose 9*p - 8*p + 4*c - 150 = 0, -l*p + c = -345. Is p a multiple of 10?
True
Suppose 0 = 3*w - 4*p - 41, -3*w - p = -6*p - 46. Suppose 3*y = f - 101, 2*f + 5*y - 190 = w*y. Does 46 divide f?
True
Is 18 a factor of ((-937515)/(-36) - -2) + (-37)/444?
False
Let s = -53 - -61. Suppose 7*d = -s*d + 30. Is (9 - 13)*(-23)/d a multiple of 24?
False
Let f(d) = -d**3 + 8*d**2 - 5*d - 22. Let b(w) = w**3 - 2*w**2 + 3*w - 4. Let g be b(2). Let k = 4 + g. Is f(k) a multiple of 3?
False
Suppose 4*o - 2*o = 22. Suppose -o*k + 3630 - 11 = 0. Does 47 divide k?
True
Let j(u) = -2*u**2 + 3*u. Let n be 4 - (2 + 0)*1. Let r be j(n). Is 3 a factor of (-49)/(-5) + -1 + r/(-10)?
True
Let d(u) be the third derivative of 127*u**5/20 - u**3/6 - 28*u**2 + 1. Is d(1) a multiple of 34?
False
Let v(l) = 56 - 4*l + 10*l - 34 + 5*l. Let g be v(-2). Suppose h - 42 - 98 = g. Is h a multiple of 7?
True
Let w(j) = 32*j**2 + 12*j + 735. Is w(27) a multiple of 30?
False
Let a = -11910 - -11956. Let f be ((-12)/10)/(3/(-10)). Let n = a - f. Is 12 a factor of n?
False
Let o(u) = 3*u + 27. Let n be o(-8). Let y be (8/(-20))/(n/30). Is 17 a factor of (0 + -3 - 2 - y) + 171?
True
Let l = 220 - 706. Let m = 546 + l. Is 30 a factor of m?
True
Suppose 0 = -m - 3*i - 11, 4*m + 3*i + 5 = -3. Is 4 a factor of ((-528)/(-32))/(m/14)?
False
Let o(y) = -y**3 - 23*y**2 - 31*y + 36. Does 134 divide o(-28)?
True
Suppose 4*h = -3*f + 1091, 13 = h - 2*f - 246. Let k = -262 + h. Does 3 divide k?
False
Let v be 0 - 0 - (10 + -18). Let j(q) = 20 - 3 + 2*q**2 - 64*q - 60*q + 112*q. Does 13 divide j(v)?
False
Suppose -3*k = 2*n - 516, 8*n - 12 = 12*n. Suppose s - 369 - k = 0. Is s a multiple of 85?
False
Let y(k) = -17*k + 4. Let q be 100/(-7) - ((-120)/28 - -4). Is 11 a factor of y(q)?
True
Let o be (10/100*15)/((-3)/(-2138)). Let x = -544 + o. Is x a multiple of 21?
True
Suppose f = -0*f - 3*g + 2430, 2422 = f + 5*g. Suppose -9*w = -f - 429. Is w a multiple of 11?
True
Let v(m) = -2*m**2 + 18*m - 12. Let q be v(8). Suppose q*k + 48 = 2*k + 2*l, -5*l - 12 = k. Let h = 34 + k. Is h a multiple of 2?
True
Suppose -19*c - 22*c = -29*c - 23676. Is c a multiple of 3?
False
Let x be 5 + 2*18/(-6). Let n(o) = -573*o + 31. Is 67 a factor of n(x)?
False
Let o = 9728 - 4632. Is o a multiple of 56?
True
Suppose -d + 3*j = -0*d - 430, 5*j = 5. Let p = -117 + d. Suppose -5*m + y = -504, -5*y - 36 = 3*m - p. Is m 