e
Let t(k) = 6*k**2 - 13*k. Is t(-6) a multiple of 7?
True
Let i = 97 + -93. Let v(k) = -k**3 + 3*k**2. Let j be v(3). Suppose 4*p + i = -j, u = -p + 11. Is u a multiple of 12?
True
Let d(k) be the third derivative of -109*k**4/24 - k**3/3 - 12*k**2. Let r be d(-2). Is 13 a factor of -1 - (r - 1)/(-5)?
False
Suppose 0 = n - 9 - 0. Suppose -649 = n*z - 20*z. Is 13 a factor of z?
False
Suppose -5*s = s - 66. Let x be s + (-5)/((-20)/(-12)). Let b = -3 + x. Is b a multiple of 5?
True
Suppose 5*r - 9 - 10 = -4*t, -17 = -5*t - 4*r. Let m be -10*(t + 0 + -3). Suppose -2*p = -m - 4. Is p a multiple of 7?
False
Suppose 0*g + 4*g = -4*m + 88, -85 = -4*g - 5*m. Suppose -2*l - 5*h + g = -4, 2*h - 82 = -4*l. Let a = l - 12. Is a even?
True
Let l(v) = -v**3 - 5*v**2 + 4*v - 7. Let k be l(-6). Suppose 0 = 2*i - i - k. Suppose 0 = i*o - 10, 2 = 3*x + o - 114. Does 6 divide x?
False
Let k(t) be the first derivative of t**5/24 - 3*t**4/4 + 4*t**3 + 7. Let w(x) be the third derivative of k(x). Is w(17) a multiple of 18?
False
Let l(t) = -t**2 + 14*t - 17. Let g be l(12). Is (-7)/(-1) - (g + -4) a multiple of 2?
True
Let z = -749 + 1021. Is 3 a factor of z?
False
Suppose -15*j = -4*j - 1782. Suppose -b - j = -4*b. Does 27 divide b?
True
Let v be 1 + (3/3)/1 + 2. Is (-3 + (-1 - 6/v))*-4 a multiple of 11?
True
Let i = 36 - 23. Let d = i - 10. Suppose -n + 20 = d*n. Is n a multiple of 2?
False
Suppose -3*z - 4*l + 482 = 0, 2*z - 5*l - 452 = -123. Is 27 a factor of z?
True
Let p = -67 + 13. Is (-3)/((-54)/590) - 12/p a multiple of 11?
True
Let d(b) = -2*b - 17. Let t be d(5). Let l = 43 + t. Is l a multiple of 3?
False
Suppose -i + 6 - 1 = 0. Suppose -13*j + i*j + 320 = 0. Does 20 divide j?
True
Let h be ((-12)/8)/(1 + (-11)/8). Suppose -w = -h*w + 603. Is w a multiple of 37?
False
Let j = 426 + -198. Is 30 a factor of j?
False
Suppose 3928 = 17*w + 1140. Does 47 divide w?
False
Let s(c) = c**3 - 3*c**2 + 5*c - 7. Let t be s(3). Let m(r) = -r**3 + 7*r**2 + 10*r - 10. Is 5 a factor of m(t)?
False
Let t(g) = -4*g - 7*g**2 + 8*g**2 - 2 + 15*g. Is 30 a factor of t(-19)?
True
Let a(d) = 7*d + 5. Let t be a(-1). Does 33 divide 4 - (2 - t)*-32?
True
Suppose -3*u - 2394 = -3*i, 5*u = -4*i + 1037 + 2137. Let y = -516 + i. Does 14 divide y?
True
Let z = -8 - -10. Let s be (-1)/(z/(-40) - 0). Suppose -2*y + 20 = -s. Is y a multiple of 5?
True
Suppose 28 = 2*z - 5*f, 0 = -z + 3*z + 3*f + 4. Let n = 15 - -28. Suppose -q - n = -d, 0*d + 3*d + z*q - 101 = 0. Is 9 a factor of d?
False
Is -7*(0 + (-798)/49) a multiple of 19?
True
Suppose -3*j + 2*l - 5*l + 6153 = 0, l = -4*j + 8201. Does 41 divide j?
True
Let z(q) = 11*q**3 + 4 - 2*q - 34*q**2 + 36*q**2 - 5. Does 13 divide z(2)?
True
Let r be 2/8*(-4 - -4). Suppose 189 = 9*q - r*q. Is 7 a factor of q?
True
Suppose -3*u - 3*k = -0*k + 3, 0 = -4*u + k + 21. Let q(x) = 9*x + 8. Is q(u) a multiple of 4?
True
Is 19 a factor of ((-475)/(-20))/(7/28)?
True
Suppose 0 = 77*n - 87*n + 4060. Does 3 divide n?
False
Let z(m) = -m**2 + 12*m - 22. Let r be z(10). Does 18 divide (1/(4/12))/(r/(-24))?
True
Suppose -2*i + 7*i = 85. Let n = -12 + i. Suppose n*l - 199 = 3*f, -l - f = -3*l + 79. Is l a multiple of 19?
True
Let j be 0 - (-7)/((-7)/(-2)). Suppose 0 = -4*h + 2*i + 58, -j*h - 3*i + 11 = 2*i. Let c = h + 2. Does 6 divide c?
False
Let d(c) = c - 8. Let l be d(7). Let a be (-467)/(-15) - (-2)/(-15). Let s = a - l. Is s a multiple of 7?
False
Suppose 4*r + 1141 + 179 = 0. Let b = r + 631. Is b a multiple of 16?
False
Let l = 1331 - 1001. Is l a multiple of 10?
True
Let a = -573 - -1152. Let y = -339 + a. Is y a multiple of 48?
True
Let i(r) be the first derivative of 1 + 15/2*r**2 - r. Does 7 divide i(1)?
True
Let o = -2537 - -3948. Is o a multiple of 37?
False
Let o(u) be the first derivative of -u**3/3 + 21*u**2/2 - 30*u + 1. Suppose 7*h - 5*h = 3*b + 28, 5*b = 4*h - 58. Does 32 divide o(h)?
False
Let q = 4 + 6. Let p = q + 8. Suppose p = o - 6. Is o a multiple of 5?
False
Suppose 376 + 8 = 3*a. Does 3 divide a?
False
Let q be ((-30)/9)/((-4)/18). Suppose -4*x = -7*x + q. Is x a multiple of 5?
True
Suppose -3*r - 117 = -16*r. Is 2 + -4 + 819/r a multiple of 7?
False
Let x = -2035 - -3715. Is 12 a factor of x?
True
Let j(c) = -2*c**2 + 8*c - 5. Let p be j(9). Let b = 164 + p. Suppose 3*i - 33 - b = 0. Is i a multiple of 18?
False
Let v(u) = -u**3 - 4*u**2 - 5*u - 10. Let l be v(-4). Is 574/l + (-1 - 8/(-5)) a multiple of 10?
False
Let x(p) = -p**3 - 10*p**2 + 22*p + 36. Let t be x(-13). Suppose -1 = 2*h + 1, 5*h = 2*l - t. Does 21 divide l?
True
Suppose -2*f - 7*q = -2*q + 12, 2*q = -3*f - 18. Let m(w) = -8*w + 1. Let o be m(-2). Let d = f + o. Is 11 a factor of d?
True
Let w(v) = 3*v**3 - v**2 - 6*v + 7. Suppose -4*b - 12 = -8*b. Let a be w(b). Let y = -11 + a. Is y a multiple of 10?
True
Suppose 78 = -6*m + 318. Is m a multiple of 20?
True
Suppose 0 = -3*l - 2*j + 11, -5*j + 20 = l + 4*l. Let p(x) = l + 34*x - 88*x - 1. Is p(-1) a multiple of 21?
False
Let g(c) be the second derivative of 3*c + 13/3*c**3 + c**2 + 0. Is 6 a factor of g(1)?
False
Let t = 284 - -220. Is t a multiple of 28?
True
Is ((-20)/(-15))/((-28)/(-945)) a multiple of 3?
True
Let v be 9/6*4/3. Suppose 0 = -4*u - 5*c + 90, -6*c = u - v*c - 17. Suppose -d + a = -u, 0*d - 4*d - 3*a + 114 = 0. Does 9 divide d?
True
Let p(o) = -6*o**3 - 22*o**2 - 15*o - 6. Let g(m) = 7*m**3 + 23*m**2 + 14*m + 5. Let k(w) = -5*g(w) - 6*p(w). Is 23 a factor of k(-15)?
True
Let u = -342 + 662. Suppose 2*o = -3*o + 5*w - 5, 5*o + 4*w = 40. Suppose o*x = -x + u. Is x a multiple of 17?
False
Suppose -30*d + 16*d + 27384 = 0. Is d a multiple of 12?
True
Let x(b) be the second derivative of b**3/2 + b**2/2 - 5*b. Let z be x(-1). Let l = z - -25. Does 6 divide l?
False
Suppose -3*x + 3*y + 1065 = 0, 6*y - 3*y = -2*x + 695. Is 32 a factor of x?
True
Is 2 a factor of (-1)/5*-2 + (-77556)/(-460)?
False
Let t(u) be the second derivative of -u**3/2 - 2*u**2 + 10*u. Let b be t(7). Let m = b - -65. Is 9 a factor of m?
False
Let v be 12*6/(72/(-20)). Suppose d + 4 = 2*d. Let s = d - v. Does 24 divide s?
True
Let a(k) = 2*k - 1. Let t be 4 - (-3)/(-6)*0. Suppose t*v - 3*q - 30 = 0, 2*q - 3*q + 11 = v. Is a(v) a multiple of 17?
True
Let z be 3/(15/(-12) - -2). Suppose 9 = 4*p + z*v - 27, 2*p = -5*v + 21. Suppose 0 = 2*j + p - 92. Is 14 a factor of j?
True
Let h(p) = -13*p - 2. Let w(i) = -1. Let g(u) = -h(u) + 3*w(u). Let k(l) = 27*l - 1. Let c(m) = -5*g(m) + 3*k(m). Is 17 a factor of c(2)?
True
Let v(i) be the third derivative of 1/20*i**5 + 1/24*i**4 - 2*i**2 + 0*i - 1/6*i**3 - 1/40*i**6 + 0. Is v(-2) a multiple of 11?
True
Is 0 - 35/15*-237 a multiple of 71?
False
Let j = 391 - -1304. Does 32 divide j?
False
Let t = 45 + -40. Suppose -t*u = 2*u - 301. Is u a multiple of 13?
False
Suppose 2*z + 4 = 0, 0 = 5*b - 3*z - 180 - 326. Suppose 2*x = c - 2*x - b, -3*c = 4*x - 284. Let y = c + -47. Is 18 a factor of y?
False
Let h = 664 + -229. Suppose 5*v = -2*k + h, v + v = -2*k + 426. Suppose 0*u = 5*u - k. Is u a multiple of 14?
True
Suppose -3*i + 1290 = 7*i. Let o = i + -116. Is 2 a factor of o?
False
Let x be (1 + -16)*(-2)/6. Let c(j) = -57*j + 213. Let f(w) = -3*w + 11. Let h(a) = 4*c(a) - 78*f(a). Is 6 a factor of h(x)?
True
Let p = -751 + 2400. Is p a multiple of 115?
False
Suppose -120 = -5*t + 2*f, 91 = 5*t + f - 44. Is t a multiple of 2?
True
Let n(f) = 2*f**2 + 1 - 8*f + 14*f + 4. Let m be n(-3). Suppose -5*y + 57 = -2*v - m, 4*v = -y + 30. Does 14 divide y?
True
Let q = 218 + 41. Does 27 divide q?
False
Suppose -x = -2*h + 1, 2 - 8 = -2*x. Suppose 522 = 3*z - 3*b, -h*z + 166 = b - 185. Does 35 divide z?
True
Let j be (-36)/306 - (-36)/17. Let b(k) = -20*k + 7*k**2 + 5*k**2 - 10*k**j + 9 + 9. Is 16 a factor of b(13)?
True
Let n = -4 - -6. Suppose -3*x + 2*x + 4*o + 18 = 0, -3*x - n = 2*o. Suppose -94 - 36 = -x*b. Is b a multiple of 16?
False
Let t(z) = z**3 - 12*z**2 - 9*z - 9. Let n(d) = 6*d**3 - 60*d**2 - 44*d - 46. Let v(w) = 2*n(w) - 11*t(w). Let g be v(-9). Is 15 a factor of (-5)/25 + g/5?
True
Suppose 5*m - t - 4632 = 2325, 3*t = 2*m - 2775. Does 41 divide m?
False
Let d be 236/8 - (-1)/2. Let f be 2/8 + 69/12. Let z = d - f. Is z a multiple of 12?
True
Let c(r) = -r**3 - 13*r**2 - 3*r - 13. Let