73. Is v a multiple of 5?
True
Let m(b) = b**2 + 9. Let f = -1 - -1. Let h be m(f). Let y = h + 6. Is 15 a factor of y?
True
Suppose -j + 72 = -3*z, 4*j - z = -0*j + 233. Is 28 a factor of j?
False
Let w(o) = -3*o**2 - o - 3. Let y be w(-4). Let u = y + 67. Suppose -22 = -3*r + u. Is 5 a factor of r?
False
Let d be ((-108)/(-15))/((-6)/20). Is 4 a factor of ((-4)/3)/(4/d)?
True
Suppose 2*r + 2*v = -2, 5*r = 5*v + 45 - 0. Suppose -u = r*u - 75. Is 12 a factor of u?
False
Suppose 3*q + 3*q = 1008. Is q a multiple of 42?
True
Let h = 10 - -1. Is h a multiple of 5?
False
Does 33 divide -3 + 10*(-27)/(-2)?
True
Let s(p) = -8*p**2 + p. Let x be s(2). Let n = x + 50. Is n a multiple of 10?
True
Let w = 0 - 1. Let d(h) be the third derivative of -h**6/24 - 9*h**2. Is d(w) even?
False
Suppose 3*a + 0*a = 12. Let x be (3 - 2 - 33)*45/(-18). Suppose x + 28 = a*y. Is 13 a factor of y?
False
Suppose 0 = 2*b + 5 + 1. Is b/(((-18)/(-52))/(-3)) a multiple of 9?
False
Suppose 5*z - 242 = -87. Does 20 divide z?
False
Let j be (-8)/20 - (-3)/(-5). Is 12 a factor of (132/(-77))/(j/7)?
True
Let u(v) = 26*v**2 + v - 1. Suppose 5*q - 3*q + r - 3 = 0, q + 6 = -2*r. Suppose -4*n = q - 8. Is 10 a factor of u(n)?
False
Suppose 0 = d - 268 + 111. Is d a multiple of 18?
False
Suppose 2*m - 188 = -58. Suppose -l - m = -6*l. Does 13 divide l?
True
Suppose d + d + 512 = 0. Does 12 divide (-14)/63 + d/(-18)?
False
Let y(r) = r**3 - 8*r**2 + 12*r - 5. Let z(l) = -l**3 + 8*l**2 - 13*l + 6. Let a(h) = 5*y(h) + 4*z(h). Let i be a(7). Is 10 a factor of 10*(-5)/((-15)/i)?
True
Let o(v) = 2*v. Let k(w) = -13*w - 3. Let a(x) = -2*k(x) - 14*o(x). Let r(h) = -2*h**2 - 4*h + 1. Let y be r(-3). Does 6 divide a(y)?
False
Suppose -4*v + 30 = v. Suppose -2*p - 2*p + s + 33 = 0, 5*p = 2*s + 39. Let c = p - v. Is c even?
False
Suppose 4*w + w = -60. Let k = w - -5. Let n = 11 + k. Does 4 divide n?
True
Suppose 0 = p + 4*p - 30. Let y = p - 4. Suppose -y*l + 12 = 2*l. Does 3 divide l?
True
Let q = 0 + 1. Let b(z) = 3*z**2 + 2*z - 1. Let d be b(q). Suppose -d*i - i = -30. Is i a multiple of 6?
True
Let o = 5 + -2. Suppose 4*a - o*j + 0*j = 15, -2*a + 5*j = 3. Suppose -28 = -a*c + 4*c. Is 14 a factor of c?
True
Let j(g) = g. Let p(h) = -2*h - 4. Let t(b) = 4*j(b) - p(b). Suppose -1 - 5 = -i. Is t(i) a multiple of 20?
True
Suppose -5 = -2*i + 3. Let h(j) = j - 4 - j**3 - 2*j**2 - 2*j**2 - i*j + 0*j**2. Is 3 a factor of h(-4)?
False
Let a = -13 + 51. Is a a multiple of 19?
True
Is 14 a factor of ((-448)/(-48))/(4/6)?
True
Let l(y) be the third derivative of 1/24*y**4 + 0 + 1/2*y**3 + 0*y - 2*y**2. Does 7 divide l(6)?
False
Let a(y) = -5*y + 34. Does 19 divide a(-4)?
False
Let u = 10 - 5. Let l = -7 + 10. Suppose l*s - 24 = -3*x, -2*s + u*s - 24 = -x. Does 6 divide s?
False
Suppose -x = 2*x + 5*a - 17, -5*a = 5*x - 25. Suppose 0 = -x*n - 4 + 24. Does 4 divide n?
False
Let p = 10 - 5. Suppose 0 = -2*v - p*t + 5, 3*v - 2*v - 2*t = 7. Suppose -3*i + 6 = v*y - 33, 3*i - 2*y = 60. Is i a multiple of 16?
False
Suppose -d - 8 - 24 = -3*n, -3*n + 20 = -4*d. Suppose -n = -g - 3*g. Suppose 4*q + 5*u = 34, -2*u = q - g*u - 4. Is 2 a factor of q?
True
Does 32 divide -3 + (-64)/(-1) + 3?
True
Suppose 5*i = 5*h - 10, 6 = h - 5*i - 4. Suppose f + 0*f - 45 = h. Suppose -g + f = 2*g. Does 10 divide g?
False
Let t be ((-13)/2 + 1)*2. Let g(p) = -4 + 18 - 6*p + 2*p + 5*p. Is g(t) a multiple of 3?
True
Let d(j) = -7*j - 4. Is 9 a factor of d(-5)?
False
Let g = 32 - -20. Does 13 divide g?
True
Does 28 divide -1*(1 + -33*2)?
False
Suppose 4*h = -4*j + 8, 0 = 3*h - 2*j - 19 + 3. Suppose 0 = -3*u + h*b + 69, 2*u - 5*b = -2*b + 47. Is u a multiple of 5?
False
Suppose 0 = -z - 11 + 64. Does 11 divide z?
False
Suppose 0*d - 2*d = -62. Suppose 0*z = z - 4*f - 31, -d = -z + 3*f. Is 9 a factor of z?
False
Suppose -4*k - 93 = -477. Is k a multiple of 25?
False
Let x(q) = 14*q**2 - 2*q + 1. Does 5 divide x(1)?
False
Suppose -4*l = -195 - 133. Suppose 0 = -i - i + l. Is 15 a factor of i?
False
Let d be ((-168)/(-20))/(1/10). Let l = d - 11. Is 23 a factor of l?
False
Let d be 7 + 0 + 1 + -2. Let n = 14 - 9. Is d/10 + 162/n a multiple of 11?
True
Let o(u) = 7*u**3 - 5*u**2 + 6*u - 7. Does 23 divide o(3)?
False
Let h = 75 + -43. Does 6 divide h?
False
Suppose 4*x - 370 - 1038 = 0. Does 11 divide x?
True
Suppose 1989 = 9*i - 0*i. Is 47 a factor of i?
False
Let x(b) = -b**3 - 6*b**2 + b + 4. Let p be x(-6). Let g(t) = -22*t + 38*t - 23*t + 2. Is g(p) a multiple of 14?
False
Suppose -5*x - m - 4*m = -10, 6 = 4*x + 5*m. Suppose 22 + 72 = 3*k - x*d, 0 = -k - 5*d + 25. Is 12 a factor of (-2)/2 + (k - -4)?
False
Is 5 a factor of 11 - (9 + -4 + -4)?
True
Let h = 28 + -4. Let t = h + 27. Is 17 a factor of t?
True
Let c(m) = 4*m. Does 3 divide c(2)?
False
Suppose 0 = 6*h - 7*h - 2*n + 36, 0 = -3*h - 4*n + 106. Does 16 divide h?
False
Suppose -p = 5*f + 1 + 10, -9 = 2*f + 5*p. Is 5 a factor of ((-14)/(-6))/(f/(-6))?
False
Let h(d) = -5*d + 3. Let g be h(2). Let m(z) = -5. Let r(t) = -t + 4. Let o(q) = 3*m(q) + 2*r(q). Is 6 a factor of o(g)?
False
Suppose 3*v = -4*q + 192, -3*q + 0*v - 4*v = -144. Is 16 a factor of q?
True
Let u = -20 - -29. Is u/(-2)*(-44)/6 a multiple of 11?
True
Let u be 3/(-1)*(-2 + 3). Is (u/(-3))/1 + 19 a multiple of 20?
True
Let h(z) be the third derivative of z**6/120 - z**5/10 + 5*z**4/12 - 4*z**3/3 - 3*z**2. Is 16 a factor of h(6)?
False
Let h(k) = 6 - 2*k**2 - 2 + 6*k - k**3 + 0*k**3. Is 21 a factor of h(-5)?
False
Is (-1 - 1 - 0) + 13 a multiple of 11?
True
Let u be (1 - (-2 + 0))*15. Suppose 3*b = -g + 54, 0*b - 290 = -5*g - 5*b. Suppose 5*v - 5*m = 140, -4*v = 3*m - g - u. Is v a multiple of 7?
False
Suppose 3*n + 73 = 4*v, 65 = 7*v - 2*v + 5*n. Suppose 5*l - j = -4*j + 15, v = l - 2*j. Does 3 divide l?
True
Suppose -3*g + 27 = -123. Does 10 divide (-4)/(1/g*-4)?
True
Suppose -5*v + 265 = -3*a + 6*a, v = -4. Does 9 divide a?
False
Let c = -24 + 42. Does 6 divide c?
True
Let u(h) = 10 - 11*h + 14*h - 2. Is 18 a factor of u(10)?
False
Let p(b) = b**2 + b + 1. Let a be p(-2). Let g = 0 + a. Suppose -g*c + 90 = 3*y, -y + 6 = 2*c - 56. Is 16 a factor of c?
True
Suppose -2*r + 5 = 3*r. Suppose -4*p + r = -3, 2*k - p - 131 = 0. Is k a multiple of 22?
True
Let g(n) = -22*n - 4. Is g(-2) a multiple of 40?
True
Let v = 40 - 85. Let x = v - -81. Is x a multiple of 15?
False
Suppose 0 = -3*d, d - 3*d = 2*r - 16. Is 4 a factor of r?
True
Let n = 24 - 16. Suppose -n*m - 24 = -12*m. Is 5 a factor of m?
False
Let a(w) = 6*w - 6. Is 16 a factor of a(9)?
True
Let u(f) = -4*f - 4. Is 7 a factor of u(-15)?
True
Let h(l) = -l**2 + 1. Suppose j + 3 = m, 3*m - 8 = 2*j + 2*j. Let g be h(j). Is 7 a factor of (-24)/(-2) - (1 - g)?
False
Let q(x) = -x**2 - 9*x - 6. Let t be q(-8). Is 6 a factor of (-6 - -16) + t*-1?
False
Let b(o) = -9*o + 3. Is b(-1) a multiple of 2?
True
Suppose -8*b - 30 = -10*b. Does 5 divide b?
True
Suppose -2*p + 2*y = -0*y + 10, 0 = -p + 3*y - 11. Is 1/(1*p/(-106)) a multiple of 18?
False
Let u(x) = x**3 + 4*x**2 - 13*x - 1. Let a be u(-6). Let r be 2 - (-1)/1*1. Suppose 7*j - a*j + 2*n = 30, -49 = -r*j - 2*n. Is j a multiple of 13?
False
Let o = -28 - -28. Suppose o*z + 320 = 5*g - z, 5*g = -z + 330. Does 20 divide g?
False
Suppose 23*m - 26*m + 927 = 0. Is m a multiple of 37?
False
Let o(t) = -t**2 + t + 4. Let k be o(3). Let i be (k + 0)/(2 + -1). Is i/(-3) + (-38)/(-6) a multiple of 5?
False
Suppose -5*g + 4*s - 705 - 523 = 0, 2*g + 499 = -s. Let q be (12/(-4) + 9)/(-1). Does 19 divide (-8)/(-12) + g/q?
False
Suppose d + 5*u = -23, -4*u + 2 = 22. Let r = d + 0. Suppose t = r*l - 2, -5*l - 2*t + 5 = -9. Is l a multiple of 2?
True
Suppose -2*o = -d + 86, -3*o + 188 = 2*d + o. Is 30 a factor of d?
True
Suppose -2*i + 29 = -1. Suppose 3*c + 0*c - i = 0, 0 = -x + 2*c + 6. Is 8 a factor of x?
True
Let a(z) be the third derivative of -7*z**4/24 - 23*z**3/6 - 2*z**2. Is 13 a factor of a(-11)?
False
Suppose -13 = -5*d + 5*g + 722, -2*g = 4*d - 570. Let x = d + -96. Is x a multiple of 10?
False
Suppose 5*s = 2*g + 3*g - 360, 5*g + 252 = -4*s. Let i = -2 - s. Is 28 a factor of i?
False
Let s = 0 + 3. Is -8*(21/(-12) - s) a multiple of 19?
True
Suppose -5*v + 3 = -7. Suppose -3*p + 10 = o - 6, 0 = v*p. Is o a multiple o