*b = -28. Suppose -b*q = -2*q - 326. Does 24 divide q?
False
Let k = 25808 + -23563. Is 16 a factor of k?
False
Let s(y) = 2*y**2 + 2*y - 3. Suppose 4*b - 5*a = 36, 6*b = 2*b - a + 12. Suppose 2*f + 8 = 5*r, 0 = b*r - 7*r + 2*f + 4. Is 2 a factor of s(r)?
False
Let k(o) be the third derivative of 11*o**4/24 - 15*o**3/2 - 3*o**2. Let r = 312 + -303. Is 9 a factor of k(r)?
True
Let m(i) = 1685*i - 5. Let v be m(1). Does 14 divide v/48*(-84)/(-10)?
True
Let q(r) = 9*r**2 - 35*r + 1382. Is 8 a factor of q(0)?
False
Let x = 113 - 6. Suppose 129 = 4*h - x. Does 29 divide h?
False
Suppose 0 = c - 11*c + 30. Suppose -2*w = q - 4*w - 7, c*q - 21 = 2*w. Let i(r) = -2*r**2 + 15*r + 10. Does 5 divide i(q)?
False
Let w be 1263 - (-16)/6*(-84)/56. Let m = w + -738. Does 23 divide m?
False
Let q be (-4 - 0)*12/(-3). Let n(g) = 17*g - 160. Let h(y) = 12*y - 108. Let s(v) = 7*h(v) - 5*n(v). Is 2 a factor of s(q)?
True
Let s be (-32)/(-18) - -1*2/9. Let m be ((-2838)/(-14) - s/(-7)) + 0. Suppose 45 = -w + m. Is 30 a factor of w?
False
Suppose s = -s - 4, -3*y + 5*s + 16 = 0. Let o be 4/(-14) + (-1662)/14. Is (-4488)/o + y/7 a multiple of 19?
True
Let r(o) = 212*o + 60. Does 20 divide r(6)?
False
Let l = 25403 - 16665. Is l a multiple of 67?
False
Suppose 0 = 2*l + 429 + 191. Let g = 494 + l. Is 13 a factor of g?
False
Let f = 65 - 73. Let a = 140 + f. Is a a multiple of 33?
True
Let m(z) = z**2 + 21*z - 6. Let t be m(-11). Let d = t + 67. Let x = -34 - d. Is 10 a factor of x?
False
Let d = -1573 - -6961. Is 24/228 - d/(-76) a multiple of 11?
False
Let f(j) = 11 - 17*j**2 + 7*j**2 + 11*j + 9*j**2. Let l be f(10). Let z = l - 14. Is z a multiple of 6?
False
Let u = -125 + 143. Is -15*(-6)/u + 73 a multiple of 52?
False
Let m(t) = 705*t - 4070. Is m(70) a multiple of 10?
True
Let x = 10 + -37. Let y(o) = 2*o**3 + 55*o**2 - 2*o + 27. Is y(x) a multiple of 13?
False
Suppose 0 = -l + 4, 5*l = 14*c - 11*c - 16408. Is c a multiple of 74?
True
Let h(m) = -605*m - 5844. Is 24 a factor of h(-10)?
False
Suppose 3*z + 4*c = 71708, 636*z - 23907 = 635*z + 3*c. Does 18 divide z?
True
Suppose 489 = -5*b + 3309. Let n = -401 + b. Is n a multiple of 6?
False
Does 33 divide 13757*3 + (-40)/36*(-1368)/190?
False
Suppose 4*s - 205 = 119. Let w = 143 - s. Let l = w - 23. Does 10 divide l?
False
Let k(v) = v**2 - 2*v - 6*v + 30 - 6*v + 7*v**2 - v**2. Does 5 divide k(6)?
False
Let f(a) = 114*a - 451. Let m be f(4). Suppose 186 = g - 0*g. Suppose m*h - 8*h = -g. Is h a multiple of 11?
False
Suppose 7*o = 3*o + 2*w + 14, -w = 2*o - 1. Suppose 2*u = -o*u + 4*h - 48, u = 3*h - 22. Let z(c) = -19*c + 11. Does 9 divide z(u)?
True
Suppose -11*v + 8*v - 6 = 0. Let t(s) = -14*s**3 - 2*s**2 - 3*s. Does 11 divide t(v)?
True
Suppose -360*m + 355*m + 105 = 0. Is (-8)/28 - (-2043)/m a multiple of 2?
False
Let h = 57 + 20. Let b = 1398 - 1462. Let d = b + h. Is d a multiple of 11?
False
Is (-409608)/60*5/(-3) a multiple of 59?
False
Suppose -3 = -3*r, t = -3*t - 2*r + 18. Suppose 0 = t*l + a - 23 + 2, -a = -1. Suppose 65 = s - 4*x, s = -2*x + l*x + 69. Is 9 a factor of s?
True
Let a = 41 + -228. Let m be (7 + -5)/(2/a). Let b = -110 - m. Is 18 a factor of b?
False
Suppose -23 - 22 = -5*h. Let f be -3 - (15 + h/3). Let v(g) = -g**2 - 35*g + 6. Is v(f) a multiple of 30?
True
Let t(z) = -z**3 - 5*z**2 + z + 5. Let o be t(-5). Suppose -13*l + 9*l - 36 = o. Let w(s) = s**2 - 2*s - 9. Does 45 divide w(l)?
True
Is 35 a factor of -5*(-59 + 20)*(-3 - -10)?
True
Let z = -1388 - -3207. Let v = z + -2731. Is 80/6*v/(-95) a multiple of 50?
False
Let q = -7 + -16. Let r(y) = -y + 24. Does 3 divide r(q)?
False
Let h = -65 - -70. Suppose 2*t + 3*m - 4 = 12, 0 = -h*t - 2*m + 40. Suppose t + 7 = 3*z. Does 2 divide z?
False
Suppose 3*b - y = 21, -14 = -2*b + 5*y - y. Suppose 158 = -b*q + 3000. Is 14 a factor of q?
True
Suppose -5*t + 13 - 43 = 0. Let n be (8 - 4) + t + -3. Let i(p) = p**3 + 6*p**2 - 5*p + 4. Does 21 divide i(n)?
False
Let a(o) = 2*o**2 - 11*o - 31. Let z = -56 + 57. Let k be z/(-1 - 32/(-36)). Is 10 a factor of a(k)?
True
Suppose 8*l + 6*z - 9*z = 153239, 3*l = -z + 57454. Does 29 divide l?
False
Is 2 a factor of 60/90 - 466*(-4)/12?
True
Let a = -98 - -42. Let b = -45 - a. Suppose -3*n - b = 3*s - 50, 5*s = -2*n + 14. Does 5 divide n?
False
Let b(i) = i**2 - 2. Let p be b(2). Suppose z = -2*x + 128, -p*z - 64 = -x - 3*z. Suppose 6*w - x = -4. Does 4 divide w?
False
Is (1/((-20)/8))/((-10)/(-10100)*-4) even?
False
Let s = -12631 + 14546. Is s a multiple of 5?
True
Suppose 8*k = 2*z + 9*k - 28439, -3*z + 42686 = -4*k. Does 35 divide (4/8)/(13/z)?
False
Let p be (-4 - 4608/(-40))/(2/5). Suppose -857 = -3*z - p. Is z a multiple of 15?
False
Let o = 113 + -120. Let j(t) = -35*t + 33. Does 92 divide j(o)?
False
Let t(z) be the first derivative of z**4/4 - 10*z**3/3 + 2*z**2 + 3*z - 4. Does 28 divide t(11)?
True
Let g = -213 - -209. Let p(q) = 6*q**2 - 5*q - 4. Is 7 a factor of p(g)?
True
Suppose -50565 + 105843 = 17*p - 57568. Is 29 a factor of p?
False
Suppose 2*i + 4*o + 9 = 3*i, 4*o = 3*i - 19. Suppose -3*p + 3*d + 651 = 0, i*p + 19*d - 1115 = 14*d. Is 74 a factor of p?
False
Let j = -252 + -285. Let w = -244 - j. Is w even?
False
Let v(u) be the third derivative of -u**6/120 + 7*u**5/120 + 7*u**4/24 - 8*u**2. Let o(c) be the second derivative of v(c). Does 37 divide o(-5)?
True
Let a(w) = 5*w**3 + 3*w**2 + 3. Let r be a(3). Let h(y) = -2*y**3 - 34*y**2 - 52*y + 79. Let q be h(-15). Let c = r + q. Is 31 a factor of c?
True
Suppose 678 = -208*o + 202*o. Let u = 128 + o. Is u a multiple of 5?
True
Suppose -2*p + 4*b = -136384, -3*p - p - 4*b + 272816 = 0. Suppose 0 = 52*h + 10*h - p. Is 25 a factor of h?
True
Suppose 2*r = 3*r - 6*r. Suppose r = -5*s - s + 30. Suppose 0 = o, -s*v + 65 = 4*o - 80. Does 5 divide v?
False
Suppose -5*g + 20 = -g. Suppose 22*d = 20*d - 5*r + 437, -g*d + 3*r = -1170. Does 7 divide d?
True
Let y = -102 + 292. Suppose -1 = z - 20. Is 14 a factor of (7/1)/(z/y)?
True
Suppose 0 = 2621*q - 2659*q + 1007266. Does 13 divide q?
True
Let a be (-4 - 16)*3/6*-1. Suppose 7260 = 10*w + a*w. Is 33 a factor of w?
True
Let u(n) = 174*n**2 - 20*n + 4. Does 33 divide u(-1)?
True
Let h = -5 + 14. Suppose 0 = h*z - 11 - 52. Is 31 + z - (1 - 3) a multiple of 20?
True
Suppose -32*s + 31*s = 49. Is 7 a factor of (-4)/14 + (-16821)/s?
True
Let q be (-10)/3*(-27)/18. Suppose -4*j = q*v - 476, 3*j + 3*v - 357 = 2*v. Suppose j = -4*n + 319. Does 10 divide n?
True
Let g(l) = l**3 + 5*l**2 - 10*l - 7. Let y be g(-7). Let c = y - -677. Suppose c = 8*o - 190. Does 8 divide o?
True
Let o(j) = 35*j + 2. Let r be o(-1). Let s = 43 + -55. Let z = s - r. Is 6 a factor of z?
False
Let d(y) = -y**3 + 20*y**2 - 14*y + 55. Let s be d(20). Is 38 a factor of (-20)/150 + (-5)/(s/15396)?
True
Is 9 a factor of ((-5)/(5/(-3)))/(19026/9510 + -2)?
False
Let x(h) = 2*h**3 - 4*h**2 - 4*h - 2. Let r be x(3). Suppose -5*c - 85 = -4*q, 0 = -4*q + r*c + 91 - 7. Is 3 a factor of q?
False
Suppose 0 = 6*l + 350 - 2964 - 1448. Is l a multiple of 6?
False
Suppose 99 = -32*m + 41*m. Suppose -18400 = -m*n - 12*n. Is 25 a factor of n?
True
Let n(x) = 28*x**3 - 31*x**2 - 66*x + 18. Is 78 a factor of n(10)?
True
Suppose 2494 = 16*a + 414. Is 9165/7 + 0 - a/455 a multiple of 77?
True
Let w = -918 - -1000. Let l = 1051 - 733. Suppose w = 5*j - l. Is 15 a factor of j?
False
Suppose 555177 = -18640*g + 18661*g. Does 15 divide g?
False
Let q(f) = f**2 - 11 + 19*f**2 + 1 - 11*f + 6*f**2. Does 15 divide q(-4)?
True
Suppose -125440 = 51*x - 65*x. Does 56 divide x?
True
Let a be 1330/6 - 11/(-33). Suppose a - 52 = 5*w. Is 14 a factor of 7/(21/9) + w?
False
Let a = 3 - 74. Let r = 26 + a. Let o = 55 + r. Is 5 a factor of o?
True
Does 16 divide 1949 + (-2 - 1) + 70 + -59?
False
Let x be (-4)/26 + 2 + 530/65. Let l(b) = 32 + 2*b**3 + 5*b + 7*b - 5*b - x + 19*b**2. Is l(-9) a multiple of 8?
True
Let b be (-2)/4*(-4 + 0 + -2). Let o be 6/2 + -3 + 0. Suppose o = b*g + z - 12, 4*z + 8 = 4*g - 24. Is g a multiple of 4?
False
Suppose -280 = -3*t - t. Suppose -k = -15*k - t. Does 5 divide (3 + -10 - k) + 52?
True
Suppose a - r - 323 = 3259, 3*a - 5*r = 10752. Suppose 7*z - a - 8902 = 0. Is 20 a factor of z?
False
Let u = -24 - -29. Suppose -5*w + 2*r = -