u(x) even?
True
Suppose 8*d - 2035 - 9157 = 0. Does 31 divide d?
False
Let m(o) = 2*o**3 - 4*o**2 - 4*o + 2. Let d(c) = -c**3 - c - 1. Let x(v) = 3*d(v) + m(v). Is x(-3) even?
False
Suppose -3*t = -4*i - 4590, -3060 = -2*t + 13*i - 18*i. Does 90 divide t?
True
Let j = -119 - -124. Let q(z) = z**2 - 13. Does 10 divide q(j)?
False
Suppose 791*f + 15336 = 809*f. Does 12 divide f?
True
Let k be 9/(-6 - -3) + 7. Suppose 3*i + 0*r - 337 = -k*r, 3*r = -15. Does 7 divide i?
True
Let k(h) = 8*h**2 + 8*h + 4. Is 34 a factor of k(10)?
True
Suppose -3*u + 3*c + 81 = 0, 3*u + 5*c = 4*u - 7. Is u a multiple of 8?
True
Let r(s) = -14*s + 34. Is 38 a factor of r(-3)?
True
Suppose 3*h - 9 = 2*h. Suppose 10*d = h*d + 77. Is 25 a factor of d?
False
Suppose -36 = 2*l + 4*l. Let n be (-26)/l + 14/21. Suppose n*h = -3*q + 2*q + 53, -2*q + 5*h = -151. Is q a multiple of 18?
False
Let m(t) = 8*t + 6. Let b be m(8). Let c = b - -2. Does 36 divide c?
True
Let m(u) = u**3 + 6*u**2 - 3*u - 7. Let b be m(-6). Suppose 6*d - b*d + 290 = 0. Is d a multiple of 25?
False
Suppose -15*h + 17*h - 26 = 0. Suppose 19*p - h*p - 936 = 0. Is p a multiple of 13?
True
Let d(h) be the second derivative of h**5/20 - 5*h**4/12 - h**3 + h**2/2 - h. Is 19 a factor of d(7)?
True
Let j = 9 - 5. Suppose j*y - 76 = -4*p, 5*p + 0*p + 2*y = 98. Suppose 0*n = -2*n + p. Does 10 divide n?
True
Let l be 38/(-57)*2*6. Is 8 a factor of (-210)/12*l/2?
False
Suppose 2*x - 4*x = 4*k - 328, 2*k - 4*x - 144 = 0. Suppose 0 = -2*n + 51 - 139. Let u = k + n. Is 15 a factor of u?
False
Let k be -4*((-9)/(-6) + -2). Suppose 0*w = -2*w - 3*s + 315, -k*w + 3*s = -309. Suppose -4*b = 5*o - w, 4*o = -3*b + 91 + 27. Is 13 a factor of b?
False
Suppose 7 = -5*q + 17. Suppose -3*y + 3*r - 7 = 17, -q*y = -3*r + 21. Let h = y - -53. Is h a multiple of 10?
True
Let d = -103 + 113. Suppose -d*p - 663 = -13*p. Does 13 divide p?
True
Suppose -5*n + 0*n - 20 = 0. Is 16 a factor of 93 - (-3 - n - 3)?
False
Let u(n) = 9*n**2 - 15*n - 8. Let p(c) = -4*c**2 + 7*c + 4. Let w(b) = -5*p(b) - 2*u(b). Let m be w(4). Suppose 38 = 5*t + m. Is 3 a factor of t?
True
Let y(q) = 74*q - 2. Let w be y(-2). Let g = w + 210. Suppose -5*p - p + g = 0. Is p a multiple of 10?
True
Let b(u) = 2*u**2 + 19*u - 311. Is 5 a factor of b(-24)?
True
Let j(y) = y**2 - 9*y + 5. Let d(n) = -4*n**2 + 28*n - 15. Let f(w) = -2*d(w) - 7*j(w). Does 11 divide f(5)?
True
Suppose 118*n - 1608 = 106*n. Is n a multiple of 3?
False
Suppose v = -5*k + 147, -k + 5*k = 0. Is 21 a factor of v?
True
Let u = -406 - -844. Is u a multiple of 6?
True
Let h(i) = 10*i**2 - 2*i - 32. Is 13 a factor of h(6)?
False
Let z(c) = -5*c**2 + 5*c + 4. Let v be z(-3). Let h be (-14)/4*48/v. Is (-1)/h - 610/(-30) a multiple of 10?
True
Suppose 5*f - 2908 = 2*n, -6*n = 5*f - 2*n - 2914. Is 24 a factor of f?
False
Let o(c) = 6*c**2 - 2*c - 4. Let y = 12 + -8. Is 21 a factor of o(y)?
True
Suppose 4*p = -4*n + 484, -n + 4*p + 242 = n. Suppose -5*y - 2*z + n = 43, 0 = 5*y - z - 66. Is 3 a factor of ((-3 - -3) + y)/1?
False
Let v be 12*((-81)/(-2))/9. Suppose 0 = l + 2*l - v. Is 18 a factor of l?
True
Let f(x) = -x**3 - 4*x**2 + 10*x + 10. Let z be f(-5). Does 17 divide 147/(-9)*(z + 6) - 3?
False
Is (112/(-21))/(-4)*666/4 a multiple of 37?
True
Let a be 1/(1*1/4). Suppose -5*h = -5*i - 665, 3*h + 5*i = 2*h + 127. Is h/a + -2 + 2 a multiple of 13?
False
Let w(r) = -r**3 - r**2 + r + 1. Let o be w(-2). Let h(b) = -b - 3. Let x(d) = d + 3. Let c(t) = -3*h(t) - 2*x(t). Is 6 a factor of c(o)?
True
Is (-4)/6*(-105)/14 - -33 even?
True
Let g = -875 + 1520. Is 76 a factor of g?
False
Suppose -4*b + 0*b = -2592. Suppose 0 = 8*h + h - b. Is h a multiple of 9?
True
Let s = 170 + 732. Does 41 divide s?
True
Suppose 0 = o + 2*l - 85 - 51, -4*o + 577 = -3*l. Does 10 divide o?
False
Let j = 126 - -43. Let d = -96 + j. Is 15 a factor of d?
False
Suppose 0 = 7*i - 3759 - 903. Does 39 divide i?
False
Let h = 96 - -575. Is h a multiple of 92?
False
Suppose 0 = 3*k - 3*c + 6, 12 = -3*k + 4*c + 2. Suppose 4*m - k*y = 1042, m - 361 = -y - 93. Is 52 a factor of m?
False
Let q(y) = y**3 + 38*y**2 - 86*y + 33. Is q(-40) even?
False
Suppose 20*l + g = 15*l + 2008, 0 = 4*l - 2*g - 1598. Is l a multiple of 40?
False
Let p = 25 - 19. Is 339/9 + (-4)/p a multiple of 20?
False
Suppose -d + 5*h + 18 = 2*h, 5*d + h = 10. Suppose -4*m - 5*l = -174 - 226, 5*m - 463 = d*l. Does 19 divide m?
True
Let s be (-2)/(-14) + (-97)/(-7). Suppose 2*c - s - 4 = 0. Let u = 16 - c. Is 4 a factor of u?
False
Let r = -599 + 1067. Does 18 divide r?
True
Let c(n) = 3*n**3 - 6*n**2 - 3*n + 1. Let v(u) = -u**2 + 4*u. Let q be v(2). Does 23 divide c(q)?
False
Let k = -272 - -527. Is 15 a factor of k?
True
Let i = 1 - -33. Suppose -i*k + 540 = -30*k. Is 27 a factor of k?
True
Let g(c) = 4 - 5*c**2 + c**3 - 3*c**2 + 0*c**3 - 5*c. Let r = -242 + 251. Is 10 a factor of g(r)?
True
Suppose -303 = -u - 2*u. Suppose -4*x - i = -u, 5*x - 4*i - 123 = -2*i. Is 9 a factor of x?
False
Let b = 1 + -10. Let o(x) = 6*x - 1. Let m(t) = 3*t. Let j(v) = 5*m(v) - 3*o(v). Is j(b) a multiple of 21?
False
Suppose -20*v + 23*v - 1746 = b, -5*b - 2910 = -5*v. Is v a multiple of 6?
True
Suppose 0 = -0*q - 2*q + 48. Suppose -60 - q = 4*f. Let x = -6 - f. Is 4 a factor of x?
False
Is 19 a factor of ((-3)/3)/(39/(-17121))?
False
Let j(i) = -1784*i**3 - 2*i**2 + 3*i + 2. Is 13 a factor of j(-1)?
True
Let t = -9 + 9. Suppose t = -j - 0*j - 4. Is (60 - 3) + 1 + j a multiple of 18?
True
Let o(v) be the second derivative of -v**5/20 + 7*v**4/12 + 4*v**3/3 + 5*v**2/2 - 5*v. Let f be o(8). Suppose -90 = -f*y + 130. Does 22 divide y?
True
Let i = -70 + 83. Suppose 0 = 5*v + 25, -2*h + 41 = -8*v + 3*v. Suppose -h*g = -i*g + 465. Is g a multiple of 22?
False
Is (-1)/(9/45 - (-792)/(-3910)) a multiple of 13?
False
Suppose -3*b + 2*b - r = 3729, -b - 5*r = 3741. Is 6/21 + b/(-42) a multiple of 16?
False
Let i(r) be the third derivative of -r**5/60 - r**4/4 + r**3/6 + 12*r**2. Is i(-4) a multiple of 2?
False
Let w = 97 - -53. Is w a multiple of 25?
True
Suppose -2629 = -2*h - 3*m, -h = 3*m - 460 - 859. Does 10 divide h?
True
Let n be -30*(33/(-15) - -1). Suppose 46 = w - n. Is 27 a factor of w?
False
Let o be (2 - 5) + (9 - 5). Let h(p) = 131*p**2 + 1. Is 33 a factor of h(o)?
True
Let x be 12/(-54) - 8233/9. Is (1/(-3))/(5/x) a multiple of 19?
False
Suppose 19*y = y + 22302. Does 14 divide y?
False
Suppose 35*i + 228 = 38*i. Is i a multiple of 5?
False
Let q be (2 - 7)/(3/6). Let n = 20 + q. Is 10 a factor of n?
True
Let n be 15*((-6)/(-5) + -2). Is 7 a factor of (80/n)/((-1)/3)?
False
Suppose -10*g = -8*g + 8. Let l be 3/((6/g)/(-1)). Suppose -l*b = -3*y + 41, -2*y - 6*b = -3*b - 10. Does 4 divide y?
False
Suppose 11*m = 13159 + 1680. Is m a multiple of 105?
False
Let r(n) = 168*n - 26. Is r(5) a multiple of 37?
True
Suppose 3*h - 1910 + 290 = 0. Suppose 2*t - h = -t. Suppose 6*u - t = u. Is 15 a factor of u?
False
Let u be 2*2/(-8)*-70. Let h = 44 - u. Does 3 divide h?
True
Suppose -3*j + 2*k + 414 = 0, -2*j - 4*k = -j - 152. Suppose -b = -4*u + j, 0 = 3*b + b - 16. Let t = u + -5. Does 10 divide t?
False
Is 78 a factor of 2*-1 - 23/(207/(-2124))?
True
Let a(d) = d + 25. Does 6 divide a(11)?
True
Let j(o) = 3*o**2 - 13*o + 2. Let t(a) = 7*a**2 - 26*a + 5. Let u be (4/12)/(-1)*-27. Let h(g) = u*j(g) - 4*t(g). Is 3 a factor of h(-12)?
False
Let t(q) = -q**3 + q - 1. Let d(x) = -7*x**3 - x**2 + 9*x + 1. Let p(o) = d(o) - 3*t(o). Is 2 a factor of p(-2)?
True
Suppose 105 = 2*f + 3*f + 4*r, 0 = f - 4*r - 21. Suppose t - f = -2*t. Let x = 9 + t. Is 8 a factor of x?
True
Let j be -1 - (-2*3 + 2). Suppose 5*a + m + 10 = 34, -j*m = -2*a + 13. Let n(i) = -i**3 + 7*i**2 + 5*i - 3. Does 24 divide n(a)?
True
Does 8 divide (-2)/(-7) - (-10 - 15040/35)?
True
Let t(s) = 5*s**2 - 32*s + 19. Is t(-8) a multiple of 35?
True
Let l be 6/(4*(-1)/2). Does 8 divide 21 + 1*9/l?
False
Does 7 divide -8 - -1 - (-4392)/24?
False
Let j(h) = -12*h - 156. Let w be j(-13). Suppose -11 = -4*b + 5. Suppose 4*t - 2*a - 204 = w, 204 = 4*t + b*a - a. Is 14 a factor of t?
False
Suppose 0 = -3*u - 2*o + 29, -2*u + 1 = -5*o - 12. Let z(x) = x**2 - x + 2. Let f(v) = -2*v**2 - 7*v - 5. Let a(w) = f(w) + 4*z(w). Is a(u) a multiple 