1)?
False
Suppose 3*d - 7*d = -4*x - 6656, 11*x - 33 = 0. Does 23 divide d?
False
Let k = 348 - -12. Is 18 a factor of k?
True
Let v(k) = -k**2 - 8*k - 14. Let t be v(-6). Is (4/t)/(2 - 46/22) a multiple of 11?
True
Let n(g) = -371*g - 7. Let m(h) = -557*h - 10. Let j(b) = -5*m(b) + 7*n(b). Is j(1) a multiple of 43?
False
Let r = -20 + -49. Suppose 5*v + 21*m - 25*m + 158 = 0, 148 = -5*v - m. Let x = v - r. Is x a multiple of 13?
True
Let r(c) = -c**3 + 9*c**2 + 9*c + 11. Let d be r(10). Let l = d + 3. Suppose o - f + 229 = 5*o, 0 = 4*f - l. Does 19 divide o?
True
Suppose 0 = -3*w + 4*l - 17 - 9, -w + 3*l = 17. Let u(d) be the third derivative of -d**6/40 - d**4/24 + d**3/6 - 2*d**2. Is u(w) a multiple of 6?
False
Suppose -4*p + 15 - 43 = 2*x, 3*p + 7 = 2*x. Is (8/p)/(4/(-80)) a multiple of 4?
True
Let y(a) = 24*a**2 + 3*a. Let i be y(-2). Let f = i + -32. Is f a multiple of 20?
False
Let d(a) = a**3 + a**2 - 14*a - 6. Let m be d(-4). Does 8 divide 25/(-4)*-3*4*m?
False
Let n(m) = 40*m**2 + 3*m - 6. Is 31 a factor of n(-3)?
False
Does 5 divide (-7)/(-21)*(-12)/(-2) + 298?
True
Is ((-2)/(-3))/(68/4182) a multiple of 6?
False
Suppose 0 = -4*k - 3*u + 12, -u = -4*k + u + 32. Suppose 152 - 14 = k*v. Let l = v + 34. Is 13 a factor of l?
False
Suppose 29*l - 5*m = 27*l + 1833, -3*m - 4611 = -5*l. Is l a multiple of 66?
True
Let w(p) = -p**3 + 18*p**2 - 16*p - 17. Let k be w(17). Suppose -4*j = j - 2*v - 301, k = -4*j - 4*v + 224. Does 7 divide j?
False
Suppose 4 = -5*y + 14. Suppose 13*z = 7*z + 12. Does 11 divide y - (-19 + (z - 3))?
True
Let c(o) = 44*o**2 - o - 43. Does 78 divide c(7)?
True
Suppose 27*o + g = 22*o + 5863, -5*o - 5*g + 5875 = 0. Is 16 a factor of o?
False
Let k = -102 + 187. Let v = 639 - 697. Let s = k + v. Does 15 divide s?
False
Let g = 422 + -422. Let x be 2/10 + 9/5. Suppose 129 = 4*v + 3*q - 4*q, -x*v + 5*q + 69 = g. Is 9 a factor of v?
False
Let k = -25 + 83. Suppose n - k - 20 = 0. Let i = n - 41. Is 10 a factor of i?
False
Let a(k) = -k**3 - 2*k**2 - 3*k + 16. Is a(-4) a multiple of 6?
True
Let r be (3 - 19/5)/((-16)/(-40)). Let m be (0/2)/(-1) - -1. Is 7 a factor of (1/m)/(r/(-14))?
True
Suppose -5*o - 5*k = -0*k + 10, 0 = 3*o + 5*k + 16. Let b(d) = d + d**2 + o*d - d + 1 - d. Does 2 divide b(-3)?
True
Suppose 5*s - 23 = -43, 2*j + 10 = -4*s. Let r(n) = n**2 - 3*n - 3. Let p be r(-4). Suppose -j*x + 0 = -3, g + 4*x = p. Does 4 divide g?
False
Let i = -25 + 27. Suppose -5*q = i*v + v - 244, -2*v = -6. Suppose 4*f - f - 4*a = q, 0 = 5*f - 3*a - 60. Does 2 divide f?
False
Suppose 408 = 2*z + 80. Does 7 divide z?
False
Let i(a) = -155*a + 136. Is i(-4) a multiple of 18?
True
Let q be (-2)/(-6)*(-5 + 11). Let z = 6 - q. Suppose -285 = -3*g + 4*o - 79, 4 = z*o. Does 14 divide g?
True
Suppose -31 = 5*r + 4*l, -26 = r + r + 5*l. Let c(b) = -b**3 + 2*b**2 + 6*b + 7. Is c(r) a multiple of 9?
False
Suppose 98088 = -182*a + 206*a. Does 61 divide a?
True
Let w(d) = d**3 - 3*d**2 + 14*d + 24. Does 69 divide w(6)?
False
Let q = -58 - -60. Is (-1 + 0)*-106 + 4/q a multiple of 12?
True
Let j be ((-2)/(-2))/(2/4). Let r = j + -8. Let d(t) = t**3 + 7*t**2 - 3*t - 3. Is d(r) a multiple of 17?
True
Is 10 a factor of (65 - 1) + (4 - -2)?
True
Suppose -5*j + 12 = -8. Suppose 9*k - j*k = 395. Suppose k = 3*o - 140. Is 23 a factor of o?
False
Is 11 a factor of 18681/143 - (-8)/22?
False
Suppose -4 = -u + d, 0 = -4*u + 9*u - d - 20. Suppose -36 = 4*r - 4*z, u*r + 2*z = -2 - 4. Is 15 + r*2/(-8) a multiple of 16?
True
Suppose 11 = d + 2*a + a, -4*d = -a - 109. Suppose 41 + d = u. Does 20 divide u?
False
Let x(c) = -c**2 + 18*c - 11. Let g be x(14). Let b = -24 + g. Is 13 a factor of b?
False
Let q = -11 + 38. Let s(c) = 2*c + 8. Let n be s(-6). Is n/18 + 249/q a multiple of 9?
True
Let i = 857 + -576. Let n = -191 + i. Is n a multiple of 22?
False
Suppose 35*i = -14443 + 66103. Is 82 a factor of i?
True
Let v be 2/11 + 20/11. Suppose v*u = 4, 0 = h - 3*h + 4*u + 74. Does 11 divide h?
False
Let x be (-161)/(1/1*-1). Suppose -166 = -3*d + 5*b, -3*d - 2*b - 30 + x = 0. Is d a multiple of 5?
False
Let o(f) = -3*f - 1. Let c(q) = 3*q + 1. Let k(r) = 5*c(r) + 4*o(r). Let z be k(2). Suppose -i = -z - 25. Is 9 a factor of i?
False
Let p = 19 + -45. Let w = p + 55. Suppose 18 = 3*d + y + y, 4*d = -y + w. Is 2 a factor of d?
True
Let h(r) = r. Suppose -3*d - 9 = -0*d. Let z(i) = -i**3 + 9*i**2 - 2*i - 8. Let l(f) = d*h(f) + z(f). Does 11 divide l(7)?
True
Suppose 4*h - 4*c - 128 = -h, 3*h + 3*c = 93. Let r be (-6)/4*(-32)/6. Let o = h - r. Is o a multiple of 7?
False
Let a(t) = t**2 + 6*t - 3. Let g be a(-7). Suppose -111 = 4*i + c + 48, g*c + 196 = -5*i. Let p = i + 109. Does 23 divide p?
True
Suppose -30*o + 29*o - 1 = 0, 1715 = 3*c - 5*o. Is 10 a factor of c?
True
Suppose 128*j - 125*j = 708. Is j a multiple of 19?
False
Let p(o) = -o**2 + 13*o + 15. Let t be p(14). Let s be (-2)/4*-12*t. Does 2 divide (2/(-4))/((-1)/s)?
False
Suppose 8 = 2*p + 2. Let z(v) be the third derivative of 5*v**4/24 - 7*v**3/6 + 4*v**2. Is z(p) a multiple of 8?
True
Let v be (-13)/(-5) + 22/55. Suppose 15 = 5*y, -z = -2*z - v*y - 3. Is (4/z)/((-3)/513) a multiple of 19?
True
Suppose -5*j + 2*j = -5*n + 642, -5*j + 5*n - 1060 = 0. Let x = 300 + j. Is x a multiple of 13?
True
Suppose 0 = -0*w - 2*w + 10. Suppose w*k + 40 - 150 = 0. Is 11 a factor of k?
True
Does 7 divide 20/(-60) + 2816/6?
True
Let h(a) = 21*a**2 + 11*a + 70. Does 24 divide h(10)?
True
Let f be 10/(-8) - 2/(-8). Let q(y) = 11*y + 13. Let w be q(-7). Is 16 a factor of (5/10)/(f/w)?
True
Let y be 8/(-28) - 8/(-28). Suppose y*b = -4*b - q + 106, 4*b + 5*q = 98. Is 9 a factor of b?
True
Suppose 0 = -4*l + 20 - 4. Let c be 9/(l/(-6) - -1). Let y = c - -6. Is 14 a factor of y?
False
Let x = -658 + 1021. Is x a multiple of 13?
False
Let i be (-2)/8 + 549/(-12). Let u = i - -74. Is 12 a factor of u?
False
Let u(k) = -k**3 + 55*k**2 - 40*k - 176. Is u(54) a multiple of 4?
True
Suppose -22 = -3*m + 5*c, 0*c + 6 = 2*m + c. Suppose 0 = 2*a + m + 2. Let w = a - -7. Does 4 divide w?
True
Let n = -2 + 2. Let q be (-1168)/(-16) + (n - -1). Suppose -2*y + q = 4*i, -4*y + 0*i - 2*i = -118. Is 6 a factor of y?
False
Let c = -65 - -455. Is c a multiple of 39?
True
Suppose 15 + 0 = -5*c. Let b = c - -150. Is 46 a factor of b?
False
Let n(d) = 3*d + 1. Let m = -18 - -19. Let p be n(m). Suppose u = p*o + 13, 4*o + 49 = 6*u - u. Does 3 divide u?
True
Let y(v) = 25*v + 2. Suppose 0 = -4*f + 4, -4 - 4 = -2*l - 4*f. Is 4 a factor of y(l)?
True
Suppose -5*g - 24*p + 22*p + 3926 = 0, -4*g = -3*p - 3150. Does 11 divide g?
False
Suppose -s = 3*l - 880, -l + 920 = s - 6*l. Is 107 a factor of s?
False
Suppose -5*f - 3*s + 4241 = -5*s, 0 = -3*f - 2*s + 2551. Does 42 divide f?
False
Suppose -5*q - 40 = -q. Let i be (1 - -1) + q/(-2). Suppose -c + 17 + i = 0. Does 8 divide c?
True
Let i = 37 - 33. Let j(b) = b**3 - b**2 - 6*b - 4. Let m be j(6). Suppose i*v + 2*f = m, 5*v - 5*f - 108 = 37. Is v a multiple of 11?
True
Let d(g) = 3*g**2 - 5*g - 10. Let l = 5 - 9. Let t be d(l). Suppose 0*w - t = -2*w - b, 0 = 4*w + 3*b - 114. Is 15 a factor of w?
True
Suppose i - 22 = 3*n, 3*i + 2*i - 4*n = 55. Is 10 a factor of ((-100)/(-35))/(1/i)?
True
Suppose -4*r + 14 = -2*v, -v - v = 2. Suppose 2*a + q - 354 = 0, -r*a = -2*a + 3*q - 182. Does 16 divide a?
True
Let i = -147 - -189. Is i a multiple of 42?
True
Let v = 127 - 14. Is 7 a factor of v?
False
Let k = -342 - -481. Is 10 a factor of k?
False
Let b(j) = j**3 - 3*j**2 + 4*j - 4. Let v be b(3). Let x be v/(-20) + (-158)/5. Let k = -22 - x. Is k a multiple of 5?
True
Let g be 116/(-3) - (-4)/6. Let f = 20 + g. Is 123/(-2)*12/f a multiple of 24?
False
Let t be ((-3)/(-9))/((-2)/(-150)). Let b = t - -10. Is 4 a factor of b?
False
Suppose -b + 2 - 9 = -k, 2*k = -5*b. Is ((-624)/60)/(b/70) a multiple of 26?
True
Let t = -1941 + 1011. Does 25 divide (-2)/(-8)*-1 + t/(-8)?
False
Suppose 5*w = w + 12. Let v be w - (-8)/(3 - -1). Suppose 0 = v*g - 2*c - 124, g - 5*c - 13 + 2 = 0. Does 13 divide g?
True
Suppose -a = -w + 901, 0 = 2*w + 7*a - 3*a - 1772. Does 112 divide w?
True
Let n(r) = -r**2 + r + 1. Let s(p) = 3*p**2 - 5*p + 1. Let f(q) = -4*n(q) - s(q). Is f(-6) a multiple of 8?
False
Suppose 2*y - 6*y = 0, 2