29 + 26. Does 6 divide ((-56)/i)/((-6)/(-9))?
False
Let x be 12*27*14/21. Does 12 divide ((-2)/4)/((-9)/x)?
True
Let h(a) be the third derivative of -a**6/120 + a**5/15 + a**4/12 + a**3/2 + a**2. Let d be h(-3). Let x = d - 8. Is 13 a factor of x?
True
Let b(r) be the first derivative of r**4/4 - 16*r**3/3 + 17*r**2/2 + 18*r + 9. Let g be b(15). Does 20 divide (32/g)/((-4)/(-558))?
False
Suppose 2 - 12 = -k. Suppose -41 - k = -3*c. Let n = 20 - c. Is 2 a factor of n?
False
Let g(m) = m**2 + 25*m + 172. Is g(-13) a multiple of 2?
True
Suppose 2*u - 8 = -q - q, -u = 5*q - 12. Suppose -u*z = -z - 3*d - 15, -3*z = 3*d - 105. Suppose -o + z = 2*k, 3*o - 4*k - 28 = 112. Does 10 divide o?
True
Suppose -3*l = -5 - 7. Suppose 0*n = -l*n - 16, 5*j - 4*n = 36. Let v = 63 - j. Does 18 divide v?
False
Let k(y) = 229*y**2 - 4*y - 3. Is k(-1) a multiple of 5?
True
Does 50 divide (-4)/(-5) - (-181636)/455?
True
Let d = 17 - 7. Let a be d/35 + (-4)/14. Is (4 - 0/1) + a a multiple of 3?
False
Suppose 4*a + 5*x = 158, -17 = -2*a - 3*x + 63. Suppose -15 = 3*r, r + a = q - 1. Does 23 divide q?
False
Let u(c) = -477*c**2 - 3. Let f(k) = 159*k**2 + 1. Let l(w) = 7*f(w) + 2*u(w). Does 18 divide l(-1)?
False
Let o(q) = q + 7. Let c be o(-4). Suppose -3*t = -c*a - 396 - 18, -2*t + 135 = -a. Let m = 214 + a. Is 12 a factor of m?
False
Let a(o) = 2*o**2 - 2*o + 9. Let n = -17 - -11. Let z be a(n). Suppose 2*i = -3*t + 133, -2*t - i + z = -4*i. Is t a multiple of 18?
False
Let l(x) = -2*x + 15*x**2 + 4 - x**3 + 3*x + 2*x - 4*x. Is 31 a factor of l(14)?
True
Let t(x) be the third derivative of -x**4/12 - 3*x**3/2 - x**2. Let q be t(-6). Suppose 5*a = q*a, 4*w - a = 40. Does 9 divide w?
False
Suppose -2*t = -6*t - 620. Let m = -106 - t. Suppose 0*r - r - 60 = -5*n, 0 = 3*n + 2*r - m. Is 13 a factor of n?
True
Suppose -b + 6*u + 533 = 5*u, 3*b = u + 1605. Is 8 a factor of b?
True
Suppose 0 = 2*q - 96 + 4. Suppose 5*y - 31 = -3*p, y + 3 = 5. Let w = q + p. Is 7 a factor of w?
False
Let b = 31 - 24. Suppose 47 - b = 2*g. Is 3 a factor of g?
False
Let n = 814 - 724. Is n a multiple of 6?
True
Let z(k) = -4*k. Let f be z(3). Let w(t) be the second derivative of -2*t**3/3 - 3*t**2/2 - 30*t. Is w(f) a multiple of 15?
True
Suppose l - 430 = -9*l. Is 4 a factor of l?
False
Let r = -17 - -22. Suppose -2*x = -2*m - 290, -3*x - r*m = -m - 463. Is 25 a factor of x?
False
Let r(a) = a**3 - 6*a**2 - 17*a + 6. Let b be r(8). Let s be (0 + b)/(1/(-2)). Suppose -t + 5*h = -93, 2*t = -s*h + 76 + 110. Is t a multiple of 15?
False
Let f(r) = -4*r**3. Let v be f(1). Let k = 13 - v. Is 15 a factor of k?
False
Let q(d) = -d**3 + 20*d**2 + 4*d - 17. Does 2 divide q(20)?
False
Suppose -14 = -3*d + 4*c, 0 = 2*d - 0*c - 2*c - 8. Suppose 135 = d*z + 3*z. Suppose 5*m + z = 72. Is 3 a factor of m?
True
Let r(c) = c - 3. Let b(w) = w - 1. Let z be b(-4). Let k be r(z). Is k/(-2)*124/16 a multiple of 11?
False
Suppose 3*v - 13*z - 3228 = -10*z, 3*v - 3243 = -2*z. Does 9 divide v?
False
Let s be (-44)/7 + 2/7. Let b be ((-804)/18)/(2/s). Let w = b - 77. Does 23 divide w?
False
Let y(k) = 17 + 0*k**2 - k**2 + 3*k + 9*k. Let v be (-104)/(-2)*(-13)/260*-5. Is y(v) a multiple of 3?
False
Let k be (6/(-8))/((-1)/(-24)). Let p = 6 - k. Is p a multiple of 12?
True
Let z = 8 - 6. Suppose 2*g = 6, -z*q + 0*q + 19 = 5*g. Suppose q*t - 30 = -4. Is 13 a factor of t?
True
Let i = 7 - 3. Let n(x) = -8*x + 17. Let u be n(0). Suppose r - 5*r - 4*b = -80, -r = i*b - u. Is r a multiple of 7?
True
Let r(b) = -b**2 - 53*b - 41. Does 12 divide r(-36)?
False
Let h be (0 + -1)*(17 - 16). Let u be 9/((-1)/h) - 4. Suppose 12 = -q + 5*w, -u*w = -3*q - 0 - 6. Is 2 a factor of q?
False
Is 9 a factor of (17 + 25/(-4))/(1/16)?
False
Suppose 2*p - 2190 = -2*y, -5*y - 13*p + 5493 = -14*p. Does 61 divide y?
True
Let c(z) = 31*z + 201. Is c(6) a multiple of 9?
True
Suppose -188 - 148 = -6*l. Is 4 a factor of l?
True
Suppose 2*g + 5*u - 95 = 0, -3*g = 2*g - 3*u - 284. Suppose g = 6*j - 5*j. Does 11 divide j?
True
Suppose -1045*v + 1039*v = -3078. Does 19 divide v?
True
Is 18 a factor of 5*(-7)/35 + 497?
False
Suppose 3*p = -13*i + 11*i + 45, -5*i - 2*p = -107. Does 6 divide i?
False
Let g(s) = 71*s**2 + 8*s + 3. Is 3 a factor of g(-2)?
False
Suppose -2*f = -3 - 3. Suppose -2*z = 5*o + 38, -2 + 4 = f*o - 5*z. Does 14 divide (-2)/3*(-27 - o)?
True
Does 19 divide (-2*1)/(-4) + (-5229)/(-18)?
False
Suppose -232 = -y - 47. Suppose 4*n + n + y = 0. Let g = -13 - n. Does 12 divide g?
True
Let s be -4*4/(-10)*-5. Let q(a) = -2*a - 11. Is q(s) even?
False
Suppose -4*a = 4*y - 12, 11*y - 5*a = 10*y - 3. Let r be (2 - 62/3)*-3. Suppose -5*j = -3*m + 40, 5*m = j + y*j + r. Does 5 divide m?
True
Let u(z) be the second derivative of -z**3/6 + 10*z**2 - 7*z. Does 15 divide u(5)?
True
Let b be (-1)/(-4) + 2/(-8). Suppose i + h - 48 = b, -2*h = -3*i - 3*h + 140. Is i a multiple of 12?
False
Let h(l) = 2*l**2 + 8*l + 20. Let z(s) = -s**2 - 17*s - 55. Let p be z(-13). Does 14 divide h(p)?
True
Let d(p) = 18*p - 49. Let x be d(11). Suppose -251 - x = -4*b. Is 10 a factor of b?
True
Let r(q) be the first derivative of -q**3/3 - 7*q**2 + 6*q + 1. Is 15 a factor of r(-12)?
True
Let a(k) be the first derivative of 10*k**3/3 - k**2/2 - 7*k + 13. Is a(3) a multiple of 10?
True
Let n(u) = -3*u**3 + 2*u**2 + 6*u - 17. Is 14 a factor of n(-5)?
True
Suppose -4*q - 11864 = -2*g, -2*g + 14364 - 2490 = q. Is g a multiple of 15?
False
Let f be 11/(-2 - (-15)/9). Let j = 23 + f. Let x = j + 14. Is x a multiple of 2?
True
Let i = 39 - 35. Is 5 - (2 - 8/i) a multiple of 5?
True
Let d = 18 - 14. Suppose 3*z - 115 = 4*h, d*z - 2*z + 3*h - 88 = 0. Suppose -z = -2*f + 61. Does 22 divide f?
False
Suppose -27 = -4*n - 7. Suppose -z - 62 = 5*a, 0 = a - z - 2*z + 22. Let t = n - a. Does 5 divide t?
False
Let a(k) be the first derivative of -k**4/4 + 8*k**3/3 + k**2/2 - 6*k + 1. Let f be a(8). Suppose -2*d = f*g - 62, -4*d - 2*g = -d - 96. Does 8 divide d?
False
Suppose 21 = 3*f - 2*n - 0*n, -f = -4*n - 17. Suppose -f*g = -13*g + 368. Is 5 a factor of g?
False
Suppose 4*v + 11 = -1, 5*i + 5*v + 15 = 0. Suppose i = 3*f + 95 - 290. Is -4*1*f/(-10) a multiple of 16?
False
Let s(z) = 557*z**3 + z**2 + 3*z - 3. Does 68 divide s(1)?
False
Let g = -1000 + 1885. Is 11 a factor of g?
False
Let c(i) = -5*i**3 + 11*i**2 - 11*i - 6. Let v(a) = 6*a**3 - 11*a**2 + 11*a + 5. Let d(y) = 5*c(y) + 4*v(y). Is d(6) a multiple of 26?
True
Let t be -4*((-36)/16 + 3). Let v be t*4/3 - -14. Suppose 0 = -11*q + v*q + 52. Is q a multiple of 26?
True
Let w = -12 + 7. Let n(l) = 3*l**2 + 4*l + 5. Is 20 a factor of n(w)?
True
Let n(o) = 14*o**2 + o + 24. Does 16 divide n(-7)?
False
Let h = 181 - 296. Does 42 divide 7/(h/30 + 4)?
True
Suppose -x + 14 = -2*u - 1, u + 2*x = -15. Is 3/(u/(-246)) + (-18)/(-9) a multiple of 28?
True
Let i be -1*305*3/(-5). Suppose 2*p - i = -p. Is p a multiple of 17?
False
Suppose -92*f = -111*f + 62966. Is 13 a factor of f?
False
Does 119 divide (62951/69)/(-1 - (-4)/3)?
True
Let c = 21 + -15. Suppose c*r + 32 = 7*r. Does 8 divide r?
True
Let z(d) = -41*d**3 + 9*d. Does 9 divide z(-3)?
True
Let u be (-10)/(-20) + 11/(-2) + 1. Does 12 divide 1/(u/(-16)) + 8?
True
Let h(o) = o**2 + 3*o - 5. Let d(p) = -p - 7. Let i = -18 - -8. Let a be d(i). Does 5 divide h(a)?
False
Suppose 0 = -c - 0*c + 3*c. Is (-1 - c) + (0 - 1) + 128 a multiple of 18?
True
Suppose -x = 5*v + 3*x - 96, 4*v - 83 = 3*x. Suppose -3*b = -7*b + v. Suppose -3*m = 5*u - 212, 0 = -0*u - b*u + 4*m + 184. Is u a multiple of 10?
True
Does 4 divide (-73*28/70)/(2/(-40))?
True
Let w = -22 + 25. Suppose -w*q + 4 = -20. Suppose q = h - 7. Does 4 divide h?
False
Suppose 156 = w - 2*o, 5*w + 4*o + 158 = 6*w. Let y = -90 + w. Is y a multiple of 16?
True
Let z(n) = 6*n + 4. Let h(b) = -5*b - 4. Let a(f) = -5*h(f) - 4*z(f). Is 10 a factor of a(6)?
True
Let r be -2 + (-5)/(-2)*2. Let g(y) = -r*y - 2*y - 4*y + y + 2*y**2 - 10. Does 15 divide g(8)?
False
Suppose -h + 2*c = -3*h + 248, -4*h + c + 501 = 0. Is 33 a factor of h?
False
Is (-2 - 0 - -1457) + -7 + 10 a multiple of 54?
True
Is (239 - (2 + 3))*2 a multiple of 44?
False
Is (-57)/(-6)*(-20 - -8)*-9 a multiple of 27?
True
Is 5 a factor of 24*(-4*102/(-48) + 6)?
False
Suppose 0 = 3