6 = -m*i + 59, -i = -u - 34. Is i a multiple of 6?
False
Let w = -15 + 18. Suppose -n - t = -65, 5*n + w*t - 239 = 80. Is n a multiple of 22?
False
Suppose 3*l = 6*t - 10*t + 3855, t + 3*l - 975 = 0. Is 20 a factor of t?
True
Let i be 16*(-2)/4*(-28 - -7). Let d = -90 + i. Does 11 divide d?
False
Suppose 0*w + 4*w - 46 = r, 0 = -w + 5*r + 2. Suppose -130 = -2*g + w. Does 15 divide g?
False
Let g(w) = -w**2 - 7*w - 6. Let x be g(-6). Suppose -o - 2*r = -x*r - 31, o = -4*r + 21. Is 7 a factor of o?
False
Let o = 1 - -8. Let f be (0 + 4)/(o/198). Suppose 2*j - j = 2*q + f, 0 = 3*q + 12. Is 20 a factor of j?
True
Let s(f) = -f**3 - 11*f**2 - 13*f - 12. Let c be s(-10). Is 7 a factor of ((-63)/c)/((-2)/20)?
True
Let i = 3 + -8. Let h = 17 + -27. Does 2 divide (-3)/(-2)*h/i?
False
Let j(z) = -5*z**2 + 4*z + 1. Let n be j(-2). Is 0 + (-6)/27 + (-3867)/n a multiple of 13?
True
Let a(o) = -o**2 + 2*o + 5. Let f be a(0). Suppose f*p - 286 = 884. Suppose -27 + p = 3*i. Does 23 divide i?
True
Let w(h) = -10*h**3 - 6*h**2 + 3*h - 3. Let y be w(-3). Suppose -3*c + 105 = -y. Is 5 a factor of c?
False
Let h = -293 + 469. Is h a multiple of 8?
True
Suppose 0 = -j + 2*j + 6. Let m = -318 - -543. Is 19 a factor of j/(-4) - m/(-6)?
False
Let y(t) = -t - 1. Suppose -3*k - 10 = 14. Let b be y(k). Let n = 2 + b. Is n a multiple of 5?
False
Let n = -18 - -55. Let v = -15 + n. Is v a multiple of 8?
False
Suppose -5*p + 3 + 12 = 0. Suppose -p*y + y - 16 = 0. Is 10 a factor of (y/5)/((-2)/45)?
False
Suppose x + 14 = 98. Is 12 a factor of x?
True
Suppose 0 = 5*g + 2*p - 18, 14 = 3*g - 0*g - 2*p. Suppose 30 + 18 = -g*v. Is 151/5 + v/60 a multiple of 6?
True
Let i(h) = h**2 + h + 143. Is i(0) a multiple of 11?
True
Let d = 28 - 26. Suppose 5*p - 2*h = 2*h + 88, -3*p - h + 63 = 0. Is (d - -2)*65/p a multiple of 5?
False
Suppose -560 = 2*j - 7*j. Let f = -63 + j. Does 12 divide f?
False
Suppose -15 + 18 = 3*p. Is ((-105)/20 + p)*-56 a multiple of 14?
True
Let x(c) = -18*c + 2. Let h be x(-4). Let k = -32 + h. Suppose -6*v + 48 = -k. Is v a multiple of 9?
False
Let t be 918/21 + (-4)/(-14). Let k = -142 - -142. Suppose -n + 0*n + t = k. Is 22 a factor of n?
True
Does 21 divide 1 - (12/(-2) + -1*2649)?
False
Let y = 294 + -148. Let s = 182 - y. Does 15 divide s?
False
Suppose 54*u + 57846 = 161796. Does 77 divide u?
True
Let j = 7 - 3. Suppose w = 6*n - 4*n - 31, 4*n = j*w + 60. Is n a multiple of 8?
True
Let h(m) = 11*m - 2 + 5 + 1 - 2. Does 15 divide h(3)?
False
Let c(g) = 5*g**2 + 17*g + 21. Let z(v) = -2*v**2 + 10*v - 19. Let x be z(3). Does 44 divide c(x)?
False
Suppose 6 = 2*j + j. Let y be (-9)/18*j*10. Does 7 divide (-2)/10 - 212/y?
True
Is 14 a factor of (-144)/792 + -1*72606/(-33)?
False
Let s(q) = -2*q**2 - 12*q + 4*q**2 + 7*q - 3*q - 16. Is s(7) a multiple of 7?
False
Suppose 5*m + 2*y = 101, -5*y = 4*m - 29 - 62. Suppose -5*o - 83 + 18 = 0. Let k = o + m. Is 4 a factor of k?
False
Suppose 0 = 6*i - 4*i + 4*y - 90, 5*y - 54 = -i. Let s = 4 + i. Is 16 a factor of s?
False
Let k = 135 + -138. Is (2 - (-11)/k)*(-285)/19 a multiple of 5?
True
Let u = -969 + 1370. Is 23 a factor of u?
False
Let l = 75 + -38. Let y = l + 65. Suppose 3*b - 5*b = 2*u - 60, -3*b + 3*u + y = 0. Is 16 a factor of b?
True
Let p be ((-261)/(-6))/((-10)/(-80)). Suppose -l + 73 = -6*o + 2*o, -5*l + 3*o = -p. Is 23 a factor of l?
True
Let x(i) = 3*i**3 + 68*i**2 + 23*i + 5. Does 83 divide x(-21)?
False
Let i(v) = -2*v**2 - 4*v - 3. Let x(n) = -3*n**2 - 7*n - 5. Let j(p) = -11*i(p) + 6*x(p). Let a be j(-6). Does 9 divide (16/20)/(6/a)?
True
Let g(m) = 2*m**2 - m + 2. Suppose -21 = -4*r + r. Let u be g(r). Does 7 divide (3/(-9))/((-1)/u)?
False
Suppose 7383 = 6*k - 22941. Is k a multiple of 120?
False
Suppose -15*l + 7*l = -264. Is 3 a factor of l?
True
Suppose 288 = -3*u + 4*u. Is 36 a factor of u?
True
Suppose -3*b + 3884 = 17*q - 21*q, 4*q = -3*b + 3892. Is b a multiple of 50?
False
Let r be 3/12 + (-1)/4. Suppose u + 4*z = -3, -u - 3 = 2*z - r. Let t = 18 - u. Is t a multiple of 7?
True
Let d(g) = g**3 - 9*g**2 + 12*g + 4. Let t be d(7). Let q = -6 - t. Suppose 2*o + 38 = q*o. Does 16 divide o?
False
Suppose 3*r + 98 + 46 = 0. Let s = 0 - r. Is 16 a factor of s?
True
Suppose -1033 = 9*c - 3382. Is 3 a factor of c?
True
Let w(p) = -15*p - 125. Is 4 a factor of w(-25)?
False
Let h be 1/3 - 88/3. Suppose l = -3*q - 15, -3*q + 75 = -5*l + l. Let s = l - h. Is 9 a factor of s?
False
Let l(b) be the second derivative of -3*b - 17/2*b**2 + 1/2*b**3 + 0. Is l(12) a multiple of 10?
False
Let b = 182 - 76. Suppose 3*k - 308 = -251. Let y = b + k. Does 34 divide y?
False
Let d be 1364/6 - (-2)/3. Suppose -152 = -q - 3*w, -3*q + 258 = -w - d. Is q a multiple of 23?
True
Suppose 3*y - 20 = 2*y. Is (y/(-6))/((-44)/1386) a multiple of 35?
True
Suppose 5*t - 5*z = 3645, z = -3*t - 0*z + 2203. Is 8 a factor of t?
False
Suppose 3*f + 5*s - 5 = 0, 0*f + 40 = -4*f + 5*s. Let b(w) = 6*w**2 - 4*w + 12. Is 13 a factor of b(f)?
True
Let p = -9 + 14. Suppose 4*o - 3*i = -5*i + 386, 0 = 5*o - 2*i - 487. Suppose -4*l = 2*y - 140, -3*y + o = -p*l - 102. Does 34 divide y?
True
Let m(k) = -k**3 - 19*k**2 - 25*k - 139. Does 21 divide m(-19)?
True
Let f(i) = i**2 - 9*i - 20. Let q be f(20). Let w = -80 + q. Is w a multiple of 20?
True
Let a = 14 + -11. Let p(y) = y**3 + 3 + 5*y**2 - 2*y**a + 3*y - 9. Is p(4) a multiple of 22?
True
Suppose 13*b - 1801 - 19025 = 0. Is 66 a factor of b?
False
Suppose 0 = -2*j, -3*j + 277 = -s + 1264. Is 21 a factor of s?
True
Let b = -1516 + 2282. Does 12 divide b?
False
Let x be (5/(-1))/(2/2). Let k(s) = -3*s - 6. Let v be k(x). Is 8 a factor of (-3)/v - 50/(-6)?
True
Suppose 10*j - 1344 = 6*j. Suppose 0*p - j = -6*p. Does 25 divide p?
False
Let j(i) = i**3 + 9*i**2 - 12*i + 11. Let b = 49 - 58. Does 10 divide j(b)?
False
Let q(l) = -l**2 - 7*l - 2. Let h(k) = k - 12. Let a be h(7). Let z be q(a). Suppose -5*m + 140 = 2*s + 3*s, -m + 3*s = -z. Does 19 divide m?
False
Suppose -3*x = -6*x - 5*c + 417, -735 = -5*x + 5*c. Is 18 a factor of x?
True
Suppose 4*q + 3 = -n - 0*n, 0 = -3*q + n + 3. Suppose 4*b - 4*m - 12 = -3*m, -4*m = b + 14. Suppose q = 5*t - 27 + b. Does 2 divide t?
False
Let u(a) = -4*a**2 + a**2 + 6*a**2 - 5*a - 2*a**2 - 1. Is 7 a factor of u(9)?
True
Let d = 37 - 32. Suppose -2*r + d*q = 3*r - 635, 3*q - 494 = -4*r. Does 45 divide r?
False
Suppose -s - 9 + 12 = 0. Suppose -s*u + 6 + 0 = 0. Suppose -u*f = -0*f - 40. Is f a multiple of 8?
False
Let t = 3 - 1. Suppose t*f - 2 = 66. Does 34 divide f?
True
Suppose -6*h + 1048 = -212. Suppose -c + h = 4*c. Is c a multiple of 14?
True
Let m be 4/7 - (-48)/(-84). Suppose 2*v - 26 - 78 = m. Suppose -d + 4*d - 86 = b, 2*d = -2*b + v. Does 7 divide d?
True
Let k = 3 - 0. Let w(g) be the first derivative of -g**4/4 + 5*g**3/3 + g**2 - 3*g + 127. Is w(k) a multiple of 21?
True
Let s = 63 + 28. Is 20 a factor of s?
False
Suppose -3*y + 4 = -11. Suppose 2*n + 5*h - 9 = 2, y*n = -4*h + 19. Is n even?
False
Let v = 6 - -6. Suppose -5*j + 13 + v = 0. Is j a multiple of 3?
False
Let z(v) = v - 1. Let o(h) = 24*h - 20. Let p(r) = -o(r) + 16*z(r). Let j be p(-3). Suppose 3*m = 2*m + j. Does 14 divide m?
True
Let v(y) = y**2 - 13*y + 12. Let m be v(12). Suppose 0*h - h + 88 = m. Does 11 divide h?
True
Let o(p) = 3*p + 8 - 6 - p**2 + p**2 - p**3. Let w be o(-3). Suppose 2*b + 2*b - w = 0. Is 5 a factor of b?
True
Let r(y) = y**2 - 5*y + 10. Let b be r(4). Does 7 divide b/21 - 435/(-21)?
True
Let g(m) = -2*m**3 - m**2 - 2*m + 396. Does 66 divide g(0)?
True
Let v be 12/(-42) + (-1922)/(-14). Let i = -67 + v. Is 14 a factor of i?
True
Let g = 101 - 107. Let v = g + 52. Is v a multiple of 22?
False
Suppose 67*t - 71*t = -1404. Does 49 divide t?
False
Let t = 2477 + -1304. Is t a multiple of 51?
True
Suppose -2*o + 3*j + 1473 = 0, 4*j - 2155 = -3*o + 80. Is 3 a factor of o?
True
Let t(y) be the first derivative of y**3 - y**2/2 - 9*y - 112. Let k(f) = 6*f. Let m be k(-1). Does 35 divide t(m)?
True
Suppose 4*b + 13 + 67 = 0. Let v be (-2)/4*b/2. Suppose -v*z = -3*f + 12, -3*z + z - 21 = -3*f. Does 3 divide f?
True
Let w(n) = 3*n - 4. Let m be w(3). Is (m/2)/(16/928) a multiple of 19?
False
Let l(a) = -46*a + 2 + 39*a - 1. Let z be l(2). Let t = z - -81. I