/(-6) + -7)/(2/(-81)). Is 8 a factor of (-1 + 17)*(-42 + o)?
True
Suppose 127753 - 123451 = 2*l. Is 2 a factor of l?
False
Let w(o) = o**3 - 109*o**2 - 294*o + 505. Is w(116) a multiple of 59?
True
Suppose 4*d - 4*t = 18592, -d - 4*t + 3*t + 4636 = 0. Does 211 divide d?
True
Suppose -27*d + 322543 = -365606. Does 11 divide d?
True
Let h = -188 - -481. Suppose 1009 + h = 3*q. Does 14 divide q?
True
Let i = 28 - 26. Let k(d) = -4*d - i*d + 3*d + 5*d**2. Is k(-3) a multiple of 18?
True
Suppose 2*h + v - 41743 = 0, -615*h - 20833 = -616*h + 5*v. Is h a multiple of 111?
True
Let c(z) be the second derivative of -31*z**3/6 - 23*z**2 + 3*z. Let g(y) = y - 6. Let n be g(0). Is 14 a factor of c(n)?
True
Let s(d) = -29*d - 87. Suppose 3*c = -70 + 34. Does 9 divide s(c)?
True
Let q = -9238 - -12262. Is 7 a factor of q?
True
Let a(c) = -5*c**3 + 3*c**2 + 16*c - 3. Let k(b) = 5*b**3 - 3*b**2 - 15*b + 3. Let d(o) = -6*a(o) - 7*k(o). Is 66 a factor of d(-4)?
False
Let n = -9993 + 14017. Is 8 a factor of n?
True
Let q(y) = -5*y + 2. Let t be q(-2). Let k(l) = 12 - 289*l + t + 287*l. Does 31 divide k(-12)?
False
Let a = 5817 + 36605. Is 31 a factor of a?
False
Let t be 4*((-22)/(-4) + -5)*2. Suppose t*r - 358 = -210. Is 2 a factor of r?
False
Suppose 170*n - 8416342 = 52*n - 1510982. Is n a multiple of 266?
True
Let j(n) = 9*n - 25. Let g be j(4). Suppose 3*y = -3*m - 2*y - g, -2*y = m + 5. Does 18 divide (m/2)/((-7)/(-1190))?
False
Suppose -9*u + 3400 = u. Let m = u + -302. Is 2 a factor of m?
True
Let u(b) = -10 - 5 + 22 - 12 - 47*b. Let l be u(-3). Let q = l - 65. Does 15 divide q?
False
Suppose 97*t + 140*t = 54*t + 3724782. Is 112 a factor of t?
False
Let n be (27/(-2))/(6/(-40)). Let l = 35 - -20. Let u = n - l. Is u a multiple of 8?
False
Is 2922*(238/84 + -2) a multiple of 43?
False
Suppose -14*p - 3*p + 85 = 0. Let l(h) = 5*h**2 - 10*h + 30. Does 21 divide l(p)?
True
Let u = -13063 + 13723. Is u a multiple of 4?
True
Let m be (-12)/3 + 3 + -2. Let d(u) = 2*u + 1995*u**3 - 1999*u**3 - 4*u**2 - 6*u. Is d(m) a multiple of 12?
True
Suppose 4*q = q - 3. Let a be (0/(-9))/(q - 1). Does 17 divide -1*(a + (-1 - 31))?
False
Suppose 3*c = 3*r - 2*r + 5, 2*r = -4*c + 20. Let s(z) = 5*z + 8*z + r + 67*z. Is s(1) a multiple of 16?
False
Suppose 0*n + 5*n = 10. Is (-6 + (-5 - -115))*n a multiple of 15?
False
Let q be 6/27 + (-40)/18. Let w be (-3)/10 + 19 + (-7196)/280. Is (-8845)/(-35) + q/w a multiple of 29?
False
Let x be -11 - 2*(-6 + 5). Is 4 a factor of 0/x - (1 - 141)?
True
Does 9 divide (-565 + 636)/(2/(-202)*-1)?
False
Suppose 143*d - 144*d - 283 = 0. Let g = -227 - d. Does 7 divide g?
True
Suppose -3*m - 3511 = 2*r - 25600, 2*r - 22068 = 4*m. Is 55 a factor of r?
False
Suppose 4*x - 18 = g, 9 = 2*g + 4*x - 3*x. Suppose -g*f - 654 = -h, -1940 = -0*h - 3*h - 5*f. Suppose -15*v + h = -5*v. Does 13 divide v?
True
Suppose 394*d - 197*d + 1451358 = 259*d. Does 81 divide d?
True
Suppose l + k = -187, 16*l - 12*l + 736 = 2*k. Let i = l - -282. Is 11 a factor of i?
False
Let g(o) = 2*o**3 - o**3 - 5*o + 0*o - 9 - o - 7*o**2. Let q be ((-6)/(-2))/(20/6 + -3). Is 11 a factor of g(q)?
True
Let k(o) = -484*o - 30. Let n be k(-5). Suppose -2*i = 3*i - n. Is 22 a factor of i?
False
Does 3 divide 8*(-3 - 1197/(-72))?
False
Let n(w) = w**2 + 12*w - 47. Let q be n(7). Suppose 3*i - 246 = -3*b, -2*b - i - q + 252 = 0. Is b a multiple of 4?
True
Suppose 11834 = -28*y + 90451 - 4249. Is y a multiple of 8?
True
Let o = 46 + -42. Suppose -o*f = -2*h - 168 - 272, 110 = f - h. Does 5 divide f?
True
Suppose 17*h + 6140 + 864 = 0. Let l = -232 - h. Does 30 divide l?
True
Is 20 a factor of 2/(-12) + (-9 - 145215/(-54))?
True
Let n = -896 + 1667. Let j = 1116 - n. Is 23 a factor of j?
True
Suppose -3*h + 79749 = -9*t, 3*h - 18*t = -20*t + 79837. Is 147 a factor of h?
True
Suppose -a + 3*a - 4*i = 40, i + 40 = 2*a. Suppose 0 = -16*c + a*c - 72. Suppose -5*r = -147 - c. Does 15 divide r?
False
Suppose 0 = -2*i + 20 + 88. Is 10 a factor of (4/6)/((-36)/i)*-240?
True
Suppose 9*x - 12*x = -18*x + 59985. Is x a multiple of 31?
True
Suppose 3*r - 12*r = 405. Let a be ((-3)/2)/(r/11220). Let h = -224 + a. Does 13 divide h?
False
Let m(y) = -268*y + 1088. Does 20 divide m(-4)?
True
Let n(q) = 6*q**2 + q - 6. Suppose 61 + 4 = 5*x. Suppose -5 = -2*s - x. Is 43 a factor of n(s)?
True
Suppose 5*s + 3*x - 39244 = 2391, 4*s - 33345 = 5*x. Suppose -5*b + s = 2*b. Is b a multiple of 51?
False
Let v be (7 + -1)/6*-4. Is (-15)/(-2) + (-27)/(-6) + v a multiple of 4?
True
Suppose 2*c - 22 - 28 = 0. Suppose 0 = 2*t - 29 + c. Is 21 a factor of (-5)/((-5)/t) + 73?
False
Let c(u) be the second derivative of u**4/6 + 11*u**3/6 + 23*u**2/2 + 16*u. Let y be c(-15). Suppose y - 58 = 5*s. Is 5 a factor of s?
True
Let d be ((-27)/12 + 1)*188. Suppose -4*a + 5488 = 12*a. Let l = a + d. Does 30 divide l?
False
Let c be (-7)/((-7)/(-6)) - 4368/(-28). Suppose -3*z + 4*z = f - 7, -13 = 2*z - 3*f. Let a = z + c. Is a a multiple of 22?
False
Let u = -161 + 205. Suppose -u*j = -38*j - 504. Is j a multiple of 14?
True
Let f(p) = -306*p - 366. Is 6 a factor of f(-28)?
True
Let m be (12/3)/(1 - (-3)/(-6)). Let q(l) = 77*l + 48. Is 52 a factor of q(m)?
False
Suppose -m = -4*b - 15, -2*b - 3*b - 24 = -3*m. Does 58 divide ((-2 - -2) + m)/(29/5220)?
False
Let o(v) = 4 - 3*v + 12 + 4*v. Suppose 40 = -50*g + 55*g. Is o(g) a multiple of 8?
True
Suppose 2*o - 14 = 4*n, 11 = 6*o - 3*o - 4*n. Is 2 a factor of o - -8*(3 + 3)?
False
Let q(m) = -9*m - 6. Let z be q(-1). Suppose -5*b = -0*x - z*x - 136, 0 = b + x - 32. Does 2 divide b?
False
Does 7 divide -386*4*(10 + (-498)/48)?
False
Suppose -5*q + 12322 = 140*q - 3773. Let f(y) = -13*y**2 - 2*y. Let b be f(2). Let t = b + q. Does 5 divide t?
True
Let g(p) = 2*p + 528*p**2 - 541*p**2 + 3*p**3 - 15 - 2*p**3. Let j be g(13). Suppose -204 = -5*t + j. Does 3 divide t?
False
Let r(i) = 38*i - 12. Let g(u) = 6*u + 5. Let y be g(0). Let j be r(y). Let o = -99 + j. Does 9 divide o?
False
Let g = -30 + 64. Let n be 4/g + (-20454)/(-119). Suppose -4*u + 5*m + n = m, 0 = 2*m. Is u a multiple of 19?
False
Suppose -7*s = -5*l - 3*s + 343, -2*s = 3*l - 219. Suppose -x + 18 = 5*g, 5*x + 2 = g + 144. Let p = l - x. Does 7 divide p?
False
Let s(k) = -k**2 + 37 + 26*k - 2*k**2 + 0*k**2 + 2*k**2. Does 16 divide s(20)?
False
Suppose 3*h - 42 = 3*c + 9, 55 = 3*h - 4*c. Suppose -17*a + h*a = -568. Does 4 divide a?
False
Let a = -39 + 42. Let w(f) = f**a - 11 + 6*f - 2*f**2 - 13*f + 3*f. Is 11 a factor of w(5)?
True
Let j(o) = -360*o + 5850. Is j(13) a multiple of 78?
True
Let k(u) = -2*u - 6. Suppose 8*s = 7*s - 5. Let q be k(s). Suppose 5*o - q = 11. Is 2 a factor of o?
False
Suppose 4*n + x - 6 = 3*x, 0 = -4*n - 4*x + 24. Let z(l) = l**2 + 3*l - 4. Let i be z(n). Suppose -i*f - 23 = -15*f. Does 10 divide f?
False
Let h = 63 - 60. Suppose h*i - 397 = -5*u + 472, 0 = -4*i + u + 1128. Is 8 a factor of i?
False
Let a(d) = d**3 - 25*d**2 - 46*d + 94. Is 3 a factor of a(29)?
True
Let v(x) = 31*x**2 + 73*x - 2060. Is v(23) a multiple of 17?
False
Let w be ((-13)/2 - -6)/(2/(-1236)). Let s = w - 146. Suppose -493 + s = -5*r. Is r a multiple of 11?
True
Is 63 a factor of 5*4/60*2718/2?
False
Let b(i) = -i**3 + 17*i**2 + 6*i + 1. Let t be b(16). Suppose 4*r - 25*s + 23*s = 1462, t = r - 3*s. Does 23 divide r?
True
Suppose 2*x = 2*s - 7890, 2*s + 4*x - 8792 = -872. Does 58 divide s?
False
Let o(b) = -3*b**3 + 2*b + 1. Let l be o(-1). Let g be 17 + -43 - (-9 - -9). Is 8 a factor of ((-472)/g - l) + 38/(-247)?
True
Suppose 3*u - 5 + 6 = 4*l, 5*u - 4*l - 1 = 0. Let k(f) = 120*f**2 - 2*f + 2. Does 15 divide k(u)?
True
Suppose 30 = 9*w - 7*w. Let p(m) = 58*m**2 + w - 28*m**2 - m - 29*m**2 + 9. Is p(-9) a multiple of 38?
True
Let f(o) = 1147*o**2 + 11*o - 46. Let b be f(3). Suppose 0 = -37*k + 7598 + b. Does 27 divide k?
False
Suppose 27*d - 8933 = 21685. Does 72 divide d?
False
Suppose 2*r + 3*j - j + 2 = 0, -5*r - 3*j = -5. Suppose -20*h + 22*h = r. Suppose -h*n + 1 = -123. Is 9 a factor of n?
False
Let l = -169 - -1638. Is l a multiple of 8?
False
Let m be -87 + -6*(-8)/24. Let s = 1967 - m. Is s a multiple of 19?
True
Let b be -10*(25/10 - -2). Let c be 9*(27/b - (-38)/30). Suppose -c*o - 84 = -324. Does 4 divide 