vide f?
True
Suppose 80 = 6*u - u. Is 14 a factor of 460/u + (-6)/8?
True
Let x(q) = -q**3 - 7*q**2 - 8*q - 7. Let s be x(-6). Suppose 51 = s*g - 4*u, -3*g + 24 = -g + 2*u. Suppose -2*o + 17 = -g. Does 14 divide o?
True
Suppose -108 = -2*u - 44. Is 10 a factor of u?
False
Suppose m - q + 1 = -0, 0 = -3*m + 4*q - 3. Let o be 16/2*m/(-2). Suppose 6 + 38 = o*y. Is 4 a factor of y?
False
Let z = -18 + 8. Let i = -4 - z. Is -39*2*(-1)/i a multiple of 6?
False
Let a = 4 - 2. Suppose a*v - 5*o = 162, 4*v + 0*v - 324 = -2*o. Suppose -3*n - n - 28 = -2*u, -4*u + 3*n + v = 0. Is u a multiple of 8?
True
Let w(a) = -a**2 - 2*a + 3. Let v be w(-3). Suppose 3*q + q - 7 = 5*o, -5*q + 5*o + 10 = v. Let r(p) = 2*p**2 - 4*p - 1. Does 2 divide r(q)?
False
Is (-1 - -2)/(-2) + 110/4 a multiple of 9?
True
Let g(y) = -y**2 - 9*y + 3. Let i be g(-9). Let d = 3 - i. Suppose 4*h - 2*k - 117 = -3*k, d = h + 5*k - 53. Is 14 a factor of h?
True
Suppose -1 = -w + 3. Suppose 4*v + v = -4*j + 65, w*j = v - 13. Suppose 5*n + v = 53. Is 6 a factor of n?
False
Let b be (1 + -60)/(-1) - -2. Suppose 5*o - b = 139. Let g = o + -28. Is g a multiple of 7?
False
Let z(r) = -r**2 - 2*r + 6. Let q be z(-5). Let p be (-2 + 11)*(-8)/(-6). Is (q/p)/((-1)/16) a multiple of 6?
True
Let l(o) = o**3 + 13*o**2 - 4*o + 8. Is 4 a factor of l(-13)?
True
Let f = 68 - 16. Does 14 divide f?
False
Let z(o) = -7 + 2 + 5 - 2*o. Is z(-5) a multiple of 3?
False
Let n be (21/(-6) + 1)*-14. Suppose -4*q - n = q. Let z(y) = y**2 + 6*y + 1. Is 3 a factor of z(q)?
False
Suppose -3*j + 74 = -160. Is j a multiple of 8?
False
Suppose -5*p + 10 = -55. Suppose -2*y + 47 = -p. Does 10 divide y?
True
Let s = -2 + -8. Let c(i) = i**2 + 10*i + 7. Does 7 divide c(s)?
True
Let z be 279 - 5 - 2/1. Suppose 5*y + w = -z - 15, -220 = 4*y - 4*w. Let a = -19 - y. Is 19 a factor of a?
True
Let f be 5/((-5)/(-9)) + -2. Suppose f*b - 2*b = 190. Is 11 a factor of b?
False
Let y(f) = 62*f + 1. Let j be y(1). Let l be 112/j + 4/18. Suppose l*t + 1 - 19 = 0. Is 4 a factor of t?
False
Suppose -f + 6 = f, 0 = -z - 5*f + 45. Is 18 a factor of z?
False
Suppose -3*g = 6, -3*l + g + 67 = -46. Is 3 a factor of l?
False
Let w(b) = -b**2 - 8*b - 3. Let k be w(-5). Suppose 4*a - 2*a = k. Suppose -x = -3*s + 57, -s = -a*s - 5*x + 75. Is 9 a factor of s?
True
Does 11 divide ((-2)/6)/(21/(-4599))?
False
Suppose -8*q - 3*y + 69 = -4*q, -5*q + 3*y + 120 = 0. Is 7 a factor of q?
True
Let j(g) = -2 + 0 + 0 + 4*g. Is 15 a factor of j(5)?
False
Let i(a) = -a**3 - 3*a**2 - a. Let k be i(-3). Let t = k + 0. Suppose -t*b + 61 + 8 = 0. Is b a multiple of 7?
False
Let l = -97 + 143. Does 23 divide l?
True
Let d = -28 + 1. Let t be 6/d + 1588/18. Let v = -18 + t. Is 18 a factor of v?
False
Let a = 4 - 3. Does 5 divide a + (4 - 3)*13?
False
Let v(j) = j**2 - 5*j - 6. Is 6 a factor of v(9)?
True
Suppose r = 4*k, 3*r - k + 34 = 12. Does 9 divide -4 - r - -29 - -3?
True
Suppose -t + 0*t + 2 = 0, -15 = -5*y - 5*t. Does 4 divide 6/y*(-4 + 5)?
False
Suppose -2*s + s = -3. Suppose -4*r - 5*m - 36 = -s*r, 0 = -5*r + m - 128. Let q = r - -36. Is 3 a factor of q?
False
Let z = 1 + 0. Let p = -77 + 148. Suppose -5*o - z + p = 0. Is o a multiple of 7?
True
Suppose 4*d = -d + 200. Is 10 a factor of d?
True
Suppose g + 196 = 4*q, -5*g = -5*q - g + 256. Is q a multiple of 12?
True
Is 71/(2*(-1)/(-4)) a multiple of 25?
False
Let h(u) = u + 7. Let t be h(-5). Suppose -t*k - k = -6. Suppose -k*o - o = -36. Is o a multiple of 12?
True
Suppose -b + 3*b - 3*o + 11 = 0, -4*b + 28 = 4*o. Suppose -2*s = -2*g + 56, -s = b*s - 9. Is 13 a factor of g?
False
Let o be 0 - (0 + 0 + -4). Let c(g) be the third derivative of g**4/24 + g**3/6 + g**2. Is c(o) a multiple of 2?
False
Let z be (-1)/2*(-11 + 1). Suppose k - 1 - 1 = 0. Suppose -z*c = -3*d - 213, -4*c - k*d = c - 208. Does 21 divide c?
True
Suppose 2*k - 3*n = k - 14, -14 = -3*k - 5*n. Let z = 0 + k. Is 10 + (z - -1) + -1 a multiple of 8?
True
Let k = -45 + 53. Does 4 divide k?
True
Let j(k) = -60*k - 2. Let h be j(-2). Let u = h - 6. Suppose 2*m + 2*m - u = 0. Does 11 divide m?
False
Suppose 0 = 5*b + 5. Let m be 47 + -1 + (-2 - b). Let f = m - 29. Is 16 a factor of f?
True
Let c(u) = u**3 - 2*u**2 - 8*u + 4. Does 16 divide c(5)?
False
Let g(j) = -2*j**3 - 3*j**2 + 1. Let l be g(-4). Let o = l + -43. Is o a multiple of 15?
False
Let n = -21 + 6. Let p be ((-10)/n)/((-2)/3). Is 21 a factor of p/4 + 474/8?
False
Is 19 a factor of (-5 - -2)/((-6 - -4)/38)?
True
Suppose x - 444 = -3*x. Let t be 609/(-9) - (-4)/6. Let p = t + x. Does 16 divide p?
False
Let k(q) = q**3 + 8*q**2 + 8*q + 3. Does 9 divide k(-6)?
True
Suppose 0 = 5*z - 283 + 93. Is z a multiple of 21?
False
Let s = 23 + -14. Let v = s - 5. Suppose -v*t = -5*p + 2 - 136, 0 = -p + 2. Does 12 divide t?
True
Let r = 29 - 17. Suppose -r*v = -11*v - 65. Is 13 a factor of v?
True
Let j(g) = -7*g**3 - g**2 + 1. Let r(a) = -7*a**3 - a**2 + 1. Let p(y) = -2*j(y) + 3*r(y). Is p(-1) a multiple of 4?
False
Suppose -b - 8 = 4*z, z = -5*b - 2*z + 45. Does 12 divide b?
True
Suppose 7*q = 3*q + 188. Suppose -11 + q = 3*t. Is t a multiple of 6?
True
Is 17 a factor of (-131)/(-3) - 2/3?
False
Suppose 0 = 2*w + 4*x - 10, -3*w + 2*x - 2 = -7*w. Let g = w + 3. Suppose 0 = -0*m + m - g. Is m even?
True
Is 4 a factor of (-542)/(-10) - (-2 - 24/(-20))?
False
Let r(v) = 6*v + 1. Let y(g) = -5*g. Let q(c) = -4*r(c) - 5*y(c). Let a be q(7). Suppose a*x - 23 = 2*x. Is x a multiple of 6?
False
Suppose -2*m = -174 - 6. Let x(y) = y + 11. Let t be x(-8). Suppose -q = -d - 31, t*q = -2*d - 17 + m. Is q a multiple of 16?
False
Suppose -3*s = -s + 26. Let j = 19 + s. Is -1 + (j/3 - -2) a multiple of 3?
True
Suppose -5*r - 5*z = -3*z - 5, -5*z - 16 = 3*r. Suppose 0 = -q + r*q - 58. Is q a multiple of 12?
False
Suppose 0 = -9*z + 89 + 1108. Is z a multiple of 32?
False
Let i(v) = 2*v - 22. Let l be i(9). Is 6 a factor of 46/3 + l/(-6)?
False
Let z(f) = -2*f**3 + 2*f**2 + 3*f. Let p be z(4). Is 21 a factor of (1 - 16)*p/20?
True
Let g(q) = -6*q**2 + q + 11. Let v be g(11). Is 15 a factor of (-2)/(-6) - v/12?
False
Let q(z) = 18*z**2 + 1. Let c = 3 - 4. Let o be q(c). Let v = o - -19. Does 19 divide v?
True
Suppose -5*h - 4*w - 60 = w, 9 = -3*w. Is 8 a factor of (-3 - h)/((-9)/(-24))?
True
Suppose -2*j = 0, 0 = 5*m - 3*j + 2*j - 130. Does 13 divide m?
True
Let h(i) = -i - 1. Let a(d) = d**2 - 5*d + 4. Let r(b) = a(b) + 2*h(b). Let f(v) = 2*v**2 + v + 1. Let o be f(-2). Is r(o) even?
True
Let d(i) = 0 + 6*i + 0 + 5 + 0*i. Does 12 divide d(4)?
False
Let d(k) = -3*k. Let q be d(1). Let m(o) be the third derivative of -o**4/12 - 2*o**2. Does 6 divide m(q)?
True
Let m(t) = t**2 + 5*t + 5. Let x be m(-5). Suppose k - 4*h + x = -17, -46 = k + 4*h. Is 15 a factor of (k/6 + -1)*-6?
False
Let p(r) = -r**3 + 11*r**2 + 2. Suppose 41 = 4*j + t, j + 2*j + 5*t - 18 = 0. Let u be p(j). Is (3 - u)/((-1)/(-14)) a multiple of 5?
False
Let x = -90 - -152. Is x a multiple of 8?
False
Suppose 11*b - 364 = 7*b. Is b a multiple of 19?
False
Suppose -2*j = 3*j + 35. Let g be (6/(-7))/(1/j). Let c = 18 + g. Does 12 divide c?
True
Let l = -11 - -7. Let q(x) = x + 2. Let j be q(l). Does 14 divide (-38 - j)/(-1) + 3?
False
Let n(a) = -a**2 + 1. Let w(l) = l**2 - 3*l + 5. Let c(q) = -6*n(q) + w(q). Is 21 a factor of c(-2)?
False
Suppose -2*q - 3*g = -17, -2*q + 5*g = g - 38. Is q a multiple of 4?
False
Let n be (-16)/((-3)/(-15)*-2). Suppose -w - 3*w = -n. Does 3 divide w?
False
Let p = -60 + 90. Let u = -16 + 19. Suppose p = u*y - 60. Does 13 divide y?
False
Let k be (-348)/9*3/(-1). Suppose 5*q = k + 139. Is 17 a factor of q?
True
Let a(k) be the second derivative of -1/3*k**3 - 1/2*k**4 + 0*k**2 + 0 - 1/20*k**5 + 3*k. Is 4 a factor of a(-6)?
True
Is 19 a factor of 78 - ((-10)/(-5) - 0)?
True
Suppose -5*d = d - 504. Is 28 a factor of d?
True
Is 19 a factor of 33/55 - (-282)/5?
True
Let d(b) = -b**2 + 11*b - 15. Let j be d(6). Is 12 a factor of (-10)/j + 76/6?
True
Let r(n) be the first derivative of -n**4/4 - n**3/3 - n**2/2 + 3*n - 1. Is 12 a factor of r(-3)?
True
Suppose -5*p - 42 = 33. Let u = p - -25. Is u a multiple of 5?
True
Let s = 123 - -9. Does 6 divide s?
True
Is (1 - 0)*(-61)/(-1) a multiple of 9?
False
Let u(s) = -s**2 + 