*i + 60. Is u(-6) a multiple of 7?
True
Let s be 360/75 - 1/(-5). Suppose -s*y + 0*y + d + 463 = 0, 455 = 5*y - 5*d. Does 4 divide y?
False
Let f be 2/6 - -2*(-8)/(-6). Is 5 a factor of (-4)/f*(-32535)/90?
False
Let m(f) = 19*f**2 + 511*f + 59. Does 126 divide m(17)?
False
Is 143 a factor of 1*3 + ((-311652)/(-165))/((-3)/(-5))?
False
Suppose -8*t - 40842 = -75786. Is t a multiple of 42?
True
Suppose -19 = -4*i - 3. Suppose 0 = 5*q - 0*q + 2*k - 1278, i*q = -3*k + 1021. Is q a multiple of 16?
True
Suppose -17 + 98 = -3*j. Let p(f) = f**3 + 25*f**2 - 58*f + 42. Is 30 a factor of p(j)?
True
Let h(m) = 5*m**3 + 5*m**2 + 4*m. Suppose -5*d = -3*a + 32, 3*a - 13*d + 16*d = 0. Does 16 divide h(a)?
True
Suppose -c - 105 = 4*x - 2889, -x + 8 = 0. Does 8 divide c?
True
Let v(z) = 768*z**3 - 3*z**2 + 48*z - 47. Is v(1) a multiple of 2?
True
Suppose 476 + 532 = 6*v. Does 8 divide 3184/7 - (-192)/v?
True
Let x be 988/95 - (-2)/(-5). Is 12 a factor of (1064/35 - 4)*x?
True
Let j(y) = -21*y**3 + y**2 + 6*y + 22. Is j(-7) a multiple of 16?
True
Let c(h) = 8*h - 651*h**2 + 652*h**2 + 17 - 1. Let f be c(-13). Suppose -8*t - f = -11*t. Is 9 a factor of t?
True
Suppose -2*p - 4*k = -8*k, -5*k + 26 = 4*p. Suppose 4*u - 2*q - 1706 = 0, -740 = p*u + 5*q - 2453. Is 22 a factor of u?
False
Let m = -19929 - -30430. Is m a multiple of 78?
False
Let j(z) = 2*z**3 - 5*z**2 + 8*z + 4. Let f be 6/4*2 + 2. Is 20 a factor of j(f)?
False
Let p(q) = 4*q - 20. Let k be p(6). Suppose -k*y = -12*y + 624. Let n = -23 + y. Does 34 divide n?
False
Let t = -24 - 17. Let g = t + 45. Suppose g*u = 2*q - 16 - 34, -4*q - 3*u = -89. Is 23 a factor of q?
True
Suppose -122*v + 128*v + 2172 = 0. Is 11 a factor of 5/(-10)*10 - v?
False
Suppose 2*r - 26374 = -b, -5*r + 65049 = 2*b + 12295. Is b a multiple of 98?
True
Let x be ((-27)/(-3))/((-1)/(-5)). Let i be x/2*(14 - 6). Suppose -10*t + 15*t - i = 0. Does 6 divide t?
True
Suppose -220*a + 223*a = 3*x - 15150, -25238 = -5*x + a. Is 12 a factor of x?
False
Suppose 62 - 34 = 4*t, 3*t + 89791 = 4*b. Is b a multiple of 37?
False
Let d(p) = 315*p**3 + 2*p**2 - 75*p + 189. Does 23 divide d(3)?
True
Let v = -9 - -15. Suppose 0 = -3*i + 2*q + 288 + 314, -2*i = -2*q - 402. Suppose -v*f - i = -10*f. Is f a multiple of 5?
True
Let s(o) = -146*o + 1354. Is 30 a factor of s(-39)?
False
Let g(j) = -j**3 - 11*j**2 - 11*j - 4. Let s be (8/20)/(2/(-50)). Let f be g(s). Suppose f*d + 83 = 7*d. Is d a multiple of 8?
False
Suppose -545810 = -274*x + 83597 + 746621. Is 151 a factor of x?
False
Let c be ((-6)/(-15))/(5/25) - 0. Suppose -h = 4*d - 1316, 7*h - 4*h + 672 = c*d. Does 31 divide d?
False
Let p = -11360 + 28039. Is 71 a factor of p?
False
Let m be (-11)/(-77) + (-1465)/(-35). Suppose 38*i + 69 = 41*i - 4*f, 2*i - m = 4*f. Is i a multiple of 2?
False
Let l = 12971 - 6379. Is l a multiple of 64?
True
Suppose 2*a + 238 = -d, 4*d - 4*a = -0*d - 904. Let h = d + 236. Is 3 a factor of h?
True
Let q = 17974 - 8106. Does 109 divide q?
False
Is 12 a factor of 6511*((-3)/(3 + 189/(-56)) - 7)?
False
Suppose 1144 = -5*k + 1159, -2*w - 3*k + 63303 = 0. Does 231 divide w?
True
Suppose 0 = 44*d - 21*d - 34983. Does 10 divide d?
False
Let d(p) = -83*p**2 - p + 1. Let o be d(1). Let j be 3/8 + o/8. Does 6 divide (-214)/j - 12/30?
False
Suppose -3*z = 1 + 5, o = -2*z. Does 38 divide (-1 - 1)*2/o - -267?
True
Suppose 21 - 81 = -6*s. Suppose -3*c + 6*b + 4 = s*b, 3*c - 2 = -5*b. Does 21 divide -7*(-2)/c*18?
True
Suppose -16 = -4*l - 0*l. Suppose 0 = 10*q - 7*q - 27. Suppose -a - l*b = q, b + 23 = a - 3*b. Does 2 divide a?
False
Suppose 0 = -5*v - 38 + 113. Let h be (-9)/(-6)*7220/v. Suppose -4*u + h = 178. Does 17 divide u?
True
Suppose 2*r - 3*g = 46, -3*r - r + 96 = -4*g. Suppose -w - w + r = 0. Suppose -4*p = -4*m + 148, 0 = -m + 2*p + w + 22. Does 9 divide m?
False
Let z = -14798 + 21188. Does 18 divide z?
True
Suppose 0 = -b + m + 15321, 0 = 4*b + 22*m - 19*m - 61347. Does 268 divide b?
False
Let u be (-196)/(-140) - (-6016)/10. Suppose u = 2*y + 3*p - 2*p, 0 = -5*y - 4*p + 1509. Is 6 a factor of y?
False
Let f(x) = 69*x**3 + 12*x**2 - 16*x + 29. Does 29 divide f(5)?
True
Let t be (-8)/1*((-143)/22 - -6). Suppose 4*u = t*p + 1857 - 421, 2*u + 3*p - 703 = 0. Is u a multiple of 13?
False
Suppose 0 = -2*k - 5 + 7. Let d be ((-1)/k)/((6/10)/3). Is 106 + (-12)/(-4) + d a multiple of 26?
True
Let g = -4 - 5. Let i = g - 43. Let t = -38 - i. Is t a multiple of 14?
True
Suppose -4*c + 2*c = p - 187, -3*c = -p - 278. Let f = c + -53. Is 40 a factor of f?
True
Let j(s) = 6*s**3 + 5*s**2 + 2*s - 11. Let y(f) = -4*f**2 + 2*f + 10 - 5*f**3 - f - 5*f + 3*f. Let o(i) = -6*j(i) - 7*y(i). Is o(-5) a multiple of 16?
True
Suppose -4*o = -3*r - 97, 3*r + 128 = 5*o + 6*r. Suppose 5*b - 5*m - o = 0, -3*m - 22 = -3*b - b. Suppose -b*d + 3*d = -272. Does 6 divide d?
False
Let v = 27332 - 15267. Does 11 divide v?
False
Let g be (-4 - -6 - -188) + 2. Suppose 3*m = -5*k + 1082, 3*k - 894 - g = -3*m. Is m a multiple of 31?
False
Suppose -4*m - 2*z + 4*z + 500 = 0, 2*z = -2*m + 256. Suppose -32*r = -23*r - m. Is 3 a factor of r?
False
Suppose -23*m + 10224 + 9119 = 0. Let l = m - 496. Does 5 divide l?
True
Let c = -858 - -874. Let z(d) be the first derivative of d**3/3 - 15*d**2/2 + 7*d + 4. Does 19 divide z(c)?
False
Let m be ((-33747)/(-27) - 5) + 2/18. Let l = 2147 - m. Does 13 divide l?
False
Let f(c) = 2*c + 41. Let a be f(-20). Let l be a/(-2)*(2 + 4 + -12). Suppose -l*p = -3*z + p + 407, -5*z - 4*p = -721. Is z a multiple of 19?
False
Suppose 3681 = 3*p + 9*b - 12*b, 8 = -4*b. Is 7 a factor of p?
True
Suppose -2*x - 2*v = 16, 5*x + 30 = -v - 2*v. Let s(f) = 4*f - 1. Let k(i) = 4*i - 1. Let d(m) = x*s(m) + 2*k(m). Is d(-14) a multiple of 10?
False
Let o(w) = -w + 36. Suppose 0 = 5*d - 18 - 7. Suppose 2*g - 6 = g - 2*j, 4*g + d*j - 33 = 0. Is 6 a factor of o(g)?
True
Let x(p) = -11*p**3 + 3*p**2 + 5*p - 4. Suppose 3*c - 2*c + 3*k = 51, 5*c - 179 = 4*k. Suppose 12*s + s = -c. Does 13 divide x(s)?
False
Let b be ((7 + -16)/9)/(2 + -3). Does 15 divide -2 - (b/3 + (-62517)/63)?
True
Let z be 5 + 0/(1 - 4). Let l be -4*(15/z)/(-12). Is ((-90)/(-72))/(l/16) a multiple of 20?
True
Let s = -44901 - -68871. Is 15 a factor of s?
True
Let k be (5 + 613)*(-12)/(-72). Suppose b - 2*q = k, q = -5*b - 164 + 723. Is 66 a factor of b?
False
Suppose 3*s = 2*n - 22, 5*s = -2*n + 2*s - 2. Suppose -3*q - 2*o + 494 + 1607 = 0, -3*q = n*o - 2107. Is 19 a factor of q?
False
Suppose 4*i = 5*b + 36500, -220 = -2*i + 3*b + 18032. Is i a multiple of 8?
True
Let m(b) = -14*b + 9. Let s(r) = r**3 - 5*r**2 + r + 1. Let l be s(5). Let g be m(l). Let k = 333 + g. Does 23 divide k?
False
Suppose 3032931 = 175*d + 77*d - 33*d. Is 21 a factor of d?
False
Is 54 a factor of (6 + 10731/2)/(1 - (-25)/(-30))?
False
Let o(v) = -19*v - 34*v**3 + 19*v**3 + 14*v**2 - 7 + 14*v**3. Let c be o(13). Let f = 107 + c. Is f a multiple of 22?
True
Suppose -8*f + 7460 = 2*f. Let n = -481 + f. Is 15 a factor of n?
False
Let c(l) = -l**3 - 4*l**2 + l - 4. Let k be c(-5). Let m(v) = -12 + 19*v + 6*v**2 - 1 - 7*v**2 - 6*v + 10*v. Is 33 a factor of m(k)?
True
Suppose -14*w - 16 = -18*w. Suppose w*v + 4*f - 442 = 330, 3*v - 589 = 2*f. Is 15 a factor of v?
True
Let b be 8/(-28) - 120/21. Let x(w) = w**3 + 7*w**2 + 4*w + 4. Is x(b) a multiple of 5?
False
Suppose 0 = 2*s - 5*f - 44610, 32*s - 34*s - 2*f = -44596. Is 14 a factor of s?
False
Let n(k) = 7*k**2 - 6*k - 17. Let w be n(-5). Let r = w + -93. Is r a multiple of 5?
True
Let c be -1 + (-134)/(-8) - 3/(-12). Suppose 973 = c*g - 275. Is g a multiple of 6?
True
Let y = -14389 - -36067. Is 63 a factor of y?
False
Let r(d) = -162*d**3 - 2*d**2 + 2. Let p be r(-1). Suppose 113*v + p = 115*v. Is 8 a factor of v?
False
Let a(y) = 6*y**2 + 25*y + 39. Let v = -139 - -128. Is a(v) a multiple of 64?
False
Suppose 36*d = 175186 - 10774. Is 10 a factor of d?
False
Let m = -48 - -72. Suppose 4*k - 128 = -m. Does 11 divide k?
False
Let z(w) = -7*w + 23. Let i(t) = -18*t + 57. Let h = 19 + -14. Let a(v) = h*i(v) - 12*z(v). Does 14 divide a(-5)?
False
Let s = 249 + -124. Suppose 2*y + 3*a - 47 = 3, -5*y + s = -4*a. Let r = 16 + y. Is r a multiple of 19?
False
Let p be 9/6 + 245/10. Suppose -29*g - 3*n = -p*g -