 b = 13 + 0. Let f = b - 8. Is f a multiple of 5?
True
Let n(v) = 11*v - 22. Is n(5) a multiple of 15?
False
Let o be 36/8*(-92)/6. Suppose -3*m = -2*y - 24 + 223, 0 = 5*y - 5*m - 510. Let p = o + y. Is 18 a factor of p?
False
Let r = -130 + 132. Is r a multiple of 2?
True
Suppose -14*q + 1703 = -q. Does 23 divide q?
False
Suppose 4*n + 2*f + 22 = 5*n, -3*n + 46 = -2*f. Suppose x = -x - n. Let y(g) = g**3 + 5*g**2 - 6*g + 8. Is y(x) a multiple of 4?
True
Let x be 123/11 - (-8)/(-44). Let t = -7 + x. Does 3 divide t?
False
Let x(u) = -u**3 + 9*u. Does 6 divide x(-4)?
False
Suppose -y = y - 4. Suppose -8 = -y*q + 14. Is 5 a factor of q?
False
Let f = 10 + -7. Suppose 5*z = -0*n + 2*n - 66, 2*n - f*z - 62 = 0. Does 9 divide n?
False
Suppose 32 = 3*d - 7. Is 13 a factor of d?
True
Suppose 6*l + 53 = 7*l. Does 18 divide l?
False
Let o be 0 - 8/4 - 0. Let t(q) = q**2 - 2. Let n be t(2). Is o*(n/(-4) - 1) a multiple of 3?
True
Let x = 9 + -5. Let w(u) = -u. Let s be w(x). Does 4 divide 15*1*s/(-10)?
False
Suppose 2*f - 29 = 7. Let q be (-2)/f*-3*30. Suppose -3*x + 17 = -q. Is 3 a factor of x?
True
Let i(u) be the second derivative of -u**4/12 - u**3 + u**2 - u. Let w be i(-6). Suppose c = w*c - 5. Is c a multiple of 2?
False
Suppose 3 = 3*r - 5*s + 7, 8 = 4*s. Let l = r - 0. Is 6 a factor of (l/3)/((-4)/(-54))?
False
Suppose h + 2*h - 4*z = 263, 2*z + 10 = 0. Is 9 a factor of h?
True
Let o(z) = 13*z**2 - 20*z + 9. Does 39 divide o(5)?
True
Suppose 0 = -3*q + 4*i - 14, 4*q - i = -2*i - 25. Let k be 4/((-8)/(-58)) + 0. Let a = q + k. Is 23 a factor of a?
True
Suppose 5*l + 63 = -17. Let s = l - -22. Is 2*(9/s + 1) a multiple of 5?
True
Let t = 3 + 0. Suppose i + 9 = 4*b, -3*i = -t*b - 0*b. Suppose -61 = -i*r + 4*o, -5*r + 3*o - o = -97. Does 19 divide r?
True
Let v(d) = d**2 - 10*d - 11. Is 18 a factor of v(-7)?
True
Let w(y) = -9*y + 6. Suppose 8 = -3*u - 4. Is 14 a factor of w(u)?
True
Let d = 8 + -7. Let j(q) = -6 - 9*q + 1 - d. Does 9 divide j(-4)?
False
Let g(m) = -m**3 + 6*m**2 + 5*m + 6. Is 14 a factor of g(5)?
True
Let h(g) = -8*g - 6. Does 14 divide h(-3)?
False
Let o(q) be the third derivative of q**4/6 - 3*q**2. Is 4 a factor of o(4)?
True
Let y be 1/(-1)*1*1. Is 2 a factor of (-6 - y)/(4 - 5)?
False
Suppose 0 = -i + 2*i - 6. Let f(z) = z**3 - 6*z**2 + 5*z - 5. Is f(i) a multiple of 12?
False
Suppose -9*h + 4*h = -75. Does 11 divide h?
False
Let j = -24 + 48. Is 8 a factor of j?
True
Suppose 0 = 4*z - 52 - 4. Suppose 2*w = w + z. Suppose 5*s = 89 - w. Is 15 a factor of s?
True
Let t be ((-1)/(-3))/((-1)/(-9)). Suppose -q = t*w - 6, 0 = -4*w + 8 + 4. Let n = 12 + q. Is 9 a factor of n?
True
Let p = -5 - -13. Let v(a) = a**3 - 7*a**2 - 7*a + 6. Is v(p) a multiple of 14?
True
Suppose 0*o + o - 6 = 0. Let u(y) = -y + 4. Let s be u(o). Does 8 divide s/(60/33 - 2)?
False
Suppose 2*x - 3*x = 26. Let m = -17 - x. Does 3 divide m?
True
Let a be -4*66/4*-1. Let s = a + -31. Is 3/6*(s + 1) a multiple of 17?
False
Let y(c) = 2*c**2 - 4*c + 14. Does 30 divide y(4)?
True
Let m = -92 - -167. Suppose 6*w = w + m. Is 55/w - (-2)/6 a multiple of 3?
False
Let h = 4 + 3. Let q = h + 8. Is q a multiple of 15?
True
Let f(q) be the third derivative of -q**5/12 + q**4/6 + 2*q**2. Let u(d) = -6*d**2 + 5*d. Let x(v) = -5*f(v) + 4*u(v). Is x(-4) a multiple of 8?
True
Let t(m) be the second derivative of 0 + 1/3*m**3 - 1/3*m**4 + 3*m + 3/10*m**5 + 0*m**2. Is 18 a factor of t(2)?
True
Let b be ((-7)/3)/((-5)/(-15)). Let s(d) = -d + 3. Is 10 a factor of s(b)?
True
Let b(v) = v**3 - 7*v**2 - 7*v - 5. Let u be b(8). Suppose 0 = -u*o + 3*g + 15, -g = 2*g + 3. Is 4 a factor of o?
True
Let h be 4/6 - 98/(-6). Suppose 0 = -d - k + 23, d - k = -4*k + h. Is 13 a factor of d?
True
Let h be (6/4)/(1/24). Does 6 divide h/(-3)*(-1)/2?
True
Let i(y) be the third derivative of 13*y**5/60 + y**4/24 + 3*y**2. Is 12 a factor of i(-1)?
True
Let k(d) = 38*d**2 - 2*d - 1. Let v be k(-1). Suppose 24 = 3*f - v. Suppose m = -l + 9, -2*l = -5*m - l + f. Is m a multiple of 3?
False
Let i(s) = -s**2 - 9*s. Let m be i(-9). Suppose -19 = -n - m*n. Does 12 divide n?
False
Suppose -2*k - 5*x + 104 = -0*k, 5*k = 2*x + 231. Does 47 divide k?
True
Let l be 4 + (-292)/12*-3. Let b = l + -46. Does 31 divide b?
True
Suppose -4*n + f - 3*f = -14, 3*n = -2*f + 11. Suppose 243 = n*v - 0*v. Is v a multiple of 27?
True
Let g = -12 - -16. Let i = g - -12. Does 5 divide i?
False
Suppose -3*n + 2*n - 23 = 0. Suppose 5*r - r = -172. Let t = n - r. Is t a multiple of 10?
True
Let c(f) = -31*f + 1. Let u be c(-1). Let m be (-4)/(-5)*(-20)/(-8). Does 9 divide (m*1)/(2/u)?
False
Let r be -2 + -1*9 + 2. Let p = -6 - r. Suppose -f - p = 1, 0 = -4*k - 5*f + 36. Does 12 divide k?
False
Let l be 2 - 0/(2*-1). Let a be (-2)/4*(0 - l). Suppose 4*s + a = g + s, -5*s + 20 = 0. Is g a multiple of 13?
True
Let d = -47 - -50. Is 2 a factor of d?
False
Is (1 + -2 + 12)/((-27)/(-27)) a multiple of 11?
True
Suppose 30 = 3*q + 3. Suppose -2*n = 4*z - 5*z - q, z + 18 = 5*n. Suppose -n*f = m - 3, 8 = -2*f + 2. Is 6 a factor of m?
True
Let a(k) = -2*k - 8. Let u be a(-3). Is 13 a factor of (752/(-40))/(u/5)?
False
Suppose c + 3*c - m - 18 = 0, -4*c + 2*m + 20 = 0. Suppose 0 = c*d + 20, 4*s + 5*d - 105 = -6. Does 11 divide s?
False
Suppose 0 = -5*l + 5, 4*l + l - 95 = 3*y. Let g be (9/(-6))/(9/y). Suppose -56 = -3*a + a + 2*x, 2*a - g*x = 71. Is 17 a factor of a?
False
Let l be (-88)/(-32) + 2/8. Let h(j) = j**3 - 2*j**2 - j + 1. Is h(l) even?
False
Suppose -3*i + 1 = -35. Let h be 4/18 + 140/18. Suppose 0 = -t - 2*w + i, 20 = t - 2*w - h. Is 17 a factor of t?
False
Suppose -2*i - 219 = i. Let p = i + 167. Is 25 a factor of p?
False
Let a be -1 + -8 + 5 + 4 + -2. Let y(r) = -14*r**2 + r. Let n be y(-1). Is 13 a factor of -2 - (a + 2 + n)?
True
Let x be (5/(-2)*2)/1. Let h be 1/x + (-155)/(-25). Let n = 8 - h. Is 2 a factor of n?
True
Let q(a) = 2*a**2 - 10*a - 4. Let j be q(9). Suppose 3*v - 22 - j = 0. Does 26 divide v?
False
Let h = 17 + -9. Does 3 divide h?
False
Suppose -3*y - 4*c - 24 = 0, -y - 3*c - 29 = 4*y. Is 22 a factor of 29*(-3)/y*4?
False
Let z = -47 + 34. Let j = 35 + z. Does 7 divide j?
False
Let u = 27 - 17. Suppose 0 = -3*k + u - 145. Let q = k + 66. Is 15 a factor of q?
False
Suppose 270 = -0*v + 6*v. Is 5 a factor of v?
True
Suppose 2 = -3*r + 8. Let d(s) = 8*s**r + 5*s - 5*s. Is 8 a factor of d(-1)?
True
Let j(q) = -q**3 - 4*q**2 - 5*q - 3. Let s be j(-3). Suppose -c + 74 - 19 = 5*f, 46 = s*f - 2*c. Does 2 divide f?
True
Let d be 54/((6 - 3) + -1). Does 13 divide d + 5/(20/(-12))?
False
Let d(p) = 3*p**2 - 4*p + 1. Let q be d(5). Let w = q + -30. Is w a multiple of 13?
True
Let i(z) = 2*z**2 + 9*z - 6. Is 25 a factor of i(-9)?
True
Let o be 2/4 - (-42)/(-12). Does 12 divide (8/(-4) + -2)*o?
True
Suppose 0 = 5*w + 3*p - 310, -2*w + 93 = -2*p - 3*p. Let k = 22 + w. Suppose 3*j - 4*a - 27 = 2*j, 0 = -5*j + 2*a + k. Is j a multiple of 13?
False
Suppose 2*y - 24 = -2*y. Let m(v) = -1 + 0 + v + 3. Is 5 a factor of m(y)?
False
Let d(g) = 8*g - 1. Let y be d(-2). Let m = 79 - 40. Let h = y + m. Is h a multiple of 22?
True
Let w = 19 - 25. Is 10 a factor of -2*w/4 + 27?
True
Let n = 2 + 8. Let q = -3 + n. Is q a multiple of 3?
False
Is 4 a factor of (-4)/6 + 8/3 + 26?
True
Let c(p) = -p**3 - 11*p**2 - 12*p - 9. Let o be c(-10). Let n = o - -4. Is n a multiple of 5?
True
Let n(x) = x**3 + 7*x**2 + 6*x + 1. Let v be n(-6). Let r be 3/(3/v) + 3. Suppose -5*d = -r*t - 94, -4*d + 4*t = -26 - 46. Is 11 a factor of d?
True
Suppose -2*a = 3*j - 39, 0*a - 2*a + 4*j + 18 = 0. Is a a multiple of 7?
False
Let z(o) be the first derivative of -3*o**2 + o + 2 - o - 5*o. Is 8 a factor of z(-4)?
False
Suppose -2*u - 710 = -7*u. Suppose -n = 3*l + n - u, 4*l - 186 = -n. Is 23 a factor of l?
True
Let l(m) = -m**2 - 2*m + 3. Let c be l(-4). Is 56/(-10)*c/2 a multiple of 5?
False
Suppose -4*u + u - 168 = 0. Let q = u - -82. Is 13 a factor of q?
True
Let s = 31 - 29. Is s a multiple of 2?
True
Let n(q) = -q**3 - 3*q**2 - 2*q - 2. Let o be n(-3). Suppose -281 = o*k + 3*l, 2*l + 82 = 3*k + 314. Is -2 - k/(5 + -3) a multiple of 14?
False
Let b = -35 - -43. Is b a multiple of 6?
False
Is -3*(508/(-6) + -1) a multiple of 7?
False
Let z(j) = -j**3 + 