be q/(-16) + (-12)/(-16). Suppose s = 3*g + 2*n - 406, -g + 3*n = n - 138. Is 40 a factor of g?
False
Suppose 3*w + 33 = 4*i, i = -4*w + 5 - 11. Does 25 divide i/12*4 + (-1 - -99)?
True
Let t(f) = 3*f**2 - f - 11. Let j be 270/50 - 6/(-10). Is t(j) a multiple of 16?
False
Suppose 290 = 5*p - 720. Let j = p - 141. Is j a multiple of 16?
False
Let x(i) = -i**3 + 6*i**2 - 4*i + 3. Let a be x(5). Suppose -v - v = -a. Suppose 0 = v*p + 3*k - 54, 3*p + 2*k - 28 = p. Is 12 a factor of p?
True
Suppose 2*q + 0*q - 7 = w, -10 = -3*q + 2*w. Let j be 3 - 0/(1 - 0/(-5)). Suppose q*c + 2*l = j*c, 3*c - 10 = -4*l. Does 3 divide c?
False
Let w = 799 - 374. Let k = -827 + w. Is 12 a factor of k/(-33) - (-10)/(-55)?
True
Let n(v) = 9*v - 2. Let l be n(2). Let z(w) = w**3 - 15*w**2 - 14*w - 23. Let y be z(l). Suppose y*i = 4*i + 375. Is 17 a factor of i?
False
Let g(p) = -216*p - 24. Is 24 a factor of g(-10)?
True
Let n be 13 + 3/9*3. Let z be (-140)/(-30)*360/n. Let w = -69 + z. Does 13 divide w?
False
Suppose -2*c - 1126 = -5*s, -s + 3 + 218 = c. Is s a multiple of 8?
True
Suppose n - 1540 = 6*l - l, -l = 3*n - 4588. Is 6 a factor of n?
True
Suppose j + 0*j - 75 = -3*p, -100 = -4*p - 2*j. Does 25 divide p?
True
Let o be 11/(-5) - (4/2)/(-10). Does 5 divide o/(3/(165/(-2)))?
True
Suppose 3*h + 25 = 655. Let m be ((-12)/(-10))/(1/h). Suppose -138 = -3*x - 3*b, -4*b + 31 = -5*x + m. Does 15 divide x?
True
Let u(z) = 2*z**2 - 11*z - 5. Let m be u(6). Let w(k) = 0*k + 6 - 7 + 44*k**3 + k. Does 8 divide w(m)?
False
Suppose 0 = -3*h + 9. Suppose -h*y - 51 = -9. Is 6 a factor of (-8)/(-28) + (-164)/y?
True
Let k(p) = -p**3 + 6*p**2 + 4*p - 5. Does 11 divide k(-4)?
False
Let b(d) = 0*d**2 - d + 0*d**2 + 2*d**2. Let a(n) = -n**3 + 8*n**2 - 8*n + 6. Let x be a(7). Is b(x) even?
False
Suppose 4*y = -0*y + 316. Let t = 199 - y. Is t a multiple of 20?
True
Let b = -41 - -56. Does 8 divide 8*15/36*b - 2?
True
Suppose -3*i - k + 33 = 0, -i + 19 = 4*k - k. Suppose 460 = -i*r + 2550. Is r a multiple of 19?
True
Let i be -1 + 1 + (-7)/(-1). Let c(y) = -4*y + 4. Let t be c(1). Let l = i + t. Is l a multiple of 7?
True
Suppose -2*p + 6090 = 2*a, 3*a - 6988 = -4*p + 5189. Does 26 divide p?
True
Let o(y) = 2*y**2 - y + 1. Let h be o(1). Suppose 0 = -3*s + 3, 3*j - 3*s = 2*s - 2. Is (-27)/(-2 - j) - h a multiple of 7?
True
Let o = -80 - -87. Suppose -3*i - 496 = -o*i. Is 31 a factor of i?
True
Let u be -2 - 9/(-3) - 13. Let a be (-2)/12 - (-538)/u. Let b = a + 113. Does 24 divide b?
False
Let c = 1384 + -982. Suppose -w + 5 + 4 = 0. Suppose -w*m = -c - 228. Is m a multiple of 10?
True
Let s(t) = t - 11. Let n be s(9). Let h be -2 - (-3 - 6/n). Let c = h + 14. Is 6 a factor of c?
True
Suppose 0 = -5*f + 4*f - 2*y + 2, -5*f - 3*y = -17. Suppose -f*g + 12 = -g. Is (-1)/(2*g/(-408)) a multiple of 8?
False
Is (-1564)/(-12) + 3/(-9) a multiple of 10?
True
Suppose -4*s - y - 19 = -0*y, -3*s - 4*y = 24. Let h(l) = -l - 7. Let m be h(s). Let g(o) = -2*o**3 + 4*o**2 + 5*o + 5. Does 20 divide g(m)?
True
Suppose -292 + 4 = 8*z. Let r be 174/2 - (-4 - -3). Let m = r + z. Is m a multiple of 11?
False
Let h(q) be the first derivative of q**5/60 + q**4/12 - 5*q**3/6 + q**2/2 - 3. Let f(g) be the second derivative of h(g). Does 25 divide f(8)?
True
Let s = 517 + -117. Is 25 a factor of s?
True
Let m(u) = 2*u**2 - 31*u + 239. Is m(19) a multiple of 75?
False
Let a be (-2)/(-4) - 9/(-6). Let s(h) = 19 + h**2 + 0*h**2 - 2*h**a - 7*h. Is 7 a factor of s(-8)?
False
Is 31 a factor of (-3 + 2)*-1426*(-6)/(-4)?
True
Let k(r) be the first derivative of r**2 - 9*r + 4. Let s be k(4). Let a(z) = -19*z. Is 15 a factor of a(s)?
False
Let m(o) = -o**3 + 4*o**2 + 0*o**3 - 11*o + 14*o. Does 6 divide m(4)?
True
Does 43 divide (265*33/220)/(6/344)?
True
Let n(b) = 98*b**2 + b + 2. Is n(-1) a multiple of 11?
True
Let h = 482 - 149. Suppose -5*z + h = -467. Is 32 a factor of z?
True
Suppose 2*d - 3*a = 0, 0*d = -2*d + 2*a + 2. Let x be 7/(-21) - 152/d. Let v = x - -84. Is v a multiple of 11?
True
Let r be 148 + -6*2/(-6). Suppose 5*t - r = -3*o + 2*t, 5*o + t = 270. Is 15 a factor of o?
False
Suppose -5*l + 4*l - 3 = 0. Let x = l + -9. Does 9 divide (x/7)/((-26)/273)?
True
Suppose 0*g - 4*b + 58 = g, b + 161 = 2*g. Is 25 a factor of (2 + -5)*1 + g?
True
Let u(x) = x**2 + 4*x + 3. Let t be u(-5). Let d = -12 + t. Let z(h) = -2*h**3 - 5*h**2 + 4*h + 4. Is z(d) a multiple of 18?
True
Suppose f - t = 3*t - 42, 2*f + 58 = -5*t. Let z = -7 - f. Is z/3 + (-6)/3 a multiple of 2?
False
Let y(u) be the first derivative of u**4/4 - 8*u**3/3 + 4*u**2 + 3*u - 21. Let t(i) = -i**3 - 5*i**2 - i + 2. Let r be t(-5). Does 10 divide y(r)?
True
Let m(s) = 229*s + 1. Let d be m(1). Let y = -125 + d. Does 30 divide y?
False
Let m(a) = a - 7 + 2*a**2 - a**2 - 3*a**2 + 2*a - 2*a**3. Let k be m(-5). Suppose -88 = -2*b + 2*x, b = 5*b - 2*x - k. Is b a multiple of 15?
True
Suppose 0 = -2*z + 644 - 56. Suppose -3*f - 4*r + z = 0, -f + r + 30 = -75. Does 6 divide f?
True
Let c = -72 - -76. Suppose -c*w - w + 260 = 0. Is 13 a factor of w?
True
Let m(y) = -y**2 - 7*y + 6. Let p be m(-8). Let j be 0/(p + 2 + -3). Let o(b) = -b**2 + 28. Does 19 divide o(j)?
False
Let w = 1401 + -291. Does 15 divide w?
True
Suppose 897 = 4*s - 2*d - 1559, -16 = 4*d. Is 16 a factor of s?
False
Suppose -4*z - 4*u - 4 = 0, 2*u + 1 = -3*z + u. Suppose 3*a = 5*t + a - 60, z = 5*t - 4*a - 50. Is t a multiple of 14?
True
Let y(g) = -g - 17. Let f be y(-11). Let k be (-9)/((-2)/((-40)/f)). Suppose -5*h + 5*p = -150 + k, -3*h + 74 = -2*p. Is 26 a factor of h?
True
Suppose 5*h - 10 = 5. Let y = h + -6. Is 5/(y/3)*-1 even?
False
Let w(o) = 9*o**2 + 50*o + 591. Is 39 a factor of w(-12)?
True
Let k(w) = 4*w + 12. Let m(c) = -3*c - 13. Let y(d) = -4*k(d) - 5*m(d). Let x be y(13). Suppose 5*i - 4 = -2*r + 124, -x*r - i + 220 = 0. Does 18 divide r?
True
Let v = -11 + 19. Is 3/3*v*6 a multiple of 12?
True
Let p be 5656/7 - (-6)/2. Suppose -15*m + p = -839. Is 22 a factor of m?
True
Suppose 8*o = -5119 + 15255. Is 7 a factor of o?
True
Let u be (-44)/11 + (-4 - -1). Let q = u - -101. Is q a multiple of 6?
False
Let k = 0 + 2. Suppose k*l = 1 + 5. Let m(t) = t**2 - 3. Is m(l) a multiple of 6?
True
Suppose -4 = -3*i + 14. Let t = 8 - i. Suppose -6*q + q + 2*x + 473 = 0, -t*x = 3*q - 271. Is 16 a factor of q?
False
Let m be (3/(-6))/(4/336). Let f = 74 + m. Suppose 0 = -5*a - 5, a = -n - 0*a + f. Is n a multiple of 12?
False
Let c = 1658 + -1110. Does 3 divide c?
False
Let l(m) be the first derivative of 9*m**3 - m**2/2 + 2*m - 3. Let d be l(2). Suppose -15*k = -12*k - d. Is 14 a factor of k?
False
Let p = 1646 + -1083. Is p a multiple of 23?
False
Let p = 15 - 13. Suppose -3*r = 3*l + 2*r - 331, 0 = p*l + 5*r - 214. Is 39 a factor of l?
True
Suppose -4*d - 1225 = d + 5*l, -4*l = -20. Let p be d/20 - 2/(-4). Does 13 divide (-3)/18 + (-314)/p?
True
Suppose -5 = -k + 3*o + 2, -2*k - 2*o = 26. Let q = k - -13. Suppose 2*b - q*b = 9, -t - 5*b + 6 = 0. Is t a multiple of 11?
False
Is 2 a factor of 108*((-3)/2 + 20/10)?
True
Let g be 3 + 0 + (-4 - -3). Let o be 30/7 + g/(-7). Suppose h = o*h - 27. Is 9 a factor of h?
True
Let z be 2 - 12/2 - -13. Suppose -z*w + 14*w - 15 = 0. Suppose -w*a = -5*a + 24. Does 7 divide a?
False
Let c(f) = -f**3 + 3*f**2 + 12*f - 6. Let n be c(5). Let u(w) = 3 + 3 + n*w - 1. Is 12 a factor of u(6)?
False
Does 8 divide (-2 + 1 + 3)*(-51 + 171)?
True
Suppose 5*m = -5*s - 5 + 20, -5*m = 4*s - 12. Suppose -2*z + 5*j + 92 = 0, -112 = -s*z + j - 0*j. Does 36 divide z?
True
Suppose 0 = 5*c - 3 - 17. Let t(f) = -6*f + 28. Let a be t(5). Is 69 + c/8*a a multiple of 17?
True
Let a(g) = -18*g - 4. Let k(s) = -9*s - 2. Let c(l) = -2*a(l) + 5*k(l). Let q be (-3 - (-26)/10)*5. Is 9 a factor of c(q)?
False
Suppose 3*n = -n - 20, -n + 87 = -2*f. Let s = 64 + f. Does 18 divide s?
True
Let q be 10/(3*(-6)/(-117)). Suppose 0*a - a = -q. Does 8 divide a?
False
Let g be -1*((-8 - -2) + -4). Is (-2 - -5) + g + 6 a multiple of 9?
False
Let m = 2039 + -1301. Does 18 divide m?
True
Suppose -n - 4 = -b, 0 = -b + 6*b + 2*n - 55. Let j = b + 13. Is 11 a factor of j?
True
Does 20 divide (-15)/((-10)/(5520/9))?
True
Let c = -747 - -2703. Suppose -f = 11*f - c. Does 23 divide f?
False
Let b =