se
Let a(o) = o. Let s be a(-2). Let p be (s + (-5 - -3))*-1. Suppose p*y = 6*y - 6. Does 3 divide y?
True
Suppose 2*h - 20 = -16. Suppose -h*o + 28 + 22 = 0. Is 20 a factor of o?
False
Suppose 0 = -34*z + 32*z + 208. Does 13 divide z?
True
Let v = 172 + -70. Does 22 divide v?
False
Let d be ((-10)/(-4)*4)/1. Suppose f + 0 = d. Let v = f + -5. Does 2 divide v?
False
Let k = -28 - -18. Let h = 25 - k. Is h a multiple of 7?
True
Let n = -4 - -10. Suppose -3*m = -39 - n. Is m a multiple of 9?
False
Let o be 2/(-8)*2*-6. Let w be 2/(-6)*(o - 15). Suppose 3*n - 25 = -w*h, -3*n + 4*h + 18 = 1. Is n a multiple of 7?
True
Let o(h) = 3*h + 248. Does 43 divide o(0)?
False
Suppose -220 = 34*y - 39*y. Is 12 a factor of y?
False
Let q = 6 - 6. Is (q - -2)/(-4)*-10 even?
False
Let k(h) = h**2 - 15*h + 4. Let b(n) be the first derivative of -n**2/2 + 2. Let s(c) = 5*b(c) - k(c). Does 2 divide s(9)?
False
Let c(q) = -q**2 + 6*q + 7. Let x be c(5). Suppose -14 - x = -2*u. Is 9 a factor of u?
False
Suppose -3*r = -5 - 4. Suppose 0 = 4*o + 4*x - 8, -4*x + 6 = r*o - 9*x. Does 2 divide 14/4 - (-1)/o?
True
Suppose -5*q + 20 = 2*n, -4*n - q + 5*q + 12 = 0. Suppose 37 = 2*i + n*g, g - 3*g = 2*i - 40. Let w = i + -12. Does 4 divide w?
False
Suppose 2*y + 22 = c, 0 = -c - 2*y - 2*y - 8. Is c a multiple of 12?
True
Let g(w) be the first derivative of -w**4 - w**2/2 - 3. Let l(d) be the second derivative of g(d). Does 12 divide l(-1)?
True
Let a(f) = f**3 - 8*f**2 - 9*f - 1. Let u = 16 - 7. Let h be a(u). Is 13 a factor of (4 + h)*52/6?
True
Let u(d) = d**3 + 11*d**2 - 14*d + 11. Does 5 divide u(-12)?
True
Let p = 9 - -29. Let b = -15 + p. Does 13 divide b?
False
Let y(q) = q**3 + 5*q**2 - 7*q + 2. Is y(-6) even?
True
Let h(i) = i**2 + 9*i + 6. Does 32 divide h(-15)?
True
Suppose 5*g - 3*m = 3*g + 32, 0 = -4*g - 2*m + 64. Let w(v) = -4*v + 10. Let y be w(-6). Let j = y + g. Is j a multiple of 21?
False
Suppose f + 5 = 15. Suppose f = 2*y - 0. Is 3 a factor of y?
False
Suppose 2*b = 4*d + 235 + 167, 4*d + 382 = -2*b. Let q = d - -154. Is 14 a factor of q?
True
Let i = -176 - -344. Is i a multiple of 13?
False
Let r(h) = -h**2 + 9*h - 2. Let q be r(8). Suppose 62 = 4*m - q. Is 17 a factor of m?
True
Let s(r) = 55*r + 3. Is s(1) a multiple of 58?
True
Let k = -16 + 72. Let t = k + 19. Is 25 a factor of t?
True
Let j(d) = 4*d**3 - 6*d**2 + 5*d - 3. Does 3 divide j(3)?
True
Suppose -18*o + 5*o = -182. Is 10 a factor of o?
False
Let l(g) = -17*g. Let p be l(-1). Let x = p - -19. Is 12 a factor of x?
True
Is 37 a factor of 2/(-10) + -3 + 4488/15?
True
Let a(p) = -p**3 + 10*p**2 - 8*p + 2. Let w be a(9). Let q(u) = -4*u**2 + u. Let m be q(1). Let y = w - m. Is y a multiple of 5?
False
Let k be (2/3)/((-2)/(-9)). Suppose -s - 134 = -k*s. Suppose -5*o + 12 + 8 = 0, -3*p = -2*o - s. Is 9 a factor of p?
False
Let a = 15 + -9. Let v = a - -8. Is v a multiple of 14?
True
Let i(s) = -s**3 - 5*s**2 + 7*s + 14. Is i(-6) a multiple of 4?
True
Let z be ((-1)/(-2))/(7/70). Suppose 27 = k + z*a - a, a = -3*k + 26. Is 3 a factor of k?
False
Let r = -5 - -7. Suppose -16 = -f + 5*i, 4*f - 3*i - 49 = r*i. Is f a multiple of 11?
True
Suppose -4*g + 8*g = 20. Suppose 0 = u - 4*u + 75. Suppose -115 + u = -g*v. Does 9 divide v?
True
Suppose 2*f + 72 = 5*f - 5*s, 0 = 2*f - 4*s - 48. Suppose -v + 3 = 15. Let i = f + v. Is 6 a factor of i?
True
Let c(i) = -i**2 - 3*i + 4. Let j be c(-3). Let b = j + 6. Is 10 a factor of b?
True
Suppose -p + 1 + 4 = 0. Suppose 70 = p*c + 25. Is 2 a factor of c?
False
Let y be 2/(-4) - 10/(-4). Is 3 a factor of (1/1)/(y/14)?
False
Let s be 244/16 - (-2)/(-8). Suppose x - 15 = s. Is x a multiple of 10?
True
Let f = 163 - 94. Is f a multiple of 19?
False
Let t be (-4)/6 - (-16)/6. Suppose l - 7 = -q, t*l + 4*q = 29 - 5. Suppose 4*f = l + 18. Does 5 divide f?
True
Let o(k) be the third derivative of k**4/6 - 5*k**3/6 + k**2. Is o(5) a multiple of 4?
False
Let k(j) = j**2 + 4*j + 4. Let q be k(-6). Suppose -4 = 4*m + q. Let c(i) = -5*i - 3. Is 12 a factor of c(m)?
False
Suppose 12 = 5*a - 13. Suppose 0*i = -a*i + 5, 2*i + 7 = p. Is 4 a factor of p?
False
Let i = -6 + -1. Let b = i + 10. Suppose -p = b*p - 2*m - 78, -m = -4*p + 79. Is p a multiple of 11?
False
Does 14 divide 4*19/6*3?
False
Is 7 a factor of (-627)/(-33) + 3/(6/(-4))?
False
Suppose 2*w = 4*y - 22, -5*y + 10 + 25 = -5*w. Let c = 15 + w. Does 8 divide c?
False
Let l(h) = 16*h**2 + h. Let p = 0 - -4. Suppose -4*u - p*j + 10 = 2, 0 = -5*u + 3*j + 2. Does 6 divide l(u)?
False
Suppose 2*l = -u + 121 + 38, -4*l + 3*u = -293. Is l a multiple of 30?
False
Suppose 0 = 16*t - 11*t - 50. Is t a multiple of 10?
True
Does 19 divide 3*76/(-18)*-9?
True
Let p = 85 - 56. Does 4 divide p?
False
Let b = 100 - 72. Does 14 divide b?
True
Let v be (-3)/(3/12*6). Let f be v/7 + 254/7. Suppose a = 2*a - f. Is a a multiple of 12?
True
Suppose 3 - 43 = -4*f. Let c = 16 - f. Is 3 a factor of c?
True
Suppose -3*q = -156 - 135. Suppose 3*d - q = 83. Does 20 divide d?
True
Is 16 a factor of ((-6)/3)/2*-70?
False
Let o be (-4)/3*1659/(-14). Suppose 4*w - 378 = -5*k, 3*k - 5*k = 5*w - o. Does 24 divide k + (0 - 9/3)?
False
Let q be (100/(-15))/((-2)/(-45)). Let m = -102 - q. Is m a multiple of 15?
False
Suppose 0 = 5*k - g - 483 + 48, -5*k - 3*g = -415. Is k a multiple of 23?
False
Let z be (1 - 2) + (-2 - -2). Let o be (z - 0) + (4 - 3). Suppose o*x + 4*x = 5*v - 40, v = -2*x + 8. Is 8 a factor of v?
True
Let m(y) = 2*y**2 - 10*y + 4. Let t be (-20)/(-70) - 47/(-7). Is 8 a factor of m(t)?
True
Let x(g) = -2 - 7*g**2 + 4*g + g**3 + 0*g**3 + 1. Let o be x(5). Is o/(-3) - (-6)/9 a multiple of 11?
True
Suppose 3*r - 5 = 1. Let t(b) = -214 + 213 + 4*b**3 + 2*b - 3*b**2 + 0*b. Does 8 divide t(r)?
False
Let q = -49 - -72. Let o = 16 - q. Is 10 a factor of (-15)/2*(o - -5)?
False
Let q = -7 - -4. Let n be 0 - 3/(q/4). Suppose n = 4*m - 2*o - 26, -5*m - o + 20 = 0. Does 5 divide m?
True
Let g(a) = -1. Let v(r) = -3*r - 10. Let b(m) = -6*g(m) + v(m). Is b(-9) a multiple of 10?
False
Is 22 a factor of (-210)/(-9) - 4/3?
True
Let u(o) = o**3 + 10*o**2 + 6*o + 5. Does 21 divide u(-5)?
False
Let c be 3 - 3/(9/(-6)). Let d = 0 + c. Is d even?
False
Suppose 3*m + 2*a - 124 = -2*a, -5*m = 2*a - 202. Is m a multiple of 19?
False
Let v(b) = b - 5. Let c be v(8). Let f be (-42)/(2*c/(-4)). Let s = f + -12. Is 5 a factor of s?
False
Is (5 + -4)/((-1)/(-31)) a multiple of 14?
False
Let g = 10 - 26. Let k = 88 - 53. Let r = k + g. Does 14 divide r?
False
Let m be 42/9 - 2/3. Suppose -2 - 8 = -m*o - 2*d, 5*o - d = 16. Is o even?
False
Suppose h = 2 - 4. Let o be 1/3 - h/3. Is o + 6 - 2 - -3 a multiple of 4?
True
Let t(b) = b**2 - 9*b + 12. Let u be t(8). Suppose -u*o = g - 0*g - 13, 2*o = 3*g - 11. Suppose 5*m = -0*m + o*j + 68, 0 = j - 1. Is m a multiple of 14?
True
Let b be (-36)/30*(-30)/9. Suppose 14 = b*n - 82. Is n a multiple of 12?
True
Let n(l) = l - 1. Let r be n(-2). Let s = r + 7. Suppose b - 11 = -3*h, 2*b = 3*b + s. Is h a multiple of 5?
True
Let z(b) = -b + 6. Let k be z(2). Suppose -2*q - 3*q + 14 = -k*f, -5*q + 22 = -2*f. Does 3 divide q?
True
Let b(a) = a**3 + 2*a**2 - 3*a - 3. Let m = 9 + -11. Is b(m) a multiple of 2?
False
Let r(n) = n**3 - n**2 + 2*n - 2. Is r(2) a multiple of 6?
True
Let u(o) = 6*o**3 - 3*o**2 + o + 6. Let a be u(3). Is 8 a factor of (-40)/(-6)*a/60?
True
Is -1*(3 - 386/(-3))*-3 a multiple of 26?
False
Let p(u) = 4*u**3 - u**2. Let b be p(1). Suppose -2*v - 8 = -2*o - b*v, -4*v - 20 = -5*o. Suppose 4*d - 5*s - 30 = 0, o*d + 0*s - 32 = 4*s. Does 6 divide d?
False
Suppose -12*t + 1978 = 682. Does 18 divide t?
True
Let f(q) = q**2 + 6*q - 10. Let v = -20 - -13. Let l be (v + 1)/((-4)/(-6)). Is 7 a factor of f(l)?
False
Let m be (9/(-2))/(2/(-8)). Let x = m - 7. Let u = x + -4. Does 4 divide u?
False
Let w = -4 + -12. Let k = w - -9. Let z(a) = a**3 + 6*a**2 - 10*a - 4. Is z(k) a multiple of 11?
False
Suppose 3*y - 7 = 5, 3*u - 2*y = 106. Suppose -3*x + u = 5*s, s = -0*s - 2. Is 4 a factor of x?
True
Let c = 30 - 20. Is 10 a factor of c?
True
Is (-3 - -1) + 819/7 a multiple of 23?
True
Let t(z) = -z**3 - z**2 - z + 26. Let o = 5 - 5. Is t(o) a multiple of 13?
True
Let g(k) = -2*k + 1. Let x be g(-1). Suppose 5*f + 4 = 29. Sup