 Let q = -9 - -5. Let m = q + 4. Is d(m) even?
False
Let o(d) = -3*d**2 - 11*d - 4. Let r be o(-4). Is r/6*(242/(-4) + -1) a multiple of 30?
False
Suppose h + 4*n + 8 = -0, 0 = 4*n + 12. Suppose 0*z = -5*z + h*b + 1042, 0 = -4*z + 5*b + 830. Does 10 divide z?
True
Let m(r) = -r - 10. Let g be m(-12). Let h(x) = -g*x + 3*x**2 + 2*x + 3*x + 11 - 10. Does 10 divide h(3)?
False
Suppose -2886 = -17*x + 14*x. Is x a multiple of 6?
False
Suppose 0 = -0*w - 2*w + v + 35, 0 = -v + 3. Let u = 32 + w. Does 6 divide u?
False
Suppose 0 = -5*a - 2*r - 100, -a + r - 29 = -9. Let y = a - -11. Does 6 divide 4/18 - 106/y?
True
Does 14 divide -36*(1105/(-25) + 2/(-15))?
True
Let a be (-18)/(-108) - 46/(-12). Suppose -5*p + 3*l = -282 - 65, 2*p - 136 = a*l. Is 15 a factor of p?
False
Suppose 1704 = 3*d + 4*u, 0 = 3*d - 55*u + 51*u - 1680. Is 12 a factor of d?
True
Let k(h) = 2*h - 6. Let r be (2/1)/(6/9). Let s be k(r). Suppose -4*j = l + 4*l - 35, s = -j - 3*l + 7. Does 9 divide j?
False
Let k = 77 - 40. Suppose -k*i = -35*i + 16. Does 4 divide (-6)/i*(-16)/(-3)?
True
Does 4 divide 2/(-27) + 246829/297 + 7?
False
Suppose -6*m + 16 = -2*m. Suppose -m*c - 9 = -5*c. Is 9 a factor of c?
True
Let z(r) = -20 - 2*r**3 + r**3 + 12*r**2 + 11 - 11*r. Let j be z(11). Is 15 a factor of (46 - 1)/(j/(-12))?
True
Suppose 5 = -f + 3, -5*c + 407 = 4*f. Suppose c = -5*b + 23. Does 5 divide (-354)/b - 2/(-4)?
True
Let y be (2 - 4) + 1 + 4. Let c be 0/((-4)/(1 + y)). Suppose c = 2*x + 2 - 14. Is x a multiple of 2?
True
Is 14 a factor of 2*(3 - 9/6) + 838?
False
Let q = 65 - -126. Is q a multiple of 8?
False
Let r be (116/6 - 0)*(-207)/(-138). Let n = -20 + r. Is 4 a factor of n?
False
Suppose 5042 = 9*j - 7045. Is 54 a factor of j?
False
Let p(t) = -t + 6. Let y be p(8). Is -1*y/(-4) + 3813/82 a multiple of 23?
True
Let b(m) = -m**2 + 5*m + 3. Let c be b(5). Let t(x) = -x + x**c - 8 + 14*x**2 + 0*x**3 + 4 + 12. Is t(-14) a multiple of 12?
False
Let j(m) = 2*m**2 + 4*m. Is j(3) a multiple of 10?
True
Let d(l) = l**3 + 10*l**2 - 4*l. Let k be d(-10). Suppose t + k = 3*t. Is 17 a factor of t?
False
Suppose 0 = i - 104 - 268. Does 15 divide i?
False
Suppose 2*l + 7 + 423 = 2*z, -4*l = z - 210. Does 29 divide (-2)/(-3) + z/(-12)*-10?
False
Suppose -6*w + 5*w = -4*h + 2148, -2660 = -5*h - 5*w. Is 98 a factor of h?
False
Let g(c) be the first derivative of c**2/2 + 16*c + 4. Let b be g(-12). Does 13 divide 1/b - 310/(-8)?
True
Suppose -3*u + f = -2*f + 162, -5*f - 225 = 4*u. Let o = 97 + u. Is o a multiple of 6?
True
Let s(d) = -2*d + 143*d**2 + 5*d**3 - 4*d**3 - 151*d**2 - 22. Is s(9) a multiple of 12?
False
Let h = 1 + 3. Suppose 0 = -h*b - 4*i, 5*b = -i + 4*i. Does 6 divide 9/(-3) + b + 12?
False
Let p(u) = u**3 + 8*u**2 - u - 6. Suppose 3*w + 5*m - 7 = -0, -4*m + 26 = -w. Is 8 a factor of p(w)?
True
Let d = 23 - 14. Suppose -4*w - 600 = -d*w. Is w a multiple of 21?
False
Suppose t = -t - 3*a + 502, 0 = -5*t - 3*a + 1237. Is t a multiple of 20?
False
Suppose i + 5*i = -126. Let g = i - -100. Is g a multiple of 13?
False
Suppose -8*d = -7*d + 5*v - 114, 0 = -4*d + 3*v + 433. Is 35 a factor of d?
False
Let t(i) = i**3 + 18*i**2 - i - 9. Suppose 0*h = -2*h - 6. Let s be (31 - 4)/(h/2). Is t(s) a multiple of 3?
True
Suppose 785*t - 21728 = 778*t. Is 39 a factor of t?
False
Let p = -108 - -276. Is 24 a factor of p?
True
Suppose 12 - 8 = 2*q. Suppose 0 = 5*n - q*r - 116, 2*n - 2*r + 4*r - 52 = 0. Is 4 a factor of n?
True
Suppose -19*p + 22*p + 7471 = 4*w, -3*w - 5*p + 5596 = 0. Is 64 a factor of w?
False
Let o = -424 - -699. Does 7 divide o?
False
Suppose 2*b - 24 = -0. Is 11 a factor of 3*(-33)/(-6)*8/b?
True
Let k(o) = -o**2 + 7*o - 1. Let c be k(7). Let f(b) = 2*b - 1. Let i be f(c). Is 22 a factor of 2/i - 134/(-3)?
True
Let y(j) = -4*j**3 - 6*j**2 + 8*j + 4. Is y(-6) a multiple of 22?
False
Let x(d) = -d**2 + 8*d - 13. Let s be x(5). Let f(n) = n**3 - 7*n**2 + 7*n - 4. Let p be f(6). Let o = s + p. Is o a multiple of 4?
True
Let g = -88 - -88. Let h(y) = -y**3 - y**2 - 2*y + 89. Is h(g) a multiple of 20?
False
Suppose 0 = -2*x + 61 + 3. Suppose -3*y - 2*t - 22 - 7 = 0, -t - x = 4*y. Let s = y + 16. Is s even?
False
Let v(k) = k**3 - 7*k**2 + 6*k. Let y be v(6). Let j = -6 + y. Is 21 a factor of (-3)/(j/64) + 0?
False
Suppose -7 = 3*q - 5*s, -4*q + 9 = q + 2*s. Suppose 5*p - q = 69. Is 2 a factor of p?
True
Let p(t) = -t + 3. Suppose q - 8 = -q + 2*r, -3*q = -r - 4. Let o be p(q). Suppose -3*j - o*i = -i - 122, -1 = -i. Is j a multiple of 13?
False
Suppose 161 = 2*g - d - 2*d, 3*d - 131 = -2*g. Suppose 0 = 2*n - s - g + 2, s = 5*n - 179. Does 6 divide n?
True
Let b(x) = 938*x + 16. Does 16 divide b(4)?
False
Suppose 2*a - 1 = 3*k, 5*k + 2*a = -0*a - 7. Is k/(-4 + (-405)/(-102)) a multiple of 34?
True
Is 14 a factor of 840/(-60)*(2 + 198/(-4))?
False
Let z be 84/(-6) - 2/4*-4. Is ((-116)/(-8))/((-2)/z) a multiple of 13?
False
Suppose -4*f - 2*a + 42 = 0, 4*f - 3*f + 3*a - 18 = 0. Let w be ((-6)/f)/(6/(-27)). Suppose w*r = -2*r + 100. Is r a multiple of 10?
True
Let f(p) = p**2 + 10*p + 4. Let n be f(-6). Let x = 13 + n. Let s = 7 - x. Is s a multiple of 7?
True
Suppose 2*i - 5*n = -47, -4*i = -n - 2*n + 87. Let x = i - -41. Suppose 4*w = 2*w + x. Does 5 divide w?
True
Let r(q) = 2*q + 12. Let n be r(5). Does 45 divide (-4)/n - (-10590)/165?
False
Let f(m) = -m**3 - 5*m**2 - m + 1. Let a be f(-9). Let i = -226 + a. Is 12 a factor of i?
True
Suppose 9*c - 10*c = s - 252, s - 1017 = -4*c. Is c a multiple of 14?
False
Suppose 8*s = -4*c + 11*s + 4272, -c - 3*s + 1053 = 0. Is c a multiple of 15?
True
Let i = -11 + 9. Let k be i/(-3) + 316/(-6). Let q = 16 - k. Is q a multiple of 14?
False
Let s(m) = -m**3 - 14*m**2 - 12*m - 19. Let x be s(-13). Let h = x + 79. Suppose -3*z - 5 = -h. Is 7 a factor of z?
True
Is 29 a factor of (6 + (-66)/(-12))*116?
True
Let x(l) = 4*l**2 + 20*l - 4. Is 14 a factor of x(-10)?
True
Let g be (-6)/4*666/(-27). Does 34 divide g - ((-42)/30 - 2/(-5))?
False
Suppose -5*g = y + 12916, 5*g + 11877 + 1055 = 3*y. Does 34 divide ((-6)/(-8))/((-19)/g)?
True
Let i(k) = -k**3 - 13*k**2 + 24*k - 21. Is i(-15) a multiple of 2?
False
Is 12 a factor of (-24)/(-9)*((-28782)/12)/(-13)?
True
Let a be (-36)/48 - (-2370)/24. Let h be (0/(-1) + -1)*-62. Let c = a - h. Does 13 divide c?
False
Let l(h) be the second derivative of h**5/20 - 7*h**4/4 - 17*h**3/6 - 9*h**2 + 36*h. Is l(22) a multiple of 33?
False
Suppose 3*k - 758 = -2*l, -3*l + 1004 = 4*k - 7*l. Does 21 divide k?
True
Let i be (1 + 5)/(9/948). Suppose -2*w = -10*w + i. Is w a multiple of 14?
False
Suppose 3577 = 11*r - 647. Does 6 divide r?
True
Suppose 84*n - 87*n + 21 = 0. Let b(w) = 8*w**2 - w**3 + 1 - 6 + 4*w - 3. Is b(n) a multiple of 23?
True
Suppose 3*n - 814 = 5*b, 3*b - 1334 = -4*n - n. Suppose 4*l = -4*j + n, -l = 2*j - 32 - 102. Does 26 divide j?
False
Let b(y) = -11*y**3 + 2*y**2 + 3*y + 4. Let q(u) be the third derivative of u**4/24 - u**3/3 - 7*u**2. Let f be q(0). Is b(f) a multiple of 24?
False
Let r(t) = -2*t**3 - 21*t**2 + 32*t + 42. Does 2 divide r(-12)?
True
Let a = 16 + -14. Does 6 divide 0*2/a + (-36)/(-3)?
True
Let u(m) = m**3 + 2*m**2 + 9*m - 21. Is 18 a factor of u(5)?
False
Suppose o + 3*y + 0 - 11 = 0, 2*o - 2 = 4*y. Let r(s) = s**3 - 3*s**2 - 4*s - 10. Let u be r(o). Suppose 4*p - u = 3*p. Is 5 a factor of p?
True
Let y = -2221 - -3736. Does 101 divide y?
True
Let g be (2/(-1))/(3/6). Suppose -11 - 1 = -3*s. Is ((368/s)/g)/(-1) a multiple of 5?
False
Let j(c) = c**3 + 9*c**2 - c - 7. Let r be j(-9). Suppose 5*f - 4*s = 31, 3*f - r*s - 13 = 4. Suppose -2*t - 2*z + 19 = -z, 2*t - 21 = -f*z. Does 3 divide t?
True
Suppose 5*h + 35*h = 18000. Is 30 a factor of h?
True
Suppose -4*h - h = 0. Suppose -3*l - 117 = -5*x, 2*x = -2*l + 7 + 27. Suppose h = 2*q - 39 - x. Is q a multiple of 17?
False
Let j be 8*(2 - ((-15)/12 - -4)). Does 11 divide 6/3*11/j*-3?
True
Let h = 34 + -34. Let r(s) = s + 12. Is 12 a factor of r(h)?
True
Suppose 19*n - 18*n = -5. Let z be -7*(n + 1) - 0. Suppose 5*k - z = 4*k. Is k a multiple of 14?
True
Suppose -3*d - 4*f - 10 = 0, 5*d + 6 = 6*f - 2*f. Let q be (0/6)/((-4)/d). Suppose 3*i = -q*i + 4*m + 238, -5*i + 389 = m. Does 26 divide i?
True
Is 5 a factor of (-20)/(-4)*(-5 