= 16*y**2 - 5. Is i(-2) a multiple of 14?
False
Let o = 340 + -157. Is o a multiple of 32?
False
Is 21 a factor of 554*2/4 + 4?
False
Let s(x) = x**3 - 4*x**2 - 4*x - 5. Let j be s(5). Let c(k) = -k + 2. Let i be c(-4). Is (-29 + j)*(-7 + i) a multiple of 12?
False
Let l = 9 + -6. Suppose -l*q = -5*q + 56. Is q a multiple of 11?
False
Suppose -3*k + 6 = -0. Let u = k - -1. Suppose 0 = -2*d + u*d - 45. Is d a multiple of 15?
True
Suppose -3*p = -3*j - 78, 31 = 2*p + 2*j + 3*j. Is p a multiple of 23?
True
Suppose 2*v + 61 = 5*d, 0 = 2*v + v + 9. Let t = d - 3. Is t a multiple of 3?
False
Suppose -3*q - 129 = -f, 6*q - q + 261 = 2*f. Is f/4 - 4/(-8) a multiple of 18?
False
Is 312/3*1 + 2 a multiple of 20?
False
Suppose -4*j - 16 = 0, 4*j - 8*j - 46 = -5*o. Suppose o*b = b + 95. Does 8 divide b?
False
Let j = -1 - 0. Let m(f) = 40*f**2. Let c be m(j). Suppose -3*o - 18 = -2*t + c, 132 = 5*t - o. Is 13 a factor of t?
True
Let s = -102 - -222. Does 20 divide s?
True
Suppose 40 + 34 = h. Does 15 divide h?
False
Is (1 - -72) + (6 - 8) a multiple of 20?
False
Let x(u) = -u**2 - 14*u + 19. Does 19 divide x(-14)?
True
Suppose f - 3*f - 2*t + 256 = 0, -4*f + 516 = 5*t. Suppose 5*r - 276 - f = 0. Is 15 a factor of r?
False
Let c = 53 + 22. Suppose -u = -4*p + c, 0*u + 3*u = 4*p - 81. Is 6 a factor of p?
True
Let b = -19 + 99. Is b a multiple of 34?
False
Let m be -1 - 1 - (-29)/1. Suppose 5*p + 7 - m = -w, -5*w - 3*p = -144. Does 11 divide w?
False
Suppose 2*s - 6*s + 3*w = -26, 5*w = -2*s. Suppose -x + 3*o + 17 = 0, 0 = -3*x - s*o + 3 + 20. Is 11 a factor of x?
True
Suppose 0*n - 8 = 4*n. Is n/5 + 522/30 a multiple of 17?
True
Let o = 8 - 4. Suppose -387 = -4*w - 3*f, -4*w + 558 = o*f + 170. Suppose w = 3*a - a. Does 18 divide a?
False
Let n(y) = 99*y + 3. Does 17 divide n(1)?
True
Suppose 0 = 9*t - 689 - 211. Does 20 divide t?
True
Suppose 0 = 3*i - 110 - 154. Is 21 a factor of i?
False
Let f(t) = -14*t. Let i be f(-3). Let g = i + -19. Is g a multiple of 23?
True
Suppose -3*f = -17 + 77. Let j = 0 - f. Is j a multiple of 6?
False
Let q(w) = 8*w**2 - 3*w + 3. Is 23 a factor of q(6)?
False
Suppose -m - 5 - 7 = -x, -5*x + m = -68. Does 8 divide x?
False
Suppose 2*k + 4*t + 4 = 0, 0 = 2*k - 0*k - 2*t - 2. Let d(c) = c + 1. Let v be d(3). Suppose v*p + p - 190 = k. Does 19 divide p?
True
Suppose 935 = 10*x - 1105. Is x a multiple of 15?
False
Does 24 divide -292*(2 - -1)/(-6)?
False
Let w = -102 + 72. Let s = 2 - w. Is 19 a factor of s?
False
Let a(i) = i - 2. Suppose t + 2*v = -3 + 5, -4*v = -3*t + 16. Let n be a(t). Let b = n + 18. Is b a multiple of 10?
True
Let l(h) = 4*h**3 + 4*h + 3. Let k be l(-2). Let c = k + 53. Is 16 a factor of c?
True
Suppose 3*o - 2*u + 48 = 0, -2*o = 5*u - 8*u + 27. Is 11 a factor of 2/(1 + 15/o)?
False
Let v be -1 - (-3)/(-1 + 4). Suppose 0*f - 3*u + 13 = 4*f, -3*f + 2*u + 31 = v. Is f a multiple of 7?
True
Let u(w) be the first derivative of w**2/2 - w + 3. Does 3 divide u(6)?
False
Suppose 2*r = -2*r + 8. Let x = r - -23. Is 18 a factor of x?
False
Let y(r) = -3*r - 6. Let h(t) = -3*t - 7. Let b(c) = 7*h(c) - 6*y(c). Is 18 a factor of b(-12)?
False
Let i = 48 - 14. Is i a multiple of 17?
True
Let b be (-1)/(-6) - (-9)/(-54). Suppose b*s + 15 = 5*s. Is 2 a factor of s?
False
Let t = -31 + 63. Suppose 3*g - 1 - t = 0. Is 11 a factor of g?
True
Let a = -23 + 0. Let i = 37 + a. Does 14 divide i?
True
Suppose 5*w = d + 2*w - 24, 0 = 3*w + 15. Let m = 13 - d. Suppose 60 = 5*i - 3*p, 10 - 60 = -m*i + 2*p. Is i a multiple of 9?
False
Let m(q) = -q**3 - 8*q**2 + 2*q + 30. Does 7 divide m(-8)?
True
Suppose 4*k - 3*d - 76 - 131 = 0, -158 = -3*k + 5*d. Let y = k + -19. Is y a multiple of 8?
True
Let y(a) = 7*a + 1 + 1 - a**2 + a**3 - 5*a**2. Is y(5) a multiple of 12?
True
Let f be 54 + (1 - 4) - -1. Suppose 0 = -3*j - j + f. Is j a multiple of 13?
True
Let l be (-7)/(-35) + 32/(-10). Let r be l + 1/(2/6). Suppose r = -u - 6 + 27. Is u a multiple of 8?
False
Let x = 4 - -1. Suppose 0*k = -3*k + t + 37, -3*k + x*t = -41. Suppose z = -2*z + k. Is 4 a factor of z?
True
Suppose 4*r - 25 = -4*a - 9, -a = 4*r - 4. Suppose 0 = a*d - 12, 78 = 4*t - 2*d - 0*d. Is t a multiple of 8?
False
Suppose j = -0*j + 5. Suppose -12 - 8 = -j*u. Is u a multiple of 4?
True
Let u(o) = 1. Let r(g) = -g - 4. Let d be (-3 - -2) + 3 + -8. Let b(z) = d*u(z) - 2*r(z). Is 9 a factor of b(8)?
True
Does 21 divide (-198)/(-3) + (5 - 8)?
True
Suppose -2 = 5*h - 7. Does 12 divide 3 + h*-4 - -13?
True
Suppose 2*s = 8, 2*b + 4*s = b + 208. Is 15 a factor of b?
False
Let o be (-44)/(4/(-78)*3). Let q = o + -176. Is q/7 + 2/7 a multiple of 8?
True
Let s be 2/(-9) + 10/45. Let r = 0 + s. Does 14 divide -15*(0 - (1 + r))?
False
Let t(k) = -3*k - 1. Let n(l) = 2*l. Let m(h) = -4*n(h) - 3*t(h). Is 2 a factor of m(7)?
True
Let r(b) = b**2 + b + 3. Is r(0) even?
False
Let f = 28 - 9. Let j(q) = -q**2 + 4*q + 9. Let m be j(7). Let b = m + f. Does 3 divide b?
False
Suppose -2*p = f - 95, -f = 4*p - 45 - 140. Is p a multiple of 15?
True
Suppose 0*l = -3*l + 81. Let k = -13 + l. Is k a multiple of 7?
True
Suppose -128 = -y - 3*y. Suppose 128 - y = 3*d. Is d a multiple of 17?
False
Let m = -24 - -35. Suppose -3*u = 5*p - 5*u - m, -p = -u - 1. Let k(q) = q**3 + 3*q**2 - 3*q - 4. Does 14 divide k(p)?
False
Let h(j) = -61*j**3 - 2*j**2 + 1. Is h(-1) a multiple of 20?
True
Let c(k) = 2*k**2 + 7*k + 26. Does 23 divide c(-8)?
False
Let j(k) = 4*k**2 - 4*k + 2. Is 5 a factor of j(2)?
True
Let v(u) be the third derivative of u**4/8 - u**3/2 - 2*u**2. Let x = -1 + 4. Is v(x) a multiple of 6?
True
Is 12 a factor of (9*2/12)/(6/512)?
False
Suppose 0 = -2*b + 31 + 93. Is b a multiple of 31?
True
Suppose 4*d + 5*j - 216 = 148, 2*d = 5*j + 212. Is 8 a factor of d?
True
Let q(m) = m + 9. Let y be q(9). Suppose 4*u - y = u. Does 18 divide (-54)/(-3 - u/(-4))?
True
Suppose 52 = -4*m - 2*k - 2*k, -17 = m + 5*k. Let h = m - -29. Does 17 divide h?
True
Suppose y = 4 + 26. Let q(j) = 43*j**2 - 1. Let w be q(-1). Let d = w - y. Is 8 a factor of d?
False
Let d be (-4 - -25)*5/(-3). Let u = 3 - d. Suppose -2*b - 89 = -5*z, 4*z - 3*b - 29 - u = 0. Does 19 divide z?
True
Let g be 20/6 + (-4)/(-6). Suppose g*v - 14 = 14. Is 4 a factor of v + (-2 - 2) + 2?
False
Let u = 19 - 13. Suppose -5*l - 4*a + 7*a + 96 = 0, -5*a - u = -l. Is l a multiple of 7?
True
Suppose 4*x - 12 = -0*x. Suppose -3*o - x*c = -96, -3*o + c + 66 = -2*c. Is o a multiple of 12?
False
Suppose 2*l - 39 = -l. Let j = -45 + l. Let w = -16 - j. Is w a multiple of 8?
True
Suppose 0 = 5*z - 5, 4*z = u - 6*u + 99. Is u a multiple of 11?
False
Let w = 11 - 9. Suppose c + s + 2*s = 18, w*c - s - 36 = 0. Does 6 divide c?
True
Let d = 1 + 43. Is 20 a factor of d?
False
Let n(m) = -m**3 - 12*m**2 + 13*m + 8. Let p be n(-13). Suppose -p - 38 = -2*u. Is u a multiple of 11?
False
Is 31 a factor of -237*11/(-21) - 2/14?
True
Suppose 0 = -3*w - 2*w - 2*k + 2, -2*k - 6 = w. Let z = 24 - w. Does 8 divide z?
False
Suppose -4*m = -9*m + 450. Does 30 divide m?
True
Let m be (-30)/(-4)*(-20)/(-15). Let g = 15 - m. Suppose 18 = g*x - 2. Does 2 divide x?
True
Let c(p) = p**3 + 5*p**2 + 2*p - 5. Let i be c(-4). Is i/(-6)*-2*15 a multiple of 4?
False
Let k(q) = q - 10. Let x be k(8). Is 9 a factor of 272/10 + x/10?
True
Suppose 0 = 3*j + 4*d - 72, -3*j + 42 + 30 = -4*d. Does 6 divide j?
True
Let b(d) = -d**3 + 7*d**2 + 12*d - 2. Is b(8) a multiple of 10?
True
Let q(l) = 8*l**2 - 2*l - 2. Does 19 divide q(-3)?
True
Suppose 2*n + 2*v - 7 = 3, 8 = 2*v. Let m(o) = 3*o**2 - 5*o + n - 2*o**2 + 1 + 3*o**2. Is 23 a factor of m(4)?
True
Suppose 0 = -i - 3*s + 907, 4*s = -2*i + 2251 - 435. Does 15 divide 1/2 - i/(-20)?
False
Suppose 3*w = 2*w - 5*f + 94, -2*f = -10. Let t = w + -41. Does 6 divide t?
False
Let l(b) = b**3 - 8*b**2 - 9*b + 2. Let z be l(9). Let r be z - -9 - (-2 - 0). Let p = 27 - r. Is 7 a factor of p?
True
Let b = -161 + 237. Is b a multiple of 15?
False
Suppose 3*k - 18 = -0*k. Suppose -3*c - 8 = 1. Is 23 a factor of 184/(-2)*c/k?
True
Let g(x) = -x**2 + 12*x + 15. Let q be g(13). Suppose -2*k = -3*o - 0*k - 4, 0 = -o + q*k - 8. Is o even?
True
Let u(m) = m**3 + m**2 - 3*m. Is 17 a factor of u(4)?
True
Let s = -68 + 90. Is s a multiple of 22?
True
Let h(d) = 