 Is s a multiple of 16?
True
Let s = 3 - 1. Suppose -3*n - 23 = -2*g - s*n, n = 5. Is g a multiple of 8?
False
Let l(q) = q**2 - 10*q - 2. Let y be (-9)/27 + (-80)/(-6). Is 15 a factor of l(y)?
False
Let d(f) = -f**3 + 9*f**2 + 4*f - 13. Let r be d(10). Let a = r - -121. Does 15 divide a?
False
Suppose -3*p = -3*d + 576, 2*p + 0*p + 196 = d. Is d a multiple of 32?
False
Suppose -q - w = -2*w + 7, -q - 10 = 2*w. Let x be (2/q)/((-1)/8). Suppose -84 = -x*s + 4. Is s a multiple of 14?
False
Let h(z) = 8*z - 2. Let w(k) = 6*k + 1. Let r be w(1). Does 14 divide h(r)?
False
Does 14 divide -2 + (4 + -1 - -55)?
True
Suppose -4*g - g + 15 = 0. Suppose -4*u + g = 5*o - 8, 0 = 3*o + 2*u - 5. Is 9 a factor of o + -2 + 19 + 2?
True
Let h(i) = 2*i**3 - i**2 + 7*i - 14. Is 13 a factor of h(3)?
True
Let h = 9 - 2. Does 2 divide (-20)/(-2) - (-4 + h)?
False
Suppose 5*l = 0, -57 = -3*s - 0*s + 3*l. Suppose -131 = -4*c - s. Is 7 a factor of c?
True
Let p = -7 - -12. Let w(l) = -l**2 + 6*l - 1. Let m be w(p). Suppose -4*q + 2*q + 8 = 4*i, -4*q = m*i - 32. Does 6 divide q?
True
Let h(l) = l**2 + 3*l + 9. Let u = -13 - -29. Let q = u - 22. Does 9 divide h(q)?
True
Let t be 4/((16/(-4))/(-4)). Is (-48)/(-9) + t/6 even?
True
Suppose 2 = -3*m - 4. Does 5 divide m/(-1)*15/6?
True
Suppose -6*j - 4*u = -2*j - 416, 0 = -2*j - 3*u + 210. Is 11 a factor of j?
False
Let y(a) = -12*a + 3. Let t(q) = q - 1. Let w(d) = -t(d) - y(d). Does 19 divide w(5)?
False
Let t(a) = a**2 + a + 2. Let f be t(0). Suppose f + 0 = -2*b - 4*p, 5*b = 4*p + 65. Is 5 a factor of b?
False
Let b be 1/(-3) - 52/(-12). Let t(g) = 3*g - 1. Is 5 a factor of t(b)?
False
Let x(g) = 13*g**2 - 4*g. Let v(f) = 40*f**2 - 11*f. Let m be (-94)/12 + (-7)/42. Let s(d) = m*x(d) + 3*v(d). Is 15 a factor of s(1)?
True
Suppose 3*s + 79 = 4*j, -3*s - 55 = -0*s + 2*j. Is 12 a factor of (-36)/s*(14 + 0)?
True
Let p be -3*3*4/(-12). Suppose -p*g - 23 + 212 = 0. Is 21 a factor of g?
True
Suppose -3*y + 35 = -2*y + q, 5*q = 2*y - 105. Let m = -24 + y. Is m a multiple of 16?
True
Let w(s) = 3*s + 42. Does 7 divide w(0)?
True
Let g = 6 + 42. Is 12 a factor of g?
True
Let h be (36/(-10))/(1/10). Let w = h + 64. Does 21 divide w?
False
Suppose -2*u + 2 = 0, -u = -3*x + 8 + 3. Suppose -x*l - 10 = -22. Is l even?
False
Is 4/(-16) - 1/8*-698 a multiple of 14?
False
Does 9 divide 5/(20/172) + -1 + 3?
True
Let g = -133 + 252. Is g a multiple of 17?
True
Let a(b) = 2*b + 3. Let p be a(-2). Let h(s) = 5*s**2 - 5*s - 9. Let t(c) = c**2 - 1. Let d(y) = p*h(y) + 6*t(y). Is 16 a factor of d(5)?
False
Let r(f) = -f**3 + 4*f**2 - f. Let h = 12 + -9. Is 4 a factor of r(h)?
False
Let l(o) = 2*o**2 + 2*o - 2. Let t be l(-5). Suppose 5*c = 2*j - t, -2*j + 1 = 4*c - 1. Is 3 a factor of j?
True
Let i(w) = 8*w + 29. Let b = -12 - -6. Let m(h) = 3*h + 10. Let o(z) = b*i(z) + 17*m(z). Is 4 a factor of o(4)?
True
Suppose -9 - 3 = -4*v. Let f be v + -2*3/2. Suppose -3*p + f + 36 = 0. Is 12 a factor of p?
True
Let v(x) = 4*x. Let b be 111/12 + 4/(-16). Does 12 divide v(b)?
True
Let x(m) = 2*m**3 - 6*m**2 + 2*m + 3. Let o be x(4). Let k(y) = -7*y**2 - y + 2. Let s be k(2). Let f = s + o. Is f a multiple of 15?
True
Let t = -26 + 26. Let i(v) = 2*v - 4. Let m be i(3). Suppose -m*h + h + 5 = t. Is h a multiple of 5?
True
Let u be 6/10 - (-4)/10. Suppose 0 = -2*b - u + 9. Suppose -m + 28 = b. Does 11 divide m?
False
Suppose 26 = 5*z - 2*t, -6*z = -3*z - t - 16. Suppose 0 = d - z*d + 35. Does 7 divide d?
True
Suppose -343 = -3*h + 110. Is 17 a factor of h?
False
Suppose 2*a = -5*u + 12 + 11, 4*u - 4*a + 4 = 0. Suppose -6 = u*x, 4*v - 5*v + 8 = -4*x. Does 20 divide 52 - -2 - v - -2?
False
Let c(m) be the second derivative of m**5/20 + m**4/6 - m**3/2 + 3*m**2/2 + m. Let q be c(-3). Is 14 a factor of 42/(-4)*(-10)/q?
False
Suppose -3*n = -2*g - 26, -3*n + 5*g = -28 - 1. Let v(s) = -8*s + 2 - 2*s**2 + 3*s**2 + 2. Is 2 a factor of v(n)?
True
Suppose 32 - 172 = -k. Is 20 a factor of k?
True
Let f(g) = -g**2 + 6*g - 4. Let x be f(6). Let s(u) = 2*u**3 + 5*u**2 - 19*u - 2 + u**3 - 2*u**3 + 21*u. Does 3 divide s(x)?
True
Let f = 42 + -23. Suppose 3*g - f = -3*a - g, -3*g = 2*a - 13. Suppose 0 = -2*s - 3*s + a*z + 60, -2*z = 4. Is 10 a factor of s?
True
Let l be 5/(-3) + 12/18. Let a = l - -8. Is a a multiple of 2?
False
Let b(h) = -11*h + 136. Does 8 divide b(0)?
True
Suppose 0 = -3*c + 5*w + 71, -3*c - c = 2*w - 60. Is 2 a factor of c?
False
Let p be (-2)/(-6) - (-336)/(-9). Let b = p - -68. Is 12 a factor of b?
False
Suppose -3*z + 7*z = -8, 3*z = i - 8. Suppose -3 = i*l - 5*l. Let y(d) = 10*d**2 - d. Does 4 divide y(l)?
False
Suppose -3*w - 10 = 2*m, -7*m - 25 = w - 2*m. Let d = 4 - w. Is 3 a factor of d?
False
Does 15 divide 30/1 - 0/16?
True
Suppose 0 = c - 1 - 4. Suppose -v = -2*a - 4*v - 66, -5*a - c*v = 160. Is 0/1 - (a - -2) a multiple of 14?
True
Let j = 312 + -77. Suppose 0 = -5*x + 4*c + j, -x + 3*c + 240 = 4*x. Does 22 divide x?
False
Let z(m) = m**2 + 2*m - 4. Let o be z(-4). Let s(q) = 3*q**2 + 5*q + 2. Let g be s(4). Suppose 30 = o*v - g. Does 10 divide v?
False
Let y(u) be the first derivative of u**3/3 + 4*u**2 + 12*u + 1. Does 15 divide y(-11)?
True
Let n be 52/10 - (-1)/(-5). Suppose 0 = n*w - 0*w. Suppose 0 = t - w - 17. Does 15 divide t?
False
Suppose 5*t - 3*h - 525 = 0, 0 = -5*t + t - h + 437. Does 18 divide t?
True
Let l(y) = 7 - 3 + y + 2*y - 8. Is 8 a factor of l(4)?
True
Let t be 5/2*(-4)/(-10). Does 10 divide (3 - (2 - t)) + 26?
False
Let b = 83 - -22. Is b a multiple of 21?
True
Suppose 352 = v + v. Is (6/(-4))/((-24)/v) a multiple of 11?
True
Let l = -24 - -40. Let q = l - 24. Let d(i) = i**3 + 8*i**2 - 2*i + 3. Does 13 divide d(q)?
False
Suppose -2*b + 5 = 3. Let j(i) be the second derivative of 19*i**3/6 - i**2/2 - i. Is 9 a factor of j(b)?
True
Let t(p) = -p**3 + p**2 + p. Let k(m) = -3*m**3 + 5*m**2 + 5. Let b(i) = -k(i) + 2*t(i). Does 14 divide b(4)?
False
Suppose 3*f = -4*n + 140, 0 = 5*f + n + 157 - 379. Suppose 2 = t, t - f = -5*i + 38. Does 16 divide i?
True
Let h = 75 - 62. Does 5 divide h?
False
Suppose 0 = 9*i + i - 780. Is 26 a factor of i?
True
Suppose -1 = 5*h - 2*s - 11, -h - 2*s = -2. Suppose 2*f + 8 = h*g - 40, 3*g = 2*f + 70. Does 10 divide g?
False
Suppose -4*n - 347 = g, -3*n - g = 215 + 44. Let q = -44 - n. Does 22 divide q?
True
Let o(j) = 3*j**2 + 8*j - 2. Does 7 divide o(3)?
True
Suppose -2*b + 1 = r + 3, 4*b = -3*r - 2. Suppose -16 = -r*t + 2. Does 9 divide t?
True
Let h(f) = f**2 - f + 10. Does 11 divide h(-3)?
True
Let z(q) = q**3 - q**2 - 83. Let x be z(0). Let r be (-40)/(-3)*15/(-4). Let o = r - x. Is 11 a factor of o?
True
Suppose 0 = -0*i + 3*i + 762. Let q = -398 - i. Does 3 divide (-3)/5 + q/(-15)?
True
Let q(j) = -j - 4*j + j + 3*j - 2. Let o be q(-2). Suppose -2*y + 4*i + 68 = 0, 0 = i - o + 4. Is y a multiple of 14?
False
Suppose 3*o - 30 = -2*o. Let u(a) = 5*a**2 - 2*a + 7. Let d be u(o). Suppose 2*l + 5*m = 75, 5*l + 5*m = -10 + d. Is l a multiple of 15?
True
Let w = -149 + 230. Is w a multiple of 27?
True
Let j be 5 + (0 - 3 - -1). Suppose 4 = 4*k, -j*l + k + 413 = 6*k. Suppose -z - 3*z = -l. Is 17 a factor of z?
True
Suppose 0*l + 2*l = -18. Let k = -7 - l. Suppose 0 = g - k*w - 2, 5*w - 25 = -3*g - 2*g. Does 2 divide g?
True
Suppose 0*g = 3*g - 63. Does 21 divide g?
True
Let s(y) = 3*y + 3. Let b be s(-2). Let a = 0 - b. Suppose 0*r - a*r = -120. Is r a multiple of 19?
False
Let m be ((-30)/8)/((-1)/16). Let a(j) = 3*j**2 + 1. Let u be a(-1). Suppose -m = y - u*y. Is y a multiple of 12?
False
Let h be (-2 - -2 - -5)/(-1). Suppose 0 = z, 228 = -0*j + 3*j - 4*z. Does 13 divide (j/10)/((-1)/h)?
False
Suppose 4*f - 19 = 1. Let b(c) = -4*c**3 + 5*c**2 - 7*c + 5. Let o(x) = -x**3 - x + 1. Let w(k) = -b(k) + 3*o(k). Is w(f) a multiple of 9?
True
Let r = -58 + 19. Let j = 57 + r. Is 8 a factor of j?
False
Let b(s) = -3*s**3 - 3*s**2 - 2*s. Does 17 divide b(-3)?
False
Let f = 53 - 22. Let q be 93/2 + 5/10. Let u = q - f. Does 8 divide u?
True
Suppose -28 = -4*v - 7*i + 4*i, -36 = -4*v - 5*i. Suppose 2*m + 2*m - 76 = -3*d, -v*m + d + 92 = 0. Does 14 divide m?
False
Let d = 49 + -26. Suppose -k + d = 6. Is 16 a factor of k?
False
Let x be (-3)/3 - -31 - 3. Suppose 0*r + x = 3*r. Suppose 3*z - r = g