t j be (-7)/((-14)/4) - -1. Let l(n) = n**3 - 3*n**2 + 5*n - 3. Does 6 divide l(j)?
True
Suppose 5*h = 2*h + 9. Does 2 divide h?
False
Suppose -4*h - 3*d - 187 = -2*d, 5*h + 239 = -3*d. Let g = 89 + h. Does 10 divide g?
False
Let u(w) = -w**2 + 4*w - 6. Let s be u(5). Let k = 14 + s. Is k a multiple of 3?
True
Suppose 141 = 9*l - 6*l. Let u = 87 - l. Suppose n - 5*n = -u. Is 10 a factor of n?
True
Let l(u) = -u**3 - 4*u**2 + 8*u + 44. Is 11 a factor of l(-7)?
False
Is ((-8)/(-20))/((-2)/1420*-2) a multiple of 29?
False
Suppose 6*o - o = 0. Suppose 5*l + 3*i - 70 = o, 2*i - 12 = -2. Is 5 a factor of l?
False
Let b(k) = -k**2 + 12*k - 14. Let l be b(11). Let t(z) = -3*z + 4. Let y be t(l). Let h = y + -9. Is 3 a factor of h?
False
Let o(g) be the first derivative of g**3 + g**2 + g + 1. Is 15 a factor of o(-3)?
False
Let v(g) = g**3 - g**2 + 3*g + 3. Suppose 2*z = 2 + 2. Suppose 2*t - z*a - 8 = 0, -2*t + 7 = -3*a - 2. Is 15 a factor of v(t)?
True
Let z(t) be the second derivative of t**5/20 + 2*t**4/3 - t**3/6 + 7*t**2/2 - 4*t. Is z(-8) a multiple of 15?
True
Let y = -215 - -303. Is y a multiple of 33?
False
Suppose -5*p - k - 5 = 0, -2 + 6 = -4*p + k. Let v(r) = 8*r**2. Is 4 a factor of v(p)?
True
Let m(t) = -t**2 + 5*t + 8. Let s be m(6). Let p(c) = c**3 + 4*c**2 - 6*c - 3. Let z be p(-5). Suppose 3*u = z*o + 48, 4*o + 4 + s = u. Is u a multiple of 9?
True
Let h(x) = -x**2 - 10*x - 12. Is h(-6) a multiple of 6?
True
Suppose 4*u + 16 = 5*u. Let z = u - 10. Is z a multiple of 6?
True
Let c(b) = -4*b + 5. Let j be c(-8). Let v = j - 17. Is 10 a factor of v?
True
Suppose 4*x + 292 = 4*s - 0*s, 4*s = -2*x + 292. Suppose 3*w = -3*z + 132, 2*w - s = 3*z - 5. Does 9 divide w?
False
Suppose 0 = k - 9 - 7. Is k even?
True
Let r(z) = -z**2 - 7*z + 5. Let u(c) be the third derivative of c**6/120 + c**5/60 + c**4/12 + c**3/6 + c**2. Let l be u(-2). Is 5 a factor of r(l)?
True
Suppose -5*w + 4 + 6 = -f, 3*f - 4*w - 3 = 0. Let k = 0 + f. Is 2 a factor of k?
False
Let s = 509 - 292. Does 31 divide s?
True
Let g = -21 + 10. Is (g/2)/(1/(-2)) a multiple of 6?
False
Let i(l) = -6*l - 12. Is 42 a factor of i(-9)?
True
Let f(d) = d**2 - d - 4. Let k be f(3). Let t be ((-52)/(-1))/k + 1. Let z = t + -15. Does 12 divide z?
True
Suppose -39 - 81 = -5*s. Suppose -2*r + 3*x = -0*r - s, 4*r + 3*x - 48 = 0. Does 9 divide r?
False
Let c be (3/3 - 1) + 0. Let u be (-14)/((-3 - -2) + c). Let t = 20 - u. Is t a multiple of 3?
True
Let m(q) = -2*q + 4. Let n = -6 + 8. Let l be n/4*-14 + -2. Does 22 divide m(l)?
True
Suppose 35 = 7*p - 2*p. Let v(r) = r - 7. Let u be v(p). Suppose u*y + y = 5. Is 4 a factor of y?
False
Suppose 4*c = 189 - 9. Is c a multiple of 16?
False
Let g(b) be the first derivative of b**7/840 + b**6/360 + b**5/40 - b**4/12 - 2*b**3/3 + 2. Let l(t) be the third derivative of g(t). Does 7 divide l(2)?
False
Suppose 3*l - 20 = l. Is l a multiple of 4?
False
Suppose 0 = -4*u + 5*l + 162 + 151, -4*u - l = -331. Does 14 divide u?
False
Let q(y) = -y**2 - 4*y - 1. Let m be q(-2). Let r = m - -1. Is 4 a factor of r?
True
Let l(s) = 5*s - 5. Is 11 a factor of l(7)?
False
Let f(s) = -16*s + 5. Let o be f(2). Let b = 25 - o. Does 26 divide b?
True
Let p(n) be the second derivative of 2*n**2 + 1/3*n**4 - 2/3*n**3 + 0 - n. Is 14 a factor of p(3)?
True
Let x = 174 + -127. Does 6 divide x?
False
Let m(x) = -x + 10. Let a be m(12). Is 6 a factor of -3 - -7 - a*7?
True
Let u(f) = 2*f**2 - 13*f - 17. Is u(-8) a multiple of 9?
False
Let v = -20 - 10. Let d = -4 - 16. Let n = d - v. Is n a multiple of 10?
True
Let u(t) = -t**3 - 2*t**2 + t - 7. Let d be u(-5). Let j = 38 - d. Let a = j - -42. Is a a multiple of 6?
False
Let s = 49 + 26. Does 15 divide s?
True
Suppose -y + 32 = -4*z, 145 = 5*y - 9*z + 4*z. Is 14 a factor of y?
True
Let h(w) = -w**3 - 3*w**2 - 4*w - 1. Let q(d) = -d**3 - 6*d**2 - d - 3. Let a be q(-6). Suppose -3*g = -a*s - s + 3, 23 = -s - 4*g. Is 11 a factor of h(s)?
True
Let z(s) be the first derivative of s**4/4 + 2*s**3/3 - 5*s**2/2 - 3*s - 1. Is 3 a factor of z(-3)?
True
Suppose -1 = -4*y + 3*w + 1, -y + 4 = w. Suppose -y*v + 8 = -112. Is 30 a factor of v?
True
Let c = 55 + -7. Suppose -5*z - c = -8*z. Does 8 divide z?
True
Suppose -2*v = -3*t - 7*v + 345, -2*t - 3*v + 231 = 0. Is t a multiple of 14?
False
Suppose 4*p = 4*s - 28, -4*p = -11*s + 8*s + 20. Is 4 a factor of s?
True
Let s(g) = 6 + 5*g - 4*g + 0*g. Let n be s(-6). Does 11 divide (n - -2)*46/4?
False
Let n(z) = -12 + 11*z + 2*z + 7 - 9. Does 16 divide n(6)?
True
Suppose 0 = 5*s + a - 5*a + 46, 2*s - 8 = -5*a. Let z = s + 20. Does 3 divide z?
False
Let u = 92 - 39. Is 18 a factor of u?
False
Let r(i) be the third derivative of i**6/120 - i**5/10 + i**4/3 - 7*i**3/6 + i**2. Does 3 divide r(5)?
False
Let v be (1/(3/(-3)))/(-1). Let i be 0 + 2 - v - 1. Suppose -2*g + 62 = -i*g. Is 12 a factor of g?
False
Let j = 298 + -186. Is 7 a factor of j?
True
Let x = -4 + -2. Let h = 6 - x. Does 6 divide h?
True
Let g = -132 - -197. Suppose 0 = -n + 6*n, g = 5*y - 2*n. Is 13 a factor of y?
True
Suppose 816 = 12*o - 4*o. Is 34 a factor of o?
True
Let y(g) = g**3 - 7*g**2 + 5*g + 8. Let q be y(6). Suppose 46 = q*s - 5*k, 6*k - 3*k + 50 = 2*s. Suppose 0 = -5*c + s + 17. Is 4 a factor of c?
False
Suppose 4*z + 3*n - 126 = 0, 2*n + 2 = -2. Does 5 divide z?
False
Let f(s) be the second derivative of s**6/120 - s**5/60 + s**4/24 + 2*s**3/3 + s**2/2 + s. Let i(w) be the first derivative of f(w). Does 4 divide i(0)?
True
Let n(v) = -v**3 - 9*v**2. Let h be n(-9). Suppose -4*y + 3*j + 69 = h, 3*y + 3*j = -0*j + 78. Is 21 a factor of y?
True
Suppose 0 = -l - 5*b + 3, -6 = -2*l + 3*b + 2*b. Suppose 0 = i + 2*i + l*n, -2*n - 10 = 0. Is 5 a factor of i?
True
Suppose 0 = 3*t + q + 3 + 23, -t - 27 = 4*q. Let x(f) = -3*f + 6. Does 16 divide x(t)?
False
Let t(p) = -p**3 - 9*p**2 - 8*p + 2. Let v be t(-8). Let q = v - -2. Suppose 119 + 1 = q*k. Is 15 a factor of k?
True
Let s(l) = l**3 + 5*l**2 + 1. Let f be s(-5). Is 21 a factor of (-4 + 1)/(f/(-12))?
False
Suppose 4*s + 2 - 10 = 0. Suppose -3*u - 2*x = -70, 2*u - s*x - 7 - 33 = 0. Is u a multiple of 15?
False
Suppose 3*y + 1 = 4. Suppose y = h - 1. Is (-3)/6 + 41/h a multiple of 10?
True
Suppose 0 = 3*x + 227 - 542. Is x a multiple of 35?
True
Let y(l) be the third derivative of 0 + l**2 - 7/6*l**3 + 1/30*l**5 + 0*l - 1/12*l**4. Does 14 divide y(5)?
False
Is (-4 + -60)/(-4) + (-2 - 1) even?
False
Let y be (23/(-4))/(1/(-16)). Let p = y - 55. Is p a multiple of 8?
False
Let u(o) = o**3 - o - 6. Let a be u(0). Suppose r - 70 = -5*d, 2*d - r + 28 = 4*d. Let f = d + a. Is 7 a factor of f?
False
Let w(s) = -5*s - 2*s**2 + 5 + 5*s - s - 1 + s**3. Does 9 divide w(3)?
False
Suppose -5*u - 3 - 32 = 0. Let a(i) = i**2 + 2*i - 3. Is 16 a factor of a(u)?
True
Let z(b) = b**3 - 4*b**2 - b - 6. Let s be 3*(-3 + (-42)/(-9)). Is z(s) a multiple of 12?
False
Let x be (-9918)/(-21) - (-2)/(-7). Is x/18 - (-6)/(-27) a multiple of 13?
True
Is (24 + 3 + -1)*(2 - 0) a multiple of 10?
False
Does 5 divide 5*(-1 + 5 + 0)?
True
Let x be (-9)/(-3) + 0 - 8. Let c = x - -20. Is 4 a factor of c?
False
Let h(m) = -67*m + 1. Let z be h(1). Let q(i) = 11*i**2 - 3. Let d be q(-3). Let w = d + z. Is 14 a factor of w?
False
Let q(j) = 31*j**2 - 12*j - 15. Is q(-3) a multiple of 12?
True
Suppose u + 4*p = -3*u - 272, -5*p = -2*u - 150. Let z = u - -98. Is 14 a factor of z?
True
Let n(v) = -v**3 - v**2 - 3*v - 3. Let i be n(-2). Suppose -3*g + y + i = 0, 30 = 6*g - g + 2*y. Is 2 a factor of g*1/(2 - 0)?
True
Let t be -5 - (3 + -7 + 3). Let p(z) = 3*z**2 - 20*z - 11. Let k(q) = -q**2 + 10*q + 5. Let j(g) = -5*k(g) - 2*p(g). Is j(t) a multiple of 9?
False
Let f(y) = 23*y**2 + y - 2. Does 10 divide f(1)?
False
Suppose -13*s + 313 = -545. Does 8 divide s?
False
Let k(a) = -3*a**2 - 10*a + 2. Let n(c) = 2*c**2 + 10*c - 2. Let t(d) = 3*k(d) + 4*n(d). Is t(8) a multiple of 14?
True
Let b(d) be the second derivative of d**3/6 - 3*d**2/2 + 3*d. Let w be b(3). Suppose -78 = -w*v - 3*v. Does 13 divide v?
True
Let i = 15 - -62. Suppose 5*p - 43 = i. Is 12 a factor of p?
True
Let h(z) = -5*z**2 + 4*z**2 - 2*z**3 - z**2 + 3 + 5*z. Let y be 2/6 + 20/(-6). Is 12 a factor of h(y)?
True
Suppose 15 = 3*j - 0*j. Suppose -d = -