. Suppose -18*w + 1425 + 4011 = y. Does 19 divide w?
False
Suppose -3*i - i + 6 = 2*u, -5*i + 5*u = 15. Suppose 4*g + 17 = -3*k, -64*g + 5*k = -65*g. Does 17 divide (i + 109)*(-4)/(20/g)?
False
Let c(j) be the third derivative of j**5/20 - j**4/12 - 5*j**3/6 + 47*j**2. Is 7 a factor of c(4)?
True
Let u(k) = 109*k - 9. Let o(s) = s**3 + 2*s**2 - 3*s + 2. Let a = -85 - -86. Let x be o(a). Is 19 a factor of u(x)?
True
Suppose 2*g = g - 150. Suppose -2*d + z - 219 = 0, 2*z + 9 = -d - 88. Let t = d - g. Is 8 a factor of t?
False
Suppose 2*g + 0*g - 390 = 0. Let p(c) = c**2 - 64*c + 81. Let u be p(64). Let l = g - u. Does 19 divide l?
True
Let n(y) = 5*y**2 + 74*y - 13. Let a be n(-15). Suppose -18*t = -a*t - 1856. Does 5 divide t?
False
Let q(v) = -76*v + 2041. Is 170 a factor of q(17)?
False
Let z = 460 + 844. Let h be z/10 + 32/(-80). Suppose -7*i - h = -8*i. Is 10 a factor of i?
True
Suppose 2 = -8*n - 30. Let l be (n - -10) + -1 + 2/(-2). Suppose 225 = 4*c + 5*y, y + 231 = 4*c + l*y. Is c a multiple of 15?
True
Let t be (1 + -3)*(-5)/2. Let x(p) be the third derivative of p**4/24 + 11*p**3/3 + 85*p**2. Is x(t) even?
False
Is 4/16*269*(19 - -85) a multiple of 26?
True
Let q = -160 + 148. Is 3 a factor of q/10*(-875)/70?
True
Let k(y) = 39*y - 310. Let p be k(-12). Let m = p + 1037. Is 2 a factor of m?
False
Let v = 26263 - 24679. Does 44 divide v?
True
Let y(i) = 9*i**2 - 8*i - 1. Let d(o) = -17*o**2 + 15*o + 1. Let u = 71 + -75. Let c(x) = u*d(x) - 7*y(x). Is 18 a factor of c(3)?
True
Let n = -10944 + 18582. Does 19 divide n?
True
Let m be 244/20 - (-5)/(-25). Suppose 2*g = 5*y - 161, g + 3*g = -m. Is 11 a factor of y?
False
Suppose 17*q - 26*q + 29304 = 0. Suppose 20*i = 28*i - q. Is i a multiple of 37?
True
Let w be (-3)/9 + (-6)/9 - 23. Does 5 divide (18/w)/(-2 - (-453)/228)?
False
Let a be 3006*(4/(-8) - (-10)/12). Suppose 2*y = 5*g + a, 1016 = 2*y - 5*g + 7*g. Does 46 divide y?
True
Suppose 2*i - 6*r = -7*r + 1340, 4*i - 5*r = 2708. Suppose 24*v - i = 20*v. Does 30 divide v?
False
Let s be (5/2)/(-5)*-8. Suppose -5*w = d - 30, 24 = s*w + d + 2*d. Is 10 a factor of w*(40/(-3))/(-4)?
True
Let q(w) = -7*w**3 - 7*w**2 - 15*w + 10. Let r be q(-4). Let m = r + 299. Does 15 divide m?
True
Suppose 4*p + 4*q - 15 - 1 = 0, -2*p = q - 3. Is 25 a factor of p/3*60/(-8)*150?
True
Let j = 691 + -983. Let k = j - -455. Suppose -4*h - 3*r = -k, 3*h - 86 - 37 = -3*r. Is 8 a factor of h?
True
Let o = 75 - 71. Let s be ((-33)/(-12))/(5*o/480). Suppose -s = -j + 103. Is j a multiple of 9?
False
Suppose 114*j - 111*j - 3*x = 11643, -5*j + 2*x = -19393. Does 56 divide j?
False
Let j = -654 + 1433. Let v = 1334 - j. Is 30 a factor of v?
False
Let z(i) = -4*i**2 + 18*i + 112. Let x(o) = 9*o**2 - 36*o - 240. Let a(p) = -5*x(p) - 11*z(p). Let u be (2 - 2/1) + -6. Is a(u) a multiple of 4?
True
Let j = 58887 + -34311. Is 32 a factor of j?
True
Let a(u) = u**3 - 3*u**2 - u + 3. Let t be a(5). Suppose -271 - 33 = -4*m. Let i = m - t. Is i a multiple of 2?
True
Let l(s) = -8*s + 4012. Does 21 divide l(-97)?
True
Let v(w) = -923*w - 7502. Is v(-26) a multiple of 16?
True
Let h = -37039 - -60407. Is h a multiple of 92?
True
Let w = 95 + -71. Is 59 a factor of ((-210)/w)/((-5)/260)?
False
Suppose -4*j = x + 23 + 6, 3*j - 57 = 3*x. Let g(k) = -98*k - 54. Let h(u) = 69*u + 36. Let l(t) = 5*g(t) + 7*h(t). Is l(x) a multiple of 18?
False
Let p = -71 + 172. Let s = p - 102. Let o(v) = -167*v - 1. Is o(s) a multiple of 19?
False
Let c(y) = 3146*y**3 - 5*y**2 + 16*y - 12. Is 10 a factor of c(1)?
False
Suppose 3*p - 9 = 0, -4*r - 18 + 48 = 2*p. Suppose y = 2 - r. Is 1/y + (-4675)/(-44) a multiple of 19?
False
Suppose 6*c - 45379 = 3*c - 2*w, -4*c - 5*w = -60510. Is c a multiple of 121?
True
Let h(w) = 8*w**2 - 6*w - 2. Let q be h(-2). Let a = q - 40. Suppose -3*n - 2*p = -a*n - 27, -29 = -n - 3*p. Is n a multiple of 12?
False
Let y = 2747 + -1031. Is y a multiple of 132?
True
Let h be 2 + 2 + (4 - 2). Let u(a) = -19*a + 18. Let j(x) = -9*x + 9. Let r(o) = -13*j(o) + 6*u(o). Does 3 divide r(h)?
True
Suppose t + 3*y + 18 = 0, 11*t + 2*y = 9*t - 16. Is (-2 - t)*(24 + 271) a multiple of 28?
False
Let k be -75 + (-2 - 0)/2. Let x be 8/(-4)*(-855)/(-38). Let g = x - k. Is g a multiple of 19?
False
Suppose 5111 = 191*h - 17347 - 29685. Does 3 divide h?
True
Let g be -2722*((-36)/(-8) - 4). Let m = 2373 + g. Does 46 divide m?
True
Let r(y) be the first derivative of -y**2/2 + 44*y - 65. Suppose -3*p + 39 = -0. Does 17 divide r(p)?
False
Let p(d) = 265*d**2 - 71*d - 474. Does 85 divide p(-6)?
False
Let x(p) = -7*p**3 + p**2 - 8*p + 1510. Let l(n) = 15*n**3 - n**2 + 17*n - 3020. Let v(t) = 6*l(t) + 13*x(t). Is v(0) a multiple of 51?
False
Let f = -1003 + 1016. Suppose -3*t + 738 = 3*s, f*s - 8*s + 948 = 4*t. Does 21 divide t?
False
Suppose -x + 11 = -24. Let o = x - 33. Suppose 72 = -o*b + 4*b. Is b a multiple of 9?
True
Let i be 0/(-7)*(12/(-8))/3. Suppose 18*d + 4*w + 2424 = 21*d, -3*d + 5*w + 2427 = i. Is 12 a factor of d?
True
Let y = 53819 + -42307. Is 8 a factor of y?
True
Let y = -22280 - -31825. Does 23 divide y?
True
Let f(t) = 7*t - 20. Let w(q) = q**2 - 6. Let k be w(-4). Let l be f(k). Suppose 52*o - l*o = 54. Does 22 divide o?
False
Suppose -3 = -x - 0. Let l be -4 + (19 + -1)/x. Suppose 229 = l*d - w, -3*d + 250 + 96 = w. Is d a multiple of 23?
True
Let m(s) = -s + 42. Let b(d) = -d + 42. Let i = -24 + 22. Let r(g) = i*b(g) + 3*m(g). Is 22 a factor of r(12)?
False
Suppose 0 = 2*n - 25 + 13. Is 40 a factor of (-4 + n)/((-2)/(-182))?
False
Suppose -2*s - 5*h - 172 = 0, -s - 56 = -3*h - 2*h. Let j = 64 + s. Let d(t) = t**2 + 7*t - 17. Does 10 divide d(j)?
False
Suppose 14*c - 6500 - 14080 = 0. Is 35 a factor of c?
True
Suppose 0 = 3*i - 7 + 1. Let g be 1/(((-4)/(-718))/i). Let y = -248 + g. Is 13 a factor of y?
False
Let f(p) = p**3 + 4*p**2 - 8*p + 7. Let q be f(5). Let z = -96 + q. Is z a multiple of 24?
True
Let u be ((-4)/3*-1)/((-4)/(-30)). Suppose -5*t - 296 = -u*t - 4*j, t + 2*j = 58. Is t a multiple of 30?
True
Suppose 4*n + 11*w = 7*w - 2416, 2*n + 1214 = -5*w. Let o = -426 - n. Is o a multiple of 22?
True
Let v(y) = -7*y - 10. Let o be v(-2). Suppose -2*g + 2 = -3*l - 2, -8 = -o*l - 4*g. Suppose -4*u + 4*a + 72 = l, -2*u + 2*a = 3*a - 21. Does 13 divide u?
True
Suppose -566 = -19*d - 129. Suppose -d - 609 = -4*j. Is 6 a factor of j?
False
Let w(v) = v**2 + 7*v + 8. Let l(h) = h + 1. Let a(u) = 4*l(u) - w(u). Let o be a(-3). Is 12 a factor of (-2)/((o/62)/2)?
False
Let h be 215 + (102/(-21) - (-2)/(-14)). Is (-10)/h*-14 + 1486/3 a multiple of 23?
False
Let w(y) = -2*y**2 - 44*y + 11. Let f be w(-31). Does 6 divide (-26)/91 - f/7*2?
True
Let a(k) = -k**3 + 30*k**2 - 6*k - 5 - 20*k**2 + 18*k. Let l be a(11). Is 15 a factor of (0 - l/4)*-12?
False
Let a(r) be the first derivative of 379*r**3/3 - 5*r**2 - 9*r + 21. Is 8 a factor of a(-1)?
False
Let g(z) = 63*z**2 - 14*z + 108. Let v(c) = -32*c**2 + 7*c - 55. Let p(b) = 4*g(b) + 7*v(b). Is 19 a factor of p(5)?
False
Let g(t) be the third derivative of 0*t + 0 - 8/3*t**3 - 5/24*t**4 + 9*t**2. Does 14 divide g(-6)?
True
Suppose 1 = -5*k + 4*w - 7, -5*k + 3*w = 6. Suppose k = 6*u - 4*u - 3*a - 9, -15 = u + 5*a. Suppose 5*r - 228 = m - u*m, -m = 3. Is r a multiple of 9?
True
Let x = 49 + -52. Let u(q) = q**3 + 4*q**2 - 5. Let v be u(x). Does 7 divide v/6 - (-142)/3?
False
Suppose -2*o - 41294 = -5*c, -127*o = 2*c - 130*o - 16533. Is c a multiple of 43?
True
Suppose 71*n = 20*n + 12036. Suppose 5*i - 4*k = 250, -10*k + n = 4*i - 6*k. Is i a multiple of 3?
True
Suppose 3*i - 65 = -5*y - 18, -3*y + 9 = -3*i. Let n = 7 - y. Suppose n = -2*c + 54 - 2. Does 3 divide c?
False
Let x = 13029 - 7893. Is x a multiple of 79?
False
Let h(l) be the second derivative of -l**5/60 - 5*l**4/12 + 4*l**3 + 9*l**2/2 - 11*l. Let x(a) be the first derivative of h(a). Is 3 a factor of x(-11)?
False
Let u be (-2894)/(-18) + 2/9. Suppose 29 + u = 5*q. Suppose 2*i - s - q = i, -3*i + 113 = -2*s. Is i a multiple of 12?
False
Let m = -2589 - -3085. Does 31 divide m?
True
Let o(r) = -r**3 + 18*r**2 + 6. Let x be o(18). Suppose 10*q - x*q = 2740. Does 13 divide q?
False
Let k(h) be the first derivative of -3*h**4 + 4*h**3/3 - h**2/2 - 13. Is 19 a factor of