 u = y - g. Does 22 divide u?
True
Let l(i) = -i**3 + i. Let m(z) = z**3 + z**2 + 1. Let a(s) = -5*l(s) + m(s). Is 24 a factor of a(2)?
False
Let p(z) = -z**3 - 11*z**2 - 21*z. Is 84 a factor of p(-12)?
False
Let o(v) = 32*v - 9. Suppose 3*t - 25 = -2*m, m - 2*t + 1 = -4. Let p be o(m). Suppose 0 = 2*n + 3*j - 119, -5*n + 5*j + 134 + p = 0. Is n a multiple of 29?
True
Suppose -769 = -3*k + 1196. Does 17 divide k?
False
Suppose 260*m - 5950 = 250*m. Does 6 divide m?
False
Does 81 divide -35*(-9)/((-450)/(-6230))?
False
Let o = 405 + -713. Does 18 divide (162/(-15))/(o/(-160) - 2)?
True
Let u be 6/(-18) + (-21)/(-9). Let d(z) = 36*z**2 - z + 8. Does 15 divide d(u)?
True
Suppose -2*g = -f - 9, -4*f + g - 17 = -2. Let i be 0 + 2 + f + 17. Let a = 28 - i. Is a a multiple of 3?
True
Suppose 4*y + 4*g = -4, -6 = -y + 2*g + 8. Let s = -255 + 507. Suppose y*l - s = l. Is 28 a factor of l?
True
Suppose -5*g - 379 = -8*g + 2*w, -5*g + 5*w + 635 = 0. Does 25 divide g?
True
Let p(r) = -3*r + 6. Let k be 4*((-1)/(-3))/(20/(-75)). Is p(k) a multiple of 10?
False
Let u = -2 + 4. Let t be u - (0 + 2/1). Suppose 4*p - 57 - 63 = t. Is p a multiple of 18?
False
Let x(c) = c**3 + 4*c**2 - 5*c. Let u be x(-5). Suppose 3*b = 4*i - u*i - 147, b = -i + 35. Is 13 a factor of i?
False
Let a = -772 + 1033. Does 2 divide a?
False
Suppose -12*l - 2*n = -8*l - 3196, -804 = -l - 3*n. Is l a multiple of 7?
True
Let q be 1030/(-8)*(-20)/5. Suppose 5*f - 4*p - q = 0, 4*f - 5*p + 123 - 544 = 0. Is 13 a factor of f?
False
Let m(f) = f**2 + f. Let a be m(-3). Suppose 0 = -2*u - 1 + 5. Suppose 0 = -k - d + 64, 0 = a*k - u*k - 4*d - 280. Does 21 divide k?
False
Let h = -54 - -46. Let c(j) = j**3 + 10*j**2 + 8*j + 12. Is 12 a factor of c(h)?
False
Suppose 3 = v, 3*v - 2200 = -5*x + 1809. Does 50 divide x?
True
Let c(b) = 7*b**2 - 13*b + 1. Let y(w) = -3*w**2 + 6*w. Let g(q) = 4*c(q) + 9*y(q). Let x = -25 + 21. Is g(x) a multiple of 6?
True
Suppose 8*h = 2827 + 2133. Does 9 divide h?
False
Let j be 26/6 - (-10)/15. Suppose -2*s = -1 + j, -2*s - 7 = t. Is 6 a factor of t/(-18) + (-59)/(-6)?
False
Let w(v) = v**2 - 11*v - 5. Let d be w(-4). Suppose -3*p + 2*k = 7*k - 160, 2*k = -p + d. Is 15 a factor of p?
True
Let q(r) = 3*r**2 - 4*r - 1. Suppose -23 = -0*l + l - 5*o, 2*l = 4*o - 16. Is q(l) a multiple of 3?
True
Does 19 divide 31658/77 + 1/(-7)?
False
Suppose 4*l - 8 = -s, 5*s = -4*l - 19 + 11. Suppose -611 = -l*g - 10*g. Does 8 divide g?
False
Suppose 4*a - a - 4*g = 2268, 0 = -2*a - g + 1501. Is a a multiple of 16?
True
Is 2 a factor of (-10)/(-6) + 14322/63?
False
Let k(d) be the first derivative of d**4/4 - 11*d**3/3 + 15*d**2/2 - 6*d - 21. Is k(10) a multiple of 22?
True
Let j(c) be the third derivative of 29*c**5/30 - 7*c**2. Let y be j(-1). Suppose 5*d - 127 - 2 = -4*k, -3*k + 4*d + y = 0. Is 11 a factor of k?
False
Suppose 2*q - 2 - 22 = 0. Suppose 4*l - v = 9, 2*v + q = 3*l + 2*l. Let m(p) = 2*p**3 - 4*p**2 + 4*p - 3. Is m(l) a multiple of 3?
False
Let l be 3 - (27/(-3))/3. Is 18 a factor of l/(-27) + (-326)/(-9)?
True
Suppose 2*b - 5*g = 10 + 56, 0 = 4*b - 5*g - 122. Is 28 a factor of b?
True
Let l(b) = b**3 - 10*b**2 + 16*b + 1. Let k be l(6). Let p = -32 - k. Does 15 divide p?
True
Let o(k) = 15*k - 58. Is o(11) a multiple of 3?
False
Let z = -38 - -41. Let g = 360 + -243. Suppose 0 = t + 3*t + k - g, -5*k - 59 = -z*t. Is t a multiple of 5?
False
Let k be 2696/11 + 8/(-88). Suppose -g + k = 2*w - 118, -5*g + 735 = 4*w. Is w a multiple of 12?
True
Let u(j) = 20*j + 434. Is u(-13) a multiple of 29?
True
Suppose 0*n = -2*n - z + 20, -16 = -2*n - 3*z. Suppose 3 = -2*k + n. Suppose -6*t + 30 = -k*t. Is 5 a factor of t?
True
Let x(u) = 19*u + 691. Is 2 a factor of x(-34)?
False
Let q(n) be the first derivative of -n**5/120 + 17*n**4/24 - n**3/3 + 3. Let l(c) be the third derivative of q(c). Is 5 a factor of l(-5)?
False
Let y(i) = -2*i**3 + 32*i**2 - 16*i + 4. Is y(14) a multiple of 47?
True
Let l be (-6)/9 + 723/(-9). Let s = -9 - l. Does 53 divide s?
False
Let r = 6 - 0. Suppose r*q = 8*q. Suppose -6*z + 338 + 100 = q. Does 15 divide z?
False
Let k = 704 - 699. Let p = 15 - 28. Let o = k - p. Is 6 a factor of o?
True
Suppose 0 = -5*r - 25, 5*d - 599 = d + 3*r. Suppose -213 - 359 = -4*p - 5*q, p = -2*q + d. Is p a multiple of 18?
False
Let f(x) = x**2. Let k be f(3). Let j = k + 11. Is j a multiple of 5?
True
Let f(i) = 15 + 2*i + 14 + 40 - 7. Is 31 a factor of f(0)?
True
Suppose 2*b + 1674 = 3*n - b, 3*n - 1669 = 2*b. Is n a multiple of 27?
False
Suppose 3*x + 15 = -0, 4*x = -3*a - 8. Suppose 4*y + u = -0*y + 297, -4*y - a*u + 300 = 0. Does 13 divide y?
False
Suppose 483 + 2215 = 4*m + 2*j, 0 = -4*m + j + 2683. Does 32 divide m?
True
Let i(u) = u**2 - 17*u + 14. Suppose 3*a - 4*p = 70, -a + p = a - 40. Does 16 divide i(a)?
True
Let h(a) = -2*a**3 - 78*a**2 + 34*a - 101. Is 18 a factor of h(-40)?
False
Let t be (-2157)/(-12) - 2/(-8). Let z = 28 + -26. Suppose z*h = 5*h - t. Does 15 divide h?
True
Let j(l) = l**3 + 10*l**2 + 2*l - 72. Does 23 divide j(8)?
False
Let i = -106 + 111. Suppose 0 = 2*y + i*r - 97, r - 87 = -2*y + 6*r. Is y a multiple of 23?
True
Is 20 a factor of ((-350)/75)/((-3)/171)?
False
Let f(d) = -d**3 + 7*d**2 - 3*d - 4. Let i be f(5). Suppose -q + 19 = 3*z, 0 = 5*q - z - 126 + i. Suppose 16*v = q*v - 78. Does 11 divide v?
False
Let t = 5688 + -4014. Is 35 a factor of t?
False
Suppose -14*b = 2393 - 9155. Is 58 a factor of b?
False
Let s = 366 - 170. Suppose -4*p + 5*n - s = 0, 3*n = -3*p - 0*p - 174. Is (-15)/2*p/15 a multiple of 9?
True
Suppose 11 = -a + 5*z, -9 = a - 4*a + z. Suppose 0 = -a*t - 8, -4*u + 3*t - 26 = -92. Does 6 divide u - (18/(-3) + 3)?
True
Let v(i) = 185*i + 990. Is 11 a factor of v(0)?
True
Let o(c) = 7*c - 27. Let q = 0 + 16. Does 25 divide o(q)?
False
Let i be 8 + 5/(-25)*-5. Suppose 3*t = 84 - i. Does 25 divide t?
True
Suppose 15*w = 1701 + 1269. Is 33 a factor of w?
True
Let b(r) = r**3 - 6*r**2 - r + 8. Let y be b(6). Suppose -2 = -y*n + 28. Is n a multiple of 5?
True
Let b = -281 - -1466. Is b a multiple of 15?
True
Let s(w) = -4 + 19*w + 6*w**2 - 81*w + 19*w + 22*w + 24*w + w**3. Suppose -3*g = 4 + 11. Is s(g) a multiple of 6?
True
Let j = -15 + -5. Let o = 44 + j. Is o a multiple of 12?
True
Let n = 44 + -54. Is (-194)/(-6) - (-3 - n/3) a multiple of 16?
True
Let b(j) = -40*j + 1. Suppose -11 = 2*a - 35. Suppose -8 = -4*k - a. Is 24 a factor of b(k)?
False
Suppose l + 4*l = 575. Let d = -19 + l. Is 32 a factor of d?
True
Let k(y) = -2 + y**3 - 2 + 9 + 13 - 16*y - 16*y**2. Let j be k(17). Does 17 divide (-10)/4*(-476)/j?
True
Suppose 310 = -3*l + 877. Let b = l - 128. Is b a multiple of 7?
False
Let v(g) = 6*g + 23. Let d be v(7). Let x = -57 + d. Is x a multiple of 8?
True
Let z(n) = n**3 + 8*n**2. Let s be z(-8). Suppose 0*q - 2*q - 48 = s. Is (q/(-10))/(3/10) a multiple of 2?
True
Suppose 27*d - 584 = -98. Is d a multiple of 13?
False
Suppose -8*v + 2026 - 458 = 0. Does 20 divide v?
False
Let w = 30 + 483. Suppose 0 = 2*p - 11*p + w. Is 12 a factor of p?
False
Let o(a) = -159*a + 105. Let u(x) = -20*x + 13. Let h(d) = 4*o(d) - 33*u(d). Let v be h(4). Suppose -13*r + 10*r = -v. Does 5 divide r?
False
Is -5 + (-6 - 25354/(-7)) a multiple of 23?
True
Let l = 31 - 28. Suppose 0 = -2*o - n + 278, -3*o + 524 = l*n + 110. Does 20 divide o?
True
Let u(h) = -h**3 - h**2 + h + 57. Let w be u(0). Suppose -5*b = w - 282. Is 20 a factor of b?
False
Suppose -10*v + 20 = -5*v. Suppose 8 = v*a - 4. Suppose -80 = -a*m - m. Does 10 divide m?
True
Let w(v) = 4*v**2 + 5*v - 2. Let j be w(-9). Let d = 104 + j. Suppose -5*l = -d - 34. Is 18 a factor of l?
False
Let x = 531 + -411. Is 34 a factor of x?
False
Suppose 3*v + 4*o = -47 + 339, 0 = 4*v + 4*o - 392. Is 20 a factor of v?
True
Let g(k) = -2*k**3 - 10*k**2 - 10*k + 33. Is g(-7) a multiple of 12?
False
Let u = 2803 - 1907. Is 16 a factor of u?
True
Let w(a) = -a**3 - 3*a**2 - 2*a + 2. Let v be w(-2). Suppose -g - 1014 = -5*d - v*g, 5*g + 384 = 2*d. Does 15 divide d?
False
Let t = -20 + 10. Let a = t - -15. Suppose -23 = -3*y - a. Is y a multiple of 2?
True
Let y(v) = v**2 - 2*v - 3. Let o be y(4). Let g(w) = -2*w**3 + w**2 + w - 4. Let k be g(o). Is (1/(-1))/(16/k) a multiple of 6?
False
L