 0, -i*l = -4*z - 48. Does 15 divide l?
True
Let x(w) = -w**3 - 5*w**2 + 56*w + 25. Does 15 divide x(-14)?
True
Suppose -86 - 22 = 12*v. Suppose -5*h + 0*h = 25. Does 15 divide h/((-15)/v) + 60?
False
Let t(q) = -40*q - 2. Let r be (39/26)/(3/(-4)). Is 26 a factor of t(r)?
True
Suppose -2*r = 1 + 15. Let h = -6 - r. Suppose -h*z + 56 = -4*v, 2*v + 68 = 3*z - 32. Does 12 divide z?
True
Suppose 4*w - 150 = w + 3*m, -2*m - 148 = -3*w. Is w a multiple of 3?
True
Let n(v) = 11*v**2 + 11*v + 122. Is 73 a factor of n(-7)?
True
Let a(g) = g**2 + 21*g - 151. Is 81 a factor of a(8)?
True
Let a(p) = -2*p**2 + 1. Let k be a(-5). Let c = k + 56. Does 6 divide c?
False
Let p(v) = v**2 - v - 6. Let j = -10 - -10. Let y be p(j). Let a(b) = -8*b + 5. Does 17 divide a(y)?
False
Let j(g) = -g**3 - 33*g**2 - 63*g + 69. Does 9 divide j(-31)?
False
Let q(a) = 3*a**2 + 41*a + 152. Is q(-6) even?
True
Let k(a) be the third derivative of a**5/60 + 5*a**4/24 - 5*a**3/6 + 2*a**2. Suppose 0 = 3*j - 0*j - 15. Does 10 divide k(j)?
False
Let w(q) = 54*q + 1. Let c be w(1). Suppose 0 = -5*p - 25, 2*m - 5*p - c = m. Is m a multiple of 15?
True
Suppose j + 3*s = 8, 3*s - 7 = -1. Suppose j*p = -l + 5*p + 16, p + 32 = 2*l. Is 3 a factor of l?
False
Suppose -3*f + 135 = 2*b - 37, 5*f - 316 = 4*b. Is f a multiple of 6?
True
Let p be -32*((-245)/(-10) + -3). Is 9*4/90 + p/(-5) a multiple of 11?
False
Suppose 0 = -y + 68 + 15. Suppose 3*w + 2*w - 130 = 0. Let t = y - w. Does 19 divide t?
True
Let j(w) = -w**2 + 5*w + 6. Let h(c) = -c**2 + 5*c + 6. Let k(q) = -4*h(q) + 5*j(q). Let t be k(6). Let b = 16 - t. Does 8 divide b?
True
Let j be (1092/9)/((-1)/(-3)). Suppose 3*y - j = -4*l, 4*l + y = 247 + 125. Is l a multiple of 17?
False
Let q(a) = -a**2 - 8*a - 3. Let x be q(-7). Suppose 82 = 2*j + x*z, -j - 2*j + 130 = -z. Let v = j - 25. Is 6 a factor of v?
True
Suppose -q + 8 + 0 = 0. Let r be 8/32 + 190/q. Let a = r - 4. Is a a multiple of 4?
True
Let r = -687 + 2657. Does 31 divide r?
False
Suppose 2*h + 15 = -4*j - 65, -j - 10 = -2*h. Is -3 - -3 - j/(1 - 0) a multiple of 16?
False
Suppose -5*y - 1725 = 35*r - 36*r, -4*y - 6916 = -4*r. Is r a multiple of 8?
False
Let v(n) = -8*n + 64. Let k be v(30). Suppose 825 = 2*d + d. Let w = d + k. Does 18 divide w?
False
Let t(m) = -m**3 - 5*m**2 - 3*m + 3. Let v be t(-4). Let f be (-35)/25 + 1 - 334/(-10). Is f - (-2 + 2 + v) a multiple of 17?
True
Suppose -4*r + 586 = -110. Is 6 a factor of r?
True
Suppose -2*z + 10 = 0, -139*z + 136*z = 4*i - 2895. Does 36 divide i?
True
Suppose -a - 2*a = -15. Suppose -5*t + 10 = m - t, -a*m - 2*t = -14. Suppose -m*l + 0 = 10, 5*q + 5*l - 85 = 0. Is q a multiple of 15?
False
Suppose 3*h - j + 0 = 64, -3*j + 28 = h. Let w be (10/6)/(2/102). Let p = w - h. Does 23 divide p?
False
Suppose -2*f + 9 = -105. Let c = f - 22. Is 5 a factor of c?
True
Does 150 divide 160/128 - (-9590)/8?
True
Suppose 0 = z + 3*i + 7, 4*i = 6*z - z - 41. Suppose 0 = -z*f + 5*o + 215, o = 4*f - 167 + 4. Suppose 5*c - 3*c = f. Is c a multiple of 16?
False
Let g = -434 - -624. Suppose 4*s = 4*d + g + 22, 5*s + 3*d = 289. Suppose -4*u + s = -0*u. Does 7 divide u?
True
Suppose 1161 = 37*g - 800. Does 5 divide g?
False
Let p(f) = f**3 + 12*f**2 - 13*f - 35. Is p(-7) a multiple of 20?
False
Suppose -2*h + 9*h = -49. Let w(b) = b**2 + 7*b + 7. Let l be w(h). Suppose 6*c - l*c + 99 = 0. Is c a multiple of 33?
True
Suppose 0 = -3*j + 3 + 3. Suppose -3*b + 163 = j*b + i, i = 3. Does 32 divide b?
True
Let i(u) = 3*u**2 + 2*u + 4. Let h = 2 + 2. Let z = h - 8. Is 13 a factor of i(z)?
False
Let f = 22 - 19. Suppose -2*c = f*y + 22, -3*c - 54 + 19 = 5*y. Is y/(-6) + 1482/18 a multiple of 12?
False
Let h(n) = -25*n + 45. Does 53 divide h(-20)?
False
Let a(r) be the second derivative of r**4/12 + 3*r**3/2 - 14*r**2 + 28*r. Is 12 a factor of a(-16)?
True
Let l(v) = 5*v**3 - 2*v + 1. Let f be l(1). Let b be (2/f)/(3/24). Suppose b*w - j = 104 + 116, 3*w - 3*j - 174 = 0. Is w a multiple of 18?
True
Let a be (-3)/(-12) + (-250)/8. Suppose c + 63 = i + 2, i - 61 = 2*c. Let y = i + a. Is y a multiple of 6?
True
Let w = 843 - 429. Is w a multiple of 17?
False
Let c = 58 - 41. Suppose c + 43 = 3*d. Is d a multiple of 20?
True
Let u(h) be the first derivative of -h**7/840 + h**6/60 + h**5/30 - h**4/4 + 3*h**3 - 7. Let l(o) be the third derivative of u(o). Is 4 a factor of l(6)?
False
Let q = -28 - -29. Let w = q + 41. Is w a multiple of 14?
True
Let y(w) = -w + 2. Let s(x) = 6*x**2 - x + 10. Let j(c) = 7*c**2 - 2*c + 10. Let n(z) = 5*j(z) - 6*s(z). Let t be n(-4). Is y(t) a multiple of 3?
True
Let v(a) = 23*a**2 - 95*a - 13. Let b(k) = 11*k**2 - 47*k - 6. Let z(q) = 5*b(q) - 2*v(q). Is z(7) a multiple of 5?
False
Let x(k) = k**3 + k**2 - 6. Let v be x(-3). Is 3 a factor of (v - -16)/(4/(-2))?
False
Suppose 0 = 4*s - 15 - 17. Suppose -204 = 6*v - s*v. Is 34 a factor of v?
True
Let v be (0 - (-12)/8)*2. Suppose 3*f = -3*a + 467 - 137, v*f - a = 342. Is f a multiple of 13?
False
Let w = 1568 - 874. Is w a multiple of 26?
False
Suppose 5*x - 10 + 0 = 0, 4*w - 2 = -x. Suppose w*j - 12 = -4*j. Suppose -j*m - 13 = -73. Is m a multiple of 20?
True
Let r = -18 + 24. Suppose 24 = r*d - 0*d. Is 4 a factor of d?
True
Let h = -84 - -86. Suppose -k - 2*k + 255 = 3*s, h*s + 390 = 5*k. Does 13 divide k?
False
Suppose -14 = -7*g + 7. Suppose 0 = -3*z - 5*i + 54, -g*i = -4*z - 8*i + 77. Is z a multiple of 23?
True
Is (-1)/7 - (12698/(-49) + 3) a multiple of 4?
True
Suppose 0 = 2*k - 8*k + 642. Does 8 divide k?
False
Suppose -6*y + 11*y - 3144 = -2*h, 2*y - 1248 = -4*h. Is 70 a factor of y?
True
Suppose 3*y = -3*m - 2*m + 1792, -5*y + 3*m + 2964 = 0. Is 27 a factor of y?
True
Suppose -26 + 6 = -4*d. Suppose -3*p - 1 = 14, -3*x - d*p = 19. Is 2 a factor of x?
True
Suppose -1516 = 234*w - 238*w. Is 60 a factor of w?
False
Let d(g) be the third derivative of 3*g**6/8 - g**5/20 - g**4/24 - g**3/6 + 24*g**2. Is 49 a factor of d(2)?
False
Let b(w) = -21*w - 344. Is b(-22) a multiple of 6?
False
Is ((-792)/20)/((-38)/95) a multiple of 9?
True
Suppose -w + 3*u = -32, 5*w + 4*u + 13 = 97. Suppose -32 = -2*h - g + 5, -h = -g - w. Is 4 a factor of h?
False
Suppose -5*l + 18 = 5*q - 12, 5*l = 20. Suppose 3*r = -2*n + 96, r - 2*r + 28 = q*n. Is r a multiple of 15?
False
Let m(o) = -4*o**3 + 3*o**2 + 3*o + 1. Let y be m(-4). Let c = y + -198. Does 26 divide c?
False
Let i(h) = 2*h**3 - h**2 + 3. Let x(u) = 2*u**3 - 3*u**2 + u - 3. Let q be x(2). Is i(q) a multiple of 48?
True
Let a(n) = n**3 - 5*n**2 + 6*n + 1. Is a(4) a multiple of 8?
False
Suppose 5*t - 3*h - 2 - 6 = 0, 0 = -4*t + 2*h + 6. Does 15 divide (-3 - t)*(-16 - 1)?
False
Let x = 387 + 133. Is 8 a factor of x?
True
Let k be 7/35 + (-119)/(-5). Suppose 7*a + k = 10*a. Does 3 divide a?
False
Let v(j) be the second derivative of j**3/3 - 3*j**2/2 + 5*j. Let f be v(-6). Is f/(1 + (-12)/10) a multiple of 14?
False
Suppose 0 = -2*v - p + 4 + 4, 5*v - 20 = -p. Does 10 divide v*-1 - (-14 + 0)?
True
Suppose 16*i = 22 + 58. Let q(k) = k**3 - 5*k**2 + 4*k + 4. Is 4 a factor of q(i)?
True
Let g(i) = 2*i**2 - 32*i + 56. Is g(19) a multiple of 10?
True
Suppose -4*j + 4*q - 20 = 0, -3*q + 4 = 5*j - 11. Suppose -3*i + 5*w = -109, -4*i + 164 = -j*w - 2*w. Is 8 a factor of i?
False
Suppose -2*i = -10*i + 32. Suppose -n = -j + i*j - 166, -5*j + 5*n + 290 = 0. Is 14 a factor of j?
True
Is 3 a factor of 5/(15/(-12)) + 144?
False
Suppose -18 = -n - n. Suppose q - m = -n, -2*m + 15 = -3*q - 11. Let i(s) = -2*s - 9. Is i(q) even?
False
Let f = -93 + 94. Is 23 a factor of ((-1)/(4/(-552)))/f?
True
Suppose -3*w + 7*w = -2*d + 1490, 5*w - 1873 = d. Does 17 divide w?
True
Let d(z) = 58*z - 101. Is 23 a factor of d(17)?
False
Suppose -i + 2*i - 57 = 0. Let l be ((-2)/(-3))/(24/36). Suppose r = -0*r - l, r + i = 2*z. Is 11 a factor of z?
False
Let l(f) = 3*f**2 - 18*f - 165. Does 9 divide l(-11)?
True
Let u = 380 - 124. Is 5 a factor of u?
False
Suppose 5*j + 49 = 4*y, y + 3*j = -2*y + 3. Let d = y - 4. Suppose d*n + 3*s - 120 = 2*s, 2*n - s - 124 = 0. Is 20 a factor of n?
False
Let x(s) = s**3 - 10*s**2 + 9*s + 2. Suppose 2*r + 9 = 3*y - 17, -y + 22 = 2*r. Suppose -y*f + 20 = -10*f. Does 21 divide x(f)?
False
Suppose -19*i + 16*i = -84. Is 14 a factor of