
False
Let i(d) = 1057*d + 14. Let q be i(3). Let p be 1/(q/1060 - 3). Suppose 0*s + p = s. Is s a multiple of 31?
False
Let q(f) = 29*f - 5 + f**2 - 62 - 12. Does 5 divide q(11)?
False
Suppose 4*o = -0*y + 3*y + 5, 0 = 5*o - y - 9. Suppose -6 + 432 = 10*r + 132*r. Suppose -5*s = 4*p - 1210, -r*p = 5*s + o*p - 1215. Does 14 divide s?
True
Suppose -4935 = -8*a + 1665. Let j be (-1 - -1 - 6)*a/(-110). Suppose -n = 4*k - 41, -5*n = -2*k - 3*k + j. Does 3 divide k?
False
Suppose -h + 19 + 32 = 0. Let v = -55 + h. Does 8 divide -2*v/(-4) + 98?
True
Let n be (124/(-93))/((-2)/3). Let u(s) = -6*s + 2. Let a be u(-3). Suppose -n*w + 28 = 5*j + w, 5*j - a = 5*w. Is 2 a factor of j?
False
Suppose -21*u = -30*u - 3078. Let m = u - -425. Is 3 a factor of m?
False
Let x = 1530 - 893. Suppose 0*l + o = -l + 317, o + x = 2*l. Is l a multiple of 18?
False
Let s(z) = -181*z - 1557. Is 36 a factor of s(-9)?
True
Suppose -29*i = -19*i - 6480. Let p = i + -371. Is p a multiple of 52?
False
Let r = -415 - -415. Suppose 4*j + 4*w - 476 = 0, -j + 3*w + 91 + 40 = r. Is 2 a factor of j?
True
Suppose -29 = -3*n + 58. Suppose -5*h + 2*o = -2346, -h + 494 = o + n. Does 39 divide h?
True
Let y(i) = 11*i**3 + 11*i**2 + 4*i - 10. Let x(d) = -13*d**3 - 11*d**2 - 4*d + 9. Let u(k) = 6*x(k) + 7*y(k). Is 52 a factor of u(7)?
True
Let z(x) = 4*x**2 + 5*x + 9. Let s(l) = -8*l**2 - 9*l - 19. Let v(m) = -2*s(m) - 5*z(m). Let c(r) = r**2 - r. Let d(w) = -5*c(w) - v(w). Is 17 a factor of d(7)?
False
Let k = 281 - 221. Is 181 + -1 - k/15 a multiple of 11?
True
Let v be 1*(-8)/((-16)/10). Suppose 4*y + 573 + 665 = v*r, -y + 1003 = 4*r. Is 27 a factor of r?
False
Suppose 9*g + 194504 = 91*g. Is g a multiple of 35?
False
Is 14 a factor of 28/(70/5) + 4064 + 12/3?
False
Let a(n) = 2*n**3 + 17*n**2 + 38*n + 3. Let h be a(-9). Let d = h + 660. Is d a multiple of 5?
True
Suppose 0 = -n + 24 - 21. Let g be 4/18 + (-10)/45. Suppose -2*p = -n*h + 494, 3*h - 484 = -g*h + 4*p. Does 28 divide h?
True
Let i(a) = 42*a**2 + 285*a + 21. Is i(-15) a multiple of 12?
True
Suppose d + r - 1 = 0, 2*r + 1 + 9 = 4*d. Suppose -5*n = 3*c - 699, -d*n + 9 = n. Is 22 a factor of c?
False
Is (-5 - -49)*(-3 + 79/2) a multiple of 12?
False
Let q = 20 - 13. Suppose q*j - 9 = 4*j. Suppose -2*o = 4*x - 266, -j*o = 2*x + 2*o - 153. Is x a multiple of 8?
True
Suppose 4*s - 4204 = -u, 4*s = -3*u + 1045 + 11511. Is 58 a factor of u?
True
Suppose 21*k + 2629 - 27976 = 0. Is k even?
False
Suppose -13*a - 4 = -14*a, -m - a + 5516 = 0. Does 104 divide m?
True
Let j = -5365 + 29308. Is j a multiple of 23?
True
Let w = 10104 - 2262. Is w a multiple of 8?
False
Suppose 566 = 5*d - 2*g + g, d + 4*g - 130 = 0. Let a = 416 - d. Suppose -946 = -6*i + a. Is 13 a factor of i?
True
Let p be (30/(-4))/((-18)/24). Let v be (-15)/(120/32) + (886 - 0). Suppose p*q = 3*q + v. Is 27 a factor of q?
False
Let n = 63 - 33. Suppose -n*l - 98 = -29*l. Does 24 divide ((-420)/l)/((-1)/(-28))?
True
Suppose 6 = l - 5*u - 2, 10 = 5*l + 5*u. Suppose -103 - 272 = -2*r - l*f, 9 = 3*f. Is 6 a factor of r?
False
Let j(p) = 24*p - 5. Suppose 0 = 3*q - 4 - 8. Let v be j(q). Let s = 159 - v. Does 12 divide s?
False
Does 214 divide (2/3)/((-318)/(-8266887))?
False
Let d(b) = 8*b**3 - 5*b**2 + b + 1. Let q be d(1). Suppose q*f = 25*c - 24*c + 297, 2*c + 174 = 3*f. Is f a multiple of 6?
True
Suppose 3*q - 9*n = 50202, -q - 66856 = -5*q - 4*n. Is q a multiple of 12?
False
Suppose -5*v = 3*j - 11, 5*j = -3*v - 4 + 17. Let m = -6991 + 6900. Is 13 a factor of (m + 3)*v/(-2)?
False
Suppose 0*t - t + 44 = 4*r, -t + 76 = -4*r. Let s = 96 + t. Let l = 222 - s. Is 22 a factor of l?
True
Let m(f) = -2*f**3 + f**2 - 4*f + 2. Let q(b) = -b**3 + b**2 - 1. Let t be (-4)/(-3)*(-2 + 5). Let a(z) = t*q(z) - m(z). Is a(-4) a multiple of 41?
False
Is (0/6 - (-45)/(-30))/((-3)/446) even?
False
Let k = -36 + 40. Is 6 a factor of (k - 8) + 18 - 4?
False
Let g = 756 - 765. Is 1997 - ((-12)/g)/((-7)/21) a multiple of 17?
False
Let k = -4 + 4. Let i be (-2)/(-5) + 2/((-30)/(-69)). Suppose -5*c + 5 = k, -i*c + 4*c = -z + 211. Does 28 divide z?
False
Let p(r) = -6*r - 133. Let q be p(-26). Suppose -2114 - 140 = -q*l. Is 7 a factor of l?
True
Let u = -3638 + 4085. Is u a multiple of 115?
False
Let y = 917 - 921. Let l be 2/8 - 17/4. Does 6 divide (l + 13)*(-2 - y)?
True
Suppose -2*i + 85 = w, 0 = 5*i - 7 - 8. Suppose w*c - 78*c = 2. Suppose 4*y = -j + 94, 2*j + 11 = c*y - 41. Does 12 divide y?
True
Let b(n) be the third derivative of 0*n + 10*n**2 + 0 + 2/15*n**5 - 1/120*n**6 - 11/6*n**3 + 11/12*n**4. Is 21 a factor of b(9)?
False
Let j be (-420)/(-45)*111/1. Suppose h + 3*h - j = 0. Does 9 divide h?
False
Let q(u) be the second derivative of -u**3/3 + 3*u**2/2 + 16*u. Let o be q(1). Is (-1 + 0)*89*o/(-1) a multiple of 10?
False
Let h = 77 + -66. Let n(c) = c**3 - 10*c**2 + 14*c + 5. Is 20 a factor of n(h)?
True
Suppose 4 = -4*j, 5*l + j + 3 - 2 = 0. Suppose l = u - 151 - 71. Let x = -91 + u. Is 16 a factor of x?
False
Let o = 3499 - 2467. Is 12 a factor of 14/77 + o/11?
False
Let n(x) = 4 - 6*x - 1 + 3 - 5*x. Let m = 9 - 17. Is n(m) a multiple of 13?
False
Let d = -8008 + 12078. Is d a multiple of 55?
True
Is 17 a factor of ((-58803)/(-68))/((-21)/(-56))?
False
Let z = -721 - -1061. Suppose 2*q - q = -3*p + z, 1035 = 3*q + 4*p. Suppose 3*d = s + 2*d - 69, 5*s - 3*d = q. Does 29 divide s?
False
Suppose 5*n = 3*l, -13 = -6*l + l + 4*n. Suppose 0 = 4*t - 4*v - 24, 27 = 2*t - 0*v - l*v. Does 12 divide (-1*(-12)/14)/(t/91)?
False
Let n = 10 + -5. Let l = 23 - -74. Suppose -n*t = -4*m - l, -2*t - m + 23 = -21. Is 12 a factor of t?
False
Let f(b) = b**3 + 11*b**2 + 5*b - 3. Let w = -18 + 12. Let c be f(w). Let x = c + -45. Does 34 divide x?
True
Suppose -10*d = d. Let o(j) = -j**3 + 8*j**2 - 7*j + 5. Let g be o(7). Is 5 a factor of 1 + d + 66 - g?
False
Let s(a) = 3*a**3 - a**2 - a. Let t be s(1). Suppose l + 62 = 3*n, 0 = n - 0*l - 3*l - 26. Suppose 0 = -i + 3*f + n, -4*f - t = 7. Is 4 a factor of i?
False
Let a be 6/(-7)*(-103 + -9). Suppose 4*u + 4*l = 128, -2*u - 3*u + 176 = l. Let b = a - u. Is b a multiple of 6?
True
Suppose 5*y - y - 3*r = 2490, 5*r + 2486 = 4*y. Let s = 873 - y. Suppose 4*c - g = -5 + 312, 0 = 3*c + 3*g - s. Is 13 a factor of c?
True
Let o = -496 + 496. Suppose o = 485*b - 482*b - 2919. Does 16 divide b?
False
Suppose f - 6*f + 3*c + 31 = 0, 5*f - 43 = -c. Let p be (-2)/((36/f)/(-9)). Suppose p*y - m = 254, m + 6 - 328 = -5*y. Does 8 divide y?
True
Is 4 a factor of 2114/(1*(-6)/(-14) + (-28)/(-49))?
False
Let k be 4/10 - 140/100. Let h be (14/(-2))/k - -4. Let o = 88 - h. Does 7 divide o?
True
Let o = 3398 - 1670. Suppose 2*q - o = -2*a - q, -a + 5*q + 838 = 0. Does 20 divide (-1)/(a/(-214) + 4)?
False
Suppose 79*m + 3*m = -14*m + 1147488. Is m a multiple of 35?
False
Let s(o) = 292*o + 2971. Is 4 a factor of s(-10)?
False
Let z(m) = -2*m**2. Let l be z(-1). Let q be ((-2934)/36)/(l/(-4)). Let f = q - -273. Does 24 divide f?
False
Let h(q) = 115*q**3 + 4*q**2 - 3*q + 1. Let c be h(3). Suppose -1142 = -15*s + c. Does 19 divide s?
True
Let a(c) = -c - 14. Let p = 88 + -98. Let g be a(p). Is -1*(-244)/g*(-1)/1 a multiple of 5?
False
Let k be (-210)/8 - 7/28*3. Does 55 divide 554*1 + (5 - k/(-3))?
True
Suppose 4*n = -2*x + 5806 + 4346, 0 = -2*x + 4*n + 10152. Is x a multiple of 94?
True
Is -6 + (8820 - (-6 - 13)) a multiple of 121?
True
Let g(p) = -p**3 + 19*p**2 - 16*p - 6. Let o be g(18). Let a = -100 - o. Is 2/(4/(-2))*a a multiple of 29?
False
Let x(l) = 39*l - 94. Is x(20) a multiple of 5?
False
Suppose 2*c = -s - 16, 4*c - 3*c - 5*s = -30. Let a be (c - -3)*(-3)/7. Suppose -b = b, 0 = -2*g - a*b + 86. Is 7 a factor of g?
False
Suppose 556*i - 126*i - 1619380 = 0. Is i a multiple of 2?
True
Let n = -73 + 70. Let y be (n + (-2 - 0))*(-748)/5. Suppose -9*l - 208 = -y. Is 20 a factor of l?
True
Suppose -s + 3*u = 4*u - 6, -4*s + 23 = 3*u. Let v be 5*4/s - (0 + -4). Does 15 divide (10 + 22)*58/v?
False
Is 42 a factor of (-1596)/5*2140/(-107)?
True
Let h(o) = 7*o - 24. Let a(b) = -b**3 - 9*b**2 - 13*b + 11. Let g be a(-7). Let s be h(g). Suppose -5*y - 80 = p - 4*p, 84 = s*p - y. Does 6 divide p?
False
Let p be 8/(-4) + (-158)/(-2). Let n = 7 + -61. Let l = n + p. Is l a