3 - 14*g**2 - 4*g + 30. Does 6 divide x(b)?
True
Suppose -2*s = 2*s + 888. Let q = s - -332. Suppose q = 3*u - 2*u. Is 22 a factor of u?
True
Let h = 31 - 36. Let o be h*((-28)/20 + 1). Let g(t) = 6*t**3 - 2*t**2 + 2*t + 1. Is g(o) a multiple of 5?
True
Let j be ((-3)/(-6))/((-4)/(-136)) - 0. Suppose -m = 18 + j. Is ((-12)/(-14))/2 + (-720)/m a multiple of 21?
True
Let d = -155 + 515. Suppose -d = -4*o - 6*o. Suppose -o*g - 936 = -39*g. Is g a multiple of 52?
True
Let b be (((-32)/10)/(-8))/(2/(-60)). Is 15 a factor of -2 - 8/b - 1456/(-12)?
True
Is 9 a factor of (165/(-12))/(4/(-288))?
True
Suppose 352*v + 463778 = 43*v + 2852039. Is v a multiple of 14?
False
Let g(y) = 14*y + 18 - 21 - y**2 - 35*y + 9. Let a be g(-21). Suppose a*x - 263 = 457. Is 15 a factor of x?
True
Suppose 475*s - 180010 - 4055090 = 0. Is s a multiple of 12?
True
Suppose -1439*x - 39915 = -1442*x. Is x a multiple of 36?
False
Suppose 0 = -81*y + 90*y. Suppose 12*s - 1029 - 819 = y. Is 7 a factor of s?
True
Let n(l) be the third derivative of l**7/420 - l**6/240 - l**5/20 + 3*l**4/8 - 15*l**2. Let f(y) be the second derivative of n(y). Is 17 a factor of f(-4)?
True
Let z(r) = r**3 + 58*r**2 + 23*r - 568. Is 75 a factor of z(-47)?
True
Let i be -6 - 2/((-8)/36). Suppose 7*k + 3*v = i*k + 786, v - 197 = -k. Is 16 a factor of k?
False
Suppose 13 = -4*q + 41. Suppose s - 3*f + 2*f - 1 = 0, q = 3*s - f. Suppose -s*y + 432 = 4*t - 75, 141 = t - 4*y. Is t a multiple of 22?
False
Suppose 0 = -q - 39*q + 375760. Does 14 divide q?
True
Let w = 174 + -578. Let q = w - -601. Let o = q + -137. Is o a multiple of 6?
True
Suppose 12*v + 3*a - 1557 = 9*v, -5*v + a + 2583 = 0. Suppose 396 = 11*i - v. Is i even?
False
Let m = 162 + -127. Let t = m + 61. Is 6 a factor of t?
True
Let g(t) = -116*t**3 - t**2 - 5*t - 17. Let s be (-3)/9 - (-20)/(-3) - -5. Is g(s) a multiple of 35?
False
Suppose 240 = u - 5*h + 37, -4*h = -5*u + 1057. Let v = -101 + u. Is v a multiple of 16?
True
Let i(u) = 2*u**2 + u - 3. Let k(x) = 4*x**2 + 2*x - 6. Let m(v) = -7*i(v) + 4*k(v). Let f be m(-3). Suppose -5*t = -f*t + 476. Does 14 divide t?
False
Is 69 a factor of ((-2152139)/194)/(2 - (-10)/(-4) - 0)?
False
Suppose -700 = -3*o - 7*o. Suppose -12*f = -19*f + o. Is (126/10)/(0 - (-3)/f) a multiple of 14?
True
Suppose 2*g = -5*m + 23153, -17887 - 5254 = -5*m + g. Is 10 a factor of m?
False
Let t = -9812 - -10169. Does 45 divide t?
False
Let k = 430 + -430. Suppose k = -51*u + 41*u + 1050. Is u a multiple of 21?
True
Suppose 0 = 3*f + 3, 2*d + 1 = -3*f + 2. Let x(t) = 5*t**2 + 69*t - 9. Let g be x(-14). Suppose g*r - 3*r = -y + 89, 0 = -2*y - d*r + 178. Is 25 a factor of y?
False
Let u = 8243 + -3422. Is u a multiple of 56?
False
Let l = -13085 - -21935. Is l a multiple of 16?
False
Let u = 50 + -50. Suppose -w - 93 + 97 = u. Suppose q - 68 = 4*y, 16 = w*y - 0*y. Does 15 divide q?
False
Let b = -40 + 24. Let s = -6 - b. Suppose z = s*z - 108. Does 2 divide z?
True
Is (-12)/(-9) + -1 + (-66517)/(-33) a multiple of 24?
True
Let b(n) = 919*n + 1491. Does 138 divide b(22)?
False
Let c(x) = -x**3 + 10*x**2 + 2*x + 11. Let t be c(10). Let v = 26 + t. Does 14 divide (6 - -7)/(3/v)?
False
Let d(s) = 2*s**2 - 25*s - 16. Let u be d(12). Is 28 a factor of (-4 - -74)/(-5)*u?
True
Suppose -t + 0*t - 3*m = 33, -2*m = 2*t + 46. Suppose -4*f + 2*y + 2*y = 0, 3*y + 12 = 0. Does 39 divide f/t - (-1047)/54*2?
True
Suppose -3*c - 5*l + 17 = -20, -5*c + 5*l = -115. Suppose -c*u + 3196 = -3777. Does 11 divide u?
False
Let y(z) = z**2 - 26*z + 113. Let o be y(4). Suppose 2*d = -d + 180. Is 8 a factor of (20/o)/(3/d)?
True
Let x be (-1)/6 + ((-1085)/42)/(-5). Suppose 2*t - 4*y + 2406 = x*t, 0 = -t + 4*y + 802. Does 76 divide t?
False
Let w be 36*(-260)/18*6/(-10). Is 39 a factor of (-4)/(-26) - (-303840)/w?
False
Let h(p) = -2*p**2 + 28*p + 2. Suppose 3*k - 4*m - 25 - 1 = 0, 3*m = 2*k - 16. Let a be h(k). Suppose 4*g - 252 = -4*d, d = a*g - 4 - 128. Is 5 a factor of g?
True
Let u = -2397 - -10725. Is 3 a factor of u?
True
Let p be -1*2/(-8) - 1035/(-36). Suppose w = 4*l + p, -4*w + 9*w = -15. Let m(g) = 3*g**2 + 5*g - 26. Does 9 divide m(l)?
True
Let p = -185 - -107. Let k = 82 + p. Suppose 2*m + 4*s - 104 = 0, 5*s - s + k = 0. Is 10 a factor of m?
False
Let u(j) = -4*j - 38. Let z be u(-6). Let a = z - -4. Is 3*1 - (10 + a) a multiple of 2?
False
Does 2 divide 123*3 + ((-38)/(-133))/(2/(-28))?
False
Suppose -2*c + 4372 = 5*d, -9*c - 2624 = -3*d - 11*c. Is d a multiple of 3?
False
Suppose 97*x + 935 = 102*x. Suppose 0 = -r + 2*q + 106, 4*r + q = 192 + x. Suppose -96 = -4*n + 4*i, -5*i = -4*n - 6*i + r. Is 14 a factor of n?
False
Suppose -834 = -p - 5*p. Suppose -p = -2*g + 197. Does 21 divide g?
True
Let r(l) = -20*l - 304. Let f be r(-16). Does 22 divide 15732/f + (-3)/(-4)?
False
Let m(t) = 9*t**2 - 7*t - 2. Suppose 5*g = -3*w + 38 - 10, -w + 3*g = 14. Suppose -s = -v - w, 5*v + 36 - 1 = -5*s. Is 10 a factor of m(s)?
True
Let f(p) = -34*p**2 + p - 1. Let s be f(1). Suppose -8 = -2*c - 120. Let o = s - c. Is o a multiple of 11?
True
Let u(t) = -5*t - 9. Let b be u(-3). Let n be (-8)/(-20)*(b - 1). Suppose 3*j - n*q = 125, 5*q - 70 = 2*j - 3*j. Is 15 a factor of j?
True
Let t(m) = -146*m + 19. Let p be t(-10). Suppose -450*i = -451*i + p. Is i a multiple of 16?
False
Is 14 a factor of 44*27 + (12/15 - 72/(-60))?
True
Let p(m) = m**3 - 7*m**2 + 13*m - 26*m - 9*m**2 + 8 - 2*m**2. Let x(z) = -2*z**3 + 18*z**2 + 19. Let j be x(9). Does 14 divide p(j)?
False
Let i = -239 + 236. Does 5 divide 40/(i/(-30)*5)?
True
Let b = -44529 + 64814. Does 27 divide b?
False
Let m = 5902 + 1142. Is 23 a factor of m?
False
Suppose 5*q + 3*c + 44 = 0, 5*q + 2*c + 11 + 35 = 0. Let v = 216 - 220. Is (-5580)/(-50) + v/q a multiple of 56?
True
Let j be 574/5 + 2/(0 + 10). Suppose -2*b + j = -37. Let q = b - -71. Is q a multiple of 21?
True
Let b = -6326 + 12293. Is b a multiple of 117?
True
Let o(v) = -3*v. Let h(y) = -y - 1. Let q(k) = -4*h(k) + o(k). Let w be q(-9). Does 15 divide (-228)/w + (-30)/50?
True
Let k be 3*((10/2 - 2) + 247). Let s = -67 + k. Is 20 a factor of s?
False
Let y(i) = 1215*i + 105. Is 10 a factor of y(9)?
True
Suppose p = -4*c + 31 - 32, 0 = -2*p + 5*c - 28. Does 64 divide (66 + -9 + p)/(2/40)?
True
Let a(d) be the second derivative of -11*d**3/6 - 6*d**2 - d - 73. Is 52 a factor of a(-20)?
True
Is 16 a factor of (-1 - -14597) + (-55 - -67)?
True
Let o = 53007 + -30047. Is o a multiple of 40?
True
Suppose 268*n = -2*o + 269*n + 6957, 15 = -5*n. Does 11 divide o?
False
Suppose 420 + 6 = 6*m. Suppose 0 = 11*t - 6 - m. Suppose t*a - 426 = 113. Is 14 a factor of a?
False
Suppose 2*r = 0, 2*r + 2 = -3*h + 32. Let p(j) = j**3 - 9*j**2 + 57*j. Does 52 divide p(h)?
False
Suppose 9227 = 110*x - 25753. Does 11 divide x?
False
Let x = 3965 - 3942. Let n(t) = -t - 21 + 45 + 34. Does 5 divide n(x)?
True
Let i = -10514 - -15834. Does 8 divide i?
True
Let y = 321 + 317. Suppose -632*c + y*c = 912. Is 11 a factor of c?
False
Let k(h) = -9*h + 1. Let a be (6/24)/((-1)/4). Let f be k(a). Is 98/f + 8/(-10) a multiple of 7?
False
Let s(c) = -2*c**2 + 8*c + 1025. Is s(0) a multiple of 47?
False
Suppose g + 44*a - 41*a = 2235, g - 5*a = 2195. Is g a multiple of 12?
True
Suppose 5*m + 5*q - 146580 = 0, 60*m - 117222 = 56*m + 2*q. Does 79 divide m?
True
Suppose 34*o - 756 = 28*o. Is 10 a factor of o?
False
Suppose 3*b - 2*b + 6 = -3*p, -2*b - 12 = p. Let k = 47 - b. Suppose c + 5 = k. Is 6 a factor of c?
True
Suppose 0 = 2*h + 3*u + 2*u - 15, -4*h - 3*u = -37. Suppose -h*j + 6 = -7*j. Suppose 4*r + n - 28 = 59, -j*n + 108 = 5*r. Is 20 a factor of r?
False
Suppose -44*h + 4*p = -40*h - 11668, 5*p = 3*h - 8755. Is 8 a factor of h?
False
Suppose -5*l - 4*i = -56893, -5*l - 4*i + 56917 = -8*i. Suppose -32*h + 8811 + l = 0. Does 48 divide h?
False
Let b(a) be the second derivative of a**6/60 + a**5/30 - a**4/6 + 7*a**3/6 - 27*a**2/2 + 4*a. Let c(m) be the first derivative of b(m). Does 6 divide c(3)?
False
Let v(t) = -t**3 - 3*t**2 - 5*t - 1. Let r be v(-2). Suppose 2*c - q - 8 = 0, q - 23 = -r*c + 5*q. Is ((-2)/c + 0)*(-1122)/44 even?
False
Let d = 8125 + -4642. Is d a multiple of 71?
False
Suppose -3*h - 275 = -5*t + 225, -t + 164 = -h. Is 13 a factor of (-9)/9 