 Is y a multiple of 3?
False
Suppose 38*u = 39*u - 48. Is u a multiple of 6?
True
Let b(u) = -21*u**3 - u**2 + 1. Suppose -3*v + g = 7 - 1, -3*g + 4 = 5*v. Is b(v) a multiple of 21?
True
Suppose 23 = 3*f + 4*l, -4*l + 24 = 4*f - 2*l. Suppose 153 = -f*b + 23. Does 10 divide (-2)/(-2 - -4) - b?
False
Suppose -2*q - 348 = -4*u, 2*u + 3*q = -u + 279. Is 12 a factor of u?
False
Suppose 14 = -4*a + 3*h, 0 = 4*h - 8. Let g = -4 - -6. Does 21 divide a/(-2)*29*g?
False
Suppose -2 = -3*p + 4*p. Let d be 4/((p/(-2))/2). Let u(s) = -s**3 + 7*s**2 + 10*s - 5. Is 6 a factor of u(d)?
False
Let c(q) = -q**3 + 8*q**2 + 9*q - 1. Let g be c(6). Let t be (8/(-6))/(-4)*6. Suppose 0 = 5*w + t*h - h - 125, -2*h + g = 5*w. Is 17 a factor of w?
False
Suppose 0 = 3*t + 13 - 4. Let w = -4 - t. Does 12 divide 13/(3/3) + w?
True
Let i be (-1)/(2/(-6*1)). Suppose 2*x - i = 5*x. Is 2 + 2/(-2) - x even?
True
Let k = 51 - 45. Let f(t) = 3*t**2 + 1. Let y be f(-1). Suppose y*m - 4*q = k + 54, -q = 2*m - 39. Is m a multiple of 16?
False
Let m = 4 - 39. Let n = 17 - m. Suppose -5*b = 4*d - n - 111, 3*d - 99 = -3*b. Is b a multiple of 13?
False
Suppose -4*l - l = -150. Suppose -2*v - l = -5*v. Is 3 a factor of v?
False
Suppose -5*m - c = -99, c + 38 - 4 = 2*m. Let w = m - -16. Suppose 3*v + 5*y - w = 0, 0 = -v + 5*v + y - 75. Is 7 a factor of v?
False
Let b(p) = p**2 - 3*p. Let o be b(5). Suppose -l - 4*v - 10 = 0, 5*v - o = 7*v. Is 10 a factor of l?
True
Let j(p) = -p**2 + 2*p. Let z be j(-2). Let m = z + 10. Is 2 a factor of m?
True
Suppose 2*s + 8 = -2*s, -2*s = -2*f + 94. Let r be 14/(-18) - (-4)/(-18). Does 15 divide f/(-3)*(-2 - r)?
True
Let l be -12 + 4 + -6 + 3. Let c = l - -7. Is 6 a factor of 3/12 + (-27)/c?
False
Let a(k) = -k**3 - k**2 - k - 2. Let q be a(-2). Suppose -4*b + q = -2*b, 5*b = 3*s - 11. Does 2 divide s?
False
Let n be 15/2 - (-1)/(-2). Let o = 13 + -11. Does 6 divide o/(2/n)*1?
False
Suppose -2*p + 0*a + 4*a + 260 = 0, p + 3*a - 145 = 0. Suppose -5*z + p = 3*q, 2*q - 23 = 4*z + 31. Is q a multiple of 9?
False
Let q(u) = -u. Let m(s) = -s**2 - s - 3. Let f be m(0). Let l be q(f). Does 5 divide (-27)/(-6) - l/(-6)?
True
Let o = 355 - 175. Suppose -o = 2*k - 3*k. Suppose -f - 4*f = -k. Is 25 a factor of f?
False
Let l(w) = -w**2 + 3*w - 1. Let y(q) = q**2 + q. Let b(r) = 3*l(r) - 6*y(r). Let m be b(-3). Let p = -60 - m. Does 11 divide p?
True
Suppose 4 = b + 2. Suppose 3*g = -b*g + 120. Is g a multiple of 13?
False
Let f(x) = x**2 + 3. Let o be f(-6). Suppose -4*z + 2*s + 54 = 0, s - 9 = -3*z + o. Suppose -3*w = -0*w - z. Is w a multiple of 5?
True
Let o(n) = -n**2 + 3*n + 1. Let a be o(3). Suppose -a = -z + 8. Does 6 divide z?
False
Let k(f) = -f + 1. Let s(b) be the third derivative of -b**4/8 + b**3/3 - 3*b**2. Let a(g) = 2*k(g) - s(g). Is 3 a factor of a(3)?
True
Let g be (-46)/(-5) - (-4)/(-20). Let i(m) = -8*m**2 - 5*m - 2. Let v be i(4). Does 9 divide 2/(-3) - v/g?
False
Suppose 54 = -2*p + 4*p - 3*o, 5*o = p - 34. Is 12 a factor of p?
True
Let t(p) be the third derivative of p**5/60 - p**4/12 - p**3/3 - 2*p**2. Is t(-4) a multiple of 19?
False
Suppose -2 = 2*s - 6. Suppose 0 = -s*q - 0*q - 4. Does 17 divide q/(-15)*3*85?
True
Let g(d) = d**3 + d**2 + d - 100. Let p be g(0). Let u = -71 - p. Is u a multiple of 18?
False
Suppose -20 = -b + 3*b. Let g = -7 - b. Does 3 divide g?
True
Suppose 4*m - 37 = -13. Does 3 divide m?
True
Let t = 75 + 112. Does 13 divide t?
False
Let w = 1 + 2. Suppose -3*a = w*t - 5*t - 76, 4*a - 98 = t. Is 13 a factor of a?
False
Suppose 5*s = -7*w + 3*w - 11, -5*w + 5*s - 70 = 0. Let t = 35 + w. Does 11 divide t?
False
Let d = 24 - 17. Suppose -d + 1 = -2*v. Is 5 a factor of 0 - (-3)/v - -11?
False
Suppose i - 4*i - 12 = 0. Let z = i - -3. Does 9 divide (-2)/4*z*22?
False
Let b = 2 + 1. Let s be 6/b*(-2)/4. Is (s + 2)/(2/10) a multiple of 2?
False
Is 2409/15 + 2/5 a multiple of 23?
True
Let p(m) = -m**2 + 11 + m + 17 - 3*m**3 + 2*m**3. Let b be p(0). Let d = b - 15. Is d a multiple of 8?
False
Let q = 140 - 56. Is 22 a factor of q?
False
Let s be (-1)/(-8)*-6*-8. Let k = s + -7. Let d = 20 + k. Does 6 divide d?
False
Suppose 0 = 6*g - 188 - 22. Does 5 divide g?
True
Let q(s) = -s**2 + s + 1. Suppose n + n = 0. Let l be q(n). Is 19 a factor of (-103)/(-2) + l/(-2)?
False
Suppose 0*v - 2*v = 6. Is 0 - ((-3)/v + -16) a multiple of 7?
False
Let v(s) = -27*s + 2. Let b be (-4 - 1) + 2 + -1. Let d be v(b). Suppose -r + 3*r = d. Does 17 divide r?
False
Let c(a) = -3*a - 15. Let k be c(-6). Suppose 42 = 3*v - t, -k*v + 4*t + 42 = 2*t. Does 7 divide v?
True
Suppose -5*x + 47 = i - 375, 4*x = -2*i + 334. Suppose 2*j - x = 23. Suppose -6 + j = 2*l. Does 13 divide l?
False
Let t(p) = 4*p - 30. Is 10 a factor of t(10)?
True
Suppose -2*y + y - 45 = 0. Let t be (1/(4/(-66)) - 3)*-4. Let n = y + t. Is 15 a factor of n?
False
Let c = -71 - -118. Is c a multiple of 47?
True
Suppose 5 = y + 2. Suppose 5*m = -3*l + 70, -l - 3*m + y = -15. Does 10 divide l?
True
Let a(y) = y**3 + 6*y**2 + 7*y - 1. Let r be a(-5). Let x = -4 - r. Is 66/14 - (-2)/x a multiple of 4?
False
Let z = -4 - -10. Let j = 34 + -20. Let c = j - z. Does 4 divide c?
True
Suppose -2*f = 4 - 12. Let c(m) = m**3 + 2*m**2 + 4. Let d be c(f). Suppose -j = -5*j + d. Is j a multiple of 10?
False
Let a(f) = 2*f**2 - 3*f + 9. Let r = 12 + -6. Is a(r) a multiple of 16?
False
Let t(j) = -j**2 - 15*j - 20. Is t(-10) a multiple of 15?
True
Let r(y) = 29*y**2 - y + 6. Is r(2) a multiple of 20?
True
Suppose x - 2*i - 10 = -5*i, -4*i + 9 = x. Is x a multiple of 13?
True
Let h(n) = -n**3 - 5*n**2 - 2*n + 1. Let g be h(-3). Let i = g + 7. Let x(o) = -o + 4. Is 6 a factor of x(i)?
False
Suppose -7*x + 372 = -x. Does 15 divide x?
False
Suppose 5*n = 3*u - 0 - 24, -3*n = -5*u + 24. Suppose -u*w = -2*w - 64. Is w a multiple of 16?
True
Suppose 2*w = 3*a - 261, 0*a + 4*w - 279 = -3*a. Does 18 divide a?
False
Let g be ((-5)/2)/(5/(-10)). Let o be 2/(10/3)*g. Suppose i - 120 = -o*i. Is i a multiple of 15?
True
Let y be 5 + -2 + -1 - 2. Let b(z) = -11 - 14*z**2 + z**3 + 6*z**2 - 1 + y*z**3 + 5*z. Does 11 divide b(8)?
False
Suppose 3*q + 2*p = 4*q - 14, 4*p + 38 = 3*q. Let w = 39 + q. Does 19 divide w?
False
Suppose 39 = 3*l + 3*p, 3*l - 2*p = -4*p + 35. Let z be 4/(-6) + l/(-27). Is (z/3)/((-8)/96) a multiple of 2?
True
Suppose -171 = -2*d - 3*g, -2*d - 2*g + 192 - 18 = 0. Is 15 a factor of d?
True
Let o = 39 - 30. Is 9 a factor of o?
True
Let i(q) = 23*q - 19. Does 8 divide i(5)?
True
Let i(o) = 3*o**2 + 7*o + 6. Is i(-4) a multiple of 6?
False
Let w = 0 + 0. Suppose 0*g = m + 2*g + 1, w = 4*m + 4*g + 16. Let d = m - -19. Is 8 a factor of d?
False
Let y(k) = 3*k - 2. Let p be y(-4). Let h be (-46)/p - 4/14. Suppose h*r - 63 + 15 = 0. Is 8 a factor of r?
True
Let m(c) = -3*c**3 - 9*c**2 - c - 10. Let k(o) = -10*o**3 - 28*o**2 - 4*o - 31. Let u(s) = 2*k(s) - 7*m(s). Is 11 a factor of u(-6)?
False
Let b = 1 + 44. Is b a multiple of 5?
True
Suppose 2*p = -2*j, 3*j = 3 - 15. Suppose -u + 3*r = -3*u + 47, 0 = -p*u - 5*r + 97. Is u a multiple of 11?
False
Let a be 2/4*(-4 - -4). Suppose d - 13 = -a*d. Does 6 divide d?
False
Suppose z - 5*z = 4. Let y = z + 6. Suppose -4*m - 5*h + 52 = 0, -m - h + y + 9 = 0. Is m a multiple of 7?
False
Suppose -3*t = 2*a + 32, -4*t - 25 - 11 = a. Let j(b) = b + 8. Let y be j(t). Suppose 3*g - 86 - 28 = y. Is g a multiple of 19?
True
Suppose 0 = p - 0*p + 3*c - 5, -4*p + 9 = c. Suppose 4*k + 92 = 4*w, -w + p*w = -3*k + 7. Does 10 divide w?
False
Suppose -2*n - 2*n + 28 = 0. Let q(h) = -3 + 4*h**2 - 3*h**2 + 3*h - 7*h. Is q(n) a multiple of 12?
False
Is 43 a factor of (-3 - -2)/((-3)/411)?
False
Let k(j) = -j**2 - 9*j - 2. Let p be k(-9). Let x = p + 13. Is 4 a factor of x?
False
Suppose -7 = -4*c + 21. Suppose 5*b - 97 + c = 0. Is 6 a factor of b?
True
Suppose -3*c + 4*x - 33 = 2, -3*c - 5*x - 71 = 0. Let q = 68 + c. Is q a multiple of 17?
True
Let w(s) = 3*s**2 - 7*s + 2. Is 12 a factor of w(8)?
False
Let v(f) = f**3 - 4*f**2 - 3*f + 2. Let c(j) = j**3 - 5*j**2 - 4*j + 3. Let w(h) = -3*c(h) + 4*v(h). Does 3 divide w(2)?
True
Let z(s) = 23 - 6*s + 0*s + 5 + 7*s. Is z(0) a multiple of 14?
True
Let p(w) = -2*w - 9. Let g be p(-5). Suppose g = b - 15. Is b a multiple of 9?
Fa