4*z + a, 5*a = 0. Does 20 divide (-299)/(-5) + (-3)/z?
True
Suppose 5*d - 108 = -o, -d = -3*o + o - 15. Is 2 a factor of d?
False
Suppose h = -0*h - 3*y + 42, 20 = -5*y. Does 9 divide h?
True
Suppose -3*t = -t - 66. Suppose -5*j + t = g - 14, -5*g - 45 = -3*j. Is 5 a factor of j?
True
Let d = 321 + -145. Is d a multiple of 16?
True
Suppose -4*j + 2 = -3*j. Let a be (-3 + j)*(-2 + -1). Suppose -c + 32 = -7*v + a*v, 0 = 3*c - v - 41. Is 12 a factor of c?
True
Suppose 5*l - i + 95 = 280, -31 = -l - i. Is 6 a factor of l?
True
Let v(m) = 4*m + 2. Let r be v(-3). Let i(j) be the first derivative of -j**3/3 - 5*j**2 + 13*j + 3. Is 13 a factor of i(r)?
True
Suppose -5*b + 11 = -4*b. Let g = b + 3. Is 9 a factor of g?
False
Let g(f) = f - 10. Let s(k) = k - 10. Let r(c) = -7*g(c) + 6*s(c). Is r(-11) a multiple of 21?
True
Let t(b) = b**3 + 7*b**2 + 9*b + 6. Let k be t(-6). Let w be (k + -2 - -1)*-1. Let i(a) = a**3 - 13*a**2 + a - 11. Does 2 divide i(w)?
True
Let o = -10 + 5. Let l be ((-24)/15)/(2/o). Is 4 - l - (-21 + -1) a multiple of 9?
False
Let z(f) = -f**3 + 6*f**2 + f. Suppose 10 = -3*h + h, -35 = -4*a + 3*h. Does 9 divide z(a)?
False
Let d(i) = i**2 + i - 50. Is d(-11) a multiple of 6?
True
Let h(v) = v + 8. Let x(u) = 2*u + 9. Let k(c) = 3*h(c) - 2*x(c). Does 9 divide k(-12)?
True
Suppose n - 39 = 26. Is n a multiple of 13?
True
Suppose -2*n + 0 = -24. Is n/(-10)*60/(-9) a multiple of 8?
True
Let g = 3 + 2. Suppose -4*l + 2*l - 4*c = -2, 4*l = -g*c + 19. Does 4 divide l?
False
Suppose 3*y + 39 = 3*p, -5*y - 71 = -0*y - 2*p. Let l = -23 - y. Let r = 41 + l. Is 25 a factor of r?
False
Let y be ((-9)/27)/((-2)/12). Suppose -4*z - z = 4*d - 110, 3*z - y*d - 66 = 0. Is 11 a factor of z?
True
Let y(n) = n**3 + 10*n**2 - 14*n - 11. Let f be y(-9). Suppose -5*r + f = 46. Let t = r + -15. Does 8 divide t?
False
Let b(k) be the second derivative of 5*k**3/6 + 11*k**2 - k. Let r(s) = 10*s + 43. Let w(n) = 11*b(n) - 6*r(n). Does 13 divide w(-11)?
True
Suppose -5*g + 117 = -43. Is 32 a factor of g?
True
Suppose -1140 = -4*f - 6*f. Is 19 a factor of f?
True
Let n(x) = x**2 - x - 2*x + 4*x + 2*x + 2. Let w be n(-2). Suppose 4*u - 3*i - 27 = w, -2*u + i - 2*i = -1. Is u even?
False
Suppose 0 = -4*u - 8*u + 1188. Is u a multiple of 33?
True
Let d be 12/(-1) + 3 + 0. Let w = 13 - d. Does 11 divide w?
True
Let d(s) = 18*s**2 + 1. Let v be d(1). Let o = v + -3. Is o a multiple of 5?
False
Let t(u) = -u**2 + 3*u + 3. Let q be t(3). Suppose -q*v + 94 = -95. Does 23 divide v?
False
Suppose -1392 = -16*k + 10*k. Is k a multiple of 44?
False
Let k = -10 - -12. Is 2 a factor of k?
True
Let t(a) = a**3 + 6*a**2 - 11*a - 4. Is t(-7) a multiple of 7?
False
Suppose 3*c + 12 = -4*t, 2*c = -t - 1 - 2. Suppose 5*r - 22 - 13 = c. Is 2 a factor of r?
False
Let h = 103 + 23. Is h a multiple of 21?
True
Let g be 1/(-3) + 26/6. Suppose t + 107 - 9 = 4*w, 2*t + 100 = g*w. Is 10 a factor of (-4)/w - 350/(-12)?
False
Suppose 3*l = 3*k + 36, l = 2*l + 2. Let m = k + 9. Is m*(54/(-15) - -2) a multiple of 8?
True
Let r = 161 + -140. Is r a multiple of 7?
True
Suppose -2 = 4*o - 6, 0 = -g - o + 118. Suppose -5*k - g = -8*k. Is k a multiple of 12?
False
Suppose 3*j - 243 = -3*r, 2*j - 7*j - 4*r = -400. Is j a multiple of 22?
False
Suppose m = -0*m + 5*f - 1, 44 = m + 4*f. Let u = 0 + m. Does 12 divide u?
True
Suppose -2*f + 29 = 5*n, 5*f = 2*n + 44 + 14. Is 4 a factor of f?
True
Suppose 3*a - 21 = -3*p, 2*p - 5*a + 3 = -18. Let i(s) = -10*s + 11*s + 4*s**3 - 2*s**p + 2*s**2 + 2. Is 12 a factor of i(2)?
True
Does 12 divide (64 - 8) + 4/1?
True
Let c = 6 - -4. Is 5 a factor of c?
True
Let n(h) be the first derivative of -h**3/3 + 5*h**2 - h + 5. Is 14 a factor of n(8)?
False
Let p(m) = 6*m + 1. Let z be p(1). Let q be (-1)/(-1) + -4 + z. Suppose -q*w + 20 = -0*w. Does 3 divide w?
False
Suppose 0*l - 4*l - 4*w + 40 = 0, -45 = -5*l - 4*w. Suppose -5*x - 2*m + 22 = -42, 58 = l*x - m. Is x a multiple of 6?
True
Let b(o) = 2*o**3 + 3*o + 5 + o**3 - 2*o**3 - 5*o**2. Is 10 a factor of b(5)?
True
Suppose 3*j - 2 = 1. Suppose w + 4 = d - j, 5*d + w = 13. Does 3 divide d?
True
Let z = 4 + -1. Let j be (-6)/2 - (-6 + z). Suppose -t + j = -21. Is t a multiple of 7?
True
Suppose t = -3*t - 5*p + 119, 5*t = 2*p + 157. Is t a multiple of 31?
True
Suppose 2*k = -3*k + 10. Let v(u) = -2 + 1 + k + u. Does 4 divide v(7)?
True
Let d = 11 + -13. Is 11 a factor of d/(-2) + 40/4?
True
Let z(k) be the first derivative of 4*k**2 + 7*k - 5. Is 23 a factor of z(5)?
False
Let p(q) = -q**3 - 4*q**2 + 4*q + 4. Let j = -40 + 59. Suppose -5*l - j = 6. Does 9 divide p(l)?
True
Let u(o) = -2*o**3 + 3*o**3 + 6 + 4*o - 42*o**2 + 49*o**2. Suppose -17 + 5 = 3*h. Is u(h) a multiple of 13?
False
Let w = -4 - -58. Does 18 divide w?
True
Suppose 0 = v + 2*d + 12, 5*v - 4*d + 60 = d. Let u be 1209/v - 3/(-4). Is 13 a factor of (-42)/35*u/3?
False
Suppose 0 = 9*s - 533 - 259. Is 12 a factor of s?
False
Let x(h) = h**2 + 6*h - 5. Let n be x(-9). Let b = -6 + n. Suppose -2*m - b = -4*m. Is m a multiple of 4?
True
Let n(j) = 3*j + 12. Let q = -6 + 12. Does 26 divide n(q)?
False
Let u = 10 + -5. Let q be 8/u + (-4)/(-10). Suppose -30 = -q*p - p. Is 10 a factor of p?
True
Does 29 divide 174/5*(-180)/(-54)?
True
Suppose 5*r - 120 = -10. Suppose -c = 3 - r. Is 13 a factor of c?
False
Suppose 4*z + 29 = 3*p, -z = -5*z - 5*p - 5. Let j be 6/(-15) - 32/z. Suppose -3*v - 116 = -5*l, -v - 2*v - j = 0. Is l a multiple of 11?
True
Suppose -5*m - 4*i + 1113 = 0, i + i - 1119 = -5*m. Does 15 divide m?
True
Suppose 5*k - 86 = 3*k. Suppose -3*x - 11 = -o, -4 = 3*o - 5*x - 29. Suppose 3*d = -5*q + k, 4*d - o = -3*q + 23. Is 4 a factor of q?
True
Let a = 12 + -4. Let d = 12 - a. Suppose 2*f + 0*f = d. Is 2 a factor of f?
True
Let x(z) = -z**2 - 25*z + 7. Is x(-24) a multiple of 10?
False
Let s(g) = 2 + 5*g - 2. Suppose 5*d - 31 = -1. Is 15 a factor of s(d)?
True
Let j be (60/(-14))/((-12)/336). Let a = j - 80. Is a a multiple of 20?
True
Let i(l) = 3*l - 2. Let y be i(2). Suppose -n - 4*d + 28 = 0, 0 = 4*n + y*d + 12 - 64. Does 4 divide n?
True
Suppose -3*p + 0*p + 734 = -5*r, 0 = 3*p + 2*r - 727. Does 55 divide p?
False
Let k = -14 + 14. Suppose k*o + 132 = 3*o. Is o a multiple of 10?
False
Let y(b) = 4*b**2 - 5*b + 6. Let u be y(3). Suppose a - 1 = 0, 4*a - u = -s + a. Is s a multiple of 24?
True
Let c(y) = 8*y**3 + 9*y**2 + 7*y + 2. Let l(x) = -4*x**3 - 4*x**2 - 3*x - 1. Let z(h) = 2*c(h) + 5*l(h). Let v be z(-2). Let d = v - 15. Is 6 a factor of d?
False
Let c be 89/(-4) + 2/8. Let y be (c/(-4))/((-2)/(-8)). Suppose -3*l = -2*j + y, -5*j + 6 = l - 15. Does 2 divide j?
False
Let a be 46 - (-7)/((-14)/(-4)). Let m = a - 0. Is 24 a factor of m?
True
Let b(l) = -l**3 - 7*l**2 - 5*l + 2. Let k be b(-4). Let i = 40 + k. Is ((-18)/(-7))/(2/i) a multiple of 9?
True
Let g = 5 + 7. Does 12 divide g/((4 + -1)/6)?
True
Let y = 18 + -18. Suppose y = 5*f - 20 - 50. Is f a multiple of 3?
False
Suppose -125 = -3*z - 35. Is z a multiple of 6?
True
Suppose 8*i = 5*i + 54. Does 12 divide i?
False
Let i = 11 + -7. Suppose -83 = -3*x + 4*j, j - 90 = -4*x - i*j. Suppose 5*s = 60 + x. Does 16 divide s?
False
Let f(g) = 3*g + 5. Let u be f(7). Let r be ((-1)/(-2))/(2/16). Suppose u = r*h + 6. Is h even?
False
Suppose k - 12 = -3*p, 5*p - 3*p + 77 = 5*k. Let z = k - -51. Does 33 divide z?
True
Let f(s) = 3*s. Let n be f(-1). Let z(x) = -x**3 - 3*x + 4. Is 10 a factor of z(n)?
True
Suppose -3*b + 3 - 4 = 2*w, -5*w = 4*b + 20. Let a = w - -14. Is a a multiple of 6?
True
Suppose 0 = 3*n - 5*z + 13, -5*n = -n - z + 6. Is 3 a factor of (1/(1/(-3)))/n?
True
Let v(p) = -p**3 + p**2 + p + 2. Let o be v(-2). Suppose -3*l + l = -5*r + 14, -16 = -4*r. Suppose -l*x + x = -o. Is 3 a factor of x?
True
Let o(v) be the second derivative of v**3/2 - v**2 + 2*v. Let p be o(2). Suppose -2*a + 39 = 5*b, 2*b - 25 = p*a - 67. Is a a multiple of 12?
True
Suppose 5*g - 3*g + 16 = 0. Suppose -1 = -p + 16. Let f = p + g. Is f a multiple of 3?
True
Let z(m) = m**3 - 2*m**2 + 3*m - 1. Suppose 2*p - 3*s = 21, -p - 7 = -2*s + 4*s. Is z(p) a multiple of 16?
False
Let c(l) = -l**2 - l. Let j be c(-1). Suppose 6*k + 18 = h + 3*k, j = -5*k - 5. Let r = 25 + h. Does 13 divide r?
False
Suppose 3 = -2*k