6)?
True
Suppose 3*i - 6*i + 5*f = -3579, 0 = -2*i - f + 2399. Is 74 a factor of i?
False
Suppose 0 = -4*i - 72. Let o = 9 - i. Does 16 divide o?
False
Suppose 2*q - 3*q - 182 = 0. Let w = 16 - q. Is w a multiple of 18?
True
Suppose -22 = x - 7. Let c(l) = l**3 + 16*l**2 + 19*l - 8. Let p be c(x). Let z = p + 114. Is z a multiple of 12?
False
Let n be 0*(2 - 28/12). Suppose n = -7*f + 13*f - 624. Does 13 divide f?
True
Suppose 66 = -4*a + 62, 3*f = 2*a + 2831. Does 146 divide f?
False
Let o(s) = -s**3 + s**2 - 1. Let m(f) = -5*f**3 + 10*f**2 + 2*f - 3. Let d(c) = m(c) - 6*o(c). Suppose -z = -24 + 27. Does 6 divide d(z)?
True
Suppose 50*l + 1680 = 58*l. Does 30 divide l?
True
Let q(x) = -5*x - 34. Let l(a) = -2*a - 25. Let k be l(-7). Is 12 a factor of q(k)?
False
Let s(o) = 43*o**2 - 1. Let l be 6/(-10) - 2/5. Let a be s(l). Suppose -u + 5*r = -a, 2*u - 3*r + 136 = 4*u. Is 16 a factor of u?
False
Let i(a) = -2*a**3 - 8*a**2 - 6*a. Is 30 a factor of i(-10)?
True
Suppose 0*n - 13*n = -13312. Is n a multiple of 16?
True
Let x be (88/4)/(4/12). Let h = 80 + -62. Suppose -4*t = -h - x. Is t a multiple of 7?
True
Suppose 7*m + 90 = 251. Suppose q - 99 = m. Does 49 divide q?
False
Let q(l) = -51*l + 63. Is 12 a factor of q(-7)?
True
Let n(t) = -25*t - 47. Is n(-3) a multiple of 2?
True
Let z = -982 - -2909. Is z a multiple of 21?
False
Let r(t) = t**3 - 4*t**2 - 23*t + 30. Does 26 divide r(11)?
True
Does 20 divide 38*(-55)/(-60)*2*3?
False
Let k(s) be the second derivative of 0 + 1/12*s**4 - 5/2*s**2 + 5*s + 1/2*s**3. Is k(-7) a multiple of 15?
False
Suppose -j = -1, 0 = 2*p - p + j - 170. Is p a multiple of 41?
False
Let i(h) be the third derivative of -h**5/60 - h**4/4 - 5*h**3/6 + 5*h**2. Let o be i(-5). Is (2 - 3)*(-21 - o) a multiple of 7?
True
Let r be (-210)/(-3)*(-16)/(-4). Suppose -13*g + 8*g = -r. Is 19 a factor of g?
False
Let p(a) be the third derivative of -5*a**4/24 - a**3/3 + 16*a**2. Is 12 a factor of p(-10)?
True
Let n(v) = v**3 - 12*v**2 + 18*v + 8. Suppose -6*y - 5 + 71 = 0. Does 13 divide n(y)?
False
Suppose 3*u - 260 = -z, 5*u + 5*z - 207 = 213. Let l = -12 + u. Does 19 divide l?
True
Let t = -1 + 5. Does 18 divide (t - 229)*(-1)/3?
False
Does 3 divide (131/(-5))/((-67)/335)?
False
Let g = 126 + -101. Let u = 1 + g. Does 6 divide u?
False
Suppose 7*n = 6*n. Let m(z) = z**2 - z - 3. Let s be m(n). Is (96/20)/(s/(-10)) a multiple of 4?
True
Let z = 21 + -13. Suppose -z*q + 709 = -1035. Let l = q + -141. Is l a multiple of 38?
False
Suppose 4*m - 2*h = 7366, -4*m + 24*h - 23*h = -7369. Is 35 a factor of m?
False
Let w = 1052 - 549. Is 16 a factor of w?
False
Let o(y) = -y - 3. Let k be o(5). Let a = k + 10. Suppose -1 = -a*l + 7. Does 4 divide l?
True
Let c be (-1146)/(-24) - 2/(-8). Let n = c - 34. Let a(w) = -w**2 + 17*w - 16. Does 13 divide a(n)?
True
Let c be (-5)/(-15)*6*182. Suppose 0 = -14*s + 1274 - c. Is 4 a factor of s?
False
Is 43 a factor of (-184)/115 - (-4539)/15?
True
Let v(k) be the second derivative of k**5/20 - 5*k**4/12 + 5*k**3/3 - 7*k. Does 12 divide v(4)?
True
Let t = 378 - -530. Is 29 a factor of t?
False
Suppose p = -3*w + 177, -6*p + 3*p = 2*w - 538. Does 18 divide p?
True
Let x(m) = 4*m + 16. Let g be x(-4). Suppose g*s = 9*s - 108. Is s a multiple of 4?
True
Suppose -34*i + 105 = -39*i. Is (-14)/i - 696/(-9) a multiple of 6?
True
Let h(r) = 2*r**2 - 22*r + 135. Is h(9) a multiple of 11?
True
Suppose 0 = 4*a - 3*s - 12009, -2*a + 3952 = 3*s - 2057. Is 77 a factor of a?
True
Let x = 393 + -102. Let w = x - 82. Is 11 a factor of w?
True
Let d(q) = -3*q. Let l be d(-1). Suppose 2*w - 5 = -l*w. Suppose 69 - w = 2*g. Is 17 a factor of g?
True
Let h = -367 + 1011. Does 28 divide h?
True
Suppose 4*v - 6*v + 26 = 0. Suppose 90 = -8*z + v*z. Is 21 a factor of (-12)/(-9)*z - 3?
True
Let v be (-5)/25 + 162/10. Let p = 23 - v. Suppose p = -5*s + 42. Is 2 a factor of s?
False
Let q(l) = -l**2 - 7*l - 5. Let i be q(-8). Does 37 divide (111/2)/(i/(-26))?
True
Let n = -2776 + 6380. Is 106 a factor of n?
True
Suppose -3*c + 26 = 2. Is 3 a factor of (12/7)/(c/84)?
True
Suppose 2*o - 430 = -4*z, 79 = 5*z + o - 460. Suppose -4*u + 96 = 3*w - z, -5*w - 4*u = -332. Does 32 divide w?
True
Suppose -10*k - 1955 = 7*k. Let i = 141 + k. Is 3 a factor of i?
False
Let d be (-6)/(-4)*(-140)/(-30). Let x be (-20)/(4/(-3 + d)). Let s = -4 - x. Does 8 divide s?
True
Suppose 133*r - 132*r - 703 = 0. Is 48 a factor of r?
False
Is 67131/36 + 4*2/32 a multiple of 81?
False
Let j(d) = 5*d**2 - d + 1. Let g be j(1). Suppose -g*y + 25 = 5*b, 4*b - 11 = -3. Let k(q) = -q**3 + 4*q**2 + 5*q - 2. Is 9 a factor of k(y)?
False
Let f be 65/26*(-16)/(-5). Let s = 34 - f. Is 13 a factor of s?
True
Let n = -30 + 39. Suppose -n = -g + 124. Is 16 a factor of g?
False
Suppose -5*l + t = 19, -l + 5*t - 1 = 2*t. Is 34 a factor of 33 + (-3)/(1 + l)?
True
Let z(i) = -5*i**3 - 14*i**2 - 5*i - 17. Let a(y) = y**3 - y**2 - 1. Let w(r) = 4*a(r) + z(r). Is w(-18) a multiple of 23?
True
Suppose -4*v + 3*u - 4 = -5, v + 5*u + 17 = 0. Let j(n) = 2*n**2 - 19*n + 25. Let y(z) = z**2 - 9*z + 12. Let h(d) = v*j(d) + 5*y(d). Does 10 divide h(7)?
True
Let f = 905 - 155. Does 75 divide f?
True
Let a(h) = 2*h**2 + 5*h - 6. Let l be (-6)/(-1) - (-14 - -16). Suppose -3*q + 15 = -3*s, -q - 38 = l*s - 13. Does 8 divide a(s)?
False
Let t(a) = -a**2 - a + 9. Let q(n) = 5*n**2 + 5*n - 46. Let h(d) = -2*q(d) - 11*t(d). Suppose -5*z + 14 = -16. Is h(z) a multiple of 16?
False
Let q(f) = -67*f + 7. Let p be q(-5). Suppose -4*d + 458 = -3*n, 3*d - 2*n - p = n. Is d a multiple of 28?
False
Suppose -5*m = -5162 + 292. Is 51 a factor of m?
False
Let k = 759 - 699. Is 20 a factor of k?
True
Suppose 1327 = 2*v + 5*f, 6*v - 3*f - 3333 = v. Does 6 divide v?
True
Is 13 a factor of 4/18 + (-10)/54*-3633?
False
Let h(o) = o**2 - 11*o - 20. Let r be h(13). Is 7 a factor of 1/((-8)/(-282)) + r/(-24)?
True
Let g(d) = 2*d**3 + 28*d**2 - 36*d - 10. Does 20 divide g(-14)?
False
Is ((-918)/(-108))/(1/132) a multiple of 72?
False
Suppose 3*j - 4634 = -3*p + 2665, 2*j - 4881 = 3*p. Does 84 divide j?
True
Let m = 6 - 0. Suppose 3*v - 5*w = m, -v - 3*v - 4*w + 8 = 0. Let f = v - -5. Is 4 a factor of f?
False
Let a(q) = -5*q**3 + 10*q**2 - 5*q - 8. Let h(n) = -4*n**3 + 9*n**2 - 5*n - 7. Let v(p) = 5*a(p) - 6*h(p). Is 12 a factor of v(-7)?
False
Suppose 4*x + 3*y + 11 = 0, -5*x - 5*y = 10 - 0. Is -4 - x - -1*84 a multiple of 25?
False
Let i(r) be the third derivative of 43*r**6/120 - r**3/6 + 11*r**2. Is 20 a factor of i(1)?
False
Is 37/(444/(-1656))*(-14)/6 a multiple of 8?
False
Suppose 0 = 5*v + 10*v - 4860. Suppose -3*n = -0*n - v. Does 18 divide n?
True
Let q = 13 + -8. Suppose q*z = -13 - 7. Let g = 2 - z. Is g even?
True
Let m(g) = -12*g + 144. Is m(-30) a multiple of 28?
True
Suppose 0 = -m - 1, -4*s + m = 2*m - 383. Does 48 divide s?
True
Suppose 6 + 6 = a - 2*z, 0 = 4*a - 5*z - 39. Suppose a*b + 630 = 8*b. Is 45 a factor of b?
True
Suppose t - 6 = -2*t. Suppose -o - 3 = 1. Is (-90)/o - t/4 a multiple of 22?
True
Suppose -42 = -2*u + 4*h, -h = -0*u - 2*u + 42. Suppose -2*i + c - 17 = 0, -i + 9*c = 7*c + 7. Let d = i + u. Is 4 a factor of d?
True
Let x = 27 - 25. Suppose -x*m - 9 + 149 = 0. Does 14 divide m?
True
Suppose -3*z + 382 = -2*y, 6*z - 144 = 5*z + 4*y. Is 9 a factor of z?
False
Let h(r) = -293*r + 83. Is h(-3) a multiple of 26?
True
Let v be (-32)/(-20) - (-6)/15. Suppose -v*b + 126 = -2*u, 2*b - 141 = 3*u - 4*u. Does 21 divide b?
False
Suppose 2*i = 2 + 4. Suppose 98 = r + t - 6*t, -3*t = -i*r + 282. Does 31 divide r?
True
Let g be 6*(-6)/(-216) + (-1378)/(-12). Suppose 120 = j - 3*h, -g = j - 2*j + 4*h. Is j a multiple of 15?
True
Let v(y) = y**2 + 3*y + 4. Let q be v(-3). Suppose -q = -n + 7. Is 7 a factor of n?
False
Let p(o) = o**3 + 2*o**2 - 12*o - 6. Let g be p(-5). Let b = -4 - g. Is b a multiple of 17?
True
Let i(d) = -2*d**3 - 7*d**2 - 3*d + 12. Let q be i(-5). Suppose -5*b = b - q. Does 8 divide b?
False
Let m(g) = 15*g - 129. Is 3 a factor of m(12)?
True
Is 19 a factor of (4 + -3)/(201789/20178 + -10)?
True
Let p(l) be the second derivative of l**5/20 + l**4/2 + 2*l**3/3 + 3*l**2 + 4*l. Does 22 divide p(-4)?
True
Let h be 93 + 1/(-3)*-3. Suppose 4*c + h = 6*c. Let z = 1 + c. Is