e
Does 10 divide (-30)/4*(-56)/6?
True
Let n = 7 + -9. Let t = n + -5. Let v = 2 - t. Is 5 a factor of v?
False
Let a(l) = -l**2 + 13*l - 3. Let u(w) = w**2. Let c be u(3). Is 19 a factor of a(c)?
False
Let k(v) be the third derivative of v**5/60 - v**4/8 + 2*v**3/3 - v**2. Is 16 a factor of k(-5)?
False
Suppose -3*v + 4*n + 34 = 0, 18 = 5*v - 0*n + 3*n. Suppose -v*i + i + 240 = 0. Does 16 divide i?
True
Let f(j) be the third derivative of -5/24*j**4 + 0*j + 0 + 1/2*j**3 + 2*j**2. Is f(-5) a multiple of 14?
True
Suppose 14 = 2*k - 28. Does 21 divide k?
True
Suppose -8 = -4*q + 8. Does 2 divide (0 - -1 - q)/(-1)?
False
Let y = -9 + 8. Let f(w) = -6*w - 1. Let p be f(y). Suppose -p*j - 11 = -226. Is 21 a factor of j?
False
Is 77/44 + (-2)/(-8) a multiple of 2?
True
Let f = 6 + -6. Suppose f*u - u = -3. Is u even?
False
Let u = -3 - -6. Suppose -2*d - 162 = -c, c + 3*d + 319 = u*c. Suppose 4*p + 0*p = c. Is p a multiple of 19?
True
Suppose 16 = 4*p - 2*t, 3*p - 3*t - 5 = 7. Suppose -p*s = 4 - 12. Let v(j) = j**3 + j**2 - 3*j + 3. Is 9 a factor of v(s)?
True
Suppose 0 = n - 5*q + 3*q - 50, -3*n + 3*q + 135 = 0. Suppose 2*a - x = 59, 2*a + 4*x - n = 24. Is 6 a factor of a?
True
Suppose -3*x + 127 = -5*n, -2*x - n + 28 = -48. Is x a multiple of 12?
False
Suppose -4*p + 355 = p. Does 22 divide p?
False
Suppose 5*g + 108 = 7*g. Is 6 a factor of g?
True
Suppose -3*a = -3*v + 126, 0*a = 3*v + 3*a - 108. Does 13 divide v?
True
Suppose 0 = -4*o + 10 + 18. Let g = 17 - o. Is g a multiple of 5?
True
Suppose 0 = n - 2*n + 3. Suppose -q - 2*t - 16 = -3*q, 3*q - 54 = -n*t. Is q a multiple of 13?
True
Let r = 3 - 6. Let u(z) = -z**3 + z**2 - 1. Let w be u(r). Let n = -19 + w. Is n a multiple of 8?
True
Let c = 22 - -3. Is 5 a factor of c?
True
Let r(h) = 22*h**2 + 4*h + 2. Does 23 divide r(-3)?
False
Suppose -2*m + 1 + 3 = 0, 0 = 4*v - 3*m - 14. Suppose -4*j = -z - 0*z - 3, 0 = -z - v*j + 15. Suppose -124 = -0*t - 4*t - r, -z*t + 170 = 5*r. Does 15 divide t?
True
Let r(f) = 3*f**2 + 4*f - 6. Is 19 a factor of r(-6)?
False
Let i(g) = g**3 - 5*g**2 + 5*g - 1. Let q be i(4). Let v(f) = 3 - 2*f**2 - f**q + 7*f + 3*f - 2*f. Is 19 a factor of v(-5)?
True
Suppose -3*m = -7*m. Let t(r) be the third derivative of -r**6/120 - r**5/60 + r**3/2 + r**2. Is t(m) a multiple of 2?
False
Let l(t) = -t - 2. Let j(m) = -m + 1. Let n(g) = 3*j(g) - l(g). Let b be n(-5). Let a = b - 5. Is a a multiple of 10?
True
Let z = -14 - -25. Is 11 a factor of z?
True
Suppose 105 = -5*s - 105. Let a = 64 + s. Does 22 divide a?
True
Let p = -24 + 38. Is 6 a factor of p?
False
Let y be (-32)/18 - 2/9. Let z be (-1)/(1/(-8)*y). Does 2 divide (z*2)/(2 + -4)?
True
Let n = 7 + -4. Suppose 0 = -2*j + 2*u + 17 - n, -2*u - 23 = -5*j. Suppose -2*k - 3*v = -43, 85 = k + j*k + 5*v. Does 10 divide k?
True
Let r be (1 - (-9)/(-4))*-8. Let i = -28 + 43. Suppose i = y - 3*s + s, -r = -5*s. Is y a multiple of 5?
False
Let q = -2 - 1. Let v be 2/1 - (-9)/q. Is (1 - -22)/(v - -2) a multiple of 12?
False
Let v(w) = -w - 1. Let m(k) = -k**2 - 7*k + 7. Let l be m(-8). Let r be v(l). Suppose r = -3*a + 42 + 24. Is a a multiple of 17?
False
Suppose 126 = 2*k - 4*i, -5*k - i + 5*i = -303. Let z be 0 + -2 + (k - -1). Suppose -3*l = 3*m - 7*l - 38, -2*l + z = 4*m. Does 14 divide m?
True
Suppose 0 = 4*s + s + 25, -3 = -2*b + s. Let c(o) = -11*o + 1. Let v be c(b). Suppose 0 = i - 2*i + v. Does 10 divide i?
False
Let h(g) = -g**3 + g**2 + 2*g + 4. Let f be h(3). Let s(i) be the first derivative of i**2/2 + 18*i - 5. Is 5 a factor of s(f)?
True
Is (-3476)/(-33) - 8/6 a multiple of 13?
True
Let x be -2 - (1 + -30)*-1. Let j = 50 + x. Is 8 a factor of j?
False
Let g(o) = 3*o**2 + 5*o - 4. Let k be g(-2). Let y be (-2)/(2/17)*3. Is 5 a factor of k/(3 + 159/y)?
False
Let c(t) = t**2 - 8*t + 5. Does 40 divide c(-6)?
False
Suppose -18*j = -19*j + 90. Is j a multiple of 9?
True
Suppose -w = -3*w. Suppose w = -0*u - 5*u + 275. Does 8 divide u?
False
Suppose -3*s + 117 = 21. Let k = 53 - s. Is 9 a factor of k?
False
Suppose 30 = p - 2. Is 21 a factor of p?
False
Let z be (-12)/(-9) - (-6)/9. Suppose z*q + 6 = h + h, 3*h - 1 = -q. Let n = h + 23. Does 24 divide n?
True
Let f(t) = -t**2 + 7*t - 2. Let w = 15 + -9. Let u be f(w). Suppose x = 3*v + 49, -2*v - 48 = 3*x - u*x. Is x a multiple of 23?
True
Suppose -2*k - h = 4*h + 15, -3*k - 5*h - 15 = 0. Suppose k = -3*i - 15, 5*f + 4*i = 23 + 17. Is 4 a factor of f?
True
Suppose 7*s - 520 = 558. Does 22 divide s?
True
Let c(y) = -2*y + 1. Let v be c(-6). Suppose -24 = -2*n - 4*n. Suppose v = n*d - 23. Is 9 a factor of d?
True
Suppose -8*u + 680 = -3*u. Let o = u - 73. Suppose -2*l - l + c = -48, -4*l + c + o = 0. Is l a multiple of 15?
True
Let j(g) = 2*g**2 - 3*g + 3. Let o be j(2). Suppose -b = 5*x + 8, o*b - 4 = -x + 4. Let t = b + 14. Is t a multiple of 16?
True
Let l(h) = 41*h + 2. Let m be l(-1). Let s = 50 - m. Is s a multiple of 16?
False
Suppose t - 9 = 5. Does 14 divide t?
True
Let x = 10 - 10. Is 24*(1 + x)/1 a multiple of 8?
True
Let a = 5 + -11. Let w = -2 - a. Is 4 a factor of w?
True
Let j = 7 + -11. Let l be (-438)/8 + 1/j. Let r = l - -87. Is 12 a factor of r?
False
Suppose 2*s + 0*s - 3*n = 120, n = -5*s + 300. Suppose 5*z = 2*z + s. Is z a multiple of 13?
False
Let j(s) = 2*s**2 - s + 6. Is 11 a factor of j(4)?
False
Let v(b) = -b**3 - b**2 + 4*b + 3. Let m be v(-3). Suppose -5*w + 6 = -m. Is 7 a factor of ((-16)/6)/(w/(-9))?
False
Suppose 0 = -p + 4*w + 10, 0*p - 2 = -3*p - 2*w. Suppose -p*t + 43 = 2*b + 3*b, 126 = 4*t + 2*b. Does 17 divide t?
True
Suppose -3*k = -0 + 15. Let x(c) = 2*c**2 + 2*c - 6. Is 14 a factor of x(k)?
False
Suppose 40 = -5*i + 5. Is (4/i)/((-2)/21) a multiple of 3?
True
Is 7 a factor of ((-40)/(-6) + -6)/(4/210)?
True
Let v(x) = -x**3 - 7*x**2 - 12*x + 2. Let o(w) = -w. Let j(u) = 2*o(u) + v(u). Does 19 divide j(-6)?
False
Suppose -b - 5 = 0, 2*z - 73 = 3*b + 2*b. Does 4 divide z?
True
Let n = -25 - -40. Suppose -2*o = -n - 33. Let c = -3 + o. Does 8 divide c?
False
Does 7 divide (2 - (-16)/(-3))*(-1008)/60?
True
Let a = 11 + -11. Suppose a*s + 5*s - 130 = 0. Is 13 a factor of s?
True
Let o(a) = a**3 + 8*a**2 - a - 5. Let g be o(-8). Let n(x) = 3*x**2 + x - 4. Does 26 divide n(g)?
True
Let j = 49 - 9. Is j a multiple of 10?
True
Let l(x) = -2*x**2 - 1 + 0 + 3*x**2. Let a(n) = n**2 - 3*n - 3. Let y be a(3). Is l(y) a multiple of 3?
False
Let f(k) = k - 4. Let m be f(6). Suppose -3*x + 3*z = -9, -2*x + 2*z + m*z + 6 = 0. Suppose -x*r + 28 - 10 = 0. Does 3 divide r?
True
Let j(u) = -u**2 + 18*u - 16. Does 15 divide j(13)?
False
Let s(t) = -4*t - 4. Is 7 a factor of s(-3)?
False
Let d(t) = -3*t**3 - 2*t**2 - t. Let g = 4 - 5. Let z be d(g). Suppose z*x + 88 = 4*u, 4*x - x + 22 = u. Is u a multiple of 8?
False
Suppose -4*s = -173 - 367. Is 15 a factor of s?
True
Let h = -7 + 9. Suppose 0 = 4*q - 7*q - 2*u - 45, 0 = h*q - 3*u + 17. Let r = 17 - q. Does 24 divide r?
False
Is 56/(-5)*(-6 - -1) a multiple of 27?
False
Suppose n - 30 + 2 = 0. Suppose 3*j + 23 + n = 0. Let r = j - -26. Is 9 a factor of r?
True
Let b = -2 - -4. Suppose 0*s - 13 = -3*s + b*l, 5*l = -4*s + 48. Let v(o) = 2*o**2 - 6*o + 6. Does 17 divide v(s)?
False
Let k(w) = -w - 3. Let v be k(-5). Let q be (-4)/(-10) - 13/(-5). Suppose l = -r + q*r - 22, -v*r - 4*l = -32. Is r a multiple of 5?
False
Let c be (-1)/(3/(-6)) - -2. Suppose -5*v = -a + 23, -3 + c = 2*a + 5*v. Is (16/(-3))/(a/(-36)) a multiple of 10?
False
Suppose -2*l - 9 = -5*s, -4*s + 16 = 5*l - 11. Suppose -3*w - 1 - 4 = 5*j, -s*w = -2*j - 2. Does 15 divide (-2 - j) + 48 - 2?
True
Let i = 239 + -97. Is i a multiple of 41?
False
Let f be 2*-1 - 984/6. Let o be 2/5 + 77/(-5). Does 9 divide (-6)/o + f/(-10)?
False
Let m(d) = -d. Let c(x) = -x + 1. Let n(o) = -6*c(o) + 7*m(o). Let k be n(-6). Is 17 a factor of 17*(-6)/(-3) + k?
True
Let l(f) = 37*f**2 + 1. Let w be l(1). Suppose k + k = 4*x - 94, 3*x + 5*k - w = 0. Does 21 divide x?
True
Is (-1)/(-2)*30 + 0 a multiple of 11?
False
Does 11 divide (-350)/(-15) - (-6)/9?
False
Let a be 4/(-14) + 4/14. Let y be 34 + (-6)/(3 - a). Suppose w + y = 5*w. Is 3 a factor of w?
False
Let h be (-8)/12*-6*1. Let f(m) be the third derivative of m**5/20 - m**4/6 - 2*m**3/3 - 3*m**2. Is 9 a 