5*m + 60. Let l(d) = -2*d - 5. Let g(f) = -3*c(f) - 35*l(f). Let n be g(-7). Let h = n - -7. Is 13 a factor of h?
False
Let h(u) be the third derivative of -u**5/60 + 11*u**4/24 - 4*u**3/3 + u**2. Let k be h(7). Suppose 4*w + c = -w + 76, -c = -w + k. Is w a multiple of 12?
False
Let n = -115 - -283. Does 42 divide n?
True
Suppose -52 - 13 = -2*a + 3*c, -a + 52 = 5*c. Let p = -5 + a. Is p a multiple of 16?
True
Suppose -3*f + z + 120 = -f, f = z + 60. Does 15 divide f?
True
Let f(q) = q + 4. Let h be f(3). Suppose -3 - h = -5*w. Suppose -5 = 3*j + 4, 2*r = -4*j + w. Is r a multiple of 4?
False
Let h = -24 + 50. Let d = 46 - h. Does 7 divide d?
False
Let v(q) = -q**3 - 7*q**2 + 1. Let p be v(-7). Suppose 4*n = p + 27. Is n a multiple of 7?
True
Suppose 10*q - 180 + 0 = 0. Is 12 a factor of q?
False
Let r be (-4)/6 + (-26)/(-3). Let k(s) = -5 + 0 + 4*s - 5. Is 9 a factor of k(r)?
False
Let p be (-4)/(-2)*1*1. Let v be (p*2)/(-2 + 1). Let t = v - -14. Is t a multiple of 3?
False
Let x(s) = 2*s**3 - 6*s**2 - s + 7. Is x(4) a multiple of 5?
True
Suppose 2*z - 6*z + 20 = 0. Suppose -2*i - 2*t + 78 = 0, 0 = 4*i + z*t - 152 - 7. Is i a multiple of 18?
True
Suppose 0 = -4*b, 0*o = 4*o - 3*b - 64. Let a(j) = -28*j**3 - j. Let f be a(-1). Let x = f - o. Does 13 divide x?
True
Suppose -5*d + 2*d + 9 = 0. Suppose -w + 5 = -d. Does 8 divide w?
True
Let n(x) = -x - 17. Let j be n(-17). Suppose j*q - 66 = -2*q. Is 11 a factor of q?
True
Let o(a) = -5 - 1 - 2*a**2 + a**2 - 6*a. Let j be o(-4). Suppose j*y - 16 = -3*v, -4*y + 6*v + 54 = v. Is 11 a factor of y?
True
Let d be -2 - (0 - (1 + 1)). Let s = d - -12. Is 12 a factor of s?
True
Let m(r) = 18 - 3*r + 0*r - 12 + r**2. Suppose -2*z + 38 = 5*p, 0*p + p - 14 = -2*z. Is m(p) a multiple of 12?
True
Let l(g) = g. Let v(x) = 5*x + 1. Let a(n) = -2*l(n) + v(n). Is a(7) a multiple of 11?
True
Suppose 0*u - 214 = -2*u. Let c = u - 56. Does 15 divide c?
False
Suppose -5*b + 5 + 20 = 0. Suppose b*c - 68 - 2 = 0. Is 7 a factor of c?
True
Let v(s) = -s - 1. Suppose 4*u + 0*u + 4*o + 24 = 0, 0 = 2*u - o + 3. Let a be v(u). Is -1 - (a/2 - 8) a multiple of 3?
True
Suppose -3*v + 10*s - 4 = 5*s, 0 = -4*v - s + 10. Suppose 2*k = 6 + v. Suppose -k*i = -j + 27, 4*j - 3*i + 10 = 6*j. Is 7 a factor of j?
False
Let n(s) = s + 39. Is n(-16) a multiple of 7?
False
Let a(t) = 7*t**2 - 3*t - 2. Is a(-2) a multiple of 8?
True
Is 20 a factor of (40/12)/5*60?
True
Suppose 102 = -k + 3*k. Is k a multiple of 17?
True
Let t = -57 + 128. Is 13 a factor of t?
False
Let u(f) = -2*f**3 - 2*f**2 + 4*f. Let a be u(-3). Let g = a + -12. Is 6 a factor of g?
True
Let l(i) = i**3 - 9*i**2 + 10*i + 6. Does 2 divide l(8)?
True
Let d = 92 + -55. Is d a multiple of 2?
False
Let n = -4 - -2. Let x be 213*(n + 7/3). Suppose u + 32 = z, x = 3*z + u - 5. Is z a multiple of 9?
True
Suppose -m = -3*m + 246. Let k = -70 + m. Suppose -4*d - 12 + k = 3*v, 2*v - 5*d + 11 = 0. Is 3 a factor of v?
False
Let l be 1751/102 + (-1)/6. Suppose 132 = 2*a - c + l, -3*a - 5*c + 166 = 0. Does 19 divide a?
True
Let g be 12/((-3)/(-1 + -2)). Suppose 0 = -2*t + 6*t - g. Suppose -2*c - c - 129 = -t*d, 0 = 3*d + 2*c - 124. Does 18 divide d?
False
Let u be (2/(-2) - -7) + 1. Suppose 0 = 4*r - u*r + 5*f + 35, 0 = 2*f + 8. Suppose -2 + 38 = 2*a - 4*g, 0 = r*a + g - 35. Does 4 divide a?
True
Let r be 2 + -2 - (2 - -3). Let j(i) be the third derivative of i**5/30 + i**4/4 - 5*i**3/6 + 12*i**2. Is 15 a factor of j(r)?
True
Is 10 a factor of ((-95)/20)/((-1)/4)?
False
Let n(h) = -8*h**2 - 7*h. Let y(t) = -7*t**2 - 6*t. Let w(s) = 5*n(s) - 6*y(s). Is 6 a factor of w(-3)?
False
Suppose 2*h + 3*l - 707 + 125 = 0, 5*h = 5*l + 1480. Is h a multiple of 49?
True
Let q be 96/1*(-2)/(-4). Suppose q = 4*d - 0*d. Suppose 0 = -p + 20 + d. Does 16 divide p?
True
Suppose 0 = 2*i - 6, -f - 3*i - 186 = -6*f. Let z = 89 - f. Does 10 divide z?
True
Suppose -4*l = 433 - 4369. Is 14 a factor of ((-1)/(-3))/(8/l)?
False
Suppose -107 - 22 = 3*b. Is 25 a factor of (-1 + 3)*b/(-2)?
False
Suppose 198 = 3*g - 0*g. Does 11 divide g?
True
Suppose -15 = -z - 4. Let f(q) = q**3 - 12*q**2 + 12*q + 11. Does 11 divide f(z)?
True
Let w = -4 + 3. Let v(o) = 77*o**2 + 2*o + 1. Does 29 divide v(w)?
False
Let v be ((-1)/(-2))/(4/(-2848)). Let h be (-1)/(-2) + v/(-8). Suppose 3*x - 6*x = -4*r - 48, r - h = -4*x. Does 6 divide x?
True
Suppose -15 = -3*n - s, -5*n + 7 = 3*s - 18. Let b = -2 + n. Suppose 2*r - 5*d - 35 + 10 = 0, b*r - 3 = -4*d. Is 4 a factor of r?
False
Suppose 345 = 63*u - 60*u. Is u a multiple of 20?
False
Let s = 15 - 28. Let r = 36 + s. Does 23 divide r?
True
Let i be (-246)/4*(3 + -1). Let t = -87 - i. Does 18 divide t?
True
Let m(v) = -v**3 + 2*v**2 + 5*v + 5. Let w(x) = 2*x**3 - x**2 - 5*x - 5. Let q(j) = -3*m(j) - 2*w(j). Is 9 a factor of q(-4)?
False
Let d(u) = -2*u + 9. Let g be d(8). Let h = g - -11. Suppose -h*q + 2*q = -40. Does 9 divide q?
False
Let j(r) = 53*r - 63. Does 23 divide j(7)?
False
Let w(q) = q**2 + 6*q + 5. Let s be w(-4). Does 6 divide 1/s - 111/(-9)?
True
Suppose -20 = -4*o + 4. Is (-2)/4 + 51/o a multiple of 4?
True
Let n = 96 - 60. Does 9 divide n?
True
Let i(j) = 37*j - 2. Does 8 divide i(1)?
False
Let i(f) = -f**2 + 13*f - 9. Let r be i(12). Is ((-2)/(-3))/(r/54) a multiple of 7?
False
Suppose 2*d = -2*u - 10 - 2, 0 = -5*u + 4*d - 39. Let j = 7 + u. Suppose -4*n - 16 = 0, j*c - 3*c - 4*n + 23 = 0. Is 7 a factor of c?
False
Suppose 13*f - 8*f - 150 = 0. Does 5 divide f?
True
Let m(r) = -39*r + 7. Let q be m(-3). Suppose -3*x - x = -q. Is 17 a factor of x?
False
Let h be 3/9 + (-10)/(-6). Does 9 divide 16 - ((3 - 7) + h)?
True
Suppose 4*l = -l - 25. Let n = l + 5. Suppose -22 = -2*f - n*m + 3*m, m = -5*f + 38. Does 4 divide f?
True
Suppose 6*v - 2*v + 4 = 0. Let d be -3 + 5 + -1 + v. Suppose -3*u - 2*x + 16 = -15, 4*u - 4*x - 28 = d. Is u a multiple of 8?
False
Suppose -5*w - 7 = -122. Is 12 a factor of 0/3 + 1 + w?
True
Let y(t) = 3*t - 3. Let q be y(4). Let u be q/(-12) - (-38)/8. Suppose u = 3*c - 2*c. Does 3 divide c?
False
Let q(n) = -n**2 + 7*n + 10. Let a be q(7). Suppose -3*k + 2*h + 30 = 0, -k - a = -2*k + 3*h. Is k a multiple of 5?
True
Let v(z) be the second derivative of z**5/12 + z**4/24 - 2*z**3/3 - 3*z**2/2 - 3*z. Let x(k) be the first derivative of v(k). Is x(-3) a multiple of 15?
False
Let c = -89 + 118. Does 7 divide c?
False
Suppose 110 = 4*q - 3*q. Does 22 divide q?
True
Let v = -22 + 42. Let h = v + -10. Does 4 divide h?
False
Let q(y) = y + 9. Let c be q(-5). Suppose -4*a + 0*a = -2*z - 14, 16 = c*z + 3*a. Does 11 divide (2 - z)*(21 - 2)?
False
Suppose -28 + 298 = 3*s. Does 16 divide s?
False
Let h(f) = f**2 + 9*f. Suppose -4*n - 5*y = 7 + 37, 3*y + 22 = -2*n. Is h(n) a multiple of 11?
True
Suppose v - 1 = 3. Suppose 16 = v*s - 24. Is s a multiple of 5?
True
Let p(f) = -76*f - 2. Let a be p(-1). Suppose 2*y - 5*i = a, 97 = 2*y + i + 11. Is 14 a factor of y?
True
Let i(a) = -2*a**3 - a**2 + 1. Let l be i(-1). Suppose 6 = -l*d, 4*n - 2*n - 34 = -2*d. Is n a multiple of 10?
True
Let u = 108 + -44. Is 21 a factor of u?
False
Suppose -12 = -2*n - 4. Suppose n*g - 16 = -3*p + 37, 54 = 4*p - 3*g. Is p a multiple of 11?
False
Suppose -2*u - n - n + 70 = 0, -2*n + 35 = u. Let t(c) = -c**3 + 5*c**2 - 2*c - 4. Let j be t(4). Suppose j*h - 69 = u. Is h a multiple of 9?
False
Suppose b = -5*m + 4 + 4, 0 = 3*b + m - 94. Does 7 divide b?
False
Let o(r) = -r**2 - 5*r - 2. Let k be o(-3). Let p = k + 3. Is 7 a factor of p?
True
Let y(p) = -6*p + 19. Does 11 divide y(-9)?
False
Let a(m) = -2 - 3*m + 6*m + 7*m**2 + m**3 + m. Let f be a(-5). Suppose f = z + z. Is 7 a factor of z?
True
Suppose -2*s = s. Suppose -t + g + 5 = s, 0 = -5*g - 4 - 11. Suppose 2*a = -0 - t, 124 = 5*o + a. Does 12 divide o?
False
Let a = 253 - 142. Is 37 a factor of a?
True
Suppose 9 + 13 = t. Does 11 divide t?
True
Let v(n) = -2*n - 4. Let f be v(-3). Does 18 divide 0*(f + -1) - -46?
False
Let h(k) = -k**3 + k**2 - 3. Let d be h(0). Let u = 15 + d. Does 5 divide u?
False
Let g = 11 + -6. Let k = g - -10. Does 15 divide k?
True
Let t(z) = z**3 + 10*z**2 - 9*z + 38. Does 32 divide t(-10)?
True
Suppose a - 5*a + 28 = 0. Let g(c) = 10*c + 8. Let s be g(a). Is 13 a factor of s/9*6/4?
True
Let p = 63 +