*p - 170 = p. Is 8 a factor of p?
False
Let u = 18 - 15. Does 12 divide 58 + 0 + 2 - 0/u?
True
Let x be (-507)/(-5) + (-8)/20. Suppose p = -2*m + 38, p + m + x = 3*p. Is 11 a factor of p?
False
Let o(q) = -762*q - 26. Is 14 a factor of o(-2)?
True
Let k(p) = p**3 + 3*p**2 - 8*p - 1. Suppose 17 = -7*o - 11. Is k(o) a multiple of 15?
True
Suppose -42*p + 50*p = 6608. Is 4 a factor of p?
False
Let o(r) = 96*r**2 - 1. Let h(v) = v**2 + 6*v - 6. Let w be h(-7). Suppose -4 - w = -5*b. Is o(b) a multiple of 26?
False
Does 39 divide (-4)/((-434)/216 - -2)?
False
Is 5 a factor of (14 + 1)*4640/174?
True
Let y = 144 + -103. Suppose -l = -5 - y. Does 6 divide l?
False
Let k(u) = 109*u - 95. Is 6 a factor of k(5)?
True
Suppose 5*u + 883 = g, -g - 4*u + 229 = -681. Is 59 a factor of g?
False
Let o(w) = 93*w + 2. Let f be o(2). Suppose 0 = -u - 2*u - 4*a + f, 0 = -2*a + 10. Does 14 divide u?
True
Let u be 51/(-2)*8/4. Suppose 3*j = 4*z - 16, -3*z - 2*j - 7 = -2. Does 9 divide (-1)/(2 + z)*u?
False
Let l = 1879 + -1242. Is l a multiple of 48?
False
Let s(t) = -2 + 23*t - 5 - 1 + 5. Let d be s(2). Suppose f = v - d, 4*v - 3*f - 103 - 66 = 0. Does 11 divide v?
False
Let j be (3 - -1)*(-146)/(-8). Let m be (6/(-4))/(9/18). Is 14 a factor of -1*(2 + j)/m?
False
Let n(r) = r**3 - 6*r**2 + 0*r**2 + 2 + 7*r + 0. Let h be ((-4)/(-12))/((-2)/(-36)). Does 22 divide n(h)?
True
Is 44 a factor of ((-9)/5 - -2) + (-31352)/(-40)?
False
Let x = -1555 - -2379. Is 6 a factor of x?
False
Let o(j) = 2*j**2 - 3*j**2 - 6 + j**3 - 9*j**2 + 2*j**2. Let u be o(8). Does 12 divide 4/u - (-182)/3?
True
Let p(j) = -2*j + 35. Let w be p(7). Suppose 0 = -w*r + 3*r + 3474. Is 13 a factor of r?
False
Suppose -4*r - a = 319 - 2041, 4*r - 2*a = 1716. Is r a multiple of 43?
True
Is 5 a factor of 2/30 - 64540/(-525)?
False
Let m(z) = -12*z - 4. Let g be m(-5). Let x = -24 + g. Does 30 divide x?
False
Let t(p) = -p**2 - p + 75. Suppose 4*r + 20 = -2*j, 0 = -2*j - 3*r - 2*r - 25. Is t(j) a multiple of 11?
False
Suppose 8*t - 16685 = 2203. Is t a multiple of 49?
False
Suppose 711 = 3*u - 63. Is u a multiple of 12?
False
Let y = 14996 - 8952. Is y a multiple of 146?
False
Let h(p) = -p**3 + 14*p**2 + 16*p - 13. Let l be h(15). Suppose -l*x = t - 317, 2*t + 302 = -0*x + 2*x. Is x a multiple of 35?
False
Suppose -15*x = -9*x + 36. Is 17 a factor of (-3 + 0 - -8)/(x/(-306))?
True
Suppose 3*r - 191 = 5*z, z = -r - 2*r + 185. Let s be (-8)/4 + 3 + r. Suppose -3*c = -2*c - s. Is c a multiple of 12?
False
Let r(h) = 3*h**3 + h - 1. Suppose -2 = 2*f - k + 1, 0 = -3*f + 3*k - 12. Is r(f) a multiple of 3?
True
Suppose 0*u = -u + 3, 3 = 3*z - 2*u. Suppose -209 = -z*l + 493. Is 39 a factor of l?
True
Let a = -72 - -2052. Is 20 a factor of a?
True
Let t(k) be the third derivative of -k**5/60 + k**4/4 - 5*k**3/6 + 10*k**2. Let j be t(4). Suppose -d = -4*q + 316, -4*q + j*d = -0*d - 324. Does 13 divide q?
True
Let w(j) = 6*j**3 + 5*j**2 + 6*j + 11. Let g(p) = -p**3 + p**2 - p. Let k(o) = -5*g(o) - w(o). Let n be k(-10). Is (n - -94)/((-6)/(-4)) a multiple of 24?
False
Suppose 0*u + 1210 = 5*u. Suppose 5*p = -4*o + u, -o = 3*p - 96 - 52. Does 10 divide p?
True
Let d = 17 + -12. Let u = 7 - d. Does 4 divide (-36)/(-2) + u + -1?
False
Let y = -61 + 123. Let c be 57/(-133) - y/(-14). Is 4 a factor of c - 1 - (-2 + -19)?
True
Suppose -7*y = -8*y - 32. Let n = -6 - y. Let o = 36 - n. Does 5 divide o?
True
Suppose 5*n - 143 = 4*w, 0 = -2*n - 0*w - 5*w + 44. Does 15 divide n?
False
Let p(s) = -s**2 - 4*s + 17. Let l be p(-6). Suppose l*t = 5*w + 210 + 20, 15 = -3*w. Is 41 a factor of t?
True
Let v be ((-1)/3)/((-3)/(-27)). Does 3 divide 12 - (-1 - v/1)?
False
Let z(a) = a**2 + 2*a + 2. Let c be z(-2). Let t be 4*(c - 3)*-2. Suppose -173 = -5*b - t. Does 12 divide b?
False
Let j = 52 + 160. Does 22 divide j?
False
Is 71 a factor of 0 + 6 + (2026 + -1 - 3)?
False
Is (-8565)/(-105) - (3 - 51/21) a multiple of 15?
False
Let h(i) = -i**3 - 11*i**2 + 13*i + 9. Let n be h(-12). Let v(k) = 13*k**2 + 6*k + 5. Is v(n) a multiple of 14?
False
Suppose -25*l = -103*l + 89934. Is 21 a factor of l?
False
Does 7 divide 51*(2 + -1) + (-396)/132?
False
Suppose t = -1 + 391. Is t a multiple of 26?
True
Let b(x) = 3*x**3 - 2*x**2 - x - 3. Let y(m) = 2*m - 7. Let c be y(6). Suppose 5*o + c = 5*g, -12 = 4*g - 7*g. Is 16 a factor of b(o)?
False
Let l = 92 + -42. Let y = 65 - l. Is 15 a factor of y?
True
Suppose -5*t = -2*s - 400, -3*t + s + s = -236. Is 11 a factor of t?
False
Let a(g) = 11*g**2 - 4*g - 1. Let z be a(4). Let o = z + -43. Is 29 a factor of o?
True
Suppose 0*c - c = 21. Let m = -7 - c. Does 6 divide m?
False
Suppose 8 = 3*f - 5*v, -4*f - 5*v + 9*v = -16. Is 17 a factor of ((-15)/f)/(138/(-68) - -2)?
True
Suppose 4*d = 5*i + 6, 2*i - 3*i - 6 = -2*d. Suppose -t = 2*t - 84. Is (-3)/(i/(t/(-3))) a multiple of 14?
True
Let t = -114 + 117. Let n(h) = h**2 + 4*h - 7. Is n(t) even?
True
Let y(c) be the first derivative of c**4/4 + 10*c**3/3 - 4*c**2 - 14*c + 8. Does 30 divide y(-5)?
False
Let m = 101 - 89. Let o = 47 - m. Does 35 divide o?
True
Let k(z) = -7*z**3 + 4*z**2 - z - 2. Is k(-4) a multiple of 18?
False
Suppose 3*z + 5 = -2*u + 6*z, 0 = -3*z + 9. Let f(d) = 71*d - 6. Does 17 divide f(u)?
True
Let m = -1 - -4. Let s(t) = 2*t + 7 + 5*t + 6*t + 4*t - 5*t. Is s(m) a multiple of 10?
False
Let c be (-7)/7 + (-18)/(-2). Suppose 0 = -c*g + 1003 - 235. Is 12 a factor of g?
True
Let o be (-24)/20*20/(-6). Let k be 15/6*4 - -3. Suppose -o*h = -27 - k. Is 10 a factor of h?
True
Let n = -5 - 43. Let b = 27 + n. Let j = b + 45. Does 8 divide j?
True
Let h(x) = x**2. Let a(p) = p**2 + 5*p + 2. Let i(k) = a(k) - 2*h(k). Does 3 divide i(4)?
True
Let v = -558 - -1343. Is v a multiple of 57?
False
Let l(q) = 16*q. Let f(p) = p - 1. Let o be f(3). Suppose -o*t + 6 = -g + 2*g, -3*g = -12. Does 8 divide l(t)?
True
Suppose -2*j + 1596 = 4*s, 243 + 963 = 3*s - 3*j. Does 32 divide s?
False
Let s be 1/(4/((-3216)/(-4))). Suppose 4*f + f = -4*y + 231, -5*f - s = -4*y. Is 11 a factor of y?
False
Suppose 0 = -4*h - 3 - 29. Is 13946/57 + (h/(-6))/(-2) a multiple of 28?
False
Suppose -i = 3*a - 12, -5*i - 4*a + 10 + 17 = 0. Suppose -360 = -4*x - l, i*x + 3*l = 157 + 113. Is x a multiple of 18?
True
Suppose -48*b + 398 = -46*b. Is b a multiple of 8?
False
Let p = -142 - 82. Let i = 46 - 205. Let w = i - p. Does 12 divide w?
False
Suppose 7*h - 2615 = -830. Is h a multiple of 17?
True
Let x(o) be the second derivative of o**4/12 + 2*o**3/3 - 3*o**2 + 5*o. Does 13 divide x(5)?
True
Suppose 0 = -5*w + 99 + 141. Suppose 0*v + w = 4*v. Is 6 a factor of 74/8 - 3/v?
False
Suppose 783 = i - 3*a - 254, -1025 = -i - a. Suppose -56 = c - 3*c. Does 8 divide i/c - (-6)/21?
False
Does 2 divide (-2)/18 + (3763/9 - -8)?
True
Suppose -5*o - 3 = -n + 1, 2*o + 20 = 5*n. Suppose o = -2*d - 0 + 4. Suppose -d*h + 46 = 3*c - 42, 5*c = 5*h + 180. Is c a multiple of 7?
False
Let x(z) = -z**3 - 10*z**2 - 12*z + 3. Suppose 7 = p - 2. Let k = -18 + p. Is x(k) a multiple of 6?
True
Let x = -214 + 104. Let y = 225 + x. Is 8 a factor of y?
False
Let x = -1018 - -2008. Is x a multiple of 58?
False
Suppose -3*b = -4*l + 2*b + 3, -2*l = b - 5. Suppose -l*p - 9 = -37. Is 7 a factor of p?
True
Let n(a) = -a**2 - 7*a - 8. Let d be n(-4). Suppose f = -d*q - 4, 2*f = -q + 4*q + 14. Does 2 divide f?
True
Suppose 0 = -s + 6*s - 25. Suppose -7 = s*m - 37. Is m even?
True
Let o(p) = -3*p - 2*p - 6 + 6*p - 6. Let r be o(14). Suppose 0 = -r*i + 4*i - 28. Does 5 divide i?
False
Let z(i) = 19*i**2 + 11*i + 16. Is z(-7) a multiple of 15?
True
Let r(g) = -g**2 - 9*g + 5. Let i(l) = 3*l + 1. Let d be i(-2). Does 22 divide r(d)?
False
Is (-41)/(-1*2/14) a multiple of 41?
True
Let f(d) = 6*d + 5. Does 42 divide f(17)?
False
Let c be 116 - (-3 + 9/3). Suppose 0*p + c = -4*p. Let r = 42 + p. Is 7 a factor of r?
False
Let x(f) = -1 - 3 + 5*f - 3*f**2 - 1 - f - 10*f**3. Let r be x(2). Is (-2 - r) + -1 + 1 a multiple of 13?
False
Suppose 7*f - 8 = 5*f. Suppose f*t = w + 13, t - 14 - 3 = 3*w. Is 7 a factor of 16*1 - (w + 7)?
True
Let t = 3097 - 1192. Is t a multiple of 15?
True
Suppose 0*u = -7*u + 1099. Does 17 divide u?
False
Let x = -141 - -178. Does 3 divide x?
False
Let g(t) = -t**3 - t + 44. Let z = 28 +