, 9 = -g + 4*g. Is z even?
True
Let b = 0 - -235. Suppose 3*a = 2*i + 141, -5*a = -3*i + i - b. Is 16 a factor of a?
False
Suppose -2*v = -5*l + 50, v = -l - 4*l + 65. Does 8 divide l?
False
Suppose -2*q + 10 = 3*y, 0*y = q + 4*y - 5. Suppose -5*g + 3 = 5*i - 7, -2 = -3*g - q*i. Is g/18 - 352/(-36) a multiple of 5?
True
Let r be 6 + 2/(-1) - -1. Let t(c) be the third derivative of -c**6/120 + c**5/15 + c**4/3 - c**3 - 7*c**2. Is t(r) a multiple of 9?
True
Let d(i) = i**2 - 11*i - 87. Is 13 a factor of d(18)?
True
Let q = 68 - 124. Let y = 162 - 248. Let m = q - y. Does 15 divide m?
True
Let p = -1 - -1. Suppose w - 3*x - 10 = p, -2*x - x = 6. Is 16 + -1 - w/4 a multiple of 7?
True
Let a be 54/9 - (0 - -2). Suppose -77 = -5*w - 2*j, j = a*j + 12. Does 17 divide w?
True
Let c(o) = -12*o - 10. Is c(-3) a multiple of 9?
False
Suppose 5*s - 84 = 141. Let d = 76 - s. Let n = -13 + d. Does 13 divide n?
False
Suppose -4*o = 8, -4*g + 58 = -0*g - o. Is 4 a factor of g?
False
Suppose -2*r - 15 = -39. Suppose -r = -2*b - b. Is 5 a factor of (-238)/(-21) - b/(-6)?
False
Let a(b) = 2*b + 11. Is a(3) a multiple of 17?
True
Let b(g) = g**2 - 2*g + 2. Let o be b(2). Suppose h - 44 = 2*r, -3*r - 47 = o*h - 3*h. Does 19 divide h?
True
Let o = 4 + -2. Suppose -z - 1 = -0*z. Is z + -1*(o + -5) a multiple of 2?
True
Let w(f) = -f**2 - 18*f. Is w(-8) a multiple of 26?
False
Let v = 108 + -29. Let i be v/(-4) + (-1)/4. Does 19 divide (-752)/i - (-4)/10?
True
Let g = 2 - 1. Suppose 4 = j - g. Suppose f - 21 = j*v, 0*f + 3*v = 2*f - 21. Is f a multiple of 3?
True
Suppose 83 + 109 = 4*l. Is l a multiple of 16?
True
Let w(u) = -12*u**3 + 4*u - 5*u + 0*u. Is w(-1) a multiple of 13?
True
Suppose -8*x = -3*x. Suppose 0 = q - x*q - 12. Is 12 a factor of q?
True
Suppose -5*m - 2*j + 10 + 0 = 0, j = -m + 2. Suppose 5*h - 78 = m*h. Does 13 divide h?
True
Let u be 6/3*27/(-2). Suppose -170 = -4*r + 2*m, -248 = -5*r + 3*m - 34. Let b = r + u. Is b a multiple of 14?
True
Suppose 5*v + 795 = 5*d, 204 = -2*d + 5*v + 519. Suppose z - 6*z + d = 0. Is z a multiple of 9?
False
Let h(l) = 3*l**2 - 2*l + 5. Is h(5) a multiple of 20?
False
Let v = 5 - 2. Suppose 5*d - 38 = -v*k + k, 0 = -4*k - d + 58. Is k a multiple of 7?
True
Let q be (-176)/(-18) + (-6)/(-27). Let c(n) = -n - 2. Let g be c(-2). Suppose 0 = 2*f - l - 17, g = -f - 0*f + 2*l + q. Is f a multiple of 4?
True
Let h = -48 - -79. Is h a multiple of 9?
False
Let c(p) = 8*p**2 - p + 1. Suppose 4*a + 4*d = 0, -4*a + a + 7 = -4*d. Let m be c(a). Suppose 5*l - 37 = m. Does 9 divide l?
True
Suppose -4 = f + 2. Let i(j) be the first derivative of -j**4/4 - 5*j**3/3 + j**2 - 7*j - 1. Is i(f) a multiple of 17?
True
Does 17 divide (-198)/(2/5 - 156/65)?
False
Let c = -44 - 3. Let f = -27 - c. Suppose 0*v + 6 = l - 3*v, 2*v + f = 2*l. Is 12 a factor of l?
True
Suppose -5*m + 7*f + 356 = 4*f, -m + 78 = -4*f. Is 14 a factor of m?
True
Let q(a) = -a**3 + 4*a**2 + 7*a - 11. Is q(4) a multiple of 17?
True
Suppose -f - 4*n = -0*n - 63, n = -5*f + 372. Is f a multiple of 25?
True
Let c(o) = -o**3 + 13*o**2 - 12*o - 9. Let w be c(12). Let s = w + 14. Is s a multiple of 2?
False
Suppose 5*v + q - 15 = 6*q, -3*v + 4*q + 13 = 0. Is 43/(-1)*(v - 0) a multiple of 15?
False
Let v = 70 + -4. Does 5 divide v?
False
Let s(c) = 49*c**2 - 1. Is 12 a factor of s(1)?
True
Is (-48)/(-9)*(4131/12)/9 a multiple of 19?
False
Suppose 5*h = 2*n + 3, -7*n + 7 = -3*n + 3*h. Does 2 divide n/((-10)/6 - -2)?
False
Let s(q) be the third derivative of q**5/10 + q**4/24 - q**3/3 + 7*q**2. Is 20 a factor of s(-2)?
True
Let j = -9 + 3. Does 16 divide 48*(2 - (-10)/j)?
True
Let w(h) = h**3 + 3*h**2 - 2*h - 2. Let c be w(-3). Suppose c*t - 3*d - 15 = t, -2*d - 10 = -t. Suppose t = -3*b + b + 20. Does 5 divide b?
True
Let u be (-146)/(-4) + 1/(-2). Suppose l + 8 = u. Is l a multiple of 14?
True
Let z(d) = -3*d**3 + 2*d**2 + 4*d + 1. Let b be z(-3). Suppose 5*a + b = -182. Is 18 a factor of 2 - (0 - -2) - a?
True
Suppose 665 = -7*z + 3395. Does 26 divide z?
True
Is 55 a factor of 4/24 + (-4945)/(-30)?
True
Let u(q) = q**2 + 7*q + 6. Let s be u(-8). Suppose -k + s = k. Let p = k + -4. Is p a multiple of 3?
True
Suppose -x = x. Let f(a) = -a**3 + a**2 + a + 8. Let p be f(0). Let k = x + p. Is 8 a factor of k?
True
Suppose 82*j = 86*j - 372. Is j a multiple of 9?
False
Let r be (-3 + 1 - -2)/2. Suppose -p + 14 - 89 = r. Is 14 a factor of (-1)/2 - p/2?
False
Suppose 3*s = 49 + 179. Let v = s - 46. Does 11 divide v?
False
Let u(m) = 2*m**2 - 2*m - 3. Let o(y) = -y**2 + 10*y - 6. Let s be o(9). Let n be u(s). Let z(k) = 2*k - 8. Is 10 a factor of z(n)?
True
Suppose 19*o + 21 = 22*o. Let z(v) = v**2 - 3*v + 16. Is z(o) a multiple of 7?
False
Suppose 68 = 2*i - 68. Let l = 115 - i. Is l a multiple of 12?
False
Let d(p) = p**2 - 4*p + 3. Suppose -8 = -7*j + 3*j. Let b be d(j). Is 8 a factor of -1*(b - 34/2)?
False
Let k be (1 - -2)*(-4)/(-6). Does 13 divide k/(-10) - 1496/(-55)?
False
Let b = 197 - 92. Let p = -51 + b. Suppose 8*t + c = 4*t + 105, -2*t - 2*c + p = 0. Is t a multiple of 13?
True
Let o(g) = -10*g - 8. Let b be o(-8). Suppose y = -y + b. Suppose -6*p = -3*q - 3*p + y, 3*p - 66 = -3*q. Is q a multiple of 11?
False
Suppose 4*b + 59 = 5*j, j + 4*j - 50 = -5*b. Let i(p) = 2*p**2 - 2*p + 1. Let s be i(4). Suppose j + s = 4*q. Is 9 a factor of q?
True
Suppose 2*v = -0*v + 4. Suppose v*s = 5*s - 243. Is s a multiple of 21?
False
Let d(i) = -8*i - 2. Let m(k) = -105*k - 25. Let j(u) = 40*d(u) - 3*m(u). Suppose -f = -t + 4*t + 9, 5*f - 2*t + 28 = 0. Is j(f) a multiple of 13?
False
Is ((-15)/30)/(2/(-220)) a multiple of 18?
False
Suppose 2*x = -29 + 11. Does 13 divide ((-348)/x)/((-4)/(-6))?
False
Let d(q) = -q**3 + 3*q**2 - 4*q + 3. Let s be d(2). Let x = 2 - s. Does 3 divide x?
True
Suppose -3*r - z + 503 = 0, -2*z = 2*r + 3*r - 838. Does 21 divide r?
True
Does 14 divide 5 + -1 - (-1)/(5/540)?
True
Suppose -11*y + 288 = -7*y. Is y a multiple of 8?
True
Let i(r) = r**2 - 3*r - 7. Let u be i(5). Let k be 1/(-3) + 10/u. Suppose -k*q + 1 = -3*w + 28, -2*w + 30 = -5*q. Is 2 a factor of w?
False
Let a be 0*1*(-1)/(-2). Let x(o) = 2*o - 3. Let j be x(3). Suppose -j*l + 63 = -a. Is l a multiple of 8?
False
Let f(q) = -10*q**3 - 2*q**2 + 3*q. Let l be f(2). Let z = -57 - l. Let v = z - 15. Does 5 divide v?
True
Let y(i) = i + 3. Let x be y(13). Suppose 3*n = n + x. Is 8 a factor of n?
True
Suppose -2*r - 2*b + 4 = 0, -b + 0*b = 2*r. Let s be r + 6 + -1*2. Suppose 3*d - a - 7 = 3*a, -2*d - s*a = -28. Is 4 a factor of d?
False
Suppose -p - 2 - 3 = 0, 2*o + 5*p + 13 = 0. Let a(m) = 3*m**2 + o - 2*m**2 - m + 8 - 2*m**2. Is a(0) a multiple of 14?
True
Suppose 2*k + 9 = 3. Does 11 divide (4/(-6))/(k/135)?
False
Let z = -38 + 99. Is z a multiple of 6?
False
Let i(r) = -2*r. Let d be i(-1). Suppose -132 = -d*t - 5*q, 33 = 3*t - 2*q - 127. Is t a multiple of 14?
True
Let k(z) = z + 4. Let w be k(3). Let d(f) = -f**2 + 6*f + 9. Let x be d(w). Does 8 divide (-415)/(-45) + x/(-9)?
False
Let n(q) = -q**3 - 2*q**2 - 2*q + 11. Is n(-4) a multiple of 3?
True
Let w(q) = -3*q**2 - 3*q - 3. Let h be w(-3). Suppose 5*k + 296 = 36. Let n = h - k. Is n a multiple of 12?
False
Let q = -25 + 39. Is 6 a factor of q?
False
Suppose -3*x + o = -173, -7 = -4*x + 4*o + 221. Is x a multiple of 29?
True
Let v(y) = y**3 - 7*y**2 + 4*y + 5. Let g be v(6). Let k = g - 2. Is 166/18 - (-2)/k a multiple of 9?
True
Let r(o) = -o**3 + 8*o**2 + 2*o - 10. Does 12 divide r(7)?
False
Let m = -11 + 11. Suppose m = -4*s - 4*a + 212, s + 0*a - 2*a = 47. Is s a multiple of 17?
True
Suppose 8*q = 3*q - 60. Let h be 19*1/2*q. Is 1/4 - h/24 a multiple of 5?
True
Suppose 0 - 190 = -5*y. Does 9 divide y?
False
Suppose 0 = -4*l + l + 24. Is 2 a factor of l?
True
Let b(l) = -18*l + 3. Let o be ((-32)/(-12))/(8/(-12)). Is 25 a factor of b(o)?
True
Suppose 25 = x - 6*x. Let l(o) = o**3 + 5*o**2 - 5*o - 4. Let r be l(x). Suppose -3*t + r = a - 4*t, -4*a = 4*t - 60. Is a a multiple of 9?
True
Let x(p) = 20*p**2 + 4*p. Does 10 divide x(2)?
False
Is (64 - -2) + (0 - 2) a multiple of 8?
True
Is 348/(-9)*18/(-12) + -2 a multiple of 28?
True
Let a be 2/(-1) - -3 - -5. Is (3 + 4)*(a - -1) a multiple of 13?
False
Let a(k) = -k**3 + 3*k**2 + 3*k. Let