 - w = -5*d. Is 14 a factor of d?
True
Suppose -2*p - 26 = -5*b, 3*p + 13 = -0*p + b. Is 2884/(-21)*p - 5 a multiple of 14?
False
Let y(u) = -4*u + 9*u + 10*u**2 - 10 + 1. Does 12 divide y(-5)?
True
Suppose 1078 - 334 = -4*i - y, 0 = 2*i - 4*y + 390. Suppose 2*m - 3*m + 322 = 0. Let u = m + i. Is 27 a factor of u?
True
Suppose -17*f + 42768 = 7*f - 6*f. Is 88 a factor of f?
True
Let s(x) be the second derivative of -x**5/20 - x**4/12 - x**3/3 + 15*x**2/2 - 10*x. Let t be s(0). Let d(p) = -2*p**2 + 33*p + 11. Does 4 divide d(t)?
True
Suppose -5*y - 2*d = -86252, 34499 = 47*y - 45*y - d. Does 50 divide y?
True
Let h(b) = 292*b + 11. Let i be h(3). Suppose -12*r = -i - 697. Is r a multiple of 6?
True
Suppose w - 4*w - 8 = t, 28 = 4*t - 3*w. Is 38 a factor of 770 + t + (-3 - -5)?
False
Let l be (-1082)/10 - 2/(-10). Let x = -1081 + 1266. Let m = x + l. Does 19 divide m?
False
Let h(n) = 2*n**2 - 34*n. Let b be h(15). Let g be -40*(0 - (-2)/4). Is -2*214/g + 24/b a multiple of 7?
True
Let y(q) = 10*q - 146. Let j be y(15). Suppose -1572 = -0*f - j*f. Does 27 divide f?
False
Let y = -80 - -82. Suppose 2*o - y*r = -0*o - 192, 5*r = o + 76. Let t = o + 143. Does 10 divide t?
False
Suppose 7*d = -6*d - 0*d. Let p(m) = 2*m**2 - 5*m + 2. Let q be p(3). Suppose -q*z - 6 + 91 = d. Is z a multiple of 3?
False
Suppose -106*j + 37335 = -12354 - 661. Does 40 divide j?
False
Let d(q) = -q**3 - 19*q**2 + 30*q + 46. Let f be ((-10)/(-2) + -2)*(-1 + -6). Is d(f) a multiple of 22?
False
Let q(n) = 72*n**2 - 4*n. Let m be q(1). Let c = m + 154. Does 57 divide c?
False
Let s(q) = 7*q**2 + 3*q - 26. Suppose 2*t + 0*p = -4*p - 8, 0 = -5*t - 2*p - 20. Is s(t) a multiple of 22?
False
Let u = 6 + 40. Let n = u - 40. Let z(b) = 2*b**2 - 9*b + 3. Does 17 divide z(n)?
False
Let j be (-9)/15 - 886/(-10). Suppose 0 = -4*a + v + 371, -a - 5*v = -j - 10. Let m = -38 + a. Does 11 divide m?
True
Let h(j) = 1516*j + 5329. Is h(15) a multiple of 106?
False
Suppose -33*t + 29*t + 38952 = -2*a, 4*a = 3*t - 29224. Is 19 a factor of t?
False
Let x = -5 + 3. Let z(k) = 33*k**2 + 15*k + 8. Let s(w) = 94*w**2 + 43*w + 23. Let a(n) = 6*s(n) - 17*z(n). Is a(x) even?
True
Let a = -51361 + 76889. Suppose 38*f = a + 28546. Is f a multiple of 25?
False
Let m(j) = 2*j**2 + 25*j + 25. Let p be m(-12). Suppose d = -p*d - 1918. Let o = d - -290. Is 17 a factor of o?
True
Suppose 0 = -6*v + 5*t + 2801, 337*v - t = 336*v + 466. Is v a multiple of 3?
True
Suppose 264*q - 24697 = 262*q - 5*p, -2*q = 4*p - 24698. Is 88 a factor of q?
False
Let c be 247/((-3)/(30/(-5))). Let h = c - 395. Is 9 a factor of h?
True
Let c = -2194 + 430. Let v = -1137 - c. Is v a multiple of 11?
True
Let a(s) = 1043*s + 34. Let t be a(8). Suppose -8*y = -t + 978. Suppose 12*g - 251 = y. Does 13 divide g?
False
Let j be (-1)/((-88)/(-28) + -3) - -1. Let q(d) = -10*d - 19. Let p(i) = -21*i - 38. Let s(m) = j*p(m) + 13*q(m). Does 21 divide s(-10)?
True
Let p(s) = -35*s - 1160. Let k be p(-37). Let o = -267 + 188. Let w = o + k. Is 7 a factor of w?
True
Let l be 1190/(-4)*(-3 + 35/25). Let i = -140 + l. Does 12 divide i?
True
Let r(o) = -4*o**2 + 24*o - 113. Let i be r(5). Let h = 126 + i. Does 33 divide h?
True
Let i(v) = v**3 - v**2 + 2*v - 1. Let a(c) = 39*c**3 - 2*c**2 + 17*c - 7. Let y(j) = -a(j) + 5*i(j). Is y(-2) a multiple of 21?
False
Let h = 26 + 264. Let b = -80 + h. Does 9 divide b?
False
Let x be (-12)/16 - (-46)/8. Suppose 0 = 3*m - x*h - 109, 4*h + h = 5. Suppose -m = -a + 37. Is 25 a factor of a?
True
Let a(g) = g**3 - 13*g**2 + 12*g + 3. Let b be a(4). Let s = b - -133. Does 5 divide s?
True
Suppose 2 = 7*k - 12. Let f(d) = -7*d + 94 + 29*d - d**k - 17*d. Does 25 divide f(0)?
False
Let o(a) = 1677*a - 704. Is 2 a factor of o(3)?
False
Suppose 4*j - 3*w = 2*j + 6605, -4*j + w + 13205 = 0. Suppose -j = -8*s + 7499. Suppose 15*y - s = -0*y. Is y a multiple of 15?
True
Let r be (26/78)/((-2)/(-12)). Suppose 493 = 3*m + r*l, 5*l = 6*m - m - 780. Does 14 divide m?
False
Let y(s) = 19*s**2 - 158*s - 21. Is y(21) a multiple of 18?
True
Suppose -66*w + 68*w - 3*z - 1073 = 0, 0 = 4*w - 4*z - 2140. Is w a multiple of 38?
True
Let q = 8288 - -1231. Suppose 0 = -12*v + q + 1029. Is v a multiple of 80?
False
Let t = 104 + -54. Suppose -t*d - 24 = -54*d. Let k(q) = q**3 - 6*q**2 + 5*q + 10. Does 10 divide k(d)?
True
Suppose -25*r = f - 26*r - 1163, -4*f - 3*r = -4645. Is 9 a factor of f?
False
Let s = 599 - -210. Let h = s - 257. Does 46 divide h?
True
Let u(s) be the first derivative of s**3 + 21*s**2/2 + 16*s - 73. Is u(-9) a multiple of 14?
True
Let l(p) = 6*p**2 - 323*p - 4700. Is l(-15) a multiple of 14?
False
Let n = 33 - 59. Is 51 a factor of (0 + -34)*273/n?
True
Suppose 9*k + 36 = 13*k. Is 888/(-10)*(-45)/k a multiple of 37?
True
Suppose -5*x - 20*t + 18*t + 24642 = 0, -4*t + 24644 = 5*x. Is 77 a factor of x?
True
Suppose -23*b + 110754 = -18*b - 6*r, 5*b + r - 110691 = 0. Is 164 a factor of b?
True
Let n = 5625 + -4565. Is n a multiple of 10?
True
Suppose h = -h + 4*z + 18, 5*h - z - 27 = 0. Suppose -h*l = 2*y - 230, -4*l + 19 + 90 = y. Is 5 a factor of y?
True
Suppose 3*n + 6 = -p - 5, -2*n - p = 7. Let v be (-2 - (-37)/n) + (-1)/(-4). Let h(k) = k**2 + 3*k - 4. Is h(v) a multiple of 15?
False
Let q = 15891 - 10588. Suppose -q = -9*k + 5434. Is 69 a factor of k?
False
Let u(q) be the first derivative of q**3/3 + q**2/2 + 2*q + 7. Let b be u(0). Suppose -24 - 2 = -b*k. Is k even?
False
Let y = 1393 - 718. Suppose -21*w = 4*w - y. Is w a multiple of 7?
False
Suppose -z + 12593 = 4*q, 2*q + z - 6067 - 230 = 0. Is 4 a factor of q?
True
Let x(y) = 11*y - 63. Let l be x(-27). Let p = -350 - l. Is 5 a factor of p?
True
Let q be (-1214)/(-2) + (12 - 11). Suppose q = v + 296. Is 24 a factor of v?
True
Let x = 16991 + -16710. Is x a multiple of 3?
False
Let c(b) = 7*b**3 + 29*b**2 + 20*b - 6. Let m(w) = 15*w**3 + 59*w**2 + 40*w - 11. Let j(r) = 13*c(r) - 6*m(r). Does 13 divide j(-21)?
False
Let f(a) = a**3 - 3. Let j(k) = -7*k**3 - 5*k**2 + 5*k - 159. Let w(d) = -6*f(d) - j(d). Is 3 a factor of w(0)?
True
Let n be 16/(-12)*9/(-6). Suppose z + 149 = 4*g, -n*z = -3*g + 10 + 108. Does 12 divide g?
True
Let m be ((-5)/2)/((-1)/(-2)). Let f(j) be the third derivative of -11*j**4/8 - 65*j**3/6 - 5832*j**2. Is f(m) a multiple of 10?
True
Suppose 4*f = -4*s + 32, 5*f - s + 13 = 7*f. Let h be (-4)/(4/(-11 - -3)). Suppose 234 = 2*l + 5*q, -5*l - 346 = -h*l - f*q. Is 7 a factor of l?
True
Suppose -346 = -4*g - 46. Suppose -g*r + 66*r + 4428 = 0. Does 41 divide r?
True
Let i(d) = -d**3 + 20*d**2 - 51*d - 3. Let c be i(17). Is 22 a factor of (4356/(-154))/(c/14)?
True
Let z(k) = 2*k**3 + 4*k**2 + 4*k - 11. Let o be z(5). Let y = -714 + o. Let l = y - -497. Is 35 a factor of l?
False
Let r(t) = -49 + 6*t + 47 + 0*t - t. Let b be r(3). Suppose -730 - 1766 = -b*n. Does 44 divide n?
False
Suppose -32 = -16*r + 8*r. Suppose -4*a = -s + 54 + 97, r*s = -2*a + 694. Is 19 a factor of s?
True
Suppose -18*k - 18 + 90 = 0. Is (k - (-2)/(-1))/(76/6650) a multiple of 7?
True
Let l be (-2 - -10) + -3 + 0. Let j be (-3)/l + 65892/170. Suppose -j - 47 = -2*t. Is t a multiple of 31?
True
Let y(t) = -2*t**2 + 9*t + 13. Let i be y(-2). Is 85 a factor of (i - (-555)/45) + 1778/3?
False
Let i(l) = -4880*l - 445. Is 45 a factor of i(-2)?
True
Suppose -3*u - 111*s + 2395 = -110*s, 0 = -u + 3*s + 785. Is u a multiple of 20?
False
Let a(r) = 23*r**2 - 24*r - 27. Let m be a(-1). Suppose 4*h - d = 35, -4*h = 4*d - 47 - 13. Is m - (2/(-3))/(h/(-15)) a multiple of 7?
False
Suppose 1306452 = 1020*v - 978*v. Is 206 a factor of v?
True
Let l be (-20)/(-50) + 1/5*738. Suppose 5*g + 4*d - 897 = -193, g = d + l. Is 3 a factor of g?
True
Is 58 a factor of (-14616)/(-49)*14/4?
True
Let n = 132 - -182. Suppose 4*i + n = 3*r, r = i + 78 + 28. Is r a multiple of 5?
True
Let k(d) = -3*d**3 - 5*d**2 + 7*d - 27. Let j(l) = -7*l**3 - 14*l**2 + 21*l - 80. Let n(u) = 4*j(u) - 11*k(u). Is 14 a factor of n(5)?
False
Suppose 4*n - 19635 = -4*a + 2021, -10856 = -2*a + 5*n. Is 18 a factor of a?
True
Let r = 316 - 316. Suppose -8*d + 775 + 121 = r. Does 28 divide d?
True
Suppose 21*n - 15*n - 40758 = 0. Is n a multiple of 11?
False
Let h(o) be the third derivative of o**4/24 + 8*o**3/3 +