2 - 4*n - 7. Let t be z(4). Let a(h) = -h**3 + h + 14. Let x be a(0). Let d = x + t. Is d a multiple of 4?
False
Suppose -3*s + 40 = 4. Suppose 38 = q + s. Is 13 a factor of q?
True
Let w(z) = 132*z + 12. Let f be w(4). Suppose 4*o + 5*y = 1076, 4*o + f = 4*y + 1580. Is 11 a factor of o?
True
Does 26 divide (-1 - -209)*(5/10 + 3)?
True
Let r(l) = -2*l**2 - 9*l + 3. Let d be r(-4). Suppose f - d*f + 12 = 0. Suppose f*c - 3*c - 98 = -3*i, 0 = -i + c + 34. Does 10 divide i?
False
Let a = 114 + -64. Let z = a - 114. Let v = -43 - z. Does 6 divide v?
False
Let l be 6/10 - (-12)/5. Suppose 3*a + a + 123 = 3*n, -3*a + l*n - 93 = 0. Let j = 48 + a. Does 7 divide j?
False
Let t = -266 - -446. Suppose -3 = -g - 5*f + 22, 4*g + 4*f - t = 0. Is g a multiple of 25?
True
Let y = -7 + -1. Let w be y/32 - 21/(-4). Is 12*(-1 + w)*1 a multiple of 14?
False
Let j = 32 - 16. Suppose -6*u = -2*x - 3*u + j, 5*u = -2*x. Suppose -33 = -2*r - x. Is r a multiple of 12?
False
Suppose 4*q = 5*y - 3177 + 994, y + 2*q = 431. Is 111 a factor of y?
False
Let z = 62 - 68. Let t(a) = -a**2 + 6*a + 2. Let n(b) = -b**2 + 7*b + 1. Let j(w) = -5*n(w) + 4*t(w). Is j(z) a multiple of 24?
False
Let c = 20 - 14. Let y be ((-6)/(c/7))/(-1). Suppose y*s = 3*s + 348. Does 16 divide s?
False
Suppose 13 + 41 = 2*j. Let n be (6/21 - 0) + 1162/49. Suppose 4*y = u + j, -3*y + 2 + n = 5*u. Is 6 a factor of y?
False
Is 20 a factor of ((-1)/((-3)/1880))/((-112)/(-336))?
True
Suppose 1308 = 3*y + 2*w, w = -6 + 9. Is 14 a factor of y?
True
Let a(y) = 4*y**2 - 2*y + 1. Suppose -o - 5 = 0, -3*d = -3*o + 11 - 41. Suppose 2*s - 2*p - 14 = -0*s, -d*s + 14 = 2*p. Is 29 a factor of a(s)?
False
Suppose -14*m - 1870 = -45998. Is 42 a factor of m?
False
Let v be ((-10)/(-5) - 4)*(-4)/2. Does 14 divide 4*(-2)/v - -96?
False
Suppose 41*p - 5*p - 38340 = 0. Does 29 divide p?
False
Does 11 divide (5 + 45/(-6))*(-424)/20?
False
Let w = 34 - -3. Let a = 60 - w. Let k = a + -12. Is 11 a factor of k?
True
Let s = 15 - 16. Let c(u) = -266*u**2 + u. Let i be c(s). Is (-6)/(-4) + i/(-6) a multiple of 23?
True
Let b be (-4)/(-12) - 22/(-12)*2. Is 43 a factor of (-516)/(-14)*(14 + -3 - b)?
True
Suppose 2*z - 80 = -4*v, z - 27 = v - 2. Is z a multiple of 2?
True
Suppose 0 = -39*r + 43129 + 4256. Is 27 a factor of r?
True
Suppose 134 = 4*w + 14. Let s = 15 - w. Is 16 a factor of ((-10)/s)/((-2)/(-69))?
False
Let o(u) be the first derivative of u**4/4 + 11*u**3/3 + 7*u**2/2 + 14*u + 14. Is 14 a factor of o(-10)?
False
Suppose 563 = 2*k - 123. Is 49 a factor of k?
True
Suppose 11*x + 4 = 7*x. Is (-8 - 143/(-3))/(x/(-3)) a multiple of 7?
True
Let w(v) be the first derivative of v**4/4 + 7*v**3 - 35*v**2/2 - 55*v + 44. Is 21 a factor of w(-22)?
True
Let c be 0 + -149 - 6/(-6). Let h = c - -92. Let k = 81 + h. Does 25 divide k?
True
Is (-84581)/(-63) + (-52)/(-117) a multiple of 6?
False
Let m be 1 - (-5 + -1 + -57). Suppose -20*l + m = -18*l. Is l a multiple of 3?
False
Let h = 4 + 162. Is 43 a factor of h?
False
Let x(d) = -112*d**3 - 3*d**2 - 3*d. Suppose 2*t - b = -2*t - 1, 4*t + 7 = -b. Does 16 divide x(t)?
True
Suppose -2*b - 1 = -3*f, -2*f = -7*f + 5*b - 5. Suppose -2*p = f*u - 56, -p - 8 = -3*p. Is u a multiple of 8?
True
Let u be (3 + -1)*(-35)/(-14). Suppose u*k = i - 77, -i = -5*i - 3*k + 308. Is i a multiple of 12?
False
Suppose -1613 = -5*f + 107. Is 7 a factor of f?
False
Let r(d) = d**2 + 7*d + 11. Suppose 24 = -116*g + 113*g. Is r(g) a multiple of 12?
False
Let p be (-3)/(-3) + -7*2. Let y(v) = -8*v**3 + 28*v**2 - 3*v + 5. Let b(a) = -3*a**3 + 9*a**2 - a + 2. Let r(j) = -11*b(j) + 4*y(j). Is 9 a factor of r(p)?
False
Let v = -213 + 659. Does 33 divide v?
False
Suppose 131*m - 117*m - 3612 = 0. Does 43 divide m?
True
Let m be (-252)/27 - 1/(-3). Let k = -16 - -1. Is -9*(k/m + -3) a multiple of 4?
True
Let a(x) = -2*x - 12. Let n be a(-8). Suppose n*j + 124 = 504. Does 24 divide j?
False
Suppose -b = -2*o + 145, o + b - 75 = -b. Suppose 343 = 5*m + u, -m - 2*u - o = -2*m. Does 12 divide m?
False
Let z be -1 + -3 + (14 - 17). Let v be (z - -13)*(-10)/(-4). Does 2 divide (-11 + -1)/(v/(-10))?
True
Suppose -2 = -k + 3. Is 12 a factor of (-10)/(-4)*24/k?
True
Let j = 3810 + -2058. Is 73 a factor of j?
True
Suppose -20 = 4*a - 5*m, 2*a = -2*a - 4*m + 16. Suppose 5*n - 3*o - 37 = a, 5*o + 0*o = 3*n - 35. Let k = 47 + n. Does 19 divide k?
False
Let k(d) = 11*d**3 - 2*d**2 + 4*d + 4. Let l be k(3). Suppose 0 = 3*j + z - 181, -4*j - 5*z = j - l. Does 11 divide j?
False
Let i(r) = 4*r**2 + 2*r - 2. Suppose -56 + 60 = k. Is 19 a factor of i(k)?
False
Suppose q = 3*l + 48 + 67, -2*q - 43 = l. Let n be (2 - l) + -3 + -3. Suppose n = -4*k + 227. Does 17 divide k?
False
Let t = 0 + 5. Suppose -3*s + 4*s = 4*f + 32, 0 = 5*s - t*f - 220. Does 4 divide s?
True
Let t(f) = f**3 - 5*f**2 - 4*f - 10. Let y be t(6). Suppose y*n + 0*n = -4*x + 40, -3*x = 12. Is 14 a factor of n?
True
Let s(m) = m**2 + 6*m + 2. Suppose -4*i - i - 30 = 0. Let j be s(i). Suppose -j*l + 7*l - 375 = 0. Does 21 divide l?
False
Let u(b) be the third derivative of b**4/8 + 13*b**3/6 - 4*b**2. Let l be u(9). Suppose -4*r + l = 4*q, -2*r + 0*r + 46 = 4*q. Is q a multiple of 10?
False
Does 3 divide (-55*(36/(-15))/(-4))/(-1)?
True
Let c(o) = 78*o**2 - 2*o + 2. Is 13 a factor of c(1)?
True
Let m(z) = z**2 - 8*z + 9. Suppose w = 4*i - 30, -2*i - 4*w + 2 = -4. Let l be m(i). Suppose n - k - 47 = 0, -5*n + n - l*k = -200. Does 23 divide n?
False
Let k(h) = h**2 - 70. Does 14 divide k(-13)?
False
Let c = -75 - -231. Does 78 divide c?
True
Suppose 4890 = 26*l + 1588. Is 2 a factor of l?
False
Does 42 divide 2340/9*(-5)/(-4)?
False
Let o be -3 - ((-111)/15 - 6/(-15)). Suppose -4*s = s - o*q - 487, 0 = 3*q - 6. Is 11 a factor of s?
True
Let o(l) = -l**2 - 8*l - 6. Let b be o(-9). Let q = 23 + b. Does 4 divide q?
True
Suppose 4*a = 4*d + 1648, 1678 = 22*a - 18*a + 2*d. Is a a multiple of 14?
False
Let g(f) = -f**3 - f**2 + 12*f - 3. Let h(w) = w**3 - 11*w + 2. Let z(b) = -5*g(b) - 6*h(b). Is 7 a factor of z(5)?
False
Let v(u) = -9*u**3 - 4*u**2 - 2*u. Let m be 26/(-12) + 1/6. Is 12 a factor of v(m)?
True
Suppose 0 = l - 21 + 7. Suppose 0 = 11*g - l*g - 105. Is 11 a factor of 396/14 + 10/g?
False
Let b(j) = j**3 + 16*j**2 - 19*j - 29. Let q be b(-17). Is 18 a factor of ((-36)/10)/(q/(-50))?
True
Let u = 1223 - -713. Is 8 a factor of u?
True
Suppose 165 = -6*s - 5*s. Does 9 divide ((25/s)/(-5))/(2/246)?
False
Suppose 6*j - 38 = 2*j + h, -26 = -3*j + 2*h. Is 25/j - 565/(-10) a multiple of 33?
False
Let r(g) = 6*g**2 - 183*g + 116. Is 52 a factor of r(41)?
False
Is 13 a factor of 819/(((-9)/5 - -6) + -4)?
True
Does 13 divide 2/20*-6 + 1568/5?
False
Let w be -31 - (-4 + (-2)/(-2)). Let y = w - -40. Does 12 divide y?
True
Suppose 3*z - 21*z = -8820. Is z a multiple of 10?
True
Suppose 52*o = 53*o - 342. Does 19 divide o?
True
Let t(c) = 9*c**2 + 4*c + 9. Let j(r) = r**2 - r. Let g(q) = 3*j(q) + t(q). Let v(z) be the first derivative of g(z). Does 18 divide v(4)?
False
Does 2 divide (10 - (-297 + 0)) + (10 - 3)?
True
Let c(s) = s - 6*s**2 + 2*s**2 - 4 + 7*s**2 - s**2. Is 3 a factor of c(-3)?
False
Suppose -40*x = -42*x + 1144. Does 11 divide x?
True
Let h(q) = -141*q + 3. Is 8 a factor of h(-1)?
True
Let l(w) = 4*w**3 - 2*w**2 + 4*w + 4. Let d be l(3). Suppose -2*t + d = -s, -5*t - s = 2*s - 254. Is 52 a factor of t?
True
Let n = -27 - -9. Let j be (-1192)/(-18) + 4/n. Suppose -b + j = 2*b. Does 4 divide b?
False
Let g(f) be the third derivative of -f**6/120 - 7*f**5/60 - f**4/24 - 7*f**3/6 - f**2. Let n be g(-7). Suppose -24 = -4*b - n*b. Is b a multiple of 6?
True
Suppose -z - 3*q = -8*q - 16, 2*z + 8 = 2*q. Let f = z + 11. Suppose -5*s + 225 = -3*x, -5*s = -3*s - f*x - 90. Does 15 divide s?
True
Let m(d) = -3*d**3 - 4*d**2 + 7. Let k be m(-3). Is 9 a factor of 0 + k - (-12)/6?
True
Let j(a) = -a**2 - 26*a - 29. Let h(g) = -2*g**3 + 3*g**2 + 5*g - 6. Let s be h(3). Is 13 a factor of j(s)?
False
Let m(u) = 5*u**2 + 9*u + 40. Let z be m(-10). Suppose -33*o + 38*o - z = 0. Is o a multiple of 18?
True
Let i be (-2 - (-3)/4)*-24. Let d = i + -19. Does 2 divide d?
False
Suppose 4*q + 237 = 1425. Let u = 418 - q. Is u a multiple of 10?
False
Is 6 a factor of 90 + (-4)/(-2) + (-8 