-3*y**2 + 1. Let u be v(-1). Let s = u - -5. Suppose -s*q + 87 = 30. Is 10 a factor of q?
False
Suppose 4 + 2 = 2*u. Suppose -n - 2*n + 3*q + 162 = 0, -4*q = u*n - 162. Does 18 divide n?
True
Let v = 266 + -189. Does 16 divide v?
False
Let a(r) = r**3 + 4*r**2 - 5*r + 3. Let q be 1/(2/(-20)*2). Let v be a(q). Suppose v*x + 5*h + 35 = 7*x, 3*h = -4*x + 11. Is 5 a factor of x?
True
Let l = -82 + 151. Is 14 a factor of l?
False
Suppose 3*a = -4*u + 4*a + 277, -5*a = 4*u - 271. Suppose -3*r + u = -81. Is r a multiple of 24?
False
Let p(c) = c - 2. Let v(b) = 2*b - 5. Let m(a) = 5*p(a) - 2*v(a). Let z be m(5). Does 14 divide 1*9/3*z?
False
Let g be 2 + (-9 - -3) - -1. Is (235/(-15))/(1/g) a multiple of 25?
False
Let q = 40 - 16. Let r = q + -13. Let a(o) = 2*o - 11. Is a(r) a multiple of 7?
False
Suppose 0 = -4*r - 1194 - 142. Let u be (-4)/(-14) - r/7. Let o = u - 33. Is 8 a factor of o?
False
Let c(w) = 32*w - 1. Let u = -1 + 5. Suppose -2*o + u*o - 2 = 0. Is 12 a factor of c(o)?
False
Suppose -6*i + i = -5*o + 20, 2*i + o - 1 = 0. Does 3 divide (-8)/((5 + -3)*i)?
False
Let g be (5 - -2) + 1 - 2. Let p = -2 + g. Suppose -2*d = p*o + 3*d - 140, d + 86 = 3*o. Is o a multiple of 15?
True
Suppose -4*g - o = -11, 5*o + 1 - 5 = -3*g. Suppose g + 1 = 2*p. Is 5 a factor of (6/(-4))/(p/(-8))?
False
Let y(s) = 80*s. Let z be y(1). Suppose -4*d + 8*d = z. Is d a multiple of 15?
False
Let u be (20/3)/((-4)/(-186)). Suppose f = 6*f - u. Is 26 a factor of f?
False
Let v = 1 + -4. Let x be v/6 + 11/(-2). Let h(f) = -f**3 - 7*f**2 - 5*f + 8. Is h(x) even?
True
Let p(f) = 3*f**2 - 6*f + 4. Let i be p(4). Suppose -2*r - 2*r = -i. Is r a multiple of 5?
False
Let h(i) = i - 3. Let y be h(5). Suppose -3*j + 14 = 3*k - 4*j, -j = -5*k + 22. Suppose -k*b + 65 = -y*b - 5*d, 3*d - 49 = -b. Is b a multiple of 26?
False
Let y(o) = -2*o**3 + 4*o**2 - o + 1. Let l be y(3). Let v = l - -31. Does 5 divide v?
False
Suppose 4*f = 4*i + 52, -f = -5*f - i + 47. Is f a multiple of 6?
True
Let a(n) = n**3 + 2*n + 8. Is a(0) a multiple of 8?
True
Is (-206)/(-4)*6/3 a multiple of 19?
False
Suppose 0 = -3*g - 15, 3*g - 35 = 2*r + 26. Let x = r - -56. Is x a multiple of 18?
True
Suppose 0 = -q + 3*y - 6, 3*y + 2*y = 5*q - 20. Does 2 divide q?
False
Suppose p = -3*p + 292. Is 11 a factor of p?
False
Let h(v) = v**2 + 2*v + 6. Let k be h(-4). Let x be 1 + -2 - (-7 + 4). Suppose 3*m = k - x. Is m even?
True
Let r(w) = 5*w**2 + w - 1. Let u = -5 - -6. Let v be r(u). Suppose -v*x = 5*l - 35, -4*x = -5*l - 49 + 12. Is 5 a factor of x?
False
Is 14 a factor of (88/(-3))/((-4)/6)?
False
Let n(t) = t + 8. Suppose 0*o + 13 = -2*o + 3*s, 0 = -s + 1. Let q be n(o). Is 8 a factor of (-2 + q)/(-1) - -12?
False
Let j(o) = 15*o + 2. Let w = 4 + -3. Is 17 a factor of j(w)?
True
Suppose -112 = -m - 2*a, 326 = 3*m - 5*a + a. Is m a multiple of 22?
True
Let v(p) = -p**3 - 3*p**2 - p - 4. Let u be v(-3). Let d be ((-3)/5)/(u/5). Suppose d*s - 2*s = 20. Is 9 a factor of s?
False
Let q(a) = -6*a**3 - 5 - a**3 + 6 - 2*a**2. Let l be q(1). Let w(c) = c**2 + 2*c - 10. Does 12 divide w(l)?
False
Suppose 4*z - 4*w - 33 + 5 = 0, 3*z + 3*w = 3. Suppose -8 = -z*q, 5*q + 17 = o + 4. Does 8 divide o?
False
Suppose l = 5*l - 3*a - 199, 5*a = l - 71. Does 13 divide l?
False
Suppose c = -4*s + 151, 5*c = 4*s + s - 220. Is 5 a factor of s?
False
Let n(k) = 5*k - 7. Let b = 11 + -6. Is 13 a factor of n(b)?
False
Let l(m) = -5*m + 13. Let n(t) = 2*t - 6. Let z(r) = -4*l(r) - 7*n(r). Does 32 divide z(7)?
True
Suppose -111 = -5*v + 9. Does 4 divide v?
True
Suppose -4*z = -5*q + 464, -4*q - z - 93 = -460. Is q a multiple of 24?
False
Let h = 111 + -101. Is h a multiple of 2?
True
Suppose -4*q = -7*q + 5*u + 375, 4*q + 3*u = 529. Does 13 divide q?
True
Let f(t) = -45*t - 1. Let h be (1 - -2) + (-11 - -7). Is 7 a factor of f(h)?
False
Let v be 10/(((-10)/8)/(-5)). Let g = -17 + v. Suppose s + g = 2*s. Does 13 divide s?
False
Let q(i) = i**3 - 9*i**2 + 9*i + 9. Let p(g) = -4*g + 2. Let u(z) = -z - 1. Let v(y) = -p(y) - 3*u(y). Let f be v(1). Does 6 divide q(f)?
False
Suppose -4*b + b + 10 = 2*z, -3*z + 15 = b. Suppose 3*f = -3*y + 42, -z*y - 76 = -4*f - 4*y. Is 9 a factor of f?
True
Let p(u) = -u + 128. Is p(0) a multiple of 32?
True
Let c = 12 - 10. Does 2 divide c?
True
Let d be (-2 - 1) + (-9)/9. Let o(q) = -q**3 - 5*q**2 - 5*q + 3. Is 7 a factor of o(d)?
True
Let i = 1 + 3. Suppose -3*d - 3 = 0, -i*b - 3*d + 2 = -7. Does 2 divide b?
False
Suppose 11 = 2*r + 5*p, 3*p = 5 - 2. Let a(x) = -x - x**3 + x**3 - 5*x**2 + x**r + 7. Does 18 divide a(6)?
False
Suppose x = 2*x - 2. Suppose 34 = q + 2*t, -x*q - 37 = -3*q - 5*t. Does 16 divide q?
True
Let o = -64 - -93. Suppose o = -2*z + 75. Suppose -2*x = -11 - z. Does 17 divide x?
True
Suppose -u + 5*k - 15 = 0, 3*u = -0*u - k + 19. Suppose 4*j = -q + 24, j = -q - 2*j + 19. Suppose u*g + 4*r = 90, 2*g - 2 = q*r + 6. Is g a multiple of 7?
True
Suppose -4*j + 0*w = -4*w - 24, 5*j = 3*w + 22. Let r be -5*(4 - j - 3). Suppose 0 = -r*v - 2 + 97. Is v a multiple of 7?
False
Let q = 92 + 36. Suppose -q + 20 = -3*u. Does 12 divide u?
True
Let n(v) = 65*v - 1 + 6*v + 7*v. Let d be n(1). Suppose -d = -3*i + 19. Is i a multiple of 16?
True
Suppose -4*p = -3*z + 10, 2*z - 4*p = -p + 7. Let h be 49/(-4) - z/(-8). Does 10 divide (-310)/(-18) - h/(-54)?
False
Suppose -92 = -5*g + 2*k, -4*g = -5*g + 2*k + 20. Does 6 divide g?
True
Suppose 0 = -f - f. Suppose -2*q - p = 86 + 2, -26 = q + 5*p. Does 18 divide q/(-1 - 0) - f?
False
Let n(d) = 6*d**2 - 3*d + 3. Let j(f) = f**3 - 7*f**2 + f - 5. Let p be j(7). Suppose 4 = 4*t - p*u, 4*t - 2*u + 2 = 3*u. Is n(t) a multiple of 15?
False
Let x = -1 + -2. Is (3*1)/(x/(-44)) a multiple of 23?
False
Suppose -2*t + 124 = 3*s, 5*s + 152 = 2*t + 60. Let n = t - -28. Is 28 a factor of n?
True
Let t(b) = -b**3 - 3*b**2 + 5*b + 1. Let y be t(-5). Suppose 2*d = -4*l + 92, 0 = 4*d - 3*d + 5*l - 52. Let c = d - y. Is 9 a factor of c?
False
Let h = -9 - -3. Let u be h/2 - (-6 - -3). Suppose u = -3*y + 2 + 13, -5*c - 3*y = -40. Is c even?
False
Let a(y) = 3*y**3 + y**2 + y - 2. Let r be a(2). Suppose -v = -11*v + 120. Let h = r - v. Does 8 divide h?
True
Suppose 9*h - 182 = 7*h. Let d = 164 - h. Is 32 a factor of d?
False
Suppose -17*b + 218 = -15*b. Is 24 a factor of b?
False
Suppose 4*n = 2*n + 2*z + 16, -5*z = -3*n + 22. Is 3 a factor of 6*(33/n + -1)?
False
Let x = 770 - 530. Is 20 a factor of x?
True
Let g(n) = -n**3 - 2*n**2 + 4*n + 2. Let m be g(-3). Let v = 55 + m. Let w = v + -5. Does 25 divide w?
False
Let w(z) = z**2 - 2*z - 3. Let k = 17 - 12. Does 5 divide w(k)?
False
Let m be 0 + 2 + 0 - 6. Let i = m - -2. Let z = i + 6. Does 2 divide z?
True
Let q = -18 + -55. Let o = 136 + q. Is o a multiple of 21?
True
Let k(g) = -g**3 + 5*g**2 - 6*g + 6. Let c be k(6). Let a(s) = s**2 - 15*s + 4. Let r be a(10). Let m = r - c. Is m a multiple of 10?
True
Let l = -3 + 14. Suppose -l = -5*j - 1. Let m = j - -4. Does 6 divide m?
True
Let l be (-1 - 0)/(3/(-210)). Suppose 2*n - k = 27, -5*n + 4*k = -k - l. Is 8 a factor of n?
False
Let i(d) = 15*d**3 - d**2 + d. Let f(j) = -2*j**2 - 3*j. Let k be f(-2). Let w be (k - -2) + 0 + 1. Does 15 divide i(w)?
True
Let d = 125 + -88. Is 20 a factor of d*(0 + (2 - 1))?
False
Let w(f) = 4*f**3 - 11*f**2 - 3*f - 2. Let x(g) = g**3 - g**2 - 1. Let t(v) = -w(v) + 5*x(v). Does 7 divide t(-5)?
True
Let r = 30 + 31. Let x = r + -41. Is ((-48)/x)/((-4)/50) a multiple of 15?
True
Suppose 6*k + 18 = 3*k. Let g(c) = -c - 6. Let m be g(k). Suppose 0 = 5*a - 2*f - 64, -a + m*f + f = -11. Does 7 divide a?
True
Suppose o = -5, -v - 1 = -0*v + o. Is (126/v)/(6/8) a multiple of 14?
True
Let m(w) be the third derivative of w**5/60 + w**4/12 + 2*w**3 - 4*w**2. Let o(t) = -3*t**2 - 7*t - 35. Let l(j) = -8*m(j) - 3*o(j). Is 15 a factor of l(-6)?
True
Let r(x) = -12*x - 1. Is r(-5) a multiple of 7?
False
Let f(o) = o - 2. Let r be f(0). Let k(n) = -12*n - 2 + 2. Does 12 divide k(r)?
True
Let t be 50 + 1/1 + -2. Let m = t + -25. Does 12 divide (2/(-4))/((-1)/m)?
True
Suppose v + v - 3*c = 29, 3*v = 3*c + 36. Let n(z) = z - 3. Let j be n(v). Suppose 0 = g + 2*g, 3*t - 90 = -j*g. Is t a multiple of 23?
False
Suppose -5*v = 5*a - 340, a - 5*v = -2*a + 188. Is 22