f 14?
False
Suppose 6*t = 2*t - 84. Let b = -13 - t. Does 12 divide 292/b - 1/2?
True
Let n = 5 + -4. Suppose n = -0*m - m. Let p = m + 9. Does 4 divide p?
True
Suppose -s + 18 = 5*k, -5*s + 3*k + 34 = -0. Does 8 divide s?
True
Let g be (-14)/(-4) - (-3)/6. Suppose 2*k - 4*k = -4. Suppose k*n = a - 20, -g*a + 4*n = -73 + 5. Is 10 a factor of a?
False
Let y be (-80)/(-24) + (-2)/6. Suppose -y*n = -6*n + 12. Is n a multiple of 3?
False
Suppose -5*m + 171 = h, 2*h + 69 = 2*m + 3*h. Is m a multiple of 17?
True
Let y(q) be the third derivative of -q**4/8 - 5*q**3/6 + 5*q**2. Is 5 a factor of y(-5)?
True
Suppose 8 = -4*h + 2*l, -3*h + 4*h + 3*l - 12 = 0. Suppose h = r + 2 - 48. Is 13 a factor of r?
False
Let t(y) = 16*y + 2. Let a be t(4). Suppose 3*h - 2*p = -120, -3*h + 2*h = -2*p + 40. Let z = a + h. Is z a multiple of 7?
False
Suppose 2*q - q = -12. Does 18 divide (1 + 3)*(-87)/q?
False
Suppose -r + 4 = -0*r. Is 4 a factor of r?
True
Suppose 0 = 5*q - 2*h - 71, -47 = -4*q + h + 11. Does 3 divide q?
True
Let m(f) = -24*f + 2. Let h be m(-3). Suppose -h - 6 = -2*x. Is x a multiple of 16?
False
Let s = -43 - -121. Is s a multiple of 13?
True
Let t = 59 + 13. Does 24 divide t?
True
Let y(n) = n**3 + 4*n**2 - 3*n - 3. Let j be y(3). Suppose -4*v - j = -4*a - 7, -3*v + 3 = 0. Is a a multiple of 6?
True
Suppose -3*c + 43 = -3*u - 44, -c - 2*u + 32 = 0. Does 15 divide c?
True
Suppose -n + 7*c = 4*c - 86, 366 = 4*n - c. Is n a multiple of 23?
True
Suppose -5*i - i = -114. Is i a multiple of 9?
False
Suppose 0*k + 10 = 5*k. Suppose k = -h + 19. Is h a multiple of 8?
False
Suppose -i - 5*d - 18 = 0, -i - i - 3*d = 1. Let a(q) = 2*q - 5 + 2*q**2 + i*q - 5. Is a(-7) a multiple of 10?
False
Let c(t) = -2*t**3 - 3*t**2 - 10*t + 5. Is 23 a factor of c(-5)?
True
Let b = -9 + 10. Let h be 29/(-6) + b/(-6). Let r(d) = -d**2 - 7*d + 3. Is r(h) a multiple of 5?
False
Let t(r) = -r**3 + 10*r**2 - 4*r + 4. Does 14 divide t(4)?
True
Let f(j) = 18*j + 35. Is f(12) a multiple of 11?
False
Let m(c) = -3*c - 3. Let k be m(-2). Let o be 2/k*(-10 - -1). Is -1 - o - (7 - 5) even?
False
Let s(c) = -26*c + 1. Let d be s(1). Let u = -50 + 11. Let f = d - u. Is f a multiple of 6?
False
Let b(q) be the third derivative of 1/60*q**5 + 0*q**3 + 3*q**2 + 0 + 1/8*q**4 + 0*q. Is b(-4) even?
True
Let p be 1*(-2)/(-6)*12. Suppose p = -b, c - 5*b - 63 = 11. Suppose 5*q = 2*q + c. Is 9 a factor of q?
True
Does 5 divide 1/((-140)/145 + 1)?
False
Let w = -2 - -4. Let r = w - -9. Is 4 a factor of r?
False
Let m(w) = -w. Let k be m(-3). Suppose 0 = k*h - 9 - 48. Let z = -9 + h. Does 10 divide z?
True
Let i(w) = -w - 4 - 4*w + w. Let v be i(3). Is v/6*(-27)/4 a multiple of 9?
True
Let b be 1/2 - 5/(-2). Let h be (12/2)/b + -1. Does 6 divide h*(-3 - -2) - -19?
True
Let s = 11 - 5. Does 2 divide s?
True
Let m = 30 - 6. Suppose g = -0*g + m. Is g a multiple of 8?
True
Let t(b) = -b**2 - 7*b - 7. Let i be t(-5). Suppose 0 = -s - i*q + 31, 3*s + 10 = 5*q + 33. Does 8 divide s?
True
Suppose 4*i = 6*i - 26. Is 13 a factor of i?
True
Is 22 a factor of (-6)/(-4) + (-170)/(-4)?
True
Let r be (6 + -2)/(-12)*-21. Suppose -2*v + z = -r, 5*v - 8 = -2*z + 14. Is 4 a factor of v?
True
Let o(p) be the first derivative of 2*p**3/3 + 5*p**2/2 + 4*p + 5. Is o(-3) a multiple of 4?
False
Let m(t) = 97*t**3 + t**2. Is m(1) a multiple of 49?
True
Suppose 0 = 3*u - 3*o - 93, 6*o = 4*u + 3*o - 128. Does 5 divide u?
True
Let q(u) = 25*u**2. Suppose r = -3*h, 5*h + 4 + 4 = r. Is 12 a factor of q(h)?
False
Let u(v) = -30*v + 15. Is 18 a factor of u(-5)?
False
Let k(p) = 136*p**2 - 8*p - 7. Does 16 divide k(-1)?
False
Suppose -12 = -3*s + s. Let x be 18/(4/((-16)/s)). Is -4*(0 + 33/x) a multiple of 7?
False
Suppose 0*r + 93 = 3*r + o, -124 = -4*r + 2*o. Does 5 divide r?
False
Let i = 8 + -6. Suppose u = 3*f - 151, -2*u - 109 = -i*f - 3*u. Is 11 a factor of f?
False
Suppose -p - 3*p + 342 = -3*j, -j - 86 = -p. Does 12 divide p?
True
Suppose 3*i - 2*c - 669 = 0, 2*i + 5*c + 1110 = 7*i. Does 12 divide i?
False
Let n = 5 + -3. Suppose -144 = n*w - 6*w. Suppose -a + 3*a = w. Is 18 a factor of a?
True
Let m be 6/9*(-45)/6. Let t = m - -10. Is t a multiple of 2?
False
Suppose 0 = 2*n + 2*i + 4, 5*n = 4*i + 20 + 6. Let d(m) = 0 + 2 - m + n*m**3 - m. Does 7 divide d(2)?
True
Let h be -2 - 0/(-3) - -2. Suppose 0*l + 2*l - 10 = h. Suppose -l*i + 3*a + 142 = -75, 5*i + 5*a = 225. Does 20 divide i?
False
Suppose -4*m - 4 = -3*b, -m - m - 16 = -5*b. Suppose -3*u - 6 = -3*k, 5*k + u + 0 + 2 = 0. Suppose -3*p + m = -k*h + 2*h, 3*h + 3*p - 9 = 0. Does 7 divide h?
True
Suppose q = -2*q + 258. Let g = -16 + q. Does 10 divide g?
True
Suppose -3*u = -5*u + 10. Is u a multiple of 5?
True
Let k(g) = 2*g + 2. Let d(n) = n + 1. Let z(u) = -6*d(u) + k(u). Let x(o) = 5*o + 3. Let v(s) = 5*x(s) + 4*z(s). Does 3 divide v(1)?
False
Let i = 2 - 0. Suppose -1 + 9 = i*w. Suppose 3*l + 4*f - 68 = 0, -2*l + 72 = 2*l - w*f. Is 20 a factor of l?
True
Let t be ((-30)/(-9))/2*3. Suppose -t*h + 46 = -3*v + 111, 2*h - v = -25. Does 6 divide (24/20)/((-1)/h)?
True
Let z = -132 - -235. Suppose 0*w + z = 4*w + 3*y, -4*w + 3*y = -73. Is 11 a factor of w?
True
Suppose 106 + 113 = 5*a + 2*l, 2*l = -2*a + 84. Does 6 divide a?
False
Let j = -3 + 7. Suppose 0 = j*l - 6 + 26, 0 = 4*b + l - 119. Is b a multiple of 15?
False
Let h(p) = -p - 2. Let m be h(-5). Let w(f) = f**3 - 3*f**2 + f + 4. Is 2 a factor of w(m)?
False
Let b(i) = -14*i - 6. Does 39 divide b(-6)?
True
Suppose -3*a = -12 - 0. Let l be (a + 20)*2/(-4). Is 2 a factor of l*(10/6 - 2)?
True
Suppose 2*r - r = -i + 268, -4*r + 3*i + 1100 = 0. Is 34 a factor of r?
True
Let g(k) = -2*k + 9. Suppose -5*p + 2*r = 22, -p - 3*r - 2 = -r. Is g(p) a multiple of 7?
False
Let v be (-1 + 1)/(2 - 3). Suppose -r - 1 = v, -r + 9 = 2*g - 0. Does 6 divide (7/1)/(6 - g)?
False
Suppose 0 = g + 5 - 0. Let p(q) = 2*q**2 + 7*q + 4. Is p(g) a multiple of 6?
False
Let f(i) be the second derivative of -i**5/10 - i**4/6 - i**3/3 + 3*i. Let m be 1 + -6 + 9/3. Is f(m) a multiple of 12?
True
Let y = 48 + -22. Is y a multiple of 13?
True
Let z = 1 - -4. Suppose 282 + 113 = z*j. Is j a multiple of 20?
False
Let c = 17 + 100. Is 13 a factor of c?
True
Let i(g) = -37*g + 0 + 0 - 1. Let d be (1/(-3))/((-4)/(-12)). Does 16 divide i(d)?
False
Let v(n) = -n - 2. Let t be v(-2). Suppose 3*h - 9 - 36 = t. Does 5 divide h?
True
Suppose -4*a + 6 = -6. Let m(j) = -7*j**2 + j + 1 + 7*j**2 + a*j**2. Does 2 divide m(-1)?
False
Suppose -5*k = -5*t + 60 - 520, -2*k + 187 = -5*t. Let j = k + 23. Suppose -4*a = 2*z - j, 0 = -0*a - a - 4*z + 18. Does 15 divide a?
True
Suppose m - 7 = 1. Let o = 3 - m. Is 16 a factor of ((-26)/o)/(4/20)?
False
Is (0 - -1) + (-48)/(-4) a multiple of 12?
False
Is (4 + 3 + -4 - 4)*-3 a multiple of 2?
False
Let n = 51 - 30. Is 10 a factor of n?
False
Suppose 22 = 2*q + 6. Suppose -4*b + q = -3*b. Does 7 divide b?
False
Let q = 9 + -6. Suppose 0*z - q*z + 15 = 0. Suppose -z*o + 4*o = -30. Does 11 divide o?
False
Suppose -13 = -2*j + 17. Suppose l + 2*l - j = 0, 5*u = -2*l + 355. Does 23 divide u?
True
Suppose 2*v = -2*v - 3*h - 92, -3*v = -2*h + 86. Let u = v - -47. Is u a multiple of 21?
True
Suppose 6*r = r. Let l be 2 - r - 10/(-5). Suppose l*j + 47 = -5*p + 197, 2*j + 30 = p. Is p a multiple of 17?
False
Does 5 divide (-9)/(-18) + (-129)/(-6)?
False
Let x be (-4)/6*(7 + -10). Is 14 + -4*(-1)/x a multiple of 15?
False
Suppose 10 = -5*n + 250. Is 13 a factor of n?
False
Let y(d) = -d**2 - 10*d - 7. Let w = 7 - 12. Is y(w) a multiple of 12?
False
Let i be (-5)/(10/(-48)) - -2. Suppose -3*p + 51 = 3*c, -c = -3*p + i + 25. Is p a multiple of 17?
True
Suppose 1479 = -5*p - 2*m, -2*m - 5 = -1. Let x = -171 - p. Is 33 a factor of x?
False
Suppose -3*w - 2*w = -370. Let v = w + -49. Suppose 2*r - v = r. Is r a multiple of 20?
False
Suppose -5*l + 6 + 4 = -5*i, -2*i = 5*l + 4. Suppose -4*k = -5*q + 45, l*q - 5*q - 5*k = 0. Does 4 divide q?
False
Suppose g = 33 + 19. Suppose 0 = -3*z - z + g. Is z a multiple of 9?
False
Let y be (-2 + 1)*(-24)/(-2). Let n = 22 + y. Is 8 a factor of (-3)/15 - (-132)/n?
False
Suppose 2*t - 131 = 127. Suppose d = -2*d + t. Is 14 a factor of d?
False
Suppose 0 = -o + 53 + 131. Is o a multiple of 46?
True
Sup