et a(i) = 4*i**2 - 21*i + 10. Let r be a(5). Let j = 1 - 1. Suppose -5*y - 15 - r = j, -3*y - 222 = -n. Is n a multiple of 15?
True
Let i = 19420 - 17173. Is 15 a factor of i?
False
Suppose 0*x - 9*x = -36. Let j(z) = 4*z - 13. Let w be j(x). Suppose 0 = 5*m + l - 838, m + l = -w*m + 670. Does 13 divide m?
False
Suppose -8*t + 7446 - 1062 = 0. Is 37 a factor of t?
False
Let h(y) = 2*y**2 - 3*y + 162. Let l be h(34). Suppose 10*b - 1148 = l. Is 13 a factor of b?
False
Suppose 0 = i - 292 + 216. Suppose 5*g = 3*f + i - 515, -f + 3*g + 145 = 0. Is 58 a factor of f?
False
Let r(a) = 3*a**2 - 12*a - 15. Let c be r(-8). Suppose -461 = -4*m - c. Is 2 a factor of m?
False
Does 150 divide (-183733)/(-15) - (4556/(-3570) - (-24)/21)?
False
Let w = -110 + 114. Suppose o = 4, 5*o = z + w*o + 94. Let x = -9 - z. Is 9 a factor of x?
True
Suppose 3*g - 9*v + 4*v = 1040, v = g - 348. Let j = g - 78. Does 13 divide j?
False
Suppose 23*o + 56726 = -0*o + 157581. Is o a multiple of 29?
False
Let k(p) = p**3 - 22*p**2 + p - 4. Let u be k(22). Suppose -5*t - 4*l - 194 = -6*l, 5*t + 188 = -l. Let b = u - t. Does 14 divide b?
True
Let r(o) = -o**3 + 58*o**2 - 112*o + 26. Let g be r(56). Suppose p + 1 = -0, 0 = 4*u + 5*p + 5. Suppose -2*t + g = -u*t. Is t a multiple of 6?
False
Let y(n) = -5*n - 197. Let l(h) = -9*h - 196. Let g(o) = 2*l(o) - 3*y(o). Is 14 a factor of g(-28)?
False
Let w(i) = -i**3 - 16*i**2 - 14*i + 13. Let p(k) = 2*k**3 - k - 1. Let r(d) = p(d) + w(d). Is 13 a factor of r(18)?
True
Suppose 863643 - 3046238 - 2594576 = -301*q. Does 19 divide q?
False
Let b(a) = 82*a + 14. Let t be b(6). Let i = -156 + t. Suppose -2*k + 140 = w, 2*w = 5*k - 3*w - i. Is k a multiple of 10?
True
Suppose -2*i - 302 = 4*x, 3*x + 2*i - i = -224. Let j = -27 - x. Suppose -7*u - j = -9*u. Is 3 a factor of u?
False
Let a(w) = 2218*w - 39. Let h be a(10). Let q be h/(-105) + (-2)/15 + -4. Let b = -152 - q. Is b a multiple of 9?
True
Let j(x) = x**2 - 3*x - 1. Let o be j(4). Let z be 0/(8/(-2))*o/9. Suppose -3*g + 12 = z, 8*g - 4*g = -5*u + 546. Does 23 divide u?
False
Let d(q) = 308*q**2 + 37*q - 91. Is d(-6) a multiple of 18?
False
Let g be 15/(-15)*(25 - 24). Let a(c) = 0 - 61*c - 4 - 177*c. Is 18 a factor of a(g)?
True
Let i = -39 + 39. Suppose -2*a + 28 = 3*h, -a - 1 + 3 = i. Suppose 7*n + 189 = h*n. Is 24 a factor of n?
False
Let k = 4129 - 2170. Let m = k - 1179. Is m a multiple of 78?
True
Let k(n) = -221*n + 28. Let l(g) = 554*g - 70. Let z(p) = 12*k(p) + 5*l(p). Is z(2) a multiple of 6?
True
Suppose -64*s + 57*s = -11998. Let t = s - 889. Is t a multiple of 33?
True
Suppose -200 = -4*n + 2*m, -4*n + 0*n = 2*m - 216. Suppose -n*r = -58*r + 1836. Is r a multiple of 7?
False
Let o be (138/(-9))/((-5)/((-30)/(-4))). Let f = o + 310. Is 24 a factor of f?
False
Let b(h) be the third derivative of 2/3*h**3 - 1/12*h**4 + h**2 + 0 + 0*h + 3/10*h**5. Is 23 a factor of b(2)?
False
Suppose 4*b = -5*m - 36 + 145, 5*b = -4*m + 134. Suppose 3*g - 46 - b = 0. Does 6 divide g?
True
Suppose -2*c - 3*b = -3900, 0 = -9*b + 4*b + 20. Is c a multiple of 11?
False
Let i be (3 - -1) + (-10 - -11). Suppose i*n + 1 = 6. Is 37 a factor of (-6)/(n - -1) + 151?
True
Let k(r) = 2*r**3 + 14*r**2 - 29*r - 36. Is 52 a factor of k(11)?
False
Let r(k) = -k + 24. Let b be r(26). Let a be (-4 + 3)/(2/(-4))*b. Is 28 a factor of (a/(-10))/(6/2580)?
False
Let t = 59 + -50. Suppose 0 = 5*g + 2*d - 1606, t*d - 12*d = -9. Is g a multiple of 16?
True
Let q(l) = -96*l**3 - 2*l**2 - 1. Let r be q(-2). Suppose -10*v + r + 1371 = 0. Is v a multiple of 14?
False
Let w(r) = 182*r**2 + 5*r + 4. Let t be w(-2). Suppose g - 4*g + 163 = q, 2*g = 4*q - t. Suppose 0*s + 16 = -4*s, -s = -3*b + q. Is 8 a factor of b?
False
Let s(l) = -5*l**2 + 47*l + 6. Let d(h) = h**2 - 10*h - 1. Let n(t) = -11*d(t) - 2*s(t). Let m(r) = -r**3 + 5*r + 2. Let x be m(-3). Is n(x) a multiple of 27?
True
Let n = 1063 - -10011. Does 226 divide n?
True
Is (-1958 - -1540)*((-7)/(-4)*-2 - 1) a multiple of 9?
True
Let o(v) = -28*v + 21. Let f be o(-12). Suppose k + f = 4*k + s, -3*s + 127 = k. Does 9 divide k?
False
Let h(i) = -i**3 - 8*i**2 - 13*i - 1. Let p be h(-6). Suppose p*o + 6 = -a + 3, 5*a + 15 = -2*o. Suppose o*v + 96 = 2*v. Is 12 a factor of v?
True
Let b = 7 - 3. Suppose -15*q - 440 + 470 = 0. Suppose -92 = -4*v - q*a, b*a + 55 + 73 = 5*v. Is v a multiple of 4?
True
Suppose -5*r - p = -14, 5*r - r - 3*p = 15. Suppose -s = 2*k + 92 - 509, -r*s = -2*k + 405. Let q = 351 - k. Is 13 a factor of q?
False
Let t = 222 + -126. Suppose 5*o + 4*a = 705, -4*o - 5*a - 386 = -7*o. Let z = o - t. Is 41 a factor of z?
True
Let n = 78 - -33. Let i = n - 109. Suppose 0 = -3*u - i*w + 260, 5*w = -3*u + w + 250. Is 15 a factor of u?
True
Suppose 0 = -3*k + 55 - 19. Does 38 divide 17/102 - (-3190)/k?
True
Let h(d) = 293*d - 123. Let s be (-19 - -16)/((2 - 4)/2). Does 14 divide h(s)?
True
Suppose -2*i = w - 350, 7*w - 3*w = 8. Let t = 1050 - i. Does 14 divide t?
False
Let w be ((-1)/(-2))/(-3 - (-26)/8). Suppose -w*a + 5*x = -13, 0 = -6*a + 3*a + 4*x + 30. Suppose 0 = -3*u + a*u - 770. Does 14 divide u?
True
Let z(b) = 60*b + 7206. Does 57 divide z(87)?
True
Suppose 4*p - 4 + 88 = 0. Let k = p - -43. Let r = k - 0. Is r a multiple of 11?
True
Suppose 4*z + 4*j = -z + 2, 16 = 4*z - 4*j. Let f be (5 + -1 - z) + 46. Does 32 divide (0 - 238/3)/((-32)/f)?
False
Let i(k) be the second derivative of -9*k**4 + k**3/3 - k**2 + 20*k. Let p be i(1). Let m = 185 + p. Does 16 divide m?
False
Let y be (-4)/8*7/(28/16). Is 10 a factor of ((-8)/(-20))/(2/260) + y?
True
Suppose -2*r + 147 = -3*a - 36, 4*a + 20 = 0. Let q = 22 - 2. Suppose -q*t = -156 - r. Is t a multiple of 8?
False
Let w(z) = 91*z**2 + 90*z + 347. Is w(-4) a multiple of 5?
False
Suppose -16*w + 17579 = -55856 + 1387. Is 57 a factor of w?
True
Let u(p) = 2*p - 9. Let d be u(3). Let s be (0/d - -2)*4/4. Let k = 102 + s. Does 13 divide k?
True
Suppose 2*d = 2, -14*b + 3*d = -19*b + 48. Is 13 a factor of (-151 + 21)/((-6)/b)?
True
Let b(h) = -54*h**3 - 2*h - 2. Suppose 3*n = 7*n - 28. Suppose 0 + n = -7*j. Is b(j) a multiple of 7?
False
Let n(i) = -8*i + 17. Let b(q) = 8*q - 17. Let o(w) = -7*b(w) - 6*n(w). Let s(u) = u + 1. Let c be s(-5). Does 10 divide o(c)?
False
Let j be (-1)/((-1)/(-4) + 2/(-6)). Suppose -j*x = -24 - 36. Suppose -w - x*f = -77, -2*w + 6*w - 384 = -f. Does 8 divide w?
False
Let y be 820/12 + (-3)/9. Let q(s) = -67*s**2 + 12*s + 1. Let b be q(1). Let w = b + y. Does 5 divide w?
False
Suppose 0*q - 2*q = -4*r - 88, 0 = 5*q - 5*r - 205. Let w = q - 34. Suppose -u + 26 = -5*k, -5*k - 8 = -w*u + 81. Is 7 a factor of u?
True
Suppose 0 = -3*w - 3*q + 57, 2*w + 7 = q + 39. Suppose w*j - 161 = 60. Is j a multiple of 2?
False
Let p = 92 + -79. Suppose p*o - 16*o = -2172. Suppose 0 = -7*t + o + 32. Is t a multiple of 34?
False
Let j(t) = -t**2 + 5*t + 6. Let i be j(6). Suppose 14*v - 12*v - 10 = 0. Suppose i = v*q - 2*m - 36, 5*q = 4*q + 3*m + 2. Is 4 a factor of q?
True
Suppose -60743 = -11*f + 15314 + 17894. Is f a multiple of 155?
False
Let x(n) = -5*n**3 - 4*n**2 - 6*n - 1. Let r be x(-1). Is 1610/r - (-45)/27 a multiple of 13?
False
Let r(s) = -s**2 + 16*s - 26. Let z be r(7). Suppose -7*l - z = -324. Let c = 67 - l. Is 13 a factor of c?
True
Let y(a) = a**3 - 19*a**2 + 3*a - 53. Let k be y(19). Is 2/k + 2*9590/40 a multiple of 80?
True
Suppose k = 4*t + 1989, -5*k + 41*t = 44*t - 9945. Is 13 a factor of k?
True
Let p = 422 + -481. Let u = p + 87. Is u a multiple of 2?
True
Let t(c) = -c**2 - 9*c + 6. Let u be t(-9). Let n = u + 8. Let l(o) = 6*o + 3. Does 6 divide l(n)?
False
Suppose 14*m - 4*m - 10 = 0. Let r(a) = 81*a**2 + 2*a - 3. Does 5 divide r(m)?
True
Let a(b) = -b**2 - 7*b - 5. Let f be a(-5). Suppose f*y = -3*o - 1, 22 + 9 = -5*o - y. Is (-506)/o + 14/(-49) a multiple of 9?
True
Let u = -12983 - -12976. Suppose -f + 31 + 64 = 0. Is f + (u - 0) + 3 a multiple of 13?
True
Let s(k) = k**3 + 6*k**2 + 2*k + 15. Let a be s(-6). Does 10 divide 56/6 - (-2)/a?
True
Let s(i) = -5*i + 69. Let u be s(21). Is 8 a factor of u*12*(-11)/22?
True
Does 39 divide (185/10*-4)/(5/(-145))?
False
Let x = 100 + -109. Does 13 divide (-5 + (-1275)/x)*3?
False
Let c(v) = v**2 + 23*v + 48. Let n be c(-20). S