iple of 3?
False
Suppose -8*j + 9*j = 4*v + 456, -v + 957 = 2*j. Is j a multiple of 14?
True
Suppose 0 = -4*j - 4*r + 4, 0 = 4*r + r + 20. Let s(t) = 2*t - 6. Let u be s(j). Suppose 0 = 5*w + 4*p - 27, u*w + 13 = -2*p + 37. Does 7 divide w?
True
Let b = -24 + 12. Is 3 - (b - 2/(-1)) a multiple of 9?
False
Suppose -q - 1 = -3. Let h be -3 + ((-174)/(-3) - q). Suppose -5*g + 2 = -h. Is 8 a factor of g?
False
Let t = 72 - 39. Is 11 a factor of t?
True
Suppose -3*a + 3*z + 874 = a, 5*a - 4*z - 1092 = 0. Does 10 divide a?
True
Let l(b) = -b**3 + 11*b**2 + 2*b - 15. Let x be l(11). Suppose 3*o = x*o - 104. Is 5 a factor of o?
False
Suppose -3*c - 540 = -9*c. Suppose b + 173 = 5*y, b + 3*b = 8. Suppose 0 = 2*f - 4*x - 38, y = -3*f + 4*x + c. Is f a multiple of 6?
False
Let v(p) = 2*p**3 + 38*p**2 - 5*p + 17. Is 14 a factor of v(-19)?
True
Let q be 3 - (-5 + 0) - 3. Let r be 2/(-1) + 29 + -2. Suppose r = q*y - 0. Is y even?
False
Is 8 a factor of (6 - 5)/(3/171)?
False
Suppose -4*j - 4*b = j - 38, -3*j - 5*b + 28 = 0. Let t be (22/j)/(2/6). Suppose 5*f = -3*r + 3 - t, -4*r + 3*f + 28 = 0. Does 4 divide r?
True
Let y(r) be the third derivative of r**6/120 - 2*r**5/15 + r**4/12 - r**3/3 + 7*r**2. Suppose 0*d - 2*d + 16 = 0. Is y(d) a multiple of 14?
True
Suppose 0*p = -2*p + 110. Does 26 divide p?
False
Let w = 51 - -11. Is w a multiple of 11?
False
Is 6/(-4 + 69/15) a multiple of 10?
True
Let o be 1 + 0 - (-12 + 19). Is 22 a factor of 1111/44 - o/8?
False
Let q be -1 - (4 - 2) - -2. Does 5 divide q/(-4) + 86/8?
False
Let p(v) = 4*v + 1. Let c = -2 + 3. Let m be p(c). Let s = 15 - m. Does 5 divide s?
True
Let w = 61 + 56. Is 10 a factor of w?
False
Let b(f) = -f**3 - 5*f**2 + 6*f + 2. Let h be b(-6). Suppose -4 = 2*u - l, -3*u + 3*l - h - 10 = 0. Let c = u - -8. Does 4 divide c?
True
Suppose 2*l = 4*g - 180, 3*l + 77 + 99 = 4*g. Is g a multiple of 22?
False
Let d(q) = 8*q**2 + 2*q - 2. Let u be d(2). Suppose -3*w + 4*w = u. Does 17 divide w?
True
Suppose -3*y + 22 = -5. Is y even?
False
Suppose -v = v - 36. Does 5 divide v?
False
Suppose 0*w + x - 155 = -3*w, 4*w - 207 = -x. Let b = w + -107. Let c = b - -91. Is 12 a factor of c?
True
Suppose m = 6 - 0. Is m a multiple of 6?
True
Let p(n) = -n**2 - 7*n + 11. Let u be p(-8). Suppose -u*v - v = 0. Suppose v = -5*j + 4*m + 4 + 34, -2*j + 35 = 5*m. Does 7 divide j?
False
Let g(i) = 0 + i + 2*i + 1 - 4. Let s be g(3). Let y(c) = -c**3 + 6*c**2 + 3*c - 5. Does 13 divide y(s)?
True
Suppose -28 = -3*a - 13. Suppose -3*g + 50 = a*b, g + b - 17 = -b. Is g a multiple of 6?
False
Let g(f) = f**2 + 5*f - 8. Let h be g(-5). Let w = 15 - h. Is w a multiple of 6?
False
Let i = -10 + 18. Suppose -z + 292 = 3*w, 4*w - 3*z = -i*z + 404. Suppose -w = -4*k - 0*k. Is k a multiple of 15?
False
Suppose 0 = 3*k - 2*w + 6*w + 31, 4*w = -4*k - 36. Let z be 4/6 + 56/6. Let s = k + z. Is 5 a factor of s?
True
Is 1810/60 - 1/6 a multiple of 6?
True
Suppose -6 = s - 3*s. Suppose 3*m - 84 = -i - s*i, 4*i + 44 = m. Does 16 divide m?
True
Let c = 7 + -2. Is (2/c)/((-8)/(-480)) a multiple of 17?
False
Let c be (-112)/(-21) + (-4)/(-6). Suppose c*b = 3*b + 57. Is 13 a factor of b?
False
Let f(z) = -z - 9. Let a be f(-9). Suppose -2*c = -5*u + 2*u, 0 = -c + 4*u - 5. Suppose a = -c*i - i + 24. Is 5 a factor of i?
False
Let m(j) = 4*j + 1. Let b = -13 + 8. Let x(w) = w**3 + 6*w**2 + 4*w - 2. Let v be x(b). Is 7 a factor of m(v)?
False
Is 0/2 + (-624)/(-16) a multiple of 13?
True
Let v = 3 + 21. Does 10 divide v?
False
Let r = -13 - -27. Let j = -19 - -9. Let t = r + j. Is t a multiple of 4?
True
Let n be -1 + -1 - (-2 + 3). Is 4 a factor of (-25)/n + 3/(-9)?
True
Does 2 divide (1 - (-42)/(-4))*-2?
False
Let b be (-3*2)/(-3)*2. Is (-394)/(-11) + b/22 a multiple of 18?
True
Suppose 1 = -2*q - 11. Is 8 a factor of 6/(-4)*140/q?
False
Let z = 28 - 23. Is 5 a factor of z?
True
Let x = -72 - -106. Is 18 a factor of x?
False
Suppose 2*o + 1 = r, 0 = r - 5*o + 2*o - 4. Let z = r - -9. Suppose -z*x = -4*h + 32, h - 3*x - 17 = x. Is 5 a factor of h?
True
Let g(i) = 14*i + 56. Is g(14) a multiple of 18?
True
Let t = 1 + -2. Let z(f) = 11*f**2 - f. Is z(t) a multiple of 12?
True
Suppose i + 9 = 2*i. Let h(n) = n**3 - 9*n**2 + 2*n + 7. Does 11 divide h(i)?
False
Let l(n) = -n**3 - 6*n**2 - 5*n + 12. Is 6 a factor of l(-5)?
True
Let c = 29 + 1. Does 11 divide c?
False
Suppose 3*z - 4*q = 63 + 103, z - 58 = 4*q. Does 9 divide z?
True
Let m(g) = g**3 - g**2 + 3*g - 1. Let u be m(2). Suppose 0 = -4*y - u + 65. Is 7 a factor of y?
True
Suppose 3*k - o = -5633, k + 5*o - 1901 = 2*k. Does 25 divide 1/5 + k/(-70)?
False
Let o(g) = g**2 - g. Let i(k) = -k**3 - 4*k**2 + 8*k - 1. Let r(j) = -i(j) - 6*o(j). Let a be r(2). Let m(v) = -10*v + 1. Is 16 a factor of m(a)?
False
Suppose -14*i = -20*i + 294. Is i a multiple of 20?
False
Let r(w) be the second derivative of -w**6/120 + 5*w**3/3 - 3*w**2/2 - 2*w. Let x(p) be the first derivative of r(p). Is x(0) a multiple of 10?
True
Let f = -4 + 7. Suppose 266 = f*n - 4*j, 3*j - 4*j + 451 = 5*n. Does 12 divide ((-4)/10)/((-3)/n)?
True
Let q = 4 - 3. Let n(f) = -6*f**3 + f**2. Let s be n(q). Let p(z) = -6*z - 1. Is 14 a factor of p(s)?
False
Suppose 0 = 2*f + 3*z - 0*z + 295, 0 = 5*f - 2*z + 709. Let l = f - -221. Suppose 2*k + k - l = 0. Is 13 a factor of k?
True
Let x be -4*(-3 + 14/8). Suppose -2 = -0*d + 2*d. Is d/5 - (-96)/x a multiple of 7?
False
Suppose l + 2*r = 10, l + 3*r = 2*r + 10. Suppose w + 2 = -5*h, l = h - 8*w + 3*w. Suppose -5*y = -h*y - 10. Does 2 divide y?
True
Let c = 22 + -6. Is 16 a factor of c?
True
Let m be 1 - 1*(0 - -3). Is -8*(2 + -2 + m) a multiple of 16?
True
Is 14 a factor of (-84)/(0 - 9/6)?
True
Let o = -14 - -33. Does 10 divide o?
False
Let u(d) = -d**3 + 4*d**2 + 5*d + 6. Let z be u(5). Let l(v) = v + 8. Does 4 divide l(z)?
False
Suppose -2*v - 3*v - 2*h = -39, 27 = 4*v + 3*h. Is (-29)/(-3) - (-3)/v a multiple of 7?
False
Suppose -p = -2*d + 22, 2*d = 2*p + 24 - 0. Does 6 divide d?
False
Let o(y) = -12*y - 6. Let k be o(-4). Suppose r + p = 22, r - p = 3*p + k. Does 6 divide r?
False
Let m(y) = -y**2 + 5*y - 2. Let q be m(2). Suppose -q*f = -8*f + 120. Does 20 divide f?
False
Suppose -2*d = 2*d + 4*h - 888, d - 230 = -3*h. Does 10 divide d?
False
Let c = -30 + 51. Does 8 divide c?
False
Suppose -3*d = -x - 2*d, 0 = x - 3*d + 10. Is 13 a factor of (2/x)/((-14)/(-1820))?
True
Suppose 5*a = 4*i, i + 5*a - 11 - 14 = 0. Let y = -18 + 25. Suppose 3*l + 30 = i*g, -30 = -y*g + 2*g + 2*l. Is g even?
True
Is 148/12*(4 + -1) a multiple of 13?
False
Let o(b) be the second derivative of b**3/3 - 7*b**2/2 - 6*b. Is 8 a factor of o(16)?
False
Suppose 0 = -2*q + 4*q - 4. Suppose -v + q*v + 4 = i, i = 3*v + 4. Is 2 a factor of i?
True
Suppose 0 = 16*g - 2188 - 980. Is g a multiple of 14?
False
Is 21 a factor of (2/5)/(-1 - (-212)/210)?
True
Let k(m) = -237*m**3 + 0 + 1 - 55*m**3 + m. Let t be k(-1). Does 12 divide (-3)/6 - t/(-8)?
True
Suppose -3*u = -2*u + r - 57, 2*r = -8. Is 16 a factor of u?
False
Suppose 0 = -i + 6*i - 1100. Suppose -i - 5 = -5*f. Is 21 a factor of f?
False
Let t(d) = -d**3 + 7*d**2 + 5. Is 5 a factor of t(7)?
True
Suppose 5*c - 82 + 497 = -5*t, 0 = -2*t + 6. Let f = c + 159. Is f a multiple of 19?
False
Let q = 79 - 7. Is q a multiple of 18?
True
Let r = -144 - -263. Suppose 2*k - r = -4*c - 15, 4*k = 5*c - 104. Is c a multiple of 17?
False
Suppose 3*j + 3*u - 153 = 0, 4*j - 3*j - 4*u = 61. Does 29 divide j?
False
Let b be (2/(-3))/((-1)/(-279)). Let h be -3*(b/9 - -1). Suppose 4*u - 73 = -5*d + h, -94 = -3*d + 5*u. Is 11 a factor of d?
False
Let v(l) = l**3 + 5*l**2 - 6*l - 16. Is v(-5) a multiple of 14?
True
Let a(d) = -4*d + 5. Let m be a(4). Let g = 18 + m. Is g a multiple of 6?
False
Let v(g) = -g**2 - 6*g + 9. Let f be v(-7). Suppose f*j - 9 = -5*h, 3*j + 2*j - 54 = -2*h. Is 5 a factor of j?
False
Let v = 104 + -74. Is v a multiple of 5?
True
Suppose 3*z + 0*z - 111 = 3*g, -45 = -z - 3*g. Is 16 a factor of z?
False
Let j be 2 - (-2 + 4)*-1. Suppose 6 + 26 = -j*f. Let z = 1 - f. Is z a multiple of 6?
False
Suppose -3*a - 37 = -4*a. Does 13 divide a?
False
Suppose -3*o = -7*o - 100. Does 13 divide (2 - o) + 2 + -3?
True
Suppose 758 = 2*b - 4*p, 3*p + 31 = b - 343. Let f = b 