True
Let y(q) = 2*q**2 + 53*q - 104. Suppose -10*r = -147 + 527. Is y(r) a multiple of 14?
True
Suppose -4*s + 450 = -3*s. Suppose -i = -10*i + s. Is i a multiple of 10?
True
Suppose 3*k + 354 = 6*k. Suppose -i - k = -281. Does 8 divide i?
False
Let w(j) be the second derivative of -j**5/20 - 5*j**4/4 + 17*j**3/6 + 11*j**2 - 927*j. Let c(s) = -4*s. Let o be c(4). Is w(o) a multiple of 3?
True
Suppose 6*k - 1001 - 3976 - 19383 = 0. Is 174 a factor of k?
False
Suppose -2*y = -6*c + 3*c + 15, -3*y - c + 5 = 0. Suppose y = b - 4*k - 12, -2*b + 5*b - 9 = 3*k. Suppose 2*t - 11 - 3 = 4*l, -l = b. Is 4 a factor of t?
False
Suppose 11443 = 5*y - j, 4*y + 2247 - 11399 = 2*j. Is y a multiple of 21?
True
Suppose -51*x + 528269 = 3*x - 340051. Is x a multiple of 15?
True
Is 11 a factor of (-5 - (-284)/(-28))*-1193 - 15/35?
False
Let v(g) = -3818*g + 5. Let a be v(4). Let q be a/(-14)*8/6. Suppose 7*l - q = -474. Does 20 divide l?
True
Let g = 30 + -26. Suppose u + 20 = -g*u, 3*d + 5*u - 34 = 0. Let t = 6 + d. Is t a multiple of 4?
True
Does 138 divide (-5)/(-15) - (-138930)/90?
False
Suppose -22*w = 4*w - 8*w - 10764. Is w a multiple of 2?
True
Suppose -a + 25 = 8. Let t(l) = a*l + 10 - 3*l - 18 - 17. Does 37 divide t(16)?
False
Let p = -288 - -292. Suppose 3*c - 2*j - 3*j = 154, -p*j = 2*c - 88. Is 24 a factor of c?
True
Suppose -58*c + 64*c = -286308. Is 25 a factor of (c/(-90) - 1/5) + -1?
False
Let z be ((-2)/6)/(4 - 98765/24690). Suppose -z = -7*v + 1168. Suppose -4*w + 3*o + v = 0, o - 392 = -4*w - o. Is 33 a factor of w?
True
Suppose -5*y - 9 = -8*y. Suppose 0*k = y*v + 5*k + 25, 5*v + 4*k = -46. Does 2 divide ((-9)/(-15))/((-1)/v)?
True
Let i(l) = -9*l - 82 + 6*l**2 + 69 + 0*l**2 + 6*l**2 - 7*l. Is i(5) a multiple of 13?
False
Let g(h) = -112*h - 104. Does 39 divide g(-65)?
True
Suppose -5*s + 20 = 0, -3*i = -4*i + 5*s + 89. Suppose -13*h + 460 = i. Does 4 divide h?
False
Let v(a) = a**2 - 74*a + 1245. Does 15 divide v(15)?
True
Let u be (-44)/(-462) + (-7894)/(-21). Let k = u - 180. Is k a multiple of 7?
True
Let v = -489 + 284. Let z = -109 - v. Is 48 a factor of z?
True
Suppose -6*l = -l - 15. Suppose -4*s + j + 583 = -s, -l*s + 4*j = -568. Is s a multiple of 28?
True
Suppose 0 = -w - 16 + 18. Let t(b) = 23*b**3 + b**2 + 3*b. Let k be t(w). Suppose 3*o - k = 133. Is 22 a factor of o?
False
Is 1080234/108 - -8 - (-2)/(-12) a multiple of 46?
False
Let p = -6371 + 13162. Does 12 divide p?
False
Let g(h) = -8*h - 3*h - 8*h + 14 + 2*h. Let m be g(-5). Let b = m + -13. Is b a multiple of 43?
True
Let i = -62 + 66. Suppose -m + 2*m - 2 = 4*x, i*m = 5*x + 8. Suppose 0 = -3*w + z + 64, m*z - 74 = -3*w + z. Is 3 a factor of w?
False
Let c be (-12)/18*(-2 - (-465)/(-6)). Let w be (3 + -7)/2 + c/1. Suppose -4*b + 21 = -w. Is b a multiple of 6?
True
Let j(c) = 10*c - 12. Let x be j(4). Suppose 4*l + 5*s = 5, -6*l = -l - s - x. Suppose l*h = 81 - 31. Is h a multiple of 5?
True
Suppose -74*x = -19*x. Suppose 2*w + h = 1346, x = w - 4*h - 522 - 169. Is 53 a factor of w?
False
Is 15 a factor of (14 - 18000/(-9)) + (-2)/1?
False
Suppose -12 = -4*p + k - 0*k, 5*p - 30 = 5*k. Let i be (-290)/(-5) + p + 4. Suppose 2*x + j = 154, -5 = x - 4*j - i. Is 10 a factor of x?
False
Let k(v) be the second derivative of 0 - 2/3*v**3 + 17/2*v**2 - 17*v + 7/6*v**4. Is k(3) a multiple of 21?
False
Let x = 772 - 298. Suppose 0 = -2*r + x - 56. Is r a multiple of 11?
True
Let h = -69 + 73. Suppose 0*x + x = -4*j + 340, 3*j - h*x - 236 = 0. Does 7 divide j?
True
Suppose -8*o - 17731 = -25*o. Suppose 30*q - 577 = o. Is q a multiple of 27?
True
Let v(n) be the first derivative of 19/2*n**2 + 15*n + 1/4*n**4 - 11/3*n**3 + 32. Does 4 divide v(9)?
True
Suppose 576 = -0*c - 8*c. Let o = c + 74. Suppose -4*s + 270 = o*s. Is 10 a factor of s?
False
Suppose 4*w - 120*d - 8558 = -125*d, w - 2140 = -d. Does 17 divide w?
True
Suppose -3*t + 3*v - 14 - 25 = 0, 5*t + 5*v = -35. Suppose -81*u = -13*u - 1360. Let f = t + u. Is 5 a factor of f?
True
Let v = 311 - 309. Suppose -3*o - 4*b - 233 = -838, -o + v*b = -205. Is o a multiple of 7?
True
Suppose -21*a + 9*a = 26*a - 470972. Does 17 divide a?
False
Suppose -1364*g = -1360*g - 9728. Is 76 a factor of g?
True
Does 23 divide (-1913464)/(-378) + (-24 + 22)/(-1 + 28)?
False
Suppose 0 = o + 4*g - 16292, 0 = 42*o - 40*o - g - 32575. Is 9 a factor of o?
False
Let u(i) = i - 4*i + i + 3*i + 57. Let t be -19 - (-2 - -2) - (-1 - -5). Is u(t) a multiple of 17?
True
Let l(a) = 100*a - 814. Is l(13) a multiple of 9?
True
Let i(a) = a**2 + 16*a + 23. Let t be i(-15). Suppose t*y = 17 + 31. Does 3 divide y?
True
Let s(u) = -50*u + 281. Let d(i) = -33*i + 187. Let x(p) = 7*d(p) - 5*s(p). Is x(11) a multiple of 5?
False
Let b(c) = 6 - 6 - c + 6. Let g(j) = -j**2 - j. Let a(p) = b(p) - 2*g(p). Is a(4) a multiple of 4?
False
Let t(x) = -2*x**3 - 22*x**2 + 34*x + 28. Let f be t(-17). Suppose 24*g - f - 6130 = 0. Does 29 divide g?
True
Let x(q) = -6*q**2 + 4. Let h be x(-2). Let v(w) = -9*w - 57. Does 28 divide v(h)?
False
Let y be 8/6*495/(-66). Let a(f) = -f**3 - 7*f**2 + 28*f + 44. Is a(y) a multiple of 14?
False
Let c = 215 + -211. Is c*(-5 + (16 - 3)) a multiple of 22?
False
Suppose 3*g + 4*x = -768, 3*x - 6 - 3 = 0. Is (g/(-6))/5*153/34 a multiple of 21?
False
Let k = -10017 - -15789. Does 214 divide k?
False
Does 94 divide (-696544)/(-30) + (31/1395)/(1/(-6))?
True
Suppose 0 = -5*b + v + 128618, 79*b - 80*b + 2*v + 25720 = 0. Is 236 a factor of b?
True
Let m(s) = 2*s**2 - 18*s + 13. Let i be m(29). Suppose 4*q = -n + i, 4*q - 983 + 5675 = 4*n. Does 69 divide n?
True
Let s be (3 + -1)*(7 - 6). Suppose 5*k = -5*x + 745, 0 = -4*k + s*x + 244 + 358. Does 10 divide k?
True
Suppose 8*k - 6*k = -5*u + 8*k + 13595, 2*k = 0. Does 210 divide u?
False
Let l = 51 + -16. Suppose 15 = 5*z, c - 3*c - l = z. Let v(t) = -4*t - 45. Is v(c) a multiple of 31?
True
Let j = 19264 - 16170. Is j a multiple of 17?
True
Let p(j) = j**3 + 16*j**2 + 4. Let i = -22 + 6. Let l be p(i). Suppose 3*m = -5*b + 301, -2*b + 322 = 3*b - l*m. Does 7 divide b?
False
Let l(h) = 4*h**3 - 3*h**2 + 10*h - 13. Suppose 21*y - 642 = 27*y. Let d = y - -110. Does 9 divide l(d)?
False
Let h = -9 + 3. Let d(s) = -216*s**2 - 1 + 107*s**2 + 5*s + 112*s**2. Is 11 a factor of d(h)?
True
Does 13 divide ((-259770)/(-10))/7 + -6?
True
Let s(a) = 35*a - 17. Let w(n) = 2 - 2 - n. Let l(q) = s(q) - 2*w(q). Is 8 a factor of l(2)?
False
Let y(u) be the first derivative of 2*u**3/3 - u**2/2 - 13*u + 43. Is 14 a factor of y(-13)?
False
Let g(m) = -m**3 + 17*m**2 + 24*m. Let z be 4/(-22)*-98 - 4/(-22). Let s be g(z). Does 15 divide (s/(-60))/(1/(-25))?
True
Let l = 4014 - 1637. Is l a multiple of 4?
False
Let y(h) = -2715*h + 7029. Does 117 divide y(-6)?
False
Suppose 22*b = 16*b + 1278. Suppose 4*n + f = 289, 7*n - 3*f = 4*n + b. Is 12 a factor of n?
True
Let g(u) = 37 - 20*u - 64 - 3*u**3 + 2*u**3 + 36 - 20*u**2. Let z = -44 + 25. Does 28 divide g(z)?
True
Let c = -230 + 118. Let b = 352 - 346. Is 7 a factor of (c/(-21))/(b/9)?
False
Let y(w) = -2*w**2 - 11*w - 9. Let v be y(-5). Let u be (-12)/9*-6 + v. Suppose 4*b = -k - u*k + 361, 0 = 4*b + 4*k - 364. Is 19 a factor of b?
False
Does 17 divide (895/(5/5))/((-26)/28 + 1)?
False
Suppose 12 = 262*m - 258*m. Suppose 2*w + 4*u + 6632 = 6*w, -2*w + 3321 = -m*u. Is 43 a factor of w?
False
Is ((-2)/(-6))/((-40)/(-1618680)) a multiple of 47?
True
Let j be 1 + 547 + -15 + 20. Suppose -j = -y + 59. Does 17 divide y?
True
Let n be (-2 - 1) + 2 + 4. Suppose 5*d = 7 + n. Does 28 divide d/5 + 6 + 1832/20?
False
Let z(b) = -b**3 + 8*b**2 + 11. Let j be z(11). Let q = 522 + j. Is 8 a factor of q?
False
Let s(z) = z**3 - 7*z**2 + 3*z + 9. Let k be s(7). Suppose -6*i + 24 = k. Does 31 divide (-10 + 468)/((-2)/i)?
False
Suppose -5*u - w + 1799 = 0, -5*u = 3*w - 0*w - 1797. Suppose -2*g - u = -4*g. Is 60 a factor of g?
True
Let v = -368 + 197. Let q = 207 + v. Does 19 divide q?
False
Let f(a) = a - 4. Let b be f(-3). Let x = -1697 - -1681. Is (24/b)/(x/280) a multiple of 21?
False
Let r(u) = -4*u + 8 - 25 + 11 + 18. Suppose 28 = -n - 3*n. Is r(n) a multiple of 20?
True
Suppose -16*d - 13298 = 2654. Let w = -444 - d. Does 12 divide w?
False
Let g = -4109 + 4347. Is g a multiple of 2?
T