). Is 2/(-10) - j/a even?
True
Let s = -22 - -40. Suppose 0 = 4*x - 2*x - s. Does 4 divide x?
False
Let n(s) = -9*s**2 - 12*s + 5. Let o(t) = -3*t**2 - 4*t + 2. Let d(l) = -4*n(l) + 11*o(l). Is 17 a factor of d(-3)?
True
Suppose 0 = -2*y - 4 + 2. Let v = y - -12. Does 5 divide v?
False
Let x be 6/((-1)/2 - -2). Suppose 9 = x*i - 11. Is i a multiple of 5?
True
Let f = -42 - -59. Is f a multiple of 5?
False
Let j be 3 + -1 + -1 + 1. Suppose -3*t - 3 = 0, -114 = -j*b - 3*t - 11. Is 15 a factor of b?
False
Let t(y) = 3*y + 13. Is 4 a factor of t(4)?
False
Let l be ((-2)/3)/(1/6). Let i(t) = 8*t**2 + 5*t + 6. Let q be i(l). Suppose -4*x - 2*d = -128, -2*x - 3*d = -5*x + q. Is 12 a factor of x?
False
Suppose 0 = -4*a - 2*b + 2, 3*a - 4*b - 13 = 5. Let z(d) be the first derivative of d**4/4 + 4*d**3/3 - 3*d**2/2 + 3. Is z(a) a multiple of 18?
True
Let a be (-1)/((-10)/4 - -2). Let o(j) = -2 - 5*j + 7 - 6*j**a - 1 - j**3. Is o(-5) even?
True
Let k(h) = 0 + 2 - 3*h + h. Let j be k(-2). Suppose j*s - 40 = s. Is 4 a factor of s?
True
Suppose -3*f = -28 - 80. Does 18 divide f?
True
Suppose 2*y + 2*m - 222 = 78, -5*y + 2*m + 785 = 0. Is 13 a factor of y/4 - (-2)/8?
True
Suppose -3*y - 3*t + 63 = 0, 81 = 3*y + 2*y - 3*t. Is y a multiple of 9?
True
Suppose -10 = -d - 0*d. Suppose -d = 5*m, 60 = x - 2*m - m. Is 18 a factor of x?
True
Suppose v - 2*v = -4. Suppose 0 = h + v - 8. Is 3 a factor of h?
False
Let o = 61 + -38. Let q be -1 + -7 - (-42)/(-14). Let g = o + q. Is g a multiple of 6?
True
Let d be 1/2*(10 + -2). Suppose -d*h + 4 = -2*h. Does 8 divide 1 + -2 + h - -9?
False
Let w(x) = -8*x - 7. Does 4 divide w(-5)?
False
Suppose 3*o + 3*o + 336 = 0. Does 9 divide o/(-2) - -1*2?
False
Let u(m) = m**3 - 9*m**2 + m + 15. Is u(10) a multiple of 14?
False
Suppose 28 = 4*i - 4*l, 8 = i - 3*l - 7. Let a be (4/(-6))/(-1)*i. Suppose 0 = -5*k - 20, -3*x + 2*k = -a*k - 31. Is 5 a factor of x?
True
Let i(t) = t. Let m be i(2). Let x be 17/m - (-2)/4. Let l = x - 3. Does 3 divide l?
True
Let d be 2/2 + 5 + 0. Suppose -k + 15 = -d. Is 7 a factor of k?
True
Let a(j) = -j**2 - 9*j - 8. Let f be a(-8). Is 0 + f + 30/1 a multiple of 11?
False
Let p be (2 + 2)*(-9)/(-12). Suppose p*j + j + 8 = -5*n, 4*j = -3*n. Does 3 divide j?
True
Let u(l) = -l**2 + 136. Let k be u(0). Suppose -3*g - g = -k. Does 17 divide g?
True
Let o be -3*(-1)/(3/3). Let m be (-4 + o)*2/1. Let v(u) = -20*u - 2. Is 19 a factor of v(m)?
True
Suppose 0*s - 3 = y - 4*s, 39 = 5*y - 2*s. Let g(v) = -82*v. Let m be g(2). Is m/(-6) - (-6)/y a multiple of 13?
False
Suppose 2*d - 3*r = -r + 140, -2*r + 136 = 2*d. Is 13 a factor of 3 + -1 - d/(-1)?
False
Suppose -6*b = -b - 200. Is b a multiple of 11?
False
Suppose 4*d + d = 0. Is 3 a factor of 6 - (-3)/6*d?
True
Suppose -a = -0*a. Suppose -g - g - 72 = a. Does 3 divide (-172)/g + 2/9?
False
Suppose 0 = 5*s + 2*s - 140. Does 5 divide s?
True
Suppose -52 = 2*v + 5*z, 5*v - v - 3*z = -52. Let o be (-2)/(-8) - 140/v. Suppose -3*p - 2*u + 5 = -o, 0 = -2*p + 5*u + 41. Does 4 divide p?
True
Let i(y) = -2*y**3 - 2*y**2 - 3*y - 3. Let p be i(-2). Does 8 divide 1*p + (-6 - -6)?
False
Suppose -b = -4*i - 5, -5*b = -0*b - 4*i - 89. Is b a multiple of 5?
False
Let p = 4 + -2. Suppose -3*t + 2*a + 15 = p, 4*t - 21 = -a. Suppose t*g - 14 = 3*g. Is g a multiple of 7?
True
Let m(g) = 5*g**2 + g + 1. Let f be m(-1). Suppose 0*h = -2*h. Suppose h*p + p = f. Does 2 divide p?
False
Is 0 - (-3 - -2) - -79 a multiple of 16?
True
Let v(t) = 13*t**2 + t + 1. Is v(-1) a multiple of 13?
True
Let l(n) = 3*n**2 + 14*n - 5. Let j(i) = 3*i**2 + 13*i - 4. Let a(f) = -7*j(f) + 6*l(f). Let p(t) be the first derivative of a(t). Is p(-9) a multiple of 13?
False
Suppose 3*u + 4*n - 87 = -10, 2*u - 2*n = 56. Is 6 a factor of u?
False
Suppose 0 = 4*d - 90 - 6. Is 17 a factor of d?
False
Suppose 3*g = -g. Suppose -3*h = 3*m - g*h - 213, -h - 157 = -2*m. Let f = m - 36. Is 20 a factor of f?
True
Suppose 6*r = 4*r + 362. Suppose 0 = 4*b + 2*d - 153 - r, -b + 79 = -d. Is b a multiple of 29?
False
Is ((-16)/(-32))/(2/28) a multiple of 6?
False
Suppose -5*i = -2*i - 30. Is (-2)/(i/3)*-5 a multiple of 3?
True
Is (-12)/(-15)*(-475)/(-10) a multiple of 25?
False
Let b(r) = 15 + 16 - 37 + 10*r. Is 16 a factor of b(3)?
False
Let u(z) = z**3 - 12*z**2 + 10*z + 16. Suppose 0 = -4*j + 4*o + 132, 5*o + 66 = 2*j. Suppose -2*h + 5*h - j = 0. Is u(h) a multiple of 2?
False
Suppose 0 = -4*x - x + 5. Let l be 152/6 + 1/(-3). Let c = x + l. Is c a multiple of 11?
False
Suppose -4*t + k = 5*k + 12, k - 3 = -4*t. Suppose t*y - y = 10. Is 10 a factor of y?
True
Suppose 2*f - 3*f - 19 = 5*x, 0 = -3*f + 2*x - 23. Let a = 13 - 24. Let d = f - a. Is d a multiple of 2?
True
Suppose 4*q - 2*q - z - 46 = 0, -4*z = -3*q + 74. Does 11 divide q?
True
Let p be ((-6)/12)/((-2)/8). Let l(g) = -2*g - 6. Let w be l(-6). Let z = w - p. Is z even?
True
Let w(j) = -j**2 - 5*j + 5. Let q be w(-5). Let r be (-225)/(-4) - 1/4. Suppose -4*g + 24 = 6*z - z, 0 = q*z - 4*g - r. Does 4 divide z?
True
Let o = 74 + -19. Is 10 a factor of o?
False
Let h(o) = -o. Let r be h(-2). Suppose -4*b + 28 = 2*x, 0 = 3*b + r*x + 2*x - 31. Is b a multiple of 5?
True
Let o = -137 + 325. Is 14 a factor of o?
False
Suppose 4*x + 0*x = -32. Let f(r) = -r**3 - 8*r**2 + 6. Is f(x) a multiple of 2?
True
Suppose 3*f = -2*k + 2*f + 17, 0 = -2*k - 2*f + 14. Does 4 divide (-4)/k - (-42)/5?
True
Is (-99)/(-55)*(-50)/(-3) a multiple of 6?
True
Let b = 41 + -2. Is b a multiple of 12?
False
Suppose 5*i = -3*a + 5*a + 6, 4*a - 4*i = 0. Let b(w) = 19*w - 2. Let r be b(a). Suppose -r = -4*x - 4*o, 0*o + 11 = 3*x - o. Is x a multiple of 2?
False
Suppose 4*g = -179 + 699. Is g a multiple of 26?
True
Suppose 3*w = -4*g + 2*g + 17, -5*w - 3*g = -28. Suppose 3*b + 0*b = 5*o + 52, -5*b - w*o = -60. Is 8 a factor of b?
False
Suppose 87 = -5*l + 477. Does 13 divide l?
True
Suppose 0 = w - 2*w + 3. Suppose w = 5*d + f - 6, 2*f = 3*d - 8. Does 7 divide (-21)/d*(-4)/6?
True
Let i(l) = 14*l**2 + 3*l - 2. Suppose 5*c = n + 23, 2*n - 2*c = -3*n. Let d be i(n). Suppose 4*r + d = 4*z, -r = -2*r. Is 4 a factor of z?
False
Suppose 3*w = 298 + 1067. Does 39 divide w?
False
Suppose 2*j = 12 - 0. Let p(w) = -w**2 + 8*w - 7. Let o be p(j). Suppose -o*d = -10*d + 30. Is 5 a factor of d?
False
Let c(q) = q + 15. Let p be c(-8). Let u(w) = 7*w + 4. Does 11 divide u(p)?
False
Let x be (56 + 2 - 3) + -3. Suppose -3*y + 204 = -4*z + 8*z, -z - y + x = 0. Is z a multiple of 15?
False
Let n(j) = 9*j - 8. Is 19 a factor of n(3)?
True
Let i(q) = -6 + 5*q + 2 + 13*q. Does 20 divide i(3)?
False
Suppose i - 3*f + 1 + 2 = 0, -3*f = -3*i - 3. Let u(t) = -6*t**3 - 4*t**2 - 2*t + 4. Let l be u(-2). Suppose i*d + l = d. Does 20 divide d?
True
Let c be (15/(-12))/((-4)/(-208)). Is 15 a factor of (-28)/(-35)*c/(-2)?
False
Suppose 4*r + h = -0*r + 9, 5*r - 2*h = 8. Suppose 0 = -r*y + 3*y - 14. Is 7 a factor of y?
True
Let w = 29 + -26. Let o = w + 7. Does 7 divide o?
False
Let m be (1 + 1/3)*3. Suppose 8*x - 36 = m*x. Let d(w) = w + 1. Does 7 divide d(x)?
False
Suppose q = -5*c + 54, -3*c - c = -4*q - 48. Let k = c + -5. Suppose 7*s - 2*s = 2*n - 1, 3*n - k = 3*s. Does 2 divide n?
False
Let o be (-177)/5 + (-8)/(-20). Let h = o + 54. Does 13 divide h?
False
Let g be (-1)/(7/2 + -4). Suppose -2*u - 2 - g = 0, 0 = 4*c - 2*u - 96. Is 23 a factor of c?
True
Suppose 0 = -4*i - 8*q + 3*q + 125, -3*q = 2*i - 61. Is 7 a factor of i?
True
Is 3*(7 + 0) + 2 a multiple of 23?
True
Suppose 0 = -3*d - 2*d - 105. Let g = d + 39. Is 9 a factor of g?
True
Let x(t) = 2*t**2 - 15*t + 21. Is 10 a factor of x(9)?
False
Let a = -21 - -42. Suppose 7 = -m - 2*n, 4*m + 5*n = 7*m + a. Does 4 divide 7/(m/8)*-1?
True
Suppose -3*l - 29 = -2. Let t(i) be the first derivative of -i**4/4 - 8*i**3/3 + 9*i**2/2 + 7*i + 1. Is t(l) a multiple of 6?
False
Let f = 4 - -1. Suppose -3*k + 3*j = -138, j = -f*k - 2*j + 246. Does 12 divide k?
True
Let t = -21 + 135. Is t a multiple of 19?
True
Let j = -342 - -706. Is 27 a factor of j?
False
Let i be (10/(-3))/(4/(-6)). Suppose h - r + 3*r - 38 = 0, -i*h + 145 = r. Is h a multiple of 16?
False
Let h(z) = -2*z - 5. Let v be h(-5). Let t = 8 + v. Does 5 divide t?
False
Let j = -11 + 10. Does 18 divide 3 + (-4 - j)