t i(y) = 14*y**2 + 2*y + 2. Let p be 1 + (-1)/2*-2. Suppose -3*j + 11 = -0*q + p*q, j = -q + 3. Does 13 divide i(q)?
False
Let x(v) = -v**3 + 8*v**2 - 7*v + 10. Let m be x(7). Let n(q) = q - 8. Let p be n(m). Is (-45)/(-18) + 1/p a multiple of 2?
False
Let z = -2520 - -3564. Is 58 a factor of z?
True
Let q = 26 - 23. Suppose 4*c + 134 = 2*k, -2*k = k - q*c - 189. Is 21 a factor of k?
False
Let t be 208/36 - 6/(-27). Suppose l = -0*l - s + t, 3*s + 62 = 5*l. Suppose 3*k = 2*b - 31, -2*b + k = 5*k - l. Does 5 divide b?
False
Suppose -4*t + 8 = -0. Suppose 2*x = h + 2, t = -3*h + 14. Let n(z) = 10*z - 1. Is n(x) a multiple of 8?
False
Suppose -27*z = -31*z + 24. Let h(d) = d**3 - 7*d**2 + 7*d - 6. Let w be h(z). Suppose -5*p + 102 - 32 = w. Is 9 a factor of p?
False
Let o = -66 - -141. Does 8 divide (-2)/1*o/(-6)?
False
Suppose 15*a - 2921 = 15994. Is 14 a factor of a?
False
Suppose -78*g = -84*g + 432. Does 5 divide g?
False
Suppose -5*v + 124 = 2*j - 9*v, 0 = -4*j + 4*v + 244. Does 41 divide j?
False
Is 6 a factor of 62/(-465) + (-16026)/(-45)?
False
Suppose 3*w - 5*l - 3 = -l, -2*l + 11 = w. Suppose -2*b - 25 = -w. Is 16 a factor of 6/b - (-3104)/40?
False
Suppose 5*b - 33 = -23. Suppose -3*y - p + 178 = 0, -4*y - 3*p - b*p = -241. Is 10 a factor of y?
False
Suppose 0*z + 4*z - 5*y - 1456 = 0, 5*z - 1820 = -3*y. Suppose -z = -4*m - 3*u, 5*u - 4*u - 4 = 0. Is m a multiple of 22?
True
Let f(n) = -n. Let h be f(-5). Suppose h*w + y = -y, 2*w + 11 = -3*y. Suppose -2 = t - 5*q + w, -30 = -3*t + q. Is t a multiple of 11?
True
Let w = 12 - 21. Let b be 3/w - (-10)/3. Suppose b*s - 5*c = 85, -3*s + 60 = s + 4*c. Does 6 divide s?
False
Let j(u) = -79*u + 113. Is j(-4) a multiple of 39?
True
Let n(h) = 2*h + 39. Let v be n(-10). Suppose 16*k = v*k - 87. Is 5 a factor of k?
False
Suppose -2671 = -5*c + 3*n, 0 = c - 4*n - 660 + 136. Is c a multiple of 23?
False
Let h(r) = r**2 + r - 12. Let g be h(-10). Let x(o) = o**2 - 16*o + 8. Let y be x(12). Let l = y + g. Is l a multiple of 19?
True
Suppose 0 = -3*o - 95 - 28. Let u = 1 + 0. Is u/(-3)*(o - -14) a multiple of 3?
True
Suppose 0 = -p + 3*b + 1453, p + 2*b - 1581 = -123. Is 7 a factor of p?
True
Suppose -3*l = 5*l. Suppose -3*w - 5*p + 8 + 21 = l, 30 = 2*w - 2*p. Is w a multiple of 8?
False
Let y(p) = p**3 - 27*p**2 + 17*p - 175. Let j be y(27). Suppose 2*a - 808 = -2*a. Let k = j - a. Does 27 divide k?
False
Suppose -y + 2*j = y - 14, -2*j - 8 = 0. Let u(r) = 13*r - 4. Let s be u(y). Suppose -d = -0*d - s. Is d a multiple of 12?
False
Let r(d) = d**3 - 5*d**2 + 6*d + 4. Let w be r(5). Let u be (-4)/(2 + w/(-18)). Is (-2 + 3)/((-2)/u) a multiple of 13?
False
Let i be 2*(-2)/3*(-2 + 5). Is 12 a factor of -21*(i - -3 - 3)?
True
Let l = -17 - -17. Suppose -d + 393 - 132 = l. Suppose -x - 5*g = -75, -2*g = -3*x - 5*g + d. Is x a multiple of 30?
True
Suppose 3*c + r = 1029, -4*r = -2*c - 2*r + 678. Is c a multiple of 18?
True
Let f = -68 - -74. Let y(t) be the second derivative of t**5/20 - t**4/3 - 4*t**3/3 - 2*t. Does 8 divide y(f)?
True
Let f be -17*(-6 + 4 - -1). Suppose 288 = -13*w + f*w. Is 16 a factor of w?
False
Suppose 136 - 18 = 2*j. Suppose -5*h + 208 = 3*a + j, 0 = -5*h - 2*a + 151. Is h a multiple of 3?
False
Does 60 divide (-7 + 4)/3 - (-3 - 238)?
True
Let q(b) = b**3 - 1. Let l(a) = -34*a**3 + 2*a**2 + 2*a + 6. Let f(k) = l(k) + 5*q(k). Does 10 divide f(-1)?
True
Suppose 25*l = 28*l - 960. Is l a multiple of 20?
True
Let t(x) = x + 16. Let p be t(-13). Suppose 14 = p*c - 1. Suppose 0 = -w + c*b + 73, 3*b - 238 + 55 = -3*w. Is w a multiple of 17?
False
Let n(c) = -8*c**3 + 7*c**2 + 1. Let l(p) = -p**3 + p**2 - p + 1. Let u(y) = 5*l(y) - n(y). Let v(z) = z**2 + 4*z - 29. Let j be v(-8). Is 16 a factor of u(j)?
False
Let z be -6 - (-5 - (-24)/(-6)). Suppose 0 = 2*b - 3*b + 4. Suppose 3*t - 167 = -w, z*t + b*w + 18 - 200 = 0. Is t a multiple of 9?
True
Let n be 2 - (2 - (-84)/(-4)). Let y = n - 7. Is 7 a factor of y?
True
Suppose 0 = -28*s + 27*s + 1247. Does 22 divide s?
False
Suppose 0 = 14*h - h - 2873. Is 13 a factor of h?
True
Suppose -4*s = q + 4*q - 109, 3*q - 64 = -s. Is 16 a factor of 1/7 - (-774)/q?
False
Let d be 12/16*4 + 12. Suppose 4*j - 10 = 3*n + 10, -3*j + d = 4*n. Suppose n = 5*t - 3*q + 5*q - 504, 0 = -q - 3. Does 27 divide t?
False
Let g be (35 + 13)*(-2)/(-4). Let n = g - 17. Suppose 6*r - n*r = -18. Does 18 divide r?
True
Suppose -4*p = -13*p + 369. Does 13 divide p?
False
Suppose 4*l - 5*a - 3 + 10 = 0, 0 = -l + 2*a - 4. Suppose -l*r = -3*r. Suppose -2*q + 17 = 3*x, -2*x - 5*q + 4 = -r. Is 4 a factor of x?
False
Suppose -2*v + 3 = 9. Let d(k) be the third derivative of -k**4/4 - k**3/3 - k**2 + 27. Is d(v) a multiple of 16?
True
Let h = 703 - 239. Does 58 divide h?
True
Suppose 5*n - 3834 = 891. Is n a multiple of 21?
True
Suppose 621 = -2*f + 3*v + 3189, -2*f = 4*v - 2568. Is 82 a factor of f?
False
Let l = -20 + 5. Suppose 3*x + 5*s - 4 = -169, 0 = 3*x - 4*s + 138. Does 3 divide x/(-3) - (-10)/l?
False
Let y(x) = -7*x**3 + 2*x**2. Let q be y(-2). Suppose -2*k - q = -6*k. Is k a multiple of 3?
False
Let n = 4 - -1. Suppose -5*r = -3*f - 15, 0 = -5*r + n*f + 8 + 7. Suppose r*x = 7*x - 32. Is 5 a factor of x?
False
Suppose 0 = -6*f + 5*f - 12. Let h = f - -12. Suppose h = -3*s - s + 152. Does 19 divide s?
True
Let i(d) = -2*d**2 - 136*d - 120. Is 48 a factor of i(-66)?
True
Let h = 23 - 94. Let i = h - -186. Is 28 a factor of i?
False
Let b(x) = -4*x**3 + x**2. Let j be b(1). Is 4*4/(j + 5) a multiple of 4?
True
Let b = 44 + 98. Let w = b - 44. Does 12 divide w?
False
Let g = 32 + -13. Let b = g - 11. Suppose -5*r = -b*r + 138. Is r a multiple of 15?
False
Let l be (-3096)/33 - 2/11. Let o = l + 166. Does 13 divide o?
False
Suppose 11*p = 5*p + 3822. Does 13 divide p?
True
Suppose -3*f = -4*q + 155, 5*q = 5*f + 281 - 81. Let u(k) = -k**2 + 8*k - 4. Let m be u(5). Let a = q - m. Is a a multiple of 12?
True
Let a be (4 - 1) + (0 - 0/6). Suppose a*k - 100 = -2*k + 4*i, 140 = 5*k + 4*i. Is k a multiple of 16?
False
Suppose -2*n + 63 = -225. Is 16 a factor of n?
True
Suppose 16 = 6*x - 2. Is 3 a factor of (x/(-5))/(-4 + 177/45)?
True
Let w(c) = -132*c + 20. Is 46 a factor of w(-8)?
False
Let i be ((-162)/(-21) - -2) + 10/35. Suppose n - 26 = i. Is 12 a factor of n?
True
Suppose -131 - 69 = -5*l. Suppose 0*j + l = 5*j. Is 3 a factor of j?
False
Does 84 divide 17641/14 - (240/224 - 1)?
True
Let z(o) = -o**3 + o**2 + 8*o - 7. Let u be z(3). Is ((-40)/(-80))/(u + 13/12) a multiple of 3?
True
Suppose 2*w - 28 = -12*w. Suppose 5*t = w*t + 756. Does 10 divide t?
False
Let d be 92/16 - (3 - 13/4). Suppose 0 = 8*m - d*m - 54. Is m a multiple of 18?
False
Is 19032/21 - (-50)/(-175) a multiple of 37?
False
Let u = 0 + -1. Let r = -34 - -32. Is 4 a factor of (-12)/((-3)/r*u)?
True
Suppose -3*b + 163 = 2*l - 253, 2 = 2*l. Is b a multiple of 6?
True
Let h(p) = -p**2 + 10*p + 25. Let n be h(11). Suppose 7*x = n*x - 798. Is x a multiple of 19?
True
Let k(j) = -10*j - 50. Let v be k(-5). Suppose -m = -4*w + m + 566, v = w + 3*m - 131. Is w a multiple of 14?
True
Let d = 1149 + -528. Is d a multiple of 27?
True
Let p(s) = -1. Let l(z) = z + 6. Let h(x) = l(x) - 2*p(x). Let v(a) = -5*a + 92. Let f be v(17). Does 15 divide h(f)?
True
Is 13 a factor of 4 + 3 + -3 + 317?
False
Let n(j) = j**3 + 42*j**2 + 78*j + 80. Is 5 a factor of n(-40)?
True
Let t = -8 - -4. Let w = -5 - t. Is 4 a factor of -2 - (w - -1) - -10?
True
Let n be (-30)/(-4 - (-130)/35). Suppose -5*d - 2*o = -234, 3*d + 3*o + n = 5*d. Does 6 divide d?
True
Suppose 44 + 63 = r + 3*a, -3*a = 4*r - 410. Suppose -r = -4*h + 55. Is h a multiple of 13?
True
Let d(u) = u**2 - u + 393. Does 35 divide d(0)?
False
Let o = -107 - -137. Is o a multiple of 3?
True
Let u = -16 + 14. Let j(y) = 41*y**2 + 3*y - 4. Is 22 a factor of j(u)?
True
Let z be -3 - 0 - (0 + -3). Suppose -5*h - 5 = z, -5*s - 6*h + 691 = -2*h. Suppose 0 = -3*b + s - 34. Does 11 divide b?
False
Suppose 17796 = -8*b + 20*b. Does 14 divide b?
False
Let l = 23 - 19. Let j be (29/(-2))/((-2)/l). Let a = j + 8. Does 8 divide a?
False
Suppose 2 = -5*y + 4*q, -3*q = -2*y - 0*q - 5. Suppose 6*n - 4*n - 104 = 2*s, -y*n = -4*s - 106. Let w = -15 + n. Is 6 a factor of w?
True
Let q = 15 +