5). Is 5 a factor of h/12 - c/3?
True
Let v(x) = x + 14. Let p(k) = -k - 9. Let n(d) = -7*p(d) - 5*v(d). Let f be n(5). Suppose 1 = f*l + 5*c - 212, -2*c = 3*l - 213. Is 24 a factor of l?
False
Let b be -2*(0 + -1)*11. Suppose 4*r = -i + b, -3*i - 4*r + 18 = -64. Suppose -7*a + i = -4*a. Does 3 divide a?
False
Suppose 3286 = 8*l - 1002. Does 17 divide l?
False
Is 721 + (7 - -4 - 7) a multiple of 20?
False
Let t = -13 - -7. Let y be 234/10 - t/10. Suppose -4*p + y = a, -3*p + 9 = 5*a - 9. Is 6 a factor of p?
True
Let i(m) = -m**3 - m**2 - 2*m - 3. Let j be i(-2). Suppose -v - 45 = 4*q - 129, -j*q = -5*v - 80. Is 3 a factor of -2*(q/5 - 6)?
False
Let x(y) = y**3 + 5*y**2. Let c be x(-5). Suppose c = -0*q - 3*q + 45. Is 5 a factor of q?
True
Let c(b) = 2*b**2 - 2*b - 14. Let w be c(-4). Suppose -5*h + w = -4*v - 92, 2*v = -2*h + 40. Is 22 a factor of h?
True
Suppose 3*g - 108 = 15. Suppose 0 = -20*q + 15*q + 1010. Suppose -w - 3*n - 2*n = -g, 4*w + n - q = 0. Does 17 divide w?
True
Suppose -3*v + 4*o + 29 = 0, -o + 1 = 2*v - 0*o. Suppose v*w - 5*p = -10*p + 105, 2*w = 2*p + 54. Does 22 divide w?
False
Let g(v) = 75*v**2 + 13*v - 4. Does 7 divide g(2)?
True
Is 9*(-8)/(-180)*175 a multiple of 10?
True
Is 18 a factor of 15176/42 - (-16)/(-12)?
True
Suppose -10 = -2*y - 2. Suppose 6 = 5*v - y, 2*w + 4*v - 58 = 0. Suppose o + 4*f = w, -3*f - f = 2*o - 38. Is o a multiple of 13?
True
Let q = 2884 - 228. Is q a multiple of 13?
False
Let s(m) = 24*m**3 - 2*m**2 + m. Let h be s(2). Suppose -i - q - 3*q + 90 = 0, 2*i - h = -2*q. Is i a multiple of 16?
False
Let d(v) = -2*v**2 + 78*v - 41. Does 23 divide d(34)?
True
Suppose 5*z + 5 = -2*h + 3, -3*h + 5*z = -22. Suppose 0*t + 2*t = h*o - 2, 0 = -5*o + 3*t. Suppose 2*x = 3*r + 175, -2*x - x = o*r - 225. Does 14 divide x?
False
Let v = -1587 + 2687. Does 9 divide v?
False
Is 92 a factor of (-1704 + 23)/(-3 - -2)?
False
Let v(o) = o**3 - 13*o**2 + 21*o + 2. Let q be v(12). Suppose c + c = q. Is c a multiple of 11?
True
Let t = -14 + 45. Suppose -t*x + 30*x = -100. Is 13 a factor of x?
False
Let z(b) = b**3 + 2*b**2 - 8*b + 24. Does 9 divide z(3)?
True
Let i be (2/4)/(2/16). Let z(o) = 10*o - 2 - i*o + 3. Is z(1) a multiple of 7?
True
Suppose h + 1 = 4. Suppose h*t - q = 304, q - 131 = -2*t + 70. Let a = t - 55. Does 23 divide a?
True
Let u be 79/(7 - 4 - 2). Let j be (u - -1) + -25 + 29. Suppose -3*w + j = -w. Does 14 divide w?
True
Suppose 5*b = 15 - 0. Suppose 0 = b*g - 2*g - 228. Is 19 a factor of (2/6)/(4/g)?
True
Let m = -12 - -17. Suppose 2*s + m*f = -11, -3*f + 1 = 5*s - 0. Suppose -5*g + 91 = -4*a, -s*g + a + 18 = -16. Is g a multiple of 5?
True
Suppose 75*z - 85*z + 34730 = 0. Does 23 divide z?
True
Suppose -3*w = 4*u + 207 - 627, 5*w = u + 700. Suppose 31*g = 36*g - w. Is 16 a factor of g?
False
Let h(o) = 2*o - 2. Let t be h(0). Let b = 3 + t. Is 3 a factor of 2*b*(-8)/(-2)?
False
Let k be 3/2*3/(9/(-4)). Is 21 a factor of 10355/133 - k/14?
False
Suppose 6*p + 59535 = 55*p. Is 69 a factor of p?
False
Let r(p) = 3*p**2 + p + 1. Let x be r(-2). Suppose 0 = -5*c - 1 + x. Suppose -3*t = -5*n - 146, -3*n + c*n = -5*t + 236. Does 9 divide t?
False
Suppose -4*z + 3*i = -2*i - 972, 3*z = -5*i + 729. Does 27 divide z?
True
Let t(y) = 2*y**3 - 2*y**2 - 5*y + 12. Let l(m) = 5*m**3 - 7*m**2 - 14*m + 35. Let j(c) = 3*l(c) - 8*t(c). Is j(-6) a multiple of 20?
False
Let o = 1871 + -810. Is o a multiple of 6?
False
Let i(t) = 64*t + 434. Does 7 divide i(0)?
True
Suppose -l = 2*s + 3*s - 19, 3*l = s - 7. Suppose -5*n + 237 = s*y - 3*y, -5*n + 249 = -3*y. Let u = n - 33. Does 15 divide u?
True
Let v = 423 + -420. Is v a multiple of 3?
True
Let j(w) = 2*w**2 + 11*w - 6. Let o(c) = -2*c - 2. Let h be o(-12). Let b be (-2)/((-4)/h)*-1. Does 21 divide j(b)?
False
Let a be 5/20 - (-1)/(-4). Let w be 3 + (2 - (a + 1)). Suppose -w*s + 0*s + 4*p + 104 = 0, -2*s + 50 = -4*p. Does 11 divide s?
False
Let v(t) = 2*t**3 - 2*t**2 + t - 2. Let b be v(2). Suppose -32 - b = -5*s. Let o(x) = x + 8. Is 7 a factor of o(s)?
False
Suppose 1495 = 10*z - 4995. Is 4 a factor of z?
False
Suppose -2*k = -0*k + 18. Let i be 270/(-2)*(8 + k). Suppose -5*z - 3*p = -i, 2*p + 0*p + 10 = 0. Does 7 divide z?
False
Let w(x) = 2*x + 8. Let p be w(-6). Let u be (-170)/(3/(6/p)). Let o = -61 + u. Does 8 divide o?
True
Let t(y) = -3*y**2 - 16*y + 7. Let f be t(-5). Suppose 8*l = f*l - 116. Is l a multiple of 23?
False
Let o(j) = 2*j**2 - 2*j - 3. Let x be o(-7). Let q be (-1940)/25 - 2/5. Let y = q + x. Is 12 a factor of y?
False
Suppose -t - 6 = -0*t. Let f be 1 + -3 + t + 1. Is 65/7 + 2/f a multiple of 9?
True
Suppose 31*s = 26*s + 2*x + 881, 2*s + 2*x - 344 = 0. Does 10 divide s?
False
Suppose 4*x + 35 = -3*j, 3*j + 0*x + 40 = x. Let g(d) = d**2 + 13*d - 2. Let h be g(j). Let w(v) = -9*v**3 - 4*v**2 - 6*v - 3. Is 13 a factor of w(h)?
True
Suppose 120 - 34 = -4*p - 2*b, b = 4*p + 95. Let h = 136 + p. Does 14 divide h?
False
Is 181 + (30/120)/((-1)/20) a multiple of 11?
True
Suppose -30*a + 16 = -32*a. Is 120 + 0*2/a a multiple of 24?
True
Suppose -4*d - 1613 = 5*t, 0 = d + 3*t + 153 + 259. Let l = -177 - d. Does 11 divide l?
True
Is 9 a factor of 27/(-4) + 7 - 20086/(-8)?
True
Let y(b) = b**3 + 6*b**2 - 8*b - 17. Is 3 a factor of y(-4)?
False
Suppose 0 = -121*x + 127*x - 1944. Is x a multiple of 12?
True
Let p = -17 - -10. Let z = p + 9. Suppose 32 = 4*w - n - 36, z*w = 2*n + 28. Is 18 a factor of w?
True
Suppose 5*i - 358 = 1337. Let z = i + -25. Does 24 divide z?
False
Suppose -4*y + 0 = g - 14, -4*y = -g - 10. Let a(c) = 0*c + y*c + 2*c - 3 + 2*c. Is a(5) a multiple of 16?
True
Let f(g) = 39*g - 76. Is 4 a factor of f(11)?
False
Let i = 3294 + -2153. Does 41 divide i?
False
Let x(w) be the second derivative of 5*w**4/12 + 3*w**3/2 - 5*w**2/2 - 15*w. Does 19 divide x(4)?
False
Is (57 + -65)/((-4)/78) a multiple of 6?
True
Is 34173/15 + ((-12)/15)/4 a multiple of 17?
True
Let y = -3210 - -4510. Is 20 a factor of y?
True
Let r be ((2/(-6)*0)/(-2))/(-1). Suppose r = 3*a - 9, 2*a = -5*c + 3*a + 227. Does 13 divide c?
False
Let m = 1 + 29. Suppose 5*i + m = 3*p, -4*p + 4 = -2*i - 8. Is (-4)/6 + (-124)/i a multiple of 10?
True
Let c(u) = -u - 3. Let q be c(-4). Let b(i) = 87*i**2 + i - 3. Does 11 divide b(q)?
False
Let t = 138 + 1213. Does 28 divide t?
False
Let c = 258 - 163. Let x = -20 - -79. Let m = c - x. Is m a multiple of 12?
True
Suppose -6*y + 351 = -3*y. Suppose 0 = 2*w - y - 63. Suppose 7*i = 10*i - w. Is i a multiple of 15?
True
Let f = 183 - 39. Is 36 a factor of f?
True
Let j(t) = -2*t**3 - t. Let w be j(-1). Let v(c) = 3*c**2 - 5*c - c**3 + w*c**3 - 6*c**2 + 3. Is v(3) a multiple of 15?
True
Let v(m) = 2*m**2 + 12*m + 5. Is v(-8) a multiple of 4?
False
Let s(l) = l**3 - 4*l**2 + 15*l + 35. Does 64 divide s(10)?
False
Let o = -2886 + 4693. Does 22 divide o?
False
Let c be (-2 + (4 - 3))*2. Is 3 a factor of 16 + (c - -1 - 0)?
True
Suppose 8 = -2*g - m, 5*m - 3 = -2*g + 5. Let a = g + 8. Suppose -7*z + a*z + 190 = 0. Does 15 divide z?
False
Suppose 22*y - 3 = 21*y. Suppose -6*b + 3 = -y*b. Is 13 a factor of (b/(-1) - -4) + 74?
False
Let a(g) = g**2 + 2. Let u(s) = -2*s**2 - 5*s - 18. Let h(t) = 3*a(t) + u(t). Let d(w) = -3*w**2 - 4*w - 3. Let c be d(-2). Does 36 divide h(c)?
True
Suppose m - 15 = -2*m - 4*r, 4*m - 13 = -3*r. Suppose 5*a + 9 = -m. Is -2 + a/1*-9 a multiple of 16?
True
Let r(w) be the second derivative of 7*w**3/6 + 15*w**2/2 - 4*w. Let x = 63 + -52. Does 27 divide r(x)?
False
Suppose 5*j - 2*l = 7904, -5*j + l + 8277 = 375. Is j a multiple of 36?
False
Suppose -4 = q + 4*j + 2, 2*q - 24 = 4*j. Let n(m) = 13*m + 3. Let z be n(q). Suppose 2*k - 31 = z. Is k a multiple of 18?
False
Suppose -3846 = -37*o + 24903. Is o a multiple of 7?
True
Suppose 4*f + 28 = -2*s + s, 5*s - 2*f + 30 = 0. Let p(a) = a**2 + 5*a + 8. Is p(s) a multiple of 8?
True
Suppose 0*y - 1940 = -2*t - 4*y, -3*t - 3*y = -2901. Is 12 a factor of t?
False
Let j = -53 + 47. Suppose 5*s = -1 + 46. Is 9 a factor of (s/j)/(6/(-172))?
False
Does 11 divide (28/16)/((-4)/(-64))?
False
Suppose 5*f - 3*p - 285 = 0, -290 + 85 = -3*f - 5*p. Is f a multiple of 12?
True
Let u = -115 - -1043. Does 32 divide u?
True
Suppose 77*n = 101*n - 5400. Is n a multiple of 6?
False
Let b