
Let h(s) = -s**3 + 6*s**2 + 1. Let n be h(6). Let w(o) = 2*o**3. Is w(n) a multiple of 2?
True
Suppose -5*i = -5*t + 520, -3*t + 287 = 5*i - 49. Is t a multiple of 30?
False
Let a(r) = -3*r - 1. Let f be a(-5). Suppose 3*l - 5 = 2*l + 3*w, 5*w = -5. Suppose -f = -l*m + m. Is 7 a factor of m?
True
Suppose -5*g + 4*s + 630 = 2*s, -3*s = -g + 139. Is g a multiple of 14?
False
Suppose -5*p = -10, p = 2*l - 2*p. Let j(a) = 6*a**2 + 3*a - 3. Is j(l) a multiple of 20?
True
Is (2 - -2) + 238/1 a multiple of 16?
False
Does 14 divide 2532/21 + -3 + 72/21?
False
Suppose 4*b = -3*l + 6, -2*l + b + 4 = 2*b. Suppose 0 = -4*f + l + 18. Is f a multiple of 2?
False
Suppose 7*l = -5*w + 2*l + 265, 4*w - 217 = l. Does 36 divide w?
False
Let n = -39 + 22. Let g = 45 + n. Let w = -12 + g. Is w a multiple of 14?
False
Suppose -5*y = l - 177, -101 = -3*y - 4*l + 6*l. Does 5 divide y?
True
Suppose -3*k - p = -16, 2*k - 6*p = -5*p + 4. Suppose -3*t + 34 = 3*f - 4*f, k*t - 5*f - 38 = 0. Is 4 a factor of t?
True
Is 6/(-14) + 8088/56 a multiple of 24?
True
Let v = -7 - -13. Let h(q) = 3*q + 6. Let i be h(v). Does 9 divide (6/8 - 0)*i?
True
Suppose 5*q + 6 = o - 7, 6 = 4*o + 3*q. Suppose 3*c + 21 = o*n, -2*n - 16 = 2*c + 10. Let v(j) = -j**3 - 9*j**2 + 9*j. Is 10 a factor of v(c)?
True
Suppose 0 = -3*d - 3*x + 6, -4*d - 5*x = 2 - 14. Is 3 a factor of d*(-12)/3*1?
False
Suppose 0 = -3*q + q. Suppose q*p = p - 34. Does 11 divide p?
False
Let h(b) = 144*b**3 + b**2 - 2*b + 1. Is h(1) a multiple of 22?
False
Let g(t) = -t**3 - 5*t**2 - 4*t - 6. Is g(-5) a multiple of 7?
True
Let l = 3 + 3. Suppose l = -3*f - 0*n + 3*n, 3*f + 10 = 4*n. Suppose 2*p - f*j - 23 = -j, -4*p + 50 = 2*j. Is 6 a factor of p?
True
Suppose 49 = 2*w - 157. Is w a multiple of 30?
False
Let g be (-2)/6*(-680 + -1). Suppose g = 4*y - 5*f, 0*y + 2*y + 2*f = 100. Is y a multiple of 16?
False
Suppose -5*w + 47 = -g, w = 3*w + 3*g - 29. Does 5 divide w?
True
Let w(f) = 4*f**2 - 5*f + 14. Let p(u) = u**2 + u + 1. Let j(i) = 6*p(i) - w(i). Is 11 a factor of j(-8)?
False
Suppose -8*f + 3*f = -650. Is 10 a factor of f?
True
Let u = 75 - 20. Let g = 47 + u. Suppose 2*n - g = -n. Does 14 divide n?
False
Suppose -6 = -7*f + 8. Let t = 5 + -14. Is t*f/12*-2 a multiple of 3?
True
Suppose -2*r + 4*o + 12 = 0, o + 1 + 2 = 5*r. Let k = r - -29. Is 17 a factor of k?
False
Suppose o - 9 = -3. Suppose -3*q + 2*i = -o, -4*q + 2*q = -2*i - 6. Does 6 divide 3/(-1)*(-3 + q)?
False
Suppose -3*g + 8*n - 3*n - 4 = 0, n - 26 = -3*g. Is g a multiple of 3?
False
Let s(h) = -h**2 - 8*h - 5. Let l be s(-7). Suppose 2*p + l*p - 2*d = 18, -5*p + 18 = -d. Is p + (-39 + 1)/(-2) a multiple of 11?
True
Let x(t) = t**3 + 2*t**2 + t + 72. Is x(0) a multiple of 11?
False
Let r = 8 + 4. Is 6 a factor of r?
True
Suppose p + 4*p = 65. Suppose 0 = -2*j - i + 10, -3*j = -2*i - p - 2. Is 5 a factor of j?
True
Suppose 4*r + 61 = -3*i, 2*i - 9 = 2*r + 25. Suppose n = 3*t - 23, 6*n - 2*t = 2*n - 42. Does 10 divide (-316)/r - 2/n?
True
Let g(z) = z**3 - z**2 + 3*z - 1. Let o = -6 + 8. Let y be g(o). Suppose 5*t - 4*s + 4 = t, y = 3*s. Is t even?
True
Let r = -3 + 5. Suppose 17 - 3 = r*a. Suppose 0 = 3*g - a - 113. Is 19 a factor of g?
False
Let h be 2/8 + 146/(-8). Let a = -9 - h. Let j = a + -6. Is j a multiple of 2?
False
Let w(y) = 0 - 5*y + y - 2 + 3. Is 9 a factor of w(-2)?
True
Let p = 1 - -1. Suppose 0 = -p*k - 0*b - 5*b + 23, -4*k = -5*b - 1. Does 4 divide k?
True
Suppose -4*w = 7 + 9, 3*v - 15 = -3*w. Suppose -4*r + 3*t + 13 = 0, -5*r + 10 = 4*t - v*t. Let h = r + -3. Does 4 divide h?
True
Is 7 a factor of 0 - (-14 - (-2 - -2))?
True
Suppose -5*y = -0*y. Suppose 2*a = k - 0*k - 26, -3*k - a + 64 = y. Is (-2)/(-11) + 480/k a multiple of 22?
True
Let k be (-6)/(-9) + 103/3. Let o = k - -14. Is 12 a factor of o?
False
Let k be 2/3 + 14/6. Suppose k*m = 8*m + 240. Let n = m - -82. Is 11 a factor of n?
False
Suppose -2*a - 2*o + 68 = 0, -5*o = 2*a - 6*o - 65. Does 8 divide 517/a + (-1)/(-3)?
True
Suppose -d - 5*f - 8 = -10*f, -d - f = -10. Let u(s) = s - 6. Let l be u(d). Suppose 0 = -2*g + 8, -4*g = t - 6*g + l. Does 4 divide t?
False
Let i(p) be the third derivative of -p**6/120 - 11*p**5/60 - p**4/6 + 7*p**3/6 - p**2. Is 18 a factor of i(-11)?
False
Is (-3390)/(-25) + (-6)/(-15) a multiple of 31?
False
Let h(g) be the second derivative of g**7/42 + g**6/360 - g**5/60 + g**4/24 + g**3/6 - 4*g. Let i(z) be the second derivative of h(z). Is 10 a factor of i(1)?
True
Let k(r) = 22*r**3 - 4*r**2 + 2*r - 3. Let s(v) = -44*v**3 + 9*v**2 - 4*v + 7. Let c(j) = 5*k(j) + 2*s(j). Does 21 divide c(1)?
True
Let h(l) = -4*l**2 - 5. Let r(y) = 5*y**2 + 6. Let p(x) = -4*h(x) - 3*r(x). Suppose -5*o + 5*g = 20, -1 - 3 = 4*o - g. Is p(o) even?
True
Suppose -3*g = -18 + 3. Let w = 15 + g. Is 10 a factor of w?
True
Suppose j = -j + 40. Suppose -3*g + 19 = -j. Does 13 divide g?
True
Let g(z) = z**3 - 9*z**2 - 2*z + 9. Let h be g(9). Let a = 18 + h. Is a a multiple of 4?
False
Let r(o) = o**2. Let p be (-4)/(-22) + (-42)/(-11). Is 16 a factor of r(p)?
True
Suppose 0 = -2*t + w + w + 6, 0 = -t - 3*w - 1. Let j(b) = b + 1. Let c be j(3). Suppose t*g - c = 6. Is g even?
False
Suppose 4*y = -13 + 37. Suppose -y*m = -m - 5, q + m = 4. Suppose -2*w + 14 = -4*z, q*w + w - 48 = -2*z. Is 11 a factor of w?
True
Let l(p) = -7*p + 1 + 0*p + 0*p - 3. Does 12 divide l(-2)?
True
Let q(i) be the first derivative of 2*i**3/3 - 5*i**2 + 6*i + 6. Is q(6) a multiple of 3?
True
Let r = 48 + 2. Is r a multiple of 10?
True
Suppose 0*t + t = 5. Suppose -4*d + t*m = -29, -2*m = 2*d + 3*m - 7. Suppose -4*g + 31 = -0*y + 3*y, -d = 2*y. Is g a multiple of 10?
True
Let p be 28/20 - (-4)/(-10). Is 3 a factor of -1 + (-21)/(p + -4)?
True
Let t be (-5 + 15)/(1/5). Let f be t/5 + -3 + 0. Is 20 a factor of 233/f + 2/(-7)?
False
Suppose 0 = 3*q, -2*b + 3*q = 2*b - 24. Suppose 0 = -3*m - 2*r + 48, -b*r + 3*r = -9. Is 7 a factor of m?
True
Suppose 2*g + 42 = 154. Is 14 a factor of g?
True
Suppose 23 = 2*y - 4*b + 11, 5*y - 40 = 5*b. Suppose -2*g + 4*n = 3*g - 142, -2*g + 2*n = -56. Suppose 4*s - f = g, 3*s - 5*f = -y*f + 34. Is s a multiple of 8?
True
Let c(q) = 5 + q - q - q**2. Let p be c(0). Suppose 4*i - 35 = u, i = -p*u + 3*u + 2. Is 6 a factor of i?
False
Suppose 19 + 326 = 5*l. Does 17 divide l?
False
Let f(i) = i**3 + 8*i**2 + i - 9. Does 9 divide f(-7)?
False
Suppose 0 = -5*h + 2*n + 32, 30 = 5*h - 4*n - 4. Let r(y) = 2*y - 6. Let a be r(h). Suppose -3*f - 42 = -a*f. Is f a multiple of 6?
False
Let g = 24 + 12. Does 6 divide g?
True
Suppose 0*g + 4*g - 608 = 0. Suppose -4*h = -5*t - g, -3*h + 2*t + 12 = -102. Is h a multiple of 15?
False
Let p = 53 + -19. Does 34 divide p?
True
Suppose 3*g = -4*w + 255, 319 = 8*w - 3*w + 4*g. Does 21 divide w?
True
Let s(v) = -v**2 - 18*v - 5. Does 33 divide s(-8)?
False
Suppose 0 = i - 2*f - 18, i - 3*f - 28 = f. Let u(o) = 5*o**2 + 6*o - 6. Let n(x) = x**2 - x + 1. Let h(b) = -6*n(b) + u(b). Is h(i) a multiple of 20?
True
Let z be 8/(-52) - 141/13. Suppose 0*k = 2*j + 2*k, 0 = 3*j + 4*k - 1. Let i = j - z. Is i a multiple of 9?
False
Suppose -4*y = -i - 10, 0*y - 2*i + 10 = 2*y. Let m = y + -15. Is 16 a factor of (m/(-9))/(2/24)?
True
Let x(q) = 3*q - 3. Let z be x(2). Suppose -5*i + 209 = 4*j, -7*j - 3*i = -z*j - 215. Is 10 a factor of j?
False
Let g(l) = -10*l - 21. Is g(-9) a multiple of 12?
False
Suppose 2*z + z = 24. Is 3 a factor of z?
False
Suppose 0 = -2*h - 3*h + 15. Let c = 1 + h. Is c even?
True
Suppose 0 = -3*a + 205 - 67. Does 19 divide (2 - (-1 - 0)) + a?
False
Suppose -u - 3*k + 5 = 0, 5*u - 7*k - 25 = -3*k. Let a(h) = 8*h + 2. Let g be a(u). Suppose -2*p + g = 4*o, 2*o + 127 = 5*p - 2. Is 10 a factor of p?
False
Let b = -9 + 6. Is 5 a factor of (-2 - -8) + 1 - b?
True
Suppose q - 109 = 35. Is q a multiple of 36?
True
Let f(y) = y**3 - 5*y**2 - 2*y - 3. Let c be 0 + 10 + 4/(-2). Let z be c + (3 + -2 - 3). Is 14 a factor of f(z)?
False
Suppose -5*b + 11 = 3*j - 28, 2*b - 3*j = 3. Does 3 divide (27/b)/((-3)/(-6))?
True
Suppose 24 = 6*s - 0*s. Suppose 5*m + s*u = 195, 8*u - 55 = -m + 4*u. Is 6 a factor of m?
False
Let v = -33 + 93. Does 10 divide v?
True
Is 11 a factor of (-144)/(-8) - 2*-2?
True
Let n(b) = b**2 + b - 3. Let g be n(-3). Is 106/g +