(r) be the second derivative of -3*r**3 + 1/6*r**4 + 14*r + 4*r**2 + 0. Is z(13) a multiple of 16?
True
Let i = -110 - -128. Suppose i*z - 115 = 641. Does 6 divide z?
True
Suppose 2002 = 26*u + 1820. Suppose s - 2 = 1. Suppose -u = -p - l, -l = -5*p + 26 + s. Is 2 a factor of p?
True
Suppose 0 = -4*x - 3 + 15, -4*q + 6977 = -5*x. Is q a multiple of 4?
True
Let m be 240/115 - 12/138. Is 73 a factor of (-68)/156*-1227 + m/13?
False
Let o be (1 + -3)*3 - -959. Let z = o - 652. Does 43 divide z?
True
Suppose -17 - 125 = -2*x. Let v be ((-146)/(-8))/((-3)/(-12)). Let c = v + x. Is c a multiple of 20?
False
Let g(f) = f**2 + 1. Let n be g(1). Suppose -7*q + 3*q + 16 = 4*b, n*b = q - 1. Suppose w = -4*a + 134, -2*a - q*a = 20. Does 14 divide w?
False
Suppose -22*o + 9470 = -20*o + 2*a, -2*a = -o + 4750. Is o a multiple of 63?
False
Suppose 0 = -12*o + 10*o + 2*m + 106, -5*o + 267 = -4*m. Let n = 29 + 63. Let q = n - o. Is 6 a factor of q?
False
Let q(k) be the third derivative of k**6/120 + k**5/4 - 11*k**4/8 + 7*k**3 + 36*k**2. Is 10 a factor of q(-17)?
False
Let t be 2/(-5) - (-9)/(-15) - -1. Suppose t = 3*q - q - 3*v - 325, 5*v - 15 = 0. Suppose -q = -6*h + 289. Does 19 divide h?
True
Suppose -r - 4*h = -11278, -r - 27*h + 29*h + 11290 = 0. Is 9 a factor of r?
True
Let k(h) = -h**3 + 30*h**2 - 106*h + 27. Is 30 a factor of k(21)?
True
Let f(z) be the third derivative of -z**5/40 + 3*z**4/4 - 5*z**3/3 - 22*z**2. Let q(p) be the first derivative of f(p). Does 23 divide q(-17)?
True
Does 21 divide -13 + -860*11/(-4)?
True
Suppose -21*j = -33573 - 219099. Does 32 divide j?
True
Let l(d) = 6*d**2 + 88*d + 3193. Does 87 divide l(-49)?
False
Let p = -19 + 21. Suppose r = 2*s - 6, -5*r + 4*r = -s + p. Suppose 0*c - 308 = -2*c - s*o, 5*c - 770 = -2*o. Does 14 divide c?
True
Let k(z) = -z**3 + 3*z**2 - z - 6. Let d be k(3). Let b(l) = -4*l - 29. Let u be b(d). Is (u - 4)/((-5)/(-60)) a multiple of 4?
True
Is -5 + (-42 + 1)/(17/(-10540)) a multiple of 17?
True
Let x be -130 + (-2 + -1)*(-5)/3. Let j = x + 322. Does 35 divide j?
False
Suppose 3*g + 14716 = -49*d + 54*d, 3*g = 3*d - 8826. Suppose -999 - d = -8*q. Is q a multiple of 17?
True
Let u = -76 - -76. Suppose 4*h + 10 - 26 = 4*j, 5*h + j = 20. Suppose 5*n - 10 = 0, u*n - h*n - 692 = -4*q. Does 25 divide q?
True
Let l(i) = -7 + 2*i + 0*i + 11 - 24. Let a be l(10). Suppose a = -4*r - 2 + 442. Is r a multiple of 22?
True
Let h(v) = 284*v**2 + 7*v - 1. Let y be h(-1). Suppose -27*a - y = -29*a. Is 3 a factor of a?
True
Let p(h) = h**3 - 13*h**2 + 31*h + 1. Let w be p(10). Let q(m) be the second derivative of -m**5/20 + m**4 - 5*m**3/6 - 9*m**2/2 + 4*m. Is 19 a factor of q(w)?
True
Suppose 0 = 6*c - 22 - 2. Let k be (-6)/c*80/(-24). Is 8 a factor of 44/k*(-30)/(-12)?
False
Let t = 70 + -63. Suppose -3*p = 3*m - 267, -351 = -t*m + 3*m - 3*p. Is m a multiple of 12?
True
Let n be (-4 - 77/(-21)) + 314/(-3). Let a = -101 - n. Suppose 0 = -a*c + 861 + 503. Is c a multiple of 44?
False
Suppose 30*k + 5*b = 34*k - 156, 0 = k - 2*b - 36. Is k a multiple of 3?
False
Let y(q) = q**3 + 3*q + 717. Let s be y(0). Suppose 2*k - s = 531. Is k a multiple of 12?
True
Let y(q) be the first derivative of -5*q**4/12 - 10*q**3/3 + 6*q**2 + 13. Let c(f) be the second derivative of y(f). Is c(-9) a multiple of 20?
False
Let m = -3974 - -4403. Is m a multiple of 14?
False
Let p(x) = 2*x**2 - 113*x + 4986. Is p(0) a multiple of 9?
True
Let c(u) = u**3 + 5*u**2 + 5*u + 7. Let o be c(-4). Let z be 3/9 - 7/o - -50. Suppose -z = -4*i + 32. Is i a multiple of 10?
True
Let w = -461 + 201. Let s = -172 - w. Is 29 a factor of s?
False
Suppose -2*j + 67 = -143. Let x = j + -15. Does 18 divide x?
True
Let i = 40 + 1. Let v = i - 36. Suppose 44 = -v*k + 7*k. Is 11 a factor of k?
True
Suppose -2*f = 3*f - 1000. Let r be (-9)/81*-9*5. Suppose -r*v = 2*o - 21 - 103, 3*o - f = -4*v. Does 24 divide o?
True
Suppose 0 = -3*q + 148 - 106. Does 9 divide 16/(-56) - (-17630)/q?
False
Suppose 19*j - 29*j + 2610 = 0. Does 38 divide j?
False
Let a = 60 - 36. Suppose a = s - 7*s. Is 10 a factor of (42/s)/(1*4/(-8))?
False
Let v(q) = -3394*q - 648. Is 42 a factor of v(-3)?
True
Let t(r) = 132*r**2 - 19*r - 10. Is t(-4) a multiple of 6?
True
Let a be (128/(-10))/((-396)/(-40) + -10). Suppose -2*x + 4*f + 550 = 0, -x - 2*f = -395 + a. Is 8 a factor of x?
False
Let m(t) = -2*t - 43. Suppose 5*b + 20 = 0, s = -5*b + 4*b - 26. Let a be m(s). Does 12 divide 16/(2/(-3) + a)?
True
Let y(z) = 49*z**2 - 152*z + 2787. Is y(21) a multiple of 31?
True
Suppose -59*n + 31*n = -39*n + 52602. Is 3 a factor of n?
True
Suppose -2295 = -3*n + 12*n. Let j = 182 + n. Let w = -47 - j. Does 26 divide w?
True
Let w = -7814 - -25068. Is 222 a factor of w?
False
Let p(r) = -r**3 - 11*r**2 - 11*r - 12. Suppose 55 = -6*c - 5. Let v be p(c). Does 10 divide -6 + 47 + 0/(6/v)?
False
Suppose 732*l + 202202 = 745*l. Is 77 a factor of l?
True
Suppose 12876 = -5964*u + 5927*u. Let s be 2/6 - 451/3. Let m = s - u. Is m a multiple of 9?
True
Suppose 0 = -3*c + 3*t + 4740, -4*c = -19*t + 21*t - 6290. Does 15 divide c?
True
Suppose -765858 = -59*n + 411296 - 361243. Is n a multiple of 211?
False
Let r be 740/35 + 0 + 3*4/(-84). Let n(v) = 27 - 2*v**3 + 22*v**2 + 2*v + v**3 - 23*v. Is 10 a factor of n(r)?
False
Let d(m) = m**2 + m - 38. Suppose -4*n - 72 = -7*n. Suppose -63 = -5*v + a, -v + 3*a + a = -n. Is d(v) a multiple of 7?
False
Let i be ((-1)/(-3)*3)/(8/40). Suppose -3*j + 913 = 3*q + 2*j, -1509 = -i*q - 2*j. Does 38 divide q?
False
Let u be (8/(-10) - 18/(-10)) + 49. Let s = u + -56. Is 9 a factor of -4 + (-2)/(1/(309/s))?
True
Suppose 9243 = 5*r + h, 0 = -3*h + 6*h + 6. Does 129 divide r?
False
Suppose 80 = -3*n + 3*w + w, -2*n + 3*w = 52. Let u = 34 + n. Is 3 a factor of -2 + -1*64/(-2) - u?
False
Suppose 48*a + 142 = 49*a + 3*k, 5*a = -3*k + 662. Suppose 2*j = 5*j + 201. Let r = a + j. Does 21 divide r?
True
Let d be (-234475)/(-339)*(-6)/(-2). Suppose -5*u = 3*y - 10*u - 2183, -2*y = 5*u - 1497. Suppose 13*b = d - y. Is b a multiple of 15?
False
Let o = 5548 + -2346. Is 92 a factor of o?
False
Let p be 19/7 - 4/(-56)*4. Suppose 0 = 4*o - 5*o - 3, 0 = 5*n - p*o - 229. Does 11 divide n?
True
Let v be ((-4)/(-5))/((-12)/(-90)). Suppose 2 = l - v. Let y(g) = g**2 + 3*g - 4. Does 10 divide y(l)?
False
Let r(d) = -6*d**3 - 9*d**2 - 19*d - 38. Let x(k) = k**3 - 20*k**2 - 37*k - 161. Let z be x(22). Does 21 divide r(z)?
False
Let r(k) = 3*k**2 + 200*k + 1812. Is 17 a factor of r(-76)?
False
Suppose -5*i - 30 = -4*a, 25 = -i - 2*i + a. Does 27 divide ((-88)/i + 2)*5405/94?
True
Suppose 2094*a - 2095*a + 12678 = 4*p, -15816 = -5*p + 4*a. Does 8 divide p?
True
Let b be 14480/(-6)*30/(-20). Suppose 56*l = -b + 52900. Is l a multiple of 22?
True
Suppose 24254 = 3*y + 5*z, 7*y = 6*y - z + 8090. Is y a multiple of 11?
False
Let m(b) = -b**2 - 13*b - 18. Let y be m(-9). Let o be -1 - (27/y + 6/4). Does 14 divide 14/3*(5 + (-76)/o)?
True
Let d(a) be the first derivative of -5*a**3/3 - 13*a**2/2 + 4*a + 45. Let u be d(-3). Is 34 a factor of (-1743)/(-7) - (1*-2 + u)?
False
Let c = -121 - -125. Let k be 91/14 + 1/(-2) - c. Suppose -k*i = -j + 22, -2*j + 52 = 6*i - 2*i. Is 18 a factor of j?
False
Let y(h) = -10*h**3 - 14*h**2 + 31*h + 129. Is 52 a factor of y(-15)?
True
Let i be ((-6)/4)/(6/32). Let r(w) = -7*w - 52. Let n be r(i). Let f(s) = s**2 - 2*s + 2. Is 10 a factor of f(n)?
True
Suppose 175*y + 162456 = 801906. Is 42 a factor of y?
True
Suppose 4*h + 14 = 22. Suppose 0 = -5*o - 0*o + 20. Suppose -h*l = 5*z - 221, -z - o*l = l - 58. Is z a multiple of 31?
False
Suppose 5*j - 5*o = -2*o - 40, 5*j = 2*o - 40. Let s(w) = 9 - w - 22*w**2 - 3 - w**3 + 8*w**2 + 7*w**2. Does 10 divide s(j)?
False
Let d(o) = -183*o**3 - 2*o**2 - 13*o - 22. Is 4 a factor of d(-2)?
True
Suppose -39*o = -48*o - 378. Let k = -17 - o. Does 5 divide k?
True
Suppose 4117680 = -163*x + 211*x. Is 15 a factor of x?
True
Suppose 5*m - 2*m + j - 806 = 0, -5*m = j - 1346. Suppose -4*y - m = -9*y. Is 18 a factor of y?
True
Let a = -2988 - -4385. Suppose 0 = 4*o - a + 345. Does 12 divide o?
False
Let t(n) = -n**2 - 12*n - 24. Let g be t(-9). Suppose 8 = -2*r - 5*h, -g*h = 2*r + r + 3. Let a = 122 + r. Is 19 a factor of a?
False
Suppo