 a factor of o?
False
Suppose -4*o = r + r - 102, -4*o = 4*r - 104. Let p be 3 - (-2 - -2 - -20). Is 2 a factor of p/(-5) + (-10)/o?
False
Let b(t) = 8*t. Is b(3) a multiple of 8?
True
Let x(h) = 4*h**3 - h. Let s be x(1). Suppose s*a - 22 = a. Is 5 a factor of a?
False
Let n = 62 - 22. Does 13 divide n?
False
Suppose 2*x - 5*k - 122 = 81, -2*k = 2*x - 224. Is x a multiple of 21?
False
Suppose -24 + 75 = 3*c. Let d = 41 - c. Is 8 a factor of d?
True
Let x(v) = -v**3 - 8*v**2 - 7*v + 7. Let s(p) = 9 - p**2 - 3*p + 3*p - 7. Let f be s(3). Is x(f) even?
False
Suppose 4*i - 235 = 5*l, l = 5*i + 91 - 411. Let o = i - 108. Let v = 61 + o. Does 9 divide v?
True
Suppose w + 2*g + 5 = -0*w, -5*g + 26 = -w. Let v = w - -44. Is v a multiple of 11?
True
Let g = -60 - -130. Is g a multiple of 14?
True
Let b(j) = 2*j**3 + 6*j**2 + 9*j - 7. Let p be b(-9). Is 4/(-14) - p/35 a multiple of 9?
False
Let m be (-3)/(-12)*0 - -13. Is 2*m*(-8 + 10) a multiple of 17?
False
Let w(v) = -4*v**3 + 3*v**2 + 10*v - 17. Let g(m) = m**3 - m**2 - 3*m + 6. Let a be (-7)/(-3) + 4/(-12). Let u(l) = a*w(l) + 7*g(l). Is 4 a factor of u(0)?
True
Let k = -4 + 10. Let p be (-10)/(-2) - (-4 + k). Suppose 0 = 2*v, 3*v = p*q - 43 - 41. Is q a multiple of 14?
True
Let j(t) = 26*t**2 + 2. Let y be j(-2). Suppose -4*z - 14 = y. Let o = z + 54. Is 8 a factor of o?
True
Suppose 4*t - 3*s - 21 = 0, -2*t + 0*s + 3*s = -9. Is 3 a factor of t?
True
Suppose 0 = -p + 4*p - 3. Let v = -1 + p. Let i = v - -3. Is 2 a factor of i?
False
Let t(p) = p**2 + 7*p - 2. Is 12 a factor of t(6)?
False
Let u be ((-7)/7)/((-2)/22). Suppose u = 3*t - 37. Does 6 divide t?
False
Suppose -4*c + 2 = -6. Let d(a) = 3 - c + 7*a - 3*a**2 + 5*a**2. Is d(-5) a multiple of 8?
True
Let y = 1 - -1. Suppose 0 = -4*u + y*x + 20, 3*u - 21 = 3*x. Suppose 0 = -u*o - 0*o + 63. Does 14 divide o?
False
Suppose -4*o + 3*o + 11 = 0. Suppose 1 = 2*i - o. Does 3 divide i?
True
Let s(g) = -g**3 + 12*g**2 - 4*g - 1. Is s(9) a multiple of 29?
False
Let z = 170 - 115. Is 11 a factor of z?
True
Let d(y) = 2 - 8*y - 3 + 5 - y**2. Does 15 divide d(-5)?
False
Let f(s) = s**3 + 5*s**2 + 3*s + 2. Suppose w = -5*z - 3 - 1, 0 = 3*w + 3*z - 36. Suppose -5*p = -p + w. Is 3 a factor of f(p)?
True
Let g be (-3)/(-3) - (-4)/1. Suppose -g*s + 2*s + 48 = 0. Does 7 divide s?
False
Let k(n) = 5*n**2 + 6*n + 6. Let v be k(-4). Let o = v - 15. Is o a multiple of 23?
False
Let d(g) = g**3 - 2*g**2 + g - 5. Suppose 3*i = 8 + 4. Is d(i) a multiple of 21?
False
Suppose -3*a + 344 = -a. Is 43 a factor of a?
True
Let t(k) = -2*k - 1. Let p be t(-8). Let r = -10 + p. Suppose v + 4*u = -3*v + 48, r*v - 2*u = 74. Does 7 divide v?
True
Let z be ((-3)/(-6))/((-2)/4). Let h(p) = p - 6. Let b be h(9). Let l = z + b. Is 2 a factor of l?
True
Let c(y) = 6*y**2 + 447 + 4*y + y**3 - 447. Is c(-5) a multiple of 5?
True
Suppose 5*z - 3*p - 419 = 0, -2*z - 2*p = -5*p - 164. Is z a multiple of 33?
False
Suppose -z = 2*f + 5, 3*z - 24 = 4*f + 1. Suppose 0 = d - z*d - 18. Is 18/(-4)*6/d a multiple of 2?
False
Let q = -3 + 13. Suppose b - q = -0*b. Does 10 divide b?
True
Let z be (-78)/(-4)*2/(-3). Is 11 a factor of 6/(-3) + z/(-1)?
True
Let n = -29 + 42. Is n a multiple of 7?
False
Suppose -5*y = -5*k - 440, -5*y + 27 = -2*k - 398. Is y a multiple of 9?
False
Let p(s) = -s**2 - 17*s - 20. Let d = -36 - -22. Does 10 divide p(d)?
False
Let o = -15 - -23. Is 4 a factor of o?
True
Let s be 0 - (1 + -3 + 0). Suppose s*j - 159 = -5*z, z + 3 - 30 = -2*j. Is 11 a factor of z?
True
Suppose -2*y = 2*y. Let j(k) = -1 + y*k - 2*k - 3*k. Is j(-2) a multiple of 9?
True
Suppose -3*v - v - 8 = 0. Is (-3 - 1 - v)*-4 a multiple of 8?
True
Let m(y) = y**3 - 9*y**2 + y - 9. Let g be m(9). Suppose 5*b - 98 - 122 = g. Is 14 a factor of b?
False
Suppose -339 = -5*v - 89. Let t = -12 + v. Is t a multiple of 15?
False
Let o = 2 + -5. Let m(l) = -l + 5. Let n be m(4). Is 10 a factor of (-16)/o*(n - -2)?
False
Let s = -89 + 164. Does 12 divide s?
False
Let q(j) be the first derivative of -j**2/2 + 15*j - 41. Let i be (0 - 14/(-6))*3. Is q(i) a multiple of 4?
True
Suppose 0 = 2*t + 8, 5*i - i = -t + 536. Suppose i = 9*k - 6*k. Is 9 a factor of k?
True
Suppose 4*l - 6 = -4*i + 6, i - 1 = l. Suppose 5*q + i*w + w + 2 = 0, 3*w = -4*q - 4. Is 8 a factor of (q/3)/(12/558)?
False
Let i(y) be the first derivative of -y**4/4 - y**3/3 - y**2 - y - 1. Let d be i(-4). Suppose -d = -5*w + 5*z + 55, w = -4*z + 22. Does 11 divide w?
True
Let b be (-6)/36 - 47/6. Let z(d) = -d**2 - 9*d + 1. Is z(b) a multiple of 4?
False
Let x = -79 + 172. Is 31 a factor of x?
True
Let t be 58 - -2*3/(-3). Suppose 0*s = -s + t. Is s a multiple of 17?
False
Suppose 4*v - 1 = -9. Let l(q) = -3*q**3 - 2*q**2 - 2*q - 2. Is 6 a factor of l(v)?
True
Is 12 a factor of 4/18 + (-5 - 583/(-9))?
True
Let h(i) = -2*i**2 + 9*i - 8. Let b(p) = 5*p**2 - 19*p + 16. Let l(m) = 3*b(m) + 7*h(m). Let u be l(-7). Is 5 a factor of (-4)/(12/15)*u?
True
Let t = -2 - 0. Let w be t/1 - (-8 + 4). Suppose -3*u + 30 = 3*k, -3*k + w = -4*u - 14. Is 6 a factor of k?
False
Suppose -8 + 5 = -m. Suppose -39 = -r + 5*c, 3*c + 104 = m*r + c. Is r a multiple of 15?
False
Suppose -1 = -4*z + 15. Suppose z*k = k + 18. Does 6 divide k?
True
Suppose 0 = 5*j + 7*n - 3*n + 50, -j + 3*n + 9 = 0. Let t = j + 16. Does 10 divide t?
True
Suppose 0 = -o + 2*k + 20, 3*o + 2*k - 23 = 13. Is o a multiple of 2?
True
Let a(g) = 6*g**3 + g**2 - g. Suppose 4*j - 4*i = -8, -4 = -3*i + 5. Let o be a(j). Is 4 a factor of (-3)/o*-14 - 2?
False
Let g(d) be the second derivative of 6*d**3 - d**2/2 - d. Is g(1) a multiple of 16?
False
Let r(w) = 4*w - 15. Does 13 divide r(7)?
True
Suppose -2*t - 3*t + 8 = -3*b, 5*t + 3*b = 2. Does 14 divide -86*(-3)/6 - t?
True
Suppose -h = -2*d + 49 + 12, -3*d = h - 79. Suppose 0 = 2*r + 2*r + d. Let j(t) = -2*t + 4. Is j(r) a multiple of 9?
True
Let x(w) = -w**3 + 18*w**2 - 34*w + 17. Is x(15) a multiple of 7?
True
Let c(r) = r + 4. Let s be c(-6). Does 10 divide -25*(s - 6/(-5))?
True
Suppose 4*l - 4*a = 564, -l = 3*l - a - 573. Is l a multiple of 24?
True
Let z(m) = -m**3 + 30*m**2 + 2*m + 11. Is z(30) a multiple of 22?
False
Let j(p) = -p**2 + 13*p - 13. Does 23 divide j(9)?
True
Suppose -3*d + 7 = 4*w, -5*w + 4*d = -46 + 14. Is w even?
True
Let k = 11 + 25. Is 12 a factor of k?
True
Suppose -2*b + 12 = 2*b. Let p = 5 + b. Is 7 a factor of p?
False
Let y be (-35)/(-3) - 2/3. Suppose -2*o + 47 - y = 0. Is (-6)/o - 139/(-3) a multiple of 16?
False
Suppose -2*s = -28 + 2. Suppose 5*n - s - 27 = 0. Does 8 divide n?
True
Let s(p) = 9*p**3 + p**2 - p. Suppose q + 1 - 2 = 0. Is 9 a factor of s(q)?
True
Let z(r) = 21*r**2. Is z(1) a multiple of 19?
False
Let s be ((1 - 1) + 0)/(-1). Let t be (-2)/(-1 + s) - 1. Does 8 divide (-20)/(-2)*2*t?
False
Let x = 9 - 4. Suppose x*z + 0 = 10. Suppose 5*v - 3*u - 110 = 0, v - 13 = -z*u - 4. Does 19 divide v?
True
Let n be (-4 + -2)/((-3)/2). Let g be 2/7 - (-580)/28. Does 5 divide 342/g + n/(-14)?
False
Suppose 0 = -0*s - 4*s - 5*q + 177, -5*q = -25. Is s a multiple of 17?
False
Is 4 a factor of (78/7)/(4/28)?
False
Let h = 135 + -63. Is h a multiple of 12?
True
Let t = 5 + 2. Let u be t*(-2 + (-16)/(-7)). Does 7 divide 12 - (u - (-1 - -2))?
False
Let r = -29 - -273. Is r a multiple of 15?
False
Let s(c) = 9*c**2 + 12*c + 2. Is s(4) a multiple of 15?
False
Suppose 108 = -b - b. Does 5 divide b/(-8) + (-2)/(-8)?
False
Let r = -2 - -5. Suppose -5*s = 4*i - r, -4*s + i = -0*i - 15. Suppose 4*u - 27 = -s*h, h + 2*u - 31 = -4*h. Is h a multiple of 2?
False
Let k(j) be the second derivative of -27*j**5/10 - j**4/12 - j**3/3 - j**2/2 - j. Let s be 1/(0/(6 - 3) - 1). Is k(s) a multiple of 27?
True
Let w(l) = -22*l. Let z be w(3). Let y = -38 - z. Suppose 32 + y = 3*i. Is i a multiple of 9?
False
Suppose -h - d = -76, 0 = -d - d + 8. Is h a multiple of 12?
True
Let v(o) = o**3 + o**2 + 2*o + 123. Does 17 divide v(0)?
False
Is (-570)/9*(4 + (-26)/5) a multiple of 19?
True
Let n(b) = b**2 + 4*b. Let g be n(-4). Suppose -i + 44 = -g*i. Suppose i = 5*h + 4*k, 5*h - 7 = -2*k + 45. Does 12 divide h?
True
Suppose -70*o + 260 = -65*o. Is 10 a factor of o?
False
Let q be 3/9 - (-16)/(-3). Let m be ((-12)/(-10))/(-3)*q. Suppose -m*n = 4*k - 16, -