5 = 5*q - s. Let b be 7*(-2 + q)*1. Let r = b - -9. Is r a multiple of 8?
True
Let n(v) = v**3 + 10*v**2 + 10*v + 10. Let o be n(-9). Does 20 divide 0 + o - (-144)/2?
False
Let h(q) = q**3 + 4*q**2 - q + 1. Let k be h(-4). Suppose -k*r = 2*s - 181, -5*r - 4*s + 0*s = -187. Suppose d - r + 14 = 0. Is 11 a factor of d?
False
Let o be 0 + (3 + -1)*-2. Let f(v) = -43*v**2 - v - 4. Let j be f(4). Is j/(-15) + o/10 a multiple of 23?
True
Suppose 0 = -7*l + 4*l + 177. Is 12 a factor of l?
False
Let l(x) = -x**3 + 6*x**2 - x - 4. Suppose -5*w + 5*o = -0*o - 15, 2*w - 2 = -2*o. Suppose w*r - 5 = 3. Is l(r) a multiple of 11?
False
Suppose -2*u - 172 = -2*o, 3*u + 237 - 60 = 2*o. Suppose -y + 27 = -5*i - 0, -2*i = -3*y + o. Is 9 a factor of y?
True
Let d(r) be the first derivative of -r**4/4 + 5*r**3/3 + 5*r**2 - 8*r + 2. Let n be d(6). Suppose 0 = v - z + n - 38, 5*v - 125 = 2*z. Is v a multiple of 10?
False
Let y(i) = 21*i + 1. Let m = 6 - 5. Does 11 divide y(m)?
True
Suppose -2*s + 8*s = 588. Is 16 a factor of s?
False
Is (-94)/(-10) + (-8)/20 a multiple of 9?
True
Let m(g) = -15*g + 6. Is m(-3) a multiple of 8?
False
Let z = -2 + -1. Let w be 2 - (9/(-3))/z. Is (-6)/(-2) + w*2 a multiple of 5?
True
Suppose 4*l + 0 = 8. Let u = 1 + l. Suppose f + u*f = 116. Does 21 divide f?
False
Let q be ((-21)/(-9))/((-3)/36). Suppose -6*v + 2*v = -76. Let p = v - q. Is 12 a factor of p?
False
Is 15 a factor of (-888)/(-18) - 1/3?
False
Suppose 37 = 2*y - 19. Is 11 a factor of y?
False
Suppose 0*y = -5*y + 60. Let v(t) = y*t + 6 - 4 - 4 - 4*t. Is v(4) a multiple of 18?
False
Is 13 a factor of (-5)/(-2)*(1 + 7)?
False
Suppose 4*z = -4*r + 3*r + 23, 3*r = -3*z + 15. Let n = 21 - 24. Let m = n + z. Is m a multiple of 3?
True
Does 18 divide (1*6)/(5 + (-297)/60)?
False
Suppose 0 = g + 3*g. Let h = 7 + g. Does 7 divide h?
True
Let o = -15 + 15. Let w be 0 - (-1 + 1 + 0). Suppose o*g - g + 22 = w. Is g a multiple of 11?
True
Let l(g) = -9*g + 12*g - 2*g**2 + 3*g**3 + 2 - 6*g. Does 10 divide l(2)?
False
Let m = -15 - -13. Is 22 a factor of 176/(-12)*9/m?
True
Suppose 92 = v + 2*t, -2*t = 2*v - 3*v + 76. Is 28 a factor of v?
True
Suppose k - 2 = -a + 2*k, 14 = 3*a + k. Suppose -g = a*g. Suppose 2*p - 2*u = -2*p + 122, g = -p + u + 32. Is p a multiple of 13?
False
Let w(z) = z**3 - 11*z**2 + 4*z - 12. Is w(11) a multiple of 5?
False
Let j(o) = 14*o**2 + 4*o. Let x be j(4). Suppose -2*g + 118 = y, -4*y + y + x = 4*g. Is 24 a factor of g?
False
Let q(g) = -g**3 - g**2 + 5*g + 3. Let o be q(-3). Suppose x - 30 = o. Is x a multiple of 17?
False
Suppose 0 = 4*p + 2*o - 126, 3*o + 2*o - 129 = -4*p. Is p a multiple of 7?
False
Does 8 divide (4 - 1) + 39 + 6?
True
Suppose -7 - 3 = 2*l. Let j be 1318/10 + (-1)/l. Suppose 3*p + j = 5*g, -60 = -2*g - 0*g + 3*p. Is 5 a factor of g?
False
Is 0 + ((-20)/(-4) - 3) even?
True
Suppose 0 = -q - 2*q + 69. Is q a multiple of 23?
True
Suppose -13*g + 7*g = -126. Does 16 divide g?
False
Suppose 0 = 5*g + 9 + 6. Let b(z) = z**2 - 3*z - 2. Is b(g) a multiple of 14?
False
Let w be 2*-2*1294/(-8). Suppose -3*x = -w + 191. Suppose -4*m + 4*l + x = 0, -23 = -m + 3*l - 5*l. Does 11 divide m?
True
Let w(v) = v**2 - 8*v + 9. Let l be w(6). Let h be 238/10 - 2/(-10). Is (19/(-4))/(l/h) a multiple of 14?
False
Let u = 1 - -3. Let i(m) = u*m + 3*m - 6*m. Is i(10) a multiple of 10?
True
Suppose 6 + 2 = 2*p. Suppose -4*z - 2*b + 49 = -55, -p*z + 3*b = -104. Is z a multiple of 9?
False
Let s(b) = b**3 - 7*b**2 - 7*b - 4. Let h be s(8). Suppose 4*w + 2 = 2*m + 4, -3*w + h = -m. Suppose -m*y + 32 = -4*y. Is 11 a factor of y?
False
Let h(u) = u**3 - 5*u**2 - 3*u. Let a be h(5). Let x = 32 + a. Is x a multiple of 15?
False
Let x(j) = -3*j. Let l = -5 - -8. Let s be (-5)/l - (-2)/3. Is 3 a factor of x(s)?
True
Suppose 3*k + 3*v - 19 = -v, -3*v = -5*k + 22. Suppose 5*i + 16 = 5*m - 49, 2*m = k*i + 41. Is 3 a factor of m?
False
Let k = -7 + 14. Suppose -k*a + 4*a = -39. Does 3 divide a?
False
Let c(u) = 27*u**3 - u**2. Let y be 0 - (2 - 0)*-1. Suppose y*g + 1 = 3. Does 9 divide c(g)?
False
Let p(o) = -o + 16. Suppose f + 16 = -4*w, -5*f + 2*w + 9 = 1. Is p(f) a multiple of 9?
False
Let n(q) = 3*q**2 + 2*q + 7. Is 14 a factor of n(-3)?
True
Let u(z) = 3*z**2 - z - 4. Suppose s = 5*s - 12. Is 20 a factor of u(s)?
True
Let x be (4/(-6)*-3)/(-2). Let d(h) = -16*h**2 + 5*h + 1. Let l(t) = -16*t**2 + 4*t + 1. Let g(w) = 4*d(w) - 5*l(w). Does 6 divide g(x)?
False
Let j be (-3 - -2)/((-2)/4). Suppose 591 = 5*x - 74. Suppose x = 5*f + 2*g, 2*f + j*g + 56 = 4*f. Does 15 divide f?
False
Let m(d) = -d**3 - 4*d**2 + 5*d + 3. Let k(v) = v**3 + 4*v**2 - 6*v - 2. Let p(l) = 4*k(l) + 5*m(l). Does 9 divide p(-5)?
True
Suppose 2*a = 4*g - g - 33, -2*g + 88 = -5*a. Let v = a + 25. Is v a multiple of 5?
False
Let h = -7 - -1. Let f = h + 8. Suppose 2*l - o - 44 = 0, f*o - 12 = -o. Is 12 a factor of l?
True
Suppose 3*f - 50 = 148. Is 27 a factor of f?
False
Let o(w) = -16*w - 1. Let j be o(-8). Let t = -89 + j. Does 19 divide t?
True
Suppose -4*k + 56 = 5*q - 96, 0 = 5*k + 5*q - 190. Is k a multiple of 38?
True
Let x be -4 + 9 + (-6)/2. Let j be (0 + 0)/2 + 3. Is 2 a factor of x/4 + j/2?
True
Is 29 a factor of (58/6)/((-4)/(-24))?
True
Suppose 5*u - 1 - 9 = 0. Suppose -4 = u*g, -5*l - 4 + 30 = -3*g. Is 3 a factor of l?
False
Let t = 138 + -238. Let f = -60 - t. Is f a multiple of 8?
True
Let o(s) = s**2 - 2*s - 1. Let k be o(3). Suppose -y + k = 14. Let g = y + 20. Is g a multiple of 8?
True
Let m = -98 + -173. Let t = m + 388. Suppose -5*j = -4*k - 22 + t, -3*k + 63 = -j. Is 10 a factor of k?
True
Let h(v) = 6*v + 2. Let g be h(3). Suppose 2*a - 6 = -4*r - 0*r, -4*a - 27 = -5*r. Suppose -u - 3*c + 19 = 0, -g = -3*u + u + r*c. Does 6 divide u?
False
Let g(t) = -13*t + 5. Let x be (-35)/15 + 2/(-3). Is 13 a factor of g(x)?
False
Suppose 5*b = 2*d - 299, 2*b - 205 = -2*d + 101. Suppose 0 = 2*j + 2*j - d. Does 19 divide j?
True
Let o(a) = 2*a + 5. Let g be o(-6). Let f(r) = -3*r**2 - 16*r - 5. Let l(i) = -i**2 - 5*i - 2. Let s(v) = 2*f(v) - 7*l(v). Does 9 divide s(g)?
False
Let g(n) = -n**2 + 9*n + 12. Is 4 a factor of g(5)?
True
Let m(k) = -8*k - 17. Let n be m(-13). Let o = n + -42. Is o a multiple of 15?
True
Let r(w) = 53*w**3 + w**2. Let k be r(1). Let u = -21 + k. Does 16 divide u?
False
Let u(n) = -6*n**2 - 2*n - 1. Let x = -5 - -9. Let j be u(x). Does 9 divide j/(-7) - (-2)/2?
False
Is 3 a factor of (4/7)/((-1)/(-7))?
False
Let h(l) = -62*l - 4. Is 13 a factor of h(-3)?
True
Let f be (0 - 2)*(2 - 3). Let r be (-14 + -3)/(f/(-4)). Let s = -15 + r. Is s a multiple of 16?
False
Let d(i) = -i**3 + 5*i**2 + 8*i - 8. Let m be d(6). Suppose -2*s - 2*s + 164 = -2*l, 4*l + 156 = m*s. Does 19 divide s?
False
Suppose 0 = -x + 7 - 3. Suppose -a + 13 = 4*p - 23, x*a - 89 = -5*p. Does 5 divide a?
False
Let i(l) = -28*l - 3. Let f be i(-2). Suppose -5*z + 243 = f. Is 19 a factor of z?
True
Suppose -2*t = -7*t - 5. Let f(a) = -15*a + 1. Let c be f(t). Suppose 4*n + 3*u = 23 + c, -3*n - 2*u = -30. Is 6 a factor of n?
True
Let c(r) = 19*r**2 + r - 1. Does 11 divide c(1)?
False
Let t = -16 + 45. Let i = -4 + 7. Suppose 3*r - 4*o = 37, i*r + 2*o = 2*r + t. Is r a multiple of 12?
False
Suppose -5*x - 4*v - 3 - 1 = 0, -4*x + 2*v = -2. Suppose -4*q + 8 = -x*q. Is 2 a factor of q?
True
Let k = -8 + 8. Suppose -3*j + 191 = 5*d - 28, j - 4*d - 56 = k. Is 19 a factor of j?
False
Let p = -70 + 11. Let z = 83 + p. Does 12 divide z?
True
Is 6 a factor of (-6)/5*(-15)/2?
False
Let j be (-24)/9 - (-6)/9. Does 8 divide 0 - (2 + 56/j)?
False
Let s(r) = r + 7. Let j(k) = -k**2 + 9*k - 8. Let m be j(8). Does 7 divide s(m)?
True
Suppose 5 = -0*i - i, 5*m = -i - 350. Let q = -48 - m. Does 8 divide q?
False
Suppose -f + 6 = 2*f. Let g = 3 - f. Let c = g + 9. Is 5 a factor of c?
True
Let m be (-2)/(-6) - (-95)/3. Suppose -10 = -2*d + m. Does 7 divide d?
True
Suppose 0 = 3*k - 497 - 199. Let m(i) = -i**3 + 4*i**2 + 8*i - 10. Let v be m(5). Suppose v*d = d + k. Is d a multiple of 25?
False
Let c = 31 - -28. Is c a multiple of 14?
False
Suppose -y = -v - 6, 2*y - 5*y - v + 10 = 0. Suppose y*c - 9 - 63 = 0. Does 10 divide c?
False
Is 4 a factor of 8/6 + (-544)/(-51)?
True
Let t = 780 - 419. Is 36 a factor of t?
False
Supp