a?
False
Let p = -13 - -13. Suppose p = 3*g + g - 28. Does 3 divide g?
False
Let a(u) = u**2 - 9*u + 4. Let f be a(9). Suppose k - 86 = f*p, 4*k = 2*p + 2*p + 344. Is k a multiple of 23?
False
Suppose 4*n = 2*y - 6, 4*n - 2*y + 9 = y. Let f(g) = -g + 40. Is f(n) a multiple of 16?
False
Suppose 0 = a + x - 6, 5*x + 62 = 5*a + 22. Let r(w) = 8*w**2 - 3 + 6*w**2 - 6*w**2 - a*w + w**3. Is 20 a factor of r(-8)?
False
Suppose -4 = i - 5. Let d be 2/(i/2*2). Suppose -2*o + 24 = d*o. Is o a multiple of 6?
True
Suppose 4*m - 252 = -0*m. Suppose 0 = 5*f - 6*f + m. Is 11 a factor of f?
False
Does 16 divide 3 + (-3)/1 + 18?
False
Suppose 0 = 4*s - 6 - 14, 3*d = -5*s + 34. Suppose -q + 23 = 3*q - d*m, 3*q - 2*m = 16. Suppose -q*n - 2*n = -76. Is n a multiple of 9?
False
Suppose 16 = -3*c - c. Let z(d) = d**3 + 7*d**2 + 4*d. Is 9 a factor of z(c)?
False
Let k be 1*((-12)/(-3) - 2). Suppose -3*l = k*l - 130. Is 10 a factor of (l/(-4))/((-1)/2)?
False
Suppose 0 = -3*h - 5*p + 5, 5*h - 4*p - 29 = 4. Let q = h + 9. Suppose t - q = -5. Does 8 divide t?
False
Let o be (213/5)/((-6)/30). Suppose 9*r + 30 = 4*r. Does 17 divide o/r - (-6)/(-4)?
True
Let j(a) = -24*a**2 + 2*a + 1. Let u be j(-1). Let q = -1 - u. Does 7 divide q?
False
Suppose 3*w = 2*q + 537, -q - 540 = -3*w - 0*q. Is w a multiple of 11?
False
Is (-6)/(-4)*-2*-6 a multiple of 8?
False
Let a(r) = 6*r**2 + 3*r - 2. Is a(2) a multiple of 7?
True
Suppose 0 = -5*v + 194 + 31. Let j(t) = 23*t - 2. Let d be j(2). Suppose w - v = -3*b, -w = -4*b + 3*w + d. Does 6 divide b?
False
Let z be 0/((-2)/4*4). Suppose 4*j + k = -z*k + 69, 3 = -k. Does 9 divide j?
True
Let g(j) = -j - 2. Let r be g(3). Is 18 a factor of (-3 + (-19)/r)*50?
False
Let a(t) = t**2 - 5*t - 9. Let d be a(7). Let r be 0/(-2) + (1 - 1). Suppose r*m + 55 = d*m. Does 11 divide m?
True
Let n be (-331 - 1)/4*-1. Let u = -50 + n. Is u a multiple of 11?
True
Suppose -29*m + 36 = -26*m. Is m a multiple of 4?
True
Suppose -r + 12 = -0*r. Does 2 divide r?
True
Let g = -3 - -4. Let c be (g - 3)*(-6)/4. Let y = c - -8. Is y a multiple of 7?
False
Is (-44)/(-8)*8 - 0 a multiple of 14?
False
Let m = -6 + 1. Let h(r) = 0*r**2 + 4*r - 2*r + 2*r**2 + 0 + 1. Is 14 a factor of h(m)?
False
Suppose -4*d = 12, -4*d = -5*s + 356 + 41. Does 19 divide s?
False
Let u(p) = p**2 + 7*p + 1. Let g be u(-6). Let k = 11 - g. Is 4 a factor of k?
True
Let u be 2 - (0 + 0)/3. Suppose -u*y = -y - 12. Is 11 a factor of y?
False
Suppose -3*y + 3*b = -b - 137, 5*y - 2*b - 233 = 0. Is y a multiple of 9?
False
Let o = 5 - 1. Suppose 27 + 33 = o*y. Does 15 divide y?
True
Let o be 0/((11 - 3)/4). Suppose -3*z + y + 111 = o, -12 = -2*y - 2*y. Is 19 a factor of z?
True
Is 8 a factor of 28/35*40/2?
True
Let p(m) = -m**3 - 11*m**2 + 11*m - 10. Let t be p(-12). Is 12 a factor of (-4)/t + -1 - -39?
True
Suppose -y = y. Suppose y = 5*z - 17 - 8. Is z a multiple of 5?
True
Let r(t) = -t + 1. Let l be r(3). Does 8 divide l + 7/((-7)/(-10))?
True
Suppose 2*i = -4*h + 240 + 26, h - 5*i = 83. Does 23 divide h?
False
Let r = -22 - -177. Does 24 divide r?
False
Suppose 0 = -g + 4*o - 4, 0 = g + 3*o - 5 - 5. Is g/((-8)/(-30)) + -3 a multiple of 12?
True
Let w(c) = -c**3 - 4*c**2 + 4*c. Let k be w(-5). Suppose -4*x + 5*h = -376, -178 = -5*x + 3*h + 279. Suppose -k*u + x = -106. Does 25 divide u?
False
Suppose -m = 4*y - 22 + 7, -5*y + 4*m = -45. Suppose -5*j = y*f - 200, -4*f + 5*j + 126 - 11 = 0. Does 14 divide f?
False
Let v = -23 + 39. Is v a multiple of 5?
False
Let h be (3 - 5)/(6/9). Let z(y) = 2*y - 2 - y**2 - 2*y - 6*y. Is 4 a factor of z(h)?
False
Suppose -2*m + 320 = -4*u - 0*u, -5*u = m - 188. Does 12 divide m?
True
Suppose -5*o + 3*y = -250, o = 3*o - 4*y - 100. Is 5 a factor of o?
True
Let a = 51 + -34. Does 7 divide a?
False
Let d be (-6*(-2)/(-2))/(-2). Suppose 0 = d*k - 4*k + 16. Is 8 a factor of k?
True
Let y be (-8)/(1*-2) + 0. Suppose -y*b + 1 = -39. Let u = -2 + b. Does 5 divide u?
False
Let f(c) = 12*c - 13*c + 30*c. Does 8 divide f(1)?
False
Let l be (5 + 6/3)*1. Suppose 90 = 4*f + 2*h, 2*f + 105 = l*f + 5*h. Is 12 a factor of f?
True
Let u(s) = -s**3 + 8*s**2 + 9*s - 5. Is u(8) a multiple of 25?
False
Suppose 8 = 2*f - 2*i + 2, 0 = -i - 1. Let h = f - 2. Suppose -4*c + 7*c - 36 = h. Is c a multiple of 6?
True
Suppose -3 = -7*g + 11. Suppose -g*c + 0*c = o - 31, 2*o - 69 = 3*c. Is o a multiple of 18?
False
Let n = 48 - 16. Is 8 a factor of n?
True
Suppose -3*r + 420 = 4*r. Is 20 a factor of r?
True
Is 6 a factor of 4*((-1211)/(-70) + (-1)/(-5))?
False
Is 1/(34/(-18) - -2) a multiple of 7?
False
Let v be 5/20 + (-26)/8. Let w(x) be the third derivative of x**5/20 + x**4/6 + x**3/6 + x**2. Is 16 a factor of w(v)?
True
Let h(p) = p**2 - 9*p - 10. Is h(-7) a multiple of 13?
False
Let l = 84 + -34. Is 5 a factor of l?
True
Let s = -37 - -79. Is 7 a factor of s?
True
Let p be 2/(4*3/258). Suppose j + v - 226 = -4*j, -2*v = -j + p. Is 14 a factor of j?
False
Is 24 a factor of (1 - 13)/(5/(-40))?
True
Suppose -k + 5*h + 255 = 3*k, 0 = 2*k + 3*h - 111. Is 20 a factor of k?
True
Suppose 0 = h + q + q - 12, -8 = -2*q. Let t be 2/(-4) - (-90)/h. Does 7 divide 158/22 - 4/t?
True
Suppose -5*z + 4 = -1. Is (4/(-8))/(z/(-14)) a multiple of 5?
False
Suppose 0 = -3*z - 2*m - 19, 16 = -4*z - 4*m - 4. Let y = -3 - z. Let x(n) = -n**3 + 5*n**2 + 7*n - 1. Is x(y) a multiple of 5?
True
Let v = 70 + 113. Does 19 divide v?
False
Let f(i) = i**3 + 6*i**2 - 4*i - 8. Let r be f(-6). Suppose -3*s = -2*g - r, g = s - 4 - 1. Does 5 divide s?
False
Let c(u) = -3*u**2 + 1 + 2*u + 2 + 21*u**2. Let a be c(-2). Suppose 5*d - a = -2*y, -4*y + 21 = -5*d + 104. Is d a multiple of 15?
True
Let y = -85 - -288. Is 9 a factor of y?
False
Let l(t) = -52*t + 31. Is 17 a factor of l(-3)?
True
Let l(v) = v + 2. Let z be l(0). Suppose 32 = 4*k - 3*b, 2*k - z*b - 30 = 3*b. Let t(q) = 3*q - 3. Does 12 divide t(k)?
True
Let m = 19 + 3. Is m a multiple of 13?
False
Let z(s) = s**3 - 5*s**2 + 3*s - 1. Let x be z(3). Let w(n) = 4*n**2 - n + 8*n - 3*n**2 + 9. Is w(x) a multiple of 16?
False
Let y(r) = 24*r**3 - r**2 - r + 1. Let t(g) = -g**3 + 8*g**2 - 6*g - 6. Let b be t(7). Suppose -b = -4*o + 3. Is 8 a factor of y(o)?
False
Suppose -3*f = -h, -4*h - 3*f = -f - 70. Does 5 divide h?
True
Suppose 0*h + 2*h - 5*k + 6 = 0, -3*k - 4 = -5*h. Is 12 a factor of 3*(-12)/h*-2?
True
Suppose 12 = -3*q - 0*q. Is 3 a factor of 1 + 1 + 0 - q?
True
Let n(w) = 49*w**2 + 2*w - 1. Let l(a) = -a**2. Let o(m) = -4*l(m) + n(m). Is o(1) a multiple of 12?
False
Suppose -f - 3*f = 0. Suppose 2*k + 5*y + 8 = 3*k, 4*k + 4*y - 128 = f. Is 14 a factor of k?
True
Let p = 43 + -4. Suppose 3*v = p + 21. Suppose -6*m = -m - v. Is m a multiple of 2?
True
Suppose h - d + 1 = 0, -3 = 5*h + d - 4*d. Suppose 4*t + h = 100. Is t a multiple of 10?
False
Let c(d) be the first derivative of -d**3/3 - 7*d**2/2 + 7*d - 2. Does 6 divide c(-7)?
False
Let p(x) = x - 6. Let j be p(11). Suppose 164 = j*o - s, 4*s - 78 = -5*o + 66. Is 9 a factor of o?
False
Let x = 0 - -9. Does 3 divide x?
True
Suppose 4*y - 6 = -f, -y + 2 = -1. Let u = -7 - f. Is (-3 - 5/u)/1 even?
True
Let a(n) = -3 - 1 + 3*n**2 - 4*n**2 + 9*n. Let s be a(8). Is 13/((6/s)/3) a multiple of 14?
False
Suppose -3*j = 2*j + 5. Let m(d) = 0*d**2 - 1 + 21*d**2 - 2*d + 11*d**2. Is 12 a factor of m(j)?
False
Let g(j) = j + 2. Let q be g(-2). Suppose q = -2*o - 2*v + 166, v = 2*o - o - 79. Does 36 divide o?
False
Let l = -13 - -18. Suppose -y = -h, h - l*h = 2*y + 6. Let v(x) = -3*x**3 + x**2 - x - 1. Is v(y) a multiple of 2?
True
Suppose 3*l + 3 + 6 = 0. Let c = 5 - l. Does 8 divide c?
True
Suppose 94 = 5*u - 236. Suppose -2*a + 2*r + u = -22, 2*r = 5*a - 214. Is 14 a factor of a?
True
Let f(b) = 37*b**3 - b**2 + 2. Is f(1) a multiple of 19?
True
Let o be (2 + 11/(-3))*18. Let z = 15 + o. Does 14 divide (-6)/z - (-336)/10?
False
Let a = 13 - 39. Let m = -22 - a. Is 4 a factor of m?
True
Let w = 73 - 51. Does 4 divide w?
False
Let a(h) = 91*h**2 - h + 2. Does 19 divide a(1)?
False
Suppose -2 = -l - 4, -5*n - 69 = -3*l. Let w(k) = -3*k + 6. Let i be w(5). Let j = i - n. Is j a multiple of 2?
True
Suppose 3*a = -12, 5 = -5*r - 4*a - 1. Suppose 3*l + 4*c - 162 = 0, -r*l + 5*c + 235 = 3*l. Does 18 divide l?
False
Let y