Let l(j) be the second derivative of j**4/12 + 8*j**2 - 9*j. Is 16 a factor of l(0)?
True
Suppose -o - o = 0. Suppose 3*t - 2*p - 80 = o, p - 165 = -5*t - 2*p. Does 15 divide t?
True
Let q(m) = 5*m**3 - 9*m**2 - 4*m + 9. Let w(r) = 4*r**3 - 9*r**2 - 5*r + 8. Let p(x) = 5*q(x) - 6*w(x). Does 11 divide p(-7)?
False
Suppose 0*s - s - 35 = 0. Is (s/(-10))/(1/2) a multiple of 3?
False
Let h(f) = 2*f**2 + 6*f + 1. Let q be h(-4). Suppose -3*g = -5*w + 6 - 1, 2 = 2*w - 4*g. Is ((-3)/q)/(w/(-93)) a multiple of 13?
False
Suppose 2*x = -2*d + 70, -122 = -4*x + 3*d + 2*d. Suppose -5*l - 2*w + x = -141, 5*l = 4*w + 192. Does 24 divide l?
False
Suppose 2*s = -2*v + 88, -4*v = -s - 3*s + 192. Does 14 divide s?
False
Suppose 0 = 2*j - 4*j - 24. Is (-220)/j*(4 - 1) a multiple of 13?
False
Let v = 118 + -37. Does 27 divide v?
True
Let r(y) = y**2 + 9*y + 10. Let i be r(-8). Is 12 a factor of i/3 + (-1112)/(-24)?
False
Suppose -5*t + 2*n + 332 = -16, n = -4. Suppose -2*z = -t - 44. Is 28 a factor of z?
True
Let h be -3 - ((-4 - 46) + 2). Is 16 a factor of 5/h + (-1204)/(-18)?
False
Let i be (24/16)/(6/8). Suppose 3*t + 1 = 4*k, 0 = -6*t + t - 3*k + 37. Suppose -i*n + 93 = -t. Is n a multiple of 14?
False
Let z(k) = 5*k + 8*k - k**2 - 5 - 3*k. Let i be z(9). Suppose 94 = 4*l + g, i*g = -2*l + 6*g + 52. Is 12 a factor of l?
True
Let f(u) be the second derivative of u**6/120 + 7*u**5/120 + u**4/6 - u**3/6 - u. Let v(p) be the second derivative of f(p). Is 16 a factor of v(-4)?
False
Suppose -4*x + 4*f = -2 - 118, 5*x - 4*f - 145 = 0. Suppose 2*r + 5*w = -25, 4*r + 3*w - x = 8*w. Suppose r*j + 10 = j. Does 9 divide j?
False
Let v = 3 + -1. Does 12 divide (-54)/(-4)*(4 - v)?
False
Suppose -224 - 30 = 2*n. Let v = -73 - n. Is v a multiple of 25?
False
Suppose 2*p + 3*p = -4*b + 18, -p - 4*b = -10. Is 7/(p*2/12) a multiple of 9?
False
Let h(d) = -d**2 + 6*d - 7. Let t be h(5). Let r(m) = 2*m. Let z be r(t). Let v(o) = -o**2 - 6*o - 4. Is 3 a factor of v(z)?
False
Suppose 0 = -3*y - 5*m + 250, 4*y + 3*m - 424 + 98 = 0. Does 10 divide y?
True
Let v = 278 - 194. Is v a multiple of 16?
False
Let o be (2/(-4))/((-1)/(-6)). Let h(m) = 3*m - 4. Let w(a) = 2*a - 2. Let u(l) = o*h(l) + 5*w(l). Does 6 divide u(4)?
True
Suppose m = 1 + 1. Suppose 5*z + m*j = 152, -3*z + 5*j + 70 = -46. Is 16 a factor of z?
True
Let i = 283 - 168. Does 19 divide i?
False
Let r(p) = p**2 - 8*p + 10. Let s be r(7). Let j(h) = h**3 + 3*h - 2. Let d be j(2). Does 2 divide s/d + 14/8?
True
Let y be ((-11)/(-2))/((-1)/(-2)). Suppose -y - 23 = -2*w. Is 17 a factor of w?
True
Suppose -2*h = 2*h + 20. Let u = 0 - h. Suppose 3*l + 2 = -4, -5*a - u*l = -30. Is 4 a factor of a?
True
Let p be (-10 - -7)*1/(-3). Is 17 a factor of -1*(-14 - 2 - p)?
True
Let z(t) be the second derivative of 7*t**5/20 + t**4/12 - t**3/6 + t**2/2 - 4*t. Is z(1) a multiple of 4?
True
Is 13 a factor of (-4)/5*130/(-4)?
True
Let l be (-2)/11 - 1192/(-22). Suppose 0 = -2*v, -j - l = -4*j - 5*v. Is 6 a factor of j?
True
Suppose j = t + 46, -4*j + 3*t + 106 = -74. Is j a multiple of 5?
False
Let r(x) = -14*x - 5. Is 7 a factor of r(-2)?
False
Suppose -2*m = 5*x - 178, 0 = -5*x - m + 89 + 85. Is x a multiple of 8?
False
Let o(j) = -4*j - 2. Let f(l) = 2*l**3 - 2*l**3 - 2 - 3*l - 4*l**2 - l**3. Let s be f(-2). Is 14 a factor of o(s)?
True
Suppose 40 = 5*b + 3*b. Let z(n) be the first derivative of n**3/3 - n**2/2 - 6*n + 1. Is z(b) a multiple of 7?
True
Suppose 0*r - r + u + 2 = 0, -2*r + u = -5. Let n be 8/(-12) - (-2)/r. Is 1*(5 - -2) - n a multiple of 7?
True
Is 27 a factor of (-1 - -84) + (-3 - (-4)/4)?
True
Suppose 4*h + 2*v - 1130 = 0, 4*h - v - 282 = 857. Is h a multiple of 15?
False
Let u(v) = -v**2 - 3*v. Let y be u(-6). Let h = y + 25. Is 2 a factor of h?
False
Suppose w + w = -2. Let q(g) = 0*g**2 - 4 + 3 - 7*g**3 + 0*g**2. Is q(w) a multiple of 3?
True
Let a be 0 + -2 - (-3 + -1). Is 3 a factor of ((-27)/6)/((-1)/a)?
True
Let c(j) be the third derivative of -j**6/60 - j**5/12 - j**4/8 - j**3/2 + 3*j**2. Is c(-3) a multiple of 15?
True
Let f = 5 + 0. Suppose 4 = f*g - 101. Suppose -g + 0 = -3*y. Is y even?
False
Let i = 1 - 6. Let r = -4 + 11. Let a = r + i. Does 2 divide a?
True
Let h = -42 - 99. Let m = h - -217. Is m a multiple of 19?
True
Does 5 divide (-332)/(-24) + (-3)/(-18)?
False
Suppose 5 + 1 = 3*v. Suppose -3*d + 95 = -n, -v*d + 3*d = -2*n + 34. Let i = d + -3. Does 15 divide i?
False
Is 8 a factor of (-16)/4 - (-51 + -1)?
True
Let j = 9 - 5. Suppose -3*z - i + 8 + 2 = 0, -5*i - 14 = -z. Suppose -2*h - 3*g + 9 = -z, -j*h = -g - 47. Is h a multiple of 11?
True
Let v be (-15)/(-30)*(0 + 0). Suppose 3*i - 2 - 142 = v. Does 16 divide i?
True
Let w = 4 + 1. Suppose -2 - w = -r. Does 4 divide r?
False
Let a(t) = 8*t + 2. Is a(6) a multiple of 16?
False
Let x = -60 + 17. Let k = 72 + x. Is k a multiple of 13?
False
Let x(d) = d**2 + d + 2. Let h be x(-2). Suppose h*i - 172 = 3*p, -5*p = 2*i - 0*i - 112. Is i a multiple of 23?
True
Let x(a) = 10*a. Let b be x(-1). Is 7 a factor of 213/15 - (-2)/b?
True
Let m be (-65)/(-7) + (-10)/35. Let g(c) = -c**3 + 10*c**2 - 5*c + 12. Is g(m) a multiple of 16?
True
Let p be (-2)/(-2) + -5 + 62. Does 12 divide p + 4/(-8)*0?
False
Let a = -4 - 5. Is 13 + (a/(-3) - 0) a multiple of 8?
True
Let q(u) = 4*u + 58. Does 17 divide q(-6)?
True
Let s = 3 + 0. Let k be 74 - (s + -1 + 0). Suppose -4*m = -k - 16. Is m a multiple of 10?
False
Let t be (2/6)/((-3)/(-45)). Suppose -3*k - 5*c = -5, 4*c + t = k - 8. Suppose 0*i + 100 = k*u + i, 0 = u + 5*i - 20. Is 10 a factor of u?
True
Let m(s) = -s + 6*s + 4 - 4*s. Let d = -11 + 18. Does 11 divide m(d)?
True
Is 352/48 - 1/3 even?
False
Let n(g) = -g + 0 + 3 - 1. Let t be n(4). Is 11 a factor of t/(-6) - (-32)/3?
True
Let w = 40 - 26. Does 7 divide w?
True
Let p = -112 + 188. Is 30 a factor of p?
False
Suppose 0*y = -4*y + 300. Does 15 divide y?
True
Let n(d) = -41*d**3 - 2*d**2 + 1. Let b be n(-1). Suppose b = t + t. Let q = t - 1. Does 12 divide q?
False
Let l(v) = 2*v - 5. Does 5 divide l(7)?
False
Suppose -q = -3*q + 128. Is 23 a factor of q?
False
Suppose -3*a + 3*p + 93 = 0, 2*a - 164 = -3*a - 4*p. Suppose -3*q + a = q + 3*d, -d - 21 = -5*q. Let u = q - 1. Does 4 divide u?
True
Let i = 0 - -4. Suppose -2*n - 5*t = -155, 5*t = -10*n + 5*n + 425. Suppose -i*q + n = -34. Does 14 divide q?
False
Let m(x) = -25*x + 4 - 2 + 21*x - 5. Is 7 a factor of m(-6)?
True
Let d = 434 + -270. Does 8 divide d?
False
Suppose -48*k + 43*k + 420 = 0. Does 14 divide k?
True
Suppose 3*k = -5*l + 22, -3*l = -l - 4. Suppose k*v + 4*r - 22 = -2, 5*v - 31 = r. Is 6 a factor of 4/6 + 104/v?
True
Let j(x) = 6*x - 1. Let u be j(1). Suppose -3*n + 5 = -0*d + d, n = 3*d - u. Does 6 divide -2*(-5 + -2)/n?
False
Suppose 2 = m + m. Let q be 6/9*(-6)/4. Is 14*q/(-2) - m a multiple of 3?
True
Let m = 7 + -13. Let s = 12 - m. Does 6 divide s?
True
Suppose c - 39 = -4*s, -47 = -2*c - 5*s + 28. Suppose 5*a = c + 15. Is a a multiple of 5?
True
Is 19 a factor of (-38)/4*14/(-7)?
True
Suppose 0 = -v + 10 + 34. Is v a multiple of 11?
True
Let l be -7 - 2 - (1 - 2). Let p(n) = -3*n + 1. Does 25 divide p(l)?
True
Let c = 0 - -15. Suppose -p + 15 = -4*o - 10, 5*p + c = 0. Let i = -5 - o. Does 2 divide i?
True
Suppose 4*x - o = -61, -2*x + 3*o - 38 = -5. Let s = -52 - x. Let c = 55 + s. Is c a multiple of 9?
True
Suppose 8*q - 499 - 373 = 0. Is q a multiple of 20?
False
Let d be (-1)/3 + 140/15. Let j = 25 - d. Does 16 divide j?
True
Let j(i) = -29*i + 1. Is 28 a factor of j(-4)?
False
Let b be (3 + 0 + -3)*-1. Is (-12)/4 + 19 - b a multiple of 16?
True
Let a = 3 - -2. Let h(t) = -2*t + 6 + 4*t + 4*t**2 - a. Is h(2) a multiple of 7?
True
Let t = 389 + -196. Does 18 divide t?
False
Is (48/(-15))/(1/(-10)) a multiple of 16?
True
Suppose -7*y + 9 = -159. Does 6 divide y?
True
Suppose -2*y = -5*y + 285. Does 19 divide y?
True
Let a(l) be the third derivative of l**4/24 - l**3/6 - l**2. Is a(5) even?
True
Suppose -i - 5*x = -32, -3*i + 160 = 3*x + 40. Suppose g = 3*m + 36, -100 = -5*g - 4*m + i. Does 12 divide g?
False
Suppose 4*o = z + 146, 2*z + 31 - 171 = -4*o. Let n = o + 7. Does 7 divide n?
False
Suppose 4*q - 60 = -3*s, 4 + 28 = 2*q + 2*s. Suppose 0 = 3*z - 5*n - 37, 3*n + 0*n = -2*z + q. 