8 + (-31349)/(-116)?
True
Suppose 2*s = -2*k - 8, 7*k - 2*k = s - 20. Does 19 divide ((-3)/k - 0) + 681/4?
True
Let w(d) = -d**3 - d**2 + 12 - 21 + 11 + 2*d**2 - 2*d. Let o be w(1). Does 2 divide 3 + (0/(-5) - o)?
False
Suppose -28*w = -22*w - 8640. Suppose 0 = 112*l - 118*l + w. Does 6 divide l?
True
Suppose -6*i - 134 = -11*i - 3*n, -2*i + 48 = 4*n. Suppose -i*l - 1553 = -3905. Is l a multiple of 2?
True
Let t(u) = u**3 + 6*u**2 + 2*u - 7. Let r be t(8). Let j = -515 + r. Is j a multiple of 10?
True
Let r be (7 - (-10122)/18) + (-4)/(-6). Suppose r = 205*x - 202*x. Is x a multiple of 10?
True
Let j(q) = -60*q**3 - 15*q**2 - 3*q - 6. Is 29 a factor of j(-5)?
True
Suppose 0 = -13*w + j + 285640, -w + 5317 = -j - 16659. Is w a multiple of 12?
True
Suppose -426*v + 424*v + 10 = 0, g + 5*v = 1195. Does 6 divide g?
True
Suppose -19*y + 21*y + 16*y = 74412. Does 78 divide y?
True
Let j(f) = 35*f**2 + 7. Let k be j(3). Let b = -265 + k. Does 2 divide b?
False
Let h(u) = -3*u - 10. Let y be h(-4). Let l = 61 - y. Suppose 4*b - 3*q - 137 = 0, -5*b + 224 = -5*q + l. Is 7 a factor of b?
False
Let k = 11971 - 10955. Is k a multiple of 2?
True
Let j be (40/50)/((-1)/15). Let u = j + 48. Suppose 2*q - l - u = -5*l, -5*l - 18 = -2*q. Is 3 a factor of q?
False
Is 3975569/136 - (6/(-48))/(-1) a multiple of 76?
False
Suppose 0 = -4*m + 4*a + 7292, -2*m + 1404 = 3*a - 2247. Suppose 0 = 5*g + 2*f - m, 0 = 11*f - 7*f - 8. Does 14 divide g?
True
Let b(t) = 8 + 14*t + 11 + 5 - 52 + 3. Suppose -7 = m + 3*v + 2, 11 = m - v. Is b(m) a multiple of 12?
False
Let p = 98 + -94. Suppose -3*b - b = g - 75, p*g + 4*b - 264 = 0. Does 30 divide g?
False
Let c(a) = a**3 - 64*a**2 + 234*a + 203. Is 65 a factor of c(63)?
False
Let o = -2423 - -2995. Does 48 divide o?
False
Let d be (-2 - (6 - 0))/2. Is 2*((-3)/(-6))/(d/(-172)) a multiple of 2?
False
Let t = 234 + -271. Let g = -4 + -2. Let y = g - t. Is 9 a factor of y?
False
Let t(z) = z**2 + 28*z + 50. Let w be t(-26). Let p be (-1 - (w + 2))/(6/(-24)). Is 4 a factor of 3/(7 - p) + 4?
False
Is (-4 - -4) + -4 + (317 - -11) a multiple of 4?
True
Suppose 27*a = 9*a + 180. Suppose -1656 - 264 = -a*w. Is 16 a factor of w?
True
Let a(q) be the third derivative of 0*q + 0 - 17/24*q**4 - 2*q**3 + 23*q**2 - 1/60*q**5. Is a(-8) a multiple of 15?
True
Let x = 399 + -394. Suppose -x*d + 359 = -511. Is d a multiple of 61?
False
Let a = -55 - -53. Let s be (16/6)/((-40)/(-15) + a). Suppose -t - t - z = -235, 5*z = s*t - 491. Is t a multiple of 27?
False
Let b(a) = 16*a. Let m be b(-1). Let t(n) = -2*n - 16. Let z be t(m). Is (492/z)/(1/4) a multiple of 25?
False
Suppose 0*x = 11*x - 88. Suppose 0*f = 4*f - 2*b - 22, -b = -f + x. Suppose 0*k - 70 = -k - 2*y, 0 = -5*k - f*y + 329. Is 4 a factor of k?
True
Let g(a) = a - 13. Let n be g(13). Suppose k - 8 = -n. Is 11 a factor of 5/20 + 438/k?
True
Suppose -w = 5*a - 15242, -4*a - 9146 = -7*a - w. Is a a multiple of 33?
False
Let d = 9428 + 192. Does 26 divide d?
True
Suppose -12*c + 10*c + 198 = 0. Let u be (-272)/9 + 22/c. Let a = u - -39. Is 3 a factor of a?
True
Suppose 0 = -1199*j + 1183*j + 82208. Is 98 a factor of j?
False
Let p be (-3)/(15/20) - -9. Suppose p = -5*y, -173 = -j + 3*y - 63. Is j a multiple of 17?
False
Let b = 104 + 10. Let m = -110 + b. Suppose -84 = -m*k + 96. Is k a multiple of 4?
False
Suppose 0 = -12*l - 10*l + 29*l. Suppose 4*d + 176 = 3*g, 0 = 5*g + 5*d - l*d - 305. Does 6 divide g?
True
Suppose 167*t - 582000 = 42*t. Is t a multiple of 64?
False
Let u = 303 - 166. Let f = u + 42. Is 13 a factor of f?
False
Let c be (2 + 25)*(-2)/(-6)*3. Is 2 + (-66)/c - (-18739)/63 a multiple of 31?
False
Let y(v) = -13*v**3 + 25*v**2 + 55*v - 9. Let n(q) = 3*q**3 - 6*q**2 - 14*q + 2. Let w(l) = -9*n(l) - 2*y(l). Is 26 a factor of w(-5)?
False
Let a(s) be the second derivative of s**3/2 + 7*s**2/2 + 8*s. Let t be a(2). Suppose -t = 5*q - 6*q. Is 13 a factor of q?
True
Let z(b) = -144*b + 52 + 70*b + 63*b. Is 10 a factor of z(2)?
True
Suppose -253*r = 192*r - 3657715 - 2843735. Is r a multiple of 30?
True
Let q be ((-6)/8)/((1 + -4)/(-288)). Let u = q + 198. Is u a multiple of 7?
True
Let s(l) = 8*l**2 - 115*l + 12. Is 32 a factor of s(-17)?
False
Let t = 211 - -6830. Is t a multiple of 35?
False
Let n(x) = -x + 29. Let f(j) = -1 - 2 + 1 + 1. Let k(h) = -f(h) + n(h). Does 13 divide k(17)?
True
Suppose -5*u + 5*w - 26 + 1 = 0, 1 = -u + 2*w. Let q be 4/18 - -1619*(-2)/u. Suppose -q = -5*m + 5*h, -2*h - 42 = -m + 29. Is m a multiple of 32?
False
Let y(c) = 2*c**2 + 3*c. Let z be y(-2). Suppose 0 = -4*a - 5*r - 61 + 379, z*a - 3*r - 148 = 0. Is 77 a factor of a?
True
Suppose -2*p = -b + 5, -5*b + 9*p + 18 = 6*p. Suppose 0 = 4*d - k - 1404, -b*d + 2*k = -837 - 211. Does 4 divide d?
True
Let x(y) = 94*y + 16 - 50*y + 9*y**2 - 53*y. Let q be x(-7). Suppose 0 = 4*o - 10*z + 5*z - q, 4*o = z + 504. Does 25 divide o?
True
Suppose h - 220 = -3*q, 8*q - 5*q - 3*h = 240. Does 18 divide 0 + q + 15 + 272/(-17)?
False
Let n be 3*-1 - ((-3150)/(-9) + 3). Let b = 414 + n. Is 8 a factor of b?
False
Suppose -2*v + 5 + 5 = 3*n, 4*v = n + 6. Suppose 2790 = v*h + 29*h. Does 6 divide h?
True
Let n = -104 + 125. Does 42 divide 6 + -8 - -17*n?
False
Suppose 24 = 18*x - 17*x. Does 21 divide 4 - (x/18 + (-362)/6)?
True
Suppose 12*v - 98 = 34. Suppose v*w = -w + 9204. Is 13 a factor of w?
True
Suppose 2745 = -108*v + 123*v. Suppose -6*f = -519 + v. Is f a multiple of 56?
True
Let d(o) = 8*o - 2. Let w(t) = -7*t + 3. Let i(g) = -6*d(g) - 7*w(g). Let n be i(11). Suppose h = n*h + 2, 4*s - 66 = 5*h. Is s a multiple of 2?
True
Suppose 0*v - 6 = -3*v. Suppose -2*m + v*u = 288, -197 = 4*m + u + 404. Let l = -95 - m. Does 11 divide l?
False
Let s be (-7 + 42079)*4/12. Suppose 18*r = s + 7648. Is r a multiple of 54?
False
Let z(k) = -4*k + 398 + 9*k + k**2 - 4*k - 20*k. Is 21 a factor of z(0)?
False
Let m be (-1 + (-15)/(-10))*0. Suppose 2*h + 3*u + u - 160 = m, 15 = 3*u. Let p = h + 32. Is 26 a factor of p?
False
Let r(d) = d**3 - 24*d**2 + 2*d + 106. Let y(h) = h**3 + 5*h**2 - 12*h - 40. Let n be y(-4). Does 11 divide r(n)?
True
Let i = 9790 - 6629. Is i a multiple of 29?
True
Suppose 2*y = 4*y + 56. Let p = -57 + 238. Let h = p + y. Is 22 a factor of h?
False
Let x(a) = 28*a**3 + 10*a**2 - 30*a - 18. Is x(9) a multiple of 6?
True
Suppose -21*y + 139021 + 27752 - 1398 = 0. Is 35 a factor of y?
True
Let l(o) = -19*o + 127. Suppose -3*c - 18 = 5*t, 0*t + 4*c + 1 = t. Is l(t) a multiple of 6?
False
Let j(k) = -k**2 - 8*k + 4. Let l be j(-8). Suppose 3*h - 479 = -l*z + 2*h, z + h = 119. Suppose -z = 19*m - 25*m. Is 20 a factor of m?
True
Suppose 18*r = 5*o + 13*r - 22205, -2*o + 4*r + 8890 = 0. Is 33 a factor of o?
False
Suppose g + 1466 = 2*j - 16988, j - 3*g - 9222 = 0. Is j a multiple of 21?
False
Let c(b) = -3*b**3 + 5*b**2 - 4*b + 48. Is c(-13) a multiple of 16?
True
Suppose -25 + 7 = -9*j. Suppose -30 = -4*c + j. Suppose r = -c*r + 36. Does 4 divide r?
True
Suppose 0 = 31*f - 105857 + 25319. Is 28 a factor of f?
False
Suppose 0 = 5*q - 0*q - 4785. Let l = 4721 + -5385. Let t = l + q. Does 30 divide t?
False
Suppose 0 = v + 2*m + 3, 4*v + 3*m - 2*m - 9 = 0. Suppose -v*c = 2*t, t - 7*c - 22 = -3*c. Is 218/t - 36/27 - -3 a multiple of 15?
False
Suppose 4*o + 0*o = 20. Suppose -3*a + 5 = o. Suppose -3*j - 36 + 168 = a. Is 44 a factor of j?
True
Let q = -118 - -121. Suppose 14 = 4*c + 2*p, 0*p + 18 = q*c + 4*p. Let g(t) = 43*t**2 - 7*t + 4. Is g(c) a multiple of 24?
False
Let y(p) = 3*p - 9. Let o(h) = 6*h - 8. Let t be o(2). Let k be y(t). Suppose -k*i + 72 = -2*i. Does 18 divide i?
True
Suppose x + 0*x = 5*u + 35, -2*u + 2*x - 22 = 0. Is 41 a factor of (-2)/(-4)*2830*u/(-15)?
False
Suppose 6*f - 8529 - 22131 = 0. Is f a multiple of 14?
True
Suppose -2*k = 938*u - 937*u - 120432, 5*k + u = 301074. Is k a multiple of 77?
True
Suppose -2*c = -2 - 8. Let h be c + -4 - (-3 + 1). Suppose -h*l + 56 = -l. Is 28 a factor of l?
True
Suppose 0 = 5*q + y - 0*y - 7951, -2*y + 7952 = 5*q. Does 15 divide q?
True
Suppose -70 = -5*w + a, 2*w + a - 41 = -6. Suppose 0 = -w*i + 3857 - 497. Is i a multiple of 14?
True
Suppose 3*m - 3*i - 117 = -m, -m + 28 = -2*i. Suppose 3*n - 280 = 73*n. Let d = m + n. Is d a multiple of 8?
False
Let