f) = -f**2 + 6*f + 13. Let b be p(6). Let a be (816/(-60))/(1/(-110)). Suppose b*y = 5*y + a. Is y a multiple of 32?
False
Let q = -5847 + 12503. Does 64 divide q?
True
Let y(g) = 2*g**3 - 16*g**2 + 49*g - 431. Does 8 divide y(13)?
True
Let y = -583 - -658. Suppose -70*j - 675 = -y*j. Is j a multiple of 5?
True
Suppose -13*p + 134*p + 146495 = 598914. Is 85 a factor of p?
False
Let u be -3*(-1)/(-12) - (-722)/8. Let k = u + -89. Does 29 divide k + (189 - 20/5)?
False
Let s(q) = 34*q**3 - q**2 + 5*q - 7. Let g(b) = -34*b**3 + b**2 - 6*b + 8. Let n(t) = 5*g(t) + 6*s(t). Does 19 divide n(2)?
True
Suppose -9705 - 12094 = -16*h + 1385. Is 4 a factor of h?
False
Let z(j) = 38*j**3 - j - 1. Let x be z(-1). Let v be (469/14)/((-1)/(-2)). Let s = v + x. Is 5 a factor of s?
False
Suppose -2*a + 7272 = -5*h, -2252 - 5020 = -2*a + 2*h. Is a a multiple of 17?
False
Suppose 17*h = 2*h. Suppose -8*l - 13*l + 1470 = h. Does 10 divide l?
True
Let u = -32089 + 53301. Is 161 a factor of u?
False
Let y(t) = -t**3 + 14*t**2 - 2*t - 8. Let r be y(14). Let m be 36*(-4 + r/(-8)). Is (-2)/(m/(-601)) - (-2)/9 a multiple of 16?
False
Let w be 3542/10 + 44/55. Suppose 4*x - 3*x = w. Suppose -4*p - 5*y = -x, -p + 451 = 4*p - y. Does 30 divide p?
True
Is 39/((-5643)/475 + 12) even?
False
Let w = 20853 - 13187. Does 9 divide w?
False
Let p(n) = -16*n**2 + 7*n - 1. Let q be p(-7). Let d = -422 - q. Let g = d - 200. Is 10 a factor of g?
False
Let y(x) = -x + 1. Let i(l) = -12 + 1653*l - 12 - 1595*l. Let r(h) = i(h) + 10*y(h). Does 26 divide r(3)?
True
Suppose 212*v - 257*v + 12600 = 0. Is v a multiple of 5?
True
Suppose -5*z + 3 = -m, 3*z - 4*m - m = 15. Let p be -1 - (0 + -201 + z). Suppose -a - 5*l - p = -6*a, -2*a = 5*l - 73. Is a a multiple of 4?
False
Suppose 3*v = -5*l, -4*l - l = 4*v. Suppose 4*z + 20 = v, 3*z = 59*g - 57*g - 547. Does 7 divide g?
True
Let s = 7 - -28. Suppose 121 = -6*h - s. Does 20 divide 3258/117 + (-4)/h?
False
Let p = 28640 - 19829. Is p a multiple of 112?
False
Let u(i) = 106*i**2 - 51*i - 374. Is u(-10) a multiple of 244?
True
Suppose -3*p - 15 = 4*v - 6*v, -2*v - 10 = 2*p. Suppose v = 5*r + 137 - 217. Is 4 a factor of r?
True
Let d = 56 - 53. Suppose 3*l + 12 = d, -3*m - 4*l + 1581 = 0. Is 61 a factor of m?
False
Let d = 11733 + -5435. Is 134 a factor of d?
True
Suppose -27*z - 6 = -30*z. Let v = -46 + 51. Suppose 0 = z*a - 13 + v. Is 4 a factor of a?
True
Let s(m) be the third derivative of m**4/24 + m**3/3 - 16*m**2. Let d(g) = -4*g - 10. Let z(b) = -3*d(b) - 14*s(b). Is 14 a factor of z(-13)?
True
Let a(d) = 3*d**2 + 5*d + 8. Let l be a(7). Let v = l - 131. Suppose -z + 3*j + v = -2*j, 3*z - 121 = j. Is z a multiple of 39?
True
Let i(f) = f**2 + 3*f - 23. Let k be i(5). Suppose 16*x - k*x = -25. Does 5 divide x?
True
Let z(v) = -v**2 + 12*v + 20. Let a be z(14). Let k be ((-9)/2)/(a/96). Suppose -5*b = -k + 9. Does 5 divide b?
False
Let l(h) be the second derivative of -2*h**3/3 - 23*h**2/2 + 29*h + 1. Let g(i) = -2*i**2 - 2*i. Let c be g(2). Does 6 divide l(c)?
False
Let d(k) = k**2 - 4*k - 7. Let i be d(-6). Let g = -23 - i. Let z = 126 + g. Is z a multiple of 10?
True
Suppose 40*g + 48*g - 26*g = 132928. Is g a multiple of 40?
False
Suppose -5*y + 10*l = 11*l - 53, -5*y = -2*l - 74. Let u(m) = 7*m**2 - 3*m + 1. Let b be u(5). Let p = y + b. Is 54 a factor of p?
False
Suppose 5*n - 3*k - 245 = -63, -5*n + k = -174. Suppose n*p + 1048 = 38*p. Is 24 a factor of p?
False
Let x = -936 + 428. Let v = 739 + x. Is v a multiple of 14?
False
Let q = 15 - 82. Let l = q - -67. Suppose l = -2*k - 10 + 154. Is k a multiple of 36?
True
Let y(n) = 16*n**2 + 10*n + 1. Let z be y(-2). Suppose -d = -z - 282. Is d a multiple of 18?
False
Suppose 2*m - 2 = -h, 5*h + 7 = -3*m + 38. Let q(p) = 12*p**2 - 3*p + 11. Let x(i) = 9*i**2 - 4*i + 11. Let w(a) = -2*q(a) + 3*x(a). Does 28 divide w(h)?
False
Let n(f) = 5*f**2 - 19*f + 6. Suppose 20 = -4*a, b - 5*b - 73 = 5*a. Let d be n(b). Suppose -d + 336 = -6*l. Does 15 divide l?
False
Let q(m) = -35*m + 651. Does 7 divide q(-31)?
True
Suppose 35 = 6*v + 11. Suppose -3*c + 20 = -t, 0*t + 28 = v*c - 2*t. Does 2 divide c?
True
Let x be (-14)/6*8/(-24)*-63. Let w = x + 70. Is 2 + (-36)/21 + 750/w a multiple of 3?
True
Suppose 8324 = 108*b - 104*b. Is 23 a factor of b?
False
Let q(h) = -1. Let m(d) = -12*d - 93. Let c(x) = -m(x) - 9*q(x). Is c(12) a multiple of 7?
False
Suppose 5*u + g + 28928 = 163773, 7*g + 35 = 0. Does 75 divide u?
False
Let y(r) be the first derivative of 28*r**3/3 - 2*r**2 - 12*r + 166. Is 32 a factor of y(4)?
False
Let r = -26 - -31. Suppose r*s + 3*p = 1097, 4*s - 301 = -5*p + 587. Does 30 divide s?
False
Let w(i) = -13*i - 3 + 2 + 4*i**2 + 1. Let v be w(-6). Suppose 5*k + 0*b = -b + v, 2*k + b - 87 = 0. Is k a multiple of 5?
True
Let m be (3 - (-7)/(-3))/(4/(-132)). Let d be 36 - 0/(-1 + 3). Let u = d + m. Does 7 divide u?
True
Let a = 6330 - 5980. Is 140 a factor of a?
False
Let s(r) = -r**2 - 8*r. Let z be s(-8). Suppose -4*a = 5*d - 1031, -3*d - 243 + 872 = 5*a. Suppose d = -z*m + m. Does 29 divide m?
True
Let q = -2323 + 1270. Let f = q - -1644. Is 18 a factor of f?
False
Let q be (20/4)/(-5)*4. Let r be q - (5 + -1 - 8). Does 28 divide 18 + -22 + (r - -256)?
True
Let j = 332 - 318. Is 13 a factor of j*6/(-12)*-52?
True
Let u be 16*(5 + 7 + -5 + -6). Suppose u*h + 6327 - 16311 = 0. Is h a multiple of 24?
True
Let m(u) be the first derivative of 5*u**2 - 28*u - 19. Let c be m(7). Suppose 0 = 4*w - 0*n + n - 140, 2*n = -w + c. Is 28 a factor of w?
False
Suppose 0 = -8*c + 2*c + 30. Let z be c/15 + ((-11)/(-3) - -1). Suppose -l - z*i = -0*l - 5, 3*i - 71 = -4*l. Does 10 divide l?
True
Let d = 4783 + -2762. Suppose 311 = -9*l + d. Is 8 a factor of l?
False
Let y be (2 + -14)*(-248)/6. Let s = -92 - -104. Is -1*(2/6 - y/s) a multiple of 5?
False
Suppose -15*g + 92 = -11*g. Let j(q) = -q**2 + 29*q - 9. Does 15 divide j(g)?
False
Suppose 32220 = 27*c - 223042 - 43736. Is c a multiple of 98?
True
Let j(q) = q**3 - 6*q**2 - 14*q - 4. Suppose 46 - 6 = 5*f. Let x be j(f). Suppose -x = 2*i + 4*h - 142, -45 = -i + 3*h. Is 18 a factor of i?
False
Suppose -21 = -2*t + 5*m, 3*t - 7*t = -m - 33. Let j be (1 - (-35)/(-14))/(6/t). Is 3 a factor of (0 - (-17 - j))/1?
True
Let u = 34 - 31. Let o be 1/((u - -2)/(-15)). Is o*-15*4/9 a multiple of 20?
True
Let d(t) = -9*t**3 - 32707*t + 32703*t - 2*t**2 - 12 - 2*t**2. Is d(-3) a multiple of 23?
True
Let s(p) = p**3 + 6*p**2 - 20*p + 8. Suppose -4*v + 2*z + 32 = 0, -5*v + 4*z + 15 = -28. Suppose -v*j + 3*j - 28 = 0. Is s(j) a multiple of 22?
False
Let t = 2 - 3. Is (t - -136)*(-28)/(-84) a multiple of 10?
False
Suppose -6211 = -5*s - 1611. Suppose -h = 7*h - s. Let c = h - 69. Is c a multiple of 9?
False
Let t(z) = 28*z**3 + 32*z**2 + 5*z - 12. Is t(4) a multiple of 76?
False
Suppose 0 = -18*b + 26*b + 336. Let x be b - 0*((-4)/4)/(-1). Is 14 a factor of (-2742)/x - (-4)/(-14)?
False
Let i(r) = 5*r**2 + 496*r + 32. Is i(20) a multiple of 24?
True
Suppose -2*p - 5*p + 70 = 0. Let h(v) = -v**3 + 14*v**2 + v + 30. Does 33 divide h(p)?
False
Let v(p) = -p**3 + 10*p**2 - 10*p + 14. Let y be 39/3 + 4/(-1)*1. Let s be v(y). Suppose -s*b + 385 = -5*i, -8*i = -3*i + 10. Is b a multiple of 38?
False
Let u be 6/(-21) + 6/21. Suppose -5*k - 9 = 2*q, -10 = -3*q + 2*k + 5. Suppose -x + 4*x - 90 = -o, -q*o + 2*x + 215 = u. Is 15 a factor of o?
True
Let v = -82 - -102. Suppose -25*f + v*f = -10. Suppose 3*d + 41 = f*g, 0 = 6*g - 2*g + 2*d - 106. Is g a multiple of 13?
False
Let m be 3 + -7 - ((-4)/1 - 0). Does 10 divide (m - -2)*(9 + 21)?
True
Let a(k) = -60*k + 40. Let p be (-3 - -1)*-1 - 16. Is 40 a factor of a(p)?
True
Let p(u) be the second derivative of -u**4/4 - u**3/6 + 2*u**2 - 25*u. Let o be p(3). Is (-4)/o + (440/13 - -2) a multiple of 6?
True
Suppose -71*n = -87*n + 80. Suppose 385 = -m + 6*m. Suppose 4*u + n*f = m, -2*f + 4*f = -3*u + 49. Is 4 a factor of u?
False
Suppose 0 = 2*p + 152 + 58. Let h = 95 + p. Is 8/(-3)*45/h a multiple of 3?
True
Suppose 551*g - 51940 = 523*g. Is g a multiple of 35?
True
Suppose 26 = 4*l - b, -5*l + 5*b + 9 + 16 = 0. Suppose -5*t = 2*o - 18, 5*t + 4*o = -0 + 16. Let n = l + t. Is n a multiple of 5?
False
Suppose 0 = 4*w + 5*y + 592 - 8, 