 of a?
True
Let y(o) = o**2 - o + 6. Let i be y(5). Suppose -3*d + 12 = 3*s, 3*d + 0*d - i = 4*s. Is 3 a factor of d?
True
Let t(o) = -8*o + 4. Suppose -4*i + 0*i = 20. Let s be t(i). Suppose 2*r = 2*g - 3*r - s, 3*g - 66 = -4*r. Does 22 divide g?
True
Let x(y) = -y**2 + 10*y. Let j = -17 - -25. Is 16 a factor of x(j)?
True
Suppose 0 = -v + 2*v. Suppose -182 = 2*k - 4*k + 4*b, v = -3*k - 3*b + 264. Is k a multiple of 31?
False
Suppose 4*q = 0, -5*q - 64 = -2*b - q. Is b a multiple of 9?
False
Let m(t) = -t**3 - 10*t**2 - 16*t + 24. Is m(-8) a multiple of 10?
False
Suppose t = 3*x - 10, 6*x + 5*t - 30 = x. Is x even?
True
Suppose -3*p + 3 + 33 = 0. Is p a multiple of 3?
True
Suppose 28 = -0*m + 4*m + 4*k, 0 = -4*m + 5*k + 19. Is 3 a factor of m?
True
Suppose -4*m + 3*m = 0. Suppose m - 52 = -z. Is z a multiple of 21?
False
Suppose 0 = -u + 2*u - 35. Suppose -2*s - 2 = 2*m - 20, 5*m - 5*s = u. Is 2 a factor of (-5 + 2)/((-6)/m)?
True
Does 27 divide (-1)/(2 - (-446)/(-222)) + -3?
True
Let i(y) = 4*y - 1. Let x be (-3)/6*4*-2. Let j be ((-1)/(-4))/(x/32). Does 7 divide i(j)?
True
Suppose -2*p = -0 - 4. Suppose -m = -4*y + 4*m + 19, -p*m = -2*y + 10. Is y a multiple of 6?
True
Suppose k - 4*g = g + 24, -5*k + 28 = -2*g. Suppose h + 30 = -k*h. Let d(l) = -l**2 - 10*l - 4. Does 10 divide d(h)?
True
Let u(z) = 24*z - 1. Let m(d) = -d**3 + 5*d**2 + 7*d - 4. Let c be m(6). Does 17 divide u(c)?
False
Is (-18)/(-3) + 251 - 4 a multiple of 11?
True
Suppose 10 = -3*f - 35. Does 9 divide 6/f - (-1274)/35?
True
Let m be (0 + 1)/((-2)/(-14)). Suppose 8 = -3*i + m*i. Suppose p = -i*p + 36. Is p a multiple of 12?
True
Suppose -v + 28 + 9 = 0. Suppose 3*k - v = -4. Does 3 divide k?
False
Let o be (88/32)/(1/(-4)). Let y(v) = v**3 + 11*v**2 - 2*v + 5. Is 10 a factor of y(o)?
False
Let p(m) = -2*m**2 - 5*m + 1. Let v be p(-5). Let t = v + 37. Is 8 a factor of t?
False
Suppose -f + 101 = -4*p, -145 = 6*p - p + 5*f. Let n = -9 - p. Is n a multiple of 9?
False
Let o = -16 - -22. Let d(r) = -r + 5. Let u be d(o). Let f = u - -4. Does 3 divide f?
True
Let b(d) = 26*d**3 - d**2 + 1. Let m = 0 + 1. Is b(m) a multiple of 13?
True
Let b be 1 + (1 - 3)/2. Suppose b = -3*c + 2*c + 2*a + 2, 0 = -2*c - 2*a + 4. Suppose c*q + q - 2*y - 17 = 0, y = -2*q + 16. Does 3 divide q?
False
Suppose -2*u + 3*o + 20 = -1, 4*u = -o + 21. Let i = u - -6. Suppose 4*b - i = b. Does 4 divide b?
True
Let l(z) be the first derivative of 2 + 7*z + 4*z**2 + 1/3*z**3. Is 7 a factor of l(-8)?
True
Suppose -2*f + 60 = 4*f. Is f a multiple of 7?
False
Let r = 12 + -2. Is r a multiple of 5?
True
Let i(c) be the first derivative of c**2/2 - 8*c - 1. Let x be i(10). Suppose -w - 20 = -x*w. Is w a multiple of 10?
True
Let j(k) = -k**3 + 8*k**2 - 5*k + 6. Let m(l) = l - 9. Let d be m(7). Let q be (5 + 2)/(d + 3). Does 10 divide j(q)?
True
Suppose 0 = 5*i - 3*p + 42 - 2, 5*i + 50 = 5*p. Let y(x) = -x - 5 + 1 + 2 - 9*x. Does 15 divide y(i)?
False
Suppose 2*q + 16 = -2*q. Is 9 a factor of (q + 6)*(-18)/(-4)?
True
Let z(u) = 29*u**2 - u - 1. Let y be (0 + 1)*2 + -3. Is 21 a factor of z(y)?
False
Is (-4)/(16/(-233)) + 2/(-8) a multiple of 21?
False
Let s be (-1*(3 + -2))/(-1). Let t(x) = 22*x**3 - 2*x + 1. Let n be t(s). Suppose -4*p + 5*r = -n, 0*r + 11 = 4*p + 5*r. Is 2 a factor of p?
True
Suppose 3*y - 17 - 25 = 0. Suppose -2*p + y = -6. Is 4 a factor of p?
False
Let y be 16/6*27/(-12). Is 12 a factor of (-90)/(-8) - y/8?
True
Let y(u) be the third derivative of 0 - 1/6*u**3 - 1/6*u**4 + u**2 + 0*u. Is 15 a factor of y(-4)?
True
Let j be 4/3 - 3/9. Let y be j/(-3*1/(-27)). Suppose -2*d + 14 = 2*c, y + 4 = 3*c - d. Is 2 a factor of c?
False
Suppose g = 5*g + 8. Does 9 divide 20 - 2/(-1 - g)?
True
Let l = 2 + -2. Let o(j) = j - 14. Let d be o(l). Let n = d + 20. Does 4 divide n?
False
Let w = -6 + 8. Suppose -w*x + 45 = x. Suppose -4*v + 13 = -x. Does 4 divide v?
False
Let f(v) = v - 5. Let z be f(5). Suppose g - 4*y + 10 = z, 0*y - 3*y = 3*g + 15. Is 7 a factor of (7/3)/((-1)/g)?
True
Let w(z) = 8*z**3 - 4*z**2 + 5*z - 5. Is 16 a factor of w(2)?
False
Let n = 6 - 31. Is (-10)/n - 156/(-10) a multiple of 8?
True
Let w(j) = -5*j - 1. Let p(q) = -q - 2. Let g be p(-1). Let z be w(g). Suppose i = z*i - 102. Is 17 a factor of i?
True
Suppose 52 = 2*o - 44. Let n = -29 + o. Suppose -n - 33 = -4*x. Is x a multiple of 13?
True
Let t = 36 - 456. Let v = -285 - t. Suppose -5*m = -0*m - v. Does 11 divide m?
False
Suppose -58 - 17 = -5*b. Does 5 divide b?
True
Suppose t - 2*t - 1 = 0. Is 6 a factor of 13 + t*(2 + 0)?
False
Let w(p) = -p + 8. Suppose a - 16 = -a. Let u be w(a). Is u - -1 - (-9)/3 a multiple of 4?
True
Let p(z) = z**3 + z**2 - 3*z - 1. Let h be p(-2). Let t be -2 + (0/2 - h). Let b(q) = -7*q - 3. Is 6 a factor of b(t)?
True
Let v(r) = -22*r + 45. Is 22 a factor of v(-5)?
False
Let k be 1008/(-12)*2/(-2). Suppose 6*w - k = 12. Is 4 a factor of w?
True
Suppose 2*y + 160 = -y - 2*t, -3*y + 2*t = 152. Let p = y - -104. Is 29 a factor of p?
False
Is ((-1908)/45)/(6/(-15)) a multiple of 53?
True
Let b(s) be the first derivative of -s**2/2 + s + 2. Does 7 divide b(-6)?
True
Let y be (-30)/(-5)*(-2)/(-3). Let k be 2/4*(-1 + 1). Suppose y*w - 40 = -k. Is 10 a factor of w?
True
Suppose 4*q - 4 = 12. Let j be ((-26)/q)/(1/(-10)). Let w = -33 + j. Does 13 divide w?
False
Suppose -4*d = -229 - 63. Let u = d + -36. Is 17 a factor of u?
False
Suppose 3*d - 139 = 2*d. Suppose -3*m + d = -2*w - 186, w = -m + 100. Is m a multiple of 23?
False
Suppose 2 = 2*o - 2. Suppose 0 = i + o, -4*w + w - 3*i = -24. Is 10 a factor of w?
True
Let q(a) = 8*a - 96. Is q(24) a multiple of 10?
False
Let r(v) = v**2 - 2*v - 1. Let q be r(3). Suppose 4*w = -4, l - q*w = -0*l + 6. Does 4 divide l?
True
Let t(o) = 5*o**3 - o**2 - 3*o + 2. Does 7 divide t(2)?
False
Let y(z) = -z + 64. Let q be y(0). Suppose 0 = -3*n - n - j + 143, -2*n + 2*j = -q. Does 19 divide n?
False
Suppose 2*p + 40 = 3*o - 121, 0 = -4*o - 3*p + 209. Let l = -24 + o. Does 9 divide l?
False
Let o(i) = i**2 - 9*i + 4. Let z(m) = -m. Let q(u) = o(u) - 5*z(u). Is q(6) a multiple of 16?
True
Let u(q) = -26*q - 3. Suppose -6 + 0 = 3*a. Is 19 a factor of u(a)?
False
Let l(g) be the first derivative of g**4/2 - g**3 + 3*g**2/2 - g + 1. Let a be 6/(-14) - 72/(-21). Is 14 a factor of l(a)?
False
Suppose -5*k = -2*k - 2*i, 0 = 2*k + 4*i - 16. Suppose -3*j = 3*t - 48, 2*t + k = j + 22. Is 12 a factor of t?
True
Let s = 6 + -10. Let f = -87 - -77. Does 6 divide (-84)/f - s/(-10)?
False
Let o be 3*(-3 - (2 + -7)). Suppose o = 2*a - a. Is (16/(-5))/(a/(-60)) a multiple of 11?
False
Let p(j) be the second derivative of j**4/8 + j**2 - j. Let m(t) be the first derivative of p(t). Is 9 a factor of m(6)?
True
Let h = 2 - 4. Is 4 a factor of 22/4 - (-1)/h?
False
Let a(q) be the second derivative of -q**5/20 - q**4 - 7*q**3/3 + 4*q**2 - 4*q. Let g be a(-11). Let w = g - 29. Is w a multiple of 6?
True
Let a = -150 - -212. Does 11 divide a?
False
Suppose 0*o + 60 = 3*o. Does 10 divide o?
True
Let t(o) be the second derivative of -o**5/20 - o**4/6 - o**3/3 - o**2/2 + 3*o. Is t(-3) a multiple of 14?
True
Let y(p) = 4*p**2 + 10*p + 2. Let i(m) = m**2 + m. Let u(a) = 5*i(a) - y(a). Suppose -4*h - 3 = -5*h - 5*b, -3*h + 28 = -4*b. Is u(h) a multiple of 11?
True
Let l(a) be the second derivative of -7*a**3/6 + a**2 + 4*a. Does 13 divide l(-2)?
False
Suppose -53 = -o - 11. Does 13 divide o?
False
Let d(j) = -2*j + 4. Let u be d(-6). Let l = -10 + u. Is 3 a factor of l?
True
Suppose -u = 3*u. Let d = 25 + u. Is d a multiple of 16?
False
Let r(z) = z**2 + 8*z + 7. Let m be r(-6). Let d(s) = s**3 + 7*s**2 + 6*s + 3. Is 6 a factor of d(m)?
False
Let q be 28/3 - 4/(-6). Let g be (q/(-8))/(2/(-8)). Suppose x = -m - x, g*m - 27 = -x. Is m a multiple of 2?
True
Let w = 1281 + -477. Does 17 divide w/15 - (-6)/15?
False
Let y(b) be the third derivative of -b**5/40 - b**4/24 + b**3/3 + b**2. Let u(n) be the first derivative of y(n). Is 3 a factor of u(-3)?
False
Let l be (24/(-28))/(1/(-7)). Is 11 a factor of (-69)/(-2) - l/(-4)?
False
Suppose d - 5*g - 200 = 0, d = -d + 3*g + 421. Is 10 a factor of d?
False
Suppose -3*o + 5*o = 0. Suppose -n + 18 + 61 = o. Does 22 divide n?
False
Suppose 4*h + 2*u + 90 = 0, h +