-z - b*s = -24. Is z even?
True
Let i(m) = -7*m + 32. Suppose -16*h + 5*h = 165. Is i(h) a multiple of 24?
False
Let f(w) = w**2 - 5*w + 8. Let o(j) = j**3 + 5*j**2 - 9*j. Let a be o(2). Suppose 5*y - 34 = -2*p + a, 6 = 3*p. Is f(y) a multiple of 4?
True
Let z(n) = -1016*n + 869. Does 45 divide z(-53)?
False
Let d(x) = -4*x**3 - 2*x**2 + 16*x + 14. Suppose 6*s = -31 + 7. Is d(s) a multiple of 20?
False
Let g(u) = 332*u**3 - 6*u**2 + 90*u - 463. Is g(5) a multiple of 55?
False
Suppose -1841100 = 6640*p - 6674*p. Is 31 a factor of p?
False
Let p(c) = -2*c**2 - 12*c - 1. Let s(y) = -y**2 + 73 - 6*y - 73. Let z(j) = -4*p(j) + 7*s(j). Does 15 divide z(-8)?
False
Let d = 10943 - -127. Does 123 divide d?
True
Let m(x) be the third derivative of 11*x**5/15 + x**4/12 + 4*x**3 - 20*x**2 - 1. Is 15 a factor of m(-3)?
False
Let q = -46 - -40. Let f(v) = -2*v**3 - 4*v**2 - 5*v - 2. Is 13 a factor of f(q)?
False
Suppose -283*w = -288*w + 3800. Let d = -240 + w. Is d a multiple of 8?
True
Let j be (2/(2/(-1)))/(2/(-18)). Suppose -196 = -j*b - 16. Is b a multiple of 2?
True
Let a(z) = 46*z**2 - 28*z - 145. Is a(-10) a multiple of 27?
False
Let x = -183 - -267. Suppose 6*c - 2*c = x. Is 21 a factor of c?
True
Let d be ((-4)/2)/(12/(-1530)). Suppose 19*m - d = 16*m. Let h = 128 - m. Does 5 divide h?
False
Let q(f) be the second derivative of -125*f**3/6 - 2*f**2 + 4*f. Let x(n) = -42*n - 1. Let l(o) = -4*q(o) + 14*x(o). Is 6 a factor of l(-1)?
True
Suppose 0 = -60*t + 18*t + 35280. Suppose -t = -32*s + 12*s. Does 21 divide s?
True
Let z(r) = 11*r - 56. Let x(w) be the second derivative of -35*w**3 + 1065*w**2/2 + 20*w. Let k(s) = -4*x(s) - 75*z(s). Is 20 a factor of k(14)?
False
Let c be (567/45)/(((-6)/(-70))/3). Suppose 7*x = 28*x - c. Is 10 a factor of x?
False
Let r be 252/5 + 30/(-75). Suppose -a + 4*c + 40 = 0, 11*c - r = -2*a + 13*c. Is 9 a factor of 44 - (-3)/((-12)/a)?
False
Suppose 793919 - 2841263 = -386*g. Is 34 a factor of g?
True
Let k(n) = -4*n**3 - 27*n**2 + 6*n + 45. Does 6 divide k(-11)?
False
Let p = -21 + 23. Suppose -8*m = -p*m + 12. Does 3 divide 33/2*m/(-1)?
True
Suppose 3*w = -4*s + 1189, 5*w + 411*s - 406*s - 1980 = 0. Is w a multiple of 10?
False
Suppose -15 = 5*g - 5. Does 22 divide 1785/10 - (-5)/g?
True
Let p be (-1830)/(-51) - 10/(-85). Let s be (p/2)/3 - 4. Suppose 8*x = 3*x - 4*n + 237, 0 = -2*x + s*n + 84. Is 18 a factor of x?
False
Suppose 2*o - 1 = 11. Let z(s) = 4*s**2 + 6*s**2 + 16 - o*s**2 - 17*s - 2*s**2. Is 29 a factor of z(11)?
False
Suppose 0 = 3*r, 5*r - 4 = -38*v + 34*v. Does 21 divide (267/(-15) + v)/((-10)/375)?
True
Let d(r) be the first derivative of r**4/4 - 7*r**3/3 - 9*r**2/2 - 4*r - 26. Let p(j) = j**2 + 12*j + 9. Let u be p(-12). Is 11 a factor of d(u)?
True
Suppose -48*y - 24743 - 34237 = -52*y. Does 4 divide y?
False
Let c(i) = i**3 - 50*i**2 + 63*i - 179. Is c(49) a multiple of 9?
False
Let r = 23 + -17. Suppose -2*w + r = -4. Suppose c = -4*c + w*i + 80, -5*c - 4*i = -35. Is c a multiple of 10?
False
Let t(y) = 2621*y - 7665. Is t(16) a multiple of 165?
False
Let k(z) = 78*z + 34. Let m be k(2). Let d = 411 - m. Is 13 a factor of d?
True
Let r = -10032 + 14104. Is r a multiple of 11?
False
Let p = -1519 + 2046. Is p a multiple of 98?
False
Let y(q) = 821*q - 1722. Is y(18) a multiple of 24?
True
Let r = -55 + 60. Suppose -r*p = -0*m - m + 12, 4*p + 16 = 4*m. Suppose 0 = -2*u - m*j + 180, -3*u + 8*u - 3*j - 434 = 0. Is 18 a factor of u?
False
Is 24 a factor of 10/235 + 8082110/235?
True
Let m be (3/5)/((-18)/270). Let f be ((-18)/243*m)/(2/9). Does 27 divide 1 + (-1)/f + 480/9?
True
Suppose 0 = 2*j - 4*j - 48. Let l be 9/12 + j/32. Suppose l = -6*k + 2*k + 96. Is k a multiple of 14?
False
Let z = 509 - -5371. Suppose -z = s - 15*s. Does 42 divide s?
True
Suppose -2*g + 2*s = -3*g, -5*g = 5*s. Suppose w - 3*w - 3*r + 561 = g, r = -5*w + 1435. Suppose -3*k + w = k. Is k a multiple of 12?
True
Let f(l) = -4*l + 45. Let k be f(7). Suppose -12*x - k*x = -8120. Is 35 a factor of x?
True
Let n be (-420)/(-12)*(-296)/20. Let g = n + 818. Is g a multiple of 25?
True
Suppose 4*y - c + 0*c - 17 = 0, 0 = 5*y - c - 22. Let o be 2/y - (-52)/20. Suppose -o*g + 4 = f, f + g - 12 = -0*g. Is f a multiple of 16?
True
Suppose 5*o + 4*v = 53780, 0*v + 3*v - 15 = 0. Is o a multiple of 224?
True
Let n(v) = 1 - 69*v**2 + 411*v**2 - 49*v**2 - 2*v. Let s be n(1). Suppose -2*k + 4*k = 3*m + 141, -4*k - 4*m = -s. Does 12 divide k?
True
Suppose 0 = d + 2*d + 2*l - 8, -5*d + 9 = -l. Let u be ((-1876)/35)/(d*(-2)/40). Suppose -120 + u = 8*r. Is r a multiple of 3?
False
Suppose -v - 187 + 948 = 0. Suppose 4*z = -2*w - 119 + v, -5*z = -w - 792. Is z a multiple of 53?
True
Let q = 163 - -76. Suppose -3*d + q = -208. Is d a multiple of 23?
False
Let s = 1978 - 1118. Suppose s = 31*d - 26*d. Is d a multiple of 8?
False
Let y = 174 - 179. Does 8 divide (y - (21 + -6))*116/(-10)?
True
Suppose 39*a - 417937 = -46774. Is a a multiple of 17?
False
Suppose 0 = -5*r, 78 = -3*u - 3*r + 12. Let g be (u/(-18) - (-22)/(-99))*3. Suppose g*a - 4*j = 140, 2*a = 3*a + j - 42. Is 22 a factor of a?
True
Suppose u + 2407 = 2*p, 3*u - 2425 = -2*p - 2*u. Suppose 9*d - p = -179. Is d a multiple of 23?
False
Is (-190)/(-6)*(-5508)/(-36) a multiple of 27?
False
Let l = -30 + 35. Let v = -5 + l. Suppose 0*o - 3*o + 180 = v. Is 12 a factor of o?
True
Let s(a) = -a**3 + 79*a**2 + 57*a - 327. Is s(75) a multiple of 57?
True
Let g(f) = 9*f**2 - 16*f + 9. Let o(h) = 8*h**2 - 15*h + 7. Let t(b) = -4*g(b) + 5*o(b). Is 19 a factor of t(8)?
False
Let z(g) = -g**3 - 9*g**2 - 7*g + 4. Let d be z(-8). Does 11 divide (672/(-9))/(d/6)?
False
Let u = -82 + 74. Let c(p) = 4*p**2 - 7*p + 20. Let o be c(u). Let a = -196 + o. Is a a multiple of 18?
False
Let f = -28 + 30. Let w be (-1)/(-1*f/10). Suppose w*s + 4*o - 318 - 270 = 0, 3*s - 4*o - 372 = 0. Is 12 a factor of s?
True
Suppose 4*q + 2998 = 3*a, -3*a - 982 = -4*a - 3*q. Suppose 3*n + a = 4120. Is 36 a factor of n?
False
Let s(u) = -63*u + 4337. Does 61 divide s(3)?
True
Suppose -8*a + 522 = -334. Suppose -a*v = -115*v + 456. Is v a multiple of 2?
False
Let x(f) = -f**2 + 2*f**2 - 2*f**2 + 1. Let c(g) = -g**2 + 25*g + 26. Let z(m) = c(m) - 4*x(m). Is z(-9) a multiple of 10?
True
Let j = -165 + 167. Suppose -11*n + 1077 = -8*n - 3*s, j*n + 3*s = 708. Is n a multiple of 22?
False
Let o be -1*0/(-2) + (-6 - -8). Suppose -2*g - o*g = -k - 259, -5*k - 5*g = 1295. Is 14 a factor of -1 - (k + 10)*1/3?
False
Suppose 5*t - 5*o + 116 - 19341 = 0, 5*t = -11*o + 19209. Is t a multiple of 31?
True
Let z be 65*(-6)/(-30)*6. Let t = z - -9. Suppose -11*l = -681 + t. Is l a multiple of 29?
False
Is 5 a factor of (-156)/144*8*2061/(-6)?
False
Is 9 a factor of (-18)/(-8)*(-41)/(615/(-6520))?
False
Let l = 4275 - 3295. Is 5 a factor of l?
True
Does 3 divide 3*(-1 - 46)/(18/(-894))?
False
Suppose -t + 4*s + 4 = 0, -5*t - 2*s + 18 = -2. Does 24 divide 294/t - 1 - 4/8?
True
Let s(g) = 2388*g + 6. Is s(1) a multiple of 9?
True
Let g(v) = 2*v**3 - 10*v**2 - v + 7. Let a be g(5). Suppose a*m = -5*c - 3*m + 3675, 0 = 4*m + 12. Is 12 a factor of c?
False
Suppose 0 = -w + 2*r - 2, 4*w = -r + 16 + 3. Suppose 6*t + 5*q = 4*t + 688, t - w*q = 331. Does 13 divide t?
False
Suppose 58*p - 56*p = 2*g + 372, -186 = -p + 3*g. Does 62 divide p?
True
Let m = -8645 + 19717. Does 106 divide m?
False
Let m(d) = 6*d + 25. Let x be m(6). Suppose 40 = 3*t - 2*k, 0 = 4*t - 5*k - 4 - x. Is 4 a factor of t/(2*(-3)/(-21))?
False
Suppose -15 = 5*a + 5*y, 2 = a - 2*y - 7. Let f be 5*a/5 - -4. Let w(t) = 19*t - 3. Is w(f) a multiple of 19?
False
Suppose -7737 = -s - 5*d, 4*s - 30882 = 5*d - 3*d. Is 22 a factor of s?
True
Let u(z) = -z**3 - 39*z**2 - 46*z + 213. Is u(-38) even?
False
Let l(u) = -503*u - 1400. Does 59 divide l(-9)?
True
Let m(v) = v**2 - 4*v + 5. Let c be m(-5). Let o = 55 - c. Suppose 3*d = 2*s - o*s + 60, -116 = -4*d + 5*s. Is d a multiple of 5?
False
Is (-2320)/32*(-1104)/30 a multiple of 92?
True
Suppose -b + 40 = -2. Let j be (-56)/b + (-4)/6. Is 17 + 1 + (-2 - (-2)/j) a multiple of 9?
False
Let p(k) = 8*k - 4*k + 24 - 27*k. Is 15 a factor of p(-27)?
True
Let j(t) = 5*t - 20. Let y be j(5). Suppose -27 = y*c - 72. Suppose 2024 = 2*q + c*q. Is q a multipl