se
Let k(w) = w + 14. Let m(d) = -3. Let h(y) = -4*k(y) - 22*m(y). Let i be h(-2). Suppose i*a - 31 = 257. Does 5 divide a?
False
Let r(y) = -2127*y - 1916. Is 3 a factor of r(-2)?
False
Suppose -55*d + 72604 = -406239 + 33288. Is 13 a factor of d?
False
Suppose 4*a = -5*c + 1297, -2*c - 3*a = -214 - 302. Is 6 a factor of c?
False
Let w(r) = r**3 + 16*r**2 + 2*r - 15. Suppose -14*m = 248 - 52. Is w(m) a multiple of 20?
False
Let d = 17548 - 15386. Does 94 divide d?
True
Let n(l) be the first derivative of -11 + 27/2*l**2 + 5*l. Does 23 divide n(1)?
False
Suppose 6*z - 512 = 916. Suppose 2*h - 411 = p, -2*h - p = -175 - z. Does 3 divide h?
False
Let l = 529 - 533. Is 7 a factor of (-196)/(-70)*l/((-16)/170)?
True
Suppose -21 = 3*m - 3. Let h(i) = 5*i + 36. Let s be h(m). Suppose s*w = 459 - 147. Is w a multiple of 11?
False
Suppose -4*y - 33 = 67. Let h = -21 - y. Suppose h*n = 67 + 137. Does 14 divide n?
False
Let j be (-6)/(-21) - 870/(-42). Let l(u) = -u**3 + 20*u**2 + 30*u + 49. Is l(j) a multiple of 7?
True
Let h(k) = -3*k**2 + 4*k - 93. Let t be h(0). Let o = t - -335. Is 18 a factor of o?
False
Let v(p) = 5568*p - 3052. Is v(12) a multiple of 50?
False
Let v be (52/16 - 2) + (-3)/12. Let p be (-3 - v)/(-3 - (-3)/3). Is (-58 - p)*(-2)/4 a multiple of 9?
False
Suppose -4*u + 2750 = 2*v, 5*u + 3 = 2*u. Suppose 2629 + v = -4*a - t, 5*t + 992 = -a. Does 26 divide a*((-5)/45 + 6/(-27))?
False
Suppose 25*s - 27*s - 10205 = 5*r, -5*s + 25 = 0. Let x = r - -3624. Does 14 divide x?
False
Suppose -18*j + 19*j - 3*x - 3574 = 0, -5*x = 3*j - 10722. Does 171 divide j?
False
Does 111 divide 26415 - (3 + (-54)/15)/(6/30)?
True
Let u(i) = 4*i + 28. Let x be u(-6). Let k be ((-1)/2)/((-1)/x). Suppose 132 = k*z + 16. Is z a multiple of 29?
True
Let y(t) = 3*t**2 + 10*t + 9. Let x be y(-3). Suppose -x*b = -23*b + 4743. Does 45 divide b?
False
Suppose -3*s = -33*o + 28*o + 4029, -2*s = 5*o + 2661. Is 13 a factor of (-5)/(-3) - s*10/45?
True
Let a be (45/12)/(13/2080). Suppose 1078 = 4*y + 2*g, g = -4*y + a + 477. Does 33 divide y?
False
Let l(z) = 5*z + 2. Let m be l(4). Suppose 4*q + 21888 = m*q. Is q a multiple of 16?
True
Let y be 0/(1 - (2 + -1 + -4)). Suppose -o + 105 = -y*o. Does 15 divide o?
True
Let k = -2 - -7. Let j be (215/(-129))/((-2)/192). Suppose -k*l + 895 = j. Is l a multiple of 21?
True
Let f(x) be the second derivative of 341*x**5/20 - x**4/6 + x**3/6 - x**2 - 128*x. Is 26 a factor of f(1)?
True
Suppose 0 = -0*q - q - 4. Let s be (-3 - -2)/(-2*q/(-48)). Let u(f) = f**3 - 7*f**2 + 14*f - 14. Is 18 a factor of u(s)?
False
Let z be 1760/70 + 1/(-7). Suppose -4*n - z + 333 = 0. Is 7 a factor of n?
True
Let u = 13327 - 389. Does 97 divide u?
False
Let f(t) = 50*t**2 + 114*t - 23. Is 114 a factor of f(-17)?
False
Let f(j) = -17*j + 36. Let u be f(2). Suppose -4*n = 3*w - 848, 0 = u*w - 0*w + 4*n - 560. Is w a multiple of 48?
True
Let i = -2425 + 3769. Does 24 divide i?
True
Let v(m) = 2*m**3 + 22*m**2 + 20*m - 2. Let d(o) = -o**3 + o**2 - o - 4. Let a be d(2). Let k be v(a). Let c = k - -77. Is 15 a factor of c?
True
Let d(b) = b**2 - 11*b + 12. Let t be d(10). Suppose t*f = f - 22. Let c = f - -28. Is 6 a factor of c?
True
Suppose 13*d - 3312877 + 1195476 = -174*d. Is d a multiple of 26?
False
Suppose 0*z + 43 = 3*z + 5*q, -4*z + 3*q + 9 = 0. Let o be (57/z)/((-1)/(-6)). Let h = o - 19. Is h a multiple of 6?
False
Is 23 a factor of 83204/155 - 22/(-10)?
False
Suppose 3*t + 4*h - 22 = 0, 0 = 4*t - h - h. Suppose -7*d + 3*d - 5*j = -25, t*d - 8 = 2*j. Suppose -3*u + 9 = 2*a - 24, -d*a - 80 = -5*u. Is 13 a factor of u?
True
Let x = 645 + -33. Suppose 11*y - x = -6*y. Does 36 divide y?
True
Let m = 40 + -38. Let n be (3 + (-9)/m)/(24/9088). Let f = n + 824. Does 16 divide f?
True
Let y(b) be the second derivative of -7*b**4/8 + 16*b**3/3 + 4*b**2 + 11*b. Let m(l) be the first derivative of y(l). Is 36 a factor of m(-9)?
False
Let s = -4645 - -20061. Is 18 a factor of s?
False
Let z = -7268 + 14918. Is z a multiple of 9?
True
Let y = -82 - -84. Suppose -3*q = y*m, q - 2*m + 0*m = 0. Suppose q = 3*t + 2*t - 60. Does 3 divide t?
True
Let d(u) = 104*u**2 - 55*u - 1125. Is d(-19) a multiple of 21?
True
Let h = 50 + -83. Let z = h - -145. Is 23 a factor of z?
False
Let f = -556 + 794. Suppose 0 = -8*s + f + 138. Is s even?
False
Let l(q) = -49*q + 15. Let w be (-2)/(-5) - 384/60. Let y be l(w). Suppose y = 8*f + 29. Is f a multiple of 7?
True
Let n(m) = m**2 - 5*m + 26. Let l be 0/(-2*(-4)/8). Is n(l) a multiple of 2?
True
Let i be (0 - (2 + -4)) + 0/1. Suppose -f = -i*f + 5. Suppose 0*v = f*t - 5*v - 420, 0 = 3*t + 3*v - 270. Does 30 divide t?
False
Let u(x) = 2*x**3 - 6*x**2 - 7*x + 7. Let b be u(5). Suppose -3*r - i = -155, 0 = -3*r + 5*i + 107 + b. Suppose 91 = o - r. Is 26 a factor of o?
False
Suppose -5*n + 119 = -81. Suppose 2*p = 11 - 3. Suppose -q - 6 = -m - 2, -p*m + n = 4*q. Is m a multiple of 3?
False
Let k(v) = 144*v + 1562. Let h be k(-7). Let u = 298 + 86. Let i = h - u. Is 17 a factor of i?
True
Let b(w) be the first derivative of 41*w**6/360 - w**5/40 + w**4/6 + 22*w**3/3 - 2. Let o(h) be the third derivative of b(h). Does 17 divide o(1)?
False
Let k(f) = 31*f**2 - 115*f - 650. Is k(-7) a multiple of 18?
True
Let b = -473 + 243. Let y = b + 327. Let i = y - 13. Does 12 divide i?
True
Let c(p) = 163 - 10*p + 7*p**2 - 73 - 77. Is c(5) a multiple of 23?
True
Let o(h) = h**2 + 6*h + 9. Let u be o(-5). Let n(t) = 5*t - 6. Let l(c) = -c - 1. Let s(z) = u*l(z) + n(z). Is 2 a factor of s(15)?
False
Let i = -35 + 50. Suppose 0 = 5*f + 3*k - 60 - 10, 3*k = -i. Let s(a) = -a**3 + 18*a**2 - 16*a + 4. Does 21 divide s(f)?
True
Let s = 6 - 14. Let j be (-2236)/(-14) + s/(-28). Suppose 5*b = b + j. Is b a multiple of 20?
True
Is ((-20)/(-12) - 3)/(2/(-6795)) a multiple of 11?
False
Let x(p) = -33*p - 217. Let l be x(-7). Suppose -691 = -5*o - n, 2*o + l - 287 = 3*n. Does 69 divide o?
True
Let t(v) be the first derivative of v**3 + 3*v**2 - 1. Let m = -154 + 158. Is t(m) a multiple of 8?
True
Let h = -7 - -7. Let w be ((h + -9)/1)/(-1). Does 13 divide (5 - (-469)/(-21))*w/(-2)?
True
Let o(k) = -k**3 + 12*k**2 - 4*k + 11. Let m be o(11). Suppose t - m = 16. Suppose -24*n - t = -28*n. Is 26 a factor of n?
True
Let r(x) = x**3 - 9*x**2 - 4*x + 45. Suppose -2*f + 1 = 2*n - 1, 5*n = -4*f + 4. Let j(d) = 4*d + 9. Let c be j(n). Is r(c) a multiple of 9?
True
Let s be -6 - 11/(22/(-8)). Does 7 divide (-10)/15*-174 + s?
False
Is 6409/13 - -6 - -7 a multiple of 13?
False
Suppose 8239 = 120*g - 31*g + 18*g. Is g even?
False
Let i = 203 - 352. Let c = i + 153. Does 9 divide (34/(-4) - 1)/((-2)/c)?
False
Suppose -2*w - 5 = n - 94, 0 = 3*w + 5*n - 151. Suppose 27*k - w*k = -17295. Does 20 divide k?
False
Let c be ((-4)/5)/((-7)/(-35)) - 13. Let g(q) = -q + 33 + 16 - 3. Does 17 divide g(c)?
False
Let x = -3516 + 3700. Let b be (0 - 0)*1 - -4. Suppose -b*w + 128 = -x. Is 26 a factor of w?
True
Let z = 75 + -75. Suppose z = -9*y + 10*y - 11. Suppose -269 - 105 = -y*l. Is l a multiple of 17?
True
Let k(g) = g**3 - 5*g**2 - 6*g - 12. Suppose 0*c - 3*c = -21. Does 36 divide k(c)?
False
Let s(m) = 3*m**2 + 31*m - 439. Is s(17) a multiple of 5?
True
Let f = 26287 - 13218. Is f a multiple of 50?
False
Suppose -3*j - 2*h = -7259, 0 = 4*h - 10 + 6. Is j a multiple of 59?
True
Let b = 695 + -766. Let k(o) = o - 54. Let v be k(0). Let h = v - b. Is 17 a factor of h?
True
Is 7 a factor of ((-1922976)/(-60))/12 - 8/(-40)?
False
Let j(q) be the second derivative of 19*q**4/3 - q**2/2 + 29*q. Suppose 0 = 4*v - 1 + 5. Is j(v) a multiple of 25?
True
Let u = 3 - 1. Let l be (-10)/20 - (-15)/u. Suppose -12*k + 4*o = -l*k - 853, 5*o = -5*k + 880. Is 36 a factor of k?
False
Let x = 822 - 102. Suppose -4*f = -20*f + x. Is f a multiple of 12?
False
Suppose -19*z = -6*z - 572. Let r = 16 + -24. Is 5 a factor of r/z - -1*576/22?
False
Let h = -369 + 431. Let p = 440 - h. Does 18 divide p?
True
Let l = 56 - 69. Let y(w) = -37*w - 13. Is y(l) a multiple of 9?
True
Suppose m - p - 61 = 0, -3*p + 4 = -7*p. Let l = 28 + m. Is 2 a factor of (l/12)/(2 + 4/(-3))?
False
Let g(b) be the second derivative of b**5/10 - b**4/6 - b**3/2 + 3*b**2/2 + 5*b. Let u be g(2). Suppose 3*s - 5*s = z - 3, u*z = 