, -2*t - k + 35352 = 0. Is t a multiple of 26?
True
Let d = -3046 + 8835. Does 99 divide d?
False
Is (2458/8)/(9/90)*32/20 a multiple of 11?
False
Let f(q) = 8 + 3*q + 1 - 2*q - 6. Let j be f(0). Suppose j*a = -0*a + v + 253, 172 = 2*a - 4*v. Is 28 a factor of a?
True
Let r be 0/1*2/(-6). Let t = r - -121. Does 9 divide t?
False
Suppose 48*c = 43*c - 2905. Let a = c + 836. Is 25 a factor of a?
False
Suppose 7*r - 34750 = 18373. Suppose -r - 2211 = -20*j. Does 35 divide j?
True
Let y = -20614 - -23531. Is 8 a factor of y?
False
Let j = 8127 + -7051. Does 46 divide j?
False
Let f(z) = -2*z**2 + 10*z + 462. Let k(v) = v**2 - 3*v - 154. Let m(p) = -3*f(p) - 10*k(p). Let c = 2537 - 2537. Is m(c) a multiple of 12?
False
Suppose 200*z + 187014 = 271*z. Is 30 a factor of z?
False
Let p = -423 + 428. Suppose x = p*y + 169, 5*y - 1090 = -5*x - 125. Is x a multiple of 27?
True
Suppose 3*k + 894 = 13*o - 10*o, -5*k = -4*o + 1190. Is 25 a factor of (o/(-18))/(8/(-60))?
True
Let t(x) = -x**2 - 13*x - 62. Let v be t(-5). Is 11 a factor of (v/4 + 0)*-36?
True
Is 323 + (-3 - 9 - 5) a multiple of 153?
True
Suppose 0 = 5*v - 25, 3*f - 6*v + v = 7445. Is f a multiple of 30?
True
Suppose 45*m - 23236 = 40*m - 2*c, 0 = -c - 2. Does 56 divide m?
True
Is (394/6)/((-147)/(-3087)) a multiple of 197?
True
Let o be (2130/9 + 3)*6/(-2). Let h = o + 1422. Is 19 a factor of h?
True
Suppose -4*v + 90 = v. Let x be ((-35)/3)/(6/v). Let a = 54 + x. Does 19 divide a?
True
Let b = -56 + 56. Suppose -2*u + 4 = -b*u. Suppose -u*w - 3*w + 350 = 0. Does 14 divide w?
True
Let m(w) = 4*w**2 + 16*w + 8. Let z(c) = c + 1. Let t(l) = m(l) - 10*z(l). Let u = 11 + -14. Is t(u) a multiple of 4?
True
Let w(f) = f - 9. Let c be w(6). Let s be ((-6 - c) + 3)/(-2). Suppose s = u - 1, 4*j + u + 23 = 416. Is j a multiple of 20?
False
Let b be 12/2*(-1 + (1 - 2)). Is (0 - -1)*-1*(-358 - b) a multiple of 16?
False
Let o(y) = -10*y + 2*y + 6*y**2 - 518 + 507. Suppose -14 = 5*z + 11. Is o(z) a multiple of 15?
False
Let f(l) = l**3 + 12*l**2 + 8*l + 52. Let r be f(-12). Let c = r - -82. Does 11 divide c?
False
Let k = 31225 + -20939. Is 74 a factor of k?
True
Let o(l) = 378*l**2 + 78*l + 3. Is 9 a factor of o(4)?
True
Let z(j) = -3*j**3 + 5*j**2 + 15*j - 3. Suppose -4*c = -4, -3*x - 4*c - 7 = 1. Does 6 divide z(x)?
False
Is ((-4)/42 - 176/(-84))*2960 a multiple of 20?
True
Let c(g) = 4*g - 13. Let m be c(2). Let b be -87 - m/(15/(-3)). Let w = -28 - b. Is 6 a factor of w?
True
Suppose 5*q + 135 = -3*x + 8*x, -q + 3*x - 35 = 0. Does 13 divide (q - 3)*57/(-3)?
True
Is (-84236)/(-14) - (-1)/14*(-24 - -12) a multiple of 64?
True
Suppose 14 - 20 = -3*i. Does 30 divide i - (-1044)/4 - (3 - 7)?
False
Suppose -5*v = -5*b - 12985, -3*v + 2*b = -1443 - 6353. Is v a multiple of 24?
False
Let a(v) = -3*v**3 - 2*v**2 - 1. Let n(i) = 6*i**3 + 5*i**2 + 3. Let h(p) = 5*a(p) + 2*n(p). Let l be h(1). Does 37 divide (-884)/(-10) + l/5?
False
Let l(t) be the second derivative of 10*t**3/3 - 212*t**2 - 274*t. Is l(24) a multiple of 28?
True
Does 20 divide (4710/(-25) - 0)*(-130)/39?
False
Is 15200 - (-24 - -27 - 3) a multiple of 25?
True
Let m be 0 - 0 - (-14 + 18). Let p = m - -5. Let n(j) = 37*j**2 - 4*j + 3. Is 8 a factor of n(p)?
False
Suppose 153750 = 20*d + 13*d - 3*d. Does 41 divide d?
True
Suppose 23*t = 22*t + 3. Let w(q) = q**t + 0 + 6*q**2 - 5 - 2*q - 7*q + q. Is 10 a factor of w(-5)?
True
Suppose 0 = -2*n - n + 5*c + 24, 0 = -5*n - 5*c. Let o(a) = 17*a - 1 - 14*a + n*a**2 - 4*a**2 + 3. Does 4 divide o(2)?
True
Let n(o) = -o**3 - 11*o**2 - 4*o + 10. Let p be 51/34*(-28)/6. Let g be n(p). Let x = 310 + g. Does 31 divide x?
False
Suppose -49472 = -4*v - u, 3*u - 4750 = 3*v - 41824. Is v a multiple of 229?
True
Let q(w) = -3*w - 29 + 4*w**2 + 30 + 14*w**2. Let l be q(2). Suppose -7*b = -199 - l. Does 11 divide b?
False
Let a be 1705 + (0 - 7) + (-1 - -1). Suppose -7*m + 2272 = -3*m - 2*d, -a = -3*m + 3*d. Does 19 divide m?
True
Suppose -3*c = -13*c + 20. Suppose -6*p + c*p = 16, -5*p + 136 = z. Does 13 divide z?
True
Suppose 0*r + x = -r + 61, -5*r = 4*x - 310. Let c = r - 69. Let t(w) = -2*w**3 + w**2 - 3*w. Is 24 a factor of t(c)?
True
Is 53 a factor of (-212835)/(-280)*(-48)/(-6)?
False
Suppose -5*g = -3*x - 14, -2 = 7*x - 6*x + g. Let r be (-475)/(8/(-2) - x). Suppose -2*o + 470 = 4*m, 0*o = 4*m + o - r. Does 40 divide m?
True
Suppose -4*t = 3*p - 91, -3*t + p + 65 = -0*p. Let w(v) = v + t + 0*v - 3*v + 3*v. Is 7 a factor of w(6)?
True
Suppose -w = 3, 4*f = 68*w - 73*w + 12837. Is f a multiple of 3?
True
Suppose -124 + 20 = -8*i. Suppose -1846 + 377 = -i*m. Let p = -56 + m. Is p a multiple of 9?
False
Suppose -2*t = 4*s - 1050, 492 = -5*t + 3*s + 3117. Let w(z) = z**2 - 7*z + 14. Let h be w(6). Suppose -h*n + t = 69. Is n a multiple of 10?
False
Let g(f) = -26*f + 291. Let m be g(11). Let c = 1433 - 793. Suppose -3*x = l - 239, 555 = 5*l + m*x - c. Is 15 a factor of l?
False
Let o = -2555 - -8251. Does 23 divide o?
False
Suppose -56*z - 4*h = -52*z - 55476, 3*h + 41613 = 3*z. Does 43 divide z?
False
Let n(q) = 16*q**2 + 14*q. Is 17 a factor of n(-4)?
False
Let n(w) = 3*w - 5. Let l be (-1 - 7/2)*4/(-6). Let a be n(l). Suppose -4*z = 2*i + 6 - 108, 0 = -4*z - a*i + 92. Does 7 divide z?
True
Suppose 58*x - 77*x = -129950 - 246421. Does 106 divide x?
False
Let r = 759 + -299. Suppose -r = -4*o + 2*o. Suppose w = 11*w - o. Is 2 a factor of w?
False
Let q(b) = 11*b**2 - 66*b - 336. Is q(-12) a multiple of 68?
True
Suppose 5*v = -10*v + 60. Suppose -v*h - 5*b + 2100 = 0, 7*b + 1575 = 3*h + 6*b. Is 25 a factor of h?
True
Let u(k) = -k**3 - 71*k**2 - 335*k + 69. Is u(-69) a multiple of 22?
True
Let q(v) be the second derivative of 7*v**5/10 + v**4/6 + 2*v + 4. Is 6 a factor of q(1)?
False
Let v be (-22 - (-6 - -3))*-19. Suppose -v = 2*s - 913. Is 13 a factor of s?
False
Suppose -i = -3*h - 2458, 3*h - 6702 - 5534 = -5*i. Does 13 divide i?
False
Let z be (-12)/(-24) - (-5)/2. Suppose -3*s - 2*b - 7 = -32, -5*b + 10 = -z*s. Suppose -325 = -5*h - 3*q - 89, 3*h - s*q = 162. Does 14 divide h?
False
Let k(o) = -2*o**3 - o**2 + 21*o - 105. Let a(d) = d**3 + 2*d**2 - 11*d + 52. Let t(s) = -11*a(s) - 6*k(s). Is t(19) a multiple of 22?
False
Let k(t) = -188*t - 8. Let z be k(-2). Suppose -677 = -5*i + z. Does 11 divide i?
True
Suppose 6*q = 5*q. Let b be (-52)/(-4) - (1 + 5). Suppose -b*o - 68 + 572 = q. Does 12 divide o?
True
Let m(u) = -11*u + 69. Let t be m(-18). Suppose -3*l = 4*n - 331, t = -n + 4*n - 4*l. Is n a multiple of 7?
False
Let o be 1 - (-6 + (2 - -1)). Suppose 7*v - 6*v + 5 = 0, 2*v = o*w - 22. Is 3 a factor of 80/w - 1/(-3)?
True
Let f(l) = 16*l**2 - 80*l - 1133. Does 39 divide f(-16)?
False
Let z be (-16)/4*-10*2/4. Suppose 0 = -4*h - z, 171 + 41 = 2*a - 4*h. Is 16 a factor of a?
True
Let m = 41 - 67. Let a = 788 + -842. Let s = m - a. Is 5 a factor of s?
False
Let t(i) = -i + 1. Let y(b) = 7*b + 1. Let a(z) = 6*t(z) + y(z). Let u be a(-3). Suppose 3*p = u*c - c + 180, 298 = 5*p - 3*c. Is p a multiple of 29?
False
Suppose 0*h = -4*h. Let n(o) = o**3 - 5*o**2 + 5*o + 24. Let u(g) = -3*g**3 + 14*g**2 - 14*g - 71. Let a(j) = -8*n(j) - 3*u(j). Is 7 a factor of a(h)?
True
Let r = -16664 - -23710. Is 13 a factor of r?
True
Let l be 4*9/(-36)*(-4 - -1). Suppose f + 3725 - 345 = 5*w, -3*w - l*f + 2010 = 0. Is 22 a factor of w?
False
Suppose 22 = -2*z - 4. Let f(x) = 8*x + 2. Let c(l) = 7*l + 9. Let s(g) = -3*c(g) + 2*f(g). Is s(z) a multiple of 30?
False
Suppose -21*k + 18*k = -18. Is 41 a factor of (6*19/2)/(3/k)?
False
Let m(h) = 172*h + 243. Is 4 a factor of m(-1)?
False
Let d(y) = y**2 - 25*y + 23. Let i be d(24). Is 40 a factor of ((-5 - -1) + i)*13713/(-105)?
False
Does 14 divide 468/(-624) + (-76070)/(-8)?
False
Let q(c) = 3*c**2 + 20*c - 3. Let r be (21/(-6))/(-1 - (-3)/2). Let b be q(r). Is 6/b*684/9 a multiple of 8?
False
Let w(a) be the second derivative of a**4/6 + 9*a**3/2 + 17*a**2 - 41*a. Let j(y) = 10*y + 3. Let l be j(-2). Is 17 a factor of w(l)?
True
Let v = 16 - 8. Let w be 5 + v/(-2) - -127. Suppose 3*h = -h + w. Is 5 a factor of h?
False
Let h = -99 - 119. Let q = 39 + h. Let i = -93 - q. Is 10 a factor of i?
False
Let n be (-1)/((-16)/(-64) - (-6)/8). Is 1/n*3 + 139 + 8 a multiple of 24?
Tru