 -6*s + 4*f - 30, -2*s - 43 = 5*f. Let l = s + 12. Is 14/28 - 167/l a multiple of 21?
True
Let g = -260 - -257. Let s(h) be the first derivative of 8*h**3/3 - 4*h**2 - 22*h - 3. Is 6 a factor of s(g)?
False
Suppose -22*t - 773586 = -88*t. Suppose -22929 - t = -22*u. Does 45 divide u?
True
Let h = -62 - -76. Suppose 0 = -k + 5*n - h + 38, -3*k - 5*n = -132. Let b = k - 19. Is b a multiple of 5?
True
Let o(a) = a**3 + 47*a**2 - 192. Is o(-23) a multiple of 12?
True
Let x = 24771 + -21886. Is x even?
False
Suppose 0 = 9*p - 2*p - 28. Suppose 0 = -5*d + 5*q + 460, 4*d = p*q + q + 367. Is d a multiple of 19?
False
Let r be (3 + -1)*(19 + -17). Suppose -3*s - 3 = -3*n, r*n + 3*s + s = 36. Does 3 divide n?
False
Let q = -9579 + 17307. Is 7 a factor of q?
True
Is (-2)/2 + 98*(17 - 9) a multiple of 27?
True
Suppose 0 = -0*u + 6*u - 16626. Suppose 9*i = 46 + u. Does 56 divide i?
False
Let o = -7634 + 11784. Is 83 a factor of o?
True
Let t = 216 - -5664. Does 49 divide t?
True
Suppose 5*g + 4 + 6 = 0. Let h be (16 + -16)/(-1 - g). Suppose h*a = 13*a - 455. Does 5 divide a?
True
Suppose -5*o = -d + 5, -3*d - 2*o = -0*d + 2. Suppose d = -3*t + 5 + 1. Is 4 - 7 - (t - 173)*1 a multiple of 42?
True
Let v = 2106 - -977. Is 58 a factor of v?
False
Let y(p) = -p**3 - 11*p**2 - 13*p - 6. Suppose 4*s - 2*g + 44 = 0, 3*s - 2*g + 40 = 3*g. Let d be y(s). Suppose 7*n = d + 340. Is 16 a factor of n?
False
Suppose -c - 2*t + 2565 = 167, -t = -8*c + 19201. Is 23 a factor of c?
False
Let f(d) = 2*d**3 - 23*d**2 + 12*d - 11. Let h be f(11). Suppose -3*a - o + 152 = 0, 0 = a - h*o + 2*o - 49. Is a a multiple of 12?
False
Let f be ((-98)/(-6))/(5/15). Let o = 18 - 46. Let j = f + o. Does 8 divide j?
False
Let t(m) be the second derivative of m**4/12 + m**3/2 - 61*m**2/2 - 3*m - 1. Is t(18) a multiple of 7?
False
Suppose -2*h = 2*w - 4 - 4, 4*h + 3*w = 21. Is (90/4)/h*148 a multiple of 10?
True
Let o be (4 - (-3 + (3 - -1))) + 1315. Let u(i) = 2*i - o*i**2 + 0 + 1341*i**2 + 4. Is u(-2) a multiple of 46?
True
Suppose 306475 = 133*v - 68*v. Is v a multiple of 115?
True
Let d(o) = 75*o**2 - 200*o - 2418. Is 18 a factor of d(-12)?
True
Let w(t) = 9989*t - 1403. Does 173 divide w(6)?
False
Let n = -1 + 0. Let b(v) = -32*v**2 - 47*v**2 + v + 3 + 196*v**2 - 2. Is b(n) a multiple of 6?
False
Does 19 divide 81263/47 - (-3 - (-1 - 8/4))?
True
Suppose -25 = -5*d - 0*d, -4*d - 196 = -3*m. Suppose -m = -46*n + 8208. Is 17 a factor of n?
False
Let x(k) = 5*k**3 + k. Let c be x(-2). Let n = c - -44. Suppose 2*g - 2 = g, -3*g = n*t - 156. Is t a multiple of 8?
False
Let f(r) = 36*r**2 - 3*r - 12. Let n be f(-3). Suppose -h + n + 229 = 0. Is 50 a factor of h?
True
Suppose m - 6*a = -9*a - 12, 0 = -a. Let u(c) = 6*c**3 - c**2 + 3*c + 2. Let x be u(-2). Let j = m - x. Is j a multiple of 26?
False
Is 33 a factor of (2*-1)/(-10) - (-91034)/230?
True
Let a(u) = u**3 - 7*u**2 - 6*u - 12. Suppose -3*w + 15 = 3*o, -4*o + 7 + 13 = 2*w. Suppose 3*z - 2*k = 7*z - 30, -k - 55 = -o*z. Is 19 a factor of a(z)?
True
Suppose -5*k + 1021 = 2*q, -q - 3*k = -4*q + 1542. Does 9 divide q?
True
Let u be ((-35)/(-3))/(((-9)/27)/1). Is 17 a factor of (-1405)/u + (-1)/7?
False
Let r = -2650 + 18356. Does 155 divide r?
False
Suppose -35 = -5*m + 15. Let c be ((-5)/m*2)/(-1). Is (13 - 4 - -4)/c a multiple of 13?
True
Suppose 38005 + 72070 + 56035 = 7*z. Is z a multiple of 70?
True
Suppose 2*d = 5*o + 2870, -15*o - 5752 = -4*d - 11*o. Is 45 a factor of d?
True
Let o(v) = -2*v**3 - 109*v**2 - 71*v + 383. Is 61 a factor of o(-54)?
False
Let d = 110 + -95. Suppose -4*q = 3 - d. Is -98*q*(-5)/30 a multiple of 23?
False
Suppose -151 = -4*b - j + 3693, -952 = -b + 2*j. Is 6 a factor of b?
True
Suppose -3633 = 9*g - 150. Let h = g - -1300. Is 12 a factor of h?
False
Let n be (-2)/(-13) - (-5715)/117. Suppose 5*g + 4*a - 187 = 0, 5*a = -0*g + g - n. Let o = g - -10. Is o a multiple of 7?
True
Does 5 divide (-6)/(-5)*-75*(-3140)/90?
True
Let h be 8/6 - 2/(-3). Suppose -3*b + 996 = 5*i + b, 2 = -h*b. Does 10 divide i?
True
Let o be (-17)/(68/(-8)) - (-5 - 0). Suppose -7*b + 952 = o*b. Is 17 a factor of b?
True
Let p(l) = 11*l**2 + 4*l - 26. Let q(c) = 4*c**2 + c - 9. Let h(r) = -3*p(r) + 8*q(r). Let i be h(-5). Is ((-202)/(-2))/(0 + i) a multiple of 21?
False
Suppose -105 = -3*n - 2*n. Let m be (24/(-32))/(15/(-40)). Suppose -c + m*y + 21 = 0, 3*y = -c + 6*y + n. Is 10 a factor of c?
False
Let r(n) be the third derivative of -n**4/12 - n**3/6 + 10*n**2. Let z be r(-4). Is 19 a factor of 509/z + ((-32)/(-28))/4?
False
Let y be (1 - 7/(-5))*(-20)/6. Is 2 a factor of (3*y/(-10))/((-2)/(-50))?
True
Let k = -61 + 44. Let j be (k + 14)/(3/2). Is (j/2)/((-7)/105) even?
False
Suppose 9*v - 60 = 4*v. Is (-1 + 1700/v)*6/4 a multiple of 4?
False
Suppose 3*i - p + 44 = 0, 3*i = -2*p - 18 - 20. Is 21 a factor of (-2)/4 + 0 - 1071/i?
False
Suppose -77403 = 4*o - 13*o - 1200. Does 8 divide o?
False
Let f = 229 + -140. Let w = 223 + f. Is w a multiple of 26?
True
Let l = -39487 + 85670. Is 28 a factor of l?
False
Let i(n) = n**3 - 4*n**2 - 5*n - 37. Let d be i(6). Suppose -s - d*q - 931 = -5*s, q + 234 = s. Is s a multiple of 12?
False
Let t(h) = -h**2 + 11*h - 13. Let p be t(6). Suppose 0 = 14*d - p*d + 12. Suppose 46 + 106 = d*w. Is 17 a factor of w?
False
Let c = -89 + 179. Let i be ((-10)/3)/(((-78)/c)/(-13)). Let v = 2 - i. Is 4 a factor of v?
True
Suppose 43*q - 38*q - 2375 = 0. Suppose x + k - 145 = 0, k - 60 + q = 3*x. Is x a multiple of 7?
True
Suppose 6 + 0 = 3*l. Suppose 20 = 2*b - l*o, 5*b + 0*b - 2*o - 35 = 0. Suppose -h = -4, -3*h - b = -y + 5. Is y a multiple of 11?
True
Let t(q) = -135*q + 4120. Does 5 divide t(22)?
True
Suppose 0 = -60*o + 174893 + 339967. Is 15 a factor of o?
False
Let c be (2 + -1)/(48/15 + -3). Let x(y) = y + 1. Let l be x(c). Suppose u + 4 = 0, -3*v - l*u + u = -205. Does 25 divide v?
True
Let u be 10/(-2) - (-6 + 0). Is 21 a factor of u/((-1830)/(-609) - 3)?
False
Let u = -480 - -471. Is 4/4*(u - -5 - -32) a multiple of 5?
False
Let w = -2 + 1. Let s be (-251)/(2/2*w). Suppose 4*n + 3*d = 241, 0*d + d - s = -4*n. Is n a multiple of 16?
True
Let s = 512 - 246. Let i = s + 7. Suppose 5*t + 2*t = i. Is t a multiple of 11?
False
Let i be (-5 + 1)*81/(-12). Let g = -27 + i. Suppose g = -3*w + a + 43, w + 3*a = -a + 36. Is 4 a factor of w?
True
Let q(k) = -k**3 - k**2 + 28*k + 188. Is 188 a factor of q(0)?
True
Suppose 0 = c + 5*o - 30, -3*c - 3*o + 8*o = -50. Is -2*c*((-42)/6 - -6) a multiple of 6?
False
Suppose 3*l - 2*a + 0*a - 93 = 0, -4*l + 124 = -a. Suppose c = -0*c - l. Let k = 46 + c. Is k a multiple of 3?
True
Let v = 3040 - -556. Does 2 divide v?
True
Suppose 4*p = -4*a + 1084, 4*p = -0*p + 4*a + 1092. Suppose -295 = -9*y + p. Is y a multiple of 7?
True
Suppose -4*x - 2*q = -q - 1942, -4*q = -3*x + 1447. Suppose -x + 7 = -5*w - z, 3*w + 2*z = 291. Let u = w + -77. Does 5 divide u?
False
Let o = -504 - -1013. Let x = -338 + o. Is 9 a factor of x?
True
Let g(l) = -2*l**3 + 2*l - 1. Suppose 0 = 4*h - u - 1, h - 3*u + 0 - 3 = 0. Suppose d - 5 + 7 = h. Is 3 a factor of g(d)?
False
Is (-381)/3*(-21 + 15) a multiple of 127?
True
Let d(v) = 3793*v - 13150. Does 112 divide d(11)?
False
Suppose 2*p = 5*i - 8 - 7, 2*i - 6 = p. Suppose c - 7*c + 18 = 0. Suppose c*g = -i*l - l + 153, l = -g + 37. Does 6 divide l?
True
Let k = 3556 + -2675. Is 73 a factor of k?
False
Suppose 121350 = 17*t - 101316. Is 6 a factor of t?
True
Let l(w) = -563*w - 6 - 84 - 567*w + 13. Does 53 divide l(-1)?
False
Let z(a) = -a**3 + 40*a**2 - 116*a + 136. Is 3 a factor of z(36)?
False
Suppose -22*z = -31*z + 37359. Let u = z + -2770. Is u a multiple of 13?
False
Let y be 14198/(-5) + (-231)/(-385). Let u = y - -4362. Is 43 a factor of u?
False
Let l(r) be the second derivative of 7*r**4/6 + 11*r**3/6 + 17*r**2/2 - 5*r + 9. Does 65 divide l(-6)?
True
Suppose -3*g - 42 = -3*r, -r - 5*g + g - 6 = 0. Suppose 6*o - r*o = 16, 0 = -5*v - 3*o + 13. Does 5 divide (170/25)/(1/v)?
False
Let q = 363 + -403. Let w(l) = l**3 + 40*l**2 + 71. Is 6 a factor of w(q)?
False
Suppose -346*l + 7563435 = 2738811. Does 19 divide l?
False
Suppose g = -m + 4*m - 1705, -6812 = 4*g - 4*m. Let l = -1170 - g. Let h = l - 367. Does 15 divide h?
True
Suppose 12*n - s