 g?
False
Suppose 3*y + 1 - 750 = -2*k, 4*y = -3*k + 999. Does 19 divide y?
False
Let d(g) = 43*g - 113. Does 10 divide d(11)?
True
Is 6 a factor of (-11)/11*(-3)/1 + 15?
True
Suppose 82 + 44 = 7*r. Does 9 divide r?
True
Does 7 divide (-37)/(-74)*(55 - (-1 - 0))?
True
Does 4 divide (55/10)/(-1 + (-7)/(-6))?
False
Suppose 0*o - o + 38 = 0. Does 6 divide o?
False
Let h = -75 - -130. Is 12 a factor of h?
False
Let x be (18 + -4)*(-2)/(-4). Suppose 0 = 4*v - x*v + 216. Suppose 6*y - v = 3*y. Is 12 a factor of y?
True
Let m(q) = 2 + q - 12*q - 4 + 1. Is 9 a factor of m(-1)?
False
Suppose -5*u + 16 = -59. Let f = u - 4. Does 5 divide f?
False
Suppose -1 = d - 5. Suppose -2*a = d*n - 0*n - 40, -5*n + 15 = 0. Does 7 divide a?
True
Let n(w) = -5*w + 8. Let l be n(5). Let m(h) = -6*h**3 - 2*h**2 + 3*h + 3. Let d be m(-2). Let j = l + d. Is 10 a factor of j?
True
Let j(g) = -13*g**3 + 14*g**3 + g + 0*g + 5*g**2 - 5. Does 7 divide j(-4)?
True
Suppose 0*k - 12 = -4*k. Is k even?
False
Suppose -4*w + 245 = w. Let n = w + -11. Does 8 divide n?
False
Let f = -3 - -5. Let h = 11 - 6. Is 81/h - f/10 a multiple of 8?
True
Suppose 1429 - 474 = 5*b. Suppose -5*q = -4*r - b, 3*q + 4*r + 5 - 94 = 0. Is q a multiple of 11?
False
Let d be -22*((-14)/(-4))/1. Let m = -43 - d. Is 17 a factor of m?
True
Let h be (0/11)/(-1*2). Suppose 0 = -h*q + q - 14. Is 3 a factor of q?
False
Suppose -j = -5*d + 281, 3*j - 69 = -d - 0*j. Is d a multiple of 22?
False
Let f(s) be the second derivative of -s**4/12 + 5*s**3/2 - 4*s**2 - 8*s. Does 16 divide f(8)?
True
Suppose -4*j = -11*j + 273. Is 5 a factor of j?
False
Let v(g) = 3*g - 2. Let s(f) = 8*f - 6. Let l(y) = 4*s(y) - 11*v(y). Let o be l(-2). Suppose -3*w - 2*w + 40 = o. Is 4 a factor of w?
True
Suppose -3*g = -11 + 5. Suppose -4*c - g*l - 3*l = -3, -3*c - 3*l = -3. Is 2 a factor of c?
True
Let g(l) = 3*l**3 + 5*l**2 + 5*l - 10. Let c(x) = 2*x**3 + 3*x**2 + 3*x - 5. Let i(h) = 5*c(h) - 3*g(h). Let q be i(0). Is (-3 + q)/(-4)*-6 even?
False
Suppose 3*f - 111 = -0*f. Suppose 143 = 4*n - f. Is 15 a factor of n?
True
Let l(t) = -t**2 + 7*t + 4. Let u be l(8). Does 18 divide 6/u*116/(-3)?
False
Suppose -3*m - 2*s = -4*m + 14, -4*m + 5*s = -59. Suppose 5*i = 4*q - 57, 0*i - 4*i - 60 = -5*q. Let v = q + m. Is 12 a factor of v?
True
Let v(a) = a**2 + 5*a + 7. Let y(i) = 2*i - 1. Let g be y(3). Is 15 a factor of v(g)?
False
Let m(a) = a**3 - 7*a**2 - 6*a + 10. Let t be m(7). Let d = 71 + -17. Let w = t + d. Is w a multiple of 11?
True
Let q(b) = -4*b - 6. Let y = 0 + -3. Is 5 a factor of q(y)?
False
Let v be (0 - 3 - -3)/4. Suppose 2*c - 12 = -v*c. Is 3 a factor of c?
True
Suppose 3*m + 3*r = -r + 24, -4*r = -3*m + 24. Suppose t + 20 = 4*h, -3*h + m = -5*t - 7. Is h even?
False
Let z = 69 + -69. Suppose 0*a - 15 = -5*a. Suppose -a*f + 60 = -z*f. Does 7 divide f?
False
Let i = -80 + 144. Does 16 divide i?
True
Does 17 divide (0 + 2 - 3)*-17?
True
Let l(z) = 45*z**2 - 3*z + 2. Is l(1) a multiple of 22?
True
Let s be 4/10*(-11 + -4). Let w = 51 + -75. Is 9 a factor of ((-9)/s)/((-2)/w)?
True
Let t(s) = s**3 + 6*s**2 - 6*s + 3. Let q be t(-7). Let b(w) = -w**2 - 6*w - 4. Let p be b(q). Suppose -p*g = -0*g - 124. Is g a multiple of 9?
False
Suppose -6 - 16 = 2*d. Let b = d + 36. Is b a multiple of 8?
False
Suppose 184 = 3*m + 2*h, -h + 0*h = -2*m + 132. Is m a multiple of 17?
False
Suppose 4*t + 5*z = 29, 3 + 17 = 4*z. Suppose 2*x = t + 5. Is 8 a factor of (-3 - 16*-1) + x?
True
Let u be 2/(-3) + 14/(-6). Let q = 26 + -44. Is 5 a factor of ((-10)/u)/((-6)/q)?
True
Let q(v) = 5*v**2 + 3*v + 3. Let y be (-10)/4*(-20)/(-25). Does 6 divide q(y)?
False
Let i(k) = k**3 + 2*k**2 - 4*k - 3. Let a be i(-2). Let m = 5 - a. Suppose z + m = 11. Is z a multiple of 4?
False
Is 27 a factor of 1/(-2 + (-1164)/(-580))?
False
Suppose a + 12 = 3*w, w - 6*w - 2*a + 31 = 0. Let d = 8 - w. Is 6 a factor of (-2)/(((-6)/13)/d)?
False
Let p(g) = 2*g**2 - 3*g + 3. Let f be p(1). Suppose -22 = -f*u + 2. Does 4 divide u?
True
Let p = -77 - -134. Does 19 divide p?
True
Let l(r) = r + 1. Let n be l(-1). Suppose -39 = -n*j - j. Is j a multiple of 19?
False
Let t = -1 - -3. Suppose 2*v + 2*l = l + 71, 4*v - 137 = -3*l. Let h = v - t. Is h a multiple of 13?
False
Suppose 0*w + w - 3 = 0. Suppose -i + 1 = w. Is (13 + -3)/(0 - i) a multiple of 3?
False
Suppose 52 = 3*q - 5*q. Let d = q - -36. Is d a multiple of 8?
False
Let m(v) = -v**3 - 10*v**2 - 12*v - 7. Let u be ((-4)/5)/((-4)/20). Suppose u*k = 4*f + 56, -5*k + 29 = -f - k. Does 10 divide m(f)?
True
Let z(d) = d**2 - 6*d + 1. Let f be z(6). Let p be -2*f + (-1 - -1). Is 7*(p - -1)/(-1) a multiple of 7?
True
Let r be 2/6 - 6/18. Suppose -15 = -3*y, 2*o + 0*y - 4*y + 2 = r. Suppose -10 = -i + 3*n + o, n + 4 = 0. Is i a multiple of 7?
True
Suppose 3*g - k - 178 = 35, 0 = -4*g + k + 285. Is 18 a factor of g?
True
Is 21 a factor of 105*1/(0 + 1)?
True
Suppose 0 = 3*f - 9, 0 = -5*n - f - 0*f + 28. Let r = n + 25. Does 10 divide r?
True
Suppose 1 = -o, 5*w + 2*o = 4*o + 277. Is 11 a factor of w?
True
Suppose 3*b = i + i - 69, -2*b = 2*i - 64. Suppose 4*v + 87 = 8*v + 3*y, -v + i = 3*y. Does 18 divide v?
True
Suppose -2324 = -11*n + 4*n. Is n a multiple of 13?
False
Suppose 2*u + 2*b - 64 = -0*b, -3*u - b + 106 = 0. Does 9 divide u?
False
Suppose -11*d = -0*d - 2002. Is 37 a factor of d?
False
Suppose 0 = 6*l - 635 - 391. Is 15 a factor of l?
False
Let j = 62 + -20. Suppose u = -u + j. Is 7 a factor of u?
True
Let r(p) = -p**2 - 10*p - 3. Let w be r(-5). Suppose 5*l - w - 8 = 0. Is 16/l*(-435)/(-20) a multiple of 21?
False
Let r(w) = -25*w - 1. Is r(-1) a multiple of 3?
True
Suppose -205 + 41 = 4*p. Let n = p - -68. Does 20 divide n?
False
Let y be -1 - ((-3 - -4) + -2). Suppose y = -t + 11. Does 11 divide t?
True
Suppose -26 = -0*z - 3*z - 2*r, 0 = 5*z + 5*r - 45. Is z even?
True
Let m(u) be the third derivative of 7/6*u**3 + 0*u + 0 + 2*u**2 + 5/24*u**4. Is 14 a factor of m(6)?
False
Let o = -140 + 298. Is 9 a factor of o?
False
Let y = -2 + -8. Is (1 - -1)/(y/(-230)) a multiple of 25?
False
Let w(i) = -i**3 + 4*i**2 - 3*i + 4. Let a be w(3). Suppose 2*p - a = -0*p. Is p*(78/4 - 0) a multiple of 22?
False
Is 14 a factor of ((-8)/(-10))/((-723)/(-240) - 3)?
False
Let f = -4 + 3. Let d(l) = -23*l**3 - l. Is 5 a factor of d(f)?
False
Let d(q) = 1 + 8*q**2 + 4*q - q**2 - 2*q**2 - 2*q**2. Let m be d(-3). Suppose -x = x - m. Does 8 divide x?
True
Is 7 + -3 - (1 + -234) a multiple of 14?
False
Let q(z) = 0*z**2 + 5*z - 2*z**2 - z**3 - 6 + 6*z**2. Let i be 38/9 - (-8)/(-36). Is 7 a factor of q(i)?
True
Suppose -4*y = y - 120. Suppose -5*a - 4 = -y. Suppose 0 = -a*s + 15 + 25. Does 5 divide s?
True
Let n be 53 + (-1 + -2 - -3). Let c = 15 - n. Let h = -20 - c. Is h a multiple of 6?
True
Is 13 a factor of (-53088)/(-240) - (0 - 2/(-10))?
True
Let v(y) = 6*y - 11. Let x(k) = -k + 1. Let n(m) = v(m) + 4*x(m). Let j be n(5). Does 13 divide j*(-39)/27*-3?
True
Suppose -131 - 99 = -2*r. Suppose 2*v + 6 = v + 5*q, -4*q = 5*v - r. Does 7 divide v?
False
Let v be (0 + 3)/(6/(-210)). Let h be (-3)/(v/96 + 1). Let y = h - 19. Is y a multiple of 13?
True
Suppose 1 = -t + 35. Is t a multiple of 9?
False
Suppose 24 = q - 6. Is q a multiple of 30?
True
Suppose 5*n = 23 + 2. Does 10 divide 237/5 - 2/n?
False
Let c be (-1)/(-1 + 1 - 1). Let u be (-50)/(-1) + -1 + c. Suppose -u = d - 3*d. Does 18 divide d?
False
Let i(t) = t**2 + t + 6. Is 11 a factor of i(-6)?
False
Let s(h) = h**3 + 12*h**2 - 17*h + 5. Does 13 divide s(-13)?
False
Suppose 2*x - 22 = -3*d, 5*d = -4*x + 40 - 0. Suppose 3*u + 17 = d*b - 10, -2*b - 14 = 4*u. Suppose -4*g + 76 = 5*c, -b*c + 32 = 4*g - 5*g. Is 6 a factor of c?
True
Let n(h) = 6*h - 8 - 14*h + 4. Suppose 0 = -5*c + y - 27, -5*c + 0*y - 2*y - 21 = 0. Does 18 divide n(c)?
True
Suppose 0 = -3*o + 8*o - 5. Suppose 5*h + o = -84. Let b = h - -33. Is 8 a factor of b?
True
Suppose -2*g - 4*h = -g - 33, 78 = 3*g + 5*h. Let u be (-6)/g - 37/(-7). Let y(v) = 2*v**2 - 6*v + 3. Is y(u) a multiple of 14?
False
Suppose 2*v + m = 0, -3*v - 2*v = -3*m. Let x = 12 + -8. Suppose 5*h + x*b - 64 = v, -3*h + 15 + 17 = 4*b. Does 10 divide h?
False
Suppose 10*u - 9*u - 39 = 0. Is 28 a factor of u?
False
Let q(s) = 108*s - 8. Let j(t) = 27*t 