74*z**3 + z**2 + 1. Let h be w(-1). Let b = x + h. Is b a multiple of 25?
True
Let c be 152/(-2)*7/(-14). Let u(i) = 3*i**2 + 2*i + 1. Let b be u(-1). Suppose -4*g = -0*l - 2*l + 50, -2*l + c = b*g. Does 18 divide l?
False
Suppose -2*k - 2*d + 58 = 8, -3*k = 2*d - 78. Is k a multiple of 13?
False
Let z = -40 - -105. Suppose 2*b = 5*h - z, 4*b - 1 = -2*h + 1. Is 8 a factor of h?
False
Let r = 130 + -112. Is 3 a factor of r?
True
Let r be 4/((-2)/6*-3). Suppose 0 = 4*u + 3*s - 18, -5*u + 16 = 5*s - r. Is 2 a factor of u?
True
Let r(a) = -6 + 5 + a + 44*a**2 - 3*a. Is r(-1) a multiple of 15?
True
Suppose 39 = 4*t - 69. Is t a multiple of 8?
False
Let n(m) = -2*m + 2*m + 3*m**2 + 1 - 2. Is 26 a factor of n(-4)?
False
Let o(h) = h**2 + 4*h. Let b be o(-3). Let p(k) = -k**3 - 2*k**2 - 4*k - 1. Is p(b) a multiple of 10?
True
Suppose 0 = 4*z + 5*b - 19, 2*b + 19 = 2*z + 5. Let r(g) be the third derivative of g**5/60 - g**4/12 + 12*g**2. Does 13 divide r(z)?
False
Let r be 4/2*9/(-6). Let j = r - -2. Is j*4*(-6)/4 a multiple of 3?
True
Suppose 0 = -11*t + 184 + 80. Is t a multiple of 8?
True
Let p be (-3 - -4)/(1/6). Suppose -p*x + 3*x - 30 = 0. Does 5 divide 5/((x/(-4))/5)?
True
Suppose 0 = -5*q + 221 + 304. Does 5 divide q?
True
Suppose 8 = 5*o - 7. Let z = o - 0. Is (-3)/(-9)*z*14 a multiple of 5?
False
Let w = 59 + -41. Is 18 a factor of w?
True
Is 25 a factor of 36 + (-4)/(-4 - -3)?
False
Suppose 3 + 5 = 4*i. Suppose i*k = -3*u + 17 - 8, 3*k - 26 = -2*u. Does 7 divide k?
False
Suppose 0 = 4*f - 5*x - 2 - 7, 2*f = 2*x + 6. Let c(q) = 4*q + 4. Is 12 a factor of c(f)?
False
Let d(c) = 4*c + 8. Is d(6) a multiple of 16?
True
Suppose 1 = j - 8. Suppose -x + 1 = -j. Is 5 a factor of x?
True
Suppose -9 = 4*a - 29. Is a even?
False
Let h(a) = -131*a**3 + 2*a**2 + a. Does 33 divide h(-1)?
True
Suppose 0 = 2*o + 4*p - 322, -o + 175 = -3*p - 2*p. Does 22 divide o?
False
Let r be (3/(-4))/(3/144). Does 15 divide 160/6*r/(-30)?
False
Suppose 2 = j - 5*j - 2*i, 4*j + 4*i = 0. Let k be j*(1*18)/3. Let r = 10 + k. Is r a multiple of 4?
True
Let i(d) = d. Let x be i(5). Suppose -x*u - 48 = 2*n - 151, -u + 3*n = -24. Is u a multiple of 9?
False
Suppose 2*a = -3*g - 5, 5*a + 8 = -0*g - 3*g. Let p be (-2 - 1*-8) + g. Suppose -p*h = -43 - 22. Is 8 a factor of h?
False
Let k(n) = -4*n - 7. Let u be 40/16*(0 - 2). Does 8 divide k(u)?
False
Is -3 - (-192)/4 - 0 a multiple of 9?
True
Let g(x) = -x**2 - 7*x - 14. Let l be g(-6). Let t = 36 + l. Is 7 a factor of t?
True
Let b(o) = -o**3 - 3*o**2 - 2*o + 2. Let f be 4*4 + (-1 - 0). Suppose 4*d + 39 = -4*u + f, 0 = 5*d + 2*u + 21. Is 7 a factor of b(d)?
False
Suppose 0*r = 4*r. Suppose r = 2*v + 3*v - 25. Suppose t + 41 = v*u, -u + 5*u - 3*t - 24 = 0. Is u a multiple of 9?
True
Suppose -26*q = -22*q + 212. Let h(y) = 4*y**2 + 3*y - 2. Let f be h(4). Let r = f + q. Is 6 a factor of r?
False
Let z(y) be the second derivative of y**4/12 - y**2/2 + y. Let p be z(2). Suppose 0 = 4*t - d - 32, -p*t + 5*d + 24 = -17. Is t a multiple of 3?
False
Let k be (-29 - 0)/((-2)/4). Let r be k - (2 + -2 + 2). Suppose 5*z + 5*b + r = 186, 2*z + 5*b - 52 = 0. Does 9 divide z?
False
Suppose 0 = 2*y + 23 - 7. Let m = 10 + y. Is m a multiple of 2?
True
Suppose 0 = -0*n - 2*n + 36. Is n a multiple of 12?
False
Let d = 6 + -18. Is 6 a factor of (0 + d)*(0 - 1)?
True
Let g = -32 - -81. Does 17 divide g?
False
Suppose 0*l - l + 2 = 4*k, 0 = -3*k + 3*l + 9. Does 17 divide (-16)/(-1) + 2 - k?
True
Let r(a) = a + 7. Let k be r(-3). Suppose 60 = 8*g - k*g. Is 12 a factor of g?
False
Suppose 4*q - 3 = q, j - 29 = 2*q. Suppose 5*v - j = -1. Is 3 a factor of v?
True
Suppose -262 - 98 = 5*s. Does 6 divide s/(-7) + (-2)/7?
False
Does 28 divide ((-14)/4 - -4)*56?
True
Let l = 143 + -85. Is l a multiple of 31?
False
Let x(q) = -q**2 - 16*q + 19. Let v be x(-17). Let y = v - -53. Is y a multiple of 23?
False
Let z(j) = 3*j - 28. Is 8 a factor of z(12)?
True
Let a(v) = -v - 5 + 1 - v**3 + 5 + 3*v**2. Let j be a(2). Is 3 a factor of 5 + j/(-3) - -2?
True
Let g(z) = -z**2 - z + 131. Let h be g(0). Let m = -93 + h. Is 16 a factor of m?
False
Suppose 15 = 4*b - 1. Suppose -b*n + 0*n = -64. Is n a multiple of 8?
True
Let g(j) = -3*j + 11. Let k be g(9). Let p = k - -22. Does 6 divide p?
True
Let d = -2 + 7. Is 3 a factor of d?
False
Let c = -202 - -400. Is c a multiple of 13?
False
Suppose -n + 2*n = -3*m + 589, -m + 200 = 4*n. Is (-1 - 0) + m/4 a multiple of 18?
False
Let l(f) = -18*f**3 + f**2 - 1. Let c = -4 - -7. Suppose -c*b + 2*j - 6*j = -1, -3*b - 7 = -4*j. Is 16 a factor of l(b)?
False
Let d(c) be the first derivative of c**3/3 + 7*c**2 - 23*c - 2. Is 14 a factor of d(-17)?
True
Let u = 13 + -3. Suppose 1 - u = -3*m. Is m a multiple of 2?
False
Suppose 38 = -7*r + 437. Is r a multiple of 6?
False
Suppose 0*d = -3*d + 144. Is 12 a factor of d?
True
Suppose -5*z - 456 = -9*z. Does 19 divide z?
True
Suppose 3*i + 3*n = -63, -3*i = 2*n - 3*n + 71. Suppose 9 = -4*j + 149. Let h = j + i. Is h a multiple of 6?
True
Let f be 12*(15/9 + 3). Suppose -4*q + 4*c = -f, 2*q - 5*q - 4*c + 28 = 0. Is q a multiple of 6?
True
Suppose p = 2*v + 6, 5*p + v + 17 + 8 = 0. Let h be (-4)/(-16) + (-7)/p. Suppose 5*b + h*k + 2*k = 221, -102 = -2*b - 5*k. Is b a multiple of 16?
False
Let c(i) be the third derivative of -2*i**4/3 - i**3/3 + 2*i**2. Let r be c(-4). Suppose 3*b + 3*z = 8*b - r, 2*z = b - 11. Is b a multiple of 5?
False
Let f(y) = -y**2 + 5*y. Let g be f(5). Let x(z) = 2*z**2 - 3*z. Let s be x(2). Suppose -m - s*u + g*u + 2 = 0, -m - 2 = 3*u. Is m a multiple of 9?
False
Let c(m) = 3*m**3 - m**2 + 13*m + 9. Let s(p) = 5*p**3 - 2*p**2 + 20*p + 14. Let w(r) = -8*c(r) + 5*s(r). Is 7 a factor of w(4)?
True
Let v be 6/33 + 80/44. Is v/9 + 238/63 even?
True
Suppose 20 = 4*r, z - 2*r = -z + 194. Suppose 4*p - z = 54. Is p a multiple of 25?
False
Suppose -3*o + 4*p + 104 = 0, -4*o - 3*p = -0*p - 147. Does 9 divide o?
True
Suppose -4 = a - 1. Let y(i) = i**2 + 2*i + 3. Let c be y(a). Let f(j) = -j**3 + 7*j**2 - j - 6. Does 24 divide f(c)?
True
Suppose 811 + 5 = -4*f. Is ((-4)/12)/(2/f) a multiple of 20?
False
Let f(n) = 9*n + 9. Let s(q) = q. Let k(v) = -f(v) + 2*s(v). Does 11 divide k(-6)?
True
Suppose -2*y + 30 = 3*y. Does 4 divide ((-18)/7)/(y/(-28))?
True
Let d(j) = j + 2. Let f be d(-8). Let b be (-2)/((-8)/f - 2). Suppose -1 = b*c - 2*n, -c + 2*c - 3*n + 12 = 0. Is c even?
False
Let v(c) = 7*c + 7. Let r(p) = 8*p + 8. Suppose 0 = 3*d - 2*d - 5. Let j(q) = d*r(q) - 6*v(q). Is j(-5) a multiple of 8?
True
Let r = -156 + 240. Does 14 divide r?
True
Suppose 11*c + 30 = 6*c. Let x(h) = h**3 + 5*h**2 - 5*h + 7. Let i be x(c). Is 14 a factor of -3 + -1*-39*i?
False
Suppose i = 2*i + 5*d - 76, -5*i + 2*d + 272 = 0. Suppose 16 - i = -4*n. Does 5 divide n?
True
Let l(v) = 138*v - 3. Let s be l(3). Suppose 0 = -3*k - 4*t + 410, -3*k + 0*t - 3*t = -s. Suppose k = 4*u + 5*b + 12, -b + 60 = 2*u. Is u a multiple of 19?
False
Let d(v) = -16*v - 14. Does 13 divide d(-9)?
True
Let d be ((-1)/5)/(1/(-5)). Is 12 a factor of 1/d*(32 - 1)?
False
Let s(f) = f**3 + 8*f**2 + 3*f - 9. Suppose -3*t = 13 - 76. Suppose 0*k = -3*k - t. Is 15 a factor of s(k)?
False
Suppose 210 = -2*z + 538. Let i = z - 92. Does 18 divide i?
True
Let a = 32 - 23. Let u(o) = -o**2 + 10*o - 7. Let b be u(a). Suppose -b*i + 6*i - 88 = 0. Is i a multiple of 11?
True
Suppose 0 = 3*s - 1 - 11. Suppose 0 = s*w - 13 - 19. Does 4 divide w?
True
Suppose -2*t - 3*p + 94 = 0, -3*p - 8 = -2. Let g = -36 + t. Does 7 divide g?
True
Suppose -2*v - 1 = -3*v. Let u = 7 + v. Is u a multiple of 8?
True
Let r(q) = 12*q**2 + q. Let u be r(-1). Let b = -5 + 0. Let g = u + b. Is g a multiple of 3?
True
Suppose -f - 900 = -6*f - 4*o, -f + 180 = o. Is f a multiple of 8?
False
Let a = 124 - 86. Does 19 divide a?
True
Let a be 2*(14/(-4) - -1). Let f(w) = w**2 - 2*w + 6*w - 2 - w. Is f(a) a multiple of 4?
True
Let w(p) = -p**3 + 2*p**2 + 7*p + 5. Let o(y) = -y**3 + 2*y**2 + 6*y + 4. Let j(f) = -6*o(f) + 5*w(f). Is 7 a factor of j(3)?
True
Suppose -7*g = g - 536. Does 7 divide g?
False
Suppose -4*m - 5*z + 20 = -105, 0 = 3*m - 2*z - 65. Is m even?
False
Let d(a) = 6 + a**3 + a + a**2 + 2*a**3 + 3*a**3 - 5*a**3. Let x be d(0). Does 6 divide x + (1 - (