 + o*l - 78 = 6*l, 0 = t - l - 37. Is 25 a factor of t?
False
Let y = -2 + 4. Suppose -3*f = 5*z - 264, 4*z - f - 195 = y*f. Does 23 divide z?
False
Suppose 0 = 4*n + 3*a - 27, 2*n - 7 = -2*a + 7*a. Does 6 divide n?
True
Suppose 0 - 6 = -3*z. Suppose z*h + 16 = -0. Let n = h - -18. Is 10 a factor of n?
True
Let o = 30 + 8. Is 19 a factor of o?
True
Suppose 2*q + 4 + 0 = 0. Let g(m) = -17*m + 2. Let i be g(q). Suppose 0 = -3*k + 4*c + c + i, -2*k = -2*c - 28. Is k a multiple of 17?
True
Suppose 2*i = -5*g + 7 + 14, -5*g + 15 = 0. Let j(o) = -9*o + 1. Let m be j(i). Let w = m + 48. Is 13 a factor of w?
False
Let y = 8 - -104. Does 16 divide y?
True
Let v = -7 + 17. Let t = 7 + v. Does 10 divide t?
False
Suppose b = 6*b - 2415. Is b a multiple of 39?
False
Suppose 9*q = 4*q - 4*i + 94, 2*q - 2*i - 52 = 0. Is 13 a factor of q?
False
Suppose 10*n - 163 = 47. Does 14 divide n?
False
Let v = -62 + 41. Suppose 4*m + 2*a + 42 = 0, m - 49 = 5*m - 5*a. Let b = m - v. Is 5 a factor of b?
True
Let g(m) = 2*m - 6. Let l be g(6). Suppose -l*j + 5*j = -22. Is 11 a factor of j?
True
Suppose -8*k = -9*k + 135. Is k a multiple of 27?
True
Let g(l) = l**3 - 8*l**2 + 7*l + 14. Let c(u) = -2*u**3 + 17*u**2 - 14*u - 28. Let b(m) = 4*c(m) + 7*g(m). Is b(11) a multiple of 27?
False
Suppose -10*t = -6*t - 136. Is 17 a factor of t?
True
Suppose 2*m = 3*k - 29, 5*m + 18 = -k + 5. Does 7 divide k?
True
Suppose 0 = -2*q + 4*q - 30. Suppose -1 = -f + q. Is f a multiple of 5?
False
Let o = -169 + 255. Let u = -41 + o. Is u a multiple of 19?
False
Suppose -311 = -7*f - 101. Is f a multiple of 30?
True
Let i(a) = a**3 + 7*a**2 + 6*a + 2. Let m be i(-6). Let l be 3/(3*m/(-28)). Is 8 a factor of (-8)/(-28) + (-150)/l?
False
Does 7 divide 188 - 6*(-1)/(-6)?
False
Let l(j) = j**2 - 14*j - 6. Let q be l(15). Suppose 0 = -s - 2*k + 18, q = -2*k + 5*k. Is s a multiple of 4?
True
Let s = 1 + 3. Does 5 divide (-2)/(s - 2)*-5?
True
Suppose -2*p = 2*o - 2 - 26, p = -1. Does 15 divide o?
True
Let r = 13 + -3. Is r a multiple of 10?
True
Let i(w) = -w**2 + w + 19. Let q be i(0). Let j = -8 + q. Let n = j - 3. Does 8 divide n?
True
Let b be 2 + 3/(-6)*-8. Suppose -3*c + 8*d - 4*d = -58, 3*d = b. Is 12 a factor of c?
False
Let c(x) = x**3 - 7*x**2 + 6*x - 1. Let s be c(6). Let u(w) = -11*w**3 - w**2 + 1. Does 11 divide u(s)?
True
Suppose 0 = 2*u - 2. Let r be (u + -9)*-1 - -2. Is 5 a factor of 3/(18/r)*6?
True
Is 9 a factor of (-1 + 140 + -4)*1?
True
Let q(n) = -n**2 - 5*n. Let i be q(-4). Suppose -24 = -i*o + 16. Let m = o + -4. Does 6 divide m?
True
Let v(n) be the second derivative of 7*n**3 - n**2/2 - 10*n. Does 19 divide v(1)?
False
Let r be ((-4)/(-5))/((-3)/(-180)). Suppose 4*p - 3*p = -3*t + 53, -2*t = -p + r. Is p a multiple of 12?
False
Suppose 12*w - 150 = 7*w. Is 10 a factor of w?
True
Suppose -5*t + 2 = 3*o, -2*o - 12 - 16 = -4*t. Let q be (27/(-18))/(1/o). Does 4 divide (33/q)/(1/3)?
False
Is 30 a factor of 4 + (618/(-4))/(45/(-60))?
True
Suppose 38 = h + 3*t - 13, -3 = t. Suppose 0*j + h = 5*j. Is 15/j*1*4 a multiple of 5?
True
Suppose -2*q = 2*q. Suppose q*a - a = -21. Is 21 a factor of a?
True
Let z = -80 - -57. Let i = z - -35. Does 12 divide i?
True
Let u(r) be the second derivative of -r**5/20 - 3*r**4/4 + 4*r**3/3 + 4*r**2 + 4*r. Does 14 divide u(-10)?
True
Let q(u) = 3*u**3 + u**2 - u. Let r be q(1). Suppose -2*s + r*o = -4, 5*s - 2*o - 15 - 17 = 0. Is s a multiple of 6?
False
Suppose -c + 3*q = q + 13, 0 = -2*c - 2*q + 4. Does 16 divide (49 - -1) + 6/c?
True
Let n(o) = 30*o**3 - 2*o**2 + 2*o - 1. Suppose 0 = -w + 3 - 2. Does 10 divide n(w)?
False
Let f(m) = m**3 + 15*m**2 - 18*m - 25. Let h be f(-16). Let n = -1 + 3. Suppose h*k - n*k = 210. Is k a multiple of 14?
True
Let y(z) = z**2 - 5*z - 30. Does 20 divide y(10)?
True
Let g be (7 - 4)/((-1)/(-3)). Let r = -5 + g. Let c(k) = 3*k + 2. Is 14 a factor of c(r)?
True
Suppose 0 = 4*z - 0*z - 8. Suppose 0 = -2*b + d + 61, 8 = -2*d + z. Is 12 a factor of b?
False
Let k(h) = 4*h**2 + 2*h - 6. Let f be k(-7). Let j = 261 - f. Does 25 divide j?
False
Suppose -2*p + 59 = 13. Let r = p + -12. Does 3 divide r?
False
Let s be 1*-1*16/2. Let n = s - -11. Suppose -7 = -2*t - 3*f, 22 = 5*t - n*f - 6. Does 5 divide t?
True
Let r(m) = 2*m**2 - 4*m. Let t(u) = 4*u**2 - 7*u - 1. Let k(x) = -5*r(x) + 3*t(x). Is k(-2) a multiple of 2?
False
Suppose 0 = r - 0*r - 2. Is -1*(-5 + -1) + r a multiple of 6?
False
Let a(z) = -z**3 + 2*z**2 - 3*z + 2. Let k(g) = g**2 - g. Let q(r) = -a(r) + k(r). Let w be q(5). Suppose -5*y = -3*y - w. Is y a multiple of 18?
True
Let r be 1 + 1 - (-57)/1. Let y = 120 - r. Is y a multiple of 22?
False
Let o = 158 - 86. Is o a multiple of 12?
True
Let j = -1 - 3. Let p = 4 + j. Suppose p = 2*r - 65 - 23. Is r a multiple of 17?
False
Suppose -3*k + 12 = 15. Let g = 25 + k. Does 12 divide g?
True
Let s(n) = -1. Let j(x) = x + 7. Let v(q) = -j(q) - 6*s(q). Is 2 a factor of v(-5)?
True
Let r be (6/(-5))/(8/(-20)). Let k = 17 - r. Is k a multiple of 4?
False
Let j = -9 + 13. Let t(u) = -2*u**2 + 14*u - 8. Let s be t(5). Suppose 5*p - j*h - 48 = 21, h - s = -p. Does 9 divide p?
False
Let a = 10 - 10. Suppose a*v = v - 30. Is 10 a factor of v?
True
Suppose 2*j - j = -42. Let t = j - -77. Suppose -3*l + q - t = -4*l, 2*l + 5*q - 76 = 0. Does 10 divide l?
False
Let d(g) = -g**3 + 23*g**2 + 4*g - 29. Is 21 a factor of d(23)?
True
Suppose -k - 2*k - 3*j + 126 = 0, -j = 3*k - 136. Is 3 a factor of k?
False
Let j(m) = -2*m**3 - 2*m**2 + m - 1. Let w be j(-2). Suppose 1 = -p - w. Is (-49)/(-3) - 4/p a multiple of 5?
False
Let b = 31 + 74. Suppose 4*t = 3*p + 117, 4*t = -0*p - p + b. Is 12 a factor of t?
False
Let g = 85 + -52. Suppose -5*k + 2*k + g = 0. Is 4 a factor of k?
False
Let j(o) = -7*o**3 + 19*o**2 - 21*o - 7. Let b(i) = 3*i**3 - 9*i**2 + 10*i + 3. Let m(c) = 5*b(c) + 2*j(c). Is m(6) a multiple of 6?
False
Suppose -i + 2*i + 4 = 0, -4*i = 4*t + 32. Let j = 8 + t. Suppose j*x = 5 + 7. Is x even?
False
Let y(q) = 5*q**2 - 13*q + 18. Let v(w) = -6*w**2 + 14*w - 19. Let c(a) = -6*v(a) - 7*y(a). Let f be 22/(-2) + 2*1. Is 3 a factor of c(f)?
True
Let d = -75 - -209. Let c = d - 89. Is c a multiple of 8?
False
Suppose -3*u + 51 = 5*y - 149, 4*y + 3*u = 160. Does 14 divide y?
False
Suppose -p - 5*c = -171, -2*p + 3*c = -5*p + 549. Is 19 a factor of p?
False
Let c be -110 - ((-12)/4 + 3). Is 11 a factor of c/(-2) - 4/2?
False
Suppose -3*m = 46 - 4. Let s(v) = -v - 3. Does 11 divide s(m)?
True
Let g = -9 + 17. Let v = 52 + g. Is 14 a factor of v?
False
Let z(l) = -80*l**3 - l**2 - 3*l - 2. Is z(-1) a multiple of 17?
False
Suppose -2*z = 3*z + 1735. Let r = 527 + z. Suppose 6*k = k + r. Is 18 a factor of k?
True
Let t(m) = 29*m + 11. Does 20 divide t(1)?
True
Let i(c) = c**3 + c**2 - c. Let b(k) = 6*k**2 + 7*k + 8. Let j(t) = b(t) + i(t). Let l be ((-6)/(-5))/((-4)/20). Is j(l) a multiple of 8?
True
Suppose 2*c = 2*w + 2*w - 118, 3 = 3*c. Is w a multiple of 15?
True
Let c(q) = 9*q**2 - q. Let w be c(1). Let j be 3/(30/w)*5. Does 11 divide (1 - 3) + 104/j?
False
Suppose 27 = t + 3*t - 5*f, 6 = -2*f. Let c(j) = j - 1. Let y(z) = -7*z**2 + 2*z - 1. Let i(d) = t*c(d) - y(d). Is 12 a factor of i(-2)?
True
Let f = 0 - -2. Suppose -f*w - 104 = -4*b - w, -3*b + 5*w = -95. Suppose -3 = -2*y + b. Is y a multiple of 14?
True
Let k be 1/(1 + (-24)/21). Let z = 65 + -44. Let x = k + z. Is 14 a factor of x?
True
Let d(t) = 3 + 3*t + 0*t**3 - 3*t**2 + 0*t**3 - 2*t**3 + t. Is 9 a factor of d(-3)?
True
Suppose -4*g - 40 + 120 = 0. Suppose 2*m + g = -2*m, 5*m + 121 = 4*j. Is 12 a factor of j?
True
Is 10 a factor of (-12 + 1 + (-2)/1)*-2?
False
Let h(o) = -o + 18. Let y be h(9). Suppose 16 = -2*f - 4*q, 4*q + 1 - 13 = 5*f. Let b = y + f. Is 5 a factor of b?
True
Suppose -7*f + f = -672. Is 14 a factor of f?
True
Let l = 19 + -3. Let h = l - -6. Is h a multiple of 22?
True
Does 31 divide 7 + 0 - 3 - -27?
True
Suppose -18 = -2*v - 2*v - 2*z, 5*v = -4*z + 18. Let r be v + 2/1*-1. Suppose -r*o + 0*o = -16. Is o a multiple of 3?
False
Let i(k) = k**2 - 1. Let p be i(-2). Suppose u + p*u - 144 = 0. Suppose 0*c - 3*c = -u. Is c a multiple of 12?
True
Let k(b) = -3*b**2 - 4*b - 3. Let s be k(4). Let l = 54 + -95. Let u = l - s. Does 13 divide u?
True