ose 5*n = 539 + 31. Is n a multiple of 38?
True
Suppose 0 = 17*q - 11*q - 486. Is q a multiple of 27?
True
Let a(c) = c - 1. Let p be ((-10)/(-4) - 1)*2. Let w be a(p). Suppose -16 = -w*x + 16. Is x a multiple of 7?
False
Let h(x) = 110*x**2 - x + 1. Is h(1) a multiple of 24?
False
Let z(q) = 9*q + 3. Let u(s) = -9*s - 4. Let t(k) = -3*u(k) - 4*z(k). Is 21 a factor of t(-6)?
False
Let g be 20/(-9) + 4/18. Suppose 0 = 5*m + 57 - 7. Is (95/m)/(1/g) a multiple of 19?
True
Suppose 0 = 3*a + h + 50, 2*a + 5*h = -3*a - 100. Let z be 1/(12/a - -1). Suppose 3*q - 29 = -z. Is 3 a factor of q?
False
Let u(h) = h**2 + 3*h - 2. Suppose -2 = 3*t - 4*d - 10, 2*t = -3*d - 6. Suppose 4*b - 15 + 3 = t. Does 8 divide u(b)?
True
Is 97/9 - 14/(-63) a multiple of 11?
True
Let i(l) = l**3 + 7*l**2 + 5*l - 5. Let d be i(-6). Let t(a) = -a - 5. Let o be t(-6). Let x = d + o. Is x a multiple of 2?
True
Let g = 387 - 263. Is g a multiple of 14?
False
Let o(j) = 3*j - 7. Let h(l) = l**3 + 3*l**2 - 2*l. Let x be h(-2). Is o(x) a multiple of 9?
False
Let l = -19 + 17. Is 7 a factor of (l*3)/3 + 23?
True
Let n be (-17 + -6)*(2 - 8). Is 15 a factor of (2/(-6))/((-1)/n)?
False
Let t = -200 + 298. Does 7 divide t?
True
Let i(y) = 2*y - 2. Let u be i(2). Suppose -7 = -u*p + 9. Is p a multiple of 6?
False
Let f be 28/126 + (-277)/(-9). Suppose -u - 10 = -f. Is u a multiple of 12?
False
Let x = 23 - 32. Let z(a) = -2*a + 3. Does 7 divide z(x)?
True
Let i = -1 - -10. Is i a multiple of 3?
True
Suppose -12*g + 15*g = 42. Is 7 a factor of g?
True
Let n be 75/(-12) - 15/20. Let z(k) = -k**3 - 5*k**2 + 7*k + 1. Does 12 divide z(n)?
False
Suppose 0 = -3*q - 2*q + 270. Does 18 divide q?
True
Let l(u) = -4*u - 10. Let y(s) = -5*s**2. Let k be y(-1). Does 6 divide l(k)?
False
Let r = 55 + -30. Is 5 a factor of r?
True
Suppose -7*o + 4*o + 270 = 0. Is o a multiple of 9?
True
Let z(t) = -1 - 25*t - 1 + 26*t. Is z(9) a multiple of 2?
False
Let d = 11 + -2. Suppose -90 = -d*j + 4*j. Is j a multiple of 14?
False
Let d = 76 - 40. Let n = 68 - d. Is n a multiple of 8?
True
Suppose -5*y = g + 25, 3*y + g = -g - 8. Let m(i) = -i**3 - 7*i**2 - 8*i - 2. Does 10 divide m(y)?
True
Let b be 10/(-25) - 747/(-5). Suppose -2*g = 3*v - b, -3*g = 3*v - 6*v + 174. Is 18 a factor of v?
False
Let i = 301 - 21. Does 40 divide i?
True
Suppose 4*p + 2 = 5*w - 26, -5*w - p + 18 = 0. Let z(t) = t**2 + 4*t - 6. Is 13 a factor of z(w)?
True
Let x(i) = i**2 + 8*i + 5. Let g(d) = -d**2 + 1. Let h be g(3). Does 5 divide x(h)?
True
Let h = 2 + -7. Let d = h - -12. Is 3 a factor of d?
False
Suppose 0 = -n - 15 + 1. Let f = n + 39. Does 15 divide f?
False
Let i = 183 + -94. Is 9 a factor of i?
False
Let u(y) = -y**3 - 3*y**2 + 7*y + 2. Suppose 0 = -4*l - 16 - 4. Is 6 a factor of u(l)?
False
Let z(n) = n**3 - 8*n**2 + 2. Let d be z(8). Suppose -2*x = -x - d. Suppose x*h = -2*h + 64. Is 8 a factor of h?
True
Suppose 0 = 2*m - 0*m + 12. Let n be 26/4*(-4 - m). Suppose 2*o - n = -o - 5*l, 0 = -2*l - 2. Is 6 a factor of o?
True
Let l(a) = 7*a**2 - 6*a + 14. Let x(u) = 3*u**2 - 3*u + 7. Let z(o) = 4*l(o) - 9*x(o). Does 11 divide z(-8)?
True
Let l = -458 + 313. Let n = 87 + l. Does 9 divide n*(-1 - 3/(-6))?
False
Suppose 3*n + 6 = 0, -q - 3*q + 4*n = -112. Let l = -16 + q. Is l a multiple of 7?
False
Suppose 5*g = -4*i + 153, -3*g + 2*i + 105 = -0*i. Suppose -2*u = -u - 54. Let o = u - g. Does 21 divide o?
True
Let k(n) = n**3 - 21*n**2 + 22*n - 4. Is 12 a factor of k(20)?
True
Let c be 1/3 + 121/(-3). Let b = -76 - c. Let z = -21 - b. Is z a multiple of 6?
False
Suppose 2*w - 3*w + 5*k = -18, -w + k + 34 = 0. Let h(u) = -u**3 - u**2 - 15. Let r be h(0). Let p = r + w. Is 16 a factor of p?
False
Let d(x) = -2*x - 23. Let c be d(-12). Let p(s) = 28*s**2. Is p(c) a multiple of 21?
False
Suppose -302 - 40 = -6*a. Is 22 a factor of a?
False
Suppose 4*l - 769 - 111 = 0. Suppose 5*m = -5*u + l, 276 - 80 = 5*m - 3*u. Is 14 a factor of m?
False
Suppose 5*a = 4*l + 21, 0 = -3*l + a - 13 - 11. Let x be 2/6 - (-48)/l. Does 10 divide 100/6*(-6)/x?
True
Let q = 9 - 12. Let n = 0 - q. Suppose -n*y + 0*y - 16 = -2*r, r - 15 = -2*y. Is r a multiple of 7?
False
Suppose -4*c + 9 = 1. Suppose -6*u = -4*u - 3*h - 24, u + 2*h = 12. Let g = c + u. Is 14 a factor of g?
True
Let a(r) = -r + 7. Let u be a(7). Let w = 0 + u. Suppose -2*k + l + 32 = -3*l, -3*k - l + 20 = w. Does 8 divide k?
True
Let x(j) = -3*j + 6. Let s be x(3). Is 2 a factor of ((-3)/2)/s*10?
False
Suppose 5*q - 409 = -3*s, 0*q + 77 = q - s. Suppose -4*a = 2*g - q, 0 = -6*g + g + 5*a + 185. Is g a multiple of 10?
False
Let y(z) = -z**2 + 6*z - 7. Let g(u) = -2*u**2 + 18*u - 21. Let n(q) = 3*g(q) - 8*y(q). Suppose 5*v = -5*d - 50, v = 2*d + 6*v + 35. Is n(d) a multiple of 10?
False
Let r(b) be the third derivative of -b**5/60 - 3*b**4/8 - 3*b**3/2 - 4*b**2. Suppose -3*x - 38 = 2*x - 2*k, -x + 14 = 5*k. Does 8 divide r(x)?
False
Let r(s) = -s**3 + 7*s**2 - 4*s - 7. Let p be r(6). Suppose 3*w - 109 = 5*l + 2, p*w - 163 = l. Does 11 divide w?
False
Let v be -3*(2*-1)/(-6). Let m = -4 - -7. Is (1 - 2)*v*m a multiple of 2?
False
Let g(x) be the third derivative of 5*x**4/24 + x**3/6 - 2*x**2. Is 18 a factor of g(7)?
True
Suppose 4*a - 21 = -1. Let p be (1 - 2)*(-25)/a. Let f(s) = -s**3 + 7*s**2 - 8*s + 7. Does 9 divide f(p)?
False
Does 8 divide (-2 + 5)/(3/46)?
False
Does 17 divide (-50 - 1)/((-81)/108)?
True
Suppose 5*z + 4 = -21. Let g(c) = c**2 + 2*c - 6. Is 9 a factor of g(z)?
True
Let j be (10/8)/(2/40). Let g be 47 + (-1 - -2)*-1. Let n = g - j. Does 9 divide n?
False
Let d = -4 - -8. Suppose d*x = -8 + 20, 5*r + 45 = 5*x. Let y = r - -22. Does 6 divide y?
False
Suppose 536 = 3*y + 32. Is 12 a factor of y?
True
Let f(m) = -m**2 + 9 + 0*m**3 - 2*m**2 - 3 - m**3. Does 14 divide f(-5)?
True
Let u(a) be the third derivative of 5*a**4/12 - 2*a**3/3 + a**2. Let v be u(5). Suppose -4*y = -2*s - 2*y + 32, -4*s = 5*y - v. Is s a multiple of 7?
True
Let d(z) be the third derivative of -z**6/360 + z**5/20 + z**4/24 + 4*z**2. Let i(t) be the second derivative of d(t). Is i(-10) a multiple of 7?
False
Let o be 21*(10/(-6))/(-5). Is ((-34)/(-4))/(o/14) a multiple of 8?
False
Suppose 6*v - 172 = -52. Is 10 a factor of v?
True
Let x(d) = 2*d + 2. Let w be x(-2). Let s = 5 + w. Does 7 divide 0/s - -1 - -6?
True
Let n(y) = -y**3 + 13*y**2 - 12*y + 22. Is n(10) a multiple of 16?
False
Let i(p) = -p - 3. Let b be i(-5). Suppose 0*w = -b*w + 2*a + 36, 2*w - 3*a = 36. Is w a multiple of 6?
True
Suppose -h - 15 = -2*h. Is 14 a factor of h?
False
Let n = 180 + -88. Let k = -43 + n. Is 28 a factor of k?
False
Suppose 2*n - 4*d + 94 = 0, n + 3*d + 59 = -n. Let h = 64 + n. Is 14 a factor of h?
False
Suppose 13*o + 5*o = 2016. Is o a multiple of 14?
True
Let w = -8 + 15. Let z = -2 - w. Let x = z - -30. Is 7 a factor of x?
True
Let j(s) be the third derivative of 3*s**5/10 - s**4/24 - s**3/6 + 2*s**2. Suppose 2*w - 3*w - o = 3, 0 = -4*w + 2*o. Is 18 a factor of j(w)?
True
Let l(k) = -11*k - 21. Does 20 divide l(-11)?
True
Suppose y - 5*r + 3*r + 2 = 0, 4*y + 4 = 4*r. Suppose y = 2*j - 26 - 6. Is j a multiple of 4?
True
Let f = -5 - -9. Suppose 0 = -3*k - f*m + 413, 0 = -4*k - 0*m - 4*m + 548. Suppose -2*b - b + k = 5*o, -3*b - 135 = -4*o. Is 17 a factor of o?
False
Let c = 28 - 156. Is 16 a factor of c/(-6)*3/2?
True
Let w(g) = -3*g + 1. Let f(b) = 21*b - 6. Let n(a) = -2*f(a) - 15*w(a). Is 9 a factor of n(4)?
True
Let w be (8 + -5)*2/2. Suppose 4*z - 252 = w*h, -z + 4*h + 36 + 14 = 0. Does 24 divide z?
False
Suppose 0 = m + 2*m - 3*a + 45, -63 = 5*m - 2*a. Let t = 7 - m. Does 6 divide t?
True
Suppose -10 + 0 = -5*g + 4*c, 5*c = 5*g - 10. Let n(h) = 2*h**2 - 3*h + 1. Let j be n(g). Suppose -j = -s + 20. Is s a multiple of 23?
True
Let m = -4 - -7. Let n = 28 + m. Is n a multiple of 25?
False
Let y = 10 - 23. Let m = y + 31. Does 8 divide 4/m + (-534)/(-27)?
False
Let z = 322 - 94. Is z a multiple of 20?
False
Let n be (-30)/4*2/(-3). Suppose 2*q = 2*z + 5*q - 72, -n*z + 158 = 2*q. Is z a multiple of 10?
True
Suppose -5*s + 1 = b, 5*b = 2*s - 14 - 8. Suppose 6 - 31 = -5*c. Let u = c - s. Is u a multiple of 4?
True
Let v(n) be the first derivative of n**3/3 + 2*n**2 - 4*n - 5. Suppose 8*w - 3*w - 3*t - 17 = 0,