2 - 5*q - 1. Let c(n) = 7*n**2 + 26*n + 16. Let h(v) = c(v) + 2*p(v). Suppose 0 = -4*m + 58 + 2. Is h(m) a multiple of 7?
False
Let l(u) = -167*u + 13. Let y be l(2). Is 36*((-2)/(-10) - y/20) a multiple of 20?
False
Let t = 1286 + -750. Suppose 0 = -3*c - 212 + t. Suppose -6*w + 0*w = -c. Is 15 a factor of w?
False
Let v(q) be the first derivative of -2*q**3/3 - 17*q**2/2 - 16*q - 21. Let t be v(-7). Suppose 0 = -g - 2, t*k = -8*g + 4*g + 482. Is 24 a factor of k?
False
Does 34 divide 4/18 + ((-1029281)/(-99) - -7)?
True
Let k(s) = -s**3 + s**2 + 4*s + 3. Let v(z) = -z**2 - 10*z + 9. Let o be v(-11). Let p be k(o). Suppose -570 = -p*d + 375. Does 20 divide d?
False
Let p(s) = 61*s**2 - 35*s + 11. Let g(v) = 58*v**2 - 36*v + 9. Let d(k) = 5*g(k) - 4*p(k). Is d(2) a multiple of 35?
True
Suppose 2*n = 2*s + 2*s - 44, -4*s - 66 = 3*n. Does 7 divide n/77 + (-4563)/(-21)?
True
Let a be -83 + (-1)/1 + -4 + 2. Let v = a - -54. Is (2 - v) + 1*(2 + -5) a multiple of 5?
False
Let b = -588 - -830. Suppose 251*j = b*j + 846. Is j a multiple of 9?
False
Let h(o) = -2478*o - 3214. Does 196 divide h(-8)?
False
Is 12 a factor of 890*(-11)/((-66)/36)?
True
Suppose -3*s + 8*s = -300. Suppose 23 + 77 = n. Let v = n + s. Does 17 divide v?
False
Let m = 5482 - -2058. Is 13 a factor of m?
True
Does 14 divide 132*(2/(-18))/((-42)/20223)?
False
Let c(w) = w**2 + 56*w - 3831. Is 165 a factor of c(64)?
False
Suppose 65*g - 491241 + 103126 = 0. Does 7 divide g?
True
Is (-53914)/280*-25 + (21/(-12) - -2) a multiple of 29?
True
Let r = -15116 - -19632. Is r a multiple of 32?
False
Suppose -2*l - 8 = 4*x, 3*x - 8*x = -l + 10. Suppose l*z = 5*h - 3*z - 4467, -2683 = -3*h - z. Let v = h + -604. Is v a multiple of 14?
False
Let p(t) = -t**3 - 2*t**2 - 3*t - 3. Let m be p(-2). Suppose -5*w + 5 = -5. Suppose m*b - 185 = -w*b. Is 16 a factor of b?
False
Let f be (-2 + (-3)/(-3))*-2. Let b(d) = 6 - 153*d**2 - 2*d - 155*d**2 - 7*d**3 + 309*d**f. Is b(-3) a multiple of 42?
True
Suppose 12*l - 24*l = -492. Let f = 11 + l. Does 4 divide f?
True
Suppose -34*i = 35*i - 449259. Is 11 a factor of i?
False
Let p be 152/((-6)/3) + 4. Let b be (-2)/(-6)*-1*p. Let s = b + 174. Is 33 a factor of s?
True
Suppose -2*d - 5 + 3 = 0, 4*d = -3*q - 4. Suppose 2*m - m = 4*o + 80, q = -o - 3. Does 13 divide m?
False
Let x be (-1 - 15/(-9))*(-264)/16. Let m(f) = -2*f - 17. Let i be m(x). Suppose b - 19 = -0*l + i*l, 3 = -l. Is b a multiple of 4?
True
Let p be (1 - 3/1) + 34 + -30. Suppose 2*c = p*q + 706, -1960 = -4*c + q - 557. Does 50 divide c?
True
Let s(d) be the first derivative of -9*d**2 + 560*d + 320. Is s(0) a multiple of 16?
True
Let c(w) = 636*w - 3500. Does 79 divide c(6)?
True
Suppose -3*o + 17 = -8*o + 3*u, 3 = -3*u. Let a be (5 - o/(-4)) + (-1 - -2). Suppose 0*g - 2*g = 4*l - 16, -64 = -a*g + 2*l. Is g a multiple of 6?
True
Let a(t) be the third derivative of t**4 - 10*t**3/3 - 29*t**2. Does 15 divide a(13)?
False
Suppose 6 = 12*l - 11*l. Suppose 6328 = l*b - 2120. Does 11 divide b?
True
Suppose 5*r + 12362 + 23313 = 5*z, -21405 = -3*z - 5*r. Does 30 divide z?
False
Suppose 0 = -4*j - 4*t, -7 - 18 = j - 4*t. Let i be -3 - -3 - j - -46. Suppose 117 = 6*c - i. Is c a multiple of 4?
True
Let n be (-5 - -7 - -3) + -1 + 98. Is 32 a factor of 96/5*1360/n?
True
Let f(t) = t**2 - 78. Let r be f(-9). Suppose -8*p = -4*l - 10*p + 506, -2*p = r*l - 379. Does 2 divide l?
False
Let a = -6871 - -10405. Is 62 a factor of a?
True
Let h(w) = -5*w**3 + 3*w**2 - 3*w - 3 - 1 + 7*w**3 + 5*w. Let p be h(-3). Let u = 61 + p. Is u a multiple of 8?
True
Let q(c) = 2*c**2 - 14*c + 8. Let v(j) = -j**3 + 4*j**2 - 4*j + 5. Let d be v(2). Let y be -4*(50/d)/(-5). Does 12 divide q(y)?
True
Let r(p) = 105 - 135 - 41*p - 146. Is r(-10) a multiple of 34?
False
Suppose 211*d - 20174693 = -6343854. Does 88 divide d?
False
Let k be (-2)/4 + (-168)/(-16). Suppose -4*f + l + k = 0, -3*l - 1 = 5. Suppose 3*r - 284 = v, -2*v = -f*r + 3*v + 172. Does 14 divide r?
False
Suppose -34 = -l - 12. Let o = -1315 + 1322. Suppose -l = -3*x - o. Does 2 divide x?
False
Let m(r) = 48*r + 735. Let k be m(-16). Let i(l) = -10*l - 7. Let q be i(-7). Let f = q + k. Is f a multiple of 6?
True
Let r(u) be the first derivative of 83/3*u**3 + 0*u**2 + 15 - u. Is 11 a factor of r(1)?
False
Let l(r) = 34*r - 45. Let s(c) = -35*c + 45. Let a(f) = 6*l(f) + 7*s(f). Let w be a(-14). Suppose 186 = 7*o - w. Is 23 a factor of o?
True
Let u(y) = 4*y**2 + 42*y + 48. Is 28 a factor of u(18)?
True
Suppose 104*h + 1970 = 109*h. Is 11 a factor of h?
False
Is (-134435)/(-77) + (2 - 21/11) a multiple of 18?
True
Let y(a) = -6*a**3 + 3*a**2 + 5*a + 1. Let z be y(-1). Is 5 a factor of (9 + -4)*356/z?
False
Suppose 4*a = 3*p - 58806, 5*p - 6*p = -5*a - 19591. Does 40 divide p?
False
Let o = 111 + -109. Is ((-1446)/(-5))/o - 39/65 a multiple of 6?
True
Let v(l) = -l**3 - 1 + 4 - 59*l + 56*l - 4*l**2. Let o be v(-3). Let p = o - -105. Is p a multiple of 18?
True
Let z(y) = 355*y + 12018. Does 17 divide z(-9)?
True
Let k(o) = -254*o + 2. Let m be k(-10). Does 6 divide 2/8 + m/8?
True
Suppose 2*k + 8*s = 10*s - 2, -4*k - 4*s = -4. Suppose k = 3*g - 691 - 50. Does 6 divide g?
False
Let h = 581 - 201. Let u = h + -276. Is u a multiple of 52?
True
Suppose -2*w - m = -3220, -4730 - 105 = -3*w - 4*m. Suppose -3*l = v - 398, 3*v - w = -v + 5*l. Does 10 divide v?
False
Let y = 122 + -73. Let g(r) = -r - 1. Let l be g(-1). Suppose l = -8*z - y + 321. Is 17 a factor of z?
True
Let a(u) = 8*u**2 + 18*u - 78. Let p be a(6). Suppose -15*b + 102 = -p. Is b a multiple of 7?
True
Let o = 440 + -3. Suppose 0 = -2*p + 4*n + o + 49, 0 = -p + 5*n + 240. Is 35 a factor of p?
True
Let i(t) = 38*t**2 + 10*t - 23. Let o(u) = 38*u**2 + 9*u - 20. Let l(h) = -6*i(h) + 7*o(h). Does 22 divide l(-4)?
True
Let y = 27638 + -15584. Is y a multiple of 6?
True
Let o(l) = -1827*l - 3124. Is o(-8) a multiple of 298?
False
Suppose -1801*v + 1930*v - 1898880 = 0. Is 20 a factor of v?
True
Let w(x) = 50*x**2 + 4*x - 3. Let v be w(1). Let t = 84 - v. Suppose t = d + 1. Is d a multiple of 24?
False
Let g = -12 + 11. Let n be 2 + 181 + -4 - g. Let r = n - 96. Is 8 a factor of r?
False
Is 549 + (-11)/(44/16) + -5 a multiple of 10?
True
Suppose 0 = -42*s + 67449 + 60147. Is 17 a factor of s?
False
Let v(z) = 389*z**2 - 2 + 3*z - 4 - 383*z**2 + 0 + z**3. Let x be v(-5). Suppose x*h + 0*h + 5*d + 13 = 0, -3*h - 1 = 2*d. Is h even?
False
Is (19/(-228)*4)/((-2)/35694) a multiple of 107?
False
Suppose 0 = 3*s + b - 40, -2*s - 4*b + 39 + 1 = 0. Suppose -s*l = -2890 - 470. Is 20 a factor of l?
True
Suppose 0 = 5*i - 15, -5*i + 27 = m - 0*i. Let n be 1*(-3)/(-6) + (-174)/m. Let k(h) = -h**2 - 17*h + 26. Is k(n) a multiple of 4?
True
Suppose 0 = -12*b + 18*b + 204. Let w = 140 + b. Is w a multiple of 3?
False
Suppose -4*j - 4*u = -5768, 3*j - 4374 = 995*u - 990*u. Is 11 a factor of j?
False
Suppose -6310371 = -144*b + 43*b - 1373996. Is 23 a factor of b?
True
Suppose 0 = 50*a - 98*a + 261648. Does 29 divide a?
False
Let d = 411 + 883. Does 17 divide d?
False
Suppose -7436 = -19*j + 2178. Suppose 3206 - j = 6*l. Does 26 divide l?
False
Let c(f) = -1373*f - 5258. Is c(-26) a multiple of 20?
True
Let d be ((-1)/(-3))/((48/180)/(-4)). Let g(l) = 17*l**2 + 4. Does 39 divide g(d)?
True
Let q be (((-422)/4)/(3/(-6)))/1. Let y = q + -98. Does 38 divide y?
False
Let k(h) = 674*h - 9377. Is k(70) a multiple of 54?
False
Let z = 15 + 219. Let h = z - 16. Suppose -3*y + h = -208. Does 19 divide y?
False
Let z(p) = 22*p**2 - 2*p + 4. Let i be z(7). Suppose 3*j - i = -3*w, -3*j = 9*w - 5*w - 1427. Suppose -w = -7*f - 23. Is 6 a factor of f?
True
Let l be (8/(-10))/(258/255 - 1). Let x = l + 127. Let g = x + -45. Is 7 a factor of g?
True
Let x be 6*20/(-8)*(-13)/13. Is (-1562)/(-8) - x/(-20) a multiple of 14?
True
Suppose -1489*l + 1543*l = 554850. Is 12 a factor of l?
False
Let g = -5 + 11. Suppose -g*x - 2*x + 288 = 0. Let t = x + -26. Does 10 divide t?
True
Let h be ((-1072)/24)/((-1 - -4)/27). Let t = h - -582. Does 20 divide t?
True
Let z = -132 - -43. Let t = -95 - z. Let m(c) = -34*c + 7. Is 20 a factor of m(t)?
False
Let o be (((-765)/10)/(-3))/(1/14). Suppose o = g - 766. Is 77 a factor of g?
False
Does 21 divide 1 + -3 + 51