*2 + 67*a + 355. Does 4 divide r(-23)?
True
Suppose -2*r - 4*a = -5*a + 28, r + 4*a = -14. Is (12/14)/(-3) - 2398/r a multiple of 4?
False
Suppose 0 = -6*v - 596 - 82. Let n = v + 350. Is n a multiple of 3?
True
Let c = 188 + -364. Let x(t) = 22*t + 228. Let v be x(8). Let q = v + c. Is q a multiple of 42?
False
Let w be ((-1)/1)/(-2*3/12). Let s be (w/1*4)/((-3)/9). Let i = 63 - s. Is 10 a factor of i?
False
Let k(j) = j**3 - 17*j**2 - 17*j + 14. Let i be k(18). Suppose 6*q = -i*q + 23370. Does 70 divide q?
False
Let q be ((-96)/160)/(2/(-50)). Suppose q*h - 2216 = 4054. Is h a multiple of 38?
True
Suppose -c + 4 = 4*a, -22 + 10 = -3*c - 5*a. Suppose 11*y = 14*y + c*m - 173, 0 = -5*y + 3*m + 269. Is y a multiple of 11?
True
Let b be 59/(-5)*2 + (-10)/25. Let c be (38/2)/(1 + b/27). Suppose -q + a + c = 0, 2*q = -5*a + 156 + 158. Does 17 divide q?
False
Does 12 divide (37552/3)/2*(-19 + 1598/68)?
True
Suppose -4764 = -d - 417. Does 83 divide d?
False
Let n = -58 - -63. Suppose 3*w = n*c + 109, 2*w - 81 = 3*c + 2*c. Suppose -4*d + 8 = -w. Is 5 a factor of d?
False
Suppose -11*b - 6*b = -289. Suppose 23*s - b*s - 798 = 0. Is 7 a factor of s?
True
Suppose 2*o + 4*j = 8746, -42*o + 21949 = -37*o - 4*j. Is 91 a factor of o?
False
Suppose 18 = 5*t + 4*t. Suppose 2 = -3*o + 2*o, -20 = 4*h - t*o. Is 15 a factor of 35*h/(-2 - 0)?
True
Suppose 4*a = t + 22673, -a - 11*t + 6*t = -5663. Is 26 a factor of a?
True
Let z = 37 - 37. Suppose z = -4*t + 4*s + 760, 12 = -4*s + 4. Let l = t + -68. Is 20 a factor of l?
True
Let r = 4145 + 947. Does 38 divide r?
True
Suppose -2 = 5*r - 17. Suppose 0 = -5*b - 2*c + 640 - 14, -r*b = 5*c - 368. Suppose -87 = -3*g + b. Is 15 a factor of g?
False
Let v be 4/(-36) + 28/9. Suppose -5*b - 2*s = -960, -4*s + 3*s = -v*b + 576. Does 16 divide b?
True
Let n = -84 + 84. Suppose n = -2*y + 150 + 152. Does 17 divide y?
False
Let s be -1 - 1 - (108 - 126). Suppose s*n - 543 = 641. Does 42 divide n?
False
Let x = -557 - -1161. Suppose 7*m - 10*m + 12 = 0, -x = -h - 4*m. Is 14 a factor of h?
True
Let c(i) = -i**3 + i**2 + 27*i - 16. Does 17 divide c(-11)?
True
Let j(f) = f**2 + 135*f + 3888. Is 9 a factor of j(-117)?
True
Suppose -4*c - 2*v - 30 = -2, 2*c - v = -10. Let t be 15/(-5) + c - -1. Let x(a) = a**2 + 5*a - 2. Is x(t) a multiple of 4?
False
Let o(k) = -2*k + 58. Let q be o(24). Does 37 divide (-6)/q + 37324/140?
False
Suppose -108560 = -55*c + 49849 - 48684. Is c a multiple of 3?
True
Let p(l) = l**3 - 26*l**2 + 52*l - 92. Let q be p(24). Suppose -q*g - i = -6*i - 257, -5*g = -3*i - 331. Does 2 divide g?
True
Let w = 245 - 240. Suppose -5*t + 3*b + 297 = 5*b, w*b = -3*t + 163. Does 15 divide t?
False
Suppose g + 3*f - 85 = 0, -f + 4*f = -2*g + 170. Let h = -41 + g. Suppose n - 2*z - 164 = -h, 0 = -4*z. Is n a multiple of 15?
True
Let r be 3/2 + ((-11)/(-2) - 0). Let u be 1/r + 9612/42. Let z = -159 + u. Is z a multiple of 4?
False
Does 73 divide 0 + 16349 - (76 + -79)?
True
Let w(i) = -i**2 + 4*i - 12. Let z be w(3). Let p = z + 12. Suppose -3*m + 7*m - 158 = y, p*y + 154 = 4*m. Does 12 divide m?
False
Let t be 2 + (3 - 1) - (-13 + -4). Suppose 0 = -v + 4*h + 405, -4 - t = -5*h. Does 85 divide v?
True
Let k(s) = -27*s**3 + 5*s**2 + 28*s - 33. Does 15 divide k(-7)?
False
Let m(b) = 51*b**3 - b**2 + b - 3. Let u be m(1). Suppose -3 + 13 = 5*d. Suppose -50 = -d*y + u. Is y a multiple of 7?
True
Let i(g) = -3 + 2 + 62*g - 5*g. Suppose 6578 = -20*v + 6598. Is i(v) a multiple of 7?
True
Let o(f) = -3660*f + 7988. Is o(-7) a multiple of 8?
True
Suppose -44*r + 280900 = 9*r. Does 16 divide r?
False
Suppose 3*q = 4*v - 74, -q + 0*v - 25 = -v. Let c = 29 + q. Let i(p) = 16*p + 19. Is 25 a factor of i(c)?
False
Suppose 8834 = 2*l + 340*k - 342*k, -2*l - 4*k + 8840 = 0. Does 94 divide l?
True
Suppose -2*m = m + 5*f - 10303, -m = -2*f - 3449. Is m a multiple of 37?
True
Suppose 5*a + 3*n = -0*a - 87, -a - 4*n = 14. Let c = a + 21. Suppose -m - 4*v = -c*m + 40, -4*v = 2*m - 24. Is m a multiple of 3?
False
Let z = 162 - 145. Let i = z - 12. Suppose -i*l + 3*m = 5*m - 35, 5 = m. Is l a multiple of 2?
False
Let w(g) = 279*g**2 - 84*g + 278. Is w(3) a multiple of 13?
False
Let a be 660/(-2) + 4/6*-3. Let n = 416 + a. Is 10 a factor of n?
False
Let y(c) = -87*c + 3. Let j(a) = -a - 3. Let f be j(-7). Suppose s = -f*b - 0*s - 1, -4*b - 19 = -5*s. Does 30 divide y(b)?
True
Let x = -400 - -645. Let w = x - 217. Is 2 a factor of w?
True
Let u(t) be the third derivative of -t**6/120 - t**5/20 - t**4/8 + 16*t**3/3 - t**2 + 16. Is 11 a factor of u(0)?
False
Let h be (0 - 0)/(-1) + 4 + 2. Suppose -h*p + 6 = -3*p. Suppose -5*z = -p*z - 27. Is z a multiple of 7?
False
Suppose 1 = 2*z - 13. Suppose -z*o + 875 = -2023. Is o a multiple of 18?
True
Let t = 15529 + -12313. Is 16 a factor of t?
True
Suppose -k = -4*k - 345. Suppose p + 427 = -4*p + 2*f, 3*p - f + 256 = 0. Let c = p - k. Is 15 a factor of c?
True
Let j(x) = x**3 + 69*x**2 + 145*x - 124. Is 44 a factor of j(-65)?
False
Is 17 a factor of ((-4)/(-8))/(1 + 1924553/(-1924570))?
False
Suppose 0 = -6*g - i + 70373 + 103082, 4*g = -3*i + 115653. Does 143 divide g?
False
Suppose f - 3*t = -65, 2*t + 3*t - 179 = 3*f. Let k = 125 + f. Is k a multiple of 18?
True
Suppose 0 = -2*x + 42*a - 40*a + 5902, 0 = -4*x + 2*a + 11802. Does 25 divide x?
True
Suppose 0 = -4*x - 4 - 36. Let d(j) = 21*j - 22*j + 26 - 28. Is 6 a factor of d(x)?
False
Suppose -21*m + 690690 = 45*m. Is 18 a factor of m?
False
Let q(f) = -f**3 + 5*f**2 + 5*f - 10. Let g be q(5). Suppose 0*b + b + m + g = 0, -2*m = -4. Let t = 19 - b. Is 9 a factor of t?
True
Let b be (2392/(-156))/((-1)/(-111)). Does 12 divide b/(-1) - 14/(0 - 7)?
True
Let y be (2 - -1 - 15/5)/(-2). Let n(b) = 596*b - 626*b + y - 13. Is 23 a factor of n(-4)?
False
Let q(j) = j**3 + 3*j**2 + j + 4775. Does 21 divide q(0)?
False
Suppose h - a - 136 = 2*a, -2*h = 2*a - 288. Suppose -h = -2*w - b, -w + 2*b - 140 = -3*w. Suppose 0 = -2*q + 3*u + w, q + q - 44 = -4*u. Is 13 a factor of q?
False
Let r = 16 + -8. Suppose r*j + 143 = 4327. Suppose -6*q - 163 + j = 0. Is 12 a factor of q?
True
Let a(v) = -2*v**3 - 4*v**2 - 4. Let i be a(-4). Suppose p = 3*u - 160, 2*u - 7*p + 9*p = 128. Let h = u + i. Is h a multiple of 29?
True
Suppose -4*y - 9 = 5*l, 3*l - 2*l + 1 = -y. Let i(r) = r**2 + r - 1. Let u be i(l). Suppose -79 = -a - u. Is 20 a factor of a?
True
Let b be (26/39)/((-2)/(-15)). Suppose 0 = 3*v - 3*x - 24, b*v + 34 = 10*v - 3*x. Suppose -322 = -v*k + 8. Does 22 divide k?
True
Let z = -2273 - -18344. Does 11 divide z?
True
Let w = 185 - 182. Suppose w*b - 1256 = -104. Is b a multiple of 32?
True
Let f(a) = -2*a + 45. Suppose 0 = 12*w - 154 - 14. Is f(w) a multiple of 17?
True
Suppose 4*n - 3175 - 2941 = 0. Is 64 a factor of n?
False
Suppose 3*x = 2*x - 5*k - 1, 4*x + 2*k + 22 = 0. Let w be (-2)/(-4) + x*(-5)/20. Suppose 0 = w*r + 4*r - 882. Is r a multiple of 21?
True
Suppose -271 = -4*d + 113. Suppose 3*q + 4*i = 186 - 59, -2*q + 3*i + d = 0. Suppose t = -2 + q. Is 5 a factor of t?
False
Is 14 a factor of 1*14/(-4)*(13 - (-143964)/(-12))?
True
Is -4*(-337)/8*(3 - -3) a multiple of 3?
True
Suppose 22 = 3*g + 8*g. Let p(f) = -f**2 + 36*f**3 + 7*f**3 + g*f - 1 + 17*f**3 + 0*f. Is 30 a factor of p(1)?
True
Let g(d) = 16*d**2 + 3*d - 10. Let q be g(2). Let h = -57 + q. Suppose -h*x = -8*x + 1250. Does 18 divide x?
False
Let f(t) = 55*t - 18. Let i(d) = 7*d**2 + d - 1. Let m be i(-1). Let j(x) = -54*x + 18. Let a(u) = m*j(u) + 4*f(u). Is a(-7) a multiple of 23?
True
Let s = -82 - -472. Let p = s - 194. Is 14 a factor of p?
True
Let y be 233*((-20)/(-14) - 33/77). Let r = y - 180. Is 5 a factor of r?
False
Is 142032/120 - 2/(-5) a multiple of 16?
True
Let f(l) = 2*l**3 + 10*l**2 + 2*l + 12. Let u be f(-5). Suppose 3*y + u*c + 2 = 32, 17 = 4*y - 5*c. Is (4/5)/((y/65)/4) a multiple of 13?
True
Suppose -19*y + 20*y - 108351 = -8*y. Does 5 divide y?
False
Suppose 0 = 4*y + 5*k - 108, -11*y - 2*k + 108 = -7*y. Suppose -2*p + 5*b = 2*b - 104, -p + 58 = -3*b. Let d = p - y. Is d a multiple of 3?
False
Let q be (28/49)/((9/21)/(-3)*2). Suppose 0 = -3*c + 4*m - 399, -c - c - 2*m - 280 = 0. Is (6 + q - 5)*c a multiple of 17?
False
Let o(s) = -12*s + 41. Let f be o(11). Let c = f + 32