4 + z + 19. Is 14 a factor of s(h)?
True
Let o(z) = -7*z**3 - 10*z**2 - 23*z - 50. Does 19 divide o(-6)?
False
Let p(s) be the first derivative of s**3/3 + 154*s + 3. Is 11 a factor of p(0)?
True
Let q(t) = 9*t + 83. Is 2 a factor of q(10)?
False
Suppose -2*k = -28 + 6. Suppose k*x + 81 = 14*x. Does 9 divide x?
True
Let c = -24 + 12. Let n = 12 + c. Suppose 2*r + 2 = n, 38 = 3*m - 2*r - 6. Is m a multiple of 4?
False
Suppose -6*p + 4*p = 3*q - 114, 0 = 4*p + 4*q - 236. Suppose 2*b - p = -4*m + b, 2*m + 5*b - 45 = 0. Suppose 15 = 3*j - m. Does 9 divide j?
False
Let l = -475 + 478. Suppose -5*b + 165 = -3*o, 0 = -3*b + 2*o - o + 103. Is -12*l*(-16)/b a multiple of 4?
True
Let a(b) = -13*b - 8. Let z(i) = 13*i + 8. Let o(x) = 6*a(x) + 5*z(x). Let j be o(-6). Let w = j - 5. Is w a multiple of 10?
False
Let n(s) = 6*s**3 + 88*s**2 - 3*s**3 - 1 - 90*s**2 + 2*s. Let l be n(1). Is 5 a factor of 21/l - (-3)/6?
False
Let u(w) = 10*w**2 - 17*w + 2*w**3 + 17*w. Let l be u(-5). Suppose l = 2*x - 11 - 9. Is x a multiple of 10?
True
Let y = -161 - -269. Is y a multiple of 12?
True
Suppose 80 = 4*h - 4*r + 24, -3*r + 38 = 5*h. Let u = 10 - h. Suppose 5*b - 52 - 33 = u. Does 17 divide b?
True
Is 10 a factor of 20 - -155 - 2*1?
False
Let h = 4056 - 1483. Is 74 a factor of h?
False
Suppose 0 = -3*d - 0*d - 336. Let h = d + 271. Is h a multiple of 9?
False
Let g(m) = m**3 + 7*m**2 + 4*m - 1. Let i be g(-5). Let a = 20 + i. Is ((-180)/(-21))/(7/a) a multiple of 10?
True
Let t(h) be the third derivative of h**6/120 + 7*h**5/60 + 5*h**4/24 - 2*h**3/3 + h**2. Let l be -12 + 1/(7/49). Does 7 divide t(l)?
True
Let a be (0 - 0)*4/(-12). Suppose a*o + 5*o = 25. Suppose -l = 3*f - 49, -o*f + 2*f = 5*l - 209. Does 20 divide l?
True
Let d(j) = -3*j**2 + 22*j + 12. Let w be d(8). Is 17 a factor of ((-6)/12 - 6/w) + 267?
False
Let m(o) = 3*o**3 - 4*o**2 + 4*o - 2. Let a be m(2). Suppose 0 = n - 59 - a. Does 8 divide n?
False
Suppose -175 = -p - 6*p. Does 4 divide -5*((-65)/p - -1)?
True
Is 5 a factor of 8/(72/45) - -214?
False
Let x(o) = -2*o + 4. Let i be x(2). Suppose -2*r + i*r + 174 = 0. Is r a multiple of 29?
True
Let v be ((-2)/5)/((-1)/165). Suppose 2*g + v = 4*g. Is 33 a factor of g?
True
Suppose -6 = g - 2*g. Suppose 0 = n - 3*n + 182. Suppose -g*l + 137 + n = 0. Is l a multiple of 17?
False
Suppose -4*s + 126 = 30. Suppose -s - 2 = -v. Suppose 0 = h - 29 - v. Is 28 a factor of h?
False
Suppose 44 = 5*q - 3*q + 2*c, 3*q - 66 = -5*c. Let p(m) = -m - 5. Let l be p(-4). Let i = q - l. Is 14 a factor of i?
False
Suppose -6*j + 2*j = -16, -3*b - 5*j + 236 = 0. Let r = b + -16. Is 8 a factor of r?
True
Suppose -10*p + 1718 = -14932. Is p a multiple of 37?
True
Let s be (0*4/4)/(-2). Let i(w) = w**3 - w**2 + 11. Is i(s) a multiple of 4?
False
Let m = 10 - -2. Let d be -43 - (-2 + m/3). Let h = d + 77. Does 5 divide h?
False
Let d = 349 - -641. Is 49 a factor of d?
False
Suppose -729 = -2*p - 83. Let g = p + -215. Is 20 a factor of g?
False
Let o(p) = 86*p - 1058. Is 14 a factor of o(33)?
False
Suppose 0 = -g - g. Let v be g*(-1 - (-4)/8). Let m(i) = -i**3 - i**2 + i + 31. Is m(v) a multiple of 20?
False
Suppose -n + 45 = 2*t, -5*n = t - 184 + 4. Let d = -17 + n. Suppose -d = -2*y + 4. Is 9 a factor of y?
False
Let n(k) = 2*k**2 + 44*k + 33. Let f be n(-22). Does 3 divide (4/(-12)*-4)/(1/f)?
False
Suppose -4*g + 4 = 4*d, 3*d + 35 = 6*d - 5*g. Let z(c) = 24*c - 6. Is 11 a factor of z(d)?
False
Is -71*42*-8*(-8)/(-64) a multiple of 14?
True
Suppose -3*x = 2*x + 955. Let t be x/(-9) + 2/(-9). Suppose -14 - t = -5*m. Does 7 divide m?
True
Let j = -51 - -56. Suppose -14 = -6*q + j*q. Is 4 a factor of q?
False
Let o(a) = -a**3 + 2*a + 84. Is 50 a factor of o(0)?
False
Suppose k + 0*h - 2*h = 302, 0 = -k - 4*h + 272. Suppose -4*w + k = -5*a - 140, 216 = 2*w + a. Does 27 divide w?
True
Does 15 divide 2 - (206/4)/(12/(-24))?
True
Let s be 15/3 - (-15)/(-5). Suppose -9 - 15 = -4*y - 4*p, -s*y + 3*p = 13. Is -2*(-111)/3*y a multiple of 16?
False
Suppose 5*u + 1249 = 3*x, -4*x + 3*u + 844 = -803. Is x a multiple of 51?
True
Suppose -17*s + 34*s = 1241. Is s a multiple of 6?
False
Suppose -w - 23 = 5*a, 0*a - a = 4. Let l be 1/(4/(-996)*w). Suppose -l - 11 = -2*f. Does 22 divide f?
False
Let d be (19 + (1 - 2))*(-1)/2. Let v(k) = k**3 + 8*k**2 - 11*k - 4. Is v(d) a multiple of 4?
False
Suppose -2*u + 2*i + 732 = 6*i, 4*u = 5*i + 1425. Does 9 divide u?
True
Let l be 0 + (-11 - (4 - 3)). Is 384/(-15)*30/l a multiple of 32?
True
Suppose -c = w - 8, 0 = w - 2*w - 2*c + 13. Suppose 5*s = -2*f + 4 + 16, 3*f - 4*s - 7 = 0. Suppose w*j = -4*i + 46, 5*i = f*j - 9 - 126. Is j a multiple of 11?
True
Let x = -246 + 165. Let z = x + 126. Is 15 a factor of z?
True
Let v be (-20)/(-70) + 38/14 + 1. Suppose n = v*n - 111. Is 37 a factor of n?
True
Suppose -2*t + t + 20 = 4*b, -2*b = 3*t - 10. Let k = 0 + t. Let x = 30 - k. Is x a multiple of 23?
False
Let n(d) = -20 + 7 + 0 + 0 + 23*d. Is n(4) a multiple of 18?
False
Let d(f) = -f**3 + 3*f**2 + 4*f + 5. Let h be d(4). Suppose -24 = h*g - 114. Suppose -4*t + 3*t = -g. Is 18 a factor of t?
True
Let l = -171 + 287. Let w be ((-2)/2)/(-3*8/(-1800)). Let p = w + l. Is 13 a factor of p?
False
Suppose 0 = -5*j - 24*j + 6554. Does 72 divide j?
False
Suppose 2*d = -4*z + 26, -d - 2 = 3*z - 19. Suppose -d*t + 5*x + 15 = 0, 0*t + 4*x - 9 = t. Does 7 divide (-69)/((84/(-8))/t)?
False
Suppose 0 = -0*y - y - 2*v + 6, 0 = 2*y + 2*v - 6. Let n be (-3 + y - -44) + -2. Let u = -14 + n. Does 7 divide u?
False
Let u(l) = 73*l + 4. Suppose -7*d + 36 = 2*d. Is u(d) a multiple of 15?
False
Let m = -75 - -60. Let a = 22 - 32. Let c = a - m. Does 5 divide c?
True
Suppose -5*i + 21 = -2*a, 2*a - 12 = a - 2*i. Is 19 a factor of (-2)/a*(3 + -75 - 1)?
False
Does 20 divide 8328/42 - -1*(-2)/7?
False
Let s(u) = -6*u**3 - 2*u**2 - 14*u - 9. Is s(-4) a multiple of 19?
True
Let b(x) = -2*x + 2. Let h be b(-3). Let l(q) = 2*q - 10. Let c be l(h). Does 3 divide (c - 8)*11/(-2)?
False
Let r(v) be the second derivative of v**4/4 - v**2/2 + 4*v. Let k be r(1). Suppose k*t = s + 127 - 32, 20 = -4*s. Is 10 a factor of t?
False
Let n be (-1 + -4)*4/(-5). Suppose -14*u + 10*u = n. Is 8 a factor of (11 - 1 - u) + -3?
True
Let d(y) = -2*y - 10. Let w be d(-8). Let z(r) = -r**3 + 7*r**2 + 7*r - 3. Let g be z(w). Suppose 0 = -a - 2*a + g. Does 8 divide a?
False
Let y = 74 + -50. Is 13 a factor of y/120 - (628/(-5))/2?
False
Let q(i) = 3*i**3 - 17*i**2 + 3*i + 4. Let a be q(7). Let p = a - 157. Does 8 divide p?
True
Let h(s) be the third derivative of -s**5/60 + 11*s**4/24 - 5*s**2. Let d be h(11). Suppose -4*g + 0*a = -3*a - 155, d = 5*g + a - 189. Is 14 a factor of g?
False
Suppose 7*k - 900 = 675. Let f = k - 169. Does 7 divide f?
True
Suppose 0 = -10*l + 6*l + 12. Let w(g) = 2*g**3 - 2*g**3 + 4*g**l - 3*g**3. Is 17 a factor of w(3)?
False
Suppose 2*q - 212 = -3*y - y, 3*y = 3*q - 309. Suppose 0 = -g - 13 + q. Is 13 a factor of g?
True
Let q be ((-15)/(-4))/(6/176). Let w = q - -11. Is w a multiple of 22?
False
Suppose 2*l - 1054 = -4*a, 4*l - l = -3*a + 783. Suppose 2*u + a = 3*i, -i + 74 = u + 2*u. Is 12 a factor of i?
False
Suppose 77 = 3*p + 4*t, p + 4*p = -3*t + 110. Suppose -v + 51 = 4*w + 2*v, 5*v + p = 2*w. Does 7 divide w?
False
Suppose -p = -5*q - 153, 2*p + q = -49 + 333. Does 6 divide p?
False
Suppose -5*j = 3*t - 0*t - 30, -3*j - 3*t + 12 = 0. Suppose -849 = -j*k + 1806. Is 30 a factor of k?
False
Let y be ((-2)/2)/((-1)/2). Suppose -a - 4*h = h - 2, -a + 5*h + y = 0. Suppose 0*n + 18 = a*w + 4*n, -5*w + 3*n = -110. Is 9 a factor of w?
False
Let f = -19 + 11. Let s be ((-4)/6)/(f/204). Let d = 26 - s. Does 7 divide d?
False
Let n = -1 - -4. Suppose -94 = -n*s - 5*a, 0 = 3*s - 0*s + a - 110. Is s a multiple of 18?
False
Let m(p) = -p**3 + 10*p**2 - 9*p - 9. Let g be m(9). Does 15 divide (0 - (1 + 1)*g) + -3?
True
Let u be 0 + ((-1)/(-1) - -3). Does 19 divide u/((-2)/16*-1)?
False
Let d = -64 - -145. Suppose -3*f = -5*o + d, 4*o + 5*f = o + 35. Is o a multiple of 3?
True
Let j be -5 + (-178)/3 + 2/(-3). Let w = -24 - j. Is 10 a factor of w?
False
Let n be 9 + 154 + 3*-1. Does 16 divide 1/(-1)*-5*1536/n?
True
Suppose 5*s - o - 116 = 2*o, 3*s - 76 = 5*o. Suppose 0 = 3*l - 8*l - 3*x +