k - 6*k. Suppose 3*h = -2*f + 21, 0 = 5*f + 2*h - k - 47. Is f a multiple of 12?
True
Let j(w) = -w**2 - w + 13. Let c be j(0). Suppose -2*n - 4 = -2*m, 2*m + 0*n - c = -n. Is 5 a factor of m?
True
Suppose -5*k - 3 + 53 = 0. Let t = 67 - 45. Let i = k + t. Does 16 divide i?
True
Let j(c) = c - 2. Let m(h) be the second derivative of h**3/6 - 2*h. Let i be m(4). Is j(i) a multiple of 2?
True
Suppose 8*z - 3*z + c = 328, 5*c + 10 = 0. Is 22 a factor of z?
True
Let y = 0 - -4. Suppose -y*k + 0*s + 4*s = -36, s + 5 = 0. Suppose -k*w = -w - 36. Is w a multiple of 6?
True
Let h(g) = 11*g**2 + g - 9*g**3 - 10 + 5*g + 10*g**3. Does 9 divide h(-10)?
False
Let n(k) = -10*k**2 + 36*k - 26. Let u(v) = 7*v**2 - 24*v + 17. Let g(p) = 5*n(p) + 7*u(p). Is g(9) a multiple of 4?
True
Let c = 29 + 28. Suppose 3*q - c = -2*k, -k + q + 41 = -0*k. Does 14 divide k?
False
Let i = -13 + 73. Is i a multiple of 20?
True
Let n(d) = 34*d**3 + d. Suppose 2 = 5*a - 3*a. Is 20 a factor of n(a)?
False
Let n(c) = 3 - c**2 + c - c + c + 2*c**2. Let q be n(0). Suppose 0 = -0*o + q*o - 99. Is 14 a factor of o?
False
Let c(s) = -5*s + 2. Let p be c(-2). Suppose -2*j + 6*j + p = 0. Does 4 divide 9 - (6/j - -1)?
False
Suppose -6*w = -10*w + 192. Does 15 divide w?
False
Let y(m) = -3*m - 7. Let s be y(-3). Is s*1 + (25 - -2) a multiple of 27?
False
Let b = 226 + -186. Is b a multiple of 8?
True
Let r = 9 - 3. Suppose -a = -r*a + 260. Suppose -a = -h - 3*h. Does 13 divide h?
True
Suppose 3*i = 8 + 16. Does 4 divide i?
True
Let v = -21 - -34. Let y = v + -6. Does 6 divide y?
False
Suppose -3*x - 17 = 4*l, 0*x = -3*x - 9. Does 14 divide 39 + 6 + -3 + l?
False
Let h(l) = l**2 - 6*l + 4. Let s be h(8). Let j(z) = 3*z + 9 + 9 - s + z**2. Is j(-4) even?
True
Suppose 10 = 6*r - r. Suppose r*d - 2*p + 6*p - 32 = 0, -3*d = 3*p - 60. Is d a multiple of 12?
True
Suppose 4*s - 6*s + 144 = 0. Does 9 divide s?
True
Let b be -2*(-4)/(-8)*-38. Let k = b + -12. Is 26 a factor of k?
True
Suppose 5*h + 3*t = 4*t - 37, -2*t = 6. Let k = h + 29. Does 11 divide k?
False
Suppose -47 + 18 = -h. Is 5 a factor of h?
False
Let g(n) = -2*n**2 - 21*n + 11. Is g(-9) a multiple of 20?
False
Let o(x) = -3*x - 2. Let a be o(-2). Suppose 4 = -3*j + a*j. Suppose 5*p - 62 = 3*f, 0*p - j*f = -2*p + 22. Is 11 a factor of p?
False
Let w = 111 + -73. Is 10 a factor of w?
False
Let p(q) = 7*q - 2. Let h(g) = g**2 - 1. Let x(z) = -h(z) + p(z). Let i(o) be the first derivative of x(o). Is i(-7) a multiple of 10?
False
Let n(p) = -p**2 - 8*p + 7. Let k be n(-8). Let t = 11 - k. Suppose -224 = -t*j - 68. Is j a multiple of 15?
False
Suppose -f - 5 = -6*f. Let o = 7 + f. Let i(k) = k**2 - 6*k - 9. Does 7 divide i(o)?
True
Let z be 2/(-8) - 2/(-8). Let x = 3 + 2. Suppose 0 = 3*d - x*f - 85 - 22, z = -4*d + 2*f + 124. Is d a multiple of 14?
False
Let q be (22 + -7)*(-2)/(-3). Let t be 3*(0 + 4)/(-2). Let i = t + q. Does 4 divide i?
True
Let h(u) be the third derivative of -5*u**4/24 - u**3/3 - u**2. Does 6 divide h(-5)?
False
Does 5 divide -7*3*2/(-6)?
False
Suppose 3*w = 3*j + 2*j + 5, 5*j = 2*w. Suppose -2*n = i - 25, -4*i = -j*n - 2*n - 76. Is i a multiple of 10?
False
Let h(a) = -a**3 + 3*a**2 + 3*a + 2. Let b be h(4). Is 32 + (b - 0/3) a multiple of 10?
True
Let k be (-5)/2*(-8)/10. Suppose 0 = -k*r - 2*r + 148. Is r a multiple of 17?
False
Suppose -2*u - f + 90 = u, -120 = -4*u - 4*f. Is u a multiple of 6?
True
Suppose -776 - 844 = -9*k. Is 36 a factor of k?
True
Let u(s) = -16*s**2 + 41. Let v(d) = 3*d**2 - 8. Let g(k) = 2*u(k) + 11*v(k). Let c be g(0). Does 6 divide 8/c*27/(-6)?
True
Suppose -15 = 4*v - p - 267, 2*v + 4*p = 126. Is 3 a factor of v?
True
Let m(s) = -11*s + 89. Is m(6) a multiple of 17?
False
Let u = -2 - 7. Does 10 divide -6*(-1 + 6/u)?
True
Let a(x) be the second derivative of x**3/6 + 21*x**2/2 + 9*x. Is a(-15) a multiple of 5?
False
Let r = 67 - 35. Is r a multiple of 32?
True
Suppose -2*o = -0*o. Let b(w) = -2*w**3 - 7*w**2 + 9. Let v(z) = -3*z**3 - 10*z**2 + 13. Let m(t) = -7*b(t) + 5*v(t). Is m(o) a multiple of 2?
True
Let d(w) = 9*w**2 - 2. Does 17 divide d(2)?
True
Suppose 139 = -3*s + 2*s. Let p = 40 - s. Suppose -5*t + p - 9 = 0. Is 17 a factor of t?
True
Let x(j) = j**3 - 3*j**2 - 3*j - 1. Suppose -5*t = -6 - 14. Let l be x(t). Does 17 divide 2*l/(-6)*-23?
False
Suppose -6*l - 218 = -746. Is 26 a factor of l?
False
Let n be (-3)/(2 - -4)*0. Is 12 a factor of (-1 - n)*(5 + -29)?
True
Let p be ((-145)/(-20))/(2/16). Let i be p/(-18) - 10/(-45). Let t = i + 12. Is t a multiple of 3?
True
Let w(a) = a**2 - 3*a - 3. Does 27 divide w(-9)?
False
Let t be -6 - -2 - 2/(-2). Let y be 2/t + (-33)/(-9). Does 7 divide ((-52)/(-6))/(1/y)?
False
Suppose -42 = -u - 2*u. Let d be 29*(0 + (2 - 1)). Let p = d - u. Is p a multiple of 15?
True
Let n = 16 + -14. Suppose -2*h + n*t = -24, -5*h + 2*t = -0*h - 69. Is 5 a factor of h?
True
Suppose 2 + 6 = -2*u, 0 = -3*r - 3*u + 267. Is r a multiple of 14?
False
Suppose 3*u + u = 3*s + 20, 5*s = u - 22. Suppose u*p = -0*p + 36. Is 4/(20/p + -1) a multiple of 19?
False
Is 13 a factor of (-6 + -33)*(-1 - 44/12)?
True
Suppose 5*g - 6*g - 3*w + 11 = 0, 0 = 2*g - 2*w - 14. Is g a multiple of 6?
False
Let s = 28 - 46. Is 3 a factor of (-416)/(-72) + (-4)/s?
True
Suppose -z + 5 = -3*p - 92, z = 4*p + 95. Let a = z + -58. Is 17 a factor of a?
False
Suppose 3*c = 0, 3*c - 80 = -4*y + 4*c. Does 10 divide y?
True
Let i(t) = t**3 + 11*t**2 - 4*t - 2. Let a be i(-11). Suppose -v + a = -5*s, v + v - 84 = -4*s. Is 21 a factor of v?
True
Let r be ((-32)/10)/(4/60). Let w be 2/9 + r/(-27). Suppose 5*a = -z + 68, -w*z + 4*z - 38 = -3*a. Is a a multiple of 7?
True
Suppose 2*o + 32 = 138. Is o a multiple of 23?
False
Let f(k) = 20*k**2 - 2*k - 1. Let u be f(-2). Suppose -2*h - u = -2*s + 3*h, -3*h = -15. Does 18 divide s?
True
Suppose -4*m + 2*m = -6. Suppose -m*a - o + 78 = 2*o, -4*a + 95 = -5*o. Is 15 a factor of a?
False
Let q = 71 - -33. Is 18 a factor of q?
False
Suppose 3*d - 23 - 58 = 3*w, d = 2*w + 25. Let n = 43 - d. Does 7 divide n?
True
Let u = -17 + 52. Does 11 divide u?
False
Is 9 a factor of (-6)/(5/((-15)/2)) - 0?
True
Let a = 15 - -26. Does 10 divide a?
False
Suppose -7*v + 10*v - 3*s = 150, 5*s = 3*v - 152. Does 7 divide v?
True
Is 49 + 10 + 3/(-1) a multiple of 14?
True
Suppose -4*l + 2 = -i + 19, 0 = 4*l - 5*i + 5. Let c = l + 32. Does 9 divide c?
True
Suppose 2*o - 4*k + 70 = 4*o, 4*o - 3*k - 195 = 0. Suppose -4 = c - 5*x, -o = -c - 2*c - 4*x. Does 10 divide c?
False
Let w(y) = -4*y + 2*y + 2*y**2 - 3 - y**2 + 1. Is 9 a factor of w(6)?
False
Let x(l) = -l**3 + 7*l**2 - 5*l + 2. Suppose -2*b - 12 = -2*z, 0*z = -b + 4*z - 21. Let g = 5 + b. Does 12 divide x(g)?
False
Let v = 14 + -1. Does 5 divide v?
False
Let q(m) = 69*m - 15. Does 9 divide q(4)?
True
Let z = 1 - -1. Suppose d + 9 = -z*d. Is 11 a factor of (d + -1)*11/(-2)?
True
Let m = 10 + -3. Does 3 divide m?
False
Suppose -4*z = -68 + 16. Let m = -10 + z. Is 19 a factor of (-7)/2*-10 + m?
True
Let c(f) = -f - 4. Let z be c(-4). Suppose -u - 2*u + 15 = z. Is u even?
False
Suppose 6 - 2 = 2*t. Suppose i = t*k - 6*k + 101, -3*k = 2*i - 82. Is 12 a factor of k?
True
Suppose -6*i + 4*i + 8 = 0. Suppose 0 = i*r - 63 - 17. Suppose 2*s - s - r = 0. Is 20 a factor of s?
True
Let s(x) = x**3 - 13*x**2 + 2*x + 1. Let c be s(13). Let w = c + -13. Is 3 a factor of w?
False
Let a(f) = -f + 4. Let p be a(-3). Let b(s) = 2*s - 10. Let o be b(p). Suppose 72 = 3*r - 2*t + o*t, 4*t = 0. Is r a multiple of 12?
True
Let l = 528 + -303. Is l a multiple of 23?
False
Let f = 9 - 3. Let n be f/1 + -2 + -1. Suppose -n*k - 43 = -205. Is k a multiple of 24?
False
Does 12 divide (3/2)/(3/44)?
False
Suppose 5 + 3 = 2*t. Suppose 2*g + 12 = 2*y - t, 5*g = 3*y - 30. Suppose 4*j = y*j - 12. Is j a multiple of 6?
True
Let b(r) = -7*r - 10. Let d be b(-8). Suppose o = 3*y + 21, o = -5*y - o - d. Let j = y + 21. Is j a multiple of 13?
True
Does 16 divide 34 + (12 - 4)/(-4)?
True
Let n(h) = 3*h**2 - 14*h + 8. Is n(6) a multiple of 8?
True
Suppose 5*c - 15 = 2*c. Suppose -t + 0*t = -q - 2, 0 = c*t + 4*q - 55. Is 6 a factor of t?
False
Suppose 3*a = -2*a. Let u(d) = -d**2 - d + 5. Let v be u(a). Suppose -5*n = -2*l + 54, -v*l - 2*n + 74 = -32. Does 8 div