6*o - 11. Is 12 a factor of k(-10)?
False
Suppose 0*a - 904 = -2*a. Is a a multiple of 58?
False
Suppose -5*x = -3*i + 46, -4*x + 3*x + i = 10. Let n be (-2)/(-8) + 26/x. Is 20/((-1*6)/n) a multiple of 10?
True
Is 16 a factor of -319*(-1)/5 + (-2)/(-10)?
True
Let g(a) = 106*a**3 - 2*a**2 + 2*a - 1. Let u be g(1). Suppose -2*k - k = -u. Does 9 divide k?
False
Let r be (5/(-3))/((-2)/(-6)). Let x(l) = -2*l**3 + 3 - l + 2*l**3 - 5*l**2 - l**3. Does 3 divide x(r)?
False
Suppose -4*i - i + 390 = 0. Is i a multiple of 26?
True
Suppose 3*h + 63 = 4*v, -h = 4*v - 0*h - 43. Does 4 divide v?
True
Let d(z) be the second derivative of -z**3/3 + 3*z**2/2 + 3*z. Is d(-4) a multiple of 3?
False
Let o(r) = r**3 - 11*r**2 - r + 3. Let f be o(11). Let y(d) = 2*d**3 - 6*d**3 - 10*d + 6 + 3*d**3 - 9*d**2. Is y(f) a multiple of 22?
True
Let w(c) = c**3 + 10*c**2 - 14*c. Does 28 divide w(-10)?
True
Let x(m) be the first derivative of -m**2 + m + 1. Let b be -20*(2 + 8/(-5)). Is 9 a factor of x(b)?
False
Suppose 3*f + 3 = -4*a + 24, 0 = -5*a - 2*f + 35. Suppose p = a + 13. Is p a multiple of 22?
True
Suppose 48*z = 51*z - 51. Does 5 divide z?
False
Let b(q) = 2*q**2 - 8*q + 23. Is b(11) a multiple of 18?
False
Let i(m) = -m**3 + 8*m**2 - 5*m. Let q be i(7). Let d = q + -6. Does 7 divide d?
False
Let u(f) = f**3 - 5*f**2 + 3*f + 1. Let m be u(3). Let c = -4 - m. Is 2 a factor of c?
True
Suppose -1 = -x + 1. Let h = -14 + 25. Is x/h - (-608)/44 a multiple of 6?
False
Let y(a) be the second derivative of 3*a**3/2 - a**2 - a. Let n be y(-2). Let p = n - -38. Is p a multiple of 9?
True
Let z = -17 + 24. Suppose -2*h + z + 21 = 0. Suppose -n + h = n. Is 4 a factor of n?
False
Suppose -5*o - u - 135 = 0, 2*o + 5*u = 3 - 34. Let b = -10 - o. Suppose -m = -0*m - b. Is m a multiple of 9?
True
Let v = 23 - -22. Suppose 4*q = v + 131. Does 22 divide q?
True
Let d(g) = g - 1. Let y(o) = o**2 + 8*o - 6. Let u(l) = 2*d(l) - y(l). Is u(-6) a multiple of 4?
True
Let v(a) = 2*a - 3. Suppose 8 = 4*p - 2*p. Is 2 a factor of v(p)?
False
Let j = -6 + 9. Suppose -6*k + 45 = -j*k. Is 8 a factor of k?
False
Let l(n) = 163*n + 1. Let u be l(-5). Let s be (-2)/(-8) + u/(-8). Suppose 3*v - 2*v = -2*w + 36, -3*v = 3*w - s. Is v a multiple of 16?
True
Let g(k) = k**3 - 14*k**2 + 15*k - 1. Is g(13) a multiple of 25?
True
Suppose 13*c - 5*c = 0. Suppose -5*l + 240 = 5*s, -5*l + s + 367 - 109 = c. Is 7 a factor of l?
False
Let x = 12 + -3. Is x even?
False
Let a(h) = 19*h - 1. Let f(w) = w**3 + 4*w**2 + 1. Let q be f(-4). Let m = q + 0. Is a(m) a multiple of 9?
True
Suppose d = 3*l - 176, -l - 3*l + 3*d = -233. Is 11 a factor of l?
False
Let t be 2/(-3) + (-8)/(-12). Suppose 3*p + 4 - 76 = t. Suppose -4*l + 96 = p. Does 6 divide l?
True
Let s = -14 - -39. Suppose -5 = 4*v - s. Suppose v*a - 35 = -0. Does 4 divide a?
False
Let d = 33 - -22. Is 9 a factor of d?
False
Suppose -3 = -5*n + 12. Suppose -n*z + 166 - 70 = 0. Is z a multiple of 11?
False
Suppose -y = -0*o - 2*o - 49, 0 = -4*o - 4*y - 68. Let a = 39 + o. Is 6 a factor of a?
False
Suppose 25 = 5*d + i, -4*d + 4*i = -0 + 4. Is 2 a factor of d?
True
Let f(h) = 22*h + 6. Let c(y) = -3 - y - 2 - 20*y. Let i(v) = 5*c(v) + 4*f(v). Does 8 divide i(-1)?
True
Let h = -5 - -8. Suppose -2*a - 7 = -h*a. Let f = a + -3. Is f a multiple of 4?
True
Let a be (-20)/10 + (0 - -2). Suppose a*k = 2*k - 56. Does 14 divide k?
True
Let n(d) = -2*d - 21. Is n(-18) a multiple of 4?
False
Suppose 5*c = -16 + 6. Let a be 1/c + 51/6. Suppose z - 12 = -j, 0 = z + z - a. Is 4 a factor of j?
True
Let x = -5 - -8. Suppose -x*r + 55 = -y - 0*y, -2*y = -2*r + 38. Does 18 divide r?
True
Let p(f) = -f**3 + f**2 - f + 4. Let g be p(0). Suppose -l = g*l - 65. Is l a multiple of 10?
False
Let o(j) = -j**3 + 10*j**2 + 4*j - 6. Is 14 a factor of o(10)?
False
Let g(o) = 50*o - 2. Is g(1) a multiple of 16?
True
Suppose 75 = g + 4*g. Does 5 divide g?
True
Suppose 4*c + 5*t = 2*t - 4, -3*c + 10 = -t. Suppose -2*x + 5*w - 10 + 65 = 0, -x = -c*w - 25. Does 15 divide x?
True
Is 65 + 0/3 - 5 a multiple of 21?
False
Let i = -5 - -8. Suppose -i*f + 77 = -40. Is 16 a factor of f?
False
Let u(g) = 14*g**2 + 2*g. Let f be u(-3). Suppose c - f = -3*c. Is 16 a factor of c?
False
Let p(a) = 12*a. Let h = 18 - 13. Let z be p(h). Suppose -k - z = -4*k. Is 10 a factor of k?
True
Suppose -9 = -5*y + 11. Suppose -f + 11 - 7 = 0. Suppose -f*b + 228 = -y*m, -3*m - 223 = -0*b - 4*b. Is b a multiple of 22?
False
Let y(h) = 3*h**3 - 10*h**2 + 12*h + 5. Let i(v) = 4*v**3 - 11*v**2 + 13*v + 4. Let j(c) = 4*i(c) - 5*y(c). Is j(-6) a multiple of 20?
False
Let y = 86 - 20. Does 6 divide y?
True
Suppose 4*d + 4*q = 5*q + 239, -4*q = d - 47. Is 15 a factor of d?
False
Let b be 4/18 + 88/9. Does 14 divide (0 + 2)*245/b?
False
Let o(k) = k**3 + 28*k**2 - 3*k + 40. Is 11 a factor of o(-28)?
False
Let m be 2/4*(5 + 1). Suppose -8 = -t - m*j, 9 = 2*t - j - 7. Does 3 divide t?
False
Suppose -5*z + 30 = 2*h, z + 25 = h + 6*z. Let w be ((-59)/(-2))/((-1)/(-2)). Suppose -4*k = -h - w. Does 8 divide k?
True
Suppose -2*g + 3 = 1, 4*z + 4*g - 180 = 0. Does 11 divide z?
True
Suppose -4*y - 11 = -y - 4*v, 10 = -5*y + 5*v. Suppose 0 = 2*b + 2*b - y*u - 14, 5*u = -3*b - 4. Suppose -j - b*j + 66 = 0. Does 8 divide j?
False
Let q be (-7)/((-1)/(-2)*2). Let h(p) = p**2 + 6*p + 9. Let u be h(q). Let f = -11 + u. Does 5 divide f?
True
Suppose -2*u + 6 = 14, 4*w = u + 28. Does 12 divide ((-8)/w)/((-2)/42)?
False
Suppose -h + 5*h = 20. Suppose -15 = -4*b - 0*b - h*q, -4*b + 60 = -4*q. Is 10 a factor of b?
True
Suppose -14*x + 5796 = 9*x. Is x a multiple of 28?
True
Let d(q) be the second derivative of q**5/20 + q**2 + 5*q. Is 10 a factor of d(2)?
True
Let v(j) = 32*j - 1. Is v(2) a multiple of 21?
True
Let s(g) = -3*g + 2. Let f be s(4). Let w(x) = -2*x + 12. Does 16 divide w(f)?
True
Let d be 0/(-4) + 4/(-4). Let w(n) = -49*n**3 - n**2. Does 17 divide w(d)?
False
Suppose -f - 3*n = -188 - 48, 0 = 3*f + 5*n - 728. Is f a multiple of 18?
False
Let z be (-4)/(-3)*3 - 0. Suppose 48 = z*h - h. Is h a multiple of 8?
True
Suppose -8 + 25 = l. Let p = l + -1. Does 16 divide p?
True
Suppose 350 = 5*o + 5*o. Is 6 a factor of o?
False
Suppose 0 = -5*u + 4*r + 353, 4*u + u = -r + 368. Does 4 divide u?
False
Suppose 4*b - 3*t + 0*t + 15 = 0, 2*b + 3 = 3*t. Let o(z) = 9*z**2 + 17*z + 18. Let v(u) = 4*u**2 + 8*u + 9. Let x(r) = -3*o(r) + 7*v(r). Does 10 divide x(b)?
False
Suppose -4*g = g - 190. Suppose -4*z = 5*f + 60, 6*f - f - 80 = 3*z. Let b = g + z. Does 13 divide b?
False
Suppose 5*l + 7 = -4*d, -7 = -5*d + 3. Is 5 a factor of 18 + l + (-6)/2?
False
Suppose 0 = 8*f - 20*f + 720. Is 7 a factor of f?
False
Let h(p) = -5 + 13*p**2 - p**2 - p**3 - 9*p + 2*p - 3*p. Let o be h(11). Suppose -o = -k + 11. Is k a multiple of 17?
True
Let f = -21 - -14. Let l = 10 + f. Suppose l*r = -r + 44. Does 11 divide r?
True
Let w(x) = -2*x**3 - 10*x**2 + 3*x + 9. Let t be w(-7). Suppose 9*n - 4*n - j - t = 0, -3*n = 2*j - 100. Does 12 divide n?
True
Let r be 8 - (-3)/((-9)/(-3)). Let w be (-2)/r + (-76)/(-18). Suppose 4*v = -3*j + 35, w*j + 4*v + 1 = 49. Is j a multiple of 5?
False
Suppose -4 = -v - 0. Let i be (6/8)/(1/v). Suppose 2*p + 4*g = 26, -3*p - 16 + 46 = i*g. Is 4 a factor of p?
False
Suppose -4*z = -24 - 16. Let v = z - -29. Suppose -3*m = 4*d - 59, v = 3*d + m + 1. Is 9 a factor of d?
False
Suppose -6*w + 44 = -2*w. Suppose -x + 13 = 2*u, 3*x - w = u - 0*u. Is 2 a factor of x?
False
Is -1 + 0 + 56/1 a multiple of 5?
True
Let b = -12 - 21. Let x = b + 117. Is x a multiple of 25?
False
Suppose 6*k - 240 = k. Is 24 a factor of k?
True
Suppose 3*m - 144 = 7*m. Let h = m + 60. Suppose 0 = k - p - 0*p - h, 0 = 2*k - 4*p - 38. Is 12 a factor of k?
False
Let m = -2 + 5. Let x(v) = -v**2 - 4*v - 3. Let t be x(-3). Let l = m + t. Is l even?
False
Let i(d) = -2*d + 1. Let c(t) = -t. Let h be 23/(-3) + (-2)/(-3). Let l(u) = h*c(u) + 2*i(u). Is 7 a factor of l(2)?
False
Suppose 0*w = -5*w + a + 11, -2*w + 2*a + 6 = 0. Suppose 6*x = w*x + 128. Is x a multiple of 16?
True
Suppose o = -0*r - r + 13, 2*r + 28 = 4*o. Let y = 15 - o. Does 3 divide y?
True
Suppose c = -3*r + 2, 5*c + 22 = 2*r - r. Suppose n - b = 4*b - 8, 2*n = r*b. Suppose -n*z = 31 - 135. Does 19 di