k) = -14*k**2 - 2*k + 7. Let a be s(1). Is (50211/(-5))/a + 1/5 a multiple of 36?
True
Let p(c) = 6*c**3 - 3*c**2 - c - 7. Suppose -2*q - 11 + 2 = -3*h, 0 = 5*q + 5*h - 40. Let b be p(q). Suppose 0 = -4*y + 749 - b. Does 34 divide y?
False
Let u be ((-558)/(-7))/((-298)/(-3129)). Suppose -w + 18 = 1. Suppose 10*s - u = -w. Is 21 a factor of s?
False
Suppose -18 + 58 = 2*t - 5*s, 2*s - 71 = -5*t. Let c = t - -57. Is 24 a factor of c?
True
Let m(v) = -163*v**2 + 4*v + 5. Let h(w) = 2*w**2 + w + 1. Let s(c) = 3*h(c) - m(c). Is 14 a factor of s(-1)?
True
Let f(w) = w**3 + 74*w**2 + 16*w - 584. Is 52 a factor of f(-48)?
True
Let q(x) = -x + 18. Let s be q(17). Let p be 1*44 - (5 - 3 - s). Let v = p - -11. Is v a multiple of 6?
True
Let l = -10436 - -17276. Is 12 a factor of l?
True
Let n = -931 - -1444. Suppose -n*j - 558 = -519*j. Does 58 divide j?
False
Let n = 1476 + 2099. Is n a multiple of 11?
True
Let t(u) = u**3 - 2*u**2 - 4. Let v be t(0). Let o be (-26)/v*32/2. Is (-90)/(-18) - o/(-2) a multiple of 32?
False
Suppose -11*a = -10*a + 5*g - 4190, 0 = -14*g - 28. Does 100 divide a?
True
Let o(v) = v**2 - 15*v + 878. Is o(100) a multiple of 21?
False
Let u(l) = l**2 - 9*l + 1. Suppose -15 = -3*b + 12. Let t be u(b). Let m(o) = 149*o - 1. Does 37 divide m(t)?
True
Suppose 0 = -18*h + 59*h - 75276. Is h a multiple of 34?
True
Let q be (-624)/(-3) - (2 + -1). Suppose -4*r + 311 = -0*r - 3*n, 3*r = -3*n + q. Suppose 7*o = r + 52. Is 6 a factor of o?
True
Suppose -3*j + 8*n - 3*n + 158 = 0, n + 117 = 2*j. Let w = j + -57. Suppose -w*b + 13 = -359. Is b a multiple of 31?
True
Suppose 505 = -5*b + 520. Let l be (1/(-2))/(2/(-24)). Is b*(88/l - 5) a multiple of 8?
False
Let s(b) = b**3 + 56*b**2 + 41*b - 566. Is 24 a factor of s(-49)?
True
Let z be ((-1)/2)/((-2)/(-10320)*6). Let d = z + 565. Does 9 divide d?
True
Is 11 a factor of (-66)/(-6) - 48035/(-20)*4?
False
Let f = 16 - 13. Suppose f + 36 = 2*o + 5*r, -4*r = 5*o - 55. Suppose m = 3*k + 10, -o*m - k + 50 = -2*m. Is m a multiple of 5?
True
Suppose -2*f = 2*n + 2*f - 12, 0 = n + 5*f - 6. Let h(q) = -2*q**2 - 4*q + 12. Let z be h(n). Is 18 a factor of 1626/(-8)*z/63?
False
Let j be -3 + (-6608)/24*-3. Let n = -466 + j. Does 12 divide n?
False
Let l = 298 + -345. Is 92 a factor of (l - 1)*69*7/(-42)?
True
Let g(h) be the third derivative of 0*h + 1/5*h**5 + 1/2*h**3 + 0 + 0*h**4 + 16*h**2. Is g(2) a multiple of 14?
False
Suppose -5*g + 0*c + 3*c = -530, 4*g - 4*c - 416 = 0. Is 8 a factor of g - (-6 + 15/5)?
True
Let c be 26/(-65) + (-42)/(-5). Let q be (51/(-2))/((-6)/c)*2. Is 3/(2 + q/(-36)) a multiple of 27?
True
Let u = -14 + 23. Let k(z) = 19*z + 12. Let i(t) = -3*t + 1. Let m(l) = 6*i(l) + k(l). Does 24 divide m(u)?
False
Suppose -3*m = 11*d - 15*d + 23, -2*d - 5*m + 5 = 0. Let b(o) = 165*o - 220. Does 11 divide b(d)?
True
Let c be -6 + (-2124)/(-4) + 0. Let n = 793 - c. Is n a multiple of 13?
False
Suppose 643 = -4*g - 5*w, 0 = -4*g + 2*w - 717 + 95. Let i = 527 + g. Does 5 divide i?
True
Let t be 72/9 + (-1 - 1). Suppose -3*x = -3*c + 6, -c - 5*x = 2*c - t. Is 13 a factor of (176/c)/4 + 4?
True
Let w be -2 - (-1)/(-1 - 0). Let r be (55/33)/((-1)/w). Is 23 a factor of 573/5 - (-2)/r?
True
Suppose -83*j = 3*u - 79*j - 46897, -2*u + 2*j = -31260. Does 203 divide u?
True
Let n(c) = 724*c + 608. Is n(19) a multiple of 28?
True
Let l be 6/1 - (-1)/(2/(-2)). Does 4 divide 1/l*279 - 117/(-585)?
True
Let j(h) = -9*h**2 + 72*h. Let p be j(2). Is (3 + p/(-20))/(9/(-690)) a multiple of 2?
True
Is 2*(350950/500)/(1/5) a multiple of 9?
False
Let d be 385 + 1/(-2)*(-8 + 6). Suppose 0*r - 5*r - 4*a = -450, -4*r = -2*a - d. Let p = r - -17. Is p a multiple of 37?
True
Let w = 158 - 149. Let p = w - -212. Is 6 a factor of p?
False
Suppose 3*z - 6*w = -11*w - 1457, -5 = 5*w. Let t = z + 525. Is t a multiple of 16?
False
Suppose -5*h - 228*l = -224*l - 244248, -3*h - 3*l = -146550. Does 8 divide h?
True
Suppose -12*i = -4475 - 10370 - 3791. Does 100 divide i?
False
Let x = -12 + -136. Is ((-1)/(-2)*4 - x) + 4 a multiple of 14?
True
Suppose -c = -886*y + 882*y - 604, c - 572 = -4*y. Is 12 a factor of c?
True
Let y = -48 + -31. Let d = -1311 + 1401. Let t = d + y. Is 10 a factor of t?
False
Does 5 divide 140/6*72/48?
True
Suppose -17 = 9*u + 19. Let p(z) = -2*z - 4. Let r be p(7). Is 2394/162 + u/r a multiple of 10?
False
Suppose -9 = y - 63. Does 12 divide (-3184)/(-72) + (-12)/y?
False
Suppose 0 = i + c - 2 + 3, -25 = -5*i + c. Suppose -3*m + 0*m = i*a - 39, 50 = 5*a + 4*m. Let x(o) = -o**3 + 9*o**2 - 10*o - 3. Does 31 divide x(a)?
False
Let b(k) = -k**3 - 9*k**2 - 24*k - 399. Does 164 divide b(-12)?
False
Suppose -6*i - 66 = -7*i. Let g be (116/6)/(11/i). Let v = -74 + g. Is v a multiple of 21?
True
Let w(i) = 3*i**2 - 17*i - 12. Let z(f) be the second derivative of -f**4/3 + 8*f**3/3 + 6*f**2 + 31*f. Let s(h) = -5*w(h) - 4*z(h). Does 14 divide s(-25)?
True
Is 13 a factor of (11 - 5*228/60) + 849?
False
Let j(y) = -1 - 4*y + 2*y + 6*y. Let v be j(0). Let p = 41 + v. Is p a multiple of 5?
True
Let x(k) = 244*k**3 + 51*k**2 + 3*k - 4. Does 72 divide x(2)?
False
Let v be (26/(-78))/(2/(-12)). Suppose 9*t - 3024 = v*t. Does 9 divide t?
True
Suppose 38086 - 260671 = -11*a. Is 285 a factor of a?
True
Let c be 3*(-16)/(-12) - 8*-59. Let q = c + 61. Is q a multiple of 57?
False
Is 28 a factor of 15 - -23772 - (-1 + 16)?
True
Let o = 9388 + 2003. Is 19 a factor of o?
False
Suppose 697*f - 17217 = -b + 699*f, 2*b + 4*f = 34450. Is b a multiple of 17?
True
Let v(t) = t**3 - 4*t**2 - 12*t + 2. Let l be v(6). Suppose 2*r - 52 = -l*o, -3*o + o + r + 46 = 0. Does 24 divide o?
True
Suppose 2*u + 4*o = 7116, 3*o = -u + 2895 + 658. Suppose c - u = -15*c. Does 46 divide c?
False
Let b(y) be the second derivative of -y**4/12 - 3*y**3/2 - 13*y**2/2 - 9*y. Let k be b(-6). Suppose 0*g - 3 = -g, k*w = -4*g + 192. Is 6 a factor of w?
True
Suppose 66*n + 6 = 69*n. Suppose -n*r + 3648 = -2*v, 3*r = -4*v + 5597 - 153. Is r a multiple of 25?
False
Suppose -18*g + 66615 = 3*s, s - 7*g - 22205 = -5*g. Is s a multiple of 361?
False
Let v = -357 + 602. Let t = 309 - v. Is t a multiple of 6?
False
Let a(l) = l**2 - 46. Let z be 2/4 + 1581/(-62). Does 25 divide a(z)?
False
Let y(t) = 21*t + 20 - 19*t + 28 - t**2. Does 24 divide y(0)?
True
Let p(h) = -3*h**2 - 90*h - 49. Let g be p(-26). Let f = g + 738. Is f a multiple of 13?
True
Suppose -71 = -4*p + 153. Let q = 63 - p. Suppose y + 72 = q*y. Does 6 divide y?
True
Let j(o) = 32*o - 63. Let h(d) = 21*d - 42. Let u(a) = -7*h(a) + 5*j(a). Let t = 2043 + -2039. Does 4 divide u(t)?
False
Let n(z) = z**3 - 4*z**2 + 4*z - 21. Let t be n(4). Does 5 divide 1*-4 + t*556/(-20)?
True
Let t(b) = 3*b + 31. Let o be 8/(-12) + 4/6. Let c be t(o). Suppose -3*q - 39 = -2*f - 8*q, 0 = -3*f - 2*q + c. Is f a multiple of 7?
True
Let a(f) = 3*f - 19. Let p(w) be the second derivative of -8*w**3/3 + 47*w**2 - 4*w. Let v(z) = -11*a(z) - 2*p(z). Is 14 a factor of v(7)?
True
Suppose 0*t = -t - 4*z + 16839, 3*z - 67304 = -4*t. Suppose 20*v = 4977 + t. Does 10 divide v?
True
Let k = 140 - 135. Suppose k*s = -5*u - 1490, 2*s - 5*u + 282 = -286. Let w = -140 - s. Is 22 a factor of w?
True
Let c = 125 + -119. Is 24/(-20)*(-20)/c + 246 a multiple of 17?
False
Let r(h) = 11*h**2 + 0*h**3 + 12*h - h + 1 + h**3. Let c be r(-10). Is 11 a factor of (-3)/c + ((-1312)/6)/(-4)?
True
Let q = -24 - -11. Let y be 4/26 - 24/q. Suppose y*b - 3*p - 23 = 0, -39 = -b - 0*p - 4*p. Is 9 a factor of b?
False
Let k = -8881 + 17809. Does 96 divide k?
True
Suppose 5*h - 422 - 103 = 0. Suppose -831 - h = -4*z. Is z a multiple of 18?
True
Let f(w) = 2*w**2 - 93*w + 270. Is 54 a factor of f(-48)?
True
Let c = -11155 + 60140. Is 97 a factor of c?
True
Let r = 3861 - 641. Is r a multiple of 35?
True
Let d(a) = 14*a**2 + 20*a - 10. Let v be d(-9). Let h = 2240 - v. Does 48 divide h?
True
Let h(p) be the second derivative of 17*p**6/90 + p**5/40 + p**4/8 - 19*p**3/6 + 15*p. Let g(u) be the second derivative of h(u). Does 17 divide g(-1)?
True
Suppose -p + 5*p + 4*i = 12, -3*i = 2*p - 7. Suppose 4*a - p*q = 101 + 127, a = 2*q + 51. Is a a multiple of 8?
False
Let m = -5852 + 11011. Does 77 divide m?
True
Let v = 960 - -8933. Is v a multiple of 74?
Fa