= z + o. Is 15 a factor of j?
False
Let r be (-240)/32*96/(-5). Is 4 a factor of (-1)/4 + 9/(r/2324)?
False
Let u(v) = 22*v**2 - 83*v + 741. Is 2 a factor of u(11)?
True
Suppose -27*i = -22*i - 3290. Let c = i - 174. Does 44 divide c?
True
Let w = 38 + 145. Suppose 0 = -0*y + y - w. Suppose 4*s - 73 = y. Does 31 divide s?
False
Let k(i) = -i**3 - 13*i**2 - 21*i - 37. Let y be ((-10)/(-4) + -1)/(66/(-660)). Is k(y) a multiple of 25?
False
Suppose 0 = 13*n + 2 - 28. Suppose -28 = -j + 2*q, -n*j = 2*q - 30 - 8. Does 11 divide j?
True
Suppose 10425 = 3*d + 3*g, g - 5866 - 1084 = -2*d. Does 5 divide d?
True
Suppose -130*j = -1719351 - 781719. Is 33 a factor of j?
True
Let n(b) = -2*b**2 - 43*b - 115. Let x be n(-17). Suppose 88 = v + 2*w, 162 + x = 2*v - 2*w. Is v a multiple of 8?
True
Let f(u) = -8*u + 37. Let v be f(4). Suppose -207 = -4*s + v*m - 534, -15 = 3*m. Is 3 a factor of 12/8*s/(-6)?
False
Let q(g) be the first derivative of g**3 + g**2/2 - 14*g - 332. Is 31 a factor of q(8)?
True
Suppose -4*p - 7*d + 14 = -6*d, -3*d = -2*p. Suppose -5*g + p*q = -726, -g - q + 49 = -93. Is g a multiple of 6?
True
Let a(b) = -5*b - 2*b - 39 - 13 + 14. Suppose -127 - 113 = 24*g. Is 6 a factor of a(g)?
False
Let x(p) = p - 665. Let f be x(0). Let w = -343 - f. Suppose 5*s + 4*c - 891 + w = 0, 5*s - 589 = c. Does 20 divide s?
False
Let v = 1674 + -1196. Suppose v = -658*g + 660*g. Is g a multiple of 51?
False
Let x(f) = 6*f - 40. Let m be x(10). Does 49 divide (3 + -668)*(-8)/m?
False
Let i(g) = 12*g**2 + 84*g - 8. Let m be i(23). Suppose 731*c - 739*c = -m. Is c a multiple of 17?
False
Let k = 81 - 71. Suppose 839 - 299 = k*o. Is o a multiple of 18?
True
Does 12 divide ((-1816)/20 + 2)/(18/(-810))?
True
Let a(i) = 65*i + 486. Is a(31) a multiple of 61?
True
Let l be ((-7)/((-63)/6))/(-2)*-1182. Let y = -91 + l. Is 15 a factor of y?
False
Suppose 11775 = s + n, 0 = -4*n + 333 - 337. Is s a multiple of 11?
False
Suppose 0 = 2*z - 4*s - 1104, 21*z - 18*z = -s + 1670. Does 8 divide z?
False
Let d(b) = -4*b**3 - 21*b**2 - 35*b + 75. Is d(-14) a multiple of 99?
True
Let z be (-28)/(-6) - (-5)/15. Suppose 0 = 6*v - 9*v + 2*s + 110, -3*v + 125 = s. Suppose 2*k - 2*h - 13 = -h, -z*k + 5*h = -v. Is 5 a factor of k?
True
Suppose -u - 2 = -0*u, -4*u - 1409 = -3*b. Suppose l = t + 153, -3*l + 6*l = -t + b. Is 9 a factor of l?
False
Let v be (6/3)/(-1) - -4. Let m be 2 + (v - 2) + (-3)/(-1). Suppose m*t + 3*h - 60 = 71, -5*h + 69 = 3*t. Does 7 divide t?
True
Suppose 4*f = 1949 - 13. Let w = f - 291. Is 8 a factor of 23/(-69) - w/(-3)?
True
Let v be 6/(-8) - (-3 + 2/8). Let b(o) = -10*o**v - o**3 - 2*o + 8 - 2*o**2 + 28*o**2. Is 54 a factor of b(15)?
False
Let m(w) = 150*w + 45. Let x be m(2). Suppose -3*y + 384 = 2*v, 5*y + x = 2*v - 55. Is v a multiple of 39?
True
Is 23 a factor of ((-6)/(-20) - 1314/730)*(-26450)/3?
True
Suppose -84*t - 444 = -88*t. Let a = t + 127. Is 15 a factor of a?
False
Let j(d) = 144*d**2 + 153*d + 1168. Does 229 divide j(-8)?
True
Suppose 5*n - 8544 = -4*c, -4*n + 2*c + 4607 = -2197. Does 14 divide n?
False
Let j(t) = 2*t**2 + 4*t - 3. Let r be j(-3). Suppose -r*k - 17 - 12 = 2*g, 0 = 5*g + 5*k + 65. Is 25 a factor of (-135)/(-18)*g/(-1)?
True
Let l = -353 - -383. Suppose 39*n = l*n + 5130. Is 19 a factor of n?
True
Suppose 0 = 4*d - 4*b + 72, -4*b + 21 - 3 = -d. Does 10 divide (9/d)/(4/(-1280))?
True
Suppose 9*l + 322 = 55*l. Is 38 a factor of 2 - ((-4505)/l - (-68)/119)?
False
Let h be 1/2*2/(-1) - -6. Let l(x) = 7*x - 33. Let j be l(h). Suppose -2*v - 6*a = -2*a - 82, a - 82 = -j*v. Is 3 a factor of v?
False
Let m(i) = 3*i - 6. Let c be m(2). Suppose 3*a = -2*w - c*w + 124, 3*a = -3*w + 126. Let j = a + -34. Is j a multiple of 3?
True
Suppose -2145 = 4*c + 11*c. Let v = 173 + c. Does 5 divide v?
True
Let t = 5 + -7. Suppose 2*g + 0*u - 45 = 3*u, 0 = g + 2*u - 26. Is 46 a factor of (-6 + (-105)/12)/(t/g)?
False
Let l(v) = 16 + 36*v**2 + 32 + v**3 - 35*v**2. Let k be l(0). Suppose 0 = 2*b + 3*n - 7*n - k, 5*n - 75 = -5*b. Is b a multiple of 7?
False
Let u = 4373 + -239. Is 53 a factor of u?
True
Let o be 3 + -1 - (-10 - 263). Let z = o - 233. Does 42 divide z?
True
Let z = -1817 - -13862. Is z a multiple of 12?
False
Suppose -3*i - 5*v + 1273 = 0, 4*i + v = 862 + 807. Does 27 divide i?
False
Suppose -174606 = -116*z + 208890. Is z a multiple of 38?
True
Suppose 10404 = -2458*q + 2470*q. Is 17 a factor of q?
True
Let n = 85 + -83. Suppose 0 = -o - 2*o + 3*u, 0 = -3*o - n*u. Suppose 208 = 4*a - 14*p + 11*p, -5*a - 5*p + 295 = o. Is 15 a factor of a?
False
Let u(j) be the second derivative of 7*j**4/12 + 2*j**3/3 + 18*j**2 + 40*j. Is 33 a factor of u(5)?
True
Let z = -31 - -71. Let g = z - -156. Let q = g - 94. Is 24 a factor of q?
False
Let x be 2 + -5 - 18/(2 + -3). Suppose x = 4*d - 1. Suppose -q + a + 14 = -14, -52 = -2*q + d*a. Does 13 divide q?
False
Suppose -5*c + 4509 = 4*x - 2*c, -3373 = -3*x - 4*c. Suppose -9*t + 2649 + x = 0. Does 14 divide t?
True
Let w(t) = -15*t + 67. Let l be w(-8). Suppose l*h = 189*h - 738. Is 15 a factor of h?
False
Let q be 16/32*(2 + 8)*1. Suppose 4*i + 2*o = q*i - 402, 1590 = 4*i - 2*o. Is 6 a factor of i?
True
Let h(i) = 161*i**2 - 243*i - 1726. Is 8 a factor of h(-7)?
True
Let g(r) = -r - 4. Let c be g(-4). Is (-1)/(c - 4/608) a multiple of 8?
True
Suppose -3*x - 4*n = 1229, -4*n = 2*x - 0*x + 814. Is 14 a factor of (x - -3)*10/(-5)?
False
Let t(g) = -196*g + 8. Let f be (2/8)/((-232)/32 + 7). Does 12 divide t(f)?
True
Let f = 214 - 258. Is 20 a factor of (-2 + f/3)*(-27 - -9)?
True
Suppose 0 = -0*h + 4*h - 4*s - 3320, 5*s = -5*h + 4170. Let f = -392 + h. Is 55 a factor of f?
True
Let m(c) = -c**3 + 15*c**2 + 32*c + 6. Suppose 0*o - 18*o = -144. Does 31 divide m(o)?
False
Let s be 0 + (-8)/6 + 80/15. Suppose 6*y + o - 236 = 4*y, 2*y - 224 = -s*o. Is 8 a factor of y?
True
Let j = 44 + -44. Suppose j = -8*k + 10 + 30. Suppose -4*q + 39 = -k*b + 222, -5*b = 4*q - 167. Is 35 a factor of b?
True
Is 2 a factor of (-3036)/24*(-5 + 3)?
False
Is 15/75 + 84877/65 a multiple of 73?
False
Let r(z) = z**2 - 15*z + 86. Suppose -2*m = 4*t - 60, 3*t + 0*t = -3*m + 39. Is r(t) a multiple of 20?
True
Suppose a = -5*r + 8296, 27729 = 4*a - 5*r - 5305. Does 10 divide a?
False
Let c be (378/168)/((-2)/((-944)/(-3))). Let j = c - -405. Is j a multiple of 42?
False
Let l(h) = -81*h**3 - 3*h**2 - h + 1. Let a(c) = -c**3 - 6*c**2 - 5*c - 1. Let m be a(-5). Is 6 a factor of l(m)?
False
Suppose -m - 100 = -11*m. Is 3 a factor of (1015/m)/7*2?
False
Let w(c) = -91*c - 10. Let d be w(-1). Let g(r) = r. Let o be g(-6). Let q = d - o. Is q a multiple of 10?
False
Let w(a) = -168*a - 42. Let y be w(-1). Let d = 169 - y. Is 8 a factor of d?
False
Is 41 a factor of (-18)/(-12)*1*-1*(-730044)/189?
False
Let p = 93 - 54. Suppose k + 5*d - p = -10, 4*k - 97 = -d. Is (k/(-36))/(2/(-117)*1) a multiple of 3?
True
Let j = -6802 - -11410. Is 4 a factor of j?
True
Suppose -w + 23648 = w + 4*t, 0 = w + 5*t - 11812. Does 51 divide w?
True
Suppose 1820 = -2*w + 832. Let p = w + 989. Does 45 divide p?
True
Suppose -86*f - 44*f + 670670 = 0. Is f a multiple of 124?
False
Suppose 5*a - 100 = 3*r - 0*r, -5*a + 130 = 3*r. Suppose -z = a - 63. Does 2 divide z?
True
Suppose 36 - 276 = -15*t. Let v = 138 + t. Does 14 divide v?
True
Let i(l) = -l + 2. Let c be i(-6). Suppose -5*a + c*a - 2100 = 0. Does 28 divide a?
True
Let l be (-4)/2 + (-22 - -28). Suppose -6*p = -p - 690. Suppose p + 6 = l*x. Does 18 divide x?
True
Suppose 1 = d - 4, 19 = -n + 4*d. Let a(x) = 314*x**2 - 10*x + 10. Is a(n) a multiple of 34?
False
Let q = 207 - 204. Suppose -3*x = q*u - 186, 79 = x + 3*u + 13. Is 3 a factor of x?
True
Let z(s) = s**3 + 26*s**2 - 826*s - 55. Does 14 divide z(-41)?
True
Is 15 a factor of (-4 - (2 + 305/15))/((-3)/846)?
False
Let p be ((-3)/(-12))/((-5)/(-5860)). Let s = -263 + p. Does 4 divide s?
False
Let o(n) = -2 - 1 - 5 + 789*n + 2. Is o(1) a multiple of 87?
True
Let o(t) = t - 11. Let y(v) = 5*v**2 + 25. Let z(j) = 2*o(j) + y(j). Let d(c) = -c**2 + 6*c - 3. Let i be d(6). Does 8 divide z(i)?
False
Suppose -12 = -4*v - 88. Let m = v + 39. Does 16 divide ((-464)/m)/(2/(-5))?
False
Let p(l) = -1459*l - 7542. Is p(-12) a multiple of 33?
True
Let b(v) be th