Let c(d) = -d**2 + d - 1. Let w(j) = 6*c(j) - z(j). Let f be w(6). Suppose f*l - 36 = -3*x, 1 - 9 = -2*l + x. Does 5 divide l?
False
Suppose 114*h + 5724 = 141*h. Is 6 a factor of h?
False
Let k be (-2 - (-173)/3)*3. Let j(w) = -4*w - 24. Let z be j(-13). Suppose -g + k = -z. Is g a multiple of 17?
False
Suppose 0 = 3*m + 9*x - 10407, 10352 = 3*m + 3*x - 5*x. Is m a multiple of 22?
True
Suppose -7*d = 5*n - 2*d + 10, 0 = -5*n - d + 10. Suppose -n = -2*v - 7. Is 1/v + (318/4 - 4) a multiple of 21?
False
Let p(d) = 2*d**2 + 4*d - 50. Let x be p(0). Is (-1)/(-5) + (-8990)/x a multiple of 12?
True
Let j be 2*(-2 - ((-1114)/4 - 4)). Let r = 1101 - j. Is r a multiple of 10?
True
Let o = 648 + -623. Let h(k) = -k**3 + 6*k**2 - 7*k + 5. Let x be h(4). Suppose x + o = f. Does 16 divide f?
False
Suppose -2*a - i + 616 + 92 = 0, 2*a - 2*i = 702. Let c = 440 - a. Is c a multiple of 34?
False
Suppose -6 = g - 37. Let y(m) = 3*m - 35*m**3 + 3 + 0 - g*m**3 + 0. Is y(-1) a multiple of 22?
True
Let o = -57 - -62. Suppose 10*j - 9*j - 46 = -k, 0 = o*j + 4*k - 231. Does 2 divide j?
False
Let j be 0/(4*(-3)/4). Suppose 4*w - 435 + 147 = j. Is 6 a factor of w?
True
Does 4 divide (-2)/((-190)/(-19) - (-19488)/(-1948))?
False
Let u(c) = 10*c**2 - 8*c - 14. Let w(g) = g**3 - 11*g**2 + 8*g + 16. Let s be w(10). Does 5 divide u(s)?
False
Suppose 10*q - 8*q + d = 932, 5*q + 2*d - 2331 = 0. Let j = -287 + q. Is 17 a factor of j?
False
Let b be 2/2*-4*4/(-8). Suppose -z = -2*v + 20, -4*z + 28 = b*v - 9*z. Suppose v*u - 8 = 172. Is 4 a factor of u?
True
Suppose 0 = -11*t + 16*t - 15. Suppose 6 = t*l, 5*l = -4*f + l + 680. Does 10 divide f?
False
Let k = 270 - 225. Suppose 9*a = 8*a + k. Does 9 divide a?
True
Let q(z) = -32*z + 493. Is q(5) a multiple of 2?
False
Let z(u) = -10*u**3 - 3*u**2 + 3*u - 17. Let w be z(-4). Let i = -451 + w. Is 2 a factor of i?
True
Suppose 5*q + 85 = 3*x, x = -4*q - 0*q. Let w = 38 - x. Is (w/(-2) + 4)/(2/(-6)) a multiple of 5?
True
Let l(g) = -2*g**2 + 14*g - 8. Let d be l(6). Suppose 2*z = -5*x - 0*x + 43, -40 = -4*x + d*z. Suppose 151 = x*r - 227. Is 14 a factor of r?
True
Suppose 555*v - 195967 - 991074 = 799304. Is v a multiple of 4?
False
Let w be 1 - (4 + -2) - 24/(-4). Suppose 2*z - u - 20 = -3*z, -w*u = -5*z. Suppose z*y - 198 = 77. Is 9 a factor of y?
False
Let b be ((-56)/(-24))/(1/3). Let j be ((-14)/(-6))/b - (-88)/6. Suppose 21*l - 1104 = j*l. Is l a multiple of 46?
True
Suppose 33*x + 9900 = 51*x. Let s = -354 + x. Is s a multiple of 41?
False
Let o(i) = 42*i**2 - 10*i + 28. Let s(y) = -y**2 - y. Let j(t) = o(t) - 6*s(t). Does 14 divide j(3)?
True
Suppose r = 4*a - 95 - 793, -5*r - 5*a - 4315 = 0. Is (r/35)/(-1)*10/2 a multiple of 17?
False
Let k = -669 - -694. Suppose z - 4*s = 738, k = s + 30. Is z a multiple of 95?
False
Suppose -4*m - m - 37 = 2*h, 0 = -2*h + 3*m - 61. Let y = -20 - h. Does 5 divide (-1625)/(-150) - (-1)/y?
False
Let l = -13983 + 22727. Is l a multiple of 11?
False
Let x = -208 - -211. Suppose 0*b = x*b - 165. Is b a multiple of 2?
False
Let p = 5919 + -5691. Is p a multiple of 2?
True
Does 2 divide (7 - (-52)/(-8))*7214?
False
Let b(q) = q**2 + 8*q - 19. Let k be b(-10). Let w(i) = 124*i**3 - i**2 + 2*i + 1. Is w(k) a multiple of 9?
True
Suppose 4*q - 20 = w - 7, 2*q = 8. Let l = 775 - 742. Suppose -4*c = z - 52, -w*z - 2*c - l + 189 = 0. Is z a multiple of 28?
False
Suppose -3*v + 1606 = -5*b, 2*v + 1596 = -0*b - 5*b. Let f = b - -380. Does 3 divide f?
True
Let z(w) = -20*w**3 - 3*w - 3. Let r(p) = -27*p + 32. Let t be r(-3). Let m = -114 + t. Does 19 divide z(m)?
False
Let n(m) = 11*m - 1. Suppose 0 = 5*x - 20, 2*x + 7 = -3*f + 36. Let h be (-8 + 0)/(5 - f). Is n(h) a multiple of 23?
False
Let b(l) = 89*l - 197. Let k(q) = 30*q - 65. Let d(a) = -3*b(a) + 8*k(a). Does 26 divide d(-19)?
False
Does 90 divide -66*47*(208/260)/(18/(-105))?
False
Suppose 11*s - 236 = -93. Suppose -s*l - 4*l - 17 = 0. Does 17 divide 3 - (62/l - 3)?
True
Suppose 3*s - 2*s = 0. Suppose -3*i + c + 3*c + 26 = s, 0 = -3*i - 3*c + 12. Let p(g) = 3*g**2 - 3*g - 2. Does 22 divide p(i)?
True
Does 23 divide -2*(-1 - -50020)*(2 + (-299)/138)?
False
Let p(j) = -5*j**3 + 7*j**2 - 2*j - 27. Let z be p(-5). Let m = 219 + z. Is 49 a factor of m?
False
Suppose 6*d - 3*d + 246 = 0. Suppose -3*y - 2*r + 334 = 0, -9*y - 3*r = -5*y - 447. Let t = y + d. Is t a multiple of 12?
False
Let b(j) = 23*j - 3. Let r be b(3). Suppose -45 = -z - 2*z. Let i = z + r. Is 13 a factor of i?
False
Let u(c) = 13*c - 112. Suppose 9 = 8*v - 231. Is u(v) a multiple of 10?
False
Is 15 a factor of (-1)/(-2) + 292201/26?
False
Suppose 44*b + 32*b + 41*b - 92898 = 0. Does 5 divide b?
False
Suppose 44*q - 18*q + 9126 = 0. Let o = q - -383. Does 15 divide o?
False
Let c(o) = -9*o + 121. Suppose -4*l - 90 = 5*g, -117 = 4*g - 3*l - 14. Does 29 divide c(g)?
True
Suppose -g = -5*n + 1 - 4, -4*g = -n + 26. Let f = 10 - g. Let c(k) = -k**3 + 17*k**2 - k + 25. Is 3 a factor of c(f)?
False
Let q(d) = 5*d**3 + d**2 - 8*d + 54. Does 62 divide q(12)?
True
Suppose -36*g = 26*g - 20418 - 12442. Is g even?
True
Let n = -44 - -44. Let i be ((-207)/(-36))/((-1)/(-16)). Suppose n = -3*t + 97 + i. Is t a multiple of 9?
True
Suppose q + 4 = 0, 3*y + 3*q - 30722 = 8*q. Suppose -16*h + y = -3142. Does 21 divide h?
False
Let b(g) = -4*g - 32. Let i(k) = -6*k - 50. Let s be i(-7). Let r be b(s). Suppose 4*a - 933 - 75 = r. Is a a multiple of 18?
True
Let d be 54/81*(-24)/2. Let s = d + 50. Does 14 divide s?
True
Let l be 93/((-5)/5 - 0). Is 2 a factor of (1 - -1) + (9 - l)?
True
Let l(i) = 1062*i - 135. Is l(7) a multiple of 27?
False
Let c(z) be the third derivative of -3*z**4/8 - 9*z**3/2 + 79*z**2. Is 12 a factor of c(-11)?
True
Let p = 20 + 16. Let t = 40 - p. Suppose 3*s - 587 = -t*g, 3*s - 443 = -3*g - 2*s. Is 28 a factor of g?
False
Suppose -a = -3, -2*p = -5*a - 3374 - 1811. Is 104 a factor of p?
True
Suppose 2*d + 4*y = 7917 + 897, 4407 = d + 4*y. Does 2 divide d?
False
Suppose 4*u - p = -0*u + 4, 0 = 5*u + 3*p - 22. Suppose -5*c = -2*y - 48, u*y - 5*c + 2*c + 44 = 0. Is 8/(-36) + (-33)/27*y a multiple of 6?
False
Let w(h) = -4*h**2 - 11*h + 119. Let t be w(7). Suppose -o - 1086 = 2*o. Let u = t - o. Is u a multiple of 42?
False
Let g be 2/(-4)*70/(-7). Suppose -6*q + 2*r = -q - 8, 4*q = g*r + 20. Is 8 a factor of -26*(q + -1) - 5?
False
Suppose -10 = 10*r - 40. Suppose -2*i + i + r*c = -120, 2*c + 4 = 0. Does 6 divide i?
True
Let h = 396 + -402. Suppose 15 = -5*g, 0 = -4*s - 4*g + 2*g + 130. Is 7 a factor of (5 + h)*-1*s?
False
Suppose 5*w + 5*g = 0, 2*w - 2*g = 6*w - 4. Suppose -9 = -w*n + 5*n, j - 179 = 3*n. Suppose -x = r + 2*x - 85, 2*r - 2*x = j. Is 12 a factor of r?
False
Let a = 20638 - 11871. Does 28 divide a?
False
Let w = -3 + 19. Suppose -2*n - w = 10. Let b = 20 - n. Does 10 divide b?
False
Let o(n) = 22*n**2 + n + 27. Let j be o(10). Suppose j = 31*u - 832. Is u a multiple of 33?
True
Let b(l) = 261*l**3 + 0 - 12 - 4*l**2 - 20*l - 259*l**3 - 19*l**2. Is b(14) a multiple of 43?
True
Let z(s) = s**3 + 9*s**2 + 7*s - 2. Let i be z(-6). Suppose i = 4*d + 4*a, -3*a = -2*d - 0*a + 7. Suppose 4*y - d = 49. Is y a multiple of 15?
True
Is 18 + (7 - (-18 + -595)) a multiple of 3?
False
Suppose 2*j + 2*j = 12, 5*f - 3*j = -39. Is (f/(-5))/((-36)/(-1920)) a multiple of 24?
False
Let m(v) = -33*v**2 + 3*v - 2. Let h(b) = -68*b**2 + 5*b - 5. Let k(s) = 4*h(s) - 9*m(s). Is k(5) a multiple of 19?
False
Let y(s) = 269*s + 21635. Is 61 a factor of y(0)?
False
Let g be (66/(-4))/((15/(-4))/5). Suppose u - g + 20 = 0. Suppose w - 110 + 24 = 2*m, -u*m + 94 = w. Is w a multiple of 15?
True
Let c be (-329*4)/(-2)*32. Suppose -39*b + 7*b + c = 0. Is 42 a factor of b?
False
Let g(b) = b - 6. Let k be g(9). Suppose -k*l - 3*z = -l - 334, -3*l + 501 = 3*z. Is 9 a factor of l?
False
Let g = 283 - 277. Suppose g*c - 946 = -106. Is 9 a factor of c?
False
Let f(w) = -w**3 + 6*w**2 - 10*w + 87. Is 21 a factor of f(-17)?
False
Let z be 6 - 2/(1 + 1). Suppose -9 = -z*t + 1. Suppose -2*y - y = -j - 51, t*y - 26 = -2*j. Is 11 a factor of y?
False
Suppose -4*r + 2*p = -158876, r - 26461 = 3*p + 13253. Is 24 a factor of r?
True
Suppose 8*w - w - 175 = 0. Let a = 15 - w. Let j = a - -67. Does 11 divide j?
Fal