= 4*m - m. Suppose s + s = m. Is 19 a factor of s?
False
Suppose 3*i - 3*r = 15, -3*i + 0*i + 25 = -5*r. Suppose -w - 5*p + 31 = i, -w + 2*w = p + 13. Is w a multiple of 16?
True
Let b be 1960/(-16)*(-12)/5. Suppose 0 = -2*v - v - 4*k + b, -3*v + 288 = 2*k. Let s = v - 64. Is s a multiple of 16?
False
Does 13 divide ((-18)/15)/(6/(-260))?
True
Let w(b) = -2*b**2 - 3*b - 5. Let x(p) = p**3 + p**2 + p + 1. Let g be x(-2). Let j be w(g). Let m = 79 + j. Does 15 divide m?
False
Let d = -19 - -31. Let k = 17 + d. Suppose -a - 2*h = -1, 0*h = a - 5*h - k. Is 7 a factor of a?
False
Let s(y) = -y + 9. Suppose 2*r = -3*r + 35. Let g be s(r). Suppose g*z + 49 = 3*j, -5*j + 3*z + 41 = -3*j. Is j a multiple of 11?
False
Suppose 10*g + 475 = 15*g. Does 19 divide g?
True
Suppose 0 = -3*m + 2*m + 88. Is m a multiple of 26?
False
Let y(s) = -s**2 - 6*s - 8. Let f be y(-6). Let d = -2 - f. Suppose -o = -h - 6, 3*o = d*o + 3*h. Does 2 divide o?
False
Suppose -25*o = -31*o + 966. Does 14 divide o?
False
Let r(d) = 13*d**2 - 2. Is r(2) a multiple of 14?
False
Let n(d) = -3*d - 28. Is 7 a factor of n(-14)?
True
Let u = -50 - -101. Does 17 divide u?
True
Let d be -4 - (-4 + 2) - -2. Is 13 a factor of -4*(d - 39/12)?
True
Suppose -3*z - 62 = -t, 104 = 4*t + 4*z - 80. Is t a multiple of 10?
True
Suppose 4*j - 3*n - 184 = -j, -3*j = n - 102. Does 26 divide j?
False
Let q(g) = -2*g. Let a be (-4)/(-22) + (-24)/11. Let m be q(a). Suppose -2*s - m*k + 16 = -18, -s + 5 = -k. Is s a multiple of 6?
False
Let w(h) = -4*h + 10. Is 8 a factor of w(-5)?
False
Suppose 0 = 4*t - p + 249, -p - p + 10 = 0. Suppose 0 = 4*m - m + 93. Let a = m - t. Does 15 divide a?
True
Let y(g) = -5*g**3 + 19*g**2 - 10. Let j(z) = 3*z**3 - 13*z**2 + 7. Let k(o) = 8*j(o) + 5*y(o). Let i be k(-9). Is (-3)/(-9) + 10/i even?
True
Let p(k) be the first derivative of -k**4/4 + 2*k**3/3 - k**2/2 + k + 3. Let z be p(3). Let u = 24 + z. Is 13 a factor of u?
True
Suppose 0 = 5*q - 5*h - 2 - 23, -5*q + 3*h = -25. Suppose -4*l + 127 = -q*n, -3*n - n - 12 = 0. Is 15 a factor of l?
False
Suppose 2 = 5*h + u, h - 3*h = -3*u + 6. Suppose -3*i + 28 = -2*o - 134, h = i + 5*o - 71. Does 26 divide i?
False
Let d = -18 - -20. Suppose 46 = -d*i + 4*i. Is i a multiple of 7?
False
Suppose -3*z = -6*z + 12. Let u(b) = 2*b**3 - 5*b**2 + 5*b. Is u(z) a multiple of 15?
False
Let j = -5 - -5. Let c(q) = j*q + 6 + 0 - q. Is c(-5) a multiple of 11?
True
Let w = 19 + 3. Is w a multiple of 21?
False
Let d(o) = o**2 + 4*o. Let b be d(-3). Is (-1)/b - (-24)/9 a multiple of 3?
True
Suppose 2*o = 15*o - 3159. Is o a multiple of 14?
False
Let i(c) = c**3 + c**2 - 3*c + 26. Is i(5) a multiple of 23?
True
Let w = -13 - -15. Is w/((-33)/(-30) + -1) a multiple of 5?
True
Let k(y) = -y**3 - 5*y**2 + 5. Let i be k(-5). Let l = -4 - -7. Suppose -l*r + r + 43 = i*x, x = -r + 17. Is 7 a factor of r?
True
Suppose -x + 21 = -129. Does 30 divide x?
True
Let f = -6 + 6. Let t be (-6)/(f - (-1)/2). Let u = 39 + t. Is 13 a factor of u?
False
Suppose -4*t + 500 - 136 = 0. Is t a multiple of 19?
False
Let r be (88/(-10))/(5/(-25)). Let c = 96 - r. Is 13 a factor of c?
True
Suppose 0 = -5*b - 20, -5*q - 2*b - 68 = -0*b. Let t be (1 + -5)*15/q. Suppose -4*v = -4*l + 124, l - t*v = 13 + 2. Is l a multiple of 11?
False
Let l be ((-58)/(-4))/(3/6). Is 1/(2/4) + l a multiple of 16?
False
Suppose 5*y - 3*y + 66 = 0. Is 10 a factor of 6/y - (-332)/11?
True
Suppose -2*d - 10 = 4*p + 6, 3*d + 15 = -3*p. Let c(o) = -6*o - 3. Does 15 divide c(p)?
True
Suppose o - 24 = 24. Is o a multiple of 16?
True
Suppose -4*t + 27 - 3 = 0. Suppose 2*r = 5*r - t. Suppose -x = r*y - 28, -y + 3*x = -0*y. Is 12 a factor of y?
True
Let o(w) = w**2 + 4*w + 8. Let s(j) be the third derivative of j**4/8 + j**3/3 - j**2. Let m be s(-3). Does 26 divide o(m)?
False
Let k(x) = x**2 - 10*x + 6. Let t be k(9). Let v(u) = -7*u - 1. Let l(n) = 2*n. Let s(d) = t*v(d) - 8*l(d). Does 18 divide s(3)?
True
Let f(r) = -r**3 - 7*r**2 + 3*r - 1. Does 9 divide f(-8)?
False
Suppose 0*p - 2*p + 6 = 0. Suppose 0 = 5*o - 3*o + p*k - 93, -5*k = o - 64. Does 12 divide o?
False
Suppose 4*a - 26 = 2*f, 2*a - 25 = -a - 4*f. Is a a multiple of 6?
False
Let a(z) = -5*z + 6. Let d be 0/5 + (1 - 7). Is a(d) a multiple of 18?
True
Let w(c) = -3*c**3 - c**2 - c. Let b be w(-1). Suppose -12 = -b*s - 0*s. Suppose 0 = -2*d - 2 + 6, -o - s*d = -24. Is 6 a factor of o?
False
Let g = -4 - -4. Let l be (g - -38) + 1*2. Suppose -u = 4*u - l. Is u a multiple of 4?
True
Suppose 5*w - 3*f + 4*f = 335, -20 = -4*f. Is 33 a factor of w?
True
Let j(p) = 2 - 1 - 2 + 2 - p. Is 5 a factor of j(-5)?
False
Suppose 2*k + 3*f - 144 = f, -3*k - 5*f + 220 = 0. Suppose -3*x = -86 - k. Does 19 divide x?
False
Let z = -37 + 25. Let j be ((-6)/(-4))/(1/14). Let x = j - z. Does 11 divide x?
True
Suppose 48 = w + 2*w. Suppose c + 0*x = -x + w, 0 = c - 4*x + 4. Let l = c + -2. Is 4 a factor of l?
False
Suppose -1 - 41 = -3*c. Suppose c = b - 6. Does 5 divide b?
True
Suppose 3*x = -z + 81 + 31, 3*x = -3. Does 23 divide z?
True
Let b(v) = -v**2 - 5*v + 5. Let c be b(-6). Let r = 1 + c. Suppose 3*u + 0*u - 87 = r. Is 15 a factor of u?
False
Let j(h) = 2*h**2 + 3*h. Let n be j(-2). Suppose -3*x = 2*w + 10 + n, 0 = 4*x - 4*w + 16. Does 2 divide 63/12 + 1/x?
False
Let r be 2/2*2*1. Let u be 3 + (r + -1)/(-1). Suppose o - 22 = 5*l + 10, -5*l = o - u. Is 10 a factor of o?
False
Suppose 0 = -2*d + 4*p - 13 + 41, 5*d + 4*p = 0. Let y = d - 5. Is 11 a factor of -3 - -1 - y - -23?
True
Suppose -4*k = -2*k - 68. Suppose w - 3*w = -2*u + 12, 0 = -u + 3*w. Suppose 0 = -5*q - u + k. Does 2 divide q?
False
Let g(x) = -4*x**2 + x. Let c be g(-1). Let r be (-1 + (-1)/c)*-5. Suppose -r = -l + 6. Is 5 a factor of l?
True
Suppose 138 = 2*s - 126. Does 22 divide s?
True
Suppose 3*h + 3*v = -6, -3*v - 23 = -h + v. Is 3 a factor of h?
True
Suppose 5*x - 168 = 3*x. Is x a multiple of 28?
True
Let o = 6 - 3. Suppose o*x - 1 - 65 = 0. Let z = x - 6. Does 8 divide z?
True
Let v be (-1)/(-3) + 9/(-27). Suppose -3*o - o + 20 = v. Is 5 a factor of o?
True
Let r(h) = 2*h**2 + 2*h + 13. Is r(0) a multiple of 4?
False
Let d(v) = 2*v**2 - 2*v - 2. Let c be d(-1). Is 2/(-5*c/(-545)) a multiple of 29?
False
Let u(l) = l + 16. Let a be u(-11). Suppose 0*d - 2*d = 3*z - 80, a*d = 20. Is z a multiple of 6?
True
Let b(j) = -6*j - 5. Is b(-7) a multiple of 5?
False
Let z(k) = 63*k. Let d be z(-1). Let v = d + 105. Is 14 a factor of v?
True
Let t = -11 - -15. Suppose 0*f = -t*f + 124. Suppose -f = 5*c - 161. Is 12 a factor of c?
False
Let i be 6/(-9) - 11/(-3). Does 10 divide -72*(i - (-30)/(-8))?
False
Let f(n) = -n**3 - 8*n**2 + 2*n + 12. Let x be f(-8). Let h(y) = -y - 3. Let c be h(x). Is 20 a factor of 3 - 6 - (c + -24)?
True
Let b(j) be the second derivative of -j**3/6 - j**2/2 - 2*j. Is 7 a factor of b(-11)?
False
Is 7 a factor of -15*(-2 + 15/25)?
True
Let v(q) = -2*q**3 + 4*q**2 + 3*q - 5. Does 4 divide v(-3)?
True
Let z(i) = -3 - i**2 + 0*i**3 - i**3 + 1 - 2*i. Let t = -1 - 1. Is 6 a factor of z(t)?
True
Let r be 1*(-2)/4*-4. Suppose 4 = g - r*u, -g + 2*u = 3*g - 10. Is 5 + -8 + 5*g a multiple of 4?
False
Let d(f) = -f - 3. Let g be d(5). Let a(b) = -b**2 + 1. Let u be a(2). Let w = u - g. Is w a multiple of 3?
False
Let n(i) be the first derivative of 31*i**5/120 + i**4/24 + 2*i**3/3 - 2. Let z(p) be the third derivative of n(p). Does 16 divide z(1)?
True
Suppose 0*z = -z + 6. Suppose s + z = -3*p - 2*s, p - 18 = 4*s. Suppose -u = p*f - 35, -u + 31 = -3*f + 7*f. Is 13 a factor of u?
True
Let u(k) = 28*k - 5. Does 17 divide u(2)?
True
Let y be ((-3)/3)/(3/(-15)). Suppose -g + 38 - 8 = -y*h, -4*g + 145 = 5*h. Is g a multiple of 16?
False
Is 3 - (0 - -5) - -95 a multiple of 25?
False
Suppose q = 3*x + 4*q - 78, -x + 14 = -2*q. Suppose -3*i + 9 = 0, -f = -5*f + 2*i + x. Does 2 divide f?
False
Suppose -22 = -p - j - 1, 3*p + 4*j = 62. Is p a multiple of 6?
False
Let t(r) be the third derivative of r**4/24 - r**3/6 + r**2. Let s be (-2)/(-3)*(-45)/(-6). Does 2 divide t(s)?
True
Suppose k - 2*k = -43. Is k a multiple of 4?
False
Let f = 93 - -103. Does 28 divide f?
True
Suppose -11 = -3*r + 1. Let o(u) = 2*u - 1. Let c be o(r). Suppose c*q = 3*q + 52. Is q a multiple of 13?
True
Le