e of 1/12*v**4 + 3*v**2 + 0*v**5 + 0*v - 31/120*v**6 + 1/6*v**3 + 0. Is 17 a factor of g(-1)?
False
Suppose 0*b - 5*b + 15 = 0. Suppose -33 = -4*k + 3*p, k + b*k - 43 = p. Does 6 divide k?
True
Let m be ((-7)/(-14))/(1/(-3))*18. Let h be -50 + -1 + (1 - -1). Let b = m - h. Does 22 divide b?
True
Let a be ((-588)/8)/((-2)/(-8)). Is (a/3)/(-3 + 1) a multiple of 20?
False
Suppose 0*u = 2*u - 5*b - 20, u + b = -4. Suppose -5*d - 5 = u, 5*g - d + 2*d = 4. Is 2 a factor of -2*(-1 - g - -1)?
True
Let p = 0 - -2. Let d(i) = i**3 + 3*i**2 - 3*i. Let u be d(p). Is 4/u - (-26)/7 a multiple of 2?
True
Suppose -i = -2*i + 2. Let d = -4 + i. Let h(t) = 2*t**2 - 2*t - 1. Is 9 a factor of h(d)?
False
Suppose -7*c + 4*c = -9. Suppose c + 17 = 4*q. Is (16/q)/(1/10) a multiple of 13?
False
Let j = 12 + 7. Suppose -x + j = 3*i, 4*x - 4*i = -8 + 20. Is 4 a factor of x?
False
Suppose -4*p + 30 = -p + 2*v, -4*v - 30 = -3*p. Is 4 a factor of p?
False
Suppose -12 = -5*b - 2. Let m(p) = p**3 - 4*p**2 + 3*p. Let x be m(b). Is 10 a factor of (x - (2 + -3)) + 11?
True
Suppose 7*k - 150 = 4*k. Is 17 a factor of k?
False
Suppose 0 = 7*j - 118 - 372. Does 14 divide j?
True
Let g = -80 - -113. Is g a multiple of 33?
True
Let c(d) = -d**3 + 4*d**2 - 2. Let z be c(4). Let n be (-20)/(-4) - (-4)/z. Suppose 0 = 5*f - 4*s - 77, -2*f - 2*s = -n*s - 32. Is f a multiple of 6?
False
Let y(x) = -x**2 - 11*x - 5. Is 13 a factor of y(-9)?
True
Let h(j) = j**2 - 5*j + 10. Does 4 divide h(5)?
False
Let n(a) = 3*a**2 + a + 2. Let f be n(-4). Let d = 70 - f. Is 9 a factor of d*(1 + 2/(-8))?
True
Suppose 3*q = -3*f - 126, -f + 0*q = -2*q + 45. Let t = f + 91. Suppose -5*p - i + 31 + 41 = 0, 0 = -3*p + i + t. Is p a multiple of 15?
True
Let x(s) = -7 - 7*s - 8*s**2 - 2*s**3 - 3*s + s**3. Does 14 divide x(-7)?
True
Suppose -m + 6 = 2*q, -2*m + 4 = -0*q + 2*q. Let n(b) = 2*b**3 - 5*b**2 + 4. Let d be n(q). Suppose -3*i + 54 = 5*c, 4*i - 20 - d = 4*c. Is 10 a factor of i?
False
Let u(r) = -2 - 5*r**2 - 2*r + 0 + 3 - r**3 + 3. Let q be u(-5). Is 23 a factor of (-4)/q + (-1548)/(-28)?
False
Let c = -110 + 185. Does 5 divide c?
True
Is 11 a factor of (-2)/(-10) - 436/(-20)?
True
Let i = 10 + -5. Suppose 10 = w - 5*p, i*w - 3*p - 15 = 13. Suppose -28 = -5*y - o + 10, -18 = -y + w*o. Is y a multiple of 4?
True
Let f(m) = -1. Let j(k) = -7*k - 10. Let s(d) = -6*f(d) + j(d). Is s(-4) a multiple of 8?
True
Let p = -14 + 14. Suppose 5*w - 9 - 51 = p. Is 7 a factor of w?
False
Let c(a) = 2*a**2 - 5*a + 1. Let o(g) = -11*g**2 - 29*g. Let p(l) = 2*l**2 + 5*l. Let w(t) = -6*o(t) - 34*p(t). Let z(r) = -2*c(r) - 3*w(r). Does 2 divide z(2)?
True
Let t be 2*2/(12/255). Suppose i - 21 = -2*k, -4*k - k = -4*i - t. Does 13 divide k?
True
Let h(t) = t + 4. Let y = -7 - -5. Let d be h(y). Suppose -q - 20 = 3*q, r + 2*q + d = 0. Is r a multiple of 4?
True
Suppose 3*v = -v + 8. Suppose 0 = c + v*c - 6. Let n = c - -5. Does 7 divide n?
True
Let o = 152 + -121. Is o a multiple of 4?
False
Let t(p) = 2*p**2 - 5*p + 5. Let r(l) = 1. Let v(q) = -r(q) + t(q). Let j be v(3). Suppose -u = -5*b - 29, -2*u - 5*b + j + 6 = 0. Is u a multiple of 14?
True
Let y be ((-10)/6)/(-5)*6. Let x be y*1/4*-6. Does 8 divide (19 - (5 - 3)) + x?
False
Let v(c) = 4 + 2 - 4*c - 5 + 5*c. Let i be v(-1). Does 3 divide i + 7 + 0/(-4)?
False
Let a be 9/6 + (-15)/(-2). Suppose -v + h + 49 = -0, -12 = 3*h. Let i = v - a. Is i a multiple of 12?
True
Let w = -5 - -81. Suppose a + 3*a = w. Does 7 divide a?
False
Let m(a) = 16*a**3 - a**2 - 9*a - 4. Is m(3) a multiple of 53?
False
Let h(v) = 40*v**3 + v**2 - 1. Suppose 3*o = -4*g - 17, 2*g = -3*o - g - 12. Does 20 divide h(o)?
True
Suppose -w = w - 3*g - 599, 3*w + 5*g - 927 = 0. Is 16 a factor of w?
True
Let i = -1 + 26. Does 12 divide i?
False
Let r(g) = -g**3 + 12*g**2 - 5*g + 8. Does 26 divide r(9)?
False
Let y(v) = v**2 - 7*v. Let u be y(8). Suppose u*i - 40 = 3*i. Is 14 a factor of 0 - i*21/(-6)?
True
Let b(o) = 0*o - o - 2 - 1 - 6*o. Let l be b(-2). Let p(s) = 2*s - 14. Does 3 divide p(l)?
False
Suppose 96 = -5*l + 276. Is 18 a factor of l?
True
Does 14 divide 1*98 + 0/(3 - 5)?
True
Is ((-8)/(-2))/(2/26) a multiple of 13?
True
Suppose -k + 3*k = 0. Suppose k = 3*a - 2 - 4. Does 2 divide a?
True
Let u be 2/3 + (-1468)/(-12). Suppose -2*m + 141 = -s - 4*s, s = -2*m + u. Is m a multiple of 15?
False
Let r = -7 - -12. Suppose -98 = 3*y - r*y. Is 10 a factor of y?
False
Let q(k) = -k**3 + 7*k**2 - 6*k + 2. Let y be q(6). Suppose -21 = y*s - s. Let i = s - -60. Is i a multiple of 14?
False
Let h = 13 - 23. Let u = 29 + h. Is 19 a factor of u?
True
Suppose -32 + 5 = -3*a. Let z = 18 + -10. Suppose 54 = -z*w + a*w. Does 18 divide w?
True
Let m = -4 - -64. Is m a multiple of 10?
True
Let c(k) = -k**3 + 3*k**2 + 4*k + 4. Suppose 4*r + 36 = 4*v, v - 15 = 4*r + 9. Let g be c(v). Suppose -2*x = -8, -34 = -3*f + g*x - 5*x. Is f a multiple of 10?
True
Let g be (18/(-8))/(21/(-56)). Let c = 6 - g. Suppose 4*y - 20 = 0, -i - 2*y + 71 - 29 = c. Does 16 divide i?
True
Let h(g) = g**3 + 3*g**2 + g. Let a be h(-2). Suppose 6*k = a*k + y + 141, -4*y - 190 = -5*k. Suppose 0 = x - 3*x + k. Is x a multiple of 17?
True
Let x(m) = -3*m - 2 - m**2 - 2 - 1 - 5*m. Suppose 5*c + 10 = -20. Does 7 divide x(c)?
True
Let z(s) = -13*s - 4. Suppose q + 4 = 4*v, -4*q - 4*v - 19 = -3. Is z(q) a multiple of 16?
True
Let d = -175 - -277. Is 29 a factor of d?
False
Does 27 divide (-6)/24 + 434/8?
True
Let q(r) = r**2 - 6*r + 2. Let y be q(5). Does 10 divide (20/y)/(2/(-6))?
True
Let d(f) = 16*f - 6. Is 14 a factor of d(3)?
True
Suppose -4*w + 50 = -290. Suppose 9*y - w = 4*y. Is y a multiple of 17?
True
Let u(d) = -39*d - 8. Is 8 a factor of u(-6)?
False
Is (3/(-6))/(1/(-66)) a multiple of 16?
False
Let n be 0 - 0 - (-6)/3. Suppose n*q + 3 = 13. Suppose 3*g - 4*g + 10 = -5*c, 0 = -2*g - 5*c + q. Does 5 divide g?
True
Let b(s) = 8*s - 3. Let f(q) = 7*q - 3. Let u(a) = -2*b(a) + 3*f(a). Let w(z) = -z - 1. Let k be w(-3). Is 3 a factor of u(k)?
False
Let p(l) = -l**3 - 2. Let z be p(-2). Let t = z - -22. Does 15 divide t?
False
Let u be -2 + 1 + 0 - -84. Suppose d + 0*d = u. Suppose m + 99 = 6*m - b, -3*b = 5*m - d. Is 12 a factor of m?
False
Suppose 2*r - 8 = -0. Suppose -2*v - 5*q = 2*v - 23, r*v - 31 = 3*q. Does 7 divide v?
True
Is 2/13 + 776/26 + -6 a multiple of 4?
True
Let f be 21/(-12) - (-12)/16. Let x be (-3)/(-3) + 3*1. Is 3/(0 - f/x) a multiple of 12?
True
Let c = 2 - -3. Let q be ((-2)/(-6))/(11/165). Suppose -2*h = -5*h - 2*z + 7, -c*h + 45 = -q*z. Is 5 a factor of h?
True
Does 2 divide 160/26 + -6 - 193/(-13)?
False
Suppose 6*y - 4*b = 5*y + 14, 3*b - 27 = -3*y. Let t(m) = -m**2 + 10*m. Let v be t(y). Suppose v = 4*k - 0*k - 24. Is 5 a factor of k?
False
Let w = 44 + 9. Is w a multiple of 14?
False
Let s = 0 - -3. Suppose 4*v + 76 = s*d - 66, -4*v = d - 58. Let q = d + -19. Is 10 a factor of q?
False
Let r = 735 + -507. Is r a multiple of 12?
True
Let p(d) = 8*d**2 - 5*d. Is p(2) a multiple of 11?
True
Let y = 2 - -2. Suppose 28 = y*i - 8*i. Is 11 a factor of i/((-7)/20) + 2?
True
Let n be 7 + -5 + (0 - 1). Suppose 3*s - 5*d + 5 = 0, d + n = -3*s + 2*d. Suppose s*h - 36 = -h. Is 18 a factor of h?
True
Suppose 0*b + 3*b = 129. Suppose 5*c + b - 5 = a, 0 = -4*a + 5*c + 122. Suppose -5*z - f + 25 = -0, -2*z + a = 4*f. Is z even?
True
Let d(m) = -8*m. Let w(g) = -15*g - 1. Let i(z) = 11*d(z) - 6*w(z). Does 13 divide i(11)?
False
Let t(h) = h**2 - 1. Let d be t(1). Suppose d*m - 22 = -m. Is m a multiple of 22?
True
Suppose 0 = 2*b - 3*b + 8. Is b a multiple of 8?
True
Let p = -7 + 16. Suppose 6*k = p*k - 84. Does 5 divide k?
False
Let r be 8/20 + 4/(-10). Let y(s) = -s + 2. Let i be y(r). Is (-12 + i)/(1/(-4)) a multiple of 11?
False
Suppose -2*y = v + 57, 3*y + 0*v - 3*v = -99. Suppose 1 - 57 = -f. Let h = y + f. Is 12 a factor of h?
False
Suppose n - 22 - 40 = 0. Does 13 divide n?
False
Let x(k) = -3*k**3 + 13*k**2 + 3*k + 11. Let v(f) = 2*f**3 - 12*f**2 - 2*f - 11. Let n(r) = -4*v(r) - 3*x(r). Is 10 a factor of n(-9)?
True
Suppose -12 = -b - b. Suppose n = b*n + 20. Does 8 divide (1 + n)/(2/(-8))?
False
Let z(a) = 5*a + 0*a + 2 + 1. Let o be z(-2). Is 2 - (-4)/(-1) - o even?
False
Let r(i) = -i**3 + 7*i**2 + 3*i + 9. Let t be 