ose -6*d + 6384 + 4248 = 0. Suppose -17*o - d = -21*o. Suppose -85 = -q + 3*w, 3*q - 3*w = 8*q - o. Does 11 divide q?
True
Let p(i) = 1770*i - 1090. Does 49 divide p(2)?
True
Let m(z) = -3*z - 34. Let o be m(-12). Suppose -226 = -4*h - o. Let l = h + -26. Is 16 a factor of l?
False
Let d(m) = -m**3 - m**2 - m - 260. Let s be d(0). Let y = 133 - 286. Let o = y - s. Is o a multiple of 23?
False
Let v(h) = 2*h**2 + 11*h - 16. Let q be v(-7). Let c(y) = 29*y - 10. Is 45 a factor of c(q)?
True
Let c(t) = -25*t - 9. Let x(v) = 50*v + 18. Let b(j) = 5*c(j) + 3*x(j). Let o be b(2). Suppose 3*r - o = -f, -f - 44 = -3*r + 5. Is 9 a factor of r?
True
Let o = 64 - 46. Suppose -6*x = -0*x - o. Suppose 116 = x*s - 1. Is s a multiple of 7?
False
Let y(d) = d - 7. Let t be y(7). Suppose -s - 3*i + 5 = t, -2*s + 3 = -3*s + 5*i. Suppose 5*z - s*u = 43 + 48, -105 = -5*z - 5*u. Is 19 a factor of z?
True
Let v = -179 + -101. Let y be ((-3)/(-5))/((-14)/v). Suppose -14*g = -8*g - y. Does 2 divide g?
True
Let k(u) = -36*u + 44. Let q be k(-3). Is ((-1 - -1) + 521)*304/q a multiple of 64?
False
Let q(t) = 1676*t + 63. Is q(1) a multiple of 37?
True
Suppose r = -r + 6. Suppose 3*x + y = 359, r*x - 4 = 2*y + 349. Let i = -12 + x. Is 21 a factor of i?
False
Suppose 117473 + 339997 = 117*n. Is 34 a factor of n?
True
Let f be 2/(-8) - (-3)/12. Suppose 9*u - 31*u + 3762 = f. Is u a multiple of 12?
False
Let l(n) = 86*n**2 + 58*n + 96. Is 16 a factor of l(8)?
True
Let o = 51 + 148. Let x be (-94)/4 - (-9)/18. Let r = x + o. Does 8 divide r?
True
Let n be 1289 - (-84)/24*4/(-7). Let u = -587 + n. Is 35 a factor of u?
True
Let r(q) be the second derivative of 53*q**3/6 + 37*q**2/2 - 56*q. Is r(5) a multiple of 13?
False
Suppose 16*l - 2 = 14*l. Let n be (l - -1) + 30/(-15). Suppose -9*k + 3*k + 42 = n. Does 3 divide k?
False
Suppose 14*z - 9*z - 160 = 0. Suppose -3674 = -z*r - 890. Does 4 divide r?
False
Let i(b) = -11*b**2 + 7*b + 30. Let j be i(-5). Let g = -236 - j. Is 11 a factor of g?
True
Let g(o) = 5*o + 20 - 7*o + 8*o**2 - 10*o. Is 47 a factor of g(-10)?
True
Let b(g) = -2*g - 17. Let d(s) = 6*s - 6. Let q(t) = t - 1. Let a(n) = 2*d(n) - 11*q(n). Let h(r) = -2*a(r) + b(r). Is h(-11) a multiple of 14?
False
Let y = -235 + 584. Suppose 450 + 755 = 5*p. Let l = y - p. Is 18 a factor of l?
True
Is 10*(-72)/(-2)*(16 + 570/225) a multiple of 24?
True
Let u(d) = 3*d**3 + 3*d**2 + 2*d - 2. Let x be u(-2). Let n(y) = 249*y - 1777. Let b be n(7). Let p = x - b. Is p a multiple of 2?
True
Let s be (-2)/8 + 16511/44. Let a be (2 + (1 - 4))*-5. Suppose -a*c + 0*c = -s. Does 22 divide c?
False
Let x(f) = 2*f**3 - 8*f**2 - 7*f - 199. Let s be x(0). Suppose -o - 114 + 27 = 0. Let m = o - s. Is 19 a factor of m?
False
Is 10 a factor of ((-2186)/8)/(-2 - 21/(-12))?
False
Let i(h) be the second derivative of -h**5/60 + 19*h**4/24 - 8*h**3/3 - 21*h**2/2 - 10*h. Let t(v) be the first derivative of i(v). Does 6 divide t(17)?
True
Let r = -7215 - -8869. Is r a multiple of 108?
False
Suppose -461*g + 6454170 - 1052172 = 0. Is 21 a factor of g?
True
Let h(a) = 306*a - 7108. Is h(37) a multiple of 3?
False
Let v = -148 - -150. Suppose -4*i - 792 = -4*n + 1148, 2*i = -v*n + 974. Does 27 divide n?
True
Suppose -102*p + 104*p - 559 = 183. Is 2 a factor of p?
False
Let y = 160 - 17. Let o = -115 + y. Does 3 divide o?
False
Suppose 379*q = 391*q - 36000. Is 150 a factor of q?
True
Let b be -1*(-2)/(-6) - (-10504)/156. Let v = b - 39. Let a = -7 + v. Does 6 divide a?
False
Suppose -5*y - 3 = -4*s, 3*s + 5*y = 6 + 5. Suppose 307 = s*c - 69. Is 2 a factor of c?
True
Let w(m) = m**3 - 6*m**2 - 8*m - 3. Let r be w(7). Let q = -7 + r. Is q/(26/(-6) - -4) a multiple of 17?
True
Let n be 2 + -1 - (-1 + 1 + -9). Let f be (2/n)/(1/25). Suppose 0 = f*g + 15, -d - 3*g + 47 = 2*g. Does 31 divide d?
True
Is 41440/(3 - -11) + 13 a multiple of 3?
True
Let y = -93414 + 131430. Is 33 a factor of y?
True
Let m(z) = z**2 - 16*z - 128. Let p be m(30). Let k = 30 + p. Is 14 a factor of k?
True
Let z be 2/(-3)*396/66. Does 4 divide 606/14 - ((-210)/(-49) + z)?
False
Suppose 2*j = -4*b + 653 + 43, 0 = -4*j + 4*b + 1380. Is j even?
True
Let m(n) = n - 5. Let i be m(7). Suppose -15*s + 14*s + 5*p + 344 = 0, 2*s = -i*p + 640. Is 27 a factor of s?
True
Suppose 0 = -9*l - 31 + 13. Let w be (l/(-4))/((-255)/250 + 1). Let r = 30 - w. Does 14 divide r?
False
Suppose -y + y = -3*y. Suppose -4*t - 4*v = y, -2*v + 4*v = 8. Is 8 a factor of 1*2 + (-184)/t?
True
Let q(f) = 4*f**3 - f**2 + 4*f - 2. Let m be q(1). Let x(s) = 9*s**2 - 15. Is x(m) a multiple of 42?
True
Does 16 divide 1/(-19)*-2 - 64909350/(-9823)?
True
Suppose 6*r = -5 - 7. Let d be 852/108 + r/(-18). Suppose 5*q - d*q = -66. Does 22 divide q?
True
Suppose 5*q + 4 = -1, 0 = -o - q + 1. Suppose o*l = 3*r - 7, -5*r + 22 - 3 = 4*l. Suppose d - r*d - 4*t = -156, -d - 4*t = -68. Is d a multiple of 11?
True
Does 2 divide (-1036)/(18/(1 + -10))?
True
Suppose -4*v = -2*v. Let w(u) = -u**3 - 3*u**2 - u + 246. Let h be w(v). Let a = h - 139. Is 18 a factor of a?
False
Suppose -45*v + 39100 = -99410. Is v a multiple of 12?
False
Let v = 198 - -72. Suppose 0*f + 3*f = v. Suppose 0 = -3*l - 6*o + 2*o + f, -4*o = -3*l + 90. Is 11 a factor of l?
False
Let n(y) = 3*y**2 - 7*y + 4. Let p be n(2). Is (-272)/(-3)*(p - -1) a multiple of 17?
True
Suppose 42 + 374 = 4*u. Does 26 divide (-12)/((-740)/u + 7)?
True
Let x(u) = -8 - 25 + 113*u + 47. Is 30 a factor of x(2)?
True
Let a = 87 - 84. Does 41 divide 1970/a + 6/(-9)?
True
Does 7 divide ((-5191)/(-58))/((1/(-28))/(-1))?
True
Let j = -19 - -23. Suppose -2*k = 9*z - 5*z - 1094, 2*z - 542 = 4*k. Suppose -471 = -j*q + z. Is 43 a factor of q?
False
Let p(s) = 8*s - 53. Let l be p(7). Suppose -296 - 100 = -l*a. Is 66 a factor of a?
True
Let z(c) = c**3 + 125*c**2 - 78*c + 2024. Is z(-125) a multiple of 7?
True
Does 105 divide 14/(-126) + ((-249492)/162)/(14/(-21))?
True
Let z(k) = 39*k - 33. Let c(w) = w**3 - 7*w**2 + 2*w - 13. Let h be c(7). Let r(l) = l - 1. Let d(q) = h*z(q) - 18*r(q). Does 12 divide d(3)?
True
Suppose -6*a = 28 - 4. Let h be 3 - (-1 + (-60)/a - -2). Let o = 89 + h. Is 11 a factor of o?
False
Let v = 5169 + -2383. Suppose -5*c + 1785 = g, -5*c = -3*g + 1001 - v. Does 21 divide c?
True
Let d(p) = -10*p - 14. Let l = 39 - 47. Let m be d(l). Let z = 20 + m. Is 42 a factor of z?
False
Let p = -1372 - -2143. Suppose 105 = -6*i + p. Let r = -66 + i. Is r a multiple of 5?
True
Suppose -2*r + 0 = 4*h - 10, 5*h - 5*r = -10. Let q(s) = -s**2 + 4*s + 1. Let f be q(h). Is 30 a factor of (f/42)/(2/90)*49?
True
Let n = 39 + -39. Suppose -3*v - d + 625 = -967, -3*v + 5*d + 1598 = n. Is v a multiple of 59?
True
Is 179 a factor of 10/(-35) - ((-2059284)/84 - 8)?
True
Let u(x) = 13*x - 6. Let f(z) = -25*z + 12. Let q(m) = -6*f(m) - 13*u(m). Let k = -77 + 75. Is 11 a factor of q(k)?
True
Suppose 4*p + 1320 = l, 2*p - 2670 = -2*l + 4*p. Suppose 53*t + l = 4361. Does 36 divide t?
False
Suppose -25*y + 141283 - 1033 = 0. Is y a multiple of 10?
True
Let r be ((-66)/5)/((-207)/345). Suppose -4*v - 2*q = -3*q - 164, -5*q = -v + r. Is 21 a factor of v?
True
Suppose 15*g + 10*g = 10700. Suppose 5*o - g = 252. Is o a multiple of 17?
True
Let s(t) = t**3 + 15*t**2 + 11*t - 32. Let a be s(-7). Let k = a - 261. Is k a multiple of 11?
True
Suppose 0 = p - 11*p + 1240. Is 17 a factor of (-31)/p + 2177/4?
True
Suppose -3*b + 8*b = 2*h - 13430, -3*h + 5*b = -20140. Is 231 a factor of h?
False
Suppose 4*l = -2*m - 3*m + 1054, 2*l + 208 = m. Let p = m + -160. Is 25 a factor of p?
True
Let m = -12961 + 13927. Is 21 a factor of m?
True
Suppose -46*r + 43*r = 270. Let l = r + 121. Is l even?
False
Suppose 4*f = 760 + 92. Is (-4 + 1)*(-8378)/f a multiple of 2?
True
Let d(o) = -o**2 + 13*o + 114. Let b be d(19). Suppose b = -2*x - 5*x + 1456. Is 13 a factor of x?
True
Let n be (-987)/210 - 3/10. Is 17 a factor of (18/(-7))/(n/((-42840)/(-54)))?
True
Let c = -2751 + 12568. Does 143 divide c?
False
Suppose 7392 = -5*f + 13*f. Suppose -129*v + 132*v = f. Is 22 a factor of v?
True
Let v(o) = 11*o**2 - 4*o - 5. Let c be v(-7). Suppose -4*z + 3 + 315 = 3*l, -4*z - c = -5*l. Is l a multiple of 6?
False
Let u = 696 + -691. Suppose 19*r - 22*r + 169 = 2*b, 237 = 4*r + u*