 Is 13 a factor of s?
False
Suppose 5*b = 67 + 33. Suppose -b = 6*z + 22. Let n = 14 + z. Is n a multiple of 7?
True
Is 16 a factor of -4 + (-1196)/(-2) - -2?
False
Suppose 3*i = 3*n - 1125, 4*n + i + 305 = 1800. Does 22 divide n?
True
Let l = 1869 - 29. Is l a multiple of 8?
True
Let r(p) = -7*p + 13. Let k(m) = 21*m - 40. Let a(s) = 6*k(s) + 17*r(s). Is a(11) a multiple of 11?
False
Let z = 85 - 21. Let r = z + 79. Let u = r - 51. Is u a multiple of 16?
False
Let l(a) = -2 + 9*a**2 + 3*a**3 - 4*a**3 - 2*a**3 + 4*a**3 + 4*a. Let z(t) = -t**2 + 3*t + 3. Let f be z(5). Is 18 a factor of l(f)?
False
Suppose -11*u = -1440 + 153. Is u a multiple of 13?
True
Let u = 30 + -27. Suppose 2*x - 31 = 4*q + 29, -66 = -u*x - 2*q. Does 21 divide x?
False
Suppose j - 2*j + 3*g = -209, 0 = 4*j - 2*g - 806. Is 4 a factor of j?
True
Let b = 13 + 57. Suppose 6*q - q = 2*l - b, 0 = -3*l - q + 139. Is 5 a factor of l?
True
Let h = -469 + 920. Is h a multiple of 11?
True
Let b(g) = g**3 + 3*g**2 - g + 2. Let l be b(-3). Suppose -3*c = l*y - 300, 3*c - 119 = -2*y + 190. Does 21 divide c?
True
Suppose 5*m - 12 = -2*r - 1, 5*r - 5*m - 45 = 0. Is (-1)/4 - (-754)/r a multiple of 19?
False
Suppose -13*f = -14*f + 1. Let q be (-2 + (f - -2))*45. Let x = q + -24. Is 7 a factor of x?
True
Let y = -36 + 118. Suppose a - 5 = 0, 4*a + 22 - y = -5*g. Does 2 divide g?
True
Let b(y) = -y**3 - 5*y**2 - 2*y - 15. Let g be b(-5). Let t(u) = -u - 4. Let j(w) = -1. Let z(l) = -12*j(l) + 3*t(l). Does 11 divide z(g)?
False
Suppose 0 = -2*y + 4*g - 3*g + 33, 52 = 3*y - 2*g. Suppose 220 = y*n - 9*n. Is 4 a factor of (n/66)/((-1)/(-9))?
False
Suppose 25*l + 2652 = 42*l. Is l a multiple of 4?
True
Let a be 3756/9 - (-6)/9. Let s = a + -271. Does 6 divide s?
False
Let j be (16/(-10))/(1 - (-66)/(-65)). Let s = 188 - j. Is 21 a factor of s?
True
Let v = -18 - -22. Suppose 164 = v*w - 2*u, -5*w - 3*u + 167 + 38 = 0. Is 28 a factor of w?
False
Let l be 2/(2/2) - -1. Suppose -l*h + 107 = -73. Does 10 divide h?
True
Let p = 637 + -402. Is 20 a factor of p?
False
Suppose -30*s = -17*s - 40781. Is 62 a factor of s?
False
Let g be 1150 + (-4)/4 + -1. Suppose -4*h + g = 300. Does 20 divide h?
False
Let n(k) = 14*k**3 + k**2 + 10*k - 16. Does 39 divide n(4)?
True
Let p = 3378 - 2148. Does 30 divide p?
True
Let q(u) = 121*u**3 + 2*u**2 + u - 2. Does 2 divide q(1)?
True
Suppose -48 = 2*h + 2*w, -102 = 4*h - w - w. Let x be (h - 0) + 2 + -1. Let k = x - -50. Is k a multiple of 13?
True
Suppose -2*n - 2 = -3*n. Suppose 3*p + 5*y + 12 = 0, 14 - 6 = -p - 3*y. Is 24 a factor of (p - -21) + n + 0?
True
Let w be 136 + 5/10*-2. Let d = w + -88. Is 47 a factor of d?
True
Let l(x) = 164*x**2 - 1. Let r be l(1). Suppose 3*v + 28 = r. Does 8 divide v?
False
Let g be (1 + (-24)/15)/((-2)/(-10)). Is (-2)/3 - 701/g a multiple of 17?
False
Let d be (-40)/(-12) - 2/(-3). Suppose -3*z = -d*h - 78, -4*h + z + 0*z = 82. Let a = h + 33. Is 4 a factor of a?
True
Let v(q) = 2*q + 133. Does 10 divide v(-26)?
False
Suppose -4*w = 2*l - 834, 4*l - 2*w = 182 + 1536. Does 7 divide l?
True
Is 59 a factor of 3/7 + -62091*6/(-378)?
False
Does 26 divide 78*(2 - 50/(-15))?
True
Let q = 627 - -1347. Is q a multiple of 14?
True
Suppose -5 = -3*j + 2*j. Let a = j + -2. Is 7 a factor of 7/3*(9 - a)?
True
Suppose 0 = -4*p + 1621 + 539. Is 9 a factor of p?
True
Suppose 8*z - 30 = 9*z. Let r = 42 + z. Is r a multiple of 8?
False
Suppose -3*j + 15 = 0, 16*g + 1820 = 17*g + j. Is 22 a factor of g?
False
Suppose 17*p + 30240 = 35*p. Is p a multiple of 112?
True
Let s(a) = a**2 + 2*a - 3. Let g be (4/10)/((-4)/40). Let v be s(g). Suppose 5*o - 4*q = 123, -2*q = v*o - 0*q - 141. Is 9 a factor of o?
True
Suppose -3*y = 12, 1651 = 2*q - y + 77. Is q a multiple of 42?
False
Let c(k) = -30*k - 27. Let q be c(-10). Suppose 4*i - q = 11. Is 7 a factor of i?
False
Is 36 a factor of (1/1)/(4/6356)?
False
Let m = 1091 - 287. Is m a multiple of 12?
True
Let u(s) = -s**2 - 6*s + 2. Let x be u(-6). Let l(n) = 7*n**2 + 0*n + 1 - n**3 + 2*n**3 + 6 - x*n. Does 27 divide l(-5)?
False
Let u = 305 + 357. Suppose -5*k = -u - 63. Is k a multiple of 31?
False
Let v = -3 - -3. Suppose v*o - 3*o + 114 = 0. Suppose -2*r + o = -r. Is 19 a factor of r?
True
Let i(u) = u**2 + 11*u - 71. Is 13 a factor of i(-24)?
False
Let m(x) = x + 1. Let d be m(4). Suppose i + 7 = 2*a, 2*i + d*a = -3*i + 25. Suppose 0 = -2*q + i + 5. Does 2 divide q?
False
Suppose 0 = -o + 4*r - 8*r + 856, 856 = o + 5*r. Does 58 divide o?
False
Let i be (-7 + -1 + 2)*2/4. Is i - -5 - (-1*104 - -2) a multiple of 15?
False
Let u = 20 + -12. Suppose -u + 3 = -r. Suppose -2*t = -r*t + 84. Is 14 a factor of t?
True
Suppose -r = -2*r. Suppose -2*o + 107 - 35 = r. Is 36 a factor of o?
True
Let a(h) = -2*h**2 - 27*h + 3. Suppose 29 = 3*l - 4*l - 4*t, t - 31 = 4*l. Is 12 a factor of a(l)?
True
Suppose 0 = h + 2*o + 83 - 27, -4*o + 322 = -5*h. Let d = 14 - h. Does 19 divide d?
True
Suppose 0 = -4*x + 5*x - 4, 3*z - 5*x - 412 = 0. Does 4 divide z?
True
Let y(a) = -a**2 - 3*a + 3. Let u be y(3). Is 15 a factor of 1 - (u - 2) - 3?
True
Let v(f) = 72*f - 15. Let y(q) = -145*q + 30. Let t(n) = -5*v(n) - 3*y(n). Does 15 divide t(2)?
True
Let c = -258 - -1098. Suppose -c = -4*l - 3*l. Does 24 divide l?
True
Let a(o) = -o**3 - 2*o**2 + 3*o - 16. Is a(-7) a multiple of 18?
False
Suppose r + o + 6 - 2 = 0, o - 6 = 4*r. Is (-222)/(-2 - 1/r) a multiple of 19?
False
Let h = 83 - -83. Let u = h + -96. Is 10 a factor of u?
True
Let z(o) = -o**2 - 28*o - 19. Does 11 divide z(-8)?
False
Let v = -24 - -29. Suppose -2*n - v*a + 3*a + 72 = 0, -2*a = 0. Does 12 divide n?
True
Let f be ((-13)/3)/((-4)/216). Suppose s + 2*b - 147 = 7*b, 2*s + 2*b = f. Is 21 a factor of s?
False
Suppose -3*r - 1698 = -5*s + 2*s, -3*r = -9. Is s a multiple of 5?
False
Let x = -318 - -805. Is x a multiple of 18?
False
Is 3 a factor of ((-53)/5)/((-9)/45)?
False
Let a(n) be the first derivative of -n**4/4 - 3*n**3 + n**2/2 + 13*n + 33. Does 17 divide a(-11)?
False
Let a be 12998/(-6) - 2*(-2)/12. Is 40 a factor of a/(-18) - (2 + (-10)/6)?
True
Suppose 0 = 7*d + 24 - 3. Let z(k) = -5*k + 14. Is 2 a factor of z(d)?
False
Let c(b) = 2*b + b**3 + 0*b**2 - 2*b**2 - 3*b**2 - 2. Is c(5) a multiple of 8?
True
Let m(o) = -15*o + 646. Is 4 a factor of m(15)?
False
Let u = 4116 + -2041. Is 19 a factor of u?
False
Let y(v) = 48*v**2 + 17*v - 6. Let g be y(-6). Does 5 divide g/25 - 2 - (-2)/10?
False
Is (4 - (-2312)/28)*(-7)/(-2) a multiple of 44?
False
Let k(x) = x**3 + 10*x**2 - 2*x - 6. Let a be k(-10). Suppose -2*f + 12 = 4*j - 12, f = -3*j + a. Is f a multiple of 4?
True
Let p(c) = -24*c + 45. Let z(s) = 6*s - 11. Let a(b) = -4*p(b) - 15*z(b). Suppose -5*f + 27 = o - f, o = 4*f - 5. Is a(o) a multiple of 17?
True
Let w(y) be the third derivative of y**6/120 - y**5/60 + y**4/12 - y**3/6 - 20*y**2. Does 4 divide w(3)?
False
Let i(l) = 5*l - 4. Let q be i(-2). Let b be q/2*20/(-70). Suppose 2 = -b*o + 12. Is o a multiple of 4?
False
Is 86 a factor of (-6)/12*(-13610)/5?
False
Suppose -21*o + 23*o - 44 = 0. Does 3 divide o?
False
Suppose 2*s - 7*x - 128 = -9*x, 2*x + 306 = 5*s. Does 21 divide s?
False
Suppose -16 - 8 = q + 5*y, -2*y - 6 = 4*q. Let v(j) = 102*j**2. Does 34 divide v(q)?
True
Let m(g) = 17*g**3 + g**2 - 2*g + 2. Let j be m(1). Let p = j - -178. Does 15 divide p?
False
Suppose 3*q + 40 = 8*q. Let g = q + -9. Let w(x) = -8*x**3 - x**2 - x - 1. Does 2 divide w(g)?
False
Suppose -589 = -4*g - 5*l + 429, -g + 3*l + 246 = 0. Does 23 divide g?
False
Is (-4036)/(-24) - (-3)/(-18) a multiple of 21?
True
Suppose 5*n + n - 12 = 0. Let l be n*3 + -2 + -1. Suppose -5*f + 0*y - 2*y + 261 = 0, 150 = l*f - y. Is f a multiple of 17?
True
Let z be ((-6)/8 - -1) + (-203)/(-4). Is (194/(-3))/((-34)/z) a multiple of 6?
False
Let u be ((-2)/18*3)/(3/(-36)). Suppose -l - 3*l = 4*y - 744, u*y = 4*l + 752. Is y a multiple of 11?
True
Let s be 3/(10/(-8) - -2). Suppose 2 = 2*i - s. Suppose 5*n + 0*a = i*a + 23, 5 = 3*n - 4*a. Does 2 divide n?
False
Let g(t) = 4*t**3 - 4*t**2 + 9*t - 118. Is g(7) a multiple of 19?
True
Let u = -243 + 423. Is 14 a factor of u?
False
Let p(h) = h**3 + 17*h**2 - 23*h - 39. Does 30 divide p(-17)?
False
Let x be 2/(0 + (-4)/(-10)). Suppose x*o = 10,