 12 a factor of 1*-26*(-3)/y?
False
Let k(b) = -8*b - 89. Let a(o) = -7*o - 90. Let t(h) = -5*a(h) + 4*k(h). Is 12 a factor of t(-21)?
False
Is 8 a factor of ((7 + -8)*-121)/1?
False
Let o(h) be the third derivative of h**6/120 + h**5/12 - h**4/6 - 2*h**3/3 + 13*h**2 + 2. Suppose 2*c = -2*u - 4, u + 1 = -2*c - 6. Does 8 divide o(c)?
True
Suppose 2*z - 4 = 38. Let f = z + -7. Is 14 a factor of f?
True
Suppose 7*y - 100 = 2*y. Let m = 0 - y. Let i = m - -43. Does 23 divide i?
True
Suppose -8 - 78 = -m. Suppose -b + r = -0*r - 16, 0 = -5*b - r + m. Is 6 a factor of b?
False
Let v be ((-12)/(-9))/(4*2/12). Suppose -v*p = 2*p + f - 228, 0 = -f. Does 19 divide p?
True
Let x = -5 - -15. Suppose 0 = 4*b + 5*f - x, 3*f - 21 = -5*b + f. Suppose 0*n = -b*n + 160. Is n a multiple of 8?
True
Suppose -11*h + 26 = -7*h - 3*q, 2 = -q. Let p(z) = -z + 7. Let j be p(5). Suppose j*g - 40 = -0*g + 2*w, g - h*w - 12 = 0. Does 22 divide g?
True
Let z(u) = -u**2 + 16*u + 19. Let r be z(15). Let d = r + -1. Is d a multiple of 9?
False
Let y be ((-3)/(-2))/(39/104). Suppose -3*g + y*v = -g - 36, 3*v = g - 16. Is 22 a factor of g?
True
Let d(f) = 2*f**2 - 4. Let o be d(-5). Suppose 0 = 5*j - 32 + 87. Let m = o + j. Does 8 divide m?
False
Let g = -19 + 29. Suppose 5*f = g*f - 390. Is 13 a factor of f?
True
Is (-13 + 1993 + 6*-1)/2 a multiple of 11?
False
Let q(s) = -s**3 + 4*s - 3. Let h be q(3). Let w = -26 - h. Let i(v) = v**3 + 7*v**2 - 9*v + 10. Does 6 divide i(w)?
True
Let t(q) = q**3 + 9*q**2 + 4. Let y be t(-9). Let j = 159 - -61. Suppose j = 6*o + y. Is 18 a factor of o?
True
Is 41 a factor of ((-1)/(6 - 4))/(5/(-1640))?
True
Is (465/(-10))/(4/(-8)) a multiple of 6?
False
Suppose -106 = -339*c + 338*c. Let t = -25 + c. Does 26 divide t?
False
Let f be 4 + 588 + (-4)/1. Suppose -5*v - 4*y + f = 0, -v = -5*y - 220 + 85. Does 30 divide v?
True
Suppose 0 = 2*z + 2 - 0. Let p be ((-676)/(-4))/(z/(-1)). Suppose 4*o - p = -5*c, -2*c = -2*o - o - 63. Is 13 a factor of c?
False
Let b = 864 + -3. Does 21 divide b?
True
Suppose -22*w = -20*w - 14. Does 36 divide (-1 - 2)/((21/(-38))/w)?
False
Let k(v) = v**3 - 4*v**2 + v + 3. Let q = -32 + 36. Is k(q) even?
False
Let l be (10/(-4))/((-2)/4). Suppose 137 = 4*u + 5*i, l*i = 5*u - 81 - 34. Let o = u + -14. Is o a multiple of 13?
False
Let t(s) be the first derivative of s**3/3 - s**2/2 + 4*s - 6. Suppose 0 = -4*x - n + 12 + 2, 5*x - 21 = -3*n. Is t(x) a multiple of 6?
False
Let o(k) = 11*k + 117. Is o(6) a multiple of 7?
False
Let f be (10 - 11)/(2/6). Let w be -1*(-133 - -4) + f. Suppose -w = -3*m + 36. Is m a multiple of 16?
False
Let q be (-2)/6 + (-51)/9. Is 6 a factor of (-2)/3*q + 3?
False
Let g(r) = r + 1. Let q(x) = 21*x + 17. Let k(o) = 4*g(o) - q(o). Let w be k(-4). Let c = w - 11. Does 10 divide c?
False
Suppose 4*o - 3*r = -0*o + 1374, -684 = -2*o + 3*r. Suppose -o - 195 = -5*p. Is 18 a factor of p?
True
Let w(y) = 3*y - 1. Let k be w(1). Let r = 9 + -8. Suppose -k*m + 3*f = -r - 23, f = m - 12. Is m a multiple of 3?
True
Suppose -3*g - 111 = -2*d - 456, -4*d - 2*g - 682 = 0. Let p = 302 + d. Is 11 a factor of p?
False
Let u be (2 + (-6)/3)/1. Let a(r) = 4*r**2 - 4*r - 4. Let q be a(3). Is (-65)/q*(u + -4) a multiple of 4?
False
Let o(f) = 16*f - 3*f**2 - 16 + 2*f**2 + 16 + 8. Suppose -3*c - q + 19 = 0, -4*q + 3 = c + 15. Is 18 a factor of o(c)?
True
Let r be 14*(36/(-21))/(-3). Suppose -c = r*c - 18. Suppose 3*j + 0*j - 100 = 2*d, c*d = 5*j - 168. Does 4 divide j?
False
Let f be 4 - (-6)/(-15)*5. Suppose 6 = 4*n - f*n. Does 5 divide (-22 + 6/n)/(-1)?
True
Let s(a) = a**2 + 25*a + 42. Is 25 a factor of s(16)?
False
Let h(a) = -2*a - 11. Let k be h(-7). Suppose -k*i - n = -0*n - 87, 27 = i + n. Suppose 0 = 4*l + z + 7 - 64, 0 = -l + 5*z + i. Is 3 a factor of l?
True
Let k be 9 + -1 - 12/6. Suppose 3*f + k = -f + 5*w, 4*f - 14 = -5*w. Is (0 - (-9 + f))*2 a multiple of 13?
False
Suppose 2*s = s + 5*l + 34, -s - 3*l + 10 = 0. Suppose -s = 2*p - 171. Is p a multiple of 19?
True
Let n = -721 - -910. Is n a multiple of 15?
False
Suppose 0 = -4*y - 4*j - 36, -4*y + 2*j - 24 = y. Is 12 a factor of ((-20)/y - 3)*114?
False
Let d = -19 - 2. Let s be ((-3)/(-2))/(d/(-1400)). Suppose -3*b + s = 2*b. Is b a multiple of 6?
False
Does 30 divide 30/12 - (-8436)/8?
False
Suppose 4*n - 4508 = 32*y - 27*y, 5*n = 4*y + 5626. Does 22 divide n?
True
Let q(b) = 36*b**2 + 2*b - 10*b - 71*b**2 - 37*b**2 - 4. Let n be q(-5). Is n/(-81) + (-2)/(-9) a multiple of 4?
False
Suppose 5*s - 52 = 2*p, -s + 24 = -0*s + 3*p. Suppose -18 = -9*h + s*h. Is 32 a factor of 1 - 0 - 186/h?
True
Let p = 10 - -1. Suppose -2*u + 4 = x + p, x + 4*u = -5. Is 15 a factor of x/27 - 152/(-6)?
False
Let t(d) = d**2 + 135. Suppose -4*u - 8 = 2*y, 2 = -u - y - 2. Is 9 a factor of t(u)?
True
Let w be 852/(-10) - (-4)/20. Let h = 165 + w. Does 14 divide h?
False
Suppose 3*a - 12*a = -1962. Is 48 a factor of a?
False
Suppose -39*k - 1632 = -41*k. Does 24 divide k?
True
Suppose -2170 = -16*y + 12*y - 5*w, -4*y + 5*w = -2190. Is 82 a factor of y?
False
Let s(v) = v**2 + 32*v - 18. Is 21 a factor of s(15)?
False
Let a(w) = -w**2 + 23*w + 24. Let t be a(24). Is t + 4/(-6) + (-29268)/(-162) a multiple of 30?
True
Let x be (-6 - -2) + -2 - 1. Let g be (x + 4)/(-1 - 0). Suppose 5*s = -5*p + 265, -g*s = -0*p - 2*p - 154. Does 13 divide s?
True
Is (-4)/(-38) + 10714/19 a multiple of 57?
False
Let z(f) = 6*f - 44. Let k be z(8). Let v = 9 + -6. Suppose -2*d + 317 = 5*a - 0*a, 248 = k*a + v*d. Is 17 a factor of a?
False
Let n be 290/(-3)*24/(-20). Let q = -4 + n. Is 28 a factor of q?
True
Let l(u) = u + 10. Let t be l(5). Suppose t*k = 8*k + 91. Is 4 a factor of k?
False
Let p be (1 - (2 + 2)) + 1. Let y(n) = 88*n. Let o be y(p). Is 29 a factor of (1/2 + -1)*o?
False
Suppose 2*v = 217 - 69. Let f = 346 - v. Does 22 divide f?
False
Let z be 5/3 - 2/3. Suppose -1 = -p + z. Suppose -4*k = -8*c + 3*c + 431, -p*c - 4*k + 150 = 0. Is c a multiple of 27?
False
Let b be 1 + (-9 + 1 - -2). Let d be (-2)/b - 72/30. Is (-34*d/4)/1 a multiple of 17?
True
Let v be 9 - (2 - 1) - (0 + 3). Suppose -j - j = -v*i - 271, -5*j = -5*i - 670. Is j a multiple of 43?
False
Let k(f) = f**2 + 15*f + 27. Let z be k(-13). Is 5/(z*(6 + -5)) a multiple of 5?
True
Let h(q) = -797*q**3 + 2*q**2 - 6*q - 5. Is 32 a factor of h(-1)?
True
Suppose 0 = 2*t + t - 84. Let i be ((-2)/7)/((-2)/t). Suppose -f - 37 = -3*x - 5*f, f = i*x - 62. Is 3 a factor of x?
True
Let u(c) = -104*c + 7. Does 14 divide u(-5)?
False
Let o = -11 + -18. Suppose -4*z + 39 = -5*q + 6*q, -3*z - 287 = -5*q. Let b = q + o. Does 16 divide b?
False
Let r(t) = -t**3 + 26*t**2 - 13*t - 31. Let v be r(25). Let m = -42 + v. Is 13 a factor of m?
False
Is 97 a factor of (128/(-40) - -4) + 6782/10?
True
Let k(a) = -a**3 - 7*a**2 - 8*a - 9. Let o = -1 + 5. Suppose -2*b + 2 = 2*q + 16, 0 = o*b + 5*q + 29. Is 2 a factor of k(b)?
False
Suppose 5*u - 1414 = -164. Suppose u = 4*k - 2*g, g - 50 - 203 = -4*k. Is 7 a factor of k?
True
Let j(f) = 0*f + 9 - 4*f + 3*f. Suppose 5*h = 4*n + 15 + 11, -2*n = -2*h + 10. Is j(h) a multiple of 2?
False
Does 12 divide (13*(-2)/6)/((-8)/288)?
True
Let l be (-15)/10*(-8)/6. Suppose -13 = -l*p + 3*p. Let t(j) = j**2 + 12*j - 9. Is 2 a factor of t(p)?
True
Is 101 a factor of (-7)/((-49)/7805) - (4 + 0)?
True
Suppose 0 = -2*b + 4*d + 436, -2*d + 622 = 6*b - 3*b. Suppose 5*y - z = 492, -2*y - 2*z = 2*z - b. Is 23 a factor of (40/12)/(6/y)?
False
Suppose -17 = -5*f + 8. Suppose -5*z = -5*w - 14 - 116, f*z - 154 = -w. Does 7 divide z?
False
Let k be -4 - (-4)/1 - -164. Suppose 5*h - 669 = -k. Is h a multiple of 6?
False
Let w(t) = -2*t**2 + 7*t - 6. Let v be w(4). Let y = 13 + v. Suppose -q - 96 = -y*q. Is q a multiple of 13?
False
Let y(b) = -b**2 - 23*b + 40. Let g(a) = a + 1. Let j(t) = -4*g(t) + y(t). Is j(-22) a multiple of 7?
False
Let m(l) = 11*l + 16*l - 8*l - 2*l. Does 3 divide m(1)?
False
Let i = 90 - 86. Suppose -i*p + 3*r = -929, -3*r = -3*p - 4*r + 687. Is p a multiple of 17?
False
Suppose n + 254 = 4*d, 188 = 3*d - 0*n - 2*n. Let k = d - 12. Does 26 divide k?
True
Let h = -335 + 731. Is 25 a factor of 2/(-3)*h/(-6)?
False
Let x = -18 - -30. Let s = x - 8. Suppose -j - s*o = -38, 0 = 4*j - 2*o - 67 - 13. Is j a mult