(-4). Suppose -5*i + 40 = 4*b, -b + h - 1 = 4*i. Does 15 divide b?
True
Let p be -114*((3 - 6) + 2). Suppose 0*u - p = -3*u. Is 19 a factor of u?
True
Let l = -3 - -6. Suppose l*v + 33 = 3*w, -3*v = 5*w - v - 62. Is 12 a factor of w?
True
Suppose 5*h - 134 = -m, 4*h + 2*m - 88 = 6*m. Is h a multiple of 13?
True
Let h(n) = -n**3 + 8*n**2 - 7*n + 5. Let d be (-1)/(1/(-3 + 1)). Let y be (d - -5)*(-12)/(-14). Is 15 a factor of h(y)?
False
Let b(o) = -1028*o. Let m be b(-1). Suppose 13 + m = 3*z. Suppose -5*d + 4*g + z = 0, -5*d = -d + 2*g - 262. Does 24 divide d?
False
Let m = -128 - -152. Is 10 a factor of m?
False
Let h be (-1)/(-6) + 46/12. Let o(v) = -3 + h + 33*v + 5 - 5. Does 14 divide o(1)?
False
Let l be (-1 - -4)/((-6)/8). Let b be (-1)/l - 45/(-12). Suppose -h + 20 = -o - 2*o, 0 = b*h - 4*o - 64. Is 5 a factor of h?
False
Does 4 divide 5*(16/1)/(15/24)?
True
Suppose -4*j + 2*l = 6*l + 4, 0 = j - 3*l - 7. Let z be j*(1 - (0 - -1)). Suppose z = -5*c - s + 40, -s + 0 = -5. Is 7 a factor of c?
True
Suppose -x - 1 = 2, g + 2*x - 9 = 0. Is g a multiple of 3?
True
Suppose 18 = -0*t + 3*t. Is 6 a factor of t - 3/9*0?
True
Let c(j) = 9*j - 2. Let v be c(2). Let x = v + 0. Does 11 divide x?
False
Let k(h) = 34*h + 17. Does 17 divide k(6)?
True
Suppose 16 = 4*x - n, -3*x + 4*n + n = -29. Suppose -28 = -2*k - 2*d, x*k + 2*k + 3*d = 80. Is 9 a factor of k?
False
Let m be (5 - 11)*1/(-3). Suppose -f + 7*t = 2*t - 45, -m*t + 92 = 4*f. Is f a multiple of 12?
False
Suppose q = -5, 0*b - 29 = -3*b + 4*q. Suppose 0 = 4*r - 33 - b. Is 8 a factor of r?
False
Let u = 15 - 11. Suppose u*t = -v - 4*v - 33, 4*t + 13 = -v. Does 9 divide 1*(-1)/(t/18)?
True
Let j(i) = -i**3 - 8*i**2 - 10*i - 3. Is 7 a factor of j(-8)?
True
Let x(q) = q**3 - 12*q**2 + 14*q + 15. Does 6 divide x(11)?
True
Let b(l) = -l**2 - 5*l - 5. Let a be b(-5). Let n(x) = -5 - 2 + 4*x**2 - 7*x - x**3 + 2*x**3. Is 3 a factor of n(a)?
True
Let j(m) = -m**2 - 9*m + 2. Let o be j(-9). Suppose o*t - 60 = -5*s + 54, 2*s - 48 = -2*t. Is s a multiple of 20?
False
Does 6 divide (-174)/(-18) - 2/3?
False
Does 5 divide (-1)/4 - (-77)/4?
False
Let q(w) = 9*w + 3. Let j be q(4). Let d = j - -3. Let s = -28 + d. Does 14 divide s?
True
Let v = -1 + -6. Let j(a) = -2*a - 6 + 1 - 1. Is j(v) a multiple of 4?
True
Suppose 0*a - 15 = -5*a. Suppose 3*p = c - 44, -a*c + 5*c = -5*p + 110. Is 10 a factor of c?
True
Suppose 3*y + 3*b + 2 - 47 = 0, 0 = 2*y + 5*b - 42. Suppose 2*m - 13 - y = 0. Does 4 divide m?
True
Let z be 6/(((-2)/(-4))/(-1)). Let a = z - -56. Is a a multiple of 11?
True
Let r = -7 - -11. Suppose 0 = -r*a + 5*a - 13. Is a a multiple of 8?
False
Suppose a - 3 + 9 = 0. Does 20 divide 4/6 + (-440)/a?
False
Let r(c) = 3*c**3 + 8*c**2 + 17*c - 9. Let v(g) = 5*g**3 + 12*g**2 + 26*g - 14. Let s(u) = -8*r(u) + 5*v(u). Is s(6) a multiple of 19?
True
Let i(j) = j**3 + 10*j**2 + 14*j - 10. Is i(-8) a multiple of 3?
True
Is 2/4*(-2 - -8) even?
False
Let i = 1 - 7. Is (i/(-7))/((-8)/(-336)) a multiple of 13?
False
Suppose -6*x + 3*x + 330 = 0. Let g = -247 + 174. Let u = x + g. Does 14 divide u?
False
Let t = 22 + -5. Does 17 divide t?
True
Let m be (-4)/10 - 97/(-5). Suppose 0 = 2*d + d. Suppose -w + o = 2*o - m, d = -o + 4. Does 15 divide w?
True
Let r be -4*((-33)/(-12) + -2). Let m be 84/1 + (-6)/r. Suppose -m = -4*s - 14. Is 10 a factor of s?
False
Let b = -91 - -115. Is 13 a factor of b?
False
Let c = -2 + 55. Is c a multiple of 3?
False
Let y(g) = g**2 + 2*g - 1. Let q be y(5). Suppose 16 + q = 5*w. Suppose -u + w = -10. Does 13 divide u?
False
Is 7 a factor of (20/6)/((-14)/(-147))?
True
Let r(d) = 4*d - 2. Let x be r(-11). Let s = x + 83. Is 14 a factor of s?
False
Let z = -26 + 74. Is z a multiple of 30?
False
Suppose 0*z + 4*z - 508 = 0. Does 14 divide z?
False
Suppose 2*a = -a. Suppose a*m - 5*m = -90. Suppose -2*n - u - 26 = -3*n, n - 3*u - m = 0. Is n a multiple of 15?
True
Let f(m) = -m**3 + 4*m**2 + 4*m + 7. Let c be f(5). Suppose c*a + 90 = 7*a. Is 6 a factor of a?
True
Suppose -f + 25 = -91. Is 36 a factor of f?
False
Let b(q) = 37*q**3 - 1. Let u be b(1). Suppose 0 = 3*p - 8 + 2. Suppose 0 = -p*i - 2*i + u. Is 9 a factor of i?
True
Let q(p) = -p**2 - 4*p + 5. Let s be q(-4). Suppose s*u = 3*c - 157, c - 10 - 24 = -2*u. Does 22 divide c?
True
Suppose 0*y + 2*y - 140 = 0. Let x = y + -42. Does 8 divide x?
False
Let i(l) = 30*l**2 + 2*l - 2. Is i(1) a multiple of 6?
True
Is 2 + (-2)/(-4) + (-121)/(-2) a multiple of 6?
False
Let v(i) = i**3 + 4*i**2 - 6*i - 9. Let t be v(-6). Let l = -27 - t. Is l a multiple of 6?
True
Suppose -j + 4*r + 6 = 0, -2*j - 5*r + 1 - 2 = 0. Suppose 3*u + 25 = 5*u - q, 0 = -j*u - 4*q + 20. Suppose -4*p + u = -p, -5*p + 1 = -k. Does 10 divide k?
False
Let i = 11 + -7. Suppose q - 4*l - 14 = i*q, -5*q = l + 46. Let z = 8 - q. Is z a multiple of 9?
True
Let p(i) = -2*i - 5. Is 2 a factor of p(-4)?
False
Let v = -178 + 315. Is 17 a factor of v?
False
Suppose -f - 2*f + 54 = 0. Is 6 a factor of f?
True
Suppose 0 = r - i + 228, 0*r - i + 906 = -4*r. Let k = r + 322. Suppose 0*m = 3*z - 4*m - 94, 2*z = -4*m + k. Is z a multiple of 13?
False
Let a = -7 - -25. Does 18 divide a?
True
Let n(k) be the third derivative of -k**5/60 - 7*k**4/12 - k**3/6 + 9*k**2. Is n(-12) a multiple of 19?
False
Suppose -3*i + 33 = -2*i. Suppose 2*h - i - 5 = 0. Does 9 divide h?
False
Suppose -7*g + 23 = -40. Is g a multiple of 9?
True
Let w(v) = -v**2 - 13*v + 33. Does 23 divide w(-9)?
True
Suppose 4*d - 5*h = -10*h + 271, 5*d - 350 = 5*h. Is d a multiple of 11?
False
Let d be 3*(3 + -4)/(-1). Let g be -6*(-7)/6*-8. Does 22 divide (-2)/d*(-1 + g)?
False
Let x = -146 + 206. Suppose x = 5*f - 50. Is 6 a factor of f?
False
Let n be (-2)/4*(-5 + 1). Suppose -120 = -b - n*b. Is 18 a factor of b?
False
Let y(b) = 24*b - 7. Does 17 divide y(5)?
False
Let c(z) be the second derivative of z**4/6 - 2*z**3/3 + z**2 - z. Let k be c(5). Suppose -4*t = 5*g - 72, -t + k = 3*t - 5*g. Does 13 divide t?
True
Let h(m) = -2*m + 2. Is 4 a factor of h(-5)?
True
Let j(m) = m**2 - 8*m - 59. Is 25 a factor of j(-11)?
True
Suppose 4*u + 1 = 3*k, 3*k - 1 = 4*k - 2*u. Is (13/2)/(k/18) a multiple of 22?
False
Suppose 5*y - 34 + 14 = 0. Let n be (0 - 1)/((-2)/y). Suppose 8 = n*g - 44. Does 13 divide g?
True
Suppose j - 28 = 5*m, 2*m - 7 = -1. Let c = j + -7. Does 20 divide c?
False
Let d(v) = 2*v**2 + v - 3. Let x be d(-3). Suppose x = -3*a + 3, 5*j - a = 93. Does 6 divide j?
True
Does 17 divide -2 - -2 - (-30 - 4)?
True
Suppose 250 + 192 = 13*n. Is 17 a factor of n?
True
Suppose 5*k - 4*r - 15 = 0, 0 = 3*k + r - 2 + 10. Let h be (-1)/((-64)/62 - k). Suppose -5*a + 59 = -h. Is 16 a factor of a?
False
Let a = 133 + -76. Does 19 divide a?
True
Let o = -109 + 157. Does 8 divide o?
True
Let v = 82 - 152. Let y = -49 - v. Does 21 divide y?
True
Let l(f) = -f**2 + 6*f - 3. Let t be l(3). Let y = t - -3. Is y a multiple of 5?
False
Let l(a) = a + 1. Let o be l(1). Let y be 2 - 1 - (-4)/o. Suppose 6*q - 153 = y*q. Is q a multiple of 18?
False
Suppose 0 = -4*s + s. Suppose s = -2*t - t + 6. Suppose 0 = -4*g + t*g + 106. Is g a multiple of 18?
False
Is ((-5)/((-10)/(-16)))/(-1) a multiple of 8?
True
Suppose -5*z + 675 = 5*n - 2*z, -2*n + 5*z + 239 = 0. Is 17 a factor of 1 + n/(-4)*-1?
True
Suppose 0 = -4*g + m + 25, -2*g + 24 = 2*m + 4. Let d(r) be the first derivative of r**2/2 + r - 2. Is 4 a factor of d(g)?
True
Suppose -5*c + 4*c = -3. Suppose 0 = -c*y + 216 - 0. Does 19 divide y?
False
Suppose -19 = -3*b + 8. Is b even?
False
Let p = -13 + -2. Suppose y + 102 = 4*f - 12, -5*f + 3*y = -139. Let r = p + f. Is 14 a factor of r?
True
Let c be 60/(-27) + 2/9. Let a be (c - 12/2)/(-2). Suppose a*k = 44 + 12. Does 8 divide k?
False
Let v = -19 - -21. Is v*11 + (0 - -3) a multiple of 10?
False
Suppose -112 = -11*l + 10*l. Suppose -c + 7*a = 3*a - 4, -5*c + l = 3*a. Is c a multiple of 13?
False
Let b(f) = -f**2 + f - 1. Let l be b(1). Let x(y) = -87*y - 1. Is 27 a factor of x(l)?
False
Let x = -1 - 2. Let t be (-8)/3*x/2. Suppose 2*a = -d + 24, 0*d - t*d = a - 12. Does 7 divide a?
False
Let o(f) = f**3 - 10*f**2 + 3*f - 17. Is 13 a factor of o(10)?
True
Let a = 81 + 3. Is a a multiple of 15?
False
Let s be 0 + (3 - -88) + -3. Suppose -4*b - 