 a be (-4)/y*(-15)/2. Is 12 a factor of a*(1 - (-3)/1)?
True
Suppose 0 = -4*i - 0*i + 96. Is 6 a factor of i?
True
Let h(m) = -m**3 + 2*m**2 + 4*m + 2. Is h(-2) a multiple of 10?
True
Is 3 a factor of 11 - 3/(-3) - 0?
True
Suppose 4 = 5*t - 26. Is 19 a factor of (114/(-15))/(t/(-15))?
True
Let q(r) = -r**2 - 13*r - 10. Is 21 a factor of q(-8)?
False
Let m(p) = p**3 - 2*p**2 - 17*p + 4. Does 26 divide m(7)?
True
Let j be ((-2)/4)/(2/(-8)). Let h be j/4 - (-6)/4. Suppose -5*q + 3*k = -143, h*q - k = -3*q + 151. Is q a multiple of 13?
False
Let h(w) = 73*w + 9. Does 35 divide h(3)?
False
Suppose 0 = 4*t - 5*p - 11, 0*p + 13 = 4*t - 3*p. Suppose -t*k + 2*k = 0. Is (9 + -1)/(2 + k) even?
True
Is (-5 - -94) + -4 + -2 a multiple of 5?
False
Suppose 4 = 3*q - 11. Suppose -5*y + 5*u = -40, q*u - 14 = -y + 4*u. Is 86/y + 18/99 a multiple of 8?
True
Let x(w) = -w**2 - 7*w - 3. Let o be x(-6). Suppose 0*r + o*r - 75 = 0. Is 8 a factor of r?
False
Suppose 5*p - 3*j = 42 - 9, -2*p = -j - 13. Is p a multiple of 2?
True
Let z(g) be the second derivative of -g**4/12 - g**3/2 - 5*g**2 + 2*g. Let x be z(-7). Let j = -11 - x. Does 10 divide j?
False
Let h = 31 + -9. Let o = -16 + h. Is o even?
True
Suppose 0 = 5*v + y - 3*y - 96, 78 = 4*v - 2*y. Does 6 divide v?
True
Let v(k) = -5*k**3 - 3*k**2 + 6*k - 5. Let x(s) = -11*s**3 - 6*s**2 + 13*s - 11. Let z = 4 + -2. Let r(c) = z*x(c) - 5*v(c). Is r(2) a multiple of 14?
False
Suppose -a + 5*t + 1 = 3*t, 3*a + 2*t - 27 = 0. Suppose 2*i - 3*c = -2*i - 13, 0 = -2*i + c - a. Is 10 a factor of (0 - -14) + i/2?
False
Let w(c) be the second derivative of -c**4/6 - 4*c**3/3 - 3*c**2/2 - c. Let y(m) be the first derivative of w(m). Does 12 divide y(-8)?
True
Let f(g) = 7*g + 4. Let a be f(3). Suppose 3*y - 20 - a = 0. Is 15 a factor of y?
True
Let o = -49 + 97. Is o a multiple of 12?
True
Let h(c) = 4*c + 2 + 1 + 1 + c**2. Let l be h(-4). Does 5 divide (0 - l/(-2)) + 5?
False
Suppose -4*m = -8*m + r - 37, -2*m - 19 = -r. Let v be (m/(-3))/(6/28). Suppose 68 = 2*o - v. Does 16 divide o?
False
Let y be (22/6 - 3) + (-28)/6. Suppose -4*j + 21 = -3*v, 5*v = -j + 2*v + 24. Let p = y + j. Is p a multiple of 2?
False
Let z(w) = w**3 - 8*w**2 + w - 10. Let h be z(8). Let q be 7/(-3)*48/h. Suppose 4*x = q - 16. Is x a multiple of 5?
True
Let q(m) = m**2 - m + 4. Let g be q(0). Suppose 0 = g*o - 5*s - 71, 2*o + 0*s - 73 = -5*s. Is o a multiple of 8?
True
Let b(h) = 5*h + 11. Let u(t) = t + 3. Let m(o) = 6*b(o) - 26*u(o). Let w be m(10). Is w/1 - (1 - 3) a multiple of 10?
True
Let q be (-112)/(-6) + 2/6. Let f = -1 + q. Is f a multiple of 18?
True
Let y(l) = 90*l**3 - 2*l + 1. Does 31 divide y(1)?
False
Let y = 5 + -3. Let g = y - 9. Is (-135)/g + 6/(-21) a multiple of 11?
False
Let d(h) = -4*h**2 - 2*h - 1 + 3*h**2 - h**2 - 5*h**3. Let r be d(-1). Suppose z + 12 = r*z. Does 4 divide z?
True
Suppose -h + 168 = -5*h. Let q be h/2 - (10 + -7). Is 8 a factor of (q/4)/(6/(-16))?
True
Suppose -4*y + s = -101, 87 = 3*y - 0*y - 3*s. Is 4 a factor of y?
True
Let b(f) = f + 88. Is 11 a factor of b(0)?
True
Let y(l) = -l**2 - 7*l - 3. Let v be y(-6). Let p = v + 2. Does 2 divide p?
False
Suppose 15 = 14*g - 19*g. Is 15 + (1 - g/(-3)) a multiple of 7?
False
Suppose 2*p = 6, 2*g + 5*p = 3*p + 54. Does 4 divide g?
True
Let v(w) be the third derivative of -7*w**4/6 + w**3/6 - 6*w**2. Is 17 a factor of v(-2)?
False
Let y(k) = -2*k - 2. Let l be y(3). Let n(r) = r**3 + 9*r**2 + 5*r - 2. Is n(l) a multiple of 6?
False
Suppose 0 = 2*d - 5*d. Suppose -x + 25 + 24 = d. Is x a multiple of 10?
False
Let w(b) be the second derivative of -b**5/20 - 7*b**4/12 + 3*b**3/2 + 6*b**2 + b. Let n be w(-8). Let x = 9 + n. Does 13 divide x?
True
Let d(u) be the third derivative of -u**5/60 + 11*u**4/24 - u**3 - 3*u**2. Let j be d(5). Suppose -5*w = -w - j. Does 6 divide w?
True
Suppose 0 = -5*z + 166 + 39. Let x be z - (4 - 2 - 2). Suppose -x = 3*y - 125. Is 14 a factor of y?
True
Let w = -78 - -46. Let u(m) = 7*m - 4. Let r be u(7). Let p = r + w. Is 13 a factor of p?
True
Suppose 0 = -2*y - 2*y - 24. Let o = y + 39. Is 11 a factor of o?
True
Let t(v) = -2*v**2 - 2*v + 1. Let q be t(1). Let u be 2/(-4)*-10 + q. Suppose 2*j + 126 = 5*m + 3*j, -3*m + u*j + 73 = 0. Is m a multiple of 15?
False
Let l be ((-4)/(-2))/(3/12). Suppose 0 = 4*j - l. Suppose 3*o - 3*v - 108 = 0, 2*v = -j*v + 12. Is o a multiple of 11?
False
Suppose -l + 48 = -8. Does 23 divide l?
False
Let g(m) = 6*m - 5. Let i be g(-8). Let z = -15 - i. Is z a multiple of 19?
True
Let i(m) = m**2 + 5*m - 4. Is 2 a factor of i(3)?
True
Let n = 1 - -2. Suppose 125 + 55 = n*c. Suppose 18 - c = -v. Is v a multiple of 14?
True
Let o(m) = -4*m**3 - 2*m**2 + m + 2. Suppose -10 = 4*v - 2. Is 17 a factor of o(v)?
False
Let u = 35 - 20. Does 10 divide u?
False
Suppose -w = 4*w. Suppose w = -0*c - 2*c. Suppose 2*s - 84 + 4 = c. Is 14 a factor of s?
False
Suppose -2*h = -2*n + 32, -n + 4*n - 52 = h. Does 5 divide n?
False
Suppose -648 = -32*q + 28*q. Does 18 divide q?
True
Let p(x) = x**3 - 6*x**2 + x - 2. Let c be (-1 + 5)/1 + 2. Is p(c) even?
True
Let z = 46 + 54. Does 58 divide z?
False
Is 3 a factor of 6/(-10)*50/(-2)?
True
Let h(q) = q**3 - 7*q**2 - 6*q - 2. Let w = -12 + 20. Is 2 a factor of h(w)?
True
Suppose -15 = 3*l - a, 2*l = -0*a - a - 10. Let f = l - -13. Suppose -8 = -s + y, s + 3*y - 4 - f = 0. Is s a multiple of 4?
False
Let h(k) = -k**2 + 4*k - 6. Let l be h(5). Let c = 0 - l. Is c a multiple of 11?
True
Suppose -4*g + 2*c + c = -177, 3*g = -c + 149. Is g a multiple of 24?
True
Suppose 0 = 3*k - 105 - 3. Is 18 a factor of k?
True
Let z = 193 + -156. Is z a multiple of 37?
True
Suppose 0 = 2*w + w - 9. Let l = -17 + 21. Suppose 2*d - 20 = -2*v, w*d + d = l. Does 9 divide v?
True
Let m(i) = -i + 6. Let g be 0/(-6 + 6/2). Is m(g) a multiple of 6?
True
Let t = 39 - 27. Is t a multiple of 6?
True
Let g(a) = -a + 1. Let f be g(-2). Is 18 a factor of f/(-2) + (-177)/(-6)?
False
Let p = 1 + 9. Suppose -12 = -2*x + p. Is 8 a factor of x?
False
Let j(a) = -2*a + 3. Let g be j(2). Let i be -5*(3 + -2)/g. Suppose 3 = i*r - 27. Is 3 a factor of r?
True
Let z(n) = 3*n**3 - 6*n**2 - 5*n + 1. Is 30 a factor of z(5)?
False
Let n be 144/3*(-2)/4. Let z be n/(-2) + (-2 - -4). Suppose -t - t + z = 0. Does 5 divide t?
False
Let u(d) = -8*d**3 - d**2 - 2*d - 7. Does 9 divide u(-2)?
False
Let w(k) = 19*k + 4. Is w(2) a multiple of 21?
True
Let f = 0 - -19. Is f even?
False
Let x(g) be the third derivative of -g**6/60 + g**5/60 + g**4/24 + g**3/6 - 2*g**2. Is 19 a factor of x(-2)?
True
Let o(c) = -8*c + 11. Let r(f) = f**2 - 41*f + 55. Let l(d) = -11*o(d) + 2*r(d). Does 30 divide l(5)?
False
Let l(p) be the first derivative of 4*p**4 - p**3/3 + 2. Is l(1) a multiple of 15?
True
Suppose -3*p = 0, c - 2*p = -c + 10. Suppose i + 5 = -t, 10 = -t + c*i - 13. Does 7 divide t/(-12) + 68/6?
False
Let p(j) = 43*j**3 + j**2 - j - 1. Let f be p(-1). Let q = 4 - f. Is q a multiple of 16?
False
Suppose v + 0*l + l - 284 = 0, -l = 3. Suppose -5*c - 5*x = -240, -x + 23 - v = -5*c. Does 26 divide c?
True
Let i(w) = -w**2 + 3*w + 98. Does 7 divide i(0)?
True
Suppose m + 720 = 5*k, -411 = -4*k + m + 166. Is k a multiple of 21?
False
Is 8 a factor of (1 - 217/(-5)) + (-50)/125?
False
Let v(x) = -3*x - 6. Is 5 a factor of v(-7)?
True
Let r(n) be the third derivative of 5*n**4/24 - n**3/6 - n**2. Suppose -3*q = 2 - 14. Is 10 a factor of r(q)?
False
Let a(q) = -8*q**2 + 0 - q**2 + 3*q**3 - 4 - 2*q**3 + 6*q. Is a(9) a multiple of 24?
False
Suppose 2*p = y - 7, 0 = -2*y - 0*y - 5*p + 5. Let s = y - -43. Does 15 divide s?
False
Let r(u) = u**3 - 6*u**2 - 2*u + 7. Let v be r(6). Let b be 6*v/(-2) + 3. Suppose 0 = 2*h - d - 129, 2*d + 51 = h - b. Is h a multiple of 23?
False
Let j(b) = -3*b**3 + b**2. Let d be j(1). Does 14 divide (-2)/d - 1*-13?
True
Let u(f) = -231*f**3 - 3*f - 2. Is 29 a factor of u(-1)?
True
Let x(h) = 6*h**3 + h**2 + 3*h - 4. Let u(a) = a**3 - 5*a**2 + 5*a - 2. Let k be u(4). Is 18 a factor of x(k)?
True
Let y(s) = 4*s**2 - 2*s - 6. Is y(3) a multiple of 12?
True
Let l(k) = -k + 2. Let i be l(-4). Let p = 9 - i. Suppose p*d + 0*f + 3*f - 72 = 0, -4*f + 36 = d. Does 10 divide d?
True
Let j(c) = -c**3 + c**2 + 1. Let w(v) = -v + 9. L