2*l**2. Let i(k) = -k - 1. Let w be i(-6). Is o(w) a multiple of 11?
False
Suppose -5*x = 4*h - 4316, -4*x - 3*h + 2370 = -1083. Is x a multiple of 6?
True
Let w(c) = -c**3 - 12*c**2 - 5*c - 288. Is 7 a factor of w(-19)?
False
Suppose w = -4*f + 7*f + 12, -3*w + f = -4. Let p(g) = 4*g**2 - 2*g + 162. Is 7 a factor of p(w)?
False
Let f(b) = -19*b + 162. Is f(-35) a multiple of 54?
False
Suppose -103 = -s + 125. Suppose 395 = 7*g - s. Is g a multiple of 26?
False
Suppose 4*z = -5*a - 16523 + 60183, -5*z + 43660 = 5*a. Does 85 divide a?
False
Let z = -223 - 38. Let b = 123 - z. Is b a multiple of 48?
True
Suppose 0 = 245*k - 38261 - 64425 - 78614. Does 247 divide k?
False
Let m(d) = -21*d - 18*d - 2*d**2 + 4 + d**3 - 18*d + 52*d. Let s be m(3). Let w = 10 - s. Does 12 divide w?
True
Suppose 6451 - 46363 = -3*d. Is 1/4 - (d/(-32) + 3) a multiple of 32?
False
Let c = -17639 - -28102. Is 119 a factor of c?
False
Let a(d) = -d**2 - 3*d + 4. Let q be a(-3). Suppose 4*b - 68 = 4*n, 5*b = -0*b + q*n + 87. Let i(m) = -m**3 + 20*m**2 - 12*m - 4. Is i(b) a multiple of 14?
False
Let b = -22 - -24. Let u(x) = 6*x**2 - 2*x. Let g be u(b). Does 3 divide (-24)/g*90/(-12)?
True
Let y(g) = g**2 + g + 2. Let z(v) = v**2 + 8*v. Let a be 3*(-7)/12*2*2. Let u be z(a). Is y(u) a multiple of 4?
True
Let f = -1264 - -859. Let i = f - -704. Does 34 divide i?
False
Suppose 3*c = 5*v - 15, 7 = -4*c + 2*v + 1. Let h be -172 - -4 - (5 + c). Let t = 489 + h. Does 15 divide t?
False
Let d(u) = -u**3 + 11*u**2 - 18*u + 84. Let s be d(10). Suppose 2*q = -17*i + 14*i + 99, -q - s*i = -52. Is q a multiple of 14?
False
Does 3 divide (12/7)/((-51)/(-238)) + 247?
True
Let k = -20 + 25. Let d(a) = 6*a**2 + 5*a + 10. Let u(v) = -7*v**2 - 6*v - 9. Let i(q) = k*u(q) + 6*d(q). Does 8 divide i(-7)?
True
Suppose 0 = 8*d - 15*d + 7. Let u be (-51)/(-2)*4 + -2*d. Is 4 a factor of (48/32)/(6/u)?
False
Let w(r) = -r**3 + 75*r**2 + 46*r - 1003. Is w(71) a multiple of 11?
False
Let o be (-6)/9 - 10/(-15). Suppose o = 2*n - 6*n - 36. Let l(a) = a**3 + 12*a**2 + 13*a + 12. Is 23 a factor of l(n)?
True
Suppose -8*o = -2*o. Suppose 2*u = -o*g - 2*g + 18, 3*u - g - 23 = 0. Let j(c) = c**3 - 8*c**2 + 11*c - 12. Is j(u) a multiple of 23?
False
Let p be 0/(-3*(-4)/(-12)). Suppose -2*t - 3*y + 1498 = p, -22*t + 26*t + 3*y = 3002. Does 94 divide t?
True
Let o = -22 + 34. Suppose -56 = 13*g - o*g. Let n = g - -77. Is 3 a factor of n?
True
Suppose 139*m = 10*m + 494586. Is 7 a factor of m?
False
Suppose 1614 = 8*v - 1026. Let n = v + -306. Does 12 divide n?
True
Let i = -490 + 640. Let z = 563 - i. Is 14 a factor of z?
False
Suppose -2*a - 73109 = -5*p, -167*p = -170*p - 5*a + 43822. Is 109 a factor of p?
False
Let m = -127 - -129. Is 364 + -2*4/m a multiple of 9?
True
Is 15 a factor of 1381814/210 - (-5)/(-75)?
False
Suppose 686136 = 40*w - 706184. Does 19 divide w?
True
Let y(p) = 148*p**2 - 2*p + 2. Suppose -6*b + 3*d = -b - 10, 3*d - 4 = -2*b. Suppose 14*r - b = 12. Is 37 a factor of y(r)?
True
Let m(z) = -5*z + 5. Let f(i) = i**2 - 9*i + 24. Let t be f(6). Let o be 0 - t - (-3 - -4). Is m(o) a multiple of 15?
False
Let b(x) = x**3 - 45*x**2 - 48*x + 94. Let m be b(46). Suppose y - 149 = -3*u + 49, 3*y - 580 = -m*u. Does 4 divide y?
True
Let r = -95 - -21092. Does 22 divide r?
False
Let l(f) = 2*f**2 + 2. Let t(u) = -194*u**2 - 3*u + 13. Let i(m) = 5*l(m) - t(m). Does 34 divide i(1)?
True
Suppose 18*b = -16817 + 121937. Is 16 a factor of b?
True
Suppose -10 = 5*l, -12*l + 9*l = -2*g + 212. Let f = -101 + g. Suppose 5*o - 347 + f = 0. Is o a multiple of 23?
True
Let g = 1315 + -2007. Let q be (-6)/(-10) - g/5. Suppose 980 = 144*s - q*s. Is s a multiple of 53?
False
Let u(j) = 1350*j - 2760. Is u(4) a multiple of 44?
True
Let l be (-5 - (-260)/(-12))*-6. Let v(m) = m + 14. Let o be v(-12). Suppose -3*f = 4*i - l, o*f + i - 175 = -f. Is 10 a factor of f?
True
Suppose 79*y - 123 = 76*y. Suppose 5*r + f + 150 = 0, y = -4*r + f - 70. Does 3 divide 3/3*-1 - (3 + r)?
False
Suppose 0 = -216*q + 51*q + 138186 + 182739. Is q even?
False
Let n(l) = 12 + 14*l + l**2 + 2*l**2 - l**2. Let k be n(-6). Suppose k = 5*y - 2*y - 294. Is 14 a factor of y?
True
Let p(h) = -h**3 - 16*h**2 - 7*h - 13. Let g be p(-9). Let i = -458 - g. Is 3 a factor of i?
False
Suppose 0 = 337*v - 339*v + 51278. Is 236 a factor of v?
False
Suppose -324375 = 62519*w - 62534*w. Is w a multiple of 16?
False
Suppose -2*t = t + 12. Let u be (222/6)/((10/t)/5). Is (-4 - (u + 4)) + 2 a multiple of 6?
False
Let f = 299 - 303. Does 18 divide 30/(-9)*(f + (-3829)/35)?
True
Let h be (368/24 + 6)*12. Let p = h + 163. Is 87 a factor of p?
False
Suppose 2*p - 170 = 294. Suppose 2*o - 230 + 6 = c, -3*c = -2*o + p. Is 42 a factor of o?
False
Suppose 4*q = -2*f + f + 7, -5*f = -3*q + 34. Let u = -21 + q. Is u - -15 - (-78)/2 a multiple of 9?
True
Let z = 50534 + -28806. Is 244 a factor of z?
False
Suppose -11*c + 4620 = -0*c. Let i = 641 - c. Is 18 a factor of i?
False
Suppose 6*f - 37 = -19. Suppose s - 43 = -3*x, 0 = -s + f*x + 35 + 8. Is s a multiple of 6?
False
Suppose 5*a = -4*x - 10, -2*x + 5*a = -4 - 6. Suppose 44 - 5 = 3*m + 2*w, -3*m - 3*w + 42 = x. Let q = m + 42. Does 4 divide q?
False
Let n(q) = q**3 + 15*q**2 + 50*q - 4. Let h be n(-5). Is 39 a factor of 777 + 6 + -16 + 1 + h?
False
Let w be 6 + 10/((-30)/9). Suppose -2*u = 0, -k - 2*u - 356 = -w*k. Is 27 a factor of k?
False
Is 67 a factor of 7*1/((-28)/20) + 3087?
True
Does 44 divide (26282/(-170))/((-8)/440)?
False
Suppose -2*w + 5*p - 204 = -3*w, 5*p = 4*w - 691. Suppose -2*t + w = -73. Is 7 a factor of t?
True
Let m(p) = -2*p**3 + 4*p**2 + 6*p - 7. Let h be m(2). Let c(o) = 3*o**3 - 3*o**2 - 6*o + 24. Is c(h) a multiple of 14?
True
Let c(w) = 21*w**2 - 6*w - 22. Let h be c(-4). Let i = 14 + h. Suppose 0 = -2*r - p + 5*p + i, 179 = r - p. Is r a multiple of 13?
True
Let r(f) = -17*f + 209. Let v be (-1 + 10)*-2 - (-55)/11. Is r(v) a multiple of 10?
True
Suppose -152*c = -170458 - 358046. Does 19 divide c?
True
Is -6*(-7)/42 - -2159 a multiple of 270?
True
Suppose 4*u - 9*u - 2785 = -2*y, 4*u = 4*y - 5552. Suppose y = 5*m + 5*d, 7*d = 2*m + 12*d - 560. Does 8 divide m?
False
Is 132 a factor of -20 - (675/25 - 26999)?
False
Let b(n) = -n**3 - 13*n**2 + 39*n + 1. Let t(h) = -h**2 + 2. Let g be t(2). Let o be 1/(g/(-4))*-8. Does 29 divide b(o)?
True
Suppose -5*a - 4 = y - 3*a, 0 = 4*y - 3*a - 17. Suppose 4*n - 159 = y*j + 7, 121 = 3*n - 5*j. Is 5 a factor of n - -6 - (5 - 2)?
True
Suppose -v - 269 = -4*y + 2028, -1744 = -3*y + 5*v. Is 5 a factor of y?
False
Let d(a) = -8*a**3 + 5*a + 4. Let g be d(-4). Let f = 877 + g. Is f a multiple of 93?
False
Let m(w) = -2*w**2 - 47*w + 1. Let t be m(-19). Let o = -152 + t. Is o a multiple of 20?
True
Let n(l) = 31*l - 16. Let t(o) = -2*o**2 - 2*o**2 + 6*o**2 - 3*o + 2 - 3*o**2. Let k be t(0). Is n(k) a multiple of 4?
False
Let c(v) = 3*v**2 - 9*v + 16. Let a be c(3). Suppose 2*n = -2*n + a. Suppose -5*b = -n*b - 25. Does 6 divide b?
False
Let a = 34 + 0. Suppose -5*n + a = -551. Is 6 a factor of n?
False
Let p = 22420 - 10213. Is 88 a factor of p?
False
Suppose 0 = -3*f + 9, -5*j + 20204 = -f + 227. Is 9 a factor of j?
True
Let j(s) = s**3 - 9*s**2 + 6*s + 17. Let x be j(8). Suppose 3*h - 4*q - 147 = 0, 8 + x = -3*q. Does 5 divide h?
True
Suppose 3*s = 3*v - 86739, 2*s - s - 954163 = -33*v. Does 61 divide v?
True
Let r = 11 + -18. Let j be -1 + r/(-6) + 14812/(-168). Let g = 174 + j. Is 11 a factor of g?
False
Suppose -y + 16611 = 5*s, -3315 = -s + 8*y - 10*y. Is s a multiple of 34?
False
Suppose -3*v = -j - 1034 - 218, 3*j - 6 = 0. Is 38 a factor of v?
True
Let q(u) = 2*u**3 - 42*u**2 + 35*u + 53. Is 16 a factor of q(22)?
False
Let b = 13 + -11. Suppose 1802 = 5*o - b*a, -3*a + 1098 = -3*o + 6*o. Does 12 divide o?
False
Let r(o) = 325*o + 2345. Does 105 divide r(7)?
True
Suppose -4*q - 26796 = -5*a, -4*a + 4*q = q - 21437. Is a a multiple of 20?
True
Let u be (10/2)/((-1)/(-15)). Let f be (-3)/2*(12 - (5 - -15) - -6). Suppose 0 = -x + 5*n + u, -n - 105 = x - f*x. Does 14 divide x?
False
Let k be (-394)/(-4*(-6)/(-36)). Let o = k + -285. Is o a multiple of 24?
False
Suppose -312422 = 12*o - 91*o + 3839818. Is 90 a factor of o?
True
Suppose q = -0*q - d - 