. Let f be k(-12). Let x = 31 + f. Does 2 divide x?
False
Suppose 2*a - 86*g - 49585 = -91*g, 5*g + 198215 = 8*a. Is a a multiple of 35?
True
Suppose -74 + 2 = -9*l. Let k(o) = -o**3 + 8*o**2 + o - 4. Let a be k(l). Suppose u + 37 - 119 = -5*j, -4*u = a*j - 248. Does 12 divide u?
False
Let k(c) = -c**3 - 6*c**2 + 6*c + 9. Let f be k(-7). Suppose -4*h + 4*m = -3*h + 27, 0 = -3*h - m - f. Is 15 a factor of (30/h)/(6/(-84))?
True
Suppose -12*c + 14*c = -48. Let z = 76 + c. Let p = 112 - z. Is 15 a factor of p?
True
Suppose 1396 = 6*y + 5*m + 474, -4*y - 4*m + 616 = 0. Is y a multiple of 2?
True
Let n be (120/2)/((-15)/(-10)). Let k be 476/10 + 16/n. Let x = k + -38. Is 10 a factor of x?
True
Let h(s) = 185*s**2 + s - 12. Let z be h(3). Suppose -z - 6136 = -8*l. Is l a multiple of 32?
False
Is (-70)/1*(-15 - 270 - 13) a multiple of 28?
True
Suppose -22*n + 26*n - 2085 = -5*x, 2*x = -6. Does 22 divide n?
False
Suppose -10*r - 95 = 3*p - 14*r, 0 = -3*r + 15. Let v(b) = 2*b**3 + 50*b**2 - 2*b + 42. Does 49 divide v(p)?
False
Let y(g) = -g**3 + g**2. Let c(p) = -4*p**3 + 5*p**2 + 8*p + 3. Let j(k) = c(k) - 3*y(k). Let l be j(4). Suppose 540 = l*u + 2*u. Does 9 divide u?
True
Suppose 4074995 = 447*h + 37088 - 1017216. Is h a multiple of 228?
False
Let x(r) = r**3 - 3*r**2 - 5*r + 19. Let t be x(3). Suppose 4*a = t*y - 1816, -4*y + 1689 = -a - 115. Does 15 divide y?
True
Let m = 31 - 27. Suppose 0*t = m*t - 688. Suppose 224 = 6*h - t. Is 11 a factor of h?
True
Let q be (-4)/(-16)*-2*8/(-1). Let r be (q/16)/(2/(-48)*-2). Suppose -131 = -2*c - r*s, 325 = 5*c + 6*s - s. Does 15 divide c?
False
Let s = 4028 - 3703. Is 2 a factor of s?
False
Suppose 0 = 105*v - 122*v + 765. Let t(n) = 3*n**2 + 4*n - 4. Let i be t(3). Suppose -i = -4*w + v. Does 10 divide w?
True
Let w(i) = -3*i - 1. Let x be w(10). Does 3 divide -179*(-1)/2 + x/(-62)?
True
Is (14 + -9)/(2 + (-2013)/1008) a multiple of 30?
True
Suppose -3741 = 9*x - 38436. Does 30 divide x?
False
Is (26 - -1453)/((6/16)/1) a multiple of 116?
True
Let c = -11615 - -22915. Is 268 a factor of c?
False
Let z = 6554 - -147. Is z a multiple of 63?
False
Let b be ((-96)/(-56))/((-4)/(-154)). Let y = 220 + b. Is y a multiple of 13?
True
Suppose 72 = -77*f + 95*f. Suppose 5*v + 81 + 303 = r, -f*r = -4*v - 1536. Does 32 divide r?
True
Let x(h) = 41*h - 54. Let y(p) = -2*p. Let i(r) = x(r) - 6*y(r). Is 12 a factor of i(9)?
False
Suppose 23 = -4*g + 3*c, g = 5*c + 4 - 14. Let w be 32/112 + g/(-7). Is 35 a factor of (-157)/((w - 1) + -1)?
False
Suppose -p + 2476 = 2*t, -t - 22*p + 20*p = -1229. Is t even?
False
Suppose -4*o = -5*o. Suppose 196*h - 16944 = 184*h. Suppose o = 15*p - h + 242. Is p a multiple of 39?
True
Suppose -3*w = 5*h + 10, 4*w - 5*w - 15 = 4*h. Let l(q) = 3*q**2 + 14*q - 15. Let f be l(-5). Is 25 a factor of w/f*123*2*-1?
False
Suppose -3*j - 3*p = -6*p - 29496, -5*j + 49144 = 3*p. Is 17 a factor of j?
False
Let p(g) = -g**3 - g**2 - 308. Let u be p(0). Let d be (-5)/((-10)/u) - -1. Let m = -65 - d. Does 20 divide m?
False
Suppose -2*r = -w - 237 + 2039, 4*w - 5*r - 7214 = 0. Is 43 a factor of w?
True
Let g be ((-12)/21)/(12/(-42)). Suppose -4*d + 56 = 4*a - 12, -g*d - 2 = 0. Does 16 divide a/(-81) + 11*19/9?
False
Is 33 a factor of 6/2 + (1 + 50/(-10) - -13366)?
True
Suppose 2*g - 628 = -4*y, 7*y = 9*y + 5*g - 338. Is y a multiple of 10?
False
Let o = 60602 - 32069. Is 33 a factor of o?
False
Let u = -112 - -47. Is (-3)/3*(u + -6) even?
False
Let w(s) = 10*s. Let u be w(-1). Suppose 40 = 3*k + 43. Does 6 divide 1/(k + u/(-9))?
False
Let t(b) = 2*b**2 + 54*b - 50. Let r be t(-28). Does 18 divide ((-53952)/(-88))/r - (-4)/(-22)?
False
Let n = 402 - 401. Is (-572)/(n + (-1 - 2)) a multiple of 23?
False
Suppose 12504 = 6*l + 18*l. Is l a multiple of 2?
False
Suppose x + 5*d = 39 + 34, -2*d = -10. Suppose -x*o + 51*o = 21. Is (-9)/((-252)/(-8)) + 457/o a multiple of 9?
False
Let d = 4655 + -4054. Is d a multiple of 11?
False
Let k be 2/(-3) - (-766)/6. Let c(t) = -t**3 + 22*t**2 - 8*t + 43. Let o be c(20). Suppose -2*d - 2*d + o = 5*g, -g = -4*d - k. Is g a multiple of 22?
False
Suppose -852 = -4*j + 1772. Suppose -254 = -5*b + j. Suppose -5*s + 56 = f, -3*f + b = f - s. Is f a multiple of 30?
False
Suppose -2*v + 60*s + 54849 = 61*s, v - s = 27432. Is v a multiple of 247?
False
Let p = -8901 - -10563. Does 28 divide p?
False
Let w(u) = u**3 + 10*u**2 + 10*u + 9. Let b be (4 + -2)*9/(-2). Let q be w(b). Suppose q = -2*z + 8*z - 540. Does 15 divide z?
True
Let i(l) = -l**2 + 8*l + 1416. Does 51 divide i(0)?
False
Let c = 31 - 28. Suppose -23*w - 2*j + 564 = -21*w, c*j = -6. Is w a multiple of 15?
False
Suppose 75*i + 27*i - 10710 = 0. Does 13 divide i?
False
Let f = -107 + 134. Does 2 divide f - 17 - 3/((-6)/(-10))?
False
Let t = 363 - 335. Does 16 divide (-6)/((-2)/(-76)*t/(-21))?
False
Let o(a) = -6 - 2*a**3 + 0*a**3 + a**3 - 3*a. Let w(c) = 2*c**2 + 15*c - 275. Let d be w(-16). Is o(d) a multiple of 20?
False
Let j(y) = 2*y + 7. Let h be j(1). Suppose -356 = 5*p - h*p. Let f = 31 + p. Is 24 a factor of f?
True
Suppose 0 = 19*x - 24*x. Let w(i) = i + 156. Let n be w(x). Suppose 14*d = 2*d + n. Is d a multiple of 13?
True
Does 4 divide 97 + (4 - (-7)/(-7))?
True
Let a be 1*(25 + (4 - 7)). Suppose a*v - 23*v + 273 = 0. Does 13 divide (v/9)/((-7)/(-21))?
True
Let q = -654 - -391. Let j = q - -519. Does 16 divide j?
True
Let k(z) = -2*z**3 - z**2 + 8. Let q be k(0). Let h(m) = -7 + 0*m**2 + 1 - 9*m**2 + 11*m + m**3. Is 18 a factor of h(q)?
True
Let w be 10/((-2 - -3) + -3). Let r(z) = -3*z**3 + 4*z**2 + 4*z. Let v(a) = -2*a**3 + 2*a**2 + 2*a. Let h(t) = -3*r(t) + 5*v(t). Does 16 divide h(w)?
False
Let b(u) = 4*u - 4. Let v be (15/9)/((-2)/(-6)). Let j be b(v). Is (-15)/((-60)/j + 3) a multiple of 2?
True
Let y = 90 + -81. Suppose -2*v = -l - 1 - y, -5*v + 25 = -2*l. Is v a multiple of 4?
False
Suppose -u - 96*y + 98*y = 0, 4*u - 14 = y. Suppose -2*l - t + 296 = t, 2*t = -u. Is l a multiple of 2?
True
Suppose 8*o - 4*o + 4678 = j, -2*j + 3506 = -3*o. Let r = -289 - o. Does 15 divide r?
False
Let w be 176/110*(-115)/(-2). Suppose 7*k - 3*k - w = 0. Let m = -8 + k. Is m even?
False
Suppose -101*s + 91*s + 180092 - 5892 = 0. Does 13 divide s?
True
Let t = -522 + 524. Is -23 - -358 - (t - 5) a multiple of 26?
True
Let x(b) = -2*b**2 + 22*b - 39. Let v be x(7). Let r(u) = 36*u - 222. Does 26 divide r(v)?
True
Let n = -968 - 2144. Let x be n/(-14) - (0 - 2/(-7)). Suppose 0 = -4*j - 2*o + x, j + o = 6*o + 61. Is j a multiple of 14?
True
Suppose -102 = -6*z + 3*z. Let d(g) = 14*g - 65. Is 53 a factor of d(z)?
False
Suppose 2*v - p = 3 - 0, -v - p = -3. Suppose -h + v*y - 20 = 0, -14 = 2*h + y + 6. Does 9 divide (2 - h/(-9))*(-117)/(-2)?
False
Suppose 7*a = 5*a + 2014. Let f = a + -515. Suppose -2*i = c + 2*c - 246, 4*i = -5*c + f. Does 51 divide i?
False
Let g(d) = d**3 - 3*d**2 + 3*d - 1. Let z be g(3). Suppose z*r - 34 = 542. Is 9 a factor of r?
True
Let j(n) = -n**3 - 4*n**2 + 5*n - 10. Let o(c) = -2*c - 3. Let v be o(3). Is 35 a factor of j(v)?
True
Suppose r + v + 5 = 0, -4*r + 3*v = -2*v - 16. Let x be 142/(3 + r - (5 - 1)). Let s = x + 182. Is s a multiple of 15?
False
Suppose 2*t - 264 = -4*t. Suppose 47*k - t*k = 705. Does 18 divide k?
False
Let q(h) = h**3 + 90*h**2 + 80*h + 119. Does 13 divide q(-88)?
True
Let q be (-6)/((-9)/3) + -3 + 6. Suppose 18 + 462 = q*f. Let d = -16 + f. Does 17 divide d?
False
Let q(f) = 20*f**3 - 3*f + 3. Let u(c) = c**3 + c**2 - 2*c. Let r(k) = q(k) - 3*u(k). Is 37 a factor of r(3)?
True
Let x be 15/((-18)/15 + 1). Suppose 0 = u - 2, -2*l - l - u = -452. Let c = x + l. Is c a multiple of 15?
True
Suppose 63 = 11*h - 25. Let y(b) be the first derivative of b**4/4 - 7*b**3/3 + 3*b**2 - 7*b + 3. Is y(h) a multiple of 20?
False
Let q be -15285 - ((-1)/(-2) - 1/2). Is 13 a factor of q/(-25) + 1*10/(-25)?
True
Let t = 131 - 358. Let z = -173 - t. Is 6 a factor of z?
True
Let i(r) = -2*r**3 + 34*r**2 - r + 21. Let h be i(17). Is 618 - -68 - 1*h a multiple of 62?
True
Let i = -149 + 7085. Does 38 divide i?
False
Let w(z) = z**2 - 23*z - 23. Let k be w(27). Let v = -81 + k. Suppose 0 = q + 5*l - 2*l - 29, v*q = -5*l + 81. Is 14 a factor of q?
True
Suppose -d - 6 = 0, 5*w - 10*w = 5*d 