8 = 0, n = -5*u + y. Is 1359/81 - u/(-18) a multiple of 6?
False
Let w(b) = -39*b. Let l be w(-1). Let m(u) = -u**2 - 12*u - 15. Let r be m(-10). Suppose r*q + l = 4*i, -2*q = -4*i - i + 36. Is i a multiple of 6?
True
Does 9 divide ((-4)/(-10))/((-1)/(-395))?
False
Suppose -4*h + 6*h = 300. Is h a multiple of 25?
True
Let o(l) = 2*l**2 + 5*l - 6. Is 9 a factor of o(-6)?
True
Suppose 3 = -3*u, -2*a = -0*a + 5*u - 313. Suppose -4*d = y - 36, 3*y = -0*y + 5*d + a. Does 12 divide y?
True
Let u = 22 - 7. Is 3 a factor of u?
True
Is 34 a factor of ((-6)/4)/(5/(-340))?
True
Suppose 5*b = -p + 672 - 232, 184 = 2*b + 2*p. Does 12 divide b?
False
Let l be (-32)/14 - (-6)/21. Let v(t) = 30*t**2 - 2. Let w be v(l). Suppose 22 - w = -4*u. Is u a multiple of 12?
True
Suppose 2*h + k - 2*k - 3 = 0, h - 15 = -4*k. Suppose -h*d + 224 = d. Does 21 divide d?
False
Let z(h) = h**3 - h**2 - 2*h - 5. Let l be z(4). Let m be (2 - 1)*(-24)/2. Let g = m + l. Is 9 a factor of g?
False
Let t(j) = -31*j - 22. Is t(-5) a multiple of 19?
True
Let o(m) = m**2 - 7*m + 1. Let q(i) = -3*i**2 + i**2 - 4*i + 18*i - 2. Let z(r) = -13*o(r) - 6*q(r). Is 5 a factor of z(3)?
False
Suppose -k = 4*a - 0*a + 142, -2*k + 184 = -5*a. Is (-296)/a - 2/9 a multiple of 6?
False
Is 27 a factor of (-4)/(-6) + 2 + (-7434)/(-27)?
False
Let a(b) = -b**3 - 5*b**2 - 11*b - 12. Is a(-5) a multiple of 8?
False
Let p(n) = -n**2 + 10*n - 10. Is p(7) even?
False
Suppose -6*q - 10 = -11*q. Suppose -3*f + 45 = q*f. Is 5 a factor of f?
False
Let z be 2 + 1*(3 - 4). Let c = -1 + z. Suppose c = 4*n - 2 - 50. Is n a multiple of 8?
False
Let a(z) = -22*z - 4. Let v be a(-4). Suppose 2*t - v = -4*s, 4*s + 125 = 4*t - 67. Suppose 96 = 4*m - 4*j, 4*j = 2*m - 0*m - t. Does 10 divide m?
False
Let p(r) = -6*r**3 + r**2 - 2*r. Is p(-2) a multiple of 17?
False
Let j = 208 - 124. Does 12 divide j?
True
Let l(x) = x. Let i(c) = 4*c + 2. Suppose -1 = -0*d + d. Let s(m) = d*i(m) + 5*l(m). Is s(6) a multiple of 3?
False
Let t(u) = u**3 + 7*u. Let o be t(5). Suppose -9*y + 4*y = -o. Is y a multiple of 18?
False
Let g be 2*((-27)/(-6) - 2). Let b(z) = -z**3 + z**2 + 4*z + 1. Let r(v) = 2*v**3 - v**2 - 9*v - 2. Let x(q) = -7*b(q) - 3*r(q). Is 9 a factor of x(g)?
False
Suppose -353 + 56 = -5*o + 3*y, -2*y + 242 = 4*o. Is 30 a factor of o?
True
Let l be (-6)/3 + 3 + 1. Is 10 a factor of (-1)/(l/(-4)) - -33?
False
Suppose -324 = 4*q - 0*q. Let l = q - -162. Let o = -55 + l. Does 13 divide o?
True
Suppose 4*c - 776 = -4*j, 0 = -3*c - j + 110 + 474. Is 13 a factor of c?
True
Let c(l) = 9*l - 3. Is 8 a factor of c(3)?
True
Let a(x) = -x - 1. Let h be a(-5). Let f = 254 - 156. Suppose h*r + 10 - f = 0. Does 13 divide r?
False
Let j = -25 - -61. Suppose 0*s = -s + j. Is s a multiple of 14?
False
Let f(x) = -x + 1. Let b be f(0). Let r be (-1)/(b*(-3)/75). Suppose -2*h - 5*g = -18, 4*h - 11 = -2*g + r. Is h a multiple of 3?
True
Let n = 12 - 8. Let z(p) = p**3 - p**2 + 5*p - 2. Let o be z(n). Suppose -2*q - 3*d = -0*q - o, d = -4. Is 14 a factor of q?
False
Suppose 0 = 2*k - 3*f - 103, -4*f + 126 = 2*k + 2. Let u = 31 - k. Let o = -15 - u. Is o a multiple of 9?
False
Suppose 3*m + 4 = -2*t + m, -4*m = -3*t + 22. Suppose -5*w + t*a = -60, -3*w = 2*w + 4*a - 30. Is w a multiple of 10?
True
Let r(u) = -u**2 - 4*u - 3. Let t be r(-8). Let w = t - -53. Is w a multiple of 8?
False
Let x be (-27)/(-3)*(-34)/(-6). Is 17 a factor of x/2*(2 + 0)?
True
Let d(g) = -g + 7. Let h(z) = -2*z + 13. Let u(q) = -7*d(q) + 4*h(q). Let b be u(3). Suppose b*s + 5*s = 15. Is s a multiple of 3?
True
Let n = 38 - -8. Is 10 a factor of n?
False
Let i be (10/(-1))/(4 + -6). Suppose 16 - 1 = 5*p. Suppose -i*r - 2*l - 2*l + 3 = 0, 4*l = -p*r - 3. Does 2 divide r?
False
Does 46 divide 6375/20 - 12/16?
False
Suppose 3 + 1 = -5*b - k, 4*k = 4*b - 16. Let o(i) = -i**2 + i + 5. Let a be o(b). Suppose y = -1 + 5, -3*x + a*y = -10. Does 10 divide x?
True
Is 3/(-2)*(-56)/6 a multiple of 7?
True
Let m be ((-1)/(-2))/((-2)/64). Is 12 a factor of (3 + 0)*(-8 - m)?
True
Suppose -10*h = -6*h - 428. Is 14 a factor of h?
False
Let c(w) = -6 - 2*w + 8*w + w**2 + 4 + 11. Is 18 a factor of c(-9)?
True
Let k = -24 - -10. Let i = 22 + k. Let q = i - 5. Is q a multiple of 3?
True
Suppose -2*b + 109 = 31. Is 9 a factor of b?
False
Let c(u) = -u - 4. Let t be c(-9). Suppose s - 2*s = -5*o + 17, -t*s + 35 = 5*o. Suppose 0 = -l - 3*n + o, 2*l - 5 - 11 = -4*n. Is 7 a factor of l?
False
Suppose 5*j - 123 = 3*g - 5*g, -2*j + 50 = g. Let c(l) = 47*l**2 + 2*l - 1. Let o be c(1). Let f = o - j. Is 9 a factor of f?
False
Let h(v) = -v**3 - 4*v**2 + 8*v + 6. Suppose -5*n - 4*g + 102 = 0, 0 = -2*n - 3*g + 2*g + 39. Suppose 0 = 4*s + n + 6. Is h(s) a multiple of 25?
False
Let x = 9 + -7. Let m(w) = -3*w + 4*w + 10*w**x - 2*w**2 - 2*w. Is 9 a factor of m(-1)?
True
Does 12 divide 366/10 + 6/(-10)?
True
Suppose 14*t = 12*t + 344. Is 25 a factor of t?
False
Let i(b) = 5*b**3 + 3*b**2 + 6*b - 2. Let w(y) = -3*y**3 - y**2 - 3*y + 1. Let q(m) = 4*i(m) + 7*w(m). Is 14 a factor of q(5)?
True
Suppose -x = 2*h - 471, 2*h - 4*x - 212 - 254 = 0. Is h a multiple of 47?
True
Suppose 4*i = 5*f, 5*f = i + i. Let p(h) = h + 22. Is p(i) a multiple of 22?
True
Suppose 5*z - 161 = o - 574, -4*z - 340 = -4*o. Let r = z + 57. Let j = r - -43. Is 13 a factor of j?
False
Suppose 3*l - 7*l = 5*c - 230, c - 65 = 3*l. Does 10 divide c?
True
Suppose 3*z + 15 = 2*b, -3*z - z = 3*b + 3. Let j be (9 + 2)*3/z. Let g = j - -16. Is 5 a factor of g?
True
Let s = 16 + -4. Let q = 2 + s. Is 14 a factor of q?
True
Let g(f) = f**3 + 11*f**2 - f - 8. Let d be g(-11). Suppose 0*o - 48 = -d*o. Suppose -q + o = -1. Is 6 a factor of q?
False
Suppose -6*f + v = -f - 279, -2*v = -4*f + 222. Is 14 a factor of f?
True
Suppose -c = -4*y - 312 - 70, 2*c - 4*y - 760 = 0. Is c a multiple of 63?
True
Suppose 11 = -x + q, 2*q - 7 = 3. Let j(b) = b**3 + 9*b**2 + 7*b + 4. Is j(x) a multiple of 18?
False
Let l(g) be the third derivative of 2*g**5/15 + g**4/8 + 6*g**2. Is 9 a factor of l(-2)?
False
Let s be (4/5)/((-4)/(-20)). Let t = s + 6. Suppose -x + t = x. Is 4 a factor of x?
False
Let t(n) = -n + 10. Let i be t(10). Let b(m) = m**2 + m + 2. Let o be b(i). Suppose -5*y + 24 = o*z - 21, 4*z - 72 = -4*y. Is 15 a factor of z?
True
Let p(n) = 2*n**2 - 2*n + 3. Is 3 a factor of p(4)?
True
Let s(z) = -z**3 + z + 5. Let n(r) = r**3 - 10*r**2 + 10*r - 9. Let k be n(9). Let y be s(k). Is 9 a factor of (-35)/(-3) - y/(-15)?
False
Suppose h + 6*h = 504. Is 6 a factor of h?
True
Let s be (-1)/3 + 76/3. Suppose -s = -v + 29. Suppose -3*h + 5*z + 73 = 0, -2*h + 0*z = 2*z - v. Is 13 a factor of h?
True
Suppose 3 = 5*d - 7. Suppose -z + d*a = -31, 76 = 4*z + 2*a - 88. Does 8 divide z?
False
Does 18 divide (-2 - -1 - -54) + (-6 - -7)?
True
Does 5 divide (-6020)/(-200) - 2/20?
True
Suppose 0*d - 54 = -d. Is d a multiple of 27?
True
Is 30 a factor of (-62)/6*(-3 - 0/(-6))?
False
Let r(x) = x**3 - x**2 + x + 39. Let m be (-2)/4 + (-1)/(-2). Let g be r(m). Suppose 2*i - 15 = g. Does 20 divide i?
False
Let r(y) = y**3 - 15*y**2 + y + 20. Does 8 divide r(15)?
False
Let v = 8 - 6. Suppose 0 = -c - c + v. Let u = c - -6. Does 7 divide u?
True
Let f be (-2 - -1) + 3/1. Is f/6 + (-1694)/(-21) a multiple of 18?
False
Let f be (2 - 4/3)*3. Let u(k) = -k**2 + 2*k**f + 5*k**3 + 0*k**2 - 1. Is u(1) a multiple of 2?
False
Suppose -3 = t + 5*u, -t + 9 = -u - 12. Is t a multiple of 17?
True
Let w(h) = h**3 + 2*h**2 - 2*h - 5. Let c(y) = 2*y + 7*y**2 + 4*y**3 - 10*y + 0*y**2 - 20. Let o(v) = -2*c(v) + 9*w(v). Is 2 a factor of o(-4)?
False
Let v = 32 + -16. Is 6 a factor of v?
False
Is 19 a factor of 352/6*(-9)/(-6)?
False
Is 3 - -1 - (-3)/1 a multiple of 5?
False
Let p = 24 + -17. Let x = p - 2. Let j(f) = 3*f - 5. Is 6 a factor of j(x)?
False
Suppose -11*z - 1620 = -16*z. Does 54 divide z?
True
Let g = 35 + 66. Is g a multiple of 25?
False
Let s(b) = -2*b**3 + 2*b - 1. Let f be s(-2). Let k = f + 11. Is 6 a factor of k?
False
Let n(m) = -m**2 + 9*m + 14. Let g be n(10). Suppose 104 = g*u + y, -6*u + 5*y + 80 = -2*u. Is 8 a factor of u?
False
Suppose -f + 15 = 7*c - 3*c, 0 = -4*f + 3*c + 117. Is 8 a factor of f?
False
Suppose 11 = 2*s - 93. Is 13 a factor of s?
True
Let n be (-26)/(