4*u, 3*u = g - 10. Suppose -27*n = -g*n - 1488. Is 31 a factor of n?
True
Let i(h) = h**2 - 2*h - 10. Let z = 14 - 21. Let p be i(z). Let m = -19 + p. Does 17 divide m?
True
Let t(n) = -n**3 + 23*n**2 - 17*n - 44. Let l be t(22). Suppose 17*m = 6*m + l. Suppose 878 = 3*p + 4*w - m*w, -5*p + w = -1468. Does 21 divide p?
True
Is 37 a factor of 2*(-12)/132 + 295772/22?
False
Suppose -2*w = 13*w - 375. Let z = w + 227. Does 14 divide z?
True
Suppose -117699 = -3*m + 5*j, -73*m + 72*m = -4*j - 39240. Is m a multiple of 84?
True
Suppose 8535 = 2*q - 3287. Is 26 a factor of q?
False
Suppose -15230 = -c - 5*h, 5*c + 90*h = 95*h + 75970. Is 23 a factor of c?
False
Suppose 0 = -163*o + 168*o + 5*d - 16025, -3*d - 3209 = -o. Is o a multiple of 38?
False
Let h = 34234 + -17685. Is 115 a factor of h?
False
Suppose -357*o = -355*o - 26. Suppose -o*u + 476 = -4672. Is u a multiple of 33?
True
Let s be -12*(1 + 4/(-3)). Let n be -5 + 43 + s + -2. Is (-663)/(-7) - n/(-140) a multiple of 5?
True
Does 88 divide (-333456)/(-36) - (-8)/3*4/8?
False
Let p be (-782)/7 - (-2)/(-7). Let h = p - -473. Let l = h + -244. Does 11 divide l?
False
Let z(x) = 2*x**2 + 179*x - 5. Let m(r) = -6*r**2 - 356*r + 10. Let b(f) = -3*m(f) - 5*z(f). Does 6 divide b(-22)?
False
Suppose -4*p + 45 = -107. Suppose -13*b = p*b - 24480. Does 40 divide b?
True
Suppose 0*m + 4*p = -4*m - 24, m - 5*p + 30 = 0. Let t be (-6)/10 + ((-4086)/m - -7). Suppose -t = -5*g + g - 3*a, -g + 100 = -3*a. Does 9 divide g?
False
Suppose 4*v - 3*v - o - 10 = 0, v - 12 = -o. Suppose v*j - 328 = 3*j. Suppose b - j = -17. Is b a multiple of 4?
True
Let k = 37 - 96. Let q = k + 61. Suppose 3*o - 346 = -q*n + 3, 5*n - 885 = 5*o. Is n a multiple of 44?
True
Suppose -18671 = -5*m - 6166. Suppose -m = -7*q - 191. Does 17 divide q?
False
Let y(r) = -r**2 + 6*r + 11. Let g be y(7). Suppose 4*u + 20 = 4*a, g*u = 2*u - 4. Suppose -5*q = -a*q - 22. Is q even?
False
Let f = 43 + -18. Let a = f - 23. Is (-1*a)/((-24)/876) a multiple of 19?
False
Let f = 194 + 86. Let p = -164 + f. Does 18 divide p?
False
Let p(d) = 60*d**2 - 252*d + 254. Does 18 divide p(1)?
False
Let t(s) = -9*s + 12. Let k be t(2). Let a(q) be the third derivative of q**5/60 + q**4/6 + 6*q**3 + 5*q**2. Is a(k) a multiple of 8?
True
Let r(l) = 2*l**2 + 23*l - 67. Let n(w) = -4*w**2 + 7*w - 8. Let p be n(3). Is 66 a factor of r(p)?
True
Let i(t) = -8*t**2 - t + 2. Let p be i(1). Let k(b) = -b**2 + 3*b**3 - 4*b**3 - 3*b**2 + 10 + 4*b + 11*b. Does 7 divide k(p)?
False
Let o = 19432 - 4708. Is o a multiple of 12?
True
Let n(a) = -106*a**3 + 2*a**2 - 8*a - 9. Let p be n(-1). Suppose -f - 248 = -3*t, 6*t - 2*t + 3*f = 348. Let g = p + t. Is 11 a factor of g?
False
Suppose 73*x + 6 = 75*x, 0 = -4*l - x + 39063. Does 93 divide l?
True
Let a be (-60)/(-4) + -2 - -3. Suppose -5*j + 4*l + 65 = -0*j, j + a = -5*l. Is (3/j)/(((-35)/1590)/(-7)) a multiple of 4?
False
Suppose -6*l - 10 = -5*b - l, 5*l + 2 = -3*b. Let c(a) = -1 - 4*a + 120*a**3 + a + 0*a + 4*a. Is c(b) a multiple of 12?
True
Suppose 4*q = 290 + 374. Let c be q/(-10) + (-10)/25. Let k = 35 + c. Is 4 a factor of k?
False
Let d(w) be the first derivative of w**2 - 14*w + 9. Let t be d(9). Suppose -c - 128 = -t*y + 19, -3*y + 93 = 5*c. Does 9 divide y?
True
Let o(p) = 3*p**3 - 6*p**2 + 39*p - 21. Does 49 divide o(11)?
True
Suppose -3*k = 2*c - 1367, -5*k + 360 = -c - 1914. Does 7 divide k?
True
Suppose -379 = 4*x - 1631. Suppose -4*j + 139 = -2*j + 5*w, -w + x = 5*j. Suppose n - j - 26 = 0. Is n a multiple of 21?
False
Suppose -4*h = 0, 5*f - h + 6*h - 4320 = 0. Is 3 a factor of f?
True
Let d(n) = 9*n**3 - 9*n**2 + 5*n - 40. Let b be d(8). Does 8 divide (6/(-4))/((-6)/b*6)?
True
Suppose -107*a + 110*a = 3*z - 102405, -34147 = -z + 4*a. Is z a multiple of 34?
False
Suppose d = -8*y + 4*y + 2542, 0 = 2*d + y - 5042. Does 14 divide d?
False
Let d be (-2)/(-3 + 15/6). Let y be (2/3)/(d/36). Suppose -19 = -5*t + y. Is 2 a factor of t?
False
Let q(h) be the third derivative of -h**6/120 + h**5/12 - h**4/24 - h**3/6 - 10*h**2. Let j be q(5). Is (108/(-48))/(j/80) a multiple of 10?
True
Let h(p) = -7*p + 2296. Is h(68) a multiple of 4?
True
Let i = 3939 + -19. Does 49 divide i?
True
Let j be (13 - 7)*(-14)/(-4). Let z be 4/(-10)*j*30/(-12). Suppose 3*g - 2*y - z = 85, 4*y = g - 42. Does 3 divide g?
False
Suppose -2*y - 5*w = 11, 2*y + 4*w = -2*y - 16. Does 22 divide 97 + 8 + y/(0 + 1)?
False
Suppose -3*z = 3*l + 6, -14 = 3*l + z - 6*z. Let p be ((-3)/4)/(l/12*1). Suppose 0 = -4*n - p*n + 147. Does 2 divide n?
False
Let d = 176 - -7393. Is 29 a factor of d?
True
Is ((-7442)/488)/((-2)/832) a multiple of 8?
True
Suppose 4783*v - 179744 = 4775*v. Is v a multiple of 15?
False
Let l be 4/12 - 2/(-3). Let g(k) = 102*k + 68 + 77 - 143. Is 26 a factor of g(l)?
True
Suppose 0*s - 620 = 20*s. Let i(q) = -9*q - 95. Is i(s) a multiple of 23?
True
Suppose h - 5*m - 1873 = 0, 2*m - 3 = -9. Is 20 a factor of h?
False
Let o(h) = -65 - h + 131 - 72 + 12*h**2. Let j be o(3). Suppose -u + j = b + 3*u, -4*b + u + 362 = 0. Does 13 divide b?
True
Let l be (6/(-9))/((-8)/108). Let o(p) = -17*p + 23*p - l - 3 + 5*p**2. Is o(-4) a multiple of 22?
True
Let u(y) = 5*y**2 + 2. Let h be u(1). Suppose -1520 = -11*m + h*m. Is 15 a factor of m?
False
Let s(j) = -j**3 + 4*j**2 + 8*j - 9. Let a be s(5). Suppose a*v = 32*v - 1872. Is v a multiple of 12?
True
Suppose 594 + 3917 = 200*k - 199*k. Is 108 a factor of k?
False
Let g be (2 + 2*-1)/(11 + -10). Suppose 3*b + 5*i - 8*i - 1428 = g, -2384 = -5*b + 4*i. Is 60 a factor of b?
True
Suppose 0 = 4*r + 9*c - 8*c + 261, -5*r - 333 = -c. Let h be (5/(-2))/(33/r). Suppose 0*b - h*d - 155 = -b, 5*b - 865 = -5*d. Does 34 divide b?
True
Let a(d) = 6*d**2 + 3*d - 4. Let y be a(1). Suppose y*z - 819 = -159. Does 50 divide z?
False
Suppose -14*n = 4*y - 46, 7*y + n = 12*y + 72. Let v(j) = -15*j**2 - 15*j - 12. Let p(h) = h**3 + 1. Let d(k) = p(k) - v(k). Does 26 divide d(y)?
True
Let r = 35093 - 18730. Is 12 a factor of r?
False
Suppose -5*x + 5*a = 153 - 63, -5*x + 3*a - 82 = 0. Does 15 divide ((-12)/x)/(10/1050)?
True
Suppose 5*n = 3*r - 10453, -5*n = -33 + 58. Does 316 divide r?
True
Let w be -1 + -1 - -1 - -4. Suppose 5*p = -i + 31, p - 11 = w*i + 8. Suppose p = 3*k - 17. Is 4 a factor of k?
True
Let i(m) = m**2 - m + 1. Let w(c) be the third derivative of 13*c**5/60 - 3*c**4/8 + 7*c**3/6 - 20*c**2. Let z(g) = -5*i(g) + w(g). Is 24 a factor of z(3)?
False
Let y(t) = -899*t + 670. Is 65 a factor of y(-3)?
False
Let y = 129 + -124. Suppose 0 = -3*f - 5*u + 47, -y*f + u + 13 = -4*f. Is 5 a factor of f?
False
Let r = 294 + -238. Is 45 a factor of (6230/r)/(2/16)?
False
Let v(p) be the first derivative of -p**4/2 - 40*p**3/3 - 5*p**2/2 - 26*p + 86. Does 4 divide v(-20)?
False
Suppose s + 0*s = 5*w - 15, 4*s - 2*w + 6 = 0. Suppose -j + 4*z - 3 = -22, 2*j + z - 38 = s. Is j a multiple of 6?
False
Let g = -199 + 179. Does 14 divide 20*10/(g/(-21))?
True
Suppose 0 = v - 2*v + 6. Let q = -1 + v. Suppose q*n + 5*y = 530, 4*n - 3*y = 297 + 106. Does 10 divide n?
False
Let f = -38 + 40. Suppose -l = 4*l + 5, 5*g + f*l - 848 = 0. Let j = 271 - g. Does 24 divide j?
False
Let s(z) = z**3 + 8*z**2 + 27*z + 64. Let c be s(-5). Suppose -3*m = -2*m - 33. Suppose c*v - 155 = m. Is v a multiple of 5?
False
Let o = -5689 - -29875. Is 12 a factor of o?
False
Let k be 1 + (-2 - 2) + 87. Let g be (-4)/(k/(-4617)) - 7/(-49). Suppose -g = -5*v + 2*w, v + w = 30 + 7. Is 14 a factor of v?
True
Is 114440/140 - 30/21 a multiple of 12?
True
Let a(s) = s**3 - 9*s**2 - 8*s - 24. Let m be a(10). Let t be (7 - m) + -3 + 3. Is 3 + 295/t + (-4)/(-22) a multiple of 6?
True
Suppose d - u - 114 = 0, 4*d - 2*u - 461 = u. Does 17 divide 2/((-475)/d - -4)?
True
Suppose -4*r + 820 = 392. Let h(n) = 2*n**2 - 5*n + 5. Let k be h(-5). Let t = r - k. Does 12 divide t?
False
Suppose -1082 - 13250 = -w - 2*l, -4 = -2*l. Does 12 divide w?
True
Let u(d) = 2*d - 81. Let t be ((-12)/(-20))/(((-1)/15)/(-1)). Let k be u(t). Let b = 123 + k. Is b a multiple of 10?
True
Let g(j) = 202*j**2 - 7*j + 3. Suppose 0 = 4*v - n + 12, -n + 14 = v + 3*n. Is g(v) a multiple of 75?
True
Suppose 4*c + 548 = 5*u, 0 = -c + 2*u - u - 138. Let f = c + 200. Suppose -2*m + f = 8*i