r + 7*z, -4*r = c*z - 1768. Is r a multiple of 26?
True
Suppose 77446 + 234210 = 57*t + 54187. Does 84 divide t?
False
Is 6 a factor of (-17478)/(-10) + 1 + 12/(-15)?
False
Let n = -187 - -116. Let r = 103 + n. Is r a multiple of 4?
True
Let n(l) = l**2 - 39*l - 79. Let g be n(41). Let d = 53 - 10. Let j = d - g. Is j a multiple of 8?
True
Let s be ((-6)/9)/(22/(-44187)). Let y be -32*(0 + 1)*s/(-26). Suppose 16*f - y = -0*f. Does 10 divide f?
False
Let f = -118 - -127. Is 19 a factor of ((-36)/(-30))/((81/510)/f)?
False
Suppose 6 = -2*z - 0. Let b(k) = 106*k**2 + 3*k - 2*k - 3 - 96*k**2 + 0*k. Is b(z) a multiple of 14?
True
Suppose 29*u + 165 = 22669. Let i = -526 + u. Is 10 a factor of i?
True
Let q be 5 + (-6)/(-2) + -6. Suppose 5*z = -q*z + 84. Does 7 divide -4 + (-34)/(-8) + 417/z?
True
Suppose 0 = -5*h + 694*t - 692*t + 299708, -h - 4*t = -59924. Is h a multiple of 45?
True
Suppose 47682 = 15*u - 45918. Is 52 a factor of u?
True
Let g = 82202 + -49578. Is 24 a factor of g?
False
Let m be (-30 - -196)/((-2)/4). Let l = m - -684. Is 22 a factor of l?
True
Let b(o) = -o**2 - 22*o - 93. Let z be b(-8). Is z/((-266)/(-60))*7 a multiple of 12?
False
Let g(m) = -36*m + 33 + 18 - 17. Suppose -3*i + 1 = 4*j, j = 4*i + 44 - 20. Is 13 a factor of g(i)?
False
Let c = 745 + 597. Suppose 4*l - 6*l + c = -5*j, 2*j = 2*l - 1342. Does 11 divide l?
True
Let d(v) = 4*v - 5. Let j(w) = -w - 1. Let n(o) = -d(o) - 3*j(o). Let b(f) = -f**2 - 3*f + 3. Let l be b(2). Is n(l) a multiple of 2?
False
Let m(u) = 1338*u - 4068. Is m(14) a multiple of 52?
True
Suppose 355 = -4*d - 409. Let b = -423 - -699. Let m = b + d. Is 16 a factor of m?
False
Suppose 27*b - 49 - 599 = 0. Suppose b*i = 6*i + 3600. Does 20 divide i?
True
Let p(g) = g**2 + 14*g + 21. Let j be p(-15). Let a = 25 + -7. Let m = j - a. Is m a multiple of 18?
True
Let h = -705 - -158. Let x = 797 + h. Is x a multiple of 11?
False
Let w = -109 + 115. Suppose 76 = -w*j + 382. Suppose -5*t + 239 = -j. Does 29 divide t?
True
Suppose 0*y = -3*y + 669. Suppose -5*c + 242 + y = 0. Suppose d - c - 27 = 3*p, 4*d + 5*p - 480 = 0. Is 13 a factor of d?
False
Let l(z) = 34*z**2 + 494*z + 41. Does 18 divide l(-18)?
False
Let m(j) be the third derivative of j**7/420 - j**6/120 + 19*j**5/60 + 2*j**2. Let d(l) be the third derivative of m(l). Does 25 divide d(10)?
False
Let p(b) be the third derivative of 2*b**5/15 + 5*b**3/6 - b**2 + 81*b. Does 3 divide p(-4)?
False
Let p(s) = -7*s**3 - 9*s**2 + 3*s - 4. Suppose -3*n + 4*h + 8 = -n, -5*n + h - 16 = 0. Is 6 a factor of p(n)?
True
Suppose 3*j - 2*o - 16 = -o, -17 = -3*j + 2*o. Suppose k - 2 - 1 = -j*a, a - 7 = -k. Is k even?
True
Let u(o) = 27*o**2 + 190*o + 1156. Is 14 a factor of u(-6)?
False
Suppose -2*n + 259 = 53. Suppose -2*w - 4*d = 2*w - 108, -3*d - n = -5*w. Let q = w + 6. Does 4 divide q?
False
Let u = -34 - -36. Suppose o = u*o - a - 217, 4*o + 4*a = 868. Is 28 a factor of o?
False
Suppose 0 = -4*s + 5*q + 5130, -111*s = -115*s - 5*q + 5150. Is 5 a factor of s?
True
Let f(l) = 2*l**2 - 10*l + 2. Let s be f(4). Let w(b) = -36*b - 36. Let o be w(s). Let z = -122 + o. Does 29 divide z?
True
Let f(a) = a**3 + 40*a**2 - 135*a - 55. Is f(-43) even?
False
Suppose -2*u + 126 = 236. Let q = u - -675. Does 31 divide q?
True
Is 114 a factor of 6/42*-7 + (8323 - 0/(-1))?
True
Let f(g) = g + g - 3*g - 38 + 21. Let c be f(-21). Suppose -376 = -c*p - 40. Is 15 a factor of p?
False
Let g(d) = 56*d**2 - 194*d - 3840. Is g(-27) a multiple of 31?
True
Does 72 divide 64/((-22)/42*(-66)/363)?
False
Let t be (138/(-12))/((-1)/(-2) - 1). Let u(w) = -188*w - 1. Let v be u(-1). Suppose -6*y + t = -v. Is y a multiple of 22?
False
Suppose 31*z - 37*z + 12 = 0. Let f be (3 - 293/(-2))*z. Let u = f + -171. Does 11 divide u?
False
Let c(j) = 187*j + 191. Is c(13) a multiple of 8?
False
Let f be (2/6)/(6464/2154 + -3). Suppose -4*k = -g + f, 0 = -13*g + 17*g - k - 1451. Is 49 a factor of g?
False
Suppose -38*w + 0 + 152 = 0. Does 15 divide 136 + w*63/36?
False
Let d(o) be the third derivative of -7*o**2 + 0 - 1/24*o**4 + 17/6*o**3 + 0*o. Does 12 divide d(-7)?
True
Let p be 2/(-2)*(-10)/2. Suppose -p*i + 586 = -y, 5 = -2*y - 3*y. Does 10 divide i?
False
Suppose -4*p + 3 = -3*p, 0 = 4*g + 5*p - 19951. Suppose 10*s - g = 2446. Is 71 a factor of s?
False
Suppose 3*x - 2738 = -19*p + 21*p, -x + 911 = p. Does 19 divide x?
True
Let t(v) = v**2 + v. Suppose -4*f + 8 = -s + 3*s, -5*s = -20. Let b be t(f). Suppose 504 = 4*j - b*j. Is j a multiple of 21?
True
Let j = -2098 - -4030. Is 3 a factor of j?
True
Let f(b) = -b + 6. Let o be f(0). Let n(l) = 10*l**2 - l - 28. Does 34 divide n(o)?
False
Suppose 11*g = h + 13*g - 11337, 4*h - 2*g - 45318 = 0. Is 138 a factor of h?
False
Let g(o) = -4*o + 3. Let l be g(1). Is 4 a factor of (-2814)/(-140) - l/(-10)?
True
Let g(v) = v**2 - 11. Let m be g(-8). Suppose -1351 = 2589*t - 2596*t. Let w = t - m. Is w a multiple of 20?
True
Suppose 813 = 8*g - 5*g. Let d = g + 209. Does 33 divide d?
False
Let x = -122 - -126. Let v(u) = -4*u + 135. Is v(x) a multiple of 17?
True
Suppose -4*y + 0*m + m = -14, -m + 22 = 5*y. Suppose y - 7 = -q, q - 23 = -l. Suppose 21*k = l*k + 110. Does 10 divide k?
True
Let r = 6701 + -6696. Suppose 3*b = 5 + 4. Suppose 0 = b*m + 5*y - 216, -7*y - 144 = -2*m - r*y. Is 6 a factor of m?
True
Let t be (-1)/4 - (-5)/((-60)/(-51)). Let r be 2/2*(-1 - (t + -8)). Suppose -r*x = -3*c + 372, -c - 2*x - 2*x = -119. Is c a multiple of 18?
False
Suppose 4*z = 93 + 295. Let k be 2/(-10) + (-726)/(-5) + -1. Let t = k - z. Is t a multiple of 34?
False
Let n be -10 + 1 + -776 + 0 + 1. Let v = n - -1144. Is 8 a factor of v?
True
Is 5 a factor of 10/((-12)/(-15)*(-205)/(-124066))?
True
Let c = 121151 + -57791. Is 18 a factor of c?
True
Let f(d) = -d**3 - d + 1. Let h(j) = 31*j**3 - 4*j. Let m(c) = 2*f(c) - h(c). Let p = 15 + -16. Is 16 a factor of m(p)?
False
Let u be (24/(-18))/(2/(-3)). Let b be u/(-9) - (-1033)/(-9). Let s = -19 - b. Does 16 divide s?
True
Let f(p) = p**3 - 5*p**2 + p - 41. Let c be f(6). Let j(m) = 130*m - 18. Is 3 a factor of j(c)?
False
Let o(s) = 5608*s - 903. Is 114 a factor of o(2)?
False
Suppose -102*g = -79*g - 4991. Is g a multiple of 31?
True
Let k(y) = 93*y + 16. Let d be (-5 - 35/(-5)) + -1. Is k(d) a multiple of 7?
False
Let z(n) = n**2 + 3*n - 3. Let x be z(1). Let h(a) = 193*a**2 + 8*a - 2. Is h(x) a multiple of 16?
False
Let a(w) be the first derivative of -23*w**2/2 + 477*w - 58. Is 9 a factor of a(0)?
True
Let n be 6/8 - (-690)/(-40)*-1. Suppose 1126 = n*r - 152. Does 71 divide r?
True
Let d(k) = k**3 + 4*k**2 - k + 28. Let n be d(-5). Is (-286)/(-104) + 2/n + 217 a multiple of 44?
True
Let f = 2 - 4. Let b = f - -442. Is 24 a factor of b?
False
Suppose -4*r = 5*v - 687, 0*v = v + r - 138. Suppose 0 = 3*b + 15 + v. Is 25 a factor of (-5)/b + 498/20?
True
Suppose 2*z - 5*i = -2, 2*i = -z - 0*z + 8. Suppose -2*y - 10 = -z. Does 3 divide 7 + y + 20/4?
True
Is ((-126)/(-378))/((-2)/12) + (8569 - 0) a multiple of 12?
False
Let f(z) = 259*z**2 - 1204*z + 40. Is 19 a factor of f(-14)?
False
Let c(l) = 14*l**2 + 5*l - 93. Let y(p) = -2*p**2 + p. Let g(k) = c(k) + 6*y(k). Is 2 a factor of g(-12)?
False
Suppose 0 = 6*t - 14 - 4. Suppose 2*m = -2*j + 734, 3*j + 5*m = t*m + 1102. Is 6 a factor of j?
False
Suppose 0 = -2*a - 2*j + 894, -a + 449 - 6 = 5*j. Is 14 a factor of a?
True
Suppose -3*k + 34571 = -5*u, 5*u = -3*k + 7551 + 27070. Is k a multiple of 31?
True
Suppose 42135 = 2*s - z, -2*s - 3*z + 4637 + 37526 = 0. Does 19 divide s?
True
Let q be 12/8*((-290)/(-15) - 2). Let j(y) = -y**3 + 26*y**2 + 2*y + 31. Is j(q) a multiple of 11?
False
Suppose 55*a - 88*a + 81*a = 767424. Does 14 divide a?
True
Suppose -5*s = -29 - 1. Is 43 a factor of ((-2)/((-8)/s))/(34/7820)?
False
Let p = -65506 + 94040. Is 11 a factor of p?
True
Let a(y) = 39*y**3 + 62*y**3 + 111*y**3 + 8 - 5*y + 0 - 4*y**2 + 3*y**2. Does 65 divide a(2)?
True
Let m(d) = d**3 + 9*d**2 - 10*d - 15. Let l be (-10)/25*1*25. Let f be m(l). Let s = f - -54. Is 11 a factor of s?
False
Let y(x) = -x**3 + 7*x**2 + 2*x - 2. Let d be y(7). Suppose 0*b - 92 = -4*b - 5*s, -b - 4*s + d = 0. Let p = 194 - b. Is p a multiple of 22?
False
Let x = 36641 + -32175. Is 83 a factor of 