+ 5*m, 3 = -2*h + m. Is 2 a factor of 3/(1/(-2) - h)?
True
Let n be ((-12)/(-9))/4*9. Suppose n*p + 0*p = 12. Does 10 divide -2 + p + (14 - 0)?
False
Suppose 9 = z + 2*z. Suppose 69 = z*p - 2*p. Is p a multiple of 23?
True
Let b = -32 + 144. Is b a multiple of 16?
True
Let d(t) = 4 - 5 + 3 + 3 - 2*t. Does 25 divide d(-10)?
True
Suppose -3*z + 138 = -z. Does 23 divide z?
True
Let v(l) = 40*l**2 + 2*l + 1. Let y be v(2). Suppose 3*r + r + q - 357 = 0, 2*r + 5*q = y. Is r a multiple of 28?
False
Suppose 32 = 3*l - 40. Is 6 a factor of l?
True
Is 17 a factor of (-2 - (-34)/16) + 1031/8?
False
Suppose -4*b = 2*u - 404, 2*u = 3*b - 0*u - 289. Is b a multiple of 11?
True
Suppose 2*s + 0 + 7 = -5*f, 5*f - 5*s = 0. Is f/5 + 242/10 a multiple of 12?
True
Let s(c) = c**3 - 7*c**2 + 3*c - 7. Suppose 0*y + 14 = 2*y. Does 6 divide s(y)?
False
Let i = -4 - 1. Let u be 9*6/(-9) - -4. Is 4 a factor of i/u*(-56)/(-35)?
True
Suppose -24*z = -23*z - 4. Does 4 divide z?
True
Suppose 0 = -2*c - 4*c + 540. Is c a multiple of 5?
True
Let z(c) = 3*c**2 + 0 - 5*c + 5 - 5. Let b = -4 + 8. Is z(b) a multiple of 10?
False
Suppose 0 = 3*p - 8 - 1. Suppose -28 = k + p*k. Let m = k + 13. Does 6 divide m?
True
Suppose -q - 2 = 0, f - 4*q - 200 = -3*f. Is f a multiple of 12?
True
Let x(w) = w - 3. Let y be x(5). Let s be 314/y + -3 + 1. Suppose 2*d + 3*d - s = 0. Does 13 divide d?
False
Let d = 69 + -44. Does 4 divide d?
False
Suppose 0 = b + 1 - 0. Let s = 1 + b. Suppose 4*m + m - 140 = s. Does 14 divide m?
True
Let a(o) = 4*o**2 + 3*o - 3. Suppose -4*r + 12 = -0. Is 16 a factor of a(r)?
False
Suppose -106 - 54 = -4*l. Is l a multiple of 20?
True
Let a = 87 - 114. Suppose z + 0 - 41 = 0. Let y = z + a. Is 7 a factor of y?
True
Suppose 25 = -q + 6*q. Does 9 divide 2*-1 + 4*q?
True
Suppose -8*r + 324 = 4*r. Does 3 divide r?
True
Let c(g) be the third derivative of 0*g + 0 + 1/60*g**5 + 1/24*g**4 + 3*g**2 + 0*g**3. Does 6 divide c(-3)?
True
Let y(b) = 2*b + 9. Let g be y(-6). Let q(x) = -x**3 - 2*x**2 + x - 2. Let o be q(g). Suppose 91 = o*t - 49. Does 12 divide t?
False
Let c(z) = -z**2 - 6*z - 10. Let u be c(-4). Does 4 divide 2/((u + 5)/27)?
False
Suppose -r + 106 = -2*y, 0*y = 5*r - 5*y - 540. Does 13 divide r?
False
Suppose k + 2*m = -3 + 137, m + 554 = 4*k. Does 23 divide k?
True
Let s = -25 - -60. Is s a multiple of 2?
False
Suppose -d = 5, 3*u - d = d + 106. Is 15 a factor of u?
False
Suppose 5*x - 4*y - 72 = 174, -3*y + 253 = 5*x. Is x a multiple of 20?
False
Suppose -8 = 2*j - 6*j. Suppose -j*t + 108 = -10. Is 19 a factor of t?
False
Suppose -29 = -o + 2*a, -90 + 36 = -3*o - 5*a. Does 8 divide o?
False
Let m(u) be the second derivative of -13*u**3/6 - u**2 + 2*u. Is m(-2) a multiple of 12?
True
Let d be 19/2 + (-6)/12. Let m be 1/(-3) - (-57)/d. Suppose t - k + 207 = m*t, 2*t + 5*k = 92. Is t a multiple of 16?
False
Let w(g) = -2*g**3 - 4*g**2 - 4*g - 3. Let a be w(-2). Let x(r) = 190*r**2 - 2*r. Let l be x(-1). Suppose a*s = s + l. Does 16 divide s?
True
Let a be (7/((-7)/2))/(-1). Let z be 106 + -2*1/a. Suppose -c + z = 4*c. Does 7 divide c?
True
Let k be (36/10)/((-9)/(-120)). Is 2 a factor of ((-40)/k)/(2/(-12))?
False
Suppose -5*a - 25 = 0, -d = d + 2*a + 6. Suppose 0 = -3*v - 2*f + 28, -4 = -2*v + v + d*f. Is v a multiple of 2?
True
Let m(i) = -3*i - 3. Is 2 a factor of m(-4)?
False
Suppose -2*d - 10 = -4*d, -5*l + 2*d = 30. Does 25 divide 252/5 - l/(-10)?
True
Let t(l) be the first derivative of 4*l**3 - l**2/2 - l + 3. Is 15 a factor of t(2)?
True
Let q = -11 + 8. Is (q + 2)/(3/(-18)) a multiple of 6?
True
Let h = 45 + -16. Is h a multiple of 29?
True
Is 25 a factor of (-4 + (-1 - -30))*(-2)/(-1)?
True
Suppose 14*q - q = 3705. Does 17 divide q?
False
Suppose -5*x + 5*q = -160, 0 = -5*x + 2*x - q + 100. Does 11 divide x?
True
Suppose -5*q = -3*q - 16. Let d = q - 5. Suppose d*n = 4*g + 9 + 49, 5*n + g = 66. Is 14 a factor of n?
True
Let r(d) = 3*d - 5*d + 4 + d + 2. Let l be r(6). Suppose l = h - 8 - 11. Is 8 a factor of h?
False
Suppose -3*t = -3 - 12. Suppose 0 = 5*v + 5*c - 85, -53 = -t*v + c + 2*c. Is v a multiple of 13?
True
Suppose 5*v - 6 = 3*v. Suppose v*i + s = 6*s - 5, 0 = 4*i - 5*s. Is 2 a factor of i?
False
Let r be 2/(((-4)/(-2))/6). Let i = r + -4. Suppose i = -4*n + 50. Does 12 divide n?
True
Suppose c - 2*c = 0, -4*c - 14 = -2*z. Let f(n) = -n**2 + 8*n - 4. Let r be f(z). Let t = r - 0. Is 2 a factor of t?
False
Suppose -b = -k + 80 - 441, 2 = -2*k. Is b a multiple of 13?
False
Suppose 2 = 18*g - 17*g. Suppose 4*s + 0*v = -v + 131, 5*v = 3*s - 127. Suppose -g*z + s = 2. Is z a multiple of 7?
False
Suppose 5*a - 10 = -k + 10, -2*k - 4*a + 70 = 0. Is 17 a factor of k?
False
Suppose -4*m + 362 = 2*i, -2*i + m - 52 = -399. Is i a multiple of 23?
False
Let j = -8 + 12. Let d(v) = v**3 - 3*v**2 - 3*v + 6. Let i be d(j). Is 12 a factor of i - (-2 - (-1 + 1))?
True
Is 7 a factor of 4/(4 + 14/(-4))?
False
Let w be (1 - (2 - 56))*1. Suppose u - 2*p + 4*p - w = 0, u - 5*p = 27. Suppose 0 = 3*o - 149 + u. Does 17 divide o?
True
Let p(f) = -f**2 + 6*f - 2. Let u be p(6). Does 7 divide ((-39)/6)/(u/4)?
False
Suppose 65*g - 69*g = -92. Does 7 divide g?
False
Let f = 62 - 10. Is 9 a factor of f/6 + (-2)/(-6)?
True
Does 14 divide 1262/14 + (-1)/7?
False
Suppose 26 + 174 = 5*c. Is 10 a factor of c?
True
Let c = 34 + -14. Is 20 a factor of c?
True
Suppose -3*a + 157 = -n - n, -2*n - 108 = -2*a. Let f be (-2)/(-7) - (-1260)/a. Let z = f + -1. Does 12 divide z?
False
Let w = 2 - 0. Suppose -w*a - 56 = -a + 4*f, 4*a + 4*f + 164 = 0. Let c = -20 - a. Is c a multiple of 6?
False
Suppose 5*l - 335 + 55 = 0. Does 13 divide l?
False
Let q(m) = -2*m + 108. Is 7 a factor of q(24)?
False
Suppose -4*v = 4*f - 8, -2*f - 2*f + 2*v = -14. Suppose -f*n = n. Suppose -i = g - 19, 42 = 2*g - n*g + i. Is 7 a factor of g?
False
Let p(r) = r - 4*r + 11*r + 3. Does 12 divide p(4)?
False
Let m(k) be the third derivative of -k**5/40 - k**4/6 + k**3/3 - 3*k**2. Let n(f) be the first derivative of m(f). Is 14 a factor of n(-6)?
True
Suppose 8 = 4*m, 3*v + 0*m = m + 10. Is 4 a factor of v?
True
Let a = -146 - -153. Does 2 divide a?
False
Suppose 0 = -4*s + 3*m + 55, -2*m = -5*s + 15 + 52. Is s even?
False
Suppose 0 = -3*y - 0 + 9. Suppose y*v - 130 = -13. Does 13 divide v?
True
Let o = 45 - 28. Is o a multiple of 17?
True
Let o(m) = 3*m - 49. Does 7 divide o(21)?
True
Suppose -10*t + 6*t + 404 = 0. Is 26 a factor of t?
False
Let n be (0/(-2))/(-1) + 21. Let u be 2/(-4) - (-4242)/(-12). Does 9 divide u/(-14) - 6/n?
False
Let b be (-3)/(-5) - 3/5. Let q(l) = -l + 4. Does 3 divide q(b)?
False
Suppose 0*t + 4*t - 8 = 0. Is 3 a factor of 0 + (7 - -4) - t?
True
Suppose -4*m - 140 = -9*m. Suppose -3*g - 7 + m = 0. Does 5 divide g?
False
Let h = 6 + -9. Does 11 divide -3*17*1/h?
False
Let l = 8 + -7. Let n(r) = 29*r - 1. Is 7 a factor of n(l)?
True
Suppose -m + y = -23, -5*y + 13 = -2*m + 56. Is m a multiple of 12?
True
Let w be 8/1*9/12. Suppose -123 = -3*i + w. Let q = i + -25. Is 18 a factor of q?
True
Let r(o) = o**2 - 3*o - 1. Let s be r(3). Does 7 divide s*(-15 + (-2 - -2))?
False
Let r be 6/(-21) + 37/7. Suppose -9*a + r*a = -36. Is 5 a factor of a?
False
Suppose -173 = -9*a + 151. Is 12 a factor of a?
True
Let v(i) = 2*i**2 + 12*i + 7. Let h(m) = -3*m**2 - 23*m - 14. Let s(z) = -3*h(z) - 5*v(z). Let u = -10 - -17. Is 7 a factor of s(u)?
True
Suppose -11 = -2*o - 15. Is o/(6/1)*-18 a multiple of 6?
True
Suppose -4*i = -5*n + 2*n + 11, -5*n = -5*i - 20. Suppose r - 19 = 2. Let o = r - n. Does 8 divide o?
True
Let k = 3 + -4. Let p(h) = -4*h - 1. Let j be p(k). Suppose 0 = -u - x + 13, -j*x - 21 = 2*u - 4*u. Does 12 divide u?
True
Let f be ((-52)/(-10))/((-2)/10). Let g = f - -38. Is g a multiple of 11?
False
Let w = -5 - -3. Suppose -15 - 8 = -z + 5*g, -3*z + 3*g = -33. Is 149/4 + w/z a multiple of 16?
False
Let o be 211 - (2 + (-8)/2). Suppose x - 4*x = -o. Let s = x - 29. Is 21 a factor of s?
True
Suppose -14 = m - 5*b + 7, -m - 18 = -4*b. Is 10 a factor of (150/(-40))/(m/32)?
True
Let s(j) = j**2 + 6*j - 6. Let n be s(-6). Let v be 3/(n/8*-2). Suppose 14 = v*q - 16. Does 13 divide q?
False
Suppose 8 = -3*t + 5*t. Is 4 a factor of t?
True
Let j be -4*(-2 - 10/(-8)). Suppose 23 = -3*g + 4