ose -f*h - 20 = h. Is 10 a factor of -9*6/9*h?
True
Does 6 divide 1*(70 + 1 + 1)?
True
Is 15 a factor of 60*((-28)/(-14) - (-3)/(-2))?
True
Suppose 4*n + 7 - 23 = 0. Let o(j) = -j**2 + j - 1. Let z(g) = -g**3 + g - 1. Let u(y) = 4*o(y) - z(y). Does 3 divide u(n)?
True
Suppose -5*q - 4*y + 230 = 0, 20 = -5*y - 5. Is 17 a factor of q?
False
Does 3 divide 3/2*6 + 4?
False
Suppose 0 = i + 3*i - 188. Is i a multiple of 11?
False
Let m = -8 - -89. Does 9 divide m?
True
Suppose 0 = 3*r + r, 2*w - 4*r - 104 = 0. Is 13 a factor of w?
True
Suppose -65 = -n - 4*n. Suppose -t + n = -6. Let b = -12 + t. Is b a multiple of 4?
False
Suppose -9 = -4*i + 15. Let s be (8/(-12))/(i/(-27)). Suppose s*c - 132 = -0*c. Is 12 a factor of c?
False
Let w(d) = -d**2 - 5*d - 4. Let c be 3/6 - (-7)/(-2). Let h be w(c). Suppose -4*j = -h*j - 18. Is 5 a factor of j?
False
Let j be 175/(-10)*(1 + -3). Is (-3)/4 - j/(-4) a multiple of 3?
False
Suppose -4*c = -c - 195. Let g be 1 + (-1 - -2) - -42. Let y = c - g. Is y a multiple of 13?
False
Suppose t + 10 = 6*t. Let i(c) = 1 - 4*c**2 + c**2 + 4*c**t + 3 + c. Is i(-4) a multiple of 11?
False
Suppose -2*d + 3 + 5 = 0. Let g be -1 - (-18)/2*1. Suppose -d*c + g = -20. Is 3 a factor of c?
False
Suppose 2*p - 41 = 55. Is p a multiple of 17?
False
Suppose 6*y - 39 = 3*y. Is 4 a factor of y?
False
Suppose -y + 9 - 1 = v, 52 = 5*v + 2*y. Suppose 3*q - v = 2*q. Is 12 a factor of q?
True
Suppose -2*g - 1 = -2*k + 11, 2*k = g + 10. Suppose 3*u - 11 = -2*q, k*u + 43 = 4*q + 3*u. Is 5 a factor of q?
True
Let z = 0 + 2. Suppose -35 = -5*q + 5*g, -16 = -z*q + 3*g - 0*g. Let n = q + -1. Is n a multiple of 2?
True
Let b(f) = 4*f**2 - 7*f - 86. Does 20 divide b(-6)?
True
Let h(g) = -g**3 + 11*g**2 + 5*g + 9. Is h(10) a multiple of 39?
False
Suppose -2*a - 3*a = -100. Is a a multiple of 8?
False
Suppose -3*v - 3*w + 492 = 0, -5*v + 0*w + 808 = 2*w. Suppose 0 = 2*o + 3*o - v. Suppose 3*c - 109 = o. Does 21 divide c?
False
Suppose -27 + 306 = 3*j. Suppose h - 11 = j. Suppose -2*n - 2*n + h = 0. Does 13 divide n?
True
Suppose 3*s - 405 = -2*s. Does 27 divide s?
True
Suppose 0 = -2*d + 2*q + 46, 2*q = -3*d + 7*d - 98. Does 13 divide d?
True
Let q(n) = -11*n - 6. Let s be q(-6). Suppose 2*w = 4*m + s, -3*w + m + 78 = -2*m. Does 10 divide w?
False
Suppose t + 2*t = 9. Suppose 3*w = 7*w - 128. Suppose -t*d = -w - 58. Does 10 divide d?
True
Let a(l) = -15*l + 1. Let h(v) = -44*v + 3. Let c(o) = -7*a(o) + 2*h(o). Let d be (-4)/(-12)*(-1 + 4). Is c(d) a multiple of 8?
True
Suppose -3*g + 62 = -178. Suppose -4*h + 4*m = -197 + 53, -g = -2*h - 2*m. Is 15 a factor of h?
False
Suppose -2 = -b - b. Does 2 divide ((-7)/b)/((-2)/2)?
False
Is 115 - (-2 + -1 + 7) a multiple of 15?
False
Suppose 7*y = 8*y. Suppose 2*g - 4 - 60 = y. Is 16 a factor of g?
True
Let m be (-38)/(-6) + 2/(-6). Let z be 1 - 1 - (-5 + -3). Suppose -z - m = -2*b. Does 3 divide b?
False
Suppose -j = 4*j + 5. Does 17 divide 1 - (j - 16) - 1?
True
Let n(w) = -32*w - 3. Let d be n(-4). Suppose 5*j + d = 335. Is 13 a factor of j?
False
Let w = 108 - 69. Does 13 divide w?
True
Let a = -2 + 5. Suppose -2*i = 2*i - 4*t - 36, i - a*t - 9 = 0. Is 6 a factor of i?
False
Let n = -43 + 120. Does 7 divide n?
True
Suppose -22 = -2*n + 26. Is n a multiple of 24?
True
Suppose n = 3*n - 22. Suppose n = -2*m + 37. Is 8 a factor of m?
False
Let y = 16 - 11. Let z(m) = 3*m**2 + 2. Is 21 a factor of z(y)?
False
Let f(n) be the second derivative of -n**3/3 + 5*n**2 + 4*n. Let u be f(-7). Suppose -47 = -2*v + 5*s, 2*v - 14 = -4*s + u. Does 7 divide v?
True
Let a(q) = 4*q**3 - 6*q**2 + 10*q - 2. Is 16 a factor of a(3)?
False
Let m = -203 + 303. Is 25 a factor of m?
True
Let w = 8 - -46. Does 18 divide w?
True
Let v = -25 + 145. Let h = v + -51. Is 19 a factor of h?
False
Suppose 9*g - 7*g = 4. Suppose -2*d = 3*d - 75. Suppose l = -g*l + d. Is l a multiple of 2?
False
Let l(k) = k**2 + 10*k + 6. Let v be l(-9). Let i = 7 + v. Is (-30)/(-7)*(3 + i) a multiple of 15?
True
Let f(v) = v**3 + 4*v**2 + 4*v + 2. Let r be f(-2). Let y(t) = 4*t**3 - 3*t**3 - 9*t**2 + r*t**2 + 7. Does 6 divide y(7)?
False
Let f(b) = b + 12. Let h be f(-8). Is 2 a factor of (h - -1)*77/35?
False
Let z be 18/(-3)*2/6. Does 8 divide (-3)/z + 90/4?
True
Let s = -6 - -8. Suppose -s*f = -3*f. Suppose f = -m + 5*m - 92. Is m a multiple of 17?
False
Let p(j) be the second derivative of 3*j**2 + 2*j + 2/3*j**3 + 0 + 1/12*j**4. Is 11 a factor of p(-5)?
True
Suppose d = 5 - 1. Suppose -28 = -3*c - d. Is c a multiple of 4?
True
Let z = 0 + 1. Let d be 1/(-1 + 84/81). Is (d - 1)/(z/1) a multiple of 13?
True
Let r(b) = -b**3 - b**2 - b - 1. Let u(h) = 2*h**3 + 2*h**2 + 4*h + 4. Let a(o) = 3*r(o) + u(o). Let t be a(-2). Does 3 divide 1 + 12/(-1 + t)?
False
Let i(b) = -b**2 + 6*b - 5. Let f be i(4). Suppose -3 = x - z, 0 = -x + 5*z - 3 - 4. Let v = f - x. Is v even?
False
Let f = -6 + 18. Suppose -5*d + d + f = 0. Does 9 divide (-1 - -19)/(4 - d)?
True
Let d(h) = 1 + 21*h + 4 - 4. Let p(i) = i + 5. Let k be p(-4). Does 8 divide d(k)?
False
Suppose 13 = -2*l - 3*p + 4*p, 4*p = -4. Let z = l + 40. Does 11 divide z?
True
Let d be (0/(-1))/(10/(-5)). Suppose -4*u = -8, -3*i + i + 4*u + 68 = d. Does 19 divide i?
True
Let u(q) = 48*q**2 - 1. Does 19 divide u(-1)?
False
Is 33 a factor of (-25)/(1 + 12/(-10))?
False
Suppose w + 4*l - 141 - 3 = 0, 0 = -4*w - l + 606. Is 38 a factor of w?
True
Let q(v) = v**3 + 5*v**2 - 9*v - 7. Suppose p = 2*h - 0 + 16, -5*p = 4*h + 4. Let f be q(h). Suppose -4*x = -2*d + 14, 4*d - x - f = 3. Is 3 a factor of d?
True
Suppose 4*c + 404 = 5*z + 2*c, -5*z + 398 = -4*c. Is 7 a factor of z?
False
Let z(f) = -f + 31. Is z(17) a multiple of 3?
False
Let n(o) be the third derivative of -7*o**4/24 - o**3/6 - 2*o**2. Let q(u) = 2*u + 10. Let h be q(-9). Is n(h) a multiple of 22?
False
Let l(a) = a**2 - 13*a - 27. Does 3 divide l(15)?
True
Let r = -73 - -125. Suppose 0 = x - 2*l - 28, -x - 4*l = -0*x - r. Is x a multiple of 11?
False
Does 2 divide 39/6 - 2/4?
True
Suppose s - 60 = -3*v, 0 = 2*s + 3*v + 2 - 131. Is 19 a factor of s?
False
Does 17 divide 16/(-4) + 144/(6/3)?
True
Let c(b) = 42*b. Is c(2) a multiple of 28?
True
Let i(z) = 2*z**2 - 9*z - 6. Let l = -16 - -23. Is 10 a factor of i(l)?
False
Let o(z) = -z**3 + 5*z**2 + 2*z - 7. Let f be o(5). Suppose 26 = -t + f*t. Is t a multiple of 13?
True
Let s(t) = -58*t**3 + 2*t**2 + t. Does 9 divide s(-1)?
False
Suppose -2 - 5 = r + 3*g, 4*g + 8 = 0. Is 29 a factor of (-3)/(7 + r)*-218?
False
Let v be 124/32 - (-3)/24. Suppose 4*z + 5*f - 50 = 0, 2*z - 24 = -v*f + f. Is z a multiple of 3?
True
Suppose y + 3*y + 3*f = 27, 5*y = -5*f + 35. Suppose -q - 25 = -y*q. Suppose q*z - 50 = 4*j, -10 = -0*z - z - 5*j. Is 5 a factor of z?
True
Let c be 4/16 - 1/4. Is (2 + c)*(-36)/(-8) a multiple of 5?
False
Suppose 2*y - 2*h = 74, -3*h = 3*y + 83 - 212. Does 25 divide y?
False
Suppose 3*o - 2*y + 30 - 10 = 0, -4*y - 2 = o. Let i(n) be the second derivative of -n**3/6 - n**2/2 + 2*n. Does 4 divide i(o)?
False
Suppose 0 = -12*b + 8*b - l + 888, 442 = 2*b + l. Is b a multiple of 16?
False
Suppose 3*w - 19 = -2*b + 17, 5*b - 115 = 5*w. Suppose 2*a = 2*n - a - b, 13 = -4*n - 5*a. Does 3 divide n?
True
Suppose 5 - 37 = -4*c. Is c a multiple of 6?
False
Let c(z) = -z**2 - 9*z - 1. Suppose 2*p = -3*p - 30. Is c(p) a multiple of 10?
False
Suppose -47 = 5*j - 172. Suppose 31 = 4*m - j. Is m a multiple of 7?
True
Let f = 0 + 3. Let g = f - 1. Suppose -g*l = -4*z - 18, -2*l - z = -l - 12. Is 11 a factor of l?
True
Suppose 5*w + 32 = 2*a + a, -8 = 2*w. Suppose 1 - 5 = a*y. Is 13 a factor of y/(3/(-3)) - -37?
False
Let y = -65 + 37. Let a = 136 + y. Is 28 a factor of a?
False
Let v = 54 - 19. Let r be (-97)/(-9) - (-2)/9. Suppose -2*o = 2*m - 24, -4*o + v = 2*m - r. Is 11 a factor of o?
True
Let x(k) = k**3 + 0*k - 11*k**2 + 7*k**2 + 5*k. Is x(5) a multiple of 25?
True
Suppose -w + 1 = -2. Suppose -w*i + i = -60. Does 10 divide i?
True
Suppose 0 = -v + 5, 0*y + 2*v - 19 = 3*y. Does 18 divide y + (4 - (0 + -17))?
True
Let q(t) = -t**2. Let l(b) = -4*b**2. Let v(y) = -l(y) + 3*q(y). Let a be v(0). Let o = a + 8. Is 4 a factor of o?
True
Let p = -16 - -18. Let q(f) = -8*f - 6. Let a be q(-5). Suppose -z + p*i = -48, 4*