es 35 divide i?
True
Let c(w) = -6*w**3 - w**2 + 1. Suppose 0 = 5*t + 5. Does 3 divide c(t)?
True
Suppose -h - 4*h = -5*f + 5, -4*h + 5*f = 0. Let v(d) = 2*d**2 + 8*d + 5. Is 5 a factor of v(h)?
True
Let u(g) = -7*g + 4. Let x be u(-7). Let v = 92 - x. Does 13 divide v?
True
Suppose -4*j + 0*j - 75 = -o, 4*j + 73 = 3*o. Let h be -3 + 2 - (j - 2). Is h + -4 + 1 + -1 a multiple of 14?
False
Is 4 + 15 + 3 + -6 a multiple of 8?
True
Let h be 18/(-4) - 1/2. Let p = h - -10. Suppose 0 = p*u - v - 139, 3*u + 5*v - 128 + 39 = 0. Does 14 divide u?
True
Let u(h) = h**3 - 5*h**2 - 4. Let q be u(5). Let k = 65 - 29. Is 17 a factor of 3*q/(-6) + k?
False
Let g(i) = i**3 + 3*i**2 - 5*i. Let a be g(-4). Suppose a*c = 74 - 10. Suppose 0 = -0*s + s - c. Does 8 divide s?
True
Suppose 3 = -5*b + 6*b. Suppose 4*w + o - 123 = 0, b*w + 2*w = -o + 154. Is 11 a factor of w?
False
Let w(j) = -19*j - 14. Is w(-6) a multiple of 25?
True
Suppose 3*n - 13 + 4 = 0. Does 13 divide n*(0 - 52/(-6))?
True
Suppose -3*l - 5*k = -5, 4*l - 26 - 2 = 4*k. Suppose 0 = 5*j - l - 0. Let q = j + 2. Is q a multiple of 2?
False
Suppose 5*c - 3*h = 376, -105 = -c + 3*h - 37. Is 14 a factor of c?
False
Suppose 37 = 2*q - q. Suppose 2*a + 2*a - j = 59, -2*a + q = j. Is a a multiple of 7?
False
Suppose -1 - 1 = m. Let y(g) = -7*g**3 - g**2. Is 13 a factor of y(m)?
True
Suppose -4*l = 0, 0*v + 2*l + 225 = v. Does 20 divide v?
False
Let v(q) = q**2 - q + 390. Is v(0) a multiple of 13?
True
Suppose 3*r + 120 = 4*r. Is r a multiple of 24?
True
Let p(z) = -z**2 - 5*z + 360. Is p(0) a multiple of 10?
True
Let g = 1 + 1. Suppose g*h - 158 = -3*y + h, -142 = -3*y - 5*h. Does 18 divide y?
True
Suppose 0 = -0*v - 4*v. Suppose -n + 0*n + 3 = v. Suppose -n*m + 2 + 23 = -5*l, 9 = 3*m + 3*l. Is m a multiple of 5?
True
Suppose 4*l - 4*j + 1 = -j, -5*l + 4*j = 2. Suppose 0*q + 155 = 5*q - d, 0 = -2*q + l*d + 54. Is 16 a factor of q?
True
Is 11 a factor of (-8 - 6*-5)/(2/3)?
True
Let g = 26 - 4. Suppose 5 = h, g = f - 2*h - 20. Is 25 a factor of f?
False
Let k = 13 - -7. Suppose -t = -k + 8. Is (-8)/(-3)*27/t a multiple of 3?
True
Let f(y) = y**3 - 4*y**2 - 7*y + 17. Does 3 divide f(5)?
False
Let o(m) = m**3 - 8*m**2 + 2*m + 6. Let a = 22 + -14. Does 11 divide o(a)?
True
Let v(j) be the third derivative of -j**7/2520 + j**6/72 - j**5/120 - j**4/24 + 3*j**2. Let n(w) be the second derivative of v(w). Is n(8) a multiple of 15?
True
Let x = -31 + 46. Suppose 4*l = -l + x. Does 2 divide l?
False
Let z = -51 - -87. Does 9 divide z?
True
Suppose 2*s = -2*j + 6, -5*j + 0*s = 2*s - 18. Is j even?
True
Suppose 4*m = m + 2*z + 68, z + 104 = 5*m. Let k(n) = -n**2 - 5*n + 6. Let y be k(-6). Let s = m - y. Does 10 divide s?
True
Suppose 335 - 123 = 4*g. Is 8 a factor of g?
False
Let i(n) = 92*n + 3. Is 19 a factor of i(1)?
True
Let h = -14 + 7. Let g = 5 + h. Does 4 divide 6/g - (-16 - -1)?
True
Let o be (2/3)/((-1)/(-3)). Suppose -o*i = i - 12. Suppose 0 = -a - 5*z + 37, a + i*a - 3*z = 45. Is 9 a factor of a?
False
Suppose 425 = 12*g - 439. Is 24 a factor of g?
True
Let l(f) = f + 1. Let h(p) = 3*p + 13. Let m(y) = h(y) - 5*l(y). Is m(-12) a multiple of 16?
True
Suppose 7 = 2*w + 1. Suppose -12 = -3*k, 0*u = -w*u + k + 95. Is u a multiple of 12?
False
Let q = 11 + 3. Is 7 a factor of q?
True
Let n(g) = -5*g**2 - 16*g - 2*g**3 + 5 + 20*g + g**3 - 1. Is n(-7) a multiple of 21?
False
Let a(l) = -51*l**3 + l. Is a(-1) a multiple of 25?
True
Suppose 4*f - 2*f - 24 = 0. Is 6 a factor of f?
True
Let x(f) = 5*f - 25. Is 4 a factor of x(7)?
False
Suppose -u - 39 + 47 = 0. Is u a multiple of 4?
True
Suppose -90 = -2*i - 4*z + 16, -5 = -5*z. Is 17 a factor of i?
True
Let t(f) be the second derivative of -f**4/12 + f**3/3 - f**2/2 + f. Let o be t(1). Suppose o = -2*q - 2*q - 2*c + 46, 2*c + 31 = 3*q. Is 5 a factor of q?
False
Let t(r) = -28*r - 9. Does 19 divide t(-4)?
False
Let u(a) = -6*a**3 - a**2 - 6*a - 9. Is 22 a factor of u(-2)?
False
Let i(x) = -x**3 + x**2 - x - 12. Let w be i(0). Let h = w + 20. Suppose -j + 22 = -h. Does 15 divide j?
True
Let v = 267 - -76. Is 27 a factor of v?
False
Let s(c) = c**3 + 8*c**2 - 11*c - 13. Let q be s(-9). Suppose q*g - 11 = -3*t + 81, -2*t - 5*g + 68 = 0. Let u = t + -12. Is u a multiple of 6?
True
Let d be (-70)/(-9) - (-2)/9. Suppose j + 3*j = d. Suppose 3*x - 27 = -j*n, n = 2*x - 2*n - 5. Does 4 divide x?
False
Let s = 83 - 64. Is 3 a factor of s?
False
Suppose -2*l + 68 = 3*c - 3*l, -3*c + 5*l = -88. Is c a multiple of 7?
True
Let c(v) = v + 8*v**2 - 3*v - v**3 - 3*v - 7. Does 9 divide c(6)?
False
Let h be 13 + -6 + (1 - 1). Suppose 5*k = 4*r + 441, k = -h*r + 5*r + 91. Suppose -k = -5*y - 19. Is 4 a factor of y?
False
Let r(v) be the third derivative of -9*v**6/40 - v**5/60 - v**4/24 + 3*v**2. Is 9 a factor of r(-1)?
True
Suppose -5*z = -2*z - 69. Suppose -4*m + 0*m - z = -h, 3*h + m = 134. Does 12 divide h?
False
Let s(q) = -4*q + 2. Let u be s(4). Let j = u + 20. Is j + (-1)/(-1) + 1 a multiple of 4?
True
Let q(r) = -r. Let d be q(-4). Let t = 76 - -65. Suppose 5*c + 0*k = -d*k + t, -3*k = -12. Does 9 divide c?
False
Suppose 5*z + 9 - 26 = -2*w, 0 = -2*w - 4*z + 14. Let f be (5 + 6)*(0 + w). Suppose 0 = b + f - 34. Is b a multiple of 9?
False
Suppose -3*z = -1 - 5. Suppose 14 = z*p - 14. Is p a multiple of 8?
False
Suppose -2*g - g = 2*l - 51, 3*l = -3*g + 78. Is l a multiple of 7?
False
Let b = -4 - -4. Suppose -3*z + 58 - 22 = b. Is 12 a factor of z?
True
Suppose -2*c + 0*w = w + 9, -3*w + 5 = -2*c. Let r = c - -10. Is 3 a factor of r?
True
Does 10 divide (-5)/((-5)/8)*(-10)/(-4)?
True
Let s(p) = -p**3 + 3*p**2 + 4*p + 2. Let a be s(4). Suppose a*x = 5*z + 5*x - 53, -z + 2*x + 21 = 0. Is 6 a factor of z?
False
Let z(s) = 56*s**2 - s + 1. Let u be z(1). Let d = 1 + u. Is d a multiple of 14?
False
Let v(a) = a + 9. Let o be v(-5). Suppose -o*d = m - 18, 17 = 2*m + 4*d - 7. Does 3 divide m?
True
Suppose 8*p - 77 = 83. Does 3 divide p?
False
Is 11 a factor of 1/((-1)/(-41)*1)?
False
Suppose 0 = -5*k + 3 + 17. Suppose k*x - 10 = -x. Suppose 2*v - x = 8. Is v a multiple of 4?
False
Suppose 13 = 2*t - 65. Let q = 67 - t. Does 14 divide q?
True
Does 12 divide (384/40)/((-1)/(-5))?
True
Let d(s) = -s. Let x(o) = -1. Let f(t) = d(t) - 2*x(t). Let n be f(2). Suppose -3*r = -c + 4*c - 48, n = -2*c + 2*r + 28. Is c a multiple of 13?
False
Let u(k) be the third derivative of k**6/12 + k**4/12 - k**3/6 - k**2. Suppose -5*f + 9 = 2*y, 5*f = -y + 4*y - 1. Does 4 divide u(f)?
False
Let x(o) = o**3 + 7*o**2 - 4*o - 6. Let f = 94 - 58. Suppose -2*y - 4 = -z - 4*z, -4*z = 4*y + f. Does 11 divide x(y)?
True
Suppose -34 + 1 = -3*l. Does 11 divide l?
True
Let u(h) = 11. Let n(i) = -i + 1. Let f(t) = -2*n(t) - u(t). Suppose 3*o + y - 54 + 18 = 0, 3*o = 4*y + 21. Is f(o) a multiple of 9?
True
Let y(h) = h**2 + 3*h + 15. Does 29 divide y(-13)?
True
Let n(l) = l**3 + 2*l**2. Let u be n(-2). Suppose u = 4*b - 9 - 43. Is b a multiple of 5?
False
Suppose 30 - 124 = 2*a. Suppose -5*f = -7*f - 2*s - 52, 4*f + 90 = 3*s. Let b = f - a. Is b a multiple of 8?
False
Suppose 0 = -3*z - 6 - 6, 5*w = 4*z + 6. Let d be 15/10 + w/(-4). Suppose -d = 2*n - 18. Is n a multiple of 7?
False
Suppose a + 4*a + 20 = 0, 0 = -l - a - 5. Let q(p) = 4*p**2 + 2*p**2 - 20*p**3 - 7*p**2. Is q(l) a multiple of 17?
False
Let s = -3 - -1. Let v = 4 + s. Suppose -15 = -2*u - l, -u + 15 = v*u - l. Does 6 divide u?
True
Suppose 8*l - 289 - 647 = 0. Is l a multiple of 11?
False
Suppose 4*l - 524 = -3*i, 0 = -l - 2*l - 5*i + 404. Does 8 divide l?
True
Suppose 12*d - 6*d - 48 = 0. Is 8 a factor of d?
True
Let k(f) = f**3 - f + 1. Let j be k(1). Suppose 0 = w - 1 - j. Suppose 7*u = w*u + 105. Is u a multiple of 7?
True
Let d(c) = -c**3 - c**2 - 5*c - 3. Let y(m) = m**2 + m. Let b be y(0). Let h = b - 3. Does 15 divide d(h)?
True
Let l(n) = n**3 - 13*n**2 - 15*n + 14. Let c be l(14). Suppose c*b = 4*s - 2*b - 198, -5*b - 15 = 0. Is s a multiple of 16?
True
Suppose 3*b + 3*u = 120, -4*b + 168 - 33 = -u. Is 26 a factor of (-5)/b + (-549)/(-21)?
True
Suppose -156 = -3*s - 2*b + b, -156 = -3*s + b. Is 26 a factor of s?
True
Let x = -84 - -94. Is 4 a factor of x?
False
Let n = 302 + -182. Is n a multiple of 25?
False
Let d = 6 + -4. Suppose r - 48 