+ l. Does 17 divide x(s)?
True
Let d(f) = -9*f**3 + 4*f**2 + 8*f - 3. Does 44 divide d(-3)?
False
Let r(t) = 58*t**3 - t + 0*t - 16*t**3. Suppose 0 = -2*y + 4*m - 6, -2*m + 6 = 3*y - 1. Is 15 a factor of r(y)?
False
Let s = 1 - -6. Let i(b) = 5 + 2*b + 0*b + 5*b - 2*b. Is i(s) a multiple of 20?
True
Let p(g) = g**2 - 2*g + 8. Let x = 1 + 5. Does 16 divide p(x)?
True
Let k = 1 - 1. Let i(d) be the third derivative of d**4/24 + 5*d**3/6 + 5*d**2. Does 5 divide i(k)?
True
Is 0/(-11) + -1 + 34 a multiple of 11?
True
Let c(n) = n**2 + 6*n - 8. Let a be c(-10). Suppose 2*y - 4*g + 5*g = a, 2 = -g. Is 8 a factor of y?
False
Let v be 4/6 + 223/3. Does 11 divide 10/35 - v/(-7)?
True
Let f be 92/16 - 1/(-4). Let m(z) = -z**3 + z**2 + z - 1. Let j(y) = -2*y**3 - 5*y**2 + 9*y. Let w(s) = -j(s) + 3*m(s). Is 14 a factor of w(f)?
False
Suppose -v = -0 - 2. Suppose v*q - 39 = 53. Is q a multiple of 12?
False
Let q(r) = -7*r + 2. Is q(-6) a multiple of 11?
True
Suppose 13 = -5*w + 298. Does 19 divide w?
True
Let v(q) = 9*q**3 + q + 1. Let o be v(-1). Let p = 12 + o. Suppose -2*j + 15 = p*j. Does 3 divide j?
True
Suppose -7*p + 728 = -3*p. Is 14 a factor of p?
True
Let p(k) = -5*k**3 + k**2 + 2*k. Does 20 divide p(-2)?
True
Let b be (-4)/(-18) + 114/(-27). Is 11 a factor of (-9)/12 + (-87)/b?
False
Let r = 11 + -3. Suppose -3*o + 4*o = 0. Suppose -3*t + 2*t + r = o. Does 8 divide t?
True
Suppose 0 = -2*j - 26 + 100. Suppose 0 = -c - 1 + j. Is c a multiple of 12?
True
Suppose -5*o + 24 = -11*o. Let v = 8 - 2. Let q = v + o. Is q even?
True
Suppose 0*d + d - 12 = 0. Let b = d - -5. Is 17 a factor of b?
True
Let p(o) = 3*o**2 + 4*o - 5. Let y(c) = c**2 - 6*c + 1. Let a be y(5). Is 10 a factor of p(a)?
False
Let q = 11 - -28. Suppose -3*k - 3*d = -q, -4*k + 46 = 5*d - 4. Is ((-54)/k)/((-6)/15) a multiple of 4?
False
Suppose -6 = -3*v - 0. Suppose -v*w = -w - 6. Is 2 a factor of w?
True
Let k(p) = 39*p - 1. Let s(t) = -6 - 6*t - 6*t**2 - 3*t**3 + 3*t**3 + t**3. Let a be s(7). Is 18 a factor of k(a)?
False
Let b(f) be the first derivative of -f**4/4 + 7*f**3/3 + 5*f**2/2 - 7*f + 1. Let s be b(8). Let u = -11 - s. Is u a multiple of 10?
True
Let y = 8 - 3. Let k(q) = -q**3 - 5*q**2 + 6*q + 2. Let t be k(-6). Suppose y*v - t*v - 75 = 0. Does 13 divide v?
False
Let v = 222 + -92. Is v a multiple of 13?
True
Suppose 0*q - 3*v + 22 = q, 0 = -3*q - 5*v + 74. Is q a multiple of 7?
True
Suppose -5*r + 3*f - 7*f - 63 = 0, 0 = -f + 3. Let k = 16 - r. Is 6 a factor of k?
False
Let m(q) = q**3 + 7*q**2 + 5*q + 2. Let f be m(-6). Suppose 4*k + 4*d - 28 + f = 0, 3*k + 5 = d. Suppose 0 = r - 5, 3*r + k = 2*o - 61. Is 12 a factor of o?
False
Let o = -2 - -5. Suppose -l - f + 15 = 0, 2*l + f - 67 = -o*l. Is l a multiple of 6?
False
Suppose 0*n - 2 = -n. Is 5/n*(-64)/(-40) a multiple of 4?
True
Suppose 2*u + 2*u - 36 = 0. Let m(j) = -j**3 + 8*j**2 + 14*j - 13. Is m(u) a multiple of 16?
True
Suppose -2*z + 170 = 4*s, -3*s = 3*z - 7*z - 122. Is s a multiple of 21?
True
Let w be 40/(4/((-48)/(-3))). Suppose -5*p - 4*s + w = s, 3*s + 40 = p. Does 34 divide p?
True
Suppose 85 - 31 = 3*m. Suppose m = -4*f + 6*f. Is 5 a factor of f?
False
Suppose 16 = -2*d - 34. Let f = -15 - d. Is 10 a factor of f?
True
Suppose 4 = -5*g + 4*b - 2*b, -b = -g + 1. Let k = g - -6. Is ((-6)/k)/(9/(-132)) a multiple of 11?
True
Suppose 8 = a + 3*a. Let n(d) = -d**3 + 9*d**2 - d - 2. Let q be n(4). Suppose -4*p - q = -5*k, a*k - 26 = -2*p - 0*p. Is 7 a factor of k?
True
Let m(n) be the third derivative of n**5/20 + 7*n**4/24 - n**3/6 - n**2. Let l be m(-6). Let r = l + -31. Does 18 divide r?
False
Let w(a) = -a + 3*a + 1 - a. Let g be w(-3). Is 9 a factor of ((-1)/g)/((-5)/(-180))?
True
Let j = 49 - 9. Is j a multiple of 13?
False
Let a(t) = 2*t**2 + 5*t - 12. Is 5 a factor of a(-6)?
True
Let k(p) = -p**3 + 6*p**2 + 6. Let c be k(6). Suppose -2*g - g + c = 0. Suppose -g*t - 3*d + 12 = d, 62 = 3*t - 5*d. Does 12 divide t?
False
Suppose -3*l = -4*l + 10. Is l even?
True
Let d = 99 + 81. Does 10 divide d?
True
Let o be (-2)/(-1) + -2 - 82. Let v be (-2)/(-3) - o/3. Suppose -a = -3*t - 14, -t - v = -2*a + t. Is a a multiple of 14?
True
Suppose 156 - 41 = 5*x - m, -5*x + 130 = 2*m. Suppose 88 = -0*f + 3*f + 4*h, -f = 4*h - x. Is f a multiple of 16?
True
Let z(s) = -s**3 - 5*s**2 - 4*s - 2. Let l be z(-4). Let q be l + (0 - -2) + -4. Does 6 divide (-50)/q*4/5?
False
Let j be ((-4)/8)/((-2)/4). Let w be -2 - j*(0 + -1). Let z(h) = -14*h**3 + h**2 + h. Does 14 divide z(w)?
True
Suppose 5*r - s - 44 = -16, -5*r = -2*s - 31. Suppose -r = 4*i - 49. Is i a multiple of 9?
False
Let p(t) = -t**3 + 8*t**2 + 9*t + 1. Let v be p(9). Let x(d) = d**3 + d - 42. Let l be x(0). Is v/(1/l*-3) a multiple of 8?
False
Let p = 526 + -237. Is 16 a factor of p?
False
Let y = 5 + -1. Suppose -3*n = y*l - 7, 5*l - 4*n - 14 = 18. Does 3 divide l?
False
Let u = 66 + 39. Let i = -50 + u. Is 19 a factor of i?
False
Let q = -30 - -93. Is 13 a factor of q?
False
Let s be 8/28 + 1035/(-21). Let p = -16 - s. Is p a multiple of 11?
True
Let o(g) = -53 + 53 - g + 18*g**2. Let y be o(1). Is 9 a factor of 1 - 3 - -1*y?
False
Let l(v) = -17*v - 1. Let j = 1 + 0. Let y be l(j). Let o = -1 - y. Does 14 divide o?
False
Let m(h) = 3*h + 3. Let n(t) = -2*t - 2. Let x(b) = 4*m(b) + 9*n(b). Does 21 divide x(-7)?
False
Let o = 28 + -20. Let p be 0*(o/6 + -1). Suppose -4*t + 4*u + 288 = p, 4 = 3*u + 13. Does 24 divide t?
False
Suppose -4*x - v + 4 = -1, 5*x - 10 = -2*v. Suppose -3*z + 4*f = 29 - 10, 0 = -z + 4*f - 17. Does 18 divide (x - -1) + (-17)/z?
True
Suppose -p = -3*p + 180. Does 30 divide p?
True
Let x(b) = 3*b**2 - 9*b. Let y(s) = s**2 - 3*s. Let m(d) = -2*x(d) + 7*y(d). Let t be (-88)/(-12) + (-2)/6. Is 14 a factor of m(t)?
True
Let f(a) = -2*a - 3. Let k(b) = -b - 1. Let y(j) = 2*f(j) - 7*k(j). Let x be (5 + -6)/(2/(-10)). Does 8 divide y(x)?
True
Does 6 divide ((-42)/(-49))/(3/210)?
True
Let o = -14 + 16. Suppose -5*v = -4*x + 24 - 109, o*v - 31 = x. Does 13 divide v?
True
Let i(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/8 - 2*o**3/3 + 4*o**2. Does 7 divide i(6)?
True
Let l(v) = v**3 - 5*v**2 + 6*v - 10. Is 6 a factor of l(5)?
False
Let w be -201 + (2 + 0 - 0). Let i = 312 + w. Is i a multiple of 35?
False
Let w(f) be the second derivative of 5/6*f**4 + 0 + 1/20*f**5 + 2*f**2 + 5/6*f**3 - 2*f. Is 20 a factor of w(-9)?
True
Let u(o) = o**3 + 17*o**2 + 59*o - 7. Is u(-6) a multiple of 6?
False
Let l = 23 + -8. Suppose -4*r = 16 - 40. Is 46/10 + r/l a multiple of 5?
True
Suppose -n = s - 75, 0 = 3*n - 3*s + 90 - 333. Is n a multiple of 22?
False
Let n = -2 + 3. Is 12 a factor of 66/(3/n) + 2?
True
Suppose o = r - 0*r - 8, 2*r - 5*o - 25 = 0. Suppose -2*z - 2*z + 180 = 5*a, 0 = -2*a + r*z + 72. Is a a multiple of 12?
True
Let h = -25 + 46. Suppose -h = -k - 0*k. Is 12 a factor of k?
False
Let c(r) be the first derivative of -r**4/4 - 16*r**3/3 - 17*r**2/2 - 22*r - 7. Is c(-15) a multiple of 3?
False
Let t = 98 - 56. Suppose -3*p + t = -p. Is p a multiple of 8?
False
Suppose 0 = 2*n - 2*s - 62, -5*s + 69 = -2*n + 4*n. Suppose 6*y + 68 = 2*f + y, -n = -f + 3*y. Is f a multiple of 18?
False
Let m be (2/1)/(1 + 0). Suppose -t = m*t. Suppose 4*g - 4*n - 64 = -t*g, -2*n = 2*g - 12. Does 5 divide g?
False
Let y = -75 + 125. Let w = y - 26. Does 21 divide w?
False
Suppose 130 - 50 = 4*h. Is 10 a factor of h?
True
Let u(l) = 3*l - 1. Let p be u(2). Suppose -4*x = f - 44, -5*f + 277 = p*x - 3. Suppose z = -2*z + f. Is 10 a factor of z?
True
Suppose -o = 5, 4*m + 39 = 8*o - 3*o. Is 8 a factor of (-24)/(2/(m/12))?
True
Let r be 4/((-8)/3)*-2. Let t = r + 1. Suppose t*g = 25 + 23. Does 6 divide g?
True
Let w = -5 - -8. Let o = -1 + w. Suppose 0 = -3*l + 3*i - 6*i + 87, o*i = -4*l + 120. Does 13 divide l?
False
Let v(g) = 9*g**3 + g**2 + 3*g + 1. Let t be v(-1). Let y(u) = u**3 + 9*u**2 - 14*u + 2. Is 19 a factor of y(t)?
False
Does 28 divide 41*4 + 6/(-12)*-8?
True
Suppose 0 = -2*u + 5*u + 2*i - 19, 4*u - 24 = -3*i. Is u a multiple of 9?
True
Suppose 0 = 4*k - 5*l - 44, -2*l = 4*k + 3*l - 4. Let a(u) = -u**2 + 8*u - 9. Let d be a(k). Is 8 a factor of d + 1/(-1) + 12?
False
Suppose -2*j = -m - 5 - 2, 0 = -3*m + 5*j - 24. Let o = 7 + m. Let t(b) = -b 