 g**3 - g**2 - 3*g - 2. Let h = 9 + -9. Let a(i) = i**2 + 3. Let p be a(h). Is l(p) a multiple of 4?
False
Let k(n) be the first derivative of n**4/4 + 5*n**3 - 5*n**2/2 - 20*n + 59. Suppose 3*s + 15 = 2*s. Does 11 divide k(s)?
True
Suppose 2*a + 38 = 4*a. Suppose -4*v - 5*j + 50 = 0, 2*v - 3*j = a - 5. Is 126/v + 8/20 a multiple of 3?
False
Let p = -55 + 31. Let f(c) = c**2 + 14*c - 42. Is 30 a factor of f(p)?
False
Is 47 a factor of -8*(-40)/32*67?
False
Let b(c) = -c - 14. Let u be b(-14). Suppose 5*y - 25 = u, n - y + 2*y = 127. Is 16 a factor of n?
False
Let h = 5 + -6. Does 52 divide h*(4 - 1)/3 - -157?
True
Let b be (4 + 7/(-2))*-24. Does 10 divide (b/3 - -8) + 11?
False
Suppose 5*o = -2*m + 68, -3*o - 5*m + 32 = -2*o. Suppose -2*u = 5*b - 4*u + 26, b + 3*u = -o. Does 7 divide 28 - 0 - (b + 3)?
False
Let o = -15 - -12. Is 2 + (-60)/o - -3 a multiple of 25?
True
Suppose -h - 2*h = -k - 2, 4 = -4*h + 3*k. Let v(x) be the third derivative of x**6/30 + x**5/60 - x**4/24 - x**3/3 - 2*x**2. Is v(h) a multiple of 15?
False
Suppose 0 = i + 2*o - 0*o, 0 = -2*o + 2. Let q be ((-20)/(-25))/(i/(-105)). Suppose -q = -3*g + 216. Is g a multiple of 23?
False
Let v = 1 - -13. Let s(a) = -a**2 - 6*a + 2. Let w be s(-7). Let f = w + v. Is 4 a factor of f?
False
Let h(g) = g + 11. Let o(q) = 2*q + 22. Let f(r) = -7*h(r) + 3*o(r). Let m be f(-13). Suppose -4 = m*n, -9 = 3*l + n - 34. Does 7 divide l?
False
Suppose 0 = 5*o - 2*r + 56, -4*o - 3*r = 18 + 13. Is 0*(-5)/o - -2 a multiple of 2?
True
Let p(h) = h**2 - 11*h + 11. Let k be p(8). Let s = k + 299. Does 26 divide s?
True
Let q = -28 + 22. Is (((-4200)/18)/(-10))/((-2)/q) a multiple of 10?
True
Suppose 20*g - 3020 = 10*g. Does 12 divide g?
False
Suppose -5*k = 5*k - 2370. Suppose -2*n + 5*x + k = 0, 2*n + 5*x = -119 + 326. Is 42 a factor of n?
False
Suppose y + 4*z = 0, 4*y - 16 = z + 35. Let i = 126 + y. Is i a multiple of 14?
False
Let s(o) = -o**3 + 2*o**2 + 10*o - 6. Let i be s(4). Suppose 107 = i*b + 37. Is 18 a factor of b?
False
Let s be (-14)/2 - (-1 + -1 + -1). Is ((-14)/s + -2)/((-33)/(-1738)) a multiple of 10?
False
Let t(o) = o**3 - 5*o**2 - 9*o - 19. Suppose y - 4*y = 9, 5*y = 3*q - 36. Is t(q) even?
True
Suppose 2*d - 2324 = 2*k, 3*k - 4342 = -5*d + 1500. Is d a multiple of 5?
False
Let t(b) = -b**2 - 23*b - 35. Let n be t(-19). Suppose n*m + 555 = 46*m. Is 14 a factor of m?
False
Let l(g) = 16*g**2 - 10*g - 210. Is 98 a factor of l(-9)?
True
Let z = 25 - 61. Let t be (z/(-20))/((-6)/(-10)). Suppose 0 = -t*d + 301 - 85. Does 31 divide d?
False
Is (2 - -134)*(150/(-15) + 12) a multiple of 24?
False
Suppose 33*r - 110 = 32*r. Does 3 divide r?
False
Is -3 + 67 - (-6 + 3 + 0) a multiple of 21?
False
Let y = 4 + 194. Suppose y = -5*j + 8*j. Does 11 divide j?
True
Let x(o) = -3*o + 2 + 5 - 2*o + 1. Is 23 a factor of x(-3)?
True
Suppose 0 = 20*m - 1068 - 1012. Does 29 divide m?
False
Suppose 7*y - 252 = 3*y. Suppose 0 = -5*j - b - y, 0 = 2*j - 0*j - 4*b + 12. Let x = j + 25. Is 12 a factor of x?
False
Suppose 21*v - 20*v = 3. Suppose 2*b + 474 = 6*f - 4*f, 0 = 4*f - v*b - 945. Is 18 a factor of f?
True
Let d = -159 + 259. Let v = d + -98. Is v even?
True
Let d = -1457 - -2253. Is 18 a factor of 1/5 + d/(-60)*-3?
False
Suppose -11791 = -10*a + 3409. Is 38 a factor of a?
True
Let l(d) = 2*d**3 - 10*d**2 + 21*d - 1. Is l(7) a multiple of 53?
False
Suppose -2*r = -125*d + 123*d - 2728, -5*r = 3*d - 6812. Is r a multiple of 14?
False
Suppose 2*s + 0 = 24. Is s a multiple of 3?
True
Let x be (-154)/(-8) - 6/24. Suppose -3*r = 3*m + 9, 3*m = m + 3*r + x. Is 3 a factor of (1 - m)*(-7 - 2)?
True
Let r(t) = t**2 - 10*t - 9. Let i be r(11). Suppose 4*d + 24 + 430 = 2*j, i*j + 2*d = 484. Suppose j + 12 = 3*q. Does 29 divide q?
False
Suppose -660 = 3*d + 4*q - 2440, -3*q = -3*d + 1815. Is d a multiple of 40?
True
Let a(c) = -c**2 - 21*c - 44. Is 18 a factor of a(-15)?
False
Suppose 11*p + 2*p = 806. Does 2 divide p?
True
Suppose 5*n + 2*m = 4050 + 5415, 5*m - 5660 = -3*n. Is 92 a factor of n?
False
Let j = -16 + 16. Suppose y + 4*s = -j*s + 9, 4*y - 84 = -4*s. Is y a multiple of 19?
False
Let p = 7 - 11. Let v be 1/2*p - -2. Suppose v*t + 27 = 2*t - c, 2*t - 57 = -5*c. Is t a multiple of 4?
True
Let q(b) = 67*b**3 - 5*b**2 + 7*b - 9. Does 12 divide q(3)?
True
Suppose -5*z = 2*j - 38, 2*z - 4*j = 7*z - 46. Is z/(-3)*394/(-4) a multiple of 18?
False
Suppose -8*r + 4*r - 4 = 0, 3*z + r = 1124. Is 14 a factor of z?
False
Suppose -7413 = -4*s + 1115. Is s a multiple of 52?
True
Suppose -19*a = 371 - 7002. Does 26 divide a?
False
Suppose 2*f - 156 = -5*c, -2*c - 4*f + 82 - 10 = 0. Let a = 93 + -56. Let i = c + a. Does 13 divide i?
False
Let g(w) = 2*w**2 - 3*w + 3. Let y = 33 - 22. Let t(z) = -z**2 + 12*z - 14. Let v be t(y). Is 10 a factor of g(v)?
True
Is 4 a factor of (-15)/(-35) - (-4946)/7?
False
Let m be (-10723)/(-15) - (13/15 - 1). Let o = m + -499. Does 24 divide o?
True
Let s(l) = 8*l + 3. Suppose 2*n - 114 = 6*n - 5*c, 0 = 2*n - c + 54. Let x = -17 - n. Is s(x) a multiple of 15?
True
Suppose -8*f + 0*f + 2816 = 0. Suppose 3*x - f = -4*g + 103, 5*g - 606 = -4*x. Is 32 a factor of x?
False
Let n = -19 - -29. Suppose -n*r + 13*r - 198 = 0. Is 22 a factor of r?
True
Suppose 3 = 2*r - 3. Let j(z) = -z - z**r + z + 14 + 0*z. Is 9 a factor of j(0)?
False
Let j(z) = -4 - 3*z**2 - 10*z + 2*z**2 + 0*z**2 + 0*z**2. Let r be j(-9). Suppose r*a - 41 - 104 = 0. Is 8 a factor of a?
False
Let w be (2/6)/(2/1194). Let p be (-28 - -30) + (-140 - 1). Let x = w + p. Does 12 divide x?
True
Let y(f) = -20*f**3 - 2*f**2 + 10*f + 3. Does 41 divide y(-4)?
False
Suppose 0 = 10*w - 11*w + 3, 5*n - 5*w - 335 = 0. Is 10 a factor of n?
True
Suppose 33320 = 14*w + 42*w. Does 35 divide w?
True
Let b = -26 + 76. Let y = 70 - b. Is 20 a factor of y?
True
Suppose 44*i = 44995 + 97521. Is 21 a factor of i?
False
Suppose -j + 2191 = 4*u, 0 = 4*u - 51*j + 56*j - 2203. Is u a multiple of 24?
False
Suppose 0*o - 4*o + 2*x + 28 = 0, 4*o - 18 = -3*x. Let n = 8 - o. Suppose 50 = 3*t + 4*k, n*t - 9 - 16 = -k. Is 6 a factor of t?
False
Let q = -2 - -2. Suppose 0 = -3*h + 54 + 126. Suppose q = 4*v + v - h. Is 6 a factor of v?
True
Suppose 4*x = -5*u + 5110 + 406, 5*u = -3*x + 5517. Does 14 divide u?
False
Let b(x) = 21*x**2 - x - 2. Let n(l) = -21*l**2 + 1. Let d be ((-3)/(-2))/(6/(-16)). Let f(o) = d*n(o) - 3*b(o). Is 7 a factor of f(-1)?
False
Let f be (-4 + 3 + 2)/(-1). Let q = f - -7. Suppose o + 2*t + 197 = q*o, -5*o = 2*t - 193. Is o a multiple of 14?
False
Let p = 66 - 11. Is p a multiple of 13?
False
Suppose -2*m - 14*d + 26 = -15*d, 0 = -5*m + d + 62. Is m a multiple of 3?
True
Let v(x) = -x + 20. Let l be v(22). Does 2 divide (1/(18/24))/(l/(-6))?
True
Suppose 3*q + 2*a = 194, q - 6*q - 2*a + 330 = 0. Suppose -3*d + 5*r = -57, 4*r = 5*d - 14 - q. Is d a multiple of 7?
True
Let q be 7992/(-42) + (-2)/(-7). Is 7 a factor of (126/(-10))/(57/q)?
True
Let j(d) be the first derivative of d**4/4 + 19*d**3/3 - d**2/2 + 12*d - 41. Does 14 divide j(-19)?
False
Suppose -5*m = 79 - 164. Suppose m = 13*l - 87. Is l even?
True
Let z = -152 - -154. Suppose 4*j + 75 = -3*b + 660, -z*b + 6 = 0. Is j a multiple of 12?
True
Suppose -56 = -4*g + 36. Let u be g/(-4) - 1/4. Does 9 divide 220/12 + u/(-9)?
False
Suppose -8*a = -11*a + 4680. Is a a multiple of 20?
True
Let s(n) = -12*n**2 + 358*n + 1. Does 30 divide s(11)?
False
Suppose -42*s + 53*s - 1298 = 0. Is 10 a factor of s?
False
Let s(t) = -3*t**2 - 155*t + 56. Is 21 a factor of s(-51)?
False
Is (4 - 9) + 20 + 622 a multiple of 25?
False
Let l(p) = p**2 - p + 1. Let y be l(-3). Let z(f) = 2*f**2 - 15*f - 18. Is 25 a factor of z(y)?
True
Suppose -209*l = -204*l - 6015. Is l a multiple of 7?
False
Let w(g) = 3 - 8*g + 2 - g**3 - 5 + 6 + 9*g**2. Is 5 a factor of w(8)?
False
Suppose -2*y + 5 = -y - 3*u, -2*y - 4*u + 20 = 0. Let f(t) = -t - 1. Let w(a) = a**2 - 17*a + 2. Let n(g) = 6*f(g) - w(g). Is 8 a factor of n(y)?
True
Suppose 8016 - 610 = 14*t. Does 17 divide t?
False
Let o = -8 + -31. Let q = -11 - o. Suppose -2*k + q = -2*m, 3*k + m = -2*k + 76. Does 3 divide k?
True
Suppose -64 = 2*b - 3184. Suppose 0 = -0*u - 2*u + b. Suppose 5*h = -5*t + u, 0 = -5*h + t - 0*t + 756. Is 31 a factor of h?
False
