se
Suppose 55*c - 60*c + h = -24702, 0 = -h - 2. Is 52 a factor of c?
True
Let y(w) = w**3 - 10*w**2 + 41*w - 55. Is 65 a factor of y(17)?
True
Suppose -3*u - k + 71 = -24, 5*u - 169 = k. Suppose u*h = 38*h - 745. Let m = h - -45. Is 13 a factor of m?
False
Let q(y) = -195*y + 43. Suppose 15 = -18*g - 129. Is q(g) a multiple of 107?
False
Let x = -10139 - -14576. Is x a multiple of 14?
False
Suppose -4*n - 78 = 554. Let q = n + 442. Suppose -441 = -5*k + q. Does 29 divide k?
True
Suppose -4*r + 5*u - 1 = 4, -4*u = 5*r - 45. Suppose -1656 = -4*f - 0*f. Suppose -99 = r*l - f. Is l a multiple of 7?
True
Let b be 2208/56 + 16/28. Suppose -3*f - 67 = -2*y, 3*f - b - 7 = -y. Is y a multiple of 2?
True
Let l = -316 + 165. Let g = 696 + l. Is g a multiple of 15?
False
Let g(w) = -33*w**3 + 7*w**2 + 5*w + 13. Suppose -2*m - 5*u = -14, 20*m + 4*u = 15*m + 1. Does 44 divide g(m)?
False
Is -188*(6867/(-14))/9 a multiple of 47?
True
Let s = -777 + 777. Suppose s = -16*g + 10*g + 1944. Is 36 a factor of g?
True
Suppose -61*j - 23738 = -74*j. Is j a multiple of 83?
True
Let x = 2907 + 3625. Is x a multiple of 71?
True
Suppose -69527 = -3*p + 2*t + 69201, 5*t = 10. Is p a multiple of 34?
False
Let w(a) = -289*a - 951. Is w(-45) a multiple of 12?
False
Let s = 69 + 7. Suppose -5*l + 1015 = -5*i, -7*l + 6*l + 2*i = -198. Suppose 3*d - l = -s. Does 29 divide d?
False
Let q(j) = 581*j - 279. Is q(8) a multiple of 17?
True
Let d(r) = 5*r**2 + 3*r - 27. Let n(t) = 4*t**2 + 4*t - 25. Let j(q) = 3*d(q) - 4*n(q). Is 3 a factor of j(-8)?
False
Suppose 0 = -a - 3*n + 2958, -3*a + 11948 - 3053 = 2*n. Does 43 divide a?
True
Suppose -16906 = -22*j + 21157 + 25517. Is 6 a factor of j?
False
Let u be (13 + -12)/(1/(-79)). Let k = u + 85. Is 12 a factor of ((-324)/90)/(k/(-200))?
True
Let g(d) = -d - 49. Let b be g(-25). Let k = -18 - b. Suppose k*z - 336 = -2*z. Does 16 divide z?
False
Suppose 2*m = -0 - 6. Let s be 2 - (-1 - m) - -42. Let k = 10 + s. Does 12 divide k?
False
Suppose 318*r - 353*r = -67165. Is 3 a factor of r?
False
Suppose -84*q + 40*q + 40*q = 0. Suppose q*k - 3*k = 3*x - 2631, 0 = -x + 4*k + 892. Does 40 divide x?
True
Let j = 46047 + -68157. Suppose -3*p = 4*a - 50, p + 2*a = -11 + 31. Is (j/25)/(-6) + (-4)/p a multiple of 49?
True
Suppose r + r = -5*u + 20, 0 = -4*u + 3*r + 39. Is (-12)/(-8)*(42 + u) a multiple of 5?
False
Let t = 431 - 438. Let o(q) = -q**3 - 2*q**2 + 5*q + 6. Does 12 divide o(t)?
True
Suppose w + 1 = -2*i, w + 10*i = 5*i - 13. Let h(y) = 2*y**3 + 6*y**2 + 10*y + 18. Is h(w) a multiple of 15?
False
Let f(x) = -1. Let v(z) = 9*z + 12. Let q(m) = -15*f(m) - v(m). Let h be q(-11). Suppose -3*y = -9*y + h. Is 12 a factor of y?
False
Suppose -1450*b + 1440*b = -3150. Does 27 divide b?
False
Let n be (1 - 7581/24) + 10/(-80). Let y = n + 381. Is y a multiple of 11?
True
Suppose 5*v + 3899 = 2*l - 0*v, 4*l + 4*v - 7700 = 0. Is 46 a factor of l?
True
Let c(t) = -4*t**3 - 3*t**2 - 4*t - 4. Suppose -2*j - 4*w = -j + 18, -3*j + 3*w = -6. Is c(j) a multiple of 6?
True
Suppose -38820 = -y - 12*i + 16*i, y - 38826 = -2*i. Is y a multiple of 23?
True
Let n be 3/(5*(-12)/(-9160)). Suppose 2*r - n = -5*b, -4*r - 23*b + 892 = -19*b. Is r a multiple of 10?
False
Let n = 1016 - -1848. Does 35 divide n?
False
Let a be 2/11 + (-2 - 159/(-33)). Let x be 938/6 + (-3)/27*a. Suppose -4*c + 3*j + x = 0, 4*c - 160 = 4*j - 0*j. Is 9 a factor of c?
True
Let c(f) = 3*f + 50. Let x be c(-16). Suppose 4 = x*q - 5*l, -2*q - 3*q - 4*l + 10 = 0. Suppose n - 172 = -3*n + 4*s, -q*n + s = -81. Does 6 divide n?
False
Let n(k) = -4*k**3 + 7*k**2 - 8*k - 19. Let l be n(-6). Suppose -3*z - 224 = -r + z, -l = -5*r - 5*z. Is 12 a factor of r?
True
Let x = 6886 - 1160. Is x a multiple of 127?
False
Suppose -p + 614 = 2*k - 391, -p = -5*k + 2509. Let u = 1002 - k. Does 20 divide u?
True
Suppose 61*z = -90*z + 200226. Is z a multiple of 39?
True
Let z(r) = 8*r + 3263 + 4*r**2 - 3330 + 14*r**2. Does 9 divide z(5)?
True
Let u(g) = 31*g**2 - 73*g - 10. Does 10 divide u(5)?
True
Is 1148 - (0/3 - (-18)/18) a multiple of 90?
False
Let s be (66/(-15))/(2/(-10)). Suppose -95*w = -102*w - 105. Let u = s + w. Is u a multiple of 2?
False
Suppose o - 6 = -5*p, -p + 25 = 4*o - 37. Suppose 21600 = -o*f + 34*f. Is f a multiple of 30?
True
Suppose -21749 = -14*q + 7231. Let a = 3158 - q. Is 34 a factor of a?
True
Suppose -10 = -7*u + 5*u. Suppose -u*w - 6*w + 55 = 0. Suppose -w*o = -2*z - 281, 4*o + 2*z - 208 = -2*z. Is o a multiple of 22?
False
Let q(n) = -n**2 - 27*n - 48. Let g be q(-25). Suppose 504 = h + 3*z, -16*h + 17*h = -g*z + 504. Does 9 divide h?
True
Let j = -129 + 135. Let u(o) = -85 + 83 + 41 - j*o. Is u(-8) a multiple of 11?
False
Suppose 2 = -2*x, -6*x = 3*w - 4*x - 181. Let p = 89 - w. Suppose 0 = -y - 4*m + p, 2 = 5*m - 3. Is 8 a factor of y?
True
Let b be (1 + 0)/(14/(-69678)*-9). Suppose p + 4*n - 548 = 0, b = p + 58*n - 59*n. Is 12 a factor of p?
True
Let o = -34236 + 77652. Is 274 a factor of o?
False
Suppose 446*m = 452*m - 9906. Is 3 a factor of m?
False
Let y(h) = 4645*h + 195. Is y(2) a multiple of 10?
False
Let t(q) = -5*q - 1 + 3*q**3 + 2*q - 4*q. Suppose 0 = -18*l + 11*l - 75*l + 246. Is t(l) a multiple of 15?
False
Let m(w) = w + 3. Let v(z) = -4*z + 24. Let q be v(6). Let t be m(q). Does 12 divide (-6*(-36)/(-32))/(t/(-16))?
True
Let j be (-1)/((-4)/48*3). Suppose 0 = 4*n + 3*n - j*n. Suppose 3*o = -4*g + 111, -2*o - 1 - 5 = n. Does 4 divide g?
False
Let w be (1 + -9)*24/(-32). Let s be 322/69 - 10/w. Suppose -l = -0*l + s*x - 25, 0 = -l + 3*x + 7. Is l a multiple of 5?
False
Suppose 0 = -o + 8 - 5. Suppose o*w = -v - 6 - 1, 0 = v + 1. Is 14*(-5)/w*(-288)/(-140) a multiple of 6?
True
Let n(s) = 7469*s**2 + 45*s - 12. Is 17 a factor of n(2)?
True
Suppose 4*g - 1508 = -f + 9*g, -5*g - 10 = 0. Suppose -3*o = -4*t - f, -5*o - 2*t + 358 = -2182. Is o a multiple of 22?
True
Suppose 35 = 4*k + 3*w, -5*k + 50 = 23*w - 18*w. Suppose -4421 = -4*s + 72*j - 73*j, -3*s = -k*j - 3287. Does 75 divide s?
False
Let d be (-7 - 116/(-24))*-1158. Suppose -10*n + 871 = -d. Is 13 a factor of n?
True
Suppose -67 = -7*d - 25. Let f(z) = 18*z**2 - 89*z - 11. Is f(d) a multiple of 4?
False
Let k = 14273 - 11605. Is 3 a factor of k?
False
Suppose -2*i + 0 = -8. Suppose -3*d + 6 = 0, 0 = -4*p - i*d - 0*d + 1808. Suppose 7*h = 54 + p. Is h a multiple of 18?
True
Suppose -228*o + 1106508 + 1572671 + 1562305 = 0. Does 104 divide o?
False
Let p = 763 - 760. Suppose 2*h - 4*l - 80 = 0, 2*h + 3*h - 5*l = 195. Suppose -h = -p*k - 4*d, -k - k = d - 17. Does 2 divide k?
True
Suppose 0 = 5*p - 3*p - 2*l - 192, -p - l = -88. Suppose -a = -3*a + p. Is a a multiple of 4?
False
Let o(t) = 64*t + 666. Does 10 divide o(9)?
False
Suppose 1162 = 3*x + 2*z, x + 2*x = 3*z + 1167. Is 97/x + (1 - (-503)/4) a multiple of 13?
False
Let r = -28 - -60. Let n = 13 + r. Does 9 divide n?
True
Suppose 2*x = -v + 33, 7*x + v = 3*x + 61. Suppose -3*l = 5*b - 320, -4*l + x*b + 450 = 9*b. Is 8 a factor of l?
False
Suppose -2*k + 1567 + 5616 = 9*k. Does 55 divide k?
False
Let k(n) be the second derivative of n**6/120 - n**5/60 + n**4/3 - 5*n**3/6 - 3*n**2/2 - 21*n. Let c(q) be the first derivative of k(q). Is 27 a factor of c(5)?
True
Let i(q) = -6*q**3 + 20*q**3 + 5 + 2*q - 7*q**3 + 5*q**2 - 8*q**3. Let r be i(5). Suppose 45 = 5*o + r. Is o even?
True
Let q = 23304 - 17508. Does 3 divide q?
True
Let i(b) = -b**3 - 7*b**2 + 11*b - 11. Let x be i(-9). Let j = x - 52. Suppose 5*h + 30 = s - j*h, -3*s + 5 = 2*h. Is s a multiple of 5?
True
Let g = 289423 + -198185. Is 14 a factor of g?
True
Let f = 190 - 173. Is 314240/680 + (-2)/f a multiple of 42?
True
Suppose -24313 = -3*u + 10535. Let b be (u/144)/((-4)/(-30) + 0). Does 29 divide b/6 + -6 + 37/6?
False
Suppose x - 294 = 3*h, 2*x + h + h - 556 = 0. Suppose -o - x = -21. Let j = o - -441. Is j a multiple of 36?
True
Let o be (-9)/(1 + 30/(-25)). Let y be 5/(o/(-3))*15. Is 13 a factor of -2 + 1002/8 - y/(-20)?
False
Suppose 57*n + 74218 - 191251 = 275184. Is n a multiple of 7?
True
Suppose -12522 = -f + 5*q, 2*q - 4638 = -f + 7863. Does 33 divide f?
True
Let x(j) = 2*j**2 - 16*j + 14. Let k be x(7). Is 76 a factor of 238 - 10 - k/3?
True
Let g be ((-3)/((-3)/52))/((-8)/348). Is 