 - 2. Let g(o) = m*l(o) + 2*k(o). Is g(-1) a multiple of 5?
False
Suppose -2*t = t + 2*r - 1906, -2 = -r. Suppose 3*u = 179 + t. Is 52 a factor of u?
False
Let g(k) = 3*k + 15. Let h be g(-5). Suppose -3*o + 6*o + 18 = h. Is 23 a factor of (o/(-4))/((-6)/(-344))?
False
Is 12 a factor of (-1)/(8 + (-56550)/7068)?
False
Let p(k) be the second derivative of k**5/20 + 4*k**4/3 + 11*k**3/6 - 8*k**2 + 28*k. Is p(-15) a multiple of 13?
False
Let k(j) = -j**2 - 10*j - 24. Let d be k(-8). Is 27 a factor of (-232)/(-6)*(1 - (d + 6))?
False
Let p = -22 - -92. Suppose -4*t = 4*m - 236, 3*t - 112 - p = 2*m. Suppose -8*l = -4*l - t. Does 7 divide l?
False
Let d(o) = -63*o + 384. Does 17 divide d(-32)?
False
Suppose 3 = l, 5*l - 27 = a - 5*a. Suppose a*x - 19 = 119. Is x a multiple of 11?
False
Suppose 9*n = 7*n + 6. Let m(v) = -7*v + 29*v - n*v. Is m(1) a multiple of 6?
False
Let j = 503 - 383. Does 8 divide j?
True
Suppose 250 = 3*u + 121. Is 8 a factor of u?
False
Suppose 0 = 5*d + 2*m - 10, -4*d + 4*m - 7 - 13 = 0. Suppose -16*w = -d*w - 800. Is w a multiple of 10?
True
Suppose -27*m = -48120 + 5244. Is m a multiple of 28?
False
Let a = 1336 + -691. Let b = a + -394. Is b a multiple of 12?
False
Let n = 10 + -8. Suppose -2*r + 76 = 2*t, t + n*r + 124 = 4*t. Does 8 divide t?
True
Let v be 1/(-2)*-1*10. Suppose -2*s - 2*j = -66, 4*s = -v*j - 33 + 165. Suppose 0 = -9*d + 6*d + s. Does 10 divide d?
False
Let c = 1557 + -777. Is 2/(-7) - -24*c/56 a multiple of 25?
False
Suppose k - 466 = 365. Is 61 a factor of k?
False
Let i(b) be the third derivative of b**6/120 + b**5/30 - b**4/12 + 14*b**3/3 + 9*b**2. Is i(0) a multiple of 5?
False
Is 36 a factor of (-38)/(-6)*(70 + 215)?
False
Suppose 0 = -2*w + w. Suppose -5*v - 3 = 3*i - 56, -4*i + v + 109 = w. Does 9 divide i?
False
Let h be -6*4/(-5 - -1). Suppose h*l - 2*l = 32. Suppose 10*f - l*f = 56. Is 28 a factor of f?
True
Suppose 13*j - 14*j - 5*d = -37, -5*j - 2*d = -70. Is j a multiple of 4?
True
Suppose -8*u + 2400 = -288. Let s = u - 176. Is 15 a factor of s?
False
Let x = 27 + -23. Suppose 26 = x*k - 34. Let f(a) = a + 6. Is 7 a factor of f(k)?
True
Suppose 6*l = 4*g + 8*l + 192, 0 = g + 2*l + 45. Let s(c) = -c**2 - c - 21. Let i be s(0). Let u = i - g. Does 16 divide u?
False
Suppose -7*f + 60 + 794 = 0. Let o be 0*1/(0 + 2). Suppose o = -3*t + f - 23. Is 11 a factor of t?
True
Suppose 3*w + 0*w = 1260. Is w a multiple of 15?
True
Let j(s) = -7*s**2 - 2*s - 4. Suppose 4*d + 0*d = 12. Let v be j(d). Let w = -11 - v. Is w a multiple of 18?
False
Suppose -43*o = -34*o - 28332. Is 55 a factor of o?
False
Let w be 273/26 + 2/(-4). Let q(n) = -8*n + 1. Let m be q(1). Does 5 divide (w/m)/((-5)/35)?
True
Let q = 1511 - 87. Does 23 divide q?
False
Let n(x) = -375*x - 122. Does 18 divide n(-4)?
False
Suppose -o - g - 77 = 0, 2*o + 6*g + 166 = g. Let l = 93 + o. Is l a multiple of 20?
True
Suppose 6*w - 3*w - 6 = 0. Suppose 0 = 4*j + 2*c - 10, 0*j + 2*c + 14 = w*j. Is 5 a factor of -20*(0 - j/8)?
True
Is 648/(4 + 2)*(6 - 5) a multiple of 4?
True
Suppose -19*i + 8604 = -18319. Is 13 a factor of i?
True
Let o be (-112)/35 + 8/(-10). Does 18 divide 6034/56 - 1/o?
True
Suppose l - 2*z + 164 = 4*l, 4*l - 214 = 2*z. Is 3 a factor of l?
True
Suppose -a + 5*o = -266, -o = 5*a + 4*o - 1210. Suppose a - 31 = 5*f. Is 11 a factor of f?
False
Let v(b) = -b**3 + 7*b**2 - 4*b - 4. Let n(y) = y**2 + 7*y + 2. Let t be n(-5). Let f(c) = -c**2 - 9*c - 3. Let r be f(t). Does 12 divide v(r)?
False
Let c(u) = 6*u**3 + 2*u**2 + 2*u - 4. Let z be c(-3). Let o = -77 - z. Suppose 4*g - o = 7. Does 7 divide g?
True
Let c(z) = -48*z**3 + z**2 + 5*z + 4. Let l be c(-2). Let b = -148 + l. Is b a multiple of 18?
True
Let o(z) = z**2 + 6*z + 4. Let q be o(5). Let t = 295 + -176. Let i = t - q. Does 17 divide i?
False
Let p(a) = 13*a**2 + 1. Let u be p(-1). Suppose 10*g + 180 = u*g. Is 15 a factor of g?
True
Suppose 4*n + 6*u = 4*u - 2, -5*n = 2*u. Is n a multiple of 2?
True
Let y = -12 + 14. Suppose -4 = y*t - 4*t. Suppose -t*f + 24 = i - 5*f, 3*i - 4*f - 52 = 0. Does 4 divide i?
True
Suppose -3*j = 4*y + 30, -j - 4*j - 10 = 0. Let i be 45/y*260/(-15). Suppose -i = -11*r + 6*r. Is 13 a factor of r?
True
Let w(t) = 13*t**2 + 13*t - 16. Is w(-12) a multiple of 84?
False
Let n(s) = 3*s**2 - 23*s + 95. Is 45 a factor of n(16)?
True
Let u be -7 + 2/2 + -2. Does 15 divide (-717)/(-12) + (-2)/u?
True
Let q(n) = n**2 - 3*n - 7. Let b be q(5). Suppose -b*a + 8*a - v = -225, v - 5 = 0. Let w = a + 134. Does 29 divide w?
False
Let n = -110 - -117. Suppose -n*b + 4*b + 189 = 0. Does 7 divide b?
True
Suppose 8*i - 98 = i. Suppose i*g - 20*g = -2202. Is 57 a factor of g?
False
Let i(j) = -5*j**3 - 6*j**2 + 8*j - 6. Let t(l) = -12*l**3 - 11*l**2 + 16*l - 12. Let u(h) = -7*i(h) + 3*t(h). Let m = -11 + 19. Does 6 divide u(m)?
True
Let z be (2/(-6))/(2/(-84)). Suppose -z*k = -12*k - 132. Is 13 a factor of k?
False
Let v = -100 + 70. Let b = 74 + v. Is 26 a factor of b?
False
Let q(i) = 48*i**2 - 5*i + 8. Let u(h) = -95*h**2 + 10*h - 15. Let c(j) = -5*q(j) - 3*u(j). Is c(1) a multiple of 9?
True
Let n(x) = 16*x - 3. Let a = -7 + 12. Suppose 0 = -y + a*y - 12. Is 9 a factor of n(y)?
True
Let h be ((-68)/51)/(2/12). Let g = -4 - h. Suppose -309 - 167 = -g*c. Does 24 divide c?
False
Suppose 6*f = 274 + 188. Let i be -18 + f - 3*1. Suppose 40 = -k + 4*k + s, -4*k = 4*s - i. Does 4 divide k?
False
Let q(v) = 7*v - 12. Let l(c) = c**2 + 34*c - 60. Let b(i) = 2*l(i) - 11*q(i). Is 17 a factor of b(8)?
True
Suppose -87*m = -90*m + 2*n + 16180, 5*m = 4*n + 26970. Is m a multiple of 70?
True
Let m = -10 - -121. Suppose 0 = -3*r + 12 + m. Is 4 a factor of r?
False
Let g(u) = 29*u + 99. Does 4 divide g(5)?
True
Let t(j) = 127*j**2 + 31*j + 62. Is 79 a factor of t(-2)?
False
Suppose 0 = -4*u + 3*u + 19. Suppose -3*s = -4*s + u. Let r = 51 + s. Is r a multiple of 14?
True
Let m = 13 + -8. Suppose m*j - 10 = 0, 2*d - 4*j + 7 + 1 = 0. Suppose -i + 37 + 2 = d. Does 13 divide i?
True
Let s = 16 - 14. Suppose u + b + 0 = 3, -s*u + 6 = 3*b. Suppose -u*m = -34 - 26. Does 10 divide m?
True
Let o = -117 + 58. Let c = o + 107. Is c a multiple of 23?
False
Suppose -1442 = -307*n + 300*n. Is n a multiple of 3?
False
Let s = -573 + 1059. Is 27 a factor of s?
True
Let f(z) = 65*z + 38. Does 8 divide f(5)?
False
Let h = -5 - -5. Suppose h = -l - 3*s - s + 11, 0 = -5*l + 4*s + 7. Suppose 12*n - l*n = 252. Does 11 divide n?
False
Let s(x) = -3*x**3 + 9*x**2 + 23*x + 14. Is s(-6) a multiple of 106?
True
Let h be (2 - (-8)/(-4))/2. Suppose -r + 5*s - 7 = h, -s + 5 = 5*r - 4*r. Suppose 80 + 61 = r*p. Does 17 divide p?
False
Suppose 5*o + 4*d - 3636 = 0, -2*d + 1415 = 5*o - 2223. Is o a multiple of 8?
True
Suppose -5530 = -3*u - 2*u. Does 14 divide u?
True
Let x(w) = -w**3 - 5*w**2 + 6*w - 4. Let g be x(-6). Is -51*(13/(-3) - g) a multiple of 17?
True
Let i(v) = 4 + v + 276*v**3 - v**2 + 2*v - 561*v**3. Does 42 divide i(-1)?
False
Suppose -4*g + 2*g = 3*z - 1446, 3*g + 2391 = 5*z. Is z a multiple of 4?
True
Suppose 5*z = -5*p + 425, 6*p + 5*z + 91 = 7*p. Is 6 a factor of p?
False
Suppose -2*x - 4*q + 20 = -x, 36 = 5*x + 4*q. Suppose w - 91 = -4*g + 89, 2*g - 734 = -x*w. Does 46 divide w?
True
Suppose 5*w - 20 = -10. Suppose w*j = -2*j + 336. Is j a multiple of 6?
True
Let k(f) = -4*f**2 - f + 6. Let y be k(2). Suppose -5 - 7 = -2*m. Does 11 divide 218/m + 4/y?
False
Suppose s + 72 = 5*s. Suppose 3*y + 48 = 5*y. Let a = y - s. Is a a multiple of 2?
True
Suppose -3*t = -5*o - 25, t + o + 4*o + 25 = 0. Is 11 a factor of 1*(121 - t)*(3 - 2)?
True
Let b be 18*(9/(-6) + 2). Suppose -499 = -b*v - 67. Is v a multiple of 16?
True
Let u(k) = k**3 + 10*k**2 - 13*k. Suppose 27 = -2*g - g - 3*c, -5*c = -10. Let t be u(g). Suppose 5*v - 3 = t. Does 3 divide v?
False
Let s = 13 + 29. Does 7 divide s?
True
Let h = 117 + 123. Is h a multiple of 60?
True
Let h be (22 - 2 - 1)/(-1). Let p = -4 - h. Suppose 11*v = p*v - 80. Does 10 divide v?
True
Let m = -28 - -45. Suppose -q + m = -5*s - 58, -4*q + 321 = s. Is 40 a factor of q?
True
Let y = 55 + -52. Suppose y*c - z = 123, 4*c - 2*z - 164 = -0*c. Does 3 divide c?
False
Let k(s) = 0*s**3 + 0*s + 30 + s + 2*s**3 - s**3. Let f be k(0). Is 1/1 + 0 + f a multiple of 16