 - 1 - 5*l - l + 2*l**2. Is 5 a factor of w(9)?
True
Let p be (-3)/(3/((-3)/1)). Suppose p*y = -3, 0 = z - 0*z + y + 37. Is 9 a factor of 198/8 + 27/z?
False
Let m = -13 - -9. Let h be m*(-1)/(16/12). Suppose 4*n = h*n + 42. Is n a multiple of 21?
True
Suppose 0*y + 6 = 2*y + 3*h, 5*h = 4*y - 34. Suppose y*d - d = 0, 312 = 2*x - 3*d. Does 39 divide x?
True
Let k(p) = -p**2 + 5*p**2 + 4*p - 6 + p**2 - 4*p**2. Does 13 divide k(7)?
False
Let j = 423 + 573. Is j a multiple of 12?
True
Is 10 a factor of ((-120)/9)/(2/(-12)*2)?
True
Suppose 19*v - 87494 = -22*v. Is 11 a factor of v?
True
Suppose -4*l = 4*t - 16, -3*l - 2*t + 0*t + 11 = 0. Suppose 0 = -0*o + 4*o + 2*m - 56, -4*o - l*m + 54 = 0. Let a = o + -6. Is 9 a factor of a?
True
Let n(o) = 4 - 5 + 25*o**2 - 23*o**2 - 18*o + 17. Is n(15) a multiple of 28?
True
Suppose 659 = 2*i + 229. Is 46 a factor of i?
False
Let p(r) = r**3 - 8*r - 5. Let l be p(-5). Suppose 6*i - 8*i - 118 = 0. Let g = i - l. Does 16 divide g?
False
Suppose w = 7*w. Suppose 3*j + t - 2*t = 216, j + t - 68 = w. Does 10 divide j?
False
Suppose -5*u = -3*g - 0*g - 45, -2*u + 5*g + 37 = 0. Let x(w) = 19*w - 9. Does 17 divide x(u)?
False
Suppose 106*w - 105*w + 124 = 0. Let j = -75 - w. Is 7 a factor of j?
True
Let z(u) = -2 + 6*u**2 - 4 + 6 + 2*u - 6. Does 21 divide z(-3)?
True
Is (-318)/(-4)*(-168)/(-126) a multiple of 4?
False
Suppose -z + 2*g = 3*z - 394, -2*z + 215 = 5*g. Is z a multiple of 19?
False
Suppose 38*v - 31*v = -336. Is -4 - v/(-18)*(-423)/4 a multiple of 35?
False
Let h = -415 + 646. Does 3 divide h?
True
Suppose -r + 5*v = -15, -19 + 3 = -2*r + 3*v. Suppose z - 6*z = 2*g - 601, r*g - 15 = 0. Is z a multiple of 31?
False
Suppose o + o = 0. Suppose 6*c + 0*c - 384 = o. Suppose -3*j - j - 32 = -2*m, 0 = -2*m - 4*j + c. Is 12 a factor of m?
True
Let v be (1 + 0)/((-3)/(-9)). Suppose 269 - 50 = v*q. Does 14 divide q?
False
Let k = 1327 - 834. Suppose 0 = 3*n - 371 - k. Is n a multiple of 19?
False
Let z = 100 - -54. Is z a multiple of 13?
False
Let a be (-2*1)/((-4)/(-10)). Let w be 1*(-4 + a - -3). Is (0 - 3)*68/w a multiple of 17?
True
Let c(l) be the third derivative of -l**4/24 + l**3/6 - 4*l**2. Let j(n) = -9*n - 4. Let v(q) = c(q) + j(q). Does 15 divide v(-4)?
False
Let z = -12 - -324. Suppose 3*g - 26 = 4*n, 5*n = g + g - 29. Does 8 divide ((-1)/(-3))/(g/z)?
False
Suppose 16*y = 2*f + 15*y - 12131, f - 6076 = 4*y. Does 28 divide f?
False
Suppose 0 = -2*z - p + 287, -z + p + 281 = z. Is z a multiple of 12?
False
Let r(l) = -l**2 + 8*l - 8. Let f = -4 - -10. Let a be r(f). Suppose -96 = -j + 2*m, 0 = -2*m + a*m + 4. Is 15 a factor of j?
False
Let p = 20 + -18. Let f be 6 - (5 + -1 - p). Suppose -39 = m - f*m. Does 13 divide m?
True
Suppose -6*k = -k. Suppose k = -7*a + 21 + 154. Is 25 a factor of a?
True
Let j(q) = 11*q**2 - 4*q + 5. Let v be j(3). Suppose -u + 92 + v = 0. Is 23 a factor of u?
True
Let s = -2 + 7. Let z = s - 3. Is (z + 0)*(-30)/(-4) a multiple of 5?
True
Let a(m) = m**2 + 6*m + 15. Is 14 a factor of a(18)?
False
Let j(r) be the second derivative of -r**4/12 - 4*r**3/3 + 23*r**2/2 - 3*r. Is j(-10) a multiple of 2?
False
Does 58 divide (58/(-7))/((-56)/14504)?
True
Let u(z) = 2*z**2 - 4*z + 12. Suppose -166 + 174 = k. Does 36 divide u(k)?
True
Suppose -4*z - 5*p = -2426, -3*z + 1660 = p - 154. Is z a multiple of 4?
True
Is 14 a factor of 63/(-147) - (2 + 479/(-7))?
False
Let g = -70 - -76. Let x = 47 - g. Does 6 divide x?
False
Suppose -457 = 5*b + 4*v, -5*b - 317 - 113 = -5*v. Let l = b + 125. Does 36 divide l?
True
Let r(k) = -k**3 - 2*k**2 + k - 2. Let o(x) = -2*x**2 + 2*x + 1. Let c be o(2). Let f be r(c). Suppose 16 = -4*l, -3*n + 28 = n + f*l. Is n a multiple of 9?
False
Suppose 0 = -l - 12 + 6. Let r(n) = -7*n - 26. Is r(l) a multiple of 8?
True
Let p = -1 + 4. Let k be p - (2 + -5)/3. Suppose 0 = -j + 35 - k. Is j a multiple of 8?
False
Suppose -708 - 1756 = -11*w. Is 16 a factor of w?
True
Suppose 0 = 5*a - i - 43, 0*a - 5*a = -5*i - 35. Let b(f) = f**2 - 4*f + 4. Is b(a) a multiple of 5?
False
Let v(h) = -2*h + 19. Let o be v(8). Let d(g) = 2*g**3 + 4*g**2 - 2*g - 1. Let k be d(o). Let s = -26 + k. Is 19 a factor of s?
True
Suppose 4*o = -6 + 18. Suppose 8*a = o*a + 125. Does 5 divide a?
True
Let o(c) = 39*c - 5. Let r be o(-4). Let g be (-2)/5 - r/(-35). Is 6 a factor of (18/g)/(30/(-100))?
True
Suppose -5*w + 7*w - 2*b = 904, 0 = -4*w + b + 1796. Is 14 a factor of w?
True
Let u = 9 + -9. Let v(k) = 2*k - 5*k - 4*k + u*k + 2. Does 16 divide v(-2)?
True
Suppose -4*a - 63 = 49. Is 14 a factor of ((-1)/(-2) - 1)*a?
True
Let p be (-5)/(20/94) - 3/2. Suppose s - 6*s = -195. Let y = s + p. Does 13 divide y?
False
Let k = 7 - 5. Suppose -2*n = k*d - 18, -4*n = 2*d - 25 - 3. Is 6 a factor of 67/d + 3/12?
False
Is (-11)/(-44) + 3454/8 a multiple of 54?
True
Suppose -74*s = -86*s + 18000. Does 30 divide s?
True
Let g(l) = l - 7. Let b be g(9). Let f be 42 + 1*(-6)/b. Suppose f = 3*v - 15. Does 13 divide v?
False
Let m(b) = -b**3 - 6*b**2 - b. Let z be m(-6). Let o be ((-6)/4)/(z/(-8)). Suppose 3*l + 26 = 7*l - 5*r, -o*l - 3*r = -24. Does 3 divide l?
True
Let g(w) = -w + 1. Let b(t) = -t + 5. Let u(r) = 3*b(r) - 12*g(r). Let s be u(3). Let i = 46 + s. Is 19 a factor of i?
True
Let p(g) = -6*g - 38. Let t be p(-22). Let h = 166 - t. Is 12 a factor of h?
True
Suppose g = f + 5, -4*g + 2*g - 4*f - 20 = 0. Suppose -4*r = -g*r + 40. Is 27 a factor of r/55 - (-1689)/33?
False
Let o be 1/((-36)/(-100)) - (-4)/18. Suppose 3*w - 12 = -o*r, w - r + 0*r - 8 = 0. Is 2 a factor of w?
True
Let q(o) = -3*o + 3*o - 4 - o - 9*o. Let t be q(3). Does 18 divide -1 - t - 3/(-1)?
True
Suppose 0 = -2*i - 3*j + 515, 182 = i + 2*j - 75. Is i a multiple of 37?
True
Does 11 divide (678/(-3))/(-3 - 6/(-3))?
False
Suppose -15*x + 117 + 93 = 0. Suppose 0 = 4*o - 14 - x. Is o a multiple of 7?
True
Suppose -4*w + 52 = 5*x - 83, -3*x + 2*w = -59. Suppose 20*l + 102 = x*l. Is l a multiple of 17?
True
Does 31 divide ((-74)/(-6))/(16/528) - 4?
True
Let r = 540 - 559. Suppose -132 = 2*z + z. Let o = r - z. Does 18 divide o?
False
Suppose 226 = 4*b + 818. Let y = -82 - b. Is y/(2 - 0) - 3 a multiple of 10?
True
Let u(p) be the third derivative of p**5/60 + 3*p**4/8 + p**3 + 2*p**2. Let j be u(-8). Is 3 a factor of ((-15)/j)/5*2?
True
Let o(l) = 44*l**2 - 4*l - 14. Is 13 a factor of o(-3)?
False
Suppose 0 = -6*g - 172 + 472. Does 43 divide g?
False
Suppose 1074 - 119 = 5*a. Suppose -916 = -5*j + 4*b - 2*b, 0 = j - 3*b - a. Is 14 a factor of j?
True
Suppose y + 19 = 2*o, 0 = -3*o - 2*o + 2*y + 47. Suppose 0 = o*a - 564 - 120. Does 7 divide a?
False
Let i(r) = r**3 + 5*r**2 - 8. Let f be i(-4). Suppose -f = 3*u - 62. Is 14 a factor of u?
False
Let y(k) = 52*k**2 - 677*k - 19. Is 50 a factor of y(17)?
True
Suppose 2*b = 3*b - 14. Suppose -3*r + b = 2. Suppose -r*l + 5*l - 60 = 0. Is l a multiple of 17?
False
Let b(n) = 4*n**2 - 10*n + 260. Does 12 divide b(33)?
False
Let r = -9 + 9. Let q be (-19 - 0)*(1 + r). Is (2 + 0)/(-2) - q a multiple of 4?
False
Suppose 2*n - 300 - 216 = 0. Suppose -z = 4*r - 86, -n = 4*z - 7*z + 2*r. Is z a multiple of 7?
False
Suppose -14 = 2*c - 98. Suppose -c*b + 45*b - 300 = 0. Is b a multiple of 20?
True
Suppose -b + 12 = 4*c, -b + 0*c + 4*c = -36. Suppose -5*o + b = -t - 2*t, 12 = -4*t. Is o a multiple of 2?
False
Suppose -15 = c - 6*l + l, 6 = 2*l. Suppose c = -2*q - q + 387. Suppose -3*j = 3*w - j - q, 2*w + j - 87 = 0. Is w a multiple of 15?
True
Let m(a) = a**3 + 5*a**2 - 1. Suppose 8*d - 15 = -4*u + 3*d, -2*d = 5*u - 23. Let s be (-12)/u - 4/(-10). Is m(s) a multiple of 2?
False
Let b = -35 - -41. Let n be b - (3 + -2 + -5). Does 13 divide ((-5)/2)/(n/(-220))?
False
Let c = -557 - -1408. Does 5 divide c?
False
Suppose 2*s - 747 - 1111 = 0. Does 36 divide s?
False
Let o = 971 + -396. Is o a multiple of 23?
True
Let h(p) = p**3 - 11*p**2 + 19*p - 4. Let a be h(9). Suppose -4*l = 20, 5*n - a*l = -2*l + 480. Does 12 divide n?
False
Suppose 5*a = -g - 108, -2*a - g - 48 = g. Let w = 25 + a. Does 4 divide w?
True
Let q(o) be the third derivative of o**4/2 + o**3/2 - 19*o**2. Is q(6) a multiple of 25?
True
Is 2 a factor of -5*(-10 + 3 + -6)?
False
Suppose 5*h - 285 = -5*d - 0*d, -5*d = -2*h + 135. Let x 