 + -1. Let m = r - 6. Is 11 a factor of d(m)?
True
Let h(u) = u**3 - 5*u**2 - 6*u + 7. Let f be h(6). Let t = 0 - 1. Let w = f + t. Does 6 divide w?
True
Let p be 492/16 + (-3)/4. Suppose -a = a - p. Is a a multiple of 5?
True
Suppose 0 = -z - 5*d - 7, 5*d = -5*z - 15. Is 13 a factor of 34*((-5)/z - 2)?
False
Suppose 3*b - 4*f - 51 = -9, b - 5*f - 3 = 0. Suppose b + 18 = 3*v. Suppose z = -5*d, d + d = 2*z - v. Does 5 divide z?
True
Let r(z) = z**3 - 3*z**2 + 2*z + 1. Let i be r(2). Suppose k - b = -3*k + 51, i = b. Is k a multiple of 7?
False
Let z = 50 - 32. Let c be ((-24)/z)/(4/234). Let s = 117 + c. Is 13 a factor of s?
True
Let j(p) = 8*p**3 + p**2 + 5*p + 4. Does 9 divide j(3)?
False
Let h = 247 - 134. Is 22 a factor of h?
False
Suppose 4*q + 4 + 0 = 0. Let c = q - 5. Is (-1 - 2)/(c/4) a multiple of 2?
True
Let a = 288 - 173. Is a a multiple of 5?
True
Let d(g) = -g**2 - 6*g - 3. Let n be d(-5). Suppose -n*s = -3*x + 4 + 1, 0 = 5*x - 5. Does 14 divide s/((-1)/28 - 0)?
True
Does 22 divide (-165)/(12/(-8) - 0)?
True
Let r be -4 + (-20 - (-3 + 2)). Let w(p) = -p**3 + 6*p**2 + 5*p + 6. Let l be w(6). Let y = r + l. Does 13 divide y?
True
Suppose -9 = 5*s - 24. Let k be (3 - s)*(-1)/2. Suppose m + m - 12 = k. Is 3 a factor of m?
True
Let h(i) = i**2 - 16*i + 43. Is h(19) a multiple of 16?
False
Suppose 2*h - 16 = -2*r - 2*r, 4*r - 8 = 2*h. Let i = 101 + -55. Suppose 3*w - r*q = 42, -2*q + 4*q = 3*w - i. Is w a multiple of 12?
False
Suppose -3*p + 6*p + 3*c = -240, 0 = -3*p + 5*c - 200. Let a = -39 - p. Does 6 divide a?
True
Let g = 3 - -1. Suppose g*o = 2*o - 24. Is 3 a factor of ((-21)/14)/(2/o)?
True
Let r = -3 + 8. Suppose -3*u + 69 = -r*j, 3*j = -12 + 3. Does 9 divide u?
True
Let p = 16 - 11. Suppose 0 = 4*o - d + 2*d + 75, -p*d = -o - 45. Is 11 a factor of (o/(-6))/(6/45)?
False
Let h(c) = c**3 + 6*c**2 - 4*c - 9. Let i be h(-6). Suppose m + i = 4*m. Suppose 0 = t + 4*q - 38, m*t + q - 95 = -0*t. Is t a multiple of 18?
True
Suppose -3*u = -2*u - 119. Suppose 4*s - 164 = -3*i, 3*i - 6*s - u = -s. Is i a multiple of 12?
True
Let j = -107 + 171. Is (j - 0) + (-15 - -13) a multiple of 13?
False
Let c(h) = h - 1. Let k be c(-4). Let m be ((-5)/(k/(-14)))/1. Let p = m - -23. Does 5 divide p?
False
Does 3 divide (-7)/(-42) - (-35)/6?
True
Let b = 3 + -7. Let k = b - -32. Is k a multiple of 14?
True
Is (-98)/(-1) - (9 - 4) a multiple of 31?
True
Let l be (-5 + 3)*10/(-2). Let n = 7 + l. Is 5 a factor of n?
False
Suppose 2*b - 236 = 6*b - 2*q, -5*q = b + 70. Let i = b - -114. Is 9 a factor of i?
True
Does 3 divide 100/(-15)*(-2)/10*12?
False
Suppose -264 = 4*g - 8*g - 4*m, -g + 72 = 3*m. Is 21 a factor of g?
True
Let c(y) = -y**2 - 11*y + 3. Suppose -15 = d + 2*b, 0*d + 3*b - 16 = 2*d. Is c(d) a multiple of 3?
True
Let s(w) = -w**3 + 8*w**2 - 10*w + 10. Let g be s(7). Let v = 24 + g. Does 10 divide v?
False
Suppose -4*m = 20, 2*m = 3*r + 4*m + 34. Does 10 divide 6/r - 102/(-8)?
False
Suppose 21 = 4*s - s. Is s a multiple of 7?
True
Does 25 divide ((-8)/(-3)*3)/2 - -146?
True
Suppose l + 0*l = -3. Let y be 2 - (-2 - (l + 2)). Let g = y - -18. Is 12 a factor of g?
False
Let a(x) = x**3 - 3*x**2 + 4*x - 1. Let s be a(3). Let f = s - 15. Is 10 a factor of ((-2)/f)/((-1)/(-40))?
True
Let i(c) = -2*c. Let x be i(-5). Is (15/x)/(6/8) a multiple of 2?
True
Suppose 0 = u - 0 - 2, 4*u - 64 = -4*q. Does 12 divide q?
False
Let u(o) = o**2 + o - 4. Does 16 divide u(-5)?
True
Let l(f) be the second derivative of -f**3/6 - f**2/2 + f. Let d(m) = 3*m + 6. Let p(t) = d(t) + l(t). Is p(5) a multiple of 9?
False
Let r(y) = -y - 1. Let m(u) = -5*u - 3. Let d(f) = -m(f) + 6*r(f). Let s be d(-2). Does 3 divide s - 6/(-3) - -2?
True
Suppose -5*f + 5 = -z, -2*z - 3*z + 3*f + 63 = 0. Let p = z - 1. Is p a multiple of 14?
True
Let u = 4 + -1. Let a be (2 - u)/((-1)/19). Let t = a - -13. Does 23 divide t?
False
Suppose 2*v = 4*v - 8. Suppose -g - 55 = -b, v*g = 3*g + 1. Let c = 106 - b. Does 29 divide c?
False
Suppose -3*y - 22 = -l, l + 46 = 4*l + y. Does 8 divide l?
True
Suppose 3*l = 4*r - l - 8, -2*r + l = -8. Suppose -2*y = g - 25, -g + 29 = y - r*g. Is 10 a factor of (0 + 2)*133/y?
False
Let s be 4/(-12) + 4/(-6). Let j be -5 - s/(-2)*2. Is ((-2)/j)/((-10)/(-570)) a multiple of 9?
False
Let z(r) = -r**3 + 6*r**2 + 2*r - 5. Let g(n) = 2*n - 13. Let y be g(9). Does 10 divide z(y)?
True
Suppose 5*s + 1000 = 5*g + 7*s, 0 = g - 4*s - 178. Does 15 divide g?
False
Let g be (-1 - -1) + 12/4. Suppose -j + 22 = g*r, -4*r + 13 + 0 = -j. Is 7 a factor of j?
True
Let z(x) = 2*x**2 - 3*x - 5. Does 3 divide z(4)?
True
Let x = 35 + -18. Is 3 a factor of x?
False
Is 4 a factor of ((-86)/(-8))/(2/8)?
False
Let g(v) = -8*v - 33. Is g(-8) a multiple of 13?
False
Let v = 18 - 12. Is 5 a factor of v?
False
Let b = 2 + 1. Does 6 divide (12/8)/(b/54)?
False
Suppose -8 = 2*u - 4*c, 0*u + 5*u - c - 16 = 0. Suppose -27 + 7 = -u*y. Suppose y*f - 107 = -4*v, f - 25 = -3*v + v. Does 11 divide f?
False
Let l(z) = z**2 - 2*z - 3. Is 15 a factor of l(-7)?
True
Is (-120)/(-4)*14/4 a multiple of 12?
False
Let x(g) = g**2 + 6*g + 5. Suppose 14 + 11 = -5*u. Let i be x(u). Suppose i = o + 2*o - 9. Is 3 a factor of o?
True
Let o(v) = -v**3 + 4*v**2 - v + 4. Let h be o(4). Does 8 divide 6 + -9 + h + 11?
True
Does 15 divide 34/12*58 - 4/(-6)?
True
Let j(n) = -11*n**3 - 3*n**2 + 4 - 2*n + 2 + 12*n**3 - n. Is j(4) a multiple of 3?
False
Let m(h) = h**3 - 6*h**2 - 2. Let r be m(6). Does 3 divide (-6*r/2)/2?
True
Let r(m) = -45*m - 2. Let i be r(-2). Suppose 5*l + i = 4*y - 16, 3*l + 143 = 5*y. Is 11 a factor of y?
False
Suppose u + v = -2*v - 1, 4 = -4*v. Suppose 0 = -u*x + 4, 4*x - 7 = 4*p - 27. Is p a multiple of 7?
True
Suppose -5*o + 58 + 22 = 2*u, 5*o - 10 = 0. Is 10 a factor of u?
False
Let v(o) = 4*o**3 - o**2 + 2. Let b(q) = -5*q**3 + 2*q**2 - 2. Let r(z) = -3*b(z) - 4*v(z). Is 15 a factor of r(-4)?
True
Let f(h) be the first derivative of h**4/4 - 2*h**3/3 + 2*h**2 - 2*h + 2. Let w be f(2). Suppose -i = -3 - w. Is 9 a factor of i?
True
Suppose 2*i - 29 - 53 = -b, 5*i - 208 = -4*b. Is i a multiple of 10?
True
Suppose -k - q = -6 - 3, -5 = -q. Suppose -2*p = -k, 0*p - 34 = -2*b + p. Suppose 0*s = s - b. Does 9 divide s?
True
Does 21 divide (-6)/(-2*(-1)/(-7))?
True
Let v(f) = f + 15. Let p be v(-7). Let r(m) = m + 2. Let h be r(-2). Suppose -c - k = -p, 0 = -2*c - k - h + 20. Is c a multiple of 5?
False
Suppose v + 8 = -3*v. Let c be 4 + 3 + 2*v. Suppose 2*f = -c*n + 25, 2*n + 8 = -2. Is f a multiple of 19?
False
Suppose 0 = d + 2*d - 9. Suppose -2*y + 15 = d*k, -4*k - 5 = k. Let s = 16 - y. Does 7 divide s?
True
Let x(q) = 22*q + 1. Let p be x(1). Suppose -4*f + p + 21 = 0. Does 10 divide f?
False
Suppose -47 = 4*g - 5*g. Suppose g = -5*j - 53. Is 12 a factor of (36/(-10))/(6/j)?
True
Let s be 2 - 0 - (-10 + -6). Suppose u + 2*u = -s. Let r(z) = -z + 1. Is 4 a factor of r(u)?
False
Let r(k) = 2*k**2 - 3*k + 3. Let g be r(2). Let z = g - 9. Let j(p) = p**2 + 2*p + 6. Is 7 a factor of j(z)?
True
Let s = 17 + -5. Does 6 divide s?
True
Let t(q) = 5*q - 5. Let b be t(-5). Let i = 43 + b. Is i a multiple of 13?
True
Let m(g) be the third derivative of -g**6/15 - g**5/60 + g**3/6 - 6*g**2. Let k(r) = -r**3 + 6*r**2 - 1. Let w be k(6). Does 8 divide m(w)?
True
Let l(j) = -j - 7. Let n(r) = -3*r - 20. Let q(m) = 17*l(m) - 6*n(m). Is 9 a factor of q(9)?
False
Let z = 10 + -3. Does 7 divide z?
True
Suppose k - 2 = -1. Does 17 divide k/(2/(1 - -81))?
False
Suppose -2*m + 26 = -2*s, -3*s + 14 = -m + 55. Let d = s - -30. Does 10 divide d?
False
Suppose 6*r - 5 = r. Suppose j + r - 13 = 0. Does 4 divide j?
True
Let s be (-18)/8*(6 - 2). Let r be (1 + -32)/(5/(-20)). Is 11 a factor of (-4)/(-18) - r/s?
False
Let g(m) = -m + 14. Is g(-22) a multiple of 18?
True
Is 16 a factor of (-3)/(-3)*70 + 2 + 1?
False
Let w(o) = o + 39. Is w(-18) a multiple of 7?
True
Let x = 23 - -3. Is 13 a factor of x?
True
Suppose -4*p - 12 = 4*s, -p + 2 = -3*p. Let r = s + 18. Is r a multiple of 10?
False
Suppose 0 = l - 4*a + 13, -2*l - 4*a + 16 = -6. Let c = 0 + l. Suppose g = 5*m - 91 - 113, -126 = -c*m - 3*g. Is m a multiple of 19?
False
Let k(m) = m**3 + 2*m**2 - 4*m - 3. Let d be k(-3). Let j(l) = l**2 - l + 5. Let t be j(d). Suppo