 5 divide (6/(-15))/(1/l)?
True
Let w(s) = -4*s. Let k be w(-2). Let j = 3 - k. Let c = j - -24. Is 8 a factor of c?
False
Let s be -12*(1 - (-10)/(-8)). Let y be (s - 1)/(2/22). Is 4 a factor of (12/6)/(4/y)?
False
Let u be (-6)/(-21) - 38/(-14). Suppose u*n = -n. Suppose n = 6*h - h - 105. Does 21 divide h?
True
Suppose -923 = -13*d + 897. Is -1*5*(-4)/(-10) + d a multiple of 22?
False
Let h be (21/(-2) + 2)/((-1)/32). Let t = -116 + h. Does 26 divide t?
True
Suppose -2067 - 1353 = -3*q. Is 76 a factor of q?
True
Let a = 295 - 48. Suppose 158 = -0*u + 2*u + h, 3*u - a = h. Is 14 a factor of u?
False
Let n(d) = -d**3 - 11*d**2 - 25*d - 21. Let m be n(-12). Suppose m + 1359 = 9*k. Does 18 divide k?
True
Let l be 9*((-32)/(-12))/8. Suppose 129 = 4*h + 3*u, 7*u - 119 = -4*h + 2*u. Suppose -n = l*n - h. Is n a multiple of 4?
False
Let f(s) = 2*s**2 - 3 - 4*s + s**3 - 4*s**2 - 2*s**2. Let d be f(5). Suppose 0 = x - d*x + 20. Is x a multiple of 20?
True
Let j = -218 - -258. Is 9 a factor of j?
False
Suppose 0 = -4*w + 6*w - 158. Let r = w + -31. Is 24 a factor of r?
True
Let f = -4188 + 6864. Does 18 divide f?
False
Is 9 a factor of (-29686)/(-12) + (-90)/(-540)?
False
Suppose -3*b + 288 = b. Does 24 divide b?
True
Let l = 2 - 0. Suppose d + l = p, -4*p + 13 = 4*d - 11. Suppose -3*q + 89 = d*x, -5*q + 7*x = 3*x - 185. Is q a multiple of 15?
False
Let f = -18 - -70. Suppose -4*p + 50 = -p - 5*z, 0 = 3*p - 4*z - f. Is 17 a factor of p?
False
Let h(x) = 7*x + 0*x + x**2 + x**2 + 5. Let q(w) = -w**3 - 4*w**2 - 3*w - 5. Let m be q(-3). Is 5 a factor of h(m)?
True
Let j(u) be the first derivative of u**2/2 + 10*u + 5. Let t be j(-9). Suppose -a + t = -5. Does 3 divide a?
True
Let k be (1 - -1)*(-2)/4. Is 17 a factor of 2 - (1 + (k - 100))?
True
Is 5 a factor of 387 + (-1 - 0 - 6)?
True
Let v(i) = i**2 - 4*i + 5. Let t be v(-5). Suppose 2*p + 3*p = t. Is 6/p - (-2254)/35 a multiple of 18?
False
Let q = -8 - -12. Suppose q*l + 0*w - 7 = w, l - 5*w + 22 = 0. Is 18 a factor of -31*(1/1 - l)?
False
Let d = -1920 + 2760. Is d a multiple of 20?
True
Is 3 a factor of (118/1*1 - -1) + 4?
True
Suppose -2*j - 40 = -3*j. Suppose 5*w = -j + 120. Is 7 a factor of w?
False
Suppose -4*r + 1 + 7 = 0. Suppose -14 = -5*s + r*k + 16, 24 = 4*s + 2*k. Suppose 3*h - 3 = s. Does 2 divide h?
False
Let z = -15 + 9. Does 4 divide 10 + z*(-1)/2?
False
Let t = -17 - -28. Let o(y) = 7*y - 24. Is o(t) a multiple of 8?
False
Let o = -417 + 594. Is 36 a factor of o?
False
Suppose -14*l + 3365 = -3285. Does 18 divide l?
False
Let a(c) = -5*c + 4. Let l be a(-3). Let m = 102 + l. Is m a multiple of 24?
False
Suppose -4*y - 858 = -u - 214, 5*y = -3*u + 1847. Does 48 divide u?
True
Let o = 3278 + 1188. Does 22 divide o?
True
Suppose 0 = 5*y - 2*a - 70, -46 = -4*y - a + 23. Does 2 divide y?
True
Let z = -1 - -6. Suppose 43 = -z*y + 258. Let a = y + -16. Does 9 divide a?
True
Let b(g) = 11*g**2 + 80*g - 46. Is b(-11) a multiple of 5?
True
Suppose -b - 5*r + 15 = 0, r + 28 - 5 = 5*b. Suppose -b*i - 3*m = 2 - 30, -5*i - 4*m = -29. Does 3 divide i?
False
Suppose 0 = 9*m + 10*m - 6479. Is m a multiple of 22?
False
Suppose -4*q = -q + 3*s + 171, 3*s + 289 = -5*q. Let k = 127 + q. Is k a multiple of 5?
False
Suppose 0 = v + 56 - 163. Does 5 divide v?
False
Let a(v) = -v**3 - 2*v**2 + 2*v - 2. Let b be a(-3). Let f = 55 - b. Is f a multiple of 9?
True
Suppose -29*y = 4*d - 26*y - 1590, 5*d - 5*y = 1970. Is 16 a factor of d?
False
Let v(b) = 2*b**2 - 3*b + 18. Let w be v(-6). Suppose d = -3, -2*q + 2*d - w = -4*q. Is 6 a factor of q?
False
Suppose 2*o + 5*r + 10 = 33, 2*o + r = 19. Suppose o*j - 1209 - 735 = 0. Does 36 divide j?
True
Suppose 3*q + 2*g - 214 = 44, 344 = 4*q + 4*g. Let c = q + 18. Is c a multiple of 26?
True
Suppose 2*i - 2*o + 398 = 0, -3*i + 4*o - 151 = 442. Let a = 324 + i. Does 21 divide a?
False
Suppose -2*p - 4*q + 12 = 0, 8*q = -3*p + 3*q + 17. Suppose -62 = -4*h - 5*n, -p*h + 0*n = -n - 50. Is h a multiple of 2?
False
Let c be (-5)/(-2)*8/10. Suppose c*n = 3*n. Suppose 0 = -2*m + u + 65, -3 + n = 3*u. Is m a multiple of 11?
False
Let x = -19 + 26. Suppose 469 = x*d - 84. Is d a multiple of 24?
False
Suppose 4*k + 1 = -u, -2*k - 5*u = -2 + 7. Suppose 2*z - 2 = k, 3*h - 22 = 2*h - z. Does 7 divide h?
True
Is (981/(-1))/(18/(-12)) a multiple of 11?
False
Suppose 2*m - 30 = -z - 0*z, 30 = z + 5*m. Suppose 0 = -3*o + 5*j + 48, -3*o + z = -0*j + j. Is o a multiple of 2?
False
Let r(i) = 4*i - 3. Let n be r(2). Suppose 165 = -4*m + 9*m + h, 0 = -n*m + 5*h + 135. Does 6 divide m?
False
Suppose -d + 42 = -5*f, -6*d - 5*f = -3*d - 46. Is -1 + d + 12/12 a multiple of 22?
True
Let g = -261 - -2185. Does 53 divide g?
False
Suppose -m = -w + 6*w - 12, -w + 8 = 3*m. Suppose r + 92 = 2*i, -2*i + w*r + 94 = -0*i. Suppose 0*j = -3*j + i. Is j a multiple of 9?
False
Let n(x) = -x**3 + 4*x**2 - 2*x - 1. Let z(u) = u - 7. Let s be z(9). Let p be n(s). Is 2 a factor of 4 + 12/p + 1?
False
Let b be 15/(-2)*(-2)/(-3). Let r(m) = m**3 + 4*m**2 - 6*m - 1. Let h be r(b). Suppose 102 - 14 = h*v. Is 22 a factor of v?
True
Let d(m) = -m**2 - 11*m + 3. Let b be d(-11). Suppose -39 = -l - b*l + 3*v, -2*l - 4*v + 14 = 0. Is l even?
False
Let w be 0 + 0*(-1)/2. Suppose -4*d + w*d = 4. Does 7 divide (-92)/8*(-1 + d)?
False
Let w = -20 - -23. Suppose 0 = -0*a + w*a - 12. Is a even?
True
Let d(p) = 149*p**3 - 3*p**2 + 2*p. Let z(a) = 3*a**2 - 2*a. Let s be z(1). Does 37 divide d(s)?
True
Suppose 132 = 3*a - 102. Let o = a - 51. Is o a multiple of 4?
False
Suppose 0*u - 5*r = -3*u + 1313, 2 = r. Is 2 a factor of u?
False
Let m = 7588 + -5364. Does 103 divide m?
False
Let w be (-6)/9 + 272/3. Is (w/(-25))/((-4)/50) a multiple of 11?
False
Let j = -268 - -441. Does 9 divide j?
False
Suppose -v + 170 + 132 = 0. Is v a multiple of 4?
False
Let p = 482 + -95. Is 43 a factor of p?
True
Let s(f) = f**2 - 6*f + 13. Suppose -2*c + 5*v + 70 = -c, -4*c - v + 175 = 0. Suppose -15 = 5*x - c. Does 7 divide s(x)?
False
Suppose -4*s - 20 = s, t = -3*s + 156. Is 4 a factor of t?
True
Is (-727)/(-6) - 441/378 a multiple of 13?
False
Let h = -588 - -868. Is 40 a factor of h?
True
Suppose -6*s - 1990 = -10*s - 2*k, -5*s - 5*k = -2475. Does 20 divide s?
True
Let a(z) = z + 3. Let u be a(-3). Suppose -12 = -3*f - i - 0*i, 5*f - 3*i - 34 = u. Suppose -2*b - 2*n = -26 - 32, f*b - 2*n = 138. Does 11 divide b?
False
Suppose 2*h = -6 + 16. Let x be (-3 - (-5 - -4))*h. Does 11 divide (-438)/x + 3/15?
True
Suppose -4*r = -2*r - 2*q - 14, -r = -5*q - 11. Is 16 a factor of (1845/27 - r) + (-4)/(-6)?
False
Let g(w) = -3*w - 10. Let h be g(-4). Suppose h*f = 10 + 38. Is f a multiple of 12?
True
Suppose 0 = -3*x, -2*m + 3*x = -0*m - 124. Suppose 8*y - 178 = m. Is 16 a factor of y?
False
Let s(l) = 12*l - 11. Let z be s(2). Suppose z*y + 68 = 17*y. Is y a multiple of 4?
False
Suppose -20*u - 6720 = -30*u. Suppose 3*p = 3*l + u, 2*l - 7*l = -p + 220. Does 14 divide p?
False
Suppose -2*o + 3*g = -1695, -4250 = -5*o - 3*g + 8*g. Is o a multiple of 45?
True
Let q = -27 + 37. Suppose q = 3*v - v. Suppose v*g - 172 = -2*t, 0*g = g + 5*t - 39. Is 17 a factor of g?
True
Is -5*16/(-24)*486/15 a multiple of 6?
True
Let p = -95 - -380. Does 15 divide p?
True
Let v(k) = k + 16. Let w be v(-14). Let a be 0 - 5/(-2)*w. Suppose 5*q + g = 49, 0 = 4*q + a*g - 4*g - 40. Is q a multiple of 9?
True
Let h = -590 + 1058. Does 26 divide h?
True
Suppose g + 3*g - 3*s - 285 = 0, 0 = 4*s - 20. Does 5 divide g?
True
Suppose -98 = -2*i + 2*r + 10, 4*r = -4*i + 184. Is 7 a factor of i?
False
Let p(g) be the third derivative of 7*g**4/12 - 4*g**3/3 + g**2. Let q be p(11). Suppose -3*j + 2*f = -120, -j + 5*j - q = -2*f. Is 19 a factor of j?
True
Suppose 4*h - 24 = -3*w + 7*w, 16 = -4*w. Suppose -h*n + 2*c - c + 173 = 0, 5*n = 4*c + 434. Is n a multiple of 5?
False
Let p = -1 + 5. Suppose p*x = 317 - 41. Is 23 a factor of x?
True
Is 53 a factor of (-6)/(-4) - (-1260)/8?
True
Does 13 divide (74688/(-12))/(-4) - 9?
True
Suppose 8*u - 17 = 15. Suppose -802 = -u*z - 122. Is z a multiple of 8?
False
Let p(h) = -5*h + 11. Let j be p(12). Let y = 91 - j. Does 14 divide y?
True
Let c(u) = u**2 + 2*u - 6. Let k be c(4). Let f(m) = -2*m**2 + 37*m - 32. Let a be f(18). Let j = a + k. Is