 - 212. Does 3 divide (3/9)/((-2)/d)?
True
Is -55*5/((-25)/2) a multiple of 12?
False
Let h be -4*(-4)/(48/(-33)). Let k = h - -19. Does 4 divide k?
True
Suppose -3*n + 9 = 5*f - 4*f, 0 = 4*f + 12. Suppose -5*y + 6 + 0 = 2*a, -12 = -4*a - n*y. Suppose -44 - 4 = -a*u. Is u a multiple of 6?
False
Suppose 120 = 2*z + 3*z. Suppose 3*l = -5*c + 7 - z, 46 = -4*l - 2*c. Let s = 32 + l. Is 9 a factor of s?
True
Let z = 1 + 1. Suppose 2*m = v + z + 11, -2*m + 3*v = -11. Is m a multiple of 2?
False
Let o be 0 - ((-4 - -2) + 0). Suppose 2*w - o*a - 42 = -2*w, 0 = 5*w + 5*a - 75. Is 6 a factor of w?
True
Suppose -p - 34 = -3*p. Suppose 5*q - p = -2*j + 12, -j - 23 = -5*q. Suppose -2*v - 17 = j*u + 3*u, 26 = 4*v - 2*u. Is v even?
True
Let k be 1/2 - 23/(-2). Let l = k - -21. Is 12 a factor of l?
False
Suppose 0 = 4*a - j - 57, 3*a + 2*j - 3*j - 44 = 0. Let y = a - 11. Is y even?
True
Let u(o) = 9*o + 3*o - o**3 + 11 - 5*o**2 - 12*o. Does 6 divide u(-5)?
False
Let h(g) = g + 1. Let i be h(-1). Suppose i = v - 5. Suppose -5*n + 2*n + 72 = -2*j, -v*j - 37 = -n. Is n a multiple of 11?
True
Suppose -v + 0*v = -5*l + 260, 2*v = l - 52. Is 26 a factor of l?
True
Suppose -4*r - 12 = 4, 2*k + 4*r - 130 = 0. Suppose -m + k = x - 22, m - 3*x - 87 = 0. Does 31 divide m?
True
Let y be (-55)/(-15) + 2/6. Let s(w) = -w**3 + 5*w**2 - w - 2. Let q be s(y). Suppose 0 = -5*b - 10, -4*l - b - q = -32. Is l a multiple of 6?
True
Suppose -28*c + 30*c - 190 = 0. Is 19 a factor of c?
True
Let v(n) = 4*n**2 - 6*n - 24. Is 12 a factor of v(12)?
True
Suppose 2*w - 179 = -35. Is w a multiple of 22?
False
Let o(s) = -s - 6. Let d be o(-7). Suppose 4*x - 2*w = -12, -2*x - 3*w + 1 = -d. Is 0*(x - -1) + 30 a multiple of 15?
True
Suppose 0 = 3*g - g - 12. Does 2 divide g?
True
Let p(x) = x**2 - 4*x + 3. Let s be p(5). Suppose -3*j + s*j = 180. Is 18 a factor of j?
True
Suppose 0 = -5*i + 2*z + 4, 0*i - z + 9 = 3*i. Does 3 divide (i/1)/((-1)/(-2))?
False
Does 16 divide (-4)/(-10) + 1904/40?
True
Let i = -167 - -236. Let a = i - 37. Is a a multiple of 10?
False
Let c be -2 - 5*(-3 + 2). Suppose 4*z = c*z + 4. Suppose z*o + a = 64, -4*o - 3*a = -57 - 15. Is 12 a factor of o?
False
Suppose -4*q + 14 = -2. Suppose 0 = 4*h - 8*a + 3*a, 4*a = -q*h + 36. Suppose -65 = -h*z - 0*z. Is 8 a factor of z?
False
Suppose 2*j - 38 = 2*t, -37 = -4*j + 2*t + 35. Is 17 a factor of j?
True
Suppose 0*c - 10 = -5*c + r, 5*r + 25 = 0. Is 21 a factor of c - (-1)/1 - -54?
False
Let v = -39 - -27. Let x(b) = 13*b**3 + 13*b**2 - 2*b - 18. Let l(k) = -7*k**3 - 6*k**2 + k + 9. Let n(r) = 11*l(r) + 6*x(r). Does 3 divide n(v)?
True
Suppose 4*a + s - 4 = 0, -3*s + 0*s = a + 10. Suppose -v = -a*v + 48. Does 10 divide v?
False
Suppose -x = 3*u - 51, u + 2*x - 86 = -4*u. Is 7 a factor of ((-14)/8)/((-2)/u)?
True
Does 20 divide 0 + (4 + -94)*-2?
True
Let m(a) = a**2 + a + 3. Let t be m(0). Let s be 15/5*(-2)/t. Is 8 a factor of (-9)/(-6)*(s + 12)?
False
Let o = -6 - -9. Let g = 6 + o. Is 9 a factor of (g/(-4))/(3/(-24))?
True
Let r = 3 + 4. Let i be -1 + 0 - (r - -3). Let z(o) = -3*o - 9. Is z(i) a multiple of 9?
False
Does 20 divide (-40)/6*1/((-4)/72)?
True
Suppose 9*b - 4*b - 20 = 0. Suppose 0 = i + b*s - 30, -3*s + 45 = -i + 3*i. Is i a multiple of 6?
True
Suppose s - 56 = 5*q + 5*s, 0 = 2*q + 2*s + 24. Let z(f) = f**2 + 4*f + 7. Is z(q) a multiple of 27?
False
Suppose 2*o - 10 = -0*o. Suppose -3*r - 366 = -o*q, -18 = 4*q - 4*r - 314. Does 18 divide q?
True
Let r(v) = -v**3 - 3*v**2 - 2*v + 2. Let b be r(-2). Suppose -b*l = -0*l - 92. Is 16 a factor of l?
False
Let s be 1/(10/(-4) - -3). Suppose -w + 5*x = -17, 4*w + 6 - 56 = s*x. Does 7 divide w?
False
Suppose 4*b - 3*j = 3*b, -2*j + 13 = -5*b. Does 15 divide (b + 12)/((-6)/(-20))?
True
Let v(j) = j**3 - 4*j**2 + 2. Let c be v(4). Let r = c + 3. Does 5 divide r?
True
Let s = 114 + -54. Does 30 divide s?
True
Suppose 5*a - 30 = -0*a. Let t(o) = 7*o - 3. Let w be t(3). Suppose w = 4*h - a. Is 6 a factor of h?
True
Let v(l) be the second derivative of -5*l**3/2 - l. Let t be v(-1). Let p = 7 + t. Is p a multiple of 10?
False
Suppose -2*h + 137 = 3*c, -24 = -c - 5*h + 13. Does 14 divide c?
False
Let a be ((-5)/5)/(2/(-70)). Does 2 divide (14/a)/((-1)/(-10))?
True
Let n be 2/10 - (-27)/15. Suppose 3*u + n*u - 85 = 0. Does 12 divide u?
False
Let z be 2 + -1 + 0 - -1. Suppose 2*m - 30 = -z. Does 7 divide m?
True
Suppose 5*l = n - 232 + 65, -4*n = 2*l - 734. Is 28 a factor of n?
False
Let g(q) = 17*q - 5. Let z(o) = -84*o + 24. Let k(u) = 14*g(u) + 3*z(u). Let d be k(-2). Suppose -2*b - 94 + d = -3*x, -x - 4*b = 2. Does 6 divide x?
True
Suppose 10*c - 5*c - 70 = 0. Let s = c - 6. Let i = 13 + s. Is 11 a factor of i?
False
Suppose 0 = 2*a + 5 - 1, -2*i - 3*a + 2 = 0. Suppose -4*w - 26 = -5*t - 6, -3*t + 12 = i*w. Suppose w = -4*b, -4*o = o + 4*b - 50. Does 10 divide o?
True
Let s be 0 - 0*(-2 - -1). Let j = s - -1. Suppose 13 = n + j. Does 10 divide n?
False
Let g = -174 + 299. Is 25 a factor of g?
True
Let j(w) = -3*w**3 - 3*w**2 - 4. Is j(-3) a multiple of 27?
False
Let v = -5 - -9. Let j be (-1 + 4)*(-3 + v). Suppose 144 = z + j*z. Is z a multiple of 14?
False
Suppose 0 = -q - 4*m + 72, -3*m + m - 2 = 0. Is q a multiple of 14?
False
Suppose -5*y + 25 = 0, 5*b + y = -4*y + 425. Is 22 a factor of b?
False
Let f(r) = 12*r**2 - 2*r + 3. Is 6 a factor of f(2)?
False
Let h = 5 - 4. Suppose 3*f - h + 6 = 4*a, 3 = 3*f. Suppose n + 3 - 4 = -t, -a*t = 4*n - 14. Is 6 a factor of n?
True
Let b be (12/(-9))/2*-39. Let r = b - 14. Suppose -2*c + 2 = -0*a - 2*a, -2*c = 3*a - r. Does 2 divide c?
False
Let x = -44 + 80. Is x a multiple of 24?
False
Let d(k) = -k**3 + 14*k**2 + 11*k - 18. Is 17 a factor of d(14)?
True
Is (-60 - 4)/(1*-2) a multiple of 16?
True
Suppose 0 = 4*k - 10 - 2. Let i = k - 0. Suppose 6*h - i*h - 27 = 0. Is 5 a factor of h?
False
Let y = 124 + 84. Is 16 a factor of y?
True
Suppose -13*y = -12*y - 8. Let q = 11 - y. Does 3 divide q?
True
Suppose 0 = 3*r - 4 - 2, -4*v + 3*r + 6 = 0. Suppose -3*m + 58 = 2*j, v*m - j - 28 = 33. Suppose -107 = -4*u + s - m, 0 = -4*u + 5*s + 99. Is 11 a factor of u?
False
Let i(z) = 2*z**3 - 4*z + 2. Does 9 divide i(3)?
False
Let j(k) = -3*k + 1. Let s be j(3). Let f = s + 47. Does 13 divide f?
True
Suppose 5*v - 73 = 47. Is v a multiple of 10?
False
Does 14 divide (-2)/6*-9 + 53?
True
Suppose 3*h + 334 = 919. Does 26 divide h?
False
Is 8 a factor of (-3808)/(-44) - 24/44?
False
Let u(s) = s + 10. Let n be u(-7). Suppose -14 = -3*z - n*r + 1, -4*r - 8 = 0. Is z even?
False
Let g = -46 + 234. Is 10 a factor of g?
False
Let v(m) = 6*m + 2. Let f be ((-5)/(-4))/((-2)/(-8)). Let x be v(f). Suppose s - x = -8. Is s a multiple of 12?
True
Suppose -9 = -3*a + f + 5, f = -5*a + 26. Suppose a*k + 40 = 2*q, 4*k = -q - k + 20. Does 10 divide q?
True
Let y be 4 + -1 + -3 + 6. Suppose -2*b - 84 = -y*b. Is b a multiple of 16?
False
Let n = 243 - 162. Is n a multiple of 26?
False
Let c be (5/15)/(1/(-6)). Let l = c + 6. Suppose l*k - 22 = 2*x + 106, k + 4*x = 14. Is k a multiple of 8?
False
Is (-2)/(-2) - -60 - 2 a multiple of 23?
False
Let q = 15 - 10. Suppose -11 = 2*n - q. Let y = 11 + n. Is y a multiple of 8?
True
Suppose 0 = 3*d + 88 + 173. Let h = 174 + d. Does 28 divide h?
False
Suppose -5*y = a - 3*y - 5, 3*y - 18 = -5*a. Suppose -j = k + 3*k - 547, 5*j + 439 = a*k. Is 10 a factor of 6/30 - k/(-10)?
False
Suppose 2*n = -5*z + 61, -5*z + 115 = 4*n + n. Let m = n - 4. Does 6 divide m?
False
Suppose 2*u - 189 + 55 = 0. Does 6 divide u?
False
Let n = -21 - -29. Suppose -n*r + 24 = -4*r. Suppose -r*t = -4*t - 100. Is 24 a factor of t?
False
Let t(y) = -48*y**3 - y**2 - 2*y - 1. Is 12 a factor of t(-1)?
True
Suppose 0 = 5*d + 17 - 112. Does 5 divide d?
False
Let m(r) = r**3 - 5*r**2 + 4*r + 4. Let l(i) = -i**3 + 6*i**2 + 7*i + 4. Suppose 2*a = -a + 21. Let p be l(a). Is m(p) a multiple of 4?
True
Let g(s) be the second derivative of s**5/20 + s**4/3 - s**3/2 - s**2/2 + 2*s. Is 12 a factor of g(-3)?
False
Suppose -2*y = 43 - 181. Does 14 divide y?
False
Let p(y) = -7*y - 5. Let u(i) = -8*i - 6. Let t(r) = 5*p(r) - 4*u(r). Let g be t(4). Let d = 6 - g. Is 19 a factor of d?
True
Suppose -6*m + 4*m + 62 = 0. Does 20 divide m?
False
Let p(r) = -r**2 - 6*r