 + 1)/4 a multiple of 16?
True
Let h be (2 - 1) + (2 - 33). Let z = h + -5. Let d = 51 + z. Is d a multiple of 16?
True
Let d = 4 + 5. Suppose -2*l - d = -5*l. Suppose v - 43 = -l. Does 11 divide v?
False
Let k(u) = -u**3 + 6*u**2 + 6*u + 5. Is k(5) a multiple of 10?
True
Let i(k) be the third derivative of -k**4/24 + 5*k**3/6 + 16*k**2. Let y be (-2 - -1)/(3/21). Does 12 divide i(y)?
True
Suppose -2*s + 4*a = -9 - 23, -s = 4*a + 14. Let r(i) = 13*i + 33. Let n(w) = -7*w - 16. Let b(d) = s*r(d) + 11*n(d). Is 9 a factor of b(0)?
False
Let u = 7 + -5. Suppose 4*n - 168 = 372. Suppose 16 + 43 = u*d + 3*i, -5*i = 5*d - n. Is d a multiple of 16?
False
Does 29 divide ((-24)/2)/((-9)/102)?
False
Let q(k) be the first derivative of 3*k**2/2 + 5*k - 1. Suppose 4*z = -5*w + 34, 2*w - 9 + 2 = 5*z. Is 21 a factor of q(w)?
False
Let r(l) be the third derivative of -l**4/6 - 13*l**3/6 + 5*l**2. Does 12 divide r(-11)?
False
Let v = -95 + 202. Suppose -4*b = -v - 13. Does 5 divide (b/(-8))/((-9)/24)?
True
Does 17 divide (-3)/((-195)/(-51) + -4)?
True
Suppose 10 = 6*d - 4*d. Let k = d + -1. Suppose 2*v - 48 = -2*o + 6*o, k*o - 36 = -v. Is 17 a factor of v?
False
Suppose -3*p = p - 20. Suppose 4*c - 59 = p*b, -c + 8 + 10 = 2*b. Does 8 divide c?
True
Is 22 a factor of 12*((-2)/1 + (-141)/(-9))?
False
Let u(b) = 19*b + 6*b - 3*b + 1 + b. Is u(3) a multiple of 18?
False
Let z(p) = p**2 + 3*p - 4. Is 22 a factor of z(-10)?
True
Let y(s) = s**3 - 9*s**2 + 10*s - 11. Let k be y(8). Let b be 56/10 + (-3)/k. Suppose 3*d - b*d + 42 = 0. Is d a multiple of 21?
True
Let n(s) = s + 17. Is n(0) a multiple of 9?
False
Let v = 36 - 23. Is v a multiple of 2?
False
Suppose 2 = -s + w, 3*s - 5*w - 26 = 7*s. Let b be 8/6*24/s. Let l = b - -19. Does 6 divide l?
False
Let u = -11 + 8. Is (u + 0)/((-9)/51) a multiple of 11?
False
Let y be 0*((-3)/(-2) - 1). Suppose -131 = -d - 2*d - 4*n, 5*d + 5*n - 225 = y. Does 14 divide d?
False
Suppose -5*j + 1404 = -456. Let d = j + -260. Is d a multiple of 29?
False
Suppose -138 = -o - 2. Is o a multiple of 17?
True
Let c(d) = d**3 - 3*d**2 - 4*d + 1. Let m be c(4). Suppose m = 3*i - 8. Suppose i*k + 2*k = 15, k = 5*x - 117. Is x a multiple of 10?
False
Suppose -4*x = -n + 3*n - 56, 52 = 4*x + 3*n. Is 33/4*x/6 a multiple of 11?
True
Let u = -7 + 12. Let o be (9 - 6)*(-1 + 10). Suppose -u*i + o = -18. Does 9 divide i?
True
Let l(u) = 3*u - 1. Let j be l(2). Suppose -2*q + 5*i = 1, 4*q = -j*i + 2*i + 11. Does 5 divide 96/9*3/q?
False
Let l be 264/(-7) + 8/(-28). Let d = 76 + l. Does 19 divide d?
True
Suppose 0 = v + 1, 3*v + 1488 = 2*q + q. Suppose 5*o - q = -5*r, 19 = 3*o + 7. Is r a multiple of 31?
False
Let v(n) = -n + 4. Let f be v(6). Is 16 a factor of (-2 - (f + -30)) + 2?
True
Let v(l) = 2*l - 3 - 2*l**2 + 0 + 4*l**2 + 2*l - l**3. Let b be v(3). Suppose b = r + 3*r - 44. Is r a multiple of 11?
True
Let c(o) = -11*o**2 + 2*o + 1. Let t be 2/(-4) - 14/(-4). Let z be c(t). Let l = z + 129. Does 25 divide l?
False
Suppose 5*b - 159 = 331. Does 14 divide b?
True
Let t = -23 + 38. Suppose 3*d = t, 8*d = -5*l + 3*d + 170. Is l a multiple of 5?
False
Suppose 15 = q + 4*q. Let g(f) = -f**2 - 9*f - 4. Let a be g(-5). Suppose t - a = -q. Does 9 divide t?
False
Let t = -7 - -2. Let n = t - -9. Suppose 49 + 7 = n*i. Is i a multiple of 7?
True
Let q(x) = x**3 + 5*x**2 - 7*x + 8. Let n(o) = o**3 + 5*o**2 - 6*o + 7. Let p(v) = 6*n(v) - 5*q(v). Is p(-5) a multiple of 3?
False
Suppose -3*m - 5*a - 3 = -2*m, 3*a = 5*m - 97. Is m even?
False
Suppose 1 - 5 = 2*n. Is 8 a factor of (-1)/(n - (-81)/41)?
False
Let i(r) = 3*r - 3. Let n be i(2). Let u(s) = 13*s - 3. Is 20 a factor of u(n)?
False
Let y(u) = -u**3 - 5*u**2 + 4*u + 7. Let q be y(-5). Let w = q + 21. Is w a multiple of 8?
True
Let z(v) = 5*v - 1. Does 17 divide z(12)?
False
Does 23 divide 0 + (4 + -4 - 4) + 119?
True
Let y(c) = c**2 + 3*c + 3. Is 3 a factor of y(-8)?
False
Let x(k) = -k**3 + 22*k**2 - 19*k + 15. Does 19 divide x(21)?
True
Suppose 2*q - 557 = -2*q - 3*r, -5*r - 5 = 0. Is q a multiple of 28?
True
Let m = -19 - -52. Suppose 9*t - 4*t - m = 4*r, 5*t - 23 = -r. Suppose 2*l = t*l - 78. Does 15 divide l?
False
Let m(h) = h**2 - 12*h + 10. Is 18 a factor of m(13)?
False
Suppose 5*r - 38 = -2*b + 43, 5*b - 245 = -4*r. Is b a multiple of 25?
False
Suppose 6 = 3*i + 3. Let c(a) = 119*a - 5. Let k(m) = 40*m - 2. Let j(n) = 3*c(n) - 8*k(n). Does 19 divide j(i)?
True
Let f be 63 + (0 - 0)/1. Let s = 80 + -123. Let x = f + s. Does 10 divide x?
True
Suppose 2*y + 18 = 2*a, 0*a - 3*y = 2*a + 2. Suppose -4*n + 28 = 4*l + 8, -5*n + a*l - 5 = 0. Does 7 divide 0 + (n - 3) + 12?
False
Suppose -28 = -p + 3*h, -2*p - 1 = -4*h - 57. Does 15 divide p?
False
Suppose -108 = -4*j + v, -4*j = -0*v - 3*v - 100. Is j a multiple of 18?
False
Let c(t) = t**3 - 9*t**2 + 9*t. Let u be c(8). Suppose j - 20 = u. Is j a multiple of 14?
True
Let m = -110 - -156. Is 22 a factor of m?
False
Suppose -4*p = 4*q - 368, 5*p - 155 = -2*q + 317. Does 24 divide p?
True
Let x(f) = -f**3 + 8*f**2 - 8*f + 2. Let z be (-1)/(-4) - (-122)/(-8). Let t be (z/10)/((-2)/8). Is 13 a factor of x(t)?
True
Let u(b) = 3*b + 3. Suppose 3*t = -2*m, 2*m - t = 2*t + 12. Is u(m) a multiple of 6?
True
Does 25 divide ((-1050)/63)/(4/(-18))?
True
Suppose -127 - 56 = -r. Let c = r + -109. Suppose 3*z + 29 = c. Is 9 a factor of z?
False
Does 14 divide 1/5 - (-139)/5?
True
Let i(p) = -p. Let s be i(4). Let w = 10 - s. Does 14 divide w?
True
Suppose -g - 4 + 22 = -5*y, 0 = -3*g - y + 6. Suppose 4*f + 5*a - 18 = 34, g*a + 28 = 5*f. Does 8 divide f?
True
Is 35 a factor of 2 + -4 - -2 - (-3 - 61)?
False
Suppose -2*f + 7 = 3*j, 5 = 2*f + 4*j - 3. Suppose f*w - 9 = 5. Does 7 divide w?
True
Let t = 5 - 3. Suppose -t*v = 1 - 9. Suppose 8 = -2*x + v*x. Is 4 a factor of x?
True
Let w be -1*9/(-5 - -2). Suppose p = w*p - 22. Does 6 divide p?
False
Let p = 1 - 3. Let b be (p + 4)*4 - 0. Suppose b = 3*z - 55. Is z a multiple of 12?
False
Let y = 5 - 1. Suppose y*n - 35 = -n. Is n a multiple of 7?
True
Let k = 149 - 31. Does 10 divide k?
False
Let c(w) = w**2 - 4*w + 3. Let a be c(3). Suppose a = d - 3*r - 13, 4*r - r - 9 = 0. Suppose 0 = 2*b - 36 - d. Is b a multiple of 15?
False
Let j(v) = v - 1. Let f be j(4). Suppose -5 + 3 = -f*y - a, 5*a + 22 = y. Is y a multiple of 2?
True
Let i(t) = -t**3 + 6*t**2 + t - 2. Let d be i(6). Let k = -17 + d. Is (-1 - k)*(0 - -2) a multiple of 8?
True
Suppose 112 = 5*t + 2*h - 318, -460 = -5*t + 4*h. Is t a multiple of 22?
True
Is 13 a factor of (546/35)/(2/10)?
True
Let u = 0 + 5. Suppose 2*f = u - 1, 3*o = 3*f + 9. Suppose -5*n + 44 = -j, -2*n = -o*j - 15 + 2. Is 4 a factor of n?
False
Does 4 divide 182/10 + 64/80?
False
Suppose 0 = -2*z - z + 6. Let a = 16 - z. Does 4 divide a?
False
Suppose -2*s + i + 237 = 0, -11 = -2*i - 5. Is 30 a factor of s?
True
Let z(i) = i + 3. Suppose 4*o - 3*r = -27, 2*o - r + 3*r = -24. Let w = -3 - o. Is 5 a factor of z(w)?
False
Suppose 0 = -0*m + 5*m + 540. Let x = -49 - m. Is 16 a factor of x?
False
Let y(l) = l**3 + 8*l**2 - 7*l. Does 10 divide y(5)?
True
Let b(r) = r**2 - 2*r + 2. Let g be b(3). Let w be -1 - (g - 2)/3. Is 13 a factor of (0 + w)/(1/(-10))?
False
Let m be 20/(-70) + 144/14. Is 15 a factor of (-90)/(m/(-4) - -1)?
True
Suppose -2*j + b + 310 = 0, 4*j + 0*b - 614 = 5*b. Does 12 divide j?
True
Let z(t) = t**2 - t + 8. Does 3 divide z(0)?
False
Let z = 17 + -11. Let w = z + -3. Suppose -w*f - t + 47 = -17, -2*f = t - 44. Is f a multiple of 16?
False
Let d(b) = b**3 + 15*b**2 + 12*b + 9. Is 37 a factor of d(-14)?
True
Let o(f) be the first derivative of f**4/2 + f**2 - f - 1. Is 7 a factor of o(2)?
False
Let o(c) = c - 3. Let l be o(8). Suppose -l*i + 72 = -2*i. Is 15 a factor of i?
False
Let q be (2 - 1) + -4 - -1. Let l = q - 0. Let c = l + 8. Is c even?
True
Let t(y) = 19*y - 15. Is t(5) a multiple of 39?
False
Let o be 36/(-10) + 16/(-40). Let v = o - -64. Is 20 a factor of v?
True
Let u = 66 + 59. Suppose 2*m - u = 99. Suppose 4*y - 48 = m. Does 17 divide y?
False
Suppose -3*q + 22 + 26 = 0. Is q a multiple of 8?
True
Let y(r) = -45*r - 3. Let u(k) = 23*k + 1. Let b(v) = -5*u(v) - 2*y(v). Is b(-2) a multiple of 16?
False
Let y(f) = f**3 + 10*f**2 - 12*f + 3. Is y(-7) a multiple 