se
Let f(v) = -v**3 + 27*v**2 + 4*v - 24. Let l be f(26). Let p = -484 + l. Is 68 a factor of p?
True
Suppose 67*o - 3414 - 4760 = 0. Suppose -3*t + 689 = -67. Let y = t - o. Is y a multiple of 26?
True
Suppose 46*h - 3104 = 29740. Is 20 a factor of h?
False
Suppose -7*u = 7*u - 7238. Suppose -j - 2*k = -120, 5*j = k + 116 + u. Is j a multiple of 9?
True
Suppose r - 156405 = -5*j, 4*r + 469180 = 62*j - 47*j. Is 92 a factor of j?
True
Let s = -5597 - -5767. Is 5 a factor of s?
True
Let d(a) be the second derivative of -15*a**3/2 - a**2/2 + 2*a. Let g be (1 - (-3)/(-4))/(101/(-404)). Is 29 a factor of d(g)?
False
Does 20 divide 2*121/165*10*10*297?
True
Let h be -1*(45 + -2 + 0). Let a = 46 + h. Suppose 2*u - 69 = 5*t, a*u - 3*t - 131 = -t. Is 11 a factor of u?
False
Let z(l) be the first derivative of l**2/2 + 2*l - 10. Let y be z(-1). Suppose 12 = 3*v + 3*p, -v - y = v + 5*p. Does 5 divide v?
False
Let n(t) = 4*t + 31. Suppose 5*m + 2*m = -70. Let l be n(m). Let a(r) = -26*r + 40. Does 23 divide a(l)?
False
Suppose -37*q - 16*q = 4*q - 878199. Is q a multiple of 123?
False
Let m = 18013 + -14194. Is m even?
False
Let q(r) = -r**3 - 16*r - 16. Is q(-15) a multiple of 56?
False
Let x(q) = -q**3 - 39*q**2 - 351*q + 34. Is x(-26) a multiple of 12?
True
Let u(q) = q**3 - 30*q**2 - 738*q - 241. Is 9 a factor of u(52)?
True
Suppose 5 = 4*i - 39. Is 20 a factor of (-12)/(-9)*(223 + i)?
False
Let y be (-1033168)/744*((-9)/(-2))/(-3). Let t = -874 + y. Is 39 a factor of t?
True
Let w(n) = -62*n**2 - 11*n - 2. Let t be w(-2). Let k = 559 + t. Is k a multiple of 7?
False
Let i(b) = 37*b**2 - 74*b + 56. Let n(x) = -13*x**2 + 25*x - 19. Let f(o) = -6*i(o) - 17*n(o). Is f(17) even?
False
Let b = -30 + 62. Suppose -b = -46*x + 42*x. Suppose x*r - 392 = 616. Does 14 divide r?
True
Suppose 5*g = -2*q + 25429 + 13308, q = -2*g + 15496. Is 8 a factor of g?
False
Let y = 120858 - 64805. Suppose y - 10933 = 40*f. Is f a multiple of 47?
True
Let i be (1 - 1*-7) + 49 + -44. Let b(s) = s**3 - 14*s**2 + 39*s + 22. Is b(i) a multiple of 18?
True
Suppose -3*i + 50006 = 2*o, 0 = -161*i + 157*i + 4*o + 66628. Does 8 divide i?
True
Let i = -354 - -712. Is i a multiple of 9?
False
Suppose -n + 2019 + 1554 = l, 5*l + 3*n = 17857. Is 37 a factor of l?
False
Let d(c) = -8*c**3 + 4*c**2 + 8*c + 10. Let i be 6/(-8) - (-35)/20. Let u(g) = g**3 - g**2 - g - 1. Let f(l) = i*d(l) + 10*u(l). Does 31 divide f(5)?
False
Suppose 0 = -3*a + 2*c + 32, a = -0*c - 3*c - 4. Suppose a = -4*l, l + 30 = -5*t + t. Is 5 a factor of (7/t)/((-1)/26)?
False
Suppose 28*c - 169020 = 4*c - 6*c. Is c a multiple of 6?
True
Is (-2)/((-11)/(-367752)*-4) a multiple of 14?
True
Suppose -16 = 75*f - 71*f. Is f/(-38) - (-446832)/456 a multiple of 49?
True
Suppose 485*k - 488*k = -4*v - 21335, 2*v = -2*k + 14214. Is k a multiple of 36?
False
Let h = -100 + 210. Let a = h + -100. Is 24 a factor of 392/a*(-6 + 11)?
False
Suppose 5897 + 9014 = 37*f. Let k = -184 + f. Does 73 divide k?
True
Is 23 a factor of ((-15)/9 - 6)*-582?
True
Suppose -5*v - 559 = -569. Let p = 618 + v. Is 7 a factor of p?
False
Let l(v) = 967*v - 4727. Does 3 divide l(5)?
True
Suppose 5*x - 4*h = 15499, -h = 3*x + 3147 - 12460. Does 38 divide x*(-5)/(-35) + (-8)/28?
False
Suppose 6*a + 2*c = 2*a + 76, 4*a - c - 88 = 0. Let f(z) = z**3 - 21*z**2 + 5*z + 10. Is 6 a factor of f(a)?
False
Suppose -5*q + 0*q - 4412 = 4*s, -3*s + q = 3290. Let p = s + 1548. Suppose 0 = -3*k + p - 135. Does 26 divide k?
False
Let h(y) = 4*y - 120. Let k be h(31). Suppose 12*r - 17*r - 3530 = -5*t, 2*r = k. Does 12 divide t?
True
Let d(i) = -52*i + 56*i + 102 + 126 + i**2. Is d(0) a multiple of 19?
True
Suppose 0 = 5*w + z + 5916, -3*w + 0*w - 3*z - 3540 = 0. Let i = 1777 + w. Let n = 997 - i. Does 52 divide n?
False
Suppose 0 = -4*h - o + 14453, -59*o + 63*o = 2*h - 7222. Is 19 a factor of h?
False
Let h = 1740 - -4788. Is h a multiple of 20?
False
Let g(j) be the second derivative of j**4/12 - 4*j**3/3 - 59*j**2/2 + 86*j. Is 35 a factor of g(-11)?
False
Let u be (25/60*-4)/((-2)/6). Let k(v) = 123*v - 111. Is 18 a factor of k(u)?
True
Let x = -188 - -200. Is -4 + 40/x + (-3252)/(-18) a multiple of 9?
True
Suppose 37144*d = 37178*d - 552840. Does 30 divide d?
True
Let a(i) = -30*i + 79. Suppose -8*g - 40 = 16. Is a(g) a multiple of 13?
False
Suppose z - 2*m - 27970 = 0, -5*m + 2 - 7 = 0. Is 152 a factor of z?
True
Suppose f + n = -0*f + 1, 3*f = 2*n + 13. Suppose -f*q - y + 1191 = 0, -2*q + 4*y + 795 - 15 = 0. Is 7 a factor of q?
False
Suppose 7 - 6 = t. Let j be (t + 93/2)*280/50. Suppose -2*c = 40 - j. Is c a multiple of 20?
False
Let r(s) be the third derivative of s**6/360 - s**5/30 - 11*s**4/24 + 3*s**3 + 23*s**2. Let z(t) be the first derivative of r(t). Is 10 a factor of z(12)?
False
Let u be 414/38 + (-10)/(-95). Suppose -u*r = -10*r - 64. Let x = r - 46. Is x a multiple of 9?
True
Let o = -920 - -388. Suppose 0 = 4*r + 5*x - 3033, -5*r = 4*x - 2*x - 3787. Let b = o + r. Does 45 divide b?
True
Suppose -5*k - 990 = 530. Let r = -146 - k. Is r a multiple of 22?
False
Suppose 6*m - 10*m - 17400 = -4*o, m = 2*o - 8704. Is 24 a factor of o?
False
Suppose 22*h + 735 = 1483. Does 28 divide h?
False
Suppose -178*v = -59*v - 1309373 - 1219615. Is v a multiple of 231?
True
Let o(s) = -24*s**3 + 9*s**2 - 4*s - 216. Is 17 a factor of o(-11)?
True
Let g(d) be the third derivative of 32*d**2 + 0 - 1/12*d**4 + 0*d - 20/3*d**3. Does 2 divide g(-23)?
True
Let t = -62 + 73. Suppose -t = -3*l + 4. Suppose -54 = -z - l*z. Is z a multiple of 4?
False
Let u(h) = 0*h**2 + 1 + 0 + h**2 - 3*h**2. Let g be u(2). Let x(c) = c**3 + 10*c**2 + 2*c - 2. Does 26 divide x(g)?
False
Let s be (-95 + 1)*15 + -1. Let m = s + 2032. Does 27 divide m?
True
Suppose 42 = -26*i + 24*i - 5*z, -i - 21 = z. Is (-2 - -24)*8/((-112)/i) a multiple of 9?
False
Let n be (-4)/(-14) - ((-11712)/21 - 0). Suppose -1674 = -3*d + 2*p, -n = -d - 0*p - 4*p. Is 36 a factor of d?
False
Let k = -17050 - -28356. Is k a multiple of 33?
False
Let p = 505 - 506. Is 4 a factor of (289 - (-9 - -2)) + 3*p?
False
Let u be (-321)/(-63) - (-4)/(-42). Let m be ((u*-4)/(-4))/1. Suppose 0*z + m*z - 700 = 0. Does 35 divide z?
True
Let j be (-1)/(-4) + (-9944)/(-32). Suppose 314*m = j*m + 204. Is m a multiple of 17?
True
Suppose 4*y + 19 = z, -y - 11 = -2*z + 6. Suppose 0 = -z*w + 2628 + 1404. Let m = 839 - w. Is m a multiple of 12?
False
Let v = 36 + -40. Let i be (-14)/(-2) - (7 + v). Suppose 2*j - 366 + 1024 = 5*y, -i*y + 530 = 2*j. Does 37 divide y?
False
Let h(v) = 11*v**3 + 57*v**2 - 7*v - 66. Let u be 1/(-1) - (14 - 2). Let t(o) = -5*o**3 - 28*o**2 + 3*o + 33. Let i(c) = u*t(c) - 6*h(c). Does 33 divide i(22)?
True
Suppose 5*a - 5218 - 2664 = z, 5*a + z = 7868. Does 21 divide a?
True
Let m = 3 + 1. Suppose 45 = m*j + j. Suppose 1077 = j*b + 348. Is 8 a factor of b?
False
Let h(k) = 16*k**2. Let r(p) = -p**3 + 9*p**2 + 8*p + 19. Let a be r(10). Let n be h(a). Suppose -39 = 3*x - n*x. Does 2 divide x?
False
Suppose 0 = -3*m + 2*z + 11 + 9, 5*m = -4*z + 4. Suppose -m*o = -2 + 6. Is 27 a factor of ((-1)/1)/(o/54)?
True
Is 3 a factor of ((190580/15)/26)/(39/(-45) - -1)?
False
Let a be (-6)/4 - 161/(-14). Suppose -4*f - 6 = -3*u, 0*f = 2*f - 5*u + a. Suppose f = -3*l + 3*y + 39, 2*l - 12 = y + 19. Does 18 divide l?
True
Let t = 8935 + -5253. Is t a multiple of 14?
True
Let s(w) = -9*w - 26. Let t be s(-5). Suppose 409 = 4*r - t. Is r a multiple of 20?
False
Is 129/(-86) - (2 - 19546/(-4))/(-3) a multiple of 35?
False
Let l = 2484 + -969. Suppose 0 = -2*b - 6, 0 = -6*o + 3*o + 3*b + l. Does 21 divide o?
False
Let h be 18/4 + 84/56. Suppose 4822 = -y + h*y - 4*r, -4*r + 974 = y. Does 46 divide y?
True
Let z be (-112)/(-3)*15/20*12. Let l(x) = 9*x - 14. Let g be l(2). Suppose -2*o = g*w - z, -2*w + o = 3*o - 164. Is w a multiple of 4?
False
Let g(p) = -2*p**2 + 0*p**3 - 2*p + 22*p**3 + 26*p**3 - 1. Let s be g(-1). Let w = 39 - s. Does 13 divide w?
False
Let u be 2249/(-26) + 1 + 3/6. Let s = u + 416. Is 13 a factor of s?
False
Suppose 3*g - 3*c - 15334 - 8420 = 0, g - 7914 = 5*c. Is 150 a factor of g?
False
Suppose 28*d + 53*d = 182367 - 846. Is d a multiple of 22?
False
Is 65 a factor of 4130/1239*(2840 - 2)?
False
Let h be 45/(-6