 - 18*w**2 + 19. Is 19 a factor of u(18)?
True
Let q be -2*((-1)/2 + 2). Let i be (1/(-3))/(q/(-9)). Does 15 divide 30 + (0 + -1 - i)?
True
Let r(a) = -a + 22. Suppose 0 = 4*l - 17 - 43. Does 5 divide r(l)?
False
Suppose 24 = -g + 2*g + 4*d, 3*d + 1 = 4*g. Suppose k - 13 = -4*j, 0 = -2*j + 2*k - 2 - 4. Suppose 3*z - 18 = -u, j*z = -2 + g. Does 6 divide u?
False
Let w be -1*(-14)/(-2) + 2. Let d(b) = b**3 + 6*b**2 + 3*b + 7. Is d(w) a multiple of 5?
False
Suppose -2*z + 420 + 52 = 4*y, 4*y - 4*z - 496 = 0. Suppose -a + 46 = -5*i, 4*a - i = 3*i + y. Does 10 divide a?
False
Let f(l) = -6*l - 4. Let k(a) = -29*a - 20. Let y(u) = -11*f(u) + 2*k(u). Suppose -3 = 4*x - 15. Does 14 divide y(x)?
True
Let r(h) = 11*h - 8. Let t be r(9). Let u = 139 - t. Is u a multiple of 12?
True
Let g = 76 + -27. Does 7 divide g?
True
Let p be (0 - 0)/(3*1). Let x = -2 + p. Does 7 divide x/7 - 258/(-21)?
False
Let r(z) = z**3 - 7*z**2 + 2*z - 3. Suppose -6*w = -2*u - 2*w + 36, -u - 4*w - 12 = 0. Does 15 divide r(u)?
False
Let k = -24 + -29. Let y = 77 + k. Is y a multiple of 8?
True
Suppose 0 = 5*a - 7*a + 4. Let j(w) = -5*w**3 + 16*w**2 + 25*w + 11. Let n(s) = s**3 - 4*s**2 - 6*s - 3. Let x(m) = a*j(m) + 9*n(m). Is x(-4) a multiple of 11?
True
Let p(g) = g + 1. Let r(q) = -7*q - 5. Let t(w) = 5*p(w) + r(w). Let b be t(7). Is 12 a factor of (-4)/b - (-664)/28?
True
Let m(l) be the third derivative of l**6/120 - l**5/6 + l**4/8 - l**3 - 5*l**2. Is 12 a factor of m(10)?
True
Let d = 7 - 1. Let x be (d/4)/((-3)/(-20)). Let t(p) = -p**2 + 10*p + 11. Does 5 divide t(x)?
False
Let r(f) = -f**2 - 6. Let j be r(0). Let n be (6/(-9))/(j/27). Suppose 7*y + 4*k = n*y + 28, -y - 3*k = 3. Is y a multiple of 6?
True
Suppose 4*t = -t + 10. Let f(s) = 2*s**2 + 6*s + 4 + 2*s**2 - 2 + 0*s**t. Is f(-4) a multiple of 14?
True
Let t(l) = -l**3 + 6*l**2 - 4*l - 2. Let g be t(5). Suppose g*h = 4*h - 39. Does 13 divide h?
True
Let a(u) be the first derivative of -5*u**4/4 + u**3/3 - 1. Let x be a(-1). Let n = 0 + x. Does 3 divide n?
True
Suppose -23 + 323 = 5*i. Suppose 4*n - 3*l - 110 - i = 0, -2 = -l. Suppose -4*t - 4*d + 52 = d, -5*t + n = d. Is t a multiple of 4?
True
Let f = 4 + -1. Is 4 a factor of f/(-2 + (-33)/(-12))?
True
Let p = 3 - -11. Suppose -4*k + p = -6. Suppose u + 4*b - 2*b = 19, -58 = -3*u - k*b. Does 8 divide u?
False
Suppose -5*t + 15 = -2*c, 2*c + 0*t = 2*t - 12. Let o(j) = j**3 + 6*j**2 + 5*j + 5. Is 3 a factor of o(c)?
False
Let x(m) = m**2 + 9*m + 11. Let a be (7 - 0)*(-2)/(-7). Suppose 2*r + 20 = -2*t, 3*r - a*r + 11 = -2*t. Does 11 divide x(r)?
True
Suppose 0*d + 2*k + 131 = 3*d, 0 = -k - 1. Let o = d + 36. Suppose 5*m + 6*l - 200 = l, 2*m + l = o. Does 16 divide m?
False
Let g be ((-6)/(-4))/(2/(-4)). Is 2 a factor of g/(6/(-3) - -1)?
False
Let l be 16 - (-2)/2 - -2. Does 19 divide 3/(-3)*l*-2?
True
Suppose 4*o = 851 + 117. Let a = o - 72. Suppose a = 3*n - 5*k + k, 5*n = -k + 245. Is n a multiple of 25?
True
Suppose -4*k + 22 = 3*h, -3*h = -2*k - 0 + 2. Suppose -4*i + 234 = -h*i. Let m = i - 76. Is m a multiple of 19?
False
Let d be (-4)/(-12) + (-231)/(-9). Let q be 2/5 - d/(-10). Suppose -4*c - 4*z = -8 - 76, c - q*z - 5 = 0. Is c a multiple of 12?
False
Let b(t) = -2*t + t + 1 + 2*t - 4. Let r be b(-4). Let n = r - -12. Is n a multiple of 2?
False
Let y = -125 - -27. Let s = -33 - y. Suppose 67 = q + 2*q + 2*x, s = 3*q + x. Does 15 divide q?
False
Suppose 2250 = 6*n + 4*n. Is n a multiple of 25?
True
Let i be (66 + -2)*(-21)/(-12). Suppose 2*d + 2*d = i. Is d a multiple of 14?
True
Let a(t) = 1 - 5*t**2 - 49*t**2 + 5*t**2. Let p be a(1). Does 12 divide (p/10)/(1/(-5))?
True
Let w(n) = 15*n - 20. Let k be w(15). Let f = -5 - -8. Suppose f*y = -2*y + k. Is y a multiple of 18?
False
Let n = -10 - -14. Suppose 0 = n*h - 9*h - 60. Is 13 a factor of ((-26)/(-3))/(h/(-18))?
True
Suppose -5*m + 1 = -9. Suppose 12 = -m*d - 2. Let v = d - -20. Is v a multiple of 13?
True
Suppose -5*z + 30 = -5*j, j + 2*z - 11 = 2*j. Let o(c) = -c**3 - 2*c - 1. Does 2 divide o(j)?
True
Let l = 336 + -212. Suppose 4*z - 2*b = -z + 167, -4*z = -4*b - l. Is 13 a factor of z?
False
Suppose 2*v - v + 6 = 0. Let t = v + 0. Let x = t + 19. Is 9 a factor of x?
False
Let m(l) be the first derivative of l**4/4 - 2*l**3/3 - l**2/2 + 1. Suppose -15 = -5*w - 3*s, 5*w - s - 15 = -6*s. Is m(w) a multiple of 4?
False
Is (-1)/3 + 40/3 a multiple of 4?
False
Suppose 0 = 3*w - 2*w - 92. Is 22 a factor of w?
False
Suppose -3*a = 2*a - 95. Is 5 a factor of a?
False
Let k(v) = v - 2. Let n = 20 + -13. Let m be k(n). Suppose 49 - 244 = -m*a. Does 11 divide a?
False
Suppose 0 = -2*g - p + 116, -7 = -4*g - 4*p + 233. Is g a multiple of 22?
False
Let t = 0 + 2. Suppose -2*f + 0*x + 25 = -3*x, 0 = -t*f - 4*x - 10. Suppose f*g = -0*g - 5*w + 30, 27 = 5*g + 4*w. Is g even?
False
Suppose 4 = 2*w - 6. Suppose 3*m - w*m + 3*u = -11, 3*u = -5*m + 59. Let z = 27 - m. Is 17 a factor of z?
True
Let d be ((-19)/3 + 3)*3. Let h = d - -16. Is h even?
True
Suppose -q - 28 = -t, 0*t - 4*q = -2*t + 64. Does 11 divide t?
False
Suppose 6 = 2*u - 14. Let q = 18 - u. Does 7 divide q?
False
Suppose 4 - 16 = -2*q. Is q a multiple of 3?
True
Suppose z + 4*z = -5*t, -2*t - 12 = -4*z. Is 15 a factor of (-2)/(-1*z/18)?
False
Let d(t) be the second derivative of t**6/360 - t**5/60 + t**4/8 - t**3/3 + 2*t. Let q(w) be the second derivative of d(w). Is 18 a factor of q(-3)?
True
Suppose -5*c - 193 = -3*u, 5*u - 87 = 3*c + 240. Is 6 a factor of u?
True
Suppose 6*o - 8*o + 292 = 0. Is 10 a factor of o?
False
Suppose -4*s = 5*i - 800, 3*s + 172 = 2*i + 772. Is 40 a factor of s?
True
Suppose 0 = -5*b - 2*u + 10, b + 3*u + 2 = 4. Suppose b*c + 24 = 6*c. Suppose r + t - 15 = 0, 0 = -4*r + 3*r - 4*t + c. Does 9 divide r?
True
Let n be (-1)/3 + (-26)/(-6). Suppose f + 4*p = 3 - 0, -n*f = -4*p - 12. Suppose 3*u - 20 = 4*x, -5*x + 55 = f*u - 1. Is u a multiple of 12?
True
Suppose -43 = -3*n - 2*x + 24, 3*n = -x + 68. Does 11 divide n?
False
Suppose -16 = -p - 0. Suppose 2*x - x - a - 11 = 0, -x + p = 4*a. Does 6 divide x?
True
Let r = -122 + 200. Is r a multiple of 2?
True
Suppose -2*w = 2*w - 8. Suppose a - 22 = 5*f - w*a, -5*a + 26 = -3*f. Is 2 a factor of (-7)/(-2) - f/4?
True
Let j = -100 - -151. Does 8 divide j?
False
Suppose 3*i - 360 = -b, -4*i - 2*b + 79 = -399. Suppose -3*z + i - 10 = 0. Does 14 divide z?
False
Suppose -2*f - 156 = 2*f. Let b = f + 69. Is 19 a factor of b?
False
Is 1958/154 - (-4)/14 a multiple of 13?
True
Suppose 4*d = 2*s + 116, -d + 2*s + 43 = -2*s. Is 5 a factor of d?
False
Suppose -5*f + 126 = -34. Let s = -15 + f. Let k = s - 12. Is 5 a factor of k?
True
Let m(y) = 10*y. Let h be m(2). Suppose -4*c + 5*x + h = 0, x + 36 = 4*c - 0*c. Suppose -c = -4*u + 2. Does 2 divide u?
False
Does 26 divide (1582/35)/((-1)/(-5))?
False
Suppose 4*g - 78 = 2*g. Is g a multiple of 8?
False
Suppose 3*h + h - 2*i = 164, 0 = -h + 5*i + 41. Suppose z + 29 = 4*z + 4*n, -n = 3*z - h. Is z a multiple of 5?
True
Let s(o) = o**3 - 7*o**2 + 13*o + 6. Is 7 a factor of s(5)?
True
Let v = 281 + -141. Is 11 a factor of v?
False
Does 7 divide (14 - 9)*76/10?
False
Let r = 120 + -29. Is 33 a factor of r?
False
Let i(m) = -6*m - 2. Is 8 a factor of i(-7)?
True
Let f = -177 + 252. Does 21 divide f?
False
Let l = -9 - -15. Is 3 a factor of l?
True
Suppose -l = m - 135, -147 = -l - 0*l + 5*m. Does 23 divide l?
False
Is 29 a factor of (-12)/48 + 1394/8?
True
Let p be 2/(-8) - (-915)/12. Let b = -44 + p. Is 16 a factor of b?
True
Is 354/9 - (-12)/18 a multiple of 8?
True
Is 5 a factor of 94/8 - (-26)/104?
False
Does 20 divide 200/(-1 - -3) + -2 + 2?
True
Let w(k) = 2*k**2 + 5*k - 1. Suppose -m - 20 = -3*p + m, -5*p = 5*m - 75. Let a = 6 - p. Does 11 divide w(a)?
True
Let f(a) = -a**3 + 3*a**2 + 4*a + 5. Suppose 5*m - 20 = -0*m. Let l be f(m). Suppose l*b + 23 = 63. Is 8 a factor of b?
True
Suppose -6 = -4*w + 2. Let z = -3 + w. Does 10 divide -1 - -13*(1 - z)?
False
Let p(m) = -m**3 + 14*m**2 - 14*m + 17. Let k be p(13). Suppose k*b - 7 = 57. Is b a multiple of 4?
True
Is 90/4 - 5/(-10) a multiple of 16?
False
Let b(g) = 31*g**3 + 3*g - 2. Let o(h) = h - 1 - 3*h + h**3 + 3*h + h**2 + 0*h**3. Let s(r) = b(r) - 2*o(r). Is 14 a factor of s(1)?
True
Let i(x)