= j - 21. Is w a multiple of 9?
True
Suppose -35 = -5*g - 10, t - g - 372 = 0. Is t a multiple of 29?
True
Let b(j) = 13*j**2 - j. Let l be b(-1). Let g be (l/(-6))/(5/15). Let c(n) = n**2 + 3*n + 7. Does 7 divide c(g)?
True
Suppose 5*m - 520 = -5*h - 0*m, 16 = -4*m. Is h a multiple of 27?
True
Let v(k) = 5*k**2 + 24*k - 5. Is 57 a factor of v(14)?
True
Suppose -19*w + 188 + 572 = 0. Is 20 a factor of w?
True
Let n be 2 - -5 - 12/4. Let v(f) = 1 - 3*f - n - 3. Is v(-6) a multiple of 8?
False
Let a = -5 + 9. Suppose u + 57 = 4*s + a*u, s - 18 = -2*u. Is 6 a factor of s?
True
Let j(z) = 3*z - 23. Let s be j(7). Let w = s - -39. Is 12 a factor of w?
False
Suppose -s + 1 + 4 = 0. Suppose -7*n + 4*d + 476 = -s*n, -2*d + 962 = 4*n. Does 16 divide n?
True
Let m(c) = -37*c**3 - 5*c - 3. Let p(u) = -56*u**3 - 8*u - 5. Let r(j) = 8*m(j) - 5*p(j). Suppose i = -2 + 1. Is r(i) a multiple of 4?
False
Suppose 3*r - 3 = -4*y + 5, 5*r = -5*y + 15. Suppose -4*o - 315 = 5*a - 3*o, 0 = -4*o + 20. Does 13 divide a/((-3)/y + -5)?
False
Let c = 8 + -12. Let y be (0 - -5) + 2 + c. Suppose w + 3*v - 14 = 4*v, y*w - 54 = -3*v. Does 8 divide w?
True
Suppose -29*k = 5*k - 68. Let c(n) = 2*n + 6. Let h be c(-4). Is k*h + (-315)/(-9) a multiple of 20?
False
Is 17 a factor of 10/((-100)/(-6005))*2?
False
Suppose 155*p - 2155 = 150*p. Does 20 divide p?
False
Let y = 126 - -96. Does 6 divide y?
True
Is 13 a factor of ((-31735)/(-30) - 6) + 1/6?
False
Suppose -g - 4*n - 284 = 0, 4*g - 5*n + 2*n + 1212 = 0. Does 2 divide g/(-16) + 6/(-8)?
True
Suppose -41*n - 1820 = -61*n. Is n a multiple of 10?
False
Suppose -3*n + 3 = 0, 3*r + 0*n - 2*n = 97. Suppose r + 12 = 3*s. Is 5 a factor of s?
True
Let y = 44 + 28. Is y a multiple of 24?
True
Suppose i - 18 = -11. Suppose i*f - 6*f = 19. Does 19 divide f?
True
Let f = 796 + 51. Is 7 a factor of f?
True
Suppose u - 2*i = i + 11, 4*i + 20 = 4*u. Let b = 2 - u. Is 4*(b + (-9)/(-2)) a multiple of 9?
True
Let f = -21 - -35. Suppose 2*t + 6 = f. Suppose t*w + 50 = 138. Is w a multiple of 5?
False
Let x = 15 - 12. Suppose 0 = x*j + 2*c - 66, c + 11 + 77 = 4*j. Suppose -330 = -27*m + j*m. Is m a multiple of 32?
False
Let y be 24/(-32)*16/(-6). Suppose -y*u - 2*j = j - 510, 3*u + 5*j = 766. Suppose 2*w = 2*m + 40 + 62, -5*w + 2*m = -u. Is 12 a factor of w?
False
Let w = 166 - -24. Does 8 divide w?
False
Let h = -93 - -95. Suppose p = -3*g + 185, h*g - 62 - 43 = 3*p. Is g a multiple of 10?
True
Suppose 4*n - 4*w = 4, 5*n - 11 = w - 2. Suppose 0*r + 4*x - 925 = -5*r, -5*r = -2*x - 925. Suppose n*i - r = -3*i. Is i a multiple of 11?
False
Is 5 a factor of 5896/20 + (1 - (-8)/(-10))?
True
Let t(o) = -o**3 + o**2 + o + 14. Let w be (-3)/(((-63)/30)/(-7)). Let a(y) = -y**3 - 10*y**2. Let f be a(w). Is 7 a factor of t(f)?
True
Suppose 47 = 5*t - 428. Let p = t - 66. Does 8 divide p?
False
Suppose -2*o = -4*o. Suppose 4*p - 28 = -4*c, -p + 2*c - 8 = -o*p. Does 14 divide 2*(-236)/(-16)*p?
False
Suppose -5*p + 2*p = 6. Let v = p + -1. Let c = v + 18. Is c a multiple of 9?
False
Suppose 6*d - 936 = -264. Suppose 5*p = -4*l + 140, -4*p - l - 3*l + d = 0. Suppose -50 = -3*k + p. Is 13 a factor of k?
True
Is 9 a factor of (-2601)/(-3) + 8 + -9 + -2?
True
Let i(z) = -198*z - 591. Does 33 divide i(-7)?
False
Let c = 194 - -36. Suppose c = 4*p - 5*t, 2*p - 4*p - 3*t = -126. Is 10 a factor of p?
True
Is 3597*(-9)/(-27)*3 a multiple of 11?
True
Suppose 299 = -11*b - 339. Let a = b + 98. Is a a multiple of 10?
True
Does 3 divide (-12)/216*-246 + (-2)/(-6)?
False
Is (-7)/(-35) - 179/(-5) a multiple of 18?
True
Let y = -111 - -138. Is y a multiple of 2?
False
Suppose 2*u = -3*y + 17, -2*u = -2*y - 2*y + 4. Suppose -4*o - 4*v = 7319 - 1991, 0 = -y*o + v - 4016. Does 15 divide o/(-49) + (-2)/7?
False
Let r = 152 - 98. Is r a multiple of 14?
False
Let d(w) = -w**2 - w - 1. Let r(n) = n**3 - 13*n**2 - 13*n - 18. Let f(m) = -d(m) + r(m). Let h be f(13). Is (0 - (5 + h))*-14 a multiple of 3?
False
Suppose 0 = -2*l + 4*a + 10, 0 = l + 3*a - 2 - 3. Suppose -2*g + 9 = 2*h - 1, -l*g - 15 = 0. Suppose 2*q = -h, -2*q + 142 = 2*f + 3*f. Is f a multiple of 30?
True
Let f(w) = -w**2 - 6*w - 24. Let n be f(7). Let v = n + 206. Is 22 a factor of v?
False
Let m(c) = 43*c - 8. Let g be m(10). Suppose 4*v - 2*h + 6*h = 316, -g = -5*v + 4*h. Suppose -i - 39 = -u, 0 = 2*u - 5*i - v - 5. Is u a multiple of 12?
True
Let l(d) = -d**2 - 38*d + 664. Is l(-42) a multiple of 31?
True
Suppose -13*c + 18*c - 3400 = 0. Is c a multiple of 8?
True
Suppose 4*r - 1846 = -6*f, -2*r + 689 + 541 = 4*f. Is 25 a factor of f?
False
Suppose -2*r = 3*r - 880. Let z = 309 - r. Is 21 a factor of z?
False
Let t(l) = 3*l**3 - l**2 - 16*l + 27. Is t(4) a multiple of 26?
False
Let y(k) = k**2 + 11 + 6*k**2 - 9*k - 5*k**2 + k**3 - 6*k**2. Is 5 a factor of y(6)?
False
Suppose -3*c + 7529 - 1268 = -3*n, 3*n = 9. Is c a multiple of 22?
True
Let r = -6 - -9. Let d be ((-1)/r)/(1/(-15)). Suppose d*l - 76 = 84. Does 8 divide l?
True
Suppose 2*d = -4 + 12. Suppose 0 = -d*x - o + 54, -4*x + 88 = -o + 30. Is x a multiple of 7?
True
Suppose 0 = -215*s + 210*s + 30. Is s a multiple of 6?
True
Suppose 37*q - 36 = 36*q. Let r = -23 + q. Is 2 a factor of r?
False
Suppose 5*m = -25, 2*m = -5*k - 0*m + 570. Suppose -29*a + 28*a + k = 0. Is a a multiple of 29?
True
Suppose 458 = 5*m + 128. Suppose 0 = -3*a + a + m. Is a a multiple of 4?
False
Suppose -4*s + 562 = 9*f - 8*f, 2*s - 2234 = -4*f. Is f a multiple of 4?
False
Let h(u) be the second derivative of -u**4/12 + 2*u**3/3 - 2*u**2 - 12*u. Let z be h(0). Is z - -6 - (-22 + 4) a multiple of 7?
False
Suppose a + i = -i + 12, 0 = 4*a + 4*i - 32. Let r(f) = f**3 - 4*f**2 - 5*f + 10. Let y be r(a). Is (-24)/y*110/3 a multiple of 13?
False
Let q(s) = s**2 - 10*s - 20. Let v(d) = -2*d**2 - 19*d + 5. Let j be v(-9). Is 21 a factor of q(j)?
False
Is 63/168 - (-1)/(8/61) a multiple of 8?
True
Suppose -2*s + 4 = -0. Suppose -3*b + 9 = -w, -s*b - 4*w = 1 - 7. Is (0 - 1)/((-1)/b) a multiple of 3?
True
Let t be ((-75)/(-10))/((-1)/(-2)). Does 9 divide ((-288)/54)/((-2)/t)?
False
Suppose 4*g = -4*y + 3064, -6*g - 2*y + 67 = -4537. Is 8 a factor of g?
True
Let z(h) = -h**2 + 4*h + 6. Let n be z(4). Is 2 a factor of n/1*(-40)/(-16)?
False
Suppose 2*x - j + 9 = 2*j, 0 = 3*x + 5*j - 15. Let v(u) = x*u**2 + u**2 - 8 + u + 2 - 3. Does 14 divide v(-7)?
False
Let b be 12/6 + 4/2. Is 4 - (2/b + (-161)/2) a multiple of 28?
True
Suppose -3*u - 8*u = -14091. Does 61 divide u?
True
Let r be 322/(-6) - (-1)/(-3). Let s be r/15 - (-6)/(-15). Is 8 a factor of (4 + -78)/(s/2)?
False
Let q(h) be the third derivative of -23*h**6/120 + h**5/60 + h**4/24 + h**3/6 - h**2. Let x be q(-2). Let d = x - 119. Does 26 divide d?
False
Suppose 12*i - 5*i = 14777. Is 12 a factor of i?
False
Does 17 divide (2923 - 10) + (-8)/2?
False
Suppose 6*p + 209 = 59. Let n be ((-12)/5)/((-5)/p). Let d = 2 - n. Is d a multiple of 3?
False
Suppose -3*q = 9, 12 = 56*c - 53*c + q. Is c a multiple of 5?
True
Let o = 1277 - 1037. Is 4 a factor of o?
True
Let v(p) = 13*p**2 + 13. Is 26 a factor of v(5)?
True
Suppose 0*u - u = 3*x + 58, 2*u - 74 = 4*x. Let o = 26 + -59. Let y = x - o. Is 14 a factor of y?
True
Let s = 555 - 363. Let m = s + -133. Is m a multiple of 3?
False
Suppose 20*m - 3 = 21*m. Is (7 - -48) + m + 0 a multiple of 13?
True
Does 29 divide ((-12)/(-5))/3 + (-103293)/(-115)?
True
Suppose -5*o = -26 + 31, 0 = -5*b - 2*o + 1473. Is 19 a factor of b?
False
Let a(p) = -8*p**2 - 4*p - 4. Let g be a(4). Let y = -21 - g. Suppose 2*h + 3*x - y = 0, -44 = -h - x + 18. Does 21 divide h?
False
Is 47 a factor of 426/1 - (2 - -1)?
True
Suppose 5*m + 9 + 11 = -4*s, m + 3*s + 4 = 0. Suppose 5*h = -2*y - 38, y - 20 = 3*y - 4*h. Let v = m - y. Is 7 a factor of v?
False
Let t(u) = 2*u + 40. Let c be t(-19). Suppose -c*f = -8*f + 660. Is 11 a factor of f?
True
Suppose -3*t + 3*z + 72 = -0, 3*t - 44 = -4*z. Let v = 5 - 5. Suppose v*q = q - t. Does 20 divide q?
True
Suppose 0 = 9*j - 696 - 456. Does 4 divide j?
True
Let u be (11 - 3)*(-2)/(-4). Let k be (-2)/((32/12)/(-4)). Suppose o - v = -4*o + 181, -u*o - k*v = -141. Is 9 a factor of o?
True
Is ((-9)/(-27))/((-1)/(-303)) a multiple of 11?
False
Let t be 5 + 1 - 0/(-15). Is 24 a factor of 8/