(h) be the first derivative of -h**3/3 - 9*h**2/2 + 14*h - 18. Is 4 a factor of f(y)?
True
Suppose 2*h - 256 = -42. Let j = h - 33. Does 12 divide j?
False
Let i = -29 + 33. Is 13 a factor of 2 + (-5)/i - (-314)/8?
False
Let j(m) = 5*m**2 + 8*m - 68. Is 69 a factor of j(-12)?
False
Let g(n) = 73*n - 22. Is 61 a factor of g(8)?
False
Is (-325*1 - -5)*(-2 - 2) a multiple of 16?
True
Let j = 19 + -11. Let g be (-6 + j)/((-4)/(-6)). Is g/(-4) + (-55)/(-4) a multiple of 13?
True
Suppose 6*s = -6*s + 84. Is s a multiple of 7?
True
Let a = -5 - -7. Suppose -2*j + 3*n + 16 = 0, 3*j = -a*j - 4*n - 6. Does 27 divide (-1)/6*j*-177?
False
Is 18 a factor of (9576/(-95))/(2/(-10))?
True
Suppose l = 2*n + 630, -8*l + 7*l + 5*n + 639 = 0. Is 16 a factor of l?
True
Does 12 divide ((-13)/(-3))/(67/4422)?
False
Let g = -199 + -14. Does 9 divide g*(-3)/9 - -3?
False
Suppose -5*m + 4*i - 42 = -0*m, i - 15 = 2*m. Let o(n) = 20*n**3 - n. Let q be o(1). Let s = m + q. Is 13 a factor of s?
True
Let o(m) = -89*m**3 - 13*m - m**2 + 5*m**3 + 12*m. Let u be 0 + 2/2 + -2. Does 28 divide o(u)?
True
Let r be (28/12)/(-7) + 3074/6. Suppose 0 = 42*k - 46*k + r. Is k a multiple of 32?
True
Let k be 0 + 8/(-12)*-3. Let n be k + (0 + 2)/2. Suppose -4*c + n = -0*s + 3*s, -5*c - 15 = 0. Is 5 a factor of s?
True
Let f = -279 - -184. Suppose -4*w + j + 92 = 0, -3*j + 108 = 4*w - 0*j. Does 9 divide f/(-4) + (-18)/w?
False
Suppose -705*i = -704*i - 10. Does 4 divide i?
False
Let f(b) = -b + 12. Let i be f(7). Suppose 0*w - 335 = -i*w. Is w a multiple of 34?
False
Suppose -21 = -4*c - 3*v, 0*v + 3*v - 9 = 0. Suppose 0 = c*n - 3, -3*z + 2*n = -0*n - 190. Is 8 a factor of z?
True
Is ((-59)/236)/((-3)/39252) a multiple of 69?
False
Let l(k) be the second derivative of -k**4/12 - 5*k**3/2 + 3*k**2 - 8*k. Let b be l(-15). Suppose 0 = -5*s - 2*m + 79, b = -s - m + 23. Does 3 divide s?
True
Suppose -3*i + 3 + 0 = 0. Let r be 5*i*20/(-5). Does 14 divide (-202)/(-5) - (-8)/r?
False
Is 239*(15 + -19 + -1 + 6) a multiple of 7?
False
Suppose -1559 = -4*r + x, -4*x + 0*x = 3*r - 1174. Is 30 a factor of r?
True
Let r = 152 - 150. Suppose 3*z - 394 = -4*c, 2*z + 2*c - 512 = -r*z. Is z a multiple of 21?
True
Let g = 982 + 144. Does 11 divide g?
False
Suppose -27*u = -25*u - t - 1337, -5*u - 3*t = -3348. Does 17 divide u?
False
Let h(t) = -2*t. Let s be h(-2). Suppose -3*i = -2*r - 14, -6 = 5*i - 0*r + s*r. Suppose -12 = -4*a - 0*a, 2*a - 30 = -i*g. Is g a multiple of 6?
True
Suppose a - 245 = 5*w, -5*w + 4*w - 3*a = 65. Is 3 a factor of (-6)/(-4) - (-5 + w/4)?
False
Let z(n) = n - 2. Let h be ((-16)/28)/(3/(-21)). Let y(w) = w - 2. Let f(k) = h*y(k) - 5*z(k). Is 7 a factor of f(-5)?
True
Let k = -55 + 47. Let w(g) = -10*g - 8. Is 9 a factor of w(k)?
True
Is 17 a factor of (-1 + (-38)/(-4))/((-37)/(-222))?
True
Let d(f) = -2*f + 5. Let r be d(9). Let v = r + 24. Let q = v - -1. Does 7 divide q?
False
Let x = -19 + 5. Let j = -14 - x. Suppose 4*a - 17 - 51 = j. Does 7 divide a?
False
Let a(z) = -247*z**3 - 4*z**2 - 19*z - 38. Does 12 divide a(-2)?
False
Let b be 72/21*7/2. Does 17 divide (-3)/b + (-274)/(-8)?
True
Let f = 4853 + -2164. Let u = 965 + f. Is u/56 + 1/(-4) a multiple of 15?
False
Let l(w) = 0*w**3 - 3*w + 5 + 0*w**3 + w**3 - 2*w**3 + 3*w**2. Does 44 divide l(-5)?
True
Let f = 12 - 8. Suppose 0 = b + 2, -79 - 45 = -4*m + f*b. Let x = 55 - m. Is x a multiple of 8?
False
Let n(w) = 7*w - 5*w**2 - 16 + 5*w**3 - 4*w**3 - 4*w**2 + 2*w**2. Is 6 a factor of n(7)?
False
Let k(s) = -16*s - 16. Let h be k(-3). Is 41 a factor of 1*-4*2/(h/(-772))?
False
Let m(f) = 2*f**2 - f. Let j be m(-2). Suppose 0*n + j = 5*n. Is 1*(1 - -1) + n a multiple of 4?
True
Suppose t + 2*t - r = 155, -5*t = r - 261. Does 26 divide t?
True
Suppose -3*w + 354 = -3*g, 5*w - 590 = -6*g + g. Does 5 divide w?
False
Let d(j) = j**2 - 18*j + 11. Let l be d(12). Let q = l - -114. Is 14 a factor of q?
False
Is 20 a factor of (0 + 831/2)*4/6?
False
Let l = -7 + 10. Suppose 4*q + 5*r + 13 = 0, -4*r - 10 = -l*q + 6*q. Is 31 a factor of q/(688/(-228) - -3)?
False
Let n = 20 - 15. Suppose n*x = 4*x + 48. Let h = x + -24. Is 12 a factor of h?
True
Let z be 2/4 - (-279)/6. Suppose -38 = -2*m - 46. Does 11 divide -1 + 2 + z + m?
True
Suppose -5*d - 3 = -3*k + 6, -4*k = 3*d - 12. Is (k - 3) + 50 - 0 a multiple of 12?
False
Let h = -29 - -33. Suppose 0 = -5*z - 3*c + 910, 0 = h*z + 4*c - 322 - 406. Does 13 divide z?
True
Suppose -27*n + 11443 - 3586 = 0. Does 5 divide n?
False
Suppose -31*b = -12959 + 4093. Is 26 a factor of b?
True
Let h = -6 - -10. Let b(o) = -o**3 + 8*o**2 - 5*o - 9. Let j be b(7). Suppose 3*r - 42 = -n, 70 = j*r + h*n - 7*n. Is 7 a factor of r?
True
Suppose 0 = -3*z + 1 - 13. Let j be z + (6/2 - -37). Suppose 5*q + j = 176. Is q a multiple of 15?
False
Let z = 3432 - 1584. Does 84 divide z?
True
Let d = 163 + -92. Suppose -u - d = -t - t, t + 5*u - 41 = 0. Is t a multiple of 6?
True
Suppose -6 = -h - 2*h - 3*n, 48 = 4*h - 4*n. Is 14 a factor of (h/(-3))/(1/(-12))?
True
Let w(g) = -g**2 + 14*g - 7. Let n be w(13). Suppose n*o + 72 = 8*o. Is 15 a factor of o?
False
Let r = -108 + 803. Is 8 a factor of r?
False
Let c(l) = l**3 + 11*l**2 - 11*l + 12. Let f be c(-12). Suppose 4*d - 10 - 18 = f. Is d a multiple of 4?
False
Is 194 + (-18)/(-12)*2 a multiple of 3?
False
Suppose 0 = -3*h + 5 - 17, 34 = 2*i - h. Is 7 a factor of i?
False
Suppose -4*h - 33 = -g, -2*g = 2*h - h + 15. Let w = h + 24. Is 3 a factor of w?
True
Let j be 3*(-2)/(-36) + (-302)/12. Suppose -8 - 4 = 3*o + 3*y, 4*o = y - 41. Is 2 - o/(-3) - j a multiple of 8?
True
Let d be (-4)/12 + 102/9. Let g = d - 5. Does 3 divide 130/18 - g/27?
False
Let b be -3 + 11 - 2/1. Suppose 0 = b*o - 30 - 294. Is o a multiple of 4?
False
Does 4 divide (32/(-1))/((-51)/102)?
True
Is 3778/9 - 12/(-54) a multiple of 42?
True
Let y(z) = -26*z + 531. Is y(0) a multiple of 42?
False
Suppose -3*m = 2*c - 4, -m = -4*c + 29 - 7. Suppose -c*r = 291 - 776. Does 30 divide r?
False
Suppose -5*b + 4*b + 474 = j, -j + 471 = 2*b. Is j a multiple of 53?
True
Let t(w) = -3*w**2 - 61*w + 15. Is t(-19) a multiple of 40?
False
Let g be 1 + 3/((-12)/(-52)). Let a be (-3)/(-12) - g/(-8). Suppose 0*v - 54 = -a*v. Does 9 divide v?
True
Suppose 5*p - 667 = -2*a, 5*p - 2*a - 655 = -7*a. Suppose -2*w - 37 = -p. Does 12 divide w?
False
Let v(t) = -14*t**3 - 8*t**2 + 20*t + 17. Let s(k) = 5*k**3 + 3*k**2 - 7*k - 6. Let i(r) = -11*s(r) - 4*v(r). Is i(4) a multiple of 8?
False
Let b(q) = -q**3 + 11*q**2 + 7. Let h be ((-4)/6)/(2/(-3)). Let t be (h + -2)/(13/(-143)). Is 4 a factor of b(t)?
False
Is 66 a factor of (-952)/51*(1 - 615/21)?
True
Let r = 3965 - 2759. Is r a multiple of 67?
True
Let a = -16 - -12. Is 15 a factor of (-361)/a + 11/(-44)?
True
Let z = -13 + 13. Suppose 4*t + 4*c - 124 = z, -3*c = -t + 13 + 10. Let k = -24 + t. Does 2 divide k?
False
Suppose 5*i - 3*k = 92, -7*k = -3*i - 4*k + 60. Let m be -3 - (-12 + i/4). Suppose m*o - 368 = -43. Does 16 divide o?
False
Let n be ((-49)/14)/((-3)/(-78)). Let x = -39 - n. Does 17 divide x?
False
Let v(l) = -206*l - 100. Is v(-8) a multiple of 36?
True
Let f(t) = t**2 - 6*t - 10. Let l be f(7). Let z be 1 - l*44/(-12). Does 16 divide 545/25 - 2/z?
False
Is 5 - 1 - (-168*7)/4 a multiple of 13?
False
Let c(t) = t**3 + 8*t**2 + t + 10. Let k be c(-8). Let q(v) = v**2 + 3*v + 3. Let p be q(-4). Suppose 3*s - p - 35 = 4*n, -k*s + 28 = 5*n. Is 14 a factor of s?
True
Suppose 12 = j + 4. Suppose 0 = 5*v + 2*r - 15 + 4, 2*r - 3 = 3*v. Let y = v + j. Is y a multiple of 6?
False
Let y be 7 + -1 - (13 + -12). Suppose -3*w - 94 = -5*a, y*a + 5*w - 102 = 4*w. Does 20 divide a?
True
Suppose -3*c - 5*b = -1031, -4*b + 6*b = -c + 342. Is c a multiple of 44?
True
Suppose 4*x - 21 = 3*j + 6, 1 = x + 5*j. Let b(q) = 2*q - 5. Is b(x) a multiple of 2?
False
Suppose i - 530 = -0*i - 4*q, 3*i + 4*q = 1550. Is 17 a factor of i?
True
Let c(y) = 12*y**2 + 5*y - 55. Is c(5) a multiple of 15?
True
Let g(t) = t**3 + t**2 - t. Let l be g(-2). Let y be -4 - -8*(-1)/l. Is -4 + y - -4 - -64 a multiple of 18?
False
Does 29 divide (-62 - 8)*20/(-14)?
False
Is (-4)/6 - 1488/(-18) a multiple of 3?
False
Let z be 16 + -17 - 1*-3. Is 21 a factor of ((-1)/(-3))/(z/(-24)) + 301?
False
Let r(l)