of 20?
True
Suppose -5*i = -4*m - 11, 3*i = -4*m + 8 + 5. Suppose 2*y + i = 287. Is 17 a factor of y?
False
Suppose 138 = 7*a - 2*a + d, 3*a - d - 86 = 0. Suppose r + 2*c - 2 = 4, -5*c = -4*r - a. Is 10 a factor of (-363)/(-18) + r/12?
True
Does 14 divide ((-3572)/(-235))/((-2)/(-145))?
False
Let j = -413 - -287. Is 5/3*j/(-14) a multiple of 15?
True
Suppose 0*r = 6*r - 30. Suppose -4*s + 112 = q - r*q, 5*q = -5*s + 190. Is 11 a factor of s?
True
Let j(a) = 287*a - 218. Is 21 a factor of j(3)?
False
Let c(s) be the second derivative of -s**5/20 + 5*s**4/6 + 5*s**3/3 + 15*s**2/2 - 4*s. Let n be c(11). Suppose 2*l = -n*l + 474. Does 30 divide l?
False
Suppose 0 = -2*y - 2*y + 4*p + 404, 5*y - p - 485 = 0. Suppose 60 = 2*g - y. Let w = -46 + g. Is w a multiple of 13?
False
Let h(i) = -21*i**2 + 33*i - 61. Let k(r) = 5*r**2 - 8*r + 15. Let v(u) = 2*h(u) + 9*k(u). Does 26 divide v(8)?
False
Suppose -80 = -5*a + 4*x, -5*a + x + x = -70. Let u be (63/(-6))/(a/(-32)). Suppose 0 = z + 3*z - u. Is z even?
False
Let p = -2681 + 7806. Is p a multiple of 80?
False
Let f(l) = -4*l**3 - l**2 + 2*l + 2. Let r be f(-1). Is (-7)/((r/15)/(-1)) a multiple of 18?
False
Suppose 2*w - 119 = w. Let m = 212 - w. Let u = m + -21. Is u a multiple of 22?
False
Suppose -73*a = -67*a - 300. Is a even?
True
Let l(y) = -y + 111. Let s be l(0). Suppose g - 4*r - 59 = 0, -3*g - r + s = -53. Does 11 divide g?
True
Let o(b) = 107*b - 14. Does 17 divide o(4)?
False
Suppose 27*o + 24 = 28*o. Let f(i) = i**3 + 3*i**2 - 4*i + 3. Let z be f(-4). Suppose j - o = 2*x, 3*j + 2*j - 92 = z*x. Is j a multiple of 16?
True
Let n(q) = q**3 - 5*q**2 + 5*q - 2. Let x be n(4). Suppose 0 = -v + x + 34. Suppose s = 3*s - v. Does 9 divide s?
True
Let w = 10 + 115. Let f = -5 + w. Suppose f = -0*u + 5*u. Is u a multiple of 12?
True
Let b(v) = -v**2 - 12*v - 14. Let d(p) = 6*p. Let w be d(1). Let c(q) = -q. Let j be c(w). Is 11 a factor of b(j)?
True
Let j = 19 + -19. Suppose 0*a + a - 79 = j. Is a a multiple of 12?
False
Let s = 12906 + -8022. Does 12 divide s?
True
Let r = -344 + 704. Is 6 a factor of r?
True
Suppose 18*h = 7*h + 16896. Is h a multiple of 94?
False
Let d(n) = -14 + 7*n - 7 - 7. Is 11 a factor of d(13)?
False
Suppose -2*w - 5*t = -758, w - 156 - 222 = -3*t. Is 24 a factor of w?
True
Let a(o) = -31 - 5*o + 3*o + 34. Is 3 a factor of a(-12)?
True
Suppose 4*s = -32 + 12. Let u(b) = -18*b + 1. Does 16 divide u(s)?
False
Let f = -454 + 2104. Does 55 divide f?
True
Let h(u) = -65*u. Let i be h(2). Let z = 40 - i. Is z a multiple of 12?
False
Let b(i) be the third derivative of -i**5/60 + i**4/3 + i**3/3 - 11*i**2. Is b(4) a multiple of 7?
False
Let w(d) = 41*d + 91. Is 7 a factor of w(22)?
False
Let t(r) = -r**2 + 2. Let i be t(-2). Let v be 42 + -4 + 2 + i. Let u = -24 + v. Is u a multiple of 14?
True
Let f(s) = -34*s**3 - s. Let u = -35 - -44. Suppose -a - 10 = -u. Does 7 divide f(a)?
True
Let f(v) = -v**3 + 10*v**2 - 5*v + 2. Is 8 a factor of f(4)?
False
Let a(o) = -o**3 + 7*o**2 - 4*o - 9. Let i be a(6). Suppose 0 = -4*r - i*b + 357, 2*b = -4*r + 255 + 103. Is 15 a factor of r?
True
Let v(u) = -33*u + 2. Let i be v(-1). Suppose 0 = 7*r - 2*r - i. Suppose 87 + 25 = r*y. Is 4 a factor of y?
True
Suppose -2*b - 2*b = -24. Suppose 4*h + 4*r = 108, 4*r + 135 = -h + b*h. Is h a multiple of 27?
True
Let v(o) = o + 7. Suppose 21*s = 16*s. Is 4 a factor of v(s)?
False
Suppose -5*f + x - 9 = 7, 0 = f - 2*x - 4. Is (1 + 474/f)*(-9 - -7) a multiple of 12?
False
Let k(a) = 2*a**3 + 16*a**2 - a - 3. Let w be k(-8). Suppose -2*c = -2*f - 2*f - 130, w*c - f - 334 = 0. Is c a multiple of 4?
False
Suppose l + 335 = 4*k - 7, -4*l + 162 = 2*k. Suppose -k = -2*b - u, -b + u = -u - 45. Let m = b + 0. Is m a multiple of 8?
False
Suppose 3*z = -5*n + 15, 3*n = -0*z + z + 23. Suppose r = -n*r + 770. Is r a multiple of 13?
False
Suppose 12*b - 20517 = -9*b. Is 19 a factor of b?
False
Is (-14688)/64*8/(-6) a multiple of 34?
True
Let r be 15*(-1 + 4/3). Let m(w) = w**3 + 9*w**2 + 3*w - 40. Let x be m(-8). Suppose r*y - 3*y + 16 = 2*b, x = -3*b + y + 24. Is b even?
True
Let n = 35 + -29. Is 17 a factor of ((-226)/n)/(1/(-3))?
False
Let u(g) = -g**2 - 7*g + 11. Let h = 34 + -22. Suppose 8*l - 20 = h*l. Is u(l) a multiple of 3?
True
Let s be -2 + (6/1 - 1). Suppose -3*r = 5*i - 45, -s*r + r + 3*i + 49 = 0. Is r a multiple of 13?
False
Suppose -t = -5*t + 260. Suppose 5*c = 2*g - 0*c - t, 2*c = -3*g + 50. Does 10 divide g?
True
Let z = 4452 - 3116. Is z a multiple of 34?
False
Suppose -r + 4*o = -540, 0 = -131*r + 136*r - 3*o - 2683. Does 4 divide r?
True
Let j be 6/12 - 7/(-2). Suppose j*p = -v - 3*v + 4, 2*p - 14 = 2*v. Does 2 divide p?
True
Let d = 166 + 140. Is 9 a factor of d?
True
Let s be 1*(3/9 - (-1)/(-3)). Suppose 44 = o + 3*g - g, s = 4*g - 4. Does 14 divide o?
True
Suppose -l + 242 = -4*g, 11*l = 9*l - 5*g + 497. Is l a multiple of 3?
True
Suppose 426 = 3*c + 3*m, -3*c - 5*m - 112 = -4*c. Is 37 a factor of c?
False
Suppose -10 = -2*j + 5*t, 2*j - t = 7 + 19. Suppose j*s = 6*s + 153. Is s a multiple of 16?
False
Let x = -237 - -265. Does 14 divide x?
True
Suppose -5*x - u - 1869 = 0, 4*u + 830 = -2*x + 86. Let j = x + 562. Is j a multiple of 33?
False
Suppose 0 = 37*o - 7226 - 39394. Does 35 divide o?
True
Suppose h + 21 = 26. Suppose t - 4*t - h*n = -1360, 1819 = 4*t + n. Is t a multiple of 65?
True
Let w = -17 - -20. Suppose -5*s - 18 = -3*r + 22, -w*r + 2*s = -52. Is r a multiple of 6?
False
Suppose 0 = 2*h + h + 6, h = m - 196. Let g = 11 + m. Suppose 4*t - 167 = d, -g = -5*t - d + 3*d. Does 13 divide t?
False
Suppose -14*i = -3*i - 847. Is 7 a factor of i?
True
Suppose -f - 4*i = -640, f + 3*i - 2*i - 628 = 0. Does 12 divide f?
True
Let d(o) = o**3 + 10*o**2 + 9*o + 10. Let u(s) = s**2 - 11*s - 2. Let j be u(12). Let k = 1 - j. Does 3 divide d(k)?
False
Suppose -3*i - 3*a - 162 = 0, -3*a = 2*i - 3*i - 54. Is (i/15)/(-3*1/20) a multiple of 6?
True
Let r(z) = -2*z**2 - 39*z - 13. Let h be r(-17). Suppose o - 4*o = -q + h, -3*o = -4*q + 261. Does 9 divide q?
True
Let l(h) = -h**2 - 15*h + 2. Let t be l(-15). Suppose 4*s - 13 = 7. Suppose t*o + z - 19 = 98, o - 45 = -s*z. Is 30 a factor of o?
True
Is 6 a factor of 3 - ((390/(-6))/5 + -2)?
True
Suppose -m - 5*a + 247 = -2*a, 2 = -a. Is 64 a factor of m?
False
Let x be (0 + 90)*10/3. Suppose -x = 6*j - 1230. Is j a multiple of 31?
True
Let t(k) = -3*k + 1. Let p be t(-1). Suppose 3*l - m - 362 = -3*m, -p*m + 600 = 5*l. Is 31 a factor of l?
True
Suppose -37*d + 3716 = -3277. Is d a multiple of 6?
False
Suppose 8 = 4*q + 3*r, 6*q - 3*q = -r + 6. Let g be (q/4)/((-4)/104). Let n(l) = -7*l + 15. Is 14 a factor of n(g)?
False
Let n(t) = -4*t - 46. Let k be n(0). Let m = -2 - k. Is 20 a factor of m?
False
Suppose -3*r - m + 4 = 0, 8*r = 7*r - 2*m - 2. Let k = -33 - -533. Does 28 divide k/12 - r/(-6)?
False
Let f = 3 - 0. Is 6 a factor of f/6 - (-105)/6?
True
Let w = -5 + 147. Let f = w - 81. Is 6 a factor of f?
False
Let r(n) = -n**3 + 3*n**2 + 10*n + 6. Let g be r(-6). Suppose h - g = -4*h. Let t = h - 34. Does 10 divide t?
True
Let q(v) = -2*v - 8*v - 524 + 609. Is 5 a factor of q(0)?
True
Let o = -39 + 63. Is o a multiple of 2?
True
Let o = 2619 + -2010. Does 7 divide o?
True
Let q(o) = -o**3 + 4*o**2 - 8*o**2 + 0*o**2 - 3 + 10*o. Let n(b) = 2*b**3 + 9*b**2 - 20*b + 6. Let m(h) = 3*n(h) + 5*q(h). Is m(-8) a multiple of 18?
False
Is 12 a factor of 4/(-5) + 567/15?
False
Suppose -j + 2 = 5*n + 3, 4*j + 4*n = -20. Does 12 divide -249*(20/j)/5?
False
Let h = -48 - -52. Let k(s) = s**2 + 3*s - 2. Is k(h) a multiple of 17?
False
Let c = 38 - 23. Let t = c - 13. Suppose -t*r - r = -75. Does 12 divide r?
False
Let c(x) be the first derivative of -1 - x - 1/2*x**2 - 4/3*x**3 - x**4. Is 22 a factor of c(-3)?
False
Let l = -6 - -9. Suppose -2*s = l*s. Let g(j) = -j + 48. Is 12 a factor of g(s)?
True
Let r(m) = -m**3 + 11*m**2 + 9*m - 4. Is 10 a factor of r(8)?
True
Suppose -43*u = -39*u - 144. Let s = u + -38. Is 72 + s + (-3)/(-3) a multiple of 20?
False
Suppose 2*h = -2*u + 9 + 1, 3*h = -4*u + 21. Let s(f) be the third derivative of f**4/24 + 7*f**3/6 + 2*f**2. Is 7 a factor of s(u)?
False
Let k(c) = c + 7. Let r be k(-3). Suppose 4 = w + 2. Let x = r + w. Is 3 a