divide p?
True
Suppose -3*q + 277 = 4*p, -2*q - p + 178 = -5*p. Does 13 divide q?
True
Let c = -9 + 11. Is 9 a factor of 33 + (-1 - c) + 6?
True
Suppose 2*z = 2*p - 222, -5*p + 372 + 187 = -z. Is 14 a factor of p?
True
Let y(c) = -4*c**3 + 2*c**2 + 2*c + 1. Let n = 3 - 4. Let m be (-3)/3 + -1 - n. Is 3 a factor of y(m)?
False
Let s(r) = 5*r - 22. Does 5 divide s(10)?
False
Suppose 2 = -3*r + 26. Let p = r + 20. Does 15 divide p?
False
Suppose 3*p = 5*q - 156, p = -4*q - 9 - 26. Does 12 divide (-4)/(-16) + p/(-4)?
True
Let m(o) = o**3 + 8*o**2 + 6*o - 4. Suppose -2*b = 8 - 2, 0 = -4*j + b - 25. Let g be m(j). Is 7 a factor of g*(-1)/((-6)/32)?
False
Suppose 3*f - 308 = y, 200 = 3*f - f - 2*y. Is f a multiple of 13?
True
Let g = 101 + -36. Is 13 a factor of g?
True
Does 2 divide (7 - 3)*4/2?
True
Let h = -34 - -74. Is 10 a factor of h?
True
Let i = -175 - -311. Is i a multiple of 17?
True
Suppose -295 = -p - 4*p. Suppose 5*a - 4*n - p = 0, 5*n - 2*n = 2*a - 18. Is 11 a factor of a?
False
Let t(n) = -9*n**3 + 2*n**2 + n + 9. Does 27 divide t(-3)?
False
Let o = -10 + 10. Suppose -4*r - w + 158 = 0, r + o = -w + 38. Does 10 divide r?
True
Let w = 128 - 56. Does 18 divide w?
True
Let v be 3/2*8/3. Suppose -26 = -v*u - 2*p, 8 = 2*u - p - 3*p. Does 3 divide u?
True
Let x = 39 - 24. Is x a multiple of 6?
False
Suppose -2*m = -m. Suppose -3*i - 2*k + 105 = -11, m = 4*i + 2*k - 152. Is i a multiple of 13?
False
Let f = 32 + 16. Is 24 a factor of f?
True
Let g = 0 - -30. Is g a multiple of 3?
True
Let w = 9 - 1. Suppose -2*l = -18 - w. Is l a multiple of 13?
True
Suppose -2*i + 0*i + 4*w + 320 = 0, 5*i + 4*w - 772 = 0. Is i a multiple of 26?
True
Let x(g) = g - 2. Let k be x(5). Suppose 3 = k*c + 4*a - a, -3*c - 2*a = -7. Suppose l = -c*b + 14, -2*b + 5*l = -5*b + 26. Is b a multiple of 2?
True
Let k = -230 + 322. Is 46 a factor of k?
True
Suppose -14 = 4*n - 3*n. Let v = -17 + n. Is 9 a factor of 3/(-3)*v*1?
False
Let w(t) be the first derivative of t**3/3 + 9*t**2/2 - 10*t - 4. Is 12 a factor of w(-11)?
True
Let o(s) = -s**2 - 5*s - 3. Let q be o(-3). Suppose -52 = -q*h + 14. Does 16 divide h?
False
Suppose 2 = 2*r + 5*l - 30, 5*r + 4*l = 80. Let y = 1 - r. Is 6/y - (-74)/10 a multiple of 7?
True
Let f be ((3 - 1) + -2)*1. Suppose f = 3*i - 2*i - 23. Is i a multiple of 13?
False
Let r(h) = -h**2 + 6*h - 1. Let c be r(5). Suppose 32 = 4*v - c*l, -l + 0*l - 26 = -3*v. Is 2 a factor of (9/(-6))/(v/(-30))?
False
Let z = -74 + 116. Is z a multiple of 6?
True
Let b(k) = k**3 + 6*k**2 - 7*k. Is b(-6) a multiple of 14?
True
Let s = 78 - 2. Suppose -s - 38 = -3*q. Is 18 a factor of q?
False
Let o = 103 + -71. Is o a multiple of 8?
True
Let z(u) = u - 6. Let j be z(6). Suppose o - 13 = -j. Does 12 divide o?
False
Let z = 66 + -47. Suppose -5*m + z = -6. Let y = m + -1. Is y a multiple of 2?
True
Let m(t) = t**3 - 4*t**2 - 4*t + 5. Let q = -9 - -14. Let d be q/20 + (-19)/(-4). Is 10 a factor of m(d)?
True
Let m(h) = -h**3 + 3*h**2 - h - 2. Let c be m(2). Suppose -3*r + 297 = -c*r. Does 33 divide r?
True
Is (-4)/(-2) - (-27 - 2) a multiple of 2?
False
Let u be (-1 + 0 - 0) + -1. Let t be 4 + (4 + u - 4). Suppose -m + 0*m + 21 = s, 5*s - t*m = 84. Is 18 a factor of s?
True
Suppose 0 = -n + 19 + 6. Does 2 divide n?
False
Let f(p) = -12*p**2 - 3*p + 1. Let s(r) = -35*r**2 - 10*r + 4. Let i(c) = -7*f(c) + 2*s(c). Suppose -2*t = 0, 2*a + 3*a + 5 = 2*t. Is i(a) a multiple of 14?
True
Let k = 67 + -2. Is k a multiple of 13?
True
Let k(y) = y**2 - 2*y + 56. Let q be k(0). Let o = q + -33. Is o a multiple of 12?
False
Suppose -2*f = -4*v + 24, -v - f + 28 = 2*v. Is 4 a factor of v?
True
Suppose -2*f + 103 = -3*t - 0*f, -2*f - 2 = 0. Let a = -11 - t. Suppose 2*s + 0 - a = 0. Does 12 divide s?
True
Let t be -2 - -17*(-1)/(-1). Suppose 5*v + 0*v - t = 0. Suppose 3*g + 3*l = 45, v*g - l = -0*l + 41. Does 7 divide g?
True
Suppose -k = 2 - 7. Let a = 6 - k. Is 20 a factor of a + (-1 - (-57)/1)?
False
Is 25 a factor of (-2)/3 + (-2583)/(-27)?
False
Suppose -2*k - 3*k + 5 = 0. Let s(w) = w + 6 + 5*w + k - w**2. Does 9 divide s(5)?
False
Let q be -2 - 6/((-2)/2). Suppose -156 = -q*j + 3*y, 2*y + 55 + 63 = 3*j. Does 11 divide j?
False
Suppose 9 = i + 4. Suppose -i = -2*k + 3. Is k even?
True
Let x(f) = -2*f**3 - 15 + 3*f**2 - 13*f**2 + f**3 + 5*f. Is x(-11) a multiple of 17?
True
Let m(l) = -l**3 + 12*l**2 + 2*l + 12. Is m(12) a multiple of 18?
True
Does 10 divide (-882)/(-15) + 1/5 + 1?
True
Let x(d) = -d**2 + 7*d - 4. Let y be x(6). Suppose 0*p = -y*p + 24. Is p a multiple of 9?
False
Is (-8 - (-9 - -6))/(1/(-11)) a multiple of 5?
True
Suppose 0 = 2*h - 114 - 68. Suppose -h = -d + 84. Suppose -m = 4*m - d. Is m a multiple of 25?
False
Let y(b) = -b**2 + 4*b - 7. Let s be y(-6). Let h = -43 - s. Is h a multiple of 12?
True
Does 11 divide (-1)/(-2)*(33 + (-1)/(-1))?
False
Suppose u - 12 = 16. Does 20 divide u?
False
Let x(v) = -v**2 + 12*v - 15. Let u be x(10). Let d be (-218)/(-8) - 2/8. Suppose 83 = u*h - d. Does 22 divide h?
True
Let q = -38 + 46. Is q a multiple of 8?
True
Suppose 5*m + 163 - 463 = 0. Suppose -s = -0*o - 2*o + 24, -5*o + 3*s = -m. Is 4 a factor of o?
True
Is 9 a factor of (7 + (-524)/(-12))*6/4?
False
Let p = -45 - -13. Let l = p + 54. Suppose -l - 15 = -i. Is i a multiple of 10?
False
Suppose -7*t - 70 = -9*t. Is 13 a factor of t?
False
Is ((-15)/(-12))/(3/216) a multiple of 18?
True
Let u = 119 + -65. Does 18 divide u?
True
Let p = -2 + 4. Suppose 0 = 2*b - 0*b - 10. Suppose -3*y + p*r + 53 = 0, -4*r - 89 = -b*y - r. Is y a multiple of 7?
False
Let s(c) = 21*c**3 + 2*c - 1. Let q(n) = n**2 + 6*n**2 - 11 + 6*n**2 + 11*n + n**3. Let i be q(-12). Is 17 a factor of s(i)?
False
Let y be 7/(28/(-128)) + 1. Let z = -18 - y. Does 13 divide z?
True
Suppose 3*g + g - 164 = 0. Suppose 6*i - 2*i - 60 = 0. Suppose -3*z + g + 40 = 4*n, 5*z = i. Does 18 divide n?
True
Suppose 6*m = 66 + 42. Does 18 divide m?
True
Let m(n) = -3*n**2 - 2*n + 0*n**2 - n**3 + n. Let x be m(-3). Suppose -4*c = -2*w - 110, -c + x + 19 = 5*w. Is 12 a factor of c?
False
Suppose -5*g + 2*i = -24, -4*g - 2*i + 10 + 2 = 0. Is 74/g + (-11)/(-22) a multiple of 6?
False
Suppose 4*y + 5*u - 389 = 0, 6*y - u = y + 450. Is 19 a factor of y?
False
Suppose 4*o + 248 = -0. Does 24 divide 1/((2/o)/(-1))?
False
Let a = -220 - -391. Is 17 a factor of a?
False
Suppose 7*d - 11*d + 88 = 0. Is 12 a factor of d?
False
Suppose -2*b + 3*b = 63. Is 27 a factor of b?
False
Let x = -7 - -11. Suppose 0 = x*w - 8*w + 184. Is 23 a factor of w?
True
Let b(n) = n**3 - 5*n**2 + 3*n + 7. Is 3 a factor of b(5)?
False
Let t = 22 + -49. Let u be 4/(-14) - t/21. Does 5 divide u + (3 + -2 - -8)?
True
Suppose -3 = 2*z - 51. Let p = 80 + 6. Suppose -2*w = 3*r - 4*w - p, r - z = 3*w. Is 15 a factor of r?
True
Let o be (2 + 0)*(-2 - -3). Let w be (-82)/(-7) - (-14)/49. Let i = w - o. Is 8 a factor of i?
False
Suppose -3*f - 5*s = f + 61, -4*f - 4*s - 56 = 0. Let w = f - -81. Does 24 divide w?
True
Let m(y) = 3*y - 10. Let h(l) = 2*l - 5. Let a = 20 + -14. Let j be h(a). Is 11 a factor of m(j)?
True
Suppose -5*f - 28 - 2 = 0. Let j(c) = -2*c - 7. Let t be j(f). Suppose t*q = 5*a + 85, 4*a - 3*a - 83 = -4*q. Does 11 divide q?
False
Let v(u) = -2*u**3 - 3*u**2 + 0 - u**3 - 2*u - 2. Let p be v(-3). Suppose -2*r = -4*r + p. Is r a multiple of 13?
False
Suppose -t + 0*t = 0. Suppose t*s + 3*a + 7 = 2*s, 3*a + 40 = 5*s. Suppose -s - 9 = -2*i + 2*l, -3*l - 6 = -i. Is i a multiple of 6?
True
Suppose -2*i - 204 = -4*i. Does 23 divide i?
False
Let n(s) = s**2 + 7*s + 4. Let k(b) = -b**2 - 3*b + 2. Let j be (-1 - (-2 - -1)) + 2. Let v be k(j). Does 12 divide n(v)?
True
Let y(t) be the first derivative of 2/3*t**3 - t**2 - 3 + t. Is 10 a factor of y(-3)?
False
Let z = 22 - 37. Let p(h) = -h**3 - 14*h**2 + 14*h + 15. Does 15 divide p(z)?
True
Let a = -17 - -32. Let p = 57 - a. Does 15 divide p?
False
Let u(x) be the third derivative of 0 + 2*x**2 + 1/6*x**3 + 0*x - 1/12*x**4 + 1/60*x**5. Does 7 divide u(4)?
False
Let y(f) = 2 + 11*f - 2*f + 7*f**2 - 5*f**3 + 4*f**3. Does 4 divide y(8)?
False
Let p be -1 + 1 + -1 - -1. Suppose -5*k + 2*k - 3 = p. Does 4 divide (4/((-12)/15))/k?
False
Let a be 2 - 3/3 - -3. Suppose 0 = -i - a*i + 145. Is 15 a factor 