). Suppose c*z = 4*z - 65. Let q = 20 + z. Does 3 divide q?
False
Suppose -5*n + 3*n = -26. Let g = n + -9. Let y(z) = z**2 - z - 3. Does 9 divide y(g)?
True
Suppose -2*m - 8 - 2 = 0. Does 8 divide 6 - (-2 - m) - -37?
True
Suppose -f + 0 = -2. Suppose 3*u + 6 = 3*m, 8 = 2*u + f*m - 8. Suppose -4*p + 9*p = w + 6, 0 = 5*w + u*p - 54. Is w a multiple of 9?
True
Let y(g) = 12*g**2 + g + 1 + 2*g**3 - 10*g**2 - 3*g. Let v be y(1). Suppose 0 = -3*a - 3*n + 30, -a - 2*n = -v - 8. Is a a multiple of 4?
False
Suppose 2*t + 1 = 5. Suppose -t*x + 28 = -20. Does 24 divide x?
True
Let x(j) = -j**2 + 15*j. Let k = 14 + -2. Is 9 a factor of x(k)?
True
Let v be 2 + 2 + (-4 - 1). Is 11 a factor of 1/((1/(-24))/v)?
False
Suppose 2*o - 48 = -3*m + o, -5*m = -3*o - 66. Is 15 a factor of m?
True
Let d = 162 + -43. Is d a multiple of 11?
False
Suppose -5*a + 2*o + 13 = -8, 4*a = -5*o - 3. Suppose -4*u - 4 = -4*b, 2*u + a*b + 2*b = 12. Suppose -5 = -4*l - u, -5*v - 5*l = -90. Is v a multiple of 11?
False
Let w(q) = q**2 + 7*q + 3. Suppose 0*m = -m - 7. Let l be w(m). Is 12 a factor of (12/5)/(l/30)?
True
Let s(g) = 34*g**3 - 20*g**2 + 14*g - 4. Let d(b) = 7*b**3 - 4*b**2 + 3*b - 1. Let h(c) = 14*d(c) - 3*s(c). Let y be h(-3). Does 23 divide 2/(-3 + y/46)?
True
Does 9 divide -6 - -57 - (-1 - -1)?
False
Let w(i) = -9*i - 5. Is 11 a factor of w(-4)?
False
Let a = -7 + 11. Suppose -51 + 7 = -a*i. Is i a multiple of 11?
True
Let l(k) = 3*k**3 - 6*k**2 + 7*k - 4. Is 9 a factor of l(3)?
False
Let x(k) = -2*k - 4. Let z = -3 + 4. Suppose -8 = d - z. Does 7 divide x(d)?
False
Suppose p + 78 = t, -2*p = 4*t - 104 - 214. Does 17 divide t?
False
Suppose 2 = -4*s - 3*g - 5, -5*g - 25 = 0. Suppose -3*n = s*p - 46, -n + 83 = 3*p + 21. Does 10 divide p?
True
Suppose -2*n + 6*n - 200 = 3*x, 0 = 4*x. Is 5 a factor of n?
True
Let k = 15 - 25. Let u = k - -28. Is 18 a factor of u?
True
Suppose -102 = -3*b + 117. Is 40 a factor of b?
False
Let t(q) = q**3 + 8*q**2 + 4*q + 2. Let r be t(-4). Let g = 20 + -55. Let w = g + r. Is w a multiple of 15?
True
Let k = 8 - -12. Is k a multiple of 5?
True
Let l(i) = i**3 + 9*i**2 + 12. Is 4 a factor of l(-9)?
True
Let w = 224 + -136. Does 11 divide w?
True
Let i(o) = -o**2 + 7*o + 4. Is 2 a factor of i(7)?
True
Suppose 5*q = -2*p + 19, -3*q + 10 = 3*p - 5. Let i(c) = 3 + 8 + c - 11. Is 3 a factor of i(q)?
True
Suppose -2*i + 54 = -6. Suppose -5*c + 10 = -5. Suppose c*m = 3*f - i, -f + 0*f - 4*m - 15 = 0. Is f even?
False
Is 10 a factor of 26 - (-3 - -7)*-1?
True
Let f(t) = -t. Let d(r) = -17*r - 2. Let j(c) = 8*c + 1. Let n(m) = 6*d(m) + 13*j(m). Let y(q) = 5*f(q) + n(q). Does 5 divide y(-3)?
True
Let g(c) = c**2 + 8*c + 11. Let y be 1/5 - 41/5. Is 8 a factor of g(y)?
False
Is 26 a factor of ((-156)/(-15))/((-4)/(-20))?
True
Let g be 4*(-2 - 2/4). Let i be (8/5)/((-4)/g). Suppose -i*p + 90 = p. Does 10 divide p?
False
Let l(r) = 3*r**2 - 6*r + 4. Does 15 divide l(5)?
False
Let q = -4 - -6. Suppose 0*u - q*u = 26. Let f = 5 - u. Is f a multiple of 9?
True
Suppose -82 = -2*q - 3*f + 20, -134 = -3*q + 5*f. Does 24 divide q?
True
Let f = -9 + 6. Let l be 1*2/3*f. Does 9 divide 2 - ((l - -1) + -9)?
False
Suppose -2*g + 3*g = 3*m - 10, 4*g + 5*m = 45. Suppose 3*z = 2*r - 12, -4*r - z - g = -15. Suppose -92 = -p - r*p. Is 23 a factor of p?
True
Let a be -5*(-2 + 16/10). Let x(t) = 9*t**2 + t. Is x(a) a multiple of 23?
False
Suppose 5*l + 4*f - 3 = 8*f, 2*l + 3*f = 15. Let p be l/(-18)*2*-3. Let y(z) = 10*z. Is y(p) a multiple of 10?
True
Is 4 a factor of 7320/228 + 4/(-38)?
True
Let h(m) be the first derivative of -m**3/3 + 5*m**2 - 10*m + 1. Let o(n) = n**3 - 6*n**2 + 8. Let a be o(6). Is h(a) a multiple of 2?
True
Let l(d) = 15*d**3 - 2*d**2 + 2*d + 2. Let o be l(2). Suppose 0 = -2*w - 0*w + 4*y + o, -4*w - 5*y + 223 = 0. Is 27 a factor of w?
False
Let i(a) = 25*a - 3. Let r be i(3). Suppose 0*l - r = -4*l. Does 9 divide l?
True
Let i = -39 - 2. Let k = 101 + i. Is k a multiple of 20?
True
Suppose 3*m + 40 = 3*n - n, -2*n - 5*m + 72 = 0. Let h(s) = s**2 + 4*s - 5. Let v be h(3). Let c = n - v. Is c a multiple of 10?
True
Suppose 0 = v - k + 3, 6*k = 5*v + 4*k. Suppose 51 = -v*j + 3*j - 3*a, 3*a + 3 = 0. Does 24 divide j?
True
Suppose -9*g + 8*g + 31 = 0. Does 18 divide g?
False
Suppose -5*z + 560 = 5*a, -3*z - a = -89 - 247. Is z a multiple of 16?
True
Suppose 7*m = 5*m + 84. Does 7 divide m?
True
Let w be 8/(-6)*-48*1. Let r be -30 + (1 - (3 - 2)). Let g = r + w. Does 17 divide g?
True
Let u(c) = -2*c - 4. Let j be u(-7). Let g(v) = 2*v - 14. Let z be g(j). Suppose 5*d - 47 = -3*k, -k + z = 3*d - 3. Does 8 divide k?
True
Suppose 397 = 4*b - y, 4*b + 2*y + 2*y = 372. Is 14 a factor of b?
True
Suppose -4*y = -31 - 1. Does 6 divide y?
False
Suppose j + 3*i = 21, 5*i = 5*j - 0*j - 125. Is j a multiple of 7?
False
Let v = 6 - 4. Suppose 0 = v*j - 5 - 1. Suppose -j*a - a + 40 = 0. Is a a multiple of 4?
False
Let m(t) = -t**3 - 2*t**2 + 5*t + 2. Let a be m(-3). Let g(h) = -11*h - 5. Is g(a) a multiple of 13?
True
Suppose 0 = -3*d + 30. Is 6 a factor of d?
False
Let i = 9 + -7. Suppose 0 = i*h - 130 + 12. Let v = h - 34. Is v a multiple of 14?
False
Let x be (-3)/(-4)*(-4 + 8). Suppose 5*h - 53 = -4*z - 9, -x*h = -3*z + 6. Suppose 3*k = -0*k + z. Is k a multiple of 2?
True
Let h(n) be the second derivative of 1/20*n**5 - n + 2*n**2 + 0 + 0*n**3 - 5/6*n**4. Is h(10) a multiple of 2?
True
Suppose 0 = -s - y + 27, -2*s - 4*y + 8*y + 84 = 0. Does 11 divide s?
False
Let k be (3 + -6)/(9/(-6)). Suppose -z + 135 = k*z. Suppose 3*n + 2*w = 44, -4*n + z = 4*w - 7. Does 5 divide n?
False
Let f(j) = 3*j - 1. Let d(k) = -3*k - 1. Let p be d(-1). Let i be f(p). Suppose 14 - 34 = -i*b, 2*b = -4*v + 200. Is v a multiple of 24?
True
Let g = -45 - -200. Does 39 divide g?
False
Let s = 26 - 16. Let x = s + -5. Is 8 a factor of x/(75/12)*30?
True
Let x be 0 + (-6)/(-9)*3. Suppose x*c = 2 + 6. Is c a multiple of 2?
True
Suppose -2*a - 16 = l + 2*a, -5*a = 5*l + 20. Is 6 a factor of 12/1 - (l - 0)?
True
Let f(l) be the third derivative of l**5/60 - 2*l**3/3 - 2*l**2. Does 15 divide f(7)?
True
Let u(v) = 2*v**3 + 23*v**2 + 14*v - 8. Does 38 divide u(-10)?
True
Let a be ((2 - 2) + -5)*-6. Suppose -4*u = 5*c - 3, -4*u - u = -5*c + a. Is u/9 - (-32)/6 even?
False
Let r = 5 - 3. Suppose 2 + r = d. Suppose -d*z - 3*h + 261 = 0, -4*z + 29 = -h - 236. Is z a multiple of 18?
False
Let b = 18 - 10. Is 10 a factor of b/32 - (-270)/8?
False
Let d(a) = -12*a. Let m(q) = -q**2 - 5*q - 6. Let r(p) = -p**3 + 6*p**2 - 2*p + 8. Let i be r(6). Let c be m(i). Does 8 divide d(c)?
True
Suppose -637 = -8*b + 243. Does 5 divide b?
True
Is 11 - (-12)/3 - 1 a multiple of 14?
True
Let u = 20 - 10. Let c = u + 17. Does 10 divide c?
False
Let z = -21 + 33. Is 6 a factor of z?
True
Suppose -5 = -3*s - 14. Let r = s - -1. Does 12 divide (r - -6)/((-3)/(-9))?
True
Let i = 104 + -46. Is i a multiple of 12?
False
Suppose -12 = -4*v + v. Suppose 0 = v*o + 5*x - 0*x - 35, -x - 21 = -2*o. Let g = 32 + o. Is 20 a factor of g?
False
Suppose -6*u = -3*u - 45. Is ((-88)/10)/((-3)/u) a multiple of 15?
False
Suppose -33 = -g + 11. Is 9 a factor of g?
False
Let c = 44 - 68. Is (63/12)/((-9)/c) a multiple of 7?
True
Let w = 9 - 9. Suppose -4*f - u + 24 = 0, 2*f - 4*u - u + 10 = w. Does 3 divide f?
False
Suppose -2*f + 44 = -2*k, 2*f - f - 4*k = 13. Does 21 divide f?
False
Let y = -2 - 0. Is 3 a factor of ((2 - -3) + y)*1?
True
Let p be -1 - (-1)/(2/6). Suppose -2*d = 3*m + 2*d - 2, -2*m + 20 = -p*d. Let y = m + -4. Is 2 a factor of y?
True
Let v(j) = j**3 + j**2 - 4*j + 36. Is 12 a factor of v(0)?
True
Let o(p) = p**3 - 4*p**2 - p + 4. Let b be o(4). Let c = b + 5. Is c a multiple of 4?
False
Suppose 5*d - 63 = -3*c, -3*c - 7*d + 3*d = -63. Let w = c + 45. Does 22 divide w?
True
Suppose 0 = -3*z + 5*h + 25, -z = -2*z + 2*h + 9. Is z a multiple of 5?
True
Let x(h) = -3*h**3 + 3*h**2 + 6*h + 2. Is 9 a factor of x(-3)?
False
Let i(j) be the second derivative of j**4/3 - j**3/2 - 3*j**2/2 + 3*j. Does 19 divide i(3)?
False
Let y(v) = -2*v. Let s be y(-1). Suppose -s*t + 30 = 3*t. Does 2 divide t?
True
Suppose 2*l = 5*l + 5*q - 65, 70 = 3*l + 4*q. Does 10 divide l?
True
Let i be ((-4)/8)/(1/2). Let u = -33 + -1. Let o = i - u.