se 0 = 4*x + 12, -r*g + 4*g - x = -1037. Does 12 divide g?
False
Suppose -4*p = -5*v + 31869, -v - 2*p + 6966 = 595. Is 25 a factor of v?
False
Let g(f) = 6*f + f**3 + 155*f**2 + 154*f**2 - 471*f**2 + 160*f**2 + 4. Is g(4) a multiple of 3?
True
Let q(h) = -4*h + 13. Let u be q(-14). Suppose 5*f + 5*a = 10*a + 165, 0 = 2*f - 3*a - u. Suppose -2*p - 3*k + f = 5, 0 = -p + 3*k + 35. Does 10 divide p?
True
Let z = -15106 - -22146. Does 16 divide z?
True
Let g(m) = -24*m - 58. Let w = -29 - -24. Is g(w) a multiple of 2?
True
Let w(f) = -2*f + 4. Let h be w(-10). Suppose -h*i + 27*i - 324 = 0. Is ((-11)/2)/((-6)/i) a multiple of 21?
False
Let q(c) = -14*c - 2. Let m be q(-5). Suppose 3*o = -m + 218. Let d = o - 25. Is d a multiple of 11?
False
Let u = 18969 - 12727. Does 3 divide u?
False
Let d(g) = 13*g - 27. Let r be d(2). Is -161*(r*(-3 + 5))/2 a multiple of 6?
False
Let g = -175 + 272. Let t = g + -49. Is t a multiple of 14?
False
Suppose 3*g + 9 = 5*c + 5*g, -2*g + 1 = -3*c. Is 41 a factor of (-1)/c*(-2 - -4)*-227?
False
Suppose -5*w - 10 = -v + 188, w + 44 = -2*v. Is 3 a factor of ((-146)/20)/(w/(-100))*-4?
False
Let s(w) be the first derivative of -w**4/4 - 13*w**3/3 - 3*w**2/2 - 17*w - 58. Is s(-13) a multiple of 22?
True
Suppose -4*t - 358 = 3*w - 54664, 5*t = w - 18064. Is 109 a factor of w?
True
Let u = 273 + -206. Let x(v) = -v**3 + 15*v**2 - 19*v - 2. Let r be x(13). Let n = r - u. Is 7 a factor of n?
False
Suppose 13077 = 14*g - 17247. Is g a multiple of 43?
False
Let w = -23351 - -32789. Is 39 a factor of w?
True
Suppose 84*z = 74*z + 120. Does 30 divide (z/(-10) - 0)*(13 - 163)?
True
Suppose -5*o = 4*u - 5989, o - 1201 = -8*u + 4*u. Let p = o + -724. Does 8 divide p?
False
Suppose 0 = -51*n + 589972 + 100418 - 168252. Does 41 divide n?
False
Let s be (-1)/(-4) + -1 - 47926/248. Let a = -67 - s. Is a a multiple of 6?
False
Let t = -378 - -827. Is t a multiple of 22?
False
Let z be 3 - 9 - 843*(-16)/12. Suppose -2*s + z = 4*k, -2*s + 5*k = -6*s + 2236. Is s a multiple of 13?
True
Does 12 divide (-1574)/8*-75 - ((-792)/96)/11?
False
Suppose -6*x - s + 79 = -4*x, -3*x + s = -126. Suppose -x*o = -42*o + 114. Is o a multiple of 21?
False
Let u = 47580 + -33270. Is u a multiple of 90?
True
Suppose 2*b + 1 = 3*b, -o + 748 = -3*b. Is o a multiple of 16?
False
Let f(q) = 172*q**2 + 7*q + 10. Let k be f(-2). Suppose 58*y - k = 49*y. Is 3 a factor of y?
False
Let j be (-40)/(-60) - 2324/(-6). Let f be j/16*(3 + 9). Let o = f - 201. Is 15 a factor of o?
True
Let m(u) = u + 42. Let q(s) = -2*s - 126. Let k(l) = 14*m(l) + 5*q(l). Let t be k(18). Suppose 6*w + t = 9*w. Is 5 a factor of w?
True
Suppose 0 = 7*w + 2023 - 448. Let t = w - -698. Is 16 a factor of t?
False
Let d(v) = v - 28. Let h be d(-25). Let j = 558 - h. Is 36 a factor of j?
False
Suppose 367*j = 370*j - 174. Suppose -j*b = -64*b + 3870. Is b a multiple of 22?
False
Let s = 136 - 227. Let n = 332 + s. Does 17 divide (n/4)/(2 + (-7)/4)?
False
Let u = -1012 + 1039. Let p be ((-14)/(-4))/(1/14). Let k = p - u. Is k a multiple of 22?
True
Let b(l) = 3 + 64*l**3 + 11*l**2 - 63*l**3 - 14*l - 12*l. Let f be b(-13). Suppose 3*c = 5*m + 18 - 87, c - 47 = -f*m. Does 3 divide m?
True
Let j(t) = 7*t**2 - 5*t - 3*t**2 - 3*t**2 + 2. Let i be j(3). Is (-3 - i)*98 + -2 a multiple of 24?
True
Let l be 3/((-36)/3) - 394/(-8). Suppose -324 = -5*p - j, -j + l = p - 19. Is p a multiple of 2?
True
Let g = 47606 + -15072. Is 11 a factor of g?
False
Let u = -4694 + 13013. Is 18 a factor of u?
False
Suppose -4*t - 208215 - 21490 = -39*t. Is t a multiple of 66?
False
Suppose -256*v = -247*v + 234. Is 72 a factor of 8278/23 + v/(-299)?
True
Suppose 2*l = 2*t - 6, -2*t + 4 = -l - 2. Suppose -4*f - 2*v + 522 = l, 3*f - 436 = -v - 45. Is 3 a factor of f?
False
Is (12384/27)/(4*(-6)/(-396)) a multiple of 172?
True
Let k be (8/(-10))/((-6)/30). Suppose 1488 = -k*v + 10*v. Does 8 divide v?
True
Suppose 110400 = 67*w + 64*w - 111*w. Is 20 a factor of w?
True
Suppose -1457 = 4*j - a, -5*a - 898 = 3*j + 212. Let z = -137 - j. Does 38 divide z?
True
Let n be (2/6 + -1)*(-357)/34. Suppose 0 = -2*x - 5*l + 502, -11*l - 976 = -4*x - n*l. Is 41 a factor of x?
True
Suppose -3*s + 24 = 9. Suppose 0 = -s*m + 2*m. Suppose 3*k - 3*o - 63 = m, -2*k - 2*o + 16 = -10. Is k even?
False
Let v(z) = 2*z + 16. Let u be v(-7). Suppose 0 = d + 2 - u. Suppose 2*k - 7*k + 560 = d. Is k a multiple of 7?
True
Suppose 3*o = 2*o - 5*z - 7, -3*o - 4*z + 1 = 0. Suppose 12 = -o*n + 7*n. Suppose n*p - 172 = 2*p. Is 11 a factor of p?
False
Let p be -3*1 + -10 + 1 + 16. Is (-916)/(-1) - (-7 + p - -3) a multiple of 24?
False
Suppose 0 = -26*f + 160312 - 103087 + 227319. Is 64 a factor of f?
True
Let v(o) = 9*o**2 - 21*o - 54. Is 20 a factor of v(-21)?
False
Let r = -75 + 75. Let t(f) = -7*f**2 + 240. Is t(r) a multiple of 40?
True
Let h = 730 - -1502. Does 9 divide h?
True
Let q = -10509 + 14195. Is q a multiple of 4?
False
Let y(m) = 202*m - 612. Let a(r) = -50*r + 153. Let v(t) = 9*a(t) + 2*y(t). Is 33 a factor of v(-6)?
True
Suppose 6*q + 1 = 2*v + 5*q, 15 = 5*q. Suppose 0 = 6*l - 9*l + 3*m + 87, -3*l + v*m = -83. Is 12 a factor of l?
False
Let k(p) = -6137*p**3 - 3*p**2 + 14*p + 18. Does 28 divide k(-1)?
False
Let f(a) = 28*a + 6. Let y be (-3 + -3)/((-2)/8). Let o = -21 + y. Is f(o) a multiple of 13?
False
Let h(l) = 2*l - 3. Let n(c) = c - 1. Let b(x) = 3*h(x) - 7*n(x). Let j be b(2). Is j + 0 + (4 - -33) a multiple of 10?
False
Let d(w) = -w**3 - 15*w**2 + 50*w - 559. Does 11 divide d(-37)?
True
Let k be 1/8*18 + 2/(-8). Suppose -3*c + 5*c - 5*y = -16, y + k = 3*c. Suppose -2*l = -g - 59, -l - 78 = -4*l - c*g. Is l a multiple of 7?
True
Let o(u) = -u**3 - 78*u**2 - 169*u - 574. Does 72 divide o(-76)?
False
Suppose -4*o + 201 = 5*q, 65*o - 70*o - 4*q + 240 = 0. Suppose -19590 = -o*c + 14*c. Is c a multiple of 28?
False
Suppose 0 = 5*j - 3*h + 6, 4*j + 3*h - 10 = -2*h. Suppose j = 3*a + 96 - 276. Is a a multiple of 6?
True
Suppose -3*r + 135 = -3*g, 3*r + r - 51 = g. Let s = g + 45. Suppose s*x + 41 = -b + 255, b = -5*x + 541. Does 36 divide x?
False
Suppose -496 = -2*u + 4*q, -4*u + u + 753 = -3*q. Suppose 8*j - 4190 + u = 0. Is 21 a factor of j?
False
Suppose 0*z = -z - 4*z + 3470. Is 14 a factor of z?
False
Let l(z) = 11*z - 128. Let f be l(11). Let h(t) = -43*t - 49. Is 18 a factor of h(f)?
True
Does 28 divide (-3)/(-16 + (-946140)/(-59136))?
True
Let g(w) = 11*w**2 - w - 3. Let q(h) = h**3 - h**2 - 3*h. Let o be q(2). Let a be g(o). Suppose a = z + 2*r, -z - 4*z - 3*r = -215. Does 29 divide z?
False
Suppose -3*h = -3*s, s - 3*h + 20 = 2*h. Suppose 36 = 8*l - s*l. Is l a multiple of 12?
True
Let s(y) = 13*y**2 + 84*y + 65. Let l(a) = -3*a**2 - 21*a - 16. Let r(n) = 9*l(n) + 2*s(n). Is 9 a factor of r(-13)?
True
Let x(z) = 6*z - 11. Suppose 3*t + 64 = 4*t. Let a = t - 51. Does 11 divide x(a)?
False
Let w = 1924 + 279. Does 44 divide w?
False
Let q(b) = -b**3 + 3*b**2 + 4*b + 1. Let s = 1 + 3. Let h be q(s). Is (31/28 + h/(-4))*126 a multiple of 18?
True
Suppose 2*p + 3*c = -12, -1 = 2*p + c + 3. Suppose p = -2*s - 36 + 40. Suppose 5*w - 42 = -s*m, -3*w + 106 = 4*m - 4*w. Is 3 a factor of m?
False
Let a = 90 - 88. Suppose 0 = y - 5*v - 218, -3*v + 5*v = -a*y + 400. Does 21 divide y?
False
Let l = 58 + -46. Suppose -g - 2*g = -l. Suppose -4*d - d - g*y = -198, -y = -5*d + 188. Does 19 divide d?
True
Let g be (-2)/(-4)*8/4*4. Suppose -l = -3*l + g*p + 836, 1238 = 3*l + 2*p. Does 23 divide l?
True
Let s(x) be the first derivative of -29*x**4/4 + x**3/3 - x - 37. Is 3 a factor of s(-1)?
False
Let m(b) be the first derivative of 1/3*b**3 - 11/2*b**2 - 5 + 26*b. Is 26 a factor of m(11)?
True
Let d be 4/5*(50 + -40). Suppose -d*n - 1180 = -2844. Does 18 divide n?
False
Suppose 166*r - 159637 = 133685. Is r a multiple of 19?
True
Let l(m) = -16*m**2 + 686*m + 20. Is l(41) a multiple of 2?
True
Let a(d) = d**2 + 35*d - 65. Let o be a(-37). Suppose -o*y = -24*y + 6315. Is y a multiple of 20?
False
Let j(p) be the second derivative of -p**5/20 + 11*p**4/12 - 5*p**3/3 - 29*p**2/2 + 59*p. Does 4 divide j(9)?
False
Let y(p) = -p + 36. Let v be y(13). Suppose v*r = 22*r + 189. Suppose r = 3*m - 0*a - 3*a, -5*m = 2*a - 294. Is m a multiple of 12?
True
Let s