f r(8)?
True
Let c(z) = -z - 3. Let x(w) = -w**2 - w + 1. Let j be x(-4). Is 4 a factor of c(j)?
True
Suppose 3*l = 4*y + 22, l - y - 3*y - 18 = 0. Suppose -25 = -l*i + t, 0*i + 3*i = -t + 40. Does 3 divide i?
False
Let x = 4 + -5. Let l be (-2)/x*(2 + 0). Suppose h - 3*q + 32 = 3*h, 0 = -l*q. Does 16 divide h?
True
Suppose 2*x + 4*f = f + 635, -4*f + 951 = 3*x. Does 55 divide x?
False
Suppose 4*i + 20 = -0*i. Let o = 85 + i. Suppose 2*g + 3*g - o = 0. Is g a multiple of 8?
True
Suppose 3*n + 3*i - 239 = 4*i, 4*i = 5*n - 396. Is 20 a factor of n?
True
Suppose 360 = 7*k + 3. Is k a multiple of 20?
False
Let n(j) = -j + 39. Let y be n(0). Let s = y + 16. Is s a multiple of 11?
True
Let u be (0 - 1) + -5 + 13. Suppose 3*z = 70 - u. Is z a multiple of 8?
False
Let x(v) = 25*v**3 - v. Let l be x(1). Suppose -2*g = -3*u - 27, -g + 0*u - 2*u = -l. Is 15 a factor of g?
False
Let d(b) = 14*b - 4. Let j = 14 - 8. Let f be d(j). Suppose -u = -k - 3*k + 67, -5*k + f = -2*u. Is 6 a factor of k?
True
Suppose -2*j + 15 = -4*x - 5*j, 5*x + 3*j = -15. Suppose x = -5*v + 2*d + 557, -5*v + v = -d - 445. Is 33 a factor of v?
False
Suppose 2*a = -a - 12. Let j be (-33)/(-6)*a/(-2). Suppose f - 1 = j. Is 5 a factor of f?
False
Suppose 0 = -0*g + 4*g - 60. Does 7 divide g?
False
Let s(n) be the first derivative of 12*n**2 - 1. Does 10 divide s(1)?
False
Let f(h) = h + 7. Suppose w = -w + 10. Suppose -4*c + 21 = -w*m, -5*c - 3*m = -8*m - 30. Is 15 a factor of f(c)?
False
Let a(s) = 3*s**2 + 15*s + 21. Does 9 divide a(-7)?
True
Suppose -3*j - 2*j = 130. Let s = -8 - j. Does 9 divide s?
True
Suppose -2*j - 1 = -5. Suppose 5*n + 3 = -j*l - 1, -3*l = 3*n + 6. Is 17 a factor of (-69)/l*(-4)/(-6)?
False
Let i be (-177)/5 - 4/(-10). Let c = 70 + i. Is c a multiple of 11?
False
Let t(h) = -7*h**2 + 6*h + 2. Let g(k) be the third derivative of -k**5/10 + 5*k**4/24 + k**3/3 - k**2. Let o(r) = -5*g(r) + 4*t(r). Is o(3) a multiple of 8?
False
Let j(d) = d**2 - 10*d + 4. Let m be j(7). Let z = -8 - m. Is z a multiple of 8?
False
Is (-54)/(-2 + -1) + 3 a multiple of 7?
True
Let j = -1 + 14. Is 9 a factor of j?
False
Let m(i) = -i + 4. Let f be m(3). Suppose -f = -o + 7. Does 8 divide o?
True
Is 4 a factor of ((-6 + 98)/(-4))/((-1)/1)?
False
Let c = 14 - 9. Suppose 21 + 4 = c*r. Suppose 5*q + r = -3*k, -13 = -2*q - 2*q + k. Is q a multiple of 2?
True
Let c(h) be the third derivative of h**5/60 - 5*h**4/24 - h**3/3 + h**2. Let a be c(4). Let y(o) = -5*o - 9. Does 21 divide y(a)?
True
Suppose -147 = -2*s + 207. Suppose 4*t = -0*n - 5*n + s, 2*t - 111 = 5*n. Suppose a = -2*a + t. Does 13 divide a?
False
Let m(i) = -4*i**3 - 2*i**2 - 2*i. Does 23 divide m(-2)?
False
Let h = -36 + 133. Does 52 divide h?
False
Let d be 1/(-2) - 1/(-2). Let j = 2 - d. Suppose -2*s - 12 = -b, -j*b + s = -1 - 8. Does 2 divide b?
True
Let a(m) = m**2 + 6*m - 5. Let x be -16 - -1*9/3. Does 30 divide a(x)?
False
Let z = 35 - 32. Let d(y) = y - 5. Let q be d(4). Is 21 a factor of -1 - (-7*z + q)?
True
Suppose -3*s - g + 4 + 1 = 0, 0 = -5*s + g - 5. Suppose 3*k - k = -d + 68, s = -5*k - d + 176. Is k a multiple of 9?
True
Suppose -3*z = -z + 4, -2*u + 726 = 4*z. Suppose 5*c + u = -78. Let n = c - -127. Is 19 a factor of n?
True
Let x be ((-10)/(-15))/((-2)/(-6)). Let u = x - -3. Suppose 59 = 4*j - u. Is 11 a factor of j?
False
Let c be (-12)/(-5) + (-4)/10. Suppose 0 = 3*h - t + 86, 64 = -c*h + 5*t - 3*t. Is 9 a factor of (h/(-2))/((-1)/(-2))?
True
Suppose -3 = -4*t + 5. Is t even?
True
Suppose -2*c + 5 - 1 = 0. Suppose 0 = -c*z + 4*g + 8, 2 = -5*z + 5*g + 17. Suppose -z*h - 2*k + 18 = 0, h + 4*k = -4*h + 41. Does 2 divide h?
False
Let o(d) = 5*d - 6. Suppose -2*c = a - 3*a - 18, 4*c + 4*a = 12. Is 12 a factor of o(c)?
True
Let x be 6 + (0 - -1)*-2. Let g(u) = -u**3 + 7*u**2 - 6*u. Let r be g(6). Suppose r = -7*h + x*h + 33. Does 5 divide h?
False
Suppose 2*t = 4*t - 10. Let y be 1*(-19)/3*-3. Let i = y + t. Is i a multiple of 12?
True
Suppose -n - 4*n + 29 = 2*x, 0 = -4*n + 20. Let b be ((-10)/x)/((-6)/6). Suppose 3*j - b*q - 168 = 0, -3*j + 5*q - 240 = -8*j. Is j a multiple of 17?
True
Let l(x) = -2*x - 7. Suppose 16 = -5*s - 9. Let f be l(s). Suppose 0 = -j + f*p + 21, -2*p = 4*j - 5*p - 75. Is j a multiple of 18?
True
Suppose 4*m - 3 + 19 = 3*w, -5*m = -10. Does 4 divide w?
True
Is 11 a factor of (-5 - -3)/(2/(-42))?
False
Let k(g) = 5*g + 35 - 35. Does 9 divide k(3)?
False
Let o(i) = i**2 - 6*i + 3. Let g be (9/12)/(1/8). Let k be o(g). Suppose -2*r = -3*r + k. Is 2 a factor of r?
False
Does 25 divide (10 + 0)*(-105)/(-14)?
True
Let h = 10 + -5. Suppose -h*s = -69 - 51. Does 8 divide s?
True
Suppose -5*m + 794 = 3*i, 3*m = -3*i + m + 800. Does 24 divide i?
False
Suppose -6*d = -0*d - 516. Suppose 4*b = 174 + d. Is b a multiple of 13?
True
Suppose 16 = -3*f + u, -2*f + 12 = -7*f - 2*u. Does 12 divide (6/(-9))/(f/114)?
False
Let n(c) = -c**3 + 8*c**2 - 7*c - 1. Let v be n(6). Suppose -3*t = -v + 11. Is 5 a factor of t?
False
Let o = -1 + -1. Let x = -12 - o. Does 2 divide 5/(-2)*(x - -8)?
False
Let o(w) = -w**3 + 11*w**2 + 10*w + 12. Let i be o(12). Let g(f) = -7*f. Let y be g(i). Suppose 2*k - 4*k + y = 0. Does 20 divide k?
False
Suppose 4*n + 5 = 53. Is 2 a factor of 14 + -7 + n/3?
False
Let g(h) = 6*h**2 - 2*h - 1. Let v be g(-1). Let l(b) = 3*b. Let m(i) = 5*i - 1. Let f(k) = 7*l(k) - 4*m(k). Is 10 a factor of f(v)?
False
Suppose n - 261 - 108 = 0. Is 34 a factor of 4 + 0 + n/3?
False
Let w be 9/2*(-6)/(-3). Let m = w - 4. Suppose -3*x + 2*j = 2 - 20, -5*x - m*j = -55. Is x a multiple of 3?
False
Let j be 5/(-25) + 6/5. Let f = j - -2. Suppose -5*p - 9 = c, -f*c + p + 0*p + 21 = 0. Is 4 a factor of c?
False
Let g(l) be the third derivative of -l**4/24 - 7*l**3/6 - l**2. Let k be g(-10). Let i(n) = n**2 + 3*n - 2. Is 5 a factor of i(k)?
False
Let k = 94 + -46. Is 13 a factor of k?
False
Suppose 8*h - 3*h = 10. Let k(d) = 3*d**3 + d**2 + 2*d - 2. Is 28 a factor of k(h)?
False
Let q = 15 - 16. Is 15 a factor of 28 + (1 - q)/2?
False
Suppose 3*o + 13 - 460 = -4*x, -5*o = -5. Is 18 a factor of x?
False
Suppose 2*p = 2*w + 9 - 183, 0 = -3*w + 5*p + 267. Is 21 a factor of w?
True
Let m(w) be the second derivative of 5*w**4/12 + w**3/3 - 2*w. Is m(-2) a multiple of 16?
True
Suppose 8*v - 15 = 7*v. Does 5 divide v?
True
Suppose -5*p + 3*x = -0*p - 13, 3*p = -x + 5. Let f(k) = -p - 4*k + k - 2*k. Is 14 a factor of f(-6)?
True
Does 7 divide (4 + -1)*94/6?
False
Let u(s) be the second derivative of s**5/20 - s**4/6 - s**3/6 + s**2 - s. Let l be u(3). Suppose -q + 3*q - 5*y = 0, -2*q = -y - l. Is q a multiple of 3?
False
Let a(z) = -z**3 + 10*z**2 - 4*z + 4. Is 15 a factor of a(9)?
False
Let r be (-2)/((10/(-68))/(-5)). Let z = r - -110. Does 12 divide z?
False
Suppose -3*p + 0*s = 5*s - 132, -s = -3. Let u = -17 + 65. Suppose 4*x = 2*x + m + p, -u = -4*x - 4*m. Does 17 divide x?
True
Let v(r) = 4*r - 20. Is 11 a factor of v(16)?
True
Let s be 79 - 2*(2 - 1). Let y = -23 + s. Suppose y - 164 = -5*j. Is 16 a factor of j?
False
Let m(f) = f**3 + 3*f**2 - 10*f - 2. Is m(-4) a multiple of 3?
False
Let p(b) = b**3 - 16*b**2 + 6*b - 31. Does 15 divide p(17)?
True
Let x(t) = -t**3 + 8*t**2 + 2*t - 3. Does 12 divide x(7)?
True
Let o be 1/4*1*4. Let y = o + -1. Let m = y - -2. Is m a multiple of 2?
True
Suppose 5*z - 81 = 4*h, 0*h = -3*z + h + 43. Is 2 a factor of z?
False
Suppose -3*o + 5*k + 58 = 0, k + 18 = o - k. Let t = 44 + o. Suppose -a + 4*a - 104 = -5*w, -4*w + t = -2*a. Is 11 a factor of w?
False
Let o(u) be the second derivative of -u**3/3 - 7*u**2 - 7*u. Does 6 divide o(-15)?
False
Let h(q) = -2*q**3 - 3*q**2 + 5*q + 10. Does 11 divide h(-3)?
True
Let o(s) = -s**3 + 3*s**2 + 2. Let w be o(3). Does 17 divide (-35 + 2)*w/(-3)?
False
Is 2 a factor of 18 - ((3 - 1) + 2)?
True
Let y = 7 + 5. Does 7 divide 3/y + 111/4?
True
Suppose -5*n + c = -496, 2*c - c - 504 = -5*n. Is 13 a factor of n?
False
Let h(d) = d**3 - d**2 - 7*d + 29. Does 15 divide h(4)?
False
Suppose 0 = 10*b - 162 - 958. Is b a multiple of 28?
True
Suppose -3*m + 6 = -0*m. Is m/(2/(1 + 67)) a multiple of 17?
True
Let m(i) = 5*i - 8. Is m(14) a multiple of 7?
False
Let h(i) = i**3 + 14*i**2 - 3*i - 16. Does 6 divide h(-14)?
False
Let y = -14 + 36. Is 