be w(-16). Suppose -5*h + a = -15. Suppose h*t = -4*y + 148, -4*t + 3*y + 108 = -61. Is t a multiple of 8?
True
Let i(f) = 28*f**2 - 36*f - 17. Is 94 a factor of i(-16)?
False
Suppose 0 = -47*k + 1232 + 648. Let x = -23 + 143. Let t = x - k. Does 40 divide t?
True
Let x(y) = -2*y**3 - 12*y**2 + 21*y - 152. Does 6 divide x(-15)?
False
Let k(h) = 102*h - 5. Let a(w) = -w**2 - w + 3. Let r be (-1)/2 - (-6)/(-4). Let f be a(r). Is k(f) a multiple of 20?
False
Let z(m) = 160*m**3 + 44*m**2 - 297*m - 12. Does 150 divide z(6)?
True
Let n(h) = 3*h**2 - 8*h - 71. Let v be n(-13). Let y = v - 46. Is y a multiple of 19?
True
Suppose 6*q - 8*q = 2*v - 60, 2*q - 54 = v. Suppose -q*m - 6600 = -36*m. Does 55 divide m?
True
Suppose -107*k + 101*k + 96096 = 0. Suppose 15*s + 7*s = k. Does 52 divide s?
True
Suppose -4*u + 12*u = -10*u + 9450. Is u a multiple of 25?
True
Let o = -39867 - -67094. Is 13 a factor of o?
False
Let q = 4615 + -1950. Is 7 a factor of q?
False
Let a = 2303 - 2240. Let t = -225 + 342. Let l = t - a. Does 6 divide l?
True
Suppose -5*o = -5*d - 2*o + 339, 3*d + 3*o - 189 = 0. Does 19 divide (-6)/(-66) - ((-15240)/d + 4)?
False
Suppose 10140 = -9*r + 29*r. Let v = 1088 - r. Is 10 a factor of v?
False
Does 21 divide (6/(-9) + 16930/(-12))*10/(-5)?
False
Let d = 39 - 25. Is 2/(-7)*-7*d a multiple of 4?
True
Suppose -3*v - 3283 = -2*l, -2*v - 3282 = -19*l + 17*l. Is l a multiple of 19?
False
Suppose 2*w - 4*t = -0*t, 0 = -4*t + 4. Suppose 1216 = 5*r + w*i, r + 3*r = i + 978. Suppose 7*y - 4*y = -3*q + 156, -3*y = -5*q + r. Is q a multiple of 25?
True
Let r(p) = 7984*p + 20*p**2 - 7983*p - 5 + 2. Is r(3) a multiple of 20?
True
Let k = 27 - -53. Suppose -6*z + z = -5*w + k, z - 4*w = -25. Let v = z + 34. Does 7 divide v?
True
Does 37 divide ((-3 - -1817) + -1)/((-71)/(-71))?
True
Suppose 0 = -24*l + 31*l - 34629. Is 13 a factor of l?
False
Let o(h) be the first derivative of h**4/12 - 5*h**3/3 - h**2 - 15*h + 10. Let v(c) be the first derivative of o(c). Is 7 a factor of v(12)?
False
Let v(l) = -114*l + 32. Let u be v(-5). Let z = u - 329. Is 31 a factor of z?
False
Let t be -3*(2736/14 - (-21)/(-49)). Let g = -415 - t. Suppose -7*h + g = -2*h. Is 17 a factor of h?
True
Let p(n) = -n + 8. Let f be p(-3). Let s(v) = v + f + 4*v - 5*v - v. Does 7 divide s(-10)?
True
Let b = -114 - -141. Suppose 7*c = b + 883. Does 26 divide c?
True
Suppose -123 = d + 2*p + 811, -2*d + p - 1893 = 0. Let i = -544 - d. Is 25 a factor of i?
True
Let u = -302 + 464. Let s = u + -37. Is 5 a factor of s?
True
Let j be (-20)/8*(-7336)/70. Suppose -c = -5*z + 8, 2*z - 13 + 3 = -3*c. Suppose 4*i + 5*l = j, -270 = -z*i - 2*i - l. Does 9 divide i?
False
Let q(l) = -13*l**3 - 4*l**2 - 6. Let k be q(3). Let j = k + 200. Let n = -85 - j. Is 36 a factor of n?
True
Let w(k) = -31*k**2 + 6*k - 14. Let g be w(2). Let l = g - -130. Suppose -139 + 343 = 2*v - l*i, 5*i - 295 = -3*v. Is v a multiple of 13?
False
Let v(x) = -42*x + 131. Let c be v(3). Does 38 divide ((-66)/c - -6)*(-760)/6?
True
Let k(w) = 175*w**2 + 109*w - 108. Is k(1) a multiple of 45?
False
Suppose u - 1316 = -l + 300, 2*u - 3231 = -3*l. Is (u/49)/((-1)/(-3)) a multiple of 14?
False
Suppose 0*m + 1 = -2*v + 5*m, 0 = v + 3*m + 6. Let h be (3 - -15)*2/v. Is 10 a factor of 18/8*(h/(-9) - -4)?
False
Let u(t) = 17*t + 207. Let y be u(-12). Let h(s) = 10*s**3 + 4*s**2 + 7*s + 3. Is 66 a factor of h(y)?
True
Let i(g) = -26*g + 57. Let l(q) = -2*q + 1. Let b(r) = -i(r) - l(r). Is b(12) a multiple of 37?
False
Let y(v) = -2*v**3 - 5*v**2 + 5*v**2 - 5*v**2 - 5*v**3 - 7*v + 1. Let q(d) = 21*d**3 + 14*d**2 + 20*d - 3. Let l(m) = 6*q(m) + 17*y(m). Does 12 divide l(2)?
False
Let g(b) = 920*b - 795. Is 67 a factor of g(4)?
False
Let q = 190 + 144. Let f be (-6)/(-6) + 0 + 3. Suppose f*t - q - 566 = 0. Does 52 divide t?
False
Let o = -3904 + 37008. Is o a multiple of 14?
False
Let j = -10376 + 21736. Is j a multiple of 80?
True
Let o(w) = -52*w - 10. Let l(p) = -1. Let x(t) = l(t) - o(t). Let i(b) = 2*b**2 - 8*b + 5. Let c be i(4). Does 17 divide x(c)?
False
Let x(o) = 446*o - 1024. Is x(6) a multiple of 28?
True
Let c = 4 + -7. Let p(i) = 25*i + 1798. Let l be p(-72). Is 7 a factor of (c + -3 - -7)/(l/(-154))?
True
Let c(d) = 3422*d + 5980. Is c(4) a multiple of 298?
True
Let t(q) = -q**3 + 14*q**2 + 14*q + 19. Suppose 2*s = -2*r + 34, -5*r + 4*r = 2*s - 19. Let k be t(r). Suppose -29 = -k*f + 99. Is 8 a factor of f?
True
Let l(c) = 287*c**2 + c + 16. Is 101 a factor of l(-5)?
False
Let y = -515 + 560. Is 12 a factor of (-5)/(y/(-2268)) + 0?
True
Suppose -4*g = -4*f + 32, 0 = 5*g + f + 16 + 6. Does 56 divide (-8)/((4 + 15/g)/(-28))?
True
Let w(h) = -3*h**3 - 135*h**2 + 48*h - 102. Does 227 divide w(-47)?
True
Let w(j) = -2*j**2 - 17 - 4 + 18 + 2*j**3. Let l = 6 + -3. Is 11 a factor of w(l)?
True
Suppose 83 = -6*y + 95. Let q be (2*(-2 + 61))/y. Let z = 83 - q. Is z a multiple of 8?
True
Let y(h) = 13*h**2 + 3*h - 5. Let k be y(5). Suppose -3*l - 583 = -g, -522 = 5*l - 3*g + 447. Let c = l + k. Is c a multiple of 10?
True
Let m = -5761 + 12598. Does 176 divide m?
False
Suppose 4*h + 193 - 209 = 0. Is 15 a factor of ((-1)/h)/((-6)/4344)?
False
Let g(u) be the third derivative of -u**5/60 - u**4/24 + u**3/6 + 30*u**2. Let r be g(-3). Let w(q) = -q**3 - 3*q**2 + 6*q - 5. Does 8 divide w(r)?
False
Let x = 7529 + -2968. Is x a multiple of 18?
False
Suppose 3*c = 5 + 4. Suppose -c*d + 4422 = -4*h, 0 = h - 0*h - 3*d + 1101. Does 11 divide h/(-54)*((-32)/2)/(-2)?
False
Suppose -3*s + 8*s - 2555 = 5*a, 3*s + 4*a - 1554 = 0. Suppose 16 = -6*r + s. Is 3 a factor of (r - -1)/2 - 3?
True
Let i = 66 - 65. Let z be -14 + i + (-2 - -4). Let r = z - -144. Is 39 a factor of r?
False
Is (-149177)/(-21) + 1/3 + -4*1 a multiple of 20?
True
Suppose -x + 39 = g, -g = -2*g + 4*x + 59. Suppose 0 = -g*k + 44*k - 2. Suppose 6*n + k*n = 128. Is 8 a factor of n?
True
Suppose -4*l - l + 10 = 0. Suppose l*c - 11*c + 1836 = 0. Does 19 divide c?
False
Let i = -22 - -19. Is 7 + i + 8/1 even?
True
Does 4 divide 1/1 + (-11)/(-33)*19953?
True
Let g(z) = -9*z**2 - 41*z + 16. Let j be g(-8). Does 27 divide (j/12)/((-202)/198 - -1)?
False
Let w(v) = -v**3 + 9*v**2 + 9*v - 3. Suppose -12*c = -17*c - 480. Let p = 105 + c. Does 13 divide w(p)?
True
Let o(v) = -v**2 - v + 17. Let i be o(0). Suppose -q = -2*q + i. Is 26 a factor of (1 + q)*(-13)/(-3)?
True
Let z be ((-4)/5)/(18/(-90)). Suppose -18*t + 2*y + 926 = -13*t, -z*y + 724 = 4*t. Let l = -122 + t. Is l a multiple of 8?
False
Let x be ((-4)/6)/((-2)/246). Let k be ((-8)/(-14))/(-10 - (-138)/14). Let o = k + x. Is 6 a factor of o?
True
Let t = -20 + 38. Suppose 0*k = -k + 5*q - 22, q = -3*k - t. Let p = 14 - k. Is p a multiple of 3?
True
Suppose -s - 1 = -0*s, -2*s - 2 = -f. Let c = 5 + f. Suppose 0 = k + 3*l + 38 - 135, c*l + 73 = k. Is k a multiple of 11?
True
Let q(p) = 5*p**2 - 10*p - 4. Let g(l) = -l**2 + 1. Let s(y) = -6*g(y) - q(y). Let k be s(-8). Is ((48/k)/8)/(2/(-36)) a multiple of 3?
True
Suppose -2622 = -5*c + 3*j + 936, -4*j + 3586 = 5*c. Is c a multiple of 2?
True
Suppose 3*v = -s + 2324 + 8893, 4 = -v. Is s a multiple of 21?
False
Let i = 8 + -11. Let s = i + 6. Suppose 0 = 2*r - s*r + 60. Is 15 a factor of r?
True
Suppose 1 - 5 = -n. Let f be (13 - -3)/n - -234. Let z = -103 + f. Is 27 a factor of z?
True
Suppose 66128 = 84*a - 82*a - 10108. Is 39 a factor of a?
False
Suppose 8*w = -621 + 5253. Let t = w + -23. Is t a multiple of 8?
False
Let g be (8 - -7)*(-10)/3. Let h be (-80)/g - 4/(-10). Suppose -4*y - 97 = -3*w + 40, -w - h*y = -29. Is w a multiple of 13?
True
Let c(p) = -p**2 + 21*p - 14. Let m be c(6). Let x be m/(-133)*14/(-4). Suppose -x*b - 3*b + 365 = 0. Is b a multiple of 9?
False
Let j(g) = 39*g - 1017. Does 17 divide j(58)?
False
Suppose 26*g - 1322 - 285354 = 0. Is 149 a factor of g?
True
Suppose 252 = 2*m - 5*a, -42 + 38 = a. Let b(x) = x**3 + 10*x**2 - 15*x - 10. Let g be b(-10). Let j = g - m. Is j a multiple of 24?
True
Suppose -4*o - 1640 = -3*n, n - 4*o + 6*o = 530. Let u = 702 - n. Is u a multiple of 13?
False
Let f be 1*-1 + (-2)/1 + -1. Is 1*(-6)/f*58 even?
False
Suppose -4*j = 4, -4*j - 155 = -4*f - 9*j. Suppose -3*m - 4*u + 969 = 0, -4*m + 42*u + 1270 = f*u. Does 11 divide