- 215, -2*n = -4*l + 2*n + 236. Let v = l - 24. Is v a multiple of 19?
False
Let w = -506 - -500. Let c(x) = -127*x + 131. Is 47 a factor of c(w)?
True
Let c = -162 - -159. Does 15 divide ((-63)/6 - c)*(-7 - 35)?
True
Let p(q) be the second derivative of q**4/12 + q**3/3 - 5*q**2 + q. Let b be p(0). Let s(d) = d**2 + 8*d + 8. Is 10 a factor of s(b)?
False
Let t(c) = 7*c + 1874. Let j be t(0). Let y = j - 1026. Suppose -2*m = -5*u + y, u - m + 500 = 4*u. Is u a multiple of 24?
True
Suppose -175*a = -206*a + 11594. Is a a multiple of 2?
True
Suppose -15*x + 13*x = -80. Suppose 49 = l + 4*h, 2*l - 34 = 4*h + x. Is l a multiple of 3?
False
Let b(d) = 17*d - 114. Let a be b(7). Suppose a*r = 9*r - 424. Is r a multiple of 18?
False
Let j(b) = 59*b**2 - 117*b + 2186. Is j(17) a multiple of 77?
True
Let o be 5 + -2 - ((2 - 2) + 2). Let a be 178*(2 - o) + 8/(-2). Suppose -a = 9*d - 1461. Is d a multiple of 13?
True
Let v(l) = 2*l**3 - 4*l**2 - 5*l - 4. Suppose -41*i = -76 - 129. Does 2 divide v(i)?
False
Suppose 4*f = -4043 + 5551. Is f a multiple of 40?
False
Suppose -2*d + 1884 = -d - 783. Does 21 divide d?
True
Suppose -33*s + 114056 = -106021. Does 85 divide s?
False
Is 50 a factor of (1452/(-60) - -11)/(2/(-1015))?
False
Suppose h - 5*h = -16. Let c(j) = -16*j - 1. Let u(k) = -17*k - 2. Let z(i) = -4*c(i) + 3*u(i). Does 9 divide z(h)?
False
Let r = 1142 - 204. Suppose -r = -14*n + 742. Is n a multiple of 8?
True
Suppose 0 = -2*c - 2, -2*s + 14 = s - 2*c. Suppose u + 2*u = -5*m + 501, s*u - m - 645 = 0. Is u a multiple of 23?
False
Let c(r) be the third derivative of r**5/5 - 3*r**4/8 - 2*r**3/3 + 6*r**2 - 5. Is c(5) a multiple of 15?
False
Let z(q) = -q**2 - 35*q - 122. Let j be z(-30). Let u(x) = -x**2 + 74*x + 77. Is 65 a factor of u(j)?
True
Suppose 219*g - 395767 = 1309805. Is 66 a factor of g?
True
Let i(o) = 170*o - 68. Is 22 a factor of i(42)?
False
Suppose -22 = -4*o - 258. Let z be (7*-2)/(4/14). Let q = z - o. Is 2 a factor of q?
True
Suppose 224*w = 178*w + 19872. Is w a multiple of 118?
False
Let z(w) = 13*w**2 + 30*w + 109. Let c be z(-4). Suppose 5*t + 4*v = c + 2194, -2*v = 3*t - 1433. Is 19 a factor of t?
True
Let p(r) = -r**2 - 14*r - 6. Let m(h) be the third derivative of -5*h**4/24 - h**3/3 - 10*h**2. Let w(f) = 11*m(f) - 4*p(f). Is 5 a factor of w(-2)?
False
Suppose 64*z - 61*z - 81 = 0. Suppose -z*j + j = -4576. Is 8 a factor of j?
True
Let g = -3318 + 5256. Is 17 a factor of g?
True
Let h = 356 - 782. Is 14 a factor of 8/((-96)/6)*h?
False
Suppose -10*c + 144 + 126 = 0. Is ((-195)/(-2) - 0)/(c/36) a multiple of 10?
True
Let d(z) = -39*z + 673. Does 122 divide d(11)?
True
Let x = -443 + 82. Let c = -220 - x. Is c a multiple of 3?
True
Suppose -n - n + 120 = 0. Let k(i) = 28 + 16*i - n + 20. Does 13 divide k(4)?
True
Let n = -101 + 282. Suppose l = n + 14. Does 65 divide l?
True
Suppose -2*u - 3*i = -3587, 3*u + 4*i - 5179 - 201 = 0. Suppose 0 = -12*g - 4*g + u. Does 16 divide g?
True
Suppose -6*q + 127 - 103 = 0. Suppose -q*h - 17*h + 6762 = 0. Does 17 divide h?
False
Suppose -5*d + 482 + 1978 = 5*a, 3*d = -4*a + 1471. Let p = d + -197. Is p a multiple of 9?
False
Let b(r) be the third derivative of -r**5/60 - 3*r**4/4 - 5*r**3/2 - 19*r**2. Let o(l) = l**2 + 10*l + 5. Let t be o(-7). Is b(t) a multiple of 14?
False
Let c be 2*(-2)/(-10)*1955/34. Let d(k) = -k**3 + 23*k**2 + 8*k - 17. Is 46 a factor of d(c)?
False
Suppose 376*j - 61920 = 328*j. Does 43 divide j?
True
Does 85 divide (-7)/((-35)/(-50))*(-294088)/80?
False
Let j be 944/16 - (2 - 1)/(-1). Suppose 10*q - 5*q + j = 0. Does 5 divide (-98)/(-4) - 6/q?
True
Let i = 102 + -87. Suppose -3*a = -0*a - i. Let j = a + 47. Is j a multiple of 13?
True
Let r(y) = -y**2 - 23*y - 37. Suppose -5 = -6*g + g, -3*g - 61 = 4*i. Does 5 divide r(i)?
True
Let w(u) = 5*u - 94. Let b be w(20). Is 1298/b + 5 + 114/(-18) a multiple of 43?
True
Let g(m) = m**2 - 14*m + 19. Let y be g(12). Is -4*(y + 533)/(-6) a multiple of 11?
True
Suppose 75*z = -r + 76*z + 16745, 0 = -r + 3*z + 16757. Is r a multiple of 58?
False
Let u = 24 - 0. Let y(j) = 33*j + 143. Does 59 divide y(u)?
False
Let o(k) = 50*k**3 + 4*k**2 - 253*k + 1207. Does 121 divide o(5)?
True
Let u be (30/4)/((-18)/(-12)). Suppose 0*c + u*p - 6 = 3*c, -5*p + 18 = c. Suppose -y = c*y - 180. Is y a multiple of 9?
True
Suppose 0 = -3*r + 3*t + 46388 + 13909, 5*t = -2*r + 40135. Does 6 divide r?
False
Let a = -2445 + 2454. Let m(i) be the third derivative of i**4/6 - 7*i**3/6 - i**2. Is 6 a factor of m(a)?
False
Suppose 0 = -40*l + 8305 + 26255. Is l a multiple of 96?
True
Let c(x) = -x**2 - 99*x - 274. Is c(-67) a multiple of 34?
True
Suppose 0 = -556*w + 554*w + 13356. Is 21 a factor of w?
True
Let p(n) = 15*n - 43. Let f be p(13). Suppose -8 = g - f. Is g a multiple of 18?
True
Suppose 128 = -x - 3*g, 2*x + 271 = 3*g - 4*g. Let s = x + 193. Let l = s - 31. Is 6 a factor of l?
False
Let s = 29 - 33. Let n be s/18*(-18)/(-3)*-315. Suppose 9*r - 14*r = -n. Is r a multiple of 42?
True
Let r = -62153 - -110465. Is r a multiple of 36?
True
Suppose -2*f - 19 + 70 = 5*g, 69 = 4*f - g. Is 25 a factor of f/33 + (-117741)/(-429)?
True
Let v(t) = t**3 + 17*t**2 - 19*t - 12. Suppose -40 = 2*k + 4*o, 0 = 4*k + 4*o - 24 + 100. Let a be v(k). Is (1 - (15 - -1))/(a + -7) a multiple of 6?
False
Let m = -163 + 165. Suppose -482 = -m*k - p + 1004, -k - 4*p + 743 = 0. Does 11 divide k?
False
Let b = 286 - 283. Is 4 a factor of (-6)/(-9) - (4 - 358/b)?
True
Suppose 12 = 3*m - 2*u, -2*u = -m - 0*u + 4. Let l(x) = 212*x - 132. Is l(m) a multiple of 27?
False
Let b(s) = 33*s**2 - 315*s + 9. Is 42 a factor of b(15)?
False
Let v = 14 - 14. Suppose -28*x + 34*x - 480 = v. Is x a multiple of 7?
False
Let q(t) = -22*t**2 - 9*t - 10. Let b be q(6). Let n = b - -1536. Suppose 4*k - n = 88. Is 32 a factor of k?
True
Let k(x) = 95*x - 49*x**2 + 25 + 30 + 4*x**3 - 5*x**3 - 3*x + 37. Does 9 divide k(-51)?
False
Let n be 2/7 + (-62950)/(-175). Let y = n - 244. Is 8 a factor of y?
False
Let y(i) = i**2 - 4*i - 7. Let t be y(-5). Let z = t + -31. Suppose -3*a - 52 = -z*a. Does 13 divide a?
True
Suppose -4*s - 3*g - 229 = -783, 5*g + 570 = 4*s. Suppose -156 = 4*f + d, -22*f + 20*f - 5*d = 96. Let p = f + s. Is 17 a factor of p?
True
Let d(t) = -18*t + 38. Let m be d(13). Let a = -24 - m. Does 4 divide a?
True
Suppose -3*k = -6, 5*a + 10*k - 8*k + 1 = 0. Let z(g) = 648*g. Let j be z(4). Is 13 a factor of (a/(-2))/(9/j)?
False
Let y(r) = -2*r**3 + 3*r**2 - r + 4. Let q be y(0). Suppose 4*h - 3*v + 27 = 0, -3*h + 4*h - 12 = -3*v. Is 3 a factor of 4/q*(22 - h)?
False
Suppose 33 = -9*a + 20*a. Suppose -196 = -a*q + 830. Is q a multiple of 18?
True
Let p = -125 + 8. Does 3 divide (-11557)/p + (-2)/(-9)?
True
Let l(a) = -a**3 + 6*a**2 + 19*a - 21. Let u be l(8). Suppose -2*h = h + 3, -693 = -u*r - 3*h. Is 54 a factor of r?
False
Let n(j) = -23*j - 50. Let h be n(-12). Suppose 6*m = -h + 850. Is 26 a factor of m?
True
Suppose -2*n - g + 298 = -0*n, 0 = n - g - 152. Let m = n + -107. Does 6 divide m?
False
Is 52 a factor of 24125/(-2)*21/(525/(-20))?
False
Let l = 57 - 60. Let g be (l/2)/(5/10200*-5). Let p = -360 + g. Does 36 divide p?
True
Does 92 divide -434*((-200)/1120)/(2/16)?
False
Does 13 divide 17414 + 1/((20/(-40))/(2 + -1))?
False
Let s(i) = 63*i + 6994. Is s(-49) a multiple of 91?
False
Let p(d) = 6862*d + 24 + 10*d**2 - 6 - 6862*d. Is 27 a factor of p(3)?
True
Suppose -26*d + 11*d + 81315 = -6*d. Does 82 divide d?
False
Suppose 0 = -8*x + 7*x. Suppose -4*o = 5*f - 27, 4*f - 2*o - 6 = -x. Suppose f*v - 117 = 4*z + 136, 0 = 4*v - 2*z - 354. Does 13 divide v?
True
Suppose -15*h + 80 = h. Is 5 a factor of (h - (-48)/(-9)) + 544/12?
True
Let s be ((-6)/5)/(18/600). Let r = -29 - s. Let z = r + 25. Is z a multiple of 6?
True
Let k(n) = -n**3 - 22*n**2 + 19*n + 109. Is 6 a factor of k(-23)?
False
Let j be (16/(-48))/(2/(-36)). Let s be ((-27)/j)/(4/(-152)). Suppose -3*b = v - b - 81, -s = -2*v - b. Is 11 a factor of v?
False
Let r be (-1)/(-2 - -3) + -1. Suppose -1352 = 132*i - 158*i. Does 9 divide (i - 2) + 5 + (-4 - r)?
False
Suppose 5*p - 5833 = 10200 - 2953. Is 11 a factor of p?
False
Let w(z) = 3*z**2 - 39*z + 12. Let c(v) = v**2 - v - 1. Let s(p) = -5*c(p) + w(p). Is 2