 = -3*v + x*v - 95. Does 19 divide v?
True
Let c(p) = p**3 - 3*p**2 - 2*p - 4. Does 11 divide c(5)?
False
Let a(y) = 3*y**2 - 2*y + 1. Let j be a(1). Let o = 4 - j. Suppose -3*l = o*l - 35. Is l a multiple of 7?
True
Let k = -50 + 113. Let s = -27 + k. Is 12 a factor of s?
True
Let l = 35 + 2. Does 11 divide l?
False
Let o = -152 - -218. Is 20 a factor of o?
False
Let n(q) = -6*q**2 + 10*q + 2. Let b(z) = -z**2 + 1. Let v(s) = -5*b(s) + n(s). Is 10 a factor of v(6)?
False
Let n = 1 + 29. Is 7 a factor of n?
False
Suppose -5*f = -6*f + 101. Is 13 a factor of f?
False
Let i = -12 - -20. Is 3 a factor of i?
False
Let c(p) = -9*p**3 - 5*p**2 - 10*p - 15. Let j(g) = 4*g**3 + 3*g**2 + 5*g + 7. Let l(z) = -3*c(z) - 7*j(z). Is 13 a factor of l(-6)?
True
Let t(i) = -i**2 - 7*i - 6. Suppose -4*j + 6 = 38. Let h be t(j). Is (-3 + 10)*(-24)/h a multiple of 5?
False
Suppose 0 = 2*s - 0*s - 24. Is 12 a factor of s?
True
Suppose -28 = -c + 3*l + 24, -5*l - 60 = -c. Suppose f = -5 + 9. Suppose 2*h = g + c, f*g - 18 = -2*h + 2. Is 5 a factor of h?
False
Suppose 2*c + c - 3*o + 12 = 0, -4*o = -2*c - 16. Suppose 36 = 2*x - n - c*n, 0 = -x - n + 18. Is x a multiple of 3?
True
Let u(a) be the third derivative of a**4/12 - a**3/3 - 3*a**2. Is u(2) a multiple of 2?
True
Suppose -3*j + 2*c + 10 = 0, 0*j + 4*j - 3*c - 15 = 0. Suppose -k + 3 + 3 = j. Is k a multiple of 3?
True
Let y(h) = -h**2 + 6*h + 3. Let f be y(6). Suppose -f*d + 47 - 8 = 0. Does 5 divide d?
False
Suppose -k - 357 = -3*z, 369 = -2*z + 5*z + 3*k. Is 8 a factor of z?
True
Let v = -12 + 96. Is v a multiple of 42?
True
Suppose 12 + 8 = -5*a, a - 21 = -5*n. Let k(w) = w**2 + w + 3. Let i be k(n). Suppose 3*g + 0*g - i = 0. Does 6 divide g?
False
Let j = 22 - 14. Let b be -1 + (-3)/((-6)/j). Suppose 5*l - 7 = -b*t + 16, 47 = 5*l - 3*t. Is l a multiple of 4?
False
Suppose 2*q = 3*i - 133, 198 = 4*i - 2*q + 18. Is i a multiple of 4?
False
Let r be ((-108)/(-45))/((-6)/(-20)). Let f = r + -6. Is f even?
True
Suppose -21 = -3*z - 6. Suppose 0 = l - z*l - g, 0 = -4*g + 16. Is (-1 + l + 1)*-14 a multiple of 7?
True
Suppose 7*j - 38 = 2*j + 4*y, -10 = 5*y. Let s(d) = d**2 - 3*d. Is 4 a factor of s(j)?
False
Suppose -4*c + 122 = -94. Is c a multiple of 6?
True
Let f(s) = 2 + 2 - 8*s - 2. Let c be ((-4 + 9)/1)/(-1). Does 21 divide f(c)?
True
Let k(x) = -3*x**3 - x**2 - 3. Is 28 a factor of k(-3)?
False
Suppose -7*t = -6*t - 60. Does 20 divide t?
True
Let n(j) = -2 - 4 - 7 + j**2 + 11*j. Does 6 divide n(-14)?
False
Let z = 2 + -2. Suppose -k - 2*k = 5*d - 122, z = -3*d + k + 76. Suppose 0*y = -y + d. Is y a multiple of 14?
False
Suppose -88 = -0*x - 4*x. Is 22 a factor of x?
True
Let y = -10 - -14. Suppose 0 = -2*s - y*h + 58, -2*s + 131 = 2*s + 3*h. Is s a multiple of 12?
False
Let h = -63 + 97. Let u = -12 + h. Is u a multiple of 22?
True
Suppose 3*w - 5*w = l - 180, 3*l - 540 = -5*w. Is l a multiple of 36?
True
Suppose 40*u = 42*u - 8. Does 3 divide u?
False
Let y = -1 + -14. Is 23 a factor of (-2)/10 + (-963)/y?
False
Let x(d) = -d - 5. Suppose -5*a = -3*t + 2, 2*t = -3*t + a - 26. Let z be x(t). Does 4 divide ((-12)/(-10))/(z/5)?
False
Suppose -3*h = -h - 204. Does 14 divide h?
False
Let r be 2/(-3) + (-370)/(-15). Suppose -4*f + r = -0*f. Suppose -f = -m - 4. Is 2 a factor of m?
True
Let z = 5 + -5. Suppose -3*q - 2*r + 3 = -3, -q - 4*r - 8 = z. Suppose -q*y - 21 = -7*y. Does 7 divide y?
True
Suppose -5*a + 2 = -2*f, 2*a - a + 2*f = 10. Let q = a - 0. Suppose q*v + 4 = 3*v. Is 4 a factor of v?
True
Let g = 17 + -1. Does 8 divide g?
True
Suppose -z + 612 = 2*z. Suppose 2*o + z = -4*q, 2*q + 191 = -4*o - 217. Let v = -45 - o. Is v a multiple of 15?
False
Let s = 0 + 0. Suppose -2*t + 7*t - 10 = s. Is (-36)/(-5)*10/t a multiple of 18?
True
Suppose 13 = -4*k + j, 4*k + 4 = -2*j - 18. Let x be 2/k*-8 + 0. Suppose -53 = -5*p - 2*z, -x*p - z = -p - 31. Does 3 divide p?
True
Let z be -5*(4 - (-18)/(-5)). Is 11 a factor of 88*(z/4 + 1)?
True
Let b be 1/((-3)/18*-2). Suppose -x - 5*q = -2*x + 40, 0 = -b*q. Is x a multiple of 25?
False
Let u be (2 + 2)/(2 - 4). Is 5 a factor of u - (-1)/1 - -25?
False
Does 2 divide ((-2)/(-6))/(7/189)?
False
Let w be 2/(((-2)/4)/(-1)). Let f be (-178)/(-3) - w/(-6). Suppose 4*h - f = -5*l, -3*h + 5*l - 7*l + 38 = 0. Does 4 divide h?
False
Let n = -6 - -8. Suppose -j - n*j = -132. Does 11 divide j?
True
Let b(g) = g**3 + 12*g**2 + 12*g + 13. Let m be b(-11). Suppose -n = -m*v - 2*v - 33, -v - 88 = -3*n. Is n a multiple of 14?
False
Suppose -162 = 7*r - 10*r. Does 22 divide r?
False
Suppose 73 + 41 = 3*h. Is h a multiple of 19?
True
Suppose -21 = 4*s - 2*h - 3*h, -5*h = -5*s - 20. Is 3 - (1 - (s + 1)) a multiple of 4?
True
Suppose 2*v + m = -13, -3*v + 3*m = 6 - 0. Let n(k) = k**2 - 3*k - 2. Does 9 divide n(v)?
False
Let v = -36 + 65. Let w(o) = 4*o**2 + 1. Let b be w(-1). Suppose -v = -t + b. Does 13 divide t?
False
Let g(t) = -27*t - 1. Let p(o) = -o**2 - 3*o - 3. Let z be p(-2). Does 13 divide g(z)?
True
Suppose 2*m = 3*m + 1, 0 = -2*s + 2*m + 8. Let r(g) = 14*g. Let i be r(1). Suppose 0 = 5*q - s*q - i. Is 7 a factor of q?
True
Does 25 divide (-7)/(84/(-90))*10?
True
Suppose -7 = -5*w + 18. Is w even?
False
Let i be 18/4*256/6. Suppose -i = 4*m - 0*m. Let l = -22 - m. Is l a multiple of 18?
False
Suppose 0 = 3*s - 6, 7*s - 3*s = -5*i + 88. Is i a multiple of 16?
True
Let s(k) = 7*k**2 + k. Let o be s(-2). Let y be ((-2)/6)/((-5)/615). Let p = y - o. Is p a multiple of 9?
False
Let g(n) = -n - 8. Let o be g(-6). Let h be o/(-4)*0/1. Suppose h = 3*w - 36 - 27. Does 21 divide w?
True
Let i be (-2)/1 - -13*1. Let c = i - 18. Is 10 a factor of c/(21/10)*-3?
True
Does 3 divide (30/4)/(-5)*136/(-3)?
False
Let x be (4/6)/((-8)/(-36)). Let p(b) = 4*b**2 - 2*b + 6. Is p(x) a multiple of 12?
True
Let p = -43 - -68. Let n = 2 - 1. Let w = p - n. Is w a multiple of 17?
False
Let o(z) = z**3 - z. Let f(w) = -4*w**3 - 2*w**2 + 5*w + 5. Let l(u) = f(u) + 5*o(u). Is 14 a factor of l(4)?
False
Suppose 2*v = 5*v - 108. Does 17 divide (2/(-4))/((-1)/v)?
False
Let q = 1 + 1. Suppose -2 - 4 = -2*k. Suppose k*d - 4 = q*d. Is d a multiple of 3?
False
Let c(q) = 1 - 3*q + 0*q - 9*q. Suppose -8 = 5*x + 7. Does 13 divide c(x)?
False
Suppose 5*h - 5 - 25 = 0. Let y(g) be the second derivative of g**5/20 - g**4/2 + 7*g**3/6 - g**2/2 - 5*g. Is 14 a factor of y(h)?
False
Let q(z) = -23*z**2 - 4. Let h be q(-2). Let i = -66 - h. Does 6 divide i?
True
Let u(a) = a**2 - a + 3. Let l = 1 - 1. Is u(l) even?
False
Let n be (4/(-10))/((-4)/10). Is 4 a factor of 12/((-15)/(-6) - n)?
True
Is 13 a factor of ((-2)/(-4))/((-1)/(-260))?
True
Let i(c) = -6*c. Let g be i(4). Let r = -13 - g. Is 11 a factor of r?
True
Let y(n) = -n**3 - n**2 + n + 10. Let r(b) = -b**2 + b + 1. Let a(q) = -2*r(q) + y(q). Let d = 6 - 6. Does 7 divide a(d)?
False
Let u = -6 + 10. Suppose 2*p + u = -2*y, 0*p - 27 = p - 4*y. Is ((-24)/(-28))/((-1)/p) a multiple of 4?
False
Suppose -4*a + 5*d - 100 = 0, 20 = 7*d - 2*d. Let c = a - -45. Does 9 divide c?
False
Let x(t) = t**2 + 4. Let q be x(0). Suppose -3*z - f = 2*f - 51, q*z + 2*f - 66 = 0. Is z a multiple of 16?
True
Let f be 0/(-2) + -1 + 19. Let q be -5*3*(-12)/45. Suppose -f = -q*g + 2*g. Is 9 a factor of g?
True
Suppose 0*d - 4*d = -8. Does 2 divide d?
True
Is 18 a factor of (1/(2/(-93)))/(15/(-100))?
False
Suppose -2*t = -4*t + 278. Does 17 divide t?
False
Suppose 14 = c - 7. Does 21 divide c?
True
Suppose -p = z + 4, z + 4*p = 7*p. Let l(o) = -o**3 - 2*o**2 - 3. Is l(z) a multiple of 5?
False
Let h(z) = 8*z**2 + 4*z + 15. Does 13 divide h(-3)?
False
Let j(k) = k**3 - k**2 - k. Let g be j(2). Let i(p) = p + 1. Does 2 divide i(g)?
False
Let p(c) = 2*c**2 + 2. Is p(3) a multiple of 20?
True
Let d be (-1 - -2)/((-3)/(-213)). Suppose 2*n - 7 = d. Does 9 divide n?
False
Suppose j - 2*j = -79. Does 23 divide j?
False
Suppose -24*c = -29*c + 340. Is c a multiple of 11?
False
Suppose 0 = -3*z - 3*l + 396, 0 = 3*z - 4*z + 3*l + 132. Suppose 7*o - 3*o = z. Is 11 a factor of o?
True
Let l be (-133)/(-9) - (-2)/9. Suppose 2*b - 14 = -2*p, 5*b - 8 = -2*p + 18. Suppose -b*q + l = q. Does 3 divide q?
True
Suppose 0 = -5*y + 19 + 6. Suppose 2*o = y*o - 54. Is 9 a factor of o?
True
Let r(d) = -9*d**2 - 12*d