= 0. Is 20 a factor of d?
True
Let z be ((-3129)/(-5))/(1/5). Suppose z + 1551 = 13*c. Does 40 divide c?
True
Suppose 0 = 5*z + 38 + 2, b - 3*z - 7761 = 0. Does 3 divide b?
True
Let d be (260/(-39)*(-54)/(-4))/(-2). Suppose d*v + 12 = 48*v, 0 = -5*r + 2*v + 487. Is r a multiple of 3?
True
Let v(s) = 94*s + 5*s**2 - 4*s**2 - 53 - 49*s - 48*s. Is 37 a factor of v(-14)?
True
Suppose -55*y = -118*y + 58*y + 7150. Is 13 a factor of y?
True
Let l = 330 - -351. Is l a multiple of 3?
True
Let j be (1*8)/((-14)/7). Let s be -1 - 16 - (0 + 1 + j). Let c(x) = -x**3 - 13*x**2 + 14*x + 14. Is 5 a factor of c(s)?
False
Suppose 2*k = k - 2*l + 13, 3*l = 0. Suppose 3*f + 1 - k = 0, -3*r + 160 = f. Is 8 a factor of r?
False
Let h(j) = -j**2 + 7*j + 6. Let m be h(5). Let c(g) = -g**3 + 19*g**2 - 39*g + 23. Let o be c(m). Let s = 287 - o. Does 10 divide s?
True
Suppose -57*d = -61*d + 96. Suppose 99*r = 95*r + d. Suppose 0*z + r*z - 1296 = 0. Does 24 divide z?
True
Suppose -2*k - 2*k = -120. Let f be 201/5 - 6/k. Suppose -7*i = -f - 2. Does 4 divide i?
False
Does 6 divide 1/(47560/5284 + -9)?
False
Suppose 6*s + 434 = 98. Let x = -137 - s. Is (x/(-6) - 6/12)/1 a multiple of 2?
False
Suppose -t - 3 = -u, t = u + 4*t + 9. Suppose 23*a + 221 = 2*v + 18*a, u = -5*a - 5. Is 4 a factor of v?
True
Let a(i) = -8*i**3 + 3*i**2 + 38*i + 123. Is 11 a factor of a(-8)?
False
Let c(n) = 5*n**2 - 10*n - 1 - 13*n - 2*n**2 + 40. Is 19 a factor of c(13)?
True
Let o(m) = -m**3 + 13*m**2 + 15*m - 14. Let k be o(14). Let y(f) = -f**3 - 2*f**2 + 12. Let i be y(k). Is 13 a factor of i/30 + (-1644)/(-15)?
False
Is 10/70*35 - ((-23143 - -6) + 0) a multiple of 19?
True
Let w = -322 + 327. Suppose w*s - 18*a = -23*a + 1130, -672 = -3*s + 3*a. Is s a multiple of 26?
False
Let q = 25602 + -25335. Is 83 a factor of q?
False
Let o be (-41*13)/1 - 1. Suppose -1816 = 1904*j - 1906*j + 2*b, 2*j - 4*b = 1826. Let f = j + o. Does 51 divide f?
False
Suppose -101*q = -111*q + 1800. Suppose -3*l - 2*l = 15, -4*l - q = -2*c. Is c a multiple of 34?
False
Suppose 135*o - 36321 - 77214 = 0. Does 48 divide o?
False
Suppose 102*p - 106*p = -5*o + 47764, 19104 = 2*o - 2*p. Is 15 a factor of o?
False
Let f(l) = 173 + 13*l - 99 + 23*l**2 + 11*l - 170. Is f(4) a multiple of 23?
True
Let s = -6234 + 9950. Is 18 a factor of s?
False
Suppose 118792 = -870*u + 878*u. Does 41 divide u?
False
Let t = -47 + 49. Let d be 9 + -9 - (t + -103). Suppose -11*y - s = -16*y + 241, 2*y = 5*s + d. Is 4 a factor of y?
True
Is 5 a factor of (-750)/4*(81 - 83)?
True
Suppose -420*q + 1103980 = -131*q. Is q a multiple of 20?
True
Let b = 4 + -9. Let f(z) be the third derivative of -z**4/4 - 8*z**3/3 + 49*z**2. Does 3 divide f(b)?
False
Does 53 divide 1024045/220 - (-1)/4?
False
Let l = 2872 + -2453. Is 6 a factor of l?
False
Let b(a) be the second derivative of 19*a**3/6 + 19*a**2/2 - 14*a. Let q be b(15). Suppose 6*l = 2*l + q. Is 9 a factor of l?
False
Let s(a) = -a**3 - 3*a**2 + 7*a + 76. Let r be s(-7). Let u = r - 168. Is 2 a factor of u?
False
Let p = 65 - 62. Let c = -20 + 22. Suppose -4*l - c*t - 5 = -43, p*l - 5*t = 22. Is l even?
False
Suppose 0 = -s + 2*s + 5*g - 12, -2*g + 83 = 5*s. Does 8 divide ((-28)/(-12) - 2)/(s/816)?
True
Let n be (24/16 - 3)/(6/(-7232)). Suppose 4*k - n = -4*w - 0*k, w - 3*k = 468. Is w a multiple of 10?
False
Let g = 198 + 316. Let j = -354 + g. Is 16 a factor of j?
True
Suppose -19*d + 16*d + 10222 = 2*w, -4*d = -w - 13611. Is d a multiple of 74?
True
Suppose -48 - 105 = -17*t. Suppose -4*m + 255 = -5*b, -5*m + 330 = -13*b + t*b. Is 3 a factor of m?
False
Suppose -r - 2554 = -k, -7654 = 36*k - 39*k - 5*r. Does 43 divide k?
False
Let z(k) = 597*k + 1007. Is 3 a factor of z(0)?
False
Let c(m) = 2*m**2 + 13*m + 128. Does 22 divide c(10)?
False
Let u(y) = -3*y - 12. Let l be u(-5). Suppose 0 = t - 2*a - 31, -2*t = l*a - 36 + 9. Suppose 240 = 23*p - t*p. Is 24 a factor of p?
True
Let o(h) = h**2 + 15*h - 4. Let x be o(-5). Is -2*(-3)/x - 1088/(-72) a multiple of 2?
False
Let a = 46 - 38. Suppose 0 = 2*m - a, -46 = -3*c + m - 5*m. Suppose -6*i - 112 = -c*i. Does 14 divide i?
True
Let b(d) = d**3 - 2*d**2 - 4. Let z be (-2)/(4 + (-1 - 33/9)). Let h be b(z). Let m(a) = a**3 - 6*a**2 + 11*a - 6. Is 7 a factor of m(h)?
False
Suppose 0 = -10*c + 4*c - 12. Suppose 4*k + 1071 + 89 = 4*f, 0 = 5*f + 4*k - 1459. Is 13 a factor of ((-2)/c)/(3/f)?
False
Let z be (-3 + (-95)/(-25))*-5. Let m be (167 - -1)*6/z. Let u = m + 392. Is u a multiple of 14?
True
Let w = -1071 - -5199. Is 4 a factor of w?
True
Let r(z) = 40*z**2 - z - 17. Let s be r(8). Suppose -29*g = -44*g + s. Is g a multiple of 5?
False
Suppose 62*t - 60 = 57*t. Let u be (2 + 37 + 1)*2. Does 10 divide (u/t)/(4/18)?
True
Suppose 0 = -20*p + 25*p - 65. Let a = p - 1. Is a a multiple of 3?
True
Does 8 divide (3/(-1))/(7/(-8680))?
True
Let h be (-1)/((-414)/(-84) - 5). Suppose 15*o = h*o + 369. Is o a multiple of 9?
True
Let j = 98 + -66. Suppose 3*g - 2*a + 22 = 0, -2*g + 5 - 18 = -3*a. Let y = g + j. Is 10 a factor of y?
False
Let a be (-7)/(-21) - 33/(-9)*-59. Let o = a - -612. Is o a multiple of 44?
True
Does 19 divide 851 + 6/(1*21/14)?
True
Let s = -24 + 27. Suppose 5*a + 4*d - 1650 = -157, s*a = -2*d + 897. Is 43 a factor of a?
True
Suppose 0 = -j + 48 - 15. Suppose 0 = -5*x - f + j, -2*x = -4*x - 2*f + 18. Is (-6440)/(-42) + 4/x a multiple of 14?
True
Let c = 240 - -221. Is c a multiple of 57?
False
Let x = 17965 - 8413. Is x a multiple of 47?
False
Suppose -64 = -3*t + 3*s - 145, -3*t + 5*s - 93 = 0. Suppose -4*l + 4*i - 20560 = 0, 0*i + 2*i = -l - 5137. Is (-8)/(-28) + l/t a multiple of 30?
False
Let r = -498 + 498. Suppose 7*t - 2480 = -4*g + 2*t, 4*g + 3*t - 2472 = r. Does 41 divide g?
True
Let l(n) = 56*n**2 - 23*n - 15. Let f be l(19). Is 4/14*1 - f/(-63) a multiple of 19?
False
Let v(y) = -2*y**3 - 11*y**2 - 10*y - 36. Let b = -115 - -107. Is v(b) a multiple of 13?
True
Suppose 0 = 14*u - 11*u - 75. Does 23 divide (1771/44)/(u/12 - 2)?
True
Let d(x) = -x**3 + 13*x**2 - 9. Let o be d(12). Let j = -39 + o. Is 16 a factor of j?
True
Let v(r) = 15*r**2 + 69*r + 36. Let x(g) = 3*g**2 + 14*g + 7. Let n(a) = -2*v(a) + 11*x(a). Is n(-6) a multiple of 17?
True
Let o be (-952)/70 + 14 - (-8)/5. Suppose o*h - 3*l = 4*h - 39, 2*h - 42 = -2*l. Is 12 a factor of h?
True
Suppose -68*i = -44*i - 26330 - 17422. Is i a multiple of 5?
False
Let c(o) = 5*o - 1. Let i be c(6). Let t = i + -24. Suppose 5*b - 256 = 2*z - 6*z, t*z + 28 = b. Does 12 divide b?
True
Let g(k) = -1047*k + 735. Is g(-7) a multiple of 14?
True
Let l(g) = 24*g + 3. Let z(y) = -1. Let s be -3*(-1)/(-2)*18/27. Let b(c) = s*l(c) - 5*z(c). Does 12 divide b(-5)?
False
Let d(z) = 2 + 0 + 15 + 15 - z. Let q be d(20). Is 35 a factor of 59 + 0*3/q + 0?
False
Suppose -4*j = 115 + 101. Suppose 4*u + 134 = -46. Let d = u - j. Is 4 a factor of d?
False
Suppose -i - 2*m = -7, 20*i = 24*i - 5*m - 54. Is 11 a factor of i?
True
Let g be ((-3)/4)/((-456)/64 + 7). Let z(r) = 11*r**3 - r - 4*r**2 + 3 + 0*r**2 - 10*r**3 - g*r**3. Is z(-2) a multiple of 4?
False
Let x(z) = -24*z - 375 + 21*z - 73*z - 4*z. Is x(-6) a multiple of 10?
False
Let r = 50722 - 30262. Does 22 divide r?
True
Let o(v) = v**2 + v - 36. Let r be o(-7). Suppose 3*l + 615 = 3*z, 0 = -5*l + 16 - r. Is z a multiple of 23?
True
Let f = 67 - 63. Suppose -f*n - 2*n = 0. Is 3 a factor of 49 + ((-2 - n)*1 - -3)?
False
Let b be ((-280)/(-16) - 3) + (-3)/2. Suppose 0 = b*n - 3722 - 5417. Is n a multiple of 37?
True
Suppose -651 = 9*s - 16*s. Suppose 94*u = s*u + 690. Is 18 a factor of u?
False
Suppose -b = 2*s - 16145 - 8391, 5*s + b = 61343. Is s a multiple of 30?
False
Let b(u) = 12*u**2 + 3*u + 36. Is b(4) a multiple of 24?
True
Let f be 36/48*(-48)/(-9). Suppose 420 = 4*y + f*b, b - 405 = -4*y - 0*y. Is y a multiple of 25?
True
Let s(m) = -m**3 - 15*m**2 + 80*m - 27. Let h be s(5). Let o be 2/(2 - 296/146). Let j = o - h. Is 18 a factor of j?
True
Let v = 3586 + -2510. Suppose v = 5*p - 4*d, -12 = 3*d - 0. Suppose -130 = -m - m - 5*o, 3*m - p = o. Is 7 a factor of m?
True
Let x(u) = 251*u - 1814. Is 31 a factor of x(119)?
True
Let s = -22 - -25. Suppose -39 = -2*d + s. Suppose -d*a + 117 = -18*a. Does 20 divide a?
False
Suppose 10*z - 100 +