26)/t?
True
Let j(n) = 2*n**3 - 6*n**2 + 6*n - 3. Does 5 divide j(3)?
True
Let o = 19 - -1. Does 6 divide o?
False
Let i = -140 + 76. Let b = -42 - i. Does 12 divide b?
False
Let f be (4/(-3))/((-10)/885). Suppose 0 = -o + 5*n + 30, 3*o + 4*n - f = 5*n. Is o a multiple of 11?
False
Let o(b) = b**3 - 4*b**2 + 2*b + 3. Let j be o(3). Suppose j = -k + 13 + 13. Does 14 divide k?
False
Let j be 2/(33/31 + -1). Let u = j - 14. Is u a multiple of 11?
False
Let r(c) = -c**3 + 6*c**2 + c - 3. Suppose 6 = -3*z + 4*z. Let k be r(z). Suppose 0 = -3*f - 0*f + 3*d + 33, 2*d = k*f - 38. Is 12 a factor of f?
False
Let s = -71 - -139. Let m = s - 26. Is 14 a factor of m?
True
Is 4 a factor of 8*((-63)/12)/(-7)?
False
Suppose 3*s - 1 = 2*q, -4*s = 5*q - 0*s - 9. Let j be 1/q - 4/2. Let d(t) = 22*t**2 + 1. Does 17 divide d(j)?
False
Let c = -10 + -50. Let w = -22 - c. Is w a multiple of 22?
False
Let p(d) = 2*d**2 - 7*d - 2*d - 8 - d**2. Let g be p(7). Is 1 - 1 - (g + 2) a multiple of 13?
False
Let o be (-16)/(-6) + 4/(-6). Suppose -7*j + 20 = -o*j. Suppose -j*t = -0*t - 60. Does 15 divide t?
True
Let a(k) be the second derivative of 5*k**4/6 - k**3/2 - 3*k**2/2 + k. Does 8 divide a(-2)?
False
Let a(t) = 3*t**3 - 15*t**2 - 7*t - 7. Let x(q) = -5*q**3 + 23*q**2 + 11*q + 11. Let v(u) = 8*a(u) + 5*x(u). Is v(-6) a multiple of 10?
False
Let x be 16/40 + 166/10. Let a = x + 2. Does 7 divide a?
False
Suppose 8 = -0*r + 2*r. Suppose -2*d + 52 = r*y, -5*d = -y + 2*y - 139. Is 12 a factor of d?
False
Is 4/5*((-25)/10 - -5) even?
True
Suppose -m = -4, -2*w - 4 = -3*m - 2. Suppose -207 - 443 = -w*r. Suppose -4*f - f = -r. Does 13 divide f?
True
Let r = -41 + 75. Let x be 5/10 - (-6)/4. Is 10 a factor of r/x + 2/2?
False
Let b(j) = j**3 + 18*j**2 + 16*j + 5. Does 10 divide b(-17)?
False
Let d(p) = p**2 - 9*p + 8. Let i be d(6). Is 12 a factor of 2/i*-12*5?
True
Let w(u) = u + u**2 + 1 + 0*u + 6*u**3 - 5*u**3. Is 20 a factor of w(3)?
True
Suppose b - 2*m = 3*m + 83, -5*m + 257 = 4*b. Is 31 a factor of b?
False
Let m(r) = r**2 + 11*r - 1. Let w be m(-11). Let l(s) = -4*s**3 - 2*s**2 - s. Does 3 divide l(w)?
True
Let s(p) be the second derivative of p**5/20 + 2*p**4/3 + 7*p**3/6 - 4*p**2 - 4*p. Is 10 a factor of s(-6)?
False
Suppose 0 = -15*z + 212 + 238. Does 15 divide z?
True
Let z(v) = -v**3 - 3*v**2 + 3*v - 2. Suppose 2*j - 18 = 4*w - 6, -4*j = 8. Does 2 divide z(w)?
True
Let m be 0 + 12 - (-2 - -2). Let q be (10/(-3))/((-8)/m). Suppose q*b + 0*b - 3*i = 28, -3*i = -b - 4. Does 8 divide b?
True
Let x(g) = -2*g**3 + 3*g**2 + 5*g + 1. Let j = 8 - 3. Let w be x(j). Does 16 divide w/(-4) - 1/4?
False
Let s be 6*1*(-20)/(-8). Suppose -p + 33 = o, 63 = 4*o + 2*p - 67. Let r = o - s. Is 6 a factor of r?
False
Let i(d) = -2*d**3 - 3*d**2 - 3*d + 2. Let c be 21/(-6) + (-3)/(-6). Is i(c) a multiple of 19?
True
Suppose 6*d - 16 - 122 = 0. Is d a multiple of 23?
True
Let u(l) be the third derivative of l**5/60 - l**4/12 - 3*l**3/2 - 3*l**2. Does 10 divide u(7)?
False
Let h(s) = s**3 - 4*s**2 + 3*s - 4. Let g be h(4). Let t(c) = 3*c - 7. Does 7 divide t(g)?
False
Suppose -54 = -2*q - 0*q. Let y = -13 + q. Does 7 divide y?
True
Let t = 3 + -4. Does 3 divide (-9)/(-12)*(t - -5)?
True
Is 10 a factor of (1 - -3) + -4 + 59?
False
Suppose -z - 34 = -s, 4*z = -3*s + z + 108. Is s a multiple of 6?
False
Let h(z) = z**3 + 7*z**2 + z + 9. Let t be h(-7). Suppose -5*j + t = 2*x, -3*j = 4*x - 7 + 3. Is 4 a factor of (-5 + 1 - x)/(-1)?
False
Suppose 4*k - 19 - 1 = 0. Is k a multiple of 5?
True
Let q = 176 - 124. Suppose 0 = -y + 4 + q. Suppose t - 5*t + y = 0. Is t a multiple of 14?
True
Suppose -4*f + 6*f - 6 = 0. Let t(w) = 12 + 2*w - 4*w + f*w. Is t(0) a multiple of 4?
True
Suppose -11*n + 7*n = 0. Suppose n = -3*m + 49 + 26. Is 18 a factor of m?
False
Let v = 54 + -45. Is 9 a factor of v?
True
Let d = -2 - -3. Suppose 5*s - 5*a - 10 = 0, -4*a + 3 = -2*s + d. Suppose s*u - 160 = 5*y, u - y - 2*y - 28 = 0. Does 12 divide u?
False
Suppose -5*m + 2*l = -l - 29, 3*l - 27 = -3*m. Is m a multiple of 3?
False
Let a = 7 + -7. Suppose a = 4*g - 3*b - 169, 174 = 3*g + g + 2*b. Suppose 0*i - i + g = 0. Does 20 divide i?
False
Suppose -j + 12 = 3*c, 5*c + 5*j - 10 = -0. Let v be 644/10 + 2/(-5). Suppose a = c*a - v. Does 6 divide a?
False
Let v be 4/6 - (-8)/6. Let b = -63 + 159. Suppose m = -v*m + b. Is m a multiple of 15?
False
Let g = 46 + -24. Does 5 divide g?
False
Let t(a) = -17*a. Does 19 divide t(-2)?
False
Suppose -10*i = -4*i - 1578. Is 23 a factor of i?
False
Suppose 0 = 4*m + 12 - 0. Let o(f) = 2*f**3 + 3*f**2 - 3*f + 2. Let u be o(m). Is 16 a factor of u/(-5)*75/6?
False
Let n(x) = 7*x**2 - 2. Let d(s) = s**3 - 9*s**2 - 2. Let z be d(9). Let w be n(z). Suppose 4*y = -w + 94. Does 11 divide y?
False
Suppose l = 50 + 34. Does 28 divide l?
True
Suppose -4*y = -8*y + 76. Is y a multiple of 19?
True
Let q(w) = 3 - 3 - 5*w - 3. Is q(-2) a multiple of 7?
True
Let s = 228 + -98. Suppose 5*l - 2*l = -2*n + 11, -4*l = n - 18. Suppose s = -0*o + l*o. Does 6 divide o?
False
Let u(v) = 2 + 10*v - 3*v**2 - 2 - 1 + 2*v**2. Does 6 divide u(8)?
False
Suppose 4*q = -0*q + 4*x - 4, 0 = -2*q - x + 13. Does 4 divide q?
True
Suppose 0*t = 3*t - 9. Let o be (-1 - 0)/(t/3). Is 18 a factor of 3 + -2 - -34 - o?
True
Suppose 78 + 1364 = 5*w + 2*n, 0 = -3*w - 3*n + 867. Is 12 a factor of w?
True
Suppose 15*s = 22*s - 840. Is 11 a factor of s?
False
Does 5 divide (-26 + 1)*(-4)/10?
True
Let d = 48 + -75. Let r = d - -18. Let k = 21 - r. Is k a multiple of 15?
True
Suppose -5*q + 0*q = 2*t - 48, -2*q - 8 = 0. Is 17 a factor of t?
True
Is 28 a factor of (18/(-12))/((-1)/112)?
True
Let f(j) be the third derivative of -11*j**4/24 + 2*j**3/3 - 4*j**2. Let c(u) = 4*u + 3. Let x be c(-2). Is f(x) a multiple of 21?
False
Suppose h = 5*h + 2*k - 18, 9 = -h + 4*k. Suppose 0*s + 3*w = -s + 9, -2*s + 9 = h*w. Suppose -t + 2*c + 0*c - 4 = s, t = 4*c - 12. Does 3 divide t?
False
Suppose 0 = -5*q + 36 + 69. Is 16 a factor of q?
False
Suppose y + 274 = 3*z - y, 0 = -3*y + 3. Suppose 2*w - 4*n - z = 0, 4*w = n - 2*n + 157. Is 20 a factor of w?
True
Let r(x) = 2*x**3 - x**2 + x + 2. Let q be r(2). Suppose 0 = -t + q - 0. Is 16 a factor of t?
True
Let q be (114/3)/(1/(-2)). Let u = 130 + q. Does 18 divide u?
True
Let u(z) = 2*z**2 - 5*z + 3. Suppose 3*v - 12 = 2*y - 5*y, -4*y + 3*v = -9. Let g be u(y). Suppose -2*o = -g*o + 112. Does 14 divide o?
True
Suppose -2*z + 27 = z. Let u(x) = -12*x + 6 - 2 + 14*x. Is 11 a factor of u(z)?
True
Is 13 a factor of (2/(-2) - 1) + 29?
False
Is 15 a factor of (-185 + 1/(-1))/((-12)/6)?
False
Let d(f) = 4*f + 5*f - 3 - 2*f. Let z be 15/(-30)*-14*1. Is d(z) a multiple of 23?
True
Suppose -4*j + 0 - 4 = -t, 5*j + t - 4 = 0. Suppose j = 2*h + 3 - 13. Does 5 divide h?
True
Let p(n) = n + 30. Is p(0) a multiple of 15?
True
Let m be (-1)/2*-5*2. Suppose -9 = 5*r - 2*r, m*r + 21 = 3*x. Suppose 5*f - 102 = x*f. Does 23 divide f?
False
Let c be (74/3)/(2/(-3)). Let d = -17 - c. Is d a multiple of 5?
True
Let y(f) = -f**3 + f + 18. Let q be y(0). Suppose 2*n - q = -4*j - 0*j, -3*j - 2*n + 11 = 0. Is 7 a factor of j?
True
Suppose u - 95 = -5*s, 3*s - s - 3*u = 38. Does 19 divide s?
True
Let v = -45 + 70. Is 5 a factor of v?
True
Let y(d) = -d. Let a(j) = -2*j - 3. Let x(i) = a(i) - 5*y(i). Let w be x(2). Suppose -4*q + 39 = -5*g, 15 = 3*q + w*g - 21. Does 8 divide q?
False
Suppose -j = -0*j - 2*r + 2, -r + 4 = 0. Is 182/6 - 2/j a multiple of 15?
True
Let s(b) be the third derivative of -b**6/120 + b**5/20 + b**4/6 - b**3/3 - b**2. Let r = 0 - -3. Is 5 a factor of s(r)?
True
Let u(d) = -d - 4. Let f be u(-2). Does 14 divide 45 + -4 + f/(-2)?
True
Suppose -5*g + g + 620 = 0. Suppose 11*y - g = 6*y. Does 9 divide y?
False
Is 26 a factor of 205/3 + (-20)/(-12) + -2?
False
Let z = 110 - 70. Is z a multiple of 28?
False
Let c = 28 - 8. Is c a multiple of 20?
True
Suppose 0*r - 54 = -2*r + 5*x, 88 = 3*r - 4*x. Suppose -2*j - r = -2*v, v - j - 76 = -4*v. Is 12 a factor of v?
False
Let l(m) be the second derivative of 11*m**3/6 - 9*m**2/2 + 5*m. Is l(6) a multiple of 19?
True
Let q = 94 - 134. Is 4 a factor of (q/(-15))/(4/6)?
True
Let q = 9 - -9. Does 11 divide q?
False
Let x(r) = -6*r - 1. Suppose -4*p + 1 = 9. Does 7 d