 74 = -o*d. Does 8 divide d?
False
Let k(h) = 2*h**2 - 4*h - 7. Let n be k(-5). Suppose -4*c + 0*c = 5*z - 53, n = 5*c + 3*z. Is c a multiple of 7?
False
Let x(o) = -o**2 - 11*o + 54. Does 3 divide x(-12)?
True
Suppose -4*k = -2*k - 336. Does 24 divide k?
True
Suppose m - 189 = 2*k, 2*k - 5*m = -2*m - 191. Suppose -2*q + 4*i = 2*i + 126, 0 = 2*i. Let s = q - k. Is s a multiple of 20?
False
Let y = 16 - 2. Let w = y - 6. Does 4 divide w?
True
Let q be 28/21*(-9)/(-2). Suppose -5*f + q = -14. Suppose 0 = -f*p - 12, -4*y + p + 178 = y. Is y a multiple of 13?
False
Suppose -5*q = 5*m - 145, 5*m + 2*q = 57 + 85. Does 14 divide m?
True
Suppose -4*n = -5*u + 40, -6*n = -4*n - 3*u + 18. Let s = n - -75. Is 12 a factor of s?
True
Let y be -2 - -4 - (-2 - 1). Let b(p) = p**2 - 4*p + 7. Let z be b(y). Is 8 a factor of (z + 1 + 0)*1?
False
Let o(u) = u**3 + 5*u**2 - 8*u - 4. Is o(-5) a multiple of 12?
True
Let p = 32 - 116. Let x be ((-6)/7)/(6/p). Suppose -2*j = -3*w - 0*w + 12, -3*w - j = -x. Does 4 divide w?
True
Let f(p) = 3*p**2 + 2*p + 2. Let y be f(-2). Let i = y + -2. Is 4 a factor of i?
True
Does 2 divide (6/10 - 1335/(-25))/2?
False
Let r(x) be the first derivative of x**3/3 - x**2 + 6*x - 5. Is 8 a factor of r(4)?
False
Let u(f) = 2*f + 240. Let h(w) = -w - 80. Let y(p) = -7*h(p) - 2*u(p). Is 16 a factor of y(0)?
True
Let k = 4 - 4. Suppose 5*m + 0*m - 5 = k. Does 10 divide 2/6*(m + 50)?
False
Let t(z) = z + 4. Let y be t(-5). Let n be 3 - 0 - 3/1. Is 6 a factor of n - -2 - 14/y?
False
Let a(i) = i**2 - 10*i - 7. Let c be a(10). Let v = 1 - c. Does 4 divide v?
True
Let q(u) = -u**2 + u + 4. Let t be q(0). Suppose -t*m + 0*m = -s - 40, 0 = -4*m - 5*s + 16. Is 3 a factor of m?
True
Suppose -2*v - 8 = -6*v. Let l(m) = 5 + 10 - v*m + 3*m - 1. Is l(-11) a multiple of 3?
True
Let b(m) = -7*m - 7. Does 14 divide b(-5)?
True
Let c(q) = q**2 - 8*q - 5. Let s be c(9). Suppose 0 = s*u - 8. Suppose -2*h = -x + 22, u*x = -3*h + h + 38. Is x a multiple of 10?
True
Let r be (1 + 0)/((-4)/(-8)). Let t(m) = 3*m**2 + 3*m - r*m**2 + 1 - 3*m - 3*m. Is t(5) a multiple of 3?
False
Let n = -7 - -2. Let b = -2 - n. Suppose 5*l = b*i + 85, -4*l + i = -i - 68. Does 15 divide l?
False
Let t(u) be the second derivative of u**4/12 - 2*u**3 + 5*u**2 + 4*u. Let b be t(11). Is ((-16)/(-20))/(b/(-20)) a multiple of 16?
True
Let w = 31 + -11. Does 10 divide w?
True
Let c = 214 - 144. Is c a multiple of 35?
True
Let b = -5 - -44. Does 13 divide b?
True
Let q(t) = t**2 + 4*t - 3. Let f be q(3). Is 472/f + (-2)/9 a multiple of 12?
False
Let v = -92 + 46. Suppose -8*d = -2*d + 120. Let z = d - v. Does 13 divide z?
True
Suppose 5*l + 6 = y, -4*l + 3*y = -3 + 10. Let x be (0/(l*2))/(-1). Let c = x - -3. Is 3 a factor of c?
True
Does 21 divide 9/15 - 2968/(-20)?
False
Let s(u) = -2*u + 8. Let d be s(3). Is 822/90 - d/15 a multiple of 7?
False
Suppose -2*w = 2*w - 76. Let u = w + -1. Is u a multiple of 10?
False
Suppose 2*p - 10 = -5*t, -2 = -t - p - 0. Let s(o) be the second derivative of o**4/6 - o**3/6 + o**2/2 - 9*o. Is s(t) a multiple of 3?
False
Let a = 7 - 3. Is a even?
True
Let h(c) = -2*c + 7*c**2 + c - c + c**3 - 7. Let l(j) = -8*j**3 + j**2. Let t be l(1). Is h(t) a multiple of 3?
False
Let z(o) = 10*o**2 - o + 3. Is z(-3) a multiple of 32?
True
Let i = 92 - 35. Is i a multiple of 3?
True
Let i = 370 + -246. Let l = i - 81. Let o = 79 - l. Is 18 a factor of o?
True
Suppose 6 = 5*c - 9. Suppose 0 + 15 = c*h. Does 5 divide h?
True
Let g = -3 + 5. Let x be g - 6/2 - -69. Suppose k = 4*q + 5*k - x, k = q - 27. Is 16 a factor of q?
False
Let u be 10/15*18/4. Does 9 divide (-2*5)/(u/(-6))?
False
Let g(j) = 21*j**3 + j**2 - 3*j + 1. Let o be g(2). Suppose -3*n + 539 = o. Suppose -2*l + 6*l = n. Is 8 a factor of l?
False
Suppose -111 = -5*m + 29. Is 9 a factor of m?
False
Suppose 0 = -5*r + 2*r. Does 4 divide 2 + r/1 + 3?
False
Let y be ((-3)/(-2))/(2/4). Let b be (31 + -1)*12/5. Suppose y*q = -q + b. Does 13 divide q?
False
Let r(k) = 2*k**2 + 4*k + 12. Is r(-6) a multiple of 12?
True
Let i = 13 + -7. Is 4 a factor of i?
False
Let p(l) = 3*l**2 - 2*l - 1. Let q be p(-1). Is 9 a factor of (q - 9)*-4*1?
False
Let b be 1*2/(-2)*-15. Suppose -b = 4*i - 75. Does 12 divide i?
False
Let b(m) = 10*m + 13. Is 20 a factor of b(8)?
False
Suppose 4*k - 20 = 2*b, b - 9 = -2*k + 1. Suppose -3*f = -b*f + 24. Let r(w) = -4*w - 11. Is 6 a factor of r(f)?
False
Suppose 5*d - 78 = 357. Does 29 divide (4/6)/(1/d)?
True
Let m(g) = -g**3 - 11*g**2 + 11*g - 2. Is m(-12) a multiple of 5?
True
Let p(f) = 2*f**2 + 5*f + 3. Is p(4) a multiple of 17?
False
Let y(v) = 8*v**2 + v + 6. Does 11 divide y(-3)?
False
Let k(x) = -x**3 - 3*x**2 - 2*x - 2. Let j be k(-3). Suppose -3*f = -3*m + j*m + 9, -m - 9 = -4*f. Is (m/15)/((-1)/5) a multiple of 2?
False
Suppose 2*y - 5*m - 133 = 0, m + 5 = 2*m. Is 25 a factor of y?
False
Suppose -w = 4*l + 2*w - 37, -2*l + 3*w = -23. Let j be (26/5)/(2/l). Suppose -j = -2*i - c + 28, -62 = -2*i + c. Is 17 a factor of i?
False
Suppose -5*u = -3*q - 10 - 4, -4*q - 3*u = -20. Is q/(-6) - 98/(-6) a multiple of 8?
True
Let c(z) = -13*z + 5. Does 4 divide c(-1)?
False
Let q = 13 - 0. Is q a multiple of 5?
False
Suppose 0 = 2*l + 3*q - 413, q + 1001 = 5*l - 2*q. Let m = l + -128. Is m a multiple of 19?
False
Suppose -4*x + 308 = 4*s - x, -396 = -5*s - x. Suppose -2*u - 3*u = -s. Is 8 a factor of u?
True
Let f(n) = -n**3 - 14. Let d be f(0). Let p = d + 24. Is p a multiple of 5?
True
Let x(a) = 2*a**2 + 4*a - 1. Let j be x(-3). Suppose -j*b + 178 = -12. Suppose -5*s = -12 - b. Does 10 divide s?
True
Let h(t) = -t**2 + 7*t - 10. Let j be h(4). Suppose 8 = 2*r - 2*w, j*w = -3*w + 20. Is 5 a factor of r?
False
Suppose -5*i = -3*i - 4. Let s = i - -3. Does 4 divide s?
False
Let w(x) = 2*x**3 - 7*x**2 + x + 10. Let a be 1*(3 + -2)*5. Is w(a) a multiple of 30?
True
Let c = -1 - -3. Suppose 10 = -c*o + 26. Is 6 a factor of o?
False
Let v = -61 - -72. Does 2 divide v?
False
Let h be (4/3)/((-2)/(-102)). Let w = h - 40. Let y = -12 + w. Is y a multiple of 8?
True
Suppose 4*c + 2*r + 0 = -26, 0 = 5*c - 3*r + 49. Let z = c + 50. Let g = z + -24. Is 9 a factor of g?
True
Let y(i) = -6*i**3 + 7*i**2 + 16*i + 2. Let w(h) = -5*h**3 + 7*h**2 + 15*h + 3. Let n(b) = -7*w(b) + 6*y(b). Let c be n(-6). Let r = c + 10. Does 8 divide r?
False
Let x(l) = 0 + 1 + 14*l - 1. Does 7 divide x(1)?
True
Let i(p) = p**2 - 6*p - 4. Let a be i(7). Let h(d) = 14*d**2 - 17*d + 6. Let o(g) = 5*g**2 - 6*g + 2. Let x(u) = 4*h(u) - 11*o(u). Is x(a) a multiple of 3?
False
Suppose -d + 68 = -0*d. Does 17 divide d?
True
Suppose n - 185 = 4*c, -c + 2*n - 3*n = 45. Let k be (-20)/(3 + 1)*4. Let v = k - c. Does 13 divide v?
True
Let j(c) = c + 34. Let z(k) be the first derivative of -k**4/4 - 10*k**3/3 + 6*k**2 + 11*k + 4. Let p be z(-11). Does 17 divide j(p)?
True
Suppose 0 = -2*c + 4*c - 10. Does 17 divide (2/c)/((-1)/(-85))?
True
Let h = -8 + 6. Let n be (1 + 1 - h)*2. Is 10 a factor of (6 + -1)/(2/n)?
True
Let n = 91 - 11. Suppose 4*g + n = 2*d - 0*d, -4*g = 0. Let r = d + -15. Is r a multiple of 10?
False
Suppose -117 = -2*f - 17. Does 5 divide f?
True
Let l(o) = -o**2 - 8*o + 4. Let z be l(-8). Suppose 0 = z*g + 4, -5*h - 2*g + 77 = -51. Is h a multiple of 13?
True
Let r(z) = 5 - 2*z**3 - z - 4*z**2 + 4*z**3 + 0*z - 4*z. Is 13 a factor of r(4)?
False
Suppose -6 = -p + 4*u + 13, -4*p - 3*u = 0. Suppose j + 39 = 4*h, -6*h + j = -p*h - 28. Does 11 divide h?
True
Suppose -171 = -k + 37. Let w(z) = -z**3 - 2*z**2 + z - 2. Let f be w(-3). Is 12 a factor of k/6 - f/(-12)?
False
Suppose -5*c - 107 = -5*y - 2*c, -4*y + 91 = 3*c. Is 22 a factor of y?
True
Let f(v) = -v**2 - 3*v - 3. Let y be f(-4). Let z(k) = -k + 2*k - 2*k. Is z(y) a multiple of 5?
False
Let v(i) = 5 - 1 - 2 + 5*i - i. Let z(j) = -j + 1. Let h be z(-5). Does 13 divide v(h)?
True
Let g = 6 - 2. Suppose 0 = z - 1 - g. Suppose -z*x + 2*x + 5*r = -52, -5*r - 70 = -5*x. Is 5 a factor of x?
False
Let d = 7 + 6. Is 4 a factor of d?
False
Is ((-16)/(-3))/4*12 a multiple of 9?
False
Suppose 5 = -n, 4*y + 2*n = 7*n + 121. Does 19 divide y?
False
Let i be (4/(-6))/(3/(-18)). Is 4 a factor of 16/6*(i + -1)?
True
Does 10 divide 2/8*22*(0 + 12)?
False
Suppose -5*o = -3*l + 458, 