)/(-9) - (z - (-428)/(-12))?
False
Let k = 3 - 3. Suppose m = -2*q - k*m + 134, -3*m - 268 = -4*q. Is 11 a factor of q?
False
Let r = -13 + 25. Suppose 5*n - 82 = -r. Is n a multiple of 11?
False
Let h = -12 + 16. Suppose h*q - 324 = -0*q. Is 16 a factor of q?
False
Let y = -36 - -36. Suppose -4*q + q + 282 = y. Does 26 divide q?
False
Suppose h = 1, 2*r - 4*h - 41 = -r. Suppose 858 = -9*z + r*z. Does 30 divide z?
False
Suppose -5*r - 4*f - 1 = 0, 0 + 1 = -r - f. Let n be (27/(-18))/(r/(-4)). Does 9 divide -26*n/8*-6?
False
Suppose -4*d + 11094 = 4*f - 5510, 0 = -2*d + f + 8305. Does 134 divide d?
False
Suppose o + 863 = 5*o + 3*n, 3*n + 663 = 3*o. Suppose -4*c + o = 70. Does 5 divide c?
False
Suppose 5 = 2*w - o - 30, 30 = 2*w + 4*o. Let b(r) = -3*r**2 - 18*r - 10. Let u(m) = 5*m**2 + 35*m + 19. Let n(g) = -7*b(g) - 4*u(g). Does 9 divide n(w)?
True
Suppose -6*g - 8 = 5*w - 2*g, 3*g + 6 = -w. Suppose -2*q - s + 15 = w, -5 = -q - 3*s - 0*s. Is q a multiple of 7?
False
Let z(o) = 3*o + 7. Let m be z(0). Suppose -4*h + 3*h + m = 0. Is h even?
False
Suppose -6 = -5*i + 4. Suppose 3*c = -2*a - 14, 0 = -5*c + i*c + 5*a + 14. Is 5 a factor of (-2)/(c - 50/(-26))?
False
Let i(m) = -2*m - 7. Let a be i(-6). Suppose 4*z - 4*p - 3 = a*z, -5*p - 10 = -5*z. Let l = z + 6. Does 2 divide l?
False
Let a = 34 + -19. Let d = 17 + a. Is 20 a factor of d?
False
Let p(s) = -s + 7. Suppose 9*j - 14*j = 55. Let o be p(j). Let h = o - -36. Is 12 a factor of h?
False
Let h = -58 - -60. Suppose -h*j + 3*j = 51. Is 17 a factor of j?
True
Let i(v) = 16*v**2 - 23*v - 30. Is 24 a factor of i(7)?
False
Let s = -14 - -16. Suppose 0 = s*i - 8 - 2. Suppose -z = -i*z + 24. Is z a multiple of 3?
True
Let u = 480 + -518. Let k(x) = x**3 - 2*x**2 + 5*x - 6. Let o be k(4). Let g = o + u. Is 6 a factor of g?
False
Suppose -k = -3*f - 22, 1 = -f - 3. Suppose -2*u = -7*u. Suppose 3*x - c - 88 = 0, -2*x + 4*c + 82 - k = u. Is x a multiple of 14?
True
Let h be (-8)/20 - ((-1544)/10 - -2). Suppose 58 + h = 5*b. Is 7 a factor of b?
True
Suppose -2*r + 1962 = -5*w + 4*w, 4*w = -8. Is r a multiple of 14?
True
Let t be 2/((-8)/(-12))*(-17 + 0). Let w = -26 - t. Is w a multiple of 5?
True
Let u(t) = 14*t**3 + t**2 - t - 2. Let q be u(2). Let g be (3 - -66)*(-6)/9. Let s = g + q. Is 22 a factor of s?
True
Suppose -3*b - 3*r + 204 = -0*r, 3*b - 232 = 4*r. Let k = 132 - b. Is k a multiple of 10?
True
Let l(r) = 28*r - 22. Let a(f) = -27*f + 21. Let q(b) = -7*a(b) - 6*l(b). Is q(4) a multiple of 18?
False
Suppose 0 = -4*x + 5*h + 521, -3*h - 567 = -3*x - 180. Is x a multiple of 26?
False
Let l be 2/10 - 230/25. Does 10 divide (9/6)/(l/(-534))?
False
Is (-18)/225 + 178908/100 a multiple of 11?
False
Let w(a) = a**3 - 5*a**2 - 6*a + 3. Let g be (-32)/(-6) + 4/6. Let u be w(g). Suppose -66 = u*c - 5*c. Is 12 a factor of c?
False
Let b = -42 - -56. Suppose -b*h = -12*h - 230. Does 23 divide h?
True
Suppose -31 + 26 = -5*n, 9*n + 9222 = 3*g. Is g a multiple of 17?
True
Let p(t) = 3036*t**2 - 15*t - 4. Is 132 a factor of p(-1)?
False
Does 3 divide (-1498)/(-21) + 42/9 + -4?
True
Does 8 divide ((-3612)/(-147))/((-2)/(-7))?
False
Let h = -41 - -69. Is (2/(-8) + (-1309)/h)*-1 a multiple of 26?
False
Let s(j) = -j**3 + 12*j**2 + j. Let t be s(12). Let v be (-2 + -1)*(-80)/t. Let u(i) = i**2 - 18*i - 7. Is u(v) a multiple of 8?
False
Does 17 divide -27*5/(-15) + 33?
False
Let w(i) = -5*i + 2. Let r be w(2). Let k = -55 + 23. Let v = r - k. Is v a multiple of 12?
True
Suppose -2 = 2*x - 3*v, -5*v - 3 = -13. Suppose x*y - 58 = 56. Does 10 divide y?
False
Let t = 15 + -15. Suppose -k + 13 = 3*h, t = 4*h + 2*k - 15 - 5. Suppose 0*a = a + 5*z - 69, z = -h*a + 207. Does 13 divide a?
False
Let x = -13 + -37. Let h = x - -108. Is 9 a factor of h?
False
Let l(w) = 2*w**3 + 18*w**2 + 14*w + 19. Let x be l(-9). Let t = 239 + x. Is 33 a factor of t?
True
Suppose 2*r - 6*n + n - 5 = 0, -2*n = -3*r + 13. Suppose 36 = m - 0*m - 5*c, 5*c + 260 = r*m. Suppose 6*w - m = 5*w. Does 14 divide w?
True
Suppose 5*t = -5*c + 130, 3*t = 4*t - c - 30. Suppose t*k - 432 = 22*k. Is 12 a factor of k?
True
Let s(w) = -w**3 + 8*w**2 - 10*w - 1. Let m be s(6). Suppose 14*v - m*v = 816. Is 35 a factor of v?
False
Let u be -1*(-9)/(-12) - (-3825)/(-36). Let m = 14 - u. Is m a multiple of 16?
False
Let w(b) = -b. Suppose -1 = c + 1. Let a be w(c). Suppose a*u - 9 = u. Is 6 a factor of u?
False
Suppose -2*o + 18450 = 5*n - 4*o, 4*n - 14760 = 2*o. Does 14 divide n?
False
Let l(h) = -h**3 + 22*h**2 + h - 95. Does 15 divide l(21)?
False
Does 21 divide 9*75 + 114/(-38)?
True
Let m = 87 + -25. Let u(n) = 9*n. Let g be u(-4). Let c = g + m. Is c a multiple of 7?
False
Let z(k) = -k**2 + 2*k + 12. Let h be z(6). Let d be h/(-7) + (-2)/(-7). Let a = d + 18. Is a a multiple of 10?
True
Does 12 divide ((-12)/7)/(32/(-47264))?
True
Let r(v) be the third derivative of v**6/60 - v**5/15 - v**4/6 + 4*v**3/3 + 9*v**2. Does 10 divide r(3)?
False
Let q(j) = -4*j**2 + 10*j + 5. Let x(n) = -3*n**2 + 9*n + 5. Let d(c) = -2*q(c) + 3*x(c). Is d(5) a multiple of 3?
True
Let n(w) = 5*w + 162. Let h be ((-10)/(-4) + -2)*0. Is n(h) a multiple of 15?
False
Let x(f) = f - 2. Let q be x(0). Is 15 a factor of (-2 - 28)/(q - (0 - 0))?
True
Let q be 3/(-7 - 66/(-9)). Let i(d) = d**2 + d + 144. Let b be i(0). Is 2 a factor of (-2)/q + 752/b?
False
Suppose 2*f = x - 2*x - 6, 4*x - 3 = f. Suppose s - 98 - 82 = x. Is 12 a factor of s?
True
Suppose -4*j = i - 87, 0 = 4*j - 0*j + 5*i - 67. Let b = 48 - j. Suppose -3 + b = v - 4*a, -3*v - a + 105 = 0. Is 5 a factor of v?
False
Let y = 2675 - -1242. Is y a multiple of 18?
False
Let r(y) = -y**3 + 10*y**2 + 17*y + 14. Let m(n) = -n**2 + 5*n + 7. Let x be m(4). Is r(x) a multiple of 16?
True
Is 17 a factor of -6 + 6/4 + 44757/18?
True
Let d be ((-15)/10)/((-9)/804 - 0). Suppose 0 = d*w - 138*w + 52. Does 10 divide w?
False
Suppose 245 = 5*m - 2*v, 62 = 5*m - 5*v - 168. Does 3 divide m?
True
Let v(p) = 50*p + 17. Let h be (-8)/(-10) + ((-1008)/35)/(-9). Does 9 divide v(h)?
False
Let n be (0/(0 + 2))/(-1). Suppose -4*r + 141 = 5*w, n*w - 34 = -w + 5*r. Is 5 a factor of w?
False
Let p(o) = 8 - o - 4*o + 2*o - 6*o**2 - o**3 + 2*o**2. Is p(-4) a multiple of 4?
True
Let c = 14 + -38. Is 12 a factor of 6/c + 339/12?
False
Suppose 4*h - 172 = -0*h. Let d = h + -31. Is d a multiple of 2?
True
Let l(t) = t**3 + 40*t**2 + 109*t + 50. Is 62 a factor of l(-34)?
False
Let i be (-22)/143 + (-1304)/(-26). Suppose 2*l + 3*u = -35, -4*l - 2*u + 0*u - i = 0. Let n = l - -18. Is n even?
True
Let s(z) = 2*z**2 - 12*z + 12. Let j be s(6). Is 1894/j - (-7)/42 a multiple of 36?
False
Suppose 6*y = 7*y - 7. Let t = y - 3. Suppose -d + t = 5*s - 24, 5*s = 4*d - 237. Is 15 a factor of d?
False
Let p = 18 + 72. Does 15 divide p?
True
Let j = 28 - 25. Suppose 9*c - j*c - 12 = 0. Suppose -3*s + 7*s = c*n - 162, n - 71 = -3*s. Is n a multiple of 11?
True
Let b(l) be the first derivative of -l**4/4 - 2*l**3/3 + 4*l**2 + 4*l - 2. Let s be (-4 + -2 + (-19)/(-3))*-15. Is 14 a factor of b(s)?
False
Suppose x - 16 = -4*c, -c - 17 = -x - 6. Is x a multiple of 7?
False
Let y be (-6)/(-3) + (-2 - 1). Let j be y + 3 - (-10 + 7). Suppose 0*k - 318 = -j*b - k, -4*b + 264 = 4*k. Is 21 a factor of b?
True
Suppose 10294 = 7*i + 1012. Is i a multiple of 12?
False
Is (-2 - -6) + 69 + 2 + -3 a multiple of 4?
True
Suppose 4*o - 502 = -5*l + 3*l, -5*l + 1299 = -o. Let c = -91 + l. Is 28 a factor of c?
True
Let j(v) = 19*v - 37. Is 20 a factor of j(21)?
False
Suppose -131*u + 137*u = 294. Is u a multiple of 22?
False
Suppose 0 = 3*g - 2*r - 20, -4 = -r - r. Is g even?
True
Let c(m) = 5*m**2 + 13*m - 8. Let n(u) = 11*u**2 + 26*u - 15. Let a(w) = -7*c(w) + 3*n(w). Let l be a(-8). Is 7 a factor of 13/(-26)*(l + -1)?
True
Suppose -2*k + 9*b + 464 = 11*b, -5*k + 1154 = 2*b. Is k a multiple of 13?
False
Suppose 0 = 2*j + x - 1, 0 = -0*x + 4*x + 12. Suppose -4*t + 318 = -j*q, 3*q = 3 - 0. Does 16 divide t?
True
Let i = -21 + 29. Suppose 5*r - i = 17. Suppose -w + 20 = 3*m - 0*w, r = m + 2*w. Is m a multiple of 7?
True
Let b = 27 - 22. Let l = b + 0. Let o = 17 - l. Is 12 a factor of o?
True
Let q be (4/(-10))/(2/(-40)). Let n(y) = -2*y**2 - 4*y + q*y**2 + 10 - 2 - 4*y. Does 24 divide n(4