- 4 = -r, -r + 2*z + v = 0. Is r a multiple of 8?
True
Let o(t) = -t**3 - 4*t**2 - 4*t - 3. Let z be o(-3). Suppose 3*n = 3*y - y - 7, z = 5*y + 5*n - 5. Suppose 8 = y*u - 6. Is u a multiple of 5?
False
Suppose 4*l - 13 = -g, -4*g = -l - 1 - 0. Suppose 4*r = l*r + 59. Is 15 a factor of r?
False
Suppose -4*x - 21 + 5 = 0. Is 26 a factor of x*(-2)/((-8)/(-42))?
False
Suppose -4*b + 4*g = -100, -157 + 42 = -4*b + g. Is 30 a factor of b?
True
Suppose 2*m - 2*g + 852 = 6*m, 1062 = 5*m + g. Suppose 0 = 4*k - 96 - m. Does 32 divide k?
False
Let n(m) = -m**2 - 6*m - 4. Let f be n(-4). Let z = f + 1. Suppose 4*i = -4*a + 84, -z*a + 3*i + 97 = -0*i. Is 10 a factor of a?
True
Does 27 divide 4*4/(64/108)?
True
Let r(b) = 2*b - 8. Does 3 divide r(8)?
False
Let s(q) be the second derivative of -q**5/5 - q**3/3 - q**2/2 + 2*q. Let b be s(-1). Suppose 33 = b*z - 2*z. Does 7 divide z?
False
Let j = -8 + 6. Does 15 divide (j - (-23)/2)*2?
False
Let a = -11 - -1. Let q = -46 - -23. Let d = a - q. Is 6 a factor of d?
False
Let r = -185 - -320. Is 15 a factor of r?
True
Is 2 + -3 + -1 + 74 a multiple of 6?
True
Suppose 2*h - 12 = -2*y, y + 4*h = -y + 12. Suppose 2*b + 17 = 3*s - 0, -y = -2*s + 4*b. Does 7 divide s?
True
Suppose -4*n + 5*o = -86 + 7, 0 = -o + 1. Does 6 divide n?
False
Suppose 0 = r - 3*r + 26. Is 13 a factor of r?
True
Let f(j) = j**2 - 9*j - 8. Let v be f(10). Suppose -v*x + 20 = 2*x. Is x a multiple of 2?
False
Let c = 6 - -5. Is 11 a factor of c?
True
Is (-2)/4 - 201/(-6) a multiple of 27?
False
Let a = 23 + 54. Is 24 a factor of a?
False
Let b(x) = 28*x**2. Let n = -10 + 9. Is 4 a factor of b(n)?
True
Suppose -4*z + 6*z = 54. Is z a multiple of 9?
True
Let c = 125 + -109. Is c a multiple of 16?
True
Suppose -4*j = 3*x - 2, -3*j + 6 = 3*x - 0*j. Does 6 divide x?
True
Let c be 6/4 + 1773/18. Suppose 4*z = y + 101, -2*z - 3*z + c = 4*y. Is z a multiple of 8?
True
Let d be -1*(-4 - -1) - -4. Suppose t - d = 5*y + 23, 0 = -5*t - 3*y + 150. Does 19 divide t?
False
Let q = -118 + 228. Does 13 divide q?
False
Let k(j) = -102*j**2 - 5*j + 4. Let h be k(5). Let m be h/(-27) - (-4)/(-18). Suppose 3*b + q - m = -19, -2*q = -3*b + 82. Is 13 a factor of b?
True
Suppose -23 + 3 = -5*z. Suppose -4*m = z, -5*m - 12 = y - 33. Suppose 0*g + 3*k - y = -g, -2*g + 62 = -4*k. Does 13 divide g?
False
Let n = 3 + 2. Suppose 0*f = 5*p - 3*f - 13, -3*p + n*f = -11. Suppose p*i + 22 = 78. Does 14 divide i?
True
Let q(r) = -3*r**3 - 4*r**2 - 4*r + 1. Let v be q(-3). Suppose 3*f - 2*w - 77 = 0, -2*w + 0*w + v = 2*f. Is f a multiple of 9?
True
Let s(f) = 0*f + 3 - 3*f - 6*f**2 + f + f**3 - 5. Is s(7) a multiple of 16?
False
Let i be 2/(1 - 116/117). Let s(f) = 2*f - 26. Let o be s(14). Does 13 divide o + -2 + i/6?
True
Let x(q) = -3*q**2 - 2*q + 1. Let j be x(1). Let t = 5 - j. Is 9 a factor of t?
True
Suppose 4*m = 177 + 223. Is 25 a factor of m?
True
Let p be ((-18)/15)/((-6)/20). Let w be p/16 - 162/8. Let v = 28 + w. Does 8 divide v?
True
Let g = 27 - -19. Does 23 divide g?
True
Suppose 5*t + 26 = 3*t. Let a = 44 - t. Let k = 87 - a. Is k a multiple of 15?
True
Suppose 0 = -0*q - q + 13. Does 4 divide q?
False
Let u = 284 + -191. Suppose -i + 0 = -4. Suppose -29 = i*l - u. Is 6 a factor of l?
False
Suppose -2*t + 4*a = -120, 46 = 5*t - 5*a - 264. Is t a multiple of 16?
True
Suppose -b - 3 = 0, -2*b = 2*k - 0*b + 94. Let z = -19 - k. Is z a multiple of 10?
False
Let s(m) = -m**3 + 2*m**2. Let n be s(3). Let l(h) = -h**2 - 10*h - 7. Is 2 a factor of l(n)?
True
Suppose 4*n + 5*k = 194, 4*n + n - 263 = 4*k. Let d = n + -19. Is d a multiple of 16?
True
Let z be (-26)/(-3 - (-7 + 3)). Let k = 5 - z. Does 7 divide k?
False
Let w be 4/(-6)*21/7. Is 10 a factor of (-20)/w - 0/(-1)?
True
Let o(f) = -f**3 + f**2 + f + 4. Let c be o(0). Let x(d) be the second derivative of d**3 + 2*d**2 - 8*d. Is x(c) a multiple of 14?
True
Suppose 4*n = -3*y + 305, 4*y - 3*n = -n + 392. Is y a multiple of 14?
False
Let z = 11 + 12. Let s = 42 - z. Is s a multiple of 9?
False
Suppose -6*f + 3*f = -66. Is 9 a factor of f?
False
Let f(i) = 37*i**2 - 4*i + 15. Is f(3) a multiple of 55?
False
Suppose 2*r + 2*q = 20, -2*r + 5*q = 3*r. Let k = 37 + r. Is 7 a factor of k?
True
Suppose 7*x + 5*o - 185 = 2*x, -3*x + 3*o = -93. Does 7 divide x?
False
Let g(v) = v**3 - 5*v**2 - 6*v + 8. Let o be g(6). Let q be 26/(-4)*o/(-2). Let x = q + -14. Is x a multiple of 6?
True
Let l(c) = 9*c - 4. Let j(w) = -w**2 - 8*w + 1. Let o be j(-7). Let a be ((-3)/(-4))/(2/o). Is l(a) a multiple of 7?
False
Let g = 140 - -25. Is 14 a factor of g?
False
Suppose 2*n - 104 = -2*g, -n + 0*g - 2*g + 57 = 0. Is 18 a factor of n?
False
Suppose 14 - 5 = 3*s. Suppose s*z = -z. Suppose z*b - b = -6. Is b a multiple of 6?
True
Let z(s) = -s**3 + 3*s**2 + 3*s - 2. Let o be z(-3). Suppose -2*x + 47 + o = 0. Is 15 a factor of x?
True
Let l = -5 - -7. Suppose 3*o - 91 = 53. Suppose -16 = -2*u + 5*b, 4*u + 0*u = l*b + o. Is u a multiple of 13?
True
Let d(o) = -o**2 + 8*o - 4. Let r be (-16)/(-10) - 6/(-15). Suppose 6 = r*c - 0. Is d(c) a multiple of 4?
False
Suppose 0 = x + x + 2. Let h(g) = g**3. Let w(s) = 6*s**3 - 8*s**2 + 5*s + 3. Let m(k) = x*w(k) + 5*h(k). Is m(7) a multiple of 4?
False
Let j be 173/2 - (-1)/(-2). Let t = -21 + -29. Let v = j + t. Does 16 divide v?
False
Let p = 84 + -48. Suppose -5*k = -24 - p. Does 7 divide k?
False
Let g(d) = 7*d**2 - 17*d - 13. Suppose 5*t - 25 = -0*t. Let b(r) = -11*r**2 + 26*r + 20. Let f(s) = t*b(s) + 8*g(s). Is 12 a factor of f(-4)?
True
Let q(l) = -l - 1. Let c be q(-4). Let f = 5 - c. Suppose -f*z + 2 = -14. Does 8 divide z?
True
Does 29 divide (-8)/6*(-3 + 324/(-8))?
True
Suppose 0 = -r - r + 60. Is 15 a factor of r?
True
Let n(r) be the second derivative of -r**3/6 + r**2 - r. Let z be n(0). Suppose z*k - 24 = 4. Does 7 divide k?
True
Suppose 0*s = -2*s + 26. Is s a multiple of 13?
True
Is (-2 - (-88)/3)*3 a multiple of 8?
False
Suppose 4*w - 3*w + 20 = 0. Is 3 a factor of 2*(1 + w/(-8))?
False
Let o be (-3)/(-4)*(3 - -1). Let u(s) = s**2 - s. Let q be u(2). Suppose o*b - 3 = 12, 0 = 5*y + q*b - 150. Is 13 a factor of y?
False
Let q be 0 + -2 + (-14)/2. Let u = q - -3. Is (-66)/(-14) + u/(-21) a multiple of 2?
False
Let g(i) = -i**3 + 9*i**2 + 11*i - 11. Does 26 divide g(9)?
False
Let j(o) = -o**3 - 3*o**2 + 5*o - 6. Is 5 a factor of j(-5)?
False
Let x = -31 + 73. Is 5 a factor of x?
False
Let g(o) be the second derivative of o**4/12 + 4*o**3/3 + 9*o**2/2 + 4*o. Suppose -4*f = 42 - 10. Does 9 divide g(f)?
True
Let w(l) = 3*l**2 + 8*l - 4. Let h be w(-8). Suppose 2*o - 62 = 2*c + 3*c, 3*c + h = 4*o. Is o a multiple of 13?
False
Suppose -1 = -w + 1. Let b be 10/(-4) + 2/4. Does 5 divide (-29)/b - 1/w?
False
Let i(j) = -j**2 + j - 1. Let r be i(0). Let d(w) = 20*w**2 - w. Is 21 a factor of d(r)?
True
Suppose -4*l + 2*l = -5*s + 125, -l + 5 = 0. Does 9 divide s?
True
Let o(p) = p - 2. Let t be o(5). Suppose -2*i + 11 = -3*d + 3*i, -t*d + 3*i = 9. Does 10 divide d/6 + (-196)/(-12)?
False
Suppose -5*y + 174 - 9 = 4*n, -5*n = -5*y + 120. Does 4 divide y?
False
Let o(j) = j**2 + 7*j - 2. Let z be o(-7). Let v = 0 - z. Suppose 5*c = 3*u + v*u + 135, -3*c = -2*u - 80. Does 15 divide c?
False
Let a(d) = 19*d**2 + 1. Let s be a(1). Suppose 0 = -2*j + 7*j - s. Is 4 a factor of j/(-10) - 22/(-5)?
True
Is 6 a factor of (8/6)/(9/324)?
True
Suppose 6 = -0*j - j. Let f = j - -6. Suppose 5*d - 5*q - 105 = 0, -d - 2*q + 4*q + 21 = f. Is 6 a factor of d?
False
Let k(y) be the second derivative of y**7/2520 - y**6/90 - y**5/40 + y**4/3 - 3*y. Let m(p) be the third derivative of k(p). Does 10 divide m(11)?
True
Suppose 5*z + 2*v = 141, -v - 154 + 36 = -4*z. Is 8 a factor of z?
False
Suppose 0 = -5*w - 9 - 16. Is (-2)/10 + (-171)/w a multiple of 14?
False
Suppose 3*l - 79 = 5*k - 16, 4*l = k + 67. Is l a multiple of 8?
True
Is 16 a factor of (8/3)/((33/18)/11)?
True
Suppose z = 4*z - 144. Does 12 divide z?
True
Suppose 2*g - 13 = -5. Suppose -g*b + b + 150 = 0. Let x = b + -26. Is x a multiple of 9?
False
Let z = -15 - -15. Suppose z = 3*p - 7*p + 16. Is p even?
True
Suppose 399 = 8*s - 5*s. Is s a multiple of 13?
False
Let i = 11 + -11. Suppose y = -2*k - y, -4*k + 2*y + 12 = i. Does 12 divide ((-56)/35)/(k/(-