f 22?
True
Let f = -18 - -42. Is 4 a factor of f?
True
Let g be (2/3)/((-3)/(-36)). Suppose 4*b + s - g - 1 = 0, 2 = 2*s. Suppose -b = -3*f + 34. Does 12 divide f?
True
Let p(j) = 3*j + 3. Is p(10) a multiple of 27?
False
Let g(q) = q + 10. Let y be g(-6). Suppose -y*p = p - 115. Suppose 0 = -x + p - 4. Is x a multiple of 14?
False
Let v be -3*5*(-3 + 2). Suppose -3*d = -67 - 14. Let h = d - v. Is 6 a factor of h?
True
Suppose 2 = 2*y + 2*c, -y + 3*c - 6*c + 3 = 0. Let b = 1 - y. Does 8 divide b*15 + 1 + -1?
False
Let z be 5 - 2 - (-5 + 6). Let g(n) = -21*n**3 - 3*n**2 + 11*n - 9. Let t(c) = -10*c**3 - c**2 + 5*c - 4. Let m(h) = 3*g(h) - 7*t(h). Is m(z) a multiple of 15?
True
Suppose 0*o - 17 = o. Let k = 29 + o. Does 12 divide k?
True
Let t(d) = -d**3 - d**2. Let c be t(-2). Let x be (-4)/3*(-42)/c. Suppose r - u = 10 + x, -4*r - 4*u + 72 = 0. Does 6 divide r?
False
Suppose -2*h - 2*n = -18, -7*h - 3*n = -2*h - 51. Let v = -5 + h. Let r = v + 5. Does 6 divide r?
True
Let o(v) = -v**3 + 27*v**2 - 40*v. Is o(25) a multiple of 13?
False
Let w(h) = -h**2 - 17*h - 26. Does 7 divide w(-13)?
False
Let f(z) = 4*z. Does 4 divide f(4)?
True
Let r = -6 + 10. Suppose -t + 5 + r = 0. Let m = t - -3. Does 12 divide m?
True
Suppose -12 = 4*s, 6*x - 13 = x + s. Suppose -6 = -x*y + 24. Suppose -j - 4 = 2*i - 14, -j + y = 3*i. Is 3 a factor of i?
False
Let i = -3 + 20. Let w = i + -7. Is w even?
True
Let t(r) = -8*r - 3*r - r**2 + 2*r. Is 8 a factor of t(-7)?
False
Suppose 6 = -2*k + 4*n, -4*k - 2*n + 12 = -2*k. Let d(u) = u**2 - 4*u. Let a be d(k). Let c(w) = 5*w**2 + 5*w + 4. Does 17 divide c(a)?
True
Let z(u) = 3*u + 1. Let p be z(2). Let j be (-1)/3 - p/(-3). Suppose j*f - f = 26. Is 12 a factor of f?
False
Is 1 - (-62 - (-5 + 2)) a multiple of 10?
True
Let q(r) = -r**2 + 4*r + 7. Let l be q(5). Let h be (0/l)/(-2) + 12. Let s = h + 1. Does 8 divide s?
False
Suppose -447 = -2*k - 5. Is 33 a factor of k?
False
Suppose 0 = -4*g - 2*x - 34, 2*g - 3*x - 2*x = 13. Let t = 2 - g. Is 9 a factor of ((-18)/5)/(t/(-20))?
True
Let h be 10/6*3*1. Let w = -16 + 16. Let j = h - w. Is 3 a factor of j?
False
Let z = -225 - -388. Does 24 divide z?
False
Suppose m - 12 = -2*m. Suppose 0 = -m*h + 334 - 70. Is h a multiple of 19?
False
Suppose -3*r - r = -192. Does 5 divide r?
False
Let m(s) = s**3 + 5*s**2 - 3*s - 4. Is 4 a factor of m(-3)?
False
Let d = 305 + -97. Does 16 divide d?
True
Suppose -22 - 104 = -3*k. Suppose 0*j - 46 = 2*j + 3*a, j + 22 = -a. Let x = j + k. Is x a multiple of 22?
True
Suppose -3*m = m. Suppose -2*t - 2*z + 2 = 0, m = -t - 5*z - 8 + 25. Is 1 + (24 - 3/t) a multiple of 14?
False
Let z = 16 - 9. Suppose -4*y + z*y = 21. Does 2 divide y?
False
Suppose 4*t - 41 = b, 4*b + 27 + 27 = 5*t. Suppose 0 = 5*v - 5*h - 178 - 67, 0 = 5*h - t. Does 24 divide v?
False
Is 5 a factor of -2 - (161 - 1)/(-5)?
True
Suppose -j + 3*o = -11, -2 = 4*j + 3*o - 1. Suppose 0 = -3*y - 6, j*x + 2*y - 5 = -x. Is (-6)/(-4)*(23 - x) a multiple of 10?
True
Let l = 407 + -283. Is l a multiple of 10?
False
Suppose -14 = 5*l - 4*f, 2*f = 2*l + l + 10. Let w = 11 + l. Is w even?
False
Suppose -6 = -q + 3. Let i = q - 2. Does 3 divide i?
False
Suppose f - 112 = -3*l, 2*l - 7*l = -f + 96. Is f a multiple of 6?
False
Let f(v) = v + 10. Let m be f(-7). Let r(l) = l**3 - l - 2. Let z(p) = -5*p**3 + p**2 + 5*p + 7. Let n(c) = -9*r(c) - 2*z(c). Does 10 divide n(m)?
True
Suppose 0 = -3*n + n + 4. Let l be (-3)/n*(-4)/3. Is (8/6)/(l/42) a multiple of 17?
False
Suppose 7 = 2*z + 1. Suppose z*u - 65 = -2. Is 5 a factor of -2 + (-3)/((-9)/u)?
True
Let u(l) = 3 - 14*l**2 + 0*l**3 + 2*l**3 - l - 3*l**3. Does 3 divide u(-14)?
False
Suppose -2*k - 3*k - 2*h = -2, -5 = -5*h. Suppose 5*s - 2*i + 1 = -5*i, k = 5*s + 2*i - 1. Suppose 11 + s = z. Is 10 a factor of z?
False
Let w = 112 - 47. Is 22 a factor of w?
False
Let y(f) = -f - 2. Let j be y(-4). Suppose -62 = -2*o - j*o + l, 2*l - 26 = -2*o. Is o a multiple of 15?
True
Suppose -3*s + u + 17 + 10 = 0, 0 = 3*s - 3*u - 21. Is 3 a factor of (-2)/(-10) - (-78)/s?
False
Let x = 14 + -9. Suppose -4*q = -x*q - 4. Let i(a) = a + 7. Is i(q) a multiple of 3?
True
Suppose 3*s - 2*q = 72, 5*q + 8 = -2*s + 56. Does 3 divide s?
True
Suppose 0 = -p, -5*v - p - 2*p = 0. Let b(d) = -d**3 + d**2 + 26. Is 26 a factor of b(v)?
True
Suppose q + 3*g - 24 = 1, -92 = -5*q - 4*g. Is 15 a factor of q?
False
Suppose -g + 3*g - 168 = 0. Let y = g + -40. Is 11 a factor of y?
True
Let k(i) be the second derivative of -i**4/12 - 5*i**3/6 + 3*i**2 + 2*i. Let w be k(-6). Is 11 a factor of w*(2 + -3) + 11?
True
Suppose -4*q = b - 72, -2*q = 2*b - 145 + 25. Does 7 divide b?
True
Let t(p) = p**3 + 8*p**2 + 4*p - 7. Is 5 a factor of t(-6)?
False
Let g(c) be the first derivative of -c**4/4 + 2*c**3 + 3*c**2/2 - 7*c + 3. Does 11 divide g(6)?
True
Suppose 9 = -0*l + 3*l. Suppose 0 = 2*m - u - 13, m + l*u = -3*m + 31. Does 7 divide m?
True
Suppose 5*r - 104 = 671. Is r a multiple of 27?
False
Let k(g) = 4*g**2 - 14*g + 10. Let i(t) = -5*t**2 + 15*t - 11. Let q(p) = 5*i(p) + 6*k(p). Is q(-8) a multiple of 6?
False
Let m(h) = -4*h**2 + 4*h - 4. Let b(o) = 4*o**2 - 3*o + 4. Let g(n) = 5*b(n) + 4*m(n). Does 21 divide g(4)?
False
Let d(f) = 5*f**3 - 2*f**2 - f + 9. Let m(a) = 6*a**3 - 3*a**2 - 2*a + 10. Let n(j) = -7*d(j) + 6*m(j). Is n(6) a multiple of 19?
False
Let o be (-36)/27 + 2/(-3). Is (-2 + 18/(-4))*o a multiple of 13?
True
Let f(b) = -3*b - 1. Let r be f(9). Is 9 a factor of (-8)/r - 187/(-7)?
True
Suppose -4*j = -3*j. Let x be 1 + 1 + j/1. Suppose 7 + 83 = x*n. Does 20 divide n?
False
Let z = 34 - 16. Does 6 divide z?
True
Let l(a) = -20*a + 8. Is 14 a factor of l(-3)?
False
Let w(c) = c**3 + 6*c**2 + 5*c + 5. Is 5 a factor of w(-5)?
True
Let t = -37 - -19. Let k(s) = -5*s - 14. Does 20 divide k(t)?
False
Let s(v) = v**2 - 2*v + 5. Let a be s(-5). Let z = 28 + -51. Let f = z + a. Does 11 divide f?
False
Suppose 419 - 140 = 3*m. Suppose 0 = 5*n - m + 33. Is n a multiple of 6?
True
Let v(z) = -z**3 + 8*z**2 + 3*z + 2. Is 26 a factor of v(4)?
True
Let y(u) = u**3 - u - 2. Suppose 0*f + 16 = 4*f. Does 29 divide y(f)?
True
Let b = -5 - -9. Suppose -b*v + 55 = -29. Is 12 a factor of v?
False
Let g(x) = 2*x + 6. Let s be ((-105)/12)/((-2)/(-8)). Let r be (-200)/s - 2/(-7). Does 15 divide g(r)?
False
Suppose p = 3*k - k - 2, k + 3*p - 1 = 0. Let w = k - -2. Suppose -3*l - w = 3*t - 15, -3*t = 15. Is 7 a factor of l?
False
Let l(w) be the first derivative of 5*w**4/12 + w**3/6 - 2*w - 1. Let d(a) be the first derivative of l(a). Does 13 divide d(-2)?
False
Suppose 2*j = 4*j - 4. Suppose -116 = j*d - 6*d. Does 16 divide d?
False
Let h(q) = q**3 + 5*q**2 + 4*q + 5. Suppose -2*m - m + 5*g - 37 = 0, -2*m = -5*g + 33. Is 4 a factor of h(m)?
False
Let h(c) = -c**3 + 31*c**2 - 30*c + 42. Does 42 divide h(30)?
True
Let n = 26 + -21. Suppose n*s = -4*b + 73, 0 = 5*b - 0*s - 3*s - 45. Is 6 a factor of b?
True
Let s be 1/(3 + -2) - -4. Suppose -s*p = 8 + 32. Let d = p - -18. Is d a multiple of 10?
True
Let p(q) = -q + 1. Is 7 a factor of p(-13)?
True
Let o be 4 + 0 - 3 - 3. Does 5 divide (22 + o)*(-3)/(-6)?
True
Let p(u) = 2*u + 2. Let s(j) = 5*j + 5. Let z(m) = -8*p(m) + 3*s(m). Let l be z(-5). Suppose l*b - 4 = 3*b. Does 3 divide b?
False
Suppose -5 = -2*o + 5*z, 3*o - 5*z = 8*o + 40. Let s(m) = m**3 + 6*m**2 + m + 7. Does 27 divide s(o)?
True
Let g(r) = -r**3 - 3*r**2 - 5*r - 4. Let u be g(-3). Let w = 17 - u. Is w a multiple of 6?
True
Let a = -3 + 7. Suppose 21 = a*o - 27. Suppose -4*q + o = 4*g, 4*q + 4*g + 28 = 5*q. Does 8 divide q?
True
Let t(z) = -z**3 + 7*z**2 + 8*z + 8. Let a be t(7). Let s = a - 31. Is 11 a factor of s?
True
Let t = 9 - 5. Suppose -18 - t = -2*j. Is j a multiple of 5?
False
Suppose 0 = -6*j + j + 210. Is 12 a factor of j?
False
Suppose -72 = -5*f - 22. Does 3 divide f?
False
Suppose -5*a = -2*a - 210. Does 10 divide a?
True
Let x be (1 + 9/(-6))*-4. Is (-5*x + 2)/(-1) a multiple of 6?
False
Let a(n) = 45*n. Is a(5) a multiple of 45?
True
Suppose 0 = -2*j + 185 - 35. Does 21 divide (-15)/j - (-1002)/10?
False
Let t be (-48)/(2*(-2)/4). Let w be 1 + 0/2 - -1. Suppose -t = -w*m - m. Does 8 divide m?
True
Suppose 22 = 2*b - 32. Does 3 divide b?
True
Is (-2 + (-70)/(-3))/((-