= -3637 - -6867. Is 34 a factor of g?
True
Let d be -1417*3*(-7)/21. Suppose 11*y - 5*f = 7*y + d, 5*f - 671 = -2*y. Does 6 divide y?
True
Let h(r) = r**2 - 13*r + 12. Let t be h(12). Suppose 0 = 4*q + 5*f + 629, q + t*f + 151 = 5*f. Let c = 272 + q. Is 29 a factor of c?
True
Let q be (3 + -96)/((0 + -2)/(-2)). Let a = q - -149. Is 20 a factor of a?
False
Suppose 4*s - 134 = -66. Let a be (-2)/s - 2/(-17). Suppose 0*u + 5*u - 290 = a. Does 21 divide u?
False
Suppose -2*v = 3*v + 520. Let g be (-16)/v + 3889/(-13). Does 25 divide (-1)/2*(g + -1)?
True
Let j(d) = -d - 26. Let o be j(-5). Suppose 5*v = 4*v + 53. Let m = o + v. Is m a multiple of 8?
True
Suppose j - 4*b = 2146, 902 = 5*j + 3*b - 9851. Is j a multiple of 10?
True
Suppose 0 = 3*s - 132 + 96. Suppose -u - 1552 = -5*u - 4*m, 3*m - s = 0. Is 32 a factor of u?
True
Let b(z) = -21*z + 106. Let g be (1 - -2)/((-45)/330). Is 9 a factor of b(g)?
False
Is 6 a factor of 44/33 - ((-12)/(-3))/((-6)/6424)?
True
Suppose 0 = 4*w - 110 - 138. Let v = 1 - w. Let l = v - -175. Is l a multiple of 28?
False
Suppose -3*t - 2*d + 5623 = 0, 3*t - 120*d - 5615 = -124*d. Is 3 a factor of t?
False
Suppose 17*l + 147 = -363. Let y = l - -71. Suppose 3*r = y + 4. Is r a multiple of 5?
True
Does 12 divide (-5373)/(60/(-108) - (-8)/(-18))?
False
Suppose -6*a + 3*a + 2*t + 1622 = 0, -2696 = -5*a - 4*t. Let r = 744 - 741. Suppose -r*l = 7*l - a. Is 27 a factor of l?
True
Let o(s) = -1. Let r(i) = i - 11. Let t(v) = 4*o(v) - r(v). Let u be t(4). Suppose 0 = u*q + 5*z - 158, -4*q + 3*z = -7*q + 156. Does 10 divide q?
False
Let z = -600 + 2040. Is 8 a factor of z?
True
Let x(v) = 439*v - 164. Let h(z) = -3*z**3 - 19*z**2 + 14*z + 2. Let d be h(-7). Is 23 a factor of x(d)?
False
Let t(x) = -49*x + 1. Let a(n) = 25*n. Let g(z) = -5*a(z) - 3*t(z). Let d be g(10). Suppose -42 = y - d. Is 38 a factor of y?
False
Is -41 + 41 + 1*1468 + 3 a multiple of 31?
False
Let s(g) = 13*g - 128. Suppose 3*j + 38*b = 35*b + 87, 4*j = -3*b + 119. Is 12 a factor of s(j)?
True
Suppose -38*z + 121261 + 57379 = -9*z. Does 11 divide z?
True
Suppose 457590 = 1432*g - 1411*g. Does 53 divide g?
False
Let d be (6/(-8))/((-8)/96). Suppose -d*n + 894 = -1851. Is 52 a factor of n?
False
Let p = 30474 + -18084. Is 35 a factor of p?
True
Suppose 101*x = 642547 + 629548. Is 5 a factor of x?
True
Let m = 3285 - -115. Suppose 3*i = 4*d - 3432, -4*d + 0*i - 5*i = -m. Suppose -2*n = 3*u - 861, -3*u = -0*u + 4*n - d. Does 57 divide u?
False
Let i be (-14)/(-3) - (-17)/51. Suppose 4*t - 172 - 342 = 2*u, -i*t + 670 = 3*u. Suppose 11*x - 67 = t. Is x a multiple of 6?
True
Let d = -395 - -397. Suppose 0 = -d*y - 4*k + 353 + 711, 3*k = 2*y - 1078. Is 17 a factor of y?
False
Suppose 5880 = 2*k + 2*s, -7391 - 7259 = -5*k + 5*s. Does 137 divide k?
False
Let y be 6/(((-12)/(-258))/(1 - 0)). Suppose 2*r = 2*n + y - 31, -5*n - 57 = -r. Let u = r + 20. Is u a multiple of 16?
False
Let a be ((-164)/3)/((-16)/36). Let c = a + -101. Is c a multiple of 22?
True
Let k be 840/16*(-8)/12. Is (-8000)/k - 28/49 a multiple of 38?
True
Suppose -4270*k + 958720 = -4242*k. Does 32 divide k?
True
Let v = -11 - -14. Suppose -165 = -5*m - 5*j, 0*m + 2*j = m - 18. Is 5 a factor of (-7)/(m/(-8)) + v?
True
Let c be (-224)/(-35)*(11 - 1). Is (-8 - -10)/(2/c - 0) a multiple of 3?
False
Let j be 2 - ((-136920)/144 - 1/6). Let w = j - 553. Is 30 a factor of w?
False
Let k = 3282 + -2779. Does 6 divide k?
False
Let r = -1309 + 4051. Is r a multiple of 40?
False
Let a(v) = -v**3 - 4*v**2 - 5*v + 8. Let u be a(-6). Let d = u - 110. Suppose 101 = 2*t + 3*k, 4*t + t + 2*k - 225 = d. Is t a multiple of 20?
False
Suppose i - 5*u - 10780 = 0, -51*i + 55*i = -u + 43246. Is i a multiple of 94?
True
Let n = 5391 + -3741. Is n a multiple of 79?
False
Let b(v) be the second derivative of -7*v**4/4 - v**3/3 + 3*v**2/2 + 4*v. Let o be b(1). Is 16 a factor of ((-8)/(-5))/((-2)/o)?
True
Does 98 divide 170*((-3160)/(-25) + 21)?
False
Let w(m) = 13*m**3 + 9*m**2 + 19*m - 276. Does 111 divide w(9)?
True
Suppose -18*y - 57 - 69 = 0. Let w(u) = -u**3 - 9*u**2 - 5*u + 4. Let f(z) = 1. Let p(v) = -5*f(v) - w(v). Is p(y) a multiple of 6?
True
Let u(c) = 52 - 114*c - 117*c + 230*c. Suppose -b = -2*b - 4*m - 25, -2*b - 42 = 4*m. Is u(b) a multiple of 13?
False
Let s(q) = 102*q - 21. Let g(p) = 23*p - 5. Let u(d) = -18*g(d) + 4*s(d). Suppose -2*w + 2 - 20 = 0. Is u(w) a multiple of 10?
True
Suppose 3*z - 6 = 0, -7*p - 5*z = -4*p + 2. Does 6 divide 18 - (-7 + 5 + p)?
True
Suppose -24 = 45*o - 249. Suppose -w - o*x = -55, -3*x = 5*w - x - 390. Is w a multiple of 20?
True
Let b(f) = -f**3 + 10*f**2 + 6*f + 9. Let s be b(9). Let n be (s/56)/(3 - (-135)/(-42)). Is 6 a factor of (6 - 1 - n)/(1/8)?
False
Let w(z) = 39*z**2 + 49*z - 62. Let h be w(19). Suppose 0 = 31*j - 24701 - h. Does 27 divide j?
False
Let d(q) = -16*q + 5. Let p be d(-22). Let k = p - 132. Is 15 a factor of k?
True
Suppose -2*n = -6*j - 726, 36*n = 39*n + 3*j - 1185. Is n a multiple of 9?
True
Let u(y) = -3*y**2 - 9*y + 2. Let x be u(-3). Let b(k) = 126*k - 21. Does 3 divide b(x)?
True
Let z = 39 - 29. Let d(i) = 66*i**2 + 38*i**2 + z*i**2. Is 18 a factor of d(1)?
False
Let n(h) = -10*h + 3. Let s(b) = -32*b + 11. Let k(l) = l - 1. Let j(x) = 3*k(x) + s(x). Let o(m) = -6*j(m) + 17*n(m). Is 7 a factor of o(8)?
True
Suppose 0 = 12*d + 48*d + 16*d - 348840. Does 15 divide d?
True
Let z = 12620 + -10358. Is 29 a factor of z?
True
Suppose -2*l - 669 = -r, 2*r - 20*l + 25*l = 1311. Suppose 2*p + 5*y + 172 = r, 3*y - 9 = 0. Does 2 divide p?
True
Let u(g) = -3*g**2 - 11*g + 4. Let s be u(4). Let z = -81 - s. Let h = z + 5. Does 12 divide h?
True
Does 62 divide (-1 - 1)*(9/(-3))/((-25)/(-3875))?
True
Let o(q) be the second derivative of q**4/6 + 9*q**2/2 + 13*q. Let v be o(-7). Suppose 371 = 4*y + v. Is 22 a factor of y?
True
Let a(u) be the first derivative of -129*u**2/2 + 12*u + 3. Let x be a(4). Is 5 a factor of (-3)/15 - x/20?
True
Suppose -12*q + 77 = 17. Suppose -155 = -q*j - p, -4*p + 83 = 4*j - 25. Does 16 divide j?
True
Let o = 225 - 135. Let p = -116 - -258. Let f = p - o. Does 8 divide f?
False
Let a be (-1 - -1)/(9 + -11). Suppose -c = -d, 5*c + 14 = -2*d - a. Is ((6/(-2) - -2) + -41)/c a multiple of 2?
False
Let q be -5 + 4 - (-3)/1. Suppose -81 = -q*b - 35. Suppose 22*x - b*x = -69. Is x a multiple of 11?
False
Let w(p) = -p**2 + 8*p - 10. Let d be w(6). Let q(b) = -13 - 57*b**2 - b**3 + 2*b + 49*b**d - 16*b. Is 15 a factor of q(-9)?
False
Does 21 divide (448/(-24) - -20) + (-18136)/(-6)?
True
Let l = 1421 - 3955. Does 2 divide (l/(-11))/2 + (-66)/363?
False
Let y(z) = z**2 + 8*z - 13. Let o be y(-11). Let g = o - 35. Does 15 divide ((-680)/g)/(-4)*21/(-2)?
False
Let a(b) = -b**3 - 34*b**2 + 2*b + 70. Let x be a(-34). Is 4 a factor of (11/33*6)/(x/38)?
False
Suppose 5 = -3*s + 5*i, 4*s - 3*i + 0*i = 8. Suppose -m + 3*w = -1544, 2*m - s*w - 3083 = -0*m. Is m a multiple of 106?
False
Let f(v) = 3*v**2 - 12*v + 61. Let n be f(11). Let b = 140 + n. Does 27 divide b?
True
Let v(q) = 2*q**2 + 12*q - 32. Let a be v(15). Suppose 11*j + a = 3018. Does 44 divide j?
True
Suppose -156*p + 420845 = -402835. Is p a multiple of 20?
True
Let i be 2/12 - (-96606)/(-324). Let t = -105 - 348. Let u = i - t. Is 31 a factor of u?
True
Suppose -29*x = 92510 - 3246666. Is 16 a factor of x?
False
Suppose 21*s - 135494 = -821. Is s a multiple of 121?
True
Suppose 12 = -3*i - 15. Let h(c) = c**3 + 10*c**2 + 12*c + 29. Let j be h(i). Suppose 0 = -j*p + f + 68 + 22, -2*f + 102 = 2*p. Does 47 divide p?
True
Suppose c - 4 = 5*v + 17, -c + 5 = -v. Is (-545)/v - -9*8/96 a multiple of 12?
False
Suppose -17*d + 44 = -13*d. Suppose -d*h = -5*h - 528. Is h a multiple of 22?
True
Does 6 divide 1313/(-91)*3/((-21)/833)?
False
Suppose -6*p - 26 = -5*w - 3*p, -p - 14 = -3*w. Suppose 5*i = 3*u - 32 - 3, w = -4*i. Suppose u - 39 = -d. Is d a multiple of 4?
False
Suppose -2*m = -38*t + 40*t - 2284, -5*t + 5718 = 3*m. Is 67 a factor of t?
False
Suppose 34*k = 1864885 + 124795. Is 95 a factor of k?
True
Suppose 0 = 2*v - 2*s - 14, 3*v - s = -5*s + 14. Suppose -33*z + 364 = 1651. Does 17 divide 1211/13 + v/z?
False
Let s(c) = -251*c + 502*c - 257*c + 2 + 1. Is 3 a factor of s(-7)?
True
Sup