 y + a. Does 8 divide z?
True
Let j(m) = -m**3 - 2. Let y be j(-3). Suppose -5*f + 2*x + 2*x = 49, 4*x = -16. Let s = f + y. Is 6 a factor of s?
True
Let u(h) = h**2 - 3*h + 2. Let y be u(4). Suppose 6*c = 4*c + y. Does 3 divide c?
True
Suppose 0 = -3*w - n + 26, w + 0*n = -4*n + 27. Let l(y) = y + 2. Is 8 a factor of l(w)?
False
Let t(a) = a**3 + a**2 + a + 43. Let y be t(0). Let s = -29 + y. Does 10 divide s?
False
Suppose -b + 5*b = -100. Let q = b + 117. Does 25 divide q?
False
Let m(t) = -7*t - 1. Is m(-3) a multiple of 9?
False
Suppose 0 = 4*k - t - 216, k + 3*k = 4*t + 204. Is k a multiple of 5?
True
Is (42/(-18))/((-1)/15) a multiple of 6?
False
Let w(n) = n**3 - 16*n**2 + 8*n + 7. Does 15 divide w(16)?
True
Suppose -3*o + 320 = 92. Suppose -2*k = -6*k + o. Does 19 divide k?
True
Let o(h) = h**2 + 5*h + 3. Suppose 3*s + s + 20 = 0. Let t be o(s). Suppose -8 = -t*r + 22. Is 10 a factor of r?
True
Let c(a) = 2*a**3 + 4*a**2 + 4*a + 3. Let w be c(-2). Let u(n) = n**3 + 6*n**2 + 7*n + 1. Let z be u(w). Is 3/z - 98/(-6) a multiple of 16?
True
Suppose u - 29 = 5*y, 5*u + 5*y = 2*y + 89. Is 5 a factor of u?
False
Let r = -101 + 46. Does 8 divide (-10)/r + (-174)/(-11)?
True
Let u(g) = -g**3 + 7*g**2 + 9. Let o be u(8). Let x = -39 - o. Does 8 divide x?
True
Suppose n + m = 2*n - 37, -5*m - 119 = -3*n. Does 15 divide n?
False
Suppose 67 = -4*z - y, 5*z - y + 59 = 2*z. Let n = 32 + z. Is 8 a factor of n?
False
Let p(q) = -q**3 - 7*q**2 - 8*q - 8. Let f be p(-6). Suppose -f*h + 575 = h. Suppose -6*o = -o - h. Is o a multiple of 23?
True
Let s(f) = -11*f**3 - f**2 - 2*f - 1. Let j be s(-1). Let q = 8 + j. Is q a multiple of 7?
False
Let p = 8 + -6. Let h(v) = 2*v**3 - 2*v**2 + 2. Is h(p) a multiple of 8?
False
Suppose -2*w = t - 8, 0 = -3*w - 2*t + t + 10. Suppose w*y + 5*x - 48 = -130, -2*x - 8 = 0. Let z = 47 + y. Is 16 a factor of z?
True
Is (-1 - -108) + -3 - -3 a multiple of 20?
False
Let x = -25 + 28. Is x a multiple of 3?
True
Does 10 divide (24/(-5))/(7/(-70) - 0)?
False
Let c = -14 - -14. Does 4 divide -1 - -2 - (-4 + c)?
False
Let f(w) be the first derivative of w**3/3 + w**2 - 9*w + 2. Does 12 divide f(-7)?
False
Let b be (-6)/(-2)*765/27. Let y = b - 48. Does 16 divide y?
False
Let u be (-14)/(-4) - (-1)/(-2). Let d = u + 4. Is d a multiple of 2?
False
Let f be 2/(-4) + 530/4. Suppose 4*a + 0*a - f = 0. Let y = 65 - a. Does 18 divide y?
False
Let o be 1/(-1) + 3 + 1. Let u(x) = 4*x**2 + 3*x + 1. Does 19 divide u(o)?
False
Let b(r) = r - 1. Let t(y) = -3*y - 14. Let f(o) = -2*b(o) + t(o). Does 7 divide f(-9)?
False
Let j(y) = -y**3 + 5*y**2 + 6*y + 5. Suppose -w = n - 0*w - 25, 3*n - 4*w - 110 = 0. Suppose 6*i - n = i. Does 2 divide j(i)?
False
Let z be (-2 - -1)*1*-5. Let v(w) = z*w**2 + 18 - 4*w**2 - 4 + 0*w**2. Is v(0) a multiple of 14?
True
Let j = -7 + 12. Suppose 50 = -5*t + j*d, 0*t = t - 5*d + 6. Let f = 44 + t. Is f a multiple of 13?
False
Let l(f) = f**3 + f**2 - f + 1. Is 11 a factor of l(2)?
True
Suppose -6*m + 2*m = -128. Suppose 0 = -0*o - 5*o + 4*l + m, -3*o - 4*l = 0. Does 4 divide o?
True
Let y(a) = -a**2 + 6*a + 2. Let o be y(5). Let x = 39 - o. Is 16 a factor of x?
True
Let k = 10 + -6. Suppose 2*g + 0*g + 18 = 2*z, -k*g - 10 = -2*z. Suppose 4*a - 7*a + 2*o = -z, 20 = 5*a - 5*o. Is 5 a factor of a?
True
Suppose 3*u - 4*h - 14 = -2*h, 0 = 2*u + 4*h - 20. Let t = 0 - u. Is 10 a factor of (t/9)/((-4)/114)?
False
Let b = 18 + 56. Does 37 divide b?
True
Suppose -2*f = 5*i - 0*i + 6, -10 = -2*f + 3*i. Let g be 516/9 - f/(-3). Suppose 68 + g = 3*w. Does 14 divide w?
True
Suppose 4 = -2*n - t, 5*t = 2*n - 7*n - 15. Let r be (n + -113 + 1)/(-1). Suppose 3*u - 91 = -5*k, -4*k + r = 4*u + k. Is u a multiple of 14?
False
Suppose 2*c = -5*n + 16, -c = n - 5*c - 12. Suppose -3*j - 149 = -4*r, -3*j - 44 = 3*r - n*r. Is 13 a factor of r?
False
Suppose 15 = -i + 6*i. Is 3 a factor of i?
True
Is ((-2)/8)/((-20)/30160) a multiple of 13?
True
Suppose 5*n - n - 3*d = 421, 3*n + 2*d = 303. Does 9 divide n?
False
Let n be (-8)/20 + 114/(-15). Let d = n + 10. Suppose 4*f + 76 = d*z, -2*z = -0*f + f - 51. Is z a multiple of 14?
True
Suppose -286 + 46 = -4*g. Does 20 divide g?
True
Suppose -22 = 4*y - i, 4*y - 4*i + 18 = -i. Let o be (-2)/y*(0 - -3). Is 5 a factor of (-3)/((o/(-1))/3)?
False
Does 10 divide (-9)/9*(-80)/2?
True
Is (16/(-24))/(2/6) - -22 a multiple of 4?
True
Let i(h) = 4*h**2 + 3. Is 28 a factor of i(4)?
False
Suppose -4*j - i - 3 = 0, 6*j = 3*j + 2*i + 6. Suppose 5*d - 2*d + 6 = j. Does 10 divide (0 - 1)*(d - 9)?
False
Suppose 4 = 2*d, 2*l - 8 - 6 = -3*d. Suppose -4*b + 13 + 7 = l*c, -5*c + 25 = -4*b. Suppose 0 = -c*f - 4*s + 12 + 3, 3*f + s - 16 = 0. Is 7 a factor of f?
True
Let f(m) = m**3 + 6*m**2 + 3*m. Is f(-4) a multiple of 10?
True
Suppose t = -23 + 84. Is t a multiple of 11?
False
Does 10 divide 4/5 + (-9018)/(-90)?
False
Let g(p) = -p + 4. Let w be g(-9). Let q = 4 + w. Is 17 a factor of q?
True
Let f(b) = -b**2 + 3*b + 3. Let w be f(3). Suppose -g + 196 = 5*d, w*d - g = d + 77. Is 14 a factor of d?
False
Let k be (2 + 0 - 2)*1. Let u = 3 - k. Suppose u*j + 150 = 8*j. Is j a multiple of 13?
False
Suppose -8*i = -3*i - 25. Does 2 divide i?
False
Let n be 4/2 + 0 + 0. Suppose 18 + n = -2*f. Let i = -5 - f. Is i a multiple of 2?
False
Let j = 9 + -5. Suppose j*u = -83 - 21. Let z = 40 + u. Is 6 a factor of z?
False
Suppose -34 = -2*s + 56. Is 11 a factor of s?
False
Suppose -3*w + w = -6. Let f be 3/(w/2) + 57. Suppose 5*k = 86 + f. Is k a multiple of 13?
False
Let o(a) = -a**2 + 21*a - 14. Does 16 divide o(10)?
True
Let i(a) = a**3 - 8*a**2 + 9*a + 6. Let c be i(7). Is (2 - -1) + 3*c a multiple of 12?
False
Suppose 0 = -2*k + 5*d + 225, -6*d = -5*k - d + 540. Is 21 a factor of k?
True
Let g be 141/11 + 6/33. Suppose 93 - g = 5*i. Let y = i - -4. Is 10 a factor of y?
True
Let u = -84 - -264. Is u a multiple of 15?
True
Is (-4)/10 + (-294)/(-10) a multiple of 4?
False
Let j(i) = i**3 + 4*i**2 + 3*i + 4. Let q be j(-3). Suppose h + q = 13. Suppose -4*r = -k + 9, -4*k - 4*r + 47 = -h. Does 11 divide k?
False
Let h be 0 - (-2)/1 - 2. Let m(y) = y**2 + 8. Does 8 divide m(h)?
True
Suppose 5*u - 918 = 4*h, -1 = 3*h + 5. Is u a multiple of 14?
True
Let g(w) = -2*w**2 + 1. Let c be g(1). Let h be (c/(3/(-9)))/1. Let y = 6 - h. Is y a multiple of 3?
True
Let o = -8 - -24. Does 16 divide o?
True
Let s be 2/(-1 + 0 + 2). Is (-3 + s)/(-1)*18 a multiple of 10?
False
Let k be 8*(-1)/(-6)*-6. Let o = k - -4. Is ((-6)/o)/((-1)/(-2)) even?
False
Does 5 divide 40 - (0/2)/(3 + -1)?
True
Let b = -27 - -69. Suppose -b = 3*k - 177. Does 7 divide k/6*(-12)/(-9)?
False
Let t = 352 - 220. Is 11 a factor of t?
True
Let v = 20 + -16. Suppose -v*w = w - 25. Does 5 divide w?
True
Let v(s) = s**2 + 6*s + 7. Does 16 divide v(-10)?
False
Let l = 44 + -41. Is l even?
False
Does 19 divide (-1775)/(-4) - -6*(-4)/32?
False
Suppose 0 = 4*v + 4*h, -3*h - 4 = 5. Suppose v*n - 3*m + 12 = -0*m, n + 4 = 5*m. Let b = -1 - n. Is b even?
False
Suppose -3 = -0*k - 3*k. Let c be (-114)/3 + 2*k. Is 14 a factor of (2 - c/10)*5?
True
Let x(t) = -t**2 - 15*t - 3. Let m be (-2*36/(-8))/(-1). Does 7 divide x(m)?
False
Suppose 0 = 5*g, -4*g + 2*g = 2*x - 4. Suppose -4*c + 60 = -0*h - 5*h, -30 = -x*c - 5*h. Is c a multiple of 5?
True
Let u be -1624 + (3 - 2 - 0). Let x be 2/(-12) - u/18. Suppose 4*q - x + 2 = 0. Does 14 divide q?
False
Let x(o) be the first derivative of -o**2 + 4*o - 4. Let b be x(7). Is 5 a factor of 2/5 + (-96)/b?
True
Let g = 101 + -23. Is 13 a factor of g?
True
Let m = 7 + -4. Let t(v) = v**3 + 4*v**2 - v - 4. Does 21 divide t(m)?
False
Suppose 31 = -5*n - 4*d, 1 - 18 = 2*n - 3*d. Let c = 1 - n. Is c a multiple of 3?
False
Suppose -7*l + 204 = -l. Is l a multiple of 3?
False
Let o(j) = -j**3 - 4*j**2 - 4*j - 5. Suppose -2*y + 7 = -5*a, a + 16 = -3*y + 1. Is o(y) a multiple of 11?
True
Let m(r) = 5*r**3 - 2*r + 1. Let o be m(1). Suppose -o*d + d - 2*a = 125, 0 = -3*d - 5*a - 137. Does 15 divide (-591)/d + (-2)/13?
True
Let f = -2 - -8. Let q = -4 + f. Suppose -s - 5*m - 3 = 0, 0 = s - 6*s + q*m + 66. Is s a multiple of 8?
False
Let l = -9 - -16. Let z be -1 + ((-55)/(-1) - 3). Suppose -2*h + z = -l. Is 12 a factor of h?
False
Let d be (-4)/(-2) + -1