
Let o(h) = h**2 - h + 1. Let l = -33 + 30. Is 9 a factor of o(l)?
False
Let w be -2 + 0 + 42/7. Suppose 0 = -3*m + 4*p + 21, 28 = w*m + 2*p - 7*p. Suppose -2*g = -5*r + 127, -4*r - 2*g = -m*g - 88. Does 11 divide r?
False
Let j be -6*(10/15)/(-1). Suppose 0*u + 120 = j*u + 2*b, 3*b + 12 = 0. Is u a multiple of 28?
False
Let s(z) = z**3 - 15*z**2 + z - 13. Let r be s(15). Suppose 5*o + g - 34 = 3*g, -r*o + 31 = 5*g. Does 6 divide o?
False
Let k be (-6)/(20/8 + -4). Let d(c) be the third derivative of c**6/60 - c**5/12 + 5*c**4/24 - c**3/2 + c**2. Is d(k) a multiple of 18?
False
Suppose -117 = -m + 36. Let s = m + -108. Does 17 divide (s/6)/(1/4)?
False
Let z(j) = -j**2 + j + 1. Let m(a) = -17*a**2 + 4*a + 18. Let b(v) = -m(v) + 5*z(v). Does 14 divide b(3)?
True
Let j be 3 - -1 - -3 - (2 - 0). Suppose -j*a + 51 = -139. Does 5 divide a?
False
Suppose -t = 3*t - 20. Let o(f) = 54*f + 12. Let w be o(t). Let v = w - 190. Does 23 divide v?
True
Suppose 35*o - 41*o + 1788 = 0. Is 8 a factor of o?
False
Let b(r) = 5*r + 4*r**2 - 3*r**2 + 11 - 2*r - 11*r. Is 5 a factor of b(9)?
True
Suppose 0 = 4*o - 5*s + 8*s - 1055, -5*o - 5*s + 1325 = 0. Is o a multiple of 13?
True
Is 20 a factor of -30*(32/(-6) - 0/(-8))?
True
Let j(h) = -h**3 + 18*h**2 - 5*h - 12. Let k be j(17). Suppose 45*y - k = 42*y. Is 32 a factor of y?
True
Suppose 7*g + 389 - 767 = 0. Does 13 divide g?
False
Suppose -2286 - 1129 = -j. Is 14 a factor of j?
False
Is 16 a factor of 66/6 + -16 - -2610?
False
Let o = 145 - -112. Suppose -5*n - o = -5*f - 2*n, -2*f = -n - 102. Is 7 a factor of f?
True
Let w(k) = k**2 + 3*k + 1. Let d = 9 - 13. Let j be w(d). Suppose 49 = 6*o - j*o. Is 17 a factor of o?
False
Suppose -8*a = -86 + 558. Let n = 1 - a. Is n a multiple of 12?
True
Let q = 45 + -43. Let s(l) = 2*l**2 + 5*l + 5. Let t be s(-4). Suppose q*c - 7 = t. Does 12 divide c?
True
Let b(v) = -v**3 - 6*v**2 - 6*v. Let o be b(-5). Let i be (-3 + o)*2/(-4). Does 2 divide (i + 3)/((-4)/(-6))?
False
Let d(v) = -v - 4. Let j be d(-2). Is 4/j - (-5 - 125) a multiple of 32?
True
Suppose 2*b - 2610 = -2*a - 2*a, -4*a + 2606 = -2*b. Is 17 a factor of a?
False
Let j(d) = -478*d**3 + 3*d**2 + 9*d + 6. Does 6 divide j(-1)?
False
Suppose -299*l - 1152 = -300*l. Is l a multiple of 12?
True
Let d(k) = -k**2 - k - 5. Let u be d(0). Let r(x) = -10*x - 11. Let b be r(u). Is 392/13 - 6/b a multiple of 6?
True
Suppose -4*q + 152 = -312. Does 3 divide q?
False
Suppose v = -5*h + 27, -3*v - 2 = v - 2*h. Suppose v*p + 4*c = 84, p + 18 = -c + 57. Is p a multiple of 18?
True
Suppose -b = p - 5*p + 55, 2*b + 90 = -2*p. Let x = b + 63. Does 12 divide x?
False
Suppose 5*d + 4*i = -90, 4*i + 7 = d + 1. Let o = d + 68. Is o a multiple of 9?
True
Does 4 divide 2*-428*(-4)/(128/16)?
True
Let c = 915 - 725. Is 38 a factor of c?
True
Let m = 11 - -23. Let q = m + -20. Is q a multiple of 7?
True
Let s(d) = d**3 + 9*d**2 + 9*d + 10. Let a be s(-8). Let k(z) = 4 - 7*z + 2*z**2 - 3*z + 3*z - 3*z**a. Is 16 a factor of k(-4)?
True
Let f(r) = -r**3 - 8*r**2 - 9*r - 7. Suppose -3*k = 2*s + 17, -2*s - 13 = -4*k - 3. Let x be f(s). Suppose 0 = 2*n - n - x. Is 7 a factor of n?
True
Is 16 a factor of 6772/8 - (25/(-10) + 1)?
True
Let m = -56 + 122. Is 6 a factor of m?
True
Does 44 divide (-4)/6 + 910/6 + -10?
False
Let w be 10673/78 - (-10)/(-12). Let k = 125 + -80. Suppose -4 = 4*m, 0 = 2*l - m - w - k. Is 18 a factor of l?
True
Let h(x) = 64*x + 552. Does 22 divide h(23)?
True
Let d(q) be the first derivative of -q**2/2 + 19*q + 48. Is 2 a factor of d(12)?
False
Let y(m) = 3*m**2 + 21*m + 39. Does 39 divide y(32)?
True
Suppose 5*c - 21 = 4*k, -4*c - 19 = -7*c + 4*k. Let f(z) = 4*z**3 - 5*z**2 - 20*z - c - 5*z**3 + 33*z. Does 3 divide f(-7)?
True
Suppose -6*g + 7*g = -4*y + 576, -5*y + 20 = 0. Does 16 divide g?
True
Let w be 4 - (4 + -4)/1. Is 3 + (w - 2 - 1) + 88 a multiple of 15?
False
Let i(n) = 4*n - 14. Let g be i(6). Let u(c) = c**2 - 4. Let t be u(g). Let y = 141 - t. Is y a multiple of 9?
True
Let r(g) = -g**3 + 8*g**2 - 5*g - 3*g**3 + 5*g**3. Let y(v) = v**3 - 3*v**2 - 4*v - 7. Let n be y(4). Is 25 a factor of r(n)?
False
Suppose 12 = -3*z, 5*f + 2*z - 3237 = 4165. Is 6 a factor of f?
True
Let d = 6 - 2. Suppose 3*z - 1 = s, -2*s - 2*z = -5*s + d. Suppose b + s*b - 162 = 0. Is b a multiple of 17?
False
Suppose -647 + 179 = 6*k. Let z = -54 - k. Is 8 a factor of z?
True
Does 10 divide 2/3 - (-228)/18*11?
True
Suppose h - 402 = -274. Is 3 a factor of h?
False
Suppose -f + 3*f - 6 = 0, 4*w + f = 3. Suppose w*o + o = 2. Suppose 7*t = o*t + 525. Is 15 a factor of t?
True
Let g = 16 + -5. Let b = g + -5. Suppose b = d - 3. Does 2 divide d?
False
Let b = -77 + 163. Is b a multiple of 7?
False
Let v be 6*1/9*6. Let i(p) = -p**3 + 3*p**2 + 5*p - 3. Let t be i(v). Suppose 2*k = c - 7, 2*c + 5*k = 40 + t. Is c a multiple of 8?
False
Let s(p) = 4*p**2 - 208*p + 111. Does 19 divide s(56)?
True
Suppose -4*t = -3*t. Suppose 2*o - 2*d = 68, -2*d + t*d + 130 = 4*o. Suppose 2*w - 11 = o. Is w a multiple of 11?
True
Suppose -3*p - 3515 = -5*h, 3*p = 10*h - 14*h + 2785. Is 25 a factor of h?
True
Let g = 18 + -5. Suppose -6*j + g + 89 = 0. Let r = 30 - j. Is 6 a factor of r?
False
Let i(j) = -j**3 + 7*j**2 - 6*j + 5. Let h be i(6). Suppose -z - 84 = -h*z. Is 20 a factor of z?
False
Let g(v) = -26*v**3 + 8*v**2 + 14*v. Is 6 a factor of g(-3)?
True
Suppose -5*p + 5 = -5, -2 = 5*j - p. Let t be j/1 - (12 - 45). Let f = 57 - t. Is 7 a factor of f?
False
Let f(z) = -7 + 5 + 3 + 14 + 2*z. Suppose 0 = 4*b + 5*l - 33, 5*b - 2*l = -0*l + 66. Does 16 divide f(b)?
False
Let r = 53 - 51. Is 4 a factor of 224/21*(1/r + 1)?
True
Suppose -3362 = -22*l - 1140. Is 4 a factor of l?
False
Let j(v) be the third derivative of 7*v**5/60 + 5*v**4/24 - v**3/3 - v**2. Suppose m + 16 = -5*f - 3, 3*f - 11 = 5*m. Is j(m) a multiple of 18?
True
Suppose 0 = 5*c - 25, -3*c - 2*c + 475 = 5*v. Does 32 divide (v*-1)/(-3) + 2?
True
Let z(h) be the first derivative of -h**4/12 + 13*h**3/6 - 2*h**2 - 6*h + 4. Let g(x) be the first derivative of z(x). Is g(9) a multiple of 15?
False
Suppose 0 = -i - 4*f + 1, 0*f = -2*i - 3*f + 17. Suppose -i - 5 = -a. Does 6 divide a?
True
Let h = 28 + -22. Let o(j) = 5*j**2 + 14*j + 3. Let g(i) = -14*i**2 - 41*i - 10. Let a(w) = h*g(w) + 17*o(w). Is 13 a factor of a(13)?
False
Let r be (0/(-2))/(10/5). Suppose 1 = -a - r*a. Let u(n) = -n + 2. Does 3 divide u(a)?
True
Suppose -14 + 0 = -4*l - 5*m, l - 11 = -5*m. Is 30 a factor of ((-18)/(-24))/(l/80)?
True
Suppose 4*f + 6*r - 5*r = 7798, -3*r + 1944 = f. Does 13 divide f?
True
Let w(b) = -6*b**3 + 2*b**2 - 1. Let j = -19 + 17. Let o be w(j). Let l = o - 7. Is l a multiple of 8?
True
Let w(l) = l**2 - l + 1. Suppose -5 = 5*v + 10. Let q be 3 + (v + 2 - -6). Does 11 divide w(q)?
False
Let r = -37 - -65. Let m = r + -5. Does 7 divide m?
False
Suppose -4*i + 3*n + 0 = -9, 5*i + 5*n - 20 = 0. Suppose 3*f - 38 = -3*p - 8, i*f = 0. Does 6 divide p/(-65) + 160/26?
True
Let v(p) = 31*p + 57. Is 13 a factor of v(4)?
False
Let r(d) = -28*d + 620. Does 36 divide r(-37)?
True
Suppose 0 = w + 1, -y + 4*w = y - 14. Let v(h) be the first derivative of h**3/3 - 2*h**2 - h + 2. Is v(y) even?
True
Let o(g) = 0*g**3 - 10 + 11*g**2 + 2*g**3 - 3*g**3 + 15*g. Is o(12) a multiple of 6?
False
Let n(v) = -v**3 - 3*v**2 + 59*v + 224. Let a be n(-4). Let w = -4 + 8. Suppose m = a*h + w - 181, -5*h - m = -219. Does 22 divide h?
True
Let r(z) = -z**3 + z**2 + 4*z + 4. Let m be r(-2). Suppose 12 = -5*s + 2*f, -3*s - m = 2*f - 3*f. Is (-21 - 3)/s + 2 a multiple of 4?
True
Let u = 1130 + -1091. Is 2 a factor of u?
False
Let t(o) be the first derivative of 0*o - 15/2*o**2 + 6. Does 5 divide t(-1)?
True
Suppose t - 51 = -4*p, -4*p - 193 + 58 = -5*t. Suppose -2*b + g + 23 = 0, -4*b + b = 2*g - t. Does 11 divide (-3 + 0 - -3) + b?
True
Let m(h) = -h - 1. Let t be m(-11). Suppose -8 = -3*p + 2*q, 4*q + 0*q = 3*p - t. Suppose -2*g = p*g - 140. Is g a multiple of 12?
False
Let g be ((-5)/(-2))/(6/12). Suppose 44 = -g*q - 26. Does 16 divide ((-36)/q)/((-21)/(-392))?
True
Let w(o) = o**3 + 4*o + 3. Let f be w(-7). Let x be f/(-8) + -2 + -2. Suppose 0 = 3*r - x - 42. Is 6 a factor of r?
False
Suppose 18634 = -41*f + 55*f. Does 60 divide f?
Fals