 + 3*y = y + 52. Is 23 a factor of 29/(q - 11 - (0 + 3))?
False
Suppose -1024 = -2*z + 5*y, -5*z + z + 2048 = 2*y. Suppose -5 = -5*r, -h + 5*r - 149 + z = 0. Does 26 divide h?
False
Let y(o) = 133*o**2 - 41*o - 98. Is y(-3) a multiple of 94?
True
Suppose -1434*x + 54740 = -1399*x. Does 17 divide x?
True
Suppose -440 = 4*y - 8*y. Let q = y + -108. Suppose 0 = q*l - 193 + 55. Is l a multiple of 20?
False
Let k(p) = -5*p**3 + 12*p**2 + 7*p + 7. Is k(-9) a multiple of 84?
False
Suppose -5*s + 1088 = -k, -4*s = s - 5. Let w = -611 - k. Is w a multiple of 14?
False
Suppose 4*l + 109 = 5*m - 44, -l - 2*m = 35. Let t = l - -42. Suppose t*f - 88 = -13. Does 2 divide f?
False
Suppose -a + 8*a + 126 = 0. Let w be 4/a*(15 - 24). Suppose w*c - 278 = -22. Is c a multiple of 26?
False
Let w(g) = -2*g**2 - 38*g - 138. Let v be w(-14). Let d(b) = 22*b**3 + 5*b**2 - 5*b - 1. Is d(v) a multiple of 9?
False
Let f(k) = 43*k**3 + 35*k**2 - 3*k + 10. Let q be f(4). Suppose 0 = 305*w - 300*w - q. Is 8 a factor of w?
False
Suppose 3708 + 400 = 52*o. Suppose 49*k = o*k - 16170. Does 11 divide k?
True
Is 121 a factor of 40/15*(297/12)/(3/968)?
True
Let p be (-1)/4 - 51/(-12). Suppose -3*l = -p*n + l + 16, 3*n - 14 = 4*l. Suppose -616 = -4*w - r, 4*w - 149 - 455 = n*r. Is w a multiple of 51?
True
Let l(q) be the first derivative of q**3/3 - q**2 + 17*q + 6. Suppose -3*s - p + 18 = 0, -3*p + 2*p = 5*s - 32. Is 26 a factor of l(s)?
True
Suppose 3*v - 50 = -2*a, 12*a - 15*a - 2*v + 85 = 0. Let f = 1 - 0. Let m = f + a. Is m a multiple of 3?
False
Let r = -17 - -18. Suppose -i + 2 = -r, -5*n = -3*i - 316. Does 13 divide n?
True
Suppose 5*n + u - 53005 = 0, 4*n = -5*u + 35335 + 7069. Is 36 a factor of n?
False
Let m(x) = -89*x - 27. Let h be m(-8). Suppose -17*t + h + 3055 = 0. Is 20 a factor of t?
True
Suppose -r + 162 = z - 5*r, 5*z - 3*r = 725. Does 3 divide z?
False
Suppose 79*z + 42*z - 3676680 = z. Is 21 a factor of z?
True
Let l(o) = -22*o + 18. Let u = -36 - -44. Suppose u*r = -40 - 8. Is 11 a factor of l(r)?
False
Let q(p) be the first derivative of -p**4/4 + p**2 + 3. Let l be q(-3). Let d = 27 - l. Is d a multiple of 5?
False
Let x be -2 + -1 - 15/(-5). Let p be x + 56/(6 + -2). Does 11 divide (-1544)/(-14) + (-4)/p?
True
Suppose -19 = 2*c - 25. Suppose -5*t = -0*v - 2*v + c, 3*v - 7 = 5*t. Does 7 divide (13 - t) + 0 - -4?
False
Let y = 4538 - 4278. Is 3 a factor of y?
False
Suppose -113*g + 112*g + 2 = 0. Let r(o) = 51*o**3 - o**2 - 2*o + 6. Is r(g) a multiple of 29?
True
Suppose -96544 = -3663*q + 3647*q. Is q a multiple of 64?
False
Suppose 99589 - 359745 = -13*b. Is 6 a factor of b?
False
Let l = 3047 + -1760. Is l a multiple of 39?
True
Suppose -755 - 925 = -30*k. Suppose -52*v + k*v = 92. Does 10 divide v?
False
Let w be (-728)/(-70) - 4/10. Let n be ((-921)/6 - -6)*6. Is 36 a factor of (-4*(-1)/w)/((-3)/n)?
False
Let s(f) = -33*f**2 - f + 34*f**2 + 13 - 7 - 5*f. Is 27 a factor of s(14)?
False
Let j = -79 - -94. Suppose 5*k + j = 35. Is (-31*1/(k/12))/(-1) a multiple of 21?
False
Let o = -682 - -685. Is (5/(-3))/(o - 952/315) a multiple of 9?
False
Let c(g) = g**3 - 74*g**2 + 110*g + 57. Is 25 a factor of c(73)?
False
Suppose 0*k = -2*k - 14. Let x(b) = b**3 + 8*b**2 + 5*b - 11. Let l be x(k). Is 9 a factor of -2 - (-69 - (-9)/l)?
False
Let w = -578 + 576. Suppose -3*n - 2*o - 48 = -12, o - 17 = 2*n. Is n/(-35) - (w - 362/7) a multiple of 18?
True
Let f = 23667 - -11761. Is f a multiple of 258?
False
Suppose -6*j + 6 = -3*j. Suppose j*g - 100 = -0*g. Suppose -w - 3*q - 60 = -4*w, 0 = -5*w - 5*q + g. Is w a multiple of 5?
True
Let a(l) = -147*l - 104. Let p be a(-5). Let i = p + -242. Does 28 divide i?
False
Is 19 a factor of (110130/(-50))/((-154)/120 - 125/(-100))?
False
Let y(a) = 3790*a - 1540. Does 42 divide y(7)?
True
Let u(l) = -l**3 + 12*l**2 - 19*l - 8. Let q be u(10). Suppose m + 7*n - 220 = 11*n, -5*m + q*n + 1082 = 0. Is 27 a factor of m?
True
Suppose -2921 = 19*j + 670. Let d = j + 338. Is d a multiple of 22?
False
Suppose -132*z + 102*z - 1529766 = -72*z. Is 21 a factor of z?
False
Let f(o) = -6*o + 24. Let j = 65 - 61. Let w be f(j). Suppose 3*y - 291 = 5*q + 152, w = 4*y + q - 629. Does 24 divide y?
False
Let w(v) be the first derivative of v**4/4 + 2*v**3 - 2*v**2 - 3*v + 1. Suppose -104*k = -66*k + 190. Does 42 divide w(k)?
True
Let i = 354 + -332. Suppose -20*z + i*z = 886. Does 8 divide z?
False
Suppose 3*x = z - 3*z + 26668, 3*z + 44472 = 5*x. Suppose 20*t - x = 8*t. Does 13 divide t?
True
Let z be 8/(-14)*42/12. Let x(k) = -6*k**3 - k**2 - k + 1. Let l be x(z). Let m = l - 39. Does 8 divide m?
True
Let g = -879 - -880. Is g - 2 - -952 - (-76 + 77) a multiple of 25?
True
Suppose 9*g = 42 + 822. Suppose -94*f + 2 = -g*f. Let x(c) = -14*c - 4. Is x(f) a multiple of 10?
True
Let c(b) = b**3 - 9*b**2 + 20*b + 2. Let h be c(4). Suppose -h*j - 16 = -76. Does 10 divide j?
True
Let o(b) = -4*b - 32. Let v be o(-10). Suppose v*s = 9*s + 9. Let f(m) = -11*m - 3. Is 24 a factor of f(s)?
True
Suppose 10048 = -120*v + 125*v + u, 5*v = 2*u + 10054. Is v a multiple of 8?
False
Let t be 1*(-1 + 2)*3. Suppose 3*w - 16 = -2*l - w, -12 = -5*l - t*w. Suppose 2*u - 10 = l, -3*v - 3*u + u + 295 = 0. Is 14 a factor of v?
False
Let o = 1989 - -945. Is 16 a factor of o?
False
Let r = 6538 + -3370. Is r a multiple of 72?
True
Suppose -538*j + 537*j + 3*s + 6147 = 0, -5*j + 5*s + 30825 = 0. Is j a multiple of 6?
True
Let a = -42 - -46. Suppose a*s + 243 = -221. Let j = -105 - s. Does 9 divide j?
False
Let c = 26169 - 6527. Does 122 divide c?
True
Let f = -1262 - -1603. Does 4 divide f?
False
Let x(u) = u**3 + 3*u**2 - 10*u + 4. Let w be x(-5). Suppose -2*f = w, -6*c + 2*f - 456 = -7*c. Is c a multiple of 20?
True
Suppose v + 5 = -5*k, 1 = -4*k + 3*k + 4*v. Let t(n) = -309*n - 24. Does 8 divide t(k)?
False
Let o(b) = 0*b**2 - b - b**2 + 6*b**2. Suppose 9*z - 5*v = 12*z + 4, 5*z - 12 = v. Is 9 a factor of o(z)?
True
Suppose -8*z - 1661 + 4213 = 0. Is 3 a factor of z?
False
Let x(h) = -h**3 - 11*h**2 - 7*h + 10. Let f be x(-10). Let v be (0/f)/(4/(-2)). Suppose -q + 3 = 3*n, 5*n + v = -20. Is 5 a factor of q?
True
Let h = -4847 + 13615. Is h a multiple of 137?
True
Let i(t) = -t**3 - t**2 - 9*t + 1499. Let z be i(0). Suppose -3*m - 11*r = -16*r - z, 0 = m - 5*r - 483. Does 12 divide m?
False
Let y = -128 - -130. Suppose 25*i - 28*i + y*s = -2582, -25 = -5*s. Is 16 a factor of i?
True
Let m = -6455 - -9815. Suppose 56*l = 68*l - m. Is 14 a factor of l?
True
Let v(r) = -r**2 - 24*r - 62. Let x be v(-3). Is (97 - (8 + 2)) + (0 - x) a multiple of 9?
False
Suppose -4*d = n - 5*n - 1696, -5*n - 4*d = 2156. Let m(h) = -h**3 - 12*h**2 - 32*h + 1. Let g be m(-8). Is 8/3*(g + n/(-16)) a multiple of 14?
False
Let n(y) = 68*y**2 - 22*y + 2. Suppose w + 3*p - 12 = 0, 3*p - 4*p = 4*w + 7. Does 17 divide n(w)?
True
Let k be (2/(-10))/(30/75)*-14. Suppose -k*d = -2*d - 200. Suppose -d - 38 = -2*t. Is 13 a factor of t?
True
Let z = 291 - 289. Suppose -5*h = -9975 + 1785. Suppose -z*x = 11*x - h. Does 18 divide x?
True
Let a be (4 - -1) + -2 - (10 - 6). Let v(j) be the first derivative of 44*j**3 + j**2 + 2*j - 2. Does 13 divide v(a)?
False
Let c(h) = 24*h + 302. Does 16 divide c(-4)?
False
Let z(s) = 39*s**2 + 11*s - 21. Let a be z(2). Let r = a + -49. Is 18 a factor of r?
True
Let a = -827 + 1883. Is a a multiple of 6?
True
Suppose 16*p - 51*p = 28*p - 445410. Is p a multiple of 8?
False
Let h(k) = -2236*k - 20 + 2*k**3 + 0*k**3 + 2238*k + 15*k**2. Is h(-6) a multiple of 2?
True
Let x be (4/(-12))/((-3)/18). Let u be (x - (5 + -1))*-1. Suppose -42 = -u*o + 4. Is 13 a factor of o?
False
Suppose 32*y + 34 = 33*y. Suppose -738 = -y*g + 6334. Is 52 a factor of g?
True
Let l = 19 - 8. Let k(q) = -5*q**2 + 6*q - 18. Let p be k(0). Is (-15)/p*-4*(l + -50) a multiple of 26?
True
Suppose -16*p + 30392 = 7320. Suppose 4*f - p = x, -5*f + x + 1395 + 407 = 0. Is f a multiple of 40?
True
Let h(q) = -2*q - 2*q + 33 + 2*q - q. Does 6 divide h(5)?
True
Suppose 315*i - 1481402 = 1637124 + 1424719. Is 57 a factor of i?
False
Let i(z) = 6*z**2 + 3*z - 22. Let u be i(-6). Let w = 285 - u. Does 21 divide w?
False
Let t be (-13662)/184*8/3. Let r = -163 - t. Is r a multiple of 5?
True
Let m(x) = x**3 