Let c be o(4). Suppose -c*v = -2*v - 528. Suppose 5*t - v = -32. Does 10 divide t?
True
Suppose 0 = -2*j - 3*y - 5, -j + 5 = -y - 0*y. Suppose -d - 66 = -j*d. Does 6 divide d?
True
Suppose -2*k = g + 6, 0*k + k + 8 = 2*g. Suppose -4*b = 16, -g*b = -3*r + 62 + 51. Does 7 divide r?
True
Let g = -29 - -29. Suppose -5*n = -4*r - 186, g*n + 4*n - 2*r - 150 = 0. Is n a multiple of 19?
True
Suppose -4*g = y + 24, -3*y = 4*g - 0*g + 16. Let c be (7/g)/(2/(-108)). Let v = c + -30. Does 12 divide v?
True
Suppose -5*n - 75 = -2*h, -3*h + 3*n = -2*h - 39. Is (-1 - 147)*(-15)/h a multiple of 16?
False
Let x = 6 + -2. Suppose 3*r - 5 = -x*m + 59, -4*m - 2*r = -64. Is 2 a factor of (3/(-4))/((-4)/m)?
False
Suppose i + 3*i = r - 44, 0 = -4*r - i + 261. Let w be 1 - (7*-5 - 4). Suppose -5*z + r = m, m + 2*z - w = 9. Is 17 a factor of m?
False
Suppose -4*w + 1100 = 7*w. Suppose -4*k = i - w, k = -i + 3*i - 227. Does 28 divide i?
True
Suppose 2*t + s = 1343, -2*s - 219 = -3*t + 1799. Is 28 a factor of t?
True
Let f be (4 + -3 - 1)/2. Suppose 2*i - 4 = f, -3*u + 583 = 2*u - i. Does 20 divide u?
False
Suppose 9*r = -r. Is 8 a factor of 56 + (0 - -1) + r?
False
Let j be 260/(-3)*9/6*-2. Suppose 4*f = 3*z - j, -z = -f - 36 - 51. Is z a multiple of 22?
True
Let j = -2040 + 2076. Is j a multiple of 12?
True
Suppose 0 = -5*d + 2*d + 234. Let g = -42 + d. Is 6 a factor of g?
True
Suppose -234 = -q - 2*q. Suppose -3*k + 162 = -q. Does 16 divide k?
True
Suppose -17*j + 22*j = 35. Suppose 0 = -2*l + 4*o + 252, 0 = -j*l + 5*l + o + 261. Is 33 a factor of l?
True
Let z be 3*((-44)/(-12) - 3). Suppose 0 = -3*y + z*y + 4. Let i(m) = 2*m**2 - 5*m + 9. Is i(y) a multiple of 19?
False
Suppose 5*k = 47 + 33. Let o(l) = -l + 19. Let i be o(k). Suppose 3*r - r - i*s = 85, -2*r + 95 = -5*s. Does 24 divide r?
False
Let p(t) = -21*t + 9*t + 6*t + 10*t - 4 + 24*t**2. Is p(2) a multiple of 20?
True
Let f be 3 + (3 - (3 + 0)). Suppose -5*x + 156 = -f*x. Is 11 a factor of x?
False
Is 2 a factor of (46 + 4)/5*(-20)/(-4)?
True
Suppose -2*w + 10 = 3*w. Let p be ((-15)/(-9))/(1/(-24)). Is 3 a factor of ((-2)/4)/(w/p)?
False
Suppose 10*l - 5251 = 8279. Is 63 a factor of l?
False
Let v be (-3)/(-5) + (-223)/5. Let w = 20 - v. Does 8 divide w?
True
Let j = 1912 - 1840. Does 4 divide j?
True
Let p(g) = g**3 + 5*g**2 + 1. Let t = -9 + 4. Let j be p(t). Let r = 17 + j. Does 9 divide r?
True
Let b(k) = -3*k**2 + 17*k - 21. Let y be b(10). Let m = -46 - y. Suppose -m = -8*x + 3*x. Is x a multiple of 11?
False
Let y(x) = -x**2 - 73*x - 160. Is y(-38) a multiple of 10?
True
Let c(w) = 24*w**2 - w - 1. Let d(g) = 22 - 51 + 28 + 3*g**2 - 3*g**3. Let x be d(1). Does 8 divide c(x)?
True
Let p(w) = 3*w + 17. Let s be p(-5). Let y = 7 - s. Let r(b) = 4*b + 10. Does 13 divide r(y)?
False
Let h be (0 - 12)/((-8)/12). Let a = h + -25. Does 5 divide 216/21 + 2/a?
True
Is ((-762)/(-4))/(12/8 + -1) a multiple of 9?
False
Suppose 2*c - 1192 = -4*y, y = c - 626 + 18. Suppose 2*v - 671 = -4*j - 55, -v - c = -4*j. Is j a multiple of 19?
True
Let f(d) = 4*d**3 + 5*d**2 - 6*d + 2. Is 21 a factor of f(2)?
True
Let n = 147 - 147. Suppose n = 4*c + 2*m - 568, m - 4*m + 564 = 4*c. Does 48 divide c?
True
Let k(l) = 40*l**2 + 2*l - 12. Is k(4) a multiple of 12?
True
Let w be (-2)/((-1)/(4 + -3)). Suppose 0 = w*h - 3*h + 37. Is h a multiple of 15?
False
Suppose 0 = 21*b - 50422 + 7309. Does 93 divide b?
False
Let g = 144 + -85. Suppose 0 = 6*o - 4 - 2. Let j = g + o. Does 12 divide j?
True
Let k be (-160)/(-30) - (-1)/(-3). Suppose k*a = -5*w - 130, -5*w = 2*a - 0 + 46. Let m = -15 - a. Is 13 a factor of m?
True
Let l be 15/(-20) + 3/4. Let k(z) = z**2 - 3*z + 13. Is k(l) a multiple of 7?
False
Is 27 a factor of -4 - (-8*18 - -5)/1?
True
Let a(j) = -41*j + 1. Let p = -7 - -6. Let d be a(p). Let k = d - 23. Does 8 divide k?
False
Let t(b) = b**3 - b**2 - b + 1. Let c(n) = 4*n**3 - 9*n**2 + 1. Let s(i) = -c(i) + 3*t(i). Let p be s(5). Let a(r) = 4*r - 9. Does 27 divide a(p)?
False
Let n = 25 - 19. Let a = 2 - n. Does 15 divide 271/7 - a/14?
False
Suppose -p - 90 + 354 = 0. Let z = p + -136. Is 16 a factor of z?
True
Let p(u) = u**3 + 3*u**2 + 2*u - 6. Let c(d) = 2*d**3 + 5*d**2 + 3*d - 11. Let m(x) = 6*c(x) - 11*p(x). Let k = -38 - -43. Is 15 a factor of m(k)?
True
Suppose 2*m + 2*b - 240 = 0, m + 4*b - 120 = 2*b. Suppose 4*h - 364 = m. Let c = h + -36. Does 25 divide c?
False
Let j(q) = q**3 + 5*q**2 - 6*q - 4. Let s be j(-6). Let t(w) = -7*w + 3. Let o(f) = -7*f + 3. Let k(h) = s*t(h) + 3*o(h). Is k(5) a multiple of 16?
True
Let r(m) = -m**2 - 13*m + 4. Let j(g) = -g**2 - 14*g + 5. Let i(f) = 4*j(f) - 5*r(f). Let t be i(7). Let u = -69 + t. Is 24 a factor of u?
False
Let z(r) = 37*r**3 + 2*r**2 - 2*r + 1. Let t be 5 - 4/((-4)/1). Let n = 7 - t. Is 19 a factor of z(n)?
True
Let u = 247 + -137. Suppose -u - 114 = -8*t. Does 9 divide t?
False
Does 29 divide 6*639/(-6)*(-10)/15?
False
Let f be 20/5 - 0 - 1. Suppose 30 = 4*a - 3*t + 4*t, -2*a + 4*t = -24. Let x = f + a. Is 6 a factor of x?
False
Let v be (-10)/(-35)*(8 + -1). Let x be (2/v)/((-1)/(-2)). Suppose -g = 3*o - 39, x*g + 3*g - 5*o - 135 = 0. Does 10 divide g?
True
Suppose 0 = -5*s - s - 528. Let h = 158 + s. Is h a multiple of 10?
True
Let z = 1044 - 948. Is z a multiple of 6?
True
Let w(f) = 98*f**2 + 15*f - 2. Is 10 a factor of w(-2)?
True
Let d(f) = -f + 47. Let z = -29 + 32. Suppose 10 = 5*v, n - 4*n = z*v - 48. Is d(n) a multiple of 11?
True
Let g be (6/1)/12*(1 - -3). Suppose g*j + 0*j = 146. Does 30 divide j?
False
Let i(z) be the third derivative of z**5/15 - 25*z**4/24 + 16*z**3/3 - 5*z**2. Let d(q) = -q**2 + 6*q - 8. Let l(c) = -9*d(c) - 2*i(c). Does 8 divide l(7)?
False
Suppose -192*d = -206*d + 4200. Does 12 divide d?
True
Suppose -q = -2*r - r + 10, 0 = -2*r + q + 8. Suppose -4*c = -5*h - 146, 3*h = r*c - 2*h - 68. Is 17 a factor of c?
False
Let f(s) = s**3 + 8*s**2 - 17*s - 8. Let p be f(-9). Suppose -2*o - 55 = -c, -c + 6*o - o = -p. Is 10 a factor of c?
False
Let l(n) = -n**3 - n**2 - 15*n - 8. Is l(-6) a multiple of 17?
False
Suppose -a = -155 - 96. Is a a multiple of 34?
False
Let t(o) = 2*o**2 + 4*o + 2. Let c be t(-3). Let k(f) = -3*f - 7. Let z be k(-11). Let w = z + c. Does 17 divide w?
True
Suppose m + 3 = t - 5, t = 2*m + 11. Suppose -4*o + 5*v + 19 = 0, t*v = -4*o + 23 + 6. Suppose -f = -o*f + 105. Is f a multiple of 12?
False
Let z(j) = -22*j + 20*j**3 + 18*j + j**2 + 0*j**2. Is z(2) a multiple of 34?
False
Suppose 13*h = 33*h - 960. Does 14 divide h?
False
Let o(p) = 3*p**3 - 10*p**2 + 3*p - 13. Let s(b) = b**3 + b. Let y(c) = o(c) - 2*s(c). Let i be y(10). Is 2 a factor of ((-1)/i)/((-2)/(-30))?
False
Let b = 639 + 121. Does 76 divide b?
True
Let m = 10 + -42. Let u = 83 + m. Does 11 divide u?
False
Let z = 775 - 307. Does 13 divide z?
True
Let q be 8/(-10) + (-3819)/95. Let x = -151 + 224. Let w = x + q. Does 16 divide w?
True
Suppose -353*n + 358*n - 8960 = 0. Does 56 divide n?
True
Let s(g) = 10*g. Let u be 24/(-6) + (-11 - 2). Let x be (-5)/(-1) + 51/u. Does 20 divide s(x)?
True
Suppose -c + 326 = 4*p, 5*p - 1936 = -4*c - 687. Does 9 divide c?
True
Suppose -73746 = -101*h - 17691. Is h a multiple of 15?
True
Suppose 3*a = -5*l + 5, 0*a - 5*a + 2*l = -29. Let q be (1 - 0)/1 - a. Does 17 divide q/(-6) - (-1176)/18?
False
Suppose 6903 + 12078 = 19*d. Is 37 a factor of d?
True
Let j = -62 - -34. Let s = j + 79. Does 14 divide s?
False
Let h = 593 + 98. Is h a multiple of 25?
False
Suppose 2*d - 5*d + 1 = f, -5*f - 15 = 5*d. Suppose -2*j = d*j - 48. Does 12 divide j?
True
Let i(a) = a**2 + 3*a - 2. Let r be i(-5). Suppose 0*b - 4*b = -2*y + 8, -r = y + 4*b. Suppose y*c = -c + 12. Is 6 a factor of c?
True
Let b be 1/12*-2 + (-1019)/6. Let u = 50 - b. Is 44 a factor of u?
True
Suppose -o = -3*v - 0*o - 32, -3*o + 30 = -3*v. Let w(m) = -8*m + 32. Is w(v) a multiple of 24?
True
Suppose v - 181 = -5*n, 121*v - 116*v - n - 801 = 0. Is 41 a factor of v?
False
Let v(b) = 23*b - 87. Is v(21) a multiple of 36?
True
Let x(l) = -2*l**2 + 9*l - 4. Let d be x(7). Let g = 91 + d. Does 13 divide g?
True
Let l(g) = -7*g**3 + 8*g**2 + 4*g - 14. Let i(y) = -13*y**3 + 16*y**2 + 7*y - 27. Let h(a) = -6*i(a) + 11*l(a). Let r be (-1)/((5/8)/(-5)). Does 24 divide 