 j(p) a multiple of 18?
True
Suppose 4*w = 5*g + 163949, -40985 = -120*w + 119*w - g. Is w a multiple of 207?
True
Suppose -55*k = l - 51*k - 13129, 0 = -3*k + 6. Is l a multiple of 99?
False
Suppose 4*c - 1 = -2*o + 3*c, -c + 1 = -5*o. Let m be (-1 + 5 + o)*(-746)/(-8). Suppose 53 = -4*h + m. Is h a multiple of 16?
True
Let m(c) = c**3 - 10*c**2 - 11*c + 4. Let z be m(11). Let f be ((-6)/9)/(z/18). Does 11 divide 66*(f/(-3) + 0)?
True
Is 16 a factor of 2/(-6 - (-196976)/32825)?
False
Let d(a) = a**3 + 3*a**2 - a + 3. Let i(u) = u**3 + 3*u**2 + 3. Let t(k) = -3*d(k) + 2*i(k). Let b be t(-4). Does 13 divide -1*(50/20)/(b/(-26))?
True
Let t be (-15741)/(-135) + 3/(-5). Suppose -458 - t = 7*k. Let o = k - -114. Is 4 a factor of o?
True
Let x = -179 + 247. Suppose -4*j - 56 = -8*j. Let f = x - j. Is f a multiple of 54?
True
Let k(r) = -r**3 + 32*r**2 - 27*r + 87. Is 7 a factor of k(27)?
True
Let z be (12/8)/((-3)/(-4)). Suppose -4*i - j + 349 = 0, i + z*i - 4*j = 276. Is -1 - (-7)/(28/i) a multiple of 13?
False
Suppose 3*c - 5*s - 41 = 21, -5*c + 86 = -4*s. Let k = 397 + -388. Suppose -c*m + 725 = -k*m. Is m a multiple of 29?
True
Let z be (1 - -1) + 1 + (-246 - 0). Let d = z + 427. Suppose d + 131 = 7*w. Does 17 divide w?
False
Suppose 4*p + 5*q - 27448 = 0, 17694 = 4*p - q - 9754. Does 83 divide p?
False
Suppose y - 47 = 3*t, t = -t - 2. Suppose -9441 + 29593 = y*j. Is j a multiple of 38?
False
Let l(z) = 87 + 17*z - 13*z + 162 + 2*z**2 + z**3. Is l(0) a multiple of 10?
False
Let p be (-10 + 12)/(1/(-2)). Let v(q) = 11*q + 16. Let b be v(-4). Let a = p - b. Is a a multiple of 12?
True
Suppose 6*h - 1754 = 2*h - 5*y, 433 = h + 4*y. Let o = h - 269. Is o a multiple of 71?
False
Let m = -7440 - -16337. Is 41 a factor of m?
True
Suppose -5*y - 2*w + 23 = -3, 4*w - 24 = -3*y. Suppose 3*l = y*k + 130 - 47, 4 = -l - 5*k. Is 4 a factor of l?
False
Suppose 8*o - 7*o - 4*x = 23, -14 = 2*o + 4*x. Let s be o/6*16 + -2. Let k = s - -179. Does 22 divide k?
False
Let g = -569 - -2008. Let n = g + 37. Is 12 a factor of n?
True
Let y be 81/18*(-4)/(-18)*3. Suppose 0*z = -2*z + y*m + 55, 38 = z + 2*m. Suppose -4*x + 5*x = z. Is x a multiple of 8?
True
Let y(v) be the third derivative of 5/6*v**3 - 1/4*v**4 - 1/120*v**6 + 0 + 22*v**2 - 1/15*v**5 + 0*v. Does 6 divide y(-4)?
False
Let v be 4*3/(-12)*-2. Is 3 a factor of ((-41)/6)/((-8)/96*v)?
False
Let m(p) = -p + 1. Let b(i) = 7*i + 13. Let s(r) = -b(r) - 6*m(r). Let l be s(-16). Does 15 divide 59 - (3 + -3)/l?
False
Suppose -5*r + 87263 = 4*k, -11611 - 10210 = -k - 3*r. Is 14 a factor of k?
True
Let y(j) be the third derivative of -j**4/24 + 5*j**3 - 6*j**2. Let q(c) = c**2 - 2*c - 24. Let d be q(7). Does 7 divide y(d)?
False
Let v be (-3 + 3)/(-4 - -5). Suppose v = 10*z + 10*z - 4140. Is z a multiple of 18?
False
Is 27 a factor of (8 - (-7 + 22)) + (1645 - 0)?
False
Is 14 a factor of 25374345/1157 + (-6)/39?
False
Let p = 602 + -1124. Does 6 divide 2/(-6)*9/18*p?
False
Is 64 a factor of 12 - 544/48 - (-132088)/12?
True
Let c(r) = r**3 + 5*r**2 - 7*r - 6. Let f be c(-6). Let l(s) = -17*s - 24*s + 56 + 40*s - s**2 - s**3. Is l(f) a multiple of 22?
False
Suppose f = 4*t + 43286, -3101*f + 2*t = -3099*f - 86536. Is 223 a factor of f?
True
Let h(p) be the first derivative of -p**4/4 - 3*p**3 + 3*p**2/2 + 15*p - 214. Let g(d) = d**3 - 7*d**2 + 3*d + 8. Let y be g(6). Does 13 divide h(y)?
False
Suppose -63056 = -66*v - 46*v. Is 19 a factor of v?
False
Let k(w) be the first derivative of w**4 - 2*w**3/3 - w**2/2 + 5*w + 1. Suppose 36 = 5*y + 13*y. Is k(y) a multiple of 9?
True
Suppose 9 = k + 3*s, -27*k = -28*k + 3*s - 9. Suppose 56*z - 53*z - 1803 = k. Is z a multiple of 25?
False
Suppose -d + 5*d = -5*t - 17, 2*d - t - 9 = 0. Suppose 0 = -d*k - 3*u + 74, k - 6*u = -5*u + 42. Is k a multiple of 10?
True
Let w(q) = q**2 - 3*q - 3. Let s be w(5). Let p be 3 - (-12)/(-4) - s. Let h(k) = 2*k**2 + 6*k - 12. Is h(p) a multiple of 22?
True
Suppose n - 22 = 5*k - 4, -3*n - 18 = 3*k. Suppose f - 8 = -f. Is 5 a factor of 115/10 - n/f?
False
Suppose -w + 391 = -3*y - 286, 901 = -4*y + 3*w. Does 15 divide (-7)/21 - y/3?
True
Let f = 6904 + -2057. Is f a multiple of 62?
False
Let t(g) = g**3 - 8*g**2 + 6*g + 5. Let o be t(7). Is 4 a factor of ((-323)/(-38))/(o/(-36))?
False
Let z = -1430 + 796. Let w = z - -1098. Is 29 a factor of w?
True
Suppose -4*c = -4, -2*o + 5*o - 5*c - 151 = 0. Let b = 13 + o. Is b a multiple of 13?
True
Suppose 2*g = -3*z + z + 20, 0 = -4*z + 2*g + 22. Suppose -501 = -z*c - 144. Is 5 a factor of c?
False
Suppose 15*n = 3*n - 1080. Is (6696/n)/((-4)/20) a multiple of 93?
True
Let x(l) = 5*l**2 - 6*l - 15. Suppose -11*q = 52 + 3. Let p be x(q). Suppose -3*a = -5*a + p. Does 10 divide a?
True
Suppose -46*l + 49*l = 5*j - 43758, -5*l - 17526 = -2*j. Is 109 a factor of j?
False
Let c(n) = 122*n + 3541. Is 31 a factor of c(-12)?
True
Is (4 - -1)*176/(-220) - (-4628)/2 a multiple of 33?
True
Suppose 3*o - 135 = 2*l, -1 = o - 4. Let y = 61 + l. Is 5 a factor of y/(54/56 - (0 - -1))?
False
Let i(b) = b**3 + 14*b**2 + 12*b - 30. Let z(u) = -6*u - 66. Let q be z(-9). Does 5 divide i(q)?
False
Suppose o + 3*k = -39, 0 = 4*o + k + 2*k + 111. Let s be o/(-18)*6/4. Suppose 4*t - 3*d - 188 = 0, -4*t - s*d + 168 = -0*t. Does 11 divide t?
True
Is 110 a factor of (-1520)/(-456) - (-107560)/6?
True
Suppose 0 = -2*i - 0*i - 4*u + 20, -2*u = -4*i + 20. Let d be (-2)/3*24/(-16). Does 20 divide (-202*3/i)/(-1) - d?
True
Let t(f) = 56*f**2 + 5*f - 12. Let w(b) = 2*b - 9. Let v be w(6). Let y be t(v). Suppose -10*i + 823 = -y. Is 32 a factor of i?
False
Let v(s) = -12*s**3 + 72*s**2 - 143*s - 42. Let h(f) = -7*f**3 + 37*f**2 - 72*f - 21. Let k(p) = 5*h(p) - 3*v(p). Is k(29) a multiple of 34?
True
Let p(i) = -i**3 + 5*i**2 + 15*i + 1. Let y be p(7). Suppose y*v - 3*v = 150. Suppose -4*w - 468 = -4*h, 3*w - 67 = -h + v. Does 16 divide h?
True
Let r be (-2 - -3)*-2*1503/(-18). Suppose 3364 + r = 11*s. Is 32 a factor of s?
False
Suppose -2*x + 15438 = 4*w, -23*x = -w - 18*x + 3821. Does 53 divide w?
False
Does 35 divide (1360/(-8) + -5)*(-24)/7 + -5?
True
Suppose -k - 3*k = -u - 16, 2*k + 136 = -4*u. Is (u/(-4))/((-3)/(-138)) a multiple of 23?
True
Let k(q) = -5*q**2 - 7*q - 4. Let a be k(-2). Let t(y) = 3*y**2 - 3*y - 91. Is 20 a factor of t(a)?
False
Suppose 0 = r + 173 + 328. Let w = r - -969. Does 36 divide w?
True
Suppose 0 = 24*o - 7*o - 119. Suppose -71 = -o*d - 15. Does 3 divide d?
False
Suppose 3*n + 57697 + 29038 = 2*m, m = -19*n + 43470. Is m a multiple of 5?
True
Suppose 34*j + 6 = 37*j. Suppose -3*l + g + 389 = -706, -5*l = j*g - 1814. Does 28 divide l?
True
Suppose -63*d = 28*d - 250250. Is d a multiple of 22?
True
Suppose -66764 = -4*r - 4*x, 5*x + 50057 = -47*r + 50*r. Does 50 divide r?
False
Suppose -4*w - 145 = 5*v - 9*w, 0 = 3*w + 3. Let u(q) = -11*q**3 + 2*q**2 + q - 1. Let x be u(-2). Let p = x + v. Is 30 a factor of p?
False
Let q(l) = -2*l + 43 + l - 4*l + 4*l. Is q(3) a multiple of 4?
True
Let w = -1298 - -2027. Let n = -497 + w. Is 8 a factor of n?
True
Let l be ((-16)/(-10))/((-36)/(-5850)). Let z = l - 141. Is 4 a factor of z?
False
Suppose 7252 + 1118 = 18*h. Suppose -h + 123 = -2*q - 2*i, 5*q - 5*i - 815 = 0. Is q a multiple of 12?
False
Let t = -24 + 142. Let b = t - 83. Does 10 divide 6993/b - 1*4/5?
False
Let a(m) = -m**3 - 7*m**2 + 12*m + 8. Let z be a(-8). Let g = z - -43. Is 2 a factor of g?
False
Suppose -41 = -3*t - 4*f, -4*f - f + 25 = 2*t. Suppose n - r - r = 16, -t = 3*r. Suppose 0 = -n*p - p + 175. Does 5 divide p?
True
Suppose 4 + 1016 = -12*b. Is b*9/(270/(-228)) a multiple of 24?
False
Is 6 a factor of 9377 + 4 + 0 - (-19)/(-38)*-12?
False
Let u(x) = x**3 - 119*x**2 - 130*x - 3605. Is u(122) a multiple of 174?
False
Let x(v) = -v + 37. Let t(n) = -2*n + 36. Let h(p) = -3*t(p) + 2*x(p). Let q be h(8). Let r(c) = -6*c**3 + 2*c**2 + 4*c + 2. Does 11 divide r(q)?
False
Does 4 divide ((-465)/(-105) - 4) + -11157*(-6)/63?
False
Let z(v) = v**2 + 1. Let u = 35 + -36. Let g be z(u). Does 3 divide 9 - ((-2)/g - -2)?
False
Suppose 0 = 4*z + 4, -51*w + 5*z = -55*w + 15. Is 189/w*610/183 a multiple of 21?
True
Let l(b) = 15*b + 1. Let p(d) = 28*d + 3. Let z(a) = 5*l(a) - 2*p(a). Let t be (96/(-40))/(3