3 + 2 - 1 + 9*v + 3. Let x be k(1). Is 2 a factor of (3 + 26/(-10))*x?
True
Let v(b) = -b**3 - 2*b**2 + b - 3. Let u(j) = -j**3 - j**2 + j - 3. Let y(n) = 6*u(n) - 5*v(n). Let p be y(3). Let g = p - -17. Does 13 divide g?
True
Suppose 3*o + 0*o - 132 = 0. Is o a multiple of 8?
False
Let k = 13 - 8. Suppose k*m - 2*m + 15 = 0, -67 = -2*x + 3*m. Is 13 a factor of x?
True
Let o(k) = -k**2 - 6*k + 6. Does 2 divide o(-6)?
True
Let s(o) = o - 5. Let u be s(8). Let f(b) = b**3 - 2*b + u*b**3 + b. Is f(1) a multiple of 3?
True
Suppose 3*s - 7 = p, -7*p + 3*p - s + 37 = 0. Suppose -4*v - t + p = 3*t, -4*v + 11 = 5*t. Is 2 a factor of ((-3)/6)/(v/10)?
False
Let d(v) = v + 121. Is 30 a factor of d(0)?
False
Let n(z) = z + 9. Let l = -2 - 5. Let s be n(l). Suppose -s - 3 = -y. Is y a multiple of 2?
False
Let k = 39 + 31. Suppose -k = -5*c - 0*c. Is c a multiple of 4?
False
Let q = 58 - -9. Suppose -4*b + z + 134 = -2*b, -b + q = 3*z. Suppose -5 - b = -4*r. Does 9 divide r?
True
Let y(t) = 11*t**2 - 5*t - 3. Let h(g) = -6*g**2 + 3*g + 2. Let c(s) = 7*h(s) + 4*y(s). Let a be (1/2)/(1/4). Is 6 a factor of c(a)?
True
Suppose 0 = 9*j - 562 - 779. Is 28 a factor of j?
False
Suppose g = -3*g + 112. Let t = g + -16. Is t a multiple of 12?
True
Suppose -2*t + 3 = -5*t. Let r be ((0/(-1))/t)/1. Suppose u - 2*u + 14 = r. Is u a multiple of 11?
False
Let m = -32 - -4. Is -4 + 1 + (-2 - m) a multiple of 23?
True
Let c = 53 - -68. Suppose 4*s - 473 = 3*r, 0*s - 2*r + c = s. Let m = s + -75. Does 22 divide m?
True
Suppose -7*z = -0*z - 133. Does 3 divide z?
False
Let r(a) = 3*a**2 - 3*a + 6. Does 5 divide r(4)?
False
Let f(t) = 4*t + 3. Let d = -1 - -10. Does 13 divide f(d)?
True
Let i(l) = 3*l**3 + 3*l**2 - l - 15. Suppose 0 = 4*t - t + 21. Let x(c) = -4*c**3 - 5*c**2 + c + 22. Let d(f) = t*i(f) - 5*x(f). Is d(4) a multiple of 3?
True
Let r(n) = n**3 + 2*n**2 + 10*n + 6. Let y be r(-6). Does 4 divide 1/(-7) - y/14?
False
Let h = 28 - 20. Is h even?
True
Suppose -2*l + 2*b + 100 = 0, 2*b - 55 = 4*l - 265. Is 11 a factor of l?
True
Suppose 20 = -2*r + 4*r. Let d = r + -8. Suppose -4*s + f = -88, d*s = -s - 4*f + 85. Is s a multiple of 15?
False
Let g(d) = -7*d + 18. Let b be g(10). Is 16 a factor of b/(-2) + (-24)/(-6)?
False
Suppose -27 = -5*b - 5*g + g, 5*b - 3*g - 6 = 0. Suppose t - b = 22. Suppose -4*c + 7 = -t. Does 4 divide c?
True
Suppose 654 = 5*b + 214. Is b a multiple of 4?
True
Let c be 2/4 - 30/(-4). Suppose q - c = -q. Suppose 1 + 8 = 3*i, -4*z + q*i = -140. Is z a multiple of 10?
False
Let l = 8 + 16. Is 3 a factor of l?
True
Let o = 9 + -6. Suppose f + 6*u = o*u + 10, -u - 55 = -2*f. Is f a multiple of 6?
False
Let l = 5 + -1. Suppose 686 = -l*v - 262. Is 9 a factor of v/(-27) - (-2)/9?
True
Let n be (-1)/2*(-7 + -3). Suppose t + 60 = n*z + 4*t, 0 = z + 5*t - 12. Does 4 divide z?
True
Suppose 5*d - 2*m = -46, -m = -d - 0 - 11. Let x be ((-15)/6)/((-2)/d). Let c(j) = j**2 + 9*j - 5. Is 5 a factor of c(x)?
True
Let w(g) = -23*g**2 - 11*g - 14. Let f(c) = -8*c**2 - 4*c - 5. Let l(y) = 17*f(y) - 6*w(y). Let p be l(2). Suppose -p*o = -124 - 2. Is o a multiple of 22?
False
Let d = 234 + -153. Does 9 divide d?
True
Suppose 5*j + 0 = 3*k + 1, -4*k = -4*j + 4. Is 9 a factor of (-20)/(k - 0) - 1?
True
Suppose 3*r = 235 - 37. Let y = r + -46. Let n = y - 8. Does 12 divide n?
True
Suppose 4*t = 3*o - 403 + 1165, -3*t - 5*o + 586 = 0. Is 32 a factor of t?
True
Let k(v) = 14*v - 9. Let a be k(6). Let t(o) = -10*o + 3. Let q be t(-4). Let f = a - q. Is 19 a factor of f?
False
Suppose -2*s + 11 - 1 = -4*q, 51 = 3*s + 3*q. Does 6 divide s?
False
Suppose -4*c = -3*c - 2*q + 17, -3*c - q = 16. Let b = c - -12. Does 5 divide b?
True
Suppose 0 = 2*j + j - 24. Is 4 a factor of j?
True
Suppose -2*o - o = 0. Suppose o = h - 2 - 1, j + 5*h = 150. Suppose 0 = -8*a + 3*a + j. Is 15 a factor of a?
False
Let n be (-22)/(-4) + (-3 - 28/(-8)). Let a(r) = 3*r**2 - 50*r - 9. Let k(x) = -x**2 + 17*x + 3. Let i(c) = -4*a(c) - 11*k(c). Is 16 a factor of i(n)?
False
Let j(l) = l**2 - 8*l - 2. Is 16 a factor of j(10)?
False
Let z be (-2 - -2 - 0)/1. Suppose -5*g = -0*g - 65. Let o = g - z. Is 13 a factor of o?
True
Let i(x) = -18*x - 4. Is 10 a factor of i(-2)?
False
Let k(v) = 3*v**2 + v - 2. Is 10 a factor of k(2)?
False
Suppose -3*z + 1 = 7. Let i = z + 7. Is i a multiple of 3?
False
Suppose 3*c = 15, 0 = -5*b - 5*c + 2*c + 575. Does 20 divide b?
False
Let u(b) = -15*b - 20. Let x be u(9). Let l = x - -229. Does 20 divide l?
False
Let u(k) = -2*k + 43. Is u(19) even?
False
Suppose 0 = 4*u + 2 + 2. Let t(m) = 3*m - 1. Let p be t(4). Let w = p + u. Is w a multiple of 10?
True
Suppose 6*h = 3*h + 9. Suppose -h*p = 44 - 11. Let k = 6 - p. Is 17 a factor of k?
True
Let h(b) = 42*b**3 + b**2 - b. Let t be h(1). Let g = 132 + -88. Suppose -4*y + t = y - 4*q, -2*q + g = 4*y. Does 5 divide y?
True
Let a(p) be the first derivative of p**4/4 + 5*p**3/3 - 3*p**2/2 - 7*p + 4. Does 8 divide a(-5)?
True
Let v(i) = 3*i**3 - 7*i**2 + 2*i + 8. Let c(s) = -s**3. Suppose -6*q + 12 = 3*b - q, -4*b - 5*q = -11. Let d(z) = b*v(z) - 4*c(z). Does 3 divide d(-7)?
True
Suppose 0 = -8*b + 4*b + 4. Let f = b - -13. Does 11 divide f?
False
Suppose 0 = -k - 2*k + 6. Let f be (-4 - 16)/(k/3). Let x = 58 + f. Is x a multiple of 10?
False
Let g(z) = z**2 - 12*z + 5. Let l be g(10). Let t = 33 + l. Is t a multiple of 9?
True
Suppose -3*q - 2*j = 2, 8*q - 2*j + 10 = 5*q. Let r(k) = -2*k - 1. Let y be r(q). Does 13 divide 39 + (-1 - y/3)?
False
Let d = -1 + 1. Suppose 8*x = 5*x + 48. Suppose d = 3*h - 17 - x. Is 9 a factor of h?
False
Let i(q) be the second derivative of -q**3/6 - q**2 - 4*q. Let c be i(-2). Suppose 3*j + l - 3*l - 98 = c, 0 = -3*l + 6. Does 20 divide j?
False
Suppose g + 25 = 4*j - 1, 0 = 2*g - 3*j + 47. Let l = 36 + g. Is l a multiple of 7?
True
Let c = 70 - 45. Suppose 3*v - 3*h - 14 = c, 3*v = -h + 31. Does 7 divide v?
False
Let v be (6 - 1)/(-1 - -2). Suppose -4*d = -3*b + 72, 0 = -b - 5*d + 29 - v. Let n = 9 + b. Is 10 a factor of n?
False
Suppose 3*h - h - 6 = 0. Suppose -h*b + 1 = -8. Suppose -b*v + 4*v - 26 = 0. Is v a multiple of 10?
False
Let k = 11 - 2. Let r(i) = -i + 13. Let h be r(k). Suppose v - 145 = -h*v. Is 12 a factor of v?
False
Let s = -15 - -10. Does 9 divide (-42)/s - (-3)/5?
True
Let u(h) = 32*h - 8. Is 11 a factor of u(3)?
True
Let x = 5 - -2. Suppose -2*n - 45 = -x*n. Is 9 a factor of n?
True
Suppose -4*q = -0*m + 3*m - 51, 36 = 3*m - q. Is 10 a factor of m?
False
Let k(p) = 4*p**2 + p**2 - 4*p**2 - 4 + 4*p. Is 4 a factor of k(-6)?
True
Let m(p) be the third derivative of p**4/6 + p**3 - 3*p**2. Is 13 a factor of m(5)?
True
Suppose 357 = u - 4*u. Let l = 167 + u. Does 16 divide l?
True
Let i = -9 + 14. Let a(m) = m**2 - 5*m + 5. Does 5 divide a(i)?
True
Let a(x) = -x**3 - 4*x**2 + 4*x + 7. Suppose 0 = -q + 4*q - 15, -5*q - 5 = 5*t. Let y be a(t). Suppose -8*j + y = -3*j. Is j a multiple of 11?
True
Let c = -5 - -6. Let h = 3 + c. Does 4 divide h?
True
Suppose 3*w + 4*i = w - 20, i + 5 = w. Let n be -19 + 1 + w + -3. Let c = -8 - n. Is 6 a factor of c?
False
Suppose -40 = -2*m + 4. Does 5 divide m?
False
Let d be (-59)/(-3) + (-2)/3. Let c = d + -37. Is 4 a factor of -3*3/c*22?
False
Suppose 0 = -3*c + 27 + 96. Is c a multiple of 4?
False
Suppose -b + 164 = 4*g - 312, g - 2*b - 128 = 0. Let w = g - 70. Is w a multiple of 26?
False
Let o = 11 + -18. Let t = -2 - o. Suppose u + 7*i = 2*i + 6, -i - t = 0. Is 16 a factor of u?
False
Suppose -8 = 2*u + 8. Let s = 13 + u. Does 5 divide s?
True
Let f be (-60)/4*10/6. Does 6 divide 15/f + 436/10?
False
Suppose 0 = 4*x - p + 12, -2*x - 18 = -x - 4*p. Let r(h) = -h. Let w(b) = -5*b + 1. Let k(q) = 5*r(q) + w(q). Does 8 divide k(x)?
False
Suppose 3*f + 286 = 16*f. Is f a multiple of 20?
False
Let b(l) = -l + 8. Let q be b(6). Suppose 0*d + 14 = q*d. Is 7 a factor of d?
True
Let a(d) = 2*d - 4. Let m = 3 - -1. Let k be a(m). Suppose 4*c = -k*l + 192, -3*c + 3*l + 2*l + 104 = 0. Is 19 a factor of c?
False
Let c(v) = -2*v + 7. Let z be c(3). Does 18 divide (-18)/(1*z/(-4))?
True
Suppose -5*v + 34 + 1 = 0. Is v a multiple of 2?
False
Suppose 9*o - 7562 = -10*o. Does 30 divide o?
False
Let v = -11 + 16. Suppose 0 = 2*b + 2*n - 226, 0 = 2*b - 3*b