uppose x = -c - x - a, -x = 4*c + 26. Let u = c + 18. Is 11 a factor of u?
True
Suppose s + n = 86, -175 = -4*s + 2*s + n. Suppose h - 1 = -61. Let m = h + s. Does 19 divide m?
False
Let b be ((-4)/(-3))/((-14)/(-21)). Suppose -b*j = -3*j + 30. Is 15 a factor of j?
True
Let h = 6 + 9. Is h a multiple of 5?
True
Let x(k) = -6*k + 2. Is 4 a factor of x(-1)?
True
Suppose -d - 14 = 5*c, 0*d = -2*c + d. Let l(f) = -3*f**3 - 4*f**2 - 2*f. Is 6 a factor of l(c)?
True
Let k = 14 - 10. Suppose -79 = -3*n + x + x, 2*n - 74 = -k*x. Is 5 a factor of n?
False
Let c(r) = -16*r - 36. Is c(-22) a multiple of 36?
False
Suppose -45 = -2*b + b. Does 9 divide b?
True
Suppose -3*a + 4*t = -155, 0 = 4*a - 5*a + 3*t + 50. Let c = a - 23. Is c a multiple of 5?
True
Let p = -12 - -12. Suppose p*r + 5*r = 450. Is 29 a factor of r?
False
Let q = 2 + -5. Let k be (52/q)/(6/(-9)). Let c = 36 - k. Is c a multiple of 5?
True
Suppose -12*p + 450 = -9*p. Does 15 divide p?
True
Suppose 15*d + 150 = 20*d. Is 6 a factor of d?
True
Let v be 2 + 2 + -3 + 27. Does 7 divide (6/(-8))/(-1)*v?
True
Suppose o - q = q + 5, -q + 20 = 4*o. Suppose 5*j + o*v + 0 = 10, -4 = -3*j - 5*v. Is 2 - 6/j - -19 a multiple of 11?
False
Suppose -5*s + 50 = -5*u - 0*u, 2*u - 5 = -3*s. Does 8 divide (u/(-2))/(5/30)?
False
Let h = 19 - 9. Is 10 a factor of h?
True
Let t be (-255)/(-68) + (-1)/(-4). Suppose 0 = -4*o - 0*o + 20. Suppose 2 + t = 2*k - 4*i, o*k - i = 15. Does 3 divide k?
True
Let t(s) = -2. Let r(w) = 3. Let d(k) = 5*r(k) + 8*t(k). Let f(v) = -2*v - 9. Let q(m) = 4*d(m) - f(m). Is q(5) a multiple of 11?
False
Let i(m) = 5*m**3 + m**2 - 2*m - 2. Let u be i(-2). Suppose 0 = -4*d - 3*x - 227, -2 + 6 = -4*x. Let c = u - d. Does 11 divide c?
True
Let r = 7 + -2. Suppose 0 = r*w + 10 - 340. Is w a multiple of 22?
True
Let a(r) = r**2 - r - 4. Does 31 divide a(-10)?
False
Let g be 3 - 6*(-3)/(-6). Suppose g*h - 3*o = -3*h + 153, 5*o = -4*h + 186. Is h a multiple of 19?
False
Is 4/3 - 2120/(-30) a multiple of 18?
True
Suppose 0 = -4*x + 3*b + 1, -5*x + 3 = 5*b - 7. Let q(t) = x + t + 10 + 3. Is q(0) a multiple of 14?
True
Let c(d) = d**3 + 3*d**2 + d + 5. Let f be c(-3). Suppose -r + 5*l + 18 = -2*r, -3*r - f*l = -11. Does 2 divide r?
False
Let o(z) = -24*z**3 - z**2 - 1. Let k be o(-2). Suppose 4*q + k = 619. Suppose 4*b = 4, q = 4*i - 3*b + 3. Does 17 divide i?
False
Let q = 5 - 2. Suppose 3*i = 5*z + 40, -4 = -q*z - 1. Is 5 a factor of i?
True
Let g(b) = b**3 + 8*b**2 + 9*b + 3. Let f be g(-7). Let i(m) = -m**3 - 12*m**2 - 12*m - 5. Does 2 divide i(f)?
True
Suppose 222 = 4*l - 14. Let p = l - 21. Suppose -5*r - 3*x = -176, -108 = -2*r - x - p. Is r a multiple of 9?
False
Let z(x) be the third derivative of -2*x**5/5 + x**4/24 + x**3/6 + x**2. Let n be z(-1). Let q = n - -35. Is 6 a factor of q?
False
Let x be ((-1)/(-3)*0)/2. Let h be 11*(-4 - (-1 - x)). Let f = h + 67. Does 15 divide f?
False
Is 7 a factor of (-4)/((-6)/(-45)*-1)?
False
Let u(q) be the third derivative of q**5/30 - q**4/24 + q**3/2 - 3*q**2. Let k(h) = -5*h - 1. Let o be k(-1). Is 13 a factor of u(o)?
False
Let a(b) = -b + 3. Let g be a(3). Suppose -60 = -4*f - g*f. Is f a multiple of 5?
True
Let m(h) = -2*h**2 + h - 2*h - 7*h**3 + 2*h - 4*h - 3. Is 17 a factor of m(-2)?
True
Let j(z) = z**2 - 4*z + 5. Suppose 5*r + 17 = m, m + 0 = -3*r + 1. Let v be j(m). Let u = v - 14. Is 7 a factor of u?
False
Suppose -5*t = -9*t - 4. Does 12 divide t + (-2 - -2) + 25?
True
Let q(n) = -n**2 + 7*n - 5. Let x be q(5). Suppose -32 = x*i + 2*r - 0*r, -2*i - 8 = -4*r. Does 11 divide 170/15 + 2/i?
True
Let q(m) be the second derivative of m**5/12 + m**3/3 - 3*m**2/2 - 3*m. Let y(b) be the first derivative of q(b). Is y(3) a multiple of 17?
False
Let i(r) = -24*r + 248 - 248. Does 24 divide i(-3)?
True
Let z(u) = -u + 5. Let a be z(5). Let d be (2 + -5)/((-2)/10). Let l = d + a. Does 5 divide l?
True
Does 2 divide (-16)/(-7) - 14/49?
True
Let r(i) be the second derivative of -i**3/2 + 9*i. Does 10 divide r(-10)?
True
Let t(l) = 2*l + 4. Let p be t(5). Let f = 2 + 1. Suppose -f*o + 2*m + 76 = 30, -o + 2*m = -p. Does 9 divide o?
False
Suppose 2*w - 269 = 291. Does 10 divide w?
True
Suppose 0 = -2*c - o - 1, 3*c + 4 = 3*o - 2. Let s be (c - -12) + (-2)/(-1). Let j = 23 - s. Is j a multiple of 4?
False
Does 18 divide ((-8)/10)/(4/(-310))?
False
Let s = -11 - -24. Suppose -4*d = -f + 27, 0 = -4*f - f - 4*d + 183. Suppose 4*x - f = s. Does 12 divide x?
True
Suppose 13*v = 12*v + 38. Is 10 a factor of v?
False
Let x = -1 + 1. Suppose -5*v + 0 + 95 = x. Is 19 a factor of v?
True
Let x(t) = 10*t**2 + t - 2. Let z(s) = -s**2 + 1. Let w(g) = x(g) + 4*z(g). Suppose 5*l - 3*q = -4 + 2, 10 = -l + 3*q. Is 14 a factor of w(l)?
True
Let n be (28/21)/(2/(-6)*2). Let u be (-2)/(-5) + 116/10. Let o = u + n. Is o a multiple of 10?
True
Suppose -s + 4 = 7. Let y(z) = -3*z**3 + 2*z**2 - 4*z - 6. Let p(a) = -2*a**3 + a**2 - 3*a - 5. Let h(l) = s*y(l) + 4*p(l). Is h(3) a multiple of 4?
False
Let d(q) = 4*q + 1. Let f be 4/(-14) + 18/14. Let b be d(f). Suppose u - 12 = 2*m, 3*u + 3*m - 28 = b*m. Is 6 a factor of u?
False
Let m(t) = t**2 - 3*t + 2. Let x be m(3). Let p be (x + -1)/(11/33). Suppose 0 = c + p*c - 8, 130 = 2*y - c. Is 17 a factor of y?
False
Let z be -2 + -1*8/2. Let h = 47 - z. Suppose 3 = 4*d - h. Does 10 divide d?
False
Suppose -6 = -5*u + 9, 5*u - 15 = 3*v. Suppose 5*w + 80 = -v*w. Let y = w + 51. Is y a multiple of 12?
False
Suppose 0 = 4*n + n - 20. Suppose 0 = -0*h - n*h + 8. Let i = h - -1. Is 3 a factor of i?
True
Let a(z) = 4*z**2 + 2. Let w be a(-4). Let k be (1 + 2/(-4))*w. Suppose -5*n = b + 1 - 16, -5*b = 4*n - k. Does 4 divide b?
False
Is (4 + 30/(-9))*144 a multiple of 12?
True
Let d = 2 - -2. Suppose -u - d = v + 4, 0 = -3*v - 3. Let g = u + 27. Is 9 a factor of g?
False
Suppose -264 = -n - 5*n. Is 19 a factor of n?
False
Let i = 90 + -45. Is 15 a factor of i?
True
Let o be (-893)/(-5) + 8/20. Let y = o + -127. Does 16 divide y?
False
Suppose 4*t - 114 = 4*x + 286, -3*x = t - 100. Does 19 divide t?
False
Let d be (4/5)/((-4)/(-310)). Let f = -32 + d. Suppose 4*a = 2*n - 15 + 41, 3*n = 5*a - f. Is 9 a factor of a?
True
Suppose 0 = i + i - 2*q - 14, 3 = -i - q. Let g = 11 + i. Does 13 divide g?
True
Suppose -4*n + 8 = -0*n. Suppose n*t = 4*t. Let q(w) = w + 11. Does 11 divide q(t)?
True
Let v = -359 - -523. Suppose -v = -4*f - 0*f. Is f a multiple of 19?
False
Let o = -25 - -68. Suppose 142 = -5*r - o. Is (-1)/3*(-2 + r) a multiple of 7?
False
Is 12 a factor of ((-320)/3)/((-1)/9*2)?
True
Let r be -1 + (-1 - (0 - 7)). Let v(l) = -3*l**2 + 9*l + l**3 - 2*l - 7 - 3*l**2. Is 3 a factor of v(r)?
True
Suppose -4*w = -w - 54. Is w a multiple of 14?
False
Let r(i) = i**3 + 5*i**2 + i - 1. Let d be r(-4). Suppose -30 = -v - 2*f + f, 2*v = -5*f + 66. Suppose 3*p - v = d. Does 8 divide p?
False
Suppose 2*z - 22 = 36. Is z a multiple of 4?
False
Let j = 40 + -12. Let b = 39 + -23. Let i = j - b. Does 6 divide i?
True
Suppose -5*x + 3*x = -8. Suppose -3*d = -c - 56, 0 = -2*c + 4 + x. Is 5 a factor of d?
True
Suppose -i + 16 = 4*s, s - 5*i = 6*s - 5. Suppose -2*t = 3*y - 22, t - s*y = -0*y - 15. Suppose 0 = r + 3*v - 15, -t*v - 6 = 2*r - 33. Is 5 a factor of r?
False
Suppose 0 = 3*q + q - 208. Does 14 divide q?
False
Let q = -33 - -60. Does 17 divide q?
False
Let v = 2 - 6. Let h(z) = z**3 + 4*z**2 - 3*z - 6. Is h(v) a multiple of 3?
True
Let d(y) = 7*y**2 - y - 1. Let l be d(-2). Suppose -5*r = -6*r + l. Suppose -3*z = -r - 58. Does 10 divide z?
False
Let q(c) = c**3 + 11*c**2 - 6*c - 6. Let j be q(-11). Does 3 divide j/9*(-6)/(-4)?
False
Let d = 14 + -3. Let b = 13 - d. Is 2 a factor of b?
True
Suppose 3*i = 13*i - 2290. Is i a multiple of 45?
False
Suppose 4 = -3*h + 25. Is h even?
False
Let h be (-2895)/(-35) + (-2)/(-7). Suppose -h = -4*v - 7. Does 4 divide v?
False
Suppose -15*a = -20*a - 55. Let u = a + 28. Does 8 divide u?
False
Suppose 2*d = -3*d + 270. Let y = d - 37. Suppose 3*a = y + 7. Does 8 divide a?
True
Suppose -2*u - h + 50 = 0, h + 116 - 5 = 5*u. Suppose -u - 19 = 2*x. Let w = x - -34. Is 13 a factor of w?
True
Suppose 3*l = -2*l + 465. Suppose -2*r + 5*r - l = 0. Is 13 a factor of r?
False
Let y be 0/(1 - 0/(-1)). Suppose -o - o + 142 