**2 - 6*t - 8. Does 14 divide s(f)?
True
Let h(z) = -5*z - 2. Let u(v) = -11*v - 3. Let y(f) = 9*h(f) - 4*u(f). Let i be y(-7). Does 23 divide -46*(1 + (-2)/i)?
True
Is 43 a factor of 22/(-231)*7 - (-296)/3?
False
Let r be (-44)/((-3)/((-90)/(-5))). Suppose 0 = -3*t - w + r, -5*w + 56 = t - 32. Is 22 a factor of t?
True
Suppose -3*f - 2*c = -2977 - 4255, -3*f - c = -7234. Is f a multiple of 36?
True
Let d be 25/5 - 5 - -60. Let y = d - -62. Does 61 divide y?
True
Let b be 4/14 + (-368)/14. Let k = b - -16. Is (-20)/4*56/k a multiple of 19?
False
Suppose d - 2*d + 4*f = -5, 5*d - 25 = -f. Suppose 260 = 5*b - d*o, b - 4*b - 2*o + 161 = 0. Suppose m - b = 28. Is m a multiple of 13?
False
Let l(a) = 1. Let n(h) = -h**2 - h + 3. Let q(o) = -4*l(o) - 2*n(o). Is q(4) a multiple of 30?
True
Suppose 0 = 5*n + 3*t - 2*t - 58, 0 = 2*t + 4. Suppose -84 = -6*p + n. Is p a multiple of 4?
True
Let v be 2/3 - 26/(-6). Let o be (-1 - -48) + (v - 3). Suppose o = 4*c - 91. Does 15 divide c?
False
Let q(h) = h**3 - h - 3. Let m be (79 - 3)*(-5)/(-10). Let x = m + -35. Is q(x) a multiple of 7?
True
Suppose -5*n + 27 + 3 = 0. Let z = -31 - -34. Suppose -z*k + n = 0, 8*k - 3*k + 7 = x. Is 17 a factor of x?
True
Suppose -7*w + 1194 = -115. Is w a multiple of 17?
True
Suppose -12 = -i - 0*i. Let l be 4*1/(16/i). Suppose -359 + 102 = -5*v + 2*d, -l*d = 3*v - 150. Is 17 a factor of v?
True
Let s be (27/(-18))/(6/(-8)). Suppose s*k = 5*k - 981. Does 23 divide k/3*1 + 2?
False
Suppose c + 2 = -2, 2*z - 2*c = 10. Is -1*6*z*35/(-10) a multiple of 8?
False
Let h(a) = -11*a - 5. Let o be h(-2). Suppose -13*k = -o*k + 340. Is k a multiple of 13?
False
Suppose -2*o - 4*z + 316 = 2*o, -3*o = -3*z - 267. Is 7 a factor of o?
True
Let b = 13 - 9. Does 36 divide (48/10 + -4)*1430/b?
False
Let c(v) = v + 24. Let a be c(-17). Suppose a*g + 200 = 8*g. Is g a multiple of 40?
True
Is (0 + -2)/(3 - (-51)/(-15)) even?
False
Let q be (1 - 2) + 4/(-2). Let u = -98 + 99. Is 15 a factor of u/(267/(-90) - q)?
True
Let n be (2 - 36/21)*14. Let b be ((1 + -1)*-1)/2. Suppose -n = -2*k - b. Is k a multiple of 2?
True
Let j = -6 - -11. Suppose -i + j*i = 40. Is 5 a factor of i?
True
Is ((-96)/6)/(((-12)/(-2))/(-12)) a multiple of 16?
True
Let f = -139 - -195. Is f a multiple of 7?
True
Let j(c) = 4*c**2 + 81*c + 73. Is j(-37) a multiple of 58?
True
Let b be 2/(-8) - (-1)/4. Let s be b + 6 - 4 - 2. Is (0 + 17)*(2 - s) a multiple of 12?
False
Let r(o) = -o**3 + 3*o**2 + 3*o + 2. Is 4 a factor of r(3)?
False
Is (-88528)/(-144) + (-2)/(-9) a multiple of 24?
False
Let n(d) = -3*d + 7*d + 3*d - 5*d. Let v be n(1). Suppose -10 - 4 = -v*k. Is 7 a factor of k?
True
Let o(a) be the third derivative of -a**4/24 + 7*a**3/2 + 16*a**2. Does 4 divide o(12)?
False
Let o = -9 + 7. Let d be 0*((-6)/(-2) + o). Let z = d - -10. Does 5 divide z?
True
Let s(l) = -2*l**2 + 2*l - 3. Let b be s(3). Let d = b + 9. Is 27 a factor of d*(-9)/(-24)*-20?
False
Suppose -5*c + 5 = 0, -5*p = -p + 3*c - 571. Let j = p - 85. Let v = -3 + j. Is v a multiple of 19?
False
Suppose 0 = 2*t - 4*t + s + 407, -3*s = -5*t + 1020. Suppose 0 = 3*y - 0*y - 5*n - t, 2*y = 3*n + 135. Is 18 a factor of y?
True
Let g(c) = -c**2 + 8*c - 1. Suppose -2*o - 22 = -7*o + 4*i, -5*i - 21 = -3*o. Let v = o + 5. Does 2 divide g(v)?
True
Suppose -r = 3*g - 849, 2*r - 109*g + 104*g = 1742. Does 27 divide r?
False
Does 12 divide 736 + (15/10)/((-12)/32)?
True
Let h(z) = 54*z**3 - 3*z**2 - z + 4. Is h(2) a multiple of 10?
False
Suppose -4*v = 2*r - 232, -2*v - 2*v - 3*r + 236 = 0. Let j = v + 144. Does 25 divide j?
True
Let g = 34 - 21. Suppose h - 2*f = -1, -3*h + g = -h + f. Suppose -c = -4*c + p + 75, h*c + p - 133 = 0. Does 11 divide c?
False
Let a = -6 - -11. Let b be 787/a + 6/(-15). Let t = b - 78. Is t a multiple of 23?
False
Let o = -105 - 242. Let q = o + 504. Is 8 a factor of q?
False
Suppose 67*c - 63*c = 44. Suppose c*b - 172 = 7*b. Does 3 divide b?
False
Suppose 0 = 20*f - 3*f - 816. Does 2 divide f?
True
Let i be 3/(-5) - 53072/(-20). Suppose -13*o - 79 = -i. Does 22 divide o?
True
Suppose 0 = 6*w - 1692 - 1494. Is 3 a factor of w?
True
Suppose 2*x + 73 = 3*u - 140, -4*x - 3*u - 399 = 0. Let k = 38 - x. Is 20 a factor of k?
True
Suppose 3*l = 256 - 76. Is l even?
True
Let k(x) = x**3 - 23*x**2 - 5*x + 3. Let b(z) = 2*z**3 - 24*z**2 - 6*z + 3. Let l(w) = -2*b(w) + 3*k(w). Is l(-21) a multiple of 33?
True
Let t(x) = -x + 3. Let v(k) = 4*k - 16. Let c(z) = 11*t(z) + 2*v(z). Let g be c(-5). Suppose 12*h + 64 = g*h. Is 13 a factor of h?
False
Let c(m) = m**3 + m. Let u be c(0). Let d = u + 5. Suppose -120 = z - d*z. Does 6 divide z?
True
Let m(x) = -4*x - 57. Let s be m(-10). Let b(d) be the second derivative of d**5/20 + 17*d**4/12 - 5*d**3/6 - 4*d**2 + 2*d. Does 26 divide b(s)?
False
Suppose 0*w + 4 = -w + 4*g, -5 = -5*g. Let h = -31 - -34. Suppose -q - h*q = 4*o - 92, w = o + 5*q - 35. Is 4 a factor of o?
True
Suppose 6*w - 82 = -4. Is w even?
False
Let t be (-4)/7 - 177/21. Let u be 126/(-12)*6/t. Suppose u*b = 5*b + 222. Is 13 a factor of b?
False
Let h = 84 - -186. Does 27 divide h/8*8/2?
True
Let s = 61 - 94. Does 11 divide 2 + 1 - (s - -2)?
False
Suppose 5*d = -3*v + 15727 - 121, 3*d = -4*v + 9368. Is d a multiple of 40?
True
Let n(u) = 80*u**3 - 4*u**2 - u - 6. Let s(h) = 53*h**3 - 3*h**2 - h - 4. Let d(y) = 5*n(y) - 7*s(y). Is 10 a factor of d(1)?
True
Let v(b) = -4*b - 15. Let o be v(-11). Let y = 9 + o. Is 19 a factor of y?
True
Let i(a) = -a**2 + 6*a. Let q be i(6). Let o = q - -18. Does 11 divide o?
False
Let w = 76 + 16. Suppose 2*x = -4*a + 445 - 73, x = -a + w. Is a/6 - 6/9 a multiple of 7?
False
Suppose o = -3*o + 2*q - 28, 0 = 2*o - 3*q + 18. Is 88/o*(-78)/52 a multiple of 22?
True
Let j(n) be the second derivative of n**5/20 + 9*n**4/4 - 37*n**3/6 + n**2 + 10*n. Is j(-28) a multiple of 21?
False
Suppose 5*o - 10 = y + y, 3*o - 5*y = 6. Does 17 divide (-3 - -4 - o) + 212?
False
Suppose -19 = -5*x + 2*s, 2*s = -x + 5*x - 16. Suppose -q + x = -0. Suppose -q*c = -2*c - 35. Is 30 a factor of c?
False
Suppose -82*l + 10548 = -73*l. Is l a multiple of 61?
False
Let k(p) = -p**3 - 5*p**2 - p - 1. Let h be k(-5). Suppose 4*g - 5*g = h*o + 17, -5*g - 10 = 5*o. Let c = 23 + o. Is 9 a factor of c?
True
Suppose -5*o + 1046 = k + k, 4*o = 3*k + 823. Is 9 a factor of o?
False
Let y(v) = -2*v**2 + 26*v + 10. Let z be y(13). Suppose -z*i + 598 = -72. Is i a multiple of 21?
False
Let x(f) = 4*f**2 + 3*f - 4. Let l be x(2). Let v(i) = i**3 - 2*i**2 + i - 3. Let s be v(3). Does 17 divide (s/l)/((-2)/(-172))?
False
Suppose 0 = 5*g - 0*g - 70. Does 4 divide g - 5/((-25)/(-10))?
True
Let o(s) = s**3 - 5*s**2 - 3*s + 1. Let r be o(5). Let l(j) = 2*j**3 + 27*j**2 - 19*j - 1. Is l(r) a multiple of 10?
False
Let x(v) = 2*v**2 - 18*v + 19. Let s be x(10). Is (858/(-91))/(s/21 + -2) a multiple of 22?
True
Is 12 a factor of -3 + 463 + 14/2?
False
Let v = 460 - 339. Is v even?
False
Suppose 2*c - 1442 = 4*c - 5*a, -4*a = 5*c + 3605. Let r = -448 - c. Is r a multiple of 39?
True
Let u be 104/(-3) + 7/(-21). Let l = -41 - u. Is 2 a factor of 49/7*l/(-21)?
True
Let h(x) = -6*x + 26. Let t be h(6). Let c = t + 25. Does 3 divide c?
True
Let q(m) = -12*m + 874. Is q(0) a multiple of 65?
False
Let n be ((-36)/10)/(1/(-35)). Let r be (-198)/(-7)*n/18. Let z = r - 141. Is z a multiple of 19?
True
Let l = 349 + 1893. Is 38 a factor of l?
True
Let m(h) be the first derivative of 7*h**3/3 - 2*h**2 - 3*h - 25. Does 8 divide m(-3)?
True
Is 6*(1 - -226)*33/66 a multiple of 31?
False
Suppose 0 = -4*f + 5*f - 4. Suppose 5*x - f*i - 321 = 0, 4*x - 3*i - 288 + 31 = 0. Let s = x + -38. Is 7 a factor of s?
False
Let c = -142 - -208. Let s be (-425)/(-6) - (-11)/c. Let z = -41 + s. Is z a multiple of 5?
True
Let h be ((3 - 5)*2)/(3/(-42)). Suppose -60*m + 296 = -h*m. Does 11 divide m?
False
Let i = -66 - 78. Is 35 a factor of (-160)/12*i/20?
False
Let g = 401 + -230. Is 5 a factor of g?
False
Suppose k - 12 = -4*q, 2*q - 9 = -4*k - q. Suppose 0 = -k*l + 2*l + 12. Is l/30 - (-121)/5 a multiple of 13?
False
Suppose -5*n + 8*n + 102 = 0. Let u = n + 190. Suppose r - 36 = -y, 2*y + 2*r + u = 6*y. Is y a multiple of 19?
True
Suppose -1725 = -6*a - 177. Suppose 0*u + 4*u = 0. Suppose -3*