ose 655 = 16*c - 145. Is c a multiple of 10?
True
Let d = -13 + 22. Does 4 divide d?
False
Let f(t) = t**2 + 11*t + 2. Let z be f(-11). Let b = z + 0. Suppose k - b = -1, -3*n + k = -86. Is n a multiple of 17?
False
Suppose -84 = -c + 4*x - 9*x, 5*x - 20 = 0. Is c a multiple of 16?
True
Is 27 a factor of 2/5 + 6440/25?
False
Let t(c) = c**3 - 13*c**2 + 13*c - 19. Is t(13) a multiple of 30?
True
Suppose 3*j - j = -5*p + 79, -3*j = 4*p - 115. Is 21 a factor of j?
False
Let d(a) = 42*a + 3 - 1 - 43*a. Does 9 divide d(-7)?
True
Let j = 20 - -13. Suppose 4*d + 0*c - j = -c, 5*d - 42 = -c. Is 3 a factor of d?
True
Let z(k) = k**3 - 15*k**2 + 8. Is z(15) a multiple of 3?
False
Let o(p) = p. Let h(n) = n - 1. Let w(k) = -5*h(k) + 4*o(k). Let v be w(0). Suppose 81 + 204 = v*d. Does 22 divide d?
False
Suppose -2*q + 3*r + 131 = 0, 5*q + 4*r - 402 = -86. Is q a multiple of 32?
True
Let z(b) = -b**3 - 11*b**2 - 7*b + 3. Let q be z(-11). Suppose q = 3*u + 4*d, -8*d + 4*d - 20 = -2*u. Suppose y + t - 35 = -y, -t = y - u. Is 15 a factor of y?
True
Let u = 186 + -131. Does 12 divide u?
False
Let o(i) = i**3 - 5*i**2 - 6*i + 2. Let k = 7 - 1. Let a be o(k). Is 13 a factor of (13/a)/(1/2)?
True
Let z(c) = -c**3 - 5*c**2 + 3*c. Let o be z(-5). Suppose -2*v - 2*v - 44 = 0. Let s = v - o. Is s a multiple of 3?
False
Let g(l) = l + 12. Let m be g(-6). Suppose 11 = m*o - 5*o. Is o a multiple of 2?
False
Does 10 divide (-337)/(-6) + 8/(-48)?
False
Let y(f) = -f**3 + 7*f**2 - 4*f + 8. Let k = 5 - -1. Does 8 divide y(k)?
False
Suppose 4*j - 987 = -3*j. Does 13 divide j?
False
Suppose -o = -6*o + 105. Does 5 divide o?
False
Let d = 17 + 19. Suppose -o = -0*o - 24. Suppose 5*f = o + d. Is f a multiple of 9?
False
Let f = -12 - -12. Suppose -t = -f*t - 43. Does 9 divide t?
False
Let y(d) = -5*d**2 + d + 2. Let u be y(-2). Let m = u + 36. Does 16 divide m?
True
Let n be (-140)/15 - (-2)/(-3). Does 4 divide (-4)/n + (-23)/(-5)?
False
Let g(d) = -d**2 - 5*d + 5. Let m be g(-6). Let i = 1 - m. Suppose -s - 34 = -i*s. Is s a multiple of 20?
False
Suppose d + 0*d - 142 = -4*q, 0 = 2*d - 4. Let h = 65 - q. Is 17 a factor of h?
False
Suppose -5*x + 57 = -3*p, -p - x - 11 = -0*p. Let z = 38 + p. Is 24 a factor of z?
True
Let o(h) = -h**3 + 13*h**2 - 12*h + 4. Does 16 divide o(11)?
False
Is (-1472)/(-56) - (-4)/(-14) a multiple of 6?
False
Suppose -10*g + 6*g + 136 = 0. Is 3 a factor of g?
False
Does 7 divide 32*(1/(-2) - -1)?
False
Let j(l) be the first derivative of 2*l**2 + 9*l + 3 + 1/4*l**4 + 8/3*l**3. Is j(-7) a multiple of 13?
False
Suppose -8 = -2*h + 212. Is h a multiple of 11?
True
Let g(f) = -f**3 + 6*f**2 + 7*f - 13. Is g(6) a multiple of 6?
False
Suppose 46 = u - 5*g, 5*u - 4*u + 5*g = 16. Is u a multiple of 4?
False
Let m be -3 + (-2)/(-2 + 0). Is 1/m*2 + 16 a multiple of 4?
False
Let s = -12 - -13. Suppose 0 = -d + s + 29. Is d a multiple of 10?
True
Let x(f) = f**2 + 1. Let w(h) = -4*h**2 + 13*h - 21. Let d(o) = -w(o) - 5*x(o). Suppose -3*q - 5*g + 3*g - 23 = 0, 0 = 5*q - 2*g + 65. Does 19 divide d(q)?
True
Suppose 0*i - 78 = -3*i. Suppose 0*w + i = 2*w. Is 4 a factor of w?
False
Suppose -l + 271 = 5*n - 353, -2*n = l - 249. Is 24 a factor of n?
False
Suppose 3*y + 10 + 17 = 0. Let p(u) = u**2 + 5*u + 13. Does 22 divide p(y)?
False
Let n(f) be the third derivative of 0*f - 7/6*f**3 + 3*f**2 + 0 - 1/12*f**4. Is n(-6) even?
False
Let r(v) = v**2 + 7*v + 11. Is 11 a factor of r(-7)?
True
Suppose 0 = 5*d + 1 - 46. Let v(q) = -q**3 + 10*q**2 - 8*q - 8. Let x be v(d). Suppose 7 = 2*f + x. Is f a multiple of 3?
True
Suppose 2*i - 4*o - 16 = o, -3*i + o + 24 = 0. Let b(h) = 2*h - 10. Let g be b(i). Suppose 4*k + g = 46. Is 10 a factor of k?
True
Let v(q) = -q**3 - 6*q**2 + 7*q + 3. Let g(w) = w**2 - 1. Let z(k) = 3*g(k) + v(k). Does 7 divide z(-5)?
False
Let b(c) = 97*c**2 - 2*c + 1. Let j be b(1). Suppose -j = -4*r + r. Is r/2*(-25)/(-20) a multiple of 10?
True
Let u(x) = x**3 + x + 14. Let b(k) = k**3 - 10*k**2 - 12*k + 11. Let d be b(11). Is u(d) a multiple of 14?
True
Let z be (315/10)/((-2)/(-4)). Suppose -5*a = -2*a - z. Is 7 a factor of a?
True
Suppose -i = 5*r - 691, -3*r + 2*i + 267 = -145. Is r a multiple of 44?
False
Suppose 4*v - 2*z - 8 = 0, -8 = -4*v - 3*z + 10. Is v even?
False
Let u = 3 - 1. Suppose 3*c = k - 4 + 7, -5*c - u*k + 5 = 0. Suppose h = c + 6. Does 5 divide h?
False
Let g be 2/4 + 25/2. Let w = g + -8. Suppose 5*m + 5*s = s + 116, 20 = 2*m - w*s. Is m a multiple of 10?
True
Suppose -2*r + 6*r - 20 = 0. Suppose 2*i + 1 = r. Suppose 0 = 2*p - 2*d - 40, -p + i*p - 2*d - 25 = 0. Is p a multiple of 8?
False
Suppose -r - 4*r = 35. Let p(b) be the second derivative of -b**3/6 + 7*b**2/2 - 2*b. Does 7 divide p(r)?
True
Let u(g) = 7*g**2 - 5*g + 30. Is 9 a factor of u(6)?
True
Let s(l) = -3*l**2 - 2*l - 2. Let o be s(3). Let v = -25 - o. Does 6 divide v?
False
Let y = 22 - 13. Let v be (-8)/3 + 6/y. Is 8 a factor of (-3)/v*28/2?
False
Let q(k) be the first derivative of -k**4/4 + 10*k**3/3 + 13*k**2/2 - 8*k + 3. Is 14 a factor of q(11)?
True
Suppose -2*c - 2*c - 80 = 0. Let z be (c/(-35))/(2/7). Let m = z + 1. Is m a multiple of 3?
True
Suppose v + 1 = 4. Let r(o) = 2*o**2 - 4*o + 4. Is r(v) a multiple of 5?
True
Suppose 2*x - 3*s + 13 = 0, -5*x + 25 = -0*x + 4*s. Suppose 4*k = -x + 13. Suppose 5*c = 20, -k*c = p + 2*p - 36. Is p a multiple of 8?
True
Let f = -16 + 9. Let o = f - -9. Is o even?
True
Suppose -21*i + 4*i + 5100 = 0. Is 15 a factor of i?
True
Suppose 2*j - 2*p = -4*p + 4, -p = -2*j - 2. Suppose -q - 5*m + 263 = 3*q, 5*m + 5 = j. Suppose 4*l + 5*x - q = 77, -4*l + 144 = -5*x. Is 12 a factor of l?
True
Let y(j) be the third derivative of -j**6/120 + 2*j**5/15 + j**4/24 + 5*j**3/6 - 3*j**2. Is y(8) a multiple of 8?
False
Let w be (4/14)/((-2)/(-14)). Suppose -3*d + 1 = -w. Is d - 1 - (-2 + -2) a multiple of 4?
True
Is (-32)/(-144) - (-230)/18 a multiple of 5?
False
Suppose -8*n = -3*n - 10. Suppose -18 = -k - n*d, 3*d - 12 = -3*k + 39. Is 16 a factor of k?
True
Suppose -3 + 9 = -2*h, -3*m - 3*h = -3. Suppose 154 = 3*b + 4*v + 56, m*b - v = 156. Is 19 a factor of b?
True
Let w = -15 - -26. Suppose -5*r - 7 - 3 = 0. Does 7 divide 229/w - r/11?
True
Let g = 3 + 0. Let p = 141 + -89. Suppose -8 = 2*d - 4*j - 34, 4*d - g*j - p = 0. Is d a multiple of 13?
True
Let h(z) = z**3 + 5*z**2 + z - 12. Let j(w) = -w**3 - 6*w**2 + 12. Let a(q) = -3*h(q) - 4*j(q). Let s be 0 + (-17 - 1)/2. Is a(s) a multiple of 11?
False
Let z(l) = -2*l**2 - 3*l. Let k be z(-2). Let h be 3/k*(1 + -3). Is 20 a factor of (-1)/1*(h + -23)?
True
Let v be -3 - (-3 + 2) - -6. Suppose v*r - 16 = -0*r. Let a(b) = -b**2 + 7*b - 5. Is 3 a factor of a(r)?
False
Suppose -4*h = -h - 18. Let t(g) = g + h*g + 0*g - 1. Is t(2) a multiple of 6?
False
Let q(y) = 9*y - 2. Let v be q(-3). Let d = v + -5. Let l = -15 - d. Is l a multiple of 12?
False
Suppose -3*w = -a + 50, -3*a + 0*a + 5*w = -166. Let r be 4/14 + 4/(-14). Suppose r = 2*c - 0*c - a. Does 12 divide c?
False
Is 3 a factor of (-2)/((2/4)/(55/(-10)))?
False
Suppose 0 = -w - 0*w + 4. Let p = w - -13. Is 6 a factor of p?
False
Let w(b) be the second derivative of b**4/3 + b**3/6 - b. Does 3 divide w(-1)?
True
Let l(m) = m**2 + 13*m + 16. Let n be l(-11). Let y(t) = t**3 + 7*t**2 + t - 5. Is 14 a factor of y(n)?
False
Let a = -13 + 5. Let y = 12 + a. Is 3 a factor of y?
False
Let h = 1 - -3. Let v(z) = -16 - h*z + 4 + 4*z - 3*z. Is 12 a factor of v(-9)?
False
Let v be 2/5 + (-24)/10. Let i be 10/(-4)*(v + 0). Suppose n = -i, p - 5*n - 43 = 18. Is 18 a factor of p?
True
Let s(n) = 299*n + 4. Is 34 a factor of s(1)?
False
Let q = 30 + -4. Is 19 a factor of q?
False
Let p = 86 - 61. Is p a multiple of 5?
True
Let d = -20 + 69. Does 15 divide d?
False
Suppose 3*p + 5*u - 31 = 0, -4*p + 9 = -7*p + 3*u. Suppose 9 = -2*g - g, -2*z + p*g = -46. Suppose -3*d = v - z - 6, -70 = -5*v - 3*d. Is 11 a factor of v?
True
Let n(q) = -q - 4. Let m be n(-6). Suppose -b - 3*f = 3*b - 4, m*f = 5*b - 28. Suppose 20 = v + b*d, 0*v + 2*v + 2*d - 16 = 0. Is v a multiple of 4?
True
Let n = 1 + -3. Does 7 divide ((-1)/n)/((-2)/(-80))?
False
Let k(f) = 8*f**3 + 4*f**2 + 4*f. Let o(j) = -16*j**3 - 7*j**2 - 7*j. Let w(y) = 5*k(y) + 3*o(y). Let n = 0 - 1. Is w(n) 