7*o - 774 = o. Is 13 a factor of o?
False
Let a(s) = 2*s**2 + 31*s + 16. Let p(c) = -c**2 - 16*c - 8. Let n(o) = -3*a(o) - 5*p(o). Let x be n(-12). Suppose -x*u + 19 - 7 = 0. Is u a multiple of 3?
True
Let s(a) be the third derivative of -4*a**6/15 + a**5/60 + a**4/24 + a**2. Let g be s(-1). Is 6/(-30) - g/(-10) a multiple of 2?
False
Is 4 a factor of ((-4)/6)/((-4)/24)?
True
Let k be 8*3*2/12. Does 23 divide ((-12)/(-18))/(k/138)?
True
Let w = 6 + -2. Let x be -3*w/6 + 18. Suppose -3*r = -64 + x. Is r a multiple of 16?
True
Let u be 0/2 + -1 - -3. Let z be u/(-4) - (-662)/4. Suppose z = -0*f + 5*f. Does 16 divide f?
False
Let n be (-10)/(-1) - 4/4. Suppose 115 = 4*a + f, 29 = -4*f + n. Does 11 divide a?
False
Suppose 0*a - 185 = -5*a. Is 16 a factor of a?
False
Let w(u) = -2*u + 4. Let j be w(3). Let d = 2 - j. Suppose -16 = -d*s + y - 3, 5*y - 11 = s. Is 4 a factor of s?
True
Let q(m) = m**2. Suppose -5*z - 25 = 5*y, 6*z - 1 = 3*y + 2*z. Let n be q(y). Suppose -3 = -a + n. Does 6 divide a?
True
Let x = 69 - 43. Let j = x + -18. Suppose -4*i = -j*i + 48. Does 8 divide i?
False
Does 9 divide -558*6/(-45) + (-6)/(-10)?
False
Let y = -6 - -5. Let t be 4/y + (0 - -3). Is (t/2)/((-1)/10) even?
False
Suppose -3*a + 4*l = 26, 0 = 5*a - l + 5*l + 22. Is 6 a factor of (-22)/a*6/2?
False
Let j(r) = -3 - 10*r - 4*r**2 + 3*r**2 + r. Let o = -20 + 14. Is 15 a factor of j(o)?
True
Suppose 3 = v + 2*q - 10, -4*v - q + 17 = 0. Is 3 a factor of v?
True
Suppose -3*v - 43 = -2*a - 0*v, -3*v + 25 = 2*a. Let r = a - -10. Is 8 a factor of r?
False
Suppose 74 = 5*l - 106. Is 12 a factor of l?
True
Let k = 16 - 5. Is k a multiple of 4?
False
Let c(k) = -k**2 - 10*k - 9. Let h be c(-10). Let p = h + 15. Is 6 a factor of p?
True
Is (-105)/14*1/(-6)*8 a multiple of 10?
True
Suppose 0 = 5*h + 3*z - 543, h - 2*h = 5*z - 91. Suppose 336 - h = 5*t. Is 12 a factor of t?
False
Let a = -9 - -53. Does 20 divide a?
False
Let n(c) = c + 5. Let l(g) = 4*g + 14. Let v(z) = 3*l(z) - 8*n(z). Is 13 a factor of v(6)?
True
Suppose -v = -3*d + 2*v + 48, -5*d - 4*v + 62 = 0. Is 8 a factor of d?
False
Let x(p) = p + 6. Let c = -8 - -2. Let o be x(c). Is 7 a factor of (-2 - -1) + 15 + o?
True
Let r = -1 - -8. Let s = 23 - r. Is 11 a factor of s?
False
Suppose 0 = -2*j + 62 - 4. Is (j - (3 - 1)) + 1 a multiple of 14?
True
Suppose 2*b - 178 = 10. Let i = b - 57. Does 13 divide i?
False
Suppose -6 = -2*n - 28. Does 8 divide n*((-1)/(-1) + -2)?
False
Let o(d) = -d**3 + 2*d**2 + 4*d. Let q be o(3). Let z(b) = 2*b**2 + 4. Let u be z(q). Suppose -2*x + 12 = -u. Is x a multiple of 9?
False
Let r be (-2)/((-8)/20)*1. Suppose 73 + 37 = r*a. Is 22 a factor of a?
True
Suppose 12 = -0*w + 4*w. Let r be ((-2)/(-4))/(w/(-12)). Is 11 a factor of r/(-6) - 300/(-18)?
False
Let g(v) = 5*v + 6. Let a be g(-8). Let k = a + 47. Is 13 a factor of k?
True
Suppose 4 = -0*u + 2*u. Suppose 0 = -u*f - 0*f + 46. Is f a multiple of 14?
False
Let y(u) = -u**3 + 5*u**2 - 6*u + 4. Let b(h) = -h**3 - 1. Let q(c) = -2*b(c) + y(c). Does 3 divide q(-6)?
True
Let x = -48 - -64. Does 16 divide x?
True
Let s = 12 - 6. Let q be (-58)/(1/((-3)/s)). Let k = q + -18. Does 9 divide k?
False
Let u(y) = 2*y - 2. Is u(10) even?
True
Let c = 238 + -160. Suppose 111 + c = 3*k. Is k a multiple of 21?
True
Let g(n) = -n**3 - 3*n**2 + 7*n + 5. Is 6 a factor of g(-5)?
False
Let a = -22 - -46. Is 8 a factor of a?
True
Let g(v) = 2*v**2 + 3*v + 3. Let r be g(-2). Suppose -2*w = -r*w + 54. Does 6 divide w?
True
Let p(c) = 2*c**2 + 41*c. Is 3 a factor of p(-21)?
True
Suppose 0 = 3*x - 545 + 89. Is x a multiple of 8?
True
Suppose -5*p - 603 = -2*p. Let q = -92 - p. Is 35 a factor of q?
False
Let y(r) = -r**3 - 14*r**2 - 15*r - 13. Does 9 divide y(-13)?
False
Let x(t) = -2*t**3 - 7*t**2 - 5*t + 9. Does 5 divide x(-4)?
True
Let y(m) = m + 2. Let p be y(0). Is 5 a factor of 0 - p/((-6)/51)?
False
Suppose -5*q - 4*z = -220, 2*q = -0*q - z + 88. Is 11 a factor of q?
True
Suppose 3*y - 9 = -0. Let b(k) = k + 2. Let g be b(y). Suppose -q + 6 = -g. Is q a multiple of 11?
True
Let b(g) = g**2 + 5*g - 4*g - 3*g. Let t be b(7). Is (t/4)/(3/12) a multiple of 20?
False
Let d(t) = 6*t**2 - 2*t + 4. Does 16 divide d(-4)?
False
Suppose -g + 6*g = 10. Suppose l + 5*f - g = 0, 5*l - 5 = -2*f + 5. Suppose -l*t + 5*t - 12 = 0. Is t a multiple of 4?
True
Let h be 7*(1 - 0/2). Let f = -4 + h. Suppose -4*d = -f*d - 4. Does 3 divide d?
False
Suppose 7*u - 804 = -153. Is u a multiple of 14?
False
Does 46 divide (11568/(-28))/(-3) - 2/(-7)?
True
Let b(d) = -d**3 + 12*d**2 - 14*d + 9. Let j be b(11). Let r = 63 + j. Is r a multiple of 10?
False
Suppose 10*x - 538 = 312. Is 17 a factor of x?
True
Let y(z) be the second derivative of z**4/12 + z**3 + 5*z**2 + 7*z. Is y(-8) a multiple of 9?
False
Let b = 0 - -2. Suppose -b*k = k + 36. Let r = k + 28. Does 9 divide r?
False
Let r(u) = u**3 + 3*u**2 - 5*u - 5. Does 34 divide r(5)?
True
Suppose -5*f - q + 122 = 0, -2*q = 2 + 4. Is 10 a factor of f?
False
Let v(o) = -3*o**3 - 3*o**2 - 6*o - 6. Does 25 divide v(-3)?
False
Let l be 1 + 3/(-2)*50. Let q = l + 234. Suppose 5*g = -0*g + q. Is 16 a factor of g?
True
Suppose 0 = -5*m - 48 + 13. Let t(w) = w**3 + 7*w**2 - 5*w - 7. Is t(m) a multiple of 28?
True
Let a(u) = -u - 1. Suppose -3 = -m, -m = -5*i + 2*i - 21. Let w be a(i). Let c = w - -1. Is c a multiple of 3?
True
Suppose -10 = -4*h - 2. Suppose -4*t + h*w = -90, -3*w - 57 + 164 = 5*t. Is 22 a factor of t?
True
Suppose -2 = -f - 0, 0 = a - f - 4. Let g(s) = -a + 4*s + 0 + 2. Is 7 a factor of g(6)?
False
Is 14 a factor of (7/5)/(1/10)?
True
Suppose -87 - 8 = 5*y + 3*d, d = -3*y - 53. Is 6 a factor of y/(-48) + (-56)/(-3)?
False
Let s = 28 - 21. Does 2 divide s?
False
Let p(a) = -a - 8. Let g be p(-5). Let x(b) = -14*b + 10. Does 26 divide x(g)?
True
Suppose -2*z + 141 = z. Let t = -26 + z. Does 7 divide t?
True
Suppose 0 = -4*i - 4. Let h = i - -47. Suppose h = 2*c - 0*c. Is 10 a factor of c?
False
Let f = 6 + -3. Suppose 4*s - f*s = 32. Is s a multiple of 15?
False
Suppose -4*u - s = -131, 3*u - 4*s - 41 = 81. Is 13 a factor of u?
False
Let u = 9 - 5. Suppose u*v - 44 = -b, 2*b + b + v = 88. Does 17 divide b?
False
Let m be 12/7 + 4/14. Suppose -m*b = b + 15. Is 13 a factor of (2/5)/(b/(-400))?
False
Suppose -4*l = j - 61, -271 + 696 = 5*j - 4*l. Suppose -15 = 3*i - j. Is i a multiple of 11?
True
Is ((-2)/4)/(6/(-576)) a multiple of 24?
True
Let b(i) = -i**2 - i. Let k(r) = -r**2 + r. Let x be k(2). Let y(o) = -3*o**2 - 10*o + 5. Let c(d) = x*b(d) + y(d). Does 10 divide c(-5)?
True
Is (-4)/(-3)*6/1 a multiple of 4?
True
Let v(y) be the first derivative of -y**4/4 + y**3/3 + y + 3. Let w(o) = 8*o**3 - 6*o**2 + 2*o - 5. Let m(s) = 4*v(s) + w(s). Does 18 divide m(2)?
False
Suppose -3*g = -58 - 86. Is g a multiple of 8?
True
Let r be (21 - 2)*2/(-2). Let x = 0 + 8. Does 5 divide 4/x + r/(-2)?
True
Let h(d) = 4 - d + 2 + d**2 - 4*d. Is h(-6) a multiple of 27?
False
Suppose 5*t + 16 = 4*t. Let u = t + 23. Suppose -b = -u + 1. Is b even?
True
Let d(w) be the third derivative of w**6/120 + 7*w**5/60 + w**4/8 - 2*w**3/3 + w**2. Let r be d(-5). Let b = r - 15. Is 16 a factor of b?
True
Let t(v) = -6*v**2 + 7*v**2 + 0*v**2 - 8. Does 3 divide t(4)?
False
Suppose -5*u + 5*y - 10 = 0, 2 = -3*u - 2*u + 3*y. Suppose 3*k + b - u*b + 2 = 0, -2*k + 2 = b. Suppose k*l = l - 33. Does 13 divide l?
False
Let k be 76/18 - 4/18. Suppose -4*d = -11 + 3. Is 3 a factor of 1*(k - d) - -2?
False
Suppose 5*r - 21 = -1. Suppose r*i + i - 195 = 0. Does 9 divide i?
False
Suppose -22 = -v - 2*d + d, 5*v = 5*d + 70. Is 3 a factor of v?
True
Let b = -92 + 112. Is 2 a factor of b?
True
Let c = 3 - 3. Suppose c = 3*x + 4*p - 23, 5*x + 4*p = p + 42. Is 6 a factor of x?
False
Let w = 2 + 1. Suppose -192 = -v - w*v. Is v a multiple of 16?
True
Let o(l) = -5*l**3 - 2*l**2 - l + 2. Let i(q) = 26*q**3 + 10*q**2 + 4*q - 11. Let p(j) = 2*i(j) + 11*o(j). Let w = -86 + 84. Does 8 divide p(w)?
False
Suppose 0 = -5*h + 5 + 5. Suppose 2*x - h - 6 = 0. Suppose x*r - 3*u = 54, -2 = -r - u - 4*u. Does 12 divide r?
True
Let b(j) = 2*j**2 + 3*j. Let s be b(-2). Is 13 a factor of 1/(s + -3)*-42?
False
Let w(g) = g**2 - 7*g + 4. Let z be w(3). Let d = z - -40. Is 13 a factor of d?