5 + (14/35)/(d/705)?
False
Let s(t) = -9*t - 11. Let q be s(0). Let d = q - -5. Is 12 a factor of (-24)/((-27)/d + -5)?
True
Let d = -569 - -568. Is 29 a factor of d/(-4) + ((-17013)/(-4))/3?
False
Let p = 7859 - 2606. Is 18 a factor of p?
False
Does 76 divide 3 + (79 - ((-18)/8)/(12/(-32)))?
True
Let f = 14 + -9. Suppose -58*y + 486 = 370. Suppose f*u - y*u - 454 = -4*t, -5*u = t - 734. Is u a multiple of 13?
False
Suppose 4*c - c = -5*p + 2814, 2*p - 1130 = c. Does 39 divide (p/(-9))/(6/(-45))?
False
Let z = -1907 - -7501. Does 25 divide z?
False
Let a(h) = 28*h**2 - 154*h - 81. Is 212 a factor of a(-30)?
False
Let d(s) = 3 - 6 + 15*s + 35. Does 3 divide d(3)?
False
Let w = 315 + -302. Is (5 - w)*(0/2 - 100) a multiple of 40?
True
Let u(v) = v**2 - 10*v + 16. Let z be u(-6). Let t = -88 + z. Does 24 divide t?
True
Let l(h) = -5*h + 20. Suppose 2*q + 0*q + 3*r - 12 = 0, -q + 6 = -3*r. Suppose -4*n + 40 = -q*n. Is l(n) a multiple of 15?
True
Let t(g) = g**2 - 38*g + 42. Let y be t(37). Is 4 + (y + -10 - -17) a multiple of 4?
True
Let q = -84 + 78. Let d(s) = -9 + 2*s - s**2 - 7*s + 5*s**2 + 3*s. Is 15 a factor of d(q)?
False
Let u(s) = -3*s + 4*s + 20 - 4*s. Let f(d) = d**3 + 2*d**2 - d - 10. Let o be f(-3). Is u(o) a multiple of 34?
True
Let j be (-375)/(20/4)*78/(-15). Is 5 a factor of (6/(-4))/((-13)/j)?
True
Does 5 divide 264/858 + (-12394)/(-26)?
False
Let f be (1 - -1)*(-7)/(-7). Suppose -15*s + 7698 = -11*s + f*r, -4*s - 3*r + 7697 = 0. Is 35 a factor of s?
True
Suppose 4*o - 35 = 2*q - 7*q, -5 = -o. Suppose -5 = 5*k, 4*z + 0*z - q*k = 275. Let d = z - 54. Is d a multiple of 7?
True
Let d(t) be the second derivative of t**7/2520 + t**6/360 + t**5/40 - t**4/3 - 3*t. Let r(m) be the third derivative of d(m). Is 29 a factor of r(6)?
False
Let j = 20 - 17. Suppose -j*z - 920 = -5*z. Suppose z = -2*f + 7*f. Is f a multiple of 23?
True
Suppose 0 = 33*f - 153459 - 282636. Is f a multiple of 15?
True
Suppose -43*g + 41*g - 3*i = -50112, 4*i + 25045 = g. Does 7 divide g?
True
Suppose 2*h = 4*d - 2*d + 570, 0 = 2*h + 4*d - 600. Suppose 4*x + x - h = 0. Suppose 26 + x = 5*k - 3*p, 2*p - 76 = -4*k. Does 9 divide k?
True
Let g = 3 - 3. Suppose -2*z - s - 50 = -4*z, -76 = -3*z + 2*s. Suppose 111 - z = m - 2*c, 5*m + 2*c - 483 = g. Does 19 divide m?
True
Suppose 15 = -4*a + a. Does 46 divide (-1)/(a/7725) + -1?
False
Let g = 1560 + -1395. Is g a multiple of 3?
True
Suppose 26*x - 584421 - 29721 = -28*x. Does 51 divide x?
True
Suppose -10*v = -6*v - 9912. Suppose 6*n - 288 = v. Is n a multiple of 13?
False
Let s(l) = -3*l + 38. Let y be s(11). Suppose 0 = -2*u - y*g - 251, 0 = -4*u + 4*g + g - 577. Let b = u + 249. Does 14 divide b?
False
Suppose -5 + 1 = -s. Let r(w) = w**2 - 5*w + 6. Let h be r(s). Suppose 3*l - h*l = 96. Is l a multiple of 24?
True
Let p be 4*((-3)/6 + 1). Suppose -4 + 54 = 10*x. Suppose -2*i + q + 27 = 0, 73 = 5*i - p*q + x*q. Does 4 divide i?
False
Suppose -2*h + 75 - 445 = 0. Let a = 183 - h. Does 23 divide a?
True
Let f be (11/(-33))/((-5)/(-6) - 1). Let z(p) = -14*p + 11*p**2 - 23*p + 38*p. Is z(f) a multiple of 12?
False
Let r = 11326 - 5418. Is 28 a factor of r?
True
Let t = -85 + 87. Suppose 0 = k - 4, -p - t*k = -6*k + 42. Let r = 35 + p. Is r a multiple of 2?
False
Let t(d) = -24*d + 652. Is t(3) a multiple of 24?
False
Is ((-14)/(-12) + 27/(-18))*(-111051)/9 a multiple of 9?
True
Suppose 0 = f - 4*z + 53, -6*z + 103 = -2*f - z. Let p(i) = 10*i + 16. Let c be p(6). Let w = f + c. Is w a multiple of 17?
False
Let f(h) = -5*h**3 + h**2. Let n be f(-1). Let d(o) = 17*o**3 - 13*o - 17. Let l(t) = -8*t**3 + 6*t + 8. Let k(j) = n*d(j) + 13*l(j). Is 38 a factor of k(-4)?
False
Let n be (-4)/(-16) + (22242/8)/3. Suppose -5*y + n = t, -t - 4*y - 105 = -1029. Suppose -2*o = 10*o - t. Is o a multiple of 19?
True
Is 4694*(228/24 - 9) a multiple of 39?
False
Suppose g = -5*t + 10252, 22839 = 4*g - 3*t - 18031. Is 19 a factor of g?
True
Suppose p - a = -3*p - 9840, -4*a = -2*p - 4920. Let z be 2/3 + p/(-9). Suppose -3*q - 110 + 385 = 4*j, -4*j + z = 2*q. Is j a multiple of 34?
True
Let j = -14 + -8. Let u(g) = 4*g - 60. Let v(z) = z - 1. Let i(n) = -u(n) - 4*v(n). Is i(j) a multiple of 24?
True
Let k = -908 - -3898. Is k a multiple of 65?
True
Let o(x) be the first derivative of 9*x**2/2 + 47*x + 11. Let w be o(-5). Suppose n - w*v - 163 = 0, 6*n + v - 661 = 2*n. Is 33 a factor of n?
True
Let t(z) = z**2 + 6*z - 20. Let h be t(-9). Suppose 5*l = h*l - 56. Let r = l - 25. Does 3 divide r?
True
Let y(x) = -x**3 + 3*x**2 - 2*x + 1. Let c be y(-3). Suppose -21*g - 1446 + 207 = 0. Let q = g + c. Does 2 divide q?
True
Let k(v) = -v**3 + 79*v**2 - 255*v - 280. Is k(75) a multiple of 5?
True
Suppose -3*g + 2*x - 52 = 0, -g - 10 - 9 = -x. Let h(l) = -2*l**2 - 33*l - 16. Does 7 divide h(g)?
False
Let b(n) = 29*n**2 + 3*n - 10. Let k = -45 + 46. Suppose 3*d - 2*c = 8, -c = -0*c + k. Is b(d) a multiple of 14?
True
Let o(d) = -9*d - 67. Let i be o(-7). Let x be (-234)/12 + (-6)/i - 4. Is 22 a factor of (-2 - (1 - -5))*x/4?
True
Let f(a) be the first derivative of 101*a**2/2 - 129*a - 2. Is 78 a factor of f(9)?
True
Suppose -9*m - 387 = -1863. Suppose -169*h = -m*h - 25. Suppose -h*s = -5, s + 149 = 5*f - 0*s. Is f a multiple of 5?
True
Let l = 52 - 49. Let f(x) = 9*x**2 - 17 + l*x**2 - 3*x - 11*x**2. Does 16 divide f(-7)?
False
Suppose -d + 2904 = 5*z, -2*d + 7492 - 1726 = 3*z. Does 29 divide d?
False
Let v = -2233 + 9427. Does 11 divide v?
True
Let z = 274 + -436. Let f be ((-668)/3)/(36/z). Suppose 10*i - f = 1438. Is i a multiple of 61?
True
Let m = -1223 + 4503. Is m a multiple of 6?
False
Let q be (2 + (1 - 2))*5. Is 47 a factor of (141/(-2))/(q/(-10))?
True
Suppose -3*b - x = -0*x - 8, 2*b + 4*x = -8. Let j(y) = -y**3 + 29*y**2 + 34*y - 59. Let q be j(30). Suppose -q = b*z - 197. Is 14 a factor of z?
False
Suppose 0 = 4*b - 13*b + 90. Suppose 5*t - 10 = b. Suppose -115 = -2*z + f + 2*f, 4*f - 200 = -t*z. Does 35 divide z?
False
Let p = -20390 + 29265. Is p a multiple of 71?
True
Suppose 0 = 463*l - 40*l - 29*l - 10444546. Is 7 a factor of l?
True
Let n = 14 - 19. Let f = -15 - n. Is (90/25)/((-4)/f) even?
False
Let j(b) = 11*b + 138. Let v(c) = 32*c + 416. Let p(d) = -8*j(d) + 3*v(d). Is p(-15) a multiple of 3?
True
Let w(n) = n**3 + 44*n**2 - 67*n - 225. Is w(-41) a multiple of 19?
False
Suppose 5*k = 2*k + 6. Let l(g) = -4 - g + 4*g**2 + 3*g**k + g**2 - 3*g. Does 18 divide l(-2)?
True
Suppose -7 = -0*w + w - 3*n, -n + 1 = 0. Let i be w/(-38) + (-47866)/(-133). Suppose -5*h + i = -h. Is 18 a factor of h?
True
Let u(m) = -3*m**2 - 27*m - 20. Let k be u(-8). Suppose z + 4*z - 450 = k*w, -173 = -2*z + 3*w. Is 18 a factor of z?
False
Let o(f) = 3*f - 35. Let h be o(11). Let s be 1/h + 27/6. Suppose -g + 73 = -4*c, -8*c + 372 = s*g - 4*c. Is 10 a factor of g?
False
Let r(m) = m**2 - 12*m + 35. Suppose 0 = -3*s + 2*s + 7. Let j be r(s). Suppose 29*z - 24*z - 65 = j. Is z a multiple of 13?
True
Let m(h) = -3*h**2 + 17*h - 4. Let c be m(5). Suppose 2*k - c*k = -220. Is (k - (0 + 2)) + -2 a multiple of 10?
False
Let u(a) = 10*a**3 - 13*a**2 - 18*a + 10. Let z be u(8). Suppose -19*o = -z - 14067. Is 24 a factor of o?
False
Suppose 6*y + 20 = 14. Is ((-16)/12 - y) + (-982)/(-3) a multiple of 25?
False
Let x(d) be the third derivative of -1/60*d**5 + 6*d**2 + 0 + 0*d - 5/6*d**4 - 4/3*d**3. Is x(-13) a multiple of 28?
False
Suppose -15*t + 16*t = -2. Let y = 6 + t. Suppose -4*b + 148 = -b - 4*z, 5*b + y*z = 204. Does 11 divide b?
True
Let c(r) = 41*r + 20. Let w(m) = 124*m + 60. Let t(i) = 8*c(i) - 3*w(i). Let a be t(-5). Suppose q = -q + a. Is q a multiple of 20?
True
Suppose -1485 = -3*p + 14*p. Let u = 293 + p. Is 9 a factor of u?
False
Suppose 4 = -s, 3*h - 4*s + 10 - 20 = 0. Does 19 divide -2*9289/28*h?
False
Let i(d) = d**3 - 11*d + 22. Suppose -10 = 10*y - 12*y. Is 12 a factor of i(y)?
False
Let j(a) = 10 + a + 5 + 4 - 11. Let l be j(0). Does 5 divide l + -5 + 1 + 7?
False
Let q(n) = 2*n**2 + 3*n - 4. Let b be q(-3). Let i(r) = -23*r + 890. Let z be i(40). Is b/10*-4 - (z + -1) a multiple of 11?
False
Let l(d) = -159*d - 19. Is l(-6) even?
False
Suppose -35664 = -3*h - 7*s + 4*s, -h = 2*s - 11888. Does 91 divide h?
False
Suppose 142*m = 242981