 - a**3 - 3*a**2/2 - 3*a - 2. Let b be c(5). Suppose -2*p = 2*p - b. Is p a multiple of 4?
True
Let p(r) be the first derivative of 2*r**3/3 - r**2 + 6*r - 3. Let a = 19 + -14. Is p(a) a multiple of 15?
False
Suppose -i - 2 - 24 = -2*y, -4*y + 5*i = -52. Let d = 32 - y. Does 19 divide d?
True
Let d = 4 - 1. Let y be (1/(-2) + 1)*6. Suppose -y*f + 6 = -2*f - d*q, 4 = -4*q. Is 3 a factor of f?
True
Let h be (-4)/3*9/(-2). Let d(s) = s**3 - 5*s**2 - 8*s. Let x be d(h). Let r = x - -40. Is 15 a factor of r?
False
Let g = 47 - 67. Let v be g/(-6) - (-4)/(-12). Suppose -25 = -2*s - v*s. Does 2 divide s?
False
Suppose 3*v + 7 = -5*t - 0*t, 3*v = t + 5. Let w = 12 + t. Is w a multiple of 5?
True
Let b(u) = u**3 + u**2 - 3*u + 38. Is b(0) a multiple of 19?
True
Let v be 33/6 - (-3)/(-2). Suppose 0 = -v*q + q + 36. Does 9 divide q?
False
Does 15 divide 4*(17*(2 - 1) - 0)?
False
Let q(y) = -2*y - 3. Let i be q(-4). Suppose i*l = 2*w + 3*w + 30, l = -4*w + 31. Suppose -l = 4*f - 59. Is f a multiple of 5?
False
Suppose -141 - 141 = -3*j. Is 19 a factor of j?
False
Let t(a) = 6*a**2 + a + 1. Let h be t(-2). Let y = h - 1. Is y a multiple of 13?
False
Let o = 1 - 2. Is 3 a factor of -1*2 - 7/o?
False
Let v = -2 + 4. Suppose 3*t - 20 = -v*t. Suppose 0 = 3*y + 15, z - 3*z + 50 = t*y. Does 20 divide z?
False
Suppose 4*r - 4*p - 1104 = 0, -4*r - 2*p = 3*p - 1095. Suppose 4*q = 20, 2*q = 5*m - 2*q - r. Is m a multiple of 27?
False
Let y(i) = -i**3 + 9*i**2 - 6*i - 6. Suppose 5*b - 40 = -0*b. Is 8 a factor of y(b)?
False
Suppose -6*v + 7 = -5. Is v a multiple of 2?
True
Suppose 0 = -5*x + 5*j + 10 + 5, -5*j + 57 = 4*x. Let w(l) = l**2 - 5*l + 4. Let p be w(5). Suppose -2*i = 3*m - 51, -p*i - x - 4 = 0. Is m a multiple of 11?
False
Let i be (0 + 1 + -6)/(-1). Suppose 0 = 4*h + i*m + 3 - 20, -5*h + 17 = 2*m. Let y(z) = 9*z - 1. Does 18 divide y(h)?
False
Suppose y = 6*y - 125. Is 5 a factor of (-2)/(-15)*3*y?
True
Let a(f) = 3*f + 1. Let j be a(-2). Let y = 17 - 26. Let c = j - y. Is 4 a factor of c?
True
Let c be 0/(2/1*1). Let p = c - 0. Suppose p = -0*m - 2*m + 52. Does 13 divide m?
True
Let a = 0 - 3. Let r be -4*a/2 - 1. Suppose -1 = 3*m + 5*j, 3*j - 12 - r = -4*m. Is m a multiple of 8?
True
Let y(n) = -n**3 - 11*n**2 + 11*n - 9. Let f be y(-12). Is 20 a factor of 43*(-2 + f) - 3?
True
Suppose -u + 5*o + 169 = u, 5*u - 2*o - 370 = 0. Is 34 a factor of u?
False
Suppose 4 = -4*y + 2*y + 2*f, -2*y + 8 = 4*f. Suppose y = -2*r - 2*u + 28, -4*r - u = -6*u - 11. Is r a multiple of 9?
True
Let x = 37 + -38. Let d(b) = -13*b + 5. Let q(y) = 7*y - 2. Let w(s) = -2*d(s) - 5*q(s). Is 9 a factor of w(x)?
True
Let c(w) be the first derivative of -w**4/4 + 7*w**3/3 + 7*w**2/2 - 6*w + 3. Is 19 a factor of c(7)?
False
Suppose 5*t - 6 = -1. Let b(v) = 6*v**3 - v**2 + v. Is b(t) a multiple of 4?
False
Let l = 6 - 3. Suppose 2*n - n = -5*x + 249, 3*n = x - 37. Suppose 3*u + 4*w - 68 = 8*w, l*w = -4*u + x. Does 7 divide u?
False
Let f(p) = p**3 + 7*p**2 - 6*p - 10. Does 17 divide f(-7)?
False
Let g(z) = -5*z - 10. Is 6 a factor of g(-8)?
True
Is ((-320)/(-24) + 0)*(3 - 0) a multiple of 32?
False
Suppose 2*s - 1087 = -5*c, -s - 4*s + 2729 = c. Does 13 divide s?
True
Let y(f) = 23*f**3 + 1. Suppose -4 = -3*x - x - 3*l, -4*l + 1 = x. Suppose -4*w + 5 = x. Does 12 divide y(w)?
True
Let l be (1/(-3))/((-4)/48). Suppose -2*f + l*f = 8. Suppose 3*k - 2*k = 5*c + 29, -5*k + f*c = -61. Is k a multiple of 9?
True
Suppose 3 + 7 = 5*p. Let g(x) = -3*x**2 + 0*x**2 + 7*x**p + 2*x + 1. Is g(2) a multiple of 21?
True
Is ((-49)/14 + 2)*(-244)/6 a multiple of 4?
False
Let n(v) = -v - 3. Let i be n(-8). Is 27 a factor of ((-18)/i)/((-6)/45)?
True
Suppose 0 = 5*a - 4*x - 151, 3*a + 4*x - 35 - 30 = 0. Is a a multiple of 14?
False
Let y be ((-24)/3)/(1/(-10)). Let b = y - 34. Does 20 divide b?
False
Let t = 3 - 8. Let n(z) = 3*z**2 + z + 2. Let a be n(t). Let u = a + -45. Is u a multiple of 9?
True
Let w(s) = -s**2 - 5*s + 2. Let l be w(-4). Suppose -l = -2*v + 2. Suppose -v*d + 9*d = -3*q + 44, -5*q + 5*d = -100. Does 9 divide q?
True
Let c = 4 + -3. Is 5 a factor of -12*c/(-2) + -1?
True
Let s(c) = 23*c**2 - 1. Does 6 divide s(1)?
False
Let y = 9 + -10. Let l(m) = -8*m. Does 8 divide l(y)?
True
Let p = 123 - 74. Suppose -1 - 4 = -w, -3*n = -w - p. Is n a multiple of 9?
True
Suppose 4*g + 3*m = -2*m + 64, m + 109 = 5*g. Is 7 a factor of g?
True
Suppose -5 = 5*y, 2*y + 122 = -c + 4*c. Is c a multiple of 6?
False
Is 2 a factor of 195/27 - 6/27?
False
Suppose 2*k = 3*f + 84, 4*f = 3*k - 115 - 9. Does 12 divide k?
True
Let y(h) = h**2 - 2*h - 23. Is y(15) a multiple of 12?
False
Let t(f) = -3*f**3 - f**2 + 2*f - 1. Let r be t(1). Let v(p) = p**2 + p - 3. Let b be v(r). Suppose 0 = b*l - 24 - 6. Does 5 divide l?
True
Suppose n - 16 = -s, 4*n - n - 48 = -2*s. Does 16 divide n?
True
Let u = 7 - -6. Suppose u*c - 44 = 9*c. Is c a multiple of 6?
False
Suppose 7*m = 837 - 186. Does 10 divide m?
False
Let x = 4 + -1. Suppose x*q = 2*y + 13, -5 - 7 = -3*y. Does 7 divide q?
True
Suppose -o + 5*x = -0*x + 25, 3*x = 2*o + 15. Suppose v + 4*w = o, 4*v + 5*w + 9 = 31. Does 3 divide v?
False
Let u = 57 + -1. Let s = u - 26. Does 10 divide s?
True
Let k(s) be the first derivative of -s**4/4 + 4*s**3 - 6*s**2 + 9*s - 1. Let f be k(11). Is f + (18 - 0/(-3)) a multiple of 13?
False
Let c = 46 - 24. Is 11 a factor of c?
True
Suppose -2*g = -5*s + 9, -7 - 5 = -g - 3*s. Suppose 0 = g*l - 5*l - 74. Is 0 + 2 - l - 3 a multiple of 15?
False
Does 7 divide (-3 - -4)/(2*(-3)/(-276))?
False
Let h be 3 - (-3)/(6/4). Is (-2)/h - 184/(-10) a multiple of 18?
True
Suppose 5*l - 5*o = -10, 0*o - 2*o + 6 = -l. Suppose 3*i = -l*x + 5, 5*x + 2*i + i - 35 = 0. Is 9 a factor of x?
False
Suppose g + 0*g + 5 = -4*u, 3*g - 4*u - 65 = 0. Is 3 a factor of g?
True
Let c be 1*-11 + 1 + 0. Let m = 17 + c. Is 6 a factor of m?
False
Suppose 0 = -3*y + g + 28 - 3, -2*y + 2*g + 18 = 0. Is 8 a factor of y?
True
Let h = -33 - -41. Does 2 divide h?
True
Let m(y) = -y**3 + 2*y - 1. Let s be m(1). Let f be (-1 - s)*(2 - 42). Suppose -g + f = 4*g. Is g a multiple of 4?
True
Let c = -1 - -34. Is c a multiple of 16?
False
Suppose p + p - 8 = 0. Let j = 0 + p. Does 2 divide j?
True
Let x = 2 + 1. Let o(z) = -z**3 + 5*z**2 - 6*z + 5. Let f be o(5). Does 10 divide (f + -1)/(-4 + x)?
False
Let w(g) be the third derivative of -g**5/60 + g**4/8 - g**3/6 - 2*g**2. Let n be w(2). Suppose j = 4 + n. Is 5 a factor of j?
True
Suppose -4*r - 4*l = 68, 3*l - 2*l = 4*r + 78. Let h = r - -41. Does 22 divide h?
True
Let n = 17 + -13. Let w be (-5*(-1 + 2))/(-1). Suppose 5*k - 2*g = 35, k + n*g + w = -2*k. Is 2 a factor of k?
False
Let j(h) = h**2 - 6*h - 1. Let m be j(-5). Let i be m - 2*(-1)/(-2). Suppose -12 = -3*l, l - 46 = -5*f + i. Does 12 divide f?
False
Let z(i) = i**2 + i. Let b be z(-2). Let p = -2 - b. Is p/(-18) - (-104)/18 a multiple of 3?
True
Let i(z) be the second derivative of 0 + 2*z + 1/4*z**4 + z**2 + 5/6*z**3. Does 15 divide i(-4)?
True
Suppose -8*o + 231 = -409. Is o a multiple of 12?
False
Does 15 divide (-2)/4 - 2702/(-28)?
False
Let y(a) = -a**3 + 7*a**2 - 5*a - 2. Let z(d) = 3*d**3 - 4*d**2 + 4*d - 3. Let s be z(2). Let g = s - 8. Does 15 divide y(g)?
False
Is 13 a factor of (-141)/4*(1 + -5)?
False
Let u(v) = -8*v - 16. Is 24 a factor of u(-11)?
True
Suppose -6*f = -10*f + 284. Does 5 divide f?
False
Let r(z) = z**3 + 6*z**2 - 8*z - 5. Let p be r(-8). Let d = -35 - p. Let g = -23 + d. Is g a multiple of 4?
False
Suppose 2*l = -3*m - 2*l + 144, 41 = m - l. Is 13 a factor of m?
False
Let x(v) = -v**3 + 11*v**2 - 12*v + 2. Let m be x(10). Is 12 a factor of 2*6/(-9)*m?
True
Let b(d) = 7*d + 3. Let l be b(-9). Is 5 a factor of (8/(-10))/(6/l)?
False
Suppose -36 - 8 = -2*v. Suppose h = 9 + v. Is 19 a factor of h?
False
Let k(o) be the second derivative of -o**5/20 + o**4/2 + 5*o**3/6 + 2*o. Is 15 a factor of k(6)?
True
Suppose 0 = m - 1 - 54. Suppose 3*z - m = -2*z. Is z a multiple of 3?
False
Let z = -67 + 151. Does 26 divide z?
False
Suppose 4*k = -4*p, -5*k = -2*k - 9. Let r(b) = 6*b**2 - 2*b + 10. Let n(j) = 2*j**2 - j + 3. Let x(d) = p*r(d) + 10*n(d). Is 3 a factor of x(3)?
True
Let d(v) = 5*v + 6. Let c be d(-5). Let t = c - -27. Let b(w) = -w**3 + 