alse
Let f(p) = 10*p - 23. Is 27 a factor of f(5)?
True
Suppose -2*o - 4*v = -166, 2*v + 472 - 90 = 4*o. Suppose 5*b = 4*h + 59 + 10, -o = -5*b - 2*h. Is b a multiple of 13?
False
Suppose -4*m + 3*l = 39, -l + 0 = -5. Is m/(-27) + (-538)/(-9) a multiple of 11?
False
Let l(j) = j**3 - 2*j**2 - 4*j - 4. Is 9 a factor of l(4)?
False
Let f = -40 - -9. Is -1 - f/2*2 a multiple of 10?
True
Let r(y) be the first derivative of -y**3/3 + 7*y**2/2 + 5*y - 3. Is r(5) a multiple of 6?
False
Let f be ((-6)/2)/(-1) + 0. Is 13 a factor of 54 - (-4)/4 - f?
True
Suppose 3*i - 84 = -5*r, 0 = 5*i - r - 2*r - 174. Is i a multiple of 11?
True
Let d(l) = -5*l + 6. Let z = -19 - -13. Is 14 a factor of d(z)?
False
Let w = 14 - 9. Let i be -1*w*6/(-10). Suppose i*y = 41 + 13. Is 10 a factor of y?
False
Let s(h) = h**3 - 6*h**2 + 2*h - 8. Is s(7) a multiple of 28?
False
Suppose -6*q + 7*q - 6 = 0. Is q a multiple of 3?
True
Let o be 4/8 + 13/(-2). Let t be (-154)/o + (-2)/(-6). Suppose 2*g + 0*g - t = 0. Is 13 a factor of g?
True
Let n = 127 - 65. Let r = n + -24. Is 9 a factor of r?
False
Let j = -36 - -66. Is 3 a factor of j?
True
Let t = 101 - 32. Is 23 a factor of t?
True
Suppose -16*z + 17*z - 18 = 0. Is z a multiple of 14?
False
Let f(y) = -y**3 + 8*y**2 + 10*y - 7. Let b be f(9). Suppose 3*d - 5 = 2*d. Suppose 3*m + 2*m - 70 = d*u, -b*u = -8. Is 9 a factor of m?
True
Let q be ((-6)/9)/((-6)/9). Let n(t) be the second derivative of 7*t**5/10 - t**4/12 - t**3/6 + t**2/2 + t. Is 13 a factor of n(q)?
True
Let a = -12 + -2. Let b = a + 28. Is 7 a factor of b?
True
Let t = 44 + 111. Does 64 divide t?
False
Let d = -9 - -5. Let a be (d/(-6))/(3/162). Is 14/(-3)*a/(-7) a multiple of 12?
True
Let g = -27 - -53. Does 6 divide g?
False
Let s(y) = 3*y**3 + y**2 + y + 51. Does 4 divide s(0)?
False
Let j(y) = -y. Suppose 5 = p - 8. Suppose -p = 2*d - 3*u, u - 21 = 2*d + 6*u. Is 4 a factor of j(d)?
True
Suppose 2*f + 258 = 8*f. Is f a multiple of 12?
False
Suppose -3*q = -r - 3*r - 44, 2*q = -2*r + 20. Is 4 a factor of q?
True
Let i(u) = -u + 2. Let h be i(-4). Suppose 2*z - h*z = -28. Is z a multiple of 5?
False
Suppose -15*l = -22*l + 196. Does 28 divide l?
True
Let x be 2 + -2 - (0 + 149). Let w = x - -224. Does 11 divide w?
False
Let j be 1 + (-52)/(-2) - 1. Let t = j + -16. Let d = 16 - t. Does 3 divide d?
True
Suppose -3*v + l - 16 = 0, -v = -6*v + l - 24. Let c be v/(12/(-267)) - 1. Let h = c - 53. Does 18 divide h?
False
Suppose 0 = 2*u - 6 - 0. Suppose 6 = u*d - 0. Is 3 a factor of d/(-7) - (-23)/7?
True
Suppose 0 = 4*z - 2*x - 8, -4*x + 0 = -3*z + 11. Let n = z + 18. Is 8 a factor of n?
False
Let f(s) = s - 6. Let n be f(5). Let b be n/(1/6*3). Is 13 a factor of (-64)/6*(-1 + b)?
False
Is 1 + 15*(-12)/(-30) a multiple of 5?
False
Suppose 2*p = -2, -5*p = -5*f + 315 - 50. Is f a multiple of 13?
True
Let f(b) = 16*b - 4. Let u be f(-8). Let n = -93 - u. Is 13 a factor of n?
True
Let d = 3 + 2. Suppose 0 = 4*h - 3*j - 131, d*h - 2*j = -6*j + 156. Does 16 divide h?
True
Suppose 8*j - 3*j = 0. Let p be -1 - j - 114/(-6). Suppose -73 = -5*h - p. Does 11 divide h?
True
Let r(n) be the first derivative of n**4/4 + 2*n**3/3 + 3*n**2/2 + 2*n + 3. Is r(3) a multiple of 28?
True
Let m(i) = -i**3 - 4*i**2. Let f be m(-4). Suppose 0 = 5*n, 3*n + 32 = j - f*n. Suppose 3*b + j = 2*d, -6*b = d - b - 3. Does 12 divide d?
False
Let c(z) = -2*z - 13. Let y be c(-10). Let r(s) = s**2 - 5*s + 1. Is r(y) a multiple of 15?
True
Suppose 2*q + 2*k = -1 + 3, 3*k = 4*q - 11. Let b be q*(-1)/2 + 51. Suppose r - b = -r. Does 15 divide r?
False
Let d(v) = -6*v**2 - v - 16. Let y(l) = 5*l**2 + 15. Let c(w) = 4*d(w) + 5*y(w). Does 15 divide c(8)?
False
Let o = 10 + -1. Does 14 divide 28 + 0*(-3)/o?
True
Suppose 16 = -n + 5*n. Suppose n*v - 26 = 3*v. Does 13 divide v?
True
Let u = 43 - 68. Is 4 a factor of (30/u)/((-2)/20)?
True
Let b = 14 - -8. Suppose -3*x + 3 - b = -5*s, 4*s + 3*x = 26. Let d = s - 0. Is 3 a factor of d?
False
Let m = 84 + -12. Does 12 divide m?
True
Let l be ((-36)/(-15))/(2/15). Suppose -5*c + l = -s - 4, -c + 26 = -s. Is 10 a factor of (-1 - 3/(-9))*s?
False
Suppose 0 = -2*x + 3*x + 3. Let i = -9 + x. Does 10 divide (56/i)/((-2)/12)?
False
Suppose -x + 3*x = 0. Suppose x = 3*f - 2*g - 1, 8 = 2*f + 5*g - 18. Suppose n = f*n - 30. Is n a multiple of 5?
True
Let t be ((-2)/6)/(2/6). Let q = 4 + t. Suppose -4*y + 3*y + 4*h = 0, y - 3*h = q. Does 12 divide y?
True
Suppose -3*i = c, 3*c - 11 = -0*c + 2*i. Suppose 5*y + q - 9 = 8, -4*y + 18 = c*q. Does 2 divide y?
False
Let n(r) = -r**2 + 3*r. Let k be n(2). Suppose 2*f - 93 = -k*a + 67, 5*f - a - 388 = 0. Suppose -4*s + 4*z = -16 - 144, -2*s + z = -f. Is 19 a factor of s?
True
Let b = 3 + -3. Let f = b + 15. Is f a multiple of 13?
False
Suppose -5*m + 0 = -5. Suppose -m = -3*f + 11. Suppose -f*t + 133 = 29. Is t a multiple of 10?
False
Let y(i) = -i**3 - 6*i**2 + 5. Let r be y(-6). Let c(z) = z**3 - 4*z**2 - 5*z + 7. Let h be c(r). Let p(j) = -j**3 + 7*j**2 + j + 5. Does 12 divide p(h)?
True
Does 11 divide 172*(9/(-12))/(9/(-6))?
False
Let j(m) = m**2 + 9*m + 9. Suppose 0 = 2*z + 2*b + 14 - 0, 5*z - b + 35 = 0. Let g be j(z). Is (3 - 9)*(0 + g) a multiple of 15?
True
Suppose -2*s + 4 = -0*s, -3*s + 1 = -y. Suppose -2*g = -y*i + 60 + 28, -2*i + 35 = -g. Let w = i - 13. Is w a multiple of 5?
True
Is 4 a factor of 1/5 + 495/25?
True
Let b(n) = 2*n**2 + 2*n. Is b(-4) a multiple of 3?
True
Suppose 5*f = 4*w - 40, 5*w - 30 - 25 = 5*f. Is 3 a factor of w?
True
Suppose 0 = -0*o - o + 2. Let u = 12 - o. Is 5 a factor of u?
True
Let o = 93 + -19. Is o a multiple of 10?
False
Suppose 20 = -0*n + 5*n. Suppose -f = n*f - 10. Suppose -2*q = 2*m - 26, f*m + 5*q = m + 25. Does 5 divide m?
True
Let y = 224 + -36. Suppose -t - y = -5*t. Is 22 a factor of t?
False
Suppose -4*r + 25 = -7. Suppose -2*g + 0*i + 4*i + r = 0, 15 = 3*g - 3*i. Does 3 divide g?
True
Let x(y) = 8 - 2*y + 0*y + 2*y**2 + 0*y**2 - 8*y. Is x(6) a multiple of 13?
False
Let h = 5 + 14. Suppose 3*n = 121 + 98. Suppose -n + h = -2*r. Is 27 a factor of r?
True
Let y(p) = -p**3 + 8*p**2 + 9*p + 4. Let l be y(9). Let c(t) = 7 - 6*t**2 - l*t - 6*t + 2 + t**3 + 3*t. Does 3 divide c(7)?
True
Let o = -67 - -139. Is 24 a factor of o?
True
Let b be 2/9 + 357/(-27). Let c = 25 + b. Suppose -4*h + 24 = -0*u + 2*u, 2*h - 3*u = c. Does 3 divide h?
True
Suppose b - 4 = 4. Let j = b - -22. Does 10 divide (-2)/(j/16 - 2)?
False
Let d(m) = 5*m**3 + 3*m**2 - 4*m - 2. Is 22 a factor of d(3)?
False
Is (-3)/(-5 - -4) - -42 a multiple of 14?
False
Let c(i) = -i**3 - i**2 - i - 1. Let h(y) = -3*y**3 - 5*y**2 - 7*y - 6. Let q(k) = 6*c(k) - h(k). Let o(s) = -s - 8. Let b be o(-6). Is 9 a factor of q(b)?
True
Suppose l + 848 = 5*o, 3*o + 2*l = 366 + 135. Is o a multiple of 41?
False
Suppose 6*h - 25 = h. Does 2 divide h?
False
Let z(g) = 16*g + 6. Let y be z(9). Suppose -3*b = 2*b - y. Let a = b - 16. Is 5 a factor of a?
False
Suppose 4*f = -4*n - 8, -2*f - 3*n + 10 = -3*f. Let v(l) = -l**3 - 5*l**2 - 4*l + 5. Is v(f) a multiple of 3?
False
Let l be (-4)/(-22) - 20/(-11). Let y(v) = 8*v**2 - 1. Is 15 a factor of y(l)?
False
Suppose 5*d + 9 = -3*f, -14 = -4*f + 2*d - 0. Does 4 divide f/(-4)*(-20 + -2)?
False
Let z(r) = -2*r**3 - 2*r**2 + 3*r + 2. Let b be z(-2). Suppose b*l = -12, 5*u + 2*l - 788 = -2*l. Suppose -s = 3*s - u. Is 15 a factor of s?
False
Let t(f) = -f + 4. Let k be t(4). Suppose -261 = -k*m - 3*m + 5*q, -q - 348 = -4*m. Suppose m = g + 2*g - 5*s, -4*g - 2*s = -116. Does 13 divide g?
False
Suppose 0 = -a + 2*g + 10 - 4, g - 51 = -4*a. Let d be (a/15)/(3/30). Suppose -5*c + 7 + d = 0. Does 2 divide c?
False
Let w = -90 + 117. Is w a multiple of 9?
True
Suppose x = -2 + 8. Suppose -5*z - 30 = 5*r, -4*z - x + 18 = -2*r. Let l = 9 + r. Is l even?
False
Let j(v) be the second derivative of -5*v**3/6 - 3*v**2/2 + v. Let r be -2 - (-2 - 0 - -3). Is j(r) a multiple of 6?
True
Let a(q) be the first derivative of -5*q**2 - 8*q - 1/3*q**3 + 2. Is 11 a factor of a(-6)?
False
Let i(k) = 1 - 5*k - 11*k + k. Does 11 divide i(-2)?
False
Is 3/(-18) + (-5)/(-12)*106 a multiple of 13?
False
Suppose -t + 2 = -3*t + 4*m, 0 = -5*m + 15. Suppose 14 = -3*v + t. Let y(r) = -2*r**3 - 2*r**2 + r + 2. Is 13 a factor of y