e
Let s(a) = 24*a**3. Let p be s(1). Suppose 41 = 5*t - p. Does 11 divide t?
False
Suppose -2*b + 40 = -6*i + 2*i, i - 35 = -4*b. Is b a multiple of 3?
False
Let a(g) = -g**2 + 7*g - 1. Let s be a(6). Suppose -s*b = -b - 260. Suppose -5*p - 3*k + b = 0, p - 5 - 6 = -k. Is 6 a factor of p?
False
Suppose 72 = 5*u - u. Is u a multiple of 9?
True
Let w(i) = 18*i + 12. Does 8 divide w(6)?
True
Suppose 0 = 4*v + 5*h - 41, 2*h - 4 = -2*h. Is v a multiple of 5?
False
Let j = -76 + 113. Is j a multiple of 19?
False
Let c be ((-8)/28)/(2/(-14)). Suppose -7 = c*m - 29. Does 3 divide m?
False
Let q = 102 - 42. Does 20 divide q?
True
Let o(y) = 5*y - 11. Let s be o(11). Suppose -3*c + 5*r = -s, 3*c = 4*c + 2*r. Is 3 a factor of c?
False
Let k(o) = -o**2 + 5*o + 8. Let f be k(6). Let b be 1920/33 - f/11. Suppose -3*i - 5*s = -56, -3*s - b - 7 = -4*i. Does 11 divide i?
False
Let q(u) = u**3 - u**2 + 3. Suppose -5*v + 2*v + 9 = 0. Does 12 divide q(v)?
False
Suppose 0 = 4*w - 12 - 8. Suppose 7 + 3 = 5*r + 3*p, 0 = -r - w*p - 20. Let q = r - 0. Is q a multiple of 4?
False
Suppose 3*x + 15 = -4*j + 58, -31 = -3*x - j. Suppose -2*v - 13 = -3*v. Let d = v + x. Does 16 divide d?
False
Let y(g) = 2. Let v(k) be the third derivative of -k**4/24 - k**3/3 - k**2. Let i(j) = 4*v(j) + 5*y(j). Is i(-6) a multiple of 13?
True
Suppose -f = -2, -k - 2*f - 44 = -2*k. Is k a multiple of 12?
True
Let x be (-1)/(-2) - (-15)/10. Suppose -b + 3*b + 4 = -4*z, 0 = -x*b + 2*z + 8. Suppose -b*v = v - 18. Does 6 divide v?
True
Suppose -i + 124 = -0*c + 4*c, -c = 4*i - 46. Does 10 divide c?
True
Let x(t) = t**3 - 4*t - 1. Let d be x(-3). Let y be (-204)/8*d/3. Suppose 3*z - 4*o - 68 - 34 = 0, -y = -4*z + 3*o. Is z a multiple of 18?
False
Let m be (-166)/(-8) + (-3)/(-12). Suppose -76 = -5*t - m. Suppose -53 + t = -2*i. Does 10 divide i?
False
Let h(g) = 6*g - 12. Is 6 a factor of h(6)?
True
Suppose -7*c = -294 - 210. Let t be 6/27 - (-2632)/(-18). Does 12 divide (-1)/(t/c + 2)?
True
Let t(z) = 13*z - 6. Let k be t(4). Suppose -4*m = -5*m + k. Does 17 divide m?
False
Suppose 5*t + 18 = 113. Does 7 divide t?
False
Let r(h) = 2*h**3 - 2*h**2 + 4*h + 3. Let s be r(5). Suppose -3*p + 2*z = -s, -144 = -2*p - 3*z + 9. Is p a multiple of 19?
False
Let n = -18 - -31. Let m(w) = 5*w**2. Let z be m(1). Suppose -v + b = -33, -n = z*b + 2. Does 15 divide v?
True
Let z be 1/(-1)*(-11 + 2). Suppose -2*q + q = -z. Is q a multiple of 7?
False
Let j be 0*(1 + 2)/3. Let m = 2 - j. Suppose m*z + 4*i - 28 = -0*z, 5*z = i + 59. Does 12 divide z?
True
Suppose 0 = k - 2, 2*i - 7*i = -k - 493. Is 33 a factor of i?
True
Suppose -4*w - 18 = -5*o - 0*o, 0 = -4*w - 8. Suppose o*f - 3 = f. Suppose -8 = -4*q + 5*k + 34, f*k + 33 = 3*q. Is 10 a factor of q?
False
Let u(y) = -y**3 + y**2 + 2*y. Let n be u(-3). Let q(o) = 7*o**3 - 4*o**2 - 3. Let z be q(3). Suppose -n = -5*d + z. Is d a multiple of 18?
True
Is (5/3)/((-17)/(-357)) a multiple of 18?
False
Let t be 69/6 + 2/(-4). Suppose -t = -z + 32. Suppose 0 = -3*f - 4*b - 12 + 80, 2*f = -5*b + z. Is f a multiple of 9?
False
Let p(d) = d**2 - 19*d - 40. Does 16 divide p(24)?
True
Suppose a - 29 - 4 = l, 2*a = 5*l + 63. Does 7 divide a?
False
Suppose 0 = -4*l - 4*b + 44, -3*l - l - 2*b + 44 = 0. Is 11 a factor of l?
True
Let j(f) = 10*f**3 - 2*f**2 - f. Let k be j(-1). Does 13 divide k/(((-15)/9)/5)?
False
Suppose -y = 3*j - 9, -j + y + 3 = -0*y. Suppose -54 = j*m + 60. Let x = -8 - m. Does 15 divide x?
True
Suppose -3*o + 254 = -2*w, -3*o = o + 5*w - 331. Is o a multiple of 10?
False
Let m(l) = -3*l**2 - l**3 - 5 - 4*l - l + l. Is 14 a factor of m(-4)?
False
Let c(x) = x. Let r be c(3). Suppose -r*j = 1 - 22. Is 6 a factor of j?
False
Let t(y) = -y**3 + 9*y**2 - 6*y + 5. Is t(4) a multiple of 6?
False
Let y be 10/15 + (-214)/6. Let h = 13 - y. Does 16 divide h?
True
Let k = 7 - 3. Suppose 12 = k*z - 84. Is 10 a factor of z?
False
Suppose 1 = 5*x + 4*s + 6, -3*x + 34 = -5*s. Is 17 a factor of (-3185)/(-52) - x/(-4)?
False
Let n be (-12 - -5)*(0 + -1). Suppose 2*j + 2 = -3*l + n, -5*j + 5*l = 0. Let h = j - -13. Is h a multiple of 14?
True
Is 1*-30*(-2 + 1) a multiple of 7?
False
Does 21 divide -4 + (-38)/(-10) - 606/(-5)?
False
Let w = -3 - -5. Let j be (-4)/(-2) + w + -1. Suppose 0 = 3*c + 4*m - 129 + 35, -j*c = 3*m - 90. Is c a multiple of 13?
True
Suppose -y - 16 = -4*o - 5*y, 2*o = -4*y + 10. Suppose o*b + 10 - 265 = 0. Suppose 0 = 4*j + j - b. Is j a multiple of 17?
True
Let l be 6/4*8/3. Suppose l*r - 7*g - 64 = -3*g, -3*r + 24 = 3*g. Suppose 3*x + 4*t = 28, -t = x + t - r. Is x a multiple of 2?
True
Let c(h) = h**3 + 3*h**2 - 5*h + 5. Does 15 divide c(4)?
False
Suppose -2*h + 10 = j + 2*j, -3*h + 3*j = 0. Is 3 a factor of 0 - 0 - (-4 - h)?
True
Let x(n) = n**3 - 3*n**2 + 9*n - 13. Does 16 divide x(4)?
False
Let h be (4/(-10))/(19/(-190)). Suppose 5*c - 85 = h*a, 0*a + 51 = 3*c - 2*a. Does 13 divide c?
False
Let d(u) = -4*u + 5. Let c(v) = v**2 - 5*v - 7. Let x be c(5). Does 11 divide d(x)?
True
Let d(k) = -k - 9. Let u(h) = 4. Let f(m) = 3*d(m) + 7*u(m). Is 12 a factor of f(-7)?
False
Suppose -5*u - 8*m + 4*m = -17, 5*m - 10 = -4*u. Is u a multiple of 2?
False
Let b = -10 - -7. Let o = 13 + -9. Is ((-6)/b - o)/(-1) even?
True
Is 14 a factor of 4380/78 - (-2)/(-13)?
True
Let c(o) = -4*o**2. Let k be c(2). Let d = 10 - k. Let u = d - -2. Is 14 a factor of u?
True
Let w(a) = -2*a + 4. Is 11 a factor of w(-4)?
False
Let v = -150 + 211. Does 19 divide v?
False
Let k(r) = -6*r**3 + r**2 - 4. Let j be k(-4). Let b = j + -163. Suppose -3*c = -b + 83. Is c a multiple of 17?
False
Suppose -5*t - 6 = -2*h, 3*t = -4*h + 6*t + 12. Suppose -2*n = h*n - 65. Is 8 a factor of n?
False
Let k(i) = -1. Let o(g) = -g + 27. Let j(l) = 5*k(l) + o(l). Let z be j(0). Let x = z + -12. Is 5 a factor of x?
True
Let o = 87 + -61. Is 26 a factor of o?
True
Let w(l) = -5*l + 1. Let u be w(-1). Suppose 0 = -3*j - 12 + u. Is 2/(j*(-3)/72) a multiple of 12?
True
Let n(x) = x**3 - 5*x**2 - 6*x + 1. Let o be n(4). Let m = -16 - o. Is 11 a factor of m?
False
Suppose 0 = -3*w + h + 215, 3*h = -5*w + 241 + 108. Suppose 0 = -4*j - i + w, -j + 2*i - 4*i = -23. Is 11 a factor of j?
False
Suppose -n - 3*m - 55 = -2*n, 5*m - 135 = -4*n. Is n a multiple of 5?
True
Is 2/3*252/8 a multiple of 21?
True
Let k be (1 - 2)/((-1)/2). Suppose 5*j - 19 = 1, 4*j - 26 = -k*b. Suppose -b*z = -103 - 167. Does 19 divide z?
False
Let l(g) = g**3 + 5*g**2 - 5*g + 3. Let c be l(-6). Does 20 divide -3 + 23 + (-3 - c)?
True
Suppose 2*q = -2*j + 4, -41 = -3*q - 0*q + 4*j. Suppose -2*w + q*w = 25. Let d(g) = g**3 - 6*g**2 + 6*g + 7. Is 6 a factor of d(w)?
True
Suppose -2 = 5*j - 17. Suppose 0*i + 3*i = j*m + 12, 0 = -2*m - 4. Is 2 a factor of i?
True
Let l(m) = 5*m - 2. Is l(5) a multiple of 4?
False
Let d = 342 + -206. Does 11 divide d?
False
Does 19 divide -6 + 3 - (-140)/2?
False
Let d(q) = q**2 - 10*q + 5. Let k be d(5). Suppose 0*i + 2*i = -70. Let b = k - i. Is 8 a factor of b?
False
Let x(k) = -k + 2. Let p be x(4). Let z be (-37 + p/2)/1. Is (0 - 3)*z/3 a multiple of 23?
False
Suppose -99 + 309 = 7*c. Does 7 divide c?
False
Suppose 8 = o + o. Suppose o = x - 0. Let z(a) = a**3 - 2*a**2 - 4*a - 4. Does 9 divide z(x)?
False
Is 8 a factor of (9 - -39)*4/3?
True
Is 7 a factor of (-22 + (-3 - -3))*(-15)/6?
False
Let h be (-566)/(-10) - 2/(-5). Suppose -s = -4*s + h. Is 15 a factor of s?
False
Let v = -19 + 13. Does 3 divide v/7*(-7)/1?
True
Let f = 23 - -3. Is 16 a factor of f?
False
Let c be (-34)/6 - (-2)/(-6). Let v(u) = -6*u - 9. Is 10 a factor of v(c)?
False
Let l(h) = h**3 + 16. Let u be l(0). Suppose u = s + 9. Is s a multiple of 3?
False
Suppose 2*v = -6, -v - 19 = -3*l + 5*l. Let n = 4 - l. Is n a multiple of 7?
False
Let j = 0 + 49. Does 12 divide j?
False
Suppose 4*y = -y - 60. Let q(o) = -2*o - 8. Is q(y) a multiple of 7?
False
Is -3 + -3 + 53 + 1 a multiple of 3?
True
Suppose -2*h + 35 = -95. Is h a multiple of 13?
True
Let z be 2*(-1)/1 + -8. Let m(c) = -11*c - 14. Let q be m(z). Suppose 3*y - 7*y + q = 0. Does 16 divide y?
False
Let n = -1 + 29. Suppose -4*r + 20 = -n. Is r a multiple of 10?
False
Let x be (-7 + 4)/((-1)/(-1)). Let p(z) = -z**3 + z + 2. Does 13 divide p(x)?
True
Let y(u) be the third deriv