 3*c + 5*q, -q + 1 = -2*c + 3. Suppose -116 = o + c*o. Let y = 41 + o. Is 12 a factor of y?
True
Let w(l) = -l**3 + 7*l**2 - l - 1. Is w(4) a multiple of 10?
False
Let i(v) = -4*v + 1. Let d be i(-1). Let b(w) = w**3 - 5*w**2 + 3*w + 2. Let o be b(d). Let h = o + -9. Does 8 divide h?
True
Let i be 2 - (1 + -116 + 2). Let n be i/(-15) - (-4)/6. Let a = 25 + n. Does 9 divide a?
True
Suppose 12*g = 13*g - 24. Is 12 a factor of g?
True
Suppose 51 = 2*w - 237. Does 48 divide w?
True
Let g be (-60)/14 + (-6)/(-21). Let u = g - -4. Suppose 0 = 3*j - 2*j - 2*a - 56, u = -2*j - 5*a + 112. Is j a multiple of 28?
True
Suppose -2*b - 2*b - 16 = 0. Let h be 2/6*10*3. Does 14 divide (b/h)/(5/(-175))?
True
Let w = 25 + -16. Let u(h) = h**3 - 8*h**2 - 7*h - 7. Is 5 a factor of u(w)?
False
Let d be (0/(-1))/((-10)/(-5)). Suppose -3*i - 5 = -4*i, d = -4*m - i + 453. Suppose -m = -3*g + 2. Does 18 divide g?
False
Let q(u) = u**2 - 33*u + 105. Is q(30) a multiple of 2?
False
Let i(z) be the second derivative of -z**4/12 - 5*z**3/6 - z**2/2 - 2*z. Let n be i(-4). Suppose n*p - 52 = -1. Is p a multiple of 6?
False
Suppose -m - t = t - 11, 4*m + 3*t - 44 = 0. Is 11 a factor of m?
True
Suppose -194 = -2*t + 2*p, 5*t - 2*p - 500 = -0*t. Suppose -t = -3*k + a, -5*k - 2*a + 75 + 84 = 0. Does 14 divide k?
False
Is (196/(-6))/(10/(-60)) a multiple of 28?
True
Let q(g) = -26*g**3 + 2*g**2 - 1. Does 9 divide q(-1)?
True
Suppose 0 = -2*i - p - 2 + 8, -2*p + 10 = 3*i. Suppose -4*t + 96 = -i*t - 5*y, -3*y - 96 = -2*t. Suppose t = 2*n + 2*b, -n = 2*b - 4*b - 9. Does 7 divide n?
False
Suppose 0 = -2*a - 31 + 485. Is a a multiple of 44?
False
Suppose 2*l - 26 = 3*k, 4*k + 3*l = -0*k - 63. Does 4 divide (-1)/3 - 112/k?
False
Is 16 a factor of 1/((-84)/87 + 1)?
False
Suppose 0*k = -2*v - k - 6, -5*k = -4*v - 12. Let l = 6 + v. Suppose l*z = z - 5*g + 37, -3*g = -z - 9. Is 3 a factor of z?
True
Let a = -31 - -199. Is a a multiple of 12?
True
Suppose -2*y - 31 = -5*g, -4*y - 1 = 2*g + 1. Let o = 7 - g. Is o even?
True
Let z(f) = -f**3 - 8*f**2 - 17*f + 1. Does 5 divide z(-5)?
False
Let i be -2 - (0 - 10 - -2). Is 21 a factor of (4/i)/((-4)/(-498))?
False
Let s be 1*(0 - (-1 - -1)). Suppose s = -3*d + 3*l - 138, 2*d = l - 3*l - 88. Let c = 78 + d. Is 15 a factor of c?
False
Let m = -15 + 9. Let q(p) = -p**3 - 4*p**2. Does 24 divide q(m)?
True
Let n(s) be the second derivative of 2*s**3/3 - 2*s**2 - 3*s. Is n(4) a multiple of 4?
True
Let g = 347 - 247. Is 25 a factor of g?
True
Suppose 3*l + 2*d - 38 = 0, l - 5*d = 2 + 5. Suppose 0 = y - 0*y - l. Is 4 a factor of 4/2 + y/2?
True
Let h = 66 - 25. Is 14 a factor of h?
False
Suppose -j = 4*b + 2 - 4, j = 3*b + 2. Suppose j*m - 12 = 22. Is m a multiple of 17?
True
Is 7 a factor of (4/(-1))/((-12)/72)?
False
Let f(m) = -m**2 + 5*m. Suppose -5*j + 15 = 0, 0 = 2*a - 3*a + 2*j - 3. Is f(a) a multiple of 4?
False
Suppose r + 0*r - 5 = 0. Let u = 9 - r. Suppose -u*d + 35 = d. Is 7 a factor of d?
True
Let w = 0 + 40. Let g = -20 + w. Is g a multiple of 8?
False
Let l = -4 - -8. Suppose l*o - 16 = 16. Is -8*(-1 + (-18)/o) a multiple of 13?
True
Suppose -u + 2 = 0, u + 14 = 3*v + v. Does 4 divide v?
True
Let x be (11/(-11))/((-1)/(-18)). Let y = 50 + x. Does 8 divide y?
True
Let l(h) = h**2 + 6*h + 9. Is 2 a factor of l(-6)?
False
Suppose q + 3 = 2*q. Suppose 6 - 15 = -q*v. Is 14 a factor of (v + 1)/(6/21)?
True
Suppose -7*i + i = 0. Suppose i*u + 228 = 4*u. Does 16 divide u?
False
Let n = 113 + -47. Let a = -46 + n. Is a a multiple of 11?
False
Let o(h) = h**2 - 13*h + 3. Let s be o(6). Let l be 6/15 + s/(-15). Suppose -2*b = -5*a + 55, -a + b + b = -l. Is a a multiple of 10?
False
Suppose -11*k + 7*k = -336. Is k a multiple of 13?
False
Let j(a) = 2*a**3 + 13*a**2 - 5*a + 1. Is j(-6) a multiple of 9?
False
Let o = 46 - 24. Suppose -3*m = -2*r + m + o, -5*m - 8 = 4*r. Suppose -r*p = -33 - 0. Is 11 a factor of p?
True
Let x(k) = k**3 - k + 1. Let z be x(1). Is 1 + -4 + (24 - z) a multiple of 5?
True
Suppose -2*v = v. Let o(i) = i**2 - i + 10. Let p be o(v). Suppose -p = -2*l - 0*l. Is 5 a factor of l?
True
Let b be 9 - (-2)/((-4)/2). Suppose 2*x = -b, 0 = t - 4*x - 55 + 8. Suppose 0 = y - 0*y - t. Does 15 divide y?
False
Let c(q) = 2*q - 2. Let r be c(2). Suppose -r*a - 58 = -3*o, 2*o = -3*o + a + 85. Is o a multiple of 7?
False
Suppose -5*c + 23 - 3 = 0, 0 = -3*t + c + 32. Suppose 6*i - t = 2*i. Suppose -64 - 42 = -i*j + 2*u, 0 = 2*j - u - 69. Does 16 divide j?
True
Let i = 0 - -2. Is (1 + 3)*(-1 + i) a multiple of 2?
True
Suppose 3*l + 27 = 213. Does 11 divide l?
False
Let i(r) = 6*r + r + 8*r**2 + r**3 + 5*r + 5*r**2 + 18. Does 18 divide i(-12)?
True
Let n = 4 + -14. Is 6 a factor of (16/n)/((-4)/30)?
True
Is 5 a factor of (-4)/(-12)*3*160/4?
True
Let j(r) = -r**2 - 5*r - 3. Let t be j(-3). Let v be (-1)/t + 116/6. Let x = v + -9. Is x a multiple of 6?
False
Let f = -8 + 2. Let g(n) = -n**3 - 6*n**2 - 3. Let d be g(f). Does 7 divide 16/(d/(0 - 3))?
False
Let m be 0/(-2) - (-2 - 9). Let q = -7 + m. Is q even?
True
Let f(r) = 4*r + 1. Let n be f(1). Suppose 83 = n*w - 77. Let i = -6 + w. Does 12 divide i?
False
Suppose -4*p + t = -t - 10, 5*p + t - 9 = 0. Does 5 divide 15/p*8/12?
True
Suppose -5*x + 23 = 3*y - y, 2*y - 2 = 2*x. Let t(l) = -2*l - 13. Let w be t(-9). Suppose -w*z - 3*o + 92 = 0, -20 = -2*z - o + y*o. Is 6 a factor of z?
False
Let p be ((-3)/2)/((-12)/16). Is 4 a factor of -4 + 7 + p + -1?
True
Let q(c) = -c**2 + 1. Let s(z) be the third derivative of -29*z**5/60 + z**4/24 + 2*z**3/3 - 2*z**2. Let t(r) = 4*q(r) - s(r). Is t(-1) a multiple of 13?
True
Suppose -5*w - 3*z = -681, -3*w = -5*z + 8 - 437. Does 23 divide w?
True
Let m = -10 - -31. Does 7 divide m?
True
Suppose 3*s = q - 25, q + q - 50 = s. Is 17 a factor of q?
False
Suppose 0 = 3*i - 7*i + 100. Is 23 a factor of i?
False
Let a(y) = -y**2 + 2*y + 6. Let n be a(-4). Let t be (-6)/27 + 32/n. Is 24 a factor of 1070/45 - t/9?
True
Let z(b) = -4*b**3 - 4*b**2 - 4*b - 3. Let h be z(-3). Suppose -2*y = 1 + h. Let g = -25 - y. Is g a multiple of 7?
False
Let n be -2 - (-5)/((-5)/(-6)). Let d(z) = z**2 + 5*z. Is 12 a factor of d(n)?
True
Does 9 divide (-75)/60*(0 - 52)?
False
Suppose 2*p = -3*t + 67, -t - t + 44 = p. Does 7 divide t?
True
Let g be (-8 + 9)*(58 - 0). Suppose g - 3 = 5*x. Is x a multiple of 3?
False
Let r be (-191)/(-4) - 2/(-8). Let u = -57 - -121. Suppose 2*t + 2*q = 5*t - r, 4*t - u = -3*q. Does 5 divide t?
False
Let x(j) be the third derivative of -1/12*j**4 + 0*j + 0 + 2*j**2 - 1/6*j**3. Is 7 a factor of x(-4)?
True
Let u(q) = -q + 7. Let z be u(7). Let l(d) = -4*d - d + 4*d + 22. Is 11 a factor of l(z)?
True
Let j be (-33)/(-3)*(-2 + 1). Let x = j + 16. Suppose 0 = -s + x, 5*s + 32 = 4*h - 59. Is h a multiple of 12?
False
Suppose 2*u - 61 - 5 = -l, -l + 3*u + 81 = 0. Suppose l = -0*g + 4*g. Is g a multiple of 18?
True
Let t(q) = -q**3 + q**2 + 70. Does 14 divide t(0)?
True
Let j(s) = -1. Let h(y) = -7*y - 6. Let b(q) = h(q) + 4*j(q). Let p(c) = 3*c - 2. Let i be p(-2). Is b(i) a multiple of 23?
True
Let f = 5 - 2. Suppose -a + g = -10, 0 = -2*a + f*g - 4*g + 29. Let q = 27 - a. Is q a multiple of 7?
True
Let w be 1/(-3) - (-28)/(-6). Let s = 12 + w. Let a = s + 12. Is a a multiple of 15?
False
Let g = 2 + -3. Let b be 1/(-1) - g - -2. Suppose 12 = r + b. Is r a multiple of 4?
False
Let c(i) = i**3 + 1. Let x be c(-1). Suppose x = -3*w - j + 142, 5*w = -4*j + j + 234. Let a = w - 28. Is 11 a factor of a?
False
Let z be (0/2 - -1) + 0. Suppose 9 = -w + z. Let k = w - -19. Is k a multiple of 6?
False
Let r(c) = c**3 - c**2 - c + 2. Let l be r(0). Suppose 30*f - 456 = 27*f. Suppose -l*v = 2*v - 4*m - f, 118 = 3*v - 2*m. Is v a multiple of 13?
False
Let y = 55 + 45. Does 26 divide y?
False
Let y = -82 + 154. Is 36 a factor of y?
True
Let b = -8 + 213. Is 17 a factor of b?
False
Let z(l) = 31*l**2 - 6*l + 5. Is z(3) a multiple of 14?
True
Suppose -2*p - 21 = -4*c - 5*p, 3*c + 6 = 5*p. Let x(n) = 3*n**3 + 1. Let g be x(1). Suppose 0*q - q = -c*a + 56, a + g*q + 3 = 0. Is 8 a factor of a?
False
Let h be 0/(-2) - (1 - 1). Let n = 4 - h. Suppose 3*l - n = 2. Is 2 a factor of l?
True
Suppose x + 2*x + 231 = 0. Let p = x + 119. Is 16 a factor of p?
False
Suppose -k + 17