?
False
Let g = -3818 - -4490. Is 168 a factor of g?
True
Let c be (3*(-3 + 2))/(4 + -3). Is 11 a factor of 273 + -4 + 4 + 9/c?
False
Suppose 3*x + 31 = -35. Let s = x + 28. Suppose p - 854 = -s*p. Does 32 divide p?
False
Suppose -6*h = -10*h + 916. Let b = -154 + h. Suppose 5*m - 5 - b = 0. Is m a multiple of 8?
True
Let b be (6/8)/((-5)/340). Let c = -35 - b. Suppose 9*n - 4*n = -s + c, -4*n - 4*s = 0. Does 4 divide n?
True
Suppose -62*i - 198 = -66*i - 2*y, 20 = -4*y. Suppose 0 = i*l + 1074 - 28842. Does 6 divide l?
True
Is 21 a factor of (-1560)/1638 + 4/6 + (-376020)/(-28)?
False
Suppose -10*c = -15*c. Suppose -b = -c*b - 17. Let i = b + 23. Is i a multiple of 10?
True
Suppose 5781 = 12*y + 1413. Is (-4)/(24/45)*y/(-35) a multiple of 26?
True
Let d(u) = -11*u + 2105. Does 22 divide d(-116)?
False
Suppose 397*o - 61302 = 28254 + 3342. Does 13 divide o?
True
Is 169 a factor of 57789/8 - (-15)/840*-35?
False
Does 4 divide 6 + 15/(90/(-42)) + 1730/2?
True
Let r be ((-5)/(-15)*-3)/((-2)/1796). Suppose -4*d - 2*k + 3586 = 0, 2*k - r = -4*d + 3*d. Suppose 22*i = 18*i + d. Is 32 a factor of i?
True
Let h be (-4)/10 + (-96)/10. Let g = 1703 - 1707. Is h/g*(-70)/(-25) even?
False
Let y = 67 - 33. Suppose y - 14 = 5*o. Suppose -16 = o*v, u + 11 = 4*v + 45. Is 16 a factor of u?
False
Let j = -3021 - -4390. Does 37 divide j?
True
Let j = -94 - -822. Does 13 divide j?
True
Suppose -4*q + 287 = 5*f, -3*f - 4*q - 22 = -191. Suppose -38*v + f*v = 1449. Is v a multiple of 2?
False
Let a(q) = -q - 2. Let t(m) = -20*m**2 + 4. Let k(h) = -a(h) - t(h). Is 4 a factor of k(2)?
True
Suppose -8*a = -3*g - 12*a + 63048, -5*a = -3*g + 62994. Does 26 divide g?
True
Let y(w) = 16*w - 38. Let m(i) = -i**2 + 30*i + 144. Let o be m(34). Does 6 divide y(o)?
True
Let v = 25099 + -9362. Is 179 a factor of v?
False
Suppose 0*b + 128 = -8*b. Let u(a) = 4*a**2 + 4*a + 4. Let l be u(-3). Let q = l + b. Is 5 a factor of q?
False
Let a(p) = 19*p**2 - 11*p + 22. Let t be a(7). Let h = -1231 + t. Let i = h - -512. Does 28 divide i?
False
Let n = 130 - 130. Suppose -3*i = h - n*i - 1327, -2*h + 3*i + 2681 = 0. Is h/32 + 2/8 even?
True
Suppose 5*m + 215 = -230. Let u = m - -107. Suppose -u*z + 432 = -16*z. Is 25 a factor of z?
False
Let t = -105 + 176. Let q be (-2)/(-14) - (-3)/((-21)/t). Does 30 divide (221 + 1)*(-5)/q?
False
Suppose -5*f + 26 = 2*m - 10, 5*f = -m + 33. Let l = 23 - f. Is 17 a factor of l?
True
Suppose -31*j = -2*j - 68208. Suppose j = -11*x + 10998. Is 15 a factor of x?
False
Suppose 2*s + 338 = -5*q, -s - q - 176 = -2*q. Let r = -140 - s. Is r a multiple of 14?
False
Let t(i) = 7*i**2 - 13*i - 53. Let b(x) = 9*x**2 - 13*x - 54. Let j(f) = 4*b(f) - 5*t(f). Is 60 a factor of j(9)?
False
Let h be (-4)/(-1)*-5 + -30 + 32. Let k = h - -370. Does 22 divide k?
True
Let r(j) = 5*j - 49. Let y be r(13). Let f = y + 28. Does 13 divide f?
False
Let o(b) = b**2 - 5*b - 2. Suppose 0 = c - 3*c - 5*n + 40, 3*n + 28 = 4*c. Is 24 a factor of o(c)?
True
Suppose -6*b = 42*b - 7*b - 203319. Does 66 divide b?
False
Let w = -4022 - -7947. Does 9 divide w?
False
Suppose 3*w = 7*w + 12. Let n(a) be the third derivative of -23*a**4/24 - a**3 - 160*a**2. Does 5 divide n(w)?
False
Let k(u) = -6*u**3 - 13*u**2 + 2*u + 15. Is k(-15) a multiple of 15?
True
Suppose 0 = 5*b + 21 - 106. Suppose -3*a + b = 2. Suppose 0 = 3*g + 5*z - 22, g = a*g - 3*z - 10. Is g a multiple of 4?
True
Does 22 divide 7/1 + (-69504)/(-14) + 21/49?
True
Let s(k) be the first derivative of k**2 + 22*k + 16. Let y be s(-10). Suppose -5*f + 332 = -y*b, -f + 55 = 3*b - 25. Does 28 divide f?
False
Let k(o) = 11*o + 4. Let i(m) = m + 1. Let p(n) = 2*i(n) - k(n). Does 18 divide p(-10)?
False
Suppose -6*b - 35 + 107 = 0. Let k(d) = 7*d + 56. Does 26 divide k(b)?
False
Suppose 18 = 4*a - 4*w + 2*w, -2*a + 7 = w. Let q be 4*(-6)/4*(-28)/84. Does 11 divide (1 - 0)*q - (-168)/a?
True
Let d(c) = -49*c + 12. Let o(k) = 344*k - 84. Let p(i) = 20*d(i) + 3*o(i). Is p(5) a multiple of 31?
True
Is 38011 + (-8 + (-198)/(-27))/((-4)/(-6)) a multiple of 21?
True
Let i = 20107 - -802. Is i a multiple of 103?
True
Let o(l) be the first derivative of -29*l**4/4 + 4*l**3/3 + 3*l**2/2 - 6*l + 46. Is o(-2) a multiple of 36?
False
Let r = -568 - -578. Let q(j) = 2*j**3 - 19*j**2 + 3*j - 43. Let h(v) = -v**3 + 10*v**2 - v + 21. Let p(z) = 5*h(z) + 2*q(z). Is p(r) a multiple of 16?
False
Suppose 3*c + 40 - 13 = 0, -4*d - 4*c + 61084 = 0. Is d a multiple of 40?
True
Suppose -i = 3*n - 2290, 2*n - 1155 = 3*i + 390. Suppose 0 = 356*j - 359*j + n. Does 17 divide j?
True
Suppose 4744123 = -618*t + 78*t + 12324643. Does 12 divide t?
False
Suppose 0 = 1345*o - 1219*o - 3732624. Does 219 divide o?
False
Let r(c) = 2*c**2 - 6*c + 6. Let j(k) = -2*k**3 + k - 1. Let x(s) = -s**2 - s + 1. Let z(f) = j(f) - 2*x(f). Let w be z(2). Is 14 a factor of r(w)?
False
Let r = -5 + 9. Suppose -r*w + 923 = 5*d, -4*d = 4*w - w - 738. Suppose g + 4*g = -2*z + d, -4*z + 393 = g. Is 11 a factor of z?
True
Suppose -v + 105*v - 149760 = 0. Does 31 divide v?
False
Let m(y) = -y**3 + 25*y**2 + 28*y + 21. Let n be m(26). Is (23 - n)*4/(-10) a multiple of 18?
False
Let d = 620 + -2297. Let n = -283 - d. Is 41 a factor of n?
True
Let n = 2282 + 7718. Is 16 a factor of n?
True
Let f(i) = -2710*i + 3403. Is 217 a factor of f(-5)?
False
Suppose 6*m = -307 - 1253. Let z = 356 + m. Is z a multiple of 8?
True
Suppose 58 + 74 = 6*v. Suppose -3*y - 7 = 3*j - v, -j - 10 = -2*y. Suppose -y + 1 = -2*x. Is 2 a factor of x?
True
Let w(b) = 746*b + 888. Is 17 a factor of w(4)?
False
Suppose g = 3*g - 1488. Let n(f) = -f**2 - 25*f - 45. Let q be n(-23). Suppose 4*s + g = 4*l, -3*s - 7 = -q. Is 8 a factor of l?
True
Suppose -4*k - 3 - 4 = -w, -w + k = 8. Let r(g) = 2*g**3 + 25*g**2 - 10*g - 17. Let t be r(w). Let c = t + 162. Does 17 divide c?
False
Let k = -551 + 555. Suppose 406 + 1131 = k*l - 5*u, -1558 = -4*l - 2*u. Is l a multiple of 18?
False
Let u = 2947 - 1550. Let l = u - 605. Is l a multiple of 22?
True
Suppose -3*j - 16 = -13. Let w be (1 - (-3 - -3))/j. Is 17 a factor of w/3 + 928/12?
False
Let z = -147 + -286. Let g = z - -580. Does 22 divide g?
False
Suppose 17537 = -26*t + 14699 + 115808. Does 55 divide t?
True
Suppose 21*z - 356961 = 221022. Is z a multiple of 231?
False
Let v(w) = -w**3 - 4*w**2 + 5*w + 3. Let a be v(-5). Suppose -a*k + 8 = -p + 4, k + 3*p - 18 = 0. Suppose -3*t = -j + 89, 0*j + 101 = j + k*t. Does 19 divide j?
True
Suppose m + l = 53, 96 = -m + 3*m + 4*l. Suppose n - 242 - m = 0. Suppose 4*v - n = -4*d, -2*d - 5*v + 156 = -0*d. Is 13 a factor of d?
False
Suppose -2*q - 2*j + 2542 = 0, -3*j = -6 - 0. Does 27 divide q?
True
Suppose -32*m + 167384 = 26*m - 113104. Is 93 a factor of m?
True
Suppose -2*a = -5*i + 1929, 5*a + 2628 + 2137 = i. Let k = a + 1462. Is 85 a factor of k?
True
Is (-32)/(13 + 522/(-40)) a multiple of 20?
True
Let o(a) = a**2 + 14*a + 2. Let n be o(-14). Suppose -5*k + 33 = -4*t, 2*t - 6*k + 24 = -n*k. Does 17 divide (51/6)/(t/(-4))?
True
Suppose -7*l + 117748 - 85737 = -114324. Is 32 a factor of l?
False
Suppose -4 = -m + k - 2, 0 = -5*k. Suppose 5*y - 10 = -0*y - m*p, 4*p = 0. Suppose -120 = -2*a - 4*d, -3*a = -2*a - y*d - 80. Is 10 a factor of a?
True
Let z = 11382 + -4722. Does 90 divide z?
True
Let k = 76207 - 47056. Does 369 divide k?
True
Let n = 23 + 517. Suppose -8*u + 2*u = -n. Does 30 divide u?
True
Suppose 7*d - 6*d = 15. Suppose -d*w = -2*w - 1404. Let y = 122 - w. Is 2 a factor of y?
True
Let v be (-327)/(-13) - ((-56)/(-26) + -2). Suppose 18*u - v = 13*u. Suppose -7*c + u*c = -210. Is 15 a factor of c?
True
Let w(h) = 36*h - 77. Let c be w(8). Suppose c = -a + 593. Does 13 divide a?
False
Let g = 11895 + -11371. Is 131 a factor of g?
True
Suppose 4*b - d + 1815 = 0, d = 3*b - b + 909. Let q = -1014 + 281. Let n = b - q. Does 40 divide n?
True
Suppose -2708 + 18608 = 2*y - 2*o, 2*o - 6 = 0. Is y a multiple of 156?
False
Let d(w) = -7*w**3 - 9*w + 32*w + 8*w**3 - 4 + 13*w**2 - 1. Is 16 a factor of d(-9)?
True
Does 16 divide (54/36)/(1/13296) + 1 + -9?
True
Suppose -5*m - 372 = -4*d + 8, m + 4 = 0. Let k(p) = p**2 - 14*p - 5. Let f be k(-13). Does 23 divide (f/6)/(30/d)?
False
Suppose 4*s = 3*y + 3, -6*s + 10*s - 12 = 0. Suppose 