z?
False
Let t(d) = -d**3 + 14*d**2 + 41*d + 24. Suppose -13*p + 10*p + 45 = 0. Is t(p) a multiple of 52?
False
Let m = 22621 - 7638. Does 6 divide m?
False
Let n(z) = 278*z + 1086. Is n(17) a multiple of 13?
False
Let v = -14041 - -45540. Does 34 divide v?
False
Let l be ((-20)/30)/((-2)/6). Suppose l*d = 9 - 1. Suppose 704 = d*y + 4*c + 212, 5*c = 5*y - 595. Is y a multiple of 16?
False
Let w = 9197 + -9141. Let r(t) = 7*t**2 + 6*t - 1. Let h be r(-5). Suppose -w - h = -8*x. Does 22 divide x?
False
Suppose -280*o + 5*s = -278*o - 19665, -4*o + s + 39321 = 0. Is 36 a factor of o?
False
Let d(c) be the third derivative of c**5/60 - 5*c**4/8 - 3*c**3/2 - c**2. Suppose 7*p - h - 84 = 2*p, 0 = -p + 2*h + 15. Does 9 divide d(p)?
False
Let m(g) be the first derivative of -21*g**2 + 17*g + 54*g**2 + 8*g - 32 + 11*g. Is m(3) a multiple of 13?
True
Let y(q) = -q**3 + 12*q**2 + 4*q + 10. Let x(n) = n - 10. Let r be x(18). Let m be 30/1*r/20. Does 43 divide y(m)?
False
Let a(m) = -3*m**3 + 4*m**2 + 6*m + 22. Suppose 14*v + 43 = -13. Is a(v) a multiple of 12?
False
Let g be 1 + (-2 - 1) + 0 + -306. Let z = 392 + g. Is z a multiple of 6?
True
Suppose -r = -15 - 11. Suppose -r*v + 7*v = -342. Does 4 divide v/(-5 - 52/(-8))?
True
Suppose 0 = -7*r + 2038 + 576 + 970. Is r a multiple of 16?
True
Let h be (9 + -6 + -4)*0/2. Let y = h - 0. Suppose y = -3*m + 5*m - 46. Is m a multiple of 22?
False
Let u(r) = 148*r**3 - 36*r**2 + 134*r + 38. Is u(5) a multiple of 46?
True
Suppose -2*q = -2*p - 14, q + 2*q = -4*p. Suppose -b - k - 1 = 1, 3*b - q*k = 22. Suppose 0 = -b*y + 18 + 24. Is y a multiple of 2?
False
Let q(i) be the second derivative of 8*i**3/3 + i**2/2 + 14*i. Let h be q(9). Suppose o = -o - 4*x + 100, 4*o - h = 3*x. Does 24 divide o?
False
Let s(x) = -8*x - 55. Let n be s(-6). Let i(c) = 2*c**2 + 4*c - 36. Is i(n) a multiple of 17?
True
Let h(l) = 4*l - 10. Let m be h(1). Is (m/10)/(9/3375*-3) a multiple of 2?
False
Suppose 0 = -4*b + 4*s + 472, 5*b + 69*s - 67*s - 576 = 0. Suppose 14*q - b = 304. Is q a multiple of 6?
True
Let t be (-11196)/9*2/4. Let m = -8 - t. Does 18 divide m?
False
Let r(q) = -q**2 - 27*q - 48. Let w be r(-25). Suppose 5*y - 114 = 86. Suppose -y = -2*p - 2*s + 4*s, -50 = -w*p + 4*s. Is 3 a factor of p?
True
Let a(z) be the third derivative of -z**6/120 + 19*z**5/60 - 2*z**4/3 + 4*z**3 - 8*z**2. Let u be a(18). Let c = u - 27. Does 6 divide c?
False
Suppose -56 = 4*g - 2*s, g - s = -6*s - 3. Let q(f) = -8*f**3 - f**2 - f. Let j be q(-2). Let k = g + j. Does 15 divide k?
False
Let g(b) = -50*b**2 - 1. Let z(s) = 150*s**2 - s + 2. Let x(q) = -7*g(q) - 2*z(q). Is 3 a factor of x(-1)?
True
Let s = 388 - -217. Let v = s - 6. Is 50 a factor of v?
False
Suppose 187*p + 46067 = 190*p + n, -5*p = -5*n - 76785. Does 8 divide p?
False
Let n(s) = -3*s**2 - 2*s + 7. Let c be n(-6). Let y = c - -94. Suppose -3*g - y = -581. Does 16 divide g?
True
Let n be (-1)/(4/(-26) - 10031/(-65793)). Suppose n - 323 = 2*u. Is 45 a factor of u?
False
Suppose -18*j = -10*j - 16. Suppose 5*v - 20 = 0, -j*v = -4*p - 6*v + 352. Is p a multiple of 12?
True
Let r(w) = w**2 + 5*w - 4. Let v(l) = l**2 + 14*l + 12. Let o be v(-5). Let s = o - -25. Does 6 divide r(s)?
False
Suppose 0 = 7*l - 5*l - 24. Let c be 90/27*l/(-1 - -3). Suppose 96 = x + c. Is x a multiple of 38?
True
Let s(t) = 7*t**3 - 232*t**2 + 3*t + 162. Is s(35) a multiple of 92?
True
Let p(d) = -d**3 - 9*d**2 - 8*d + 12. Let j be p(-11). Suppose 0 = 16*w - j + 54. Is 24 a factor of (w/(-4))/((-4)/32)?
False
Let s = -20 + 20. Suppose s*k + g = -k + 5, -k - 4 = -2*g. Suppose k*o - 123 = 17. Is 10 a factor of o?
True
Let f be 0 + 4 - 9/(-9). Suppose 293 = 3*h - f*w - 10, 5*h = -w + 533. Suppose n + 2*y = 101, 5*y + h = n + 2*y. Does 24 divide n?
False
Suppose 2*z = 3*k - 8*k - 422, -4*k + 900 = -4*z. Is 9 a factor of (z/(-68))/(2/88)?
False
Let v(o) = o**2 + 28*o + 3. Let u be v(9). Suppose -4*c - u = -1416. Does 10 divide c?
True
Let u(v) = -7*v**2 + 2*v + 3. Let w = 38 - 36. Let d(z) = 3*z**2 - z - 1. Let r(a) = w*u(a) + 5*d(a). Is r(5) a multiple of 7?
True
Suppose 3*o = -0*o - 75. Let k = o - -32. Suppose 18*u - 44 = k*u. Is 2 a factor of u?
True
Is 54 a factor of (-83575)/(-10)*-2*(-30)/25 + 4?
False
Let j be -3 + 6/((-6)/4*-1). Does 32 divide (-2 + 311)*1*j?
False
Suppose -i = 5*a - 11, -4*i + 3*i + 7 = a. Suppose i = -7*y + 10*y. Let h(z) = 11*z**3 + 5*z**2 - 3*z - 4. Does 17 divide h(y)?
False
Let i(l) = 89*l**3 - 10*l**2 - 149*l - 32. Is 29 a factor of i(10)?
True
Let r(p) = 206*p**2 - 2*p. Let k be r(-2). Let f = 180 - 172. Suppose -f*q + k + 836 = 0. Is 26 a factor of q?
True
Suppose 9*a + 1174 + 1220 = 0. Suppose 2*o + 2*o - 3*u = 18, -4 = 2*u. Is 39 a factor of (-2 - a/(-6))/(o/(-9))?
False
Let v be 14 + -4*18/12. Let h(x) = 55*x - 92. Is h(v) a multiple of 63?
False
Let p = 4999 - 1678. Does 27 divide p?
True
Suppose -87 - 22 = -63*c + 395. Suppose 0 = -3*b + 6*b - 54. Suppose -b*m = -c*m - 740. Does 16 divide m?
False
Suppose -5*r + 58 = g, -r + 46 = 4*g - 148. Let u(d) = -12 + 3 - g*d - d**2 + 36*d. Is u(-7) a multiple of 3?
False
Suppose 0 = 5*n - 4*r - 5, -4*r = 4*n - n - 35. Suppose 3*z = -n*f + 773, -f = -2*z - 117 - 48. Is f a multiple of 32?
False
Suppose 45 = -5*g + 2*q, 5*g + 5*q + 18 + 27 = 0. Let p = g + 10. Is 16 a factor of (693/(-22))/(-1 - p/(-2))?
False
Suppose 64*b - 8932 = 126*b - 64*b. Is b a multiple of 7?
True
Is 67 a factor of 1/120*-12 - 67002/(-20)?
True
Suppose n = -2*z + 31709, 9*z + 63420 = 13*z + 4*n. Is 23 a factor of z?
False
Let j be -2 + -1 - (-13)/((-52)/(-216)). Suppose -46*i + j*i = 235. Let p = i + -10. Is p even?
False
Suppose -12 = -5*i + 4*a - 45, -27 = 5*i - a. Is 4 a factor of (-557)/i + (-9)/(270/12)?
False
Let f = -702 + 1062. Suppose 4*r + 4*r - f = 0. Let n = r + -29. Is 13 a factor of n?
False
Let q = -1101 + 3841. Is q a multiple of 13?
False
Let j(k) = k - 1. Let u(w) = 2*w - 3. Let f(q) = 13*j(q) - 6*u(q). Suppose 8*y - 3*y - 35 = 0. Is 12 a factor of f(y)?
True
Suppose -20*c + 12*c - 7*c = -388080. Is 168 a factor of c?
True
Suppose -13 = 5*y - 3*x, 4*x - 12 + 33 = -y. Let i(g) = -6*g**3 - 7*g**2 - 10*g - 7. Let u be i(y). Suppose 20*l + u = 26*l. Is l a multiple of 12?
False
Suppose -3*l + 5*m = 9, 4*m + 44 = -2*l - 2*l. Let z be 221/3 - l/(-12). Let q = -1 + z. Is q a multiple of 24?
True
Let n = 75 - 66. Suppose 0 = -4*v + 11 + n. Suppose 3*a - 129 = a + g, -141 = -2*a + v*g. Does 33 divide a?
False
Suppose 30*h - 23*h = 196. Suppose -428 = -h*r + 3604. Is 8 a factor of r?
True
Let n(v) = -v**3 + 4*v**2 + v - 7. Let q be n(5). Let l be (-110201)/(-63) + (30/q)/5. Suppose -6*o + l - 405 = 0. Does 32 divide o?
True
Is 20/10*(-6)/(-32) - (-367940)/160 a multiple of 50?
True
Let c = -66 - -56. Let u = 106 + -60. Is 5 a factor of (u/(-3))/(c/15)?
False
Suppose 12*y - 11*y - 145 = -d, 5*d - 20 = 0. Suppose y*f = 158*f - 850. Is 3 a factor of f?
False
Let h(g) = -12124*g - 351. Is h(-2) a multiple of 10?
False
Let l = 84 + -83. Let g be 484/154 + (2/(-14))/l. Suppose -10 = 4*y + y, -36 = -3*i - g*y. Does 2 divide i?
True
Let w(o) = 2*o**2 + o - 1. Let f be w(1). Suppose -3*j = -5*j + 2*s + f, -j - 7 = -5*s. Suppose -j*b + 95 = a, -5*a + 2*b + 43 = -347. Does 20 divide a?
True
Let w(b) = -b**2 + 74*b + 13. Let v be w(10). Suppose -2*l = -789 - v. Is 52 a factor of l?
False
Let u = 476 + 16726. Is u a multiple of 216?
False
Does 64 divide (76/(-57))/(2/(-90768)*4)?
False
Suppose 0 = -2*r + 5*w - 3*w - 50, 2*r + 4*w = -20. Let d be (-16)/r*(-20)/(-2). Suppose 870 = -3*t + d*t. Does 7 divide t?
False
Let y(h) = 534*h + 5104. Is y(14) a multiple of 170?
True
Let o(r) = -2*r**3 - 16*r**2 - 2*r - 3. Let q be o(-8). Suppose -q*i + 1799 = -255. Does 10 divide i?
False
Does 8 divide 2/10 + 29556/90*2?
False
Let n(t) = -4411*t - 1779. Does 65 divide n(-3)?
False
Suppose 58*g - 1880 = 56*g - 2*a, -g = 2*a - 936. Is 8 a factor of g?
True
Let m(i) = -i + 112. Let s be m(7). Suppose z = -s + 133. Is z a multiple of 3?
False
Let g be 5943 + (-8)/(8/3). Suppose -60*s = -71*s + g. Does 15 divide s?
True
Let j(z) = -z**3 - 27*z**2 - 65*z - 73. Let i be j(-25). Suppose -a - 3*a + 112 = 2*w, 5*w - i = a. Is 4 a factor of w?
True
Is 14 a factor of (4981 - (0 + -1)