12 a factor of p?
False
Let c = 295 - -150. Suppose 0*j + 5*j - c = 0. Does 27 divide j?
False
Let f be 6/(-15) + 62/5. Suppose w - 3*g - 14 = 0, -4*w + 16 = -5*g - 5. Does 3 divide f/(w*(-4 + 2))?
True
Let d = -12 - -19. Suppose 15 = 5*c - 0. Let i = d - c. Does 3 divide i?
False
Is 6 a factor of (-72)/30*90/(-4)?
True
Suppose 4*c = 4*w - 196, 3*c - 6 = 3. Suppose -6*j + w = -2*j. Let p = 19 - j. Is p a multiple of 3?
True
Let c = 0 - -2. Let v(z) = -3 + 13*z + 3. Is v(c) a multiple of 9?
False
Let z(a) = a**2 - 2*a - 2. Let y(j) = -j**3 - j**2 + j + 7. Let m be y(0). Is z(m) a multiple of 17?
False
Let p(d) = -3*d - 10. Let a(g) = 5*g + 21. Let o(v) = 2*a(v) + 5*p(v). Let n(y) = -y**2 + 11*y - 24. Let s be n(9). Is 11 a factor of o(s)?
True
Let u = 96 - -46. Is 2/4 - u/(-4) a multiple of 18?
True
Let y(i) = -8*i + 2. Let r be y(-2). Suppose -2*s - 13 = -75. Let a = s - r. Is a a multiple of 5?
False
Does 2 divide (-8)/(-2 - 60/(-35))?
True
Suppose 3*y = 101 + 4. Is 35 a factor of y?
True
Let o(h) = -h + 11. Is o(-8) a multiple of 7?
False
Let s = 0 - -5. Suppose 7*r - s*r - 68 = 0. Is r a multiple of 17?
True
Let v(l) = -l**3 - 16*l**2 - 2*l + 17. Is 3 a factor of v(-16)?
False
Is 2*(12 + 2) - 1 a multiple of 9?
True
Suppose 0 = 6*m - 16 - 8. Suppose -8 = u + 2*g - 56, 222 = m*u - 2*g. Is u a multiple of 13?
False
Let h(q) = -q + 4. Let b be h(4). Does 10 divide 7 - ((-3 - 0) + b)?
True
Let k be (1 - (-2)/(-2))*1. Let u = k + 2. Suppose u*z = 5*s + 37, -3*z - 2*z + 78 = 2*s. Does 8 divide z?
True
Suppose -p = d - 29, -31 = -2*d - 5*p + 21. Suppose -u + 4*t + 3 = -d, u - 2*t - 24 = 0. Is 13 a factor of u?
False
Is 8792/77 - (-4)/(-22) a multiple of 15?
False
Suppose 0 = -9*d + 4*d - o + 160, -4*d - 5*o = -128. Does 9 divide d?
False
Suppose 38*x + 150 = 43*x. Does 10 divide x?
True
Is (-2)/(-3) - (-68)/6 a multiple of 9?
False
Let p be 11/((-1 + -2)/(-72)). Is 15 a factor of 2 - (p/3)/(-4)?
False
Let c = -7 - -52. Is c a multiple of 9?
True
Let y(f) = -f**3 - 7*f**2 + 8*f. Let h be y(-8). Suppose -5*q + c + 45 = 0, 3*q - c + 0*c - 27 = h. Is 9 a factor of q?
True
Let a = 338 + -107. Is a a multiple of 33?
True
Let c = 33 - 49. Let i = 4 - c. Suppose 0 = h + h - i. Is 4 a factor of h?
False
Let m = -110 + 247. Suppose -4*o = 5*x - 239 + 60, 3*o + m = 4*x. Is 21 a factor of x?
False
Is 30 a factor of (-1*10/(-4))/((-6)/(-84))?
False
Let d be (-31 - -1) + (-2 - -1). Let z be 3/6*(-93 + 1). Let i = d - z. Is i a multiple of 15?
True
Let u = -4 + 2. Does 9 divide (-53)/u + (-1)/(-2)?
True
Suppose -z = -3*s + 10, 5*s + 6*z - 2*z - 11 = 0. Let r(l) = 5*l + 7. Let j be r(5). Suppose s*x = x + j. Is x a multiple of 8?
True
Let m(l) = l**2 - 6*l - 10. Let t be m(8). Suppose -4*r = -r - t. Let q = r + 14. Does 6 divide q?
False
Let c = 4 + 1. Suppose 3*k + c*s = 55, -2*s + 6*s = -16. Is k a multiple of 13?
False
Suppose 3*m = m + 144. Does 19 divide m?
False
Suppose -4*a + 2*b = 58, -a + 2*a + 4*b + 10 = 0. Let f(l) = -l + 22. Let w be f(0). Let h = w + a. Is h a multiple of 8?
True
Let t(x) = -x**3 + 2*x**2 + 2*x + 3. Let a be t(3). Suppose -16 = -3*k - 5*v + 12, 2*k + 2*v - 20 = a. Does 7 divide k?
False
Let s = -66 + 126. Suppose -2*t - t = -s. Does 20 divide t?
True
Let m(o) = o**2 + 10*o + 3. Let u be m(-10). Suppose -88 = 2*r - u*x, 4*x - x = -4*r - 194. Let v = 80 + r. Is v a multiple of 23?
False
Let x(t) = 2*t**3 - 5*t**2 - 4*t + 5. Let j = 8 + -4. Does 12 divide x(j)?
False
Let r(d) = d - 7. Let y be r(-5). Let x = y + -11. Let h = x - -47. Does 8 divide h?
True
Suppose 8 = -2*b - 8. Let n be (-2)/b - 3/(-4). Suppose n + 15 = 2*r. Does 7 divide r?
False
Let m = 228 + -108. Does 8 divide m?
True
Let o(k) = 7*k. Let g be o(-2). Let z = g + 29. Does 12 divide z?
False
Suppose -5*l - 8 - 12 = 0. Let d(x) = x**2 - 2*x + 4. Does 14 divide d(l)?
True
Let j(d) = d - 1. Let c(b) = -2*b + 1. Let f(z) = -c(z) - 3*j(z). Is 14 a factor of f(-12)?
True
Let k = -11 + 5. Let n = -2 - -20. Is n/4*(-16)/k a multiple of 5?
False
Suppose -3*s = -2*l + 27, 2 - 11 = s + 4*l. Let i be 25/3 - 6/s. Does 6 divide ((-6)/i)/(-2)*51?
False
Suppose 0 = 5*y + 2*b - 0*b - 30, -2*b = 0. Is y a multiple of 6?
True
Suppose -3*x - r = -341, -6*x + 4*x + 232 = 3*r. Is 11 a factor of x?
False
Does 5 divide 507/26 - 1/2?
False
Suppose -h = -s - 39, -s - 64 = -2*h + 14. Is h a multiple of 13?
True
Let f(s) = 3 + 3*s - 7*s + 3*s + 2*s**2. Is 13 a factor of f(-4)?
True
Suppose -26 = -4*m + 6. Let s(u) = u - 5. Let b be s(m). Suppose 2*t + 14 = b*t. Is t a multiple of 14?
True
Let a(y) = -y + 2. Let h be a(2). Let l be 3*(h - 1)*1. Let k = l + 8. Is 3 a factor of k?
False
Does 6 divide 4/(-2)*(-24)/(-16) + 51?
True
Let n(w) be the third derivative of w**7/2520 - w**6/144 + w**5/15 + w**4/8 + 3*w**2. Let d(a) be the second derivative of n(a). Does 7 divide d(6)?
True
Suppose -13 = -a - 2*p + p, 42 = 4*a + 2*p. Suppose 4*h = -3*l - 18, -5*h - a = -3*h + 2*l. Does 18 divide (-3)/h + (-71)/(-2)?
True
Suppose -3*f = -f + 8. Does 14 divide f + 1 + (71 - 12)?
True
Let h = 240 - 170. Is 7 a factor of h?
True
Let t(d) = -4*d**3 - 14*d**2 + 3*d - 8. Let j(p) = -9*p**3 - 29*p**2 + 6*p - 17. Let v(a) = 3*j(a) - 7*t(a). Is v(-11) a multiple of 11?
False
Suppose -28 - 12 = 2*b. Let d be (-2)/(-4)*b/(-1). Suppose 2 = -m + d. Does 8 divide m?
True
Let t = -63 - 35. Let r = -69 - t. Does 11 divide r?
False
Suppose -j + 76 = 2*j - 5*m, j - 5*m - 32 = 0. Does 6 divide j?
False
Suppose 3*f = 2*s + 3*s + 380, s - 624 = -5*f. Does 25 divide f?
True
Does 16 divide (-640)/(-3)*8*15/50?
True
Let a(f) = -f**3 - 5*f**2 - 2*f + 5. Let m be a(-4). Let g = 3 + m. Suppose -3*s + 15 + g = 0. Is 2 a factor of s?
False
Let w(i) = 5*i + 3. Let y be w(6). Suppose v + n = y, -2*v + 71 - 8 = n. Is 8 a factor of v?
False
Suppose 0 = 3*k - 9, 3*k + 3 = -4*j + 4*k. Suppose j = -t - 264 - 56. Is 14 a factor of t/(-7) + (-8)/(-28)?
False
Let x(j) = -j**3 + j + 4. Let s be x(0). Suppose s*i - 2*i - 16 = 0. Is i a multiple of 4?
True
Let l(g) = g**2 + g + 2. Let a be 1 - (3 + -2 - 2). Is l(a) a multiple of 5?
False
Let n(j) = 2*j**3 - 7*j**2 - 8*j + 5. Is 10 a factor of n(5)?
True
Let a = -120 + 216. Is a a multiple of 10?
False
Let r(c) be the first derivative of -c**2/2 - 7*c + 3. Let p be r(-8). Is 25 a factor of -1*p*(0 + -25)?
True
Let q(d) = -2*d + 2. Let x be q(4). Let u be (2/x)/((-2)/12). Suppose 34 = 3*y - u*j, 2*y - 48 = -0*j - 5*j. Does 7 divide y?
True
Does 37 divide (42 - 3) + 1/(-1) + -1?
True
Suppose s - 37 - 51 = 0. Is 44 a factor of s?
True
Let u(y) = y**3 - 9*y**2 - 10*y + 20. Is 10 a factor of u(10)?
True
Is 18 a factor of -1 - ((-69 - -2) + -1)?
False
Suppose 0 = s + 4*w - 47, -2*s - 5 = -2*w - 69. Does 13 divide s?
False
Suppose 5*o + 2*j - 21 = 0, -6*j + 15 = 5*o - j. Suppose 5*q = 2*q + u + 41, 0 = o*q + 5*u - 95. Is q a multiple of 12?
False
Suppose -4*k + 160 = -9*k. Let n = k + 17. Let g = -10 - n. Is g a multiple of 3?
False
Let w(x) = x**2 + x + 17. Let c = -6 - -6. Is 7 a factor of w(c)?
False
Let k(o) = o**3 + 15*o**2 + 33*o + 14. Does 5 divide k(-12)?
True
Let v(k) be the second derivative of k**6/240 - k**5/120 - k**4/6 + k. Let z(l) be the third derivative of v(l). Is z(5) a multiple of 13?
False
Suppose -6*p + 2*z = -4*p - 100, 5*p - 2*z - 244 = 0. Is 6 a factor of p?
True
Let p(d) = d - 1. Does 11 divide p(12)?
True
Is (4 + -1)/(5/20) a multiple of 4?
True
Suppose -5*l = -4*j - 7*l + 202, -j = -4*l - 73. Is j a multiple of 4?
False
Suppose 0 = -4*o + 8*o - 744. Suppose -2*d + o = 2*d + s, -3*s - 53 = -d. Let t = d + -31. Does 10 divide t?
False
Suppose 105 = 7*s - 4*s + 5*b, 111 = 4*s - 3*b. Does 7 divide s?
False
Is 7 a factor of (-501)/(-15) - (-4)/(-10)?
False
Suppose 0 = -4*t - 0*t + 60. Suppose 18*d - 23*d = -15. Suppose -t = -4*w - 3*z, w + w = d*z + 3. Is w even?
False
Let f be 2/(-3)*(-75)/10. Suppose 2*q = f*r + 39 + 26, 2*q = -4*r + 56. Does 15 divide q?
True
Let j be 0 + (0 - -1) + 1. Let a = 6 + -9. Is 13 a factor of 19 - a/((-6)/j)?
False
Suppose -d + l = 2*l - 8, 0 = -l + 4. Is 3 a factor of d?
False
Suppose -77 = -5*m - 2*x + 78, 2*m - 76 = 2*x. Is m a multiple of 9?
False
Is 19 a factor of (15/(-5))/(12/(-380))?
True
Suppose 3*n - 110 = -0*x - 2*x, -60 = -2*n - 4*x. Suppose