 26*d = -92131. Does 11 divide d/(-7) - 1*(-10)/35?
True
Let q = -131 + 70. Let w = 234 - q. Does 26 divide w?
False
Suppose 4*m = -4*p + 16708, -18409 = -4*m + 2*p - 1707. Suppose 18*b - m = 1674. Does 25 divide b?
True
Suppose q - 12 = 2*j - 3*j, 5*j - 15 = 0. Let w(v) = -v**3 + q*v**2 + 15*v**2 + 2*v**3 - 3*v - 3 - 5*v**2. Is w(-19) a multiple of 18?
True
Let x(w) = w**2 + w + 2. Suppose -4*l = -9*l - 5. Let f be x(l). Suppose f*k - 52 = 10. Is 7 a factor of k?
False
Let w be (-2372)/(-1*(5 + -1)). Let r = 73 + w. Is r a multiple of 18?
True
Let f(j) = -j**3 - j - 5. Let d be f(-2). Suppose -d*w = w - 1716. Suppose 164 = 15*x - w. Does 5 divide x?
True
Suppose 0 = 2*k + 2*k - 536. Suppose 0 = -4*z - k + 222. Suppose -16*o + z*o - 1764 = 0. Is 38 a factor of o?
False
Let r(p) = 2*p + 12. Let s be r(-5). Suppose 0 = -23*t - s*t + 52500. Is 30 a factor of t?
True
Suppose 23*b = 24*b - 7. Suppose -10*g = -b*g - 3297. Is g a multiple of 67?
False
Let n = -2600 + 3080. Does 32 divide n?
True
Let n(a) = 4*a**3 + 11*a**2 - 6*a + 11. Let z(s) = -s**3 - s**2 - 1. Let h(v) = n(v) + 5*z(v). Let t be h(8). Is (-2)/(-7) - t/(-14)*-5 a multiple of 8?
False
Let i(h) = 10*h**2 - 52*h - 41. Suppose -6*d + 691 = 619. Is 25 a factor of i(d)?
True
Suppose -1745*y + 1743*y - 368 + 1136 = 0. Is 24 a factor of y?
True
Let i(s) = 3*s**3 - 13*s**2 - 8*s + 8. Suppose -5*d = -14*v + 13*v - 27, -3*d = 4*v - 30. Does 28 divide i(d)?
True
Let t = 77245 + -53578. Does 16 divide t?
False
Suppose -27*w - 378 = -34*w. Suppose 0 = -55*o + w*o + 320. Is o a multiple of 80?
True
Suppose 49*l - 372719 - 114882 = -89966. Is 18 a factor of l?
False
Let a be (2/(-16)*-6)/((-2)/24). Let j be (-2)/9 + (-29)/a. Suppose -3*f + 557 = j*v - f, 0 = -2*v - 2*f + 372. Is v a multiple of 37?
True
Let w(l) = l**2 + 17*l + 19. Let p(z) = z - 24. Let q be 2/(-4) + (-14)/(-4) + 0. Let i be p(q). Does 8 divide w(i)?
False
Suppose 5772 = 3*x + 3*a, -2*x + 3*a + 2785 = -1058. Is x a multiple of 176?
False
Suppose 25*x - 20 = 21*x. Suppose -277 - 3 = -x*o. Suppose -p + 41 + o = 0. Is p a multiple of 12?
False
Suppose -11*u + 6 = -16. Suppose 0 = -5*h - u*x + 998, 978 = 3*h + 2*h - 3*x. Is h a multiple of 35?
False
Let q be 12 - (6 - (1 + 3)). Suppose q*l + 898 = 68. Let t = 151 + l. Is t a multiple of 34?
True
Let y(m) = m**3 - 4*m**2 - 2*m + 103. Let c be (-8 - -18) + (-4)/(-1). Let g be 2/c - (-16)/(-112). Is y(g) a multiple of 25?
False
Suppose -4*l + 5*n + 25779 = 0, 29*l - 25*l - 25749 = -5*n. Is l a multiple of 57?
True
Let k(x) = 125*x - 1. Let q be k(2). Suppose 4*c + f - 3504 = 0, 2*c - 57*f - 1752 = -53*f. Suppose -9*d + q = -c. Does 19 divide d?
False
Suppose 0 = -4*a - 5*b - 7, -2*b = b + 9. Suppose 2*s - 3*s - 11 = 4*c, -5*c - 10 = a*s. Let t(m) = 4*m**2 - 9*m - 3. Does 13 divide t(s)?
True
Suppose 2*q - 13129 = 4*i - 3*i, 3*q - 5*i - 19683 = 0. Does 67 divide q?
True
Suppose 4*o + 3*o = 14*o - 77. Does 8 divide o?
False
Let u = -2693 + 5426. Is u a multiple of 57?
False
Let r(x) be the first derivative of x**4/4 + x**3/3 - 2*x**2 + 5*x - 220. Suppose 3*u + 1 = 4*v - 1, -v = 4*u - 10. Does 9 divide r(v)?
True
Suppose -84*x + 54*x + 2010 = 0. Suppose 4*f = n - 1559, x*n + 5*f = 62*n + 7920. Is n a multiple of 96?
False
Let j(w) be the second derivative of w**4/6 - 29*w**3/6 + 21*w**2/2 - w. Let u = 20979 - 20960. Is j(u) a multiple of 32?
True
Suppose 0 = -6*d + 1 + 5. Let k = 78 + d. Does 6 divide k?
False
Suppose 5*n - 4*w = 2776, w = -5*n + 6*w + 2775. Is 28 a factor of n?
False
Suppose 0 = -3*b - j - 0*j + 18, -5*b + 2*j + 19 = 0. Suppose 3*z = -b*t + 290, -z + 5*t - 90 = -2*z. Suppose -4*m = m - z. Is 5 a factor of m?
True
Let m = 997 + -422. Let f = -50 + m. Does 15 divide f?
True
Let v(m) be the first derivative of 11 - 8*m - 3 + 1 - 3*m**2. Is 23 a factor of v(-6)?
False
Let y = 922 + -138. Is 5 a factor of 15*(y/42 + 1/3)?
True
Let x(z) = 137*z - 489. Does 12 divide x(57)?
True
Let u(s) = -s**2 - 8*s - 12. Let l be u(-6). Let f(q) = q**2 + 3*q - 66. Let m be f(l). Is -1 - 3 - (-9 + m) a multiple of 5?
False
Let u(w) = 10*w**2 + 7*w + 11. Let s be u(-4). Let o = 241 - s. Is o a multiple of 7?
True
Let g(h) = 4*h**3 - 5*h**2 - 13*h - 7. Let x be g(-5). Let l = -162 - x. Is l a multiple of 24?
False
Let j(s) = 3*s**2 + 9*s - 3. Let z be j(-4). Let p = z + 303. Suppose -6*b = -12*b + p. Is b even?
True
Let o be 74/(-2) - (5 - 9). Is 2 a factor of o - -30 - ((-4)/2 + -102)?
False
Suppose m - 1914 = -2*o, -5*o - 1782 = -4*m + 5913. Does 6 divide m?
True
Let l(r) = -r**2 - 2*r + 11 + 10*r**2 - 8*r**2. Let w be 0/(-2)*(-2)/4 + -8. Is 13 a factor of l(w)?
True
Let o(g) = 141*g - 7. Suppose 0 = -2*k - 6, -x - k - k - 1 = 0. Suppose 16 - 6 = x*z. Is 13 a factor of o(z)?
False
Suppose 3*q + 25 = 5*c - 2*q, q + 29 = 5*c. Let m(i) = -i**3 + 19*i**2 + 8*i + 12. Is m(c) a multiple of 44?
True
Let j be (-1)/((-1)/(-228)*-3) - -1. Suppose -3*v + s + j + 127 = 0, -4*s + 81 = v. Does 23 divide v?
True
Let k(j) = 3*j + 1 + 7 - 5*j + 0. Let z be k(3). Is 4 a factor of (z + 3/6)*8?
True
Let l(o) = 4*o**2 + 5. Let y be l(5). Let s = -331 - -515. Let j = s - y. Is j a multiple of 12?
False
Suppose -k - 5*r - 1000 = 0, -r - 1190 - 765 = 2*k. Let w = 229 - k. Does 34 divide w?
False
Suppose 15*o = 52736 - 1736. Does 26 divide o?
False
Let k be 80/(-14) + (-4)/14. Is 3 a factor of (-66)/(-15) + (1 - k/(-15))?
False
Let b be (156 + -10)*((-2)/4 - -1). Suppose 25 = 5*d - s - 66, 0 = 4*d - s - b. Suppose d*q = 5*q + 455. Is q a multiple of 7?
True
Suppose n - 5*m = 19, 2*n + 3*m = -15 + 14. Suppose g - n*g = -537. Is 7 a factor of g?
False
Let g = 263 - 145. Let u = -113 + g. Suppose 3*i = u*p - 1326, 7*p - 6*p - 2*i = 268. Does 29 divide p?
False
Suppose 0 = 2*i - 3*b - 1 - 1, 5*i - b = 5. Let c(u) = -u - 24. Let n be c(-6). Is 11 a factor of (-25 - n)*-11*i?
True
Let u(v) = -110*v + 7765. Does 87 divide u(-52)?
True
Suppose 7*x - 26 + 75 = 0. Is 6 a factor of (-4)/x - (2580/(-42) - 6)?
False
Let c = 110 - 109. Is 9 a factor of (827 + -19)*(c/(-2) - -1)?
False
Let n(u) = 6*u + 119. Let r be n(-13). Let d be 3*29*(-2)/(-3). Let l = d - r. Is 6 a factor of l?
False
Let t(w) = -461 + 5*w - 138*w**2 + 460 + 575*w**2. Does 63 divide t(1)?
True
Let n = 25836 + -14612. Is n a multiple of 46?
True
Suppose 0 = 3*w + 46*o - 41*o + 338, 0 = -5*o + 25. Let i = 743 - 508. Let q = w + i. Does 19 divide q?
True
Let a(m) = m**2 - 12. Let h be a(-4). Suppose -3*q - u + 1600 = q, -5*u = -h*q + 1600. Does 25 divide q?
True
Suppose -34*c = -37*c. Suppose -1670 = 5*l + 5*q, 5*l - 4*q + 1529 + 123 = c. Does 4 divide 3/((l/(-112) + -3)*-1)?
True
Let o = -3872 - -5696. Does 24 divide o?
True
Let w(m) = -6*m**2 - 122*m - 22. Let o be w(-20). Suppose o*c - 30*c = -2952. Does 12 divide c?
False
Let t(w) = w**2 + 45*w + 90. Is 51 a factor of t(-63)?
True
Let b = 26256 - 13800. Is 173 a factor of b?
True
Let q(f) = 71*f**2 - f - 4. Let g be q(2). Suppose -3*r = j + 2*j + 390, -2*j + 4*r = g. Let m = 186 + j. Does 21 divide m?
False
Let g be -2*((-21)/49)/(2/7). Suppose -2*l + 31 + 21 = 5*d, g*l - 2*d - 97 = 0. Let k = l + -19. Is k a multiple of 3?
True
Suppose 2368*t - 552140 = 2330*t. Is 20 a factor of t?
False
Let q be 4 + -3 - 2 - -2. Let s be (q/(-2))/(1/(-18)). Suppose -4*l + s*l - 300 = -3*y, 166 = 3*l - y. Is 28 a factor of l?
False
Let c be ((-10)/(-15))/((-8)/12). Is (0/4)/(-1) - (c - 20) a multiple of 11?
False
Suppose 5*w + 5*x - 209 = w, -20 = -4*x. Let q = w + -39. Suppose 6*h = q*h - 95. Is h a multiple of 17?
False
Suppose 3*i + 37 = 5*v - i, 0 = 3*v - 4*i - 27. Suppose 1 = v*o - 24, 2*c = -o + 257. Is 27 a factor of c?
False
Let p(w) = -96 + 76 + w + 30*w. Suppose -o = -4*n + 4, 0 = -4*o + 2*n + 2 + 10. Does 36 divide p(o)?
False
Suppose 4*j + 28064 = h, 4*j + 214 = 186. Does 43 divide h?
True
Let h = -41908 - -94744. Is 12 a factor of h?
True
Let j = -21 - -28. Let t(f) = -9 + j + 16 + f**3 + 4 - f**2. Is 6 a factor of t(0)?
True
Suppose 0 = 4*c - 215 - 233. Suppose -2*h = 48 - c. Is 8 a factor of h?
True
Let u(p) = -666*p - 360. Does 9 divide u(-8)?
True
Let t = -62 + 64. Suppose 4*g = 0, -2*j + 2*g = t*j. Suppose 2*f - 45 + 7 = j. Does 9 divide f?
False
Suppose 29*g - 224 = g. Is 35 a factor of (-102)/g*(7 + -31