 4*y - 16 = f. Does 4 divide p?
True
Let g = -35 + 41. Suppose g*d - 336 = 84. Does 6 divide d?
False
Is (-3)/(15/(-220)) + 4 a multiple of 6?
True
Let l(z) = 7*z + 15 + 16*z**2 + z**3 - z**3 - 24*z + z**3. Is l(-17) a multiple of 3?
True
Let h = -386 + 446. Is 12 a factor of h?
True
Let y be 354/9*(-6)/(-4). Suppose -y = -4*i + 101. Let p = -23 + i. Does 7 divide p?
False
Let i(x) = 2*x**2 - 3. Let s be 32 + -24 - (0 - -4). Does 5 divide i(s)?
False
Let h be (6 - -2)*2/4. Suppose 20 = h*p, 5*c - c + 4*p = 124. Is c a multiple of 13?
True
Suppose 2*t + 12*v - 13*v - 1616 = 0, -3*t = 2*v - 2424. Is 20 a factor of t?
False
Suppose 4*k = -50 - 10. Let f be 81 + 10/k*6. Let b = f + -9. Is 34 a factor of b?
True
Suppose 0 = c + c - 50. Suppose 5 = 3*j - c. Is 42*j/4*1 a multiple of 24?
False
Let a = -51 - -88. Suppose 5*z - a = -4*r + r, 0 = -r - 1. Suppose -p + z = -54. Does 12 divide p?
False
Let w(j) = 90*j**3 - j**2 + j. Let b be w(1). Suppose -2*o = 4*i - 9*i - b, i - 5*o + 18 = 0. Does 10 divide i/(-12) - 106/(-4)?
False
Let g(n) = n**3 - 6*n**2 + 3*n - 11. Let m(p) = -p**2 + 1. Let o(x) = -g(x) - 3*m(x). Is 8 a factor of o(8)?
True
Let h = -115 + 121. Is 8 a factor of (-948)/(-20) - h/(-10)?
True
Let q(k) = 7*k**2 + 7*k - 39. Let a(b) = 10*b**2 + 10*b - 59. Let p(w) = -5*a(w) + 7*q(w). Let o be p(0). Let j = o + -7. Is j a multiple of 5?
True
Let n = 46 + -33. Suppose n*t + 81 - 549 = 0. Is t a multiple of 12?
True
Let z be (-1)/5 + 90/(-50). Let f = z - 5. Does 28 divide (6/4)/(f/(-392))?
True
Let b = -64 - -58. Let t(k) = k**3 + 6*k**2 - 5*k - 18. Is t(b) a multiple of 2?
True
Let o = -275 - -295. Does 9 divide o?
False
Let i(c) = -3*c - c**2 + 0*c + 2*c. Let b be i(-1). Suppose b = -s - s + 62. Does 24 divide s?
False
Suppose -4*q - 17 = 2*s - 9*q, 5*s - 10 = 2*q. Suppose -3*k - k = s*y - 292, -y = 4*k - 79. Is 20 a factor of y?
False
Let l be 2/6 + (-203)/(-21). Let z = -8 + l. Suppose z*a - 16 = -0. Is 4 a factor of a?
True
Let g be -2 - (-48)/22 - (-270)/(-33). Is 20 a factor of (g + 0)/(-2) + (-1288)/(-23)?
True
Suppose -5*n + l = -562, -2*n + 184 = 5*l - 57. Is n a multiple of 27?
False
Let n(g) be the third derivative of 2*g**4/3 + 7*g**3/6 - 11*g**2. Is 24 a factor of n(13)?
False
Let n = -28 - -31. Suppose n*x - 5*y - 57 = -0*x, 73 = 5*x - y. Is 4 a factor of x?
False
Let p = 142 - -194. Is 24 a factor of p?
True
Let x = 228 - 188. Is 5 a factor of x?
True
Let o(w) = -225*w - 1. Let c be o(-1). Suppose 9*r + c = 16*r. Does 4 divide r?
True
Let r(y) = 3*y**2 + 3*y + 27. Let f(a) = 4*a**2 + 2*a + 27. Let t(v) = 4*f(v) - 5*r(v). Is 11 a factor of t(11)?
False
Let p(t) = -2*t + 2 - 3 + 2*t**2 - t**2 - 11*t**3. Is p(-2) a multiple of 5?
True
Suppose 30*i - 1680 = 510. Does 2 divide i?
False
Suppose 9*c - 5066 = 2404. Is 8 a factor of c?
False
Let x = 661 + 272. Is 4 a factor of x?
False
Let l(x) = x**2 + 3*x + 3. Let u be l(-3). Suppose 0 = 5*q - 4*h + 1, -3*h + 2 + 1 = -u*q. Suppose q*y - y + g = 7, 3*g = -y - 9. Does 4 divide y?
False
Suppose 0 = 4*n + 5*w - 22, 3*n + 5*w + 3 - 22 = 0. Suppose m + m - 214 = -n*u, 286 = 4*u + 2*m. Does 18 divide u?
True
Suppose 2*t - 2 + 30 = -4*n, 4*n + 46 = -5*t. Let i = t + 9. Does 3 divide i?
True
Suppose -3*t + 1379 = -5*m, -t + 13*m + 473 = 8*m. Does 101 divide t?
False
Suppose 13*z - 515 = 616. Is z a multiple of 18?
False
Let v be -134 - (4 + -4)/(-3 - -1). Let p = -70 - v. Is p a multiple of 16?
True
Suppose -11 = 5*t - 71. Does 3 divide t + -5 + (1 - 1)?
False
Is (23/(-3) + 1)*2352/(-32) a multiple of 7?
True
Suppose 10*h - 15 = 7*h. Suppose h*b - 3*p = 95, -3*b + 0*p = -p - 61. Does 11 divide b?
True
Let j(z) be the third derivative of -z**6/30 + z**5/20 - z**4/24 + z**3/3 - z**2. Let h be j(2). Let w = -1 - h. Does 19 divide w?
True
Let n be 0 + 0 + 1 + -3. Let f = n + 1. Is (-3)/f*(16 + -1) a multiple of 13?
False
Let u(s) = 18*s + 1011. Does 15 divide u(28)?
True
Let c(a) = a**2 + 5. Suppose -4*n = -3*n. Let v be c(n). Suppose -v*l + 117 = -63. Is l a multiple of 18?
True
Let v(p) = -2*p**3 - 3*p**2 + 229*p + 35. Is v(-14) a multiple of 13?
True
Let q(m) = m - 7. Let h = -11 - -21. Let a be q(h). Let l(r) = r**3 - 2*r**2 + 2*r + 5. Is l(a) a multiple of 15?
False
Is ((-63)/(-42))/(4*3/35280) a multiple of 14?
True
Suppose 4*f + 1 = -3. Let c be (f/3)/((-2)/60). Let i = c - 5. Is i a multiple of 2?
False
Let y = 5767 - 3991. Is y a multiple of 111?
True
Suppose 25*h - 59864 = -12964. Does 67 divide h?
True
Suppose 0 = -2*w + 5*w + g + 209, -2*g - 138 = 2*w. Let h = -92 - 27. Let v = w - h. Does 13 divide v?
False
Suppose -6*o - 432 = -1440. Is 31 a factor of o?
False
Suppose 8*u - 7 + 79 = 0. Does 2 divide (-62)/(-6) + 12/u?
False
Let q be (-338)/(-39) + (-3)/(-9). Let w = q - -102. Is w a multiple of 37?
True
Let x(s) = s**2 - 12*s + 3. Let p(a) = 3*a**2 - 23*a + 5. Let h(d) = -2*p(d) + 5*x(d). Let r = -23 - -10. Does 9 divide h(r)?
True
Suppose -z - 3*y + 1646 = 0, 5*z = -33*y + 31*y + 8165. Is z a multiple of 93?
False
Let m = 12 + -31. Let l = m + 22. Suppose r - 4*y + 0 - 3 = 0, r - l*y = 4. Is r a multiple of 7?
True
Let h(d) = d**3 - 9*d**2 + 8*d - 5. Let g(l) = 5*l - 1. Let j be g(2). Let u be h(j). Suppose -u = -5*b + 68. Is 7 a factor of b?
False
Let y = -110 + 287. Suppose -2*m + 135 = -y. Is 10 a factor of m?
False
Suppose 4*r = 12*r + 560. Let x = r + 118. Suppose -53*b + x*b = -25. Is b a multiple of 4?
False
Suppose 14*l = 23*l - 1008. Is l a multiple of 32?
False
Let g = 58 - 49. Suppose g*q = 5*q + z + 35, 5*q - 3*z - 49 = 0. Is 2 a factor of q?
True
Suppose 2*k - 4*k = 180. Suppose -n = -4*n + 3, 2*a + 56 = 2*n. Does 13 divide (k/a)/(4/78)?
True
Let s(d) be the second derivative of -5/3*d**3 - 9/2*d**2 - 1/20*d**5 - 2/3*d**4 + 3*d + 0. Is 5 a factor of s(-7)?
False
Let v(x) = -10*x + 51. Does 26 divide v(-47)?
False
Suppose 2*c = 5*l + 666, -7*c + 2*c = -5*l - 1665. Is c a multiple of 37?
True
Suppose -2*x - 3 = -3*x. Suppose -x*c = c + 120. Is 2 a factor of (-7)/(-14) + c/(-4)?
True
Let n = 30 + -34. Let x(c) = -17*c - 3. Does 30 divide x(n)?
False
Suppose 0 = o + 224*a - 225*a - 2935, -4*a + 2950 = o. Is 62 a factor of o?
False
Suppose 42*i = 17*i + 19825. Is i a multiple of 13?
True
Suppose -5*r - 1059 = -4*a, r + 409 = 2*a - 116. Is a a multiple of 10?
False
Suppose 0*y - y + 4 = 0. Suppose -2*g = -y*g + 6. Suppose -g*j + 114 + 75 = 5*h, 3*h - 120 = -4*j. Is h a multiple of 12?
True
Suppose -15*g + 10015 = -3005. Is g a multiple of 62?
True
Suppose -4*c = c + 5*b - 20, -2*b + 10 = 3*c. Suppose -c*z = -3*z + 60. Is z a multiple of 31?
False
Let f = -1065 - -2254. Is 41 a factor of f?
True
Suppose -48*f - 1417 = -7225. Is 62 a factor of f?
False
Suppose -5*q + 11 = -9. Let s = 2 + q. Is 2 a factor of 3/(-4*s/(-32))?
True
Let q(u) = u**3 + 7*u**2 - 2*u - 5. Let o(x) = -8*x**2 + 2*x + 6. Let s(d) = -2*o(d) - 3*q(d). Is s(-4) a multiple of 14?
False
Let y be 10 - 9/((-36)/(-16)). Let h be (2 - y) + (-144 - -1). Does 21 divide (6/18)/((-1)/h)?
False
Let u(w) = 4*w**2 + 5*w - 1. Let b(k) = -7*k**2 - 10*k + 3. Let r(l) = -3*b(l) - 5*u(l). Is r(3) a multiple of 5?
True
Suppose -9*b = -6*b - 201. Suppose b = -2*f - 3*l - 59, -134 = 2*f - l. Let q = f - -94. Does 8 divide q?
False
Suppose 2*k = 5 - 1. Let v(h) = 6*h - h**3 - 8*h**k - 6*h - 2*h + 4. Is v(-8) a multiple of 17?
False
Let k = -25 + 48. Let l = k + -18. Suppose -30 = 2*b - l*b. Is 10 a factor of b?
True
Suppose 0 = -4*x, -3*c + x = -x - 12. Suppose -947 = -5*i + c*w, -3*i + 2*w = -8*i + 929. Is 17 a factor of i?
True
Let f(b) = b**2 + b - 9. Let m be f(-4). Suppose -12 - 173 = -l + s, 2*s = m*l - 559. Is l a multiple of 21?
True
Let j be (-11)/(-33) - (-23)/3. Let k be 114/j - 9/(-12). Does 9 divide -9*20/(k/(-3))?
True
Suppose -w - 2*p + 12 = 0, -w - 5*p + 14 = -10. Suppose -3*m = t - 112, -w*m + 131 = 4*t - 5. Is 11 a factor of m?
False
Let i(v) be the first derivative of 2*v**2 - 3*v - 17. Is i(2) even?
False
Let u be (-3)/(-2)*14 + -1. Let i be 5*24/u + -4. Suppose -x = -3*z + 216, 2*z + i*x - 92 = 52. Is 14 a factor of z?
False
Suppose -2*u - 2 = f - 0*u, -11 = 2*f - 3*u. Let b(p) = -23*p - 7. Let a be b(f). Suppose -4*y = 5*c - 134, 3*y - c - a = 3*c. Is 19 a factor of y?
False
Suppose -3*l - 19 = -58. Le