 = 7*l**2 - l. Let y be r(-1). Suppose p + 4*i = 30, -2 = -2*p + 2*i + y. Suppose -h - h = -p. Is h even?
False
Let j(g) = 2*g**2 - g. Let y be j(1). Let k(i) be the third derivative of 15*i**4/8 - i**3/6 + 52*i**2. Is 31 a factor of k(y)?
False
Suppose k + 2 - 11 = 5*y, 0 = 3*k + 2*y - 95. Let m = 49 - k. Does 5 divide m?
True
Let o = -1 - -1. Suppose -2*a + 0*a + 4 = o. Suppose 3*t + j = 135, 0 = -t - 3*t + a*j + 190. Is t a multiple of 13?
False
Let g(u) be the first derivative of 2*u**2 + 15*u + 2. Let m be g(-6). Is 54/(-21)*42/m a multiple of 6?
True
Is 40/12 - 4 - (-368)/3 even?
True
Let d = 599 - 917. Let p = -186 - d. Is 28 a factor of p?
False
Let d(o) = -5*o - 18. Let t(a) = -4*a - 17. Let h(s) = 5*d(s) - 6*t(s). Let w be h(7). Suppose 3*i - w*i + 64 = 0. Is i a multiple of 16?
True
Let o be 0*1/1 + 0. Let t = -140 - -145. Suppose -212 = -3*b + i, o = -i + t - 1. Is b a multiple of 18?
True
Let w(g) = -g**3 - 5*g**2 + 13*g + 9. Let z be w(-10). Let t = z + -219. Let c = t - 103. Is c a multiple of 22?
False
Let h(j) = j**3 + 5*j**2 + 4*j + 3. Let p be h(-4). Suppose 0 = z - 4*x - 24, 19 = 2*z + p*x - 7. Is 11 a factor of (-4 + z)*(5 + -2)?
False
Suppose -m = -2*u + 1097, 5*u + m = 736 + 2017. Let t = u + -294. Does 18 divide t?
False
Let w(m) = 5*m + 2. Let z be w(7). Suppose 3*g + 5*a = 6, 0 = 5*g - 5*a + 2*a - 10. Does 9 divide (g - 6) + z*1?
False
Let f = -5246 + 8139. Is 37 a factor of f?
False
Suppose 5*n + 5*z - 25 = 0, 4*n - 45 = -n - z. Let o = n + -12. Is 8 a factor of 108/6 + (o - 0)?
True
Suppose -3*y = -7*y + 8. Suppose y = 4*s - 14. Suppose c - 4*q - 9 = -0*c, 3*q - 131 = -s*c. Does 17 divide c?
False
Let i be (4/(-10))/(1/(-5)) + 4. Suppose -7 = -2*o + 1. Let x = i + o. Does 3 divide x?
False
Suppose 15 + 13 = 7*c. Suppose -5*l - v = -320, -c*l = l + 2*v - 315. Is 13 a factor of l?
True
Suppose -4*u - 2*u + 246 = 0. Suppose 0 = 3*q - u + 5. Is 4 a factor of q?
True
Suppose 0 = -d + 4*n - 20, d - 6*d + 3*n - 66 = 0. Let l = d - -80. Suppose 0*y + l = 2*y. Does 13 divide y?
False
Suppose r - 6 + 4 = 0. Does 9 divide 1 + (r - 5) + 29?
True
Suppose -15204 = v - 15*v. Is 112 a factor of v?
False
Let m = -6249 - -11796. Is 13 a factor of m?
False
Let a be (-3 - -425)/((-6)/(-3)). Suppose 3*k + 0*k + 5*n = 121, -a = -5*k + n. Does 28 divide k?
False
Suppose 0*b = -3*b + 6. Suppose 0 = -b*f - 84 + 156. Is 4 a factor of f?
True
Let y(b) = -b + 17. Suppose 5*u - 42 = 4*c, 5*c = c + 3*u - 46. Is y(c) a multiple of 5?
True
Suppose -3*q + 10 = -q. Suppose 12 = q*b - 2*b. Suppose b*k - 3 = 21. Does 3 divide k?
True
Let z(r) = -9*r - 11. Let n be z(-2). Suppose 5*q = 5*i - 280, 2*i + 4*q = n*i - 280. Does 8 divide i?
True
Suppose w = -26*u + 24*u + 226, -2*u - 3*w = -226. Is 10 a factor of u?
False
Suppose 4*x - 10 = 2*x. Suppose 2*m - 3*v = -6, -2*m - 1 = -4*v + 7. Suppose 3*q = -4*d + 213, m*d - 3*q = -x*d + 273. Does 18 divide d?
True
Suppose -3*h = -3*l + 6, -3*l + 7 = 2*h - 6*h. Is (-180)/24*l*-2 a multiple of 3?
True
Suppose 4*r + o - 60 = 0, 25 = 5*r + o - 51. Is 3 a factor of (r/(-5))/((-3)/((-135)/(-6)))?
True
Let q = 109 + 89. Let x = q + -133. Is 13 a factor of x?
True
Does 54 divide 2517 - 33 - (-2 - (2 + -4))?
True
Let d(y) = 30*y**2 + y + 2. Let z(m) = -2*m**2 - m - 1. Let f(a) = d(a) - 4*z(a). Is f(-2) a multiple of 37?
True
Suppose 2900 = 16*v - 7308. Does 22 divide v?
True
Let a = 8 - 7. Let i(m) = 134*m**2 - m. Is i(a) a multiple of 37?
False
Let q(l) be the third derivative of -l**6/120 - 2*l**5/15 - 7*l**4/24 + 4*l**3/3 - 9*l**2. Let p = -13 - -6. Does 8 divide q(p)?
True
Let g(v) = -v**3 + 15*v**2 + 16*v - 11. Is 20 a factor of g(15)?
False
Let t = 116 - 86. Does 10 divide t?
True
Suppose -50 = -s - 4*v, 0*v + v = 5*s - 208. Is 12 a factor of 1960/s + (-8)/(-6)?
True
Let a(g) = 10*g**2 + 10*g + 0 + 7 + 0*g**3 - 2*g**3 + 3*g**3. Let o be a(-9). Is ((-68)/8 - 4)*o a multiple of 21?
False
Let p(q) = -6*q - 23. Let k(t) = -3*t - 11. Let y(l) = -9*k(l) + 4*p(l). Is y(0) a multiple of 6?
False
Let y = -890 - -1074. Does 5 divide y?
False
Let t = 12 + -10. Suppose -t*r + 66 = r. Is 11 a factor of r?
True
Suppose -10 = -3*h + q, -4*h + 4*q + 0*q + 16 = 0. Suppose -5*f - h*d = 1 - 11, -4*d = 3*f - 6. Suppose 3*p - f*p = 37. Does 9 divide p?
False
Let m be ((-10)/(-6))/((-4)/(-732)). Does 8 divide m/7 + 6/14?
False
Suppose -t + 183 = -284. Does 9 divide t?
False
Let v(j) = 15057*j + 3. Let b be v(1). Is (-2)/7 + (b/(-14))/(-6) a multiple of 21?
False
Let t = 87 - 44. Let h(n) = -9*n + 2. Let g be h(-7). Let p = g - t. Is p a multiple of 3?
False
Suppose -2*f - 2*i + 8 + 36 = 0, i = -2*f + 42. Suppose -4*a + 4*p = -144, 3*a - 134 = 5*p - f. Is 15 a factor of a?
False
Does 22 divide (0 + -1 - 9)/(1/(-13))?
False
Suppose 40 = 3*z + 5*z. Suppose z*k + 98 = 443. Does 2 divide k?
False
Suppose 3*z - 2546 = 2*a, 10*a - 2554 = -3*z + 8*a. Does 17 divide z?
True
Let v(b) = 36*b - 44. Let f(d) = -12*d + 15. Let c(p) = 7*f(p) + 2*v(p). Suppose -5*i = -2*w + 9, 3*i - 12 = 4*w - i. Is 19 a factor of c(w)?
False
Let n(l) = -2*l**3 - 4*l**2 + 11*l - 4. Let h be n(-5). Suppose -3 + h = d + 5*r, -4 = 2*r. Does 4 divide d?
False
Suppose 4*w + 5*z = 335, -3*w - z = -324 + 81. Does 20 divide w?
True
Let s = 483 - 131. Is 11 a factor of s?
True
Let o(r) = -r**3 + 8*r**2 + 4*r + 15. Suppose -4*l = 2*l - 36. Does 9 divide o(l)?
False
Suppose 74*w = -3*t + 75*w + 298, 4*t = 2*w + 398. Does 11 divide t?
True
Let p be 456/(-72) - ((-4)/(-6) + 0). Is 11 a factor of p/((-14)/(-6)) - -24?
False
Suppose 8219 = 45*z - 17116. Is z a multiple of 21?
False
Let p = 131 - 83. Let b = -104 - -134. Let j = p + b. Is j a multiple of 13?
True
Let p(f) = 8*f - 52. Is p(8) a multiple of 3?
True
Let l = -2 + 17. Suppose 5*x = 2*c - l, -2*c + 9 = -x + 2*x. Is ((-76)/c)/(1/(-5)) a multiple of 19?
True
Let h(b) be the first derivative of b**4/2 + 4*b**3/3 + 2*b**2 + 2*b - 5. Let j be h(-2). Does 19 divide (-4)/j + 420/18?
False
Let k(p) = 2*p + 8 + 11 - 6. Does 7 divide k(-3)?
True
Suppose 4*m - 6*m = 0. Let s be (m + 5)*1 - 2. Suppose -5*f + 2*k + 2*k + 37 = 0, s*k + 34 = 5*f. Is f a multiple of 2?
False
Let n(l) = -6*l + 5. Let f(d) = d**3 - d**2 - d + 1. Let z be f(2). Let p be ((-10)/(-3))/((-2)/z). Does 19 divide n(p)?
False
Suppose -5*h + h = 1152. Is 16 a factor of (-21)/3*h/21?
True
Let l(g) = 3*g + 26. Let m be l(-4). Suppose 313 - m = c. Is 13 a factor of c?
True
Let d(r) = -2*r - 11. Let z be d(-8). Let f be 3/((-9)/6) + z. Suppose 0 = -3*p + f*s + 126, -3*s - 34 = -5*p + 180. Does 13 divide p?
False
Let h(k) = k**2 - 10*k - 10. Let u be h(10). Let a(z) = -z**2 + 4*z + 4. Let g be a(5). Is (u + 0)*1/g a multiple of 3?
False
Does 11 divide (-38 - -26)/(8/(-836))?
True
Let j = 6 + -5. Let k be j + 0 + 1 + 2. Suppose 2*d - 128 = -4*t, -5*t + 23 = k*d - 227. Is 12 a factor of d?
True
Suppose 5*l - 4 - 1 = 0. Let p(b) = 5*b**2 - 2*b**2 + 1 + 3*b**2 - 2*b + 6*b**2. Is 11 a factor of p(l)?
True
Is 5 a factor of (-280)/(-24)*(-7 - -22)?
True
Does 16 divide (-2 - 0)*(-3 - (-4456)/(-16))?
False
Let b = -4599 + 8447. Is 52 a factor of b?
True
Suppose -8 = h - 3. Let a be 12 + -12 + (28/1 - -1). Let x = a + h. Is 18 a factor of x?
False
Let p(f) = -f**2 - f - 1. Let l(r) = -r**2 - r + 8. Let i(n) = l(n) - 4*p(n). Let g be (-18)/3*2/3. Does 16 divide i(g)?
True
Let a(f) = 31*f**2 + 4*f + 3. Let y be a(-2). Suppose 4*c - 41 = y. Is c a multiple of 8?
True
Suppose -3*o + 447 = 2*r, 453 = 2*r + 3*o - 2*o. Is r a multiple of 76?
True
Suppose -237 = -26*s + 29*s. Let b = -29 - s. Does 10 divide b?
True
Let c(s) be the first derivative of -s**4/4 + 7*s**3/3 - s**2 + 16*s - 5. Let t be c(7). Suppose 0*z = -2*z - 2*j + 112, -z - t*j = -59. Does 18 divide z?
False
Let f = -1409 + 1761. Is f a multiple of 28?
False
Is (-2)/(-8) - 5655/(-52) a multiple of 4?
False
Suppose -2*p + 4 = 0, 4*n + 5*p + 685 = 139. Let v = 176 + 71. Let k = v + n. Is 28 a factor of k?
False
Is 357/63 - (-2)/6 a multiple of 2?
True
Suppose -4*p = l - 1761, -3*l - 1736 = -4*p + l. Suppose -5*h + p = -131. Does 22 divide h?
False
Let v(k) = 149*k**2 + 21*k - 1. Is v(2) a multiple of 33?
False
Let h(l) = l**3 - 3*l**2 - 7*l + 39. Let q be 38/6 - -1*(-1)/3. Is h(q) a multiple of 34?
False
Suppose 4*u + 2