 20, -i - 6 = 2*n - 10. Suppose -w + i*w + 12 = 0, 2220 = 5*t - 5*w. Does 55 divide t?
True
Let q(f) = -306*f - 774. Does 21 divide q(-75)?
True
Suppose -95*j = -993829 - 1160106. Is j a multiple of 287?
True
Suppose -2*a = -7*a - 65. Let z(q) = q**2 + 13*q + 2. Let n be z(a). Suppose -3*o + 351 = n*u + 3*u, 4*u - 4*o = 300. Is 22 a factor of u?
False
Let k be ((-270)/63)/(4/28). Is (k - -1 - -4)*(-63)/5 a multiple of 7?
True
Suppose -32*r + 37*r = 105. Does 12 divide (-262)/(-14) - (-6)/r?
False
Is 17098/4*(-6 + 5)*-4 a multiple of 166?
True
Let y = -11 - -8. Let f(a) = -1365 - 4*a**2 - 7*a + 8*a + 1364 - 2*a**3 - 2*a**3. Does 17 divide f(y)?
True
Let z = 944 - -5876. Is z a multiple of 21?
False
Let w(j) = 1245*j - 614. Is 118 a factor of w(4)?
True
Let p(z) be the second derivative of 313*z**3/6 - 17*z**2/2 + 23*z. Is p(1) a multiple of 60?
False
Suppose 102*x + 48158 = -38*x + 145598. Is 3 a factor of x?
True
Let z(g) be the first derivative of -10 - 15*g**2 - 1/3*g**3 + 33*g. Is z(-24) a multiple of 12?
False
Let p(l) = -140*l**3 + 35*l**2 + 139*l**3 - l + 34 + 3*l. Is p(35) a multiple of 52?
True
Let l = 315 - 500. Let i = -113 - l. Suppose 108 = 4*p - i. Does 9 divide p?
True
Is 11 a factor of (2/8)/((-1111)/110 + 10)*-242?
True
Let r(o) = -37*o + 18. Let c(v) = 74*v - 36. Let g(a) = 6*c(a) + 11*r(a). Let b be g(8). Suppose b - 30 = 4*z. Does 13 divide z?
False
Let u(h) = -7*h**3 - 9*h**2 - 8*h - 8. Let o be u(-3). Let q = o + -68. Is q a multiple of 4?
True
Let a(f) = 8*f + 13. Let u be a(-2). Let k be (5/(-5))/(u/(72 - -3)). Suppose 30*x = k*x + 210. Is x a multiple of 6?
True
Let u = 904 - 235. Let r = 1276 - u. Is r a multiple of 11?
False
Suppose 9489 = 5*q + 4*i, 44*q - 3*i = 48*q - 7590. Does 2 divide q?
False
Does 21 divide 36/30 - 456340/(-50)?
False
Let u(y) be the first derivative of -y**4/4 + 16*y**3/3 + 17*y**2/2 + 4. Let v be u(17). Suppose v = -4*l + 11 + 93. Does 26 divide l?
True
Let t = -97 - -77. Let n = t - 57. Let w = n - -238. Is 14 a factor of w?
False
Is 17 a factor of (-74)/(1512/(-150) + 10)?
False
Let l = 506 - 221. Suppose 605*y - 95 = 586*y. Suppose l = -0*m + y*m + 5*w, -2*w = 6. Is 19 a factor of m?
False
Let h = 261 + -268. Does 22 divide (2 + -6 - h) + 42?
False
Suppose -185*b - 180*b - 59*b + 18524984 = 0. Does 105 divide b?
False
Does 11 divide ((-30359)/(-14))/(14/28)?
False
Suppose 0 = -12*n - 78 + 6. Let v(j) = j + 21. Let a be v(n). Is 4 a factor of 51/15 - a/(-25)?
True
Let x(m) = 13*m - 19. Let n = -34 + 55. Let j = n + -13. Does 8 divide x(j)?
False
Is (-84)/(-98)*(-24 - -46000) a multiple of 27?
False
Let j(z) = -z**3 - 21*z**2 - 9*z - 22. Let o be j(-21). Let c = 213 - o. Is c a multiple of 7?
False
Suppose -4*x - 16 = -112. Suppose -h + x = 2*h. Suppose h*s = 10*s - 116. Is 7 a factor of s?
False
Let b(y) = -y**2 + 26*y + 23. Let x be b(14). Let g = 5 - 0. Suppose 5*a = 4*k + 133, -x + 52 = -g*a + 2*k. Is 4 a factor of a?
False
Let u(a) = -a**3 + 13*a**2 - 22*a + 3. Let x be u(11). Suppose 3 = -x*d + 12. Suppose -909 + 270 = -d*j. Does 28 divide j?
False
Suppose 6*u - 9 = -27. Is 11 a factor of (u + 3252/15)/((-1)/(-5))?
False
Let g(p) = p**3 - 29*p**2 + 29*p - 49. Let q be g(28). Does 6 divide 6/q - 6974/(-7)?
True
Let x be (1 - 3)/(-1*(-6)/(-17799)). Suppose 4*b = 2*b - 5*p - 3960, 4*p = -3*b - x. Is 22 a factor of b/(-35) + 8/14?
False
Let u(g) = -698*g - 137. Is u(-1) a multiple of 11?
True
Let f(o) = 19*o**3 - 58*o**2 + 67*o - 66. Is f(9) a multiple of 30?
True
Let p = -16901 + 43971. Is 11 a factor of p?
False
Let c = 87 - 89. Let o be -3 + (c + 5 - -5*1). Let j(v) = 4*v**2 + 5*v - 1. Is j(o) a multiple of 24?
False
Let z(t) be the second derivative of t**5/20 + 2*t**4/3 - 4*t**3/3 + 9*t**2 - 29*t. Let p be z(-9). Is 3 a factor of (-5 + 7)/(2/p)?
True
Let c(b) = b**2 - 14*b - 10. Let d be c(15). Suppose 0 = d*h - 5*l - 30, -2*h - 8 = -3*h + 3*l. Does 2 divide 884/65 + (-1 - (-7)/h)?
True
Let y(z) = -z**2 - 9*z - 9. Let v be y(-7). Suppose 2*l = 3*i - 13, -v*i = -2*l - 0 - 15. Does 28 divide (-2672)/(-32) - i/(-2)?
True
Let u = 24281 + -11433. Does 22 divide u?
True
Let i = -128664 - -181323. Does 26 divide i?
False
Suppose -4*x = 2*m - 2, -x = -2*m + 3*m - 2. Suppose 66 = 4*g + m*q - 75, -q = 5*g - 179. Is 103/5 - g/60 a multiple of 10?
True
Is (-8)/(-5 - -3) - -10536 a multiple of 85?
True
Let h(k) = 3*k**2 - 2*k + 3. Let m be h(-4). Suppose 0 = -4*i + 899 - m. Is 10 a factor of i?
True
Let p = 247 - 107. Does 27 divide p + (6/(-6) - -5)?
False
Let r(o) be the first derivative of -2*o**2 - 16*o + 4. Let j be (-1)/(3 - (-104)/(-36)). Is r(j) a multiple of 10?
True
Let d(n) = 5*n + 19. Let h be d(3). Let s = h + -90. Let t = s - -94. Is 19 a factor of t?
True
Suppose 11*h - 10*h - 4*f - 844 = 0, -3*h + 2515 = 5*f. Does 3 divide h?
True
Is 119 a factor of (9/(-6) - -2)*(12 - 14)*-10591?
True
Let k(l) = 8*l + l**2 + 5*l - 10*l - 8. Let s be k(-5). Suppose 5*u - 126 = s*u. Is u a multiple of 21?
True
Let o be (504/224)/((-1)/24). Let n = o + 372. Does 6 divide n?
True
Let o be 43/18*2 - (-4)/18. Suppose 0 = o*c - 119 - 26. Suppose 3 = -2*a - h + 16, 4*a - c = h. Is 3 a factor of a?
False
Let h be (-6)/33 + (4/22 - 0). Suppose h = -v - 2*q + 8, 0 = -4*v + 2*q + 36 + 16. Is 12 a factor of v?
True
Let p be 556/18 - 34/(-306). Suppose 4*a - 32 = 2*z, -2*a = 2*z + 3*z - 28. Let l = p - a. Does 11 divide l?
True
Let c(y) = y + 1. Let j(x) = -7*x**2 - 11. Let b(o) = -4*c(o) - j(o). Let m be 2/(-42)*-6 + 264/56. Does 30 divide b(m)?
False
Let q(w) be the first derivative of -w**4/4 - 7*w**3/3 - 4*w**2 + 30*w - 17. Is q(-8) a multiple of 44?
False
Let d = 165 - 201. Does 20 divide -10*(3 - d/(-4))?
True
Suppose -55256 = 47*z - 312722. Is 33 a factor of z?
True
Let f = 16250 - -3320. Is 19 a factor of f?
True
Suppose 0 = -2*m + 5*n + 717 + 595, n = -m + 663. Suppose -m = -7*z + 837. Does 8 divide z?
False
Let b(p) = 18*p + 126. Let k be b(-7). Suppose k = -6*x + 43*x - 22570. Is x a multiple of 29?
False
Let w(g) be the first derivative of 307*g**3/3 + 21*g**2/2 + 38*g + 131. Is 24 a factor of w(-2)?
True
Suppose -31*o + 3060 = -16*o. Let r = o + -129. Is 15 a factor of r?
True
Suppose 0 = i + 2*m - 1889, 19*m - 15*m = -i + 1877. Is 5 a factor of i?
False
Let l(z) = 3139*z + 106. Is 6 a factor of l(1)?
False
Let l = -35591 - -67891. Is l a multiple of 197?
False
Suppose 27846 - 78456 = -20*a + 59790. Is 92 a factor of a?
True
Suppose 1917 = 10*i + 6237. Let t = 972 + i. Is 20 a factor of t?
True
Suppose -158136 = 58*w - 63*w - f, w = 2*f + 31647. Is w a multiple of 13?
True
Let j = 1201 + -419. Suppose 19*v = 21*v - j. Does 20 divide v?
False
Let p(y) = -2*y**3 - 23*y**2 - 12*y + 72. Let o be p(-12). Suppose -4*q = -7*q + o. Does 12 divide q?
True
Let s(f) = f**3 + 5*f**2 - 7*f + 3. Let x be s(-6). Suppose -12*n = -15*n + x. Suppose -n*t + 87 = 9. Does 3 divide t?
False
Let t(c) = c**2 - 7*c - 152. Let d be t(36). Let o = -333 + d. Does 43 divide o?
True
Is 10/2 - (-2367 + 182) a multiple of 73?
True
Suppose 2795*s = 2837*s - 24454 - 190964. Is s a multiple of 23?
True
Let l(w) = 161*w + 5 - 14*w - 15 + 1. Is 46 a factor of l(1)?
True
Is 35 a factor of 12 - -1 - (5 - 1296)?
False
Suppose -3*k - 118 = 2*o - 0*k, o - 4*k + 59 = 0. Let n = o - -203. Is 24 a factor of n?
True
Let i = -1726 - -2021. Does 59 divide i?
True
Is 4 a factor of (-2114)/28*(2 + -4)?
False
Suppose -2*v + 42 = v. Let f(i) = -53*i - 21. Let o(g) = 43*g + 20. Let z(m) = 4*f(m) + 5*o(m). Is z(v) a multiple of 25?
False
Suppose 0 = -2*o - 4*o - 36. Let w = -372 + -292. Does 14 divide w/(-10) - o/(-15)?
False
Suppose 1190 - 3182 = -8*p. Suppose g + p = -m + 2*m, m = 3*g + 245. Suppose -3*w - m = -4*u, 5*u - 2*w - 319 = -0*u. Is 7 a factor of u?
False
Suppose -76639*y + 330225 = -76624*y. Is y a multiple of 16?
False
Let l(q) = 35*q**2 + 7*q + 27. Let k = -90 - -86. Let g be l(k). Suppose -5*s = 3*a - g, a + 0*s + 2*s - 187 = 0. Is a a multiple of 27?
False
Let f = 330 - 325. Is 42 a factor of (-1)/((-8)/40*f/81)?
False
Suppose 55 = 2*w - 3*o, 4*o - 69 = 4*w - 177. Suppose -406 = w*c - 33*c. Is 4 a factor of c?
False
Let l(h) = -77*h + 312. Is l(3) a multiple of 6?
False
Let s be (72/(-42))/(-6)*175. Is s/(-125) - 2844/(-10) a mult