18)/3. Suppose -g = -5*o + v*g + 130, o + g = 20. Suppose -5*j = p - 19, 0 = -2*p - 0*j - 5*j + o. Is p a multiple of 2?
True
Suppose 2*r + 4 = 26. Does 6 divide r?
False
Suppose 2*x = -4*m - 0*x - 30, 5*x = -15. Let q be 1*2/m*0. Suppose -r = -q*r - 5. Is r a multiple of 2?
False
Suppose -5*z + 3*b = -24, -3*z + 0*z - 4*b = 3. Suppose z*i - 5 = 2*i. Does 5 divide i?
True
Suppose 0 = 3*c - 4*c + 4. Let d = -8 - -10. Suppose 2*r - d*m = -0*m + 78, -2*m = c*r - 126. Does 17 divide r?
True
Let v(d) = 6*d - 14. Is 14 a factor of v(6)?
False
Let v be (0 + 2/(-4))*0. Suppose 4*k - 2*g = -4*g + 136, v = -4*g - 16. Does 13 divide k?
False
Suppose -4*m = -2*m - 60. Let d = m - 17. Is d a multiple of 13?
True
Let i(u) be the second derivative of -2*u**3 - 4*u**2 - u. Is 18 a factor of i(-5)?
False
Let o be (-3)/1 + 12/(-4). Let p = o + 18. Is 6 a factor of p?
True
Is 8 a factor of 246/15 + (-4)/10?
True
Let m(x) = 2*x - 4. Let r be m(4). Suppose 0 = 5*w - r*w + 2. Is w/5 - 32/(-5) a multiple of 6?
True
Suppose -3*z = 4*o + 25, 0 = o + 2*o + 3*z + 21. Is 2/o + (-28)/(-8) a multiple of 2?
False
Suppose 3*n = 2*n + 1, 3*f - n = 83. Does 8 divide f?
False
Let i(o) = -o + 4. Let m(u) be the second derivative of -u**4/6 + 2*u**3/3 - 3*u**2/2 + 2*u. Let k be m(3). Is 6 a factor of i(k)?
False
Let b(y) = 25*y**2 + y + 2. Let d be b(2). Suppose -3*a + 18 = -3*s - 48, 5*a - d = -s. Is 6 a factor of a?
False
Suppose 1 = -3*y - 8. Is (-2)/y - (-444)/9 a multiple of 25?
True
Let h be 68/(-12) + (-4)/(-6). Let b = 10 + h. Suppose 4*d - b = 103. Is d a multiple of 10?
False
Let y(f) = f**3 - f**2 - f. Let v be y(0). Suppose 5*c - 89 = -r, v*c = -5*c + 15. Suppose -3*g + r = -10. Is 13 a factor of g?
False
Suppose o = 12 - 6. Is o a multiple of 6?
True
Let b(k) = -k + 31. Is b(0) a multiple of 10?
False
Let c be (-26)/(-3) - (-6)/(-9). Let v = c - -18. Suppose 2*u - f = 40, 5*f + v = 2*u - 22. Is 19 a factor of u?
True
Suppose 15*n - 206 = 13*n. Does 19 divide n?
False
Let f(v) = v**2 - 2*v + 4. Does 14 divide f(-4)?
True
Let i be (0 - 2/(-5))*5. Suppose i*h - 5*l - 68 = 0, 3*h - 34 - 77 = 3*l. Is 23 a factor of h?
False
Suppose 2*y - 4*g + 68 = 6*y, g = 2*y - 22. Is y a multiple of 2?
False
Let i(s) = s**2 + s - 1. Let r(f) = 24*f**2 + 7*f - 6. Let h(c) = -5*i(c) + r(c). Is 20 a factor of h(1)?
True
Let x = 98 - 70. Let n = x - -2. Is 16 a factor of n?
False
Let u = -12 - -2. Suppose -2*n + 17 = 5*v, -4*v - v + 13 = -2*n. Does 5 divide u*3/(v*-1)?
True
Suppose -5*x = -3*c - 7, -2*c - 2*x = -3*x. Let j be -1*(c + -2)*1. Suppose o = -j - 3, -i - 2*o + 11 = 0. Is i a multiple of 12?
False
Let i(k) = k**2 - 2*k - 5. Suppose -2*j = 2*j. Suppose j = -2*m + m + 6. Is i(m) a multiple of 13?
False
Let m = -48 - -82. Is m a multiple of 17?
True
Suppose -a - 557 = -3*a + 5*z, 4*a = -4*z + 1184. Suppose -7*k = -171 - a. Does 22 divide k?
True
Let n = 3 - 3. Suppose -2*o + 64 = 4*p, -5*p + 4*o + 80 = -n*o. Suppose -2*j + 2*i = j + 2, 4*j + 2*i = p. Does 2 divide j?
True
Let z(n) = -6*n + 1. Let q be z(-4). Is (-20)/q*(-1 - 9) a multiple of 8?
True
Let l = 14 + -11. Suppose l*v - 39 = 24. Does 21 divide v?
True
Let y = 128 - 29. Is 9 a factor of y?
True
Suppose 3*r + 74 + 109 = 2*c, -177 = -2*c + 5*r. Is c a multiple of 16?
True
Let p = -29 + 77. Is 33 a factor of p?
False
Let f(c) be the second derivative of -c**5/20 - c**4/2 + 7*c**3/6 + c. Let w be f(-7). Suppose -4*t - u + 87 = w, 0*t + 5*t - 2*u = 112. Is 11 a factor of t?
True
Suppose 0 = -4*j - 0*j + 44. Let t = 0 + j. Is t a multiple of 7?
False
Suppose -2*r + 15 = 3*r. Suppose 6*b = b - r*u + 209, 5*u = -4*b + 162. Is b a multiple of 8?
False
Let x(g) = -13*g + 1. Let k(n) = 2*n**3 - 1. Let r be k(1). Let w be x(r). Let j = w - -18. Does 6 divide j?
True
Suppose -2*w = q + 8, -2*q + 5*w + 14 = -3*q. Let z be q/(-18) + (-20)/90. Suppose -5*i + 127 - 27 = z. Is 17 a factor of i?
False
Let c(r) = 5*r**2 + 2. Let w be c(2). Suppose -3*q + 15 = 5*l, q - l = 3*l + w. Is q a multiple of 10?
True
Let f(o) = o**2 + 8*o + 2. Let c be f(-8). Suppose -3*b - b + 24 = 0. Suppose -3*w + 27 = -3*x, c*w - 2*x + b*x = 30. Is w a multiple of 11?
True
Does 9 divide ((-12)/(-8))/((-3)/(-18))?
True
Is 4 a factor of ((-6)/(-2))/((-9)/(-51))?
False
Let h(q) = -q**3 + q**2 + 2*q + 0*q**3 - 1 - 4*q. Let n be h(3). Is 13 a factor of (130/n)/(2/(-10))?
True
Let r = 19 + -12. Is r even?
False
Let n be (2 + 1)/(-3 + 4). Is 8 a factor of 2/3*n + 9?
False
Let h be 22/(-4) - (-1)/(-2). Let c be 5/(15/h) + 5. Suppose 0 = -6*q + c*q + 30. Is 5 a factor of q?
True
Let n(s) = -s**2 - 6*s - 1. Let g be -1 + 25 - 2 - 2. Suppose y + 4*y + g = 0. Is 7 a factor of n(y)?
True
Let r(y) = 15*y + 3. Let q(z) = -5*z. Let k be q(-1). Suppose -p = -k*u - 0*u - 3, 5*p = -3*u + 15. Does 17 divide r(p)?
False
Let z = -1 - 1. Let i be 0 + (4 - (z - -3)). Does 2 divide 7 + 1 + (1 - i)?
True
Suppose -2*l + 2 = -6. Suppose -10*p = -l*p - 390. Does 18 divide p?
False
Let l be (3 + 1)*4/8. Let k be (l/5)/(4/(-20)). Let n(x) = 6*x**2 + 4*x + 3. Does 9 divide n(k)?
False
Let p(f) = 4*f + 8. Let v be p(-3). Let g(y) be the second derivative of -y**3/3 - 3*y**2/2 + y. Is g(v) a multiple of 2?
False
Suppose 7 = r + 2*f - 3, 2*f + 50 = 2*r. Is 14 a factor of r?
False
Let a = -34 + 1. Let k = 3 - a. Does 20 divide k?
False
Let h = -168 + 322. Does 22 divide h?
True
Let a(u) = u**3 - 4*u**2 + 6*u - 4. Let f be a(5). Let n be -2 + (1 + -1 - -131). Suppose -3*z = -5*s + f - n, -5*s + 15 = 0. Is 10 a factor of z?
False
Let g = -7 + 11. Suppose 0 = -2*f + 3*p + 74, f = -g*p - p + 50. Does 15 divide 9/2*f/12?
True
Suppose 2*u + 3*u - 85 = 0. Is u a multiple of 10?
False
Let d(m) = m + 3. Let v be d(5). Suppose v = -3*c - 28. Is 8/(-3)*153/c a multiple of 17?
True
Is 18 a factor of ((-9)/(-2))/(-1)*840/(-18)?
False
Suppose -5*v - 130 + 35 = 0. Suppose 5*p - 6 + 21 = 0. Let o = p - v. Is 6 a factor of o?
False
Let b be (1 - 0) + (-6)/(-2). Let w be 92/22 + b/(-22). Suppose w*r = -0*r + 96. Is 12 a factor of r?
True
Let d be (4*-3)/(3/4). Let p = d + 38. Let a = 32 - p. Is 5 a factor of a?
True
Let h(j) = j**3 - 7*j**2 + 5*j - 5. Does 6 divide h(7)?
True
Let n be 3/6 + 268/8. Suppose -2*t + 4*v = -n, 1 = -t - 4*v - 0. Is t a multiple of 11?
True
Let q be 0 + (55 - -1)/2. Suppose 2*c = -2*c - 80. Let v = q + c. Does 4 divide v?
True
Suppose -5*k - 16 = 3*g - 106, 5*g - 3*k - 150 = 0. Suppose p = -8 + g. Is p a multiple of 11?
True
Suppose 0 = -5*n - 3*u - 0*u - 41, -4*u + 62 = -5*n. Let i = 22 + n. Does 12 divide i?
True
Let b(d) = d + 224. Let f be b(0). Let s = f + -109. Suppose 0 = -4*x - 4*p + s - 19, 4*x + 3*p = 96. Is 10 a factor of x?
False
Suppose 5*v - 32 = -12. Suppose -3 = -v*o + 5. Suppose 1 + 9 = o*b. Is b even?
False
Suppose 3*p + 3*b = -18, 0 = 3*p - 6*b + 3*b. Is 87 + (p - -1 - -2) a multiple of 29?
True
Suppose -14 = -0*b - b. Suppose f - 89 = -b. Is f a multiple of 25?
True
Let x be (-7)/((-105)/18)*115. Suppose 4*s = -2*i + x, 5*s = 5*i - 3*i + 186. Is 20 a factor of s?
False
Let u(t) = t**3 + 5*t**2 + t. Let p(l) = -2*l + 6. Suppose 0 = -y - 2*y - o + 13, -y - 5 = 5*o. Let a be p(y). Is 6 a factor of u(a)?
True
Let y be (-1)/(-4) + 14/8. Suppose -y*l + 26 = -0*l. Does 9 divide l?
False
Let u = 58 + -48. Is u a multiple of 10?
True
Let h(n) = -n - 2. Let r be h(-10). Let l = r + -8. Suppose l*a + 8 = a. Does 4 divide a?
True
Let x(w) = w**2 + 3*w + 1. Let m be x(-4). Suppose m*t + 8 - 68 = -3*d, 5*d - 5*t - 60 = 0. Does 15 divide d?
True
Suppose -9*n + 10*n = 196. Let k = 274 - n. Suppose 2*p + 0*p - k = 0. Is p a multiple of 13?
True
Let o = 96 - -38. Does 15 divide o?
False
Let i = 24 + 43. Is i a multiple of 13?
False
Let q be (-9)/(-2) + 1/(-2). Suppose 2*k = 2*g - 34, q*g + 2*k - 43 = k. Does 4 divide g?
True
Let w = 19 - 30. Let c = w - -23. Is 12 a factor of c?
True
Let f(q) = q**3 + 8*q**2 - 9*q. Let z be f(-9). Suppose z = -5*o + 3*b + 201, -o + 2*b = -0*o - 36. Is o a multiple of 23?
False
Let i = 109 + -49. Is 12 a factor of i?
True
Let w(u) be the second derivative of u**4/12 - u**3/2 - u**2 + 3*u. Let o be w(4). Is 6 a factor of 19 - (o + 4/(-2))?
False
Suppose 0 = -3*j + j + 28. Let n = -26 + 24. Does 10 divide (-1 - (-4)/n) + j?
False
Let w(v) = 17*v - 2. Le