2) + 2. Suppose 2*w - 8 = -0*w. Does 9 divide i + 2*34/w?
False
Suppose 0*y + 4*y = 84. Is 18 a factor of y?
False
Let n be 32*3/(5 - -1). Let s = -19 + 9. Let d = n + s. Does 3 divide d?
True
Let k = 120 - 75. Let l = -6 + k. Is 13 a factor of l?
True
Let i(n) = n**3 + 3*n**2 - 4*n. Let o be i(-4). Suppose o = -0*d - 5*d + 100. Is d a multiple of 16?
False
Suppose 6 - 1 = 5*g, -68 = -m + 2*g. Does 25 divide m?
False
Suppose -4*v - 98 = -6*v. Suppose 2*f = 2*p + 8 + 12, -4*f + p + v = 0. Is 13 a factor of f?
True
Let y(q) = -q**3 - 5*q**2 + 2*q - 6. Let w = 0 + -6. Is y(w) a multiple of 8?
False
Let p be ((-14)/3)/(8/12). Let z(y) = -y**2 - 9*y + 6. Is z(p) a multiple of 12?
False
Suppose -x - 3*o - 124 - 343 = 0, -5*x - 5*o - 2385 = 0. Is x/(-8) + (-3)/12 a multiple of 16?
False
Let g = -63 + 112. Does 7 divide g?
True
Let c(a) = -61*a - 2. Let d be c(-2). Suppose 9*z - d = 4*z. Is 14 a factor of z?
False
Suppose 0*a = 5*a - 665. Suppose -a = n - 331. Suppose n - 72 = 3*q. Is 15 a factor of q?
False
Suppose 4*u + u = 0. Suppose y + u*y = 3. Is 3 a factor of y?
True
Let d = -2 - -6. Suppose k - 113 = u, -d*k + 2*u - 3*u = -462. Suppose 3*g = -2*g - 4*f + 299, 0 = -2*g + 3*f + k. Is g a multiple of 21?
False
Let u = 4 + -2. Let j be (0 + u)/((-1)/2). Let v(g) = g**2 + g + 1. Is v(j) a multiple of 13?
True
Let r(q) = 2*q**2 - 14*q - 32. Does 31 divide r(13)?
True
Suppose -m - 5*u - 14 = 0, -3*m - u - 11 = 3. Let y = m + 9. Is y a multiple of 3?
False
Let p(s) = -s - 8. Does 9 divide p(-17)?
True
Suppose 652 = 4*i - 5*c, i + 3*c - 125 = 21. Does 14 divide i?
False
Does 11 divide ((-176)/(-10))/(2/5)?
True
Let i(l) = -103*l - 10. Let o(m) = -34*m - 3. Let u(q) = 2*i(q) - 7*o(q). Let r be u(1). Suppose 3*b - 2*w - 10 = r, -w = 3*b - 28. Is b a multiple of 4?
False
Let g(z) = 12*z - 16. Is 8 a factor of g(5)?
False
Let b = -8 - -12. Let l = -7 + b. Does 25 divide 10/(-2)*15/l?
True
Suppose 5*j + 177 = 3*q, -2*j - 314 = -5*q - 0*j. Is 13 a factor of q?
False
Suppose 0*o = -x - 3*o + 18, 0 = -x + o + 14. Does 7 divide x?
False
Let p be 3 + (-2 - -1) - 12. Let i(k) = k + 18. Is 8 a factor of i(p)?
True
Let g(a) = -5*a - 7 - 2 + 3*a. Let w be g(-7). Suppose 0 = w*k - 0*k - 120. Is k a multiple of 18?
False
Let a = 94 - 133. Let o be -9*(a/(-9) + -3). Let c = o + 20. Is 8 a factor of c?
True
Let j(u) = -5*u**2 + 31*u + 11. Let l(s) = 2*s**2 - 15*s - 6. Let x(m) = 3*j(m) + 7*l(m). Is 9 a factor of x(-9)?
True
Suppose 3*r = -f - 4*f + 69, -3*f - 4*r + 48 = 0. Let c be f*10*(-2)/(-4). Suppose 2*x - c = -0*x. Does 15 divide x?
True
Suppose -2*k = 13*k - 1140. Is k a multiple of 13?
False
Let w be 3*(-2)/(-12)*14. Let q(y) = 6*y + 2. Does 22 divide q(w)?
True
Suppose 6*f + 170 = f. Suppose 24 + 45 = -3*l. Let y = l - f. Does 3 divide y?
False
Does 27 divide ((-108)/(-20))/((-9)/(-45))?
True
Let d = 11 + 239. Suppose -s = 4*s - d. Is s a multiple of 25?
True
Let u be (-6)/(((-2)/16)/(-1)). Let w = u + 74. Suppose w = 2*a + 6. Is 10 a factor of a?
True
Let p be (-3)/(4/((-24)/9)). Let z be (-3)/(-6)*p/(-1). Is 2 a factor of (-4 - z)/(12/(-16))?
True
Suppose 8 = 2*v, 4*a + 4*v = v + 52. Let s be (8/a)/((-6)/(-15)). Suppose 5*t = 3*y + 225, -s*t - 4*y - 146 = -5*t. Is 21 a factor of t?
True
Does 8 divide (4 + -21*4)*4/(-10)?
True
Let x(o) = o**3 + 10*o**2 + 10*o - 2. Is 16 a factor of x(-6)?
False
Let t(g) = -g**3 + 4*g**2 + 3*g + 3. Let s be t(5). Does 9 divide 620/35 - 2/s?
True
Let h(l) = l - 1 - 3*l**2 - 3*l + 0 + 0*l + 9*l**3. Let v(g) = 19*g**3 - 7*g**2 - 5*g - 3. Let d(u) = -7*h(u) + 3*v(u). Is 24 a factor of d(-2)?
True
Let d = -28 + 43. Is 8 a factor of d?
False
Let y = 10 + -8. Let d(v) = -v - y*v + 11 + 2 + 2*v. Is 3 a factor of d(7)?
True
Let f = 43 - 16. Let x = 54 - f. Does 7 divide x?
False
Let c = -21 - -54. Suppose 3*n - 1 = 11. Let x = n + c. Does 12 divide x?
False
Suppose 4*k - 830 = -4*j - 182, -5*j = 3*k - 808. Does 23 divide j?
True
Let q be 0 + (-107 - -1)/2. Let t be 3/(-5) - q/5. Let r = 16 - t. Is r a multiple of 6?
True
Does 3 divide 378/16 + 3/8?
True
Let m be (-1)/(-3)*(2 + 16). Let c be (16*2)/(-2)*-1. Let j = c + m. Does 8 divide j?
False
Let g be 0/((-3)/6*2). Suppose g = -3*p - 0*p + 6. Is 10 a factor of 58/p - 2/1?
False
Let q = -241 + 537. Is q a multiple of 34?
False
Let s(g) = g - 7. Let v be s(7). Suppose v = l + 1 + 3. Let y = l - -6. Is 2 a factor of y?
True
Suppose 0 = 4*i + 3*u + 183, 156 = -3*i - 0*i + 4*u. Suppose 5*f + 269 + 71 = 0. Let h = i - f. Does 20 divide h?
True
Let q(t) = 5*t - 6. Suppose 0*u - 5*u + s + 22 = 0, 3*u = 3*s + 6. Let n be q(u). Suppose 4*a - 63 + n = 0. Is a a multiple of 11?
True
Suppose y = -3*y + 64. Is y a multiple of 6?
False
Let c be 23/5 + (-12)/20. Suppose -p - c*p + 35 = 0. Is 3 a factor of p?
False
Let p = 1 + 4. Let r(g) = -8*g**2 - 5*g. Let f(t) = 15*t**2 + 9*t. Let d(y) = 6*f(y) + 11*r(y). Is d(p) a multiple of 15?
True
Suppose -3*b + 1 = -5. Suppose 5*m - j - b = -0*m, 4*m = -4*j - 8. Suppose m = u - 12. Is u a multiple of 6?
True
Suppose 2 = -0*s - 2*s - 2*z, -3*s - 5*z - 5 = 0. Let j(b) = b**2 + 35. Is j(s) a multiple of 16?
False
Let u = -146 - -310. Suppose w = -3*w - u. Let o = 62 + w. Does 9 divide o?
False
Let x = -5 + 13. Is 6 a factor of x?
False
Let v be -3 + (-1 - -1) - -6. Suppose -13 + v = 5*t. Is (-17)/(-2) - t/4 a multiple of 9?
True
Suppose -7*h + 185 = -2*h. Is 6 a factor of h?
False
Let t(w) be the second derivative of 11*w**3/6 + w. Let d be ((-9)/6)/((-3)/4). Is t(d) a multiple of 22?
True
Suppose -8 - 2 = -5*n. Suppose -2*l - n*v = 2*l - 146, 3*v - 9 = 0. Is l a multiple of 11?
False
Suppose a + 3*a + 12 = 0. Does 13 divide (-232)/(-12)*a/(-2)?
False
Let b = 14 + -11. Suppose b*o = o + 68. Does 11 divide o?
False
Suppose 2*m + 4*f - 8 = 20, -2*m + 18 = 2*f. Let b(l) = l**2 - 2*l - 5. Does 3 divide b(m)?
True
Let b(h) = -h**2 + h + 2. Let g(n) = -n + 1. Let f(q) = -b(q) + g(q). Is 2 a factor of f(3)?
True
Suppose -5*s + k + 4*k = -40, 5*s + 2*k = 5. Let d(p) = p + 1. Let q be d(s). Suppose -q*t + 48 = 4*g, -36 = -t - 4*t + g. Is t a multiple of 8?
True
Suppose 0 = -2*t + 4*u + 38, 0*u + u - 57 = -3*t. Let l be t + 0 + (-2)/(-2). Suppose 0 = 5*r + l - 170. Is 15 a factor of r?
True
Let w = -145 - -301. Does 15 divide w?
False
Let a be ((-9)/2)/((-10)/(-20)). Let j = a - -13. Is j even?
True
Suppose 6*x - 19 = 3*x - 4*c, 0 = 4*x - c. Let i(b) = 16 - b - 2 - x + 3. Is i(12) even?
True
Let o be 3/2 - 10/(-4). Suppose 13 + 19 = o*p. Is 5 a factor of p?
False
Let v = 26 + -18. Is v even?
True
Let s = 10 + -12. Is (-201)/(-9) + s/(-3) a multiple of 13?
False
Is 235 - (-3)/(12/(-20)) a multiple of 46?
True
Suppose 10 + 0 = -5*f. Does 9 divide (f + 5)*(-38)/(-6)?
False
Let k = 195 - 134. Is 5 a factor of k?
False
Is 14 a factor of (-2)/(36/(-4262)) + (-18)/(-81)?
False
Let f be 555/18 + 1/6. Suppose 317 = -2*v - f. Is v/(-4) - 4/(-8) a multiple of 22?
True
Let d = 6 + -2. Let u be d/10 + 98/5. Suppose -u = -9*h + 4*h. Does 2 divide h?
True
Suppose s - 73 = -4*b, 50 = 2*b + s - 5*s. Let u be b + 2 + (1 - -2). Suppose -5*t = 3*y - u, -3 - 3 = 2*t - 4*y. Is t a multiple of 3?
True
Let l = -22 - -49. Is l a multiple of 13?
False
Let r = 2 - -3. Let u(y) = -y + 9. Let p be u(r). Is 137/9 + p/(-18) a multiple of 15?
True
Let o be 50/15*48/5. Suppose -3*h + o = -16. Does 7 divide h?
False
Suppose -b + 15 = 2*b. Suppose -5 = b*k - 4*l, -40 = 7*k - 2*k + 3*l. Let w = 29 - k. Is w a multiple of 17?
True
Suppose 5*v - 279 - 126 = 0. Is v a multiple of 14?
False
Let z(b) = -61*b - 3. Let l be z(-3). Suppose 8*u + 3 = 35. Suppose 0 = t + u*t - l. Is t a multiple of 12?
True
Let c(t) = 4*t**3 + t - 2. Let u be c(2). Let b = u - 8. Suppose 4*p = 3*h + 103, 2*p + 5*h - b = h. Does 11 divide p?
True
Is 11 a factor of 38 + (0 + -1 - 3)?
False
Let u(r) = r**3 - 8*r**2 + 3*r + 5. Let g be u(6). Let f = g - -145. Suppose 2*c + f = 3*n, 5*n - 225 = 3*c - 65. Is n a multiple of 10?
False
Suppose -y - 3*s + 307 = 0, 0*s = 2*s. Is y a multiple of 15?
False
Let x be -1 + 3/(-1 - -2). Let b(o) = 0*o**2 + 6*o + 8 - 3 + x*o**2. Does 16 divide b(-5)?
False
Does 9 divide 3/(-2) - 651/(-14)?
True
Let j = 93 - 66. Is j a multiple of 3?
True
Suppose 5*q + 419 = -56. Let o = -55 - q. Is 14 a factor o