 5*n, 9 = -2*o - 2*n + q. Does 7 divide o?
False
Suppose -k = -5*k. Let c = -8 + 11. Suppose k*s - 54 = -c*s. Is s a multiple of 18?
True
Let r be 1 - (0/4 + 2). Let k(l) = 58*l**2 + 4*l. Let s(u) = -57*u**2 - 3*u. Let m(h) = -4*k(h) - 5*s(h). Is 19 a factor of m(r)?
False
Let g be (-2)/(-13) - 5704/(-104). Suppose g = 3*l - 62. Is 13 a factor of l?
True
Let m be -2*34*(-1)/4. Suppose -m = -l + 15. Is 26 a factor of l?
False
Is 6 a factor of (4 + -6)*-36 + 1?
False
Is 6 a factor of 1 + 26 + -3*(4 + -3)?
True
Let v = -9 - 27. Let m be (-1 - -3) + 1 - v. Suppose 0 = -3*q + 5*x - m + 138, -4*q + 132 = -3*x. Does 11 divide q?
True
Does 39 divide 86/(6/(-9) - 7/(-6))?
False
Let v = 6 - -30. Is 18 a factor of v?
True
Suppose -5*n + 25 = 0, u + 4*n = -u + 140. Is u a multiple of 20?
True
Let d be 7*13/((-364)/(-960)). Suppose -4*j - j + d = 0. Is 16 a factor of j?
True
Let c(u) = -3*u + 50. Is c(0) a multiple of 25?
True
Suppose -2*f = -3*w + 1, 5 = -2*f + 6*f + w. Let q be (-75)/(-2)*(-4)/(-3). Suppose f + q = 3*r. Is 11 a factor of r?
False
Suppose -3*n = -4*w - 37, 0 = 5*n + 5*w - 90 - 30. Does 5 divide n?
False
Suppose -20 - 13 = -2*n + 5*w, 3*n - 5*w = 37. Suppose 2*i - n*r - 64 = 0, i - 63 = -i + 5*r. Does 14 divide i?
False
Let w = 312 - 222. Suppose -4*p + w = p. Suppose -2*n + 2*b = 0, 2*b = 2*n + 6*b - p. Is 2 a factor of n?
False
Suppose 3*m - 130 = 5*x, -4*m = -2*m + x - 65. Suppose 2*b + 2*c = 36, 5*b - m - 51 = -4*c. Does 14 divide b?
True
Let n(c) = 4*c**2 + 4*c. Is n(4) a multiple of 10?
True
Let c be 3 + (0 - 1) - -60. Suppose -4*r + 18 - 6 = 2*x, 0 = 4*r - 8. Suppose c = k + x. Is k a multiple of 24?
False
Let g be (24/20)/((-1)/10). Let d = 16 - g. Is d a multiple of 11?
False
Suppose 102 = -3*k + 4*k. Is k a multiple of 21?
False
Let s = 12 - 8. Let c = -93 + 155. Suppose 72 = 4*n - s*d, 5*d + c = 4*n - n. Is n a multiple of 14?
True
Let z = 2 - 2. Let o(b) = -6 + b**3 + 0*b - 5*b + 4*b**2 + z*b. Does 14 divide o(-4)?
True
Let h = 6 - 2. Suppose -2*t + t + h = 0. Suppose t*i + 36 = 3*l, -2*l + 5*i = 10 - 41. Is 4 a factor of l?
True
Let p = -20 + 39. Is 19 a factor of p?
True
Let o = 8 - 6. Suppose -o*f - f = 6. Let u = 10 - f. Does 12 divide u?
True
Let o = -3 - -6. Let c(u) be the third derivative of u**6/120 - u**5/20 + u**4/8 - u**3/3 + u**2. Is 3 a factor of c(o)?
False
Let g = -27 + -19. Let s = g + 67. Is s a multiple of 7?
True
Does 13 divide 195/(-6)*-3*(-6)/(-15)?
True
Suppose -3*r + 2*x - 10 = -2*x, 0 = -x + 4. Is 7 a factor of 2 - r*-4*1?
False
Let t be (-8)/(-4*1 - -2). Let c(x) = 6*x**2 + x + 2. Let w be c(t). Suppose 4*b = w - 42. Is 15 a factor of b?
True
Suppose 2*d = d. Suppose d = -3*j - j. Suppose j = -3*p + 13 + 26. Is p a multiple of 13?
True
Suppose 5*r - 2*r - w = 20, -3*w = 5*r - 10. Suppose -3*i - r + 2 = 0. Let j = 2 - i. Is j even?
False
Let y(s) = -12*s**2 + s - 10*s + s**3 + 4*s**2. Let v be y(9). Suppose 2*b - 56 - 14 = v. Is b a multiple of 16?
False
Let t = -126 + 159. Is t a multiple of 3?
True
Let z(k) = -6*k + 22. Does 18 divide z(-8)?
False
Let o = 5 + -3. Suppose 3*p - p - 4 = 0. Suppose -p = -o*y + 10. Does 6 divide y?
True
Let t(c) = 5*c**2 + c - 2. Let v be t(-4). Suppose 3*s - z = v, -2*s - 3*s - 3*z + 100 = 0. Is s a multiple of 9?
False
Is (-3)/((1/5)/(-1)) a multiple of 4?
False
Suppose -6 = -3*i + 21. Is 9 a factor of i?
True
Let n(y) = y**2 - 5. Let c be n(4). Suppose 0*h - c = -h. Is 11 a factor of h?
True
Let y(c) = c**2 - 2*c + 1. Let o be y(3). Suppose -o*l - 28 = -4*u, -5*u - 2*l = -0*l. Is 10 a factor of (-172)/(-5) - u/5?
False
Suppose 0 = 3*d - 0*d - 15. Suppose 12 = d*t + 2. Suppose -17 = -t*u + 3*c, 2*u = 5*u - 3*c - 21. Is u a multiple of 2?
True
Let b be 7/2 + (-3)/2. Suppose -2*l = 7*q - 2*q - 77, 2*q - 26 = -b*l. Is q a multiple of 16?
False
Let h be 3/((-3)/(-4))*6. Suppose -2*v + h = -0*v. Does 6 divide v?
True
Let q be 153/21 + (-4)/14. Suppose -12 = -q*t + 6*t. Is t a multiple of 6?
True
Let w = 5 + -2. Suppose -w*z + 10 = -8*z. Let q = 17 - z. Is q a multiple of 6?
False
Let z(c) = c**2 + 3*c + 6. Is z(-6) a multiple of 12?
True
Let l(m) = -3*m - 2. Suppose -2*z - 18 = 2*b, 2*b - 4*b - z = 20. Does 10 divide l(b)?
False
Suppose o = 5*n + 5, 2*o + 3*n = -o - 3. Suppose -6 = -2*a - o*a. Does 11 divide (a/(-3) - 1) + 35?
True
Let j(y) = 4*y. Let n(w) = -11*w. Let l(x) = -10*j(x) - 4*n(x). Let o be l(1). Suppose 2*u - o*u + 52 = 0. Is u a multiple of 15?
False
Is 5 a factor of (2/(-3))/((-1)/30)?
True
Let a(u) = u**3 - 1. Let v(m) = 2*m**3 + 3*m**2 + m - 7. Let c(l) = 3*a(l) - v(l). Suppose 19 = 3*y - 2*g, -5*y + g - 1 = -28. Is 17 a factor of c(y)?
False
Suppose 4*q - 366 = -154. Suppose 3*i - 7 = q. Does 6 divide i?
False
Let i = 3 + 22. Suppose -2*t - 2*t + 5*n = -45, -5*n = i. Suppose 5*w - 10 = 0, -t*r + 47 = -w - 21. Is r a multiple of 9?
False
Suppose s - 3*s = f - 285, -424 = -3*s + 2*f. Does 21 divide s?
False
Suppose -66 = -f - f. Suppose 3*a - f = 3. Is a a multiple of 6?
True
Let q(y) = -y**3 - 5*y**2 - 2*y - 1. Let b be q(-3). Let z(n) = -n**2 - n - 3. Let a be z(-6). Let t = b - a. Is 10 a factor of t?
True
Let n(q) = 3*q**2 + 6*q + 4. Let g be n(-4). Let r be 8/g - 2/7. Is (r + 4/(-3))*-12 a multiple of 16?
True
Is 12/16 + 802/8 a multiple of 19?
False
Suppose -7*x - 3 = -8*x. Suppose 0*r + 48 = 3*r - 4*a, r - 16 = x*a. Is r a multiple of 8?
True
Is 3 a factor of (-480)/(-50) + 3*(-2)/10?
True
Let k = -10 + 15. Is 2 a factor of k?
False
Let p(b) = 8*b**2 - 15*b**3 - b**2 + 14*b**3 - 2. Let j be p(7). Is 13 a factor of (-291)/(-15) + j/5?
False
Suppose -6*m = -11*m + 10. Suppose -105 = -7*z + m*z. Is 7 a factor of z?
True
Is 1476/60 - 3/5 a multiple of 4?
True
Let n be (1 - -3)*3/4. Suppose 4*i + 26 = 8*i - 2*a, 4*i - n*a = 25. Does 6 divide i?
False
Is 30/135 + 194/18 a multiple of 9?
False
Let c(j) = -2*j**3 - 6*j**2 + 4*j - 5. Let z be c(-5). Suppose -3*v + 6*v = z. Is 15 a factor of v?
False
Let v(x) = -x - 18. Let q be v(-10). Let b = -8 - q. Suppose -3*w + 49 + 29 = b. Does 12 divide w?
False
Let h be (-4)/(-6)*(-30)/4. Is (3/5)/(h/(-225)) a multiple of 9?
True
Suppose -11*x = -1250 - 598. Does 28 divide x?
True
Let f(i) = 3*i + 4*i + 1 + i**3 - 6*i - 2*i**2. Let u be f(2). Is (u/2)/(3/28) a multiple of 5?
False
Let s(g) = 10*g**3 - g**2. Let z be s(1). Suppose -4*d = -d + z. Is 18 a factor of (-2)/d*(-54)/(-2)?
True
Let a(t) = -3*t - 5. Let y be a(-4). Suppose -2*j + 27 = -y. Is j a multiple of 17?
True
Let k(v) = -v - 1. Let u(n) = -3*n + 7. Let j be u(5). Does 5 divide k(j)?
False
Suppose -5*i - 2 = 2*h, -11 = -h + 2*i - 3. Does 4 divide h?
True
Let c(q) be the second derivative of -q**4/12 + q**3 - 3*q**2 - 3*q. Is c(4) a multiple of 2?
True
Suppose 0*c + 2*c - 8 = 0, -b = c - 13. Is b a multiple of 6?
False
Let p = 4 - 2. Suppose -p*a + a = -24. Is a a multiple of 12?
True
Let q be (2 + (-39)/6)*2. Let j = q - -21. Does 3 divide ((-7)/(-14))/(1/j)?
True
Let x be 3*(-68)/18*-6. Suppose 2*r - x = -0. Does 15 divide r?
False
Suppose 10 = -2*r, -21 = -4*d - r + 2*r. Let o(w) = w**3 + 4*w + 4 - 1 + 0*w**3 - 5 - w**2. Does 21 divide o(d)?
False
Suppose 5*k + 4*d - 169 = 84, 0 = -5*k - 2*d + 259. Is 11 a factor of k?
False
Suppose 0 = -5*k - 4*c + 66, -4*c - 47 = -3*k + c. Suppose 39 = 5*b + k. Does 2 divide b?
False
Let b = 28 - -20. Does 8 divide b?
True
Let z = -20 - -12. Let y = z - -13. Is y a multiple of 2?
False
Let r(j) = j**2 + 7*j - 3. Does 9 divide r(-10)?
True
Let w(c) = -2*c**3 - 11*c**2 - 7*c - 6. Is 24 a factor of w(-6)?
True
Let n(x) = -x**3 - 18*x**2 - 4*x - 21. Does 17 divide n(-18)?
True
Suppose -2 = h + 1. Let n(z) = 4*z**2 + z + 1. Does 17 divide n(h)?
True
Let j(u) = -u + 3. Let l be j(3). Suppose l = -0*t - 4*t. Suppose n = -h, t*n + n = h + 8. Does 2 divide n?
True
Suppose -5*f + 174 + 189 = -4*c, 4*c = 3*f - 213. Is f a multiple of 25?
True
Let a(f) = -f**3 - 6*f**2 + 8*f + 7. Let k be a(-7). Suppose 2*p = 8 - k. Is 4 a factor of p?
True
Let j = -66 - -119. Suppose 0 = -4*y + b + j, -5*y + 3*b + 56 = -19. Suppose -2*k + 4*q + q + 8 = 0, 2*k = 4*q + y. Does 11 divide k?
False
Suppose -3*g + 50 = t, -3*t - 1 - 2 = 0. Let c = g - -22. Is c a multiple of 13?
True
Suppose -2*f - 2*h = -3*h - 57, -f - h + 33 = 0. Is 6 a factor o