 p(h) = -5*h + r - 4 - 6. Is p(-6) a multiple of 11?
True
Let r(n) = n**2 - 15*n - 6. Is r(21) a multiple of 15?
True
Let w be -2*(3 - 9/2). Let p = 1 + -1. Suppose -n - w*n + 104 = p. Does 18 divide n?
False
Let q = -7 - 23. Does 16 divide 2 + 1/((-1)/q)?
True
Suppose -5*s - 4 = -2*v - 0, 0 = -s. Let i(z) = 5*z**3 - z**2 + 3*z - 3. Is i(v) a multiple of 13?
True
Suppose -1 = i + 2. Let l = i + 41. Is 19 a factor of l?
True
Let a(w) be the third derivative of 7*w**5/60 + w**4/4 + 2*w**3/3 + 2*w**2. Let g be a(-4). Let x = g - 43. Is 17 a factor of x?
False
Let m(c) = -c - 7. Let w be m(-5). Is 5 a factor of ((-36)/w)/((-9)/(-6))?
False
Let f(b) = 4*b**2 + 12*b - 11. Let d(n) = -n**2 - n. Let m(z) = -5*d(z) - f(z). Is m(8) a multiple of 9?
False
Suppose 5*g = 6*g - 27. Is 9 a factor of g?
True
Let f be (-4)/(0 + 2) - -62. Suppose 2*l = 7*l - f. Is 6 a factor of l?
True
Let n = -6 + 42. Is n a multiple of 6?
True
Let p be (0 - 3) + (-20)/(-4). Let s be -1 - (p - 6 - -1). Suppose 0 = s*w - 3*f - 51, 2*f + 106 = 5*w - w. Is 15 a factor of w?
False
Is 38 a factor of 9 - 11 - (-2 + -114)?
True
Suppose j - 4*k = -9*k, 2*j = 5*k. Suppose 4*c + 31 = 3*f, 4*f + 3*c - 32 = 2*f. Let q = j + f. Is q a multiple of 6?
False
Let v = -18 - -23. Suppose -4*k = v*a - 119, -2*a = 3*k - 7*a - 133. Is k a multiple of 12?
True
Suppose m + 2*m + 2*u = 8, -2*m + 4*u = 0. Suppose m*p = -p - 5*n + 25, -5*p + 3*n = -53. Is 10 a factor of p?
True
Suppose 0*b + 2*b = 114. Suppose -3*h + b + 9 = 0. Is 6 a factor of h?
False
Let j = 305 - 206. Does 33 divide j?
True
Let g(j) = j + 1. Let n be g(7). Suppose q = -h + n, -q - 3 = -h + 3*q. Is 21 a factor of (-387)/(-7) + (-2)/h?
False
Suppose -y = 7*d - 2*d - 22, 23 = 4*d - y. Let g(o) be the first derivative of o**3/3 - o**2/2 - 7*o - 3. Is g(d) a multiple of 5?
False
Let z(o) = o**2 + 5*o + 4. Let y be z(-4). Suppose -2*f - x + 4 = 0, y = -4*x - 6 - 10. Suppose 4*q = -f*r + 4 - 0, -3*q = 5*r - 13. Is r a multiple of 3?
False
Suppose -5*n = -15 - 0. Let m = n + 2. Suppose 5*x - c - 88 = 0, 0 = -m*x - 5*c + 29 + 41. Does 9 divide x?
False
Let z be 3*2/3 + -5. Let p be ((-32)/z)/((-2)/(-6)). Suppose 5*r - p = r. Is r a multiple of 4?
True
Let b = 49 + -6. Does 23 divide b?
False
Suppose 2*y = 2*j - 36, -5*y - j = 52 + 32. Let f = -4 - y. Suppose -4*d = -19 - f. Does 4 divide d?
True
Let g be -3 - (1 - -1 - 1). Let l be (45/g)/((-12)/32). Let n = l + -8. Does 20 divide n?
False
Let u = 4 - 3. Let o be -4*(2 - 3)*u. Let z(a) = a + 4. Is 4 a factor of z(o)?
True
Suppose 53*y = 54*y - 4. Suppose 0 = -m + 2 + 2. Suppose 0 = -y*g + 4*l + 96, -4*g + l + 124 = m*l. Is 11 a factor of g?
False
Suppose -3*k - 4 = -16. Suppose k*r = 2*r + 10. Is r a multiple of 3?
False
Let i = -5 - -10. Suppose 74 = 2*q - i*v, -q - 3*v - 111 = -4*q. Is 19 a factor of q?
False
Is 22 a factor of (-1556)/(-36) + 4/(-18)?
False
Let j = 22 - -3. Is j a multiple of 6?
False
Suppose 5*o - 2*t = 446, 2*t - 115 - 143 = -3*o. Is o/(-33)*2*-3 a multiple of 3?
False
Let b be (-2)/(-4) - 33/(-6). Let w(v) = 2*v**2 + 3*v - 5. Let m be w(b). Suppose -4*y = y - m. Does 17 divide y?
True
Let f(t) = -t**3 - 4*t**2 + 4*t - 2. Let n be f(-5). Suppose -3*p = n, b - 2*p + 7*p - 37 = 0. Does 16 divide b?
False
Let t(v) = 4*v**2 + 2*v + 2. Does 7 divide t(-2)?
True
Let v be (84/(-35))/((-1)/15). Suppose 4*m = v + 164. Is 14 a factor of m?
False
Suppose -45 = -6*l + 3*l. Suppose 2*k - l = 2*h - 3*h, 3 = h - 2*k. Does 3 divide h?
True
Let h be -1 + -6*(-2)/4. Let d be 8*(3 + (-2)/h). Suppose -5*g + 114 = -d. Does 8 divide g?
False
Suppose -6*x = -2*x - 12. Does 8 divide (-3)/((-4)/64*x)?
True
Let v = -24 + -1. Let y = -44 - -96. Let j = y + v. Is j a multiple of 14?
False
Let a be (-1)/(-2)*(19 + -7). Does 4 divide 4/(-8)*a + 15?
True
Suppose -4*x + 5*s = -73, -5*x - 3*s + 13 + 32 = 0. Let j = 8 - 12. Does 5 divide 6/j - (-150)/x?
False
Suppose 6*d - 496 = -2*d. Does 20 divide d?
False
Let d = 110 - 2. Does 12 divide d?
True
Suppose -r = 3*d - 374, 3*r - r - 498 = -4*d. Let x be ((-78)/(-5))/(5/(-25)). Let l = x + d. Is l a multiple of 16?
False
Let c = -45 + 65. Does 18 divide c?
False
Suppose -42 = -o + 4*m, 5*o - m - 87 - 142 = 0. Suppose -i + 2 = z - 12, 3*z - o = -5*i. Let b = -1 + z. Is b a multiple of 3?
False
Suppose -150 + 90 = -5*w. Is w a multiple of 6?
True
Suppose -11 - 5 = -4*r + 4*u, -u - 4 = 3*r. Suppose -3*g + 17 + 55 = r. Is 24 a factor of g?
True
Let k(b) = b**2 + b + 16. Suppose 0 = -2*t + 7*t. Is k(t) a multiple of 16?
True
Let c(j) = -j**3 + 9*j**2 - 6*j + 7. Let f be c(7). Suppose -d + v = 2*d + f, 0 = 5*v - 15. Let t = d - -29. Is 5 a factor of t?
False
Let v = 5 - 3. Suppose -4*x + 6*d = 2*d, 5*d = v*x + 15. Suppose -o + x*o = 96. Does 12 divide o?
True
Let v(j) = -j**3 - 10*j**2 - 2*j - 15. Suppose 0 = -2*t + 10. Suppose t*z + 46 = 2*r, -5*z + 4*r - 1 = 41. Does 3 divide v(z)?
False
Let s(p) = p**3 + 8*p**2 + 8*p - 5. Let g be s(-6). Suppose -15 = -2*n + g. Is n a multiple of 17?
True
Suppose -33 = 5*x + 17. Let r(b) = -b**2 - 12*b + 6. Is r(x) a multiple of 11?
False
Let x(k) be the third derivative of k**4/4 + 7*k**3/6 + 3*k**2. Is x(6) a multiple of 10?
False
Let l = 45 - -27. Is l a multiple of 18?
True
Let s(c) = 6 - 2*c + 0 + c**2 + 4*c. Let g be s(-6). Suppose -168 = -5*f - h, f + 2*h - g = 9. Is f a multiple of 11?
True
Suppose -a + 47 = -u, 5*u = -2*a - 0*u + 87. Is 19 a factor of a?
False
Let z(p) = 9*p + 12. Is 22 a factor of z(6)?
True
Suppose -64 - 12 = -l. Let z = l - 16. Does 20 divide z?
True
Suppose 0*c - 780 = -3*c. Is 20 a factor of c?
True
Suppose n = -5*f + 20, 0*n - 2*n + 16 = 2*f. Let r(x) = x**3 - 4*x**2 + 3*x - 5. Let u be r(4). Let c = u - f. Does 3 divide c?
False
Let x(u) be the first derivative of u**3/3 - 3*u**2/2 + 3*u - 3. Is x(3) a multiple of 2?
False
Suppose 3*l - 3*w = 2 + 4, 3*w - 8 = -4*l. Is 12 a factor of (-2 - -3) + 9 + l?
True
Is (-10)/(-35) + (-48)/(-28) even?
True
Let w(j) = -j + 9. Let q be w(9). Suppose b = -q*b + 26. Is b a multiple of 13?
True
Let j(s) = -6*s - 3. Let b(x) = 11*x + 3. Let p(t) = 11*t + 4. Let c(d) = -2*b(d) + 3*p(d). Let h(k) = 3*c(k) + 7*j(k). Is h(-3) a multiple of 12?
True
Let c(x) = -x**2 - 5*x + 2. Let n = -5 + 0. Let z be c(n). Suppose 6*k - 70 = 2*k + 2*j, k - 5 = -z*j. Is 7 a factor of k?
False
Let i(x) = -4*x - 1. Let g be i(-1). Let f(h) = 2*h**3 - h**2 + h - 2. Let j be f(g). Is 18 a factor of j/2*(8 - 6)?
False
Suppose -11*u + u + 680 = 0. Is u a multiple of 11?
False
Let q(u) = -u**2 - 5. Let z be q(0). Let h = z + 8. Does 13 divide ((-6)/(-2))/h - -16?
False
Suppose 0 = -11*x + 1511 - 81. Is 10 a factor of x?
True
Suppose -3*n + 2*j = -2*n - 254, -3*j - 258 = -n. Is 12 a factor of n?
False
Let j = 11 + -6. Suppose -31 = -5*q + t, -t - 2*t + 47 = j*q. Is 5 a factor of q?
False
Let a(w) = -w**2 + 13*w - 8. Let l be a(11). Let d = l + 5. Is d a multiple of 6?
False
Does 35 divide 1 + 70 + (-72)/24?
False
Let h(q) = 11*q - 21. Let r(v) = 17*v - 31. Let x(b) = -8*h(b) + 5*r(b). Suppose -4*d - 4*m - 7 = 9, -5*d - 2*m = 35. Is x(d) a multiple of 20?
True
Let u(p) = 3*p + 39. Is u(6) a multiple of 4?
False
Let r(v) be the first derivative of -v**3/3 - 2*v**2 - 2. Let s be r(-4). Suppose s = -2*p + 4*p - 46. Is 10 a factor of p?
False
Let k(c) = 139*c**2 - 5*c + 3. Is k(1) a multiple of 11?
False
Suppose u = -3*b + 16, 2*u - 32 = 4*b - 0*b. Is 26 a factor of u/(-12)*(-117)/2?
True
Let q(g) be the second derivative of -g**5/20 + 7*g**4/12 - g**3 + 4*g**2 + 4*g. Is q(6) a multiple of 2?
True
Suppose -8*j = -3*j - 15. Suppose -j - 2 = -u. Suppose 17 = u*s + 2. Is s a multiple of 2?
False
Suppose -60 = -5*k + 2*k. Suppose x = 5*x + k. Is (-173)/x - 9/15 a multiple of 15?
False
Suppose 5*q + 45 - 15 = 0. Let t be 88/q*3/(-2). Is (8 - 6) + t/1 a multiple of 12?
True
Let b = -16 - 5. Let n = -11 - b. Is 10 a factor of n?
True
Let p(j) = j**2 - 6*j + 2. Let u be p(6). Is -2*u/4*-9 a multiple of 2?
False
Let x(w) = -w**3 + 5*w**2 + 7*w + 2. Let c be x(6). Is 13 a factor of (6/c)/(4/208)?
True
Let n = -2 + 4. Suppose 5 = n*q - q. Suppose -13 - q = -3*r. Is r a multiple of 6?
True
Let s(t) = t**3 - t. Let x be s(1). Suppose 9 = w - x. Is w a multiple of 6?
False
Suppose 2*c - 136 = -4*b - 2*c,