 48 = 0, 57 = 5*d - 2*m + m. Is 8 a factor of d?
False
Suppose -2*v = g + 4*g - 190, -5*v + 445 = 5*g. Is v a multiple of 17?
True
Let g be -11 + 1 - (1 - 1). Is (24/g)/((-2)/75) a multiple of 30?
True
Let w(f) be the first derivative of 7*f**4/24 - f**3/3 + 3*f**2/2 + 4. Let s(t) be the second derivative of w(t). Is 18 a factor of s(8)?
True
Suppose -2*k - k + 6 = 0. Suppose -5*h = 4*j - 35, -4 = -j - j + 2*h. Suppose 6 = 2*r - k*m, -2*r - 13 = -j*r + m. Is r a multiple of 2?
False
Let p be -2*(6/4 - 4). Suppose -149 = -3*n + 2*b - 48, 0 = 5*n - p*b - 175. Is n a multiple of 21?
False
Let n(p) = p**3 + 3*p**2 - p - 3. Let b be n(-3). Suppose -3*v + 5*v + 2*f = 14, -v - 2*f + 7 = b. Is v even?
False
Suppose -2*b + 2 + 41 = 3*z, z - 1 = 0. Is 17 a factor of b?
False
Suppose 2*r - 3*i - 28 = -120, r = 5*i - 39. Let b be (69/2)/(2/4). Let y = b + r. Is y a multiple of 11?
False
Suppose 2 = t - 3. Suppose 96 = -t*m + 7*m. Is 14 a factor of -1 + m + 4/2?
False
Let v(a) = -4*a + 9. Does 7 divide v(-15)?
False
Let k be 59/(-3) + 2/(-6). Let y be 7/(-4) + 5/k. Let o = y - -7. Does 4 divide o?
False
Let j be 10/(-35) - (-88)/14. Let n(a) = 3*a - 7. Does 11 divide n(j)?
True
Let j(d) = d**3 + d**2 + 31. Let a be j(0). Let x = a + -19. Is (-16)/x*(-3)/2 a multiple of 2?
True
Suppose -14 = 4*z + 3*g + 1, 5*g + 25 = 0. Let l(j) = -j + 27. Let h be l(z). Is (-3 + h - 0) + 3 a multiple of 9?
True
Let p be (12/2)/(9/6). Suppose -p*t + 16 = -2*d, 5*t - 2*t - 2*d - 13 = 0. Does 7 divide (3 + 0)*9/t?
False
Suppose -2*w + 4*p = 34, -w - p - 14 = w. Is 10 a factor of -6*(3 + 51/w)?
False
Suppose 4*c - 1 = 27. Suppose 5*h = c + 83. Suppose 2*r - h = -0*r. Is 3 a factor of r?
True
Suppose -4*f - 2*d + 257 = 89, 6 = 3*d. Does 16 divide f?
False
Suppose -1 = 4*j - 9. Let u be -2*32/(j/1). Let n = 59 + u. Is n a multiple of 15?
False
Suppose 6*q - 400 = 3*q - 4*a, 2*q = 5*a + 282. Suppose 0 = 4*m - 0*m - q. Does 18 divide m?
False
Let d = 7 - 3. Suppose -3*p = 3*k - 15, -d*k = -3*p + 14 - 55. Is k a multiple of 8?
True
Let q be 1 + -1*128*1. Let k = q + 54. Let f = 114 + k. Is f a multiple of 14?
False
Let u = -9 + 35. Is 10 a factor of u?
False
Let r be 3 + -2 + 1 - 0. Let z be 0 + -2 + (22 - r). Suppose -5*v + z + 62 = 0. Is 16 a factor of v?
True
Is 6/8 + 147/12 a multiple of 13?
True
Let i(j) = j + 2. Let t be i(2). Suppose 0*h = t*h - 92. Is 3 a factor of h?
False
Is 22 + (2 - 1) - (-19 + 16) a multiple of 26?
True
Let h = 44 + -16. Does 8 divide h?
False
Let u(c) = 91*c**3 - c**2 + c - 2. Let f be u(2). Is 17 a factor of 4/14 + f/14?
False
Let i(t) = -t**3 + 17*t**2 - 15*t - 5. Is 11 a factor of i(16)?
True
Let c(f) = 57*f - 3. Is c(5) a multiple of 32?
False
Let p = 23 + -17. Is p a multiple of 6?
True
Suppose -3*i + 210 = 2*i. Is i a multiple of 6?
True
Suppose 3*f + 3*g - 69 = 0, 4*f = 2*g - 35 + 121. Is 9 a factor of f?
False
Let a = -104 - -192. Does 15 divide a?
False
Suppose -4*f - 20 = 4*m, -5*m + 4*f = 2*f - 3. Let j(l) = -42*l. Let s be j(3). Is -1*s/(-3)*m a multiple of 14?
True
Suppose m + 2*m - 5 = -a, 0 = -4*a - 4*m + 12. Suppose -2*l = -3*v + 25 - 111, -4*l - a*v + 172 = 0. Is l a multiple of 16?
False
Let d be -1 - (2/(-1) - -1). Suppose d = 2*f + 3 + 11. Is 4/(-6)*(f - -1) a multiple of 4?
True
Suppose 27*c - 23*c = 720. Is 9 a factor of c?
True
Suppose 14*f = 5*f + 720. Is 17 a factor of f?
False
Is 8 a factor of (0 - 1 - -9)*(5 - 3)?
True
Let j(m) = -25*m**2 + 3*m + 2. Let f be j(-3). Let w = f + 372. Suppose -y - 4*y = -w. Does 14 divide y?
True
Let r(g) = g**3 - 8*g**2 + 3*g - 6. Let u be (-116)/(-14) - (-2)/(-7). Let b be r(u). Let s = 60 - b. Does 21 divide s?
True
Let p = 2 + 2. Is 11 a factor of 1*5*(p + 0)?
False
Let d(q) = 13*q - 2. Let j be d(2). Suppose 10 = 2*h + 2*i - j, 44 = 4*h - 2*i. Is 13 a factor of h?
True
Suppose -5*j + 1066 = -164. Does 21 divide j?
False
Suppose -4 + 8 = -2*i. Let t be i/(-6) + (-70)/(-6). Let a = t - 5. Is 7 a factor of a?
True
Let d(m) be the third derivative of m**6/90 - m**5/20 - m**4/24 - m**2. Let r(u) be the second derivative of d(u). Does 17 divide r(5)?
True
Let u(f) = f**2 - 2*f + 1. Let h be (2/8)/((-4)/(-16)). Let g be u(h). Suppose 2*o = -3*m + 11, 1 = -o + 5*m - g. Is o a multiple of 2?
True
Let f be 6/3 + 73 + 1. Is 26 a factor of 4/(3 + f/(-26))?
True
Let b = -22 + 16. Is ((-20)/(-3))/((-2)/b) a multiple of 10?
True
Let t = 4 - -2. Let b(w) be the second derivative of w**5/20 - 5*w**4/12 - 5*w**3/6 + 5*w**2/2 + 5*w. Does 4 divide b(t)?
False
Suppose 5*c + 4 = -3*z + 33, 0 = 2*z - 5*c - 36. Is z a multiple of 12?
False
Let b be (-1359)/(-6) - 4/8. Suppose j - 5*h - 117 = -2*j, 2*h - b = -5*j. Does 22 divide j?
True
Let r(n) be the second derivative of n**3/2 - 3*n**2/2 - n. Does 8 divide r(7)?
False
Let h(s) = -s**3 + 6*s**2 - 5*s - 1. Let w be h(5). Is 17 a factor of 1*(16 - w - 0)?
True
Let b = 52 + 56. Is 18 a factor of b?
True
Let d(m) be the second derivative of -m**3/6 + 11*m**2/2 - 4*m. Suppose -1 = 4*z + q + 1, -5*q - 10 = -3*z. Is 11 a factor of d(z)?
True
Let o(y) be the second derivative of -y**5/20 - y**4/2 - y**3/2 - 7*y**2/2 - 2*y. Let v be 2*1/(-4)*12. Is 4 a factor of o(v)?
False
Let z be 1/4 - (-7)/4. Suppose -3*b + x + 39 = -z*x, 15 = -3*x. Is 4 a factor of b?
True
Suppose -3*b - 3*d + 54 = 0, 4*b - 5*d + 1 - 28 = 0. Is 3 a factor of b?
False
Let g = 52 - 26. Is 6 a factor of (-14)/91 + 186/g?
False
Is 27 a factor of -12*(-38*(-3)/(-12) + -4)?
True
Suppose 4*h = -20, 0 = 2*t - h + 1 - 10. Let s(j) = -5 + t*j - 5*j + 5*j. Is s(7) a multiple of 9?
True
Let a(x) = x**2 + 5*x + 1. Let n be a(-5). Suppose 0 = 3*u - 5*u + 4, 3*z - 5*u = -n. Suppose -z*h = -3*c + 2*c + 19, -29 = -c + 5*h. Is c a multiple of 2?
True
Let n = 21 - 21. Suppose 0 = 6*w - 3*w + 2*l - 13, -2*w + 3*l + 26 = n. Is w a multiple of 3?
False
Does 4 divide (-17 + 3)/((-2)/4)?
True
Suppose -4*m = i + 70, -2*i + 275 = -7*i + 5*m. Let u = i + 104. Does 21 divide u?
False
Let f = 7 + -4. Let m be (-1 - (f - 2))/(-1). Is 11 a factor of m - (-39 + 3)/3?
False
Suppose -2*i - 5*s - 52 = -6*i, i - s = 12. Let l(r) = -r + 14. Is 2 a factor of l(i)?
True
Suppose -19 = -3*k - 4. Let o(s) = s**2 - s - 1. Let r be o(0). Does 10 divide 28 + k + r + -2?
True
Let z(b) = -2*b**2 - 2*b - 3*b**3 + 2*b**2 + 0*b - 3*b**2. Does 10 divide z(-2)?
False
Let q(c) = c - 5. Let n be q(9). Suppose 4*j = n*x + 28, j = 5*x - 0*x + 11. Does 2 divide j?
True
Suppose -3 = -x - 14. Does 7 divide 3*2/2 - x?
True
Is 6 a factor of (-176)/(-55)*(27 + -2)?
False
Let o(d) = -8*d + 1. Let c be o(-1). Let a be -3*3/(-27)*c. Suppose 0 = -n - a + 8. Does 2 divide n?
False
Is 3 a factor of (236/(-10))/(30/(-75))?
False
Let c(a) = a**3 + 3*a**2 - 2*a + 5. Let n be c(-4). Does 3 divide (1 - 2 - n) + 4?
True
Suppose 0*c + 3*c = 3. Suppose -4*n + 9*n - 3*p - 2 = 0, -5*p - 20 = 0. Does 5 divide (n/(-5))/(c/25)?
True
Let f be -1 - (-16)/4 - -1. Let h(o) = 99*o**3 + 2*o**2 - 2*o + 1. Let c be h(1). Suppose -d = f*d - c. Does 13 divide d?
False
Suppose 3*s + 58 = -4*y, s = 3*y - 19 + 4. Is 12 a factor of 2610/81 - (-4)/s?
False
Let v(w) = 28*w + 1. Let a(n) = -56*n - 1. Let r(y) = -3*a(y) - 5*v(y). Is 18 a factor of r(2)?
True
Does 9 divide (-279)/(4/12*-3)?
True
Suppose -y + 81 = -0*y. Suppose l + 0*h + h = 45, 151 = 3*l - h. Let b = y - l. Does 16 divide b?
True
Suppose -4*v - 2*k = k - 750, -4*v = 2*k - 748. Is 30 a factor of v?
False
Suppose -26 + 81 = -k. Suppose -3*c - c + 206 = -5*d, 5*d + 5*c = -170. Let x = d - k. Is 11 a factor of x?
False
Let s be 1/3 - (-1014)/(-18). Let h = 86 + s. Does 15 divide h?
True
Let k be (-4)/6 + 4/6. Let j(y) = -y - 6. Let r be j(k). Let t(b) = b**2 + 4*b - 8. Is 4 a factor of t(r)?
True
Suppose 5*t - 13 - 137 = 0. Does 10 divide t?
True
Suppose 0 = -3*x - 7*v + 2*v + 508, 2*x - 5*v = 372. Suppose 0 = -t + 5*t - x. Suppose r = -p + 5 + 2, 4*p - 4*r - t = 0. Is 5 a factor of p?
False
Suppose -4*l = -2*c - 130, -5*c = -4*l + 2*l + 85. Is 9 a factor of l?
False
Does 2 divide (4/6)/(5 - 56/12)?
True
Suppose 0*k + k = 2. Suppose 4*w - 4*s = 28, -5*w - s = k - 13. Suppose 0 = 5*i - w*m - 75, -3*m + 16 = 3*i + m. Does 12 divide i?
True
Suppose 0 = -5*k + 5*t + 205, 0 = 3*k + 3*t - 54 - 57. Is k a multiple of 5?
False
Let z(s) =