12/3)*4 a multiple of 21?
False
Let k(a) = 6*a - 8. Let r(x) = 5*x - 7. Let v(c) = -2*k(c) + 3*r(c). Does 2 divide v(4)?
False
Let p be 3/(-2)*(1 + -27). Suppose -2*o = -3*b + p, o - 5*o + b - 53 = 0. Let u = 21 + o. Does 9 divide u?
True
Suppose -4*r - 1 = -2*x + 3, -2*r = 5*x + 2. Is 14 a factor of x + (-3)/3 - -27?
False
Suppose -5*d - u = -15, -d + 0*d = -u - 9. Is d a multiple of 3?
False
Let c(t) = 5*t - 3*t - 5 + 4. Let q be c(2). Suppose 20 - 83 = -q*g. Is g a multiple of 7?
True
Suppose b + 2*t - 121 + 25 = 0, 0 = -4*b - 3*t + 384. Is b a multiple of 32?
True
Suppose -5*k + 22 = -2*f, -4*f - f = -k - 14. Is 3 a factor of k?
True
Is (36/(-5))/(104/(-20) + 5) a multiple of 10?
False
Let g = 272 - 124. Is g a multiple of 10?
False
Let f = 5 - 4. Let x = 6 + f. Does 7 divide x?
True
Does 13 divide 14924/286 + 4/(-22)?
True
Suppose 0 = 4*y + 1 - 17. Suppose y*q - 22 + 6 = 0. Does 2 divide q?
True
Let v(y) = y**3 - 7*y**2 - 7*y - 7. Let f be v(8). Let j(h) = 29*h**3 + 2*h**2 - 2*h + 1. Does 10 divide j(f)?
True
Suppose 91 = 8*h - 533. Does 18 divide h?
False
Let l be 2/10 + (-27)/(-15). Let g = 8 - l. Does 6 divide g?
True
Suppose 23 = 2*v + 8*o - 3*o, 0 = 2*o + 2. Is 7 a factor of v?
True
Let y(m) = -m**2 - 8*m - 3. Let j be y(-4). Let l = j - -2. Is 4 a factor of l?
False
Suppose 0 = 3*d - 10 + 58. Is 8 a factor of (-12)/d + (-122)/(-8)?
True
Suppose 2*x = -w - 6, 4*w + 1 = x + 4. Is 7 a factor of (-9)/(x - 0) + 18?
True
Let q = 42 + 1. Is q a multiple of 12?
False
Suppose -4*v + 11 + 5 = 0. Suppose -u + 5*a - 2*a - 7 = 0, -v*u + 3*a - 55 = 0. Let z = u + 26. Does 5 divide z?
True
Let h be 2 - 4/(2 - 4). Suppose 2*p + 48 = y, h*y - 81 = 4*p + 11. Let a = p - -57. Does 12 divide a?
False
Let y = 106 - 153. Let f = y + -28. Let p = f + 105. Is 15 a factor of p?
True
Let n(x) be the third derivative of -1/2*x**4 - 11/60*x**5 + 4/3*x**3 - 1/120*x**6 - 5*x**2 + 0*x + 0. Is n(-10) a multiple of 15?
False
Suppose -4*c = -c + 3. Let j = c - -5. Suppose j*h - 16 = 4. Is h a multiple of 3?
False
Let s(f) = -3*f**2 - 25*f**3 + 24*f**3 + 5*f**2. Let v be s(2). Suppose 3*j - j - 20 = v. Does 5 divide j?
True
Does 13 divide 7 - 5 - -3 - -65?
False
Let k(z) = z**2 + 5*z + 3. Let d be k(-8). Suppose -2*s + 13 = -d. Is 10 a factor of s?
True
Let i(u) = 2*u**2 - 19*u + 1. Is 19 a factor of i(16)?
True
Suppose 0 = 5*u - 5*s - 440, u = -0*u + 2*s + 92. Is 31 a factor of u?
False
Let g(w) = w**3 + 5*w**2 - 5*w + 4. Let b be g(-6). Let o be -1 - (1 - (5 + b)). Does 5 divide (-17)/(-1)*o/1?
False
Let w = 10 - 1. Is 114/w + (-2)/3 a multiple of 12?
True
Suppose -i - t + 15 = 0, 4*i - 24 = 5*t + 27. Is 7 a factor of i?
True
Let d be 1/(-1) + (0 - -1). Suppose 4*r = 68 + 172. Suppose 0 = -2*y - d*y + r. Is 15 a factor of y?
True
Suppose 0*w - w = -3. Suppose 0 = 3*x - 1 - 8, -105 = -4*r - w*x. Suppose -3*m + r = -m. Is 12 a factor of m?
True
Let n = -53 - -107. Is 18 a factor of n?
True
Suppose -4*x + 90 = -3*s - 29, x - 3*s = 41. Is x a multiple of 7?
False
Suppose 0 = 5*q - 1732 - 23. Does 27 divide q?
True
Let x(s) = 3*s + 10 - 4 + 0*s + s**3 + 4*s**2 - s. Let k be x(-4). Does 7 divide 1/(4/(-14))*k?
True
Suppose -q - 18 = 2*q. Let u = 5 + -15. Is (-130)/q - u/(-15) a multiple of 11?
False
Suppose -472 = -2*j - 5*q, -3*j + 4*q + 729 = q. Is j a multiple of 14?
False
Let t be (-599)/(-4) + (-6)/8. Suppose -5*y + 0*y + 3*b + t = 0, 3*b = -4*y + 130. Is 15 a factor of y?
False
Suppose -5*l + 2*x = -0*l + 140, 5*x + 115 = -3*l. Let u = 18 - l. Suppose -5*b + u = -2*b. Is 16 a factor of b?
True
Let y(p) = p**2 - 2*p - 4. Let c be y(6). Suppose -3*a + 0*a - 4*f + c = 0, -2*a + 15 = 3*f. Let w(h) = h + 7. Is w(a) a multiple of 4?
False
Let u be 5*((-212)/5)/(-1). Suppose -4*i - 4*h = -h - u, 0 = -5*i + 2*h + 242. Suppose -d - i = -6*d. Is 5 a factor of d?
True
Suppose 3*j = j - 12. Suppose -3*s - 1 = 2*p - 4*s, -2*p = 4*s - 4. Is 4 a factor of 3 + -5 - p - j?
True
Suppose -2*c - 33 = -5*g, -93 = 5*c - 0*c - 2*g. Is 10 a factor of (c/(-2))/((-6)/(-12))?
False
Let o(w) be the second derivative of -w**4/12 - 3*w**3/2 + w**2/2 + 2*w. Is o(-7) a multiple of 5?
True
Let h = 16 + 226. Is h a multiple of 22?
True
Let o = 90 + -66. Is 12 a factor of o?
True
Suppose 148 = -2*s - 2*w - 54, 2*w = -5*s - 499. Let n = -139 - s. Let r = n - -57. Is r a multiple of 14?
False
Let c = -11 - -11. Suppose c = -7*f + 9*f - 56. Is f a multiple of 5?
False
Suppose -k - 4*k + 75 = 0. Let c = k + -8. Does 4 divide c?
False
Suppose b + 13 = 5*f - 0*b, 10 = 2*f - 2*b. Let t be -2 - (f - 2) - 0. Let k = t - -19. Is 7 a factor of k?
False
Let l(v) = v**3 - 4*v**2 + 3*v + 4. Let a be l(3). Does 13 divide 2 + ((-4)/a - -30)?
False
Suppose 5*g - g + 20 = 0, 0 = 5*l - g - 5. Let u(n) = n**3 - 5*n + 42. Let j(f) = -2*f**3 + 9*f - 83. Let t(z) = -4*j(z) - 7*u(z). Does 19 divide t(l)?
True
Let n be (-2)/(-4) - 2/4. Suppose 5*y = 4*z + 4*y + 58, n = z + 3*y + 21. Is (-1 - -2)/((-3)/z) a multiple of 2?
False
Let a = -19 - -51. Suppose 4*y + 0*y = a. Is y a multiple of 5?
False
Let j = -5 + 2. Let o = 2 + j. Let c = 7 + o. Does 3 divide c?
True
Let w = 10 - 6. Suppose -r + 11 = s - 17, w*s = 0. Does 14 divide r?
True
Suppose 20*c - 15*c - 1020 = 0. Does 12 divide c?
True
Suppose 281 = 3*i + 17. Suppose -3*y + 0*g + i = g, 5*g = 3*y - 100. Does 15 divide y?
True
Does 16 divide 10/(-35) - 1686/(-21)?
True
Is 0 + (0 + 4 - -99) a multiple of 23?
False
Let t be (-6)/(1 + 10/(-4)). Suppose -19 = t*p - 71. Suppose 0 = -3*k - 4 + p. Is k even?
False
Let z(u) = -u**2 - 6*u - 2. Let d be z(-6). Let b be d/(-5) + (-24)/10. Let i = 4 - b. Is i a multiple of 2?
True
Suppose 8*y - 4*y = 5*l - 376, -4*y + 232 = 3*l. Is 19 a factor of l?
True
Let x(r) = 5*r**2 + 5*r + 3. Is 25 a factor of x(-4)?
False
Let w(l) = 11*l + 1. Let y be w(3). Let a = 61 - y. Is 14 a factor of a?
False
Suppose -2*x - x + 124 = -5*b, -4*x + 117 = 3*b. Suppose 3*o + 6 - x = 0. Does 9 divide o?
True
Suppose 0 = -5*v - 25, -2*v = -3*g - v + 380. Does 7 divide g?
False
Let l(w) = -w + 5. Let a be l(8). Let n = a - -10. Suppose 5*k - n*k + 80 = 0. Is 20 a factor of k?
True
Does 26 divide (2 - -79) + (0 - 3)?
True
Let v = -12 - -4. Let u(y) = 5*y + 23. Let n(s) = -2*s - 11. Let k(o) = -7*n(o) - 3*u(o). Is k(v) a multiple of 8?
True
Let n be 2 + (0 + 2 - 0). Suppose -3*w - n*a + 7 = 0, -5*w + 3*a + 60 = -0*w. Is w a multiple of 4?
False
Suppose -2*j + 3 + 1 = 0. Suppose j*l + 4*t + 4 = 0, -2*l + 5*l - 4*t = -16. Let y(m) = -4*m - 6. Is y(l) a multiple of 7?
False
Let l = 194 + -112. Is 22 a factor of l?
False
Suppose 0 = 5*z - 88 - 52. Suppose 87 - z = d. Suppose 4*i - 3*u - d = 68, -98 = -3*i + 5*u. Is i a multiple of 14?
False
Let o(z) = 27*z. Let q be o(4). Suppose -w + 2*y + q = w, 3*y = -2*w + 88. Is w a multiple of 17?
False
Let c(s) = 2*s + 6. Let k be c(-6). Let g = k - -10. Suppose -3*x - 12 = -g*x. Is 10 a factor of x?
False
Suppose -4*a = -7*a + 6. Suppose 0 = a*r - 37 + 5. Is r a multiple of 8?
True
Let j(d) = -4*d - 10. Let v(p) = -8*p - 19. Let g(q) = -5*j(q) + 3*v(q). Is g(-7) a multiple of 21?
True
Let w(p) = -p**2 - 8*p + 2. Let h(i) = -5*i**2 - 39*i + 9. Let s(u) = 2*h(u) - 11*w(u). Let z be s(-10). Does 12 divide (-62)/(-4) + z/(-8)?
False
Suppose -22 = -4*d - 6. Suppose p = -d*u + 129, -4*u = 5*p - 37 - 96. Is u a multiple of 16?
True
Suppose 15 = -3*r - 2*r. Is -2*r/4*12 a multiple of 9?
True
Suppose 196 = y + y. Let o = y + -17. Suppose 4*g = 0, 5*g - o = -2*i - i. Is 27 a factor of i?
True
Does 18 divide 536/10 - (-10)/25?
True
Suppose -19 = -p - 5*s, 0 = -0*p + 3*p - s - 41. Is 7 a factor of p?
True
Let c be (1 + -3)/(-4)*4. Suppose 188 = c*w - w. Suppose -5*u = 6*j - 2*j - w, 5*u = -2*j + 104. Is 21 a factor of j?
True
Does 19 divide 32 - (1 - -3)/(-2)?
False
Let x(n) = n**3 - 11*n**2 + 10*n - 8. Let s be x(10). Let p(v) = -5 - 2*v + 5 + 1. Does 17 divide p(s)?
True
Suppose -w + 2*w - 4 = 0. Let x be (-131)/7 - w/14. Let c = -10 - x. Does 9 divide c?
True
Let f(v) = 3*v**3 + 4*v**2 + 3. Let o be f(-3). Let l = o + 65. Is l a multiple of 9?
False
Does 13 divide (1 - (-204)/4) + 0?
True
Let c(r) = -9*r - 2. Is c(-2) a multiple of 4?
True
Suppose -28*b + 33*b - 1050 = 0. Does 14 divide b?
True
Let t = -5 + 37. Does 16 divide t