 a multiple of 12?
False
Let i(w) = w**3 + 15*w**2 + 17*w - 9. Does 34 divide i(-13)?
False
Suppose 6*g = 3*g - 306. Let n = g + 162. Suppose y - 20 = -2*r + r, 0 = -3*r + 5*y + n. Is 10 a factor of r?
True
Suppose 2*c - 4*i + 10 + 40 = 0, c + 3*i = -25. Let p = c - -36. Is p a multiple of 6?
False
Suppose 0 = -2*g - 10, 285 = -u + 2*g - 6*g. Let o be 2/5 + u/(-25). Let x(i) = i - 8. Does 3 divide x(o)?
True
Let y = -20 + 26. Is y a multiple of 6?
True
Let p be (-46)/(3 - (1 - -1)). Let x = -5 - p. Does 20 divide x?
False
Suppose -3*a = a - 96. Is a a multiple of 5?
False
Suppose 2 + 14 = 2*l. Does 4 divide l?
True
Let a = 73 - 114. Let b = 73 + a. Is b a multiple of 11?
False
Let w(x) = -5*x - 1. Let b be w(1). Does 7 divide (3 + 39/b)*-4?
True
Let m be (252/45)/((-2)/(-10)). Let w be (-3)/4 - (-105)/m. Suppose -w*n + 3 = o, -o + 1 = 5*n + 2. Is 9 a factor of o?
True
Let l(n) = -4*n + 9. Let o be l(-4). Is -2 + 3 + o + 1 a multiple of 9?
True
Let z(l) = -11*l - 9*l - 2 + 17*l. Let k(m) = m**2 + m - 6. Let g be k(0). Is z(g) a multiple of 11?
False
Is 6 a factor of 9648/90 - ((-3)/(-15) - 1)?
True
Let n be 9*(14/6 + 1). Let b = -28 - -46. Let d = n - b. Is d a multiple of 12?
True
Let v(x) = 2*x**3 - x**2 + 1. Let a be v(-1). Is 10 a factor of a/7 - (-652)/28?
False
Let j = -10 - -5. Let k = j - -13. Is k a multiple of 5?
False
Let n be 5/(3*1/9). Is 54/n + 4/10 even?
True
Let c(s) = -s**2 - 8*s - 2. Let a = 3 - 3. Let q = a + -3. Does 13 divide c(q)?
True
Let g = -23 - -37. Suppose g + 4 = v. Does 6 divide v?
True
Suppose 0*w + 3*a = 3*w - 30, 3*a = -3*w + 42. Is w a multiple of 12?
True
Let r(g) = -7*g + 4. Let x(t) = -7*t + 5. Let l(i) = -7*r(i) + 6*x(i). Let b be l(4). Is 13 a factor of (b - 3/3) + -2?
False
Suppose -2*j - 4*o + 86 = -j, -2*j + 169 = 5*o. Is 6 a factor of j?
False
Let p = 58 - 35. Is 7 a factor of p?
False
Let c be 14/6 - 6/(-9). Suppose 2*w - 3*w + c = 0. Suppose -w*j - 2 = -k, 5*k - 3*j + 0*j - 22 = 0. Is 2 a factor of k?
False
Is 15 a factor of (-12)/28 - (-108)/7?
True
Let u = 22 - 8. Suppose -4*x + u = g + x, 4*x - 24 = -4*g. Suppose -11 = -g*t + 5. Does 2 divide t?
True
Let u(v) = -4*v - 2. Let y be u(-1). Suppose -y = -h + 10. Is h a multiple of 12?
True
Suppose 0 = -4*z + z + 132. Is 23 a factor of z?
False
Let n = 23 + 35. Suppose -w = -3*l + n, l + 2*w = 4*l - 62. Is l a multiple of 5?
False
Let y = -26 + 41. Suppose 3*a - 8*a = -y. Does 2 divide a?
False
Let m = -11 - -15. Does 4 divide m?
True
Let q = -27 + 55. Does 14 divide q?
True
Let q(x) = x + 4. Let s be q(-4). Does 11 divide (28 - (s + 0))*1?
False
Let m be (39 - 0) + 2 + 0. Let j = m - 29. Does 12 divide j?
True
Suppose q + 4*q - 175 = 0. Does 35 divide q?
True
Let p = 6 - -19. Suppose 0 = -5*n + p, 4*w + 9 = 6*w - n. Does 7 divide w?
True
Let v = -121 - -218. Suppose 39 + v = 2*a. Is 28 a factor of a?
False
Suppose 0 = -9*v + 6*v + 504. Is 36 a factor of v?
False
Let f(h) = 7*h**2 - 4*h - 3. Does 11 divide f(-2)?
True
Let m = -157 - -222. Is 5 a factor of m?
True
Suppose -2*m + 5*k = -93, m - 9 = -4*k + 31. Does 22 divide m?
True
Does 18 divide (1 - 1)/5 - -177?
False
Suppose -3*f - 22 = -5*d, d - 8*f + 3*f = 0. Let p be (-40)/(-18) + 2/(-9). Suppose 2*l + 5*m - d = 2, -l = p*m - 4. Is l a multiple of 3?
True
Let n be (-2)/(0 - 6/(-129)). Suppose 0 = -3*l + s + s - 53, 5*l - 2*s + 95 = 0. Let w = l - n. Does 9 divide w?
False
Suppose 0 = 2*l - 4*o - 62, -2*l - o + 64 = -3*o. Is l a multiple of 16?
False
Let f = -137 - -238. Does 12 divide f?
False
Suppose p - 7 = -a, -3 = -p - 0. Let q(c) = -4*c**3 - 6*c**2 - 7*c. Let s(j) = 3*j**3 + 4*j**2 + 5*j. Let u(i) = 5*q(i) + 7*s(i). Is 11 a factor of u(a)?
False
Let j be (((-156)/(-4))/3)/1. Let b = j - 9. Is b a multiple of 4?
True
Does 10 divide ((-510)/(-25))/((-2)/(-5))?
False
Let k(t) = -t**3 + 5*t**2 - 4. Is 14 a factor of k(3)?
True
Does 6 divide ((-88)/10)/((-32)/80)?
False
Let m = 56 + -32. Is (30/(-4))/((-9)/m) a multiple of 11?
False
Let d be (-2)/((-10)/(-14) + -1). Let a(z) = 13*z + 3 - 14*z + 0 + d. Is a(7) a multiple of 3?
True
Let b(z) = 36*z**2 + 3*z. Let o(a) = a. Let x(c) = b(c) - 3*o(c). Is 12 a factor of x(1)?
True
Let r(g) = g + 2. Let n be r(0). Let t(k) = k - 1. Let a be t(n). Does 16 divide 32*2/(5 - a)?
True
Let d(b) = 2*b + 0*b + 0*b**2 + b**2 - 5*b - 1. Let s be d(-5). Suppose 4*u - 45 = s. Does 14 divide u?
False
Let y = -4 + 3. Is 5 a factor of (-36)/3*(-1 + y)?
False
Let s be 2 + -2 - (-1 - 1). Suppose -20 = -s*w - 3*w. Suppose -5*k = 3*r - 30 - 16, w*r - 3*k = 13. Does 3 divide r?
False
Suppose -6*l = -531 + 201. Does 18 divide l?
False
Does 14 divide 1328/12 + (2 - 24/9)?
False
Suppose 0 = -3*l - o + 4, -20 + 0 = -5*o. Suppose -4*h + 8 = 0, 2*g - 5*h = -l*h + 40. Is g a multiple of 7?
False
Let a = -3 - -24. Does 6 divide a?
False
Suppose -4*l = 5*m - 38, -l = -0*m + m - 9. Is 2 a factor of l?
False
Suppose m - 4*m + 51 = 0. Let o(d) = d**3 - 3*d**2 + 2*d - 1. Let x be o(3). Suppose m = x*t - 4*t. Does 9 divide t?
False
Suppose -8*v + 4*k - 40 = -13*v, 4*v - 3*k = 63. Is 2 a factor of v?
True
Let r = -106 - -138. Is r a multiple of 16?
True
Let h(g) = 8*g + 2. Suppose -l - 1 = -3. Suppose 2*i = -2*i + 5*a + l, 5*i + 3*a = 21. Is h(i) a multiple of 13?
True
Suppose -9 = -5*j + 11. Suppose -36 = -j*w + w. Is w a multiple of 12?
True
Suppose 2*i = -3*i - 70. Is (-216)/(-21) + 4/i a multiple of 3?
False
Let a(l) = -l**3 + l**2 + l + 16. Is a(0) a multiple of 16?
True
Suppose 3*j = -3*n + 4*n + 205, 2*n = 10. Suppose l + 244 = 5*l - 2*y, l = 5*y + j. Is 22 a factor of l?
False
Let z(v) = -v**3 + v**2 + 14*v + 5. Is 9 a factor of z(-6)?
False
Suppose -5*w - 10 = -2*g, 0 = 2*w - 4*g - 6 + 26. Let h(v) = v**2 - v + 13. Is 10 a factor of h(w)?
False
Let c = 202 + -144. Is 29 a factor of c?
True
Suppose 0*y + y - 29 = 0. Let i = 1 + y. Suppose 3*k - i = -2*k. Is 4 a factor of k?
False
Let g(r) = -2*r**3 - r**2 + 1. Let t be g(-1). Suppose -4*p - 24 = 3*c + 12, -t*c = p + 4. Let j = 20 - p. Is 12 a factor of j?
False
Let y(v) = v**3 + 11*v**2 + 6*v - 2. Is y(-4) a multiple of 9?
False
Let t = -134 - -232. Does 15 divide t?
False
Let x = -11 + 7. Let u = x - -10. Is 2 a factor of u?
True
Let m be (-9)/(3*-1)*129. Suppose -t = 3*l - 6*l + m, -l + 136 = 2*t. Suppose -q + l = 4*u - 34, 82 = 2*u - 3*q. Does 19 divide u?
False
Suppose -3*a = a - 80. Suppose -4*c + 10 = 2*l, -a = -4*l + 5*c - 0*c. Suppose -r = g - 51, g - l*r - 54 = 9. Is g a multiple of 20?
False
Suppose 7*s - 2*s + 4 = -4*w, -s - 3 = 3*w. Let t be (-2 + s + 1)*0. Suppose t = 3*n - 115 + 7. Is n a multiple of 16?
False
Is 11 a factor of (-6)/(3 - 76/24)?
False
Let o = 7 + -2. Suppose -o*w = 5*c - 210, -w + 5*w = -2*c + 88. Is c a multiple of 20?
True
Suppose 16 = 5*k + 1. Suppose 0 = -k*z + 2*z + 6. Is 11 a factor of (1 - 1) + 132/z?
True
Suppose f - 169 = -12*f. Is f even?
False
Suppose -36 = -3*n - n. Suppose 4*x - v - 2*v = -7, -3*x + v - n = 0. Does 17 divide 93/6*(-16)/x?
False
Is 16/24*36/2 a multiple of 3?
True
Let c = -5 - -8. Does 17 divide 7/((-28)/(-192)) + c?
True
Let z = 219 + -111. Is z a multiple of 27?
True
Suppose 0 = 3*h - 5*p - 34, 5*h - 5 = -3*p + p. Is 2 a factor of (1/2)/(h/12)?
True
Suppose -a + 26 = -2*u + 159, a = -5*u + 329. Is 22 a factor of u?
True
Let p(d) = -d**3 + 8*d**2 - d + 9. Let x be p(8). Suppose x = -b + 7. Does 6 divide b?
True
Let o be 2 + -3 - 1 - -6. Suppose 3*k + o = u, -4*u = 4*k - 0*k + 16. Let z = 6 - u. Is 6 a factor of z?
False
Let j = 106 + -53. Does 11 divide j?
False
Let o(a) = -a**3 + 6*a**2 + 7*a + 6. Suppose 4*z + 14 = -5*v - 10, 0 = 4*z - 4*v + 24. Let q(k) = -k + 1. Let t be q(z). Is o(t) even?
True
Suppose -p = -w - 1, 3*p + 2*w = w + 19. Suppose p*f - 2*f = 78. Is f a multiple of 13?
True
Suppose 0*t = 2*t. Suppose -3*k + 0*u + u = -8, t = 3*k - 5*u - 16. Suppose 4*v + v + 5*w - 30 = 0, 3*w + k = -v. Does 4 divide v?
False
Suppose o - 48 = -u, -3*u = -3*o - 81 - 45. Suppose 4*s = 59 + u. Does 16 divide s?
False
Let o = -49 + 154. Is o a multiple of 15?
True
Let z = 2 - 20. Let s = 40 + -74. Let v = z - s. Does 8 divide v?
True
Let p be (-8 + 8)*2/(-4). Is 11 a factor of 1/((-4 - p)/(-60))?
False
Let i = -193 - -369. Is 18 a factor of i?
False
Let w = 1 - -5. Suppose