- t. Is 63 a factor of v?
True
Let r be (-19)/(-57) + 50/(-6). Let z(s) = s**2 - 9*s - 24. Does 14 divide z(r)?
True
Let q = 3220 + -1056. Does 24 divide q?
False
Suppose 0 = 4*v + 4*s - 16459 - 6353, 3*s = 5*v - 28507. Is v a multiple of 3?
False
Let m(g) = 73*g - 11. Let c be m(3). Suppose 7*j = 2*j - a - c, -3*j - 3*a - 132 = 0. Let d = 91 + j. Does 4 divide d?
False
Let l(n) = n**2 + 10*n - 50. Let i be l(-14). Suppose -713 = -i*d + 79. Is d a multiple of 12?
True
Let i(n) be the second derivative of n**4/3 + 17*n**3/6 + 23*n**2 - 9*n + 3. Is i(-4) a multiple of 3?
True
Let p(f) be the third derivative of f**7/5040 + f**6/36 - 11*f**5/60 - 4*f**2. Let g(l) be the third derivative of p(l). Is g(9) a multiple of 10?
False
Let u = 30 - 26. Suppose -j - 2 = -u. Suppose m + 87 = 4*m + j*k, 4*k = -12. Is 4 a factor of m?
False
Suppose -5*f - 4*v + 44481 = 0, 13*f - 8*f + 5*v = 44480. Does 41 divide f?
True
Let x = -209 - -206. Let v(d) be the second derivative of -d**5/20 - d**4/3 - d**3/2 + 2*d**2 + d. Does 2 divide v(x)?
True
Suppose -3*y - 4 = -13. Let v(d) = 5 + 6 + 8*d - 4*d - 12*d**2 - 13*d + d**y. Does 11 divide v(13)?
False
Let z(g) = 99*g**2 + 13*g - 44. Let n be z(3). Let y = 1678 - n. Is y a multiple of 88?
True
Suppose 14 = 3*g + 5. Suppose -w + u - g*u = -224, -4*w = -2*u - 946. Is w a multiple of 13?
True
Suppose 2*g = d + 8, -2*g + 1 = -3*d - 7. Is 4 a factor of (d - 177/(-2))*(-60)/(-45)?
False
Suppose 6*u = 10*u - 4. Is (u - -1)*((-15855)/(-10))/7 a multiple of 79?
False
Let q(k) = -k - 15. Let n be q(-17). Suppose c + j = n, 3*c + 2 = 2*c - 3*j. Suppose -c*v + v + 6 = 0, -134 = -3*s + 5*v. Is 16 a factor of s?
True
Suppose -2055 = -8*w + 2257. Let j = w - 199. Is 17 a factor of j?
True
Suppose 5*b + 100 = 860. Suppose -3*t + 82 = -b. Is t a multiple of 26?
True
Suppose 34*s - 937217 - 456318 = -21*s. Does 13 divide s?
True
Let s be 2072/(-20) - (-10)/(-25). Suppose -5*v = 5*l + 61 + 149, 152 = -4*v + 4*l. Let n = v - s. Is n a multiple of 14?
False
Suppose 0 = 4*x - 5*o - 793, x + 2*o + o - 194 = 0. Let w = x + -105. Let u = w + -67. Does 25 divide u?
True
Let m(r) = 3952*r**2 + 18*r + 9. Is m(-3) a multiple of 11?
False
Suppose 0 = -5*o + 6*o - 4. Suppose -2*v - o = -10. Suppose 2*d = -v*f + 184 + 58, -12 = 3*f. Is 15 a factor of d?
False
Suppose 0 = -2*b - 4*y - 4 - 26, 0 = -b + 3*y + 10. Let h be (1054/b + -1)*(-19 + 14). Suppose -h = -5*r + w, -3*w + 2 = -w. Is 53 a factor of r?
True
Suppose -12*r + 7*r - 30 = 0. Let g = r - -6. Suppose a + 5*a - 96 = g. Is a a multiple of 8?
True
Let x(l) be the third derivative of l**4/8 + 8*l**3/3 + 14*l**2 - 1. Is x(5) even?
False
Let m = 14270 - 4918. Is 28 a factor of m?
True
Let c = 5826 + -4741. Does 5 divide c?
True
Let z(k) = k**3 + 6*k**2 + 5*k + 5. Let w be z(-5). Suppose -4*m + 6*m + w*i = 27, 0 = -m + 3*i - 3. Does 14 divide (-18)/m - (-70 + -2)?
False
Let h(m) = 2374*m**2 - 665*m + 1324. Is h(2) a multiple of 26?
True
Let u = 515 + 356. Suppose 0 = 5*t - u + 51. Is t a multiple of 10?
False
Let p be ((-39)/9)/(7/(-21)). Suppose p*b - 15*b = -3*y + 831, 3*b + 270 = y. Does 9 divide y?
True
Suppose -q - 2052 = 5*u - 11008, q - 4*u = 8902. Is q a multiple of 19?
False
Let d = -5 - -148. Suppose 38*f - 140 = 10*f. Suppose -f*a + d = -472. Does 30 divide a?
False
Suppose 58318*l = 58315*l + 13944. Is 8 a factor of l?
True
Let y be ((-52)/24 - 1) + (-1)/(-6). Let v(c) = 20*c**2 - c + 9. Is 32 a factor of v(y)?
True
Does 78 divide (12725/15 + -4)/(87/4698)?
False
Let x(y) = 39*y**3 + 3*y**2 - 6*y + 6. Let k be x(2). Let u = k - 121. Is 7 a factor of u?
False
Let a = 40 + 10. Let v = 64 + -69. Let p = a + v. Does 9 divide p?
True
Let m(f) be the first derivative of f**5/60 - 5*f**4/12 + 5*f**3/2 - 7*f**2 - 21. Let p(t) be the second derivative of m(t). Is 7 a factor of p(14)?
False
Suppose 20 = 3*a + 2*h, -2*a - 4*h = a - 28. Suppose -6*k + 9*k = a*g + 862, 4*g = -2*k + 548. Is k a multiple of 47?
True
Let i(l) = l**2 - l - 9. Let v = -30 + 27. Let b be i(v). Is (134/(-5))/(3/(-45)*b) a multiple of 43?
False
Let o(c) = -2*c**3 + 9*c**2 - 2*c - 8. Let n be o(4). Suppose -5*m - 4*q = -2*m - 41, n = 4*m + 5*q - 53. Let b(r) = 11*r - 15. Does 6 divide b(m)?
False
Let h = -44961 - -81721. Is h a multiple of 20?
True
Let d(h) = -h**3 + h**2 - h + 1. Let z be d(0). Let a = z + 1. Suppose 5*v + u - 858 = 0, -4*u = v - a*v + 180. Is v a multiple of 26?
False
Let f(a) = -a**2 + 26*a - 130. Let b be f(19). Let t = b - -113. Is 29 a factor of t?
True
Let o(t) = 142*t**2 + 179*t - 1056. Is 18 a factor of o(6)?
True
Suppose 12*s = -4*s + 208. Let j = -4 + s. Suppose -j*r + 510 = r. Does 16 divide r?
False
Let i(r) = 12*r**2 - 6*r + 4. Let k = -30 + 26. Let d be i(k). Is 11400/d - (-4)/22 a multiple of 26?
True
Suppose 10*w - 39 = -3*w. Suppose -w*b = -2*k + 98 + 48, 3*k - 2*b - 224 = 0. Is 5 a factor of k?
False
Suppose -b + 3*j + 575 = 0, -b - 2*b + 1700 = -4*j. Is b a multiple of 24?
False
Suppose -58*p + 55*p = 12. Let n be (2/p)/(3/78). Let d(f) = f**2 + 9*f + 13. Is d(n) a multiple of 19?
False
Let f(i) = -i**3 - 8*i**2 - 7*i - 49. Let z be f(-18). Suppose -31*p + z = -434. Is p a multiple of 121?
True
Let j be (-3340)/(-8) - 9/(-6). Suppose 0 = -n + 205 + j. Is n a multiple of 14?
False
Let s = 107 + -105. Suppose -2*z + 3*d + 7 = 3*z, -s*d + 2 = 0. Suppose 3*h = 4*k + 158, -z*h - 112 = -4*h + k. Does 29 divide h?
True
Suppose 29853 = -4*m - 27*m. Is 14 a factor of (-24)/(-13 - -5) - m?
True
Let n = -3 + -30. Let z = 48 - n. Is 27 a factor of z?
True
Suppose -5*z - 58 = -78. Suppose -4*v + 980 = 3*n - 376, -3*v - z*n + 1010 = 0. Does 20 divide v?
False
Suppose -5*j - 113 = -648. Let c(t) = -t**3 - 19*t - j*t**2 + 7 + 91*t**2 + 1. Is c(-15) a multiple of 8?
False
Let u = -629 - -1487. Suppose 4*f = -3*p + u, 2*f = -3*f - p + 1067. Is f even?
False
Let a = 17063 - 16237. Is 59 a factor of a?
True
Suppose 2*u = 5*r + 25649, 39*r - 10 = 37*r. Does 4 divide u?
False
Let f(q) = 7*q**2 - 458*q + 1835. Does 2 divide f(4)?
False
Suppose k + 132 = 2*l, -2*k + 3*l - 269 = -0*k. Let z = k + 214. Is z even?
True
Suppose 8095*k - 53280 = 8083*k. Is k a multiple of 60?
True
Suppose 11*u - 24 = 3*u. Suppose 3*d - y = -2*d + 137, -u*y + 37 = d. Suppose -12*r + 14*r = d. Is r a multiple of 2?
True
Let u = 12080 + -5237. Is 40 a factor of u?
False
Let k(b) = b**3 - 2*b**2 + b + 6. Let p be k(0). Let r(j) = p + 1 - 22 + 0 - 2*j. Does 3 divide r(-11)?
False
Let g(m) = -6*m**3 - 15*m**2 - 39*m - 38. Is 14 a factor of g(-12)?
True
Let t = 43 - 44. Let l be 103*((-1 - t) + -1). Let y = -37 - l. Is y a multiple of 18?
False
Suppose -u - 24 = -4*u. Suppose -3*q - u = -2*d, -d - q + 16 = 3*d. Is 5 a factor of (-5 - d/(-2))/((-2)/36)?
False
Is 25 a factor of (-238)/(-714) + 12658/6?
False
Suppose 0 = -71*p + 79*p. Is 17 a factor of (-1)/(-2) + p + 1535/10?
False
Let s = 791 + -532. Let a = s + -449. Let c = 266 + a. Does 14 divide c?
False
Suppose -3*a = -4*a + 4*n + 68, -5*a - 2*n = -252. Suppose -3*w + a = 2*y + 466, 5*y - w + 1069 = 0. Let k = -113 - y. Is k a multiple of 25?
True
Let y(a) be the first derivative of -a**4/4 - 5*a**3/3 + 2*a**2 + 6*a - 1. Suppose 0 = -12*q - 16 - 56. Does 4 divide y(q)?
False
Let u(y) be the second derivative of -5*y**4/12 - 38*y**3/3 + y**2/2 + 64*y. Does 16 divide u(-15)?
True
Let p be (0/1 - 4)*(9 - 10). Suppose -12*n + 8*n = -4*y + 2752, -p*y = -5*n - 2749. Is y a multiple of 20?
False
Suppose -4*y = -2*m - 814, 3*m + 7*y = 4*y - 1266. Let l = -287 - m. Is l a multiple of 16?
False
Suppose -366*t = -362*t - 49324. Is t a multiple of 11?
True
Let g(w) = -3*w**3 - 12*w**2 + 9*w + 11. Let x(o) = -o**3 - 6*o**2 + 4*o + 5. Let t(z) = 2*g(z) - 5*x(z). Let v be 50/5*35/70. Does 12 divide t(v)?
True
Suppose 1 = -5*z + 91. Suppose 0 = z*f - 31*f + 1365. Does 7 divide f?
True
Let f(y) = y**3 - y**2 + y - 49. Let q be f(0). Let u be 136/(-16)*2/1. Let i = u - q. Is 16 a factor of i?
True
Suppose -p + 262 - 70 = 0. Is 5 a factor of (-3)/(18/(-212)) + 128/p?
False
Suppose 21 = 5*y + 1. Let m = 157 - 145. Suppose m = u + 3*k, -y = -2*k - 0. Is u a multiple of 3?
True
Let m be 2/4 + 45/6 + -4. Let n be (-1922)/(-8) + m/16*-1. Let d = n + -109. Is d a multiple of 23?
False
Let c be 20/6 + (