(-2 + 8)?
True
Let c(p) = 3 + p - 1 - 13*p**3 - 1 + 3*p**3. Is 4 a factor of c(-1)?
False
Suppose 2*d - d - v = 3, 6 = d + 2*v. Suppose -4*p + 60 = d*t, -4*t - p = -0*p - 72. Suppose -c + 5*j + t = j, -4*c - 4*j = -116. Is 10 a factor of c?
False
Let f(y) = -4*y - 9. Let h be (42/(-49))/(1/14). Does 12 divide f(h)?
False
Let l = 196 - 133. Does 21 divide l?
True
Suppose 191 = -2*k + 51. Let x = 149 + k. Does 26 divide x?
False
Let v be 4/(-6) - (-24)/9. Suppose 14 = s - 4*q, 4*s - v*q + 5*q = -1. Suppose -s*n = 3*n - 50. Is n a multiple of 5?
True
Let h = 169 + -38. Is 32 a factor of h?
False
Let l(z) = 2*z**2 - 6*z - 16. Is l(7) a multiple of 10?
True
Suppose -2*g = 2*x - 40 - 12, -3*x = g - 76. Suppose -2*a - b = -15, 3*b = -2*b - x. Is 5 a factor of a?
True
Suppose -2*d - 4*k + 46 = 0, 5*d = -2*k + 96 + 27. Is d a multiple of 25?
True
Let j(u) = -4*u**2 - 1. Let d be j(1). Let g = 38 + -23. Let i = g + d. Does 5 divide i?
True
Let m(h) = -h**3 - 4*h**2 + 2*h. Let r be m(-6). Let j = r + -26. Is 9 a factor of j?
False
Let r = 4 + -4. Suppose r = 3*g - g. Is 16 + 1 + g + 2 a multiple of 8?
False
Suppose 3*k - 20 = -h, -4*h + 12 = -3*k - 2*k. Let w = h + -7. Does 4 divide -3 - 10/(-1)*w?
False
Suppose 2 = u - 2. Let r be u/(-14) + 10/(-14). Does 5 divide (2 + r - 2)*-5?
True
Let a = 70 + -36. Is 17 a factor of a?
True
Let n(l) = l**2 + 11*l + 11. Let h be n(-9). Let o = h - -9. Does 5 divide o/(0 + (-4)/(-30))?
True
Let d(b) = 7*b. Does 2 divide d(2)?
True
Let q = 15 - 7. Does 4 divide q?
True
Let z(p) = p**2 + 9*p + 27. Is 11 a factor of z(0)?
False
Does 4 divide -1 - 4/(-4)*13?
True
Let k(q) = q**2 - 5*q + 16. Is 24 a factor of k(16)?
True
Suppose 200 = 3*c + 50. Is 22 a factor of c?
False
Let h be 3 + (-3)/3 + -2. Suppose h = i - 2*r - 24, -4*r + 0*r - 84 = -4*i. Let u = 14 + i. Is u a multiple of 9?
False
Let h be 4 + -1 - (-84)/(-3). Let y = h - -53. Does 7 divide y?
True
Let y(r) = 15*r. Let b(x) = -8*x. Let d = 12 - 23. Let n(m) = d*b(m) - 6*y(m). Is n(-10) a multiple of 10?
True
Suppose -2*h + 2*z + 10 = 0, z = -5*h - 0*z + 13. Suppose -3*r + 0*r + u = -125, -h*u + 3 = 0. Does 16 divide r?
False
Let r = 18 + 33. Suppose -6 = -2*h, 2*h + 19 + r = 4*i. Is i a multiple of 19?
True
Suppose 3*w + 0*w = -3. Let s be w*(-1)/(-1) - -3. Suppose 0*f + 14 = s*f. Does 7 divide f?
True
Suppose -5*v = v - 798. Is v a multiple of 36?
False
Suppose -g - 5*w + 127 = 0, -g - 4*w - 11 + 133 = 0. Does 28 divide g?
False
Let q(k) be the third derivative of k**5/60 - k**4/24 - k**3/3 + 2*k**2. Let r be q(-2). Does 7 divide (-7)/(-14) + 54/r?
True
Suppose 4*o = 5*o. Suppose o = 3*m + 2*m - 55. Let i = 19 - m. Is i a multiple of 4?
True
Let z(x) = 0*x + 2 + x + x. Suppose -3*o - 3*p + 20 = -2*p, 0 = o - 3*p + 10. Is z(o) a multiple of 6?
True
Let i be ((-1)/(-2))/((-5)/90). Does 8 divide ((-51)/i)/(2/6)?
False
Let f(r) be the second derivative of -r**5/20 - r**4/2 + 2*r**3/3 - 5*r**2/2 - 8*r. Let o = -14 - -7. Is f(o) a multiple of 12?
False
Let k(h) = -h - 1. Let m be k(-1). Suppose -5*v = -3*v - 4*x + 2, 23 = 5*v + 4*x. Suppose v*c - c - l = 93, m = c + 4*l - 42. Is 16 a factor of c?
False
Let g(r) = r**3 + 6*r**2 - r. Let k be g(-6). Let i(s) = -s**2 + 10*s - 7. Does 13 divide i(k)?
False
Let p = -1 + -4. Let c(f) = -2*f**3 + 2*f**2 + 3*f + 7. Let u(t) = t**3 - 3*t**2 - 2*t - 7. Let r(s) = -2*c(s) - 3*u(s). Is 7 a factor of r(p)?
True
Is 7 a factor of 6/(-15) + (-177)/(-5)?
True
Suppose -2*t + 48 + 18 = 0. Is 15 a factor of t?
False
Let m(k) = -k + 30. Let i(q) = q**3 - 4*q**2 - q + 2. Let d be i(4). Let v = d - -2. Is m(v) a multiple of 12?
False
Let w be ((3 + 0)/(-3))/1. Let z(j) = -6*j**3 + 1. Let x be z(w). Is 3 a factor of 8/(-28) + 30/x?
False
Let t(a) = -a**2 - 15*a - 14. Does 9 divide t(-10)?
True
Let z = 60 + -26. Is 10 a factor of z?
False
Let b = -5 + -18. Let t = b + -303. Is (-2)/9 - t/9 a multiple of 14?
False
Suppose -91 = -3*x + 2*c, -3*x + 4*x + 5*c - 36 = 0. Is 13 a factor of x?
False
Let c(u) = u**3 + 11*u**2 - 46*u + 10. Does 33 divide c(-14)?
True
Suppose 0 = 2*o - 5 + 1. Suppose o*f - 6*f = 0. Suppose -4*d - 5*i = -67 - 69, f = 5*d - 2*i - 137. Does 11 divide d?
False
Let g be 52/(6/(2 + 1)). Let c = g + -11. Does 15 divide c?
True
Suppose 4*j + 55 = 451. Is j a multiple of 18?
False
Suppose -d - 6*y + 2*y = -41, d = 2*y + 17. Suppose 0*o = 5*o - d. Suppose z = -4*r + 61 + 64, -2*r + 49 = o*z. Does 12 divide r?
False
Suppose 7*x - 5*x - 186 = 0. Does 25 divide x?
False
Suppose 9 = 4*h - h. Suppose h*b - 199 + 55 = 0. Is b a multiple of 16?
True
Suppose 4*s - a = 1, 0*s - 27 = 2*s + 5*a. Let c be -6 + -1 - 2/s. Is 0 + 1 - (-22 - c) a multiple of 18?
True
Let b be (6 - -66) + (-1 - -1). Suppose -b = -4*z - 0*z. Is 9 a factor of z?
True
Let u(d) = 20*d + 3. Is 13 a factor of u(7)?
True
Suppose -s = -3*s + 22. Let b = -9 + s. Is b even?
True
Let d = -39 + -47. Let s be (1 + 10/(-6))*-183. Let t = d + s. Does 18 divide t?
True
Let g(u) = u**3 - 2*u**2 + u - 1. Let p be g(0). Is -16*(-12)/(-8)*p a multiple of 12?
True
Let i(q) be the first derivative of q**3/3 + 18*q - 4. Is 10 a factor of i(0)?
False
Suppose 6*y - 8*y + 472 = 0. Is y a multiple of 20?
False
Let u(a) = 28*a**2 - 2*a. Let i be u(2). Suppose 6*s = 3*s + i. Does 18 divide s?
True
Let p = 1 - -2. Suppose p*c = -2*i - 3*i + 6, 3*i + 5*c - 10 = 0. Suppose 3*x - 2 - 19 = i. Is x a multiple of 6?
False
Let g(j) = 9*j**2 + 10*j - 11. Does 25 divide g(-6)?
False
Let l(f) = f**3 + f + 22. Is l(0) a multiple of 6?
False
Let l(b) = -4*b - 1. Let f be (-14)/6 - (-2)/6. Let w = -3 + f. Is l(w) a multiple of 11?
False
Suppose -5*q - 78 = -7*q. Is 8 a factor of q?
False
Suppose 2*p = 4*p. Suppose p*v = -4*v + 80. Is v a multiple of 20?
True
Let t = 18 - 13. Suppose 11 + t = 2*q. Is (-2)/(-4) - (-116)/q a multiple of 6?
False
Is 40 a factor of (-1011)/(-39)*2 - (-4)/26?
False
Let q(m) = m**3 + 13*m**2 + 11*m + 9. Let h be q(-13). Let n = h - -226. Does 23 divide n?
True
Let w(q) = 65*q**2 + q. Is 22 a factor of w(1)?
True
Let i(d) = 24*d + 10. Let a be i(-8). Let m = a - -258. Is m a multiple of 19?
True
Let r be 2/(-3) + 28/6. Suppose -19 + 59 = r*v. Is 6 a factor of v?
False
Suppose -w + 2*w - 16 = 0. Let i = -9 + w. Suppose -z = -i - 10. Does 10 divide z?
False
Let u(f) = 8*f - 10. Does 9 divide u(8)?
True
Let k(t) = -104*t + 4. Is k(-1) a multiple of 18?
True
Suppose -59 = -4*j + a, 6*j - 3*j - 63 = -3*a. Suppose -2*i + 6*i = j. Suppose 2*h - 4 = i*c + 52, 5*c = -2*h + 83. Is h a multiple of 13?
False
Let h(b) be the third derivative of b**6/120 - b**5/12 + b**4/12 - b**3/3 - 6*b**2. Is h(5) a multiple of 8?
True
Let l = 23 - 15. Does 2 divide l?
True
Let u be ((-1)/1)/((-2)/4). Suppose -z = 6 - u. Is 15 a factor of (-2)/(z/(-30))*-1?
True
Let z(h) = -h**3 - 5*h**2 + 6*h - 6. Let j be z(-6). Is (-2)/j + (-236)/(-12) a multiple of 10?
True
Let m = -86 - -174. Is 44 a factor of m?
True
Suppose -3*p - 2*g = -18, -2 = 5*g - 17. Suppose -2*q = 2*q - p*h - 196, 142 = 3*q + 2*h. Is 24 a factor of q?
True
Let r(b) = b**3 - 8*b**2 + 11. Suppose -17 - 20 = -4*s + t, -5*s - t = -35. Is r(s) a multiple of 11?
True
Suppose -33*c + 29*c + 72 = 0. Is 3 a factor of c?
True
Suppose -n = -2 - 3. Suppose 4*x = n*t - 94 - 41, 0 = -3*t + 4*x + 81. Let c = 61 - t. Does 17 divide c?
True
Suppose -4*x - 4 = -12. Suppose -x*y + 25 = -17. Is y a multiple of 12?
False
Suppose -4*c + 40 = -c + 4*r, -5*c + 74 = 3*r. Is c a multiple of 4?
True
Suppose 0 = 6*f - 4*f - 136. Is 34 a factor of f?
True
Suppose -2 - 2 = -w. Suppose -w*u = -7*u + 66. Is u a multiple of 14?
False
Let q = -5 - -7. Suppose i = q*i - 5. Suppose -24 = -2*r - 5*l, -4*l - 91 = -i*r - l. Is r a multiple of 17?
True
Let u be (6/4)/(2/(-4)). Let t = 3 - u. Is (16/6)/(t/27) a multiple of 6?
True
Let c = 10 - 11. Is 10 a factor of (-10)/((1 - 1) + c)?
True
Let o(b) = b**3 - b**2 + 2*b + 456. Is o(0) a multiple of 19?
True
Does 4 divide -4*(-1)/(8/14)?
False
Suppose -20 = z - 0*z. Let s = z + 14. Is (1 - (-4)/s)*18 a multiple of 6?
True
Let o = 24 - 0. Suppose 5*i = -4*n + 128, -2*n + 40 + o = 5*i. Is 14 a factor of n?
False
Let v(f) = f**3 - 5*f**2 - f + 5. Let s be v(5). Let g be (s + (-1 - 0))*-177. Suppose 2*t + 5*d = 67, 5*d = -5*t + 2*d + g.