 2*b + 1, 2*b = 2*s + 6. Does 4 divide b?
False
Suppose 0 = -p - 3 - 1. Let q be (6/(-2))/(6/p). Is 50/4 + q/4 a multiple of 7?
False
Let z(f) = -f - 5. Let y(q) be the first derivative of -q**2/2 - 6*q + 2. Let v(h) = -2*y(h) + 3*z(h). Is v(-5) even?
True
Suppose 5*c + 16 = 36. Let u(r) = r**2 - r. Let y be u(-3). Is (16/y)/(c/66) a multiple of 11?
True
Suppose -5*h + 156 = -164. Is 17 a factor of h?
False
Let v = -30 + 44. Let r(o) = 10*o - 1. Let c be r(3). Let g = c - v. Does 5 divide g?
True
Suppose 0 = 10*d - 14*d + 364. Does 7 divide d?
True
Does 14 divide ((-10)/40)/(2/(-376))?
False
Let u(y) = 15*y - 6. Let s be (-26)/(-4) - 5/10. Let k be u(s). Suppose 5*q = 3*q, -3*b - 2*q = -k. Does 8 divide b?
False
Let p(h) = h**3 + 1 + 4*h**2 + 2*h + 0*h**3 + 0*h. Let b be p(-3). Suppose -4*i = 4*f + f - 65, -b*i = 3*f - 31. Is f a multiple of 7?
False
Suppose 0*f - 33 = 5*c + 2*f, -5 = -3*c + 5*f. Is 11 a factor of 168/10 - 1/c?
False
Suppose 0 = -5*f - 2*w - 23, f + 0*w - w + 6 = 0. Let z(o) = 2*o**2 + 8*o + 4. Does 7 divide z(f)?
True
Suppose 0 = -0*j + 3*j + p + 3, -4*j + 3*p - 17 = 0. Let o = 22 - j. Does 12 divide o?
True
Let p = -47 + 117. Is p a multiple of 10?
True
Suppose -1 = -3*o + 41. Is (-24)/o*(-21)/6 a multiple of 6?
True
Let z(n) be the first derivative of 5*n**2/2 - 5*n - 3. Does 6 divide z(4)?
False
Let m(b) = -5*b**3 - 3*b**2 + 1. Let t be (-2)/((-7)/5 - -1). Suppose t*h = -4 - 6. Is m(h) a multiple of 14?
False
Suppose 2*k + 0 = -2, -97 = -5*a - 3*k. Let w = 83 - a. Let n = -33 + w. Is n a multiple of 15?
True
Let u(f) = -21*f**3 + 2*f**2 + f. Suppose 3*h + 5 = 2, 5*g = 2*h - 3. Let v be u(g). Is v + -1 + -2 + 1 a multiple of 10?
True
Suppose -4*f + j + 74 - 295 = 0, -5*j = -4*f - 241. Let a = -26 - f. Does 13 divide a?
False
Suppose 2*v = w + 3 + 11, -2*w - 16 = -2*v. Suppose 0 = -v*q + q - 30. Let f(b) = -b**2 - 8*b + 4. Is 9 a factor of f(q)?
False
Suppose 0*p + p = 16. Does 14 divide (-115)/(-4) + (-12)/p?
True
Let y(k) be the third derivative of k**6/120 - k**5/60 + k**4/24 - k**3/3 - 2*k**2. Is 18 a factor of y(4)?
False
Let o(d) = -2*d**2 - 3*d + 4. Let a be o(-4). Let k = 22 + a. Does 5 divide k?
False
Suppose 0 = -f - 5*m + 27, -2*f - 11 + 135 = -4*m. Is 20 a factor of f?
False
Let k = -75 + 157. Let g = k - 37. Suppose 3*z - g + 3 = 0. Is z a multiple of 8?
False
Let z(m) = -m**2 + 15*m - 12. Is 4 a factor of z(12)?
True
Suppose -3*i = 9, -3*u + 8*u = -4*i - 2. Suppose u*f - 3*f = -32. Suppose 3*t = t + f. Is 16 a factor of t?
True
Suppose -12 = -3*n + 114. Is 14 a factor of n?
True
Let x be (-9)/(-2)*56/6. Suppose -l + x = l. Is l a multiple of 5?
False
Let j(n) = -13*n + 1. Let c be j(-3). Let q(z) = z + 4. Let t be q(6). Let h = t + c. Is h a multiple of 20?
False
Does 4 divide (-570)/(-8) + 4*(-18)/(-96)?
True
Suppose 3705 = 8*c + 9. Is c a multiple of 22?
True
Let b be (30/(-4))/((-2)/12). Suppose -37 = -4*q - 2*d + b, 2*d = 3*q - 72. Is 11 a factor of q?
True
Let x = -83 - -187. Is x a multiple of 28?
False
Suppose 87 = -r + 4*r. Let g = 41 - r. Is 4 a factor of g?
True
Let k = -10 - -10. Suppose -4*o + 34 + 42 = k. Suppose 5*l = 10, 2*h + 3*l - o - 15 = 0. Is h a multiple of 4?
False
Suppose 0 = 2*z - 4*m, m + m = -2*z + 30. Is z a multiple of 2?
True
Let w be (1 - 0)/((-4)/76). Let t = w + 39. Does 19 divide t?
False
Suppose -79 = -3*k - 2*u, -k + 37 + 4 = -3*u. Let b = 46 - k. Let g = -2 + b. Does 15 divide g?
True
Let v(b) = b**2 - 2*b - 15. Is v(9) a multiple of 20?
False
Suppose -5*p + 71 + 99 = 0. Is 18 a factor of p?
False
Let b = 138 + -70. Let p = b + -40. Does 14 divide p?
True
Let p = 145 - 64. Is p a multiple of 27?
True
Suppose -4*b - 34 + 166 = 0. Let a be (-4 - 2)*4/(-6). Suppose a*k = k + b. Is k a multiple of 11?
True
Let f(b) = b**3 + 5*b**2 - 2*b + 5. Suppose 0 = 3*l - 3*h + 12, 0 = 5*l - 5*h + h + 21. Does 6 divide f(l)?
False
Suppose 1 = -5*n - 9. Does 13 divide 201/15 - n/(-5)?
True
Let s(y) = -4*y**2 - 2*y + 2*y**3 - y**3 - 7 + 3*y. Does 16 divide s(6)?
False
Suppose 1 = r - 29. Does 13 divide r?
False
Let c(z) = 2*z**2 + 4*z + 1. Let j(r) = r**2 + 4*r + 2. Let u(y) = 2*c(y) - 3*j(y). Let f be u(6). Suppose 0 = -2*g + f - 0. Is 4 a factor of g?
True
Let o(g) = -g**3 - g + 50. Let j(h) = h**3 - h**2 + h - 1. Let k be j(1). Let b be o(k). Suppose -m + 3*l + 50 = m, 2*m = l + b. Does 10 divide m?
False
Let t(n) = 2*n**2 + 2*n. Let h be 4/6 - (-16)/(-6). Let k be t(h). Suppose -4*c + 2*r = -94, 0 = -2*c - k*r - 12 + 34. Does 17 divide c?
False
Suppose -4 = -g - 3. Let h be g + -2 + 32 + 1. Let u = -16 + h. Is 9 a factor of u?
False
Does 24 divide ((-14)/6)/((-7)/(9*56))?
True
Suppose -b = 2*b + 9. Let h(j) = 3*j. Let n be h(b). Let u = n - -35. Is u a multiple of 13?
True
Let r be 3*2/(-3) + 2. Suppose -3*k + k + 32 = r. Suppose n - 65 = -3*i, i + 5*n - 61 = -k. Is i a multiple of 10?
True
Let j be 42 + -2 - 0/(-2). Is j/(-8)*8/(-5) a multiple of 3?
False
Suppose 0 = 3*x + 2*w + 22, -2*w + 1 = -x - 1. Let t(g) = -g**2 - 17*g - 3. Let o be t(-17). Does 5 divide o + 0 - x - -2?
True
Suppose 5*r + 26 = 5*t + 96, 0 = t + 3. Is r a multiple of 11?
True
Let l(m) = -5*m**3 - 12*m**2 + 17*m + 13. Let v(o) = 11*o**3 + 25*o**2 - 35*o - 27. Let y(k) = -9*l(k) - 4*v(k). Does 9 divide y(-9)?
True
Suppose 5*u + 56 = 221. Suppose 4*b - u = 95. Suppose 0 = -4*h + 6*h - b. Does 8 divide h?
True
Let d(z) = -z**2 + 7*z - 1. Let o be d(7). Let h(a) = 3*a**2 - 1. Let t be h(o). Is 13 a factor of (-412)/(-16) - t/(-8)?
True
Is 4 a factor of ((-228)/48)/((-2)/8)?
False
Let w = 102 + 57. Let v = w - 85. Suppose 5*i - 14 = -p + v, -2*i + 5*p = -46. Is 6 a factor of i?
True
Let y(d) = d**3 + 12*d**2 + 15*d + 12. Let c be y(-10). Let v = c - 40. Is v a multiple of 22?
True
Suppose -2 = -0*n - n. Is 10 a factor of 0 + 4 + n*13?
True
Let r = 14 + 67. Does 27 divide r?
True
Let a(r) be the first derivative of 13*r**4/12 + r**3/3 - 3*r**2/2 - r + 3. Let h(k) be the first derivative of a(k). Does 14 divide h(2)?
False
Let n(r) = 2*r**3 + 3*r**2 + 5*r + 4. Let p be n(-3). Let f = 82 + p. Is f a multiple of 13?
False
Let a be ((-4)/(-10))/(4/120). Suppose 7 = j - a. Suppose -2*d + 33 + j = 0. Is 20 a factor of d?
False
Let n(a) = 5*a - 1. Let r be n(9). Is 6 a factor of r/8 - (-1)/2?
True
Let p(y) be the third derivative of y**4/24 + y**3/3 + 5*y**2. Does 5 divide p(3)?
True
Suppose 5*k - 2 = 23. Is k a multiple of 3?
False
Let k(m) = -m**2 - 4 + 4*m - 3 + 5. Let v be k(3). Is v/(-3)*(-34 - -1) a multiple of 4?
False
Let q(c) = -3*c - 69*c**2 - 81*c**2 + 158*c**2 - 2. Let i(u) = -u**2 - 7*u - 8. Let m be i(-6). Is 14 a factor of q(m)?
False
Suppose 4*u - 12 = -0*u. Suppose -4*p - 5 + 73 = 2*w, 0 = -u*w + 12. Is p a multiple of 15?
True
Suppose -4*w + 372 = -780. Does 12 divide w?
True
Let t = -5 + 37. Is t a multiple of 16?
True
Let w = 30 - 43. Let y = -8 - -34. Let b = y + w. Is b a multiple of 10?
False
Let k = -10 + 25. Suppose h + 3*s = -2*h, 3*s = -2*h - 5. Suppose -115 = -h*a - k. Is 10 a factor of a?
True
Suppose -3*m = 5*c - 215, -m = -0*c + c - 75. Is 12 a factor of m?
False
Suppose 15 = -2*k + 43. Does 7 divide k?
True
Let h(x) = -x**3 + 5*x**2 + 7*x - 5. Let z be h(6). Suppose -5*u = -3*b + 4 + z, -b = u - 7. Suppose -2*m - 12 = -i, 0*i + b*i + 5*m = 90. Is i a multiple of 8?
True
Let v = -29 - -37. Is (-2)/v + (-75)/(-12) a multiple of 4?
False
Suppose 0 = 5*w - 2*w - 453. Suppose -5*k - 31 = -w. Is 12 a factor of k?
True
Let x(a) = a**3 + 8*a**2 + 6*a + 3. Let k be x(-7). Let m be 8/5 - k/(-25). Suppose -3*r = 3*o - 39, -o + 5*o + m*r - 48 = 0. Does 6 divide o?
False
Does 10 divide ((-1032)/16)/((-1)/2)?
False
Let q(r) = -r**2 + 3*r + 4. Let y be q(3). Suppose 18 + 10 = y*c. Is 9 a factor of 27*(c + -3 - 3)?
True
Let b = 2 - -13. Does 5 divide b?
True
Let d be 2/(-4)*(0 - 4). Let g = -2 + d. Let p = 16 - g. Is 16 a factor of p?
True
Let h be 40/(-12)*6/(-4). Let r(l) = -l**3 + 6*l**2 - 5*l + 2. Let b be r(h). Suppose b*j - 2*i = 78, -9 = 2*j - 5*i - 72. Is 15 a factor of j?
False
Let d = 36 + -10. Let g be 76/95 + 84/(-5). Let y = d + g. Is 9 a factor of y?
False
Suppose 6*r - 24 = 5*r. Is r a multiple of 4?
True
Let f be (-6)/15 - 12/(-5). Suppose -f*z - v + 25 = 0, -4*v - 9 = -z - v. Does 6 divide z?
T