t k = 4 + g. Let q(d) = -4*d**3 - d**2 - d. Is q(k) even?
True
Suppose 3*g - 4*v + 8 = 5*g, 0 = -4*g + 5*v + 68. Let k = -6 + g. Let y = -3 + k. Does 3 divide y?
True
Suppose -2*a - 48 = -d, -186 = -4*d + 4*a + a. Is 11 a factor of d?
True
Suppose 4*i = -20, -5*l + 401 = -2*i - 9. Is 8 a factor of l?
True
Let s(h) = 27*h - 28. Is s(6) a multiple of 11?
False
Let x(b) = b**3 - 14*b**2 + b - 11. Suppose -75 + 19 = -4*v. Let k be x(v). Does 10 divide -5*(-5 + (3 - k))?
False
Suppose 5*h + 189 + 46 = 0. Let z = h + 23. Let n = z + 63. Does 15 divide n?
False
Let o = 8 - 5. Suppose -11 + 41 = o*s. Suppose 0 = -s*b + 5*b + 95. Does 19 divide b?
True
Let n be 1 - 4 - 2*-3. Suppose -3*z = -3*b + b + 33, -b = -n*z - 18. Suppose 0 = -2*i - i + b. Is i even?
False
Suppose -8*w = -21 - 275. Does 19 divide w?
False
Is (5/15)/((-1)/(-177)) a multiple of 14?
False
Let o(q) = 17*q**2 - 3*q + 3. Let a be o(2). Let x be (6/3 - 0) + a. Let w = -43 + x. Does 12 divide w?
True
Suppose 650 = -2*p - 3*p. Let s = -46 - p. Is s a multiple of 27?
False
Let f = -90 + -20. Does 8 divide (-172)/(-22) + (-20)/f?
True
Let f be 7 + (3/3 - 2). Suppose 3*h - 3*c = -0*h + 18, -4*c - 20 = 0. Suppose -f = -j + h. Does 7 divide j?
True
Let y = 76 + -32. Let j be 99 + 2/(1 + 1). Let a = j - y. Does 19 divide a?
False
Suppose 114 = 5*c + 9. Does 21 divide c?
True
Suppose -24*a = -16 - 680. Is 29 a factor of a?
True
Suppose -4 = -2*w + 4. Suppose -3*s + 19 - w = 0. Does 2 divide s?
False
Suppose -7*a + 3*a + 384 = 0. Is 12 a factor of a?
True
Let i = 7 - 5. Suppose 3*w + 2*w = -4*f + 93, i*w - 4*f - 26 = 0. Is 17 a factor of w?
True
Let r be 410/4*(3 - 1). Let u = -137 + r. Is 17 a factor of u?
True
Suppose 4*f + 6 = -c, -10 = -2*c + 4*f + 2. Let u(g) = 4*g**2 - 3*g. Is 7 a factor of u(c)?
False
Let f(n) = 36*n**3 + 2*n**2 + 3*n + 1. Let p be (-24)/10 - (-2)/5. Let h be f(p). Is (-2)/(-8) + h/(-12) a multiple of 12?
True
Let w(s) be the third derivative of -s**6/240 + s**5/20 + s**4/8 + s**2. Let i(v) be the second derivative of w(v). Does 18 divide i(-5)?
False
Let a be (0*(-1)/2)/(-1). Suppose k + 2*q - 47 + 7 = 0, a = 5*q - 5. Is 13 a factor of k?
False
Is (-458)/(-14) - 24/(-84) a multiple of 9?
False
Let a(k) = 2*k**2 + 8*k + 7. Let w = -18 - -13. Is 9 a factor of a(w)?
False
Let z = -30 + 52. Is 11 a factor of z?
True
Let z = -1 + 3. Suppose z*t - 7 = 3. Suppose 2*c - 2 = 8, 0 = -t*u - 5*c + 45. Is 4 a factor of u?
True
Suppose -3*b + 2*y = 2*b - 7, b - 2*y = -5. Suppose -l - 2*l = -9, -b*n + 15 = -3*l. Is 8 a factor of n?
True
Let t(h) be the first derivative of 3/2*h**2 - 2 - 9*h. Is 10 a factor of t(8)?
False
Let a(b) = -17 - 3*b + 18 + 20*b**2 + 4*b. Does 16 divide a(-2)?
False
Let s(v) = 2*v + 8. Let u be s(-6). Let p = 23 + u. Is 9 a factor of p?
False
Let p = 15 - -18. Suppose 5*f - p = -8. Is 5 a factor of f?
True
Let d be (-3)/(-1 - 0) - 0. Let k(c) be the third derivative of c**6/60 - c**5/30 - 5*c**4/24 + c**3/2 - 4*c**2. Is 12 a factor of k(d)?
True
Let p be (6/(-4))/(9/(-24)). Let x = 10 - p. Is x even?
True
Let l(v) = 91*v**2 + 2*v + 1. Let y be l(-1). Let a be 1/(-4) + (-294)/(-56). Suppose 4*r - r = z + 54, a*r + z - y = 0. Is 10 a factor of r?
False
Suppose -2 = x + 3*t + 1, 4 = 4*x - 4*t. Suppose x*o - 2*o + 102 = 0. Is 17 a factor of o?
True
Let y be (3/2)/((-10)/(-20)). Suppose s = y*n + 2 + 7, 5*n = -5*s + 65. Does 12 divide s?
True
Suppose 2*o = -0*o + 2. Suppose 0 = -5*t - 4 - o, 0 = -2*f + t + 145. Is f a multiple of 24?
True
Let v(o) = o**3 - 2*o**2 + o. Let p be v(1). Suppose p = 4*t - k - 34, -3*t + 0*t = 5*k - 14. Let w = -3 + t. Is 2 a factor of w?
False
Let o(z) = -9*z - 2. Let s be o(-4). Let t = s - -17. Does 17 divide t?
True
Let x(d) = -d + 14. Is x(-24) a multiple of 9?
False
Let p(s) = -s**3 + 12*s**2 - 6*s - 23. Is 15 a factor of p(11)?
False
Suppose -12 = 3*b, 3*b = -0*z - 2*z - 6. Let m = z + -8. Let x = 10 + m. Is 2 a factor of x?
False
Let h = -20 - -30. Let x = h + 16. Does 13 divide x?
True
Suppose 3*c = 4*u + c - 250, -105 = -2*u - 3*c. Suppose -p + u = -4*p. Is 13 a factor of 2/(38/p - -2)?
False
Let f be (-2 - -1)/(3/3). Is 7 a factor of -1 + 2 + 7 + f?
True
Is (3 + (-20)/8)/(3/882) a multiple of 7?
True
Suppose 5*z - 5*m = 10, -3*m + 19 = 5*z + m. Suppose z*u + 127 = 4*s, 42 = s + 5*u - 7. Does 29 divide s?
False
Suppose -4*t + 7 = 5*p, 5*t - 2*p + 2 = 19. Is 2 a factor of t?
False
Let l = 19 + -8. Let s = l + 10. Is s a multiple of 8?
False
Let v(i) = i - 4. Let f be v(7). Is 3 a factor of 39/(-2 + 5) - f?
False
Does 16 divide 47 - (-3 - -5 - 3)?
True
Suppose -3*p + 8*p - 11 = y, 2*p = 5*y + 9. Suppose p*l - 5*l = -9. Does 3 divide l?
True
Let z(f) = f**3 - 13*f**2 + 5*f + 5. Does 14 divide z(13)?
True
Let n be 3/(-2)*20/(-6). Let q(o) = o. Let i be q(n). Suppose -y - 12 = -2*y - 5*l, -i*l = 3*y - 26. Is 7 a factor of y?
True
Let q be (-304)/(-12) - 4/(-6). Let m(x) = -x - 8. Let v be m(-11). Does 13 divide q/4*(v - 1)?
True
Suppose -2*o + 5*c = -306, 0*c + 5*c = -5*o + 765. Is 17 a factor of o?
True
Let q = 4 - 2. Suppose -2*c = -8, 5*n + q*c - 22 = 1. Suppose -s + n + 2 = 0. Is 5 a factor of s?
True
Let l be 7 + (-5)/(5/3). Suppose -f = 3*f + 3*p - 261, -4*p = l. Does 22 divide f?
True
Let i(u) = u**2 + 8*u + 5. Let s be i(-5). Let j(p) = -p**3 - 11*p**2 - 8*p + 7. Let y be j(s). Let n = 35 + y. Does 11 divide n?
True
Suppose r = -3*r + 44. Does 11 divide r?
True
Let n(o) = 4*o**3 - o**2 + o. Let g be n(2). Let l(u) = u - 4. Let i be l(9). Let z = i + g. Does 12 divide z?
False
Let o(a) = -5*a**3 + 3*a**2 - a - 7. Is 30 a factor of o(-3)?
False
Suppose f + f = 5*p + 201, 3*p = -5*f + 456. Is f a multiple of 28?
False
Let b(j) = -3*j + 60*j**2 - 1 + 4 - 51*j**2. Is 11 a factor of b(2)?
True
Suppose -2*o = 4*y - 30, 0 = y - 4*o + 4 + 2. Let i = 17 + y. Does 11 divide i?
False
Suppose 4*j = 3*n - 15 - 14, 4*n - 41 = 3*j. Suppose 6*g = 8*g - 34. Let v = g - n. Is 6 a factor of v?
True
Let m be 2 - (-1)/(-3)*0. Let q be 1*45 + (1 - 2). Suppose -p + 27 = m*v, 5*v - q = v - 4*p. Is 16 a factor of v?
True
Let a(n) = n + 4. Let u be a(9). Suppose -71 - u = -2*q. Is 21 a factor of q?
True
Let a be (9/(-2))/(2/(-4)). Suppose -3*l + 0*l - a = 0. Is l/(-2)*14/3 a multiple of 7?
True
Suppose -3*j = -8 - 4, 3*j - 174 = -3*b. Let n = b + -33. Does 7 divide n?
True
Let l(g) be the second derivative of -g**4/12 + g**3/3 - g. Let s be l(2). Suppose -3*b + 0*b + 33 = s. Is b a multiple of 4?
False
Suppose -3*d = -4*q + 12, 0 = -3*q + 4 + 5. Suppose -4 = -j - d. Suppose -j*t - 5*s = -3*s - 54, -4*t = 4*s - 48. Is 5 a factor of t?
True
Let n(a) = -a**3 - 4*a**2 - 3*a - 2. Is n(-4) a multiple of 2?
True
Let k(p) = p. Let d be k(5). Suppose 3*i + 2*i + 5*q - 15 = 0, -4*i + d*q + 3 = 0. Suppose -i*a = a - 21. Is 2 a factor of a?
False
Suppose 2*x = 3*b + 15, 2*x + 3*b - b = 0. Suppose l = x*j - 7, -5*l + 11 = -l + j. Suppose 0*q = 4*q, l*q = -5*k + 15. Does 2 divide k?
False
Let f(k) = k**3 - 7*k**2 + 6*k + 4. Let l be f(6). Suppose -l*m = -283 + 99. Does 17 divide m?
False
Let k(f) = 2*f**2 + 4*f + 6. Is k(-5) a multiple of 12?
True
Let y(t) = -3*t + 10. Let q be y(-7). Suppose -3*z + 236 = z. Suppose 0 = 3*v - q - z. Is v a multiple of 11?
False
Suppose -2*z = f - 85, -2*z + 5*f = -104 + 1. Is 4 a factor of z?
True
Let w = -3 - -6. Suppose -w*o + 6*o - 24 = 0. Does 8 divide o?
True
Let m = -118 - -277. Is m a multiple of 17?
False
Suppose p = h + 13, -4*h = 3*p - 58 + 5. Does 5 divide p?
True
Suppose 4*b - b = 123. Let o = b + -22. Is o a multiple of 19?
True
Suppose 0*g - 3*w = 3*g - 12, -5*g + 4*w + 29 = 0. Let r = g - -23. Is r a multiple of 6?
False
Suppose 1098 = -a + 19*a. Does 26 divide a?
False
Suppose -4*m - m + 140 = 5*w, 0 = -5*w - m + 128. Is w a multiple of 11?
False
Suppose 2*q - 2140 = -8*q. Does 32 divide q?
False
Let f be (10 - 5)*4/5. Suppose 0 = f*q - 2*q - 3*w - 20, -4 = q - 5*w. Is 16 a factor of q?
True
Let v(o) = -10*o. Is 10 a factor of v(-5)?
True
Let d = 120 - -40. Let m = 1 + -1. Suppose m*r = -4*r + d. Is 20 a factor of r?
True
Let v(b) = b**3 - 4*b - 7. Is 26 a factor of v(5)?
False
Let f(o) = 3*o**2 + 9*o + 7. Let u be (1/2)/1*-12. Does 22 divide f(u)?
False
Suppose -5*v + 746 = h, 0 = v + 5*h - 38 - 92. Does 30 divi