1. Does 3 divide z(r)?
False
Let b = -5 - -9. Let k(a) = -37*a**2 + 20*a**2 + 24*a**2 + 8 - 2*a - 2*a**3 + a**3. Does 13 divide k(b)?
False
Let l = 26804 - 6124. Is l a multiple of 44?
True
Let u be ((-30)/20)/(6/(-808)). Let n = u - 16. Does 35 divide n?
False
Suppose 0 = 32*t + 13*t - 26*t - 256804. Does 5 divide t?
False
Suppose q = 2*j + 20, -2*j - 4*q = -7*j - 44. Is (-3908)/j + ((-28)/6)/7 a multiple of 13?
True
Let h(x) = -18*x + 289. Let s be h(16). Let m(y) = 212*y**3 - y**2 + 8*y - 7. Is m(s) a multiple of 5?
False
Suppose 2*v = -23*x + 29*x + 16378, -2*v - 5*x + 16422 = 0. Does 59 divide v?
True
Let z(g) = g**2 - 24*g - 1. Let j be z(34). Let w = -231 + j. Is w a multiple of 18?
True
Let t(g) = -6 + 1 + 94*g - 300*g - 247*g. Does 64 divide t(-1)?
True
Suppose -61 = -4*j + 27. Suppose 3*w - j - 19 = 5*c, -5*c = 20. Suppose -5*b + w*b = 84. Is b a multiple of 14?
True
Suppose -11*f = -165 - 154. Suppose -4*i - f = -3*z, -4*z + 4*i + 12 + 24 = 0. Does 4 divide z?
False
Suppose -4*b + 3*b - 4*y + 134 = 0, 2*y + 464 = 4*b. Let t(m) = -9*m - 96. Let u be t(-11). Suppose -s - b = -u*s. Is 6 a factor of s?
False
Suppose -136*q = -41*q - 1125560. Does 62 divide q?
False
Let n be (2/1)/(-9 + 3 + 7). Let k be (50/(-5))/(n/(-24)). Suppose 3*g = -7*u + 2*u + 90, 0 = -4*g + u + k. Is 6 a factor of g?
True
Suppose 0 = 3*c - 2*t - 2930, 6*c - 3912 = 2*c + 4*t. Let m = c + 706. Is 42 a factor of m?
True
Let b(m) = 1344*m + 1963. Is b(18) a multiple of 20?
False
Let k(z) = 5*z**2 - 128*z + 1406. Is k(71) a multiple of 148?
False
Let a(b) = 155*b - 1093. Is 8 a factor of a(32)?
False
Suppose h + 293*j - 291*j = 15318, 5*h - 2*j - 76686 = 0. Is 41 a factor of h?
True
Let x(n) = 230*n**2 - 33*n - 121. Does 310 divide x(16)?
False
Let s(g) = 7*g - 22. Let n be s(4). Suppose 2*k + j = -17, -4*j + n*j = 6. Is 8 a factor of (8/k)/(6/(-4 + -56))?
True
Let b(c) = -23*c + 990. Is 70 a factor of b(32)?
False
Suppose 29*b - 55619 = 10617. Is 37 a factor of b?
False
Is 4 a factor of 8820/8*(-23)/((-1035)/36)?
False
Suppose 5*q - 4*a = 8957, 112*q - 109*q - 5364 = -a. Suppose -j - 105 = -q. Is 35 a factor of j?
False
Let z(t) be the second derivative of t**4/6 - 3*t**3/2 + 21*t**2/2 + 19*t. Let k be (6/9)/(2/27). Does 25 divide z(k)?
False
Suppose 0 = -v - v + 74. Let z be 17 + 3 + 45 + (-5)/1. Let d = z - v. Is d a multiple of 8?
False
Let g(o) = -o**2 - 7*o - 11. Let n(z) = z**2 - z. Let u(j) = g(j) + 2*n(j). Let l be u(11). Suppose 3*w = -l + 281. Is 10 a factor of w?
True
Let z = 1655 - 465. Does 108 divide z?
False
Suppose -5 + 2 = -o. Suppose -135 = -o*l + 90. Does 15 divide l?
True
Is ((-10520)/(-88) - -4) + (-12)/22 a multiple of 41?
True
Suppose -q + 1 = 3, 2*x = -4*q - 6. Let g(j) = 29*j**3 + 41*j**3 + 2*j**3 + x - 2*j + j**2. Is g(1) a multiple of 11?
False
Suppose -2*c + 6 = -6. Suppose -2*o + 130 = -c. Is 17 a factor of o?
True
Let y(h) = -17*h**2 - 48 + 16*h + 12*h**2 + 6*h**2. Does 12 divide y(-24)?
True
Let z(b) = -15*b**2 - 126*b + 551. Let y(s) = 3*s**2 + 25*s - 110. Let q(w) = 11*y(w) + 2*z(w). Does 73 divide q(10)?
False
Let t = -42 + 33. Let g(y) = -2*y**2 + 5*y - 8. Let i be g(t). Let o = i - -307. Does 23 divide o?
True
Let z(n) be the first derivative of 8*n**3/3 - 5*n**2 - 8*n + 30. Let x(g) be the first derivative of z(g). Is x(4) a multiple of 9?
True
Let w(n) = 690*n**2 - n - 1. Let b be w(2). Is 61 a factor of b/6 + 20/8?
False
Let m = -34685 - -58825. Is m a multiple of 57?
False
Suppose 23*f = -3*i + 21*f + 12086, 0 = 4*i + 5*f - 16110. Is i a multiple of 26?
True
Let l(j) = 9059*j - 7548. Is 56 a factor of l(3)?
False
Let p = -285 + 292. Is ((-780)/p)/(38/(-133)) a multiple of 10?
True
Let t(w) = 1922*w**2 - 103*w - 3. Does 51 divide t(-4)?
True
Is 13/(325/10) + (-21578)/(-5) + 4 a multiple of 54?
True
Let r = 61490 - 36421. Does 187 divide r?
False
Suppose 2*b - 6 + 10 = 0, 2741 = 5*v - 3*b. Does 11 divide v?
False
Let b(o) = -o**2 - 93*o - 1904. Let h be b(-62). Let u be 4/(-22) - 6472/(-22). Let v = u + h. Is 11 a factor of v?
False
Suppose 0 = 9*v - 53221 - 10499. Is v a multiple of 4?
True
Let p = 1393 + -749. Let v = 538 + p. Is 14 a factor of v?
False
Let j = 700 - 689. Suppose j*y - 41*y = -4530. Does 34 divide y?
False
Suppose a - 38917 = -4*g, 0*a = 5*g - 3*a - 48625. Does 19 divide g?
True
Let w = -3 - 54. Let g = 60 + w. Suppose -g*f + 7 + 68 = 0. Does 4 divide f?
False
Let v(x) = -25*x - 170. Let s be v(-7). Is ((-49563)/(-36) - s) + (-3)/4 a multiple of 39?
False
Suppose 0 = -31*q + 138014 + 87666. Is q a multiple of 56?
True
Let w(g) = -3*g + 29. Let s be w(9). Suppose 5*b - s*k - 75 = 3*k, -81 = -5*b - k. Is 23 a factor of (-319)/(-2) - (-24)/b?
True
Let l = -187 + 229. Let i = 186 - l. Is 49 a factor of i?
False
Let x = -295 + 306. Suppose x*k = 4*k + 784. Is k a multiple of 70?
False
Let q = -485 + 487. Suppose -h + q*i + 49 = -135, 4*h - i = 701. Is 10 a factor of h?
False
Let r = -163 - -163. Suppose 4*b - 4*k = 288, -6*b + 3*b - 2*k + 201 = r. Is 23 a factor of b?
True
Let z be (2 - 10) + 3 - (0 - 9). Suppose -3*m - 3*n + 1842 = 0, -n + 112 = -z*m + 2548. Is m a multiple of 22?
False
Let y = 23166 - 15126. Is 40 a factor of y?
True
Let m(u) = -5318*u**3 + 8*u**2 + 48*u + 39. Is m(-1) a multiple of 13?
True
Let o(y) = y**2 - 9*y + 11. Let c be o(8). Suppose c*z - p - 507 - 920 = 0, 5*p + 1899 = 4*z. Is 28 a factor of z?
True
Let b(p) = 15*p**2 - 2*p + 4. Let v be b(-4). Let a be 6/24 + 6/(-8) - 1812/24. Let f = a + v. Is 22 a factor of f?
True
Suppose 45*o = -40*o + 340. Suppose -646 = -2*g + 4*b, 0 = -4*g + 3*g - 2*b + 327. Suppose -3*i - o*f = -g, 0 = 2*f - 0*f + 10. Is 40 a factor of i?
False
Let c(k) = 47*k - 41. Let i be c(-7). Let n = i + 574. Is 17 a factor of n?
True
Let q(n) = -4*n**2 + 5*n + 12. Let v(p) = -3*p**2 + 6*p + 13. Let d(l) = 2*q(l) - 3*v(l). Is d(17) a multiple of 10?
False
Let h be (3 + -1)/2 + 32000. Suppose -11*y + h = 9011. Suppose -13*c + 3*c = -y. Is 39 a factor of c?
False
Let h be (66/5)/(12/210). Let k be 325/(-4) + (42/8 - 4). Let w = k + h. Is 35 a factor of w?
False
Suppose 389 = -5*c - 5*t - 696, t = 2*c + 437. Let i = 405 + c. Suppose i = 4*r - 9. Is r a multiple of 11?
False
Let r(p) = 2*p + 3667. Does 33 divide r(0)?
False
Let b be 6/10 - 154/(-35). Suppose -732 = -2*r - 2*h, -737 = -4*r + b*h + 700. Does 17 divide r?
False
Let s(z) = 90*z**2 - z - 146. Is 3 a factor of s(-8)?
True
Let i(g) be the second derivative of 5*g**4/12 - g**3/2 + 2*g**2 + 154*g. Is i(5) a multiple of 8?
False
Let x = -66304 + 114612. Does 10 divide x?
False
Suppose 4*y + 0*y - 9004 = 0. Suppose -11203 = -6*b - y. Suppose -6*p = -b + 16. Is p a multiple of 34?
False
Let j = -897 + 2768. Let s = j + -697. Is 18 a factor of s?
False
Let i = 1155 + -88. Is 67 a factor of i?
False
Suppose -33*v - 81144 = -70*v + 31*v. Is v a multiple of 28?
True
Let x be (-6)/10 - 0 - (-7)/(-5). Let q(z) = 50*z**2 - 4. Is q(x) a multiple of 7?
True
Suppose 3*q + 123 = 20*p - 17*p, 0 = -q - 2. Suppose 9*k + j = 11*k - 53, 3*j + p = k. Is 12 a factor of k?
True
Let z(w) = 3*w - 18. Let j be z(9). Let i be (0 + j)*(-116)/(-6). Suppose -y + i = -141. Does 35 divide y?
True
Let y = 2086 - 1419. Is y a multiple of 2?
False
Let h = -63 + 43. Let z be 2 + h/(-5) - 1*3. Suppose -z*f = -3*m + 111, -m - 3*f + 49 = m. Does 8 divide m?
True
Suppose 376*x - 5710980 = -133*x. Does 51 divide x?
True
Let y(a) = a**3 + 38*a**2 + 26*a + 17. Is 13 a factor of y(-34)?
True
Let k(p) = 2*p**2 - 14*p - 8. Suppose -2*w - 4*w = -54. Let z be k(w). Let u = z + 3. Does 10 divide u?
False
Let l(t) = 5*t + 20 - 10 - 12. Is l(11) a multiple of 8?
False
Suppose 2*r - 5322 + 10341 - 48335 = 0. Is r a multiple of 14?
True
Let k be (-234)/(-54) - 8/6. Is 9 a factor of 12*k/45 - (-1638)/15?
False
Suppose 0 = 30*l - 39 - 111. Let u(s) = 88*s + 160. Does 46 divide u(l)?
False
Does 224 divide 0 + 1 + 11205 - 30/(-35)*-7?
True
Is 38 a factor of -7*(-2 - (-40)/60 - 24430/6)?
False
Let o(f) = 39*f**3 + 6*f**2 + 10*f - 58. Is o(4) a multiple of 12?
False
Suppose 0 = -5*u + 3*n + 55108, -u - 5*n + 7717 + 3299 = 0. Does 78 divide u?
False
Let t(f) = 24*f**2 - 4*f + 1. Let p(b) = b**3 + 25*b**2 + 4. Let i be p(-25). Is 16 a factor of t(i)?
False
Let m = 50 + -44