actor of -3 - (-1787 - (-182)/13)?
True
Let x(n) = 388*n - 572. Is 53 a factor of x(13)?
False
Let y = -1077 - -1713. Suppose -y = -31*k + 29*k. Does 53 divide k?
True
Suppose 0 = -177*z + 126*z + 376380. Is z a multiple of 10?
True
Let f(g) = g**2 + 23*g + 24. Let c be f(-18). Let u = -54 - c. Suppose -5*y - u + 67 = -4*h, 0 = -3*y - 5*h + 70. Does 5 divide y?
True
Suppose 14*o - 44*o - 3655296 = -106*o. Is 174 a factor of o?
False
Suppose 31*s + 765714 = 133*s. Is s a multiple of 69?
False
Suppose -p - 6 = 3. Suppose -149*s + 150*s = 34. Let o = s - p. Is o a multiple of 16?
False
Let c = -2 - -4. Suppose -121 = -5*b + 2*y + 366, -2*y + 206 = c*b. Is 24 a factor of 3/(b/2370) - 8/(-44)?
True
Let a = -218 - -232. Is 12 a factor of (0 - a)*(-536)/16?
False
Let b = -464 - -483. Suppose -24*j = -b*j - 2160. Is j a multiple of 24?
True
Suppose -7 = -m, -29*m = 4*k - 26*m - 4469. Is k a multiple of 7?
False
Does 14 divide ((-192)/(-144)*2/4)/(2/17484)?
False
Suppose -v + 4*j = -5, 2*j - 2 = v - 3. Let p be (18/v)/(7 - 9). Is 22 a factor of (-2 - p - -5) + 32*2?
False
Let o = -4384 + 6143. Is 7 a factor of o?
False
Suppose 350 = 3*j + 5*a + 100, -3*j + 2*a + 278 = 0. Suppose -p - j = y - 279, -p + 762 = 4*y. Suppose 2*t - y = -11. Does 27 divide t?
False
Suppose 7*c + 4*c - 162422 - 31035 = 0. Is c a multiple of 43?
True
Suppose -1 = z - 3. Suppose -i + z*p + 3*p = 0, -4*i + 2*p = -18. Suppose 3*y - 555 = -i*m + 620, 0 = -5*m + 2*y + 1200. Is m a multiple of 34?
True
Let k(b) = -3*b + 6. Let l(q) = q + 1. Let f(m) = -k(m) - 4*l(m). Let d be f(-14). Suppose -d*r - 32 = -392. Is 13 a factor of r?
False
Let z = -452 - -450. Does 53 divide 441 - z/(-1)*3?
False
Let n(w) = 8*w**2 - 38*w - 1092. Is 13 a factor of n(-18)?
True
Suppose 62*z = 74*z - 80388. Is z a multiple of 77?
True
Let a = 35 + -44. Let t(y) = -10*y - 23. Let k be t(a). Is 3 a factor of 10/(-25) - k/(-5)?
False
Is 27 a factor of (12180/(-7))/(1/(-18))?
True
Let f(y) = -y**2 - 158*y + 298. Does 37 divide f(-87)?
True
Suppose -2*y - f + 2*f + 9 = 0, -2*y = 3*f + 11. Let x be ((-100)/16)/(y/(-224)). Suppose d = 2*s + s - 414, -5*s + x = -5*d. Does 7 divide s?
False
Is 6/9 + 31742424/1728 + 2/(-16) a multiple of 55?
True
Is 71 a factor of (2/4*(-106254)/36)/((-2)/8)?
False
Let j be 1/5 - 3/15. Suppose -2*h - q = 1, 0 = -h + 2*q + 2 - j. Suppose -7*a + 3*a + 416 = h. Does 13 divide a?
True
Suppose 0 = 2*k - 5*o - 43, 0*k - 3*k + 3*o + 60 = 0. Let j = 3 - k. Let m = 10 - j. Is m a multiple of 5?
False
Suppose -1 = -n, 0*k - 2*k = 3*n - 543. Suppose -y + 5*y = -2*s - 558, -2*y = 4*s + k. Let d = y + 265. Is d a multiple of 14?
False
Let s(h) = 401*h**2 + 31*h + 175. Is s(-6) a multiple of 173?
False
Let v = 13 + -1. Let i be (-3*(-2)/v)/((-4)/(-64)). Suppose 587 + 61 = i*g. Is 12 a factor of g?
False
Suppose -2085*m + 300800 = -2035*m. Is 32 a factor of m?
True
Suppose 4*c = 2*p + 46, -3*p - 25 = 3*c + 44. Let v(q) = 2*q**3 + 50*q**2 + 87*q - 5. Is v(p) a multiple of 11?
True
Let u(f) = 1 + 5*f**3 + 2*f**2 - 6*f - f + 4*f. Let j be u(1). Suppose 2*i - 2*y = -7*y + 10, -y + j = i. Is i a multiple of 2?
False
Let b be (19/(-4))/(17/(-136)). Suppose u - 76 = b. Let o = u + -63. Is o a multiple of 9?
False
Let j(f) = -f**3 + 58*f**2 + 177*f - 296. Is 35 a factor of j(55)?
False
Suppose 0 = 2*s - 4*s - 4, 0 = -4*f + s + 30. Is 4 - 1 - (f - 412)/1 a multiple of 24?
True
Let z = 2642 - 1062. Is 2 a factor of z?
True
Let r be (20/4 + -4)/((-2)/(-54)). Suppose -28*d = -r*d - 17. Does 6 divide d?
False
Let m(p) = -p. Suppose 3*r - 21 = -4*r. Let q(g) = 7*g + 1. Let w(x) = r*m(x) + q(x). Does 33 divide w(8)?
True
Suppose i - 1 = -2*y, 2*y = 5*i + 7*y - 15. Let u(w) = 5*w**2 - 14*w + 24. Does 11 divide u(i)?
False
Does 3 divide 3336/6*11/22?
False
Suppose 39514 = 57*h - 11197 + 13262. Is 31 a factor of h?
False
Let m(s) = s**3 + 8*s**2 + 12*s - 8. Let p be m(-6). Let q(r) = r**3 + 13*r**2 - 12*r - 2. Is 10 a factor of q(p)?
False
Suppose -2*m + 4*i + 40516 = 3*m, i = -4*m + 32417. Is m a multiple of 140?
False
Suppose 5*w - 2*l = 8300, l - 4 = 1. Is w a multiple of 63?
False
Suppose 47*a - 282779 = 19*a - 21*a. Does 91 divide a?
False
Let a(q) = -2*q**3 + 242*q**2 - 212*q - 228. Does 108 divide a(120)?
True
Suppose -4*w + 8 - 40 = 0. Let s be (-17 - 185)/((w/(-2))/2). Let i = 330 + s. Is i a multiple of 18?
False
Let r(f) = -f + 48 + 8*f - 14*f - 19*f. Does 10 divide r(-7)?
True
Let y(b) = b**3 - 6*b**2 - 6*b - 4. Let p be y(7). Suppose -p*x + 61*x = 27492. Does 42 divide x?
False
Let x(f) = 12*f - 256. Let v be x(22). Suppose 0 = 2*c - 4*w - 1836, c - v*w - 918 = -5*w. Does 9 divide c?
True
Let d(j) = 8*j + 90. Let z(v) = -7*v - 88. Let t(m) = 4*d(m) + 5*z(m). Let b be t(-29). Let w(a) = -a**3 + 10*a**2 - 10*a + 18. Is w(b) a multiple of 13?
False
Suppose -3*a - k = -4*k - 960, 5*a + 2*k = 1600. Let y = -287 + a. Does 33 divide y?
True
Let o(w) = w**3 + 23*w**2 - 32*w + 24. Let u be (-3 - 16/(-2))/(0 + 1). Suppose 32 = -p - 4*n, -3*p + u*n - 83 = -21. Does 24 divide o(p)?
True
Let g(v) = v**3 - 27*v**2 + 28*v - 76. Let b be g(26). Is 15 a factor of (-3*46/4)/(b/576)?
False
Let j(t) = 36*t**2 - 63*t + 201. Is 15 a factor of j(-12)?
False
Suppose 9*l + r - 135 = 4*l, l - 16 = 2*r. Suppose 2*v = -3*g + 16, -v - 4*g = 4*v - l. Suppose 113 = q + x, 0*q - 4*x + 232 = v*q. Is q a multiple of 8?
False
Suppose 2*m + 4*i - 8 = 3*m, -2*m + 5*i - 10 = 0. Suppose -3*r - 5*d = 86, -4*r = -m*d - d + 84. Is (-2152)/(-22) - ((-12)/r)/(-3) a multiple of 14?
True
Suppose -2*o - 23 = 3*w, -2*w + 4*w = -2*o - 22. Is 37 a factor of 85*(12/9)/(o/(-9))?
False
Suppose 14*t = 22*t - 376. Suppose t*j - 41*j = 5166. Does 10 divide j?
False
Let s(d) = 55*d - 82*d - 140 + 2*d**2 + 44*d. Is s(8) a multiple of 4?
True
Let l = 139 + -141. Let j(r) = 171*r**2 + 2*r - 4. Is 70 a factor of j(l)?
False
Suppose 6905 = 6470*l - 6465*l. Is 3 a factor of l?
False
Let c = 74 - 80. Let z be 84*(3 - (-15)/c) + 3. Suppose -3*i + z = -999. Does 25 divide i?
False
Let u be 386/2*((-12)/4 + 2). Let i = 258 + u. Is 5 a factor of i?
True
Let p(n) be the second derivative of 5*n**4/4 + 2*n**3/3 + 6*n**2 - 27*n - 4. Is p(7) a multiple of 25?
True
Suppose -105 = -5*k + d - 30, -36 = -k - 4*d. Let p(j) = 2*j**2 - 32*j - 1. Let t be p(k). Is 43 a factor of -1 - t/3 - (-3900)/45?
True
Let c(x) = x**3 + 68*x**2 + 455*x + 73. Is c(-60) a multiple of 33?
False
Let a = -11 + -93. Let u = 109 + a. Suppose -3*h + h - 202 = -4*j, 2*j - u*h = 105. Is 9 a factor of j?
False
Let t = 262 - 263. Does 43 divide 36 - 42 - (t + -718)?
False
Suppose -4*u = 5*k - 10435, k = -u + 1542 + 1067. Does 15 divide u?
True
Let r be 2/3*6/12*0. Suppose 4*x - 9*d + 4*d - 368 = 0, -3*x + 5*d + 271 = r. Suppose -4*b + 5*b = x. Is 6 a factor of b?
False
Let a = 11493 + -6229. Does 56 divide a?
True
Let x(u) = 370*u**2 + 16*u + 32. Suppose 11*a - 35*a - 48 = 0. Is x(a) a multiple of 74?
True
Let p(x) = -2*x**3 + 16*x**2 + 20*x - 1. Suppose -4*z + u = -33, z + u = 6 + 1. Does 14 divide p(z)?
False
Let i be (84/48)/(1/16). Suppose 5*c - 2*v = 1421, -861 = 25*c - i*c + 4*v. Does 28 divide c?
False
Suppose -123*g + 142*g - 21185 = 0. Does 5 divide g?
True
Suppose -741*v + 790*v = 142198. Is v a multiple of 25?
False
Let l be (3 + -4)/(3/(-15)). Suppose 4*v + 101 = 5*f, -3*f + 82 = f - 2*v. Suppose 4*w - f = 3*r, -l*w + r - 3 + 21 = 0. Is w a multiple of 2?
False
Let x be 42/3 - (-23)/(161/(-42)). Suppose 0 = -x*t + 9773 + 2747. Is t a multiple of 96?
False
Suppose -m = 2*t - 29092, -899*m - 29116 = -900*m + t. Is 76 a factor of m?
True
Suppose 6*n + 94855 = -5*d + 261324, -d = -7. Is 19 a factor of n?
False
Suppose 0 = 2*r - 128 - 62. Let f = r - 51. Let c = f + -37. Does 3 divide c?
False
Suppose 3*p + 456 = -5*m + 5126, 0 = -2*m + 4*p + 1842. Does 49 divide m?
True
Let r = 11729 + -11288. Is 10 a factor of r?
False
Suppose -3*l + 5*o = 86, 2*l = 5*l + 3*o + 78. Is -4 - 3312/l - 4/(-3) a multiple of 15?
True
Let k(q) = 53*q**2 - 6*q + 18. Let v(h) = 141*h**2 - 16*h + 55. Let m(g) = -8*k(g) + 3*v(g). Suppose 0*l = 2*w - 4*l, w + 5*l = 0. Is m(w) a multiple of 4?
False
Suppose 3*r - 10368 = -r - 5*j, 5170 = 2*r - j. Does 42 divide r?
False
Let v = -39 + 38. Let w be ((-100)/(-6))/(v*(-2)/(-6