ven?
False
Let y = 3 - -1. Suppose -19 = y*z - 67. Suppose -32 = -5*b - c - 2, 3*c - z = -2*b. Does 3 divide b?
True
Let x = -22 + 11. Suppose -3*l + 2*l + 2 = 0. Does 7 divide (l/1 - x) + 0?
False
Let r be (1/(-1))/(1/33). Let z = 63 + r. Is 15 a factor of z - (1 + -2 + 1)?
True
Let u = -37 + 68. Is u even?
False
Let x(p) = -2*p**3 - 6*p**2 - 7*p - 8. Is 13 a factor of x(-4)?
True
Let k be ((-8)/(-1))/(3/36). Suppose -213 = -4*p - 5*r, 248 = 3*p - 4*r + k. Is p a multiple of 13?
True
Suppose -6 = -2*h + 4*u + 2, -2*u - 40 = -4*h. Suppose -3*n + h = 3. Suppose n*f - 6*f + 45 = 0. Does 7 divide f?
False
Let g(s) = 5*s + 7 - 4 - 7 - 20*s. Let n be (0 + 2)/(1/(-2)). Is g(n) a multiple of 23?
False
Suppose -n + 16 = -0*d - 3*d, 8 = -n - 5*d. Let l(g) = g**3 - 7*g**2 + g - 4. Is l(n) even?
False
Let g(t) = -t**3 + 9*t**2 + 3*t - 13. Suppose 0*p + x - 12 = p, 5*p + 95 = -2*x. Let w = p - -26. Is 14 a factor of g(w)?
True
Let l be 46/3 - 2/6. Let a = 25 - l. Does 5 divide a?
True
Let r(t) = -t**2 + 16*t + 3. Let l be 7 + 5 + 0/(-3). Is r(l) a multiple of 17?
True
Let s(z) = 2*z**2 + 9*z + 9. Let a be s(7). Suppose -a = -6*j + j. Is 17 a factor of j?
True
Let r = -11 + 14. Suppose -c + 106 = 3*f, 2*f + r*c - 40 - 26 = 0. Is f a multiple of 18?
True
Suppose 2 = 2*s - 3*h, 36 - 14 = 5*s + h. Let w be (43/2)/(s/(-8)). Let n = w + 85. Is n a multiple of 21?
True
Let a(p) = p + 4. Let z be a(3). Let x = z + -1. Is 6 a factor of x?
True
Let w = -65 - -95. Suppose -p + 0*p = -w. Does 11 divide p?
False
Suppose -3*s = 2*s - 190. Suppose t - s = -12. Suppose 3*q - 19 = 4*p + t, -49 = -5*q - 2*p. Is 11 a factor of q?
True
Suppose -5*k = -2*j + 23, -3 + 4 = 5*k + 4*j. Let r be (2 - 38)*k/2. Suppose 2*u = -u + r. Is u a multiple of 6?
True
Suppose 91 = 5*k - 39. Does 13 divide k?
True
Let x be ((-3)/2)/(3/(-8)). Suppose x*s = 5*s. Suppose s = -3*y + 2*m + 120, m + 2*m = -y + 51. Does 21 divide y?
True
Let u(a) = -a**2 + 8*a - 7. Let b be u(6). Suppose -k = -3*z + 39, 0*z = -4*z - b*k + 52. Suppose 9 = 2*s - z. Is 11 a factor of s?
True
Let g(r) = r**3 + 4*r**2 + r - 2. Let n be g(-4). Is -27*2/n*3 a multiple of 9?
True
Let i be (-3250)/(-40) + (-3)/(-4). Let r = i + -44. Is r a multiple of 13?
False
Is ((-2)/(-3))/(3/369) a multiple of 20?
False
Let y(r) = 2*r**2 + 11*r + 21. Is 12 a factor of y(-9)?
True
Let s(a) = 18*a**3 - 2*a**2 + 2*a - 1. Let k be (-2)/4*(1 - 3). Is 11 a factor of s(k)?
False
Suppose -3*m = -4*m + 17. Does 17 divide m?
True
Let c(p) be the third derivative of -p**4/6 - p**3 - 3*p**2. Is 17 a factor of c(-8)?
False
Let x be (-4 - 2) + 3*1. Let p be (2/x)/(1/(-18)). Suppose 2 = j - p. Is j a multiple of 13?
False
Let z be 2*(-1 + (-2)/4). Is z/(-6) - (-54)/4 a multiple of 14?
True
Is 15 + 0 - 16/16 a multiple of 10?
False
Suppose -2*g = -6*g + 12. Let l(r) = -r + 0*r + 27 - r**g + 17. Is l(0) a multiple of 18?
False
Let p(r) = -r**2 + 7*r - 6. Let a be p(6). Suppose -5*z + 135 = -a*z. Is 8 a factor of z?
False
Let h(b) = b**2 + b + 5. Let x be h(0). Let o be (-1)/((-16)/5 + 3). Suppose z - o*a + 11 = -z, 3*a - 50 = -x*z. Is 7 a factor of z?
True
Let l(x) = -x**3 - 2*x**2 - 2. Let t be l(-2). Is 12 a factor of t/(-7) - (-332)/14?
True
Is 16 a factor of -2 + 3 + 41*4?
False
Suppose -93 = -5*g + 77. Is g a multiple of 3?
False
Suppose 13 - 113 = -5*j. Suppose -5*o = j, 3*y = -3*o - o - 10. Does 3 divide (-2 + -2)/y - -6?
False
Suppose 5*u = -4*u + 162. Is u even?
True
Suppose i + i = 6. Suppose 3*n = 4*l - 21, 0 = -2*l - 3*l - i*n + 33. Is l/8 - (-516)/16 a multiple of 17?
False
Suppose 0 = 7*h - 3*h - 224. Suppose 0*v - h = -4*v. Is 7 a factor of v?
True
Let s = -90 - -124. Is 4 a factor of s?
False
Suppose 10*b - 5*b + 201 = 2*m, 3*b - 9 = 0. Is 27 a factor of m?
True
Suppose -5*f - 2*g - g = -385, f + 3*g = 89. Is 37 a factor of f?
True
Let m be ((2 - 2)/(-2))/(-1). Suppose -2*v + m*v + 5*z = -9, -z + 1 = v. Is 14 a factor of (v + -27)/(1*-1)?
False
Let l(f) = 13*f + 1. Let q be l(-4). Suppose 0 = 3*c + 3*o - 228, -5*o - 193 - 237 = -5*c. Let x = q + c. Is x a multiple of 9?
False
Let s = 7 - 5. Suppose -94 = -s*q + 6. Let o = q - 28. Is 11 a factor of o?
True
Let k = 7 + 0. Let f = 14 - k. Does 4 divide f?
False
Let l(p) = -p**3 + p**2 - 2. Let k be l(0). Is (-42)/(1 - (k - -5)) a multiple of 21?
True
Let s = -16 - -20. Suppose -4*u + 169 = -9*r + s*r, 4 = -4*r. Is u a multiple of 21?
False
Let r be (2 + -5)/((-2)/(-26)). Let l = -3 - r. Does 9 divide l?
True
Let b(i) = 19*i - 1. Let o(x) = -58*x + 2. Let a(s) = 7*b(s) + 2*o(s). Let q be a(3). Suppose 33 + 7 = 3*f + 5*k, 4*f - q = -4*k. Is f a multiple of 10?
True
Let p = 10 + 2. Is 4 a factor of p?
True
Let p = -19 + 95. Does 15 divide p?
False
Suppose 5*f - 2*f = -12. Let j be (-2 - f - 0) + 7. Is 8 a factor of (-48)/10*(-30)/j?
True
Is 32 a factor of 2 - ((-16)/(-4) + -2) - -64?
True
Suppose -5*b + 15 = 5*z, 12 = -2*z + b + 3*b. Let x = 0 + z. Suppose -i - o - o + 16 = x, -3*i - o = -33. Is 10 a factor of i?
True
Let w(u) = 4*u + 1. Let b be w(1). Suppose 4*p - 16 = -2*k, 0*p + p - 15 = b*k. Suppose 3 = r + o, -3*o + 13 = p*r - 4. Does 4 divide r?
True
Let n(x) = x + 5. Let m(j) = j**2 - j - 2. Let a be m(3). Let h be n(a). Suppose -o - 2*o = 4*p - h, -5*o - 5 = 0. Is 3 a factor of p?
True
Is 4 a factor of 9/(-4 - (-70)/16)?
True
Let k be -1 - 1 - (-3 - -10). Let d be k*(-2)/3 + -1. Suppose x = -0*s - 4*s + 139, -4*x + 160 = d*s. Is s a multiple of 18?
True
Suppose -2*c = -c - 36. Suppose -l = -c - 36. Is 25 a factor of l?
False
Let f(v) = v**3 - 3*v**2 + 2*v + 1. Let d be f(2). Let g = d - -3. Is (-18)/(-3)*2/g a multiple of 2?
False
Suppose 3*f + 6 = 12. Suppose -f*g + g = -52. Does 26 divide g?
True
Is (-2 - (0 - 1)) + 21 a multiple of 5?
True
Let y(q) = q**3 - 6*q**2 + 7*q - 6. Let l be y(5). Suppose 23 = c - 5*m, 2*c + l*m + 17 - 49 = 0. Does 9 divide c?
True
Let x(t) = 2*t**2 + 10*t + 8. Let m be x(-8). Is 12 a factor of (-12)/8*m/(-6)?
False
Let u = 167 - 119. Is 12 a factor of u?
True
Let r(z) = -z + 10. Let t be r(9). Is (-5)/(t*3/(-33)) a multiple of 11?
True
Let u(x) = 2*x**2 - x + 8. Does 22 divide u(-4)?
True
Let b be (-500)/(-6) + (-1)/3. Let q(p) = -2*p - 5. Let t be q(-7). Suppose b - t = 2*l. Is 13 a factor of l?
False
Does 26 divide 3*(0 + -2)*-23?
False
Let y(j) = j**3 + 9*j**2 - 15*j - 6. Let l be y(-10). Suppose -3*a + 34 = -l. Is 20 a factor of a?
False
Suppose 2174 = 10*f + 534. Is 41 a factor of f?
True
Let g = -80 - -160. Does 20 divide g?
True
Let c = 147 - 93. Does 11 divide c?
False
Suppose -24 = 2*m - 120. Is m a multiple of 12?
True
Let j(y) be the third derivative of y**4/2 + 3*y**2. Does 6 divide j(1)?
True
Suppose 0 = 4*v - 104 - 88. Does 24 divide v?
True
Let f = 0 + -1. Let z(q) = 6*q**2 - 1. Is 2 a factor of z(f)?
False
Suppose 0 = 5*a + 1 - 16. Let l = a + 29. Does 7 divide l?
False
Let f(z) = -13*z - 1. Suppose -5*p + 4 = 5*l - 2*l, 0 = 3*p - 4*l + 15. Is 6 a factor of f(p)?
True
Let p(c) = 3*c - 3*c - 3*c**2 + 6*c**3 - 5*c**3 - 2*c. Does 8 divide p(4)?
True
Let n = -28 + 55. Is 6 a factor of n?
False
Suppose -109 = -i + u - 6*u, -4*i + 561 = -5*u. Is i a multiple of 21?
False
Suppose -3*s = -6*s + 210. Suppose s = -3*y + 8*y - 5*m, -3*m = 3*y - 48. Is 8 a factor of y?
False
Let t = 133 - 93. Is 8 a factor of t?
True
Let t be (3 + 0)*(-2)/(-3). Is t/(((-2)/45)/(-1)) a multiple of 15?
True
Suppose -2*u - 3*r - 1 = 0, -2*r - 3*r = -4*u + 9. Let j be (3 + -2)/u*-3. Is 4 a factor of (32/(-12))/(1/j)?
True
Let k(a) = -2 - 7*a - 23*a - 4 + 4. Does 10 divide k(-2)?
False
Is 2 a factor of (185/(-15))/(2/(-6))?
False
Suppose -2*c - 2 = -12. Does 3 divide c?
False
Suppose 4 = 3*p + 34. Let k(i) = -2*i**3 + 13*i**2 - 6*i - 9. Let b(u) = 3*u**3 - 14*u**2 + 6*u + 8. Let y(r) = 3*b(r) + 4*k(r). Is 13 a factor of y(p)?
False
Let v be -1 - -1 - (1 + 0). Let b(x) = -x**3 - x**2 - 1. Let y(q) = q**3 + q**2 + q - 6. Let s(g) = v*y(g) - 2*b(g). Is s(0) a multiple of 5?
False
Let u = 21 - 6. Is u a multiple of 13?
False
Suppose 3*d - 4*d = -9. Is d + 7 + -4 + -5 a multiple of 2?
False
Let p = -47 + 101. Is p a multiple of 18?
True
Suppose 0 = 3*v + 2*v - 20. Suppose 0 = -f - 0*r + 5*r + 10, v*f - 2*r - 22 = 0. Suppose -127 = g - 4*g + f*c, -g + 2*c = -44. Is 17 a fact