 factor of (17 - p)*(i + 3)?
True
Let y(d) = -d**2 + 16*d + 22. Let l be y(17). Suppose b + l + 6 = 4*v, 5*v - 1 = -3*b. Is v/(-4)*82*-1 a multiple of 12?
False
Suppose -12*p = 6*p - 7002. Is p a multiple of 31?
False
Suppose 14432 = 51*g - 19*g. Is g a multiple of 50?
False
Does 6 divide ((-172)/(-3))/((-73)/(-657))?
True
Suppose v - 1 = -0*v. Suppose w - v = -4. Is 21 a factor of 39 - (4 + w)*-3?
True
Suppose 438 = -3*b - 0*b. Let o = 44 + b. Let u = -65 - o. Is u a multiple of 30?
False
Let g = 4 + -1. Suppose 4*f = 5*t + 10, 0 = -5*t - g*f + 6*f - 5. Suppose 0 = t*n - 4*r - 58, 64 = n + n - r. Is n a multiple of 9?
False
Let c be 1 - (4/2)/(-2). Let f be (-2)/(-6) + (-21)/63. Suppose z - 3*q - c - 7 = f, -z - q = -17. Is 9 a factor of z?
False
Let r = 34 - -299. Suppose -7*d + 4*d = -r. Does 28 divide d?
False
Let i(v) = 123*v**2 - 10*v - 48. Does 28 divide i(-4)?
True
Suppose 0 = 5*r - 4 - 16. Is 40 a factor of 80 + (0/r)/(0 - 2)?
True
Suppose 9044 = -1448*u + 1455*u. Does 6 divide u?
False
Let l = -12 - -15. Is 9 a factor of 135/12*(l - -1)?
True
Let z(d) = -12*d + 7. Suppose 5*b - b + 24 = -4*c, 2*c = -b - 10. Is z(c) a multiple of 17?
False
Suppose 3*y - 3 - 3 = 0. Suppose n = y - 18. Is (n/6)/(1/(-3)) a multiple of 8?
True
Let d be -10 + 1 - 0/(-3). Let s = d - -9. Suppose s*n = -n + 4. Is n a multiple of 2?
True
Let o = 3041 - 1777. Is 10 a factor of o?
False
Suppose 5*o + 23 + 232 = n, -3*n = 3*o + 153. Let y be (-370)/(-3) + 17/o. Suppose 5*j - y = 3*w - 37, 0 = 4*j + 4*w - 56. Is j a multiple of 10?
False
Suppose -9*l - 2585 = -5*t - 13*l, -2*l = 4*t - 2062. Does 57 divide t?
True
Let a = 146 + -134. Suppose 261 = a*s - 519. Is 7 a factor of s?
False
Let y(c) be the first derivative of -3*c**4/4 + 4*c**3/3 + 2*c**2 - 2*c + 3. Is y(-3) a multiple of 5?
False
Let i = -7 + 16. Let f be 155/(-35) - i/(-21). Does 14 divide 84 - f/(8/(-6))?
False
Let y(z) = 128*z - 6. Is y(3) a multiple of 8?
False
Suppose a + 9 - 171 = 0. Suppose 2*d + 2 = -3*x, -d - 2 = 5*x + 2*d. Does 24 divide (1 - x)/((-2)/a)?
False
Let y = 4811 - 2880. Is 70 a factor of y?
False
Let l(s) = -s**2 + 4*s + 5. Let j be l(4). Suppose 2*k + j*q - 353 = 0, -4*k = -6*q + q - 781. Does 44 divide k?
False
Suppose 218001 = 116*q - 193335. Is q a multiple of 9?
True
Let t be ((-132)/(-10))/(16/40). Let z be (24/(-10))/(t/(-110)). Is 6 a factor of 58/8 - 2/z?
False
Suppose -2*g = i - 4, 6*i = i + 3*g - 6. Suppose 2*q + 3*q - 65 = -4*s, 5*s - 5*q - 70 = i. Does 5 divide s?
True
Suppose -31 = -3*g - 7. Suppose g = 7*a - 3*a. Suppose 5*c = -4*k + 275, 0 = a*k - c + 4*c - 137. Does 31 divide k?
False
Let o(n) = 3*n**2 + 5*n - 28. Let w be o(8). Suppose 10*a - 6*a - w = 0. Does 8 divide a?
False
Let k(a) = 10*a - 1. Let j be k(1). Suppose 6*m + j = 3*m. Does 21 divide 60 + m/((-1)/(-1))?
False
Is 14 a factor of ((-21)/(-5))/((-53)/(-3180))?
True
Let m = -69 - -85. Suppose j - m = -3*j. Does 2 divide j?
True
Let b(o) = o**2 - 9*o - 4. Let a be b(10). Suppose -a*p + 8*p = 52. Is p even?
True
Does 19 divide 57840/160 - (-1)/((-2)/1)?
True
Let h(k) = 7*k**2 + 1. Let a be h(1). Suppose a - 2 = f. Suppose 0 = 3*c - f - 6. Is 2 a factor of c?
True
Suppose 888 = -2*k + 14*k. Is 11 a factor of k?
False
Suppose -47*n + 5088 = -35*n. Does 8 divide n?
True
Suppose 4*h = -2*h. Suppose 40 = -h*x + 2*x. Is x a multiple of 3?
False
Let z(y) be the third derivative of y**4/24 - y**3/3 - 2*y**2. Let r be z(-4). Is 20 a factor of (354/18)/((-2)/r)?
False
Let w(s) = -2*s - 3. Let y be w(11). Let q = -4 - y. Does 4 divide q?
False
Let x = 9 + 1. Let d(p) = -p**2 + 11*p + 2. Let z be d(x). Is 9 a factor of z/(-6)*(-18)/4?
True
Let p(d) = -9*d + 7. Let a be p(6). Let h be (6 - 2) + -30 + 0. Let g = h - a. Does 21 divide g?
True
Let s(c) = c**2 - 7*c + 99. Is s(21) a multiple of 20?
False
Let n be 13/2 + (-2)/4. Suppose 11*w - n*w = 10. Suppose 3*v + 2*k - 18 = 0, -v + w*k + 2 = -4. Is 3 a factor of v?
True
Let w(s) = 4*s**2 - 4*s + 4. Let o = -32 - -36. Is 10 a factor of w(o)?
False
Let b(f) = -f**3 - f**2 + 7*f + 5. Let w be b(-4). Let y = 45 - w. Is 4 a factor of y?
True
Suppose 7*p = 2*p - 60. Let u = 8 - p. Let j = u + 48. Is j a multiple of 17?
True
Let o(z) be the first derivative of -z**4/4 + 7*z**3/3 - z**2 - 5*z + 1. Let r be o(6). Let a = 25 + r. Does 22 divide a?
True
Let x = 47 - 44. Suppose 4*s + x*q - 98 = 0, -3*s - 6*q + 3*q = -72. Does 26 divide s?
True
Let x = -24 + 24. Suppose -b - r + 121 - 28 = 0, 5*b - 4*r - 492 = x. Is b a multiple of 24?
True
Suppose 203 = 5*w - 637. Suppose -3*k + 4*v + 126 = 14, 0 = 5*k - 2*v - w. Is k a multiple of 8?
True
Suppose -475 + 160 = 5*f. Let j = f + 129. Does 11 divide j?
True
Let d(g) be the third derivative of g**5/60 - g**4/3 - 3*g**3 - 3*g**2. Is d(13) a multiple of 20?
False
Suppose -78*c + 79*c - 5 = 0. Is 17 a factor of 15/(-6)*(-214)/c?
False
Suppose -5*m + 5*t + 15 = 0, 5*m - 3*t = -1 + 10. Let z be 202/2 + (-1 - m). Let i = 198 - z. Is i a multiple of 11?
False
Let i = 26 - 28. Is i*((-1)/1 - 2) a multiple of 6?
True
Let d(a) be the first derivative of -a**4/4 + a**3/3 - a**2/2 + 14*a - 13. Suppose 5 = 5*f + 5*m, -4*f + 4*m = f + 4. Is d(f) a multiple of 10?
False
Suppose 0 = 4*g + 4*y - 0*y - 124, 0 = 4*g + 2*y - 114. Let w(m) = 7*m**3 - 4*m**2 - 3*m + 5. Let f be w(2). Let s = f - g. Is s a multiple of 13?
True
Suppose -3*x = -11*x + 16. Suppose x*t - 416 = -5*d + 319, 0 = 4*t + d - 1461. Is t a multiple of 13?
False
Let h(n) = 390*n + 56. Is 27 a factor of h(1)?
False
Suppose -5*i + 28 = -3*y, 0*y = -5*i + 4*y + 29. Does 9 divide -4 - (4 - 580/i)?
True
Is 15 a factor of 121628/312 - 1/(-6)?
True
Let f(m) = -2*m**2 + 1 + 4*m**2 - m**2 + 5*m. Does 17 divide f(5)?
True
Suppose 1554 = -13*v + 20*v. Does 22 divide v?
False
Suppose 75739 = 26*o + 63*o. Is o a multiple of 23?
True
Let w(l) be the first derivative of -53*l**2/2 + 3*l - 11. Is 6 a factor of w(-1)?
False
Does 21 divide (686/(-28))/(1/(-6))?
True
Let u(f) = f**3 - f**2 - 5*f + 28. Is u(5) a multiple of 3?
False
Suppose -44 = -s + 57. Is 10 a factor of s?
False
Let p(z) = z - 18. Let x be p(8). Let q = x - -12. Suppose -29 = -q*i + 69. Is i a multiple of 12?
False
Let w = 7 + -4. Suppose -w*x = -5*m - 22, -3 = -5*x - 5*m + 7. Suppose x*s - 120 = 2*u, -4*s + 36 = -3*s - 2*u. Is s a multiple of 14?
True
Suppose 2*m + 0 = 6, -5*p - m + 33 = 0. Suppose 17 + 1 = p*y. Suppose y*a - 165 = -2*a. Is 18 a factor of a?
False
Let z(f) be the second derivative of 0 - f - 2*f**2 + 5/3*f**3 + 1/2*f**4. Is z(-5) a multiple of 24?
True
Let c be 3/((-16)/(-20) + -1). Let l = -79 - -51. Let f = c - l. Does 13 divide f?
True
Let s(n) = -n + 22. Let l be s(19). Is 2 a factor of 2/3*-4*(l + -9)?
True
Let d(u) = -u**3 - 11*u**2 - 49*u - 10. Is d(-14) a multiple of 45?
False
Let h = -70 - -23. Let x = 84 - h. Is x a multiple of 24?
False
Suppose 463 = 6*m - 1121. Does 11 divide m?
True
Suppose x = 2*k - 1898, 0 + 6 = -3*x. Does 99 divide k?
False
Let l(q) be the second derivative of q**3/6 - 5*q**2 + q. Let f be l(8). Is 16 a factor of f/(-9) + 142/9?
True
Suppose 22 = 2*m - 4*q, -2*m + 2*q = 3*m - 15. Suppose 0 = 5*l + 84 + 21. Is 4 a factor of (l/(-12) - m)*16?
True
Let q(g) = -2*g + 250. Is 61 a factor of q(-67)?
False
Let i(h) = 3*h + 14. Let g = 35 + -18. Is i(g) a multiple of 13?
True
Let i(s) = -s**3 - 3*s**2 + 4*s + 5. Let r = -4 - 0. Let d be i(r). Suppose d*j = 8 + 62. Does 7 divide j?
True
Let a be (-4 - -7 - -5)/2. Suppose 0 = a*l + 317 - 1045. Suppose -4*j + l = -2*i, -3*j - 2*i + 56 + 98 = 0. Is 16 a factor of j?
True
Let b = 1702 - 854. Does 50 divide b?
False
Let a = 2746 - 1343. Is 61 a factor of a?
True
Let c(u) = -2*u + 18. Let v(l) = 15*l - 145. Let w(h) = -25*c(h) - 3*v(h). Let p be w(6). Let b = p - 0. Does 3 divide b?
True
Let n(w) be the third derivative of w**5/60 + 3*w**4/8 + 13*w**3/6 - 4*w**2. Let z = -12 + 1. Is 13 a factor of n(z)?
False
Let f(u) = -2*u**3 - 5*u**2 - 4*u + 1. Let x(l) = -4*l**3 - 11*l**2 - 8*l + 1. Let g(h) = 5*f(h) - 2*x(h). Does 21 divide g(-3)?
True
Suppose 0 = 79*v - 75*v - 2520. Does 30 divide v?
True
Suppose -t + 5*x = -4*t + 4307, 3*t - 4267 = 5*x. Is t a multiple of 27?
False
Suppose 1084 = -34*a + 38*a. Does 5 divide a?
False
Let k be -14*(-1)/(1 