13 - h = -2*b. Is b a multiple of 23?
True
Let o(x) be the third derivative of x**4/4 + 9*x**3/2 - 46*x**2. Let k be o(-4). Suppose l - 70 = -2*n, 0*l = k*n + 4*l - 100. Is 16 a factor of n?
False
Let m(v) = 0 + 156*v - 7*v - 13 - 2. Let a be m(9). Suppose 2*n + 11*n = a. Is n a multiple of 17?
True
Suppose -6*i = -9 - 9. Let d(s) = -12 + 8*s + 3 + 1. Is d(i) a multiple of 5?
False
Suppose 0 = 25*i - 28*i + 18. Suppose y - i*y + 720 = 0. Is 26 a factor of y?
False
Suppose b + 3*i - 938 = -112, 0 = -2*b + 4*i + 1642. Suppose 4*j - b = 1993. Suppose 50*g - j = 46*g. Is 16 a factor of g?
True
Let g(u) = -16 - 19*u + 35*u - 15*u. Let j be g(18). Suppose -24 = -4*s + 2*i, j*s - 6*s + 4*i + 28 = 0. Does 5 divide s?
True
Let y(q) = 6*q - 34. Let r be y(13). Suppose 9*d - 37 - r = 0. Let k(a) = 4*a + 36. Is 21 a factor of k(d)?
False
Suppose 13*i + 2721344 = 114*i. Is i a multiple of 51?
False
Let z = -67 - -45. Let v = -22 - z. Suppose -2*x - 4*r + 322 = v, x + 3*r = 3*x - 294. Is 9 a factor of x?
True
Suppose -2*o - 3*r = 16, 5*o + 4*r + 18 + 8 = 0. Let g be ((-4)/(-6))/(o*(-3)/45). Suppose g*t + 3*l = 39, -7*t = -5*t + 5*l - 8. Does 8 divide t?
False
Let g be (4 - 2)*-1 + 1 + 254. Let n = g + -181. Does 3 divide n?
True
Suppose 4*l = -0*l, 0 = 4*o + 2*l - 64. Let q(u) = u**2 - 35*u + 218. Let j be q(8). Suppose -j*m = 4*c - 32, -o = -m - 0*c + 5*c. Is m a multiple of 8?
True
Let a = 239 + -134. Let d = a + 33. Is d a multiple of 5?
False
Let p(r) = r**3 - 29*r**2 + 101*r - 23. Let y be p(25). Suppose 0 = -5*v - 5, v + 1015 = -y*t + 3*t. Does 89 divide t?
False
Let m(k) = -25468*k + 56. Let r(p) = -8489*p + 19. Let s(h) = -6*m(h) + 17*r(h). Let i be s(-3). Is 20 a factor of 2/10 - i/110?
False
Suppose 0 = 5*x - 2 - 18, -x = 3*f - 22. Let k(j) = j**3 - j**2 - 3*j + 4. Is k(f) a multiple of 10?
False
Let a(f) = f**3 - 9*f**2 + 9*f - 12. Let d = -31 + 39. Let z be a(d). Let w = z + 19. Does 5 divide w?
True
Let h(v) = v**3 + 18*v**2 + 29*v + 136. Let g be h(-18). Let i = 417 + g. Is i a multiple of 2?
False
Suppose -3*o - 302 = -4*o + 5*g, g + 5 = 0. Suppose -2*t = 4*n - 194, -5*t + 2*t + n = -o. Is t a multiple of 4?
False
Suppose 5*m + 4*x - 12528 = 25504, -2*x = 2*m - 15210. Is 141 a factor of m?
False
Suppose 26*k - 59204 - 977286 = 0. Does 35 divide k?
True
Let z(j) = 6*j - 33 - 6*j**2 + j**3 + 26 - 2*j**3. Let f be z(-7). Suppose f = -42*m + 46*m - 496. Is 16 a factor of m?
False
Let z = -13 + 21. Suppose 953 = -9*v + 6893. Suppose -7*y + v = z*y. Is y a multiple of 2?
True
Let y(p) = 4*p**2 - 489*p + 92. Is y(137) a multiple of 131?
False
Let o(w) be the first derivative of -w**4 - 5*w**3/3 - 4*w**2 + 7*w - 45. Does 47 divide o(-3)?
True
Let a = 66 + -36. Let v be 15 + (0 - (2 + 4)). Suppose v*j - a = 6*j. Is j even?
True
Let a be (642/12)/((-4)/40). Let t = 792 + a. Does 28 divide t?
False
Let k be 5*(-3 + 2) - (2 + -4). Let y be ((-126)/(-12)*2/k)/(-1). Suppose 178 = y*r - 291. Does 18 divide r?
False
Let r = -376 - -304. Let b be -2 + -20 + 0 + -1. Let d = b - r. Is d a multiple of 7?
True
Let m be 24*((-184)/276)/((-4)/(-3)). Let t(o) be the first derivative of o**4/4 + 4*o**3 - 4*o**2 - 10*o - 1. Is 19 a factor of t(m)?
False
Let s(o) = 33*o**3 + 28*o**2 - 107*o - 3. Is 237 a factor of s(9)?
True
Suppose h - 1 = -v - 3*v, -3*v - 5 = -5*h. Suppose -3*i = -2*p + 56, 72 = 4*p - v*i + 4*i. Does 7 divide p - 0 - (11 + -7)?
False
Suppose -3*d + 6 = 3*q, 5*q + 11*d - 10*d = 14. Suppose q*w + 15*w = 3510. Is 8 a factor of w?
False
Suppose -4*v - 5*y + 10639 = 0, -69*y + 13335 = 5*v - 70*y. Does 62 divide v?
True
Let a(j) = -97 + 9*j + 87 - 4*j + 9*j - 3*j. Is 16 a factor of a(30)?
True
Suppose 0 = -5*c + 3*c - 74. Let z = c - -84. Suppose -4*g = -213 - z. Does 14 divide g?
False
Suppose -36*i + 2*i = -22372. Is i a multiple of 13?
False
Suppose -5*n = -3*v + 8, v - 2*n = 3*v. Let k = v + 43. Let b = k + -2. Does 9 divide b?
False
Suppose -3*o - 3*k + 414 = -0*k, 4*k + 717 = 5*o. Let z = o + -140. Does 5 divide (4/(-30) + 527/15)*z?
True
Let b be ((186160/12)/(-10))/((-2)/(-6)). Is b/(-39) - (12/9 + -2) a multiple of 6?
True
Let j(q) = -8*q**2 - 5*q - 13. Let n(w) = -4*w**2 - 2*w - 6. Let o(a) = -6*j(a) + 11*n(a). Let u = 23 - 28. Is o(u) a multiple of 18?
True
Suppose 4*c + 3*l - 6 = 0, 3*c - 4 = -5*l + 6. Suppose -7*j + 5*j + 220 = c. Is j a multiple of 3?
False
Let a = -182 - -176. Is -7 + (-1724)/a + (-8)/6 a multiple of 15?
False
Let d be (-2)/(-1)*1/((-2)/9). Let i be d/(-4)*(-576)/54. Let a = 60 + i. Is a a multiple of 12?
True
Let f(y) = 288*y**2 + 51*y - 137. Does 22 divide f(4)?
False
Let g(z) = -264*z + 5. Let p be g(3). Let c = p + 1723. Suppose -3*t + c = -2*x + 5*x, 3*t = 0. Is x a multiple of 12?
True
Let a(r) be the third derivative of 5*r**5/6 - r**4/12 - 7*r**3/3 + 30*r**2 - 2*r. Is 13 a factor of a(-3)?
True
Is 18 a factor of (-8)/(-7) + (-1061476)/(-959)?
False
Let n be 3/(-6)*0 + 22. Suppose -774 = 20*l - 2214. Is l - (21/(-49) + n/(-14)) a multiple of 11?
False
Suppose 37*p - 10 = 32*p. Let f be p/16*-2 + (-162)/(-8). Is ((-16)/f)/(4/(-460)) a multiple of 46?
True
Let x(z) = -z**2 - 15*z - 44. Let d be x(-5). Does 65 divide (62 - -1)/(((-72)/(-156))/d)?
False
Suppose 5*w + 2*c = 5*c + 1254, -c = -3*w + 754. Let t = w + 216. Is t a multiple of 26?
True
Suppose 7*p = 2*p + 17655. Suppose -6569 = -20*j + p. Does 20 divide j?
False
Let w(y) = -9*y**2 - 6*y - 2. Let q be w(-4). Suppose 8*m - 3857 = 28*m + 9*m. Let l = q - m. Is l a multiple of 9?
False
Let n(p) = -p. Let w be n(-1). Suppose -20*z + 48 = -24*z. Is (-268)/z + w/(-3) a multiple of 11?
True
Suppose 4*n - 76*q + 79*q - 6850 = 0, -5*n + 3*q = -8603. Is n a multiple of 9?
False
Let u = -180 - -569. Let p = -172 + u. Suppose g + p = 5*t, 4*t + g + 41 = 5*t. Is t a multiple of 11?
True
Let z(t) = -5*t - 61. Let h be z(-14). Does 8 divide 44*((h - 4 - 1) + 4)?
True
Suppose -2*z - 67 = -11. Let p = -52 - z. Is 6 a factor of (-822)/p - -2 - 2/8?
True
Let m be 24/(-9)*(-1 - 89/(-2)). Is 18 a factor of -273*(-3 - (2 - m/(-28)))?
True
Let g(r) = -8*r + 102. Let x be g(14). Does 26 divide ((-12)/(-2) - (-7 - x)) + 270?
False
Suppose 39*v - 3407 - 6538 = 0. Is v a multiple of 51?
True
Suppose -16*y = -11*y - 45. Let j = 9 - y. Does 5 divide (1 + j)/(12/180)?
True
Let k be ((-48)/120)/(2/(-9540)). Suppose 10*n - 4*n = k. Is n a multiple of 44?
False
Let r(t) be the first derivative of -t + 27. Let o(x) = -x**3 + 4*x**2 + 6*x + 11. Let l(y) = -o(y) - 4*r(y). Is l(7) a multiple of 49?
True
Let b = 80 + -74. Does 49 divide 427 + 6/b + 1?
False
Let d be 2/(-4)*(-11)/22*16. Suppose -2*v - 687 = -i, 0 = -i + d*v + 782 - 103. Is i a multiple of 41?
False
Suppose 0 = 16*k - 6*k - 180. Is 3 a factor of (102/(-68))/((-1)/k)?
True
Suppose 33*b + 63*b = 2149440. Does 104 divide b?
False
Let j(y) = 2*y**3 - 31*y**2 - 75*y + 330. Does 107 divide j(29)?
False
Let j(c) = -c**2 + 6*c - 6. Let m(v) = 3*v - 20. Let y be m(8). Let a be j(y). Suppose -a*g = -6*p + 2*p - 96, 0 = g - p - 51. Is g a multiple of 8?
False
Let f(u) = u**3 - 44*u**2 - 54*u - 43. Does 55 divide f(46)?
True
Suppose -67 + 27 = -10*a. Suppose 3*w - 4*w - 2 = 5*y, -a*w - 8 = 3*y. Is 8 a factor of 67/1 - (3 + y)?
True
Let a = -184 - -2464. Suppose -24*k = -4*k - a. Does 9 divide k?
False
Let w = -174 - 72. Let k = 343 + w. Is k a multiple of 3?
False
Suppose 59804 = 2*g - 5*j, -2*g - 2*j - 12999 = -72845. Is 19 a factor of g?
False
Let f(m) = 985*m + 3575. Is f(8) a multiple of 77?
False
Let g be ((-66)/8)/(-11) - (-22)/(-8). Is g - (-3335)/4 - 2/(-8) a multiple of 32?
True
Let w(o) = o**3 + 6*o**2 + 13*o + 10. Let h be w(-3). Is 6 a factor of (-280)/(h/2)*54/72?
True
Let l(x) = -323*x + 2397. Does 29 divide l(7)?
False
Let a = 384 - 178. Suppose 3*b = -62 + 2. Is 27 a factor of b/(-16) + a/8?
True
Let k be 2/(-1)*(0 - 1). Let w be -4*(-44)/32*k. Suppose -89 = w*p - 848. Does 26 divide p?
False
Suppose 1869 = -2*o - 5*h, -2*o + 16*h = 14*h + 1848. Let j = o + 1152. Is j a multiple of 5?
True
Suppose 17*g - 30*g + 931392 = 35*g. Is 99 a factor of g?
True
Let x be (-3)/((-6)/26) + 26 + -27. Suppose x*g + 2*g = 3066. Does 13 divide g?
False
Let x = -30 + 33. Suppose -2 = x*y + 10. Is 4 a factor of ((-16)/(-6) - y)*3?
True
Suppose -