factor of z?
True
Let q be (-5 + -1)/((-15)/(-6) + -4). Suppose -11*l + q*l - 133 = 0. Let k(d) = -d**3 - 18*d**2 + 15*d - 7. Is k(l) a multiple of 9?
False
Let o(j) = j**3 - 14*j**2 - 13*j - 30. Let g be o(15). Suppose 4*a - 139 = -3*q, g*a - 169 = -3*q + 2*a. Is q a multiple of 53?
True
Let a = -2162 + 3682. Is a/32 - (-6)/4 a multiple of 2?
False
Suppose 3*m - 3*d - 9 = 0, -3*d - 6 = -5*m + 11. Suppose m*k + 512 = 4*b, -6*k = 5*b - 2*k - 640. Does 16 divide b?
True
Let w be (-4 - -6)*(2 - 15/(-2)). Let h be 1 - -2*(2 - -84). Suppose -h = -3*j + w. Is j a multiple of 16?
True
Suppose -2*c = -3*s + 2*s - 5, -5*c + 11 = -s. Suppose 4*v + 165 = u, c*u - 2*v - 383 + 77 = 0. Let r = 254 - u. Does 35 divide r?
True
Suppose -3*z = 2*r - 1464, -2750 = -5*r - 4*z + 917. Is r a multiple of 16?
False
Is 63 a factor of ((-1791)/15)/((-113)/16950)?
False
Let j be 1/(2/(-7) + 178/574). Suppose 7 + j = l. Is 47 a factor of 94/(l/20 + -2)?
True
Let z be 0/((1 + -3)*7/(-14)). Suppose -3*v + 7*v = z, -s = 5*v - 50. Is s a multiple of 5?
True
Let w be (-1)/(-4) - 170/40. Let n be (0 - -3)*w/((-4)/1). Suppose 2*q + 202 = 4*d, -n*d - 2*q = -5*q - 159. Does 16 divide d?
True
Let w = -309 - 289. Let g = -357 - w. Suppose 3*h = -5*x + 2*h + 599, -2*x = -h - g. Is 15 a factor of x?
True
Suppose 10*i + 445 = -105. Let v = i - -173. Is v a multiple of 9?
False
Suppose 0 = -14*k + 11*k + 12. Suppose 3*u = k*l + 924, 2*u + u - 945 = -3*l. Is 13 a factor of u?
True
Let c = -117 + 262. Let q be ((-1860)/8)/((-165)/110). Suppose j = q - c. Is 10 a factor of j?
True
Let i = 148 - 278. Let m = i - -173. Does 5 divide m?
False
Let c = -12413 - -28373. Is 76 a factor of c?
True
Suppose 3*v = -4*i + 22247, 37025 = 5*v - 26*i + 22*i. Does 17 divide v?
False
Suppose m - 14884 = -3*h + 7297, 4*h + 2*m = 29572. Does 29 divide h?
True
Let h(a) be the second derivative of -a**5/20 - 3*a**4/4 - 6*a**3 - 3*a**2 + 2*a + 2. Is h(-5) a multiple of 24?
False
Let o = -11906 - -17649. Is 7 a factor of o?
False
Does 68 divide ((-35)/(-3) + 7)*-3*(-367)/2?
False
Let h be ((-172)/(-3))/(54/81). Let y = -75 - -185. Let s = h + y. Does 28 divide s?
True
Let q(p) = 0*p + 165 - 37 + 4*p - 15*p - 10*p. Does 3 divide q(-6)?
False
Let k(i) = 2 + 1 + 19*i - 20*i. Let f be k(2). Is f - (-1)/(-2) - (-1464)/16 a multiple of 7?
False
Suppose 0 = 122*r - 116*r - 6. Let a(d) = 571*d - 9. Is a(r) a multiple of 9?
False
Suppose 9*k - 12*k - 131 = -4*o, -4*o - k = -143. Is 2 a factor of 6 - o/5 - -50?
False
Suppose -5*l - 3*m - 795 = 2*m, -4*l = 2*m + 628. Let n = 324 + l. Is 18 a factor of n?
False
Suppose -8*h - 227 = -1251. Suppose 5*f - h = 4*x, x + 13 + 19 = -5*f. Does 32 divide ((-1)/(-3))/(x/(-14112))?
False
Let s = -1156 - -2387. Let y = s - 647. Is y a multiple of 12?
False
Let y = 1594 - -774. Does 21 divide y?
False
Let m(z) = -z**3 + 12*z**2 - 20*z + 2. Suppose 2*p = 4*i - 34, -4*p + 52 = 4*i - 0*i. Let d be m(i). Suppose d*v - 156 = -v. Is v a multiple of 8?
False
Let s = 7385 - -4639. Does 72 divide s?
True
Suppose 42 + 103 = t. Let a = t - 299. Let z = -45 - a. Is z a multiple of 24?
False
Let r = -186 - -17380. Is r a multiple of 25?
False
Suppose 1498*h = 1475*h + 331108. Is h a multiple of 8?
False
Suppose -24*x + 61337 = -13567. Is x a multiple of 124?
False
Suppose 13*o - 17*o + 376 = -5*t, 3*o - 5*t - 282 = 0. Suppose -533*y = -532*y - o. Is y a multiple of 38?
False
Let v = 84885 - 56197. Does 133 divide v?
False
Let a(b) = b**3 + b**2 + b - 80. Let o be a(0). Let u = -43 - o. Is 8 a factor of u + (2 - -1) + -4?
False
Let n(g) be the second derivative of -2*g**3/3 - 7*g**2/2 + 4*g. Let i be n(-4). Is 11 a factor of ((181/(-3))/(-1))/(3/i)?
False
Let m(b) = -b**3 - 7*b**2 + 2*b - 6. Suppose -7*u - 21 = -175. Let s be (4 - (-780)/(-66)) + (-4)/u. Is m(s) a multiple of 12?
False
Suppose 6*t = 7*t + 2*x - 196, -5*x = 2*t - 393. Suppose -t = 13*v - 1065. Is v a multiple of 29?
False
Suppose -11*v = -1007 + 3141. Let a(g) = 16*g**3 + 2*g**2 + 3*g + 1. Let y be a(-2). Let h = y - v. Is h a multiple of 9?
False
Let r(u) = u**3 + 14*u**2 - 3*u - 19. Let p(f) = -f**3 + 5*f + 2. Let b be p(-4). Suppose 0 = -2*z - y - 4*y - 36, 3*y = 4*z + b. Is 21 a factor of r(z)?
True
Is ((-178)/5 + 3/30)*-144 a multiple of 24?
True
Let k(j) = -51*j**3 - 6*j**2 - 52*j - 31. Is k(-9) a multiple of 13?
False
Suppose -k = 3*d - 64008, -76771 + 396895 = 5*k + 3*d. Is k a multiple of 200?
False
Let r be (7 + (-76)/12)/((-2)/(-12)). Is 104 - (6 - r)/(-7 - -8) a multiple of 17?
True
Suppose 17783 + 69073 = 77*h. Does 6 divide h?
True
Let s = 921 + 29. Let r(l) = -2*l + 1. Let x be r(-2). Suppose s = 5*n + x*n. Does 11 divide n?
False
Suppose m - 3 = -4*n + 1, 0 = 2*m + 5*n - 5. Suppose 3*w - 22*w + 12787 = m. Is w a multiple of 55?
False
Let x(u) = 7*u**2 + 22*u + 102. Let w(b) = 5*b**2 + 21*b + 101. Let z(h) = 4*w(h) - 3*x(h). Is 5 a factor of z(17)?
True
Let q(y) = -366*y + 4. Let h(w) = 8*w + 78. Let i be h(-10). Does 44 divide q(i)?
False
Let r(t) = -93*t**2 + 463*t + 4. Let d be r(5). Suppose 5*n + b + 40 = 0, -3*n + 2*b - 6*b = 24. Is d/((n/48)/((-6)/(-8))) a multiple of 9?
True
Does 10 divide 6 + 4 + 3164 + (-7)/(21/(-18))?
True
Suppose -18 = 26*l - 35*l. Suppose 164 = l*o - 2*h, 220 = -5*o + 4*h + 629. Is o a multiple of 10?
False
Suppose 4*a = -5*c + 783, 2*a - 2*c = 6 + 390. Is 20 a factor of a?
False
Let w(q) = 126*q**2 - 4*q + 4. Let b be w(1). Suppose -42*l + b = -36*l. Does 2 divide l?
False
Let x be -5 + 17/(136/352). Is (-6)/x + ((-29106)/(-78) - -1) a multiple of 34?
True
Does 60 divide 306/204*(-1 + 6233)?
False
Suppose 8 = -0*q - 4*q, -2*y = 3*q + 68. Suppose -15*c - 5*r = -10*c - 105, 5*c = 4*r + 132. Let b = c - y. Is b a multiple of 2?
False
Let f(n) = 9 - n**3 + 4*n**2 + 5 - 3 + 9*n. Is 14 a factor of f(5)?
False
Suppose 262879 = 61*g + 138*g. Is g a multiple of 17?
False
Let x = 248 + -92. Suppose -g = -3*g + x. Is 7 a factor of g?
False
Let o(h) = 620*h**2 - 42*h - 119. Does 23 divide o(-3)?
False
Suppose -r + 38726 = 5*f, -10*f - 116338 = -3*r - 5*f. Is r a multiple of 42?
True
Suppose 1 + 11 = 3*z. Let t = 78 - 78. Suppose k + t + 193 = 2*v, -4*v + z*k = -392. Is 19 a factor of v?
True
Is 21 a factor of (-641184)/(-40) - ((18/5)/(-6))/(-1)?
False
Let l be (68/8)/(3/6). Suppose 3196 = 4*r - 2*b, 0 = -l*b + 22*b. Is 47 a factor of r?
True
Is 5 a factor of (-61830)/135*(-4)/1?
False
Does 60 divide -2 + 9430 - (-904)/(-113)?
True
Let f = -46 + 50. Suppose 0 = 4*w + f + 24. Does 25 divide (-113)/((14/4)/w)?
False
Is (-1 - (-10)/5)*-7 + 1368 a multiple of 7?
False
Let v = 57 - 54. Let h be 1 + 794/v + (-70)/(-210). Suppose 0 = -u + 2*c + 127, -2*u + 0*c = -c - h. Is 13 a factor of u?
False
Let u = 7 + 173. Let j = u + -172. Does 6 divide j?
False
Let a(x) = -499*x - 17277. Does 4 divide a(-47)?
True
Suppose 2*n + 560 = 2*g - 0*n, 3*g + n = 860. Let b = -435 + g. Does 12 divide ((-5)/2 - -2)*(b - -2)?
False
Suppose 0 = -18*k + 249 + 129. Suppose -2*c = l - 33, -2*l + 23*c - k*c + 60 = 0. Is 2 a factor of l?
False
Suppose 5*y - 4*s - 39935 = 0, 5*s - 3*s - 15956 = -2*y. Is y a multiple of 42?
False
Let o(y) = 3*y + 7. Let v be o(16). Suppose -v*l - 252 = -56*l. Suppose 5*i = 9 + 6, 2*i = 2*c - l. Is 10 a factor of c?
False
Let a(r) = -r**3 + 9*r**2 - 7*r - 2. Let t be (1*15/(-12))/(7/(-28)). Is 21 a factor of a(t)?
True
Let s = -17401 - -21541. Is s a multiple of 45?
True
Let i(o) = 23*o + 24. Suppose 2*t - 2*y = -3*y + 10, 2*y + 8 = 0. Let a be i(t). Suppose -g + a = 24. Does 23 divide g?
True
Let o(m) = 235*m + 155*m + 25 - 23*m. Let z be o(8). Suppose -3*f + 12*f = z. Does 47 divide f?
True
Let x(v) = 132*v**2 + 2*v + 5. Let y(g) = -g + 1. Let k(f) = x(f) - 4*y(f). Is k(-2) a multiple of 18?
False
Suppose -6156*v + 6241*v = 1697280. Is 4 a factor of v?
True
Let s be (-3948)/(-273) - 24/52. Is 11 a factor of 186 - s/((-84)/(-54))?
False
Suppose 650 = 6*x - 898. Suppose 60 = -2*v + x. Is v a multiple of 33?
True
Let f = -74 - -76. Suppose 0 = -f*n - 3*n + 110. Suppose 20*o = n*o - 96. Does 6 divide o?
True
Let o(l) = 495*l**2 - 1052*l - 11524. Is o(-11) a multiple of 53?
True
Let q = -32 + 35. Suppose -q*r - r - r = 0. Suppose -4*z + 64 = -r*z + 4*s, 2*z = 5*s - 3. Does 9 divide z?
False
Suppose -