p(x) = -x**2 - 11*x - 24. Let c be p(-11). Let o = -6 + 9. Does 4 divide (c/(-16))/(o/8)?
True
Suppose -2*c + 10 + 4 = p, -2*p = 4. Suppose -1567 + 47 = -c*y. Is y a multiple of 41?
False
Suppose 2*f - 4*f = -1448. Suppose -t + 40 + 96 = -2*b, b - f = -5*t. Is 29 a factor of t?
False
Let z = 34 - 32. Suppose z = -2*o + 10. Suppose o*d - 124 = 2*f + 18, -5*f = -4*d + 139. Does 9 divide d?
True
Suppose -7*q = -8*q + 1. Does 3 divide (q + -6)/(-10)*8?
False
Let s(t) = 22*t**2 - 2*t - 8. Does 8 divide s(6)?
False
Suppose 6 = -l + h + h, 3*l = -5*h + 26. Suppose l*r - r = 16. Is r a multiple of 16?
True
Let h(b) = 18*b**3 - b**2 + 6*b - 12. Is 7 a factor of h(2)?
True
Does 55 divide (-4406)/(-10) + 12/(-20)?
True
Let o(u) = -5*u**3 + u**2 - 3*u + 3. Let i be o(3). Let z = i - -242. Does 15 divide z?
False
Let l be ((-4)/(-8))/((-4)/192). Let w = 43 + l. Suppose 0 = 2*j - w - 31. Does 8 divide j?
False
Suppose 11813 - 1800 = 31*u. Is u a multiple of 5?
False
Suppose -28*n + 53*n - 6750 = 0. Is 10 a factor of n?
True
Suppose 2808 = 42*a - 16*a. Is 9 a factor of a?
True
Let x be 15/(-6)*16/(-10). Suppose -28 = x*u + c + c, 2*c = 2*u + 8. Let d(g) = -g**3 - 8*g**2 - 14*g - 2. Does 10 divide d(u)?
True
Let p = 12 + -24. Let v(n) = -2 + 2*n - 3 - 4 - 5*n. Is 10 a factor of v(p)?
False
Let j(x) = -x**2 + 24*x + 7. Is j(8) a multiple of 45?
True
Let b be ((-3)/(-6))/((-3)/60). Does 6 divide (-3 + (-15)/b)/((-1)/16)?
True
Let v = 476 + -952. Does 19 divide (v/49)/((-2)/7)?
False
Suppose 0 = 5*i - 76 - 99. Let h = i - 33. Suppose -x - 2*x + 78 = -2*b, h*x = 5*b + 63. Does 24 divide x?
True
Let a(b) = 11*b + 24. Does 34 divide a(20)?
False
Let n(j) = 9*j**2 + 35*j - 58. Is 17 a factor of n(13)?
False
Let q(x) = -3*x - 2. Let i be q(7). Let h be (1 - 2) + 4 - i. Let t = -18 + h. Does 2 divide t?
True
Let n(t) = t**2 - t + 4. Let d(y) = -5*y**2 + 4*y - 20. Let w(g) = 2*d(g) + 11*n(g). Let h be w(6). Is (-10 + h)*15/4 a multiple of 17?
False
Let z(x) = -x**3 - 20*x**2 + 22*x + 31. Let p be z(-21). Suppose a = 4*u + 26, -3*u = a - 1 + p. Is 6 a factor of a?
True
Let f be ((-4)/(-4))/(16/6 + -3). Let x(u) = -8*u**3 + 3*u**2 - u - 1. Does 53 divide x(f)?
False
Let u = -394 - -1409. Does 35 divide u?
True
Let j(a) = -a**3 + a**2 + a + 98. Let r be j(0). Suppose b - r + 21 = 0. Is b a multiple of 11?
True
Suppose -3*g - g + 602 = c, 4*g + 8 = 0. Suppose c = -2*f - 3*f. Is 18 a factor of f/4*1*-2?
False
Let c be (-221)/(-39) + (-1)/(-3). Let h(m) = -7*m**3 - 2*m**2 - 2. Let w(z) = -48*z**3 - 15*z**2 - 15. Let r(o) = c*w(o) - 45*h(o). Is r(1) a multiple of 27?
True
Let d = 52 + -52. Suppose d*b + 2100 = 14*b. Is 10 a factor of b?
True
Let s = -983 + 2006. Is s a multiple of 31?
True
Let p = 6023 - 3323. Does 11 divide p?
False
Suppose -2*u - 25 = 3*u. Let g be u + 1 - (3 - 3). Is (-34)/(-3) + g/(-6) a multiple of 11?
False
Let y(z) = 2*z**3 - 6*z**2 + 8*z - 12. Is 8 a factor of y(5)?
True
Let n(v) = v**2 - 3*v - 6. Let b = 9 + -6. Suppose b*i + 1 = 19. Is n(i) a multiple of 4?
True
Let o(p) = -244*p - 1056. Is o(-14) a multiple of 10?
True
Suppose h - 21 = 37. Suppose 5*c - h + 233 = 0. Does 7 divide 6/(-10) - 931/c?
False
Let u(z) = -4*z - 36. Let q be u(-16). Suppose t + 7 = q. Is 7 a factor of t?
True
Let h = 12778 - 9126. Does 83 divide h?
True
Let s be (1 - -1 - 84/63)*-3. Let a = 14 + -8. Is 18 - s/(a/(-9)) a multiple of 5?
True
Suppose 0 = -j + 3*k + 271, 2*j = j + 4*k + 269. Is j a multiple of 86?
False
Let t(u) = 6*u - 3*u**2 - u - 5*u**3 + 3*u**3 + 4. Suppose -4*y = -8, -4*y + 6*y + 4 = -2*w. Is t(w) a multiple of 16?
True
Let b be -19*(-1 - -2*1). Let j = -78 + 41. Let l = b - j. Does 18 divide l?
True
Let w(j) = 2*j**2 - 23*j - 83. Is w(-9) a multiple of 22?
True
Let s(k) = k + 6. Let f be s(-6). Let u(j) = -j**2 + j - 6. Let m be u(f). Does 22 divide (-2)/m + 720/27?
False
Let j = -44 + 87. Let z = -7 + j. Does 28 divide z?
False
Let y(t) = 9*t + 23. Suppose -4*m = 3*l - 15, -4*l + 20 = -0*l - 3*m. Does 17 divide y(l)?
True
Let j(r) = -3*r + 2*r - 2*r + 22 + r. Is 14 a factor of j(-10)?
True
Does 43 divide (-2)/10 + 168/(-35) - -650?
True
Suppose -2*g + 12 = 2*j - 4*j, -g + 2 = 3*j. Suppose 0*r - 1035 = -g*r. Does 23 divide r?
True
Suppose -7 = -u + 5. Does 45 divide (-481)/(-5) + 1 + u/(-10)?
False
Suppose -j - 32 = -2*a, a + j - 40 = -a. Does 35 divide (-1878)/(-54) + 4/a?
True
Suppose -2*t + 6 = -0*t. Suppose 1 = p - t. Is 4 a factor of (p/6)/((-14)/(-147))?
False
Is (-19)/((-190)/(-20)) + (-386)/(-1) a multiple of 16?
True
Suppose 4*p + 0*p + t - 7 = 0, -14 = -5*p + 4*t. Suppose -p*y + 3*y - 12 = 0. Does 21 divide y/20 - 621/(-15)?
True
Let v(r) = -r - r - 3*r + 9*r - 2. Let x = 12 - 7. Is 6 a factor of v(x)?
True
Is (12/(-30) + (-132)/15)*-40 a multiple of 2?
True
Let b be (-3)/12 - (-21)/(-12). Let z be (14/6 + b)*9. Suppose 2*d - 15 = -0*n + n, z*n = -9. Is d a multiple of 6?
True
Let y(p) = 9*p**2 - 21*p + 25. Let x(v) = -6*v**2 + 14*v - 17. Let n(l) = 7*x(l) + 5*y(l). Is 11 a factor of n(4)?
False
Let k be (-2)/(-1) - 2 - 0. Let z = k - -4. Suppose 4*d - 64 = -z*x + 16, -2*d + 5*x + 40 = 0. Is 10 a factor of d?
True
Suppose -5*y = 5*n - 2120, 8*n = -y + 9*n + 434. Is y a multiple of 62?
False
Let n(z) = -13*z**2 - 5*z**3 + z**2 + 5*z**2 + 8*z**2. Let r be 1*1*(0 - 1). Is n(r) a multiple of 4?
False
Suppose 0 = -3*w + 16 + 5. Let o(d) be the third derivative of d**5/60 - 3*d**3/2 + 4*d**2. Is 10 a factor of o(w)?
True
Suppose 1638 = 4*s + 3*x - 5*x, x - 3 = 0. Is 9 a factor of s?
False
Suppose 0*d = -6*d + 30. Suppose -d*j + 2*w = -333, 99 - 404 = -5*j - 5*w. Does 17 divide j?
False
Let h be (1 - (-3)/(-2))*-566. Let i = h + -176. Is 9 a factor of i?
False
Suppose 3*o + 5*n = 5, 0 = -o + 4*o + 4*n - 10. Is 26 a factor of 18/45 + 256/o?
True
Suppose 36*n - 40*n + 3360 = 0. Is 60 a factor of n?
True
Let c = -5 + 4. Let o(m) = -17*m + 9. Let w(r) = 42*r - 22. Let h(p) = -12*o(p) - 5*w(p). Is 6 a factor of h(c)?
False
Suppose -9*s + 12 = -6*s. Suppose 5*k - 324 = 2*k + s*b, -3*k - 2*b + 324 = 0. Does 18 divide k?
True
Let n(l) = -l - 9. Let a be n(-6). Let q(d) = -4*d + 5. Let f be q(a). Suppose -3*j + 7 = -f. Is j a multiple of 6?
False
Let k(r) = 5*r**3 + 7*r**2 - 7*r + 3. Does 41 divide k(4)?
False
Let x(r) = 3*r**2 - 1 + 5*r - 4*r**2 + r**3 + 9*r**2. Let t = 255 - 262. Is 6 a factor of x(t)?
False
Suppose -5*o = -6 - 4. Let h(b) = -2 - b**o - 4*b**2 + 0*b**3 - 4 - b**3 - 2*b. Is 4 a factor of h(-5)?
True
Let s(c) = 8*c**2 + 14*c - 4. Is s(8) a multiple of 20?
True
Is 21966/36 - 30/(-36) a multiple of 13?
True
Let f = 295 + -286. Is f a multiple of 2?
False
Let q(l) = 8*l**2 + 38*l - 108. Does 7 divide q(9)?
True
Suppose 0 = -4*q + 11*q - 3129. Does 10 divide q?
False
Suppose -2*d = 2*v - 2266, -13*d = -10*d - 4*v - 3378. Is d a multiple of 34?
False
Let i(t) = -t**3 - t**2. Let d(j) = 8*j**2 - j + 5. Let z(b) = -d(b) - i(b). Let l be z(7). Is (-16)/(-1) + l + 2 a multiple of 3?
False
Let r(w) = 3*w**2 + 4*w - 2. Let s be r(-4). Suppose -s = -3*n - v + 2, 0 = -2*n - v + 20. Does 12 divide n?
True
Let u(m) = -m**2 + 10*m + 146. Is u(17) a multiple of 19?
False
Let q(u) = 12*u**2 + 4*u + 2. Let i be q(-3). Suppose -5*w + 47 = -i. Suppose 5*t - 126 = w. Does 11 divide t?
False
Is 329/28*50*2 a multiple of 107?
False
Suppose -43 + 8 = b. Let x = b + 56. Let z = x - 3. Does 3 divide z?
True
Let x(v) be the second derivative of -v**3/6 + 33*v**2 - 7*v. Let d be x(0). Suppose -2*o + 3*k + d = 5*k, 0 = 2*o + 3*k - 66. Is o a multiple of 13?
False
Suppose 24*q - 16 = 20*q. Suppose 8*b - 328 = q*b. Is 9 a factor of b?
False
Let d(t) be the third derivative of -t**6/120 - t**5/10 + 4*t**3/3 - 58*t**2 + 3*t. Let h(f) = -f**2 - 4*f - 6. Let s be h(-4). Is d(s) a multiple of 4?
True
Suppose 4*a + 5 = -2*v + 1, 10 = 4*v + 2*a. Suppose 5*x - 27 = -3*d, v*x + 4 = -2*d + 24. Suppose d*h - 2*k - 62 = -7*k, -2*h = k - 34. Is h a multiple of 9?
True
Let d = 29 + -52. Let i = -21 - d. Does 6 divide 2*i/1 + 3?
False
Let o = -26 - -30. Suppose a - 23 - 10 = 5*n, -o*n = -2*a + 72. Is 10 a factor of a?
False
Let j be 1*267 + (4/4 - 2). Suppose f = -5*a + 406, -3*f + 8*f + j = 3*a. Is 17 a factor of a?
False
Suppose -3*d = -4*n - 16, -5 = -d + 4*n + 3. Suppose -2 = d*f -