2*n + 80. Let u(h) = 5*h**2 + 6*h - 7. Let m be u(-5). Let b = m - n. Is 42 a factor of b?
True
Let i(x) = -139*x + 63. Let r be i(7). Is 24 a factor of (r/30)/((-3)/45)?
False
Let q be (12/10)/((-6)/100). Suppose -p - 2*l - 45 = -11, 2*p + 65 = -3*l. Let n = q - p. Does 4 divide n?
True
Let r be 3 + 126 + 20/5. Let t = r - 122. Is t even?
False
Let b = 763 - 389. Let u be 15/(-9) - (-15)/9. Suppose u = -5*d + b + 291. Is d a multiple of 20?
False
Let n = 5573 + 1520. Does 26 divide n?
False
Let n(a) = 8*a + 181. Let v be n(-16). Is v - (5 + 5)/5*-1 a multiple of 5?
True
Suppose 4*x = 3*x + 2. Let v = -146 + 226. Is 20 a factor of v/2 - (x - -2)?
False
Let w be ((-1)/2)/((-15)/29820). Let g = 14 + w. Does 36 divide g?
True
Suppose -6 = 5*t - 2*y - 14, 5*y + 20 = -t. Is 14 a factor of (0 + t + -1489)/(7/(-7))?
False
Does 4 divide 21*(-1*1)/(168/(-224))?
True
Let v(i) = -175*i - 396. Is 8 a factor of v(-12)?
True
Let o(h) = -164*h**3 - h**2 + 12*h + 12. Let r = 138 - 139. Is o(r) a multiple of 3?
False
Suppose -89*m + 6307 = -82*m. Is 53 a factor of m?
True
Let g = 337 - 335. Is 55 a factor of 1 + -1 + g + -6 + 518?
False
Suppose 5*d - 9*d = 444. Let u = d + 114. Is u a multiple of 2?
False
Suppose 0 = -4*w + 15 + 1. Suppose -14 = -5*b - w. Suppose 4*g + 518 = 5*y, -b*y + 0*y + 2*g = -208. Is 22 a factor of y?
False
Let h(i) = 38*i**2 - 11*i - 782. Does 47 divide h(-17)?
True
Let u = 470 - 465. Suppose u*o - 2*o - 4*x = 1375, 5*x - 2315 = -5*o. Is o a multiple of 12?
False
Let l = 8641 + -8507. Does 18 divide l?
False
Let f = -23 - -14. Suppose -6*v = -17*v + 165. Is 6 a factor of (-1 + (v/f - -2))*-54?
True
Let l(k) be the first derivative of k**2 + 34*k + 2. Let o = -562 - -566. Is l(o) a multiple of 22?
False
Let k(z) = -z**3 - 3*z**2 + 12*z + 9. Let x be k(-5). Is 224/(-21)*(3 - (-51)/x) a multiple of 24?
False
Let f(v) = 2*v**2 - 8089 - v**2 + 8092. Is 4 a factor of f(11)?
True
Suppose 0 = 326*t - 193*t - 438900. Is 30 a factor of t?
True
Let f(m) = 19*m - 35. Let y be (0/(-2))/(-1) + 6 + 4. Suppose 2*c = -y + 20. Is f(c) a multiple of 20?
True
Let v be -28*(-10)/40*8/(-84)*-3. Let o(k) = -476*k + 19. Let z(f) = -95*f + 4. Let p(i) = 2*o(i) - 11*z(i). Is 30 a factor of p(v)?
True
Suppose 4*s - 6054 = 4*q - 1130, 0 = 3*q - 12. Suppose -29*u = s - 13212. Is 46 a factor of u?
False
Is 13 a factor of (286 - -11890) + (1 - 16)?
False
Let k be (-10 + 65)/5*-1. Let o(h) = -2*h**3 + 10*h**2 - 21*h + 2. Let t(s) = -3*s**3 + 20*s**2 - 41*s + 3. Let a(u) = -5*o(u) + 3*t(u). Is 19 a factor of a(k)?
True
Let x(t) = -83*t**3 + t**2 + 8*t + 17. Is 69 a factor of x(-4)?
True
Let p = 185 - 150. Let r = 98 + p. Is r a multiple of 19?
True
Let b be 3/(-2)*(0 - -2). Let h be (2 + 0)*(120/105 + (-12)/(-14)). Does 7 divide 406/4 - b - h/(-8)?
True
Let k(z) = -4*z**2 - 7*z - 10 + 29 + z**3 - 5*z. Let i(f) = -12*f + 583. Let l be i(48). Is k(l) a multiple of 26?
False
Suppose 126*h - 399300 - 360606 = 0. Does 15 divide h?
False
Let w(v) = 150*v - 11. Let x be w(2). Suppose 0 = 4*y - h - 1096, -y + 5*h + x = 34. Is y a multiple of 40?
False
Suppose 2*a = 4*t + 384, 3*a + t - 397 = 151. Let q = 356 - a. Is q a multiple of 43?
True
Let o = -779 - -1019. Does 15 divide o?
True
Suppose -2*o + 45 = 4*t - 171, -4*o = -t + 72. Let p = t - -7. Is 2 a factor of p?
False
Let p(t) = t**3 - 15*t**2 + 29*t + 71. Suppose -15*v - 378 = -42*v. Does 20 divide p(v)?
False
Suppose -2*p + 63 = 3*g, -4*p + 17 = 4*g - 71. Does 3 divide (24 - g)*(0 - -3)?
True
Let i(u) be the first derivative of 67*u**5/120 + 5*u**4/24 - 12*u**3 - 20. Let k(p) be the third derivative of i(p). Is 9 a factor of k(1)?
True
Let n(l) = 2*l**2 + 19*l + 6. Let q be n(-13). Suppose 93*v - q*v = -1584. Does 22 divide v?
True
Let c(j) = j**3 + j**2 - 567*j + 37. Is 5 a factor of c(-24)?
False
Let w(g) be the third derivative of 3*g**6/4 - g**5/15 + 5*g**4/24 - g**3/6 - 69*g**2. Does 5 divide w(1)?
True
Let k be -2*(4 + -5) + 50. Let h be -5*(-4 - k/2). Suppose b + 4*n - 27 = h, 0 = 2*b - 3*n - 343. Does 8 divide b?
False
Suppose -18*y = -15*y - 1416. Suppose 0 = -2*c + 3*v + 244, 0*c + 2*v + y = 4*c. Let p = c - -26. Does 20 divide p?
False
Let r(s) = 6*s**2 + 6*s + 19. Let u be r(-8). Suppose 1876 = 3*p + u. Suppose -5*f = -3*v - p, -2*f + 3*v + 200 = -v. Is 17 a factor of f?
True
Let x = -3917 - -4157. Is 20 a factor of x?
True
Let l = 294 - 292. Suppose -3*t + 30 = -3*h - 309, -3*h = l*t - 241. Is t a multiple of 3?
False
Let a(q) be the second derivative of q**4/6 + q**3/2 + 6*q**2 - 29*q. Does 7 divide a(-10)?
True
Let g = -4 + 17. Suppose -3*a + g = 4. Suppose -a*s + 61 = 2*q - q, 5*q - 337 = s. Is q a multiple of 17?
False
Let b(f) = -18*f**3 + f**2 + 6*f + 28. Let u(l) = 9*l**3 - l**2 - 3*l - 14. Let n(a) = 3*b(a) + 5*u(a). Is 9 a factor of n(-2)?
True
Suppose 3*a + 7121 = 18668. Is a a multiple of 15?
False
Let z be ((-33)/(-3) - 4) + -3. Suppose -z*j + 2*j = 3*j. Suppose 6*d - 226 - 350 = j. Is 16 a factor of d?
True
Let g = -18286 - -36434. Does 13 divide g?
True
Suppose 3 = 6*b - 9. Suppose 8*v = b*v. Suppose 93 = a - v*a + 3*f, 2*f + 170 = 2*a. Is a a multiple of 29?
True
Is 4 a factor of (-16 + 160/(-48))*-4*21?
True
Does 64 divide (294/189 - 21270/(-27))*(-39)/(-4)?
False
Let k(t) = -t**3 - 2*t**2 + 15*t - 3. Let r be k(3). Let x(i) = -18*i**3 + i**2 + 5*i + 9. Is x(r) a multiple of 39?
False
Let q = -119 - -123. Let r(f) = 9*f**2 - 13*f - 3. Let p be r(q). Let w = p + -29. Does 10 divide w?
True
Suppose 8*b - 91706 = -b + 75748. Is b a multiple of 13?
False
Let u = 2346 - -2822. Does 8 divide u?
True
Let j be 3 + -2 + 0 + 22. Let c = j + -21. Suppose 6*q = c*q + 44. Is q a multiple of 5?
False
Let a be (1872/(-168))/((-1)/(-14)). Let c = a + 219. Is c a multiple of 9?
True
Let g be (-7)/21*(1 - -2). Let t be -2*(-2)/(-4) + (-6)/g. Suppose t*v - 222 = 18. Does 8 divide v?
True
Suppose 4*i - 4*n + 28 = 0, -4*i + 0*n - 32 = -2*n. Let d(m) = 6*m**2 + 4*m + 33. Is d(i) a multiple of 23?
True
Suppose -2*a = 2*t + 10, -2*t - 5*a = -6*t - 38. Does 8 divide t/42 + (-1231)/(-6)?
False
Let v = 737 - 454. Let t = v + -245. Is t a multiple of 10?
False
Let w(s) = -22*s + 400. Let b be w(19). Let g(l) = -l**3 - 17*l**2 + l + 30. Is g(b) a multiple of 12?
True
Suppose -3*o - 5*t = -19, 13*o - 9*o - 60 = 2*t. Suppose -18*k = 2*w - o*k - 595, w + k - 293 = 0. Does 29 divide w?
True
Suppose 0 = -5*t - w + 46075, t + 80*w = 81*w + 9221. Does 16 divide t?
True
Suppose -383*h - 21575 + 546068 = 73702. Is h a multiple of 107?
True
Suppose -104 + 88 = -w. Suppose 5*j = 2*t - w, -3*t + 0*j - 4*j = -1. Suppose -2*c + 75 = t*c. Is 15 a factor of c?
True
Suppose 15*p - 722 + 13052 = 0. Let g = -662 - p. Is 11 a factor of g?
False
Is 3923 + (-7 - 3) + 1 a multiple of 103?
True
Let q(u) = 11*u**2 + 19*u - 472. Let b(k) = -7*k**2 - 13*k + 314. Let h(x) = 8*b(x) + 5*q(x). Is h(0) a multiple of 38?
True
Let o(d) = -481*d + 2607. Is o(-26) a multiple of 17?
True
Suppose 4*v + 455 = -v - 5*q, 4*q = 3*v + 252. Let h = -13 - v. Is 16 a factor of h?
False
Let i = 3785 - 2132. Suppose 0 = -11*f + 1669 + i. Is 22 a factor of f?
False
Let z(x) = x**3 + 8*x**2 - 10*x - 7. Let f = -90 + 81. Let l be z(f). Suppose 0*g + 3*p - 138 = -l*g, -3*p + 6 = 0. Is 3 a factor of g?
True
Let t(m) = 22*m - 65. Let a(q) = 22*q - 66. Let h(x) = -3*a(x) + 4*t(x). Is 10 a factor of h(21)?
True
Suppose -125 + 139 = p. Let j(w) = 3*w**2 - 19*w + 68. Does 30 divide j(p)?
True
Suppose 806 = v - 4*r - 458, 4*v - 5044 = 4*r. Is 63 a factor of v?
True
Suppose -89515 - 91979 = -6*u. Is 50 a factor of u?
False
Let z be (4 - 0)/(-7 + 9). Suppose 0*p = z*p + p. Suppose p = 3*t - 5*i - 433, -2*t + 4*i + 0*i = -292. Is t a multiple of 38?
False
Suppose -29*g - 3*b = -33*g + 143154, 15*b = -g + 35883. Does 97 divide g?
True
Let p = 27 + -27. Suppose p = 3*z + 15, -4*z + 0*z - 5 = 3*i. Let s(g) = 3*g**2 - 2*g - 5. Is 30 a factor of s(i)?
True
Suppose 5757 = 10*m - 42143. Is m a multiple of 15?
False
Let z(q) = -376*q**3 + q**2 + 3*q - 2. Let k be z(1). Let h = k - -1035. Is 8 a factor of h?
False
Let j(i) = 5*i + 174. Let q be j(42). Is 4 a factor of (1/(-2))/((-2)/q)?
True
Let y be 0*(34/72 + (-10)/45). Let d(w) = -w**2 - 2*w - 22 + 4*w + 53 + 14. Does 17 divide d(y