*p - 22 = 0, 4*d + 2*p = 28. Let u = d - -26. Is u a multiple of 16?
True
Let q be (-1)/(-3) - 931/21. Let k = q - -77. Is k a multiple of 11?
True
Suppose -4 = -3*l + l. Suppose -2*f = -3*p + 74, -p - 66 = -3*p - l*f. Is 14 a factor of p?
True
Let x(w) = 5*w + 5. Is x(6) a multiple of 7?
True
Let j(f) = f**3 + 2*f**2 - 2*f - 1. Suppose i = 4*i + 6. Let w be j(i). Suppose -w*g + 39 = -0*g. Does 13 divide g?
True
Does 14 divide (-251)/((-1)/((-4 - -2) + 3))?
False
Let q(y) = -y + 20. Is 9 a factor of q(9)?
False
Let b(z) be the third derivative of 23*z**7/2520 - z**6/360 + z**5/120 + z**4/24 + 2*z**2. Let d(h) be the second derivative of b(h). Is d(1) a multiple of 10?
False
Let b(c) = c**3 + 9*c**2 - c + 5. Is b(-9) a multiple of 14?
True
Suppose 6*o - 332 - 694 = 0. Is o a multiple of 13?
False
Suppose r + 3*h = 51, -3*r + 10*h + 189 = 7*h. Is 41 a factor of r?
False
Let s be (-30)/1 + 2/1. Let x(c) = 16*c - 4. Let u be x(-1). Let o = u - s. Is 3 a factor of o?
False
Let r(d) = -d**3 + 2*d + 2. Suppose 2*y + 1 = -3. Is 3 a factor of r(y)?
True
Suppose 5*c - 40 = c. Does 10 divide c?
True
Let q(l) = -l. Let d be q(-3). Suppose -v + 6*c - d*c = -65, 61 = v - c. Is 20 a factor of v?
False
Let r be (-4)/8*(7 - 1). Let z = -1 + 0. Is 9 a factor of (-24)/r + 2 + z?
True
Is 2 - ((-3 - 0) + -222) a multiple of 39?
False
Suppose 36 = 4*u - 20. Is u a multiple of 7?
True
Let w(u) = 4*u**3 - 2*u**2 + u. Let b = 7 - 6. Let m be w(b). Suppose -5*p - 139 = -4*n, 4*p - 73 = -2*n + m*p. Is 18 a factor of n?
True
Let l be 1/(1*(3 + -2)). Let y = l + 29. Let s = y - 16. Is s a multiple of 14?
True
Suppose 5*y = -u + 60, 5*y - 3*u = -53 + 133. Suppose 5 + y = 2*k. Suppose 0*l - k = -l. Is 5 a factor of l?
False
Suppose -2*h + 6 = -0*h. Let u(z) = 3*z**2 + 2*z + 2. Does 12 divide u(h)?
False
Let y = 250 - 178. Is y a multiple of 24?
True
Let i = -3 + 5. Is 9 a factor of 20 + 1/i*-4?
True
Suppose 23 + 152 = 7*o. Is o a multiple of 5?
True
Suppose 5*g - r = 31, 2*r - 16 = -2*g + 6*r. Suppose 5*k + 0 = q - g, 4*q - 3*k = 92. Is 26 a factor of q?
True
Let s(x) = x**3 + 17*x**2 - 22*x - 32. Is s(-18) a multiple of 9?
False
Suppose 0 = 3*l + 2*l - 10. Suppose l*p = 2, -h = -2*h + 2*p + 6. Is h a multiple of 3?
False
Let l be 32/5*(14 - 4). Suppose 0 = 2*f + 2*v - l, 0*f = 3*f + v - 96. Is f a multiple of 16?
True
Let r(u) = u**3 + 6*u**2 + 4*u - 2. Let d be r(-5). Suppose -4*c + d*v = -v - 12, -23 = -5*c + v. Suppose -c*x = -q - q - 57, 5*q - 20 = 0. Is 11 a factor of x?
False
Let q be 23*3/(-9)*3. Let a = -14 - q. Is a a multiple of 9?
True
Let b be 43/2 + 1/(-2). Suppose -b = -l + 4*g, 30 = 3*l - 4*g - 17. Let j = l - 5. Does 4 divide j?
True
Let s(t) = -9*t - 1. Suppose 6*l - l - 10 = 0. Suppose l*m + 2*m + 8 = 0. Is 17 a factor of s(m)?
True
Let b(j) be the third derivative of j**5/30 - j**4/24 - 2*j**3/3 - 3*j**2. Is 19 a factor of b(6)?
False
Suppose c + 4*d = 223, 2*c + 472 = 4*c - 5*d. Is c a multiple of 11?
True
Let l(v) = -4 + 3 + 8*v - v. Let m(n) = -n**3 - 2*n**2 + n - 3. Let i be m(-3). Is 10 a factor of l(i)?
True
Suppose -3*r + 121 = 31. Does 10 divide r?
True
Suppose -1 = j - c - 64, 275 = 5*j + 5*c. Is 16 a factor of j?
False
Let p(q) = -8*q - 2. Suppose -7*f = -2*f + 4*b - 62, f = -2*b + 10. Suppose 5*c + f + 6 = 0. Does 15 divide p(c)?
True
Is (1/2)/((-18)/36)*-4 a multiple of 3?
False
Let m(j) = -j**3 - 4*j**2 + 6*j. Let p be m(-5). Does 3 divide 2 + 0 + -1 - p?
True
Suppose 5*r = -0*r - 25, -4*g + 5*r + 133 = 0. Does 9 divide g?
True
Let h be (-100)/30*6/(-5). Suppose 2*u - 10 = -h, -l + 21 = 2*u. Is 15 a factor of l?
True
Let u be ((-9)/6)/3*0. Suppose -3*j - j + 8 = u. Let r(i) = 4*i**3 - i - 2. Is 12 a factor of r(j)?
False
Let n = -13 - -25. Is n a multiple of 12?
True
Let o be 603/(-6) + (-3)/(-6). Does 7 divide 6/(-4)*o/6?
False
Suppose 0 = -5*a - 25, 2*a = 2*m + 1 - 77. Is 10 a factor of m?
False
Suppose -5*v - 8200 = -2880. Does 5 divide v/(-48) - 2/12?
False
Suppose 241 = 3*j + 5*m - 23, 2*j - 176 = m. Is 22 a factor of j?
True
Let u(y) = -y**3 - 6*y**2 - 8*y - 4. Suppose -5 = 5*m + 20. Is 5 a factor of u(m)?
False
Suppose 2*s - 316 = -3*y, 0 = -3*y - 0*y - s + 314. Does 26 divide y?
True
Let h(c) = 3*c**3 - 4*c**2 + 10*c + 1. Let g(m) = 5*m**3 - 8*m**2 + 19*m + 2. Let j(y) = -4*g(y) + 7*h(y). Is 21 a factor of j(-4)?
False
Suppose -b - b = -5*d - 133, 2*d = -4*b + 206. Suppose l = -0*l + b. Does 18 divide l?
True
Let b(m) = 66*m**3 - 1. Let c be b(1). Let l = -16 + 61. Let q = c - l. Is q a multiple of 9?
False
Let k(v) = 3*v**2 - 7*v + 5. Is k(6) a multiple of 11?
False
Let f be (36/42)/(2/154). Suppose 4*u + 3*w = 105, 4*u = -2*w + f + 44. Is u a multiple of 19?
False
Let c(k) = -3*k**2 - 7*k - 2. Let t be c(-5). Does 3 divide (1 + 0)/((-7)/t)?
True
Let s(b) = -2*b + 2 + 10 + 3*b. Let t be s(-5). Let a = t - 4. Does 2 divide a?
False
Suppose 3*d = -2*d. Suppose -x + 2*x - 3 = d. Suppose 2*w - 3 = x. Is w even?
False
Suppose -2*r - 6 = -42. Suppose -f - 4 = 0, -5*f = -4*h + r + 74. Does 9 divide h?
True
Suppose -7*v + 230 = -2*v. Is v a multiple of 5?
False
Suppose 5*n - 615 = 7*w - 2*w, -345 = -3*n - 5*w. Suppose n = -7*g + 2*g. Let j = 8 - g. Is 13 a factor of j?
False
Let w(m) = -5*m**3 + 2*m**2 - 1. Let p be w(-1). Suppose 0 = p*n - 3*n - 72. Is n a multiple of 6?
True
Let u be (22*-2 - -3)/(-1). Suppose -i = -u - 5. Does 23 divide i?
True
Let j(x) = -141*x - 26. Is j(-2) a multiple of 32?
True
Suppose a + 3*a - 168 = 0. Is 7 a factor of (-1)/(1*(-3)/a)?
True
Let y(r) = -2*r + 1. Let s = -9 + 5. Let w be y(s). Let i = 13 - w. Does 4 divide i?
True
Suppose 0 = -2*c - 0 + 20. Suppose 2*v = -3*s - s + 14, 2*s - 2 = 0. Suppose 0 = c*x - v*x + 2*b - 142, 0 = 3*x + b - 86. Is x a multiple of 15?
True
Let b = 223 - 115. Is b a multiple of 8?
False
Let u(v) = -v**3 - 7*v - 8. Does 15 divide u(-4)?
False
Let f be -18 + -1 + 1 + 0. Let o(s) = -3*s. Let c be o(3). Is (-133)/c - 4/f a multiple of 15?
True
Let v = -9 + 13. Let f(r) = 5*r + 5. Is f(v) a multiple of 12?
False
Suppose 0*c - 3*z = -3*c + 291, c - 107 = 3*z. Is c a multiple of 46?
True
Does 12 divide 3 + -7 + 4 + 36?
True
Suppose -4*d + 26 = -10. Let i be (2/3)/(2/d). Is (-3)/((18/(-20))/i) a multiple of 10?
True
Suppose 4*y = 19 + 9. Does 4 divide y?
False
Let r(l) = -1. Let q(z) be the first derivative of 7*z**3/3 + 1. Let w(d) = q(d) + 2*r(d). Does 10 divide w(2)?
False
Let y = 33 - -45. Is 7 a factor of y?
False
Suppose 17 = -h - 5. Let p be (0 + 9)*h/3. Let r = p - -116. Does 25 divide r?
True
Suppose 2*p = -4*g + 184, 32 = -0*g + g + 4*p. Suppose 0*h + g = 2*h. Is h a multiple of 13?
False
Let v = 34 - 24. Is 3 a factor of v?
False
Suppose 0 = y + y - 10. Suppose -4*p - 5*l = -2*l - 76, y*p - 5*l = 60. Is p a multiple of 16?
True
Let m(d) = -d**3 + 4*d**2 + d. Let z be m(-3). Suppose -2*a = 3*a - z. Is a a multiple of 4?
True
Let r be -48*3*(-1 + 2). Let g = r + 58. Is g/(-4) + 1/(-2) a multiple of 15?
False
Let m = -3 - -7. Suppose 67 + 77 = m*p. Does 18 divide p?
True
Suppose -x + 20 = 2*y, -y + 10 = -0*x + 3*x. Is y a multiple of 3?
False
Let t(q) = -q + 1. Let d(j) = -j + 10. Let p(g) = -d(g) + 5*t(g). Let r(c) = -c**3 + 2*c**2 - 2*c. Let w be r(2). Does 4 divide p(w)?
False
Is 20 a factor of (-2)/(8/(-6))*1040/12?
False
Let q(n) = -n + 2. Let k be q(2). Is 11 a factor of k - (-1 - -1 - 23)?
False
Suppose -3*h = 2*m - 230, 3*h - 35 = 3*m - 365. Is m a multiple of 28?
True
Let g(k) be the second derivative of k**5/30 + k**4/6 - 5*k**3/6 + k**2 + 2*k. Let h(c) be the first derivative of g(c). Is h(-5) a multiple of 11?
False
Let f = 12 - 4. Let k = 6 + f. Is k a multiple of 12?
False
Let f(g) = -g. Let v be f(-3). Let b(c) = 18*c - 1. Let l be b(v). Suppose 0 = -5*r + l + 17. Does 14 divide r?
True
Let v(x) = 3*x**3 + 3*x - 4*x**3 + 6 - 3*x + x**2 - x. Is 2 a factor of v(0)?
True
Let a = 2 - -17. Is a a multiple of 2?
False
Let d = -3 + 2. Let q be 0/(d - -1*2). Suppose -2*y + y + 22 = q. Does 11 divide y?
True
Let z(q) = q**3 + 6*q**2 + 4*q - 3. Let t be z(-4). Let x = 52 - t. Suppose u = 4*u - x. Does 5 divide u?
False
Let u = 10 + -5. Suppose 47 = 3*s - 5*t, 5 = -u*s + 4*t + 105. Is s a multiple of 8?
True
Let b(o) = 2*o**2 - 5*o - 3. Suppose -3*s - 4*z + 15 - 4 = 0, 