6)/21 - (-74)/14 a multiple of 5?
True
Let y(o) = -o**2 + 9*o + 15. Let m be y(11). Let v be 2/m + (-2)/(-7). Suppose v = -c - 4*p + 27 - 11, -5*c + 4*p = -152. Is 14 a factor of c?
True
Let c(q) = 33*q**2 - 1. Suppose -3 + 0 = 3*h. Let f = 0 - h. Does 16 divide c(f)?
True
Suppose 4*n + 33 - 149 = -4*s, -5*s + 2*n = -117. Does 6 divide s?
False
Let v(g) = g + 6. Let i be v(-6). Suppose i = -h + q - 3, q + 9 = 4*q. Let z = 16 - h. Does 8 divide z?
True
Suppose -27 = -d + 3*q, -3*d + 5*q = -16 - 57. Suppose 19 - 6 = -l. Let g = l + d. Is 4 a factor of g?
True
Let k be (-36)/(-10) - (-6)/(-10). Suppose -16 = -5*o - k*h, 4*o - 2 = h + 4. Does 2 divide o?
True
Suppose 4*y = y + 9. Suppose 2*n + 120 = -0*n. Is 9 a factor of (1/(-2))/(y/n)?
False
Suppose -m - 2*m = -27. Let q(x) = x**2 - 7*x + 3. Is q(m) a multiple of 10?
False
Suppose -6 = -0*b - 3*b, 5*i - 3*b - 299 = 0. Is 14 a factor of i?
False
Let q be (12/10)/((-6)/(-80)). Let r be 10*2/q*4. Suppose -l + 11 = -r*k + k, k + 14 = 4*l. Is l a multiple of 3?
True
Let b be (-18)/(-5) - (-4)/10. Suppose l - 11 - 12 = -2*a, -b*a + 61 = -l. Is a a multiple of 5?
False
Let y = 40 + 69. Is y a multiple of 13?
False
Let s(g) = 5*g**2 + 2*g + 2. Let v be 4/10 - 13/(-5). Let a = v + -5. Does 9 divide s(a)?
True
Let p be 37/7 + 4/(-14). Suppose -4*b + b - 3*u = -12, -2*u + 8 = p*b. Suppose c + 0*c - 10 = b. Is c a multiple of 10?
True
Suppose 5*b = -h - 2, 4*h - 55 = -0*b + b. Is h even?
False
Let t be (-6)/(-12)*6/1. Suppose 8*f - 3*c = 3*f + 13, f - 3*c = 5. Suppose -5*v - t*p = 20 - 81, f*v + p = 25. Is v a multiple of 12?
False
Let w(h) = h**3 - 16*h**2 + 22*h - 21. Is w(15) a multiple of 13?
False
Let s(w) = -2*w + 9*w + 11 + 0*w. Does 20 divide s(7)?
True
Suppose 2*g + 0*g - 4 = 0. Suppose 6*j - g*j = 16. Suppose -3*c = 2*l - 26, 5*l + 0*l = -j*c + 23. Is c a multiple of 12?
True
Let y = 96 - 22. Let c = y + -6. Suppose 2*w = -2*w + c. Does 11 divide w?
False
Suppose -5*q + 12 = 2*n - 12, 3*n - 4*q - 59 = 0. Suppose 6*u = 3*u + 6. Suppose -m - u*c + n = 0, -4*m + c + 32 = -3*c. Is m a multiple of 10?
False
Let j(t) = -t - 4. Let g be j(-6). Suppose 0 = -3*o - g*v + 3*v + 120, -108 = -3*o + 5*v. Suppose -3*n + 2*c = -81, -2*c - c = 2*n - o. Does 9 divide n?
False
Let n(w) = w**2 - 3*w - 2. Let o be n(3). Let t(i) = 5*i**2 + 3*i + 2. Does 10 divide t(o)?
False
Let k be -3*(-3)/((-18)/88). Let j = k + 120. Suppose 0 = -t + s + 16, 5*s - 10 + j = 4*t. Is t a multiple of 14?
True
Suppose 0 = -h + 3*t + 12, -32 = 4*h + 3*t - 80. Is h a multiple of 6?
True
Suppose 0 = 4*f - 4, -s + 79 = -0*s - 5*f. Is 14 a factor of (-1*1)/((-6)/s)?
True
Suppose 9*p = 591 + 795. Is 11 a factor of p?
True
Suppose -17 = -g - 115. Let y = g - -47. Let t = -31 - y. Does 10 divide t?
True
Suppose -6*l + 2*l = 3*p - 324, l + 4*p = 81. Is l a multiple of 5?
False
Let b = -4 - -6. Suppose -b*p - 4*j = -2*j - 108, -2*p + 84 = -4*j. Does 13 divide p?
False
Let h(p) = -6*p**3 + 3*p + 2. Suppose 4*b - 2*k + 0 + 12 = 0, 2*k = 5*b + 14. Does 16 divide h(b)?
False
Suppose 0 = -5*k - 0*c - 5*c + 235, 4*k + 2*c = 190. Is 7 a factor of k?
False
Let v = -16 + 8. Let h(k) = -k + 2. Does 5 divide h(v)?
True
Let x(p) = 2*p**3 - 2*p**2 + p + 2. Suppose 0 = -4*i + i + 6. Let k be x(i). Suppose -3*w = -k, -4*a - 4*w + 36 = 4. Is 4 a factor of a?
True
Let p be (-2)/(3/(-2 + -52)). Let d = p + -21. Is d a multiple of 15?
True
Let w be 10/4*4/5. Suppose 5*d = 6 + 19, w*d = -2*a + 42. Is 6 a factor of a?
False
Let u be 8/(-28)*(-6 - 1). Suppose t = -5*j + u*j + 22, -4*t + 5*j + 122 = 0. Is 10 a factor of ((-23)/4)/((-7)/t)?
False
Let n(c) be the second derivative of c**3/3 - 3*c**2 + 4*c. Is 3 a factor of n(7)?
False
Suppose k - 3*k = -5*y + 14, 0 = -4*y + 3*k + 7. Suppose y*t = 3*t + 5. Suppose -4*p = -3*s + 41, t*s - 30 = 5*p + 30. Is s a multiple of 7?
True
Let u be (-1)/(2/(-12)*2). Let l(h) = -9*h**2 + 3*h**u + 3*h - 4*h - 2*h**3 + 12. Does 3 divide l(9)?
True
Let w be (0 + (0 - -2))*5. Suppose 0*a - w = -2*a. Is a even?
False
Suppose 0 = -3*w - w. Suppose 2*i + 2*i - 128 = w. Is i a multiple of 13?
False
Suppose -y + 3 = 2*i - 33, -90 = -2*y + 5*i. Is y a multiple of 13?
False
Let s be (1 + 0 - 2)*-2. Suppose g - 4*b + 2*b - 6 = 0, -5*g + s = 4*b. Is (2/(-6))/(g/(-78)) a multiple of 13?
True
Let n = 5 - -11. Is 16 a factor of n?
True
Let j = 1 - -3. Suppose 0 = j*s + s - 200. Let t = s - 11. Is 10 a factor of t?
False
Let d(y) = -y**3 + 8*y**2 - 4*y - 1. Does 9 divide d(5)?
True
Let p(s) = 9*s**2 + 2*s + 1. Let a be p(-1). Let i(r) = r**3 - 7*r**2 - 7*r - 2. Is 6 a factor of i(a)?
True
Suppose 0 = -5*u + 4*u + 250. Does 10 divide u?
True
Let j(c) be the first derivative of c**2/2 + 16*c + 5. Does 5 divide j(0)?
False
Let k = 4 + 12. Suppose -2*h - k = -52. Does 6 divide h?
True
Let n = 1 + -45. Let w = n - -112. Let f = w + -38. Does 15 divide f?
True
Let w be (-25)/(-2) + (-1)/(-2). Suppose -4*a = -43 - w. Does 3 divide a?
False
Let b(s) = s**2 - s. Let u be b(0). Suppose 5*p - 15 = u, 0*p = -4*l + p + 41. Is 4 a factor of l?
False
Is 5 a factor of 5/30 - 321/(-18)?
False
Is 30*6*(-20)/(-50) a multiple of 18?
True
Suppose -7*s + 307 = 104. Is 4 a factor of s?
False
Let y(l) = -l**2 + l + 4. Let t be y(0). Let h(q) be the first derivative of q**3/3 - 3*q**2/2 + 4*q - 1. Is 4 a factor of h(t)?
True
Let n = -20 + 23. Suppose -b + 5*b + 12 = 0, 3*z - n*b - 42 = 0. Is z a multiple of 4?
False
Suppose 2*f - 17 = -3*m, -2*f + 6*f = -2*m + 46. Is f a multiple of 13?
True
Let s(c) = -4*c**3 + 2*c**2 - 3*c + 3. Let l be s(2). Is 12 a factor of -2*l/6 - -3?
True
Let p(m) = -5*m + m + 0*m**2 - 4*m**2 + 2*m**2. Let w be p(-4). Let k = w - -23. Is k a multiple of 3?
False
Is -51*(-11)/((-44)/(-16)) a multiple of 12?
True
Suppose -x = 4*x. Suppose 0 = -x*z + 5*z - 20. Suppose j + 0*j = z*p - 37, 2*j = -p + 7. Is p a multiple of 3?
True
Suppose -3 = 7*t - 59. Is 8 a factor of t?
True
Let h be 4*1/2 + 3. Suppose h*j + 9 - 74 = -3*n, 0 = -5*j - 5*n + 75. Is 10 a factor of j?
True
Let x = -133 - -235. Is 11 a factor of x?
False
Suppose 3*j = 5*j - 36. Is 13 a factor of j?
False
Let n(i) = 0*i**3 + 3 - i**3 - 2*i + 2*i**3. Is n(3) a multiple of 18?
False
Let c(f) = -2*f - 6 + 0*f**2 + 0 + f**2. Let t = -10 + 6. Is c(t) a multiple of 9?
True
Let l = 9 - 5. Is l a multiple of 4?
True
Does 10 divide (-118)/10*(-7 - -2 - 0)?
False
Let c be (15/(-20))/((-2)/40). Suppose -u + c + 6 = 0. Is 7 a factor of u?
True
Suppose -24 = -4*q + 56. Let u(d) = -8*d**2 - 4*d**2 + 13*d**2 + q. Does 20 divide u(0)?
True
Suppose v + 5 = -8. Let b = 1 + v. Is (-260)/b - (-1)/3 a multiple of 11?
True
Let z be (2 - 1)*-4*-1. Suppose 0 = p - z*p. Suppose -4*l + p = -16. Does 2 divide l?
True
Let n(d) = -d**2 - 5*d + 3. Let k be 1/((6/(-15))/2). Let h be n(k). Does 18 divide 5/15 + 122/h?
False
Suppose 24 = -j + 2*j - 4*x, 4 = 3*j + 5*x. Let u(l) = -l**3 + 8*l**2 + 2*l - 8. Let g be u(j). Let d(n) = n**3 - 9*n**2 + 10*n + 11. Is d(g) a multiple of 12?
False
Suppose 3*i + 80 = -5*o + 304, 0 = 2*o - 3*i - 77. Is 3 a factor of o?
False
Suppose -12 = -2*v + 2. Let l = v - 3. Is l a multiple of 4?
True
Let o(h) = h**3 + 7*h**2 + 5*h - 2. Let p be o(-6). Is -3 + 42*p/3 a multiple of 23?
False
Suppose 3*i - 8 = -o + 3, -5*i = -5*o - 25. Suppose -3*s - 37 = -3*u - 7, i*u = -3*s + 75. Does 15 divide u?
True
Let q = 43 + 13. Suppose -3*i + 36 = v, -5*i + q = v + 10. Is 14 a factor of v?
False
Let f = -16 - 27. Let r = -25 - f. Does 6 divide r?
True
Suppose 0 = -5*k + 4*w + 335, -4*k - 247 = -8*k - w. Is 7 a factor of k?
True
Let q = 110 + -13. Is 22 a factor of q?
False
Suppose -5*t + 4 = -26. Is 2 a factor of t?
True
Suppose 5*o + 3*s = -0*s + 9, -5*o + 4*s + 23 = 0. Let u = o + 1. Does 4 divide u?
True
Suppose 0 = -6*h + h. Let u = 3 + h. Is 3 a factor of u?
True
Let s(k) = k**3 + 13*k**2 - 2*k - 14. Is s(-13) a multiple of 12?
True
Suppose 3*k - 180 = 2*f + f, -4*f = k + 240. Does 4 divide f/(-14) - (-2)/(-7)?
True
Does 4 divide (-157)/(-3) - (-40)/24?
False
Suppose 4*j + 128 = 5*v, 0*v + 56 = 2*v - 4*j. Does 12 divide v?
True
Suppose 19*m - 24*m = -360. Is 18 a factor of m?
True
Is 4330/45 - 4/18 a multiple of 16?
True
Let i = -4 - -7. Let j(z) = 2*z - 4*z - 2*z - z + 3*z**2 + 3. Is j(i) a multi