?
True
Let v(u) = 6*u + 1. Does 7 divide v(1)?
True
Suppose 4*r = r + 12. Suppose 0 = r*c + c. Suppose -6*o + 2*o + 16 = c. Does 2 divide o?
True
Is (-18)/(60/(-16) - -3) a multiple of 3?
True
Let p be (-1)/(-6)*3*2. Let r be (-1 - -3)*4/(-8). Is (-12)/(-3 + (p - r)) a multiple of 6?
True
Suppose -4*q - d = -17, 11 = 5*d - 14. Let h = q + -3. Suppose h = 5*o + 25, 3*n - 5*o - 80 = 23. Is n a multiple of 13?
True
Let o(h) = -h**2 - 11*h + 15. Let s be o(-11). Suppose 5*d = 40 - s. Is d a multiple of 3?
False
Let x = -22 - -48. Is 13 a factor of x?
True
Is 7 a factor of 138/8*(-32)/(-12)?
False
Let d(w) = -w**2 - w + 15 + 0*w**2 + 1. Is 16 a factor of d(0)?
True
Let q = 148 + -87. Does 7 divide q?
False
Let t = -182 - -270. Does 10 divide t?
False
Suppose 2 = w - 0. Let z be 1*(w + (-22)/2). Let o(y) = y**2 + 10*y + 11. Is o(z) even?
True
Suppose 5*z - 3*w + 0 = -12, 0 = -4*z + w - 4. Let y = 9 - z. Suppose -4*l + 15 = -y. Is l a multiple of 6?
True
Let z(m) = -15*m - 3. Is 9 a factor of z(-7)?
False
Suppose 4*i + 3*m = 24 - 8, -m - 20 = -5*i. Suppose 4*d = 4*f + f + 1, i*d + 5*f = 31. Is d a multiple of 4?
True
Let c be (-6)/27 + 166/18. Let n(h) = 5*h + 13. Is 19 a factor of n(c)?
False
Let f(t) = -t**2 + 3*t + 3. Let p be f(5). Let j = 11 + p. Does 11 divide (78/(-3))/(2 - j)?
False
Let i be ((-6)/4)/((-9)/30). Suppose -12 + 0 = -4*n + 2*u, i*n = 2*u + 15. Is (2/n)/(2/18) a multiple of 6?
True
Let k(y) = y. Let t(f) = f. Let q(c) = -4*k(c) + 2*t(c). Does 13 divide q(-11)?
False
Let h(m) = -m**2 - 5*m + 11. Let a be h(2). Let x(f) = 7*f - 4. Let j(v) = -v - 1. Let l(w) = 2*j(w) - x(w). Is l(a) a multiple of 20?
False
Suppose 157 = s - 8. Is 15 a factor of s?
True
Suppose 13 = -z + 1. Is 13 a factor of 8/z + 240/9?
True
Let z(f) = 5*f**2 - 7*f - 9. Does 33 divide z(-4)?
True
Suppose -38*g + 24 = -37*g. Is 12 a factor of g?
True
Let q be 3 + 3 - (0 - -2). Suppose x = -q*f - x + 30, -4*x = -3*f + 17. Is f a multiple of 5?
False
Let n = -10 - -11. Let u = 19 + -4. Is 10 a factor of 50*(21/u - n)?
True
Suppose l - 40 = -3*l. Is 5 a factor of l?
True
Let j = -48 - -68. Suppose d + 2 - 4 = p, 3*d + 4*p - j = 0. Does 2 divide d?
True
Let v be 1 + -2 - (-3 - -1). Let i be 2*(v - 0) - -3. Suppose -3*x + 4 + i = 0. Is x a multiple of 3?
True
Let c(u) = 6*u**2 - 1. Let x be c(1). Let y(d) = 9*d**3 + 7*d**2 + d - 1. Let b(o) = -4*o**3 - 3*o**2 + 1. Let p(z) = x*b(z) + 2*y(z). Does 8 divide p(-2)?
False
Let v(b) = 11*b**2 + b. Let q be v(1). Suppose -1 = 4*g + z - 5, 3*z + q = 0. Suppose -u - g*r + 15 = -r, u - 5*r - 3 = 0. Is u a multiple of 5?
False
Let h be 43/(-2) - (-2)/(-4). Let m = 22 - h. Is m a multiple of 22?
True
Let p(q) be the second derivative of q**5/20 - q**4/4 - 5*q**3/6 - q**2 + 4*q. Does 9 divide p(5)?
False
Let i be -2 + -8*3/(-6). Let p be 2 - ((i - 1) + 1). Suppose p*o + 38 = o. Is o a multiple of 19?
True
Suppose m - 1 = -5*k + 24, 0 = -5*m - k + 173. Suppose -28 = -2*c + v - 3*v, -4*c + m = -3*v. Is 4 a factor of c?
False
Does 50 divide (164/5)/(14/35)?
False
Is ((-46)/(-6))/((-9)/(-81)) a multiple of 23?
True
Suppose 40 = 2*o + 3*o. Suppose 0 = -4*r + o*r - 56. Does 14 divide r?
True
Let w = -12 - -14. Suppose -k + w*k = 44. Is k a multiple of 11?
True
Let d(t) = -2*t**2 + 5*t**2 - 4*t**2. Let c be d(1). Is 11 a factor of 34 - (-1 - (c - 2))?
False
Suppose 5*a - 138 = -4*t, -2*t = -2*a - 0*t + 48. Is 13 a factor of a?
True
Let p = 38 + -80. Let w = -13 - p. Is w a multiple of 15?
False
Suppose -6*c + 4*c = 0. Does 7 divide c - (-15 - (-4 + 3))?
True
Let x(p) = 14*p + 5. Let j(g) = g. Let w(q) = 6*j(q) - x(q). Is w(-6) a multiple of 18?
False
Suppose 2*x = -2*x + 3*p + 64, -x = 4*p + 3. Suppose -3*f = -2*n + 30, 0 = -2*f - 2*n - 15 - 15. Is 3 a factor of x + (f/(-3))/(-2)?
False
Let a = 1 - -2. Suppose 8*b - 7*b = 4. Suppose 0 = -a*y - q + 16, -y + 2 = b*q - 3*q. Does 7 divide y?
True
Suppose 2*n + 464 = -2*n. Let m be 2/6 + n/(-3). Suppose -5*t + t = -i + 33, 3*t - m = -3*i. Is i a multiple of 8?
False
Let b(z) = 3*z**3 - z**2 - 2*z - 1. Let d be b(-1). Suppose 3*a = 25 - 10. Does 2 divide (2/d)/(a/(-15))?
True
Let l be -2 + -1 - -1 - -68. Suppose l = 2*x - 0*w + 5*w, -4*x + 114 = w. Does 15 divide x?
False
Suppose -5*z + 2*z = 66. Let k = z + 32. Is 5 a factor of k?
True
Suppose 0 = -4*c + 4*g + 124, -2*c = -0*g - 3*g - 61. Does 16 divide c?
True
Suppose -2*i = 3*o - 12, i - 4*i - 16 = -4*o. Is (-57)/(-6) - (-2)/o a multiple of 10?
True
Let u = -13 + 22. Let w = u + -6. Suppose w*r - 136 = -r. Does 17 divide r?
True
Let b = 10 + -5. Suppose 5*m - b*u + 53 = 13, 5*u = 15. Let y(n) = -n**3 - 3*n**2 + 7*n - 2. Does 5 divide y(m)?
False
Let q = -7 + 11. Suppose 4*l - 8 = d, q*l = -d - 0*l + 16. Does 10 divide (d/12)/(2/60)?
True
Let w(d) = -d. Let m be w(-2). Suppose -17 = -m*b - 5. Let a = 22 - b. Does 5 divide a?
False
Let h be -2 + 0 + (-34)/(-1). Suppose 0 = 4*y + b - h, -4*y - 3 = -4*b - 15. Is 4 a factor of y?
False
Let t(y) = -y**3 + 10*y**2 - 4*y - 17. Let h be t(8). Let o = -46 + h. Is o a multiple of 10?
False
Let y(n) be the first derivative of -n**2/2 + 6*n - 4. Let f(c) = c**3 + c**2 - 2. Let s be f(-2). Is y(s) a multiple of 12?
True
Suppose q + 33 = -j + 3*j, -4*j - 5*q + 45 = 0. Let d = -8 + j. Is 4 a factor of d?
False
Suppose 0*g - 4 = -4*g. Suppose g = a - 0. Suppose -a = -3*t + 17. Does 3 divide t?
True
Let g = 41 + -25. Let a be 2/(-8) + 724/g. Suppose -4*y = -7*y + a. Does 14 divide y?
False
Let g = -51 + 75. Let o be (5/2)/(3/g). Suppose o = -5*j, 4*j = -4*s + 9*s - 111. Is 11 a factor of s?
False
Let i = 548 + -389. Does 27 divide i?
False
Let l be 4 - (3 - 3 - 1). Suppose a = -p + 23, 3*p - 11 = l*a + 42. Is p a multiple of 6?
False
Let v(p) = -p**3 + 6*p**2 + 8*p - 4. Let x be v(7). Suppose 0*i + x*i - 5*d + 30 = 0, -3*i - 3*d - 6 = 0. Let j = i + 7. Is 2 a factor of j?
True
Let z = -30 - -47. Let m = -7 + z. Is 5 a factor of m?
True
Let s be (3/9)/((-2)/(-12)). Suppose s*t + 2*x + 2*x = 8, 0 = -5*t - 4*x + 20. Suppose n - 3*n + 46 = 3*i, t*n + 5*i = 90. Does 20 divide n?
True
Let j(y) = 2*y**2 + y + 5. Let f be j(-3). Suppose -45 = -4*v + 3*v + 4*u, -f = 4*u. Does 11 divide v?
False
Let v = -1 - -1. Let q = 8 - v. Is q a multiple of 8?
True
Let l be (-3)/(-2)*(-50)/(-3). Let v be (3 + -4)*(0 + 1). Let t = l + v. Is t a multiple of 12?
True
Let k(q) be the third derivative of q**4/6 + q**3/6 + 2*q**2. Let m = 5 - 3. Is k(m) a multiple of 8?
False
Let r(y) = -10*y - 1. Does 9 divide r(-1)?
True
Is 3 a factor of (-2)/6 + 43/3 - 1?
False
Let t = 10 - 3. Suppose o - t = 2*c, -5*c + 2*o - 19 = -2*o. Let y = 16 - c. Is y a multiple of 11?
False
Let q(p) = -9*p - 2. Let l be q(8). Let b = l + 120. Is 23 a factor of b?
True
Let s(z) = z**3 - 6*z**2 + z - 4. Let h be s(6). Does 5 divide 14 - (0 - 2/h)?
True
Let v(q) = q**2 - 5*q - 2. Let u = 12 + -6. Is v(u) a multiple of 2?
True
Suppose -3*q + 3 = -6. Suppose q*g = 3*y - 66, -3*y + 5*g + 101 = 31. Is y a multiple of 5?
True
Suppose -4*g - 12 = 0, 4*g + g - 30 = -3*d. Let r(l) = l**3 + 10*l**2 + 10*l + 4. Let o be r(-7). Suppose 3*n + d = o. Does 8 divide n?
False
Is (8/(-10))/(3/(-60)) a multiple of 6?
False
Suppose b + 6 - 17 = 0. Is b a multiple of 3?
False
Let z(l) = 5*l**3 - 3*l**2 + l - 3. Let d(p) = p**3 - p**2. Let o(q) = 4*d(q) - z(q). Is o(-2) even?
False
Suppose -4*w + 5*f = -137, 33 + 133 = 5*w - f. Does 11 divide w?
True
Let z = -1 - 0. Suppose 0 = -2*a - 11 - 1. Let q = z - a. Is q a multiple of 2?
False
Suppose -4*c + 5*g - 17 = -5, 0 = -4*c + 2*g. Let a = c + 11. Does 5 divide a?
False
Let i(v) = v**3 - 5*v**2 - 6*v + 6. Suppose -3*s - 3 = -12. Suppose 12 = s*g - g. Is 3 a factor of i(g)?
True
Suppose -3*j - j = -280. Does 3 divide j?
False
Let u(s) = s + 1. Let b be u(-1). Suppose b = -2*k + 4 + 4. Suppose 5*p - 50 = 3*d + 75, -3*p + 46 = k*d. Is 11 a factor of p?
True
Suppose l + 4*l = 5. Is l*-11*(4 + -7) a multiple of 13?
False
Suppose -5*u - 76 = -0*z - 3*z, 5*z - 5*u = 110. Is 5 a factor of z?
False
Suppose h - 4*d = 32, -3*h + 3*d + 61 = 10. Let c = h + -9. Suppose -4*p = 5*t - 16, -c*p = 5*t - 4*t - 1. Is t a multiple of 2?
True
Let f = 13 - 8. Suppose f*j - 89 = 151. Is 16 a factor of j?
True
Suppose -2*j - j = -9. Suppose -2*c = -6*c + 8.