t - 59148 = -10*t. Suppose -14*n - 930 = -t. Does 21 divide n?
False
Let i = 266 - 266. Let z(k) = -2*k**3 + k**2 + 3*k + 171. Is z(i) a multiple of 9?
True
Suppose 0 = 2*k - 4*i - 0*i - 294, 0 = 2*k - i - 279. Suppose -4*c - 681 = -4*a - k, -2*a - 3*c = -252. Is a a multiple of 21?
False
Suppose 7*w = -w - 10*w + 114174. Does 6 divide w?
False
Suppose 7*z = 10*z - 2010. Suppose 3*r + r + z = 3*j, 3*r = -3*j - 513. Let a = r - -285. Is 20 a factor of a?
False
Let y = 435 + -430. Is 4 a factor of 4 - (-247 + 8 - y)?
True
Suppose 2*z - 5*p - 7 = 24, z - 3*p - 13 = 0. Suppose 13 = 5*d + z. Let n = d + 17. Is 4 a factor of n?
False
Suppose -2*m + 260 = 4*k, 18*m + 2*k + 662 = 23*m. Suppose -m*a = -131*a - 95. Is a even?
False
Let s(q) = q**3 + 22*q**2 - 26*q - 179. Let w be s(-23). Let j be (-7)/(((-6)/(-81))/2). Let a = w - j. Does 10 divide a?
False
Let g be 53/(-6)*-3*2. Let o = -50 + g. Suppose -5*b + 11 = -o*j, 4*b - b + 3 = 5*j. Is j a multiple of 2?
False
Suppose -4474 = -5*r - u, 4*r - 3*u = 1538 + 2064. Is r a multiple of 14?
True
Suppose v = -3 + 13. Let n(x) = x**2 - 10. Let h(k) = -2*k**2 + k + 21. Let r(a) = -3*h(a) - 5*n(a). Is r(v) a multiple of 19?
True
Let c(w) = -w + 13. Let b(a) = 2*a - 38. Let u(f) = -5*b(f) - 14*c(f). Let n be u(-2). Suppose n = -3*z + 7*z - 3*j - 117, 4*z = 4*j + 120. Is 7 a factor of z?
False
Let v(d) = 1850*d + 13. Let l = -76 - -77. Let k be v(l). Suppose -15*s + 1257 = -k. Is 13 a factor of s?
True
Let o = -431 - -489. Suppose 21*f - 23*f = 4*g - 46, -5*g - 2*f = -o. Is 7 a factor of g?
False
Suppose -w = 5*w + 348. Let c = w - -96. Suppose -y = -c + 6. Is 32 a factor of y?
True
Let u = 2 + -10. Let g(n) = 19*n**2 + 14*n + 1. Let v(s) = -3*s**2 - 2*s + 3. Let d(h) = g(h) + 5*v(h). Does 48 divide d(u)?
True
Suppose 650 = r + 572. Let h = -34 + 51. Suppose 2*n - 165 = -3*f, n - r = f + h. Is 18 a factor of n?
True
Let b(q) = -3*q**3 - 7*q**2 + 6*q + 3483. Is b(0) a multiple of 12?
False
Let y be 1560/(-24)*(-1)/((-5)/(-4)). Let c = 37 + y. Is c a multiple of 40?
False
Let b(u) be the second derivative of u**5/20 + 2*u**4/3 + u**3 + 4*u**2 - 2*u - 11. Is b(-6) even?
True
Let o(z) = z**3 + 42*z**2 + 133*z. Is 4 a factor of o(-28)?
True
Suppose -3 = r, -2*x - 4*r = -r - 159. Suppose -5 = -5*p, 2*j - 4*p + x = 7*j. Is j a multiple of 5?
False
Suppose 3*f - 3 = -0*f + 3*w, -4*f + 13 = 5*w. Suppose 7*h = 8*h + 1, 5*h = -f*r + 5. Suppose 5*t + 5*y - 985 = 0, r*t - 987 = -3*y - 0*y. Is 33 a factor of t?
True
Let p = -67 - -68. Suppose 4*c = f - p - 1, c + 4 = 2*f. Suppose 152 = -f*b + 6*b. Is b a multiple of 5?
False
Let w = -353 + 1033. Does 13 divide w?
False
Suppose 3*k = -4*a + 3, -6*k - 33 = -4*a + k. Suppose a*p - 40 - 74 = 0. Is 2 a factor of p?
True
Let b = -5155 - -7689. Is b a multiple of 74?
False
Let m(a) = -4*a**3 - 11*a**2. Suppose -4 = -2*q - 6*o + 2*o, 0 = -5*q + 2*o - 26. Is 10 a factor of m(q)?
True
Suppose 2*r + 5 = -3*p - 2*p, 0 = 3*p + 4*r + 3. Let x be -4 - (0 - p) - (-4 - -2). Does 16 divide (0 + 3/(-2))/(x/142)?
False
Let l be (2/2 - 0)/(16/27280). Suppose -94*t + l = -89*t. Is t a multiple of 30?
False
Let y(w) = 2*w**3 - 5*w**2 + 80*w + 20. Is 20 a factor of y(10)?
True
Suppose 3044*o - 3030*o - 352408 = 0. Is 28 a factor of o?
True
Let x be 10*((-6)/(-5))/3. Suppose 13033 = 40*s + 1993. Suppose -s = -8*y + x*y. Is 23 a factor of y?
True
Let k be 140/112 + (-14)/(-8). Suppose 12*r - 2040 = -k*r. Does 8 divide r?
True
Suppose 1281 = 5*y - 3*b + 4067, b - 556 = y. Let i = 789 + y. Is 10 a factor of i?
True
Suppose -4*h + 4 = t + 35, 2*t + 48 = -h. Let a = t + 433. Is a a multiple of 7?
False
Is 43 a factor of 27 - 18 - (-2401)/7?
False
Suppose 0 = i - 1 - 0. Let p be (i/(2 + 0))/(4/1632). Suppose 5*t = 7*t - p. Does 10 divide t?
False
Let a(z) = z**3 + 7*z**2 - 4*z - 1. Let r be a(4). Suppose 145*j = r*j - 3164. Is j a multiple of 13?
False
Suppose l + 5*d = 880, -4*l + 4*d + 2070 = -1354. Suppose -2*w - l = -12*w. Is w a multiple of 25?
False
Let h = 63313 + -19591. Is 14 a factor of h?
True
Let w(g) = -2*g**3 - 9*g**2 - 13*g + 1. Let u be w(-6). Suppose 2*s - 152 = s + 4*j, s + 3*j = u. Is 42 a factor of s?
False
Suppose 367 + 1355 = 7*v. Suppose -5*z = -2*a - 311, 8 + v = 4*z + a. Is 11 a factor of z?
False
Suppose 5*n = -12*n + 13209. Suppose -6*o + 4767 = n. Is o a multiple of 19?
True
Let r = -399 + 603. Suppose 0*d - 3*d = -r. Suppose 0 = 3*y - 3*x - 96, -d = -2*y - 5*x + 3*x. Is 8 a factor of y?
False
Let a(l) = 4*l**2 - 10*l - 10. Let c be a(8). Suppose 9*u - 7*u - c = 0. Is u a multiple of 20?
False
Let b(m) = 74*m**3 - 14*m**2 + 19*m + 1. Let f(q) = 25*q**3 - 5*q**2 + 6*q. Let i(x) = -2*b(x) + 7*f(x). Is 55 a factor of i(3)?
False
Suppose 20*r = 8*r + 636. Let a(v) = 2*v**2 - 98*v + 88. Does 82 divide a(r)?
False
Let k(h) be the third derivative of 161*h**5/60 - h**4/8 - h**3/3 - 10*h**2. Let b be k(-1). Suppose 0 = -15*x + 12*x + b. Is 18 a factor of x?
True
Suppose -170 = 8*k - 1810. Suppose 4*b - y + 526 = 9*b, 5*y + k = 2*b. Is b a multiple of 17?
False
Let q(b) = -b**2 + 4*b + 20. Let d be q(-5). Let c = 33 + d. Suppose -283 = -c*z + 277. Is z a multiple of 7?
True
Suppose -5*b = 25, 8*v - 4*v + 4*b = -2028. Let a = v - -587. Does 17 divide a?
True
Suppose 0 = -8*y + 9*y - 1148. Suppose -y = -6*j - 428. Does 20 divide j?
True
Suppose 9*v - 42406 = -26614 + 32322. Does 91 divide v?
False
Let p be (-1)/(-2)*(-19 - 83) - 5. Let m = p - -186. Is m a multiple of 29?
False
Is 12 a factor of (-256)/24*(-1668)/16?
False
Suppose -3*g + 3276 + 97 + 1373 = 0. Does 7 divide g?
True
Suppose 36*v - 14*v - 27300 = -13*v. Is 30 a factor of v?
True
Let x = 5854 + -3992. Does 133 divide x?
True
Let p(u) = 3. Let x(y) = -516*y - 39. Let r(l) = 3*p(l) + x(l). Is 12 a factor of r(-1)?
False
Does 12 divide ((-2286)/(-5))/((-6)/(-90))?
False
Is (0 + 11 + 641/5)/(3/10) even?
True
Let p be (-3)/6*(-4 + (-1 - -5)). Let i = -7 + 9. Suppose p*h - i*x = -3*h + 300, -3*h + 309 = x. Is 34 a factor of h?
True
Let l(w) = w**3 + 2*w**2 - w + 1. Let u be l(1). Is 7 a factor of (-3)/21 + u/84*1964?
True
Suppose 3*t + 75 = 2*n + 1770, 0 = -4*n + 4*t - 3388. Let y = n - -2573. Is 16 a factor of y?
False
Let h = 30 + -30. Suppose h = 20*x - 21*x + 101. Let u = x - 57. Is 11 a factor of u?
True
Let h = -589 - -1261. Is h even?
True
Let x = -43 - -87. Suppose -2*f = -4*f + 1610. Suppose f = -x*b + 49*b. Is 16 a factor of b?
False
Let c(s) = s**3 + 3*s**2 + 1. Let h be c(2). Suppose -h*o + 4224 = 3*o. Is o a multiple of 4?
True
Let o be (-1)/((-9)/(-18)*4/(-1298)). Let n = 39 + o. Does 8 divide n?
True
Let w(u) = -2439*u + 6330. Is 39 a factor of w(-5)?
True
Suppose -163*x + 173520 = -16*x - 3*x. Does 47 divide x?
False
Suppose 3*x = 4*x, 2*o + 78000 = 5*o + x. Is 100 a factor of o?
True
Let t(n) = -n**3 - 14*n**2 - 12*n + 16. Let r be t(-13). Let s(y) = -2*y - 5 + 11*y + 12 + 9*y**2 + r. Is s(-5) a multiple of 15?
False
Let b be (4/6)/(-1) + 1076/12. Suppose 5*o - 91 = b. Does 36 divide o?
True
Let k(v) = -19*v**2 + 10*v - 9. Let n be k(2). Let p = 680 + n. Is 41 a factor of p?
True
Suppose -3770 - 161 = -4*a + 6221. Is 22 a factor of a?
False
Suppose 5*k + 1420 = -q, 0*k - 4*q = k + 284. Let f = 434 + k. Does 10 divide f?
True
Let w(z) = 21*z**2 + 7*z - 10. Let v be w(3). Suppose -v = 4*q - 4*u + 84, u = 5*q + 359. Let m = q - -200. Does 8 divide m?
True
Let m be (-5)/(20/4)*-2 - -118. Suppose 0 = 21*b - 18*b - m. Does 3 divide b?
False
Let q(g) = -2*g**3 + 134*g**2 + 62*g + 216. Is 19 a factor of q(67)?
True
Let l = -2114 - -3667. Is l a multiple of 3?
False
Let z(i) = -4*i**2 + 81*i - 176. Is 16 a factor of z(10)?
False
Let h = 301 - 313. Is 5 a factor of -1 - (-9)/12 - 183/h?
True
Let r = -2995 + 4070. Is 25 a factor of r?
True
Suppose -2 = -v - 6. Let p = v - 87. Let l = -48 - p. Does 9 divide l?
False
Let w(n) = -10*n + 8*n - 1 + 7*n. Let l be w(1). Suppose l*d - 244 = v, 4*d = -0*d + 4*v + 256. Is 15 a factor of d?
True
Is 34 a factor of (14/35 - (-8)/5)*(-24438)/(-6)?
False
Let g be 3 - ((-3 - -9) + -43). Is 3 a factor of ((-7)/((-105)/162))/(16/g)?
True
Suppose -10*l - 28 = -1548. Is l a multiple of 12?
False
Suppose -4*p + 2*h - 190 = 0, 5*p + 99 = 5*h - 131. Does 10 divide (497/p + -7)/((-2)/35)?
Tru