33 - 210. Is k even?
False
Let t = -174 + 250. Is 19 a factor of t?
True
Suppose -3*t = t - 240. Suppose 0 = -2*g - t. Is 3 a factor of (36/g)/(2/(-15))?
True
Suppose 3*t + 2*a = 13 + 18, 2*a = -4*t + 38. Does 7 divide t?
True
Let x(q) be the first derivative of q**3/3 - 11*q**2/2 - 6*q + 2. Let l be x(12). Does 11 divide (22/(-1))/((-6)/l)?
True
Suppose 3*s - 22 = 50. Let p be 3/(-2)*s/(-9). Suppose 68 = -2*n + p*n. Is n a multiple of 13?
False
Let r = -6 + 11. Let v be 4/(-10) - (-22)/r. Suppose -3*l = q - 34, 36 = 2*l - 0*q + v*q. Is 8 a factor of l?
False
Let k(t) = -2 - 1 - 1 + 1 + 4*t. Is 13 a factor of k(5)?
False
Does 7 divide 5*96/(-15)*-1?
False
Suppose -r = -1 - 11. Let f = 1 + r. Is f a multiple of 3?
False
Let a(t) = t**3 + 7*t**2 - 9*t + 3. Is a(-8) a multiple of 7?
False
Let t = 220 + 20. Does 30 divide t?
True
Suppose 464 = 2*c - 20*d + 19*d, 0 = -3*d - 12. Is 23 a factor of c?
True
Does 6 divide (2/4 - 5)*(2 - 14)?
True
Let l = 42 + -26. Is 6 a factor of l?
False
Let q = 89 - 54. Suppose -3*l + 3*v - 14 = -q, 4*l + 5*v - 10 = 0. Is l a multiple of 3?
False
Let d = -6 - -16. Suppose -v - a + 0*a = -d, 8 = 2*a. Is v even?
True
Suppose -r + 3*a - 1 = 1, 2*r - 20 = -2*a. Suppose -77 = -2*o + r. Does 14 divide o?
True
Suppose 3 = -3*u - 3. Let i be 1/((-1)/u)*-1. Let h = i - -13. Is 4 a factor of h?
False
Let a = -21 - -27. Is a a multiple of 2?
True
Suppose 0 = 3*k + 2*v - 164, 3*v = -4*k + 4*v + 226. Is 29 a factor of k?
False
Let k be -2*(3 - (-44)/(-8)). Suppose 4*f - 16 = -4*s, -k*f + 22 = 2*s + 2*s. Is 5 a factor of f?
False
Suppose 0 = p - 49 - 47. Is 8 a factor of p?
True
Suppose 8*b - 24 = 4*b. Suppose -i + b = 2. Does 17 divide (2/i)/(4/192)?
False
Let t = 3 - 1. Let m be 29 - (t/(-2) - -3). Suppose m - 3 = 2*o. Is o a multiple of 12?
True
Suppose 2*a = -0*a + 2*x + 30, 2*a - x - 29 = 0. Suppose 4*y - 5*m - a = y, -5*m = 3*y - 4. Is (-4)/(y/(99/(-6))) a multiple of 11?
True
Does 26 divide -2*(-1)/(-2) + 53?
True
Let h(k) = -20*k**3 - 2*k**2 - k. Is h(-1) a multiple of 6?
False
Suppose 4*t = 197 - 13. Let w(u) = -3*u**3 - u**2 + 1. Let b be w(-1). Suppose -b*i - 2*i = l - 185, -2*l = i - t. Is 18 a factor of i?
True
Let v = -14 - -15. Let l(w) = 9*w**3 - w**2 + 1. Is 3 a factor of l(v)?
True
Let h(c) be the second derivative of -7*c**3/6 - 3*c**2/2 + c. Does 18 divide h(-6)?
False
Let y = -4 - -4. Let u be (-6 + 2)*(y - 34). Suppose -v + 4*t = 3*v - 80, 5*v + 4*t - u = 0. Is 24 a factor of v?
True
Let b = 1 + 4. Suppose b*d = 2*d. Is (0 - (-2 - 0)) + d even?
True
Suppose -3*h + 25 + 28 = 2*w, 5*h = w - 7. Is 11 a factor of w?
True
Let g(h) = 3*h - 6. Let q be g(6). Let t = -9 + q. Suppose -t*u = -2*y - 92, 0*u - 3*y - 93 = -3*u. Does 10 divide u?
True
Is ((-195)/(-9))/((-2)/(-6)) a multiple of 17?
False
Suppose u + 4 = 2*u. Let j = 1 + u. Let k(p) = -p**2 + 8*p - 5. Is k(j) a multiple of 5?
True
Suppose -2*a + 9 = -3*l, 3*l = -a - 2*l - 2. Suppose a*i = 35 - 134. Let r = -7 - i. Is 12 a factor of r?
False
Suppose 3*k - 12 = k. Let h be 4/(k/(-3)) + 4. Suppose -4*f = w - 33, 4*w - 24 = -h*f - 4. Does 4 divide f?
True
Suppose -v + 2*v = 124. Let z be v - 2 - (1 + 1). Suppose -2*i + z = i. Is i a multiple of 12?
False
Does 8 divide (8 + 0)*(-7)/(-7)?
True
Let k(c) = c**3 - 7*c**2 + c - 3. Suppose 0*r + 4*o = r + 13, -2*r = 3*o - 29. Let b be k(r). Suppose 5*n - b - 21 = 0. Does 4 divide n?
False
Suppose -3*p + 4*n + 9 = -19, -2 = -n. Let h = -6 + p. Is 5/3*1*h a multiple of 4?
False
Suppose -5*f + 170 = -2*o + 6*o, -116 = -3*o + 2*f. Does 10 divide o?
True
Let s = 5 + -1. Suppose s*r = 2*r + 20. Suppose 0 = 2*t - 46 - r. Is 9 a factor of t?
False
Let u(v) = 2*v - 3. Is u(4) even?
False
Suppose 5 = -b + 4*m, 4*b - 15 = m + 10. Let o = -3 + b. Does 4 divide o?
True
Suppose 2*u - 6*u + 3*v = 0, -5*v = -2*u. Suppose -n + 17 = -u. Does 17 divide n?
True
Suppose -3*x - q = -34, -2*x + 2*q = -0 - 28. Does 4 divide x?
True
Suppose 3*h = -2*f + 62, f - 5*h - 5 = -0*f. Is f a multiple of 14?
False
Let o = -58 - -33. Let a be (-4)/(o/(-9) - 3). Suppose 5*u - y - 27 = 0, 0*u - a = -u - 4*y. Does 3 divide u?
True
Suppose -b + 3*a = -9 - 3, 9 = 5*b + 2*a. Suppose -p + 3*p + j - b = 0, 0 = 5*j + 15. Suppose 2*z = 2, 22 = p*y + 3*z + 7. Does 2 divide y?
True
Suppose -2*c + 16 = 4*l - 8, -4*l + 4 = 0. Is c a multiple of 2?
True
Let a(b) = b**3 + 8 + 5*b**2 - 3*b**2 - 5*b + 3*b**2. Let x be a(-6). Suppose -3*i - 19 = -c, i = -x*i. Is c a multiple of 6?
False
Let r = 2 + -1. Let x be (94/4)/(r/(-2)). Let l = -7 - x. Is l a multiple of 17?
False
Let z(w) = -w**3 + 2*w + 1. Suppose 0 = 2*h - 10, -2*f + 2 = 2*f + 2*h. Let r be z(f). Suppose -8 = 2*c, -6*x + x - 5*c + r = 0. Does 5 divide x?
True
Suppose -70 = -4*l + 10. Suppose 7*c - l = 2*c. Is c a multiple of 3?
False
Suppose -1 = -p + 3. Suppose 3*r = -4*a + 19, -2*a + r + 0 = 3. Suppose a = -p*k + 105. Does 13 divide k?
True
Suppose 0*r + 2*r + 2*y = -6, -r + 2*y + 12 = 0. Does 7 divide 3*(-19)/(-6)*r?
False
Let j = -12 + 20. Let d(z) = 3*z**2 - 8*z + 4. Let b(k) = 10*k**2 - 24*k + 12. Let t(y) = -2*b(y) + 7*d(y). Is t(j) a multiple of 2?
True
Let g(o) = o**2 + 3. Let p = -4 - -2. Let i be p/9 - 87/(-27). Is g(i) a multiple of 12?
True
Suppose 7*c - 9*c + 162 = 0. Is 13 a factor of c?
False
Let a be 2*(-2 + 45/6). Is 2/a - (-740)/44 a multiple of 6?
False
Let u(s) = -s**3 + s**2 + s + 7. Does 8 divide u(-3)?
True
Suppose 3*a + 4*d = -17, -4*d + 5 = -a - 5*d. Does 14 divide 31 - (1 + (-1 - a))?
True
Let x = 1 - -15. Let p(q) = -q**3 + 2*q**2 + 2*q - 2. Let d be p(2). Let c = d + x. Does 18 divide c?
True
Let t be (-3)/1*(-118)/3. Suppose -5*x = -j - t, 7*x - 2*x + 5*j - 130 = 0. Is x a multiple of 8?
True
Let r be (-216)/(-40) + (-2)/5. Suppose -r*h = -27 + 7. Is 2 a factor of h?
True
Let b be ((-129)/4)/((-1)/4). Let t = -87 + b. Does 14 divide t?
True
Suppose 8*a - 10*a = -38. Is 19 a factor of a?
True
Let j be ((-2)/(-3))/(1/3). Suppose 32 = -d + j*d. Suppose d = r + 3*r. Is 7 a factor of r?
False
Let r = -31 - -103. Suppose 3*w - r - 42 = 0. Is 19 a factor of w?
True
Let r(p) = p**2 - 4. Let i be r(-2). Suppose -6*z + z + 105 = i. Is z a multiple of 13?
False
Suppose 5*m - 2*s = 552, 2*m + 2*s = m + 120. Is 14 a factor of m?
True
Suppose -8*w = -10*w + 30. Is w a multiple of 3?
True
Let o = 99 - 6. Is 35 a factor of o?
False
Let z(b) = -b**2 + 5*b + 4. Let c(i) = -5*i. Let w be c(-1). Let f be z(w). Suppose -f*v + 39 = u, -u + 6*u = v + 90. Is 11 a factor of u?
False
Let q(l) = 5*l - 3. Let n be q(2). Let u be 387/n - (-16)/(-56). Suppose -y = -6*y + u. Is y a multiple of 11?
True
Let b(y) = -6*y**2 - 2*y + 14. Let k(g) = -g**2 + 1. Let d(j) = -b(j) + 5*k(j). Is d(10) a multiple of 37?
True
Let l(o) = o**2 + 6*o - 12. Let h be l(6). Suppose -2*r = 3*r - h. Is r a multiple of 9?
False
Let v = 50 - 21. Does 12 divide v?
False
Let d = 92 - 11. Suppose 0 = 2*z + z - d. Is z a multiple of 10?
False
Let i(n) = -2*n - n - 6*n. Does 9 divide i(-5)?
True
Suppose 0 = 5*q + 2 + 3. Is 6 a factor of (2 + q)*2*5?
False
Suppose 42 = 4*u - 22. Let a = u + 9. Is 25 a factor of a?
True
Suppose 81 = 4*o - 63. Does 18 divide o?
True
Does 9 divide (-162)/(-36)*(0 - -2)?
True
Let w be (10 - 1) + (-5)/((-5)/(-3)). Suppose 0 = -4*a - 0*a. Suppose -2*r + 5 = -3*d, -r - 2*d + 0 + w = a. Does 3 divide r?
False
Suppose 5*i = 4 + 1. Let p(f) = 36*f**2 - 1 - 16*f + 16*f. Is 14 a factor of p(i)?
False
Let f(y) = -y - 3. Let d(g) = 3*g - 2. Let c = -5 + 3. Let r be d(c). Is f(r) a multiple of 5?
True
Does 3 divide (-4)/2 - (-8 - 0)?
True
Let d(p) = 2*p**2 + 5*p - 44. Is d(7) a multiple of 36?
False
Let t = -21 + 16. Is 6 a factor of t/(-3 + (-28)/(-10))?
False
Suppose -4*n - n - 266 = 4*v, -4*n - 3*v = 213. Let s be (-12)/n - 1051/(-9). Suppose s - 45 = 4*k. Is 6 a factor of k?
True
Suppose 0 = -3*i + 2 + 1. Is 7 a factor of i + 29*(-1 + 2)?
False
Let u(h) = h**3 + 7*h**2 - 3*h - 5. Is 4 a factor of u(-7)?
True
Let n(p) = -p**3 - 2*p**2 - 3*p - 2. Let d be n(-2). Let y(b) = -b - 6 + 0*b + d*b + b**2. Does 17 divide y(-8)?
True
Let q(b) = -b**3 - 6*b**2 + 2*b - 22. Is 4 a factor of q(-7)?
False
Let r be 3/(-2)*(-22)/3. Is r - (-2)/(3/(-3)) a multiple of 3?
True
Suppose 230 = 5*d - 0*d. Is d a multiple of 14?
False
Let