 = -133*c + 1. Does 34 divide h(-2)?
False
Let f(k) = 50*k**2 - 2*k - 17. Does 9 divide f(-2)?
False
Let x = 243 + -86. Does 20 divide x?
False
Let i(m) = m**3 - 6*m**2 - 23*m + 3. Does 16 divide i(11)?
False
Suppose -6*d = -2*d + 5*p + 3, d - 3 = -5*p. Let o be 4 - (d + (-66)/3). Is (-12)/o + 855/35 a multiple of 3?
True
Let l(p) be the third derivative of -p**5/60 - 3*p**4/4 - 5*p**3/2 + 45*p**2. Is l(-15) a multiple of 15?
True
Suppose 536 = 4*a + 8*n - 4*n, 0 = -4*a - 5*n + 532. Does 11 divide a?
False
Suppose 546 = 4*t - w, -t + 2*t = -w + 134. Let x = t - 38. Is x a multiple of 27?
False
Suppose 247 + 182 = s. Is s a multiple of 3?
True
Suppose 2*x - 423 = -4*k + 173, 0 = 4*k + 4*x - 592. Let i be 16/64 + k/8. Let g = i - -11. Does 15 divide g?
True
Let f = 2 - -5. Let a = f + -5. Suppose -3*h = -a*r - 11, -3*h - 3*r = -h - 29. Does 2 divide h?
False
Suppose v + 4 - 7 = 0. Suppose -5*w - 8 = -v*w. Is (-3)/(2*w/184) a multiple of 23?
True
Let h = 413 + -179. Is h a multiple of 13?
True
Let y = -283 + 411. Suppose -y = -5*f + 7. Is 18 a factor of f?
False
Let n(x) = -x**2 + 2*x - 14. Let y(r) = 4*r**2 - 5*r + 43. Let s(j) = -7*n(j) - 2*y(j). Let p be s(-6). Does 2 divide 33/44*(12 + p)?
False
Let d be (-9)/15 + 2652/(-30). Let a = d - -149. Is a a multiple of 4?
True
Let j(b) = -b**2 + 24*b - 25. Let u be j(22). Suppose -u*n + 1040 - 242 = 0. Does 20 divide n?
False
Let r(g) = 78*g - 928. Is r(19) a multiple of 10?
False
Let i(t) = -112*t**3 + t**2 + 8*t + 15. Is 48 a factor of i(-3)?
True
Let o be (5/10)/(2/8). Suppose o*j - 82 - 158 = 0. Suppose x = -3*x + j. Is x a multiple of 30?
True
Let h = 146 + -44. Suppose 6*l - 3*l - 4*o - 153 = 0, 2*l = o + h. Does 14 divide l?
False
Let n(c) = c**2 - 25*c - 283. Is 14 a factor of n(42)?
False
Let u(r) = -3*r - 16. Let p(x) = -6*x + 4. Let v be p(2). Is u(v) even?
True
Let o(u) = -4*u + 2*u + 4*u + 31 - 6*u. Does 19 divide o(-16)?
True
Let x(l) = -4*l + 20. Let p be x(4). Suppose 0 = u - p*u + 96. Is 2 a factor of u?
True
Suppose 107 = -s + 4*s - 4*m, 0 = 5*s - 3*m - 193. Let r = s - 23. Is 15 a factor of r?
False
Let b(z) = 25*z**2 + 10*z + 15. Let k be b(-6). Suppose -3*i - k = -8*i. Does 19 divide i?
True
Let c = -108 - -256. Is 10 a factor of c?
False
Let z = -17 + 17. Let d be (1 - (-1 + 0))*7/2. Is 31 a factor of z/d - (-63 - -1)?
True
Suppose -120*x + 720 = -100*x. Is x a multiple of 36?
True
Let d(t) = -8*t + 5. Let n(q) = 8*q - 6. Let s(i) = 3*d(i) + 4*n(i). Does 5 divide s(3)?
True
Let h be (14*16 - 1) + -3. Let d = -66 + h. Let i = -107 + d. Is i a multiple of 29?
False
Let q(f) = -57*f**3 - 16*f**2 - 8*f - 22 + 167*f**3 - 56*f**3 - 52*f**3. Does 17 divide q(10)?
False
Suppose -5*o + x - 16 - 30 = 0, 4*o + 4*x = -32. Let q(c) = 11 + 5*c - 139*c**3 - 7*c**2 - 5*c + 9*c + 138*c**3. Is 23 a factor of q(o)?
True
Suppose 7 = -5*w + 22. Suppose w*f = 33 + 30. Is 7 a factor of f?
True
Let u be (-7 + 10)/((-2)/(-796)). Let y be 2/(-5) - u/(-10). Let l = y - 67. Is 13 a factor of l?
True
Let q = -126 + 186. Is q a multiple of 10?
True
Let f(m) = -m**3 - 6*m**2 + 7*m + 16. Suppose 67 = -8*t + 11. Is 4 a factor of f(t)?
True
Suppose 25*u + 25*u = 50700. Is 17 a factor of u?
False
Suppose -7 = r + m, -6*r + 5*m - 25 = -r. Let q = r + -8. Let f(h) = -h**2 - 16*h - 14. Is 5 a factor of f(q)?
False
Let f(t) = -t**2 - 8*t + 24. Let w be f(-10). Suppose -w*c + 82 = 2*v, -78 = -6*v + 3*v + 3*c. Does 9 divide v?
False
Let j = -30 - -134. Is 7 a factor of j?
False
Suppose 32*i - 86 - 4522 = 0. Is i even?
True
Let j(c) = -12*c + 43. Let k be j(-11). Does 9 divide (-1)/(k/45 - 4)?
True
Let w be 110/20 - (-1)/(-2). Suppose -w*l + q = -36, -4*l + 6*l - 4*q - 18 = 0. Is 7 a factor of l?
True
Suppose 0 = 4*o + d + 8 + 12, 4*d + 16 = 0. Let b be o - (12/(-3) + 0). Does 15 divide 50 - 2*(-2 + b)?
False
Let o(k) = -k**3 + k**2 + k - 110. Let b be o(0). Is b/(-7) - (-52)/182 a multiple of 16?
True
Suppose -t - 3*t + 2*l + 346 = 0, -3*t - 3*l = -246. Let x = t - -115. Is x a multiple of 50?
True
Let b(a) = -45*a - 20. Let i be b(-6). Suppose -3*k = -i - 203. Is 22 a factor of k?
False
Suppose -5*s - d - 4*d + 30 = 0, d = -2*s + 8. Suppose -2*g = -0*g - 4, 2*y - s = -3*g. Is (10 + 1)/((-2)/y) a multiple of 9?
False
Let h(f) = f - 3. Let s be h(8). Let m be (-16)/s - (-7)/35. Is 7 a factor of (-9 - -6)*14/m?
True
Let p(i) = -i**3 + 2*i**2 - i + 1. Let m(k) = -k - 5. Let w be m(-6). Let s be p(w). Is (s - 2)/(2/(-38)) a multiple of 17?
False
Suppose 11*m - 3151 + 610 = 0. Is m a multiple of 3?
True
Let h(n) = 77*n - 188. Does 43 divide h(13)?
False
Let z = 14 - 8. Suppose -b + z = b. Suppose -45 = -b*k - 0*k. Does 8 divide k?
False
Suppose -8*q = -20 + 4. Suppose -a + 4 + 0 = 0. Suppose y = -3, -q*c - a*y - y + 57 = 0. Is c a multiple of 5?
False
Suppose -5*z = 4*l + 42, z + 4*z - 23 = l. Let c = l + 13. Does 3 divide 7 + 12/(c + -4)?
False
Let h(b) = -21*b + 1. Let d be h(-5). Let w = -25 + d. Is 27 a factor of w?
True
Suppose 5*y - 3 = 4*y. Suppose 3*p = y*f - 7*f + 634, 0 = 2*f + 3*p - 320. Is f a multiple of 14?
False
Let l = -75 + 283. Suppose 3 - 6 = -y. Suppose y*j - l = -j. Is 25 a factor of j?
False
Suppose 23*k - 3198 = -3*k. Is 20 a factor of k?
False
Let o be (-3596)/(-30) + 4/30. Suppose -2*h + o = -h. Is h a multiple of 16?
False
Let g be -10 - -12 - 4/(-1). Suppose 726 = g*r + 78. Let x = -77 + r. Is x a multiple of 12?
False
Let y = -977 + 1110. Does 15 divide y?
False
Suppose -3*g + 4 = -8. Suppose 156 = 3*y + 3*q, 0 = -g*y - 0*y - 3*q + 210. Let v = y + -34. Does 5 divide v?
True
Let r = -839 + 1021. Is r a multiple of 13?
True
Does 12 divide 26564/18 + (-70)/(-315)?
True
Does 4 divide (8420/(-6))/((-200)/240)?
True
Let v = 1685 - 822. Does 18 divide v?
False
Let m(v) = v**3 - 5*v**2 + v - 1. Let r be m(4). Let y = r - -23. Suppose s - 30 = 4*a + y, s - 22 = -2*a. Is 5 a factor of s?
False
Suppose 616 = 2*y - 2*s, -s = -2*y - 6*s + 581. Let j = -169 + y. Is j a multiple of 23?
False
Suppose 0 = a - 4, -2*a - 527 = 4*z - 43. Let c = -83 - z. Does 10 divide c?
True
Let i(c) = -c - 2. Let h be i(-2). Suppose h*r + 3*r - 9 = 0. Is 26/4 + r/(-6) even?
True
Suppose -4*n + 1637 = 5*k, 0 = -0*k + 5*k - 2*n - 1649. Suppose 989 = 5*u + k. Does 30 divide u?
False
Is 2/((-1)/(-42 - -4)) a multiple of 19?
True
Suppose 405 = 8*g + g. Let q = -31 + g. Is q a multiple of 9?
False
Let u = -824 + 1111. Is 9 a factor of u?
False
Suppose 548*b = 553*b - 900. Is b a multiple of 30?
True
Let a be (-2)/(-4)*(-5)/(5/2). Let o(q) = -13*q**3 - 1. Is o(a) even?
True
Let h(i) be the third derivative of i**4/12 - i**3/3 - 2*i**2. Let v be h(2). Suppose -2*a = -5*p - 169, v*a - 365 = -3*a + p. Does 19 divide a?
False
Let b(s) = s - 6. Let v be b(10). Suppose 0 = -3*m + 4*x + 158, -3*x - 206 = -0*m - v*m. Is m a multiple of 25?
True
Let p(s) = 4*s - 2. Let n be p(-9). Let z(k) = 13*k + 7. Let h be z(-5). Let a = n - h. Is 11 a factor of a?
False
Suppose -2*p + 5*o + 186 = -74, 3*p - 369 = -3*o. Let z = 182 - p. Is 19 a factor of z?
True
Let v(n) = -n + 19. Let c be v(-8). Let w = -27 + c. Suppose 112 + 17 = 3*h - 3*o, w = 5*h - 4*o - 218. Does 11 divide h?
False
Let t = -155 - -592. Does 16 divide t?
False
Let g = -17 + 24. Let z(h) = 3*h - 53 + 53. Is 5 a factor of z(g)?
False
Suppose 120*w - 1728 = 112*w. Does 36 divide w?
True
Suppose 0 = -7*y - 2*y + 6732. Suppose -4*d = -y + 104. Is d a multiple of 14?
False
Let a be 8/12*(-12)/(-1). Suppose -2*h + a = -2*b, 6*b - 2*b + 18 = 5*h. Is (8 - 1) + b + 5 a multiple of 10?
True
Let p be -2 + (2 - 0) - 4. Let u be ((-6)/p)/((-9)/84). Let y = 20 + u. Is 4 a factor of y?
False
Suppose 0 = 4*l - t - 21, -3*t + 14 = 3*l - 2*t. Suppose 85 = q - g, -l*q - g - 2*g = -433. Is q a multiple of 33?
False
Suppose -35*r - y + 164 = -30*r, -4*y = -2*r + 48. Is r even?
True
Let h(d) = -2*d**2 - 6*d + 4. Let l be h(-3). Suppose -l*n + 0*n + p + 780 = 0, 0 = -3*p. Does 39 divide n?
True
Is 29 a factor of -7 - (-7 - (-5688)/(-6))?
False
Is (-30)/300 + 6282/20 a multiple of 47?
False
Suppose -10*v + 757 = -2013. Is 19 a factor of v?
False
Suppose 4*u + 9704 = 4*m, 0 = -2*m + 4*m + 2*u - 4844. Does 101 divide m?
True
Let k(f) = -5*f**2 - 2*f + 1. Let o be k(1). Let r be (9 + -7)*o/(-4). Is r - (-2)