12 a factor of m(-11)?
True
Let c(s) = -9*s + 33. Does 38 divide c(-9)?
True
Let z(s) = -s**3 + 5*s**2 + 2*s - 1. Suppose 2*a - 5*c = 46, 0 = -a - 5*c - 7. Suppose 0 = -5*w - 3*j + a, -5*j - 50 + 15 = -3*w. Is 3 a factor of z(w)?
True
Let h(z) = z**2 + 8*z + 3. Let x(c) = -c**3 + 4*c + 1. Let i be x(-3). Suppose 0 = -j + 3*j + i. Is 2 a factor of h(j)?
False
Let i = 26 + -22. Suppose -a + 7*l - 4*l = -38, -4*l = -i. Does 32 divide a?
False
Suppose 20 = -0*h + h. Suppose h = -0*w + 5*w. Suppose -w*a + 92 = -2*v + 5*v, 2*v = -5*a + 73. Does 8 divide v?
True
Let t be 53 - (-2 + 0 + -2). Suppose -196 = -4*k - 5*j, -5*k = -2*j - 302 + t. Does 10 divide k?
False
Suppose 3*f - 9*n - 4095 = 0, -f - 5*n = -210 - 1115. Is 45 a factor of f?
True
Is -16*(7 + -10 - 218) a multiple of 16?
True
Let o = 930 + -588. Is 6 a factor of o?
True
Suppose 7*f - 10*f - 5*q = 21, 0 = -q - 3. Let v(z) be the second derivative of -13*z**5/20 + z**4/6 + z**3/6 - z. Is 31 a factor of v(f)?
False
Let l be -1 - 1/(-1) - -4. Suppose -19 = l*p + 3*g + 17, 4*p + 28 = -5*g. Does 7 divide (-6)/p + (-39)/(-6)?
True
Let k(a) = 34*a + 52. Does 30 divide k(7)?
False
Let x = -327 - -429. Is 4 a factor of x?
False
Let t(u) = u**2 + 9*u + 3. Let c be t(-9). Suppose -c*k - k = -136. Suppose 8 = -i + k. Is i a multiple of 13?
True
Let p = -12 + 16. Does 7 divide (-18*p/(-60))/(2/135)?
False
Suppose -77 = -5*c + 93. Suppose 64*v - 52 = 60*v. Let r = c - v. Does 14 divide r?
False
Suppose 2*i - 6*x + 2*x + 6 = 0, i = -4*x + 15. Suppose -2*h + 4 = -2. Suppose i*n = -h*w + 18, 2*w + 3*n = -2*n. Is 5 a factor of w?
True
Let z = -2 - -6. Suppose 21 = 5*a - z. Suppose 137 = 2*y + d, -a*y = 5*d - 39 - 296. Is y a multiple of 14?
True
Let f = 13 + -17. Is (-159 + 3)/f + 5 + -2 a multiple of 7?
True
Let o(a) = -6*a + 81. Is 7 a factor of o(10)?
True
Suppose 2*u - 2 = 0, i + u - 9 + 3 = 0. Suppose i*l - 598 = 532. Let q = l - 97. Does 34 divide q?
False
Suppose -4*n - 2*u + 940 = 0, 0 = -4*n - u + 4*u + 950. Suppose 0*a = 4*a - n. Let b = 108 - a. Is 18 a factor of b?
False
Let z(c) be the third derivative of c**6/120 + 19*c**5/60 - c**4/12 - 11*c**3/3 + 12*c**2. Is 5 a factor of z(-19)?
False
Let l(m) = 8*m + 4. Let c be l(3). Suppose -y = 4 - c. Is 8 a factor of y?
True
Is 13 a factor of ((-39)/(-117))/(314/312 - 1)?
True
Suppose -r = -i - 6, 6*r - r + 20 = -5*i. Let h(j) = 49*j**3 - 1. Does 24 divide h(r)?
True
Let n be (1103/3 - 1)*9/6. Suppose 5*u = 365 + n. Is 22 a factor of u?
False
Let j(q) = q**2 - 7*q - 2. Let a be j(7). Let k be (-1 - 5)/(-3) - a. Suppose -w = -k*w + 144. Is 18 a factor of w?
False
Let r(b) be the first derivative of -b**2/2 + 3*b - 4. Let q be r(2). Is 5 + -8 + q*15 a multiple of 4?
True
Suppose 9*g - 4*g - 153 = 4*q, 0 = g - 4*q - 21. Suppose -s = 2*c - 0 - 14, -5*c = 2*s - g. Suppose c*j - 74 - 136 = 0. Does 7 divide j?
True
Let d(u) = u**2 - 6*u + 2. Let b(h) = 4*h + 8*h - 1 - 2*h**2 - 6*h. Let t(w) = -4*b(w) - 3*d(w). Does 21 divide t(5)?
False
Suppose 10*q = 2*q + 11256. Does 21 divide q?
True
Suppose 2430 = 3*y + 3*y. Let t = -275 + y. Is 10 a factor of t?
True
Let x be (-29)/2*12/(-3). Suppose 2*y = -2*g + x, -3*y = -4*y + 2*g + 29. Does 29 divide y?
True
Let l(q) = -q**3 + 34*q**2 + 78*q - 76. Does 20 divide l(36)?
True
Let m(j) = -204*j + 15 - 8 - 7. Let q be m(1). Let d = -146 - q. Is d a multiple of 29?
True
Let y = 0 - -4. Suppose 0 = 3*l - y*w - 21, -15 = -l - 0*w + 4*w. Suppose l*i + i - 5*z = 273, 5*i - 4*z - 348 = 0. Is 22 a factor of i?
False
Let d = -48 + -16. Suppose -3 - 1 = 2*t, 2*s + 5*t + 92 = 0. Let f = s - d. Does 23 divide f?
True
Let f(o) = -o**2 + 13*o - 3. Let z be 28/(-98) + (-16)/(-7). Suppose -44 = -4*k - x, -z*k - 2*x - 55 = -7*k. Is f(k) a multiple of 5?
False
Let g(v) = v**3 + v**2 - v + 93. Does 8 divide g(0)?
False
Let g(v) = 4*v**3 - v**2 + v - 1. Let a be g(1). Suppose -311 = -a*n - p, 5*p = 8*p + 3. Is n a multiple of 26?
True
Suppose 0*t - 5 = -5*t. Let o be t/1 + 2/1. Suppose 4*p = -5*d + 250, -5*d = -o*p - 114 - 136. Does 16 divide d?
False
Suppose -9*b + 4*b + 775 = 0. Suppose -i = 3*n - 89, 4*n - b = -n + 5*i. Is n a multiple of 3?
True
Let d = 40 + -25. Suppose -2*s = -d + 17. Is 34 + (-4 - s - -4) a multiple of 9?
False
Suppose -17700 = 36*l - 108780. Is l a multiple of 22?
True
Let p(i) = i**3 - 4*i**2 - 6*i + 2. Suppose -5*s + s - 3*l = -47, 0 = -2*l + 2. Let f = s + -5. Does 10 divide p(f)?
False
Let b(z) = -3*z - z - z - z**3 + 9*z**2. Let j be b(7). Does 14 divide j*3/(36/8)?
True
Let p = 15 + -9. Suppose 3*q - 3*c - p = -0*q, c = -q + 2. Is (-3)/((-6)/32) - q a multiple of 14?
True
Does 35 divide 2/(-9) - (6 + (-64384)/72)?
False
Let t(n) = -n**3 - n**2 - n + 39. Suppose p = 3*p. Does 13 divide t(p)?
True
Let q = -5 + 8. Suppose -3*a = -4*y, 0 = 3*y - 3*a + q. Suppose 5*r - 304 = -y*h, 269 = 3*h - r - r. Is h a multiple of 31?
True
Let p be ((-24)/(-10))/((-18)/(-600)). Suppose -5*a = -0*t + 5*t + p, -5*t = 0. Is 4/a - (-226)/8 a multiple of 13?
False
Let q = 218 + -210. Is 8 a factor of q?
True
Let t = -1798 + 5551. Is t a multiple of 24?
False
Let z = 235 + 78. Is 8 a factor of z?
False
Suppose 7*a = a + 3078. Is 48 a factor of a?
False
Let c(h) = -4*h**3 + h**2 - 2*h - 9. Let r(j) = -9*j**3 + 2*j**2 - 5*j - 18. Let t(k) = -7*c(k) + 3*r(k). Is 9 a factor of t(0)?
True
Let c be -1*(-3 + (1 - 2)). Let g = c + 19. Is g a multiple of 5?
False
Suppose -r + 384 = -3*v - 872, 4974 = 4*r - 2*v. Does 25 divide r?
False
Let o be 1*7 - (-9 - -12). Let g(z) = z**3 - 5*z - 2. Let d(j) = -6*j**3 - j**2 + 26*j + 10. Let i(v) = o*d(v) + 22*g(v). Is i(-4) a multiple of 29?
False
Suppose 2*q = -j, 15 = 2*j + 3*j - 5*q. Suppose j*m + 66 = 4*m. Does 11 divide m?
True
Let g be 5120/45 + (-2)/(-9). Let h(s) = -79*s. Let a be h(1). Let z = g + a. Does 8 divide z?
False
Suppose 0 = -2*q + 9 - 1. Suppose -m + d = -241, q*d + 1204 = 5*m - 0*d. Is 12 a factor of m?
True
Let r be 683/1 - (0 - (6 - 5)). Suppose 7*a - 380 - r = 0. Is 38 a factor of a?
True
Suppose -7*k - 483 = 371. Let l = -72 - k. Is 10 a factor of l?
True
Let j(f) be the first derivative of -f**3/3 - f**2/2 - 5. Let d(l) = -2*l**2 - 16*l + 10. Let i(s) = d(s) - 3*j(s). Does 6 divide i(13)?
False
Let a be 8/(-24) + (-182)/(-6). Suppose 8 + a = i. Let m = i + -12. Does 26 divide m?
True
Let w = -16 - -16. Suppose 3*j + 15 = w, 2*i = 3*j + 372 + 119. Is i a multiple of 14?
True
Suppose 3 + 3 = 2*q. Suppose 0*p + r + 22 = p, q*r + 87 = 4*p. Let g = -12 + p. Is 9 a factor of g?
True
Let c(g) = 3*g**3 + 3*g**2 + 4*g - 16. Does 24 divide c(4)?
True
Suppose 4197 = -5*j + q, -j + 2*j + 2*q + 846 = 0. Is (1/(-2))/(14/j) a multiple of 10?
True
Let d(a) = 2*a**3 - 3*a**3 - 12*a + 0 + 8*a**2 + 8. Is 2 a factor of d(6)?
True
Let a(q) be the third derivative of -q**4/4 - 11*q**3/3 + 7*q**2. Does 8 divide a(-10)?
False
Let s = 11 + 6. Suppose r - 2 + s = 0. Let p = 29 - r. Is p a multiple of 22?
True
Suppose 0 = 2*h - 5*h. Suppose 2*j + 200 = 3*q, h*j = 3*j - 6. Is 16 a factor of q?
False
Let y be (2/(-2))/(6/(-12)). Suppose -y*a + 46 = x, -2*a = -4*x - x + 266. Does 13 divide x?
True
Let t(c) = -242*c**3 - 3*c**2 - 7*c - 5. Is t(-1) a multiple of 8?
False
Let u = 14 + -19. Does 4 divide 7/(-35) - 131/u?
False
Let a be ((-87)/(-9))/(1/33). Suppose -3*u + a = 2*u + q, -q + 4 = 0. Suppose 2*n - w - u = 0, -2*n + 0*w = 3*w - 51. Is 14 a factor of n?
False
Suppose -2*i = -3*w + 4*w - 430, -4*w + 1706 = i. Suppose 5*v - 5 = 0, w - 142 = 3*p - 4*v. Does 24 divide p?
True
Let u(s) = 2*s - 9. Let l be u(5). Does 11 divide (1/l)/((-4)/(-184))?
False
Let t(b) = b**3 + 10*b**2 - 13*b - 1. Suppose 0 = -o, -5*o + 16 = 2*h + 2*h. Let w(k) = k**2 - 8*k + 5. Let r be w(h). Is t(r) a multiple of 8?
False
Let s(i) = -47*i - 74. Is s(-4) a multiple of 57?
True
Let q(f) = f**3 + 4*f**2 - 3*f - 7. Let c be q(-4). Suppose -5*n + 510 = 2*h, 4*n + c*h - 228 = 197. Does 21 divide n?
False
Let w be 21/9 - (1 + (-10)/6). Suppose 5*x + y - 263 = 0, w*x - 15 = -2*y + 140. Does 12 divide x?
False
Is 63 a factor of 838 + -48 - (9 + 0)?
False
Let n = -199 + 389. Is 10 a factor of n?
True
Let l be 3 - (9 + 1)/5. Is 48 a factor of 1 + 0 + l - (-2414)/17?
True
Let s(m) = -m**3 - 5*m**2 + 15*m + 25. Let w be s(-7). Does 4 d