6*m + 31. Let u be a(0). Let g be 89/3 - 8/12. Let f = g + u. Does 15 divide f?
True
Let o(y) = y**3 - 16*y**2 + 18*y - 40. Does 27 divide o(23)?
True
Let q(c) = 2*c**3 + 131*c**2 - 78*c - 51. Does 39 divide q(-66)?
True
Suppose 5*p - 34 - 366 = 4*f, -p - 4*f + 80 = 0. Suppose -p*i + 2312 = -76*i. Does 17 divide i?
True
Let z = -18738 + 29629. Does 14 divide z?
False
Let a(l) = 6*l**2 + 96*l + 718. Does 10 divide a(-75)?
False
Is 5 a factor of (-15895)/(-10)*(30 - 20)?
True
Suppose 6*l = -r + 10*l + 9726, -48762 = -5*r - 2*l. Is r a multiple of 9?
False
Let w = -5 - 37. Is 11 a factor of (w/10)/((-4)/80)?
False
Does 161 divide ((-4)/(-18))/((-5)/60)*(-13524)/16?
True
Does 3 divide (-22102)/(-24) - ((-7)/(-252))/(3/(-9))?
True
Does 35 divide (-12)/(-7)*((-506)/(-4) - 4)?
True
Suppose -55 = 8*p - 623. Let s = p + 149. Is 10 a factor of s?
True
Let g = 303 - 299. Is 3 a factor of (42/g)/((-29)/(-58))?
True
Let j(s) = 119*s + 1698. Is 18 a factor of j(6)?
True
Suppose 93561 - 19923 = 6*r. Is 89 a factor of r?
False
Is -1 - (-120195)/15 - 0 a multiple of 133?
False
Suppose 19*g - 7393 = 3076. Is 2 a factor of g?
False
Let g(k) = -16*k + 66. Let c be g(-9). Let x = -133 + c. Is x a multiple of 2?
False
Does 112 divide (-522623)/(-9) - (-296)/(-1332)?
False
Let o be (-3 - 0) + 30*(-4)/(-12). Suppose 723 = o*p - 2189. Does 16 divide p?
True
Let f be ((-4)/((-8)/477))/((-2)/8). Let y = -1582 - f. Is 4/6 + y*(-5)/60 a multiple of 14?
False
Suppose u = -0*u + 1499. Suppose 0 = 6*m + u - 5099. Is 60 a factor of m?
True
Let g be 2/5*(-65 + (0 - -5)). Let x(i) = i**2 + 13*i - 48. Does 49 divide x(g)?
False
Let w = 5 + 3. Let d(u) = u**3 - 7*u**2 - 16*u - 21. Let g be d(9). Is 23 a factor of (g + w)/5 + 62?
False
Let k(n) = -1885*n - 233. Is k(-3) a multiple of 72?
False
Suppose 47*v - 43*v + 3*f = 9375, -2*v = -5*f - 4655. Is 234 a factor of v?
True
Let w(x) = -377*x**3 - x. Let r be w(-1). Suppose a + 124 = -j - 125, -2*a + 4*j = 492. Let i = a + r. Is 26 a factor of i?
True
Let b = -13988 + 17888. Is 4 a factor of b?
True
Let m = 37904 + -11785. Is 227 a factor of m?
False
Let q(w) = -w**2 + 18*w - 7. Let r be q(17). Suppose 5*h = -r, 0*h = 2*p - h - 62. Suppose 5*n - p = 250. Is n a multiple of 8?
True
Let i(v) = -16*v + 25. Let r(d) = -17*d + 26. Let b(x) = 3*i(x) - 2*r(x). Let t(m) = -7*m + 11. Let n(p) = 6*b(p) - 13*t(p). Is 34 a factor of n(7)?
False
Suppose -56*j + 1420279 = -466697. Does 216 divide j?
True
Let g(v) = -v**2 + v**3 + 4 + 10*v**2 - 2*v**3 + 8*v. Let k be g(10). Is k + 19 + (-1 - -64) a multiple of 27?
False
Let x be 3 - (-112 - (0 - (-6 - -5))). Suppose x = -3*v + 1340. Is 34 a factor of v?
True
Let l(d) = -13 + 10*d**3 - 9*d**3 - 1 + 4 - 9*d**2 - 5*d - 8. Is 4 a factor of l(10)?
True
Let c(n) = 3*n**3 + 176*n**2 - 27*n - 99. Is c(-58) a multiple of 11?
True
Let n = -1421 + 18998. Is 10 a factor of n?
False
Let h(o) = o**2 + 4*o + 48. Suppose a - 540 = 5*a. Let y be (-18)/a - (-4)/(-30). Is h(y) a multiple of 6?
True
Let f = -16771 - -17551. Is f a multiple of 2?
True
Is (-21 + 1)/(-16 + 894/56) a multiple of 5?
True
Suppose 4 = 2*y, -41*y + 45*y = -5*z + 3263. Is 41 a factor of z?
False
Let j(i) = i**3 - 37*i**2 - 38*i + 70. Let s be j(38). Is 8 a factor of s/10 - (-304 + -1)?
True
Let p(c) be the first derivative of 9*c**4/4 - 5*c**3/3 + c**2 - 2*c + 126. Is p(2) a multiple of 4?
False
Suppose 4*g = -j + 19, j + 1 = -g + 2*g. Let r = 9 - 15. Is 12 a factor of j*r/(-9) + 20/2?
True
Does 9 divide (-3832)/(-10*(-15)/(-300))?
False
Let x = 22170 - -13239. Is 118 a factor of x?
False
Let u(j) = -j**2 + 111*j - 501. Is u(43) a multiple of 18?
False
Let g be 10/(-4)*(-104)/10 + -1. Suppose 5*x + 3*f - 1 = 0, -5*x + 4*f = -f - g. Suppose t - 221 = -x*a, -2*a - 3*t = t - 224. Is 7 a factor of a?
False
Suppose -4*r - 12478 = m - 47808, -4*r = -4*m - 35360. Is 10 a factor of r?
False
Let o = 271 + -402. Let n = 495 + o. Does 13 divide n?
True
Suppose -2*b + 3*q - 5 = -15, 3*q + 12 = 0. Suppose -2*m + 5*m + 12 = 0. Is 9 a factor of 27 + b + (-2 - m)/2?
True
Let u(k) = -22*k**2 - 6*k + 5. Let o be u(2). Let y = o - -161. Let h = y - 36. Is h a multiple of 15?
True
Suppose -5*k - 4*r - 41 = -9, 0 = 4*k + r + 19. Let j be (1 - 1)*k/8*2. Suppose -4*c + 2*y + j*y = -96, -y = -4*c + 94. Is c a multiple of 12?
False
Does 16 divide (38/10 - (5 - 0))/(3/(-9000))?
True
Let z(y) = -y**3 - 3*y**2 + 14*y - 5. Let f be z(-8). Let a = f + 162. Is a a multiple of 8?
False
Let m = 24543 + -24238. Is m a multiple of 5?
True
Let s(a) = 2448*a**2 - 229*a - 683. Is 209 a factor of s(-3)?
False
Suppose 0 = 2*p + 3*p - z - 2943, 2*z = 4. Let h = p - 244. Suppose 0 = -5*u + h - 45. Is u a multiple of 20?
True
Is 30581/159*(65 + -2)/3 a multiple of 25?
False
Suppose -16*u - c + 161 = -11*u, u - 28 = 4*c. Does 7 divide (u/12)/(-4)*-201?
False
Suppose -7*o - 13 = -c - 4*o, 0 = -2*o - 6. Does 6 divide -4 + (2 - -159*c)?
False
Let s = 1410 - -1626. Is 33 a factor of s?
True
Let z be (-4)/(-6) - (-35)/15. Let o(x) be the third derivative of x**4/8 + x**3/2 - 65*x**2. Does 4 divide o(z)?
True
Let h = 435 + -171. Let o = h + 170. Does 14 divide o?
True
Let i = -23 - -26. Suppose o - 13 = -i*m - 4, -m + 3 = 0. Suppose -3*q + 12*q - 954 = o. Does 13 divide q?
False
Suppose 16*g = g - 3165. Let j = -92 - g. Does 17 divide j?
True
Let i = 12585 - 12349. Does 4 divide i?
True
Suppose 0*b + b - 10 = -3*v, -4*v + 4*b = -8. Suppose -4*a - v*n = -1205, 970 = 5*a + 3*n - 537. Is a a multiple of 16?
False
Suppose 0 = -3*i + 2*w + 9012, -4*i + 3*w + 9958 + 2060 = 0. Is i a multiple of 150?
True
Suppose 29*g - 17517 - 17283 = 0. Let j = -33 + 35. Suppose g = 17*d - j*d. Does 10 divide d?
True
Suppose 0 = -8*u + 16242 + 5758. Suppose 8*x - u = -14*x. Does 6 divide x?
False
Let m(y) = -4*y**3 + 17*y**2 - 4*y - 3. Let f be m(5). Let q = 110 + f. Is q a multiple of 6?
True
Suppose -2034 = -3*v - 4*c, 0 = -4*v - 5*c + 3718 - 1005. Does 3 divide v?
False
Let j be (2/5)/(2/110). Let z = 32 - j. Let b = z - -18. Does 4 divide b?
True
Let n = 86 - 80. Suppose 0 = -2*j + 2, n = 5*b - 5*j + 1. Suppose b*s - 178 = -4*g, -5*g + 234 = 3*s - 34. Is 13 a factor of s?
True
Let s(w) = 37*w - 33. Let m be s(-3). Let l = m - -494. Is 15 a factor of l?
False
Suppose 4*w - 2384 = -4*z, -1975 = -4*z - 3*w + 413. Is z a multiple of 50?
True
Suppose 34 + 1 = 5*x + 5*h, -3*x = h - 15. Suppose 0*a = 4*a + 20, -x*c + 5*a + 97 = 0. Is 9 a factor of c?
True
Let o(l) be the second derivative of l**5/20 - l**4/2 - 5*l**3/6 + 3*l**2 + 27*l. Let w be o(6). Is 24 a factor of 60/(-9)*666/w?
False
Suppose -2*s = -14*s - 15*s. Suppose 9*i - 4*i = s, -j + 778 = -i. Does 14 divide j?
False
Let m(i) = -7*i**3 - 7*i**2 + 11*i + 2. Let g(a) = 3*a**2 + 12*a**3 - 1 - 2 - 21*a + 10*a**2 + a**3. Let v(f) = 6*g(f) + 11*m(f). Is v(2) a multiple of 6?
True
Suppose -11*t - 189 = -244. Let s(p) = 17*p - 31. Is s(t) a multiple of 6?
True
Is 10 a factor of -5227*((2/8 - (-105)/60) + -3)?
False
Suppose -2*i = -3 + 5. Let g(z) = 162*z**2 - 3*z - 1. Let y be g(i). Suppose 0 = 2*u - y - 102. Is u a multiple of 27?
False
Let l(k) = -3*k**3 + 5*k**2 - 4*k + 17. Let b(i) = -8*i**3 + 16*i**2 - 11*i + 52. Let w(q) = 4*b(q) - 11*l(q). Let p = -26 + 17. Is 21 a factor of w(p)?
True
Let k(l) = -35 + 178*l - 326*l + 159*l + l**3 + 7*l**2. Is 91 a factor of k(7)?
True
Let s(r) = 266*r**2 + 121*r + 1032. Does 267 divide s(-8)?
True
Let d(r) = -75*r**3 - 4*r**2 - 6*r. Let o be d(-2). Let x = -84 + o. Is x a multiple of 20?
False
Is 146901/24 - (-20)/160 a multiple of 14?
False
Let b(i) = 2*i**3 + 5*i**2 - 2*i + 1. Let u be b(-4). Let k = 98 - u. Suppose -c = 2*c + l - k, -19 = -c + 5*l. Is c a multiple of 18?
False
Suppose 14*g + 4*t = 19*g - 4483, 0 = -4*t + 12. Let w = g - 503. Is w a multiple of 33?
True
Let y = 30926 - 14424. Does 14 divide y?
False
Let p = -4653 - -9569. Does 64 divide p?
False
Let p be (19278/12)/(6/8). Suppose -4*s = -2*b + p, -20*s + 17*s - 3216 = -3*b. Is 22 a factor of b?
False
Is 43 a factor of 1 + (-2)/(-6) - (-9 + 413084/(-84))?
False
Let q be (-4)/6*3768/(-16). Suppose 1131 + q = 7*a. Is 36 a factor of a?
False
Suppose 4*x + 2*o = -6, 0 = 4*x - 5*o - 38 + 9. Let j(m) = 345*m**3 - m**2. Let s be j(x). Is 22 a factor of 2 -