5*o, -32 = 4*t + t + 2*o. Let y(k) = k**2 + 3*k + 11. Is 14 a factor of y(t)?
False
Let s(v) = 5*v**3 + v + 3 - 2*v**3 + 2*v**2 - 4. Does 11 divide s(2)?
True
Suppose -279 = -5*w + 501. Suppose -w = -5*s + 14. Is s a multiple of 16?
False
Suppose -3*t + 2*t + o = -52, -3*o - 252 = -5*t. Does 16 divide t?
True
Suppose -3*z + 12 = -2*z. Let g be (1 - 0)*0*-1. Suppose g = -s - 0 + z. Is 4 a factor of s?
True
Let w(s) = s - 9. Let g be w(7). Let j(f) = f**2 - f - 1. Is j(g) a multiple of 2?
False
Let l(q) = -4*q**3 - 7*q**2 - 3*q + 4. Is l(-4) a multiple of 16?
True
Let m(j) be the first derivative of 3/2*j**2 - 9*j + 7/3*j**3 - 1 - 1/4*j**4. Does 6 divide m(7)?
True
Suppose 6 = -0*d - 2*d. Let y be (1/d)/((-1)/27). Let n = -5 + y. Is n a multiple of 2?
True
Is 1 + 2 - (-570)/6 - 0 a multiple of 7?
True
Let m = -5 - -50. Does 12 divide m?
False
Suppose -2*b - 19 = -3*b. Suppose -c + s - b = -50, 0 = -3*c - 2*s + 93. Is c a multiple of 12?
False
Suppose 0*a + 14 = -2*a. Let w = -6 - a. Is 2/1 - (-8)/w a multiple of 10?
True
Let g be 36 - -1*(1 - -2). Let d = 66 - g. Is d a multiple of 9?
True
Let k(j) be the first derivative of -j**4/4 - 5*j**3/3 - j**2/2 - 3*j - 2. Let i be k(-6). Suppose 0 = z + 2*z - i. Is z a multiple of 10?
False
Is 2 a factor of (8/(-6) + 2)*6?
True
Is 7 a factor of (-7 + 8)/(1/29)?
False
Suppose 4*a + 368 = 2*u, -4*u + 3*a = 4*a - 691. Is u a multiple of 29?
True
Suppose -g - g = 12. Suppose 0*k + 4 = 2*k. Does 4 divide k/(1*(-3)/g)?
True
Let q(k) = -k**3 - 6*k**2 - 4. Let s be q(-6). Let r = 1 + 11. Let b = r - s. Does 10 divide b?
False
Let s(y) = -2*y**3 + y + 3*y**3 + y**2 + 3 + 0*y + 17. Let a be s(0). Suppose -2*g + a = 3*g. Is g a multiple of 2?
True
Let h(p) = -p**3 - p + 20. Let g = 8 - 8. Is 10 a factor of h(g)?
True
Let a(y) = 34*y - 4 - 21*y + 4*y**2 - 15*y. Suppose 0 = -3*c - 0*c + 9. Is a(c) a multiple of 13?
True
Let j be (-4)/((-1)/1)*1. Suppose 114 - 26 = j*v. Is 9 a factor of v?
False
Let x = 24 - -3. Suppose 0 = u - x - 13. Is 20 a factor of u?
True
Suppose 3*k - 5 = 1. Is 19 a factor of 91 - (k + -1) - 0?
False
Let r(p) = -8*p + 5. Let f(i) = i + 1. Let y be (4/(-6))/(1/(-3)). Let m(a) = y*f(a) - r(a). Is 17 a factor of m(2)?
True
Suppose -5*a = -3*a - 4. Suppose a*w = 16 + 20. Suppose -4*f + w = -f. Is f a multiple of 6?
True
Suppose 5*b - 116 = -296. Let r = 79 + 195. Is 5 a factor of 8/b - r/(-18)?
True
Is 10 a factor of -40*(-1 + (-3)/(-6))?
True
Let s = 7 + -5. Suppose 3*r - 10 = s. Is r even?
True
Suppose -r + 4 = -3*r. Let d = r - -7. Suppose d*j - 118 = 107. Is j a multiple of 11?
False
Let w = 9 - 1. Suppose -100 = 3*i - w*i. Is i a multiple of 10?
True
Suppose z = -5*v + v + 114, 4*v - 102 = 5*z. Is 28 a factor of v?
True
Let z(i) be the third derivative of -i**6/120 + 11*i**5/60 + i**4/12 + 3*i**3/2 - 5*i**2. Suppose 4*v - 39 = 5. Is z(v) a multiple of 19?
False
Let j(k) = -13*k - 18. Is 16 a factor of j(-10)?
True
Let p = 8 + -8. Suppose p = -g + 6*g - c - 52, g = -c + 14. Is g even?
False
Suppose 5*c - 20 = 3*q, -4*c - c - 3*q - 10 = 0. Does 15 divide (c - (-2 - 73))/2?
False
Suppose 0*f + f + 4*t = -3, 5*t + 5 = -f. Suppose 3*r - 1 = f. Is r + (-2)/2 + 3 a multiple of 4?
True
Is 2/(-6)*11*-18 a multiple of 22?
True
Suppose 0*c - 80 = -4*c. Does 10 divide c?
True
Is (3 - 1) + (11 - -26) a multiple of 15?
False
Let d = -66 - -15. Is 12 a factor of -1 - (d + 0)/3?
False
Suppose 0*y + 160 = 2*y. Does 9 divide y?
False
Let j(v) be the first derivative of -v**4/4 + v**3/3 + 2*v + 2. Is 2 a factor of j(0)?
True
Let o = -111 - -199. Is o a multiple of 39?
False
Let c(b) = -b**3 - 5*b**2 + 7*b + 5. Let r be c(-7). Let v = -27 + r. Is v a multiple of 15?
False
Let h(r) = -2*r**3 - r**2 + 4*r - 1. Let f be h(-3). Suppose 5*j - 2*p + 3 = -5*p, -4*j = -5*p + f. Is 12 a factor of 94/8 + j/(-12)?
True
Let z(g) = -g**3 - 10*g**2 + 21*g - 2. Is 5 a factor of z(-12)?
False
Is 8 a factor of (-12)/(-60) + (-1 - 438/(-10))?
False
Let m(t) = -t**3 - 5*t**2 - t - 2. Suppose -4*j - 24 = 4*v, 5*j + 2*v = 5*v - 22. Let s be m(j). Suppose 0 = 2*y + s*y - 340. Does 25 divide y?
False
Let i = -105 - -51. Is i/(-10) - (-2)/(-5) even?
False
Let y(x) = -2*x**2 + 6*x + 6. Let p be y(5). Let g(m) = 7*m**2 - 4*m + 3. Let f be g(2). Let i = f + p. Is 9 a factor of i?
True
Let q be 2*((-6)/3 - -4). Suppose 12 = 4*l - w, 3*l - 2*w = -q + 13. Suppose 4*r - 59 = -l. Does 8 divide r?
False
Suppose -3*y + 5 = 2. Let s(i) be the first derivative of 14*i**3/3 + i**2/2 + 9. Is s(y) a multiple of 6?
False
Let b(u) be the third derivative of -u**5/60 + 17*u**4/24 - u**3/3 + 6*u**2. Is 25 a factor of b(14)?
False
Suppose 0 = -8*p + 3*p + 4*t, 2*p + t = -13. Is (-2)/p*(-48)/(-2) a multiple of 12?
True
Let n(r) = r + 2. Let z be n(8). Let y be 6/z - (-124)/10. Let h = 31 - y. Is h a multiple of 18?
True
Suppose 3*s - 212 - 143 = -5*h, 2*s - 2*h = 258. Does 20 divide s?
False
Let w(f) = f + 4. Is w(4) a multiple of 4?
True
Suppose -152 = -4*i - 5*c, -4*i - 3*c + 156 = c. Does 4 divide i?
False
Let g(c) be the second derivative of c**4/12 - c**3/6 + 16*c**2 - 4*c. Is g(0) a multiple of 18?
False
Let n = -9 + 31. Suppose 0 = -4*y - n + 54. Is 8 a factor of y?
True
Let z(h) = h**3 - 4*h - 1. Let g be z(5). Suppose 0 = 2*k - 0*k + 4*x - g, -4*k + 218 = -2*x. Is k a multiple of 15?
False
Let f = 235 + -137. Is f a multiple of 25?
False
Let o be (-3 + -1)*(-1)/(-2). Let b be (o - (69 - -2))/1. Let g = -36 - b. Does 15 divide g?
False
Let z(u) = u**2 + u + 29. Let h = 5 + -5. Let b be z(h). Suppose 4*i - b - 55 = 0. Is 14 a factor of i?
False
Let m be (-5)/(-2)*6/5. Suppose -m*c + 0*c = -60. Let u = c - 11. Is 4 a factor of u?
False
Let m(v) = v - 3. Let t be m(7). Suppose -o - t = -14. Is 5 a factor of o?
True
Suppose 6*u - 15 = u. Suppose -f - 450 = -u*f. Suppose 2*q + 49 = z, -5*z = q - 6*q - f. Does 11 divide z?
False
Suppose 4*j = -6*t + 3*t - 83, 3*j + 84 = -3*t. Let q = -7 - t. Is 12 a factor of q?
False
Let k be ((-2)/(-3))/((-2)/3). Let c be 6*k/2*-1. Is 1/(c/15*1) a multiple of 5?
True
Suppose 3*y = -b + 60 - 6, 2*y = -b + 56. Does 5 divide b?
True
Does 18 divide (-1)/5 - 271/(-5)?
True
Suppose 0*m + 6*m - 30 = 0. Suppose 0 = -3*h - 5*u + 16, h - 3*u = 1 - 5. Suppose -h*z + 43 = g - 5*z, -4*z - 160 = -m*g. Is 13 a factor of g?
False
Let x(m) = 3*m**2 - m. Let i be x(1). Suppose -n + 2*u + 12 = 0, -3*n + 4*u - i = -42. Does 16 divide n?
True
Let b be (3/(-2))/((-6)/16). Is 11 a factor of ((-5)/b)/((-4)/176)?
True
Let n = -51 - -201. Is n a multiple of 25?
True
Suppose -d - 4 = 3*d. Is 13 a factor of (d + -1)/((-8)/52)?
True
Suppose -a + 5*d + 102 = 0, -a - a + 4*d = -180. Suppose 6*s - a = 4*s. Does 10 divide s?
False
Let n(v) = v**2 - 4*v + 1. Is 11 a factor of n(9)?
False
Suppose -2*p + 233 = 59. Is p a multiple of 10?
False
Let p = -2 + -1. Suppose -4*a - 2*l = -4*l + 96, 2*a + l = -44. Let m = p - a. Does 20 divide m?
True
Let z = -37 + 54. Is z a multiple of 3?
False
Let i = -15 + 36. Is 7 a factor of i?
True
Does 18 divide 254/6 - 16/(-24)?
False
Suppose 2*n - 3*n = 2*c - 33, 0 = c - 5*n. Is 174/c + 10/25 a multiple of 6?
True
Suppose -40 = -5*t - 2*s, -4*s + s + 35 = 5*t. Does 6 divide t?
False
Let k be ((-18)/(-15))/((-4)/(-10)). Suppose 0 = -z - k*z + 64. Does 6 divide (-1)/4 + 196/z?
True
Suppose -s + 2*s = 2. Is 5 a factor of (342/(-27))/(s/(-3))?
False
Suppose 0*m + 4*m + 2*y - 46 = 0, 4*m - 51 = -3*y. Suppose 0 = -3*t - 2*t - 20. Let a = m + t. Does 3 divide a?
False
Suppose 62 + 93 = -b. Let o be b/(-15) - 2/(-3). Suppose d - o + 4 = 0. Is 3 a factor of d?
False
Suppose -3 = -4*g + 21. Let s = 8 - g. Suppose s*x - 3*x + 30 = 0. Does 9 divide x?
False
Let p be -1 + -2 - (-1 + 0). Does 14 divide 212/8 - (-1)/p?
False
Let q(f) = f**3 - 4*f**2 + 2*f + 4. Is q(4) a multiple of 6?
True
Let x(z) = -48*z + 12. Does 33 divide x(-3)?
False
Suppose -2*c - 4 = -4*c. Suppose 0 = -4*t + 2*i + 24, 5*t - c*i = -11 + 40. Suppose -t*m - 108 = -4*s, 3*s + 5*m - 50 = m. Is s a multiple of 11?
True
Let k(l) = -22*l - 7. Let c be k(-2). Let q = -28 + c. Is q a multiple of 5?
False
Suppose 4*m = -22 + 2. Let b be 9/2*(1 + m). Is (-122)/b - (-8)/36 a multiple of 7?
True
Let r be (-2)/(-4) + (-54)/(-12). Suppose 2*l = -2*m + 40, 3*l + l - 75 = -