
Let k(x) = x**3 - 8*x**2 - 8*x + 12. Let h be k(9). Let n = h - 42. Is 16 a factor of 226/7 - (-6)/n?
True
Suppose 4475 = 8*h - 8205. Does 11 divide h?
False
Suppose 0 = -0*g + 92*g - 45 - 231. Let d(r) be the third derivative of 23*r**4/12 + 4*r**3 + r**2. Is 27 a factor of d(g)?
True
Let z be (3 - 8)/(2/(-20)). Let h = z + -50. Suppose h = -26*o + 27*o - 6. Does 5 divide o?
False
Let x(j) = -14*j**2 + 10*j + 11. Let f be x(-5). Let y = f + 142. Let q = y - -353. Does 24 divide q?
False
Suppose -10*p = -2911 + 4101. Suppose x - 162 = -2*a + 110, -4*x - a = -1067. Let s = p + x. Does 14 divide s?
False
Suppose 0 = -66*c + 72*c + 6. Is 18 a factor of (-3)/((c - -2)*4)*-284?
False
Suppose 0 = -0*f - f - 2*l + 4, f - 5*l + 10 = 0. Suppose 5519 = 4*r + 5*p, 9 + f = 3*p. Suppose 127*s - r = 123*s. Is s a multiple of 23?
False
Let v = 326 - 272. Let d = 57 + v. Is d a multiple of 35?
False
Let s(b) = -166*b + 5. Let q be s(3). Let z(v) = -4*v**2 + 22*v + 37. Let m be z(7). Is ((-6)/15 - q/m)*-1 a multiple of 5?
False
Let d(r) be the third derivative of -r**6/120 - r**5/10 + r**4/2 + 4*r**3/3 - r**2 + 2. Is d(-8) a multiple of 2?
True
Let k(w) = w**2 - 5*w + 2. Let g be k(5). Suppose -4*d = g*r - 632, 0 = 3*r + r - 4*d - 1228. Is ((-30)/25)/((-4)/r - 0) a multiple of 18?
False
Is ((-84)/3)/4 + (21031 + -7)/9 a multiple of 6?
False
Is (16 + -12 - -69)*29 - (-3 + 0) a multiple of 10?
True
Suppose -4*r - 5*i + 15 = r, -2*i - 10 = 0. Suppose j = -5*f + 2119, -4*f + r*f + 4*j = 1708. Is f a multiple of 15?
False
Let b = 9804 - 4597. Does 57 divide b?
False
Suppose 4091 = 2*k + 3*a, -5*k + 146*a + 10133 = 143*a. Does 4 divide k?
True
Suppose -216 = -4*g - a + 200, -3*a = 4*g - 416. Let o(r) = -r**2 - r - 2. Let p be o(-1). Is g*p*15/(-20) a multiple of 12?
True
Suppose -969*r + 963*r = -72864. Does 23 divide r?
True
Suppose -163*d + 240742 + 317894 = -553024. Is 20 a factor of d?
True
Suppose 0 = -4*m - 2*j + 58, -5*m = -2*j - j - 78. Let q(y) = y + 55 - 16 + 2*y. Does 18 divide q(m)?
False
Let u(s) be the third derivative of 0 + 0*s - 3/8*s**4 + 1/30*s**5 - 16*s**2 + 5/3*s**3. Is u(7) a multiple of 12?
False
Let d(x) = 186*x - 95. Is 21 a factor of d(15)?
False
Let j(i) = -i**2 - 3*i. Let q be j(9). Let p = -52 - q. Is 26 a factor of 3/(-1) + (p - 1)?
True
Let h be -2*(-6162)/(-24)*2/13. Let l(d) = 27*d + 4. Let i be l(5). Let y = i + h. Is y a multiple of 30?
True
Let n(d) = d**2 + 4*d**2 + d**2 + 5 - d**2 + d**3. Let u(p) = p**2 - 4*p - 16. Let m be u(6). Does 21 divide n(m)?
True
Suppose -4*v - 1466 = 2*q, 4*q + 18*v + 2962 = 16*v. Let l = -244 - q. Is l a multiple of 19?
False
Let b(o) = -4*o - 7. Let x be b(-3). Suppose 0 = -x*p - 4*l + 197, l + 84 = 3*p - p. Let j = -24 + p. Does 17 divide j?
True
Let s(j) = 4*j**2 - 65*j - 34. Does 96 divide s(44)?
False
Let c(z) = 32*z**3 + 3*z**2 - 18*z + 60. Is c(8) a multiple of 31?
True
Let v = -39273 + 47073. Does 26 divide v?
True
Let m be ((-22 - -20) + -345 + -1)/(-1). Let t = m - 113. Is t a multiple of 47?
True
Suppose -1 = -51*x - 1. Suppose -15 = -3*d, x = -2*w + 8*d - 5*d + 1833. Is 77 a factor of w?
True
Let b = 465 + -457. Suppose 820 = -b*h + 3900. Does 18 divide h?
False
Suppose -3*i = 5*o - 5416, 8*o - 10*o - 3*i = -2179. Is o a multiple of 11?
False
Let l(h) be the second derivative of -h**5/20 + 3*h**4/4 - h**3/3 - 3*h**2 - 43*h. Let r be l(7). Let a = -70 + r. Is a a multiple of 8?
True
Let l = 688 + -683. Suppose v = 2*x - 3279, 7*v - 8199 = -l*x + 9*v. Is 48 a factor of x?
False
Let j(c) = -c**2 - 7 - 4*c**3 + 5 + 10*c + 12 + 3*c**3. Is j(-8) a multiple of 42?
True
Let g(q) = q**3 - 117*q**2 + 249*q + 268. Is 10 a factor of g(115)?
False
Let r = -772 - -326. Let p = 763 + r. Is p a multiple of 22?
False
Suppose -228*i + 4*j = -223*i - 152317, 2*i + 4*j = 60882. Is 179 a factor of i?
False
Suppose c = -3, -3*u - 14 = -2*c - 35. Suppose 2*s + 1 = s, -2*s = -u*d + 167. Is 11 a factor of d?
True
Let z = -19639 - -25104. Does 9 divide z?
False
Let t(s) be the second derivative of 15/2*s**2 + 1/12*s**4 - 21*s + 0 + 1/2*s**3. Is t(-8) a multiple of 11?
True
Let s be (15/21 + 1)*(-378)/(-9). Suppose -918 = -6*j + s. Does 3 divide j?
True
Suppose 362*k = 340*k + 7062. Is k even?
False
Let i(n) = 22*n - 2. Let y be i(-1). Let z be (-40)/y + 2/6. Suppose z*s = -3*r + 49, -2*r = 3*s - 7*s + 58. Is 17 a factor of s?
True
Let g = -2681 - -4404. Does 93 divide g?
False
Let o(n) = n**3 - 4*n**2 + 7*n - 7. Let r be o(4). Let g(a) = -a**3 + 22*a**2 - 6*a - 2. Does 57 divide g(r)?
False
Let s(j) = -j**3 - 8*j**2 + 13*j + 5. Let b(z) = z**3 - 4*z**2 - 11*z - 1. Let o be b(6). Suppose -o*t - 60 = 2*i, -t - 2*i + 15 = -7*i. Is 27 a factor of s(t)?
False
Is (-10 + (-27738)/(-45))*30 a multiple of 26?
False
Does 42 divide (18 - 26/13) + 10205?
False
Let m(o) = -10*o - 51. Let b be m(-9). Let k be (8/6)/(26/b). Is ((-76)/20 + 3)*-75*k a multiple of 8?
True
Let t = 78 + -114. Let r = t - -38. Suppose -5*g = -g - 4, u - r*g = 44. Is 13 a factor of u?
False
Suppose -91 + 79 = -6*n. Suppose 32*g = 30*g - n*k + 998, -3*g - 2*k + 1502 = 0. Does 36 divide g?
True
Let v = -112 + 153. Let c = -39 + v. Is c/(-4) + 53/2 a multiple of 8?
False
Let m(g) = 7*g**2 - 3*g - 7. Let a be m(-3). Let o = 70 - a. Is 14 a factor of -5*(-11 + (3 - o))?
False
Let k = -834 + 462. Let f = 526 + k. Is 11 a factor of f?
True
Let p = 8654 + -7524. Is p a multiple of 10?
True
Let t(h) be the second derivative of h**4/12 + 23*h**3/6 - 59*h**2 + 139*h. Is 68 a factor of t(-42)?
True
Suppose 0*c + 3*c = -84. Let x be 4/14 - 412/c. Suppose -3*f = x - 339. Is f a multiple of 8?
False
Suppose -184*m + 189*m = 4*b + 5970, 4*m - 4776 = 2*b. Does 8 divide m?
False
Suppose s + 4*s = 0. Suppose s*x = 5*x - 4*y - 18, 3*x + 3*y = 27. Does 8 divide (x - 5) + (1 - -30)?
True
Let z(k) = -2*k. Let p(h) = -5*h + 4. Let y(a) = -p(a) - 2*z(a). Is 4 a factor of y(12)?
True
Let x be (3/2 - 1)/((-10)/(-680)). Suppose -6*y + 7*y - x = 0. Does 32 divide (-1360)/51*(y/(-10) - -1)?
True
Let z = -8802 - -47698. Is z a multiple of 143?
True
Let b = 2273 - -3621. Does 14 divide b?
True
Suppose -380816 + 109954 = -43*p + 245654. Is p a multiple of 78?
True
Let c(m) = -m**3 - 25*m**2 - m - 20. Let s be c(-25). Suppose s*i + 35 = 3*w - 201, 0 = w - 3*i - 76. Is w a multiple of 2?
True
Let z(r) = -1389*r + 10000. Is 61 a factor of z(-11)?
False
Let o be (-2)/(-10) + (168/(-20))/(-3). Suppose 3*j + o*l = j + 15, 4*j - 63 = 5*l. Does 6 divide j?
True
Let s be 1/3 + 40/6 - 3. Let i(x) = -x**3 + 4*x**2 + 3*x - 2. Let c be i(s). Is (34/(-5))/((-4)/c) a multiple of 17?
True
Let h = -84 + 126. Let k be 594/h - 2/14. Suppose k = v - 4*z, -5*v + 0*z + 5*z + 85 = 0. Is 4 a factor of v?
False
Suppose 3*t = -3, 3*a = -4*t + 12 - 1. Let v(l) be the third derivative of 19*l**4/24 - 11*l**3/3 + 155*l**2. Is 25 a factor of v(a)?
False
Suppose 241 = -5*c - k, 4*c + 118 = 2*c + 5*k. Suppose -78*j - 2622 = -124*j. Let m = j + c. Is m a multiple of 4?
True
Let i be (-93)/(-2) - -3 - 8/(-16). Suppose 0 = 5*j - 0*j + 50. Let l = i + j. Is 7 a factor of l?
False
Suppose 2*j - 96 = -5*y, -5*j = 4*y - 38 - 32. Suppose -y*c = -3*q - 17*c + 972, -q + 332 = -5*c. Is 14 a factor of q?
True
Suppose 23037 = 28*p - 27*p. Is p a multiple of 13?
False
Let i be (-1280)/224 - 5/(-7). Suppose -5*v = -n - 54, 5*v - n - 62 = 2*n. Is (-4)/(-2) + i + v a multiple of 7?
True
Suppose 4*d - 3*a - 102 = 0, -98 = -5*d - 5*a + 12. Suppose -d - 26 = -x. Does 6 divide (-7 - -7) + 0 + x?
False
Suppose -3723 + 973 = -11*x. Suppose -4*b = z + 475, -602 + 142 = 4*b + 4*z. Let k = b + x. Is 12 a factor of k?
False
Suppose 0 = -9*h + 3*h + 8712. Is h/42 - (-3)/7 a multiple of 5?
True
Let b = -967 - -4583. Is b a multiple of 32?
True
Let c = -9431 - -22297. Is c a multiple of 64?
False
Suppose -4*c - 5*j = -34132, -16*c = -19*c - 2*j + 25592. Does 13 divide c?
True
Let t(k) = 28*k**2 + 90*k + 1666. Does 65 divide t(-16)?
False
Let k(n) = -n**2 + 117*n - 1254. Is k(12) a multiple of 3?
True
Suppose -6619 = 5*o + 261. Is (o/(-64))/(2/56) a multiple of 14?
True
Let m(i) = -75*i + 36. Does 30 divide m(-5)?
False
Let o(d) = -d**3 + 10*d**2 - 8*d - 6. Let w be o(9). Suppose -p + w*g + 58 = 0, -4*g + 14 = 5*p - 200. Does 4 divide p?
Fa