e -p - u = -2*p. Is 10 a factor of p?
True
Let x(w) = -w**2 + 17*w - 6. Is x(6) a multiple of 10?
True
Is (-1)/(-2*(-1)/(-46)) a multiple of 17?
False
Let v(i) be the second derivative of i**4/12 - 5*i**3/6 - 5*i**2/2 - 2*i. Let p be v(6). Does 16 divide 32 + p + (-3 - -2)?
True
Suppose 10 = 3*b - b. Let w(q) = -q**3 + 6*q**2 - 4*q - 3. Let d be w(b). Is (-111)/(-4) - d/(-8) a multiple of 14?
True
Let p = -8 - -13. Suppose p*y - 5*q = 35, -2 = 2*q - 10. Does 3 divide y?
False
Let a(h) = h**2 - 2*h - 6. Does 6 divide a(6)?
True
Let u be (-6)/(-9) + 22/3. Let h = u - 5. Does 2 divide h?
False
Let t(r) = -r**2 + 8*r + 5. Let y be t(7). Is 10 a factor of (y/2)/(3/8)?
False
Suppose 642 = 5*j + 272. Suppose 0 = 2*c + 4*f - j, 0 + 4 = -f. Does 15 divide c?
True
Is 23 a factor of ((-1493)/13)/(-1) + (-14)/(-91)?
True
Let h(r) = -2*r. Suppose 4*l + 41 = -27. Does 17 divide h(l)?
True
Suppose -4*d = -4*y + 360, -3*d - 450 = -11*y + 6*y. Suppose 5*n = -2*f - 277 + 50, -5*n - 4*f - 219 = 0. Let k = y + n. Does 15 divide k?
False
Let z(h) = h**3 + 7*h**2 + 7*h + 1. Is 4 a factor of z(-5)?
True
Is 144/4 + 3 - 5 a multiple of 6?
False
Let m(a) = -3*a**3 - a**2 + 3*a - 1. Let s(l) = l**3 - l**2 + l - 1. Let o(y) = -m(y) - 2*s(y). Let k be o(-4). Suppose k = 5*t - 73. Does 16 divide t?
True
Let n(y) = -3*y**2 - 4*y + 9. Let w(o) = -5*o**2 - 7*o + 17. Let d(s) = -11*n(s) + 6*w(s). Does 21 divide d(4)?
False
Let i(j) = 2*j**2 + 1. Let p be i(1). Suppose 3*n + 162 = p*v, -n + 118 = -5*v + 368. Is 13 a factor of v?
False
Suppose 4*f = 8*f + 5*u - 41, u - 28 = -3*f. Does 4 divide f?
False
Let i = 1 - -2. Suppose i*r = -0*r + 153. Is r a multiple of 17?
True
Suppose -3*b + 10 = x, -5*b - 3*x = -0*b - 14. Suppose -b*c + 236 = 4*v, 5*v - 251 = -3*c + 46. Is 8 a factor of v?
False
Suppose -24 = -a + 4*a. Let v = -58 + 20. Let q = a - v. Is 15 a factor of q?
True
Suppose -41 = -3*w - 3*a + 8*a, -4*a - 9 = w. Suppose 20 = w*r - 2*r. Suppose -4*o = -5*z - 98, r*o - 4*z - 80 = -8*z. Is 11 a factor of o?
True
Let k(b) = -3*b**2 + 3*b. Let t(o) = -o**2 + o. Let v(y) = -3*k(y) + 7*t(y). Is 12 a factor of v(3)?
True
Let l(j) = -2*j + 3. Let n be l(3). Let t be (2*-5)/(n + 1). Suppose -2*a = -k - 58, -3*a - 50 = -5*a + t*k. Is 15 a factor of a?
True
Is (-2)/(4 + 108/(-26)) + -1 a multiple of 6?
True
Does 13 divide 60/50*(-440)/(-6)?
False
Let t = 34 - -4. Is 12 a factor of t?
False
Let p be -4 + -5 - 6/2. Let s = p - -22. Is s a multiple of 5?
True
Does 6 divide (-1440)/(-27) + 2/3?
True
Suppose -3*t + 350 = 4*v + 118, -5*t = 0. Does 18 divide v?
False
Suppose -3*z = -2*i + i - 21, -i = 3*z + 15. Is 236/6 + (-12)/i a multiple of 14?
False
Suppose 0 = -13*t + 1521 + 1755. Does 18 divide t?
True
Let r(d) = 20*d + 20. Is 10 a factor of r(4)?
True
Is 14 a factor of 9652/209 - 2/11?
False
Let o(f) = 26*f + 9. Does 32 divide o(8)?
False
Suppose 4*o = 5*a + 2*o - 722, -4*a - 5*o + 571 = 0. Does 8 divide a?
True
Let n = 17 - 11. Suppose 4*s - n*k - 144 = -k, -4*s - 5*k = -104. Let v = 44 - s. Does 6 divide v?
False
Let u(j) = j**3 - 5*j**2 - 6*j. Let k be u(6). Suppose -3*s - 75 = -8*s. Let x = s - k. Is x a multiple of 15?
True
Let g(d) = -2 - d - d - 2 - d. Is 8 a factor of g(-8)?
False
Let p(u) = -u**2 - 3*u + 4. Suppose 2*z = -3*z - 15. Let r be p(z). Suppose 24 = 3*i - 2*b - b, r*b = -2*i + 10. Does 2 divide i?
False
Let u(a) = 58*a - 5. Let i(r) = -2697*r + 232. Let f(k) = -5*i(k) - 232*u(k). Let h be f(1). Let z = h - 18. Is 11 a factor of z?
True
Let r = -24 - -26. Let c(j) be the second derivative of 2*j**3/3 - j**2/2 + j. Is 7 a factor of c(r)?
True
Is 15 a factor of (-13)/(3 - (-10)/(-3))?
False
Let z(d) = 47*d**2 - d. Let x be z(1). Suppose 81 = 5*q - 4*n, q + 5*n = 4*q - x. Is q a multiple of 7?
False
Suppose 0 = -w + 2*y + 88, -7*w + 2*w + 414 = 3*y. Is 7 a factor of w?
True
Let p = -28 + 67. Suppose 0 = 17*o - 13*o + 4. Let a = p + o. Does 19 divide a?
True
Suppose -h + 3*a + 6 = -4, -4*a = 5*h - 12. Is h a multiple of 4?
True
Let i be (5 - 2) + (-2 - -2). Let h = 3 - i. Suppose h*w - w = -18. Is w a multiple of 7?
False
Let t = 195 + -114. Is 15 a factor of t?
False
Suppose y + 5*j + 4 = -0*y, -4*y + 56 = -4*j. Is y a multiple of 3?
False
Let n(b) = 304*b**2 - 2*b + 2. Does 38 divide n(1)?
True
Let u = 234 + -140. Let p = u + -19. Let t = p + -53. Does 16 divide t?
False
Suppose -k + 63 = -220. Is 29 a factor of k?
False
Let y(f) = f**3 + 15*f**2 + f - 1. Let l be y(-15). Let m = 44 + l. Is 7 a factor of m?
True
Suppose 149 - 49 = 4*r. Suppose 4*v - r = 31. Is v a multiple of 9?
False
Suppose -13*t = -1078 - 1574. Is t a multiple of 17?
True
Let j(w) be the second derivative of -w**5/20 - w**4/12 - w**3/3 - w**2 + w. Suppose 3*b + 0*b = -3*z + 6, 0 = -5*z + 20. Does 4 divide j(b)?
False
Let v be 264/(-42) + 4/14. Is v/(-9) + 314/6 a multiple of 15?
False
Let w = 154 - 104. Suppose 4*n + 12 = 5*c + 2*n, 3*c = 3*n. Suppose 0 = -5*q + 3*y + w, -2*y = -c*q + 49 - 9. Is 10 a factor of q?
True
Suppose 44 = 4*t - 80. Suppose 3*y - t - 26 = 0. Is 4 a factor of y?
False
Let d(j) = 10*j - 6. Let k be d(-6). Let q = k - -141. Suppose -2*f + 4*t = -17 - q, 5*f - 230 = 2*t. Is 16 a factor of f?
False
Suppose 3*k - 2*k = 2. Let j(s) = 5*s. Does 5 divide j(k)?
True
Suppose 3*v + 32 = 3*f + v, -f - 4*v = 8. Let p = f - 3. Does 2 divide p?
False
Let m = -92 - -170. Is 39 a factor of m?
True
Suppose 2 = -n - 8. Does 2 divide (24/(-15))/(2/n)?
True
Is 14 a factor of 11*(2 + 4) - -3?
False
Let b(g) = 13*g - 13. Is 21 a factor of b(11)?
False
Let u = 7 + -2. Let w(b) = 5*b + 5. Is w(u) a multiple of 10?
True
Suppose 0 = -5*n - 180 + 1230. Suppose 4*l = -l + n. Does 14 divide l?
True
Suppose -309 = -4*g - 5*i, g + 5*i + 23 = 104. Suppose -g = -n - n. Is 13 a factor of n?
False
Let k(p) = -3*p**3 - p**2 - p. Let w(n) = -n + 4. Let o be w(5). Let x be k(o). Suppose 0 = f + 5*d - 26, 4*f - x*d = -8*d + 164. Does 23 divide f?
True
Suppose 183 = -2*v + 373. Is v a multiple of 4?
False
Suppose -32 = -3*u - 2*n, -5*u + 7*n - 2*n = -45. Does 3 divide u?
False
Is (-20)/(-1 + 17/19) a multiple of 10?
True
Suppose -2*n + f = -3 + 1, -n - 8 = -5*f. Let b(w) = -2 + 0 - 3*w + 4*w**2 - w**3 + 2*w**n. Is b(4) a multiple of 9?
True
Let u = 10 - 21. Let a = u - -62. Does 13 divide a?
False
Let u(o) = o - 8. Let t be u(-7). Let h be 18/(-10) - (-3)/t. Does 15 divide 28 + (-1)/(1/h)?
True
Suppose 0 = -4*k - 6*k + 1570. Is k a multiple of 25?
False
Suppose -75 = 5*m - 0*m. Let x = 4 - -31. Let q = m + x. Does 20 divide q?
True
Let l be 6/4*274/(-3). Let b = -98 - l. Is 13 a factor of b?
True
Is ((-72)/15)/((-6)/45) a multiple of 12?
True
Let w be (-2)/((-1)/(-2) + -1). Suppose -3*l - t + w*t = -3, 2*l + t - 11 = 0. Suppose -l*d - 18 = -70. Is 5 a factor of d?
False
Let n(j) = 143*j**2 + j - 2. Is 24 a factor of n(1)?
False
Let v(y) = 2*y**2 - y. Let o be v(-1). Suppose -o*t - 2*t + 310 = 0. Does 13 divide t?
False
Let z = 899 + -544. Is z a multiple of 20?
False
Suppose -4*l + 14 = -2. Suppose -3*o - 2*s - 3*s = -70, 65 = l*o + s. Does 14 divide o?
False
Let g(s) = -9*s + 5. Let i(x) = -4*x + 2. Let o(j) = -2*g(j) + 5*i(j). Does 3 divide o(-4)?
False
Suppose -3*m - 4 + 13 = 0. Suppose -3*a = -15 + m. Does 2 divide a?
True
Let d be 1/(-2*1/(-314)). Let c = -84 + d. Does 16 divide c?
False
Suppose -2*y - 5 = -5*g - 55, -3*g + y = 30. Let x be (2 - 10/4)*g. Suppose 2*m = -x*a + 11 + 35, -m = -4*a + 29. Does 8 divide a?
True
Let t(w) = 3*w**2 - 2*w + 5. Let c be t(-5). Suppose g + 120 = 4*d - g, -3*d + c = -g. Is d a multiple of 13?
False
Let n = -8 - 0. Does 14 divide ((-44)/(-3))/(n/(-12))?
False
Let a(y) = -y**3 + 7*y**2 - 6*y + 3. Let o be a(4). Does 16 divide 858/o + 2/9?
True
Suppose 2 = k + 1. Suppose -j - 2 = -k. Does 6 divide 20 - (-1 + j - -4)?
True
Suppose -4*p - a = -754, -4*a + 532 = 4*p - 216. Is 10 a factor of p?
False
Let t(z) = 6*z**2 + z. Let d be t(1). Let b(n) be the second derivative of -n**4/12 + 2*n**3 - 9*n**2/2 - 14*n. Is 12 a factor of b(d)?
False
Suppose 0*d - 2 = 2*d. Let g be (1 + -4)/(d*1). Suppose -2*q = -8, 0 = -4*b + g*b - q + 16. Does 5 divide b?
False
Let g(w) = -w**3 - 10*w**2 - 5*w - 3. Let l be g(-9). Let j = l - -61. Does 19 divide j?
False
Suppose -5*v = 2*f + 3, -f + 3*v