-15. Is a a multiple of 17?
True
Let p(l) = 11*l**3 - 33*l**2 + 9*l - 7. Let f(m) = -5*m**3 + 16*m**2 - 5*m + 4. Let r(o) = 9*f(o) + 4*p(o). Is 15 a factor of r(11)?
True
Suppose 2*m - 56 = -2*m - 2*l, -l - 50 = -4*m. Let c(q) be the second derivative of q**4/12 - 3*q**3/2 - 7*q**2 - 2*q. Is c(m) a multiple of 19?
True
Let g(n) = n**2 - 4*n + 8. Does 29 divide g(7)?
True
Let x(w) = w - 4. Let p be x(6). Suppose 40 = 4*y + 3*m, -3*y + 17 = p*m - 12. Does 2 divide y?
False
Suppose 3*p + 2 - 6 = 4*w, 4*p + 3*w + 3 = 0. Suppose 5*c + 79 = 3*v, -5*v - c = -p*v - 113. Is 10 a factor of v?
False
Let u(d) = d - 10. Let a be u(5). Let n = 7 - a. Does 12 divide n?
True
Suppose 0 = 2*p - 5*u + 4 - 1, 5*p = 3*u + 40. Is p a multiple of 3?
False
Suppose -4*p + 11 = -9. Let u = 10 - p. Suppose 0 = -u*z + 2*s + 2*s + 123, 5*z + 4*s - 107 = 0. Is z a multiple of 23?
True
Let x(r) = 2*r**2 + 2*r + 4. Is x(4) a multiple of 22?
True
Let y = 53 - 33. Let p = y - 9. Does 6 divide p?
False
Let j be (1 + -1)/(2/1). Let n(r) be the second derivative of -r**3/6 + 3*r**2/2 + r. Is 3 a factor of n(j)?
True
Let y(w) = 11*w - 5. Is 18 a factor of y(7)?
True
Let h(f) = -15*f - 4. Is 14 a factor of h(-4)?
True
Suppose 2*a = -3*a. Does 16 divide 17 + a + (-4 - -3)?
True
Let g(t) = -3*t + 1. Let m(v) = -2*v + 7. Let u(c) = c**3 - 5*c**2 + 6*c - 3. Let r be u(4). Let s be m(r). Is g(s) a multiple of 9?
False
Let o = 56 - 49. Is o a multiple of 7?
True
Suppose -x = -b - 3*b + 317, -b + 2*x + 88 = 0. Does 13 divide b?
True
Let l(k) = -k**3 + 5*k**2 - 4*k. Let g be l(4). Suppose -5*j + 21 + 19 = g. Let p(z) = z**3 - 8*z**2 + 2*z + 4. Does 10 divide p(j)?
True
Let w be 1/4 - (-423)/36. Suppose 5 = -2*h + j - 4*j, 5*h + j = 7. Does 5 divide (-15)/h*w/(-9)?
True
Let l = -6 - -4. Let z = 6 + l. Suppose -y - 4*f + 1 = -f, -y - 3 = z*f. Is y a multiple of 10?
False
Let n(q) = q**2 - 3*q - 6. Let s(l) = l**2 - 5*l - 5. Let b be s(5). Is 9 a factor of n(b)?
False
Let r(o) = -6*o - 3. Let i = -6 + 4. Let p be r(i). Let s = 22 - p. Is 12 a factor of s?
False
Suppose -2*l = -4*l. Suppose l = -4*p - 8, 4 = -n - 5*p - 1. Suppose 0 = -s + g + 11, 46 + 19 = n*s + 5*g. Does 12 divide s?
True
Let l(o) = -8*o - 4. Let t be (18/(-15))/((-9)/(-30)). Does 11 divide l(t)?
False
Suppose 0 = -o - 2*x + 66 + 67, -5*o - 4*x + 659 = 0. Does 20 divide o?
False
Let g(n) = -n - 5. Let w(y) = -4*y - 14. Let f(j) = -7*g(j) + 2*w(j). Let d be f(0). Let p = 1 + d. Does 6 divide p?
False
Suppose -i + 2*s - 6 = 0, -2*i - 7 - 5 = s. Let m(r) = r**3 + 5*r**2 - 7*r. Does 6 divide m(i)?
True
Suppose 2*o + 3*k - 60 = 0, 5*o - 120 = o + k. Suppose 0 = -2*m + 3*q + 33 + 5, o = 2*m - q. Suppose -m = -2*v + 7. Is 10 a factor of v?
True
Let s(n) = -n**2 + 7. Let z be s(5). Is 19 a factor of z/27 + (-358)/(-6)?
False
Suppose 0 = -k - 0*k + 4*x + 148, 4*x = -4*k + 532. Is k a multiple of 18?
False
Let z = 7 - -15. Is 9 a factor of z?
False
Suppose -3*n = -7 - 2. Suppose n*d + 147 = -0*d. Let w = -30 - d. Is 17 a factor of w?
False
Let g(h) = h**2 + h - 3. Let s be g(-4). Suppose 26 = p - s. Does 25 divide p?
False
Suppose 0*t - 5*t + 125 = 0. Suppose -t = 2*u - 79. Is 14 a factor of u?
False
Suppose 4*a + 6 - 24 = 2*u, 4*a + u - 9 = 0. Suppose v - 8 - 4 = -3*p, -p + a = 0. Is v even?
False
Suppose -r + 3*h = -5 - 7, -3*r + h = -12. Let s(w) = -3 - 5*w**2 + 2 + 2*w**3 + w**2 + w. Is s(r) a multiple of 20?
True
Let y be (-1)/4 - 106/(-8). Suppose y + 15 = 4*r. Is 7 a factor of r?
True
Suppose 5*g + 2*a - 5*a - 63 = 0, 0 = -2*g + a + 25. Let o(r) = -r**3 + 11*r**2 + 13*r - 8. Let x be o(g). Suppose -95 = -x*t - 39. Is t a multiple of 5?
False
Let d(t) = 80*t - 2. Is 12 a factor of d(1)?
False
Suppose 29 + 5 = u. Does 7 divide u?
False
Let n(z) = -z**3 + 3*z**2 - 3*z - 4. Let w be n(-3). Let l be 3 + (4 - (0 + 2)). Suppose -3*j + 4*p = -46, 2*p = -l*j + 35 + w. Is 12 a factor of j?
False
Let t(c) = -5*c**2 + 5*c - 23. Let n(s) = -4*s**2 + 4*s - 22. Let k(b) = -6*n(b) + 5*t(b). Is 17 a factor of k(0)?
True
Let y(g) be the third derivative of -g**6/120 - g**5/10 - g**4/4 - g**3/2 + g**2. Is y(-6) a multiple of 14?
False
Suppose 3*b = 15, -4*b - 205 = -21*l + 16*l. Is l a multiple of 5?
True
Suppose 6*l = 2*l - 4, 5*v + 3*l - 22 = 0. Let q be 238/18 - (-6)/(-27). Suppose 0 = r + j - q, r - v*j + 17 = -0*j. Does 8 divide r?
True
Let p be (-2)/8 + 87/12. Suppose 170 = -2*u + p*u. Is u a multiple of 17?
True
Suppose 21*y = 20*y + 180. Is y a multiple of 9?
True
Let i = -73 + 156. Is i a multiple of 5?
False
Suppose -g - 2*g = -5*a + 38, -16 = -2*a + g. Let h = a + 8. Does 7 divide h?
False
Let t(s) = s**2 + 7*s + 5. Let h be t(-7). Let w be 0 - -19 - (-5)/h. Suppose 3*a - w = -2*a. Is 4 a factor of a?
True
Let q(a) = 33*a**2. Suppose 0 = -4*p - 5 + 1. Let z be q(p). Let x = z - 21. Is 12 a factor of x?
True
Let c be 4/(-2) + -5 - -1. Let x be ((-4)/c)/(2/111). Suppose -3*n = -0*t - 2*t + x, 5*n = 5*t - 90. Is 8 a factor of t?
False
Is 9 a factor of ((-12)/(-10))/(-2*(-7)/315)?
True
Let n be (-1 - -2)*(-4 + 2). Is 3 a factor of (-3 + 5)*(-11)/n?
False
Let k(r) = 113*r**3 - 2*r**2 - r. Let v be k(-1). Let f = -78 - v. Let i = f + 6. Does 21 divide i?
True
Let r(v) = v**3 - v**2 + v + 14. Suppose d = -2*g - 2*g + 2, -2*d + 4 = 3*g. Is 5 a factor of r(g)?
False
Let d = 114 + -68. Is d a multiple of 23?
True
Let u be (-14)/(-4)*16/14. Is u/22 + 306/11 a multiple of 14?
True
Let x(y) = -3*y**3 + 5*y**2 + 7*y + 4. Let p be x(-4). Does 14 divide (-12)/(-18) + p/6?
True
Suppose -2*u = 4*s - u - 109, -4*s = -4*u - 104. Suppose 5*h + s = -2*y, 4*y + 1 - 17 = 0. Let w = h + 19. Is 5 a factor of w?
False
Suppose -1 - 2 = -h. Suppose -12 = -h*o + 12. Is 4 a factor of o?
True
Let x = -31 + 55. Does 24 divide x?
True
Let n(u) = -3*u**3 - 4*u**2 - 4*u - 3. Let a be 4*-1*(-1)/(-2). Let j be n(a). Let b = j - -7. Is b a multiple of 10?
True
Suppose 24 = 5*z - 1. Suppose -2*i + 4*y = 3*y - z, 0 = -i - 5*y - 3. Suppose -i*k = 3*q - 22, 5*q - 3*q - 19 = 3*k. Does 8 divide q?
True
Suppose -5*p - 4*l = -198, 0 = -3*l + 6*l + 9. Does 11 divide p?
False
Let n = 186 + -76. Is n a multiple of 16?
False
Suppose -33*b = -28*b - 850. Is b a multiple of 13?
False
Let c(k) = k - 5. Let u be c(7). Does 2 divide (-132)/(-28) - u/(-7)?
False
Suppose -2*r + 3*q = 5*q - 54, 4*q - 78 = -3*r. Let s = 94 - r. Is 13 a factor of s?
False
Suppose 3*p = 2 + 4. Suppose 0 = 5*m - 4*i - 23 - 72, -35 = -p*m + i. Is 5 a factor of m?
True
Suppose 0 = 4*y - 3*a + 299, 5*y - 2*y - 3*a + 228 = 0. Let q = -47 - y. Does 8 divide q?
True
Suppose 0 = -2*a - 13 + 273. Let t = a - 63. Is 17 a factor of t?
False
Let c = -150 + 332. Suppose -3*l = 4*f - c, 2*l - 3*l + f = -70. Is l a multiple of 22?
True
Let w = 26 + -22. Is w even?
True
Suppose -3*t - 2*t + 65 = 0. Let r = 0 + t. Is r a multiple of 11?
False
Let c(m) = 3*m**2 - 7*m + 1. Suppose 0 = s + 5*l - 10, l - 3 = -3*s + 13. Does 12 divide c(s)?
False
Let r(t) be the first derivative of 2*t**3/3 - 4*t**2 - t - 7. Does 11 divide r(6)?
False
Let b(l) = -3*l. Does 13 divide b(-13)?
True
Let t be (2/(-3))/((-4)/282). Let f = t - -7. Is f a multiple of 21?
False
Let b = 48 + -20. Does 4 divide (7 + b)*3/5?
False
Is 8 a factor of ((-72)/(-14))/(18/84)?
True
Suppose 2*a = 4*a - 5*o - 75, -2*a + 4*o + 78 = 0. Is 15 a factor of a?
True
Suppose a + 3 = 6. Let y(u) be the third derivative of u**5/30 - u**4/24 - u**3/2 + u**2. Is 7 a factor of y(a)?
False
Suppose -4*h = x - 4 - 287, -4*x + 228 = 3*h. Does 18 divide h?
True
Suppose 5 + 7 = 4*q. Is q a multiple of 3?
True
Let g(i) = i**3 + 4*i**2 + 2*i + 4. Let z be g(-4). Let h(d) = d**3 + 9*d**2 + 6*d + 6. Let v(m) = -m**2. Let r(a) = h(a) + 2*v(a). Is 15 a factor of r(z)?
True
Suppose -5*w - 3 = -18. Suppose -2*u = -w*y + 128, -7*u - 159 = -4*y - 2*u. Does 23 divide y?
True
Suppose 3 - 9 = -r. Suppose -w = -r*w. Suppose -3*o + w*o + 66 = 0. Is 10 a factor of o?
False
Does 23 divide 978/8 - (1 - (-14)/(-8))?
False
Let k(d) be the first derivative of -d**2/2 + d + 8. Does 6 divide k(-5)?
True
Suppose 3*p + 3*c = -0*p + 15, 15 = p - c. Is 4 a factor of p?
False
Suppose -6*o + 137 = -7. Is 24 a factor of o?
True
Suppose 0 = -2*z - 5*d + 205, -4*z + 5*z - 105 = -5*d. Suppose 6*a - z = a. Is 15 a facto