-17))/(3332/(-24))) a multiple of 271?
False
Suppose -4*d = -3*u - 4239, -5*u + 1642 = 3*d - 1501. Does 12 divide d?
True
Suppose 157148 = 51*m - 140080. Is m a multiple of 187?
False
Suppose -5*s - 2*c + 17569 = 0, -s - 116*c = -115*c - 3509. Is 5 a factor of s?
False
Let q(l) be the third derivative of l**5/20 + l**4/24 - 5*l**3/6 + 21*l**2. Is q(2) even?
False
Let y(s) = -s**2 - 35*s. Let j(p) = 9 - 22 - 7 + p. Let q be j(2). Does 17 divide y(q)?
True
Let x(l) = 52*l**2 + 764*l + 10. Is x(10) a multiple of 22?
False
Suppose 4 = n - 0*n, -5*m - 246 = n. Let i be 6/(-10) - 330/m. Suppose 0 = i*k - 142 + 16. Is k a multiple of 7?
True
Let p(a) = a**3 + 2*a - 1. Let y(m) = 4*m**3 - 3*m**2 + 3*m - 2. Let s(d) = -6*p(d) + y(d). Is s(-4) a multiple of 20?
True
Suppose 3*u - 6021 = m, 5*u + 6*m - 10035 = 2*m. Suppose u*z - 2006*z - 591 = 0. Does 41 divide z?
False
Suppose -24 + 14 = -2*c, -2*w + 3*c - 15 = 0. Does 20 divide 798 + (w/(-8) - 0)?
False
Let y(u) = -u**3 + 52*u**2 + 254*u - 468. Is 12 a factor of y(56)?
True
Let l(m) = -m**3 + 6*m**2 + m + 7. Let b be l(6). Let p be 37/b + (-40)/(-260). Suppose -3 = k, -p*j - 2*k - 50 = -224. Is j a multiple of 5?
True
Is -2*(-1549 + -10) - (2 - 4) a multiple of 20?
True
Let w(i) = i**3 + i**2 - 3*i + 2. Suppose 3*j - 3*v = -2*v - 9, -5*v - 15 = 0. Let k be w(j). Let g = 2 - k. Is g a multiple of 18?
True
Let k be ((4 + -4)/(-6))/(-1). Suppose -6*p + 17*p - 2244 = k. Does 8 divide p?
False
Let h(a) = a**3 + 15*a**2 - 35*a - 14. Let t be h(-17). Suppose 0*m - 2 = -m, -x - t*m = -295. Does 6 divide x?
False
Suppose 37*g - 36*g + 193 = 0. Let s = -125 - g. Let a = s + -28. Is 21 a factor of a?
False
Let d(x) = -3*x**3 - 43*x**2 - 18*x + 10. Is 10 a factor of d(-20)?
True
Let c(l) = -l**3 + 11*l**2 + 16*l + 13. Suppose -66 = -11*z + 5*z. Does 21 divide c(z)?
True
Let w = 8737 - 5860. Is 28 a factor of w?
False
Is 45 a factor of (49926/(-7))/((-1899)/8862)?
False
Let v = 6783 - 5068. Is 13 a factor of v?
False
Suppose 0 = -i + 4, 39*f - 2*i = 42*f - 1364. Is 5 a factor of f?
False
Suppose 0 = 2*h + 3*v - 6617, 2*h - v - 6619 = -6*v. Suppose 0 = -14*t - 339 + h. Is t a multiple of 91?
False
Let k(t) = 4*t**3 - 6*t**2 + 2*t + 4. Let y be k(4). Let f = -113 + y. Suppose -25 = -5*i, g + 3*i - f = -2*i. Is g a multiple of 5?
False
Suppose -4*r = -45 + 65. Let y(g) = -53*g + 77. Is y(r) a multiple of 19?
True
Let m(q) = q**3 - 3*q**2 + 4*q - 12. Let t be m(3). Suppose -21*z + 1050 + 588 = t. Does 35 divide z?
False
Let i = 20 + -1. Suppose -i*w = -15*w - 28. Suppose -3*t + w*t = 124. Is 29 a factor of t?
False
Let n(g) = 31466*g**2 - 59*g - 36. Is n(-1) a multiple of 9?
False
Let o = -7 + 24. Suppose -4*l = -3*p - o, -3 = -3*p + 4*p. Suppose h + l*h = 192. Is h a multiple of 16?
True
Suppose 0 = -0*r - 2*r. Suppose -4*g - n = 4, 5*g + r*n - 5*n - 20 = 0. Suppose g = 4*x - 22 - 34. Is x a multiple of 3?
False
Let r(k) = 31*k**2 - 108*k - 933. Is r(33) a multiple of 287?
False
Suppose 3*p = -4*j - 48, p + 2*j + 34 = -p. Let k(y) = -7*y + 72. Is 53 a factor of k(p)?
True
Suppose 30872*v + 178020 = 30884*v. Is v a multiple of 23?
True
Suppose -1544*v + 1656*v = 1312640. Does 5 divide v?
True
Suppose -4*h + 6*h = 0. Let k be 4 + -1 + 1 + h. Suppose 4*j = 4*u - 132, -5*u = -k*j + 2*j - 153. Is 16 a factor of u?
False
Let i = -13 - -117. Let q = 248 - i. Suppose -4*v - q = -5*v. Is v a multiple of 36?
True
Is 56 a factor of 7643*(-32)/(-48) + 2/3?
True
Let x(u) = u**3 + 72*u**2 + 181*u + 199. Is x(-28) a multiple of 85?
False
Suppose 1228 = y + 3*h, -2226 = 4*y - h - 7177. Is y a multiple of 3?
False
Suppose 6 = -2*o + 5*o. Let g be (-9)/(27/6) + o. Does 13 divide 3 + g/3 + 103 - 2?
True
Let p = 91 + 97. Suppose -b = -4*t - 220, 2*b - p = b - 4*t. Does 12 divide b?
True
Let b = 19 - 258. Let i = 1548 - 1670. Let n = i - b. Is 7 a factor of n?
False
Let s(d) = -5*d - 4. Let z be s(-2). Suppose 1 = -5*a + z. Is 7 a factor of (-375)/(-9) + a/3?
True
Suppose 9*y = 1933 + 1262. Suppose 0 = 3*c - 158 - y. Is 19 a factor of c?
True
Let q = 1591 - 153. Is q a multiple of 30?
False
Suppose -3*c = 5*s - 11169, -300*c - 2252 = -s - 298*c. Is s a multiple of 6?
True
Let m = 292 + -283. Suppose -2394 = 6*x - m*x. Is x a multiple of 14?
True
Suppose -5*x - 5*a = -177980, -71191 = -2*x - 41*a + 40*a. Is x a multiple of 35?
True
Suppose 15*c + c = 1472. Suppose -2*b + 212 = -0*b + 3*w, c = b - 2*w. Does 10 divide b?
True
Let q(v) = v**3 - 11*v**2 - 2*v + 22. Let w be q(11). Suppose w = 7*s - 546 + 140. Is 7 a factor of s?
False
Let h(b) = 3*b**2 + 26*b + 23. Let w be h(-8). Suppose 6*n - w*n + 3*o + 368 = 0, -o - 1104 = -3*n. Does 23 divide n?
True
Let h(c) = -c**3 + 20*c**2 - 13*c - 20. Let o be h(15). Let m = 22 + -17. Suppose 4*b - 3*j = 678, 0 = -m*b + 4*j + o - 62. Is 14 a factor of b?
True
Is 24 a factor of (-10 + 92/6)*135?
True
Let y(f) = 1197*f - 45. Let w be y(3). Suppose -9*x + w = 414. Is x a multiple of 14?
False
Let u(s) be the second derivative of -s**5/40 + s**4/3 + s**3/6 + 15*s. Let r(d) be the second derivative of u(d). Does 15 divide r(-9)?
False
Suppose -13 = 2*d + 59. Let j = d + 39. Suppose j*h = -2*v + 85, 5*v + 4*h = v + 176. Is 6 a factor of v?
False
Suppose -3*t = 233*n - 236*n - 2904, 0 = 3*n + 18. Is t a multiple of 8?
False
Suppose 371*u + 376617 = 2601871 + 5353163. Is 52 a factor of u?
False
Let r(x) = x**2 + 3*x + 2. Let b be r(-1). Suppose 0*d - 3*d + 5*m - 5 = b, -5*d + 5*m = -5. Suppose -33 - 22 = -d*z. Is 2 a factor of z?
False
Let u(z) = 7*z + 39. Let h be u(8). Suppose -7 - h = -w. Is 6 a factor of w?
True
Let w = -11 - -11. Let m(o) = -17 + o**2 + 15 + 64 + 2*o + 13. Does 15 divide m(w)?
True
Let r be 84 - 4 - (0 - 2). Suppose 0 = -10*y + 8*y + 10. Suppose -98 - r = -y*t. Is 9 a factor of t?
True
Let n = 18740 - 10196. Is n a multiple of 96?
True
Suppose 12927 = 4*n + 8*b - 11097, -4*n - 5*b = -24021. Is n a multiple of 38?
True
Let c = 23781 + -22190. Is 17 a factor of c?
False
Suppose 17781 = 27*b - 19452. Suppose -4*m + 1094 = -3*t, t = 5*m + 3*t - b. Is m a multiple of 25?
True
Suppose 2*x = -x - 174. Let j = -54 - x. Suppose -j*c + 77 + 111 = 5*v, 0 = -2*c + 4*v + 68. Is 14 a factor of c?
True
Suppose 5*y - 119 = -4*p + 3*p, -2*p - 26 = -y. Does 39 divide (27 - 33) + y*10?
True
Suppose -2*z = -182 - 236. Suppose -x + 3*x = 3*i + z, 3*x - 324 = i. Suppose a - 20 = w + 18, 3*a + 2*w - x = 0. Does 9 divide a?
False
Suppose r = -2*u + 3436, 5*u = -r + 2824 + 606. Does 86 divide r?
True
Let r(z) = z**2 - 2*z - 3. Let b be r(2). Let o = b + -17. Is (-30)/o*188/3 a multiple of 14?
False
Let d = -66 + 70. Suppose -3*a - 5*m = -252, 3*a = 3*m - d*m + 252. Suppose a = 2*v + 52. Is 16 a factor of v?
True
Suppose -2*i - 5*d - 19 = -17, 2*d - 16 = -5*i. Suppose -4*y = -8, o + i*y - 356 = -0*y. Does 6 divide o?
True
Let r = -2742 + 3622. Does 22 divide r?
True
Let o be 1/4 + -1*275/(-20). Let c be 10/5 - o - -3. Let v(a) = -13*a + 15. Is 22 a factor of v(c)?
True
Suppose -10292 = -18*q + 12442. Does 27 divide q?
False
Let s(i) = -23*i + 124. Let t be s(-7). Suppose t + 1035 = 5*j. Is 8 a factor of j?
True
Let n(s) = s**2 + 6*s + 1. Let k be n(-7). Suppose -k*y + y = -126. Suppose 4*b = 5*z + y, -5*b - 2*z + 4*z = -31. Is b a multiple of 4?
False
Suppose -3*a + 3 = -2*a. Suppose -2*o - m - 23 = 0, 4*o + 0*m + a*m + 41 = 0. Let h = 30 + o. Does 8 divide h?
True
Suppose -15*j = -19*j - 3*b + 58950, 2*j - 2*b - 29468 = 0. Is j a multiple of 24?
True
Let t(l) = -18*l + 124. Let b be t(-15). Let r = b + -164. Is 23 a factor of r?
True
Let l(z) = 150*z**2 - 25*z - 47. Let x(s) = -452*s**2 + 75*s + 142. Let i(w) = 7*l(w) + 2*x(w). Is i(-2) a multiple of 9?
False
Let i(b) = 57*b - 90. Suppose 33*w - 30 = 28*w. Is 21 a factor of i(w)?
True
Let r(z) = 3*z - 5. Let m be r(5). Suppose 16*q - m*q + 246 = 0. Let s = 15 - q. Is s a multiple of 28?
True
Let s be ((-6)/8)/((-3)/12). Suppose -2*n + 3 - s = 0. Suppose n = -2*v + 4*v - 24. Is 12 a factor of v?
True
Suppose -4*f + 4 = 0, 4*h = -30*f + 32*f + 60442. Is 44 a factor of h?
False
Is 16 a factor of (-15 - 3 - 1902)*26/(-4)?
True
Does 54 divide ((-1764)/245)/(4/(-2490))?
True
Let d(s) = 9*s + 24. Let z be (-54)/(-15) + (-4)/(-10). Does 15 divide d(z)?
True
Suppos