. Let c = r - o. Is 6 a factor of c?
True
Let u be (4/(-10))/((-2)/(-140)). Let i be 58/(-203) - (-3 - (-556)/14). Let b = u - i. Is 2 a factor of b?
False
Suppose 74*o - 1931090 = 307188. Is o a multiple of 203?
True
Let b be 4/(-2) - (0 - -6). Let t be 1 - (16/(-6))/(b/(-24)). Suppose -t*a = 7 - 79. Is a even?
True
Let p be 1 - 4/2 - 2. Suppose 4*m + 2*c = 82, 8*m - 2*c = 13*m - 103. Let k = m + p. Is 6 a factor of k?
True
Let l(t) = -26*t**2 + 12*t + 36. Let m(q) = -25*q**2 + 11*q + 36. Let a(n) = 5*l(n) - 6*m(n). Is 22 a factor of a(-4)?
True
Let x = 12954 + -7728. Does 26 divide x?
True
Suppose 16*z + 2*c = 11*z + 3027, 0 = -3*z - c + 1816. Is 11 a factor of z?
True
Suppose -12 = -14*o + 18*o. Let u = 40 - o. Suppose 6*m = 209 + u. Is m a multiple of 14?
True
Let i(y) = y**2 - 6*y + 12. Let p be i(3). Let h be 3/(12/(-75)*-19 - p). Suppose -5*k + 15 = 0, 0 = -2*b - k + 6*k + h. Does 12 divide b?
False
Let j = 1324 + -670. Let p = -637 + j. Is p even?
False
Let f = -27 + 19. Let t(q) = 21*q**2 + 158*q + 2. Does 3 divide t(f)?
False
Let q = -1116 + 1963. Let r = -323 + q. Does 13 divide 6/(-15) + r/10?
True
Suppose 27*x + 26039 = 32*x + 4*m, 26033 = 5*x + 3*m. Is x a multiple of 89?
False
Let n(b) = 3*b**3 - b**2 - b + 2. Let w be n(1). Suppose 0 = w*r - 0*t + t - 3, 0 = -t - 3. Is -3 - (r - 2) - -171 a multiple of 28?
True
Suppose -3*f + 3*g - 29 + 2 = 0, -3*g = 2*f + 13. Is (39 + (-4)/2)*(21 + f) a multiple of 13?
True
Suppose 2*j + 19 = -g, 38*j = 35*j + 3*g - 42. Let z(u) = u**3 + 9*u**2 - 41*u - 65. Does 24 divide z(j)?
True
Let d be -8 - 0 - (-5862)/(-3). Let o = d + 3402. Does 96 divide o?
True
Let t(b) = 326*b. Let w be t(11). Let g be w/(-33)*30/4. Is 0 + -1 + g/(-5) a multiple of 18?
True
Let n(r) = 377*r - 888. Does 9 divide n(6)?
False
Let b be 24/30*(-35)/(-2). Is 43 a factor of 5496/21 - 3 - b/(-49)?
False
Let w(o) = -o**3 + 81*o**2 - 137*o - 251. Is 44 a factor of w(79)?
True
Suppose -2*l = -3*h - 7*l + 160, h = -2*l + 53. Is 5 a factor of h?
True
Does 197 divide ((-41708)/8 + -7)/((-7)/14)?
True
Let l(i) = i**2 - 14*i - 37. Let p be l(-3). Suppose p*v - 9*v - 2765 = 0. Is v a multiple of 35?
False
Let m(k) = -5*k - 14. Let d be m(-3). Is ((-1064)/(-98) + -10)/(d/343) a multiple of 14?
True
Let h(q) = -q**3 - 11*q**2 - 19*q - 6. Let v be h(-9). Suppose -2*k - 313 = -2*z - 5*k, -v*z + 4*k = -427. Suppose x = z + 175. Is x a multiple of 17?
False
Suppose -d = 5*d. Suppose -8*z + 14*z - 12 = d. Suppose -7*j + z*u - 134 = -9*j, 3*u + 47 = j. Is 11 a factor of j?
False
Is 21 a factor of 12 + (7 - 10) - -3477?
True
Let s(u) = 7*u**3 + 10*u**2 + 4*u. Let x be s(-4). Let v = -226 - x. Is v a multiple of 13?
True
Let r = 18153 + 22060. Is r a multiple of 34?
False
Suppose -10*d + 2070 = -15*d. Is 23 a factor of (-1*8/24)/(2/d)?
True
Is 829 + 32/(-7) + 6 + (-630)/98 a multiple of 8?
True
Let u = 161 - -189. Suppose 0 = -4*s + 1570 - u. Let m = s - 174. Is 9 a factor of m?
False
Is 58 a factor of (23/4 + 3)*(-15 + (-10665)/(-15))?
True
Let x = 6 + 0. Suppose 259 + 185 = 4*w. Is ((-3)/(-2))/(9/x) + w a multiple of 16?
True
Let o = 133 + 31. Let q = -48 + o. Is q a multiple of 5?
False
Let a(l) = 20*l**2 + 15*l + 3. Let s be a(-6). Let q = 87 + s. Is 20 a factor of q?
True
Suppose 156*d - 306248 + 6937 = 102233. Does 117 divide d?
True
Suppose -2*j - 170 = -46. Let n = j - -77. Suppose t + 150 = 4*y - t, 0 = 3*t + n. Does 7 divide y?
True
Does 4 divide (0 - (-315)/(-10))*(1085/(-15) - 5)?
True
Let y be 16/40*10 - -439. Suppose 2*c - 5*f - y = 0, c + 4*f - 227 = f. Is 4 a factor of c?
True
Suppose -4*l = -4*z, 3*z - 4*l + 6 = z. Suppose 6*n = -z*n + 36. Suppose -n*w - 320 = -4*s, -103 = -3*s - 4*w + 165. Is s a multiple of 14?
True
Suppose -5*q + 7*r - 2*r = -10, 22 = 2*q + 4*r. Is 4 a factor of (6/(-9))/(q/(-30)) + 22?
False
Let s(h) = -h**3 - 4*h**2 + 2*h + 2584. Is 113 a factor of s(0)?
False
Is 113 a factor of (-13)/((-156)/(-18))*-2 + 15139?
True
Suppose -5*v - 7*s - 30255 + 88290 = 0, 0 = 2*s. Does 14 divide v?
False
Is 11*3*((-14 - -489) + -27) a multiple of 21?
True
Suppose 8*k - 16624 = -g + 11*k, 0 = 2*g - 5*k - 33244. Is 26 a factor of g?
False
Let r be 469/(-42) + 1/6. Let t = -8 - r. Does 5 divide (4/t)/((-2)/(-15))?
True
Suppose 5*p + 3*z - 6 = 2*p, p - 4*z = 7. Suppose -p*t = 15, -2*t - 2*t - 28 = -4*x. Suppose 2*s - 22 = -5*b + x*b, 5*s = 4*b + 32. Is s a multiple of 8?
True
Suppose n - 1815 = 2*u + 2095, 4*u - 8 = 0. Is 103 a factor of n?
True
Let a = -7224 - -7240. Let w(p) = 7*p - 12 + 2 - 4*p. Is w(a) a multiple of 19?
True
Suppose -259*p + 2428 = 2*t - 256*p, t - 1207 = 2*p. Does 3 divide t?
False
Let l(a) = a**2 + 109*a + 1151. Is l(-101) a multiple of 7?
True
Suppose -18*z + 335934 = 16*z + 20*z. Is z a multiple of 32?
False
Let h(m) = -m**3 + 9*m**2 - 11*m + 16. Suppose -2*o = 3*o - 30. Let x be h(o). Suppose -x = -5*w + 532. Is 7 a factor of w?
False
Suppose -158 = -10*s + 372. Let w = s - 39. Suppose -w*c + 19*c = 580. Is 38 a factor of c?
False
Suppose -5*k = -2*l + 11, 0*l + 4 = l - k. Let m = -1053 - -1599. Suppose -l*r - 165 = -m. Does 30 divide r?
False
Suppose 5*a + 61 + 1094 = 0. Let r = -129 + 128. Is -1 - -2 - a/(2 - r) a multiple of 13?
True
Is (-6 - -2653)/(5/(-5) + 2) a multiple of 23?
False
Let a(i) = -i - 18. Let b be a(-5). Let f be 4/(8/122) + 0. Let s = f + b. Is 24 a factor of s?
True
Suppose 0 = 2*o + 187 - 43. Suppose 0 = -4*k + 2*p - 554, 13*p - 11*p = -5*k - 688. Let u = o - k. Is u a multiple of 22?
True
Let u(h) = -49*h - 748. Does 39 divide u(-28)?
True
Let a = -393 - -673. Let y be 47/7 - (-6 - a/(-49)). Let j(u) = u**3 - 6*u**2 - 9*u + 17. Is j(y) a multiple of 3?
True
Let m(u) = -3*u**3 + 11*u**2 + 21*u - 16. Let a be m(-7). Suppose -2*o - a = -6*p + p, -4*p = -5*o - 1141. Is p a multiple of 49?
False
Suppose v + 0*v = 0. Suppose 3701 - 390 = -79*u - 7. Does 7 divide (v + -24)/(63/u)?
False
Let d(y) = -2*y**2 - 21*y - 125. Let k be d(-11). Let c = -36 - k. Is c a multiple of 20?
True
Suppose 46*f = 14*f - 16000. Let v = -453 - f. Is v a multiple of 22?
False
Suppose 293943 = 97*r - 227820. Does 33 divide r?
True
Suppose -3*y + 4*k - 4006 = 0, 5*y + k + 6696 = -2*k. Let b be 8/(-10) + y/(-10). Suppose 5*w + s - 725 = 3*s, w + 2*s = b. Is 13 a factor of w?
True
Suppose -372*d + 622982 = -299*d. Does 37 divide d?
False
Let c(h) = 2*h**2 + 26*h - 24. Let i be c(-14). Suppose i*t = 16 - 4, 2*t = -4*m + 542. Is m a multiple of 54?
False
Suppose -173*k + 176*k - 92254 = -2*m, -3*m = 3*k - 138378. Is 82 a factor of m?
False
Let a be 8/(-10)*5*1/(-2). Suppose 0*l + a*l - 6 = 0. Suppose -l*q = -181 - 29. Does 12 divide q?
False
Let p(f) = -5*f + 6. Let o be p(3). Let u(d) = -d + 5*d + 9*d**2 - 4 + d**3 - 3*d - 3*d. Is 4 a factor of u(o)?
False
Let l(r) = -91*r**3 - 2*r**2 - 93*r - 180. Is 11 a factor of l(-2)?
True
Let j(n) = n**3 + 10*n**2 - 10*n + 15. Let b be j(-11). Is b/(-6)*948/(-8)*6 a multiple of 23?
False
Suppose i - 3*i = 18. Let c(d) = -d**2 - 11*d - 3. Let j(h) = -4*h**2 - 44*h - 10. Let a(z) = 9*c(z) - 2*j(z). Is a(i) a multiple of 8?
False
Let d be 2 + 1 - (-390)/(-13). Let o = -11 - d. Is o even?
True
Let p(s) = -22*s + 3. Let w be p(-2). Let a = -43 + w. Does 4 divide (-8)/(-16) - (-114)/a?
False
Let x = -48 + 42. Let n = x + 17. Suppose n*b - 27 = 10*b. Is b a multiple of 5?
False
Let o = 2 + 3. Suppose 2*c - 689 = -3*f, 6*c - 2*c - 1145 = -5*f. Suppose m + 3*m = -o*x + f, 3*m = 5*x + 166. Is m a multiple of 32?
False
Let f = -639 + 1007. Let b = -281 + f. Does 29 divide b?
True
Does 169 divide ((-6760)/7)/(7*(-2)/98)?
True
Let s be 99 - (-4)/4*-1. Let y = s + -107. Is ((-15)/y)/((-1)/(-18)) a multiple of 4?
False
Let u = 1356 - 450. Suppose 3*y - 3606 = -u. Suppose 5*o + 5*r - y = 0, 0 = -o + 5*r + 58 + 128. Is 14 a factor of o?
False
Let k = 3334 - 2481. Is k a multiple of 40?
False
Let l be (-40)/4 - -3 - -10. Let b(m) = -5*m**3 - 3*m**2 + 13*m - 6. Let j(p) = 6*p**3 + 3*p**2 - 14*p + 7. Let k(q) = 7*b(q) + 6*j(q). Does 7 divide k(l)?
True
Does 80 divide (-4)/(-1) + -7 + (-85476)/(-12)?
True
Let p = 15424 - 13717. Is 2 a factor of p?
False
Let o(d) = -11*d**2 - 31*d + 7. Let f be o(-7). Let k = 467 + f. Is 26 a factor of k?
False
Let f = 99 + -95. Suppose -86 - 246 = -f*n