e 0*n - 5*n + 10 = 0. Let c be y(n). Let z = c + -12. Is z a multiple of 8?
True
Let t be 296/56 - (-2)/(-7). Suppose t*n - 1 = -6. Is 17 a factor of n/2 + (-65)/(-2)?
False
Suppose 4*l + 40 + 4 = -4*a, -47 = 5*l - 3*a. Let v be (-4)/l + 63/5. Suppose 15*b - v*b - 108 = 0. Is 15 a factor of b?
False
Let n = 423 + 277. Is n a multiple of 69?
False
Let x = 33 + -23. Let v(k) = 6*k + 7. Let o(q) = -q**2. Let p(l) = -o(l) - v(l). Does 18 divide p(x)?
False
Let c(v) = -v**3 + 5*v**2 + 5*v + 1. Let f be c(6). Let b = -6 - f. Is -4 + (-19)/b + 1 a multiple of 7?
False
Suppose -w = -7*w + 24. Let x(a) = a**3 - 2*a**2 + 7*a + 8. Is 34 a factor of x(w)?
True
Let y(k) be the third derivative of 7*k**4/12 - 2*k**3/3 + 6*k**2. Does 26 divide y(4)?
True
Let q(t) = -138*t + 1. Let h be q(1). Let a = h + 297. Suppose -5*f = -3*i - 200, f - a = -3*f - i. Is f a multiple of 20?
True
Let n(g) = -5*g - 31. Let o be n(-7). Suppose o*w = f - 52, -3*f - w = -4*w - 129. Is 13 a factor of f?
False
Let b = 519 + 1. Does 26 divide b?
True
Suppose -2*r + r + 1000 = 4*v, -3*v + 2*r + 750 = 0. Is 10 a factor of v?
True
Suppose 420*x - 421*x + 402 = 0. Is 13 a factor of x?
False
Suppose 3*s = 2*l + 238, 0*s + 3*s - 4*l - 230 = 0. Does 6 divide s?
False
Does 37 divide (-3)/((-15)/14)*195/6?
False
Let v = -281 - -1353. Does 55 divide v?
False
Suppose 12 = 18*t - 14*t. Suppose 19 = t*b + 5*v, 2*v + 5 = -2*b + 15. Is 2 a factor of b?
False
Let m = -47 + 52. Let k(z) = 2*z**2 - 4*z + 9. Does 13 divide k(m)?
True
Suppose 4*c - 6520 = 2*a, -3*c + 5*a = -1647 - 3229. Does 17 divide c?
True
Let t = 5 + 50. Let c = t + -42. Is 4 a factor of c?
False
Let k(j) = 37*j**2 + 65*j + 693. Does 72 divide k(-11)?
False
Let r(k) = -1258*k - 55. Does 48 divide r(-2)?
False
Let w(k) be the first derivative of -k**2/2 + 12*k + 8. Let u be w(9). Suppose q + 163 = 2*f - 2*q, 0 = -u*f - 4*q + 236. Is f a multiple of 16?
True
Let k(b) = b. Let h(q) = -q**3 + q. Let i(n) = 3*h(n) - 4*k(n). Suppose -4*d - 2 - 2 = 0. Is i(d) a multiple of 2?
True
Suppose 5*f = 54 + 786. Suppose -j - f = -5*j. Does 14 divide ((-1)/(-1))/(3/j)?
True
Let n(k) = k**3 - 12*k**2 + 12*k - 7. Let o be n(11). Suppose -9 - 7 = o*l. Does 11 divide (-6)/l - 214/(-4)?
True
Let h(l) = l + 26. Let j(o) = -o**3 - 15*o**2 - 13*o + 4. Let t be j(-14). Is 8 a factor of h(t)?
True
Let a = 3 + 1. Suppose 345 = -o + a*o. Is o a multiple of 20?
False
Suppose p = 2*a + 134, 2*a + 48 + 86 = -p. Let i be 0 + (-1 - -54)*3. Let z = a + i. Does 23 divide z?
True
Suppose -1 = -2*b - 3*a + 72, -3*a = -5*b + 172. Let q = 50 - b. Let v = q + 10. Is v a multiple of 5?
True
Is ((-1008)/(-40))/(9/120) a multiple of 42?
True
Suppose -3*u + 6227 = 1103. Does 61 divide u?
True
Let v be (9 - 1)*8/16. Suppose -2*l + 7*l = 2*s + 135, -4*l + 96 = -v*s. Is l a multiple of 6?
False
Suppose m = -4*k + 6*m - 13, -3*k + 5*m = 16. Suppose -k*i + 5*b = -22, 5*b + 18 = -0*i + 2*i. Suppose 0 = -0*d - i*d + 44. Is d a multiple of 6?
False
Suppose 2*c - 3*g = -6*g + 947, -5*c = g - 2348. Is c a multiple of 7?
True
Let m = -3 + -13. Suppose 5*g - 5*h = 0, -5*g - 2*h - 33 = -5. Is 16 a factor of (35/g)/(4/m)?
False
Let m = 709 - 756. Let j(g) = 2*g**3 + 2*g**2 - 2*g + 2. Let n be j(-3). Let l = n - m. Does 19 divide l?
True
Let f be (((-1472)/(-20))/(-8))/((-4)/10). Suppose -2*c = -c - f. Does 10 divide c?
False
Suppose -12 - 38 = -5*t. Suppose -2*l + 5*p = 4, 3*l - p - t + 3 = 0. Let y = l - -9. Is y a multiple of 5?
False
Let a = -52 + -75. Let j = a + 179. Is 9 a factor of j?
False
Let r be (-3 + 0)/3 + 1. Suppose r = -7*b + 3*b. Suppose -5*x - i - 3*i + 59 = b, x = -2*i + 7. Is x a multiple of 5?
True
Let z = 16 + -13. Suppose -5*d - 10 = 4*i - 97, 4*d - z*i - 51 = 0. Is 3 a factor of d?
True
Suppose 7*g = 2*g + 20, -3*c = -4*g + 22. Let m(r) = -13*r - 5*r - 31*r - 5*r. Does 34 divide m(c)?
False
Let u(s) = 5*s + 266. Does 9 divide u(35)?
True
Let s = 119 - 117. Suppose 3465 = s*l + 13*l. Is l a multiple of 60?
False
Let n = 1703 - 1114. Does 35 divide n?
False
Suppose 17116 - 1870 = 33*u. Is 22 a factor of u?
True
Is 78/13 - (-1 - 205 - -2) a multiple of 21?
True
Suppose 41 = -5*n + 51. Suppose -4*x = -5*j + 152, -n*j + 5*x = -22 - 49. Is 14 a factor of j?
True
Suppose 255 = 33*g - 801. Is g a multiple of 4?
True
Let w(c) = 16*c + 2. Let v be w(5). Let s = -66 + v. Is s a multiple of 3?
False
Suppose -f - 5*c + 74 = 0, -f + 0*f = 3*c - 78. Let h(r) = 4*r**3 + r**2 + r - 1. Let p be h(1). Suppose f = -p*i + 354. Is 27 a factor of i?
True
Let d(q) = -515*q - 14. Does 11 divide d(-1)?
False
Let l(b) = -b**3 + 7*b**2 - 9*b + 2. Let w be l(6). Let p = -103 - -130. Let f = p + w. Is 11 a factor of f?
True
Let f be (-5564)/(-14) + 24/(-56). Suppose 57 = -4*x - 2*v + f, 2*v - 166 = -2*x. Is 29 a factor of x?
True
Let j(d) = -d**2 + 41*d + 373. Does 10 divide j(46)?
False
Let f(i) = -i**2 + 45*i - 365. Is 2 a factor of f(11)?
False
Suppose 0 = 14*d - 17*d + 1188. Is 11 a factor of d?
True
Let o(m) = m + 6*m + 2*m - 8*m + 19. Let w(f) = f**3 - 6*f**2 - f + 6. Let d be w(6). Does 11 divide o(d)?
False
Let z(g) = 3*g**3 + 3*g**2 + 3*g. Let r(q) = q**3 + q**2 + q. Let k(b) = -17*r(b) + 6*z(b). Let y be k(-2). Is 25 a factor of (-594)/(-21) + y/21?
False
Let t(f) = f**3 - f**2. Let a be t(1). Suppose -u - 2*u = a. Suppose u = -4*k + 5*s + 7, -5*k - 2*s - 1 = -18. Does 2 divide k?
False
Suppose -9*b - 2472 = -11*b. Is b a multiple of 40?
False
Let d(a) = -12*a + 48. Is d(-16) a multiple of 12?
True
Let u(w) = 2. Let o(d) = 1. Let l(n) = 5*o(n) - 2*u(n). Let t(g) = -12*g**2 + g - 1. Let m(f) = -2*l(f) - t(f). Is 12 a factor of m(2)?
False
Suppose 3*h = -l + 392, 5*h + 1483 = -l + 5*l. Is l a multiple of 20?
False
Suppose -3 - 13 = 4*c, 0 = -r + 3*c - 76. Let a be (-1)/4 + 1354/8. Let o = r + a. Does 14 divide o?
False
Suppose 3*p - 22 = -10. Suppose 4*j = p*q - 752, -3*j = 2*q - 4*q + 373. Does 13 divide q?
False
Suppose -15*y - 112 = -19*y. Suppose 196 = r + y. Is 42 a factor of r?
True
Let f = 434 - 308. Suppose -5*v + 276 + 300 = -2*n, v + 5*n - f = 0. Is 29 a factor of v?
True
Let t = 6 - -26. Let d(x) = -x**2 + 2*x - 2. Let z be d(3). Let a = z + t. Is a a multiple of 9?
True
Let s = -23 + 28. Suppose s*v + 2*m = 480, -17 - 79 = -v - 3*m. Is 25 a factor of v?
False
Let y(f) = -5*f**3 + 3*f**3 + 8 + f**3 - f - 7*f**2. Let c be 96/(-14) + 3/(-21). Is y(c) a multiple of 5?
True
Suppose -3 = 3*s + 6. Let r(q) = q**3 + 3*q**2 - q - 4. Let j be r(s). Let a(n) = -10*n**3 - n**2 - n. Is a(j) a multiple of 10?
True
Suppose -4*q = -5*t - 0*t - 104, 5*t + 3*q = -132. Let j = -10 - t. Is 1 + (j - 3) + -1 a multiple of 11?
True
Suppose -3*h + 2*o + 12 = 0, -4*o = 2*h - h - 18. Suppose -4*x - 5*s + 235 = 0, -2*s = -3*x - h*s + 176. Is 10 a factor of x?
True
Suppose -5*t = 2*v - 481, 4*t + 228 = 2*v - 280. Is 3 a factor of v?
False
Let t = 85 - 87. Is (t - (-3)/12)*-40 + -3 a multiple of 44?
False
Suppose -4*n = -4*w, -n - 28 = -6*n - 2*w. Suppose 3*c = 10 - n. Suppose 4*z - 2*t - 136 = 0, -z + 4*t = c*t - 31. Is z a multiple of 6?
False
Let l(y) = -1626*y + 6. Let f be l(2). Is 12 a factor of f/27*-1 - 2/9?
True
Let c(x) = -x**3 - 10*x**2 - 12*x - 21. Let b be c(-9). Suppose 0 = 5*i - 6 - 4. Is 4 a factor of b/(-12) + 29/i?
False
Suppose 0 = 4*a - 10 - 6. Suppose -h = -5*h + 16. Suppose -h*t = v + a*v - 317, -5*t + 370 = v. Is t a multiple of 17?
False
Let j = 45 - 1. Is 20 a factor of ((-34)/1)/(j/(-198))?
False
Let o = 45 + -39. Suppose 2*n - 102 + o = 0. Does 6 divide n?
True
Let q be 158/(-6) - (-16)/48. Let f = 41 + q. Does 5 divide f?
True
Suppose -2*k = -7*k - 3*j - 422, -3*j - 94 = k. Let f = k - -86. Does 3 divide f?
False
Suppose -w + 1 = 0, 0*d - 4*w = 3*d - 19. Is (-2)/d + (-102)/(-5) a multiple of 7?
False
Let k(h) be the third derivative of -4*h**4/3 + 3*h**3/2 + 39*h**2. Is 7 a factor of k(-3)?
True
Let l(x) = -x**3 + 7*x**2 - 7*x + 8. Let y be l(6). Suppose y*o - 51 = 49. Is o a multiple of 10?
True
Is (741/95)/(3/195) a multiple of 39?
True
Suppose 3*l = -4*r - 49, -4*r = 8 + 8. Let a be -2*(114/(-4))/3. Let i = l + a. Is 2 a factor of i?
True
Let j be (-2)/9 - (-636)/(-54). Let r be j/28 - (-120)/(-14). Let f = 31 + r. Does 14 divide f?
False
Suppose -76 + 1654 = 6*n. Doe