 (-36)/(n + 1 + -1) a multiple of 12?
True
Suppose 0 = -2*w - w + 252. Does 13 divide w?
False
Let n(a) be the first derivative of a**5/15 - a**4/24 - a**3/6 + a**2 + 2. Let p(i) be the second derivative of n(i). Does 17 divide p(-2)?
True
Let f = 3 + -3. Let c = -4 - f. Is 11 a factor of (-1 - 0)/(c/108)?
False
Let m be (14/3)/((-5)/60). Let j = m + 104. Is 16 a factor of j?
True
Let v(z) = -3*z - 6. Let x be v(-4). Let f(p) be the second derivative of p**4/12 + p**3/3 - 2*p**2 - p. Is f(x) a multiple of 22?
True
Is 27 a factor of (-4 + (-11)/(-2))*18?
True
Let s = 196 + -161. Does 23 divide s?
False
Suppose 3*x + 2*t = 92, -5*x - 2*t + 4*t = -164. Is 8 a factor of x?
True
Let o = 31 + -19. Is 12 a factor of o?
True
Let m(q) = q**3 - 18*q**2 - 51*q - 5. Does 18 divide m(21)?
False
Suppose 2*r = -5*p, -p + 2*r - 6*r = 18. Suppose 40 = p*u - 192. Suppose 4*a = -3*y + 143, 2*a + 4*y - u = -a. Does 12 divide a?
False
Let r be 22/(-6) + (-7)/21. Let s(c) = -3*c + 4. Does 8 divide s(r)?
True
Suppose u + u - 8 = 0. Let g(o) = o**2 - 4*o + 4. Let p be g(u). Is 13 a factor of -2*10/p*-7?
False
Let z(t) = t**2 + t - 6. Let w be z(7). Suppose -3*s - d = -15 + w, -9 = s + 3*d. Does 17 divide (-393)/s - 2/(-8)?
False
Let c = 8 - 2. Suppose -q + 6 = 4*o, -3*q + c = 3*o - 3. Does 15 divide -3 + 99/6*q?
True
Suppose 8*l = 3*l + 20. Suppose -u - l*u = -200. Suppose 2*b - u = 16. Does 14 divide b?
True
Let n = 0 + 3. Let a(j) = -4*j + 2*j**3 + 3*j - 3*j**2 - j**n - 2. Is a(4) a multiple of 10?
True
Let m(d) = d + 44. Is m(12) a multiple of 7?
True
Suppose 0 = -2*l + 22 + 34. Is 14 a factor of l?
True
Let h be 0 + 2*(-7)/2. Let x = 31 + h. Is 24 a factor of x?
True
Is 2 - ((-4)/(-4) - 2) - -272 a multiple of 55?
True
Suppose -7*y = -0*y - 966. Is 35 a factor of y?
False
Let f be (-8 - (1 - -1))*1. Let n(r) = r**2 + 9*r - 5. Does 2 divide n(f)?
False
Let d(h) = -h**3 - 13*h**2 + 3*h - 22. Is 12 a factor of d(-14)?
True
Let g(u) = u + 9. Let d be g(-7). Let b(z) = z**2 - z - 2*z - 1 + d*z. Does 5 divide b(3)?
True
Let c(f) = -3*f + 116. Does 11 divide c(0)?
False
Let q(g) = -g**3 + 14*g**2 - 14*g - 9. Is q(12) a multiple of 25?
False
Let y(n) = 13*n**2 - 3*n. Is y(-3) a multiple of 15?
False
Let d = 4 + -6. Let l be 1 + (-2)/d + 45. Let c = l - 31. Is 11 a factor of c?
False
Is ((-44)/(-6))/(9*(-2)/(-351)) a multiple of 13?
True
Suppose 4*f = -0 + 36. Is 9 a factor of f?
True
Let y(o) = 6*o + 4. Is y(4) a multiple of 19?
False
Suppose 0*s - j = -s + 199, 4*j - 16 = 0. Does 14 divide s?
False
Suppose 0 = -2*c - 0 + 4. Suppose -3*d - x = x - 31, -c*d = 2*x - 20. Is 11 a factor of d?
True
Let v(c) = -8*c + 4. Is v(-7) a multiple of 15?
True
Let f = 1 - -5. Let g(p) = -p**3 + 7*p**2 - 5*p - 4. Let v be g(f). Is (8/(-12))/(v/(-51)) a multiple of 17?
True
Suppose 0 = f - 14 - 12. Suppose 0*l + 3*l + 4*d - 4 = 0, 3*d + f = 5*l. Is 2 a factor of l?
True
Let v = -184 - -387. Is v a multiple of 27?
False
Let q be 3*(-4 + (-14)/(-3)). Let m(u) = 5*u**2 + 4*u - 3. Does 21 divide m(q)?
False
Let n(u) = -u**3 - 2*u**2 + 3*u + 3. Suppose 0 = l - 5*l + 204. Let v be 1/4 - l/12. Does 17 divide n(v)?
False
Suppose 3*n + 7 = -2*d, 3*d + 11 = 2*n - 7*n. Does 13 divide (-26)/3*3/d?
True
Suppose -2*q = 2*x + 28 - 266, -5*x + 2*q = -623. Does 41 divide x?
True
Let a = -22 - -24. Let b(f) = f**3 + 6*f**2 + 3*f + 2. Let j be b(-3). Suppose i = a*l + j, i + 5*l + 0*l = 27. Is 8 a factor of i?
False
Suppose 0*i = -2*i - 4. Let t be (0 + (-2 - -2))/i. Let f(b) = -b**2 + b + 15. Is f(t) a multiple of 7?
False
Suppose -y + 4*c = -374, 3*y - c - 564 - 580 = 0. Does 41 divide y?
False
Let y = -2 + -4. Let m be (1/3)/(y/18). Is 14 a factor of (m - (-2)/2) + 14?
True
Suppose -280 = 4*z - 4. Let b = 98 + z. Is 10 a factor of b?
False
Let p(n) = -4*n + 6*n + 1 + 7*n. Is p(3) a multiple of 13?
False
Let j(o) be the second derivative of 7*o**5/10 + o**4/4 + 2*o**3/3 + 3*o**2/2 + 2*o. Let c be j(-2). Let i = c - -151. Does 23 divide i?
True
Let n = -9 + 50. Is 6 a factor of n?
False
Suppose 2*s = 5*s + 24. Is 4 a factor of (9 + -3)*s/(-12)?
True
Suppose -4 - 1 = -4*f - l, -3*f - 3*l - 3 = 0. Let c = 1 + f. Is 2 a factor of -3 - ((-7 - 3) + c)?
True
Let l = -6 + 7. Suppose 0 = 3*c + l - 10. Suppose -28 = u - c*u. Is 7 a factor of u?
True
Let i(h) = 6*h**2 + 2*h - 3. Is i(2) a multiple of 18?
False
Let g(q) be the second derivative of -q**5/4 - q**4/12 + q**3/6 + q**2/2 - 11*q. Is 15 a factor of g(-2)?
False
Let o(m) = -9*m - 4. Suppose 0 = -2*l + 4*l - 8, 2*j + 24 = 3*l. Let w be ((-36)/(-30))/(j/20). Is 13 a factor of o(w)?
False
Let v be (-15)/(-5) - 154/(-2). Suppose -16 = -2*k - 2*f - 0*f, 5 = f. Suppose -z = -k*z + v. Does 20 divide z?
True
Suppose -2*a + 71 = 17. Is a a multiple of 9?
True
Let r(d) = d**2 + 3*d + 2. Let s be r(-3). Let q(n) = 0*n**s + 4*n**2 - 3*n + 2*n. Is 14 a factor of q(2)?
True
Let s = 147 - 85. Is 24 a factor of s?
False
Let m be ((-27)/(-12))/((-2)/(-8)). Let j be (272/6)/(3/m). Suppose -j = -5*b + n + 8, -96 = -4*b - 4*n. Is 14 a factor of b?
True
Let c be -1 + (4 - 1)*1. Suppose g - c = 1. Suppose 0*f + 66 = g*f. Is f a multiple of 11?
True
Let s be (-4)/10 - (-12)/5. Is 24*s/(-8)*-2 a multiple of 6?
True
Is -171*(1 + (2 - 4)) a multiple of 9?
True
Let z(p) = 2*p - 2. Let a be z(-6). Is (-8)/2 - (-56 - a) a multiple of 24?
False
Let w = 33 + -49. Let n = 25 + w. Let f = -5 + n. Is f a multiple of 3?
False
Suppose 5*f + 36 = 11*f. Is f even?
True
Let k be (12/(-5))/(9/45). Does 15 divide (-2)/8 + (-627)/k?
False
Let g(s) = -7*s - 5. Is 12 a factor of g(-5)?
False
Let p be 6 + 0 + 1/1. Suppose -2*k - 4 + 30 = 2*m, -3*k = -3*m + 21. Let i = p + m. Is i a multiple of 7?
False
Let w = 7 - -55. Is 15 a factor of w?
False
Let y(h) be the first derivative of 10*h**3/3 + 1. Suppose 6*s - 5 = s. Is y(s) a multiple of 6?
False
Let z(a) = a**2 + 2*a. Let b be z(-3). Suppose -3*c + 78 = 2*m, -b*c + 3*m + 99 = -2*m. Is 7 a factor of c?
True
Let l be (-2 + 3)/(1/3). Suppose o - 120 = -l*o. Is 15 a factor of o?
True
Suppose 4*q - 45 = -c, 3*c - 111 = -4*q - 0*q. Is c a multiple of 31?
False
Suppose -x + 6*x - 255 = 0. Suppose -5*b = -3*f + 17 + 124, 3*b + x = f. Does 21 divide f?
True
Let r be (-2 + 0)/2 + -13. Let m = r + 22. Is 20/m*(1 - -3) a multiple of 3?
False
Suppose -2*c + 74 = -3*y - y, y - 5*c = -5. Is 5/(y/(-24))*2 a multiple of 12?
True
Suppose 5 = 3*h - 19. Let f = -78 - -44. Is (-2 - 2)*f/h a multiple of 17?
True
Let v(l) = -12*l + 10. Let c be v(6). Let x = -23 - c. Does 13 divide x?
True
Suppose 0 = 5*r + 2*o - 164, r - 2*o - o - 43 = 0. Does 17 divide r?
True
Let x = -6 + 9. Suppose 0 = -4*k + 2*k. Suppose -x*b - b + 128 = k. Does 18 divide b?
False
Suppose 0 = w + 4*w - 40. Is w a multiple of 8?
True
Is 223*1 - (-3)/(-5 - -4) a multiple of 12?
False
Suppose 4*z + y + 82 = -97, -z - 4*y - 41 = 0. Does 9 divide ((-4)/(-10))/(-1)*z?
True
Is ((14 + -6)*18/(-8))/(-2) a multiple of 3?
True
Suppose -125 = 3*l - 8*l. Does 14 divide l?
False
Let q = 21 - 13. Suppose p - q = -3*p. Suppose -p*c + 40 = 3*c. Is c a multiple of 4?
True
Suppose 18 = f - 11. Suppose -5*d - 9 = -f. Suppose 4*w - 30 = -2*v, w + 12 = d*v - 3. Is 5 a factor of v?
True
Let c = 53 + -20. Does 11 divide c?
True
Let q = -3 + 5. Suppose -5*j + 5*t + 425 = 0, q*j - 253 = -j + 2*t. Is j a multiple of 27?
False
Suppose -2*u - 50 = 2*y, -5*u - 3*y - 119 = -4*y. Let z = u - -57. Is 11 a factor of z?
True
Let a(u) = u - 1. Suppose -4*z = m - 27, -3*m + z = -7*m + 33. Is 3 a factor of a(m)?
True
Let k = 44 + -26. Is 3 a factor of k?
True
Suppose -3*d - 2*d = -20, 0 = -j + d - 7. Let o be (-2)/(-3) + 20/j. Is ((-14)/(-4))/((-3)/o) a multiple of 3?
False
Suppose -82 = -4*i - 4*n + 18, -n = 2*i - 55. Let w = -31 + 74. Let r = w - i. Does 13 divide r?
True
Let o(t) = 2*t**2 + 1. Let y(r) = 3*r**2 - r + 3. Let c(p) = 5*o(p) - 3*y(p). Let l be c(-4). Suppose l = -z - 8 + 47. Is 23 a factor of z?
False
Let n(p) = p**2 + 3*p + 4. Does 13 divide n(-10)?
False
Suppose 3*y - 59 - 235 = 0. Let u = y - 59. Suppose -2*q + u = q. Is q a multiple of 13?
True
Let q(v) = 2*v + 11. Is q(11) a multiple of 15?
False
Let k = -71 + 170. Does 33 divide k?
True
Let s(d) = -6*d**3 + 25*d**2 + 10*d - 20. Let r(q) = -q**3 + 5*q**2 + 2*q - 