= 0. Is 13 a factor of d?
False
Let h = 4543 - 3045. Suppose 3*l = -5*o + 1878, 0 = 4*o + l - 3*l - h. Is 3 a factor of o?
True
Does 35 divide (-14)/8*(17 - 21) - (1 - 9834)?
False
Let j be (15 + 5)/(-4) + 18/3. Does 38 divide (-92)/j*141/(-94)?
False
Let y be ((-12)/(-42))/((-3)/21*-1). Suppose y*u + 432 = 13*c - 12*c, -5*c + 4*u + 2160 = 0. Does 36 divide c?
True
Let g = -3515 + 3733. Does 37 divide g?
False
Suppose 0 = 4*d - 2*u - 374, 3*d = 8*d + 5*u - 430. Let q = -28 + d. Does 9 divide q?
True
Let i(a) = 5*a + 12. Let t(o) = -5*o - 12. Let c(b) = -6*i(b) - 5*t(b). Let s be c(-8). Is 14 a factor of (s/(-6))/((17/6)/(-17))?
True
Suppose 798 = 5*t + b, -3*t = -4*b - 31 - 457. Let c = 632 + t. Is 24 a factor of c?
True
Let b(i) = 18*i**3 - 7*i**2 - 10*i + 18. Let l(n) = -17*n**3 + 6*n**2 + 11*n - 16. Let x(v) = -5*b(v) - 6*l(v). Is 22 a factor of x(4)?
False
Let x = 116 - 115. Let s be x/6 - (-435)/90. Suppose -s*g = 4*v - 42, 6*g = 4*v + 2*g - 24. Does 2 divide v?
True
Let k(y) = -13913*y + 2141. Is 46 a factor of k(-2)?
False
Let y = 3 - 13. Let f be (-10140)/8*24/y. Is 24 a factor of 9/6 - f/(-12)?
False
Suppose 0 = -4*t, -t = -3*l + l + 28. Suppose -6*c = -l + 2. Suppose 5*s = 5*d + 530, s + c*s - 322 = -d. Does 13 divide s?
False
Suppose -6*q + 1355 = -q. Suppose -3*o + k = 511, 3*k = 2*k + 4. Let j = q + o. Is 17 a factor of j?
True
Let f = 706 + -502. Let o = f - 128. Is o a multiple of 38?
True
Suppose -5*w + 2*z = -10, -3*w + 4*w - z - 5 = 0. Suppose w = 11*c - 1 - 76. Is c a multiple of 7?
True
Let i = -14344 - -20579. Is i a multiple of 120?
False
Suppose -3*r = 2 + 10, -r = 4*h + 28. Does 43 divide 4 + (-855)/h + 3/(-6)?
False
Let f = 25712 + -3145. Is 7 a factor of f?
False
Let r = 12107 - -42739. Is r a multiple of 13?
False
Suppose -4*f + 6 = -3*t - 0*f, 2*f - 8 = -t. Suppose a + t = 5. Suppose -3*n + 571 = 2*v, -a*v - 958 = -3*n - 2*n. Is n a multiple of 19?
False
Suppose 3*l - 18 = 6*l + 3*f, -3*f = -4*l - 24. Is -10*(l - 73)*1 a multiple of 40?
False
Suppose -5*p - 131083 = 74682. Let j be (-2)/14 - p/(-49). Is 22 a factor of 1 + (j/(-22) - 2/11)?
False
Let k(x) = -11101*x + 1109. Is 14 a factor of k(-3)?
True
Let v(k) = 46*k - 382. Does 19 divide v(30)?
False
Let j = -2033 + 9471. Is 149 a factor of j?
False
Let r be -1 - (-2)/(-1) - (3 + -12). Suppose -5*i = 4*x - 166, 3*i - 7*x = -r*x + 103. Is i a multiple of 7?
False
Let m be (0 + 1238)*(-16)/32. Is 6 a factor of (-72)/(-288) - (-1 - m/(-4))?
True
Let b be (-6)/10 + 441518/305. Suppose 5*z - 4*v - 1213 = b, -2*v - 2122 = -4*z. Is 21 a factor of z?
False
Suppose -20*y + 12*y + 24 = 0. Let q(n) = n**2 + 8*n + 10. Let c be q(-7). Suppose -g + y*g = 5*z + 35, c*z + 97 = 5*g. Is g a multiple of 10?
True
Let k = -285 - -412. Let i = k - 119. Suppose i*y = -9*y + 119. Is y a multiple of 5?
False
Let w(q) = 7*q + 43. Let t be w(-5). Suppose 10*x - t = 192. Does 2 divide x?
True
Suppose -3*r - 5*r = -40. Suppose r*z = -4*c + 349, -61 = -c - 2*z + 30. Does 22 divide c?
False
Suppose -6*k + 4*k + 202 = -5*v, 2*v + 5*k + 75 = 0. Suppose -3*a + 2*a = 47. Let l = v - a. Does 4 divide l?
False
Let r = 237 + -160. Suppose 19 = 3*n - r. Is 16 a factor of n?
True
Suppose -984 = 10*o + 46. Let n = -86 - o. Is 9 a factor of n?
False
Suppose 159739 = 35*v - 443591. Is v a multiple of 51?
True
Let b(u) = u**2 + 39*u - 15 + 41*u - 94*u. Let z be b(13). Let x = z - -48. Does 5 divide x?
True
Does 14 divide (((-132)/27)/((-1)/3))/((-442)/(-317577))?
False
Let b(x) = -146*x**3 + 16*x**2 + 91*x + 59. Does 55 divide b(-6)?
True
Is -15 - 4617/(-297) - 1265494/(-22) a multiple of 41?
True
Let x be (-1590)/(-2) + -18 + 5 + 8. Let p = x + -230. Is p a multiple of 20?
True
Suppose 0 = -224*p + 215*p + 49104. Is 68 a factor of p?
False
Let x = 9 - -8. Let c(k) = -k**2 - 18*k. Let j(r) = r**2 - r. Let s(f) = -c(f) - 2*j(f). Does 5 divide s(x)?
False
Let l(z) = -z**2 - z**2 + 13 + 407*z - 319*z. Is 81 a factor of l(18)?
False
Let z(x) = 28*x - 142. Let w be z(24). Let v = w + 86. Does 11 divide v?
True
Let r(i) = i**3 + 28*i**2 + 21*i + 418. Is r(-18) a multiple of 8?
True
Let r(k) = 3327*k - 14. Is 81 a factor of r(2)?
False
Let a = 208 - 104. Suppose -l = 0, -3*l - a = -4*s + 192. Let x = s - 43. Does 6 divide x?
False
Let q(h) be the third derivative of 5*h**4/24 + 10*h**2. Let n be q(1). Suppose -2*o - g + 32 = g, -g + 84 = n*o. Is 8 a factor of o?
False
Let z be (-83725)/(-170)*-1*4*-1. Let s = z + -1316. Does 15 divide s?
False
Let m(z) = -z**3 + 7*z**2 + 7*z + 13. Let o be m(8). Suppose 4*i - 2*i - 17 = -3*g, 70 = o*i + 2*g. Is (-422)/(-4) + (-24)/i a multiple of 24?
False
Suppose -3*l + 14 = 29, 5*f + 2*l = 33030. Does 14 divide f?
True
Let s(m) = -m**3 + 3*m**2 + 39*m + 10. Is s(-8) a multiple of 6?
True
Let d(s) be the second derivative of 19*s**4/4 - s**3/3 + s**2/2 - 29*s. Let n be d(2). Suppose -n = -3*h + z, -2*h + 4*z = -127 - 13. Does 19 divide h?
True
Suppose 2*t = 5*k - 2932, -k - 5*t = -2*t - 600. Let w be ((-54)/(-21))/(18/k). Suppose 5*r - 7*r = -w. Is r a multiple of 6?
True
Suppose -4361 = -11*j + 2190 - 1887. Does 51 divide j?
False
Let s(p) be the first derivative of p**3/3 - 15*p**2/2 + 23*p - 29. Let g be s(14). Suppose -1656 = -g*t + t. Is 9 a factor of t?
True
Does 23 divide (80 + -59)*1493/3?
False
Suppose 0 = -2*m - 4, 20*q - 7535 = 17*q - 5*m. Suppose -q - 1325 = -24*b. Is b a multiple of 10?
True
Let o(c) = 3*c - 4. Let t be o(4). Suppose -5*r = -s - 56, -r + 4*s + 16 = -s. Suppose 9*b - r = t*b. Is 11 a factor of b?
True
Let a = 15333 + -10293. Is 280 a factor of a?
True
Let g(n) be the second derivative of n**5/20 + 11*n**4/6 + 17*n**3/6 - 21*n**2/2 + 24*n. Let k be g(-21). Does 3 divide 777/k + 8/(-6)?
False
Suppose 6900 = 5*f - 5*r, 172*r + 28 = 168*r. Is f a multiple of 8?
False
Is 10 a factor of (-12)/(-72) + (-350570)/(-60)?
False
Let u(w) = 11 + w**2 - 4*w + 16 - 19. Let p be u(6). Is 6 a factor of 6672/108 + (-2 - p/(-9))?
False
Let d = 37 - 45. Let m(r) = -r**3 - 9*r**2 - 9*r - 10. Let y be m(d). Does 7 divide y/(8/(-10))*14?
True
Let o(p) = -10*p + 2. Suppose 31*y + 8 = 27*y. Let z be o(y). Suppose 19*k + 78 = z*k. Is 4 a factor of k?
False
Suppose -22*x + 16 = -6. Does 27 divide (6 + (-90 - -2))/(x/(-2))?
False
Let j(o) = -51*o + 6. Let f = 81 + -82. Is j(f) a multiple of 11?
False
Suppose 18930 = 3*f - 4*x, -3*x = -5*f + 7973 + 23555. Is f a multiple of 137?
True
Let v = 22 - 1. Let q = -19 + v. Is q - 15/9 - 460/(-15) a multiple of 13?
False
Let w(f) = -f - 2. Let z be w(-4). Suppose 2*t = 4*t + z*y - 220, -5*t + 2*y + 585 = 0. Is t a multiple of 9?
False
Let j = -32 + 37. Suppose -7*u = -j*u - 6. Suppose -672 = -4*m - 5*t, -2*m - u*t + 134 = -200. Does 19 divide m?
False
Let v be 6/(-18) + (-13)/(-3). Suppose 0 = -5*o - 3*u + 216, 2*o - 70 - 35 = 5*u. Suppose 131 = v*t - o. Is t a multiple of 6?
False
Suppose 0*h + 41 = 5*y + 4*h, -h = -5*y + 21. Suppose y*n - 795 = -5*g, 0 = -4*n - 2*g - 0*g + 630. Is 17 a factor of n/9 + 21/(-9) + 2?
True
Suppose -4*a - 3*w = 27, -10*a + 14*a + 39 = w. Is 59 a factor of (-3258)/a - (-1 + 1) - 3?
False
Let w(c) be the second derivative of 17*c**4/12 - 17*c**3/3 - 9*c**2/2 - c + 3. Is 13 a factor of w(4)?
False
Suppose 0 = -f + 4*y + 1460, 11*y = -2*f + 13*y + 2914. Suppose 0 = -195*l + 188*l + f. Is l a multiple of 52?
True
Suppose -2*u - 3*u + 2*p = -10, -5*p = 2*u - 33. Suppose l + w - 14 = 4*l, -2*l - u*w = 0. Does 29 divide 144/40*(-70)/l?
False
Suppose 9*g + 968 = -49. Is 2/(4/(-10)) - (-470 - g) a multiple of 22?
True
Suppose 0 = -20*x + 38747 + 11073. Is 7 a factor of x?
False
Let t(n) = 1235*n - 22319. Is t(44) a multiple of 215?
False
Let t = 15802 + -7684. Is 123 a factor of t?
True
Suppose 19740 = -27*c + 108030. Is c a multiple of 13?
False
Suppose -g + 3 = -0. Suppose 5*l - 148 = -2*j, -g*l - 174 = -3*j + 6. Suppose -3*p = -j - 221. Is p a multiple of 33?
False
Suppose -4*n + 5*o = -9423, 7111 = 3*n - 4723*o + 4728*o. Is n a multiple of 8?
False
Let h = 214 + -211. Suppose -o - 41 = -2*c + 928, 4*o = -h*c + 1448. Is c a multiple of 18?
False
Suppose -r + 3 = 2, 4*r - 61 = -i. Let u = i - -151. Is 13 a factor of u?
True
Suppose 0 = -20*k + 9*k - 1089. Let y = -84 - k. Is 20 a factor of (-14)/105 - (-302)/y