g**3 - 3 + 4 - 6 + 6*g + 0. Does 14 divide d(-3)?
False
Let z be 880/32*(-8)/5. Let s = z + 112. Does 17 divide s?
True
Let c = 37 + -35. Suppose -c*g - 4*b = -b - 87, 51 = g + 3*b. Is g a multiple of 18?
True
Suppose -180 = 5*i + 3*j, -4*i + 3*j - 217 = -73. Let z = i - -84. Is z a multiple of 16?
True
Let x(n) = 16 - 15*n**3 + 6*n**3 + 12*n**2 + 5*n**3 - 9*n + 5*n**3. Is x(-12) a multiple of 31?
True
Let p(m) = m**2. Let u be p(3). Let a(q) = q**3 - 10*q**2 + 11*q - 3. Does 7 divide a(u)?
False
Let z be 5 - (0 - (0 - 0)). Let j(s) = s**3 + 8*s**2 - 7*s + 20. Let g be j(-9). Suppose 2*t - t - h = 15, g*t - z*h = 27. Is t a multiple of 16?
True
Let u = 280 - 266. Does 7 divide u?
True
Suppose -1109 = -6*a + 2869. Is 21 a factor of a?
False
Suppose p - 5*p - 2*h = -10, -3*p = -h - 15. Suppose -p*j = -2*j - 82. Does 10 divide j?
False
Let j = 22 - -27. Suppose -5*r - i + 43 = 0, 5*r = -2*i - i + j. Does 4 divide r?
True
Suppose -2*a + 14*n + 1149 = 17*n, 3*n + 2883 = 5*a. Is 17 a factor of a?
False
Suppose 4*x - 2*h - h = -18, 2*x + 5*h - 4 = 0. Does 26 divide ((-3)/2)/(x/208)?
True
Let r(f) = -f**2 + 6*f - 6. Let h(w) = -3*w**3 + w**2. Let p be h(-1). Let y be r(p). Suppose 5*t + 5*x - 535 = 0, 0 = 3*t + y*t - x - 529. Does 23 divide t?
False
Let l(z) = 3*z**2 - 31*z - 12. Let q(f) = -6*f**2 + 62*f + 24. Let n(x) = 9*l(x) + 4*q(x). Does 15 divide n(13)?
False
Suppose -84*y + 45*y = -35022. Does 4 divide y?
False
Let p = -216 + 305. Is p a multiple of 24?
False
Let y(j) = 12*j - 14. Let i be y(13). Suppose -2*w + i = -42. Let z = -45 + w. Does 12 divide z?
False
Let s(x) = x**3 + x**2 + 6*x - 116. Does 8 divide s(9)?
False
Let r(f) = -33*f - 382. Does 22 divide r(-26)?
False
Let b(k) = -23*k + 2. Suppose -3*y = -5*j - 47, -3*j - y - 4*y - 35 = 0. Let i be b(j). Suppose 2*q - i = -2*q. Is 17 a factor of q?
False
Let l be (0 + 6/(-9))/((-2)/12). Suppose -l*s = -2*s - 288. Does 8 divide s?
True
Does 7 divide ((-336)/5)/(-4)*950/20?
True
Let w(x) = -3*x - 17. Let l be w(-5). Let o(g) = 26*g**2 - 5*g - 5. Is 12 a factor of o(l)?
False
Let n(v) be the third derivative of 53*v**4/12 + 8*v**3/3 + v**2. Is 38 a factor of n(2)?
True
Does 4 divide (-2170)/(-16) - (-75)/200?
True
Let o = -3 + 6. Suppose -7*g = -o*g - 180. Is 8 a factor of g?
False
Let d = -2255 + 4078. Is 17 a factor of d?
False
Let h = -830 - -871. Does 6 divide h?
False
Let b(a) = -3*a - 69. Let x be b(-24). Suppose x*c - 8*c = -170. Is c a multiple of 17?
True
Let a be 24 - (-3 - (0 - 5)). Let w = a - 2. Is 10 a factor of w?
True
Suppose 17 = 3*p - u, -3*p + 5*p + u = 18. Suppose 65 = -2*m + p*m. Does 13 divide m?
True
Suppose -706 = -4*r + 190. Is 14 a factor of r?
True
Let x(n) = -n**2 + 35*n + 2. Does 9 divide x(16)?
True
Suppose 0 = 6*o - 14*o - 616. Let x = 132 + o. Is x a multiple of 5?
True
Suppose -15 = g + 3*d, -4*g + 3*d = -2*g + 3. Let f = 54 - g. Suppose -8 = -2*h + 4*u + f, 5*h = u + 143. Does 20 divide h?
False
Let f(x) = x**2 - 8*x + 8. Let m be f(12). Let d = m + -34. Does 17 divide d?
False
Suppose 38*r = 39*r - 361. Suppose -5*f = -3*f + 4*d - 368, -2*f + 3*d = -r. Does 8 divide f?
False
Is 17 a factor of -87*1*136/(-12)?
True
Suppose 7*p - 60 = -39. Does 3 divide p?
True
Let l = -30 + 13. Let z = 3 - l. Does 4 divide z?
True
Suppose 13*o = 16018 - 1146. Is o a multiple of 22?
True
Does 53 divide 7803/3 - 8/2?
True
Suppose 0 = -4*p + 4*b + 36, -2*b = -5*b - 12. Suppose -2*g = 2*g - 2*n - 610, -g = -p*n - 139. Does 22 divide g?
True
Let y(m) = 29*m + 6. Let i be y(6). Suppose a + 12 - 31 = 0. Suppose -i = -a*g + 15*g. Is g a multiple of 14?
False
Let o(d) = 3*d**2 - 7. Let v be o(-5). Suppose -9*l + 8*l + v = 0. Is l a multiple of 14?
False
Let g(k) = -k**2 + 5*k - 2. Suppose 0 = -3*s, 10*a - 5*a - s - 20 = 0. Let f be g(a). Suppose 0 = f*w + w - 306. Is 34 a factor of w?
True
Suppose 273 = l + 5*b, 2*b - 12 = -4. Is 11 a factor of l?
True
Let a = -2049 - -3514. Does 41 divide a?
False
Let p(k) = 4*k**2 + 24 - 3*k**2 + 10 - 2*k**2. Let t be p(0). Suppose -3*z = 6, -5*i = -2*i + 4*z - t. Is 7 a factor of i?
True
Let h be ((-8)/14)/((-10)/35). Suppose -v - 3 = h*v, -2*v + 73 = x. Does 25 divide x?
True
Suppose -2*d - 8 = -4. Is (3/d)/((-2)/468*3) a multiple of 13?
True
Let i = 540 - -60. Is i a multiple of 24?
True
Suppose 4 = 2*o + 2. Suppose j = 5*x + 27 + o, -x = -4*j + 17. Suppose 0 = 3*w - 3*g - 90, -6*w + w = -j*g - 160. Does 13 divide w?
False
Let q(a) = -21*a - 63. Is 33 a factor of q(-20)?
False
Suppose -3*m = m. Suppose m*s = 7*s - 707. Is s a multiple of 31?
False
Is 98*(11 + 117/(-21)) a multiple of 17?
False
Suppose -c - 3*u = -8 - 75, 91 = c - 5*u. Let l = c + -70. Is 3 a factor of l?
False
Let t = 698 - 538. Is 32 a factor of t?
True
Suppose -4*d + 24 = 2*j, 3*d = -10*j + 12*j + 32. Does 34 divide (2/(-5))/(4/d)*-170?
True
Suppose -4*p + 8*p - 484 = -x, 0 = 5*x - 5*p - 2395. Is x a multiple of 8?
True
Is 19 a factor of -4 - (-5 + 6) - -328?
True
Let n(c) = 4*c**3 - c + 2. Let b be n(1). Let t = 0 - 0. Suppose 4*w - 5*w + b*a + 11 = t, 4*a = w - 11. Is 4 a factor of w?
False
Let i = 585 - 221. Is 14 a factor of i?
True
Let t(c) = c**2 + 25*c - 54. Is 11 a factor of t(18)?
False
Let s = 13 - 73. Does 2 divide s/(-9) - (-4)/(-6)?
True
Let w = -1279 - -1981. Is 35 a factor of w?
False
Suppose -8283 = -5*n - 2703. Does 18 divide n?
True
Let q(f) be the second derivative of f**4/6 - 7*f**3/6 + 5*f**2 - 14*f. Is q(8) a multiple of 28?
False
Suppose 63*b - 66*b + 1299 = 0. Is 55 a factor of b?
False
Let m(z) = -179*z**3 - 2*z**2 + z. Is m(-1) a multiple of 16?
True
Is (16 - 2166/133) + (-4832)/(-7) a multiple of 30?
True
Suppose -2*m + 2*i = -16, 2*m + 4*i - 3 = -5. Suppose 2*j = -m*g + 41, -j + 10 = 2*g - 6. Is g a multiple of 9?
True
Let u = -13 + 17. Suppose 5*a - u*p = 265, 3*a - 2*p + 17 = 174. Suppose 2*q = 4*q - f - a, -69 = -3*q + 3*f. Is 23 a factor of q?
False
Let t(l) = 4*l + 2. Let m be t(-6). Let r = 8 + m. Let q = 32 + r. Is q a multiple of 4?
False
Let x be -5*(-2 + 2/2). Suppose 0*b = 4*b + 5*m - 12, 3*b = x*m + 9. Let p(f) = 6*f - 4. Is 10 a factor of p(b)?
False
Let q(j) = -j**3 - 3*j**2 - 2*j - 9. Let a be q(-4). Suppose 0 = v - 14 - a. Does 29 divide v?
True
Let m(v) = 2*v**2 - 4*v + 2. Let u be m(2). Suppose 304 = 4*y - 4*p, 3*y = -y - u*p + 304. Is 19 a factor of y?
True
Let k be ((-9)/2 - -4)/((-1)/6). Suppose g = k + 226. Is g a multiple of 30?
False
Let s(t) = 10*t**3 + 15*t**2 + 7*t + 5. Let h(n) = -5*n**3 - 7*n**2 - 3*n - 2. Let f(k) = 9*h(k) + 4*s(k). Is 4 a factor of f(-2)?
True
Suppose -1250 = -5*m + 1360. Is m a multiple of 12?
False
Suppose -16 = -g - 3*g. Suppose 22*x = 27*x - 320. Suppose 4*c + g*b + 38 = 158, -x = -2*c - b. Does 17 divide c?
True
Suppose -5*s - 37 = 13. Let v be (-1)/(5/(-12))*s. Let j = v - -51. Is 9 a factor of j?
True
Suppose -2*r + 2566 = 5*t - 3693, 0 = t - 2*r - 1247. Is t a multiple of 4?
False
Suppose -10*z = -14*z. Does 13 divide 91 - (-4)/20*z?
True
Let y be 0/(4/(-2) + -1). Suppose -2*r = -y*r - 4. Suppose 3*q - u = 85, 0*u + 142 = 5*q - r*u. Is 14 a factor of q?
True
Let u(l) = 160*l - 5. Let a be u(2). Suppose 7*j = -0*j + a. Is j a multiple of 16?
False
Let n(c) = 28*c**3 + 3*c**2 - 4*c. Let b be n(1). Suppose -x + 3*x = 5*r - 44, 3*r - 22 = -x. Suppose b = q - r. Is 5 a factor of q?
True
Suppose 4*g - 100 = 360. Is g a multiple of 3?
False
Let y be 0 - (21 + 1)*-2. Let u(t) = -2*t**2 + 2*t + 36. Let x be u(6). Let i = x + y. Is 5 a factor of i?
True
Suppose 4*l - 12 = 4. Suppose t = 6*t - 460. Suppose -3*v + 13 = h - 13, l*v = 5*h - t. Does 10 divide h?
True
Let j(z) = 299*z - 30. Does 24 divide j(4)?
False
Let o(h) be the first derivative of 2*h**3/3 + 13*h**2/2 + 12*h + 2. Let b be o(-8). Is b + (-4)/(12/(-9)) a multiple of 10?
False
Does 22 divide 170/(-765) - (-8320)/18?
True
Suppose 0 = 2*p - 2*w - 693 - 257, -5*p + w + 2367 = 0. Suppose 5*t + 2*y = p, 2*t + 86 = y + 268. Is t a multiple of 18?
False
Suppose d = -2*d + 4*i - 27, -i + 36 = -4*d. Let y be (1 - 4)*3/d. Let u(o) = 6*o**3. Does 3 divide u(y)?
True
Suppose 3 + 2 = 4*w + 5*c, -w + 5 = 2*c. Let g be 2/w - (-2)/5. Suppose g = -8*f + 4*f + 12. Is 2 a factor of f?
False
Let b(k) = -72*k - 95. Is b(-7) a multiple of 15?
False
Let n(r) 