2). Is 2/(-9) - 7546/a a multiple of 25?
False
Suppose -o - 24 = -5*o. Let h = o - 2. Is h a multiple of 4?
True
Suppose 2*l - 13 = -q, 4*q + q = 2*l + 5. Suppose -q*c + 5*v = 4, 5*v + 1 = 11. Suppose -z = c*u - 4*u + 107, 275 = 5*u - 4*z. Is 17 a factor of u?
True
Suppose 3*c + 34 = -4*d, 4*c + 5 = 2*d - 11. Let y(q) = 3*q + 3. Let v(z) = 6*z + 5. Let k(r) = -3*v(r) + 5*y(r). Does 9 divide k(c)?
True
Suppose -3*w - 2*w = -340. Is 17 a factor of w?
True
Suppose -49 = -r + 73. Does 12 divide r?
False
Let l be (-1)/(-2) + (-212)/(-8). Does 6 divide 4/(-18) + 276/l?
False
Let r(c) = 2*c - 34*c + 1 - 1. Is r(-1) a multiple of 15?
False
Suppose -k = -5*k + 336. Suppose 3*s - k + 0 = 0. Is 14 a factor of s?
True
Suppose 4*w - 3 - 5 = 0, -4*f - 5*w + 18 = 0. Suppose 0 = 3*u + 5*u - 4*u. Suppose -f*z - 181 = -5*z + h, -2*z - 5*h + 98 = u. Does 22 divide z?
False
Let k = -65 + 220. Is 15 a factor of k?
False
Is 1 - (-236)/2 - -1 a multiple of 15?
True
Suppose 0*j - 2*j = -62. Does 9 divide j?
False
Suppose 35 = l + 5*v, 0 = 5*l - 4*v - 76 - 186. Suppose -29 = -3*w - 5*k + l, -3*w + 2*k = -65. Does 14 divide w?
False
Let o(j) = 3*j - 9. Does 5 divide o(18)?
True
Let h = 11 + -6. Let j(c) = c**3 - 4*c**2 - 5*c + 5. Let y be j(h). Suppose y*m = m + 176. Is m a multiple of 22?
True
Is 20 a factor of 80 - ((-1 - 0) + 1)?
True
Suppose 0*v + 70 = 5*v. Is v a multiple of 10?
False
Let j be (-18)/(-2)*3/9. Suppose -k = 4, -4*s + j*k - 2*k = -92. Let x = 44 - s. Does 11 divide x?
True
Let p(b) = 32*b**2 - 1 + 2 + 0. Let w be p(-1). Suppose 0 = 2*f - 6*f - 5*a + w, 0 = a + 3. Is 6 a factor of f?
True
Let j(l) = 3 - 3*l - 7 + 5 + 4*l**2. Is j(2) a multiple of 10?
False
Suppose 0*o - 2*o = -4. Suppose 0 = 4*r - 3*r. Suppose r = -o*c - 4*i - 8, -5*c + 16 = -i - i. Is c even?
True
Let w = 2 + 0. Suppose -w*a = 3*a - 160. Is 9 a factor of a?
False
Suppose -p + 73 = 3*x, 4*p + 10 = -p. Suppose 0*g + x = 5*g. Suppose g*h - 1 - 9 = 0. Is h even?
True
Suppose 8*v + 100 = 3*f + 3*v, -3*v + 212 = 5*f. Is 5 a factor of f?
True
Suppose -t = -2*t. Let r be -2*(t/(-3) - 25). Let l = r + -31. Is l a multiple of 11?
False
Suppose 0*d - d + 45 = 0. Suppose d = 2*v - v. Is 15 a factor of v?
True
Let k = -10 - -7. Let q be (-16)/(-6) - 1/k. Suppose 0 = 2*i - q*i + 16. Is 8 a factor of i?
True
Let g(o) = -o + 12. Is g(4) a multiple of 4?
True
Suppose 7*a + 2*a = 810. Does 6 divide a?
True
Let z = 3 + -1. Suppose 0 = -4*b + 2*v + 216, 5*b - 102 = 3*b - z*v. Let l = b - 29. Is l a multiple of 12?
True
Suppose -6*d + 4*d + 115 = -5*p, 5*p + 15 = 0. Let f = -20 + d. Is f a multiple of 8?
False
Suppose -56 = -0*g - 4*g. Suppose -5*q + g + 11 = 0. Is q a multiple of 4?
False
Let t = 164 + -74. Is t a multiple of 15?
True
Let x(b) = -2*b - 3. Let m be x(-4). Let k = 4 + m. Is 3 a factor of k?
True
Let m = -1552 + 1080. Is m/(-10) + 3/(-15) a multiple of 12?
False
Let x(r) = -r**3 + 8*r**2 - 6*r - 6. Let v be x(5). Let s = -22 + v. Is 17 a factor of s?
True
Let v(p) = -2*p - 4. Let s be v(-4). Let c(h) = -h**3 + 3*h**2 + 3*h + 4. Let x be c(s). Suppose -4*n + 6*y = 4*y - 98, x = -n + y + 23. Is n a multiple of 12?
False
Let j(l) = 4*l - 22. Is 6 a factor of j(10)?
True
Is -3 - -4 - 1 - (2 + -12) a multiple of 3?
False
Let i(d) = -d**2 - d + 10. Let f(h) = -h - 7. Let v be f(-7). Does 5 divide i(v)?
True
Suppose r = -0*r. Suppose r = h - 3*h + 34. Is h a multiple of 7?
False
Is (-12)/(-21) - 51/(-21) a multiple of 2?
False
Suppose -21 = 5*m + 54. Is 17 a factor of (-1356)/(-20) - 3/m?
True
Suppose -3*f - 2*o + 148 = 0, -5*o - 58 = -3*f + 76. Does 20 divide f?
False
Let o be 2 + 6/4*-2. Does 14 divide 18 - (-3 - (-3 - o))?
False
Let l(p) = -3*p**3 - p. Let z be (1 - 2)*(-3 + 4). Let g be l(z). Suppose 4*x = 4*j - 124, -g*x + x = -4*j + 129. Is 13 a factor of j?
False
Let q(d) = -d**3 - d**2 + 8. Is q(-4) a multiple of 13?
False
Let z(p) = -p**2 - 7*p + 54. Does 23 divide z(-8)?
True
Let c(r) = r**2 + 5*r + 4. Let j be c(-8). Suppose -j = -k - k. Does 14 divide k?
True
Suppose -3*s - r = -186, -192 = 5*s - 8*s - 3*r. Does 13 divide s?
False
Let t = 1 - 1. Let n(z) = -3*z**3 - 3*z**2 + 5*z - 50. Let b(x) = -2*x**3 - 2*x**2 + 3*x - 25. Let i(a) = 5*b(a) - 3*n(a). Does 8 divide i(t)?
False
Let x be 1 + -7 + 3 + 7. Suppose x*s - 23 = 93. Let o = s + -15. Is o a multiple of 7?
True
Suppose 4 = 5*u - 6. Suppose -3*n + u*n = -28. Is n a multiple of 14?
True
Let c(p) = p**2 + 8*p. Let h be c(-8). Suppose 0*r + 3*r - 6 = h. Let w = 4 - r. Is 2 a factor of w?
True
Suppose -4*d + 92 = 4*g, g + 5*d - 63 = -2*g. Is g a multiple of 13?
True
Let t = -6 + 22. Does 8 divide t?
True
Let k = -104 - -131. Is k a multiple of 3?
True
Let j(k) be the first derivative of k**4/4 + 2*k**3 - 9*k**2/2 - 8*k - 3. Is j(-7) even?
True
Let r = -15 + 16. Is 4 a factor of 2 - (-16 + -3) - r?
True
Is 8*(91/26 - (-1 - -2)) a multiple of 5?
True
Suppose 2*r = r - 5*b + 337, -4*r + 2*b + 1436 = 0. Does 37 divide r?
False
Suppose 0 = -4*p - 8 - 0, -p = 3*j - 7. Suppose -4*d + 95 = -v, -2*v = -d + j*v. Is d a multiple of 7?
False
Let g = 6 + 1. Is 5 a factor of g?
False
Let j be ((-6)/6)/(1*-1). Let o be j/(-3) - (-705)/9. Suppose 0*w = 3*w - o. Is w a multiple of 13?
True
Let g(r) = 16*r**2 - 1. Let k(o) = 31*o**2 - 2. Let t(h) = -5*g(h) + 3*k(h). Let u = -5 - -6. Does 5 divide t(u)?
False
Let h(k) be the second derivative of k**4/12 + 7*k**3/6 + 2*k**2 - k. Let a be h(-7). Suppose -a*j + 8*d - 3*d + 20 = 0, -40 = -2*j - 5*d. Is j a multiple of 5?
True
Let i(g) = 13*g + 18. Suppose h + 2*n = -h + 12, 5*h - 5*n = -10. Let z(v) = -6*v - 9. Let f(r) = h*i(r) + 5*z(r). Does 8 divide f(-8)?
False
Suppose 7 = -4*q + 195. Does 11 divide q?
False
Let q(m) = -5*m - 1. Suppose -j + 3 = -3. Suppose 4*z - j = 6*z. Is 14 a factor of q(z)?
True
Suppose d - 4*d = -12. Does 11 divide 16/6*33/d?
True
Let z(f) = 3*f**2 + 4*f. Let m = 6 - 3. Suppose -m = -s - 0*s. Is z(s) a multiple of 14?
False
Let r = 110 - 72. Is r a multiple of 8?
False
Let m be 4/(-12) - 56/(-6). Does 9 divide ((-6)/10)/(m/(-405))?
True
Let u(j) = -j + 6*j + 0*j + 7 + 7*j**2 - j**3. Let p be u(6). Let b = -39 + p. Is 12 a factor of b?
False
Suppose 21 = 3*h - 2*t - t, 35 = 5*h + 2*t. Let p be 42/10 + (-1)/5. Suppose p = s - h. Does 7 divide s?
False
Suppose -19 = -4*b + l, 4*b + 2*l = 7*l - 1. Let m(h) = 6*h - 9. Is 7 a factor of m(b)?
False
Let c = 10 + -5. Suppose -c*w + 12 = -3. Does 21 divide (-59)/(0 + w/(-3))?
False
Suppose -2*v + 24 + 8 = 0. Suppose -3*a + 14 = -v. Is a a multiple of 10?
True
Let b = 7 + -3. Let o(q) = -2*q + 6. Let k be o(b). Is 10 a factor of (1/k)/((-1)/36)?
False
Let s(n) = 19*n - 2. Let r(o) = o**3 + 2*o**2 - 4*o - 1. Let j be r(-3). Does 18 divide s(j)?
True
Suppose 3*i + 2*i + 15 = -5*f, 4*f - 23 = i. Let j(o) = o**2 + 4*o + 1. Does 11 divide j(i)?
True
Suppose -i = 5*r - 46 + 1, 5*r = -4*i + 30. Suppose -b - r = -6*b, 5*b + 6 = 2*h. Is 4 a factor of h?
True
Let g(k) = -k**3 - 9*k**2 - 5. Let r be g(-9). Let l = r + 9. Suppose 0 = -l*a + 44 + 16. Is 15 a factor of a?
True
Let x be (-44)/(-7) + 8/(-28). Let k = 12 + x. Does 9 divide k?
True
Let i be (2 - 3)/(2/(-8)). Suppose i*d = r + 12 - 30, 0 = 4*r + 3*d - 72. Is (r - -1)/((-1)/(-1)) a multiple of 19?
True
Let h be ((-5)/(-15))/((-1)/(-9)). Suppose -2*b - h - 1 = 0. Does 11 divide 53/5 + b/(-5)?
True
Let j(r) = -21*r - 15. Let i be j(-11). Let b be 2/(-10) - i/(-30). Suppose -2*h = -11 - b. Is h a multiple of 9?
True
Let w(j) be the second derivative of j**7/840 + j**6/180 + j**5/30 + j**4/12 + 3*j. Let u(a) be the third derivative of w(a). Is u(-4) a multiple of 12?
True
Let m = -3 - -2. Let i = 4 + m. Suppose 2*z - i*z = -28. Is z a multiple of 14?
True
Suppose y + 50 - 202 = 0. Let w = y + -94. Is 29 a factor of w?
True
Suppose -8 = -2*q - 0*q. Suppose -q*j - 4*a + 88 = 0, -82 = -0*j - 4*j - 2*a. Is j a multiple of 5?
False
Let g(z) = z**3 - 2*z**2 - z - 6. Let r be g(4). Suppose -n + 4 = -r. Is n a multiple of 13?
True
Let x(n) = n**3 - 2*n**2 - 6*n + 4. Is 6 a factor of x(4)?
True
Let m = 2 - 12. Is (3/(-2))/(m/20) a multiple of 3?
True
Suppose -d + 3*k + 2 = 0, 1 = 2*k + 3. Let b be (d + (1 - -2))*2. Suppose l = -b*l + 70. Does 14 divide l?
True
Let k be 1/4 - (-618)/24. Let f be (-3 - 