a(q) = 50*q - 3. Let x(n) = 99*n - 6. Let p(m) = -9*a(m) + 5*x(m). Does 21 divide p(r)?
True
Let s(o) = -4*o + 43. Let c be s(9). Suppose c*k + 7*k = 4480. Is k a multiple of 29?
False
Suppose 10*j = -4*w + 14*j + 12, -5*j = -10. Suppose -w*q - 105 = -2*d, -4*d - 3*q = -5*d + 54. Is 5 a factor of d?
True
Suppose d - 13 = -4*x, -2*d = x + 3*d + 11. Does 8 divide -21*(5 - x)/(3/(-38))?
False
Let c(f) = -1874*f + 986. Is 22 a factor of c(-12)?
True
Let t(z) = z**2 - z + 2. Let i(h) = -6*h**3 - h**2 + 4*h - 11. Let s(u) = i(u) + 3*t(u). Does 39 divide s(-3)?
False
Suppose 5*a - 20 = 0, -3*l + 0*l + 5*a - 14 = 0. Suppose 2*m - 36 = -l*y, 3*y - 19 = -m + 5*m. Let t(s) = -s**2 + 21*s + 21. Is t(y) a multiple of 25?
True
Let i(k) = 3*k**3 - 6*k**2 - 20*k - 1. Suppose 0 = -5*a - 23 + 48. Let y(b) = -7*b**3 + 11*b**2 + 41*b + 2. Let m(j) = a*i(j) + 2*y(j). Is 19 a factor of m(10)?
True
Is (9 + (-247)/26)/((6/(-920))/3) a multiple of 12?
False
Let v(o) be the third derivative of o**6/15 + o**4/24 - 472*o**2. Let z = -2 + 3. Does 7 divide v(z)?
False
Suppose s - 3*r = 13, 9*r - 10*r - 3 = 0. Suppose s*v - z - 155 = 2*v, -3*z + 60 = v. Is 5 a factor of v?
True
Suppose 0 = -27*d + 86517 + 5715. Is 61 a factor of d?
True
Suppose -3*y = 2*j - 44023, -2*y + 29356 = -234*j + 239*j. Is y a multiple of 39?
False
Suppose -2*y + 70968 = 3*z, -z + 2*y + 32908 = 9244. Is z a multiple of 61?
False
Suppose -s + 2*l + 18 + 1330 = 0, 2*s - 3*l = 2698. Is s a multiple of 4?
True
Let g(w) = -4*w**2 + 568*w + 651. Is 2 a factor of g(143)?
False
Suppose 121*q = 327392 - 112859. Does 9 divide q?
True
Suppose -4*q - 14*t = -18*t - 43900, 3*t + 10983 = q. Is q a multiple of 23?
True
Let b(j) be the first derivative of -13*j**2/2 - 20*j + 58. Let v(r) = -4*r**2 + 4*r - 3. Let p be v(2). Is 21 a factor of b(p)?
False
Is 28 a factor of (-10 - -1) + -556*(-470)/40?
True
Suppose -5*d + 30 - 5 = 0. Is (33/(-6) + d)/((-5)/8570) a multiple of 68?
False
Let q = -12475 + 19585. Is 18 a factor of q?
True
Let r(i) = -i**2 - 6*i - 5. Let w be r(-5). Let m(y) = -5*y - 22. Let h be m(-5). Suppose w = 4*t + h*o - 129, -3*o = 3*t - 2*t - 21. Does 12 divide t?
True
Let o be (-2892)/(-39) + -2 - 6/39. Let p = o - 18. Is 34 a factor of (-9)/p - 1429/(-6)?
True
Let j = -745 - -10117. Is j a multiple of 11?
True
Let x = 2544 - -3564. Is x a multiple of 12?
True
Let c = 132 + -66. Suppose 7*q - c = 123. Suppose 3*d + n - 110 = 0, 0 = 3*d + 3*n - 87 - q. Is d a multiple of 36?
True
Let u(w) = -w**3 - 17*w**2 + 31*w + 363. Does 11 divide u(-20)?
False
Let c = 11475 + -11137. Does 9 divide c?
False
Let x = 434 + -427. Let f(k) = 2*k**3 + 3*k**2 - 24*k - 3. Is 66 a factor of f(x)?
False
Suppose -1383966 - 2231184 = -231*o. Is 77 a factor of o?
False
Suppose -36*x = -5*x - 310. Does 11 divide 1 - -426 - x/(-18)*-9?
False
Is 3*(1535384/138 + -1) + 100/1150 a multiple of 25?
True
Let z(v) = 14*v + 52. Let y(b) = -27*b - 104. Let o(t) = 4*y(t) + 7*z(t). Is o(-12) a multiple of 9?
False
Let d be (2/(-4))/(6/(-120)). Let h(r) = 7 + 5 + r - 12*r - d*r. Does 8 divide h(-3)?
False
Suppose 30*h + 173019 = 527979. Is h a multiple of 29?
True
Is (13 + 570)*54 - 21 a multiple of 69?
False
Suppose 7*o = -17*o + 4848. Suppose -m - 96 = -u - 0*m, -4*m = -2*u + o. Is 55 a factor of u?
False
Suppose -39*z + 44*z = -4*b + 29778, -23814 = -4*z + b. Does 13 divide z?
True
Let a be 3*1*(-24)/(-36). Suppose 4*o - 2*z = 26, -2*o = 4*z - a - 6. Suppose -216 - 6 = -o*u. Is 9 a factor of u?
False
Let f(l) = 11*l**2 - 5*l + 12. Let i be f(-8). Suppose 15*c + i = 4011. Does 28 divide c?
False
Let l(x) = -33*x + 6. Let t be l(3). Let f = t - -96. Is (2 + 82/f)*(0 - -3) a multiple of 11?
True
Suppose 2*g - 2*f = 1741 + 17, -5*g - f + 4377 = 0. Is g a multiple of 6?
True
Let k(x) = -2*x**3 + 39*x**2 - x + 14. Let t(s) = -s + 1. Let c(q) = k(q) - 2*t(q). Is c(19) a multiple of 7?
True
Suppose 5*m = 2*d - 23615, 1373*d = 1372*d - 2*m + 11812. Does 32 divide d?
False
Is 9 a factor of (-2337216)/(-44) + (-474)/869?
True
Let q(b) be the second derivative of -35*b**3/6 + 2*b**2 + 2*b. Suppose 54*t + 40 = 44*t. Is q(t) a multiple of 36?
True
Suppose -678*n - 9 = -679*n. Is 34 a factor of 3075/(n - 4) - (-6)/(-2)?
True
Let l(f) = -2*f**2 + 195. Let q be l(0). Let a = 298 - q. Suppose -3*g + 12 = 0, 2*j - a - 25 = 3*g. Is 14 a factor of j?
True
Let j be (-1878)/15 - (-2)/10. Let z(y) = -33*y**2 - 260*y + 520. Let g be z(2). Let p = j - g. Does 4 divide p?
False
Let n(v) = v**2 - 17*v + 52. Let l be n(13). Suppose 29*z - 5967 - 4473 = l. Is z a multiple of 12?
True
Let x be 1798*(-5)/20*-2. Let r = x - 618. Is r a multiple of 20?
False
Does 24 divide -9*1 - (-1586375)/245?
False
Let b(v) = -438*v + 5130. Is b(-15) a multiple of 45?
True
Suppose -5*t + 171636 - 60208 = -3*o, -4*o + 36 = 0. Is t a multiple of 9?
False
Let h be (53 - -9)*(-1)/(2 - 3). Let j = 64 - h. Suppose -n + j = -0*n, -5*n + 65 = f. Is f a multiple of 11?
True
Let m = -7406 - -11273. Is 15 a factor of m?
False
Let l be ((24/(-10))/2)/(3/(-45)). Suppose l*y - 6228 - 12420 = 0. Does 28 divide y?
True
Suppose 29*c - 2*c = -13095. Let j = c - -790. Does 31 divide j?
False
Let g = 119 + -71. Suppose -298 = -16*r - 906. Let s = g + r. Is 6 a factor of s?
False
Let j(w) = 3*w - 16. Let c be j(6). Suppose 0 = -4*a + c*m + 24, -5*a = -2*a + 3*m - 18. Suppose 5*p - 20 = 0, -2*p - a + 3 = -b. Does 3 divide b?
False
Suppose 0 = -5*p + 4 - 19. Let a be 1 + -3 + (-6)/p. Suppose 4*j - 334 - 78 = a. Does 12 divide j?
False
Is ((-328)/(-41))/(5692/(-1900) - -3) a multiple of 38?
True
Let p = -31 + 37. Let x be p/10 + (-798)/(-70). Suppose -2*n + x = -28. Does 7 divide n?
False
Let k(a) = 2*a**2 + 2*a + 4. Let s be k(0). Suppose 5*n - 3*b - 225 = 0, s = n + 4*b - 18. Is n a multiple of 14?
True
Suppose 51*n = 16*n + 140. Is 7 a factor of (-33 - (1 + 0))/(n/(-8))?
False
Let o = -51 - -55. Suppose 0 = f + 4*z + 2, 2*f + z + o = -z. Is 17 a factor of -1 + 6 + f + 14?
True
Suppose -o - 29 = -0*o. Let f = o + 39. Let c = f - -94. Does 13 divide c?
True
Let b(c) = -1. Let l(t) = -t + 13. Let o(u) = -6*b(u) - l(u). Let y be o(3). Is (y - 0)*((-27)/12 - 0) a multiple of 9?
True
Let h(k) = -439*k - 1456. Is h(-7) a multiple of 77?
True
Suppose 2*a - 7663 = -v, -a + 3*v = -2*a + 3839. Is a a multiple of 12?
False
Let f(r) = 14*r + 16. Suppose -2*k = -48*k + 1058. Is f(k) a multiple of 34?
False
Does 37 divide 5*10/75*40851/34?
False
Let x = -11 - -21. Suppose x*i = 8*i + 24. Does 27 divide 38/3*4*i/8?
False
Let o = -6395 + 10637. Does 17 divide o?
False
Let n(r) = 13*r**2 + 38*r + 400. Is n(-16) a multiple of 11?
False
Let w be (-52)/2 + -1 + -5. Let d = -95 + 218. Let q = d - w. Is 31 a factor of q?
True
Suppose 5*j = 4*z - 4063, -5*z + 2222 + 2858 = -5*j. Is 8 a factor of z?
False
Suppose 302 = 50*a + 52. Suppose -5*u = a*i - 725, -5*i - 185 = 4*u - 760. Is 30 a factor of u?
True
Suppose -3*g + 2673 = -0*o + 3*o, 0 = 3*g - 9. Does 24 divide o?
True
Let p(x) = -458*x + 1927. Is 3 a factor of p(2)?
True
Let p(r) = -825*r - 96. Is p(-2) a multiple of 36?
False
Suppose -5*m - 45 = 5*l, -5*m - 19 = 3*l + 22. Let a(u) = -u**3 - 8*u**2 - 7*u + 6. Let z be a(m). Is 2 a factor of (-18)/z + 2 + 15?
True
Let j(f) = 1571*f + 61194. Is 8 a factor of j(0)?
False
Let z(v) = 471*v**3 - 9*v**2 + 23*v - 75. Is z(3) a multiple of 99?
False
Let i(d) = 68*d + 54. Let o(b) = -69*b - 55. Let r(g) = 4*i(g) + 5*o(g). Is 9 a factor of r(-5)?
True
Let u = -3 + 3. Suppose -5*p + 2*p - 2*w + 28 = u, -w + 5 = 0. Suppose 7 = p*q - 209. Is 4 a factor of q?
True
Let o(l) = l**2 + 4*l - 17. Let v be o(17). Suppose -5*z + 2*w = -1015, 472 + v = 4*z - 4*w. Does 9 divide z?
False
Let n(d) = 12*d - 290. Does 14 divide n(30)?
True
Let h be ((1 - -4) + -10)*399/(-5). Let q = h - 284. Is q a multiple of 10?
False
Let s be 679 - 6/(-4)*20/6. Let i = s + 258. Is i a multiple of 10?
False
Let c(f) = f + 71 + 8*f**2 - 7*f - 69. Let i be c(-8). Suppose 175 = 11*x - i. Does 8 divide x?
False
Suppose -96 = -13*i + 138. Is 1720/129*i/4 a multiple of 20?
True
Let j = -19 + 32. Let v = -72 + 73. Let c = j + v. Does 14 divide c?
True
Suppose -3*j - o - o - 53 = 0, 0 = -j + 2*o - 7. Let r = j + 20. Suppose r*y + 2 = 242. Is y a multiple of 8?
True
L