. Let a(u) = u**3 + 3*u**2 - 5*u - 10. Let x be a(-3). Is j(x) even?
False
Suppose 4*u - 458 = -2*w - u, 5*w = -2*u + 1124. Does 38 divide w + -10 + 2*6/4?
False
Suppose 5*p = 4*r - 4810, -r - 3*p - 608 = -1802. Does 100 divide r?
True
Let f be 456/108 + 4/(-18). Suppose 122 = f*t + 2*n, 3*n - 54 - 33 = -3*t. Is t a multiple of 16?
True
Let h(y) be the first derivative of y**6/60 - 11*y**5/120 + 5*y**4/24 + 3*y**3 + 4. Let u(j) be the third derivative of h(j). Does 25 divide u(5)?
True
Suppose 22204 + 67896 = 34*a. Does 106 divide a?
True
Let c = -6 - -25. Let o = c - 52. Let i = -14 - o. Is 19 a factor of i?
True
Let u be (-1 + 0/(-3))/1. Suppose -2 = -3*z + 7. Is 2 a factor of (z + 2 - -3) + u?
False
Does 9 divide 2 + (-4)/((-28)/2821)?
True
Let n(o) = o + 69. Let y = -120 - -96. Does 9 divide n(y)?
True
Suppose -1785 = -5*v - 2*q, 7*q = -3*v + 6*q + 1071. Does 11 divide v?
False
Suppose 2*p - 4*m - 581 - 135 = 0, 2*p = -4*m + 756. Suppose -8*w = -0*w - p. Is w a multiple of 3?
False
Let p(f) = 14*f**3 - 2*f - 1. Let l be p(-1). Let a = l + 28. Is a a multiple of 5?
True
Suppose 0 = 10*s - 12537 - 7483. Is s a multiple of 22?
True
Let b(z) = z**2 + 6*z + 9. Let y be b(-5). Suppose -3*s = 0, 0 = 2*d + s - y*s - 74. Let j = -1 + d. Is j a multiple of 20?
False
Suppose l = 5*v + 48, -57 = -l + 4*v - 6. Is 7 a factor of l?
True
Let y be -3*1 - (4 + 2 - 18). Suppose 3*g - y*g = -126. Is 16 a factor of g?
False
Let a(m) = m**2 - m + 5. Let u be a(0). Let d = 10 - u. Suppose d*n - 216 = n. Is n a multiple of 27?
True
Does 5 divide -2*9/(-48) + (-2065)/(-40)?
False
Suppose 0 = -i + 4*g + 24 + 249, 4*g + 538 = 2*i. Let k = i - 392. Let f = k - -181. Is 25 a factor of f?
False
Suppose -m + 364 = 4*w - 2999, -5*m = w - 855. Does 30 divide w?
True
Let o be (8/36)/(4/6)*15. Suppose 4*g = 2*m - 260, -3*m + 389 = -o*g - 0*g. Is 16 a factor of m?
True
Let m = 44 + -51. Does 7 divide m/14*(-66)/3?
False
Let i = -568 + 2424. Is 29 a factor of i?
True
Let q = -701 + 1421. Is 42 a factor of q?
False
Let q(t) = 2*t**2 + t + 6. Let w be q(-4). Let x = 107 - w. Let h = -3 + x. Is 8 a factor of h?
False
Let g(h) = 5*h**3 - h**2 - 10*h + 16. Does 40 divide g(4)?
True
Let x(k) = -1 - 4*k + 3*k + 2. Let c(b) = 5*b + 81. Let v(m) = c(m) + 6*x(m). Is 29 a factor of v(0)?
True
Suppose -6*x - 3242 + 3614 = 0. Is 62 a factor of x?
True
Suppose 4*t = 5*v - 4759, -5*v + 3927 + 836 = -3*t. Is 23 a factor of v?
False
Suppose -5*l - j = 4, 4*l + 0*j = j - 5. Let n = l + -113. Does 8 divide 6/4*n/(-9)?
False
Suppose -249434 = -70*r + 18456. Does 43 divide r?
True
Let z(f) = 21*f**2 + f - 6. Let p = -37 - -34. Is 30 a factor of z(p)?
True
Suppose 5*y - q - 53 = q, 4*y - q = 40. Let i = 8 + y. Does 2 divide i?
False
Suppose 358 = 10*x + 138. Does 2 divide x?
True
Let d = 3 - -18. Let s = 34 - d. Is 13 a factor of s?
True
Suppose -3*t = -2*t - 4, -l + 130 = -2*t. Is 23 a factor of l?
True
Let t = -7 + 6. Let f(m) = -192*m + 2. Is f(t) a multiple of 10?
False
Suppose 2657 = 2*l - 3*h - 5385, -5*h - 16082 = -4*l. Is 13 a factor of l?
False
Let n = -14 + 16. Suppose 0 = n*s + 7 - 27. Does 5 divide s?
True
Suppose 0 = z + 31 - 34. Suppose -9*f + 504 = -z*f. Does 6 divide f?
True
Let a(y) = -y**2 + 5*y + 2. Let m be a(5). Suppose m*w + 69 = 381. Is w a multiple of 6?
True
Let a(y) = -204*y**2 + 31 + 205*y**2 + 11*y - 5. Is a(-10) a multiple of 4?
True
Let c be (2 - 8)/2 - -1. Let h = 22 - c. Suppose 0 = 3*i - h - 96. Does 11 divide i?
False
Let y = -86 + 40. Let a be 5*(4 + y/10). Does 23 divide (-678)/(-12) - a/2?
False
Suppose -5*b - 23 = -8. Let u be b/5 - (-14)/(-10). Does 23 divide (u/6)/(3/(-297))?
False
Let u be 9/(-54) - (-2)/12. Suppose 5*q + 5*p = -u*q + 535, -5*p = -q + 131. Does 32 divide q?
False
Suppose -14 = 3*j - 26. Suppose 4*i - j - 4 = 0. Let h(x) = 14*x**2 + 3*x - 2. Does 12 divide h(i)?
True
Suppose -2*p + 3*f + 2469 = -579, 3044 = 2*p - 4*f. Does 51 divide p?
True
Let h(k) = -18*k + 39. Let z(t) = 9*t - 20. Let f(d) = -2*h(d) - 5*z(d). Does 5 divide f(0)?
False
Suppose 13*f - 786 - 1580 = 0. Does 14 divide f?
True
Suppose -97 = -5*l + 263. Does 9 divide l?
True
Does 11 divide (7 - 7) + 9 + 1 + 1?
True
Let w(r) = r**2 + 5*r. Let t be (4/1 + -2 - 0)*2. Is w(t) a multiple of 9?
True
Let a = 108 + -104. Suppose -a*z + 24 + 382 = -5*n, -5*n = -5*z + 510. Is 26 a factor of z?
True
Let d = 4576 + -2304. Is 150 a factor of d?
False
Let b be (-1)/5 + 1127/35. Suppose -3*x + 96 = 2*r, x - 2*x = -5*r - b. Is x a multiple of 32?
True
Suppose 4*j = -3*a + 3194, 5*a - 1568 = -4*j + 3750. Is a a multiple of 61?
False
Let a(d) be the first derivative of -3*d**4/4 - 3. Let h be a(-1). Suppose -o - 85 = -3*n - n, -h*n + 4*o + 67 = 0. Is 21 a factor of n?
True
Let h = 25 - 28. Let k be ((-480)/12)/(2/h). Suppose 18*v - 14*v = k. Is 12 a factor of v?
False
Let x(w) = -10*w - 7. Let z be x(-4). Let m = -24 + z. Does 2 divide m?
False
Does 24 divide (-7 - -9)*(2 + 945) + 2?
True
Suppose 7*q - 3*q = -3*u + 891, 2*u + 1108 = 5*q. Let x = q + -68. Is x a multiple of 14?
True
Let f = 2 + 0. Let a = 1 - f. Let p(g) = -5*g + 1. Is 3 a factor of p(a)?
True
Let d be 5/((-20)/12) + 510. Suppose 4*s = s + d. Is s a multiple of 31?
False
Suppose -3 + 10 = -4*l - 3*a, 5*l + 2*a = 0. Suppose -2*v + 24 = l*v. Suppose 0 + v = x. Is x a multiple of 6?
True
Let k(v) = 5*v**2 + 3*v**3 - 15 - 11*v + 0*v - 4*v**3 + 8*v**2. Let r be k(12). Does 5 divide (r/2)/(36/(-240))?
True
Let a(z) = 29*z - 507. Does 26 divide a(36)?
False
Is (-4)/(-6) + ((-26712)/(-27) - -17) a multiple of 19?
True
Let o be -1*(3 + 0 + -1). Is -3 + 18 + (-6)/o a multiple of 6?
True
Is (-20)/(-70) - -2*(-528)/(-28) a multiple of 3?
False
Suppose -18 - 11 = -3*z + 4*k, 5*z = -3*k. Suppose 0 = 2*t - 4*a - 220, -z*t = 3*a - 8*a - 335. Does 12 divide t?
True
Let r(j) = 2*j**2 + 4*j + 1. Let d be r(-3). Suppose 0 = -2*h - 4*m + 18, h - 13 = -0*h - 4*m. Suppose h*t - 13 = d. Is 4 a factor of t?
True
Let t(w) = -w**2 - 7*w - 2. Let m(j) = -6*j**2 - 35*j - 10. Let v(n) = 2*m(n) - 11*t(n). Let q be v(5). Let g = 26 + q. Is 19 a factor of g?
True
Suppose 2*c - 3*q - 18 = 0, 5*c - 4 - 31 = 5*q. Let p = -89 - -186. Suppose 4*u = z + p, 6*u = u - c*z + 100. Does 8 divide u?
False
Suppose 0 = 13*p - 2*p - 3872. Does 31 divide p?
False
Let l be 8/10 + 24/(-30). Let c be (l - -2) + (86 - 4). Suppose 0*q = -7*q + c. Is 6 a factor of q?
True
Suppose 0 = -4*s + 80 + 20. Suppose -u = 4*u - s. Is u a multiple of 5?
True
Suppose -21*w + 23*w - 396 = 0. Suppose -w = 3*m - 792. Is m a multiple of 31?
False
Let h be 1/(((-5)/6)/5*-2). Suppose -h*d + 61 = -35. Does 6 divide d?
False
Let q(g) = -g**2 - 6*g + 8. Let h be q(-6). Suppose 9*u = 7*u + 4. Suppose 0*i + u*i - h = 0. Does 3 divide i?
False
Let r = -135 + 168. Is r a multiple of 14?
False
Let z = 1024 + -38. Is 34 a factor of z?
True
Let n(v) = 17*v + 47 - 97 + 3*v**2 + 51. Let y be n(-6). Suppose -25 = -y*q + 2*q. Is 5 a factor of q?
True
Is 14 a factor of 184/12 + -2*(-8)/(-12)?
True
Does 80 divide (-268820)/(-210) + (-1)/(42/4)?
True
Is 20 a factor of ((-1)/(10/144))/((-6)/75)?
True
Let q(z) = 146*z - 107. Does 76 divide q(3)?
False
Suppose u = 5*f - 10, -3*f - 2*f + 5*u = -30. Let s = -130 - f. Let d = -78 - s. Is d a multiple of 14?
False
Let m = -27 - -150. Is m a multiple of 41?
True
Suppose 4*l - 72 = 5*s, 0*s + 4*s - 85 = -3*l. Suppose 3*y = 5*w + 67, 0 = 4*w + 3*y + 10 + 22. Let v = w + l. Is 6 a factor of v?
True
Let o = 16 - -442. Is o a multiple of 13?
False
Suppose 0 = -d, -5*x - 3*d + 8 = -12. Suppose 4*a - 60 = 2*p + 12, -p - x = 0. Does 7 divide (-2)/(-8) + 268/a?
False
Suppose -7*u = -10*u + 5*p + 184, -u + 2*p + 63 = 0. Suppose 4*n - 5*s = 157, -5*n + 156 = -2*s - u. Is 12 a factor of n?
False
Let z(s) = 42*s**2 - s + 1. Let k be z(2). Suppose 4*l = 253 + k. Is l a multiple of 16?
False
Suppose -37962 = -0*c - 37*c. Does 19 divide c?
True
Let q be (711 - (-6)/(-3)) + (6 - 3). Suppose -2*x - 2*x - t + q = 0, 0 = -4*x - 2*t + 708. Is 15 a factor of x?
False
Let x = -6 + 6. Suppose 0 = -3*d - x*d - 45. Let u = d + 60. Does 17 divide u?
False
Let u(t) = 2*t**3 + t**2 + t - 1. Let j be u(1). Suppose 0 = -j*c - c. Suppose -5*b = -4*h + 236, -172 = -3*h + 5*b - c*b. Is 16 a factor of h?
T