actor of x?
False
Let j be ((-1)/((-2)/(-12)))/(-2). Let z(o) = 7*o**2 - o + 3. Is 21 a factor of z(j)?
True
Let m = 9 - -4. Is m a multiple of 8?
False
Let p(g) = 4*g**2 + 2*g + 1. Let z be p(-1). Suppose z*m - 22 = -4. Is ((-22)/m)/((-1)/6) a multiple of 22?
True
Let u(z) be the first derivative of z**3/3 - 2*z - 1. Let m(b) = -b**2 + 6*b - 5. Let n be m(3). Does 6 divide u(n)?
False
Suppose -4 = -4*q - 3*d + 7, -3*q = -5*d + 28. Let u be (-1)/(q/6 - 0). Suppose 0 = -u*r + r + 125. Is 9 a factor of r?
False
Let t be ((-15)/(-6))/5*6. Suppose -4*j + t*j + 8 = 0. Is j a multiple of 8?
True
Let s = 89 - 28. Suppose -2*j - 15 = -s. Does 8 divide j?
False
Suppose -5*h + 3*a = -375, 0 = h - 2*h + 5*a + 97. Is h a multiple of 12?
True
Suppose 3*p + 1 = -v, 3*v - 22 = -p - 1. Suppose i + v = 2*w, -3*i + 8 = i. Suppose -w*n + 63 = 3*t, 0 = -n + t - 2*t + 13. Is 12 a factor of n?
True
Suppose 6*z = 3*z + 12. Suppose 44 - 156 = -4*b. Suppose -b = -z*r + 3*r. Is 14 a factor of r?
True
Suppose -5 - 83 = -4*k. Let a = k + -4. Suppose 30 = 4*f - a. Is f a multiple of 7?
False
Let q = 115 + -74. Let z(t) = -t**2 - 12*t - 29. Let b be z(-8). Let o = q + b. Is 19 a factor of o?
False
Let l = -68 + 114. Is l a multiple of 6?
False
Suppose -3*r - 15 = -2*r - 4*g, 0 = 5*r + g - 30. Suppose -32 = r*i - 117. Suppose 5*j - 18 - 19 = -3*b, -3*b + 5*j + i = 0. Is b a multiple of 9?
True
Let h = 27 + -13. Does 14 divide h?
True
Suppose 8 = 4*g + 2*t, 3*g + g + 3*t = 6. Does 2 divide g?
False
Is (-1932)/(-48) - (-2)/8*3 a multiple of 8?
False
Suppose -5*i - 1025 = -5*t, 0 = 5*t + 4*i - 2*i - 990. Is t a multiple of 20?
True
Let l be ((-3)/(-2))/((-3)/(-4)). Does 12 divide l + -2 + 39 + -3?
True
Let t be (-6)/27 - (-2)/9. Let y be t + -1 - 1/(-1). Suppose 3*m + 18 - 72 = y. Does 9 divide m?
True
Let o = -225 + 320. Is o a multiple of 14?
False
Suppose 0 = 6*m - 3*m. Let p = m - 1. Is (1/1)/(p/(-27)) a multiple of 18?
False
Suppose 4*n - 356 = 76. Is 27 a factor of n?
True
Let g(x) = 16*x**2 + 6*x - 10. Does 11 divide g(2)?
True
Suppose 185 = 5*n - 3*s, 7*s - 3*s = 0. Is 15 a factor of n?
False
Let l(p) be the first derivative of p**6/60 - p**5/30 - p**4/8 - p**3/6 - p**2/2 + 1. Let m(b) be the second derivative of l(b). Is 13 a factor of m(3)?
True
Suppose 2*y = r + 79, 2*y + 4*r = 121 - 37. Is y a multiple of 2?
True
Let h = -15 - -8. Let p(b) = -3*b - 10. Is p(h) a multiple of 3?
False
Let h(s) = s**2 + 2*s - 3. Let k be h(-4). Suppose -j + 6*j - k*v = 245, 4*v = -12. Is 12 a factor of j?
False
Let v be ((-12)/(-15))/((-6)/(-15)). Suppose -v*n + 14 = -n. Is 9 a factor of n?
False
Let c(s) = -s**2 - 5*s - 4. Let x = 11 - 19. Let u be c(x). Let g = -4 - u. Is g a multiple of 12?
True
Let u(x) = -12*x - 7. Does 3 divide u(-4)?
False
Let b = -4 + 2. Let v be (-2 + b)*(-9)/6. Suppose 5*z + 19 = 2*f + v, 29 = f + 5*z. Does 7 divide f?
True
Suppose -14 = -2*u + 4*n, -4*u + 0*n + 23 = -3*n. Suppose 2*r + 2*r - 50 = -3*g, 5*r = -u. Is 6 a factor of g?
True
Let y(m) = -m**2 - m + 6. Let z be y(0). Suppose 0*q + 3*q = 78. Let u = q - z. Is u a multiple of 11?
False
Let m(d) = 6*d - 20. Let j be m(14). Suppose -o + 5*o = j. Is o a multiple of 6?
False
Suppose -5 = -5*d, -4*d - 239 = -5*l - 3*d. Is l a multiple of 12?
True
Let l = 335 - -35. Does 48 divide l?
False
Suppose 0 = -y + 2*f - 1, y - f - 3*f = 3. Let i(b) = -b**3 - 5*b**2 - 5*b + 2. Is i(y) a multiple of 13?
False
Let v(z) = -2*z**2 + z + 2. Let u(l) = 7*l**2 - 2*l - 6. Let n(t) = 3*u(t) + 8*v(t). Let w(g) = -g + 9. Let x be w(11). Is 6 a factor of n(x)?
False
Let k = 5 - 3. Suppose -5*o + 85 = -5*t, -k*o = 2*o + 2*t - 56. Let a = -10 + o. Does 5 divide a?
True
Suppose -5*y = -3*y + 8. Is 7 a factor of -14*((-2)/y - 1)?
True
Let v(l) = -l**2 - l + 1. Let i(w) = -3*w**2 - w + 18. Let g(z) = i(z) - 2*v(z). Is 6 a factor of g(0)?
False
Suppose 21 + 44 = 5*k. Suppose -141 = -2*s - k. Is s a multiple of 16?
True
Suppose -b - 3 - 1 = 0. Let l(v) be the second derivative of -v**3/2 + 2*v**2 - 5*v. Is l(b) a multiple of 11?
False
Suppose 19*c - 18*c - 10 = 0. Is 10 a factor of c?
True
Let d = 78 + -41. Does 14 divide d?
False
Suppose 0 = 3*c - 4*f + 27 - 5, 2*c + 8 = f. Let k be 111 - 4/(c/1). Suppose -4*l + 136 = o, -2*l = l - 2*o - k. Is l a multiple of 12?
False
Let i be (-21)/(-6)*-4*2. Let o = -121 - -81. Let t = i - o. Does 10 divide t?
False
Let j(m) = 3*m + 6. Let s be j(-7). Let k = s + 39. Does 8 divide k?
True
Let z(v) = v + 4. Let s be 4*((-30)/8)/(-5). Let f be z(s). Suppose -f*w + 105 = -2*w. Is w a multiple of 21?
True
Suppose -3*z = z + 3*p + 24, -4*z - 2*p = 20. Is 11 a factor of ((-1)/z)/((-3)/(-99))?
True
Suppose -22 = -z + 38. Does 10 divide z?
True
Suppose 0 = -5*b + 7 + 73. Let d = b - 1. Is d a multiple of 5?
True
Let d = 15 + -7. Let s = -8 + d. Suppose 4*j + 2*b - 74 = -s*b, -3*j + b = -68. Is 7 a factor of j?
True
Suppose 0 = 5*s - 2*s - 150. Suppose -5*k + s = 5*d, -2*d = -2*k + 7*k - 8. Does 2 divide (-4 - 0)*d/(-8)?
False
Let g(a) be the first derivative of -5*a**2 + 1 + 7*a**2 + a**3 - a**2 - a. Is 7 a factor of g(-2)?
True
Let n be ((-4)/2 - -2)/(-2). Suppose n*q + 50 = 5*q. Is q a multiple of 5?
True
Suppose 2*x + 1 = 23. Let o = x - 2. Does 5 divide 4/((-12)/o + 2)?
False
Suppose 13 = 3*l + 5*a - 12, a = 5*l + 5. Suppose i + 6 + l = 0. Let y = 10 + i. Is y a multiple of 3?
False
Suppose 2*f + 5 = 3*f. Suppose 5*w + 4*z - 96 = -0*w, f*w + 3*z - 92 = 0. Does 8 divide w?
True
Suppose -2*w = -3*q - 101, 4*w + 3*q - 6*q - 217 = 0. Is 15 a factor of w?
False
Let g be (-46)/(-10) + (-12)/(-30). Let a = -3 + g. Suppose -p - a = -12. Is 10 a factor of p?
True
Suppose -4*z - z = 80. Let i be 10/(1 - 1 - 1). Let p = i - z. Is p a multiple of 6?
True
Suppose -1650 = -4*d - 11*d. Does 10 divide d?
True
Let t(o) = 2*o. Let q be t(-3). Let k = 7 + -18. Is (k/(-3))/((-1)/q) a multiple of 8?
False
Suppose -3*h + 4*a - 1 = -6, -4*h + 8 = -5*a. Let d(q) be the third derivative of -q**5/60 + 5*q**4/12 - q**3/6 - 2*q**2. Does 14 divide d(h)?
False
Let m(s) = -5*s + 3. Let p be m(-3). Let j be 4/p - 1167/27. Let d = -24 - j. Is d a multiple of 5?
False
Suppose 5 = -5*i + 15. Let y be (-22)/(-4) + (-1)/i. Suppose -2*m = -y*m + 120. Does 20 divide m?
True
Is ((-42)/35)/(-1*1/155) a multiple of 19?
False
Let g(q) = 5*q + 1. Let v be g(2). Suppose 0 = 5*i - 19 - v. Is 6 a factor of (-72)/(-28)*28/i?
True
Let q be 3*(-2 - (-14)/6). Let y(v) = 65*v**2 + 3*v - 2. Is 22 a factor of y(q)?
True
Let u(t) = t**3 + 2*t**2 - t - 1. Let v be (-3)/2 + 14/4. Is 6 a factor of u(v)?
False
Let k(p) = 2 + 7*p - 5*p - 3*p. Is k(-3) even?
False
Let d = -21 + 29. Suppose 0 = 5*x - 17 + 2. Suppose -d*i = -x*i - 55. Does 10 divide i?
False
Suppose 18*u = -0*u + 7776. Is 22 a factor of u?
False
Let h(o) = o**3 - 4*o**2 - 8*o + 19. Does 23 divide h(7)?
False
Let p be (8 - 2)/3 + -8. Is 4 a factor of (-2)/p*(1 + 20)?
False
Is 17 a factor of (-336)/(-10) + 4/10?
True
Let u be (-126)/(-33) + 4/22. Suppose 3*k - k + b - 88 = 0, u*b = k - 26. Let c = -12 + k. Is c a multiple of 15?
True
Does 48 divide (48/7)/(5 - 207/42)?
True
Let s(x) = -8*x - 3. Let m be 4*((-33)/(-12) + -2). Suppose -2*n = 4*g + 12, -g - m*g = 4*n + 16. Does 4 divide s(n)?
False
Suppose -5*b - 3*d + 8 = 0, 4*b - 24 = 2*d - 0*d. Suppose 3*w - 333 = -b*a, 10*w = -2*a + 5*w + 177. Does 23 divide a?
False
Suppose 3*f = -r + 83, -r = 4*f + 2*r - 114. Is f a multiple of 2?
False
Let d(k) = -k**3 - 4*k**2 - 4*k + 4. Let z = -25 + 21. Is d(z) a multiple of 20?
True
Suppose -6*r + 387 = -261. Is 18 a factor of r?
True
Suppose -2*h + 2*x - 5 + 121 = 0, 0 = h + 2*x - 64. Is h a multiple of 15?
True
Let x = -21 + 94. Does 24 divide x?
False
Suppose 0 = -7*f + 15*f - 200. Is f a multiple of 8?
False
Let p be 4 - 2*1/2. Suppose -2*b = -c - 15, -4*b + 2*c - 4*c + 10 = 0. Suppose -p*k + b*k = 20. Is k a multiple of 10?
True
Suppose y + 11 = 5*n, 1 = n - 2*n + y. Does 13 divide n/(-3) - -3*9?
True
Suppose 0 = -5*y + 244 + 56. Does 14 divide y?
False
Suppose 2*j - 11 = w - 3, 1 = -j + 3*w. Let r = j - -1. Is r even?
True
Let i = 24 - 6. Suppose 12 = -2*f + 2*s, 0*s = 5*f - 2*s + i. Is 19 a factor of 111/6 + f/(-4)?
True
Suppose 3*y - 30 = -4*t, -3*y + 3*t + 0 = -9. Is 2 a factor of y?
True
Le