uppose -5*w + v*w = 81. Is 9 a factor of w?
True
Let c(h) = -14*h - 151. Let l be c(-11). Suppose 5*j + 113 = 2*g, 0*g - 17 = j + g. Does 7 divide (2*l/8)/(j/(-2184))?
False
Suppose 5*o - 400 + 435 = 0. Let b = 201 + o. Is b a multiple of 13?
False
Let y = 253 - 356. Let u = y + 86. Is 2 a factor of (1 + 0)/(u/(-136))?
True
Let k(a) = 310*a**2 - 18*a - 82. Does 96 divide k(-7)?
False
Let z be 6/(-9)*(-27807)/(-26). Let o = z + 723. Is 5 a factor of o?
True
Let i(a) = -a**2 - 19*a - 40. Let d be i(-17). Let r = -34 + 27. Is 16 a factor of ((-28)/d)/((21/(-72))/r)?
True
Let o(f) = -f**2 + 17*f + 17. Let d be o(13). Suppose 3*m - d = 216. Is m a multiple of 8?
False
Suppose 4*a + 4*j = 248, -4*a + 7*a - 181 = -2*j. Suppose -a*n + 11438 = -14*n. Is 14 a factor of n?
True
Suppose 134*k = -70*k + 233165 + 12207571. Does 12 divide k?
True
Suppose -321*a + 316*a = -5, -4*l - 4*a + 372 = 0. Suppose 4*m - 28 = -0*w + 2*w, 3*w = 0. Suppose 5*f = m*f - l. Does 23 divide f?
True
Suppose 3*l - 33*w - 44910 = -29*w, -4*w = -5*l + 74842. Is 205 a factor of l?
False
Let j(x) = 2*x**3 - 28*x**2 - 7*x - 5. Let r be j(14). Let v = 121 + r. Is v even?
True
Let j(u) = u**2 + u + 10. Let t be j(-3). Does 11 divide t/216*-3 - 994/(-18)?
True
Suppose 3*a + 2*d = 2*a + 2, 5*d = -3*a + 7. Suppose 3*p - 1965 = -13*o + 8*o, -5*o + a*p + 2000 = 0. Is 44 a factor of o?
True
Suppose -42701 = -5*t + j, 4*t + 201*j - 205*j = 34164. Is 140 a factor of t?
True
Let d be (2/4)/((-2)/8). Let u(p) = p**3 + 2*p**2 + 3*p + 60. Let x be u(0). Is 38 a factor of (x/(-45))/(d/279)?
False
Let p(w) = -w**3 - 8*w**2 - 2*w - 7. Let i be p(-5). Suppose -33*u = 261 + 333. Let c = u - i. Does 16 divide c?
False
Let k(j) = -3*j**3 - 8*j**2 - 6*j + 6677. Is 9 a factor of k(0)?
False
Suppose 0 = 3*y - 3*s + 6, -6*y + 10 = -4*y + 5*s. Suppose y = 29*c - 24653 + 2729. Is 36 a factor of c?
True
Does 28 divide 1*(-1 + 3) + 27294*(-1)/(-3)?
True
Let v be (-1)/((-2545)/(-424) - 6). Let q = v + 790. Is 18 a factor of q?
False
Let m(d) = -d**3 - 19*d**2 - 29*d - 25. Let v be m(-17). Let i = v - -109. Is 26 a factor of (2 + i - (-1 + 4)) + 262?
True
Let x(h) = -107*h**3 + 9*h**2 + 19*h - 138. Is 23 a factor of x(-6)?
True
Let t = 298 + 3996. Does 39 divide t?
False
Let l = 327 - 322. Let c be (-2802)/(-12) + 2/(-4). Suppose l*t = c + 27. Is t a multiple of 3?
False
Suppose 0 = 25*g - 16*g - 18. Suppose g*x + 5*k = 402 + 284, k - 1738 = -5*x. Is 59 a factor of x?
False
Suppose -4*i = 4*b - 9*b + 56, 4*b = 4*i + 48. Does 25 divide -9 + b + -4 - (-406 - -1)?
True
Suppose -2*o + 3624 = 3*h, 3*o - 5*h = -1737 + 7154. Is o a multiple of 30?
False
Let u(b) = b**2 - 7*b + 3. Let i = 39 - 32. Let x be u(i). Suppose 6 = -x*s + 108. Does 17 divide s?
True
Let h = 36 - 36. Suppose 3*y - 96 - 270 = h. Is y a multiple of 28?
False
Does 104 divide ((-42)/(-693))/1 - (-4101725)/165?
False
Let h(l) = 15*l**2 - 8*l + 68. Suppose 11*t + 48 = 19*t. Does 20 divide h(t)?
True
Suppose -15*n + 105610 = 2*m, -3*n + 12603 = -3*m - 8502. Is n a multiple of 8?
True
Suppose -45*s + 132 = -34*s. Is 97 - s/(-11 + 5) a multiple of 3?
True
Let g = -7475 - -12539. Does 12 divide g?
True
Suppose 0 = -5*d + 5*q + 2 + 23, -5 = 5*d + 5*q. Let x(k) = 0*k + 5*k - 5*k + 137 + 2*k - k**d. Is 12 a factor of x(0)?
False
Let r = 105 + -94. Suppose y = 4*a - 1276, -2*y = -r*a + 6*a + 1592. Does 40 divide a?
True
Let x(r) = 37*r + 349. Is x(44) a multiple of 35?
False
Let s = 109 + -96. Suppose 10*a = s*a - 27. Is 9 a factor of a?
True
Suppose 4*v + 12*v = 8896. Is 9 a factor of (-10 - v)/((-4)/(2 - 0))?
False
Let w(d) = 9*d - 143. Let i(g) = 39*g**3 - 2*g**2 + 14*g - 13. Let t be i(1). Is 12 a factor of w(t)?
False
Suppose 4*a - 2*j - 2*j = 0, -3*j + 6 = 0. Let f be a*(-1)/3 - 40/(-6). Suppose -21 = -f*s + 5*s. Is 3 a factor of s?
True
Let p = 48 + -36. Suppose -11*y + p*y = 2*o + 500, -514 = -y - 5*o. Is 14 a factor of y?
True
Let t = -21988 + 41672. Is t a multiple of 37?
True
Let l(m) = -m**3 - 23*m**2 + 24*m + 4. Let r be l(-24). Let i be 1/r*0/5. Suppose i*v - 120 = -3*v. Is v a multiple of 10?
True
Suppose 142*p - 28610 - 207678 = 71*p. Does 112 divide p?
False
Does 30 divide 28/42*(-3 + 1 + 15214/2)?
True
Let o(c) = 3*c - 21. Let j be o(7). Suppose j = -3*v - 3, -3*v - v - 36 = -4*f. Is 35 a factor of ((-6292)/(-16))/11 + (-6)/f?
True
Suppose 3 = -3*h, 0 = f + 3*h - 0*h + 1. Suppose -f*r = r - 2*r. Suppose -z - 6*z + 266 = r. Is z a multiple of 5?
False
Let y(a) = -6 + a + 42 + 24. Suppose 0 = -38*k - 352 - 142. Does 18 divide y(k)?
False
Suppose -3*v - 3*c + 2679 = -1227, 4*v = -3*c + 5206. Is 10 a factor of v?
True
Suppose 22*t - 20*t = -3*j + 11516, 4*t = -2*j + 7672. Is 40 a factor of j?
True
Suppose -2*l + 0*l + 2*i + 16 = 0, -1 = -2*l - i. Let u be ((-24)/18)/((-7)/l + 2). Suppose -q + 101 = s, 9*q - u*q + 3*s - 501 = 0. Does 33 divide q?
True
Let d = 774 + -1124. Let r = 1 - d. Is 15 a factor of r?
False
Suppose 5*s = 12*s - 1561. Suppose 2*o - s = -m + 5*o, -5*o - 10 = 0. Is m a multiple of 21?
False
Suppose -4*w = -2*t - t - 20, 4*t - 5*w = -25. Suppose t = -4*b + 31 - 11. Suppose 2*o + 62 = -4*i + 444, 373 = 4*i + b*o. Does 13 divide i?
False
Is 45 a factor of (-1395)/(116/8 + -15)?
True
Let s(l) = 3*l - 14. Let j be s(11). Suppose x - 4*u + 2 = j, -4*x + 35 = -5*u. Suppose -x*r - 29 - 19 = -k, 3*r = -4*k + 77. Is k a multiple of 2?
False
Suppose k - 5*f = 4*k - 26, -5*k + 6 = -f. Let g(w) = w - 1. Let b be g(6). Suppose -k*s - u + 125 = 0, 4*s - 2*s = b*u + 155. Is 11 a factor of s?
False
Suppose -9*l = -2*m - 14*l - 4, 2*m + 3*l - 4 = 0. Suppose -14*q = m*q - 13244. Does 14 divide q?
True
Suppose -492*a = -512*a + 480480. Does 12 divide a?
True
Does 45 divide 17904 + 30/(-4)*468/(-585)?
True
Suppose 0 = 5*j + 3*c + 5471 - 29033, 5*j - 5*c = 23530. Is 30 a factor of j?
True
Let o(p) = 9*p + 196. Let r be o(-21). Is 22 a factor of (744 - r) + (-3 - (-4)/(-4))?
False
Let m(c) = -c**3 - 107*c**2 - 648*c - 101. Is m(-101) a multiple of 13?
False
Let g be (-8 - -4) + 10 + 13. Suppose 0 = 18*l - g*l + 104. Does 13 divide l?
True
Suppose 4*p - 8*p + 32 = 0. Suppose 4*f - 16 = 4*y, 0 = -f - 2*f - y + p. Suppose 3*a + 12 = 0, f*a = -3*k + 5*a + 281. Is 13 a factor of k?
True
Let p(v) = -22*v**3 + 3*v**2 + 8*v + 8. Suppose -5*u = 5*s + 30, -2*s - 3 - 13 = 3*u. Is 4 a factor of p(s)?
True
Suppose -3*u - 12 = -5*a - 8, 4*u - 2 = 3*a. Suppose j + 5*t + 201 = 628, 0 = -u*j + 5*t + 854. Does 56 divide j?
False
Let t be 7 + -7 - (-12)/3. Suppose t*x = -3*x + 280. Does 6 divide x?
False
Suppose -84*k + 175*k - 993168 = -85*k. Is k a multiple of 33?
True
Is 130 a factor of (1230/8)/((2556/(-6240))/(-71))?
True
Suppose y + 7234 = 4*o, -2*o + 81*y = 86*y - 3628. Is o a multiple of 17?
False
Let z = -402 - -564. Let l = z - 102. Is l a multiple of 10?
True
Let x(v) be the third derivative of v**6/120 - 5*v**4/8 + 5*v**3/3 + 93*v**2. Is x(5) a multiple of 12?
True
Let u(f) = -f**2 + 10*f + 126. Let s be u(17). Is (0 - -129) + 0 + s + -8 a multiple of 4?
True
Let v(u) be the second derivative of -5*u + 0 - 1/3*u**3 + 25/2*u**2. Is v(-24) a multiple of 27?
False
Let m be ((-10)/4)/(7/(-14)). Let g(x) = x**2 - 6*x + 5. Let p(n) = 2*n**2 - 9*n + 9. Let c(y) = -7*g(y) + 4*p(y). Is 8 a factor of c(m)?
True
Suppose -4*n - 29 = -i, 2*i + n = -3*i + 82. Does 12 divide (-1826)/(-4) - i/(-34)?
False
Let a = -60645 - -105657. Does 242 divide a?
True
Suppose 19*f - 515305 = -34*f - 64381. Is 63 a factor of f?
False
Suppose 814 = -102*c + 105*c - 4*t, c - 234 = -4*t. Is 24 a factor of c?
False
Let k(p) = 1 - 4*p + 0 + 8 - 1. Let f be k(-8). Is 7 a factor of (2 - 11)/((-6)/f)?
False
Is 111 a factor of (-5)/1 - ((-53)/1431 + (-989412)/81)?
True
Let r = -24103 - -26310. Does 13 divide r?
False
Suppose 0 = -443*p + 3044636 + 771538 - 927814. Does 16 divide p?
False
Does 82 divide (42 + 8745/(-212))*5009*(-8)/(-3)?
False
Suppose -34*x = -67*x + 26*x + 5600. Is 10 a factor of x?
True
Let z = 200 + -178. Suppose z*r - 24*r = -364. Does 13 divide r?
True
Let y = -7251 + 25881. Is 138 a factor of y?
True
Suppose 25*m = 19*m + 2304. Suppose 19*y - 15*y = m. Is 8 a factor of y?
True
Let c(g) = -8*g - 32. Let r(s) = 25*s + 131. Let d(v) = -13*v - 65. Let p(o) = 5*d(o) + 2*r(o)