ple of 9?
True
Let j(w) = w + 2. Suppose 5*t = -3*h - 7 + 22, 5*t + 2*h = 15. Let l be j(t). Suppose 4*d - l*d = -29. Does 14 divide d?
False
Does 28 divide -3 - 1/(3/(-111))?
False
Let d(j) = -j**3 - 3*j**2 + 9*j + 7. Let m be (6/5)/(4/60). Suppose -l = -4*l - m. Does 16 divide d(l)?
False
Suppose 2*j - 7*j = -5*v, 4*j + v = 25. Is 2 a factor of j?
False
Let a(f) = 2*f**2 + 2*f + 2. Let r be a(-2). Let q = r - 0. Does 3 divide q?
True
Let o = -5 - 2. Let v(a) = -8*a + 2*a**2 - 6 + 3 - 3*a**2. Is 4 a factor of v(o)?
True
Suppose 0*o + 28 = o. Is 6 a factor of o?
False
Let a(l) = -3*l + 11. Let p be a(5). Let b(c) = c**3 + 5*c**2 - 3*c - 2. Does 8 divide b(p)?
False
Suppose g = -2 + 4. Is ((-18)/(-3))/g - -27 a multiple of 9?
False
Let f(w) = 16*w. Let h be f(6). Let v(y) = -y**2 - 9*y - 6. Let j be v(-8). Suppose -h = -0*a - 2*a - 4*p, -10 = -j*p. Is a a multiple of 19?
True
Let f = -3 + -6. Let b(s) = -s**3 - 9*s**2 - 2*s + 10. Does 14 divide b(f)?
True
Suppose 0 = 3*f - 34 - 11. Does 15 divide f?
True
Let g be 1 + 0 + (2 - -1). Suppose -g*f - 21 = -93. Is f a multiple of 9?
True
Suppose 41 = 2*h + 2*h - z, 3*z = -15. Let g(d) = d**3 - 9*d**2 + d - 6. Let p be g(h). Is p*1*(-2 + 4) a multiple of 6?
True
Does 8 divide -2 - -35 - (5 - 4)?
True
Suppose 0 = -n - 3*n + 32. Suppose a - 3*q - n = 3*a, -2*a = -3*q - 16. Let c = 8 + a. Is c a multiple of 10?
True
Let i(b) = -b**3 + 8*b**2 + 8*b + 10. Let w be i(9). Let p(n) = 23*n - 1. Is p(w) a multiple of 11?
True
Let h(q) = q**2 + 6*q + 2. Let p be h(-5). Let y be -2 - (-28 - (-3)/p). Suppose j - y = -2*t, -3*j + 33 = 3*t - 0*t. Is t a multiple of 13?
False
Let o(b) = 17*b + 3. Is o(3) a multiple of 7?
False
Suppose 5*f + 10 = -5*h - 15, -4*h + 4*f - 52 = 0. Let g be (-2)/h - (-4)/(-18). Suppose 0 = -g*q + 4*q - 80. Does 7 divide q?
False
Suppose -1476 = -5*d + 2*j, d + 5*j + 2 = 281. Is 35 a factor of d?
False
Suppose 4*z - 424 = 108. Is z a multiple of 49?
False
Let r be (2 - 1)*(-2 - -7). Let j be (-2 - -8)/(-2) - -5. Suppose 5*i - j*i - 3*z - 60 = 0, r = -5*z. Is 19 a factor of i?
True
Let n(a) = -a**3 + a**2 + a - 1. Let c(r) = -3*r**3 + 5*r**2 + 3*r - 34. Let s(q) = -c(q) + 4*n(q). Is s(0) a multiple of 15?
True
Let x = 152 + -92. Is x a multiple of 15?
True
Let v = -2 + 5. Let q be v/(-6)*(0 - 0). Suppose -3*d + 2*d + 13 = q. Does 6 divide d?
False
Let w = 3 - 1. Suppose -2*c + 32 = w*c. Is c a multiple of 8?
True
Suppose -7*d = -9*d + 38. Let m = d + -9. Is m a multiple of 8?
False
Let l be ((-4)/6)/((-2)/3). Let z be (-1)/(((-3)/(-18))/l). Let n(r) = -r. Is n(z) a multiple of 3?
True
Suppose 3*b - 5 = 34. Let n = 1 + b. Is n a multiple of 8?
False
Let m = -18 + 46. Is m*1 + 2 + -3 a multiple of 27?
True
Let l = 2 - 7. Let f(w) = -w**2 - 11*w - 2. Is 10 a factor of f(l)?
False
Suppose -a + 17 = 4*y - 37, -5*a = -2*y - 292. Does 17 divide a?
False
Let h(f) = f**2 - 8*f - 1. Let r be h(7). Let d = -5 - r. Let x(l) = l**3 - 3*l**2 + 3*l - 1. Is x(d) a multiple of 4?
True
Let m(w) = 7*w**2 - 3*w + 2. Does 14 divide m(3)?
True
Let h(u) = u + 2 + u - 6*u. Let j(d) = -d**2 - d - 7. Let o be j(0). Is h(o) a multiple of 15?
True
Let y(l) = 17*l**3 - l + 1. Let q be y(1). Suppose 5*d - q = 3*v + 35, 2*d = -4*v. Suppose -2*b = -46 - d. Does 9 divide b?
True
Let c(p) be the first derivative of p**4/4 - 2*p**3 - 5*p**2 - 10*p + 2. Is c(8) a multiple of 19?
True
Suppose 6*o - 11*o + 15 = 0. Suppose -4*p - a + 4 = -11, 2*p - o*a = 11. Is p a multiple of 4?
True
Let j be -1*1 - (-3 - 2). Does 15 divide j/14 - (-804)/28?
False
Let v(s) = 2 + 4*s**3 - 4*s**3 + 4*s + 5*s**2 + s**3. Let c = -21 - -19. Is v(c) a multiple of 6?
True
Let m(u) = u**3 + 9*u**2 - 3*u + 3. Let w be m(-9). Let v = 78 - w. Does 16 divide v?
True
Let u(z) = -2*z**2 + 23*z - 18. Let n(l) = -3*l**2 + 35*l - 27. Let g(m) = -5*n(m) + 8*u(m). Let y be g(7). Is (-9)/15 - (-63)/y a multiple of 11?
False
Let f = 14 - -101. Is f a multiple of 23?
True
Is -3 + -2 + 105 - 3 a multiple of 43?
False
Let m = -12 + 44. Is 8 a factor of m?
True
Let i(c) be the second derivative of -13*c**3/6 - 3*c**2 + 2*c. Let d be i(-6). Suppose 0 = -2*x - 4*v + d, x - 41 = -0*x - 3*v. Is x a multiple of 9?
False
Suppose 0*i - 4*q = i - 32, -56 = -2*i - 4*q. Is i a multiple of 24?
True
Is 854/10 + (-2)/5 a multiple of 17?
True
Does 11 divide (24/33)/4 - 2658/(-22)?
True
Let x = 8 + -5. Let h(v) = v - 1. Let l be h(x). Suppose 0 = -l*r - 26 + 146. Is 21 a factor of r?
False
Suppose 0 = 2*y + y. Suppose 5*i - 5 = y, i - 25 = -2*f - 2*i. Is 7 a factor of f?
False
Let z = 14 - 21. Let w = z - -15. Does 4 divide w?
True
Suppose -5*s + 15 = -0*s. Suppose -s*v = -v - 26. Is 13 a factor of v?
True
Let u = 5 - -3. Let y = 12 - u. Is y a multiple of 3?
False
Suppose 4*x + 3*u = -2*u + 441, 2*u + 6 = 0. Suppose -4*z + z + x = 0. Does 11 divide z?
False
Suppose -2*h = 3*h - 35. Let d be (1/(-2))/((-2)/20). Suppose a - d = h. Is 12 a factor of a?
True
Suppose 4*g = 4*f - 128, -3*f = -2*g - 30 - 69. Suppose f = 5*t - 0*t. Does 5 divide t?
False
Let a be (-1 - 0)/((-6)/(-12)). Is 25 a factor of 21/(-35)*130/a?
False
Let n = 86 - 33. Is 13 a factor of n?
False
Suppose -x = v - 4*x - 28, 4*v - 144 = 4*x. Suppose 2*l - v = -2*l. Does 8 divide l?
False
Does 4 divide 7/4 + -2 - (-97)/4?
True
Let d(x) = 3*x + 26. Is d(6) a multiple of 13?
False
Let f be 2/(-5) + 224/10. Let k be 2/(-6) + f/3. Suppose k*n - 3*n - 96 = 0. Is 11 a factor of n?
False
Suppose -b = 3*w - 0*w - 1, 3*w = -3*b + 33. Suppose -16 - b = -u. Does 16 divide u?
True
Let u = -14 - -6. Does 24 divide (u/6)/((-4)/114)?
False
Suppose -2*z - 3*z = -150. Suppose 3*v - 6 = z. Suppose 0 = -3*h + v + 24. Does 7 divide h?
False
Let q = -216 + 441. Let g = q - 132. Is 31 a factor of g?
True
Let l(i) = 70*i**2 - 5*i - 3. Is 12 a factor of l(-2)?
False
Is 1/(-3)*(-41 + -1) a multiple of 7?
True
Let u(q) be the first derivative of 39*q**4/4 - 2*q**3/3 + q**2 - q - 6. Is u(1) a multiple of 25?
False
Let l = 10 + -4. Let k(a) = 2*a - 8. Let v be k(l). Suppose 3*u - v*g - 38 = 0, -8 - 18 = -3*u - 2*g. Is 5 a factor of u?
True
Let k(o) = 12*o**2 - 3*o. Let p = -12 + 14. Is 21 a factor of k(p)?
True
Let p be (-2)/(2/12*4). Suppose 0 = s - 21 - 10. Let d = s + p. Is 14 a factor of d?
True
Let b = -2 - -13. Let n = 4 + b. Is n a multiple of 8?
False
Let y(s) = -s**3 - 8*s**2 - 3*s - 2. Suppose -i + 22 - 7 = 5*c, 0 = 5*i - 2*c - 48. Let x = 2 - i. Does 14 divide y(x)?
False
Let h(m) = 62*m - 12. Is 29 a factor of h(3)?
True
Let z = -56 - -154. Is 25 a factor of z?
False
Is (-516)/10*((-26)/6 - -1) a multiple of 14?
False
Does 4 divide ((-6)/(-24)*-13)/(2/(-8))?
False
Let w(b) = b. Let l(h) = -h + 7. Let v(g) = l(g) + 2*w(g). Let t be v(-5). Suppose i = -t*k + 10, 3*i + 3*k - 35 = -2*k. Does 12 divide i?
False
Is 7 a factor of 14/(-4)*(3 - 5)?
True
Let h(g) = g**3 + 11*g**2 - 2*g + 16. Is 19 a factor of h(-11)?
True
Suppose 4*x + x = 2*l + 192, -x + 3*l = -28. Is x a multiple of 10?
True
Let y be (1/3)/(6/108). Does 2 divide 67/7 - y/(-14)?
True
Suppose -2 = 5*b + 83. Let m = 0 + -5. Let p = m - b. Is p a multiple of 12?
True
Suppose -2*i + 33 + 27 = 0. Let l = -15 + i. Is 4 a factor of l?
False
Let s(p) = -p. Let m be s(12). Let d = 20 + m. Does 3 divide d?
False
Let n(o) = -3*o + 9. Let d be n(8). Let s = 22 + d. Is s a multiple of 7?
True
Suppose -3*v + 33 = -6. Let n = 35 - v. Is n a multiple of 11?
True
Does 12 divide (-12)/(-16) - 210/(-8)?
False
Let r be (-7806)/(-22) - 6/(-33). Suppose -5*k + r = -5*v, 5*k - 423 + 60 = v. Let m = -43 + k. Is m a multiple of 15?
True
Suppose 0*h + 340 = 2*i - 2*h, -2*h - 4 = 0. Suppose -4*r + i = 12. Does 13 divide r?
True
Let v(p) = 3 + p - 1 + 0*p. Let z be v(0). Suppose -z*s - 1 = -33. Is s a multiple of 8?
True
Suppose 4*l = -2*o + 12, -3*o + 0*l + 4 = -l. Suppose -5*k + 107 = 4*t, t - 3*k + 25 = o*t. Does 14 divide t?
True
Let o be 4/(-18) + (-74)/(-9). Let l(y) = -y**2 + 9*y - 3. Let z be l(o). Suppose -z*d + 103 = 38. Does 9 divide d?
False
Suppose 0 = 2*i + 2*u - 306, -3*i + 5*u - 136 + 611 = 0. Is i a multiple of 44?
False
Suppose 52 = 6*c - 62. Does 10 divide c?
False
Let k = 3 + -1. Suppose -7 - 8 = -3*z. Suppose k*u - w = 25, 4 + 1 = -z*w. Does 6 divide u?
True
Let p = -154 + 319. Doe