se
Let f(c) = -7*c - 19. Let j be f(-8). Let x = j - 33. Is x a multiple of 3?
False
Let l(z) = -147*z - 438. Is l(-18) a multiple of 31?
False
Let b(v) = 2*v**2 - 11*v + 3. Let w be ((-27)/18)/(6/(-16)). Suppose -w*m + 45 = m. Is b(m) a multiple of 11?
True
Suppose 5*v - 12 = 4*b, 2*b = 2*v - 0*b - 6. Suppose v = -0*f - 5*f + 305. Suppose f + 88 = 4*r - q, -61 = -r + 5*q. Is 9 a factor of r?
True
Let g(j) = -j**3 + 19*j**2 + 11*j + 19. Let x(t) = t**2 - t + 1. Let n(w) = g(w) - 4*x(w). Is 12 a factor of n(15)?
True
Let f be (0 - -2)*((-5)/2 + 2). Is 35 a factor of f/((-1398)/(-350) - 4)?
True
Is 11 a factor of 40*2/(((-45)/8)/(-9))?
False
Suppose 5*r + 0*r + 5*x - 380 = 0, -2*r - 3*x = -152. Suppose 0 = -5*s + 64 + r. Is 20 a factor of s?
False
Suppose -10*d = -17*d + 77. Is 18 a factor of d/(-22) - 137/(-2)?
False
Suppose -10795 = -18*a - 2155. Is 53 a factor of a?
False
Suppose 63*u = 65*u + 10. Let l be (0 - (1 - 0))*18. Let z = u - l. Is z a multiple of 6?
False
Let x(p) = p + 20. Let c be x(4). Suppose -28*y + c*y = -496. Is 31 a factor of y?
True
Let g(o) = -10*o**2 + 9*o + 36. Let w be g(-5). Let t = 381 + w. Is t a multiple of 29?
False
Suppose 0*h - 46 = 2*h + 5*f, -4*h - 92 = -3*f. Let c = 26 + h. Suppose 8*z - 35 = c*z + 5*w, -14 = -4*z - 3*w. Does 5 divide z?
True
Let q = -21 - -16. Let n(v) = -3*v**3 - 10*v**2 + 2*v - 6. Let y be n(q). Suppose y = 5*s + 29. Does 3 divide s?
False
Suppose 5*n = 2*g - 4, 0*g + 3*n = 2*g - 4. Let j be -114*(-1 + (-1)/g). Let a = j - 106. Does 13 divide a?
True
Let q = 1 - -1. Suppose -k - l + q = -3*l, 0 = -k + 4*l + 2. Is k/((-4)/(-120) + 0) a multiple of 20?
True
Let c = 17 + -15. Suppose v = c*v - 28. Suppose 193 = 3*a + v. Does 16 divide a?
False
Suppose -3*n + 43 = -104. Suppose 0 = 5*g - 7*g + 68. Let i = n - g. Is 9 a factor of i?
False
Is 4 a factor of 265*(64/20 - 3)?
False
Suppose 0 = -3*w - 67 - 11. Suppose 5*t - 49 = 136. Let g = w + t. Is 3 a factor of g?
False
Let g = -55 + 79. Is g/(-9)*12/(-8) a multiple of 3?
False
Suppose -2*x + 11 = 3. Suppose c = -x*c. Suppose 0 = -c*o + 4*o - 180. Does 9 divide o?
True
Let g(p) = p**3 - p**2 + p + 10. Let r be g(0). Suppose n = 2*n - r. Suppose -5*i = -4*i - n. Is i a multiple of 10?
True
Let c = -119 + 128. Suppose -4*g = -2*g + 12. Let q = c + g. Is 3 a factor of q?
True
Suppose -1 = -f, -7346 = 8*s - 11*s - 2*f. Is 18 a factor of s?
True
Let f(c) = -c**3 - 23*c**2 + 22*c + 20. Let j(i) = -2*i**3 - 24*i**2 + 22*i + 20. Let z(h) = 3*f(h) - 2*j(h). Is 30 a factor of z(20)?
True
Suppose 0 = u - 6*u - 5. Is 19 a factor of u/((-3)/(2 - -55))?
True
Let a = -1095 + 1918. Is 62 a factor of a?
False
Let c(s) = -527*s - 44. Is c(-2) a multiple of 18?
False
Suppose -d - 1155 = 10*d. Let y = 137 + d. Is 19 a factor of y?
False
Suppose -6*p + 12 = -18. Suppose -7*o = -3*o - 116. Suppose p = a - o. Does 17 divide a?
True
Suppose -m = 5*z, -3*z + m - 5*m = 0. Suppose z = -2*a + a. Suppose 3*k + k + 4*d - 68 = a, -4*d = 0. Is 8 a factor of k?
False
Suppose 5*h - 39 = -5*o + o, 0 = -o + 5*h - 9. Let u = o + -3. Suppose -u*n + 4*b - 10 = -92, 40 = n + 5*b. Does 19 divide n?
False
Let c(b) = 2*b**2 + 3*b. Let i be c(-2). Suppose -4*g - 3*h = -7, -i*h + 2 = 3*g - 3. Is (-20)/(-12)*3 + g even?
True
Let n(v) = 34*v - 511. Is n(24) a multiple of 3?
False
Let s(d) = -d + 1. Let m(c) = -c**3 - 6*c**2 + c + 14. Let y(t) = m(t) + s(t). Does 32 divide y(-7)?
True
Does 6 divide (266/8 - -10)/((-1)/(-24))?
True
Is (-4)/38 + (-974767)/(-817) a multiple of 19?
False
Let y = 2037 - 1435. Is 12 a factor of y?
False
Suppose j + a = -4*a + 32, 5*j - 208 = -a. Let o = -84 + 87. Suppose o*l - j = 66. Is 18 a factor of l?
True
Suppose -13561 = -50*r + 16439. Does 15 divide r?
True
Is 11 a factor of (0 + -3)/3*(-6 - 93)?
True
Suppose 2*s + 20 - 48 = 0. Does 14 divide s?
True
Let c(j) = -j**2 - 12*j + 7. Let n be c(-10). Suppose 2*a = -0*a - x - 15, 2*a = 3*x - n. Is a/12 - (-62)/8 a multiple of 2?
False
Let x be (-1)/(-1) + (1 - -30). Let z = x + -25. Is z a multiple of 4?
False
Let u(w) be the third derivative of w**7/2520 - w**5/120 + w**4/8 - 2*w**2. Let p(x) be the second derivative of u(x). Is 2 a factor of p(2)?
False
Let d be 6/(-8) + 19/4. Let y be (-256)/(-18) - d/18. Suppose 56 = 4*q + 4*o - 0*o, o + y = q. Is 5 a factor of q?
False
Let l(t) = 2*t**2 + 13*t - 125. Is l(9) a multiple of 5?
False
Let u = -2 + 15. Suppose u*c - 270 = 10*c. Does 10 divide c?
True
Let u = -5 - -9. Is u a multiple of 3?
False
Let i = -62 - -66. Is (-126)/i*(-3 - 3/(-3)) a multiple of 9?
True
Let m = 1845 + 1964. Is 13 a factor of m?
True
Let l be (-243)/(-21) + 9/21. Suppose -3*g + 3*p = -27, -4*p - l - 4 = g. Suppose v - g*v = -18. Is 6 a factor of v?
True
Suppose 20*w = 1317 + 3483. Does 16 divide w?
True
Let z(o) = -o**2 + 14*o + 2. Let r = -11 - -43. Let d = -22 + r. Does 21 divide z(d)?
True
Suppose 6*n + 2*n - 192 = 0. Is n a multiple of 8?
True
Suppose 1632 = 5*g - r + 517, -4*g = 5*r - 863. Is g a multiple of 74?
True
Is 30 a factor of 1*7 + (969 - -44)?
True
Let h be (-2)/4*(-1 - -1). Suppose 6*v + 46 - 316 = h. Does 7 divide v?
False
Let m = -722 + 446. Let q be ((-2)/6)/(4/m). Let j = q - 14. Is 9 a factor of j?
True
Let t be -22*(-2)/(-2) + -2. Let o be (t/(-10))/((-1)/5). Let i = o - -15. Is i a multiple of 3?
True
Let k(x) = x + 3. Let h be k(5). Suppose 2*c = p - 3*c - h, c - 16 = -2*p. Suppose v - 28 = p. Is v a multiple of 10?
False
Suppose -20134 = -43*l - 5901. Does 43 divide l?
False
Suppose 4*h = -4*d + 1904, 0 = 5*d - h - 459 - 1945. Is ((-69)/12 + -1)/((-18)/d) a multiple of 41?
False
Let w(v) = -4*v**2 - 5*v + 3. Let c(h) = -5*h**2 - 5*h + 3. Let f(n) = 3*c(n) - 4*w(n). Let x be f(-6). Let o = x + 36. Is o a multiple of 13?
True
Let n(k) be the first derivative of k**4/4 + 5*k**3 + 15*k**2/2 + 16*k + 9. Let t be n(-14). Suppose -t*m + 9 = -15. Does 12 divide m?
True
Let a(l) = -1 + 5*l + 4*l - 4 + 0. Let f be a(9). Suppose -2*k - f = -o + 3*k, -2*k = o - 97. Is 25 a factor of o?
False
Let u = 336 + -184. Is u a multiple of 13?
False
Let q = -83 + 95. Is q/(-15)*(-670)/4 a multiple of 8?
False
Let w = -9 - -11. Let h(s) = 12*s - 3. Let n be h(4). Suppose -n = w*p - 5*p. Is p a multiple of 15?
True
Let j(d) = -58*d - 166. Does 9 divide j(-9)?
False
Let s(k) = -5*k**2 - 26*k + 5. Let h be s(-6). Suppose 0 = 3*y - 155 + 53. Let l = h + y. Is l a multiple of 4?
False
Suppose -9500 + 1710 = -5*h. Does 19 divide h?
True
Let l(c) = -c**2 + 2*c + 6. Let u(p) = -p**2 + p + 5. Let b(a) = 4*l(a) - 5*u(a). Let t be 0 + 2*-1 - 3. Is 3 a factor of b(t)?
True
Let h(f) = -f**3 + 11 - 4*f**2 - 3 + f - 6. Let d be h(-4). Does 10 divide 24/(-15)*45/d?
False
Let d(j) = -6*j**3 + 5*j**2 + 4*j - 2. Let b be d(-4). Let p = b + 346. Is (4/6)/(16/p) a multiple of 14?
False
Let q(u) = -u**3 - 4*u**2 + 31*u - 14. Does 12 divide q(-10)?
True
Suppose 3*v - 1171 = 2*o, -4*o + 1384 + 184 = 4*v. Is 23 a factor of v?
True
Let l be 38/14 + (-6)/(-21). Suppose -12 = -2*d - l*d + j, 0 = -3*d + 3*j. Suppose -5*t - 5*i + 38 - 3 = 0, i - d = 0. Is t a multiple of 2?
True
Let d = -99 + 349. Suppose -d = -9*q + 4*q. Is 10 a factor of q?
True
Let b = 1552 + -396. Is 34 a factor of b?
True
Suppose u - 3*d - 513 = 1688, 11055 = 5*u - 5*d. Does 8 divide u?
True
Let o(a) = -6*a**2 + 2*a. Let n be o(-2). Let z be n/(-14)*(-5)/(-2). Suppose 0 = -3*l - z*u + 100, 0 = -2*l - l - 2*u + 103. Is l a multiple of 14?
False
Does 17 divide ((-83)/(-2) + -4)/(3/16)?
False
Let d(t) = 14*t**2 + 6*t + 8. Does 26 divide d(-2)?
True
Let m be 1/(-2)*2 + 1103 + -2. Suppose -5*k - 50 = -m. Is 37 a factor of k?
False
Let m be (-2560)/(-15) + 4/(-6). Let t = m + -116. Is t a multiple of 9?
True
Let m(w) = -w**2 - 13*w - 4. Let i(c) = -c**2 + 4*c. Let s be i(2). Suppose l = -s*l - 55. Does 9 divide m(l)?
True
Let k be 3*162/11 + (-42)/231. Let a = 16 + k. Is 12 a factor of a?
True
Let y = 0 + -3. Let p = y - -5. Let c(a) = 4*a**3 + 2*a. Is 9 a factor of c(p)?
True
Let q = -24 - -26. Let w(o) = o**3 - 4*o**2 - 6*o - 6. Let f be w(6). Suppose k - q = f. Does 16 divide k?
True
Is 75/50 + 6207/6 a multiple of 28?
True
Let p be (6/10)/((-3)/15). Let t = p + 20. Is t a multiple of 4?
False
Let x = 35 + -53. Let u(b) = -b**3 - 18*b**2 - 4*b +