 = 14 - 11. Suppose 2*b - 38 - 332 = -w*o, 4*b = 3*o - 340. Suppose -o = -5*h - 15. Does 21 divide h?
True
Let j(z) = 2*z + 29. Let p be j(-14). Is 2 a factor of ((-28)/(-42))/(p/81)?
True
Let t = 109 - 75. Let m be 5*(2/5 + t/(-10)). Does 31 divide 62/15 + -4 + (-1108)/m?
False
Let s be ((-6)/(-12))/(1/(-2)). Let m = 4 + 2. Does 3 divide s/(-1)*(11 + m)?
False
Is 23 a factor of 1143 - 64/72*18?
True
Suppose 0 = -7*t + 1091 + 2017. Suppose -468 = -4*i + t. Is i a multiple of 9?
False
Suppose 92 = 2*o - o. Suppose -o = -j + 56. Let a = j - 88. Is a a multiple of 30?
True
Let d = -26 + 26. Suppose 2*b - 10 = -2*h + 4, d = 5*h + 3*b - 29. Suppose j + 315 = 5*v, 0 = v - 0*v - h*j - 63. Is v a multiple of 13?
False
Let t = -3922 - -6334. Is t a multiple of 54?
False
Does 3 divide 13 - -16*(-9738)/(-36)?
True
Let x(s) = -15*s + 16. Let z be x(-24). Let m(w) = 2*w + w + 4*w + z - 385. Is 25 a factor of m(12)?
True
Let q(l) = 2*l + 35. Let t be q(-6). Suppose -552 = -t*p + 15*p. Is 5 a factor of p?
False
Let v be (-2)/8 + 46/(-8). Let g(b) = -b**3 - 11*b**2 - b - 2. Let a(y) = 2*y**3 + 20*y**2 + 2*y + 3. Let w(l) = -4*a(l) - 7*g(l). Is 28 a factor of w(v)?
False
Is 191 a factor of 4*147/(-84) - 2416*-2?
False
Suppose -1 = 7*o - 22. Let z(p) = 47*p + 6 + 0 - 25*p + o*p**2 - 28*p. Does 21 divide z(-5)?
False
Suppose -5*f + 2*l + 1742 = 0, 0 = -2*f + 4*l + 150 + 550. Let c = f - 150. Is 23 a factor of c?
False
Is (-2090 + 12 - -18)*2/(-5) a multiple of 22?
False
Let b(c) = -c**3 - 10*c**2 - 19*c - 20. Let i be b(-8). Is 9 a factor of 4/16 - (-423)/i?
False
Does 77 divide (64112/40 - -15) + 4/(-5)?
True
Let q(d) = -d**2 + d - 1. Let s(l) = 40*l**2 - 7*l. Let k(j) = 3*q(j) + s(j). Let w be k(-3). Is 7 a factor of w/8 + 15/(-20)?
True
Let z be 39/26*(-158)/3. Let o = z + 82. Is 2*(44 + o + -7) a multiple of 10?
True
Suppose 0 = 4*p - 326 - 714. Suppose -7 = 4*q + 3*l, 0 = -4*q - 4*l - 7 - 5. Suppose r - 5*r + z = -p, q*r + 4*z = 112. Does 30 divide r?
False
Is (6/9)/((-3)/2*(-64)/4764960) a multiple of 6?
True
Let x(t) = t**3 - 2*t**2 - 6*t + 6. Let g be x(3). Let n(v) = v**2 + 3*v - 3. Let u be n(-4). Is 0 - u/(g/255) a multiple of 17?
True
Let g(k) = 112*k**2 - 18*k + 160. Let r be g(15). Does 8 divide 10/(-2) - r/(-26)?
True
Suppose -2*o + t + 4461 + 14904 = 0, 4*o + 3*t - 38725 = 0. Is 29 a factor of o?
False
Suppose -4*d - 3684 = -2*h, 3189 = -4*d - 5*h - 509. Let q = 948 - d. Is q a multiple of 34?
True
Let d(p) = 28*p - 157. Let w be (4/6 - 37/(-111)) + 12. Is 14 a factor of d(w)?
False
Suppose -148325 = 584*g - 588*g + 5*p, 0 = -2*g + 3*p + 74167. Is g a multiple of 5?
True
Let l(w) = 74*w**3 + 2*w**2 + 15*w - 20. Let x be l(5). Is 5/40 - x/(-40) a multiple of 18?
True
Suppose 0 = 5*j - 3*j - 2016. Suppose -58*v = -54*v - j. Is 28 a factor of v?
True
Let l(k) = -6*k**2 + 18*k - 16. Let r(z) = z**2 - z. Let x(s) = -l(s) - 4*r(s). Is 8 a factor of x(7)?
True
Let o = 1014 - -1570. Is o a multiple of 17?
True
Suppose 3779*m - 3784*m - 20 = 0. Let f(t) be the second derivative of -t**5/10 + t**4/4 + 3*t**3/2 - t**2 + t. Is 15 a factor of f(m)?
False
Suppose m + 2 = -3*o - m, 0 = 5*m + 5. Suppose o = -2*b - k + 78 + 107, -5*k + 25 = 0. Is b a multiple of 9?
True
Suppose 2*n - v + 31 = 40, n - 5*v = 0. Suppose -n*a = -29*a + 960. Is a a multiple of 4?
True
Is (-61)/(5124/(-7000))*1272/10 a multiple of 5?
True
Let j = -7196 - -9191. Does 35 divide j?
True
Suppose 0 = n + 61 + 7. Let j = -53 - n. Suppose -3*k + j = 0, 0 = t + 5*k - 221 + 39. Is t a multiple of 34?
False
Suppose 0*x = 5*x - 2505. Suppose t - x = -2*t. Let s = -68 + t. Is 9 a factor of s?
True
Let i be (21 - 17) + (-646)/(-2). Suppose -37*q + 36*q + i = 0. Does 5 divide q?
False
Suppose 141*d = 77*d + 68*d - 14016. Is 16 a factor of d?
True
Suppose -58*f = -316258 - 169840. Does 167 divide f?
False
Let z(u) = 12*u**2 - 13. Let i be z(-6). Suppose -5*t - i = -1439. Suppose -3*m + 158 = -5*g, 4*m - 2*g - 3*g - t = 0. Is 5 a factor of m?
False
Let t(z) = -330*z**3 + 4*z**2 + z + 13. Let b(d) = 110*d**3 - d**2 - 4. Let n(c) = 7*b(c) + 2*t(c). Let s be n(1). Let w = -67 + s. Is w a multiple of 11?
True
Suppose -55*v - 22208 = -129128. Does 16 divide v?
False
Let o be (-2)/(-9) - 272/(-72). Suppose 0 = o*g - 5*h - 1183, -446 = -4*g - 2*h + 716. Is 26 a factor of g?
False
Let l(u) = 149*u**2 - 130*u + 1170. Does 10 divide l(9)?
False
Is ((-80073)/(-12) + -2)*(-26 + 30) a multiple of 18?
False
Suppose -1842*d + 996352 = -1778*d. Does 278 divide d?
True
Let j(o) = -26*o**3 - 9*o**2 - 21*o + 10. Is 20 a factor of j(-5)?
True
Let d(x) = x + 22. Suppose q = n + 82, n + 45 = -3*q - 33. Let y = n + 66. Is d(y) a multiple of 7?
True
Let a(o) = -o**3 - 6*o**2 - 5*o + 4. Let f be a(-5). Suppose 71*u = 35*u + 72. Suppose f*j + u*j = 366. Is j a multiple of 6?
False
Suppose 524*d = 526*d + 2. Let x(i) = 150*i**2 + 7*i + 7. Is 5 a factor of x(d)?
True
Let l = 22 - -33. Let n = l - -81. Does 9 divide n?
False
Let p be 174 + 6 + (-5 - -2). Suppose -174*d + p*d - 4194 = 0. Is 12 a factor of d?
False
Let s(k) = 216*k - 804. Is 6 a factor of s(11)?
True
Let g = 9696 - -38626. Does 43 divide g?
False
Suppose -42989 = -19*a + 102686 - 8115. Is a a multiple of 32?
False
Suppose -63*f + 628281 = -71708 - 457762. Is 17 a factor of f?
True
Let v(g) = 22*g**2 - 14*g + 27. Is 15 a factor of v(-9)?
True
Suppose 2*r - 4*t - 923 = 1091, -t + 4046 = 4*r. Suppose r - 387 = 4*s. Is 13 a factor of s?
True
Suppose -6*l + 51 - 3 = 0. Suppose 3*h - l*h = -3*a + 389, -4*h = -2*a + 260. Let c = a - 84. Is c a multiple of 11?
True
Suppose -4*w + 2*m + 722 = 0, -w - 16*m = -11*m - 164. Let p = 200 - w. Is p a multiple of 3?
True
Let b(x) = 57*x - 97. Let h be 7/(63/24) - 28/(-21). Is b(h) a multiple of 3?
False
Suppose 10887 = -5*t - 5*f + 52987, 0 = -t - 4*f + 8408. Does 24 divide t?
True
Let s(d) = -6*d**3 + 11*d**2 + 141*d - 140. Does 30 divide s(-17)?
True
Let y = 14732 + 16302. Is 59 a factor of y?
True
Let u(n) = -n**3 - 15*n**2 + 28*n + 7. Does 32 divide u(-21)?
False
Let l be 4 - 7/((-28)/(-8)). Let q(u) = 2*u**2 - 8*u + 29 + l*u - 11. Is q(4) a multiple of 3?
False
Suppose 5*q - 13703 = 97. Is 6 a factor of q?
True
Let a be 105/(2 + -7) - 3. Let o be (-12)/(-6*(-3)/a). Is 10 a factor of -4 + (1348/o - 5/20)?
True
Let q(a) = a**3 + 4*a**2 + 3*a. Suppose 3*w = 6*w + 6. Does 2 divide q(w)?
True
Let m = -357 - -18916. Does 20 divide m?
False
Let w = -55 - 58. Let i = 185 + w. Is i a multiple of 8?
True
Let m(f) = 3*f + 23. Let p be m(-7). Suppose 3 = 3*o, -4*r + 6 = -p*o - 232. Does 6 divide r?
True
Let i(j) = j**3 - 24*j**2 - 22*j + 4. Suppose 0 = 5*y - 90 - 35. Let q be i(y). Let s = q - 36. Is 11 a factor of s?
False
Suppose -25709 = 83*a - 87*a - 5*x, -a = 2*x - 6428. Is 126 a factor of a?
True
Let h = 1223 + 2687. Is 46 a factor of h?
True
Let k be 1/(-4) + (-404)/(-16). Let r be k/(-50)*-16*1. Suppose 0 = 4*w - r*w - 12, -2*w = 3*x - 210. Does 8 divide x?
True
Let c(d) be the second derivative of 5*d**3/6 + 6*d**2 - d. Let p be c(-4). Does 13 divide ((-410)/8)/(p/32)?
False
Let w = 3093 + -2937. Does 52 divide w?
True
Let r(x) = -3*x**3 - 18*x**2 + 4*x + 29. Let a(j) = 5*j**3 + 27*j**2 - 6*j - 43. Let f(b) = -5*a(b) - 7*r(b). Does 9 divide f(-6)?
True
Suppose 5113 = 5*m + 4*w, 5095 + 42 = 5*m - 4*w. Is 3 a factor of m?
False
Let d be 18/((-33)/(-6) - 4). Suppose -3*g = -d - 3. Suppose 0 = g*a + 2*w - 149 + 39, -5*a - 5*w = -95. Is a a multiple of 6?
True
Suppose -4*t + 4*h + 16 = 0, 3*h = -5*t + 12 - 0. Suppose 0 = -5*y - x - t*x + 27, 15 = y + 4*x. Suppose 2*w - 180 = -y*w. Is 9 a factor of w?
True
Let f = 85240 - 37052. Is 32 a factor of f?
False
Suppose -27*w + 144055 = 34084. Is w a multiple of 85?
False
Let n be (5 - -2291)/((-14)/(-7)). Let o = -356 + n. Is o a multiple of 72?
True
Let o(m) = 4*m**3 - 12*m**2 - 23*m + 97. Does 13 divide o(7)?
False
Let y be 513/7 - 4/28*2. Suppose 3 = c, 5*c = -2*h + 10*c + y. Suppose -5*f - h = -s, 5*s = s + 3*f + 142. Is s a multiple of 7?
False
Let h = 144 - 135. Is 20 a factor of (-1350)/h*((-9)/15 - 1)?
True
Let m be (-16)/(-3) - (-164)/(-123). Suppose 0 = 3*j - 2*l - 737, -4*j - j + m*l = -1229. Is 15 a factor of j?
False
Suppose -84*f = -91995 - 685929. Is f a multiple of 49?
T