b**3 - 1 - b**3. Let p be l(-6). Suppose -2*g = 5*m - p, -2*g = -4*g + 10. Is m a multiple of 11?
True
Suppose 3121 + 3392 = 3*u. Does 15 divide u?
False
Let b = 16 + -31. Let t = 9 + b. Let p(g) = g**3 + 7*g**2 + 4*g + 7. Is 11 a factor of p(t)?
False
Suppose 4*d - 1096 = -4*m + 528, -2*m - 3*d + 814 = 0. Is 15 a factor of m?
False
Let k = 4045 - 2857. Is k a multiple of 18?
True
Suppose 2*g + 5*g = -616. Let j = -54 - g. Does 8 divide j?
False
Let c = 64 + -44. Suppose p - c = 6. Is 2 a factor of p?
True
Suppose 0*y + 180 = 5*y. Suppose 0 = -4*j - 4, -5*j = 4*h + 7 + 10. Let s = y + h. Is 11 a factor of s?
True
Let t(p) = 32*p - 5. Let k(o) = 31*o - 4. Let h(c) = 6*k(c) - 5*t(c). Suppose 0 = -13*q + q + 24. Is h(q) a multiple of 16?
False
Let y(g) = 4*g**2 - 6*g - 3. Let t be y(-4). Suppose -102 - 208 = -2*v. Suppose -t = -f - f + 3*l, 4*l = -5*f + v. Is f a multiple of 7?
True
Let h(q) = -118*q**3 - 3*q**2 + 7*q + 17. Is h(-2) a multiple of 20?
False
Let v be 505*(2 + 14/(-10)). Suppose 4*z = -119 + v. Is z a multiple of 17?
False
Suppose 2*x + 2 = 0, 0 = -5*n + 2*n - 3*x - 27. Let l(q) = q**2 - 11*q + 16. Is l(n) a multiple of 14?
True
Suppose -6*b + b + 420 = 0. Suppose 2*l - 7 = -y, -2*l = -y + 1 - 2. Suppose m + l*m = b. Does 7 divide m?
True
Suppose -51*h + 37*h + 27258 = 0. Does 46 divide h?
False
Let r(d) = d**3 + 12*d**2 - 14*d - 11. Let g be r(-13). Suppose 167 = 2*u - h, -h + 3 = g*h. Does 12 divide u?
True
Is 13 a factor of 26/117 - 37200/(-27)?
True
Let f(s) be the third derivative of s**6/360 + s**5/20 + 7*s**4/24 + 4*s**2. Let w(a) be the second derivative of f(a). Does 4 divide w(3)?
True
Let z(m) = -m**3 + 42*m**2 - 112*m. Does 14 divide z(39)?
False
Let i = 530 + -390. Is 32 a factor of i?
False
Suppose 3*n - 5 = 1. Suppose 3*t = n*a - t - 12, 4*a = -5*t + 89. Is 3 a factor of a?
False
Let o(c) = -c**3 - 11*c**2 - 13*c - 10. Let t be o(-10). Suppose -5*x = t, x - 22 + 87 = w. Does 21 divide w?
False
Let n(a) = 2*a**2 + 28*a + 52. Does 2 divide n(-12)?
True
Let h = -31 + 210. Is h a multiple of 14?
False
Suppose 111 = -o + 5*h + 341, 4*h = 3*o - 679. Is 99 a factor of o?
False
Let l = -65 + 97. Let i = l - 22. Is i a multiple of 4?
False
Let j = -441 - -496. Is 2 a factor of j?
False
Let i = 126 - 98. Suppose z = 3*d - i, 2*z + 1 + 1 = 0. Does 6 divide d?
False
Suppose 7 = -7*r + 21. Suppose -i + 4*i - 931 = -2*d, -r*d + 2*i + 946 = 0. Suppose 5*m + 70 = d. Is 16 a factor of m?
True
Suppose -675 = -5*x - z, 0 = 3*x + z + 2*z - 393. Let m be (12/(-4))/((-6)/x). Let h = m - 44. Is 6 a factor of h?
True
Suppose -42*h - 25 = -47*h. Suppose -h*a - q + 321 = 0, -4*a + 3*q = -q - 276. Is a a multiple of 18?
False
Let s(j) = -4*j - 28. Let g be s(-8). Let y(z) = -4*z - g + 7*z + 23. Does 4 divide y(0)?
False
Let h = -1631 + 4424. Is 8 a factor of h?
False
Let r(v) be the first derivative of -v**3/3 + v + 5. Let l(s) = 2*s**2 + 15*s + 11. Let g(a) = -l(a) - r(a). Does 6 divide g(-12)?
True
Suppose -4*r = -3*w + 18 + 17, 5 = r + 2*w. Let u(x) = -x + 13. Does 6 divide u(r)?
True
Suppose 0 = -4*n - 8, -5*x + 3*n = -6 - 25. Suppose m = 0, 2*i + 11 = 3*i + x*m. Is 4 a factor of i?
False
Let u(h) = h**2 + 8. Suppose 3*p - 6*p = 0. Suppose 0 = n - p + 6. Is u(n) a multiple of 11?
True
Let g be 8/(-2)*147/(-12). Let f = g - 11. Is 19 a factor of f?
True
Suppose 146 = p - 4*u, 2*u - 382 = -3*p - 0*u. Let i = p + -75. Is i a multiple of 11?
True
Let h(l) = 445*l - 80. Does 36 divide h(8)?
False
Let x(h) = -3*h**2 + 4*h + 11. Let c(l) = 4*l**2 - 3*l - 10. Let s be (10 + -5)*6/(-10). Let d(m) = s*x(m) - 2*c(m). Does 20 divide d(14)?
False
Suppose 28 = u + y, -4*y = 5*u - 202 + 57. Let g = 2 + u. Does 12 divide g + -1*(-1 - 0)?
True
Let p be (6/(-9))/(0 + 2/12). Is ((-30)/p)/(-3 + (-405)/(-132)) a multiple of 21?
False
Suppose -35*f = g - 31*f - 431, -2*g = -5*f - 797. Is g a multiple of 17?
False
Let o be 5*54/225*10/3. Does 10 divide (1 - (-7)/3)/(o/30)?
False
Suppose 0*q - 4*q - 2 = 2*x, -4*x = -q - 41. Suppose x = -2*i + 3, i = -2*t + 109. Does 28 divide t?
True
Let m(u) = -u + 24. Let n = 3 - -1. Is m(n) a multiple of 20?
True
Let a(m) = m**3 - 11*m**2 + 27*m - 10. Let h be a(8). Suppose h*g - 2271 - 865 = 0. Is 33 a factor of g?
False
Suppose 3*x = 4*j + 2, 4*j + 7*x - 14 = 2*x. Suppose 4*h - 24 = 4*i + 92, h = -5*i - 1. Let c = j + h. Is 7 a factor of c?
False
Suppose -4*f = -58*v + 59*v - 18127, -3*f - 4*v = -13605. Is f a multiple of 14?
False
Let r(p) = 11*p**2 - 3*p - 1. Is 16 a factor of r(-8)?
False
Let h(q) = q + 14. Let b be h(-12). Suppose b*k = 7*k - 60. Suppose 0 = 4*u - y - 32, -2*u + 4*y - k = -6*u. Is u even?
False
Does 7 divide (-1012)/(-6) - (-17)/51?
False
Suppose -5*d = -3*m - 263, -13 = -d - 2*m + 37. Suppose -f = 2*r - 68, f = -4*r + d + 20. Is f a multiple of 56?
False
Suppose 0 = -j + 1 + 1. Suppose 2*u - v + 1 = 0, 27 = j*u - u + 5*v. Suppose u*h = -5*q + 87, -2*h + 5*q - 180 = -7*h. Does 8 divide h?
False
Suppose -2*a - 250 + 48 = -4*z, 5*z - 266 = -2*a. Let l = -22 + z. Does 10 divide l?
True
Let c(s) = s**2 - 238. Let p be c(0). Let r = p - -350. Is 9 a factor of r?
False
Let g = 1 - -5. Let a(u) = 3*u - 2. Let k be a(2). Suppose -k*o - g = -90. Is o a multiple of 14?
False
Is 15 a factor of (1 - -59)*((-1050)/20)/(-21)?
True
Let v(c) = -5*c - 2. Let q be v(-1). Suppose -88 = j - q*j. Is 19 a factor of j?
False
Suppose 0 = o - 3, -127 = -5*u + 2*o + 387. Suppose -4*j = 4*n - u, -n = -0*n - 5*j - 26. Is 17 a factor of n?
False
Suppose -2*j - 19 = -3*v - 0*j, 4*j + 28 = 4*v. Suppose 0 = v*g + 20, -3*g = 4*r - 2*g - 204. Is r a multiple of 26?
True
Suppose -5*z + 1350 = -4*w, 35*z - 4*w - 270 = 34*z. Is 10 a factor of z?
True
Suppose 3*d - 2*d = 2. Suppose -12 = -d*i + 6*i. Does 5 divide i + (-5 - -3 - -20)?
True
Let z(y) = 2*y**2 - 4*y + 3. Let a(t) = -4*t. Let f be a(-1). Let p be z(f). Let g = p - 6. Is g a multiple of 5?
False
Let z(k) = k**2 - 6*k - 8. Let u be z(6). Let o be (u - -7) + (0 - -22). Is (-6)/o + 590/7 a multiple of 28?
True
Let j be (-5)/(-25) + (-3)/15. Suppose 5*w + 125 = 5*y, j = 4*y + 3*w - 34 - 38. Suppose 22 = 2*r - 0*r + 2*u, 3*u = -2*r + y. Is r a multiple of 12?
True
Let o(s) = -s + 1. Let m(l) = 6*l**2 + 2*l - 3. Let w(x) = -m(x) - 2*o(x). Let q(f) be the first derivative of w(f). Is 10 a factor of q(-4)?
False
Is -3 - -6 - -263 - -3 a multiple of 8?
False
Let w(d) = 2*d**3 - 14*d**2 + d + 26. Let z be w(8). Suppose -2*p = 2*h - z, 4*h - 250 = -p + 59. Is 4 a factor of h?
True
Let f = 35 - 58. Let h = -5 - f. Does 9 divide h?
True
Let c = 560 + -360. Suppose -12*s + 17*s - c = 0. Is 20 a factor of s?
True
Suppose -4*o + 287 = -m - 573, 4*o = 2*m + 856. Does 12 divide o?
True
Is 18 a factor of (-818)/(-7)*((-21)/(-2))/3?
False
Let i(t) = -43*t - 41. Let f(u) = -21*u - 20. Let s(h) = 9*f(h) - 4*i(h). Is s(-7) a multiple of 15?
False
Let i(g) = g**3 + 9*g**2 + 2*g + 22. Let t be i(-9). Let b be 55 - 2 - 4/t. Does 21 divide 6/((-1)/b*-4)?
False
Let b(n) = 3*n**2 - n - 32. Does 27 divide b(7)?
True
Let r(j) = -j**3 + 13*j**2 - 10*j - 13. Does 9 divide r(8)?
False
Let a be (3/(-2))/(3/(-8)). Suppose 4*s = 4 + a. Suppose 3*m - 19 = s*m. Is m a multiple of 8?
False
Let w be (-16)/(-6)*(-15)/(-4). Suppose -5*u - 2*y - 18 = 0, -3*u - 6*y - w = -4*y. Does 10 divide 20 + (-2 - (u + -1))?
False
Let s(v) = -v**3 - v. Let c be s(0). Suppose c = -3*t + 41 + 19. Suppose z = 5*z - t. Does 5 divide z?
True
Let u = 2 + 47. Suppose -u = -3*j + 68. Suppose -2*n + 33 = -j. Does 12 divide n?
True
Suppose -q + 114 + 53 = 0. Suppose -9*x + q = -481. Is 9 a factor of x?
True
Let a(j) be the third derivative of 19*j**4/24 - 3*j**3/2 + 8*j**2. Let o be a(3). Suppose -2*p + o = -s, 0*p - 5*p - 3*s + 109 = 0. Is p a multiple of 15?
False
Let u = 1285 - -385. Suppose 5*a - u = -5*q, 6*a - a = -2*q + 659. Is 16 a factor of q?
False
Let h(r) = -13*r + 520. Does 53 divide h(-19)?
False
Suppose 8*d = -10*d + 3690. Is d even?
False
Suppose 0 = h - q, 2*h + 2*h = -4*q + 32. Let o be 3/(-1*(h - 3)). Is o*39/(-3) - 1 a multiple of 19?
True
Let v(h) = 13*h + 13. Does 39 divide v(8)?
True
Let c(z) = 17*z**2 + 21*z. Does 9 divide c(-6)?
True
Let j = 360 - 106. Is 19 a factor of j?
False
Suppose 0 = -2*v - 4, 2 = -z + 5*z + 5*