 2. Is 31 a factor of g(p)?
True
Let p = -3 + 4. Let y(v) = v**2 - 2*v**2 + 3 - 2 + p - 9*v. Is 20 a factor of y(-6)?
True
Let s(n) = 4*n - 1. Let d be s(-2). Let g = d - -13. Suppose -j = 2*j - 12, -52 = -g*k - j. Is k a multiple of 3?
True
Suppose -h = 4*x - 977, -1928 = -2*h + 2*x + 3*x. Is 19 a factor of h?
True
Suppose c + 4*d - d = 749, -789 = -c + 5*d. Is 30 a factor of c?
False
Let f(a) = -a**2 + 12*a - 7. Let d be f(13). Let m = -17 - d. Suppose 125 = 5*q - m*p, -4*q = -6*q - 2*p + 66. Is q a multiple of 11?
False
Let h(c) be the second derivative of 11*c**4/12 - c**3 + c**2 - 5*c. Let p be h(4). Let z = p - 82. Is z a multiple of 19?
False
Let r(b) = b**3 + 14*b**2 - 4*b - 58. Let x be r(-14). Let z(d) = 29*d. Let g(j) = 15*j. Let w(p) = 11*g(p) - 6*z(p). Does 9 divide w(x)?
True
Let w be (20/15)/((-2)/6). Does 16 divide (-3 - -131)*(-2)/w?
True
Suppose 4*d - 2*d = 0. Suppose d = 2*n - 5*n + 3. Is 123/4 - n/(-4) a multiple of 11?
False
Let q(c) = 7*c + 38. Let d be q(-5). Suppose -i - d*i + 280 = 0. Is i a multiple of 14?
True
Let x = 991 + -551. Is 21 a factor of x?
False
Let n(c) = c**3 - 28*c**2 - 50*c - 21. Is n(30) a multiple of 31?
True
Let h be 0 - (-3)/6*4. Suppose -r = 5*q + 2*r - 246, -52 = -q - h*r. Does 16 divide q?
True
Suppose 28 = t - 20. Does 24 divide t?
True
Let f = -1527 + 2292. Does 5 divide f?
True
Suppose 3*p = 4 - 1. Suppose -19 = -5*u + p. Is -4*(-2 - 30/u) a multiple of 12?
False
Let c(k) = 5*k**2 - 4*k + 6. Suppose -3*x - 12 = 0, 0 = 4*h + x + 3 - 15. Let s be c(h). Suppose -3*l = l - 2*y - s, -5*l + 2*y = -85. Is l a multiple of 12?
False
Suppose -5*p - 3*u = -831, 2*p - 9*u = -8*u + 339. Does 14 divide p?
True
Let f(c) = c**3 + 10*c**2 + 9*c + 5. Let a be f(-7). Let g = a - 20. Suppose 15 = 3*q - g. Does 14 divide q?
True
Is ((-124)/(-93))/((-8)/(-10458)) a multiple of 21?
True
Let k = -1880 + 5552. Does 102 divide k?
True
Let r = 82 - 77. Does 12 divide r/(-60)*3 - (-2691)/12?
False
Suppose 29*r + 4348 - 11975 = 0. Is r a multiple of 12?
False
Suppose 6*v = 4*v - 66. Let s = 28 - v. Is s a multiple of 20?
False
Let t(a) = -2*a**3 - 40*a**2 - 40*a + 19. Is t(-19) a multiple of 5?
False
Let p be 1/5 - 2/20*-898. Is 25 a factor of (p/18)/(2/60)?
True
Suppose 0 = j - 3*q - 43, 0 = -6*j + 2*j + 4*q + 156. Suppose 15 = 5*r, j + 32 = 3*p + r. Does 8 divide p?
False
Let q = 84 - 87. Is (28/20 - q)*5*1 a multiple of 6?
False
Let z = 906 - 497. Let c = z + -279. Is c a multiple of 19?
False
Let r(b) = -10*b**2. Let z be r(-3). Does 17 divide (13/3)/((-5)/z)?
False
Let f(h) = 2349*h**2 + 18*h + 19. Is f(-1) a multiple of 14?
False
Let x(p) = 3*p**2 - 2*p**2 - 1 + 3*p + 2*p**2 - 5*p. Is 9 a factor of x(3)?
False
Let h(j) = -9*j - 24. Is 2 a factor of h(-8)?
True
Let x be (-1)/2 - 13/(-2). Suppose x*m - 74 = 4*m. Suppose 4*p - 35 = m. Does 18 divide p?
True
Let d(f) = -2*f**2 - 12*f + 9. Let p(x) = x**2 + 6*x - 5. Let z(q) = -4*d(q) - 7*p(q). Let a be z(-6). Is ((-78)/9)/a*6 a multiple of 13?
True
Suppose 0 = -5*h - 7*l + 3*l + 4442, 2*h + 4*l - 1772 = 0. Does 5 divide h?
True
Let f(w) = 15*w + 11. Let a be f(-8). Let u = -42 - a. Does 14 divide u?
False
Suppose 2*o = -12 + 18. Suppose -o*h = -137 - 28. Is h a multiple of 23?
False
Let j = 30 - -36. Suppose m = 5*z + 55, -z + 0*m = -m + 7. Does 11 divide z/j - (-730)/22?
True
Suppose -1 = y, -4*y = -4*z + 12 + 12. Suppose -f = -2*l + 339, -z*l + 2*f - 4*f = -834. Does 12 divide l?
True
Let x be (-2888)/(-14) - (2 + 36/(-21)). Suppose -5*n - 426 = -4*b, b + x = 3*b + n. Does 27 divide b?
False
Suppose 2*i + 2*i = -3*q - 26, 0 = q + 2. Is 38 a factor of i/7 - -1 - (-7215)/105?
False
Is 92 a factor of 4/(-3) - 307400/(-159)?
True
Let n = -15 - 11. Let i = -23 - n. Suppose x - 6*d - 37 = -3*d, 2*d = -i*x + 166. Does 13 divide x?
True
Let w(k) = 2*k**2 - 9*k - 55. Is 3 a factor of w(12)?
False
Suppose 4*l + 20 = n + 3*n, 6 = 3*n. Let m(r) = -18*r**2 + 13*r. Let t(x) = -9*x**2 + 6*x. Let h(j) = 2*m(j) - 5*t(j). Is h(l) a multiple of 31?
True
Suppose 2*o + 2*y = 16, -4*o + 4*y = 2*y - 14. Suppose -89 = -3*g + o*f + 100, 0 = -5*f. Is g a multiple of 3?
True
Suppose -8 = 4*k - 0*k. Let c be ((-30)/(-40))/(k/(-8)). Does 15 divide 53*(c - (2 + 0))?
False
Let w be ((-20)/(-8))/(25/20). Suppose 4*g - 3*t - 74 = 0, 10 = w*t + 3*t. Is g a multiple of 4?
True
Let l(k) = -k**2 + 5*k - 1. Let c be l(4). Suppose 1 - 13 = -c*r. Suppose -64 = -8*y + r*y. Is 8 a factor of y?
True
Let y = -312 - -505. Does 36 divide y?
False
Suppose 4*b = -5*k - 23, -4*k - k = 5*b + 25. Let s(u) = -3*u**3 - 4*u**2 - 3*u + 1. Is 11 a factor of s(k)?
True
Let j(f) = f**2 - 11*f + 20. Let o be j(9). Suppose o*l = 60 + 60. Does 19 divide l?
False
Let p be ((-20)/45)/((-6)/27). Suppose 0*k + p*n = -5*k + 190, 2*n + 38 = k. Does 19 divide k?
True
Let k(c) = 3*c**2 - 48*c + 59. Let w(v) = -2*v**2 + 32*v - 39. Let l(h) = 5*k(h) + 7*w(h). Does 14 divide l(21)?
False
Let y(w) be the first derivative of w**4/4 + 10*w**3/3 + 3*w**2 - 13*w - 1. Suppose -2*n + 0*n - 26 = 4*g, 4*n - 20 = 0. Does 7 divide y(g)?
True
Suppose -4*n + 547 + 157 = 0. Is 4 a factor of n?
True
Suppose -2*c + 129 = 5*v, 9*c + 3*v = 7*c + 123. Is c a multiple of 47?
False
Let u(h) = -h**3 + 23*h**2 + 143*h - 39. Is u(28) a multiple of 9?
True
Let t = 3687 - -275. Does 14 divide t?
True
Let j = -54 + 71. Suppose 80 = j*t - 12*t. Does 14 divide t?
False
Let c(y) = -9 - 7 - 2*y + y + 3. Let k be c(-16). Suppose -k*j + 284 = j + 4*x, 2*j = x + 148. Does 20 divide j?
False
Suppose -256*n - 1526 = -263*n. Is 13 a factor of n?
False
Let x(o) = o**3 + 20*o**2 + 14*o - 44. Is x(-18) a multiple of 16?
True
Let s(q) = 31*q**2 - 27. Does 26 divide s(-5)?
False
Let i(v) = 2*v**3 + 11*v**2 + 5. Let y(n) = 3*n**3 + 12*n**2 + n + 5. Let f(t) = -6*i(t) + 5*y(t). Is 33 a factor of f(4)?
False
Let f(z) = z**3 + 17*z**2 - 19*z - 16. Let m be f(-18). Suppose 4*c - i = 249, 125 = 2*c + m*i - 3*i. Is c a multiple of 5?
False
Suppose t - 2*n = -5*n + 29, -5*n + 95 = 5*t. Suppose c - 7 = t. Is c a multiple of 7?
True
Let l(j) = 14*j + 4. Let f be l(4). Let v be (-6)/(-4) - f/8. Is 22 a factor of -2*-1*(-141)/v?
False
Suppose 0 = -4*k - 32 + 196. Suppose l = -10 + k. Does 17 divide l?
False
Suppose -3*q = 2*u - 101, -4*q + 6*u + 142 = 5*u. Is q a multiple of 14?
False
Let r(w) = w + 5*w + 23 + 3*w - 11*w. Is r(7) a multiple of 5?
False
Let r be -23 + 19 + -1 + 18. Suppose -15*m = -16*m + r. Does 11 divide m?
False
Let l(k) = -k**2 + 4*k + 357. Does 8 divide l(0)?
False
Suppose 4*q + 2*s = 14, 2*q - 4*s = 3*q. Let y be (-1)/(q/(-3 - 1)). Suppose -5*p = -29 - y. Does 2 divide p?
True
Let o be 8/(-12) - 469/3. Let y = o + 221. Is 17 a factor of y?
False
Is 3 a factor of (22627/(-561))/((-2)/24)?
False
Let a(x) = -34 - 11*x - 12 + 8 + 6. Is 18 a factor of a(-9)?
False
Let b = 2065 - -124. Is b a multiple of 20?
False
Let z = 5 - -7. Does 11 divide (-485)/(-15) - (-8)/z?
True
Is 19 a factor of (-2)/(-31) - 880425/(-2015)?
True
Let v(l) = l - 2. Suppose 20 = 7*s - 2*s. Let q be v(s). Suppose -23 = -q*f + 91. Does 19 divide f?
True
Suppose 187*w + 4620 = 197*w. Is 6 a factor of w?
True
Let b(y) = y**2 - 11*y - 235. Is b(26) a multiple of 18?
False
Let n(s) be the first derivative of 29*s**2/2 + s - 1. Let j = -13 - -14. Does 16 divide n(j)?
False
Is 72 a factor of (11/(44/(-752)))/(-2)?
False
Let x = 582 - 326. Is 32 a factor of x?
True
Let r(b) = 9*b**2 - 13*b + 217. Is r(12) a multiple of 59?
True
Suppose t - 12 = 2*g, -2*t + 3*g + 51 = t. Let x be (-18)/(-99) - (-194)/t. Suppose -12*j + 114 = -x*j. Is j a multiple of 19?
True
Let r be 4/26 + (-72896)/(-221). Suppose -279 = -7*s + r. Does 36 divide s?
False
Let l be (-2)/13 - 0 - 6453/(-117). Suppose 2*q = -2, -l = -4*u - 3*q + 38. Is u a multiple of 12?
True
Suppose -4*u = -4*b + 12, 5*b + 0*u - u - 11 = 0. Suppose 2*g + b*r = 58, -4*g + 2*r + 2*r = -108. Is 16 a factor of g?
False
Is -1*(1 - (921 - 7)) a multiple of 27?
False
Suppose 0 = 6*r - 24*r + 15192. Is 21 a factor of r?
False
Suppose 9*t - 4008 = 2058. Is t a multiple of 18?
False
Let x = 288 - -2009. Does 12 divide x?
False
Suppose -88*n = -75*n - 1131. Is 13 a factor of n?
False
Suppose 7*b + 12 = 9*b. Let r = b + 71. Is 19 a factor of r?
False
Let u(d) = 11*d**