+ 0)*42/24 a multiple of 7?
True
Suppose -g + 40 = -17. Suppose 2*k = -k + g. Does 13 divide k?
False
Suppose t + 5*g = -4, -39 - 39 = 5*t - 4*g. Let f(v) = -v**2 - 15*v - 12. Is 2 a factor of f(t)?
True
Let y be 438/(-27) + 2/9. Let a be (12/y)/(1/(-4)). Suppose -4*p - 4*n - n = -152, 5*n + 114 = a*p. Is 13 a factor of p?
False
Suppose -x - 2*n = -9 - 7, x - 31 = 3*n. Suppose 4*y - x = -f, 3*f + y = -0*f + 110. Does 10 divide f?
False
Suppose -u = 5*f - 10, 0*f - 12 = -3*u + 3*f. Suppose -u*b + 69 = 14. Is b a multiple of 11?
True
Suppose 0 = 5*i - 5*d + 80, 0 = 5*d - 3*d - 2. Let y be 15*(i/9 - -2). Suppose a - 48 = -2*s, y*a - 5*s - 276 + 36 = 0. Is 19 a factor of a?
False
Is 16 a factor of ((-1480)/(-5) - -4) + (0 - -4)?
True
Does 6 divide (-1 + -19)*(-56)/70?
False
Let n = 80 - 2. Is 20 a factor of n?
False
Let v(n) = 2*n**2 - 24*n + 35. Is v(17) a multiple of 33?
False
Suppose -2*w + 10 - 23 = -3*b, -5*b = 5*w - 30. Let h = b - 2. Is h a multiple of 3?
True
Is 17 a factor of (-2)/6 - (-6400)/30?
False
Let j(s) = -8*s**2 + s - 3. Let o(i) = 9*i**2 - i + 4. Let b(u) = -4*j(u) - 3*o(u). Is 9 a factor of b(2)?
True
Let b be -4*(0 - (-2)/(-4)). Suppose -4*n = -4, -n - 3 = -2*k + b. Suppose k*g = -2*g + 100. Does 10 divide g?
True
Suppose 4*q = j + 68, j = 2*q + 4*j - 48. Suppose -3*r + 3*t + q = -0, 0 = -2*t - 10. Does 15 divide r/(-2)*-4 + 16?
False
Let s = 18 + -9. Suppose -5*j + 3*y = -s - 6, -3*y + 9 = 3*j. Suppose 2*z = j*z - 10. Is 10 a factor of z?
True
Suppose j - 4*j + 153 = 0. Is 24 a factor of j?
False
Let r = 11 + -10. Let s(g) = 2*g**2 + 5*g - 4. Let b be s(4). Is (b/(-18))/(r/(-6)) a multiple of 8?
True
Let z be (-2 - -1)/((-2)/6). Suppose -k + 88 = z*a, 0 = 2*a + 4*k - 46 - 6. Suppose -5*p = -a - 45. Does 7 divide p?
False
Let b = -16 + 64. Suppose 0 = 4*u + z - 3*z - 138, 4*z - b = -u. Does 18 divide u?
True
Let v = -3 + 5. Suppose v*k = -3*k. Suppose 0*w - j - 30 = -w, k = -w - 4*j + 40. Is w a multiple of 16?
True
Suppose -34 = -3*k - 7. Suppose 2*v + k = -g + 3, g - 22 = 5*v. Does 6 divide (11/(-2))/(2/v)?
False
Let o(z) = -7*z**3 - 2*z. Let x be o(-3). Is 9 a factor of x/21 + (-2)/7?
True
Suppose 0*d - 126 = -3*d. Does 10 divide d?
False
Let a(p) = -p**2 - 10*p - 6. Does 3 divide a(-6)?
True
Suppose -7*q = 8 - 22. Suppose 5*n - q = 53. Does 10 divide n?
False
Let j be 6/12 - (-43)/(-2). Let l = 36 + j. Suppose s - 4*s + l = 0. Does 5 divide s?
True
Is (31 - 2) + (-2 - -3) a multiple of 10?
True
Let i(n) = -3 - 1 - 4*n + 0 + 1. Is i(-9) a multiple of 11?
True
Let y(s) = 6*s**2 + 11*s - 7. Does 22 divide y(-5)?
True
Let g(a) = 4*a**2 + 2*a + 1. Let z be g(-1). Suppose 0 = 5*o - t - 66, -z*o + 3*t + t + 26 = 0. Does 4 divide o?
False
Suppose 165 = -3*c - 3*q, 2*c - 5*q - 155 = 5*c. Let s = -18 - c. Does 14 divide s?
True
Suppose -4*y + 3*n = -22 - 15, 3*y - 24 = n. Let u = 14 - y. Does 7 divide u?
True
Does 22 divide (-1 + 4 - 3) + 66?
True
Suppose 0 = -3*o + 72 + 99. Suppose -5*s = v + 2*v - 42, 0 = -5*v - 4*s + o. Is v a multiple of 5?
False
Let y be 2/8 - 2/8. Let n(w) = 0*w + 2*w + 11 + w + w**2 - 4*w. Is n(y) a multiple of 11?
True
Is 15 a factor of 2/((-8)/(-212)) - 4?
False
Let s(w) = -w**2 + w**3 + w**2 - 2 - w + 0*w**2. Let j(h) = -h**2 - 4*h - 1. Let l be j(-3). Does 2 divide s(l)?
True
Let r(p) = p**2 + 4*p - 7. Let x be r(-5). Let d be x + 1 - 32 - -2. Let a = -15 - d. Does 10 divide a?
False
Suppose -5*b + 0*b = -50. Is b a multiple of 10?
True
Suppose v = 5*z - 0*v - 107, -5*z + 3*v + 111 = 0. Is 7 a factor of z?
True
Suppose -2 = i + 9. Let y = 1 + -2. Does 10 divide 2/(y - 1) - i?
True
Is 9 a factor of ((-52)/20 - -3) + 106/10?
False
Does 32 divide -1 + (-32)/(-1) + 4?
False
Let o be -1 + 2*5/(-2). Let p(j) = -j**3 - 5*j**2 + 5*j + 9. Is 8 a factor of p(o)?
False
Let p(a) = a**3 + 11*a**2 - 14*a - 6. Is 13 a factor of p(-12)?
False
Suppose 4*c - 242 = -3*r - c, r - 88 = 2*c. Is 7 a factor of r?
True
Suppose -x + 1 = 3. Does 20 divide 0 + (35 + x - 0)?
False
Suppose -4*r + 0*r = 0. Suppose -24 + 149 = a. Suppose r*g = -5*g + a. Is g a multiple of 12?
False
Let x(d) = -29*d**3 + d + 2. Let v be x(-2). Suppose -45 = -b - 4*o + o, 4*b - v = o. Is 20 a factor of b?
False
Let s(l) = 3*l**2 - 8*l - 2. Let p(t) = 7*t**2 - 16*t - 5. Let v(w) = -2*p(w) + 5*s(w). Is 9 a factor of v(9)?
True
Suppose 2*n - 4*n = 4. Let r be (2/(-6))/(n/12). Does 14 divide (-2)/r + 4 + 39?
True
Is ((-2601)/(-85))/((-3)/(-10)) a multiple of 29?
False
Let c = -5 + 5. Suppose -4*v - 4*l + 124 = c, -4*v + 84 = l - 5*l. Does 24 divide v?
False
Is 11 a factor of (6 + -9)*(-44)/6?
True
Let g = 1 + 1. Suppose -4*y = -7*d + g*d - 27, 5*d + 12 = -y. Does 3 divide y*(-1 + 11/3)?
False
Let d(m) = m**2 - 2*m - 11. Let z be d(-8). Suppose -z = -5*q + 11. Does 3 divide (-8)/q - (-14)/4?
True
Suppose 2*b - 50 = -n + b, -b - 5 = 0. Suppose -4*i + n = 4*w + w, -3*w = -i - 16. Suppose -184 = -5*d + 3*g - w*g, -100 = -2*d + 5*g. Is d a multiple of 15?
False
Let s = -12 + 17. Suppose -w - 5*p - s - 14 = 0, 0 = -2*w - 4*p - 68. Does 8 divide (w/6)/((-4)/12)?
False
Let s be (-2 - 9/(-6))*0. Let c(y) = y + 4. Let h be c(s). Suppose -3*r - 2*v + h*v + 67 = 0, 5*r + v = 103. Does 7 divide r?
True
Let o be 9/8 + 2/(-16). Is 15 - (2 - o)*3 a multiple of 9?
False
Suppose -4*h - 51 = -3*b - h, -2*h + 26 = 2*b. Does 3 divide 168/b - (-1)/(-5)?
False
Suppose 4*n - 2*t = -3*t - 141, 3*n + 4*t = -122. Is 0 + ((-6)/3 - n) a multiple of 16?
True
Let j be (24/(-28))/((-2)/(-14)). Is (-3)/(-2) - j/4 even?
False
Does 5 divide (70/(-21))/((-1)/9)?
True
Let u be 6/24 - 159/(-4). Is (48/u)/((-6)/(-20)) even?
True
Suppose -5*s = -6 - 19. Suppose r - 21 = s*c, c + 4*c = 2*r - 37. Is r a multiple of 16?
True
Let m(n) be the first derivative of n**4/4 - n**3 + 3*n**2/2 - 2*n + 5. Is 7 a factor of m(3)?
True
Suppose -4*h = 4*l - l - 110, 2*l = 5*h - 126. Is 6 a factor of h?
False
Suppose 2*p + 3*x = 30, 4*x - 10 = -2*p + p. Does 18 divide p?
True
Let k(g) = 24*g**2 + 2*g - 2. Suppose v - 3*z + 4 - 2 = 0, 2*z = v + 2. Is k(v) a multiple of 18?
True
Suppose 4*y = 51 + 493. Is 8 a factor of y?
True
Suppose -s + 3*s = 3*o - 186, 5*o - s - 303 = 0. Is o a multiple of 20?
True
Let j be (-10)/15 + 11/3. Suppose -j*g + 32 = -g. Is 10 a factor of g?
False
Let w = 65 + -11. Suppose -2*q + 44 = 2*m - 12, -3*q + w = -3*m. Does 5 divide q?
False
Suppose 0 = 5*j - 0*j - 5. Suppose 4 + j = o. Does 2 divide o?
False
Let t be 2*(17 + 0 - 3). Suppose -2*d - 6*g + g = -53, 0 = 3*d - g - 54. Let j = t - d. Does 5 divide j?
False
Let y be (-4)/(-2*1/(-24)). Suppose 3*m - 76 = 4*a - m, -4*a + 2*m = 84. Let q = a - y. Is 14 a factor of q?
False
Suppose 3*d + 4 = 94. Is 16 a factor of d?
False
Suppose -2*z = z + 3*c - 18, -4*z = 3*c - 24. Does 6 divide z?
True
Suppose 4*w = -w. Is (3 - (w + 5)) + 16 a multiple of 5?
False
Suppose -2*n + 0*n = 3*u - 65, 4*u - 152 = -5*n. Does 14 divide n?
True
Suppose 2*a = 3*j - 90, -4*j - 6*a + 134 = -4*a. Is 4 a factor of j?
True
Let t = -23 - -28. Is t a multiple of 5?
True
Suppose -4*a + 0*a = 0. Suppose a = -2*l + 7*l - 110. Is 11 a factor of l - 3/((-9)/(-3))?
False
Suppose 73 = -c + 5*p, 2*c - 4*p + 323 = -3*c. Let t = -45 - c. Does 9 divide t?
True
Suppose -l + 327 = 2*l. Suppose -l + 39 = -5*a. Suppose -a = -3*g + 16. Does 5 divide g?
True
Suppose -2 - 34 = -4*a. Is 6 a factor of a?
False
Suppose 5*c = -3*m - 3 - 1, -6 = 2*m + 4*c. Is m even?
False
Let o = -58 + 95. Is o a multiple of 8?
False
Suppose 9*i + 162 = a + 4*i, -a + 150 = -i. Does 41 divide a?
False
Suppose 0 = 3*s + 19 + 5. Is 3 a factor of (s/(-2))/((-2)/(-4))?
False
Suppose -4 = -2*d - 2. Is (6/d)/(-3) - -22 a multiple of 8?
False
Let j(n) = 8 - 13 + 2*n - n**2 + 8*n. Is j(8) a multiple of 7?
False
Suppose -7*r + q - 4 = -3*r, 0 = 5*q. Let m be 65/13 + (-1)/(-1). Let g = m - r. Is g a multiple of 3?
False
Let b = 3 + -2. Let g(m) = b + m - m - m. Is 4 a factor of g(-5)?
False
Let v(h) = 7*h**2 - 6*h**2 + 4*h + 0*h - 3*h - 4. Does 13 divide v(-8)?
True
Suppose 0*t = -2*t - 5*z + 243, -3*t - 5*z = -357. Is 19 a factor of t?
True
Let t(y) = -y**2 - 8*y - 8. Let n be t(-6). Suppose 16 = -n*w + 52. Is 5 a factor of w?
False
Let o(n) be the third derivative of n**6/40 + n**4/24 - n**3/6 - 2*n**2. Let j be