-580. Does 36 divide v?
False
Suppose 5*o - 26 = 4*v, o + 3*v = -1 - 9. Suppose -4*x - l + 108 = l, x = -o*l + 21. Is 4 a factor of x?
False
Suppose 5*h + 20 = 0, 2*t = -2*t + 3*h + 2496. Does 35 divide t?
False
Suppose 9*r - 4*r + 4*x = -17997, 0 = -3*r - 5*x - 10806. Let h be 4/6*r/(-22). Let s = h - 47. Is 14 a factor of s?
False
Let d = -30 - -39. Suppose -43 - 29 = -d*p. Is 4 a factor of p?
True
Let u(y) = -14*y**3 + 8*y**2 - 6*y - 9. Does 16 divide u(-5)?
False
Let l = 159 - 296. Let d = l + 300. Does 22 divide d?
False
Let w(c) = 32*c + 101. Is 40 a factor of w(32)?
False
Let p be ((-3)/5)/(3/(-15)). Suppose -4*t + p*i + 399 = 0, i = 4*t + 3*i - 414. Is t a multiple of 34?
True
Let f(z) = -z - 1. Let d(a) = -a**2 + 2*a - 9. Let w(g) = -d(g) + 6*f(g). Suppose 4*p - 57 = -13. Does 18 divide w(p)?
True
Let m(a) = -a**2 - 4*a + 5. Let k be m(-4). Suppose 316 = 5*t + k*i + 41, t + 4*i - 43 = 0. Suppose 76 = 4*d + 4*n, 3*d + 10 - t = -5*n. Does 23 divide d?
True
Let g = 291 - 270. Does 21 divide g?
True
Is 13 a factor of 468/7*5684/232?
True
Suppose -2*y + 4*c = 8*c - 464, -5*c = y - 244. Does 14 divide y?
True
Let k be 130 + 4 + (-3 - 0). Let z = k + -78. Is z a multiple of 20?
False
Let k = 100 + -71. Suppose 10*j - 5 = 9*j. Suppose -j*t + k + 46 = 0. Is 15 a factor of t?
True
Let z(y) be the third derivative of -y**5/60 - 5*y**4/8 - 7*y**3/2 + 3*y**2. Is 4 a factor of z(-13)?
False
Let f = -109 + 128. Suppose 2*h - f - 25 = 0. Is 4 a factor of h?
False
Suppose -64*n + 2592 = -55*n. Does 36 divide n?
True
Let z = -240 + 433. Is 3 a factor of z?
False
Let m(r) = 30*r. Let j be m(18). Suppose -16*i = -25*i + j. Is i a multiple of 15?
True
Let a be 7/3 - (-4)/36*-3. Suppose a*x - 285 = -15. Is 27 a factor of x?
True
Let f be 0/((2 - 6)/2). Suppose 3*o = -f*o + 24. Suppose -30 = -k + o. Does 16 divide k?
False
Suppose 0 = 193*u - 163*u - 840. Is 7 a factor of u?
True
Let l(b) = 4*b + 2. Suppose w + 4 - 14 = -4*r, 2*r + w - 4 = 0. Suppose 2*q - r = 1. Does 10 divide l(q)?
True
Let b(k) be the first derivative of 43*k**2/2 - 5*k + 14. Is 14 a factor of b(1)?
False
Suppose 19 = 2*a + 13. Suppose 0*w + a*w - 27 = 0. Is 3 a factor of w?
True
Suppose 1124 = 16*j - 5564. Is j a multiple of 4?
False
Suppose -6*l + 2771 - 53 = 0. Does 44 divide l?
False
Suppose -3*h + 16*h = 6656. Is 7 a factor of h?
False
Let d = 17 + -11. Let v(y) = -y**3 + 7*y**2 - 4*y + 7. Let b be v(d). Let p = 63 - b. Is 22 a factor of p?
True
Suppose -2321 = 7*r - 5891. Is 17 a factor of r?
True
Let n(h) = h**3 - 21*h**2 - 11*h - 67. Is 5 a factor of n(22)?
True
Let h(x) = -x**3 - 3*x**2 - 2*x - 7. Let z be h(-3). Let m be 4 + -5 - z - -1. Is 10 a factor of (-2*22)/(-4) - m?
True
Let d(v) = 205*v + 3. Let g be d(1). Suppose -g - 37 = -7*r. Is 6 a factor of r?
False
Let w(n) = -n**3 - 13*n**2 - 8*n - 3. Let h(c) = 2*c**3 + 27*c**2 + 17*c + 5. Let x(g) = 6*h(g) + 13*w(g). Let m be x(-7). Is 9 a factor of ((-9)/m)/((-9)/135)?
True
Let f be -1*(48/(-60) - 1/5). Let p = -5 + 8. Is (p/4)/(f/8) a multiple of 3?
True
Let n be 4/(-3 - -2) + 2. Let q(y) = -21*y**2 + y - 3. Let w be q(n). Let h = -53 - w. Is h a multiple of 6?
True
Let t be 4 + (1 - (-2)/(-2)). Suppose 7*r - 103 = -19. Let l = r - t. Is 8 a factor of l?
True
Let q be (12/10)/((-6)/20). Let u(p) = 5*p**2 - p - 9. Does 15 divide u(q)?
True
Suppose -11 = -4*l - 31, 5*p - 175 = 5*l. Does 10 divide p?
True
Let c be 4/10 + (-32)/(-20). Suppose -r = -5, -34 = -4*g + c*r + 12. Is 6 a factor of g?
False
Let g(r) = -1 - 2*r - 4*r**3 + 5*r - 3 + 3*r**3. Is g(-3) even?
True
Suppose 5*l = 2*l + 9, 5*j + 4*l - 92 = 0. Is 4 a factor of (2/(-6))/(j/(-960))?
True
Suppose 2 = -0*r + r. Let l(v) = 0*v + 2*v**3 - r*v**2 - v + 6*v - 4*v**3 + 5. Is 11 a factor of l(-3)?
False
Let g = -7 - -16. Suppose 3*s = 12, -3*r - 2*s + 5 + g = 0. Suppose -5*p - 36 = -2*o - 0*o, -r*o + 54 = 4*p. Is 7 a factor of o?
False
Let b(j) be the first derivative of 50*j**3/3 - 3*j**2/2 - 2*j + 1. Is 17 a factor of b(-1)?
True
Let v(o) = 2*o**2 - 7*o + 33. Let g(i) = -3*i**2 + 11*i - 49. Let p(s) = 5*g(s) + 7*v(s). Let d be p(-10). Is 15 a factor of (-1)/(-2) - d/12?
True
Let g be ((-8)/(-10))/(40/300) + 2. Suppose 12 + 276 = g*v. Is 14 a factor of v?
False
Is (-2)/9 + 58825/45 a multiple of 21?
False
Suppose -4*a + 2*p + 4 = 0, 7*p + 8 = a + 3*p. Let k(h) = 3 - 12*h**2 + a*h + 11*h**2 + 0*h. Does 2 divide k(0)?
False
Let f(l) = -3*l**2 + 5*l - 7. Let w = 11 - 6. Let p be f(w). Let y = -17 - p. Does 20 divide y?
True
Suppose -4*v = -4*f - 20, -2*v - f = -2*f - 10. Does 25 divide (-45)/(-20)*v*20?
True
Let m be 4/(-14) + 58/7. Suppose z + 5 = -m. Let w = z + 33. Is w a multiple of 4?
True
Suppose -t = 3*f - 1400, -f + 1496 = 5*t - 5434. Is 78 a factor of t?
False
Let w be (8/12)/(1/9). Suppose -2*l + w = -58. Is 6 a factor of l?
False
Suppose -3*p - 18 = -4*y, -y + 6*y - 3*p - 24 = 0. Suppose 0 = 2*f + y, 0 = -4*b + 4*f - 3*f + 603. Does 25 divide b?
True
Suppose 0*k = 2*k. Suppose 4*f + f - 1275 = k. Is 15 a factor of ((-8)/(-20))/(3/f)?
False
Let j be (1/2)/(1/4). Let y be (-26)/8 + j/8. Does 9 divide (y/(-4))/((-1)/(-28))?
False
Let s(r) = 5*r**2 - 10*r + 31. Is 4 a factor of s(4)?
False
Suppose -3*x - x + 348 = 0. Suppose 2*n + 5*t - x = 0, 2*t - 95 = -2*n + 5*t. Is 23 a factor of n?
True
Suppose 13*r - 16*r = -3480. Is r a multiple of 18?
False
Let s(y) = 33*y**2 - y + 2. Is 66 a factor of s(2)?
True
Suppose -71*k = -76*k + 465. Is k a multiple of 5?
False
Suppose -23 = -4*x - 0*x - 5*i, -x + i = 1. Let t(w) = -2*w**3 + 238*w**2 - 10 + 3*w**3 - 4*w - 229*w**x. Is 6 a factor of t(-9)?
False
Let c(l) = -903*l + 20. Does 30 divide c(-2)?
False
Let d(k) = k**3 - 12*k**2 + 11*k + 3. Let r be d(12). Let g = r + -58. Is 33 a factor of g?
False
Suppose -2*y + 715 = -3*k, 2*k = 5*y + 116 - 589. Let v = -134 - k. Is 33 a factor of v?
False
Let t = 1761 - 1248. Is 57 a factor of t?
True
Let c = 6 - 2. Suppose -c*n = n - 45. Is n a multiple of 9?
True
Suppose -4*g = -7*g + 1581. Let x = g - 2. Suppose x = 4*h + h. Is h a multiple of 15?
True
Suppose 3*q - 1062 = -3. Is q a multiple of 11?
False
Suppose -2*x = -4*x + 14. Let s(t) = t**3 - 7*t**2 + 5*t + 8. Let o be s(6). Suppose 50 = -o*y + x*y. Is 3 a factor of y?
False
Let z(c) = c - 9. Let y(h) = h - 4. Let l(n) = 7*y(n) - 3*z(n). Let j be l(1). Is (j + -1 - 3)*-46 a multiple of 15?
False
Suppose 4*g = -5*m + 105, 0 = -0*m - 4*m - 2*g + 90. Suppose 2*f + 7 = m. Is f a multiple of 5?
False
Let l(z) = -21*z + 14. Let w(p) = -41*p + 29. Let y(a) = 5*l(a) - 2*w(a). Is 53 a factor of y(-11)?
True
Let j(p) = 8*p - 10. Suppose 7 = -a + 3*g, -4*a = -2*g - g - 8. Is 15 a factor of j(a)?
True
Suppose -41 = n - 243. Suppose 3*f - 378 = -156. Suppose -f = -4*y + n. Is 27 a factor of y?
False
Let z = 60 - 54. Suppose -n - 3*f + 106 = -z*f, -2*f + 351 = 3*n. Does 23 divide n?
True
Suppose -9 = -3*o - 42. Let m = o - -11. Is 6 a factor of -1 + 17/(1 - m)?
False
Let p(o) = 1. Let n(f) = 15*f - 8. Let x(u) = n(u) - 6*p(u). Does 23 divide x(8)?
False
Suppose 0*c - 7*c - 252 = 0. Let m = -25 - c. Is 4 a factor of m?
False
Suppose 3*s - 2*t + 3*t + 34 = 0, -t - 14 = s. Let q be 6/4*(-20)/s. Suppose o + 0*o + 224 = q*b, 0 = 5*b + 4*o - 396. Does 13 divide b?
False
Let u = 56 - 42. Is u even?
True
Let y = 16 - 21. Let t(l) = -4*l - 7. Is 13 a factor of t(y)?
True
Let a = 1741 + -1236. Is 28 a factor of a?
False
Let q(n) = 254*n**2 + 45*n + 89. Does 8 divide q(-2)?
False
Let n = -1374 - -2541. Does 47 divide n?
False
Suppose -519 = -4*z + 225. Is 6 a factor of z?
True
Let b(q) = -q**3 + 3*q**2 + 4. Let k be b(3). Suppose -92 = -v + i, -k*v - 3*i = -6*i - 371. Suppose v - 2 = 4*u - m, u + 4*m - 36 = 0. Is u a multiple of 6?
True
Suppose 2743 = 2*k + 5*g - 5276, 2*k - 5*g - 8029 = 0. Is k a multiple of 17?
True
Suppose 0 = c + 3*c + 76. Let r(z) = -z - 10. Let x be r(0). Let b = x - c. Does 9 divide b?
True
Let v(f) = -2*f + 33. Let z be v(14). Let c be 4/8*(-1 + 1). Suppose z*q + 3*q - 320 = c. Does 8 divide q?
True
Is 9 a factor of 2 + (-9)/2 + 4360/16?
True
Let j(c) = c**3 + 21*c**2 - 31*c - 17. Let u be j(-22). Let x = -121 + u. Does 10 divide x?
True
Let w(a) = -a**2 - 8*a + 11. Let l be w(-9). Let x be l/3 - (-426)/9. Suppose p = 2*p - x