(q) - z(q). Suppose -3*f = 2*f. Does 12 divide s(f)?
True
Suppose 3*j - 73 + 3 = -4*l, 0 = j + 3*l - 15. Is 10 a factor of j?
True
Let v be (-14)/4*-2 + -2. Suppose -5*n - 24 = -2*k, -k = -0*k + v*n - 27. Is k a multiple of 6?
False
Let o = 53 + -40. Does 2 divide o?
False
Suppose -p + 75 = 2*p. Does 2 divide p?
False
Let t(r) = r - 6. Let b be t(-8). Let s = 40 + b. Suppose -3*y = -5*i - s, -9 + 4 = -i. Is y a multiple of 7?
False
Let r = 11 - 7. Suppose 2*t + 4*i - 16 = -2*t, -2*t = -4*i + 16. Suppose -8 = -r*u - t. Is 2 a factor of u?
True
Is 7 a factor of ((-231)/55)/(1/(-5))?
True
Let g(m) = -m - 17. Let z be g(0). Let c = -10 - z. Does 4 divide c?
False
Let d = 69 - -44. Is d a multiple of 7?
False
Let v(a) = 3*a - 5*a**2 + 6 - 5*a**3 - a + 6*a**3. Does 14 divide v(6)?
False
Let x be (-180)/(-35) - 5 - (-264)/14. Let z = 0 - 3. Let s = x - z. Is s a multiple of 9?
False
Let n(p) = p**3 + 23*p**2 + 26*p - 11. Does 22 divide n(-21)?
False
Let b(c) = -20*c - 1. Suppose -6*o + 2*o = 4. Let m be b(o). Let l = 28 - m. Does 9 divide l?
True
Let x(w) = -10*w**3 + 2*w**2 - w. Is 10 a factor of x(-2)?
True
Suppose 5 = -o + 5*o + 3*z, 5*o + 3*z - 7 = 0. Suppose 4*x = o + 6. Suppose 0 = -h + x*h - 32. Does 16 divide h?
True
Suppose -13*f = -7*f - 96. Is 4 a factor of f?
True
Let r = 23 + -4. Let w = r + -13. Does 6 divide w?
True
Let l(h) be the second derivative of -h**5/20 + h**4/2 - 2*h**3/3 + h**2 + 3*h. Does 5 divide l(2)?
True
Let g = 28 - 12. Does 16 divide g?
True
Let w(n) = -n - 3. Suppose -33 = 3*t - 5*i + 13, 8 = t + 3*i. Let o be w(t). Suppose o*m = k - 14, -k - 4*m = -0*k - 14. Does 14 divide k?
True
Suppose 2*q - 3*w + 7*w + 216 = 0, -4*q + 3*w = 388. Is 10 a factor of q*(1 - (-7)/(-5))?
True
Let m = 3 + -1. Suppose 0 = -3*f + 5*u + 58, 24 = 4*f + m*u - 36. Suppose 0 = 3*q - p - 59, -2*q + f = 2*p - 10. Does 9 divide q?
True
Let h(i) = i**3 + 6*i**2 - 6*i + 7. Let b be h(-7). Suppose -5*w + 135 = -b. Does 9 divide w?
True
Suppose -2*r = 3*z - 59, -3*z + 0*z + 3 = 0. Is 14 a factor of r/3*(-3 - -6)?
True
Let a = 0 + 0. Suppose -3*h - 3*n + n + 52 = 0, -h - 4*n + 4 = a. Is 10 a factor of h?
True
Let z be 300/70 + 4/(-14). Suppose 0 = -z*f + 2*g + 88, 2*f = -3*f + 3*g + 109. Is 7 a factor of f?
False
Let f(u) = -u**3 - 4*u**2 - 2*u + 2. Let k be f(-2). Let z(x) be the second derivative of -7*x**3/2 - 3*x**2/2 - 4*x. Is z(k) a multiple of 13?
True
Suppose 44 = 7*y - 3*y. Suppose 0*d + y = 3*u - d, 2*u = 3*d - 2. Does 13 divide (-2)/u + (-102)/(-5)?
False
Let a be ((-21)/12 + -1)*-12. Let j be a + (-3)/(3*-1). Let z = 101 - j. Is z a multiple of 23?
False
Does 13 divide (-2 - 2) + 2 + 15?
True
Let m(l) = -125*l**3 - l**2 - l - 1. Does 14 divide m(-1)?
False
Let b(j) = -15*j. Let a be b(-1). Is (205/a)/((-2)/(-6)) a multiple of 14?
False
Let h(s) = s - 1. Let p be h(3). Suppose -2*o + p*l + 26 = -0*l, o + l = 21. Does 12 divide o?
False
Let r = -86 - -128. Let q be (-4)/20 + r/10. Let g = 1 + q. Does 5 divide g?
True
Is 10 a factor of ((-4473)/(-12))/7 + 6/8?
False
Let s = -193 - -288. Does 15 divide s?
False
Let y(u) = -9*u. Let i be y(8). Let k = -51 - i. Is 14 a factor of k?
False
Suppose 5*v - 483 = -3*x + 42, v + 903 = 5*x. Is 45 a factor of x?
True
Let o(i) = i**3 - i**2 - 12*i + 3. Let z(a) = a**3 - 13*a + 3. Let b(v) = 4*o(v) - 3*z(v). Is 10 a factor of b(6)?
False
Let b(c) = 124*c**2 - c - 1. Let q be b(-1). Let t = 4 - 1. Suppose -t*v + 5*d + q = 0, 0 = -v - 3*d - 15 + 61. Does 18 divide v?
False
Let i(y) = -3*y + 3. Is i(-11) a multiple of 9?
True
Let t(q) = q**2 + 1. Suppose 0 = v - 3. Is t(v) a multiple of 5?
True
Suppose j - 3 = -4, 3*j = 4*k + 9. Is 9 a factor of 110/(-15)*1*k?
False
Suppose 5*n + 4*x - 1602 = 0, 5*n = -2*x - 922 + 2528. Is n a multiple of 45?
False
Suppose 4*p - 10 = 10. Suppose p*k + 148 = 418. Is k a multiple of 30?
False
Let z be 140/(-30) - 2/6. Let p(w) = -4*w**2 + 4*w - w + 3*w**3 + 5 - 4*w**3. Is p(z) a multiple of 7?
False
Suppose -2*p = 4*s - 54, -4*p + 5*p - 30 = -3*s. Is p a multiple of 4?
False
Let z(g) = -g**2 - 7*g + 7. Let a be z(-8). Let b(r) = r - 11. Let k be b(9). Does 9 divide (2*a)/(k/27)?
True
Let g = -92 - -157. Is 13 a factor of g?
True
Suppose -q - 16 = -s + 20, -122 = -3*s - 4*q. Let v = -17 + s. Is v a multiple of 7?
True
Let d be -1 + 1 + (1 - -3). Suppose -2*p - 80 = -4*b, d*p - 38 = 3*b - 4*b. Is 11 a factor of b?
True
Let r = 36 - -80. Suppose -2*m + r = -70. Is 23 a factor of m?
False
Let o be (1/2)/((-2)/(-8)). Suppose o*b - 118 = -4*t, -t + 7*b = 3*b - 7. Is t a multiple of 12?
False
Suppose -4*o - 25 = o. Let q be (-7)/o - (-14)/(-35). Is 21 a factor of q/2 - (-363)/6?
False
Let h be (-27)/(-12) + (-2)/8. Let k(o) = 4*o**3 + o**2 - 3*o + 3. Is 13 a factor of k(h)?
False
Let c(h) = -h**3 + 8*h**2 + 1. Let n be c(8). Let b be ((-1)/(-2))/(n/66). Let k = -12 + b. Does 8 divide k?
False
Let h = -141 + 219. Does 26 divide h?
True
Let r = 128 - 76. Does 13 divide r?
True
Let x be (-2 + (-5)/(-3))*-12. Suppose q + 108 = 5*c, x*c + q - 84 = 3*q. Does 11 divide c?
True
Suppose -2*i + 5*m = -i - 7, 2*i + 2*m = 2. Suppose -5*k + 37 = -3*d + 112, i*d + k = 37. Does 17 divide d?
False
Suppose 0*m + 2*m - 112 = 0. Is m a multiple of 28?
True
Let u(y) = y**2 - 7*y. Let a be u(7). Suppose -5*n + 2*n = 3*q - 141, 5*n + 20 = a. Does 17 divide q?
True
Suppose -r + 44 = k, 3*r = -0*k + 2*k - 68. Is 20 a factor of k?
True
Let p(q) = 2*q**2 - 4*q - 14. Is 28 a factor of p(-7)?
True
Let s(c) = -c**2 + 10*c + 1. Suppose -y - 5*y + 42 = 0. Is 5 a factor of s(y)?
False
Is ((-85)/25)/((-3)/30) a multiple of 8?
False
Let w = 30 - -26. Is w a multiple of 14?
True
Let j(t) = 2*t + 2*t + 2 + 3*t - 1. Does 13 divide j(4)?
False
Suppose 4*i + 165 = -i. Let z = 52 + i. Is z a multiple of 8?
False
Let q(n) = -n**2 + 2*n + 1. Let i = 6 + -1. Let j be q(i). Does 10 divide (-340)/(-35) + (-4)/j?
True
Let m be (-4)/(-18) - (-4)/(-18). Suppose -u + 0 + 30 = m. Is 10 a factor of u?
True
Suppose 0 = 10*g - 14*g. Suppose g = -3*z + 44 + 4. Does 16 divide z?
True
Let b(a) = -2*a - 3. Let u be b(-2). Does 2 divide ((-3)/9)/(u/(-12))?
True
Let v = -111 + 303. Is v a multiple of 48?
True
Let o(q) = 8*q + 1. Is o(6) even?
False
Suppose -b + 412 = 3*b. Let h = b + -63. Does 20 divide h?
True
Let q = -65 - -218. Does 22 divide q?
False
Let n(a) = 7*a**2 + 10*a - 8. Is n(-7) a multiple of 12?
False
Suppose 4*z = -5*y, -5*z - 45 = -5*y - 0. Let o = -3 - z. Suppose -4*b = 2*u - 7*b - 69, -b = o*u - 73. Is u a multiple of 12?
True
Let t(q) = q**3 - 16*q**2 + 15*q - 10. Let p be t(15). Suppose 45 = a + 13. Let i = a + p. Does 10 divide i?
False
Is 6 a factor of (-205)/(-9) + -1 - (-10)/45?
False
Let c = 24 + -16. Does 4 divide c?
True
Suppose 5*n - 4 = 4*l + 41, 5*n - l = 30. Let r be 2 - (-3)/(n + -2). Suppose j + r = 8. Is 5 a factor of j?
True
Let j(z) = -z**3 - 8*z**2 + 11*z + 11. Let v be j(-9). Let u be v*(3/(-1) - -2). Let h = 15 + u. Is 13 a factor of h?
False
Suppose 5*m = 3*c - 29, -m - 6 = -c + 1. Let b be m*3/(-6) + 5. Is 18/b*(2 - -5) a multiple of 18?
True
Let v(d) = -8 + 8 - d**3 - 2*d - 1. Is v(-1) a multiple of 2?
True
Let g(m) = m + 14. Let s be g(-10). Let x(t) = 2 - 2*t + 2*t**2 + 0*t - 3. Is 20 a factor of x(s)?
False
Suppose -p + 5*i = -26, 3*p - p - 52 = -5*i. Is p a multiple of 15?
False
Let x = 63 - 29. Suppose 0 = -3*a - 2*u + 2 + 70, 0 = -a - 4*u + x. Is 11 a factor of a?
True
Let i = 10 + -16. Let m be ((-9)/i)/(3/8). Suppose -m*a + 2*w + 86 = 0, 0*a + 3*w = 4*a - 83. Is 8 a factor of a?
False
Let y(p) be the third derivative of p**5/60 - p**4/4 + p**3/2 + p**2. Let k be y(5). Is 13 a factor of 2*1 - 13*k?
False
Suppose 5 = -5*p + 15. Suppose 10 + 4 = -p*b - 3*j, b + 18 = 4*j. Let g = b + 31. Is g a multiple of 8?
False
Suppose -10 = -2*p - 0. Suppose -4 = 2*m - j + 3, -p = 5*j. Is 4 a factor of m/18 - 303/(-27)?
False
Let q = 85 + 23. Does 31 divide q?
False
Is 11 a factor of 14/(-21) - 388/(-6)?
False
Let p = -28 + 48. Let c = p + -4. Let s = -10 + c. Is s a multiple of 3?
True
Suppose -3*r = 3*d, 4*d + 3*r + 1 + 0 = 0. Let i be 117/(-12) + (-2)/8. Let s = d - i. Is s a multiple of 9?
True
Let x = 0 + 3. Suppose -m + x*m - 16 = 0. Is m a multiple of 5?
False
Let n be (-6)/15 - (-4)/10. Let s(i)