Suppose 3*g - 2*y = -0*g + 47, 4*g - y = 61. Let j be (-540)/(-18) + 1*-3. Let t = j + g. Is t a multiple of 21?
True
Let h = -10 - -15. Let c = -9 - 2. Let p = h - c. Is p a multiple of 14?
False
Suppose -z + 3*y - 2 = 2, -4*y = -z - 3. Let t(n) = n**3 + 10*n**2 + 8*n - 6. Let o be t(-9). Let p = o - z. Is 4 a factor of p?
False
Suppose 200 = 2*s + 3*s. Is 8 a factor of s?
True
Suppose 0*k - 12 = -2*k. Let b be (-4)/(k + -1 - 3). Let n = b + 4. Is n even?
True
Let t(v) = 2*v**3 + 5*v**2 + 2*v - 5. Let q be t(-4). Let k = 99 + q. Suppose 2*s = 2*l + k, 0*s - 4*l = 4*s - 100. Is s a multiple of 9?
False
Let d = -20 + -55. Let a = d - -107. Is 16 a factor of a?
True
Let g = 68 + -23. Is g a multiple of 10?
False
Let z = 128 - 54. Is z a multiple of 17?
False
Let a(f) = -f**3 + 13*f**2 - 10*f - 10. Is 12 a factor of a(12)?
False
Let t(f) = 2*f**2 - 1. Let h be t(2). Let n(v) be the second derivative of v**4/12 - 2*v**3/3 - 7*v**2/2 + v. Does 7 divide n(h)?
True
Suppose 2*k - 100 = -3*k. Suppose 3*m - 140 = -k. Let z = -26 + m. Is z a multiple of 5?
False
Let l(p) = -p**2 + 3*p - 1. Let b be l(2). Let q be (3 - -1)*b/(-1). Is 6 a factor of 2/q - 60/(-8)?
False
Let m = 71 + 57. Is 13 a factor of m?
False
Does 13 divide 1754/10 - 3/((-45)/(-6))?
False
Suppose 7*u - 4*u + 3*m - 27 = 0, m = -4*u + 24. Is (3/u)/((-6)/(-90)) a multiple of 9?
True
Let c(g) = g**2 - 3*g + 1. Let r be c(3). Is 11 a factor of 19*r + 21/7?
True
Let c(i) = i**3 + 8*i**2 + 10. Let w be c(-8). Let p = 31 - w. Does 9 divide p?
False
Suppose 4*t = -3*b + 155, 0 = -5*t - b + 75 + 105. Does 6 divide t?
False
Let c(a) = -a**2 - 3*a - 1. Let b be c(-3). Let d = b - -4. Is 3 a factor of d?
True
Let m(n) = 5*n**3 + n. Suppose -2*w - 2*w + 4 = 0. Is m(w) a multiple of 2?
True
Let z = 21 - -15. Is 12 a factor of z?
True
Suppose 0 = -l - 12 + 2. Let r(g) be the second derivative of -g**4/12 - 13*g**3/6 - 6*g**2 + 4*g. Is r(l) a multiple of 9?
True
Let p(j) = 4*j**2 + 1. Let a = -2 - 0. Is p(a) a multiple of 9?
False
Let c = 98 + -49. Suppose -c = -j - 8. Is 14 a factor of j?
False
Suppose 5*v = 25 - 10. Suppose -2*y + 0*l + l = -57, -v*y + 2*l = -88. Does 7 divide y?
False
Let u(n) = -n**3 - 5*n**2 - n + 1. Let s be u(-5). Let l = s - 4. Suppose -6 = o - l*o. Does 6 divide o?
True
Suppose 371 + 9 = 4*f. Is f a multiple of 24?
False
Suppose 2*s = -5*r + 3*s + 56, -5*s + 80 = 5*r. Let j be r/3 + 0/(-3). Suppose 3*u = -j*t + 71, u = 3*t + 2*u - 47. Does 7 divide t?
True
Let k = -2 + -2. Suppose -12 = 5*l - 67. Let f = k + l. Does 7 divide f?
True
Let b = 105 + -60. Is 9 a factor of b?
True
Suppose -2 = -3*v + 7. Suppose -5*l = 4*x - 2*x - 57, 103 = v*x + 4*l. Does 17 divide x?
False
Suppose 5*u - 7*u + 68 = 0. Let b = u - 8. Is b a multiple of 13?
True
Is 16 a factor of ((-4)/(-7))/((-28)/(-3626))?
False
Let d be 5*3/15*-4. Let m = d - -74. Suppose n - m = -4*n. Is 6 a factor of n?
False
Suppose 3*o - 391 = -v, -3*o + 4*v = -0*o - 416. Is (2/(-6))/((-11)/o) a multiple of 2?
True
Let r(i) be the third derivative of -i**5/60 - 5*i**4/24 + i**3/6 + 2*i**2. Does 2 divide r(-3)?
False
Let j be 36*(-5 + (-4 - -8)). Let f = j - -78. Does 14 divide f?
True
Let b = 7 - 68. Let o = -7 - b. Is o a multiple of 18?
True
Let s(f) = f**3 + 6*f**2 - 6*f + 10. Let k be s(-7). Suppose -18*t + 4 = -19*t. Let m = k - t. Does 5 divide m?
False
Suppose -922 = -v - 2*v + 4*p, 5*v - p - 1565 = 0. Is 46 a factor of v?
False
Let p(z) = z + 7. Let c be (-3)/((-6)/(-1))*6. Let l be p(c). Suppose 3*i - l*i + 3*v - 5 = 0, 4*v + 8 = 5*i. Is i even?
True
Suppose 0 = 4*x - 0*x - 4. Let d = x - -8. Is d a multiple of 9?
True
Let x(w) = 3*w**2 + 6*w + 3. Let u be x(-4). Is 21 a factor of (36/(-10))/(u/(-450))?
False
Suppose -7*y + 1188 = 11*y. Is y a multiple of 38?
False
Let y be 4*(2 - -1)/(-3). Let l(v) = v**3 + 4*v**2 - 5*v - 2. Is l(y) a multiple of 9?
True
Let x = -524 - -869. Is 15 a factor of x?
True
Suppose 0 = -5*n + 2*n. Suppose p - 4*t = -n*t + 41, 3*p - 116 = 5*t. Does 12 divide p?
False
Let d(l) = -l**3 - 7*l**2 - 2*l - 9. Let f be d(-7). Let s = 30 + f. Is 12 a factor of s?
False
Suppose 4*a - 30 = -a. Is (a/4)/((-6)/(-160)) a multiple of 12?
False
Let n(l) = -9*l + 18. Does 27 divide n(-7)?
True
Suppose 4*f + 5 = 5*f. Suppose 0 = -f*i + b - 214, -5*i - 3*b - 79 = 119. Does 7 divide ((-8)/12)/(2/i)?
True
Let c(x) = -4*x**3 - x**2. Let t be 1 + 5 + -1 + -2. Let r = t - 4. Does 2 divide c(r)?
False
Suppose -35 = -f + 25. Is 22 a factor of f?
False
Let h(r) = -4*r - 1. Let n be h(5). Let k = 31 + n. Does 6 divide k?
False
Let j be (-4)/7 - 288/(-63). Is (10 - (2 - j))/1 a multiple of 9?
False
Let o = -253 + 641. Does 25 divide o?
False
Let h(d) = -31*d + 3. Let r be h(-5). Suppose 34 = s + 4*y, 4*s - r = -0*s - 5*y. Is 12 a factor of s?
False
Let b be 72 + -3 - 1*-3. Let q = b + -42. Is 14 a factor of q?
False
Let r = -13 - -85. Does 18 divide r?
True
Suppose 3*t - 10*t = -84. Is t a multiple of 5?
False
Let z = -6 - -9. Suppose 17 = z*y - 40. Does 19 divide y?
True
Does 10 divide -3*(3 - 57/9)?
True
Let y(i) = -i**3 + 5*i**2 - 5*i + 2. Let n be y(3). Suppose -n*q - 1 + 36 = 0. Does 2 divide q?
False
Let w be ((-20)/(-6) - 2)*3. Suppose w = -2*b, -5*a - 2*b = -10*a + 189. Is 12 a factor of a?
False
Does 9 divide 66/((-2)/(-4) - -1)?
False
Suppose -3*r = -r + 24. Suppose 2*x - 8 = -0*x, 0 = -3*t + 5*x - 8. Does 14 divide (186/r)/((-2)/t)?
False
Suppose l = 4*l. Let r(y) = -y + 2. Let j be r(l). Suppose j*b - 44 = 4*d, -3*b + d + 59 = -32. Does 11 divide b?
False
Is (27/12)/(3/56) a multiple of 7?
True
Suppose -n - 35 = -5*a, 52 = 4*a - 0*a + 4*n. Let l = -1 + a. Does 3 divide l?
False
Suppose 77 = 3*f - 2*f. Is 12 a factor of f?
False
Is 2 a factor of (-42)/(-9)*(-6)/(-4)?
False
Let x(r) = 7*r + 2. Suppose -11 = -3*s + 7. Is 11 a factor of x(s)?
True
Suppose 2*w = -5*y + 6*w + 1558, 3*w = -5*y + 1544. Is y a multiple of 13?
False
Let h = -14 - -14. Suppose h = -4*a + 4*r + 124, 2*r - 3*r = -3*a + 83. Is a a multiple of 13?
True
Does 18 divide (-9)/12 + 219/4?
True
Let g be (-1 + 3)/(19/1026). Suppose -5*m = -6*m + g. Is 35 a factor of m?
False
Suppose 116 = -4*s + 5*s. Suppose 6*m - 4*o = 4*m + 46, -4*o = 4*m - s. Is 13 a factor of m?
False
Is 33 a factor of ((-21)/(-9) - 3)*3*-165?
True
Let d be 0 + ((-48)/3)/(-2). Suppose -w + d = -0*w. Suppose -4*v + 68 = w. Is v a multiple of 5?
True
Let m(z) = -z + 3. Is 9 a factor of m(-6)?
True
Let u(k) = -11*k + 1. Suppose -4*y + a - 8 = -y, y + 6 = a. Is 4 a factor of u(y)?
True
Let z(f) = -3*f + 2*f**2 + 4 - 2 + 3 - 3. Let p = -11 - -8. Is 12 a factor of z(p)?
False
Suppose 6*k - 954 = 1044. Is k a multiple of 42?
False
Let f = 3 + -6. Is 7 a factor of f/(6/(-20)) + -3?
True
Suppose 4*b + 4 - 12 = 0. Suppose 0 = -5*z + 13 + b. Suppose -2*o = 5*n - 74, -o - 82 = -z*o - n. Does 21 divide o?
True
Suppose 3*r - 74 = -r + 2*k, -4*k + 22 = 2*r. Is 16 a factor of r?
False
Let h(k) = -76*k**3 - k. Is 12 a factor of h(-1)?
False
Suppose 75 = 3*w - 4*n - 0*n, -5*n = -2*w + 57. Let a = w + -12. Is a a multiple of 7?
False
Let r be 6/((-26)/16 - -2). Suppose j = 2*z - j - 86, -4*j = r. Is 13 a factor of z?
True
Let i = 63 - 15. Does 19 divide i?
False
Let j(r) be the third derivative of 1/2*r**3 + 0*r - r**2 - 1/24*r**4 + 0. Does 4 divide j(-5)?
True
Let t(w) = -w + 16. Let a be t(0). Suppose -a = 3*n + n. Let g = n - -25. Is g a multiple of 14?
False
Suppose 0 = 5*i + 4*p + 278, 0 = 2*i + 2*i + p + 229. Let a = i - -103. Is a a multiple of 13?
False
Suppose -37 = -4*v - 8*x + 3*x, v - x = 7. Does 6 divide v?
False
Let w(h) = h - 7. Let y be w(5). Is (9/2)/((-1)/y) a multiple of 9?
True
Suppose 0*y - 4 = 2*y. Let b(o) = -o. Let j be b(y). Suppose j*k = f + 27, -7*k - 2*f + 74 = -3*k. Does 7 divide k?
False
Let b = -5 - -1. Let d = 9 + b. Is d a multiple of 2?
False
Suppose i + 4 = 2*s, -s + 24 = -2*i + 7*i. Let f(o) = o**3 - 4*o**2 + 3*o. Is 9 a factor of f(s)?
False
Suppose -175 = -2*p - 3*p. Is 5 a factor of p?
True
Let t = 14 + -8. Let n(o) = -3*o + 2. Let a(i) = 2*i - 1. Let w(g) = 10*a(g) + 6*n(g). Does 14 divide w(t)?
True
Suppose 0*k + k = l + 2, -26 = -4*k - 5*l. Let g = 8 + 26. Suppose -k*p = -3*p - g. Is 15 a factor of p?
False
Suppose 5*p - 3*p = 3*v + 14, -3*p = -v -