Let t(o) = 159*o - 5. Is 22 a factor of t(b)?
True
Let f be 7*1 + (-5)/((-25)/(-5)). Is ((-1)/12*-8)/(f/1197) a multiple of 7?
True
Suppose 14 = 11*y - 30. Suppose y*i + 14 = 138. Is 2 a factor of i?
False
Let h = 2060 + -1469. Is 16 a factor of h?
False
Let o(b) = 11 - 196*b + 194*b - 45. Is o(-31) a multiple of 4?
True
Let n = 56 + -204. Let z = n + 256. Is (z - -8)*((-17)/(-4) + -2) a multiple of 29?
True
Let a(p) = 2*p - 5. Let y be (-8 - -10)*(-15)/2 + -1. Let z be 3/4 + (-52)/y. Is 3 a factor of a(z)?
True
Suppose -11*k + 97505 = -85645. Is 50 a factor of k?
True
Suppose -5*v - 8 = -3. Let m(f) = 3*f**2 - 2*f - 3. Let h be m(v). Suppose -r + 66 = -5*l, 0 = -3*r - h*l + 247 - 66. Is r a multiple of 31?
False
Suppose 5*n = -4*s + 3 - 4, -8 = 2*s + 4*n. Suppose -9*c + 825 = -s*c. Suppose 4*v - c = -119. Is 13 a factor of v?
True
Let g = -77 + 82. Suppose 2*f - f + 3*d = 393, -g*f = 4*d - 2020. Does 5 divide f?
False
Suppose -24684 = 26*l - 38*l. Is l a multiple of 17?
True
Let y = -310 + 2328. Suppose -18*c - 524 = -y. Is 6 a factor of c?
False
Let n(a) = -a**3 - 6*a**2 + 4*a + 14. Let k(p) = -p**2 + p - 1. Let b(z) = -2*k(z) - n(z). Let l be b(-8). Does 26 divide 74 + (10/25 - l/(-10))?
True
Suppose -21*m - 5 = -110. Suppose -m*s - 782 = -3*b, 4*s + 7 - 15 = 0. Is 11 a factor of b?
True
Let p be -4 + 4 - -3 - (-4 + 4). Let d(n) = 37*n - 39. Does 18 divide d(p)?
True
Let b(x) = x**3 - 3*x**2 + x - 2. Let u be b(3). Does 11 divide (300/(-450))/((4/(-834))/u)?
False
Suppose 2*i - 52 = 2*u, 2*u - u = 4*i - 29. Let g = -52 - u. Is 2 + -2 - (g - -3) a multiple of 24?
True
Let q = -73 - -71. Is 8 a factor of 23/(-23) + (-154)/q?
False
Let p = -2951 - -4139. Let s be (-2)/(-7) + (p/28)/9. Suppose 5*o + s*k = 190, 3*o + k = 2*k + 94. Is o a multiple of 19?
False
Let m(n) = -2*n**2 - 88*n + 99. Let j be m(-40). Is 16 a factor of j + 7 + 7 - -2?
False
Suppose 3*d = 2*y + y - 1407, y = -4*d + 454. Let k = -373 + y. Does 6 divide k?
False
Suppose 50744 = 33*c - 5719. Suppose -10*g + c = -5249. Does 9 divide g?
False
Let k(c) = -5*c**3 + 6*c**2 + 2*c + 40. Let w be k(-5). Suppose -1385 = -30*s + w. Does 6 divide s?
False
Let s(p) = -5*p + 158. Let j be s(31). Let n(y) = 8*y**2 + 5*y - 2. Is n(j) a multiple of 3?
False
Let a(z) = z**2 - z + 1. Let p(u) = u**3 + 5*u**2 - 6*u - 284. Let r(v) = 6*a(v) - p(v). Is 7 a factor of r(0)?
False
Let y be 5 - 7 - (-7)/1. Suppose 6 = -y*o + 26. Suppose 0 = -o*b + 445 + 131. Does 36 divide b?
True
Suppose 5*h + 42 + 83 = 0. Let k be (3/(-5))/((-4)/100). Does 27 divide 30/h*-4*k?
False
Let l(s) = 7*s**2 + 11*s - 30. Let a = 42 + -36. Let t be l(a). Suppose 0 = 88*z - 86*z - t. Is z a multiple of 24?
True
Let y = 685 + -685. Suppose -3*h + 8*i - 4*i + 90 = y, 2*h - 3*i - 61 = 0. Is 11 a factor of h?
False
Let h = -57 - -366. Let t = h - 174. Is t a multiple of 15?
True
Let y be 1/((5 - 1)/(-20)). Let b(t) be the second derivative of -23*t**3/6 - 13*t**2/2 + 17*t. Is 17 a factor of b(y)?
True
Let d(n) = -38*n + 16 - 9*n + n**2 + 10*n + 7*n. Is 2 a factor of d(30)?
True
Does 20 divide 3633530/345 + (-78)/(-2691)?
False
Let j = -102 - -170. Suppose -35*x + 31*x = -j. Let l(r) = 7*r + 14. Is l(x) a multiple of 18?
False
Suppose z - 130 = -5*r + 1981, -r - 4*z = -407. Is 1 - (r/6)/(2/(-16)) a multiple of 5?
True
Suppose 5*x + 267 = b - 1293, -5*b = 5*x - 7800. Does 40 divide b?
True
Let o(u) = 30*u**2 + 50*u + 647. Does 8 divide o(-6)?
False
Let n(d) = 5*d**2 - 5*d + 2. Let g be n(-4). Let z = g - 119. Is 19 a factor of 2/z + 31/(-17)*-73?
True
Let r be 3038/155 + 6/(-10). Suppose r*g - 17*g - 74 = 0. Suppose -8 = 4*w, 4*w - 42 = -3*x + g. Does 4 divide x?
False
Suppose -2*g + 4*h = g - 1896, 0 = -3*g + 3*h + 1893. Does 31 divide (-3 + g/20)*10?
False
Let j = -4 - -7. Let g(o) = 13*o + 43. Let m be g(-3). Suppose 4*u - j*s - 38 = -s, 12 = -m*s. Is 2 a factor of u?
True
Suppose -3*j + 7295 = -5*o - 8211, -5*j + 3*o = -25870. Is j a multiple of 8?
False
Is 184 a factor of ((-5106)/(-148))/(6/1648)?
False
Let f(p) be the third derivative of p**6/30 + p**5/20 - p**4/4 + 2*p**3/3 - 4*p**2 - 35. Let b = -1 + 3. Is 12 a factor of f(b)?
True
Suppose 4*j = 5*j - 4*o - 18, 2*o = -j - 6. Suppose 4*b = j*b - 508. Let c = b + 369. Is 10 a factor of c?
False
Let y(n) = -n**3 - 5*n**2 + 8*n + 3. Suppose -18 = 12*b - 9*b. Let k be y(b). Does 12 divide 212/18 - 2/k?
True
Suppose 0*v + 4*n = -3*v - 21, 0 = -3*v - 3*n - 24. Let w(p) = -p**3 - 10*p**2 + 3*p - 62. Is w(v) a multiple of 5?
False
Let c = 341 + 17934. Does 143 divide c?
False
Let r(y) = 21*y + 59. Let d(f) = -104*f - 295. Let x(t) = -2*d(t) - 11*r(t). Is x(-8) a multiple of 25?
True
Suppose 5*j = -2*w - 910, 464 - 100 = -2*j - 2*w. Let v = j - -494. Is v a multiple of 12?
True
Let i be 0 - (0/5 + 136/4). Let m be -1 - -3 - (-78 + 1). Let q = i + m. Does 15 divide q?
True
Suppose 205*p - 5058486 = -0*p + 22*p. Is p a multiple of 132?
False
Suppose -4*d - o + 14 = 4007, -2999 = 3*d + 5*o. Let w = 1406 + d. Is w a multiple of 17?
True
Let m(w) = w**2 - 13*w + 4. Let j be m(20). Suppose -5*b + 502 = 4*z, -z + j = -3*b + 10. Is z a multiple of 24?
False
Let d(f) = 174*f**2 - 53*f - 330. Does 64 divide d(-10)?
True
Let x(v) = 21*v - 3. Let w be x(-1). Let b(k) = -20*k - 6. Let p be b(6). Let i = w - p. Is i a multiple of 17?
True
Let u = 2567 - 1916. Is 21 a factor of u?
True
Suppose 0 = -4*v + 8*v - 40. Let w be 5/(v/(-8)) - -10. Suppose w*i - 13*i + 1225 = 0. Is i a multiple of 28?
False
Let t(s) = -32*s - 18. Let c be t(-8). Suppose -6*p - c = 26. Is (0 + 10)*p/(-10) a multiple of 22?
True
Suppose -2*l = 2*d + 234, 4*d + 465 = -4*l + d. Suppose 0 = 24*y - 19*y + 870. Let f = l - y. Is 6 a factor of f?
True
Suppose y - 2172 - 4038 = 0. Does 115 divide y?
True
Let a(w) = -8*w + 6. Let p be a(1). Let m(r) = -10*r**3 - 5*r**2 - 7*r - 5. Does 25 divide m(p)?
False
Let v = -45 + 82. Let j = -21 + v. Suppose x - l = j, -l + 3*l = -5*x + 80. Does 8 divide x?
True
Let n(s) = -6*s**3 + 8*s**2 - 31*s + 8. Let r(x) = 5*x**3 - 8*x**2 + 30*x - 7. Let m(j) = 3*n(j) + 4*r(j). Does 17 divide m(9)?
False
Let q = 45045 - 31955. Is 70 a factor of q?
True
Suppose 2*r = 5*m - 498 + 3313, 1394 = r + 2*m. Is 350 a factor of r?
True
Let z be 2*-6 + (0 + 4 - 6). Let p be (-228)/(-42) - (-6)/z. Suppose 2 = -i - 4*f + 60, 165 = p*i - 5*f. Is 4 a factor of i?
False
Is (3284 + 1)*5*((-152)/(-120) + -1) a multiple of 11?
False
Let b = -2764 + 4941. Does 3 divide b?
False
Let a(m) = 349*m**2 - 2*m + 2. Let t be a(2). Suppose -4*q + 5*l = -1838, -10*q + 7*q + t = 4*l. Is q a multiple of 21?
True
Suppose 1392 = -3*j + 5*q + 6615, 10488 = 6*j + 4*q. Does 13 divide j?
False
Let r = -2488 + 2632. Is 4 a factor of r?
True
Let w(l) = 8*l**2 + 8*l + 2. Suppose -11*k - 79 + 24 = 0. Is 27 a factor of w(k)?
True
Let y(r) = -23*r**3 - 5*r**2 - 3*r - 2. Suppose 2*i = 2*k + 14, -33 = -i - 28. Is 24 a factor of y(k)?
True
Suppose -5819 - 1156 = 5*p. Let r be 5/20 + p/12. Let i = r + 154. Is i a multiple of 13?
False
Suppose -5 = w, t - 3*w = 10108 - 2659. Is 21 a factor of t?
True
Let d = -28 + 66. Let b = 0 + 0. Suppose -o + 5*u + d = b, -3*u + 38 = o + 2*u. Does 15 divide o?
False
Let x = 443 - 439. Suppose -174 = -3*c + 2*h, x*h = -3*c + 9*h + 165. Is 20 a factor of c?
True
Is (((175378/(-42))/1)/((-1)/3))/1 a multiple of 216?
False
Suppose -10*j - 569700 = -14*j - 41*j. Is 60 a factor of j?
True
Suppose -106*i + 99*i + 4711 = 0. Let w = i - 329. Is w a multiple of 8?
True
Suppose -16*m = -12*m - 8. Let s be ((-2)/(0 + m))/(14/(-70)). Suppose -s*l - u = -603, 5*l + 2*u - 615 = -3*u. Is 10 a factor of l?
True
Let r be (-102085)/(-35) - (32/(-28))/4. Suppose -24*w + r = -11051. Does 13 divide w?
False
Let m(o) = o**2 - o + 119. Let u be m(0). Suppose -l = -3*f - u, l - 4*f - 144 = -21. Suppose -q = -l + 45. Does 31 divide q?
True
Suppose 5*u - 6*w = 15158, -5*u + 7*w + 15172 = 8*w. Is 37 a factor of u?
True
Let h = -307 - -306. Is -2*(2 + h) + 435/15 even?
False
Suppose -3792 - 1829 = -11*o. Does 84 divide o?
False
Is 58 a factor of 50/(-200) + (4 - (-34755)/12)?
True
Let h be 11784/45 - 6/(-45). Let k = h + -40. Does 53 divide (k - 8) + -1 + -1?
True
Suppose 0 = 89*x - 164555 - 532306 - 377903. Does 30 divide x?
False
Suppo