 b = l - -13. Does 6 divide b?
False
Suppose 9*y + u - 12 = 4*y, -5*y = 3*u - 16. Suppose -b - w = -18, 1 = y*w - 7. Is b a multiple of 14?
True
Let b(l) = -l + 18. Let k(o) = -o**3 - o**2 - 1. Let z be k(0). Let h be -7 - -7 - (-1 - z). Does 18 divide b(h)?
True
Let l(a) = a - 1. Let q be l(1). Suppose q = -3*b - 2*f - 27, 0 = b - 5*b + 2*f - 22. Let r(c) = c**3 + 8*c**2 + 3*c - 3. Is 16 a factor of r(b)?
False
Let r(j) = -9*j**2. Let k be r(1). Let h = 11 + k. Is ((-24)/(-15))/(h/10) a multiple of 7?
False
Let r(n) = 9 - 6*n**2 + 6*n - 2*n + 6*n - 3*n - n**3. Let x be r(-6). Let a = -22 - x. Does 6 divide a?
False
Suppose -15 = 4*a - a. Let y(g) be the third derivative of g**6/120 + g**5/12 - g**4/6 - g**2. Is y(a) a multiple of 12?
False
Let t(q) = 2*q - q + 2 - 6 + 7*q. Is 11 a factor of t(6)?
True
Let c(q) = -3*q + q + 4*q. Let i be c(-3). Let y(w) = w**2 + 6*w + 8. Does 4 divide y(i)?
True
Suppose -h + 15 = -6*h. Let w(v) = -v - 3. Let b be w(h). Suppose g - 17 = -b*g. Does 7 divide g?
False
Let g be (-1 - 3) + -1 + 2. Let o(v) = 0*v - 3*v + 3 + 3 - 4. Is o(g) a multiple of 7?
False
Suppose w = -2*h + 4*h + 68, 0 = -5*h - 5*w - 185. Does 6 divide 30/(-20) - h/2?
False
Suppose -3*w + 50 = 2*h, 0 = -2*h - 2*h - 3*w + 88. Let d = 41 - h. Does 7 divide d?
False
Suppose 0 = -13*x + 8*x + 50. Let t = x + -6. Is 2 a factor of t?
True
Let q(y) = y**2 + 2*y + 2. Let f be q(-2). Let p = -13 - -15. Let b = p + f. Is b a multiple of 2?
True
Let k = 31 - 13. Is k a multiple of 3?
True
Let k = 271 + -159. Does 8 divide k?
True
Let p = -1 + 4. Suppose -p*f = -5*f + 40. Suppose -f = -3*u + 10. Does 10 divide u?
True
Let v = -3 + 4. Let r be 12/20 - (-18)/(-5). Let g = v - r. Is g even?
True
Is 38 a factor of -2 + -2 + -4 + 84?
True
Let j be 3/((-1)/2*(-12)/78). Suppose h - 5 = o, 0 = 3*o + 4*h + 1. Does 8 divide o*(-1)/(9/j)?
False
Let b(n) = -n + 5. Let q be b(4). Let t(v) = v**2 + 4*v + 4. Let l be t(-4). Let p = q + l. Does 5 divide p?
True
Suppose -349 - 267 = -4*l. Suppose f + l = 2*w, 2*w + f - 30 - 116 = 0. Does 26 divide w?
False
Suppose 0*r = f + 5*r - 204, 444 = 2*f + r. Is f a multiple of 30?
False
Let i(y) = 2*y**2 - y - 1. Let v = 9 + -11. Is 6 a factor of i(v)?
False
Let g = 10 + -6. Suppose -n = -2*n + g. Is 2 a factor of n?
True
Let y(s) = 6*s**2 + 2*s**3 + s**2 - 3*s**3 - 10*s + 8. Let z be y(6). Let i = z + 32. Is i a multiple of 9?
False
Let f = -6 - -14. Is 8 a factor of f?
True
Let w(n) = 15*n + 6. Let k be w(6). Suppose z - y - 6 - 26 = 0, -k = -3*z + 2*y. Is 11 a factor of z?
False
Suppose -4*n - 35 = 6*s - 3*s, 0 = -3*n + 5*s - 19. Let o = n - -3. Let l(w) = -3*w + 5. Does 10 divide l(o)?
True
Suppose 3*p + 6*p - 378 = 0. Is 7 a factor of p?
True
Let c be (-16)/(-6) + 1/3. Suppose 16 = -0*k + k + 3*m, 2*k + c*m = 26. Does 4 divide k?
False
Let t = -5 - -5. Suppose 5*q = -t*q + 400. Is 22 a factor of q?
False
Let m = -27 + 117. Is 9 a factor of m?
True
Suppose -2*x + x - 2*s = -67, 2*x - 3*s - 134 = 0. Let z = x + -31. Is z a multiple of 9?
True
Let m = 86 - 42. Is 5 a factor of m?
False
Let g = 92 + 117. Is g a multiple of 14?
False
Let t(g) = -g**3 + 15*g**2 - 8*g + 11. Let u be t(14). Let z = u + -43. Is 13 a factor of z?
True
Let w(g) = -g**2 - 10*g + 20. Is w(-9) a multiple of 2?
False
Let q(s) = 2*s - 2 + 5*s + 4*s**2 - 9*s. Is q(-2) a multiple of 18?
True
Suppose -2*o + 7*o - 455 = 0. Suppose o = 2*w + 11. Is w a multiple of 10?
True
Suppose 20 = -4*z - 0*z, -z - 65 = -3*w. Does 6 divide w?
False
Let n(r) = 4*r. Let k be n(-1). Let m = k + 7. Suppose 3*g + 5*w + 73 = 5*g, -5*w = m*g - 47. Is g a multiple of 12?
True
Let v(g) = 2*g - 2 + 14*g + 7. Let u(j) = 48*j + 14. Let p(o) = 6*u(o) - 17*v(o). Does 19 divide p(3)?
False
Suppose 4*a - h = -a - 28, -4*a + 4*h - 16 = 0. Let n(k) = -k**3 - 5*k**2 - 6*k - 7. Let c be n(a). Suppose c = 4*r + r. Is 13 a factor of r?
True
Suppose -15 = 2*k - 3. Let v(i) = i**3 + 6*i**2 - 3*i + 2. Does 14 divide v(k)?
False
Let y = 6 + -3. Suppose 5*i = -2*q - 7, 4*q - y*i - 19 = -2*i. Suppose 0 = 3*a - 6, -13 - 63 = -2*o + q*a. Is o a multiple of 14?
True
Suppose -503 = -3*q - 4*y, 2*q + 2*y - 71 = 267. Is q a multiple of 37?
False
Let h = 9 - -7. Let b = 36 - h. Is b a multiple of 18?
False
Let b(l) = -l**3 + 9*l**2 + 6*l + 12. Does 13 divide b(9)?
False
Suppose -w + 2700 = 4*w. Suppose -3*m + w = -m. Is 5 a factor of m/33 - (-4)/(-22)?
False
Let m = 344 + -143. Is m a multiple of 22?
False
Let u(f) = -f**3 + 7*f**2 - 5*f - 7. Is 9 a factor of u(5)?
True
Let l = 136 + -76. Is l a multiple of 21?
False
Suppose 0 = -10*y - y + 2299. Is y a multiple of 16?
False
Let f be 1372/6 - 2/3. Suppose 2*z + l = 105, f = 5*z + 2*l - 35. Suppose 112 + z = 5*p. Is 14 a factor of p?
False
Suppose -5*o + 122 = 312. Let w = 58 + o. Does 10 divide w?
True
Suppose 8*l = 4*l + 20. Does 4 divide l?
False
Let y = 154 + -84. Is y a multiple of 25?
False
Suppose -5*v + 3*v = -354. Is v a multiple of 59?
True
Let i = 89 - 53. Is 13 a factor of 277/6 - 6/i?
False
Suppose t = -3*t + 12. Suppose -2*d - t*u - 3 = 34, 0 = -5*d - 2*u - 120. Let f = -18 - d. Is f a multiple of 8?
True
Let p = -21 - -35. Does 14 divide p?
True
Let i(n) = -n**3 - 5*n**2 + 6*n + 2. Let j be i(-6). Suppose 2*w = -j*w - 3*g + 174, -5*w = 4*g - 217. Does 12 divide w?
False
Let d be -48*(0 - (-4)/(-6)). Let k = d - 14. Let v = k + -2. Does 16 divide v?
True
Suppose -3*k = j - 63, 0*j + 2*j + 3*k - 138 = 0. Let h = -33 + j. Is h a multiple of 14?
True
Let r = -12 - -198. Suppose -3*x + r = -6*x. Let d = -31 - x. Does 11 divide d?
False
Let t = -217 + 1211. Suppose -3*a = t + 236. Does 7 divide a/(-25) - (-2)/(-5)?
False
Let j be (-4)/(12/(-9))*2. Let u(c) = 3*c - 12. Does 3 divide u(j)?
True
Suppose 22*a = 27*a + 15. Let s = a + 53. Is 13 a factor of s?
False
Suppose -4*g + 33 - 5 = 0. Suppose -3*a + 5 = -g. Suppose 4*w - 36 = -4*t + a, -2*t = -3*w - 30. Is 6 a factor of t?
True
Let r(y) = -38 + 38 + 27*y. Let m be r(2). Suppose 4*p = 2*p + m. Does 15 divide p?
False
Let l(z) = z + 7. Let t be l(-4). Let a = t - 0. Does 3 divide a?
True
Suppose -m - 6 = 2*m. Let u = m + 18. Is 6 a factor of u?
False
Let i(d) = -2*d - 8. Let r be i(-6). Suppose 0*t = -3*t - 15. Let x = r - t. Does 4 divide x?
False
Let y be (-6)/(-10)*(-1 - -6). Suppose -y*t + 8 + 22 = 0. Is 7 a factor of t?
False
Let t be (2 - -1) + 1 + 1. Let g be t/(15/9) + -1. Does 12 divide (-1)/(2/(-96)*g)?
True
Suppose -4*o = -20, -4*o + 22 = -k + o. Suppose 0 = -k*l - 5*c + 37, -3*c + 2*c + 5 = 0. Is l a multiple of 3?
False
Let r = -4 - 4. Let n(b) = -b**3 - 7*b**2 + 7*b - 7. Let j be n(r). Is j*(3 + -1)*9 a multiple of 18?
True
Let k be ((-180)/48)/(2/16). Let x = k + 44. Does 4 divide x?
False
Let k(m) = 5*m**2 - 2*m**2 - 3*m**2 - m**2. Let c be k(2). Is 5 a factor of (-10)/c*8/4?
True
Let r(w) = 2*w. Let i be r(-3). Let s be (-1 - 0)/((-1)/44). Is s/3 + (-2)/i a multiple of 15?
True
Let h(l) = 3*l**2 - 2*l**2 + 0*l**2. Let m be h(0). Suppose 3*r + 3*i = 12, -r - 2*i + 2 = -m*i. Is 6 a factor of r?
True
Let x = 1 + 11. Does 4 divide x?
True
Suppose -4*y = 5*x - 129, -4*y - x + 6*x = -79. Does 11 divide y?
False
Let w(s) = 6*s**2 - 14*s + 5. Let z(x) = x**2 - x. Let t(v) = -w(v) + 5*z(v). Let f be t(8). Suppose f*j - 4 = -d, -13 - 1 = -2*d - 3*j. Is d a multiple of 10?
True
Suppose -218 = -5*t - i, -2*t = -2*i + 3*i - 89. Suppose -3 = 3*v, 3*v = 3*y - t - 5. Is 8 a factor of y?
False
Let y(p) = p - 6. Let x be y(6). Let n(q) = 3*q**2 + 6*q + 8. Let k be n(-6). Suppose x*g = 5*g - k. Is g a multiple of 16?
True
Suppose 3*m + 2*m + 2*b = 53, 2*m = 5*b - 2. Let j = 1 + m. Does 5 divide j?
True
Let n be (-141)/(-27) - (-4)/(-18). Suppose 0 = n*g - 0*g - 145. Is g a multiple of 14?
False
Let k = -6 - -9. Is 5 a factor of 50/k + (-2)/(-6)?
False
Is 43/(-3)*(-26 - -23) a multiple of 6?
False
Suppose 0 = -3*r + 2*r. Suppose 2*t + 4*z - 4 = -r, 2 = 4*t + 2*z. Suppose t = -4*q + 136 + 32. Is 14 a factor of q?
True
Let i(b) = -b**3 - b**2 + b - 4. Let m be i(0). Does 16 divide (-222)/(-7) - m/14?
True
Is 12 a factor of (-6)/8 - 1029/(-28)?
True
Let x = 87 + -45. Is x a multiple of 4?
False
Suppose 4*f + 6 - 26 = 0. Suppose f*z - 3*z = 0. Let p = 7 - z. Is 7 a factor of p?
True
Let i(d) = d**2 + 5*d