Does 13 divide t + 62 + (-1 - (-3 - -1))?
False
Let c(j) = -16*j**3 + 2*j**2 + 2*j + 1. Let p = -2 + 3. Suppose 3 - p = -2*v. Is c(v) a multiple of 4?
False
Suppose 0 = -5*y - 4*f + 3944, 0 = 4*y - f - 1512 - 1660. Is y a multiple of 22?
True
Let l be -1*(2 + 1)/3. Does 38 divide (-408)/(-16)*(7 + l)?
False
Let f = 64 + -77. Let p = 53 + f. Does 5 divide p?
True
Suppose -6*x + x = -30. Suppose -3*m = -x*m. Suppose 5*o + 50 - 190 = m. Is o a multiple of 14?
True
Let b(m) = 353*m**2 + 23*m - 1. Is 13 a factor of b(-2)?
True
Let c(v) be the first derivative of 4*v**3/3 - 7*v**2/2 - v - 2. Is 8 a factor of c(5)?
True
Let p = 57 - 27. Let o = p + 92. Suppose 0 = 3*q - 4*z - 97, -q = 3*q + 2*z - o. Does 14 divide q?
False
Is 28 a factor of 4/(-12) + (-739)/(-3) + -1?
False
Suppose 14*v - 8*v - 1002 = 0. Let z = v + -59. Is z a multiple of 9?
True
Let o(b) = -b**3 - 21*b**2 - 72*b + 8. Is 89 a factor of o(-22)?
False
Let o be (-9)/(-21) - (-248)/(-56). Let u(a) = -7*a**2 - a - 3. Let w be u(o). Let q = w - -155. Does 9 divide q?
False
Let w(o) = -o**2 + 4*o + 10. Let c(i) = i**2 - 8*i - 21. Let v(l) = -2*c(l) - 5*w(l). Is v(4) a multiple of 12?
True
Let m(g) = -60*g**2 - 2*g + 4148. Does 64 divide m(0)?
False
Let p = -12 + 15. Suppose 3*w - 169 = y, -2*w + p*y - 28 + 143 = 0. Is w a multiple of 8?
True
Let s be 38/(-4 + 2 + 1). Let o be (4 + -1)/((-2)/s). Suppose -o = -g + 63. Does 21 divide g?
False
Let l = 173 + -292. Let k be 2/(-5) - l/35. Suppose -k*d + 57 + 79 = -5*r, -4*d + 204 = -r. Does 13 divide d?
True
Suppose -537 = -2*w - b - 72, b + 1145 = 5*w. Does 5 divide w?
True
Let j be 2/(-3) - 8/(-3). Suppose 39 = -j*n + 5*n. Let t(m) = 3*m - 29. Is 5 a factor of t(n)?
True
Suppose -2*b - l = -900, -2*l - 941 = 5*b - 3191. Suppose -5*z + b = 85. Suppose 4*d - z = -5*a, d + 3*a - 5*a - 28 = 0. Is 9 a factor of d?
False
Let k be (9 - 0)/(60/(-80)). Let i be -3*(-4)/k*-3. Suppose -4*b - 165 = -3*g + 144, -i*g - 3*b + 288 = 0. Is g a multiple of 15?
False
Let t be 34/4 + 36/8 + -4. Does 2 divide 3*(-4 + 42/t)?
True
Let c = -2249 + 3541. Is 19 a factor of c?
True
Let h = 1030 + -717. Is 8 a factor of h?
False
Let p = 1556 + 1635. Is 11 a factor of p?
False
Suppose -5*d + 2*d - 12 = 0. Let m be 8/(-4) + 2 - d. Suppose 0 = m*o + 40 - 244. Does 11 divide o?
False
Let s(g) = -g**3 + 3*g**2 - g. Let h be s(2). Let y be 315/99 - (-2)/(-11). Suppose y*r - 27 = h*r. Does 9 divide r?
True
Suppose -3*i + 400 = -o, 0 = i - o - 109 - 23. Does 45 divide i?
False
Let o = -10 + 13. Suppose -o*f = -f - 10. Suppose 0 = 4*t - f*t + 18. Does 9 divide t?
True
Is 0 + (-2)/(-4) + 15662/164 a multiple of 32?
True
Is 28/21*((-286)/(-4) + -4) a multiple of 18?
True
Suppose -6*y + 6 = -6. Suppose 0 = y*w + 2*w - 544. Is 17 a factor of w?
True
Let d = 274 - 194. Suppose 3*j + 4*x - d = -j, 2*j = -3*x + 40. Let z = -9 + j. Is 11 a factor of z?
True
Suppose 189 = 5*s - 5*k - 66, -3*s = -5*k - 161. Suppose 5 = 4*n - s. Is 2 a factor of n?
False
Suppose 7*p - 6 = 8*p. Is 2198/21 + 4/p a multiple of 29?
False
Let t(r) = 34*r**3 - r**2 - 5. Is 4 a factor of t(2)?
False
Let n = -1504 + 2202. Is n a multiple of 11?
False
Let u(v) = -v + 8. Let m be u(6). Suppose 10*z = m*z + 800. Does 25 divide z?
True
Let y(k) = -k**2 + 6*k - 2. Let d be y(5). Let c be 28/6 + d/9. Is 6 a factor of (-6)/10*(-175)/c?
False
Suppose -2*i + 2*q = -47 - 885, 0 = 3*i + q - 1382. Does 77 divide i?
True
Suppose 0 = -3*l + 2*l - k - 73, 0 = -4*l - k - 301. Let q = 109 + l. Suppose 2*i - q - 3 = 0. Is 9 a factor of i?
True
Let q(x) = -3*x**3 + 4*x**2 - 3*x + 4. Let c(w) = 8*w**3 - 12*w**2 + 8*w - 11. Let y(r) = 4*c(r) + 11*q(r). Let a be y(-5). Does 4 divide (-21)/3*a/(-21)?
False
Suppose 0 = -h + 4, 2*h = -11*s + 7*s + 140. Is 16 a factor of s?
False
Let c(y) = y**2 - 15*y + 38. Is c(41) a multiple of 48?
True
Let u(l) = -28*l - 527. Is u(-25) a multiple of 6?
False
Let f be (-2)/3 - 344/6. Let r = f - -91. Is r a multiple of 5?
False
Suppose 0 = c + c - 5*b + 28, -2*c = 3*b + 12. Let q(y) = y + 17. Does 4 divide q(c)?
True
Suppose 3*q + 1 = -2*u + 2*q, -u + 1 = -q. Let g(k) = k**2 + 14. Does 3 divide g(u)?
False
Let a(x) = 9*x**3 + 15*x**2 - 14*x - 46. Let t(f) = 5*f**3 + 7*f**2 - 7*f - 23. Let j(d) = 4*a(d) - 7*t(d). Is 37 a factor of j(-7)?
True
Suppose -3*r = -2*y - 1490, 4*r - 3*y - 1987 = -0*r. Is 62 a factor of r?
True
Let p(w) be the third derivative of -2/3*w**3 + 0*w + 2*w**2 - 1/6*w**4 + 0. Is p(-4) a multiple of 12?
True
Let y(j) = -j**3 + 10*j**2 - 3*j - 4. Let g be y(7). Suppose 4*t - 2*u - g = 0, u + 125 = 5*t - t. Is t a multiple of 25?
False
Is 50 a factor of (-35)/(427/(-70) - -6)?
True
Suppose -4*m = -2*a + a + 170, -275 = -2*a - 5*m. Let y = a + -80. Is 10 a factor of y?
True
Does 13 divide 1*91*(25 - (5 - -11))?
True
Suppose 3*i + 528 = 12*d - 11*d, 3*d = -3*i + 1644. Is d a multiple of 4?
False
Let j(p) = p**3 - 4*p**2 + 2*p. Suppose 3*l - 4*g - 3 = -2*l, 5*g - 30 = -5*l. Let i be j(l). Does 10 divide (i + -1)/(1/(-8))?
False
Suppose -h - 2*h = -42. Suppose -2*s - h = -4*q, 5*s + 6 = -2*q + 19. Suppose -9*i + q*i + 2*r + 467 = 0, 4*r + 190 = 2*i. Does 11 divide i?
False
Suppose 5*n + 5 = -5. Let r be n/((-8)/52) + 2. Is 16 a factor of (-1116)/(-20) + 3/r?
False
Let k(n) = -571*n - 363. Is 75 a factor of k(-3)?
True
Suppose -5*r + 2*y = -2*y - 565, -y + 540 = 5*r. Is 5 a factor of r?
False
Let j = -229 + 321. Is 32 a factor of j?
False
Is 51 a factor of 2*2/((-4)/(-357))?
True
Let s(a) = 601*a**2 - 13*a + 12. Is s(1) a multiple of 20?
True
Suppose -56*y = -85*y + 10034. Does 6 divide y?
False
Let v(j) = 116*j**3 - j + 4. Does 13 divide v(2)?
False
Suppose 0 = -h - 2*m - 25, 2*m - 6 = 2. Let s = -76 + h. Let c = s - -154. Does 9 divide c?
True
Let i(y) = 1 + 0*y + y + y + 2. Does 19 divide i(8)?
True
Let s be (-9)/(-3) - (-250)/10. Does 22 divide (2*2)/(s/742)?
False
Suppose 2*v = -3*z - 2*v + 20, -5*v = -10. Let c be (0 + (-12)/z)*-23. Let m = -5 + c. Does 14 divide m?
False
Suppose 105*z - 27088 - 24572 = 0. Does 3 divide z?
True
Suppose -3*y - 19 - 17 = 0. Let b(z) be the second derivative of -z**3/2 - 13*z**2 + 10*z. Is 5 a factor of b(y)?
True
Let a = -2 - -6. Let n = a - 0. Suppose 58 = 4*b + n*p - 2*p, 2*b + 5*p - 33 = 0. Is 13 a factor of b?
False
Suppose -9*n = 87*n - 232800. Is n a multiple of 46?
False
Let n(x) = -5*x - 10. Let c be n(-6). Suppose 420 = -16*i + c*i. Is i a multiple of 7?
True
Let f = 21 - 11. Let c = 35 - f. Is 7 a factor of (-276)/(-15) - 10/c?
False
Is (-60)/540 + 21422/18 a multiple of 10?
True
Let s(i) = -2*i + 16*i + 7*i. Let d be s(3). Let w = -10 + d. Does 22 divide w?
False
Let z(c) be the third derivative of -c**6/120 + c**5/4 - c**4/2 - 3*c**3 - c**2. Let i(t) = -t**3 + 9*t**2 + 10*t + 14. Let u be i(10). Is z(u) a multiple of 5?
True
Let v(l) be the first derivative of -6*l**2 + 6*l + 1. Let q(b) = b**2 + 2*b - 3. Let o be q(-2). Does 11 divide v(o)?
False
Let d be (48/30)/((-2)/5). Is 10 a factor of 20 + (-8 - d - -2)?
False
Suppose -24*p - 598 = -37*p. Is 2 a factor of p?
True
Let s(l) = 9*l**2 + 1. Let z be s(-1). Let x be z*(-1 - -2 - -1). Suppose 3*j + 2*j - x = 0. Is j a multiple of 3?
False
Let a be (24/(-7))/8 - (-32)/(-7). Is 6 a factor of (3/a)/(17/(-340))?
True
Let y = 2144 - 1985. Is 3 a factor of y?
True
Let c(l) = -l**2 - 10*l - 20. Let w be c(-6). Suppose 0 = w*t - f - f - 300, 3*f - 386 = -5*t. Does 38 divide t?
True
Let k(z) = z**2 - 17*z + 4. Let b be k(16). Let o = b + 19. Does 8 divide 468/28 - (-2)/o?
False
Suppose 3*f = 2*j - 641, 4*f - 6*f = 3*j - 994. Is j a multiple of 39?
False
Let j(a) be the first derivative of 3*a**2 + 6*a - 12. Is j(3) a multiple of 6?
True
Does 56 divide (0 + 2)/10 + (-20148)/(-60)?
True
Suppose -49*p + 9 = -46*p. Let x(k) = -3*k - 3. Let v be x(-2). Is 4 a factor of -3 - (v - (7 + p))?
True
Let n be (3 - 0) + 6 + -2. Suppose -2*w + n*w - 135 = 0. Let t = w + -18. Is t a multiple of 3?
True
Suppose -18*f + 3*f + 1605 = 0. Is 15 a factor of f?
False
Let b(k) = -k**3 + 19*k**2 + 9*k + 9. Is 45 a factor of b(18)?
True
Suppose -3*v = -8108 + 1376. Does 14 divide v?
False
Let y = -455 + 535. Is 5 a factor of y?
True
Suppose 32*n - 23*n = 1629. Is n a multiple of 18?
False
Suppose 3*f = -5*t + 4633, 5*f + 1