 = 4*w - 125. Suppose -1092 = -w*g + 19*g. Is g a multiple of 14?
True
Let w = 1622 - -1106. Is 31 a factor of w?
True
Let i be -2*(-4)/(24/15). Suppose p + 3 = -i*b, -p - 13 = 3*b - 6*p. Does 14 divide 24/2 - -1 - b?
True
Let h(g) = g**3 - 5*g**2 - 4*g + 3. Let j be h(6). Let d = 35 - 16. Let z = d - j. Is 3 a factor of z?
False
Is 23 a factor of (-5 - 2)*(4 + 1636/(-14))?
False
Let g(f) be the third derivative of 0 + 0*f + 7*f**2 + 0*f**3 - 1/24*f**4 + 1/12*f**5. Is 13 a factor of g(-3)?
False
Let z = 248 + -118. Is 13 a factor of z?
True
Suppose -29 = -12*s + 19. Suppose s*z + w - 477 = 0, 3*z = -3*w - 0*w + 351. Does 24 divide z?
True
Is 8 a factor of (-14912)/(-4)*(-6)/(-84)*7?
True
Let y be 6/(-15) + (-42)/(-5). Suppose -4*o + y = -8. Suppose 3*h - 13 = h + 3*x, -o*x + 1 = -h. Is h a multiple of 9?
False
Let c be (0 + 13)/(2/8). Suppose -s = -l + 73 - 30, 4*s = l - c. Suppose -2*j - 6*v + 2*v = -l, -5*v = -3*j + 38. Is 4 a factor of j?
True
Let r(k) = 3*k**2 - 2*k + 8. Let y be r(-6). Is 2/(-16) + 1424/y a multiple of 2?
False
Is (-16482)/(-287)*14/3 a multiple of 31?
False
Suppose -2*l - 10*l - 1104 = 0. Let n = 19 - l. Does 22 divide n?
False
Suppose 0 = 5*h - 6646 + 1886. Is h a multiple of 68?
True
Let u be (2 + -2)*-1*1. Suppose 12 = -u*h + 4*h. Suppose h*o - 48 = -0*o. Is 16 a factor of o?
True
Does 41 divide (-14028)/(-9) - (-44)/(-66)?
True
Let r(h) = h**2 + 10*h - 11. Let l be r(-12). Suppose -10 = -4*z - 2*c, 2*z = 6*z - c - l. Let q = 25 + z. Does 4 divide q?
True
Let p(k) = -29*k + 1. Suppose 9*t - 7*t = 0. Suppose -2*v + 5*q + 3 - 19 = t, 8 = 4*q. Does 23 divide p(v)?
False
Let k(u) = 6*u**2 - 3*u - 3. Let h be k(-4). Let d be (-952)/(-6) + 9/27. Let a = d - h. Is 18 a factor of a?
True
Let q = -1302 + 2208. Is q a multiple of 10?
False
Let a(c) = 10*c**2 + c - 2. Let n be a(-6). Suppose 2*i - 64 = n. Suppose u - 5*u + i = 0. Does 13 divide u?
True
Let b be 4*((-3)/4 + 0). Let s be 5/15 - ((-128)/12)/4. Is 13 a factor of 1/b + 118/s?
True
Let z = -176 - -320. Does 36 divide z?
True
Let h = 350 + -18. Let w = h - 178. Is 22 a factor of w?
True
Let r(l) = l**2 - 43*l + 282. Let p be r(37). Let v = -7 + 15. Let k = p - v. Is 14 a factor of k?
False
Suppose -5*d = -2*d - 519. Suppose -2*f - 29 = -i + 22, -3*i = -f - d. Does 10 divide i?
False
Let k(z) = -z**3 + 6*z**2 + 2. Let v be k(6). Suppose -v*y + 4 = 10, 3*f = y + 354. Is f a multiple of 25?
False
Suppose -v + 1 = -20. Is 28*1/(v/36) a multiple of 8?
True
Suppose -2*b - 4 = 0, 2*m - 13600 = 2*b - 5460. Is 18 a factor of m?
True
Let y = -276 - -844. Is 4 a factor of y?
True
Let k(w) = 3*w**2 - 5*w - 9. Suppose d = -3 - 3. Let o(j) = j**2 + 6*j + 5. Let h be o(d). Is k(h) a multiple of 20?
False
Suppose -5*g + 2*g = 7*g. Suppose m + 1 = g, 0*v - 200 = -2*v - 2*m. Is v a multiple of 9?
False
Let i = 3 - 0. Let b = -11 + i. Does 6 divide ((-6)/b)/(7/168)?
True
Suppose 77 - 17 = 20*m. Suppose 2*p = 5*p + 9, 0 = -i - m*p + 3. Is i a multiple of 11?
False
Let s(p) be the third derivative of -p**5/60 - 3*p**4/8 + 2*p**3 - 12*p**2. Let o(l) = l**2 + 8*l + 7. Let v be o(-5). Is 20 a factor of s(v)?
True
Suppose h - 19*j + 22*j - 425 = 0, 2*j = -5*h + 2086. Is 52 a factor of h?
True
Let p(b) = -b + 1. Let w be (-2 - -10)/(6/(-9)). Let s(t) = -14. Let h(i) = w*p(i) - s(i). Does 19 divide h(3)?
True
Suppose 31*x - 10520 = 2252. Does 20 divide x?
False
Let r = 587 - 290. Does 11 divide r?
True
Suppose 10*l = -1283 + 7693. Is l a multiple of 4?
False
Let m(p) = 3*p**2 - 19*p + 8. Is m(8) a multiple of 24?
True
Suppose -3*z - 2 + 8 = -y, 4 = -2*y + 2*z. Suppose 0*h + h - 8 = y. Let n = h - -16. Does 12 divide n?
True
Suppose o - 2*n = -0*n + 74, 5*n = 4*o - 290. Is 13 a factor of o?
False
Let l(h) = -h**3 - 6*h**2 + 8*h + 18. Is 9 a factor of l(-9)?
True
Let c = -36 + -16. Let r = c - -162. Is r a multiple of 20?
False
Let y be -1*(-1 - 8/(-2)). Is 32 a factor of (-1)/3*y + (-3 - -194)?
True
Let d = 877 + -244. Is d a multiple of 21?
False
Suppose -1 = d - 13. Suppose 3*n + 5*t = 213, -t - 3*t + d = 0. Is 11 a factor of n?
True
Let y be (4/3)/(14/21). Suppose -2*z + 4 = 2*n, 7*z = y*z - 5. Suppose -4 = n*m - 40. Is 12 a factor of m?
True
Suppose 40 = -2*d - 14. Let r = -10 - d. Is r a multiple of 3?
False
Let h(o) be the first derivative of -o**5/20 - o**4/6 + o**3 + o**2 - 5*o - 7. Let z(i) be the first derivative of h(i). Is z(-4) a multiple of 6?
False
Suppose 649 - 5566 = -11*r. Does 39 divide r?
False
Does 29 divide -12*(-4)/(-8) + 64?
True
Does 14 divide (3 - -513)*(-1)/10*-5?
False
Does 25 divide (-3124)/(-18) - (160/(-36) - -4)?
False
Suppose -5*m - n = 2*n - 205, 94 = 3*m - 4*n. Suppose -4*q + 58 = 5*t, -q + 4*q + t = m. Suppose 32 = 2*o - q. Is 11 a factor of o?
True
Let j = -3 + 8. Suppose -j*y = -1738 + 48. Suppose t = 3*n + 72, 5*t - y = 5*n - n. Is 22 a factor of t?
True
Let i be 7 - 3 - 68/4. Let l = i - 11. Let y = l - -44. Is y a multiple of 10?
True
Suppose -u + 6 = -1. Let r(g) = 0*g + u - 3 - 6*g + 2*g**2. Is 8 a factor of r(5)?
True
Suppose 17*k - 20*k + 4*a = 8, -4*k = -a - 11. Suppose 0 = o + 4*r - 49 - 22, -r = -k*o + 199. Does 15 divide o?
False
Suppose 2*h + 12 = 4*l, 5*h + 3*l - 20 = 2. Suppose 2*v - v = h. Suppose 0 = -u - v*u + 66. Is u a multiple of 22?
True
Suppose 4 = 2*j + 8. Is 96/56*(-35)/j a multiple of 10?
True
Let z(n) = n**3 + 9*n**2 + 5*n + 3. Suppose 3*a + 2*h + 8 = 0, -h = -5*a - 0*h - 35. Is z(a) a multiple of 23?
False
Suppose -3*x - 4*r = -20 - 42, 62 = 4*x - 5*r. Suppose 0 = 16*v - 15*v - x. Is 18 a factor of v?
True
Is 27 a factor of (16 - -8)/12*837/2?
True
Let k = -19 - -21. Suppose -4*q - k*i = -4*i - 38, 2*q = 3*i + 9. Is q a multiple of 4?
True
Suppose a = 3, 2*q + 3 = -3*a + 4*a. Suppose -5*j = -2*j + 5*o - 107, q = j - 5*o - 9. Suppose c = -0*c + j. Does 18 divide c?
False
Let a(w) = w**2 + 10*w - 121. Is a(36) a multiple of 94?
False
Suppose -126*u = -136*u + 13120. Does 41 divide u?
True
Let i be 4/2*8/16. Suppose -4*m + 60 = -5*d, i = -m - d + 16. Does 9 divide m + (-4)/4*-3?
True
Let j = -162 + 256. Is 6 a factor of j?
False
Suppose 4*g = l + 3862, -8*g + 9*g - l = 964. Is 46 a factor of g?
True
Let i be (-2 - -6)*5/10. Suppose 78 = i*y + 6. Does 3 divide y?
True
Let m = 2209 - 852. Is m a multiple of 23?
True
Let o be 1 + -3 + 2/2. Let z be 1 - (2 + (-10 - o)). Let k = z - -1. Is k a multiple of 7?
False
Let w(o) = -o - 1. Let m be w(-5). Suppose m*x - 5*x + 187 = 0. Suppose -4*s + 92 = 2*v, -x = -4*v + 5*s - 10*s. Is v a multiple of 10?
False
Suppose 50*b + 190 = 740. Does 11 divide b?
True
Let z(v) = v - 14. Let c be z(18). Suppose 0 = n - c*d - 24, n - 5*n = -3*d - 83. Is 14 a factor of n?
False
Does 6 divide (8 + -9)*(-208 - (2 + 0))?
True
Let c = 1580 + -752. Is c a multiple of 12?
True
Let i = -53 - -62. Suppose 4*p = -i*p + 2743. Does 47 divide p?
False
Let k(o) = -1446*o + 99. Does 13 divide k(-2)?
False
Let n(y) = -y**3 - 10*y**2 - 3*y - 102. Does 45 divide n(-14)?
False
Let u(z) = -193*z - 209. Is u(-5) a multiple of 14?
True
Suppose 731 - 1976 = -15*h. Is 10 a factor of h?
False
Let h be -3 + 52 + 15/(-5). Suppose -2*q = -46 - h. Is 13 a factor of q?
False
Let b = 21 - 20. Let r be (-4)/(-1*b/40). Suppose u = -3*u + r. Is 10 a factor of u?
True
Let g = 3113 - 1865. Does 16 divide g?
True
Suppose -22*k - k = -50094. Is 58 a factor of k?
False
Suppose 3*u - 4 = 17. Suppose 4*l + 315 = u*l. Is 24 a factor of ((-114)/9)/((-14)/l)?
False
Let g(z) = -z**3 + 8*z**2 + 1. Let b be g(7). Let j(i) = i**2 + 6*i + 10. Let w be j(-5). Is w/(-15) + b/15 a multiple of 3?
True
Suppose 4*n - 12 = 8. Suppose 4*t - 110 = h, -5*h + 167 = n*t + 42. Does 27 divide t?
True
Suppose -4160 = -39*p + 31*p. Does 58 divide p?
False
Suppose -167 = 3*b - 1127. Is b a multiple of 20?
True
Let v(b) = -b**3 - 7*b**2 - 4*b - 1. Let j be v(-6). Let u be ((-6)/4)/(2 + 57/(-30)). Let m = j - u. Is m a multiple of 2?
True
Suppose -529 = -4*o + 3*a + 966, 4*o = 4*a + 1500. Does 10 divide o?
True
Let t(p) = -6*p + 51. Is t(6) a multiple of 8?
False
Let j(r) = r**3 - r**2 - r + 5. Let g be j(0). Does 13 divide 21 - g/(15/9)?
False
Let j be (0/(-1))/(3 - (2 + 0)). Suppose 9*y - 5*y - 304 = j. Does 24 divide y?
False
Let l(b) = 7*b**2 + b**3 - 5*b - b**3 + 2*