u(l) be the second derivative of h(l). Is 13 a factor of u(-3)?
True
Suppose -6*p + 75 + 237 = 0. Suppose z + z = p. Does 13 divide z?
True
Let u be (-5)/2*(5 + -7). Suppose 15 = u*c - 2*c. Suppose -c*g = -22 - 18. Is g a multiple of 8?
True
Suppose 0 = j - 3*j + 132. Is 7 a factor of j/9*3*4/4?
False
Let b(o) = 2*o + o + 0*o + 28 - 2*o. Is b(-7) a multiple of 2?
False
Let j(a) = -a**3 - 10*a**2 - 11*a - 12. Suppose y + 1 + 8 = 0. Let o be j(y). Let x(s) = s**2 - 17. Is 3 a factor of x(o)?
False
Suppose -6*u + 2*u + 12 = 0. Suppose 4*r + g = -21 + 164, -u = 3*g. Is 11 a factor of r?
False
Suppose -48 = 8*x - 6*x. Let r = x - -41. Does 3 divide r?
False
Let w(b) be the first derivative of -3*b**2/2 - 2*b + 2. Let k(o) = 4*o + 3. Let p(v) = 3*k(v) + 2*w(v). Is p(3) a multiple of 10?
False
Let v be (-11 - -14)*(-17)/3. Let i = -13 - v. Is 2 + (-1 - i) + 29 a multiple of 17?
False
Let m be (-1*1)/((-13)/65). Let n(b) = -b + 17. Is n(m) a multiple of 9?
False
Is 17 a factor of 26/((-1010)/255 - -4)?
True
Let u(z) = -11*z**3 + 3*z**2 - z - 6. Let j be u(2). Let l = j + 130. Is l a multiple of 6?
False
Let s(i) = -i**3 - 17*i**2 - 13*i - 85. Is s(-21) a multiple of 8?
True
Let r(j) = -8 - 2*j - 14 + 7. Let v be r(-7). Is 12 a factor of 3/(-3)*23*v?
False
Let l(k) = -7*k**2 - 14*k - 16. Let d(s) = 10*s**2 + 21*s + 24. Let x(g) = 5*d(g) + 7*l(g). Suppose -f - 3*f - 28 = 0. Is x(f) a multiple of 4?
True
Suppose 3*c = -78 + 81. Is 32 a factor of ((2 - c) + 7)*(40 + 1)?
False
Suppose 22*w = 20*w + 424. Is 13 a factor of w?
False
Let p = 7 - 2. Let u = 6 + -4. Suppose 3*m = -m + 2*o + 52, -m = p*o - u. Is 6 a factor of m?
True
Is 1541 + (4 - -5) - 5 a multiple of 20?
False
Suppose -4*s + 2*j - 4*j + 124 = 0, -5*j = -4*s + 96. Suppose s = -3*t + 2*z, 5*z - 8 + 3 = 0. Is -4 - (1 + 6)*t a multiple of 20?
False
Suppose -r + 4*r + 4*s = 860, 5*r = -2*s + 1452. Is r a multiple of 21?
False
Suppose -q = -81 + 5. Let k = q + 5. Is 27 a factor of k?
True
Let w = -518 - -887. Does 4 divide w?
False
Suppose -9 - 7 = -2*w - 4*r, -3*w - 9 = -5*r. Suppose 0 = -2*z - 3*z. Suppose z = 4*f + 2*m - 180, -w*f - f + 5*m + 122 = 0. Does 11 divide f?
True
Suppose -3*p + 15*i + 2094 = 18*i, 5*p - i - 3496 = 0. Does 16 divide p?
False
Let k = -174 - -336. Is k a multiple of 27?
True
Let c(a) = 18 + 41*a - 86*a + 47*a. Does 7 divide c(12)?
True
Let f be (45/12)/((0 + 2)/8). Suppose 12*l = f*l - 405. Is 15 a factor of l?
True
Let m(x) = 9*x + 43. Let v(c) = -5*c - 22. Let j(u) = 4*m(u) + 7*v(u). Let b be j(-17). Suppose 51 = z - 2*t, -14 - b = 3*t. Is z a multiple of 9?
False
Let w(r) = 23*r**2 - 2*r - 9. Let m be w(-4). Is (9/(-27) + m/(-3))*-3 a multiple of 23?
True
Suppose -5*b - 2*y + 11 = -1301, 3*y = 4*b - 1068. Is b a multiple of 6?
True
Suppose 4 = 5*t - 1. Suppose 2*c - 5*p + 5 = 0, 5*p - 6 = -5*c - t. Suppose -3*z + c*o = 4*o - 14, -5*z = o - 46. Is 10 a factor of z?
True
Let t = 6 - 56. Does 21 divide (t/40)/((-1)/68)?
False
Let h = -1184 + 2084. Does 15 divide h?
True
Let v = -1139 + 2861. Does 82 divide v?
True
Suppose 5*r + 0*b - 2*b + 17 = 0, -4*r - 8 = -3*b. Let i = r + -2. Let x = -1 - i. Is x a multiple of 3?
True
Suppose 15 = u - 5. Suppose 8*l - 13*l + u = 0. Suppose n - 65 = -l*n. Is 4 a factor of n?
False
Let t(b) = 2*b**2 + 2*b + 2. Let a(x) = -2*x**2 - 12*x - 6. Let m be a(-5). Does 14 divide t(m)?
True
Let q(p) = -51*p + 1. Let b be q(1). Let x be -23 - (13 + -4) - -5. Let a = x - b. Is a a multiple of 3?
False
Suppose 0 = -2*g - 2*g + 52. Suppose 0 = g*o - 17*o + 16. Suppose -o*m = 3*w + m - 288, 5*m = 3*w - 288. Is 24 a factor of w?
True
Suppose -215 = -3*b + 5*u, 4*b - 2*u = 93 + 189. Is 10 a factor of b?
True
Suppose 3802 = 11*f - 1390. Is 30 a factor of f?
False
Is 24 a factor of 501*(-4)/(-9)*(-6)/(-4)?
False
Suppose -3*f + 14 = -j + 6, 4*f = -4*j. Suppose -f*w - 39 = -167. Is 13 a factor of w?
False
Let a(j) be the first derivative of 2*j**3/3 - 11*j**2/2 + 3*j - 3. Let i be a(8). Suppose -2*t = -4*t + 5*k + i, -k = 5*t - 148. Does 11 divide t?
False
Suppose -3*f = -4*m + 683, -5*m - 2*f = -4*m - 168. Is m a multiple of 17?
True
Suppose -7*d = -18 + 4. Is d*(-3)/(-8) - 2391/(-12) a multiple of 20?
True
Suppose 0 = 3*h - 16 - 41. Suppose -4*b = 37 + h. Let c = b + 37. Does 14 divide c?
False
Let d(n) be the first derivative of 13*n**3/3 - n**2 + n + 5. Does 17 divide d(3)?
False
Suppose 36*r + 5*u = 38*r - 31, 2*u = -5*r + 150. Does 7 divide r?
True
Suppose 5*j - 148 + 768 = 0. Let w = j + 135. Is w even?
False
Let c be -6*(-2)/4 - (-117)/1. Suppose 28*p = 29*p - c. Is p a multiple of 11?
False
Let q(z) = z**3 + 11*z**2 - 10*z + 22. Let l be q(-12). Does 24 divide (88 - -4) + 0 + l?
False
Let v be (14/28)/(2/924)*1. Suppose 229*r + 80 = v*r. Is r a multiple of 5?
True
Let f be (30/(-25))/((-2)/5). Is f/(-9) - 368/(-6) a multiple of 13?
False
Let d be (76 + -36)/(1/4*2). Suppose 312 = d*z - 77*z. Does 15 divide z?
False
Let y(d) = 77*d**2 + 2. Suppose o + 5 - 2 = -t, 2*t - 3*o = 19. Let f be y(t). Suppose 0 = -3*i - 5*l + f, -5*i + 524 - 14 = 5*l. Is i a multiple of 24?
False
Let q(w) = -w**2 + 26*w + 47. Is 25 a factor of q(17)?
True
Does 10 divide (-460)/69*(-10 + -2)?
True
Let x = -20 + 86. Suppose -c + 5*o + x = 0, -3*o + 300 - 82 = 4*c. Is 14 a factor of c?
True
Suppose -3*f - 15 = -4*f. Suppose 0*y - 6 = 3*y. Is 17 a factor of ((-102)/f)/(y/5)?
True
Let t be 36*1/4*2. Suppose 3*o = t + 51. Does 8 divide o?
False
Let v(b) = 2*b. Let f be v(-2). Does 11 divide 26 - (4 - 9 - f)?
False
Let o(t) be the first derivative of t**2 - 12*t + 2. Let m be o(8). Suppose m*f = f + 15. Does 5 divide f?
True
Suppose u - 20 = -4*u + 5*p, u - 2*p - 3 = 0. Suppose -3*h + 53 = 2*q, -u*q + 141 = h + 2. Is 23 a factor of 8/q + 962/14?
True
Let l(r) = 3*r**2 + r + 1. Let f be l(6). Let m = f - 83. Is m a multiple of 23?
False
Is 1/(5 + (-112)/21)*-129 a multiple of 9?
True
Suppose 2*d = -4*d. Let q(y) = -2*y. Let v be q(d). Suppose -5*w + 2*u = -252, -3*w + v*u + 2*u + 148 = 0. Is 13 a factor of w?
True
Let i(t) = t - 4. Let c be i(6). Let a = 1 + c. Suppose -2*y = a*y - 110. Is y a multiple of 11?
True
Suppose 140*h + 348 = 144*h. Is h a multiple of 5?
False
Let m(p) be the third derivative of p**5/10 - p**4/12 - 3*p**3/2 - 15*p**2. Is 17 a factor of m(-3)?
True
Suppose -234*m + 241*m - 3829 = 0. Is m a multiple of 2?
False
Let g(r) = 29*r**2 - 11. Let a = -22 + 13. Let p(j) = -14*j**2 + 5. Let u(i) = a*p(i) - 4*g(i). Is 16 a factor of u(3)?
False
Suppose -r - 8296 = -9*r. Suppose 5*i + 347 = r. Is i a multiple of 39?
False
Let w be 6/(-8) + 6/8. Let v(s) = -5*s + w*s - 2*s - 2 + 5*s. Is 4 a factor of v(-8)?
False
Let a be (-6)/(-9)*(5 + -2). Is 16 a factor of a - (-21)/(-12) - 315/(-20)?
True
Let q(c) = -30*c**3 + 11*c**2 + 39*c + 8. Is 16 a factor of q(-3)?
True
Does 8 divide 7/(-28) + (-4)/(16/(-1205))?
False
Let k(z) = -10*z + 6. Let q = 19 + -38. Let o = q - -16. Is 12 a factor of k(o)?
True
Let f(w) = -w**2 + 3*w + 1. Let g be f(8). Let k be (-4)/(-7) - (-1206)/21. Let i = k + g. Does 6 divide i?
False
Let w(b) = -3*b**2 + b**2 - b**2 + 14 + 4*b**2 + 8*b. Let l be w(-6). Is 15 a factor of (-28 - l)/(2/(-1))?
True
Suppose -5*a = -4*i + 149, 2*a + 85 = -a - 2*i. Let j(w) = w + 11. Let g be j(-8). Is g/3 + (-3 - a) a multiple of 5?
False
Let i = -315 - -720. Is i a multiple of 2?
False
Let o(u) = u**3 - 7*u**2 + 8*u - 7. Let z be o(6). Let r be 2 - 4 - 35/(-5). Suppose z*j - 4*x = 7, 2*j + 3*j + r*x - 25 = 0. Does 2 divide j?
False
Let u(n) = 33*n**2. Let w be u(-1). Let h = 10 - 31. Let f = w + h. Does 12 divide f?
True
Let w = 3 + -7. Let p = w - -6. Suppose -44 = -j + 3*g, j - p*j + g + 52 = 0. Is j a multiple of 22?
False
Let i(b) = -19 - 3*b + 0*b + 36 - 15. Is 14 a factor of i(-11)?
False
Let z = 9 + 33. Let l(v) = 23*v**3 + v + 42 - z. Is 18 a factor of l(1)?
False
Suppose -r + 220 = -234. Does 12 divide r?
False
Let b be 28/(-14) - (-7 + 2 + 0). Suppose -4*c + 2*c = -2*f - 40, 0 = -b*c + 5*f + 68. Is 3 a factor of c?
False
Let a(z) = 9*z**2 - 25*z + 21. Let x(d) = -14*d**2 + 37*d - 31. Let t(o) = -7*a(o) - 5*x(o). Is t(3) a multiple of 8?
False
Suppose -f + 4*p + 1634 = 0, -2905 - 3649 = -4*f - 2*p. Does 8 divide f?
False
Does 9 divide (-764)/(116/145 -