s 6 a factor of d?
True
Let r(t) be the first derivative of -t**4/4 - 2*t**3 - t**2 - 3*t - 4. Let m be (-4)/(-18) - 112/18. Is 9 a factor of r(m)?
True
Let h(y) = y**3 + 18*y**2 + 18*y - 14. Let a(s) = -s**3 - 17*s**2 - 17*s + 14. Let n(f) = -7*a(f) - 6*h(f). Is n(-6) a multiple of 20?
True
Suppose 710 = 6*s + 182. Let f be (s/(-10))/(1/(-5)). Suppose f*g - 20 = 42*g. Does 10 divide g?
True
Let j be 1868/28 - 10/(-35). Suppose 4*r + 5*f = 87, 5*r - 14 - j = 3*f. Does 9 divide r?
True
Suppose 8 = 3*b + 5*u, 4*u - 3*u = -2. Does 6 divide b?
True
Let y = 452 - 426. Is y a multiple of 13?
True
Let d = 2113 + -1123. Does 55 divide d?
True
Let k(i) = -4*i**3 - 5*i - 6. Let m be k(-2). Let v = 84 - m. Is 3 a factor of v?
True
Suppose g = -39*g + 5280. Is g a multiple of 46?
False
Does 7 divide -1*(4 + -3) + 106?
True
Let o(h) = -h**3 + 15*h**2 - 19*h + 8. Let f be o(13). Suppose 242 = 4*j + 4*z + 18, 4*j - 224 = z. Let u = f - j. Does 22 divide u?
False
Let u = -243 - -951. Is u a multiple of 53?
False
Let q be (69 + 1)*(0 + 10/4). Does 11 divide (-4)/6 + 3/(45/q)?
True
Let l(u) = -3*u - 1. Let v(r) = 3*r. Let z(t) = -6*l(t) - 5*v(t). Let c be z(-3). Let o(m) = -9*m + 3. Is o(c) a multiple of 18?
False
Let w(l) = 2*l + 59. Is 4 a factor of w(-17)?
False
Suppose -20*g = -9*g - 308. Is g a multiple of 19?
False
Suppose -6*s - 5248 = -6*m - 7*s, -5*m = 5*s - 4390. Does 24 divide m?
False
Let f be -1 - 0 - (0 + 3). Let m be (-7 - 1)*(-2)/f. Does 2 divide (-8)/m*1*2?
True
Let y = 106 - -189. Is 70 a factor of y?
False
Let z(y) = -y**3 - 29*y**2 + 57*y + 104. Is 7 a factor of z(-31)?
True
Suppose 2*r + 17 = 3*p, -2*p + p = r - 4. Suppose p*o - 5 = 5. Is 2 a factor of o?
True
Let j = 121 - -1342. Is j a multiple of 61?
False
Suppose 74*u + 450 = 80*u. Is u a multiple of 15?
True
Suppose 6*c - 5 = 163. Is 14 a factor of c?
True
Let j = 135 + -102. Is j even?
False
Suppose 0 = -5*r - 5*s + 625, 0 = -2*s - 2 + 8. Suppose -4*v + r = 10. Is v a multiple of 7?
True
Let r(g) = -7*g**2 + 2*g**3 - g**3 + 7 - 2 + 6*g. Let h be r(6). Let j = 9 - h. Is j a multiple of 2?
True
Let k(o) be the second derivative of o**6/360 + o**5/60 - o**4/3 - o**3/6 + 5*o. Let b(i) be the second derivative of k(i). Is 7 a factor of b(-6)?
False
Suppose 20*u - 55*u + 101290 = 0. Is u a multiple of 8?
False
Is 16 a factor of (-1)/13 - (-30045)/195?
False
Suppose 0 = 5*g - 5*l + 10, 2*g - g = 5*l - 10. Suppose g = 19*t - 14*t - 140. Does 5 divide t?
False
Suppose -3*t + 116 = c, -5*t + c = -233 + 37. Is t a multiple of 19?
False
Let l be (-1 - (-12 + 2)) + 0/2. Suppose x = -l*x + 150. Is 2 a factor of x?
False
Suppose 39 + 13 = -4*b. Let r = b + 17. Suppose -4*h = -r*k + 360 - 120, k - 2*h - 55 = 0. Does 15 divide k?
False
Let n = -1342 + 1844. Does 16 divide n?
False
Let u(c) = c**3 + 29*c**2 + 41*c - 23. Is u(-27) a multiple of 21?
False
Suppose 0 = -p - 1, 12 = -3*r - 5*p + 2*p. Let g(x) be the third derivative of -3*x**4/8 - x**3/2 + 28*x**2. Is g(r) a multiple of 10?
False
Let d(o) = 8*o + 6. Let y be (-26)/39*(-3)/(-2). Let i be 3 + 0 - (y + 1). Does 10 divide d(i)?
True
Suppose -2*f + 0*f - 20 = -4*h, -5*f - 35 = -5*h. Suppose x = h*x - 32. Is x a multiple of 12?
False
Let f(r) = -r**3 - 12*r**2 - 32*r + 12. Is f(-10) a multiple of 3?
True
Suppose 0 = 3*w + 3*u - 69, 2*w + u - 44 = -0*w. Suppose -j - 4*j = 5*h - 5, 0 = -5*h - j + w. Suppose 84 = 7*i - h*i. Does 14 divide i?
True
Let c = -73 - -214. Suppose -v = -x + 129, 3*v = -2*x + x + c. Is x a multiple of 11?
True
Let l(o) = 11*o**2 + 16*o - 224. Is 19 a factor of l(11)?
False
Suppose -3*s - 4 = -7*s, s = -2*m + 17. Suppose -4*p = -m, p + 17 = 5*n - 3*p. Suppose 2*r + 6*g - 2*g = 28, r - 20 = -n*g. Does 5 divide r?
True
Let a(t) = -t + 3. Suppose 74 = 4*y + 2*z, 6*z - z - 32 = -y. Let q be (y/2 - 4)*-2. Is a(q) a multiple of 12?
True
Let r(t) = t. Let j(n) = 9*n - 25. Let l(y) = -j(y) - 2*r(y). Does 20 divide l(-5)?
True
Suppose -2*d - 3*y - 17 = 2*y, -3*d = 4*y + 22. Let x(j) = j**3 + 5*j**2 - 6*j + 5. Let h be x(d). Suppose 0 = w - h*w + 76. Does 14 divide w?
False
Let m(c) = c**3 - 5*c**2 + 6*c - 10. Let h be m(4). Let g(d) = 19*d**2 + 4*d + 2. Does 14 divide g(h)?
True
Let k(u) = 3*u**2 + 6*u + 12. Suppose s - y = -6, -2*y - 18 = 5*s + 12. Does 12 divide k(s)?
True
Let s = -217 - -815. Is s a multiple of 13?
True
Is (75/10)/(3/36) even?
True
Suppose -856 = 7*v - 191. Let p(q) = 2*q**3 - 3*q - 4. Let c be p(-3). Let i = c - v. Is i a multiple of 18?
False
Let z(a) be the second derivative of a**7/840 + a**6/80 + a**5/120 - a**4/4 - 2*a. Let u(r) be the third derivative of z(r). Does 14 divide u(-6)?
False
Let h be ((-8)/7)/((-24)/84). Suppose -m + 375 = h*m. Is m a multiple of 25?
True
Let n(a) = 969*a**3 - a**2 - 10*a + 10. Is 44 a factor of n(1)?
True
Suppose -7 = -m - 2. Suppose 2*r + 3*q - 387 = 0, 6*q = q - m. Suppose 2*y + y = -3*b + r, -b = -y - 73. Is b a multiple of 23?
True
Let j be ((-4)/(-4) + 2)/1. Suppose -4*v = q - 15, -4*v + q = j - 12. Suppose -5*k - 97 = -v*l, 2*l + k - 53 = 2*k. Is l a multiple of 4?
True
Let a(c) = c**3 - 6*c**2 + 4*c - 6. Let i be a(6). Let z be (4/3)/((-4)/i). Let q = 13 + z. Is 3 a factor of q?
False
Let g(m) = 4*m - 14. Let h be g(4). Is 30 + (7 - 14) + 6/h a multiple of 5?
False
Let l(k) = k**3 - 20*k**2 + 75*k - 30. Is l(17) a multiple of 9?
True
Suppose -25 = -x - 9. Suppose 2*i + 2*i - x = 0. Suppose -i*g + 195 = g. Does 14 divide g?
False
Let c = 23 - 23. Suppose c = 2*u - 6*u + 1508. Suppose 0 = -5*l - 3*d + 550, 5*l - 133 = 5*d + u. Is 27 a factor of l?
False
Suppose 0 = -31*v + 33*v - 32. Is 7 a factor of 1/((-8)/(-1006)) - (-4)/v?
True
Suppose -5*l + 15 + 230 = 0. Suppose -4*z + 5*w + 173 = 0, 2*w + l = 3*z - 79. Is 21 a factor of z?
True
Let a(w) = -w**2 - 43*w - 52. Is 46 a factor of a(-15)?
True
Let i = 519 + -292. Suppose -t - 2 = -3, 2*t = -3*q + i. Does 15 divide q?
True
Suppose 7*u + 31 = x + 2*u, u + 5 = 0. Suppose d + x = 3*d. Suppose 0 = -2*l - 8, d*i = -i - l + 356. Is i a multiple of 23?
False
Let t = 78 + -48. Let r = t + -30. Suppose 4*b + r*z - 76 = 4*z, 3*z + 97 = 5*b. Does 5 divide b?
True
Let p(u) = -u**2 + 16*u - 8. Let w be p(12). Suppose w = 52*t - 47*t. Is t a multiple of 4?
True
Let z(q) = 6 + 4*q - 11*q + 4*q**2 - 3*q - 5*q**2. Let o be z(-10). Is ((-50)/(-4))/(o/12) a multiple of 6?
False
Is 14 a factor of (-21)/(-28) + 9245/20 + -4?
False
Let m(i) = -3*i**3 - 3*i**2 + 5*i + 17. Does 7 divide m(-3)?
True
Suppose 11*s - 6*s = 1270. Suppose 5*z + 0*z - 414 = 4*y, 0 = 3*z - y - s. Does 43 divide z?
True
Let s be ((-4)/(-14))/((-5)/(-35)). Suppose 2*r - 216 = -s*r. Suppose -4*u = -3*i - 120, 4*u - r = -5*i + 34. Is u a multiple of 10?
False
Does 16 divide (-32)/(-4) + 8 + 304?
True
Let v = -1357 - -2104. Is 7 a factor of v?
False
Let o(r) = -2*r**3 + 6*r**2 + 2*r + 9. Let i be o(5). Let j = -41 - i. Is j a multiple of 9?
False
Suppose 4*u + 2*u = 1524. Suppose 0 = 2*c - 5*y - u, -2*c = -y - 232 - 38. Does 13 divide c?
False
Suppose 0 = -4*j + 2*f + 4066, -j - j + 2*f + 2036 = 0. Is j a multiple of 16?
False
Let a = -4 + 9. Let s = -11 + a. Let z(u) = -u**3 - 5*u**2 - 4. Is z(s) a multiple of 11?
False
Let l(a) = -4*a**3 - 4*a**2 + 10*a + 9. Let r be 4*(3*(-1)/(-3) + -2). Is 30 a factor of l(r)?
False
Let u(z) = -7*z**3 - 33*z**2 - 31*z - 19. Let s(n) = 3*n**3 + 16*n**2 + 15*n + 9. Let v(l) = -5*s(l) - 2*u(l). Let q be v(-13). Let g = 2 - q. Does 3 divide g?
True
Let l be 15/(-5) + 29 + 0. Suppose 4*w - 2 - l = 0. Is 5 a factor of 0 + w/((-21)/(-30))?
True
Let o be (3/6)/(1/108). Suppose 3*i - 195 = -48. Suppose -4*s = -3*w - i, o = 4*s + w - 3*w. Is 16 a factor of s?
True
Suppose -4*c + 2*c + 2346 = -2*h, 5885 = 5*c - h. Does 10 divide c?
False
Let m(i) = -i**3 + 24*i**2 + 3. Let r be m(24). Suppose -r*c + 6 = 0, -222 = 2*f - 6*f - c. Is 13 a factor of f?
False
Let o be (-10)/(-6)*18/15. Let s(q) = 10*q**3 - 3*q**2 + q + 1. Is 27 a factor of s(o)?
False
Suppose -8*d = -13 - 19. Suppose 5*f = 2*c + 132 + 103, 160 = d*f + 4*c. Does 15 divide f?
True
Suppose l = -10 + 146. Suppose -3*a = -l + 7. Does 19 divide a?
False
Let c be ((-92)/(-6))/((-34)/(-51)). Let i = -27 + c. Is i + (4 - (-2 - 68)) a multiple of 23?
False
Let s(i) = -9*i**3 - 4*i**2 - 2*i +