- 5*k + 6. Let l be i(o). Is 9 a factor of a(l)?
True
Let v = -16 - -18. Let h(p) = 6*p**v + 1 - p - p**2 - 2*p - 2*p. Does 20 divide h(4)?
False
Suppose 0 = -4*j - 4*h + 4, h = -8*j + 5*j + 1. Is (-18 + j)/((6 + -1)/(-10)) a multiple of 5?
False
Let p be (11/22)/((-1)/(-8)). Is 4 a factor of 24/(4/16*p)?
True
Let r(i) = -2*i**3 - 8*i**2 - 4*i. Suppose 6*v - 3*v = -12. Is 4 a factor of r(v)?
True
Suppose -5*g - 451 = -1361. Suppose 2*f - 277 = -3*m + 3*f, 2*m + 2*f = g. Is m a multiple of 13?
False
Suppose 2*g = -3*g + 20. Suppose -g*o + o = -9. Suppose -2*l + 3*n = -36, 5*l + 5*n = o + 37. Is l a multiple of 4?
True
Let v(p) = -6*p + 2. Let r be v(-3). Let m = -14 - 0. Let c = r - m. Is 17 a factor of c?
True
Suppose 4 = 2*l - 4*l. Let n be l/4 - (-2)/(-4). Is 3*n + 19/1 a multiple of 8?
True
Suppose -a = -2*o + 2*a + 47, 5*o - 3*a - 140 = 0. Does 7 divide o + (6/4)/((-1)/2)?
True
Let d(a) = 0*a + a**2 + 26 + 0*a - 52. Is d(6) a multiple of 5?
True
Suppose -4*n + 2*b + 5176 = 0, -2153 = -5*n + 4*b + 4323. Is 152 a factor of n?
False
Suppose 2*h + 5*a - 7*a - 4884 = 0, 0 = a + 1. Is 53 a factor of h?
False
Let y(m) = -m**3 + 12*m**2 - 10*m + 1. Suppose -4*u + 5*h = -45, -2 = 2*u + 4*h + 8. Suppose -u*v = -42 - 13. Is y(v) a multiple of 12?
True
Let d(m) = 158*m**2 - 19*m - 18. Is 3 a factor of d(-1)?
True
Suppose -2*u = -6*u + 268. Let n = u + -35. Suppose -4*g = 4*w - n, -2*w = 5*g - 5 + 1. Is w a multiple of 10?
False
Is (355/(-213))/((-5)/2574) a multiple of 22?
True
Suppose 0 = -4*p - 0*p - 16. Let r = p - -6. Suppose 0 = 3*x - 2*u - 68, 3*x + r*u - 76 = -0*x. Is 8 a factor of x?
True
Let b(n) = -2*n**2 + n - 3. Let f be b(7). Let v = 423 + f. Is (-2)/3 + v/21 a multiple of 5?
True
Let r be (-1 - -2 - 0)*9. Let a(h) = 0 + 8 + h**3 + 10*h**2 + 4 + r*h. Is a(-9) a multiple of 6?
True
Let f(q) be the first derivative of -q**2/2 - 3*q - 2. Let d be f(-2). Is (0/(-2) - d)*16 a multiple of 8?
True
Suppose 0 = -4*s, -2*z + 60 = s - 2*s. Suppose 165 - z = -3*q. Let h = 87 + q. Does 6 divide h?
True
Let r = -314 - -418. Does 4 divide r?
True
Let b(a) = 117*a - 59*a + 2*a**2 - 59*a + 3*a**3. Does 6 divide b(2)?
True
Let y(z) = -z**3 + 3*z**2 + 2*z. Let x be y(3). Suppose 4*b = -2*b - x. Let t = b - -24. Is 4 a factor of t?
False
Let d(o) be the third derivative of o**5/60 - o**4/24 + 20*o**3/3 + 12*o**2. Suppose 0*v - 3*v = 0. Is d(v) a multiple of 7?
False
Suppose 85 = 4*m + 21. Let b = -15 + m. Does 15 divide ((-9)/(-12))/(b/40)?
True
Let u(f) = f + 16. Let g be u(-11). Suppose -5 = g*r, -2 = -2*s + 2*r - 4. Let z = 31 + s. Is z a multiple of 15?
False
Let m(q) be the second derivative of -q**5/20 - q**4/2 + q**3 - 4*q**2 - 6*q. Let s be m(-7). Let c = 49 + s. Is c a multiple of 12?
True
Suppose -19*u = -u - 2574. Is 13 a factor of u?
True
Suppose a - 2*s = 146, 9 = 3*s - 3. Let u be (-1)/(-4 - a/(-38)). Let v = u - -46. Does 9 divide v?
True
Suppose 15*c = 2743 + 19157. Is c a multiple of 73?
True
Let v be ((-1)/2)/((-2)/24). Let y be (20 - (-2 + -3)) + -1. Suppose -y = -p - v. Is p a multiple of 16?
False
Let r(g) = 11*g**2 - 3*g + 7. Let q(v) = 2*v - 36. Let j be q(20). Is r(j) a multiple of 19?
True
Let s(k) = 42*k**2 + k + 2. Let o be s(-1). Suppose 2*c = -g + 6*g - 55, 5*c + o = 2*g. Let x = 13 - g. Is 4 a factor of x?
True
Let g(w) be the first derivative of 3*w**4/2 - w**3 + w**2 + 1. Let u(o) = 7*o**3 - 3*o**2 + 3*o - 1. Let l(j) = 4*g(j) - 3*u(j). Does 18 divide l(3)?
True
Let s(x) = 67*x - 219. Does 4 divide s(6)?
False
Let x(y) = 7*y - 5. Let r(k) = -k**3 + 6*k**2 - k - 3. Let h be r(6). Let w be 3/1 - 18/h. Is 13 a factor of x(w)?
False
Suppose 2*k + 0 - 4 = 0. Suppose i - 232 = -4*s + 3*i, 0 = -s - k*i + 63. Does 16 divide s?
False
Let u = 1244 - -1577. Is 9 a factor of u?
False
Is ((-1)/(36/48))/((-2)/1161) a multiple of 12?
False
Let q(o) = 36*o + 22 - 7*o - 29. Let v be q(3). Suppose 0 = 3*c - 2*c - v. Is 16 a factor of c?
True
Suppose -38 = -2*m - y, -3*m + 48 + 7 = 2*y. Let s = m - -94. Suppose 3*x - s = b - 0*b, x - 60 = -4*b. Is 14 a factor of x?
False
Let i(o) = -o**3 + 2*o**2 + 2*o - 6. Let h be i(4). Let v(l) = -l**3 + 17*l**2 - 11*l - 24. Let g be v(16). Let t = g + h. Is t a multiple of 6?
False
Let b = 161 + 664. Is 55 a factor of b?
True
Suppose -4 = 8*c - 228. Is 28 a factor of c?
True
Let a = -12 - -15. Suppose 6 = -2*c - 2*y, 0*y - a = -c + y. Suppose c = 5*r - 106 - 224. Is 23 a factor of r?
False
Suppose -317 = -k + 313. Suppose 5*l + 688 = 4*u, 230 + k = 5*u + l. Suppose -u = -4*a + 88. Is 20 a factor of a?
False
Let v(l) = l + 13. Let o be v(0). Let a = -12 + o. Is (36/12)/(a/2) a multiple of 2?
True
Let v be 10/(-5) - (0 + -4). Suppose 2*r + 7 = 4*d + 89, 0 = 3*r + v*d - 99. Does 9 divide r?
False
Let u(n) = -n**2 - 2*n + 2. Let b be u(-2). Suppose 2 - 3 = -b*k + z, z = -3*k - 1. Let i = 20 - k. Is i a multiple of 7?
False
Suppose 3*v = -3*n + 1317, n - 3*v - 57 - 386 = 0. Is 88 a factor of n?
True
Let x be (121/(-5) - 3)/((-3)/15). Suppose -2*f - x = -4*f. Is f a multiple of 29?
False
Let k be (-2 - (-259)/(-7)) + 3/1. Let b = -18 - k. Does 9 divide b?
True
Let w = 2159 - 1475. Is 36 a factor of w?
True
Suppose -2*m - 2*y - 6 = 0, -4*y - 8 = 2*m + 2. Let n(z) = -106*z**3 + 2*z**2 + z. Is 25 a factor of n(m)?
False
Suppose 5*o - p = 1372, -3*o - 540 = -5*o - 4*p. Is o even?
True
Let b be ((-15)/12)/(1/(-4)). Suppose -3*g - b = -g - u, -u - 5 = 3*g. Is 47 - (1 + -1) - g a multiple of 12?
False
Let i(m) = -m**2 - 10*m + 16. Let f be i(-11). Does 6 divide f*(33/5 + 1)?
False
Suppose -2*d + 104 = z, -4*z = -0*d - 4*d - 452. Suppose 3*p = -2*l + 55, 0 = 3*l - 2*p + p - z. Is 16 a factor of l?
False
Let x(d) = -4*d**2 - 3*d - 78. Let g(v) = v**2 + v + 26. Let m(p) = 7*g(p) + 2*x(p). Does 13 divide m(0)?
True
Suppose 3494 - 326 = w. Is w a multiple of 22?
True
Let m(v) = -v + 1801. Let k be m(0). Suppose 10*f - 39 = k. Is f a multiple of 20?
False
Suppose 4*o + 0*o - 8 = 0. Let j be o/8*4 + 1. Suppose 45 + 55 = j*s. Is 14 a factor of s?
False
Let x = -396 + 631. Does 7 divide x?
False
Let a(n) = 7*n - 42. Let m be a(6). Suppose m = -6*z + 739 - 97. Is 7 a factor of z?
False
Let h(c) = -2*c**2 - 10*c + 11. Let t = 4 - 13. Let r be h(t). Let k = 30 - r. Is 24 a factor of k?
False
Suppose 0*t = 2*t - 6. Let d(a) = -3*a**3 - a - 1. Let k be d(-1). Suppose -4*x + t*b + 152 = 0, 0*b + 4*b = k*x - 114. Is 19 a factor of x?
True
Suppose -4*x = 49 - 1573. Suppose -2*z + x = -3*k - 18, 15 = -5*k. Does 42 divide z?
False
Suppose -c + 4*n + 3 = -1, 2*c - 21 = -5*n. Let y be ((-4)/c)/((-2)/(-28)). Let x = y + 12. Is x a multiple of 5?
True
Suppose r - 1 + 0 = 0. Let n be r*12/(-4)*-5. Is 6/(-15) - (-336)/n a multiple of 11?
True
Let k(i) = -2*i**2 - 4*i + 4. Let h be k(1). Is 37 a factor of h/(-6) - (-85)/15*13?
True
Let j = -1386 + 1539. Is 71 a factor of j?
False
Let q be (2/(-1))/(20/(-890)). Let j = q - 33. Is j a multiple of 14?
True
Suppose 4*a = 10*a + 1482. Let d = a - -372. Is d a multiple of 25?
True
Let o = 89 - 86. Suppose -4*m + 2*i = -38, -2*m + 13 + 0 = -o*i. Is m a multiple of 2?
False
Suppose -2*t + 3 = 5. Let d(w) = -168*w**3 + 2*w**2 - 1. Does 13 divide d(t)?
True
Let k be -10 - (-5)/((-5)/(-2)). Let y be (18/(-24))/(3/k). Suppose 5*q = -4*m - 12 + 40, y*m = q + 14. Is m a multiple of 7?
True
Let h(p) = 2*p**2 + 18*p - 92. Does 23 divide h(14)?
True
Suppose v - 2*d = 158, -v = 4*d - 174 - 2. Is 5 a factor of v?
False
Suppose -3*c - 3*c = 0. Suppose -5*d - t - 16 = 0, 0 = -4*d + 2*t - c*t - 24. Is 9/((-9)/(-8)) - d a multiple of 12?
True
Let a(q) = -20*q**2 - 45*q - 102. Let o(c) = 7*c**2 + 15*c + 34. Let h(i) = -6*a(i) - 17*o(i). Is h(-17) a multiple of 17?
True
Let s be 3/12 + (-35)/(-4). Suppose -l + 5*g - 7 = 0, -5*l + g + 2*g = -s. Suppose 0 = -3*p + h + 18, -2*h + 3*h = -l. Does 5 divide p?
True
Suppose o - 4*v = 702, 5*v = -o + 726 + 21. Is 38 a factor of o?
True
Let h(c) = 9*c**2 - 12*c - 12. Is h(6) a multiple of 12?
True
Let w(m) = m**3 - 19*m**2 + 26*m - 27. Let h be w(18). Is 7/(-4) + 1 + h/12 a multiple of 2?
False
Let i = 161 + 124. Does 15 divide i?
True
Let r be 5 + 1 + 1 - (2 + 0). Suppose a - 451 = -2*a + 5*g, 729 = r*a + 3*g. Is 15 a factor of a?
False
Let y(c) = -2*c + 18. Let t be y(12). 