6)/l?
True
Let l(p) = 94*p**2 + p - 1. Does 24 divide l(-1)?
False
Let k(f) = 50*f**2 - f. Is 17 a factor of k(-1)?
True
Let t be 6/21 + (-214)/14. Suppose -46 = -5*k - 226. Is (k/t)/((-2)/(-10)) a multiple of 6?
True
Let u be (-6)/(-8)*16/4. Let c be (-14)/8 + u/(-12). Is 20/1*c/(-2) a multiple of 20?
True
Let c = 22 + -12. Is c a multiple of 4?
False
Let y(s) = s**2 - 9*s + 26. Is 3 a factor of y(8)?
True
Let y(i) = -i**3 + 9*i**2 - 8*i + 4. Let l be y(8). Suppose 3*c = 4*p, -5*p + 32 - 1 = l*c. Does 3 divide c?
False
Let b(i) = -2*i**2 - i + 10. Does 3 divide b(0)?
False
Let c = 312 - 188. Is 21 a factor of c?
False
Let b be 1*(0 - 2)*-3. Let u be (-4)/12 - (-20)/b. Suppose -f + 5*q = u*f - 67, 4*f - q - 55 = 0. Is f a multiple of 13?
True
Let i be 2 + ((-2)/(-1) - 0). Let v = 13 - i. Is 3 a factor of v?
True
Let q = -9 - -8. Let v(f) = -12*f. Does 4 divide v(q)?
True
Let g = -19 - -27. Is g a multiple of 8?
True
Let v be ((-2)/(-6))/(2/12). Let y = -5 + 7. Suppose -v*k + 24 = 3*r - 5*k, -2*k + 32 = y*r. Does 6 divide r?
True
Suppose -2*z + 267 = -139. Is z a multiple of 22?
False
Let o(c) = -13*c + 12. Is o(-6) a multiple of 20?
False
Let v = -7 - -11. Is (v - 1) + 2 + 29 a multiple of 19?
False
Suppose 4*a = -u - 4, 0 = -4*u - 6*a + a + 28. Is 3 a factor of u?
True
Let t(p) be the first derivative of 4*p**2 - 3*p - 2. Let z be t(3). Suppose 0 = 3*g + 4*x - 48, -z = -5*g + 3*x + 30. Does 11 divide g?
False
Let z be 4/(-2) + 6/(-6). Let t be (12/(-18))/((-1)/z). Let g = 10 + t. Does 8 divide g?
True
Let f(a) = 25*a - 1. Let q = 13 + -12. Is 12 a factor of f(q)?
True
Let m(g) = g**3 - g**2 + g - 1. Let k be m(1). Let d = -1 + 5. Suppose k = -d*t + 14 + 6. Does 5 divide t?
True
Let n(m) = m**3 - 6*m**2 + 3*m + m**3 - m**3 - 2. Suppose 0 = -r + 1 + 5. Is n(r) a multiple of 8?
True
Suppose 2 = -i + 12. Suppose -i*j = -7*j + 87. Let s = -20 - j. Is s a multiple of 7?
False
Let j be -3 + -2 + 6/3. Let u be 1*(1 - 2)*j. Is 2 a factor of 1 - (-2 - u - -1)?
False
Suppose -60 = -x - x. Is 10 a factor of x?
True
Suppose 4*j + 24 = t + 3*t, -5*j - 9 = 2*t. Suppose -18 = -0*d - 2*d - 4*n, 0 = t*d - 4*n - 37. Is 11 a factor of d?
True
Is 10 a factor of (-21 - -23) + 1*182/2?
False
Let a(o) = -o**2 - 6*o + 2. Let g be a(-6). Suppose g*k - 5*k + 51 = 0. Is 17 a factor of k?
True
Let i = -11 + 19. Let w(y) = y**2 + 5*y - 2. Let j be w(i). Is 3 a factor of 1/5 + j/15?
False
Let f(z) = -z**3 - z**2 + 2*z + 3. Let p be f(-2). Suppose -3*m + p*q = -18, 4*m - 20 = m + 5*q. Is m a multiple of 5?
True
Suppose 5*n = i - 31, 26 = -0*i + i - 4*n. Is 32/10*45/i a multiple of 9?
False
Suppose 3*q = 2*d - 2, 4*d + 4*q = -q + 26. Suppose d - 14 = -5*y. Is y a multiple of 2?
True
Suppose -13*l + 311 + 105 = 0. Is 2 a factor of l?
True
Let t(z) = 4*z**3 + 5*z**2 - 3*z - 4. Let q be t(3). Let y = q - 83. Is y a multiple of 19?
True
Suppose k + 155 = 3*h, 0*h + 3*h + 4*k - 160 = 0. Does 13 divide h?
True
Let p(r) = -33*r**3 + r**2 - 1. Does 3 divide p(-1)?
True
Suppose -3*r - t = -15, 5*r + t - 2*t - 17 = 0. Suppose q - r = -0*q. Suppose 0*c = q*c - 72. Does 15 divide c?
False
Suppose 0 = -2*u + 4*y + 2 - 4, 1 = -y. Is 9/2 - u/6 a multiple of 3?
False
Let h(f) = 4*f**2 - 4*f + 3. Let j be h(5). Let y be (-1410)/24 + 2/(-8). Let a = j + y. Is a a multiple of 20?
False
Let o(v) = 16*v + 12. Is 18 a factor of o(6)?
True
Let n = -19 + 35. Is 3 a factor of n?
False
Let s = 2 + 1. Suppose 0 = 4*v - 3*p - 91, v - 2*p = s*v - 56. Is 10 a factor of v?
False
Let r(c) = c + 9. Let k be r(-7). Suppose -k*g + 1 = -5. Suppose -5*u + 4*v + 38 = -3*u, -36 = -g*u - v. Does 5 divide u?
False
Suppose 2*x = -4*a + 188, -a = -4*a - 3*x + 138. Let u(l) = -4*l**2 - 3*l + a - l**3 + 6*l - 46. Is 4 a factor of u(-5)?
True
Suppose -2*w - 20 = -6*w. Let h be 28*((-45)/(-4))/w. Does 8 divide h/4 - 1/(-4)?
True
Is 3*(7 - 0) + 3 a multiple of 4?
True
Let w be (-6 - -8) + 5 + -1. Suppose w = y + y. Let k = 7 + y. Is 5 a factor of k?
True
Suppose 4*m = 5*m - 26. Is 10 a factor of m?
False
Let p(z) = 2*z**2 - 4*z + 2. Let c be p(2). Let q(a) = 4*a**3 - 4*a**2 + 2*a + 1. Does 21 divide q(c)?
True
Suppose 0 = -5*r + 6 + 4. Suppose 15 = 5*h + w - r*w, -3*h = -3*w + 3. Suppose -h*v - 2 + 14 = 0. Does 3 divide v?
True
Let a(v) = v**3 - 3*v + 1. Let o be a(2). Let l = 13 - o. Does 2 divide l?
True
Suppose -4*o - 15 = -3. Is 1/(o + 2) + 27 a multiple of 17?
False
Let t be 1/(-2 + 15/6). Suppose -n - 3 = -t*n. Does 2 divide n?
False
Let p(g) = 27*g - 9. Does 29 divide p(4)?
False
Let i(y) = -6*y + 26. Is 14 a factor of i(-8)?
False
Let i(g) = 7*g**2 - 4*g + 11. Is 16 a factor of i(5)?
False
Let h(z) = 8 - 8*z - z**3 + 6*z**2 + z**2 - 2. Let q be h(6). Is 12 a factor of ((-2)/q)/(1/69)?
False
Let p(s) = -7*s**2 - 5*s + 6. Let x(n) = -4*n**2 - 3*n + 3. Let f(q) = -3*p(q) + 5*x(q). Is f(-8) a multiple of 26?
False
Suppose 2*b - 4 = 8. Let j(h) = h**2 - 5*h - 2. Is j(b) a multiple of 3?
False
Suppose -l + 34 + 56 = 0. Suppose 4 = u - 1. Suppose 2*o = 7*o - u*j - l, 3*o - 66 = -j. Is 11 a factor of o?
False
Is ((-37)/(-4))/1 - (-54)/72 a multiple of 5?
True
Let s(u) = -4*u - 7. Let j(y) = 6*y**3 - 3*y**2 - 3*y + 1. Let g(v) = 5*v**3 - 4*v**2 - 4*v. Let n(q) = -5*g(q) + 4*j(q). Let f be n(9). Is 4 a factor of s(f)?
False
Let p = -10 - -12. Suppose 2*f - 4*a = -p*a + 134, -3*f + 4*a = -201. Is f a multiple of 12?
False
Suppose -10 = -6*y + y. Let u be (1/1 - y)*8. Is (48/(-10))/(u/60) a multiple of 16?
False
Let h(y) = -2*y - 11. Let m be h(-8). Suppose n + 36 = m*a, 18 = 2*a - 4*n - 0*n. Is a a multiple of 6?
False
Let m = 25 - 26. Suppose 5*f - 2*f - 3 = 0. Is (m - f) + 86/2 a multiple of 15?
False
Let v = 402 + -257. Does 29 divide v?
True
Let x = -110 - -132. Does 4 divide x?
False
Let i be 2/((-1)/(-18)*3). Is 14 a factor of (-6)/i*(-1 - 135)?
False
Suppose -2*z + z + 2*p = 6, 2*z = 2*p - 2. Suppose -u - 2*a + 71 = -1, 5*a = -z*u + 276. Does 26 divide u?
False
Let o(u) be the third derivative of -u**4/8 - u**3/3 + 3*u**2. Does 10 divide o(-4)?
True
Suppose -t = 2*w - w - 1, -t = -w + 5. Suppose -3*f - 2 = 3*s - 7*s, -5*f = w*s - 16. Suppose -3*o = f*z - 100 + 22, 4*o - 105 = -3*z. Is o a multiple of 8?
True
Suppose 8*z = -3*z + 770. Does 14 divide z?
True
Let o(b) = -37*b + 1. Let r(p) = -110*p + 3. Let t(s) = 17*o(s) - 6*r(s). Is 10 a factor of t(1)?
True
Suppose 0 = -3*d + d - 12. Does 14 divide (-166)/(-4) - (-3)/d?
False
Suppose 8*v - 7*v - 16 = 0. Is v a multiple of 2?
True
Suppose 23 = -c + 5*c + 3*m, 0 = 3*m - 3. Is 3 a factor of c?
False
Let t = 90 - 45. Does 3 divide t?
True
Suppose 5*q = 5*y - 185, -2*q + 0*q + 178 = 5*y. Does 3 divide y?
True
Suppose j + 0 = 9. Suppose 5*z = 20, 3*h - 5*z - 4 = j. Does 11 divide h?
True
Let d(x) = x**2 - 3*x + 2. Does 21 divide d(8)?
True
Suppose -1 = -2*x + 3. Suppose -m + 1 = -1. Suppose x + 4 = m*s. Does 2 divide s?
False
Does 18 divide (-5)/2 + 2691/26?
False
Let t(l) = l - 6. Let a be t(6). Suppose 2*y - 5*y + 39 = a. Is 13 a factor of y?
True
Is 14 a factor of ((-4)/(-6))/((-10)/(-210))?
True
Let t(n) = -43*n**3 + 2*n + 1. Does 26 divide t(-1)?
False
Suppose -2*s - 3*s = -25, u - 5*s - 8 = 0. Does 33 divide u?
True
Let y be (-1)/(25/(-12) + 2). Let f = y - 0. Is 2 a factor of f?
True
Let o(g) = 3*g**2 + g + 6. Let z be 3/(-2)*(-50)/(-15). Let n be o(z). Let d = n + -43. Is 11 a factor of d?
True
Let f(i) = 5*i + 16. Is f(9) a multiple of 27?
False
Let a be (5 - 2) + -1 - -3. Suppose 0 = -a*w + 128 - 18. Is 19 a factor of w?
False
Let m(z) = -z**2 - 3*z - 3. Let u be m(-5). Let b be (-3 - 120/(-4)) + -1 - -2. Let g = b + u. Is 5 a factor of g?
True
Let t be 73 - (-1 + 0 - 2). Let g = t - 10. Is g a multiple of 22?
True
Suppose -16 - 9 = -5*h. Does 5 divide h?
True
Let k = 183 - 107. Is 9 a factor of k?
False
Let h(n) = -5*n - 13. Let a be h(-3). Suppose 2*g - 27 = -g. Is 4 a factor of 2*(1 + g/a)?
False
Suppose -15 = -3*a - 2*a. Suppose -5*b = -t + a*t - 155, -2*t + 205 = -5*b. Suppose -5*s + t = -0. Is s a multiple of 13?
False
Suppose 3*g = -3, 0 = -3*r + r - 4*g - 20. Let j = r + 8. Suppose 5*m = -4*a + 89, j = -5*a + 5 - 0. Is m a multiple of 17?
True
Suppose 31 = -y + 75. Does 11 divide y?
True
Let t = 147 + -82. Is 13 a factor of t?
True
Suppose 0 = -o + 6*