?
False
Let w(o) = o + 0*o**3 + o**3 - 3*o**2 - 3*o - 3*o. Let h be w(4). Does 14 divide 46 + -1 + h + 6?
False
Let r be -10 - 0 - (4 - 7). Let n(w) = 2*w**3 + 17*w**2 + 6*w - 8. Is n(r) a multiple of 19?
False
Let y(c) = 3*c**2 - 7*c + 5. Does 23 divide y(-5)?
True
Suppose t - 2 - 1 = 0. Let d(h) = h. Let f(b) = b**2 + 2*b - 2. Let r(x) = 6*d(x) - f(x). Does 3 divide r(t)?
False
Let z = 390 - 369. Does 2 divide z?
False
Let z(s) be the first derivative of -s**3/3 + s**2/2 + 11. Let c be z(-1). Is 7 a factor of (c/(-3))/(4/126)?
True
Let l(m) = 29*m**3 - 2*m**2 + 2. Let b(y) = y - 1. Let r(c) = 2*b(c) + l(c). Does 29 divide r(1)?
True
Is 14 a factor of (-16)/(9 + -1)*-1466?
False
Suppose -3*c + 1341 - 324 = 0. Is c a multiple of 10?
False
Suppose -34*u - 3040 = -44*u. Is 6 a factor of u?
False
Let b be ((-22)/11)/((-2)/4). Suppose b*q = -2*w - 34, -31 = 3*w + 4*q - 3*q. Let i = w + 42. Does 11 divide i?
True
Suppose 5*h - 8028 = 3*y, 5*h - 17*y = -22*y + 8060. Is 85 a factor of h?
False
Let j(x) = -x - 6. Let r be j(-3). Let m be (-8)/(-2) + 9 + r. Let s(u) = 2*u - 17. Is 2 a factor of s(m)?
False
Let v(s) = -11*s + 6. Let u = 7 + -5. Suppose -5 - 1 = u*p. Does 16 divide v(p)?
False
Let w(p) = -p**3 + 4*p**2 + 6. Let b be w(4). Is 12 a factor of 2*b/(-4)*-10?
False
Let j(h) = h - 12. Let i be j(8). Let c(t) = -t**2 - 6*t - 5. Let a be c(i). Is 98/a - (-8)/(-12) a multiple of 24?
False
Let g(r) = -r**3 + 13*r**2 - 12*r - 2. Let u be g(12). Is -4 + (-1)/(u/146) a multiple of 42?
False
Suppose 0 = -3*u + 15 - 0. Suppose 4*j = 2*y + 542, 3*y = -10 - u. Is j a multiple of 17?
False
Let q = -927 + 1709. Does 34 divide q?
True
Suppose 0 = -2*b + 3*o - 554, -5*b - 1435 = -2*o + 7*o. Let f = b - -464. Is 11 a factor of f?
False
Let o(b) be the third derivative of -b**6/120 - 2*b**5/15 - b**4/4 - b**3/3 - 37*b**2. Is o(-8) a multiple of 12?
False
Suppose 3*r - 210 - 1127 = -5*q, -3*q + 5*r + 809 = 0. Suppose -5*k - q = -1228. Suppose 0 = l + l + g - k, 0 = 2*l + 2*g - 192. Does 24 divide l?
True
Let k = 314 + -304. Does 6 divide k?
False
Suppose 2*m - 544 = -2*m. Let c = m + -56. Does 17 divide c?
False
Let p(r) = -4*r - 9. Let c be p(-3). Suppose -4*j + 36 = 4*b, 0 = j - 5*j + c*b + 43. Does 2 divide j?
True
Let y = -125 - -211. Is 13 a factor of y?
False
Let n(y) be the first derivative of -y**4/4 - 2*y**3 + 3*y**2 - 8*y + 6. Let f be n(-7). Is 7 a factor of (f - -4)/((-3)/(-35))?
True
Let w = -9 - -4. Let u(g) = g**3 + 6*g**2 + 3*g - 4. Let k be u(w). Suppose -k*l + 4*l - 2*q + 18 = 0, 2*l - 46 = 5*q. Is 8 a factor of l?
False
Suppose -10449 = -3*m - 3*x, -10*m + 15*m + 3*x = 17425. Is m a multiple of 109?
True
Is 105 a factor of 895/1*2 - (-9 - -14)?
True
Let b be 1 - 0 - (197 + (-5)/(-5)). Let t = b + 356. Is t a multiple of 9?
False
Let j(a) = 27*a - 244. Does 83 divide j(23)?
False
Suppose y + 7024 = 3*y + 4*w, 3*w = -5*y + 17588. Is y a multiple of 40?
True
Let p(f) = f**3 + 15*f**2 + f + 18. Let k be p(-15). Suppose -4*b + i = -11, 8*b + 2*i = 5*b. Suppose b*j - 63 = -k*h, 3*j + h - 65 = 47. Is j a multiple of 13?
True
Is 23 a factor of (1242/18)/((-1)/(-3))?
True
Let q = 119 + -8. Let p = q + -62. Is p a multiple of 6?
False
Suppose -4*r + 358 = -5*j - 57, 0 = r - 3*j - 109. Is 25 a factor of r?
True
Let d(x) = 9*x**2 + 4*x + 7. Let g be d(-2). Suppose -k + 0*k = 4*o - 12, -2*o = 3*k - 16. Is 7 a factor of g*(22/5 - k)?
True
Suppose -3*q - 4 = -3*r - 25, -41 = -3*q - r. Let a(m) = m**2 - 9*m - 10. Let u be a(q). Suppose -u = -2*y + y. Does 13 divide y?
True
Let t(a) = 21*a**2 - 2*a - 3. Let z be t(3). Suppose u - 5*u = -z. Is 11 a factor of u/1 + (-2)/2?
True
Let x = 7 + -6. Let m = x + 2. Suppose 2*i + 105 = 7*i + 5*n, m*i - 2*n = 78. Is i a multiple of 24?
True
Let h be ((-5)/(-2))/((-6)/72). Let p be (-34)/h - (-4)/(-30). Does 11 divide (-815)/(-20) - p/(-4)?
False
Let z(w) = 2*w**3 + 27*w**2 + 6*w + 33. Is 22 a factor of z(-11)?
True
Suppose -4*j + 4*c = 412, 3*c = 2*j - j + 113. Let z = j + 111. Does 2 divide z?
False
Let i(v) = v**3 + 9*v**2 + v + 10. Let z(g) = 3*g + 7. Let d be z(-6). Let w = 3 + d. Is i(w) a multiple of 22?
True
Let b be 3/(-1 - 4/8) + -77. Let y = b - -236. Is y a multiple of 11?
False
Let l(o) be the first derivative of o**4/4 - 2*o**3/3 - 9*o**2/2 - 9*o - 8. Let v be l(8). Suppose 2*m = -29 + v. Is m a multiple of 25?
False
Let a(r) = 2*r + 8. Let t = 58 + -50. Does 4 divide a(t)?
True
Let j(g) = -g**3 - 10*g**2 + 8. Let n be j(-10). Is 32 a factor of n/(-3)*195/(-10)?
False
Suppose -2*o + 5*o = 3. Let m(t) = -19*t**3 + 2*t**2 - t. Let l(g) = -35*g**3 + 5*g**2 - 2*g. Let w(k) = 2*l(k) - 5*m(k). Is w(o) a multiple of 15?
False
Let v(z) = 8*z + 19. Let i(m) = -m**2 - 7*m + 17. Let j be i(-8). Is v(j) a multiple of 13?
True
Let k = -10 + 10. Suppose k = -4*d - 48 + 272. Is d a multiple of 8?
True
Let d(y) = -3*y - 7. Let b be d(-5). Let w be 2 - 0 - (b - 2). Is ((-2)/w)/((-4)/(-456)) a multiple of 14?
False
Suppose 0 = f + 6*f + 7. Does 11 divide -11*(-4 - (f + -1))?
True
Let x be (-35 - -3)*(-2)/4. Suppose 6 - x = -2*o. Is o even?
False
Suppose -4*m - 88 = -0*m. Let a = 68 - m. Is 30 a factor of a?
True
Let q(t) = t - 1 + t + 5 + t. Let g be q(-6). Is (g/(-2) - 1) + 1 a multiple of 6?
False
Let m be (-2)/3*(-90)/4. Let i = -2 + m. Suppose 2*y - 85 = -i. Is y a multiple of 19?
False
Suppose 4*k = 5*k + 2. Let v = 2 - k. Suppose -v*i + 11 = -5*x - 315, 0 = i + x - 77. Is 38 a factor of i?
False
Suppose -2*i = -3*t + 2*i + 45, -2*t = -i - 25. Suppose -t*h = -6*h. Suppose 2*j + 5*f - 105 + 21 = h, 5*j - 5*f = 140. Does 18 divide j?
False
Suppose 4*o + 1200 = 2*n, 3*n + n - 2408 = 4*o. Suppose 1376 = -3*p + 3*s - n, 3*p + 4*s = -1966. Is 22 a factor of (-6)/(-45) - p/15?
True
Suppose -2*c + 15*c - 6058 = 0. Suppose 0 = t - 5*b - 159, 3*t - 5*b - c = -b. Is t a multiple of 59?
False
Let m = 8803 - 4344. Is m a multiple of 13?
True
Let x = 247 - 438. Let z = 378 + x. Is z a multiple of 36?
False
Let v(f) = -17*f + 2. Let b be v(-2). Let n = b + -35. Let c(l) = 45*l**3 - l + 1. Is c(n) a multiple of 9?
True
Suppose 85*x = 90*x - 2410. Is 22 a factor of x?
False
Let l be 8/2*2/((-4)/3). Is (-76)/(-8)*l*-1 a multiple of 19?
True
Does 38 divide (-8)/(-2 - -4) - -460?
True
Let a(f) = f**3 + 6*f**2 + 5*f + 6. Let k be a(-4). Let g be (-6)/2 + k/3. Suppose -3*p + g = 4*o - 125, -5*p = 0. Is o a multiple of 8?
True
Suppose -5*n = 4*g - 2, -7*g - 8 = n - 2*g. Let r = n - -6. Is 7 a factor of (-30)/(-4) + (-4)/r?
True
Suppose 2226*b - 2229*b = -6030. Is 12 a factor of b?
False
Let s be 1/(1 - 39/36). Is (-426)/s - (-1)/(-2) a multiple of 15?
False
Suppose -25 = -3*h - 2*h. Suppose -y - 5*k = h, 3*y - 5*k - 14 - 11 = 0. Suppose 0 = d - 4*l + y*l - 4, -20 = 5*l. Is 8 a factor of d?
True
Suppose 33*l - 37802 = -8*l. Is l a multiple of 19?
False
Is 9 a factor of (1*(1 - 163))/(4/(-14))?
True
Let q be -2*((-6)/(-3))/(32/(-24)). Suppose -q*o = 3*m - 180, 0*o + 308 = 5*o + m. Is o a multiple of 4?
False
Let o(n) = -12*n - 1. Let k be o(1). Let x be k/(4/5 + -1). Suppose 4*j = -j + x. Does 6 divide j?
False
Suppose 0 = -2*o - 1 + 3. Let x(l) = -148 + 45*l + 70 + 78. Is x(o) a multiple of 15?
True
Let w be (-2 + 1)/1 - -1. Suppose -17 = -2*n + 67. Suppose w*c = 3*c - n. Is c a multiple of 7?
True
Let f(m) = m**2 + 4*m - 16. Let z be f(-13). Suppose h = -5, -g + 3*h + z = -2*h. Does 26 divide g?
False
Let g(t) = -t**3 - 4*t**2 - 5*t + 1. Suppose -5*f - 18 = 2*b, b + 12 = 2*f - 6*f. Let a be g(b). Suppose 0 = -0*y + 3*y - a. Does 4 divide y?
False
Let f(z) = -2*z**2 - 23*z - 8. Let w be f(-11). Suppose w*u - 4*u + 164 = 2*v, 2*v + 4*u = 152. Is 28 a factor of v?
True
Let f(q) = -104*q + 15. Is f(-21) a multiple of 9?
False
Let i = -70 + 37. Does 3 divide 22/i*(-1 + -17)?
True
Let c(a) be the third derivative of a**5/60 + 5*a**4/24 - 2*a**3/3 - 3*a**2. Let o be c(3). Suppose -4*k = -2*f + 3 + 15, -2*f + 3*k = -o. Does 13 divide f?
True
Let o(h) = 3*h**3 - 4*h**2 - 18*h + 60. Does 24 divide o(6)?
True
Let i(y) = 34*y + 2. Let s(j) = -3*j - 8. Let g be s(-3). Is 36 a factor of i(g)?
True
Suppose 14620 = 25*z - 15*z. Is 86 a factor of z?
True
Suppose -9 - 12 = -7*b. Suppose -b*x + 37 + 71 = 0. Is x a multiple of 18?
True
Let n(l) = 4*l**2 + 7*