 82 - 161. Let t = y + 83. Suppose 664 = t*x - 296. Is x a multiple of 13?
False
Suppose -2*o + 5*o - 159 = 0. Let l be ((-4)/4 - 0) + 50/(-5). Let h = l + o. Is h a multiple of 7?
True
Let v = 173 + -171. Let z be (-4)/40*8*920. Is 21 a factor of v*1/(-10) + z/(-5)?
True
Suppose 3001*x = 2982*x + 256044. Is x a multiple of 24?
False
Let o = -65 + 61. Is o/(-3)*(3 - (-3 + -48)) a multiple of 9?
True
Let r(l) = -272*l + 48. Let g be (-60)/6 - 8/(-2*1). Let z be r(g). Suppose 6*u + z = 12*u. Is 28 a factor of u?
True
Let a(t) = t**2 + 21*t - 20. Let q be a(-22). Let i be 0/(q + -5) - -126. Suppose 2*j - v - 57 = 74, 4*v - i = -2*j. Does 13 divide j?
True
Suppose q = 23*y - 26*y + 79062, 2*y + 869927 = 11*q. Does 39 divide q?
False
Let a(x) = x**2 + 2*x + 6. Let l be a(0). Suppose -114 = 8*y - l*y. Let j = -18 - y. Does 39 divide j?
True
Let y be (-4)/8*1*(4 + 2). Let o be y*2/(-12)*(-1 + -43). Is (-6)/5*1540/o a multiple of 21?
True
Let g be ((570/12)/(-5))/(2/(-40)). Let a = g - 4. Is 3 a factor of a?
True
Suppose 8*o = -0 + 24. Let h(l) = 18 + 1963*l**o - 1962*l**3 - 15*l**2 + 37*l**2 + 18*l. Does 27 divide h(-21)?
True
Let r = -145 + 392. Suppose -249 - r = -16*b. Is 4 a factor of b?
False
Suppose 32*g - 529 + 81 = 224. Does 21 divide g?
True
Let f(c) = -2*c**2 + 15*c - 5. Let b be f(7). Let v be (b + 1)/(18/348). Suppose -5*o = -203 + v. Is o a multiple of 11?
False
Suppose -4*g - 26 = 5*d, 15*g + 4*d - 4 = 18*g. Is 8 a factor of (-84)/(165/42 + g)?
True
Let p(r) = 2 + 4 + r + 54*r**2 + 27*r**2. Let o be p(-3). Suppose 0*m = 6*m - o. Is 25 a factor of m?
False
Suppose 0 = -7*k + 16208 - 1613. Suppose k + 1275 = -16*i. Let v = i + 372. Is v a multiple of 11?
False
Let h(s) = -s**3 - 24*s**2 + 9*s - 26. Let q be h(-24). Let n = q + 454. Is n a multiple of 8?
False
Let s(w) = -8*w - 41. Let t be s(-15). Let q = t - 75. Suppose -q*f - h - 4*h = -107, 3*h + 114 = 3*f. Is f a multiple of 17?
False
Suppose 31 = 5*b - 4*b. Suppose 4*h + 3*s + b = 0, h + 6*s + 29 = s. Does 18 divide (62 + (-2 - 4/h))/1?
False
Let n be (-3)/6*6*(-9 + 8). Suppose -x = -6*x - 25, -4*h + 4*x = -36. Suppose 5*p + 39 = n*s - 14, -h*s = -3*p - 56. Does 7 divide s?
False
Suppose -217*b + 216*b - 37848 = -5*z, -37883 = -5*z - 4*b. Is 3 a factor of z?
False
Let n(w) = -886*w + 1031. Is 69 a factor of n(-7)?
False
Suppose -156*q - 2140 = -j - 154*q, 2*q - 6404 = -3*j. Is 224 a factor of j?
False
Let j(b) = -8*b - 8. Let w be j(-6). Suppose 0 = 34*i - 10*i - 1728. Let x = i - w. Is x a multiple of 7?
False
Let t be ((-20)/8 - -4)*(-24)/(-9). Suppose t*u = 12 - 12. Suppose -2*v + 108 = 3*q, -5*q + 3*q - 4 = u. Does 9 divide v?
False
Let k be (-14)/(-4)*(15 + -13). Is 40 a factor of (92/6)/(k - (-2199)/(-315))?
False
Suppose 2*x - 4*x = -2*v + 1416, -2*v + 5*x = -1425. Suppose -2*r - 3*f + 687 = 0, -2*r + 4*r - 3*f - v = 0. Does 12 divide r?
True
Let q be 44*-1*((-52)/(-16))/(-13). Let a(x) = -2*x**2 - 10*x + 7 + 5 + 3*x**2. Is 23 a factor of a(q)?
True
Let q = -167 + 171. Is 78/q*(-10 + 22) a multiple of 18?
True
Suppose 0 = -a + 3*z + 2319, -2*a - 5*z - 1682 + 6265 = 0. Is a a multiple of 32?
True
Let c(o) = 6*o**2 - 102*o - 117. Is c(-30) a multiple of 67?
False
Let w be (-16)/(-28) - 12908/(-49). Does 7 divide w/(-20)*(-990)/54?
False
Let w be 4/2 - (1*-2)/(-2). Suppose -o - t + 4 = 2, 3*o - w = 2*t. Does 14 divide -1 - (o/(-2))/(2/172)?
True
Suppose -a - 7*d = -4*d - 49, 0 = d - 4. Suppose -a*t - 38 = -39*t. Does 2 divide t?
False
Let y(f) = f**3 + 22*f**2 + 26*f + 36. Let d be y(-20). Let h = -178 + d. Does 43 divide h/4*(4 + (-2)/(-1))?
False
Let b(y) = 2*y - 3. Let g be b(4). Let r be (188 - 189)/((-1)/3). Suppose g*n + r*p = 495, 2*p = -3*n - 0*p + 298. Does 32 divide n?
True
Let m = 12267 - 6700. Is 19 a factor of m?
True
Let j(i) be the second derivative of -i**5/24 - 43*i**4/24 - i**3 - 17*i. Let k(t) be the second derivative of j(t). Is 26 a factor of k(-14)?
False
Suppose 5*l - 438 = -141*l. Let k(t) = 2*t**2 + t**2 + 9 - 3*t - t. Is k(l) a multiple of 6?
True
Suppose 2102 = 14*i - 56866. Is 26 a factor of i?
True
Let k be ((-46)/(-2))/((-5)/(-35)). Suppose 0 = -5*f - 0*f + 3*l + 813, f - l = k. Is 13 a factor of f?
False
Let z(c) = c**3 - 20*c**2 - 24*c + 6. Let k be z(21). Let u = 150 + k. Let h = u + -45. Is 8 a factor of h?
True
Let m be (-10 - -6)*197/4. Let p = -480 - m. Let y = p + 409. Is y a multiple of 21?
True
Let a be (-3 + 4)/((-5)/(-75)). Suppose -20 = a*n - 10*n. Is 22 a factor of 96/9*(-111)/n?
False
Suppose 0 = 3*u - f - 28, 3*f = -f - 16. Suppose 9*d - u*d = 3. Suppose -5*x + d*j + 540 - 192 = 0, -x + 64 = -2*j. Is x a multiple of 8?
True
Suppose -132*w = -131*w - 17784. Is w a multiple of 26?
True
Let m(d) = 3*d**2 + 4*d - 10. Let w = -78 + 87. Suppose 6 = c + w. Is 5 a factor of m(c)?
True
Suppose 21*y + 24109 = -5*y + 99431. Does 50 divide y?
False
Let f(y) = 2*y**3 - 2*y + 6. Let j be f(-2). Is 29 a factor of (-1069)/((-3)/(j/(-2)))?
False
Let o = -30442 + 40438. Is 84 a factor of o?
True
Let m(f) = f**3 - 4*f**2 - 8*f + 9. Let y = 19 + -14. Let v be m(y). Is 6 a factor of (-64)/v*(7 + -5 + 4)?
False
Let m(j) = 2*j**3 + 24*j**2 + 23*j + 14. Let q be m(-11). Let l(s) = 5*s**2 - 5*s + 16. Is 2 a factor of l(q)?
True
Let n = 20 + -13. Suppose 5*z = 22 - n. Suppose 5 = t - z. Is t a multiple of 8?
True
Let c(a) = -590*a - 12138. Is c(-52) a multiple of 51?
False
Let p(o) = -1 + 8*o**3 - 7*o**3 - 6*o**3 + o**2 + o. Let a be p(1). Let u(y) = -y**3 - 3*y**2 - y - 11. Is 9 a factor of u(a)?
True
Suppose s = -d - d + 462, 2*s + d - 909 = 0. Let j = -212 + s. Is j a multiple of 10?
True
Suppose 318 = -51*z + 57*z. Suppose 0*k = -3*k + 294. Let r = k - z. Is 16 a factor of r?
False
Suppose -59 = -9*n + 4. Is 57*((32 - n) + -8) a multiple of 16?
False
Let q = -1271 - -1936. Suppose -2*f + q = 181. Is 11 a factor of f?
True
Suppose -5*y + 9408 = -2*y. Is y a multiple of 49?
True
Suppose -3*i = -2*k - 48 + 536, 0 = 5*k - 3*i - 1229. Suppose -2 = -5*q + 18, 5*q = 3*d - k. Does 12 divide d?
False
Suppose -4*q + 4*m = -40, m = 3*q - 7 - 13. Suppose s = -0 + q. Suppose -s*a = 4*p - 292, 2*a + 2*a = 5*p + 209. Is a a multiple of 4?
True
Let v(z) = z + 1. Let k be v(6). Let b be 2 - (4072/56 + 2/k). Let s = b + 132. Is s a multiple of 22?
False
Suppose -2*k - 5*m - 32 = 0, -3*k + 6 = -5*m + 104. Let r be (39/k)/((-6)/20). Suppose -177 + 37 = -r*d. Is 9 a factor of d?
False
Does 33 divide (-3)/4 - (-201465)/396?
False
Let r(u) be the third derivative of 19*u**5/20 + u**4/6 + 2*u**3/3 - u**2. Let a be r(-1). Let m = a + 10. Is 7 a factor of m?
False
Let c be 56/6 + (-48)/(-72). Let k be c/(-5) + 3 + -1. Suppose 5*y + 50 + 191 = 4*g, 3*g + y - 176 = k. Is 16 a factor of g?
False
Let d = 13 + -4. Suppose d*p + 70 = -101. Let g = p - -40. Does 11 divide g?
False
Suppose 16 = -5*v + 4*t, 0 = -5*v - 4*t + 7*t - 12. Suppose 16*b - 4657 - 1375 = v. Does 14 divide b?
False
Suppose 15 = -22*m + 19*m, -2*v - 4*m = -3078. Is v a multiple of 35?
False
Let j be (4/(-2)*-1)/((-8)/148). Let c = 11 - j. Let p = c - -29. Is p a multiple of 11?
True
Let n = 107 - 104. Suppose n*w - 54 = -2*h + 237, 5*w - 469 = 2*h. Is 19 a factor of w?
True
Let v = 153 - 145. Suppose v*c - 2106 = -c. Is 33 a factor of c?
False
Let x(c) = -4*c + 110. Let j(o) = -5*o + 110. Let g(n) = -5*j(n) + 6*x(n). Does 13 divide g(-7)?
False
Let j = 375 - 370. Does 12 divide ((-6 - -12) + 99)*8/j?
True
Let q = -24 - -29. Suppose -q*v + 7*v = 24. Is 4 a factor of (-21)/((-9)/3)*v/7?
True
Suppose -3*s - 5 = -4*g, -s + 5 = -4*g + 4*s. Suppose g*q + 6597 = 14*q. Does 19 divide q?
False
Let i(l) = l**3 + 7*l**2 - 7*l + 10. Let w be i(-8). Suppose 3*s - w*f + 114 = 0, -118 + 49 = 2*s + f. Is (-8)/s - (302/(-18) - -2) a multiple of 3?
True
Let b(s) = -48*s - 763. Is 6 a factor of b(-22)?
False
Let k(s) = -21*s - 80. Let h be k(-15). Suppose 2*y = 4*z - 1118, -5*y - 886 = -4*z + h. Is 9 a factor of z?
True
Suppose 117*z + 455 = 110*z. Let b = 20 - z. Is 19 a factor of b?
False
Let x(p) = 2*p**3 + 34*p**2 - 6*p + 79. Let v be x(-17). Suppose 188*n - v*n = 12425. Is n a multiple of 71?
True
Suppose -130*g - 97*g - 769642 = -3514072. Is 62 a factor of g?
True
Let p(l) = -2*l + 1. Let o(h) = 7*h**2 - 23*h + 4. Let i(b) = 