/(-52) - -15))?
False
Let z(m) be the second derivative of 23*m**3/6 + 99*m**2 + 58*m. Is 17 a factor of z(13)?
False
Let k(j) = -2*j + 48. Let u be k(20). Suppose 0 = -u*n + 3*n + 360. Is 35 a factor of n?
False
Let o(i) = 6*i**2 + 2*i - 204. Does 26 divide o(-16)?
True
Let p(f) = -f**2 - 28*f - 336. Let x be p(-54). Let r = -1234 - x. Is 11 a factor of r?
True
Suppose -420249 - 484058 = -64*f - 284147. Is 15 a factor of f?
True
Is 186/124*(52608/9)/2 a multiple of 32?
True
Let u be (2 - (87 - 4))/(6/(-32)). Suppose -423*l - 2628 = -u*l. Does 21 divide l?
False
Let m(h) = 15337*h**2 + 13*h + 55. Let k be m(-4). Is 45 a factor of k/595 - 2/(14/3)?
False
Let s(a) = 732*a - 4036. Does 14 divide s(22)?
True
Let w = -8090 - -8888. Does 6 divide w?
True
Does 7 divide 156 + 120/(-8) + 9?
False
Suppose -2*c + 18904 = 3*p, 5*p - 3*c - 31513 = -0*p. Is p a multiple of 61?
False
Suppose v + 279 = -c, -c = -2*v - 790 + 217. Let q be -1 - -4 - (-210)/14. Does 10 divide v/(-14) - (q/14 - 1)?
True
Suppose 0 = 2*t - 1484 - 6. Let w be 6/(-2) - 0/5 - -6. Suppose -w*i + 2*z = -4*i + 251, 2*z = -3*i + t. Is i a multiple of 13?
True
Let c = 10455 - -4571. Is c a multiple of 14?
False
Suppose 0 = -4*y, -440 = -5*a - 2*y + 7385. Suppose 7*h - 3*h + a = -5*c, -2*h = 0. Let r = 511 + c. Is 18 a factor of r?
True
Let z = -93 - 107. Suppose -4*v - t = 564, -4*v - 568 = 4*t - 2*t. Let r = v - z. Is 12 a factor of r?
True
Suppose -7 = -5*n + 23. Suppose 3*x + n*x = 27. Suppose 4*d - 5*w + x*w - 288 = 0, -3*d = 4*w - 238. Is 37 a factor of d?
True
Suppose -4*g + 12 = 0, -4*s + 20711 + 14422 = -g. Is 183 a factor of s?
True
Let y = -4 - -6. Suppose y*a - 4 = 2*k, 0 = a + 3*a + 2*k - 26. Suppose 3*n - a*n + 3*s + 127 = 0, 0 = -3*n - 2*s + 171. Is n a multiple of 18?
False
Suppose 3*o - f = 2, 4*f + 6 = f. Suppose 2*t = -5*j + 30, 3*t = t + 4*j - 6. Suppose 3*l + 189 = 2*i + 2*l, t*l + 5 = o. Does 35 divide i?
False
Suppose 14*p - 1 - 27 = 0. Let u = -6 + 10. Suppose -u*n = 4*k - 140, n + p*k - 45 = -k. Is 6 a factor of n?
True
Suppose 3*x - 3*o = -41631 + 131622, 4*x - 3*o - 119984 = 0. Is 89 a factor of x?
True
Let v = -7380 + 14786. Does 98 divide v?
False
Let n(t) = 2*t - 6. Let m be n(5). Suppose r + m = -0*r. Let d = r - -7. Is 2 a factor of d?
False
Let j(r) = -266*r - 893. Is 19 a factor of j(-7)?
True
Let l(j) = 17*j - 21. Let p(a) = -18*a + 22. Let u(i) = -4*l(i) - 5*p(i). Is 18 a factor of u(2)?
True
Let l = -13462 - -8918. Let o be 4/30 - l/120. Suppose -o = -6*k + 10. Is 8 a factor of k?
True
Let b(v) be the first derivative of v**4 - 13*v**3/3 - v**2 - 73*v + 233. Is 82 a factor of b(8)?
False
Suppose 0 = -2*b + 3*t + 8364, -2*t = b - 1055 - 3113. Is b a multiple of 116?
True
Suppose 17 = -2*f + 55. Suppose 9*u + f*u = 10080. Does 12 divide u?
True
Is (11 - 12)*-9783 + 17 a multiple of 140?
True
Let k(r) = 2659*r - 1119. Is k(4) a multiple of 34?
False
Let a(j) = 12*j**3 + 2*j**2 - j. Let z be a(1). Suppose -z*m = -8*m + 270. Does 12 divide 218/9 + 12/m?
True
Let w be (-5 - (-13)/3)/(2/(-45)). Suppose -4*z + w = 3*o, 3*z + 5 = o + 7*z. Suppose 0*y = -5*y - 2*b + 165, -b = o. Is y a multiple of 15?
False
Suppose -q + 3418 = 3*q + 2*v, v = -1. Is q a multiple of 19?
True
Let r(i) = -14*i**3 + 17*i**2 + 148*i + 24. Is 44 a factor of r(-6)?
True
Suppose -56*f + 52*f = -3*l + 981, -4*f - 1304 = -4*l. Is l a multiple of 21?
False
Let s = 30 - 25. Let x(y) = 8 + s - 15*y - 30*y - 2. Does 16 divide x(-3)?
False
Suppose 0 = 3*z - 3666 - 1950. Is 39 a factor of z?
True
Suppose 3*x - 5*x + 11060 = 4*t, 3*t + 2*x = 8294. Is 40 a factor of t?
False
Suppose -7*b + 35 = -0*b. Suppose 3*h + b*c - 639 = 0, -3*h + 7*h + 2*c = 838. Is 26 a factor of h?
True
Is 125 a factor of 545/(16/(-1200)*-3)?
True
Suppose 0 = -0*r - 20*r - 10*r + 441750. Is 25 a factor of r?
True
Suppose -11*h = -8040 + 2650. Suppose h = 7*c - 28. Is 23 a factor of c?
False
Let f(h) = 4*h + 10. Suppose 0 = 2*z, 4*t - 2*t - 5*z + 42 = 0. Let w be (4/(-3))/(7/t). Does 13 divide f(w)?
True
Suppose 5*k - 4*p = -94, -2*p = -3*k - 24 - 32. Does 9 divide (-3146)/k - (-24)/(-324)*-3?
False
Let r be 5/(-3)*6/(-5). Suppose r*p + 4*v = 156, -4*p + 7*p = -v + 209. Let f = p + -19. Is 12 a factor of f?
False
Suppose v = q + 44237, -246*v + 250*v - 176920 = -3*q. Does 218 divide v?
False
Let l(b) be the second derivative of -73*b**4/12 + b**2/2 - 11*b. Let p be l(-1). Does 9 divide p/(-10)*45/6?
True
Let n be (2568/60)/((-4)/(-10)). Is n/2 - (-11)/22 a multiple of 7?
False
Does 48 divide (20/(-75)*6)/(1/7380*-1)?
True
Suppose -17*q - 5*i + 5780 = -12*q, 0 = -4*q - 5*i + 4621. Is q a multiple of 24?
False
Let t(d) = -53*d + 2948. Is t(-60) a multiple of 4?
True
Suppose -p + 6*a + 172 = 2*a, a + 472 = 3*p. Does 12 divide p?
True
Let d be -8 - (4 + -6) - -2. Suppose -2*u - 3*k + 52 = k, 3*u + 4*k = 72. Does 2 divide -15*(-2)/d*u/(-30)?
False
Suppose -19*m + 432 - 90 = 0. Let z(h) = 7*h - 39. Is z(m) a multiple of 8?
False
Is (-3)/(-4)*950752/146 a multiple of 8?
False
Let c(u) = 3*u**3 + 2*u**2 - 4*u + 1. Suppose 2 = -5*z + 12. Does 25 divide c(z)?
True
Let z = -884 + 1294. Is -21*((-10)/(-105) - z/42) a multiple of 23?
False
Let l(u) = u - 1. Let m(w) = 30*w - 172. Let t(j) = l(j) - m(j). Does 16 divide t(-7)?
False
Suppose -2*l = -53*l + 8670. Let u = l + 300. Is u a multiple of 5?
True
Let t(r) = -r**2 + 15*r + 5. Let g = 47 - 42. Let x be t(g). Does 21 divide (-4)/6*(4 - x)?
False
Let v(i) = i. Let z(g) = -11*g + 5. Let k(r) = 12*v(r) + 4*z(r). Let p be k(-5). Suppose -5*b = -o - p - 1, -2*o - 110 = -3*b. Is 4 a factor of b?
True
Let h be (2 - -3) + (-10)/6*3. Suppose -u + 520 - 180 = h. Is u a multiple of 17?
True
Does 3 divide ((-10158)/24 + 2/8)/((-188)/564)?
True
Let u = -1831 - -1865. Does 5 divide u?
False
Suppose g + 1 = -2. Let s be (0/g)/(9/(-3)). Suppose s = -12*x + 7*x + 255. Is x a multiple of 6?
False
Let p = 67 + -67. Let c = 144 - 235. Let b = p - c. Is b a multiple of 7?
True
Suppose -4*x = -5*f - 28245, -4865*x - 28259 = -4869*x + 3*f. Does 3 divide x?
False
Let o(w) = 36*w + 117. Let j be o(-3). Does 44 divide (27/j - -5) + 806?
False
Suppose -88*g + 7*g + 8100 = 0. Let c(l) = -4*l - 7. Let m be c(-5). Suppose -g = 8*f - m*f. Is 3 a factor of f?
False
Let u = -50 - 76. Let g = 294 + u. Is g a multiple of 12?
True
Let f(r) be the third derivative of r**5/20 - 17*r**4/12 + 5*r**3/6 + 8*r**2. Let j be f(13). Suppose -5*l + 91 = 3*n - 13, -4*l = 2*n - j. Does 6 divide n?
False
Let o(g) = -g**3 - 12*g**2 - 9*g - 4. Let k be o(-8). Let j be ((-3)/6)/((-2)/k). Let d = -15 - j. Does 8 divide d?
True
Suppose -4*s + 3*q = -271, -4*s = 2*q - 0*q - 246. Suppose 0 = -l - v + 9, -2*v = 5*l - 3 - 36. Suppose -s = -9*o + l*o. Does 5 divide o?
False
Let q(b) = 120*b**2 - 6*b - 1. Let p(y) = 61*y**2 - 3*y. Let r(d) = -5*p(d) + 3*q(d). Suppose -g + 5 = -k, g = 2*k + 9 - 2. Does 24 divide r(k)?
False
Let w(t) = 9*t - 23. Let q be w(3). Suppose 4*r - 1496 = -q*f, 0 = -2*r - 2*r + 5*f + 1505. Is r a multiple of 22?
False
Suppose -1150651 + 335331 = 61*s - 146*s. Does 8 divide s?
True
Let h = -575 - -173. Let s = h - -573. Is s a multiple of 5?
False
Let w(p) = 25*p - 41. Let m(b) = 25*b - 40. Let d(q) = -5*m(q) + 6*w(q). Does 2 divide d(4)?
True
Is ((-156)/5)/(4/(-8)*(-8)/(-460)) a multiple of 36?
False
Suppose 0 = -2*t - 3*d + 19 - 0, t - 3*d + 4 = 0. Suppose 3*c + t*q - 2*q = 1011, 5*c = 3*q + 1677. Is 21 a factor of c?
True
Let y be -2*(-3)/12*(-41 + -1). Let d(s) = 2*s + 48. Let x be d(y). Let o(q) = 3*q**2 - 9. Does 33 divide o(x)?
True
Suppose -17*u = -4*j - 18*u + 22, -2*j = 3*u - 26. Let i(m) = 6*m**2 - 1. Let c be i(2). Suppose -c = j*r - 111. Is 2 a factor of r?
True
Suppose 7*t - 12 = 37. Suppose 4*b - 4 = 0, 2*u = t*b - 9*b + 1598. Is u a multiple of 38?
True
Let h be (-750)/(-2 + (-40)/(-25)). Suppose 0*b - 5*b = -h. Does 15 divide b?
True
Let x(m) be the third derivative of -m**6/120 - m**5/12 + m**4/24 + 4*m**3/3 + 14*m**2. Let f be x(-5). Is 57 + f/(-2)*2 a multiple of 27?
True
Let u be (-5 - (-40)/4) + 0. Suppose -2*w = 3*s - 628, -1040 = -u*s - 4*w - w. Is 4 a factor of s?
True
Suppose -778*b = -776*b - 8. Suppose -540 - 516 = -b*o. Does 33 divide o?
True
Let w(a) = 5*a**2 - 3*a + 9. Let g be (-6)/21 -