 -5*v - 2060 = -5*j. Is j a multiple of 56?
False
Let i = 1350 + 839. Does 11 divide i?
True
Let q(z) = z**3 + 10*z + 30. Let x be q(-9). Let w = -426 - x. Does 30 divide w?
False
Let d(y) = 5*y**3 + 4*y**2 - 12*y - 9. Let w be d(-4). Let t = w - -518. Does 45 divide t?
False
Let r be (6/4)/((-48)/(-5696)). Suppose -2*m + d = 12 + r, -m - 95 = 5*d. Let o = m + 137. Does 14 divide o?
True
Let o be (-1 + -44)*(-14)/(-35). Is (-248)/(-1) - 2*(17 + o) a multiple of 10?
True
Let j(l) = 22*l + 10 + 40 + 7. Is j(3) a multiple of 23?
False
Let o = -1337 + 1923. Is o a multiple of 19?
False
Let n(p) be the third derivative of p**8/20160 + 13*p**7/5040 - p**6/90 - p**5/20 - 17*p**2. Let h(d) be the third derivative of n(d). Is 3 a factor of h(-14)?
True
Let l = -445 - -430. Let m(s) = -s**3 - 14*s**2 + 14*s + 102. Is m(l) a multiple of 13?
True
Let j be (-3)/(-3)*(2 - 0). Let i(r) = 13*r + 3. Let a be i(j). Suppose a = 6*z - 481. Does 12 divide z?
False
Suppose 5*d - 19 = y, -5*d + 16 = -2*d + 4*y. Suppose 0 = -d*p + 8 + 12. Suppose -41 = -p*c + 109. Is 11 a factor of c?
False
Does 17 divide 289611/28*(-360)/(-135)?
False
Let y(p) = -27*p - 20. Let q be y(6). Let h = -105 - q. Suppose 3*a - h = 5*m + 19, 4*a - 114 = 2*m. Is a a multiple of 9?
True
Let j(s) = -s**3 + 6*s**2 + 7*s + 13. Let d(w) = -2*w**2 + 10*w - 1. Let i be d(4). Let n be j(i). Suppose -12*t = -n*t + 49. Is t a multiple of 7?
True
Let s(b) = -3*b**3 - 3*b**2 + b + 14. Let z be s(-4). Let o = -73 + z. Is 19 a factor of o?
False
Is 17230304/582 + -1*8/(-12) a multiple of 113?
True
Let m(o) = -o**3 + 3*o. Let b be m(3). Let g be 28/126*(0 - b/2). Suppose -2*d - 4*l + 116 = 0, d + 134 = 4*d - g*l. Does 8 divide d?
True
Let z(c) = 4*c + 13. Let b be z(-5). Let x(r) = r**2 - 10*r - 6. Let q be x(b). Let y = 157 - q. Is 11 a factor of y?
True
Is 68 a factor of 172/(-3)*(-32508)/56?
False
Let t = -8215 - -12575. Is t a multiple of 48?
False
Let i(m) = -4*m + 98. Let u be i(23). Does 25 divide 12/(1*u/150)?
True
Suppose 420*p - 373029 = -102*p + 354117. Is 7 a factor of p?
True
Let x = 125 - 89. Let t = -31 + x. Suppose -f + 60 = -t*p, 2*p - 5 = 3. Does 27 divide f?
False
Let f be (-2)/(11*(-6)/(-6))*-11. Suppose 2*y - 658 = -2*v, f*y + 2*v - 4*v - 658 = 0. Is 21 a factor of y?
False
Suppose 23*q + r = 21*q + 20272, 5*r = -8*q + 81092. Is 87 a factor of q?
False
Suppose -3*p + 65295 = z + 18602, 0 = -5*p + 4*z + 77816. Does 12 divide p?
True
Let y = 79 + -391. Let o = 124 - y. Suppose 3*v = -2*w + 259, -4*v + w = v - o. Is v a multiple of 29?
True
Let a(w) be the second derivative of -w**4/12 + w**3/2 + 81*w**2/2 + 50*w. Does 11 divide a(-7)?
True
Let n(o) = 4*o**3 + 90*o**2 + 39*o + 223. Does 7 divide n(-21)?
False
Is 3 + 575/(-225) + (-188996)/(-9) a multiple of 84?
True
Let r(p) = -p + 38. Suppose -3*k + 50 = 5*o + 2*k, -k + 28 = 4*o. Let u(i) = 8*i - 32. Let l be u(o). Is r(l) a multiple of 9?
False
Let x(r) = 106*r + 5 + 32*r - 115*r. Let z = -6 - -7. Does 14 divide x(z)?
True
Let o(u) = u**3 + 3*u + 15*u**2 - 18*u + 3 + 17. Let r be o(-16). Suppose 0 = -3*k + 12, 53 = r*w - 2*k - 47. Is 9 a factor of w?
True
Let n be 11/((15/(-5))/3). Let g be (n - -7) + (-2 - -12). Is 22 a factor of g/(1*9/78)?
False
Suppose -57528 = 30*s - 77*s. Is 11 a factor of s?
False
Let s(n) = -314*n + 2. Let c be s(1). Let i = 541 + c. Does 42 divide i?
False
Suppose -56*m = -2462911 - 36481. Does 7 divide m?
True
Suppose 8*l + 428 = 2*y + 4*l, -4*l = y - 202. Is 15 a factor of y?
True
Let z(r) = 1352*r - 2571. Is z(48) a multiple of 13?
False
Let z = -212 + 214. Suppose -2*f + u + 341 = 0, -96 - 244 = -z*f + 2*u. Does 9 divide f?
True
Suppose 6 = 7*j - 5*j. Suppose t = j*t - 304. Suppose 5*d = -4*c + t, c = -c + 5*d + 76. Is c a multiple of 28?
False
Suppose 25 = 5*h, -3*j = -8*j + 3*h - 15. Does 16 divide (j + 1/(-3))/(24/(-33624))?
False
Let x be 121 - (-10 - -3 - -6). Suppose 8*l + x = 1722. Is 25 a factor of l?
True
Let d(c) = c + 5. Let x be d(-3). Let i be ((-1)/x)/((-2)/(-3280)*-1). Suppose 4*n + 16 = 0, 5*n = -5*q - 0*n + i. Is 12 a factor of q?
True
Let p(d) = d**3 - 91*d**2 + 596*d - 201. Is 6 a factor of p(84)?
False
Suppose -22*f - 3*f = -100. Suppose -l + 4*h = -164, -2*h = -f*l + 578 + 50. Is 33 a factor of l?
False
Let a = -586 - -596. Is 4 a factor of 16/(-6)*((-255)/a + 0)?
True
Suppose 11*m - 27685 = 21078. Does 13 divide m?
True
Let k(i) = i**3 - 58*i**2 + 190*i - 86. Does 12 divide k(55)?
False
Suppose 345 + 339 = 6*b. Let m be b/(-24) + 5 - 1/4. Suppose -3*t + 77 = -s, 5*s + 7 + m = t. Does 20 divide t?
False
Let t(c) = c**3 - c + 1. Let x(r) = -2*r**3 + 18*r**2 + 2*r + 11. Let n(a) = 3*t(a) + x(a). Does 9 divide n(-16)?
False
Let v = 709 - 161. Suppose -4*s = -2*g + v, 5*g + 949 = s + 2337. Suppose j = -j + g. Is j a multiple of 21?
False
Does 11 divide (64 + -53)*(-5 + 234)?
True
Let q(d) = -d**3 + 2*d - 14. Let o be q(7). Let h = o + 401. Is 2 a factor of h?
True
Let k be (27/(-3) - -75)*(-222)/9. Let x = k + 2314. Is x a multiple of 98?
True
Let u(i) = 40*i + 6600. Does 7 divide u(-126)?
False
Suppose -12*b + 18*b + 18 = 0. Is b/12*2 - 322/(-4) a multiple of 6?
False
Suppose 5*z - 3*o - 3240 = 0, 504 + 792 = 2*z + o. Let q = z + -438. Is 10 a factor of q?
True
Suppose 0*p - 71 = -5*t - 4*p, -25 = -3*t + 2*p. Let s(g) = -g**3 + 10*g**2 + 11*g - 2. Let y be s(t). Let b(j) = -9*j**3. Does 24 divide b(y)?
True
Let n = 940 - -47. Is 21 a factor of n?
True
Suppose 1147*z - 1084*z - 831096 = 0. Does 68 divide z?
True
Let l(a) = -70*a + 2704. Is l(-26) a multiple of 78?
True
Suppose -5*y = -2*o + 12288, 5*o - 3*y + 1128 - 31810 = 0. Is 23 a factor of o?
False
Suppose -135*z - 42487 = -8252 - 209465. Is 11 a factor of z?
True
Let q = 309 + -304. Suppose 0 = -q*t - 4*l + 21, -4*t = -0*t + 2*l - 18. Is t a multiple of 3?
False
Suppose 0 = 22*d - 26*d + 20. Let h be 102 - (-20)/(d/(-1)). Suppose -6*x + h = -316. Is x a multiple of 29?
False
Suppose 7*m + a - 38 = 2*m, -4*m = -2*a - 22. Suppose -u + 4*p - m + 40 = 0, -3*p = -u + 37. Is u a multiple of 6?
False
Let f = 23799 - 18488. Is f a multiple of 2?
False
Suppose -118*o + 1665 = -103*o. Is 9 a factor of (43*-1)/(o + -112)?
False
Suppose -87419 = -91*s + 20*s + 417036. Does 49 divide s?
True
Suppose -5*y = -z + 23, 6*y = 2*y + 4*z - 28. Let h be 2*116/(-2)*y/(-16). Is h/(-116) - (1054/(-8) - 1) a multiple of 27?
False
Suppose -45393*w + 45379*w = -161602. Is 97 a factor of w?
True
Let c = -298 + 488. Let h = c - -25. Does 21 divide h?
False
Let s(u) = u**3 + 12*u**2 + 5*u - 9. Suppose -4*z + 2*x + 3 + 51 = 0, -3*x - 6 = -z. Suppose -d - 5*i - 6 = 0, -d - z = -2*i - 2*i. Does 18 divide s(d)?
False
Let p(l) = 2*l**2 - 3*l - 34. Let x be p(15). Suppose 372*f - 477 = x*f. Is 53 a factor of f?
True
Let f(z) = 17*z**2 - 3*z - 34. Let a(b) = -69*b**2 + 12*b + 136. Let l(y) = -6*a(y) - 22*f(y). Does 74 divide l(-5)?
True
Let f = 2934 - 2874. Is f a multiple of 6?
True
Let l(p) = -2*p**3 + 3*p**2 + 13*p - 3. Let y be l(3). Suppose -y*z = -4*z - 3795. Does 32 divide z?
False
Let p = -22378 + 29551. Is p a multiple of 9?
True
Let z(s) = -16*s**3 + 4*s**2 + 6*s + 6. Suppose 5*k - 5*f = -30, -4*k + f - 4 = 2*f. Does 17 divide z(k)?
False
Let n = -13 + 670. Is 67 a factor of (-5)/(-4 + -1)*n?
False
Let j(t) = -8*t + 115. Let w be j(-24). Suppose w = 3*z - 35. Is z a multiple of 6?
True
Let x(k) = -k + 1. Let n(t) = -t**3 + 5*t**2 - 15*t + 10. Let v(o) = -n(o) + 5*x(o). Let i be v(5). Let y = i - -25. Is 14 a factor of y?
True
Let b(s) = -5*s - 6. Let d be b(-4). Let p(t) = -t**3 + 14*t**2 + 28*t - 32. Is p(d) a multiple of 40?
True
Let v be (3/(3 - 2))/(3/4). Suppose -1 = 5*h - 2*m, v*h - 2*m - 1 = -3. Suppose -r = -4*o - 30, o - h = -0. Is 34 a factor of r?
True
Let h = 54 - 48. Suppose 17*b = h*b + 1650. Is b a multiple of 4?
False
Let x(v) = 18*v**2 + v + 1. Let d be x(-2). Suppose 0 = p + 2*r - 0*r - 4, p = -r + 2. Suppose p = 2*f - 215 + d. Is f a multiple of 18?
True
Suppose -8 - 16 = -6*k. Suppose -v = 4*o + 8 - 26, 0 = k*v + o - 12. Suppose 11*z - v*z = 486. Is z a multiple of 13?
False
Let j be 1*18*17068/(-102). Is (132/(-10))/(j/215 - -14) a multiple of 11?
True
Suppose 5*w = 35, 5*u - 8253 = 142*w - 141*w. Is u a multiple of 28?
True
Let t(s) =