et n(v) = -v**2 - 15*v + 13. Is 13 a factor of n(-15)?
True
Let t = 14 + -11. Suppose t*s - 45 = 6. Does 14 divide s?
False
Is 3 a factor of ((-122)/4 - -4)*-2?
False
Suppose -7 = -5*u + 3, -4*u = -k + 2. Is k a multiple of 10?
True
Suppose z - 72 = -3*z. Is z a multiple of 2?
True
Let t = 19 - 5. Is t a multiple of 6?
False
Let l(k) = -k**3 + 9*k**2 - 7*k - 6. Is 30 a factor of l(6)?
True
Let y = 163 - 49. Is 19 a factor of y?
True
Suppose -a = 9*a - 300. Is a a multiple of 15?
True
Suppose -4*u + 3*u + 6 = 0. Let q = u - -18. Does 12 divide q?
True
Let m(j) = -2 + 2*j - 3*j - 3*j. Let n be (40/32)/((-1)/4). Is 9 a factor of m(n)?
True
Let a(h) = -2*h**2 - 4*h + 3*h - 2 - 2*h. Let g be a(-3). Let z = g - -20. Is z a multiple of 9?
True
Suppose 4*w = 3*w + 2. Suppose -3*l = -5*l - w. Is 2 a factor of l/(6/(-4) - -1)?
True
Let o = -30 + 42. Suppose -3*k + 8 = -2*m + 3*m, -o = -k - 5*m. Suppose 4*v - 143 = -3*g, k*v + v - 5*g - 71 = 0. Is v a multiple of 18?
False
Suppose -5*o - 2*z = 415, o + 4*z + 101 = -0*o. Let n be (-3033)/(-27) + (-4)/(-6). Let h = o + n. Is 17 a factor of h?
False
Suppose 0 = -12*f + 3*f + 873. Is f a multiple of 21?
False
Let k = -49 - -79. Suppose -2*i = -3*l + 59 + k, -1 = l. Let b = -3 - i. Is 21 a factor of b?
False
Let m(j) = 3*j - 5. Let y be m(-6). Let k = -12 + 44. Let q = y + k. Is 9 a factor of q?
True
Suppose -4*d + 56 = -0*d. Suppose -d - 1 = 5*u, 3*f + u = 123. Is f a multiple of 14?
True
Let f be 231/22*2/(-3). Let g = f - -12. Is g a multiple of 3?
False
Let p(k) = k**3 - 8*k**2 + 2*k - 2. Let v be p(5). Let z = -31 - v. Is 12 a factor of z?
True
Let z(w) = w**2 + 2*w + 2. Let l be z(-3). Suppose -5*c = 3*o - 106, 0*o + l*c + 86 = 3*o. Does 16 divide o?
True
Suppose -3*t = -h + 12, t + 0 = -4*h + 9. Is 3 a factor of (-1 + t)/(5/(-10))?
False
Let p(j) = -10*j - 7 - 5*j + 9*j. Is p(-6) a multiple of 7?
False
Let b(p) = p**2 + 7*p + 3. Let j be 4*(2/8 - 2). Let m be b(j). Does 4 divide (3*-1)/((-1)/m)?
False
Suppose 6*d = 8*d - 20. Is 18/8*160/d a multiple of 18?
True
Let z(n) = n**3 - 6*n**2 - 5*n - 4. Is 5 a factor of z(7)?
True
Suppose 5*j - 239 = -2*m, -2*m = j - 0*j - 43. Is j a multiple of 13?
False
Let w(d) = -d**3 + 8*d**2 - 5*d - 9. Let q be w(7). Does 2 divide q + (4 - 10/2)?
True
Is 4 a factor of (12 - 1) + -3*1?
True
Let u be -1 - (-3)/(-1)*-1. Is (50/(-15))/(u/(-12)) a multiple of 14?
False
Let n(x) = -x**2 + 4*x + 7. Let g be n(5). Suppose 0*r = 5*z - g*r - 356, -2*r + 274 = 4*z. Suppose 4*i - 6*i + z = 0. Is i a multiple of 13?
False
Let i(d) = 8*d. Does 11 divide i(7)?
False
Let m be (-42)/(-12) + (-2)/(-4). Suppose -m*a = -0*a - 80. Does 10 divide a?
True
Let i(g) = -4*g**3 - g**2 + g. Let s be i(1). Let f(r) = -2*r**3 - 4*r**2 + 6*r + 6. Does 22 divide f(s)?
False
Let j(m) = -m**3 + m**2 - 1. Let y(q) = 4*q**3 - q**2 - q + 2. Let o(n) = -3*j(n) - y(n). Is o(-3) a multiple of 7?
True
Let h(k) = 5*k + 6*k**2 + 1 + 0 - 2 - 3*k. Is 7 a factor of h(1)?
True
Suppose -84*f = -85*f + 60. Is f a multiple of 15?
True
Let n(a) = -3*a + 7. Let m(r) = r. Let k(q) = 6*m(q) + n(q). Let t be (-76)/(-10) + 2/5. Is k(t) a multiple of 19?
False
Let z = 7 - 4. Suppose 2*h = -z*u + 114, 0*u - 89 = -2*u + 3*h. Suppose -a = a - u. Is 7 a factor of a?
False
Let l(k) = 9*k + 4 - 4*k + 6. Is l(6) a multiple of 10?
True
Let c(k) = 12*k**2 - 3*k. Let w be c(2). Suppose 3*n - 3*r + 6 = w, -n + 5*r = 0. Does 12 divide n?
False
Let a be 28/(-5) - (-2)/(-5). Suppose -38 = -m - m. Let t = a + m. Does 12 divide t?
False
Is (-1899)/(-27) - (-2)/(-6) a multiple of 9?
False
Let v = 169 - 146. Does 4 divide v?
False
Suppose 6*s - 960 - 6 = 0. Is s a multiple of 23?
True
Suppose 15 = 3*k + 3*r, -1 = -4*k + 2*k + r. Does 4 divide k/12 + 92/24?
True
Let h = 159 + -86. Does 5 divide h?
False
Let w = 19 - 13. Let j = w - -10. Does 7 divide j?
False
Suppose -7*p + 765 + 824 = 0. Does 24 divide p?
False
Suppose 3*h + 3*t = 9 - 0, -4*h + 12 = 5*t. Suppose -3*p + 14 = -2*p - 4*z, -3*z - 33 = -2*p. Suppose h*l - 4*s = 24, -5*l + p = -5*s - 27. Is 7 a factor of l?
False
Suppose s - 9 - 26 = 0. Is s a multiple of 7?
True
Let u be 435/9 - 4/(-6). Let m = u - 34. Suppose 2*s = 5*s - m. Is 5 a factor of s?
True
Suppose -n = 5*o - 21, 2*n - 4*o + 40 = 152. Is n a multiple of 14?
False
Let p = 291 + -144. Does 17 divide p?
False
Let o(f) = 2*f**2 + 23*f + 33. Does 21 divide o(-16)?
False
Let i be (4 - 3)/(2/4). Suppose 5*h + 157 + 50 = -3*r, 4*h + i*r + 166 = 0. Let p = -12 - h. Is p a multiple of 10?
True
Suppose 0 = -0*c + 3*c + 105. Let s be (-219)/7 - 10/c. Let u = -13 - s. Is 9 a factor of u?
True
Let b = -31 - -71. Let t(l) = -l**3 + 5*l**2 - 4*l + 2. Let f be t(5). Let z = b + f. Is z a multiple of 15?
False
Let x(f) = -f**3 + 11*f**2 - 5*f - 12. Let p be x(9). Suppose -5*i - 3 = -3*c, -5*c + 17 = -3*i - 4. Is 14 a factor of ((-8)/(-10))/(c/p)?
True
Let q be 0 - (3 + 3*-2). Suppose q*n - 2 - 1 = 0. Is 17 a factor of n/1 + (32 - -1)?
True
Suppose -l + 0*l + 2 = 0. Is l - 1*-4 - 0 a multiple of 5?
False
Let h(k) = 14*k - 2*k - 6 - 2*k + 4*k. Let i be h(4). Suppose -i = -d - 2*t, -d + 2*t + 0*t = -46. Is d a multiple of 24?
True
Let d(o) = 3*o. Let w(r) = r. Let l(n) = -3*d(n) + 6*w(n). Let i be l(-5). Let v = i + -11. Is 3 a factor of v?
False
Let i be (-1)/(1/(-6))*4. Let d be (-2)/8 + 314/8. Is 19 a factor of (d/2)/(9/i)?
False
Suppose 2*z - 3*c = -4, -z + 6*z + 3*c + 52 = 0. Let y(w) = -10 + 2*w**3 + 5*w - 2*w**3 - w**3 - 7*w**2. Is y(z) a multiple of 14?
True
Suppose 0 = 5*n - 5*o - 25, 3*n + 8*o - 7 = 3*o. Suppose -3*z = -n*z. Let h = z + 3. Is 2 a factor of h?
False
Suppose 1 = -r + 3. Suppose -3*o - 3*i + 4*i + 84 = 0, 4*o = r*i + 110. Is 9 a factor of o?
False
Let d(h) = -h + 35. Is 19 a factor of d(16)?
True
Suppose -40 = -4*k - k. Does 2 divide k?
True
Let p(u) be the first derivative of 2*u**3/3 + u**2 - 3*u + 3. Does 8 divide p(3)?
False
Let f = 1 + 3. Let u(x) = x**3 - 7*x**2 - x - 5. Let z be u(f). Let h = z - -84. Does 11 divide h?
False
Suppose -20 = -3*p - y, p + p + y = 14. Does 29 divide (-927)/(-6)*4/p?
False
Let v be ((-21)/(-6) - 4)*-24. Let u = -1 - -1. Suppose u = -3*n + 4*t + 54, -5*n + 4*t + 70 = -v. Does 12 divide n?
False
Let x = -21 + -9. Is (-685)/x + (-2)/(-12) a multiple of 16?
False
Suppose j + p + 2*p - 17 = 0, -2*p = 4*j - 58. Suppose -60 + j = -g. Is g a multiple of 23?
True
Let r be (-2)/8 + (-13)/(-4). Suppose h - 220 = -r*h. Suppose z + z - h = -i, 5*i - 145 = -5*z. Is 13 a factor of z?
True
Suppose 2*p - 4*s - 170 = -3*s, 0 = 4*s. Is p a multiple of 14?
False
Let j be 4*(14/(-4))/7. Does 20 divide (64/(-24))/(j/48)?
False
Let v = 4 - 2. Suppose k = -2 - v. Let w = 3 - k. Is 3 a factor of w?
False
Let d = 28 + 19. Suppose d - 11 = 2*g. Is g a multiple of 7?
False
Let q(n) = 7*n**2 - 4*n + 2. Suppose 6*r - 3*t - 5 = r, 3*t + 13 = r. Let d = r + 4. Does 11 divide q(d)?
True
Let y(r) = -2*r + 7. Suppose 8 = -0*w + w. Let t be y(w). Is 6/(3/t*-3) a multiple of 3?
True
Suppose -3*o + 33 + 27 = 0. Suppose -3 = -5*l - 3*p + 3, 0 = -4*l - 4*p. Is 15 a factor of (-72)/(-15)*o/l?
False
Let k be 2 - 8/2 - -5. Suppose 0*x + 186 = k*x. Is 6 a factor of (-4)/10 + x/5?
True
Let n(m) = 2*m**2 + 11*m + 7. Suppose 3*r + 10 = -11. Let a be n(r). Suppose s + 4*c = 29, 2*s - c - a = -3*c. Is s a multiple of 9?
True
Let j(b) = -5*b**2 - 9*b - 2. Let t(u) = u**2 - 2 + 1 + 2. Let z(w) = j(w) + 4*t(w). Does 14 divide z(-7)?
False
Suppose -8 = -4*v - 2*g + 2, 2*v = 4*g. Suppose 2*m = -t + 44, -2*t + 33 + 37 = -v*m. Is t a multiple of 11?
False
Is 2 a factor of 7 - ((12/4 - 3) + 3)?
True
Let y be (2/(-6))/(2/102). Is (-2)/((-50)/y - 3) a multiple of 10?
False
Suppose -5*j = -6*j + 231. Is j a multiple of 33?
True
Let v be 36*(1 - (-14)/(-8)). Let g = 5 + v. Let i = 21 - g. Is i a multiple of 13?
False
Let a = 26 - 2. Does 8 divide a?
True
Let j = 28 - 13. Let r(n) = 6*n**2 - n - 1. Let c be r(-2). Let s = c - j. Does 10 divide s?
True
Let k be 10 + 0 - (-2 - -2). Let q = 11 - -5. Let o = q - k. Is 6 a factor of o?
True
Is 34 a factor of (68/(-85))/((-2)/305)?
False
Let l(f) = f + 7. Let i be l(-4). Let m be i - (1 + (-30 - -3)). Suppose 0 = -h + m + 7. Is h a multiple of 12?
True
Suppose -3*m + 118 = -71. Is m a multiple of