Let y be (-1 + 61)/((-1)/2). Let b = -99 - y. Is b a multiple of 21?
True
Suppose 0*u - 3300 = 4*u - 2*k, -3308 = 4*u + 2*k. Let n = -574 - u. Is n a multiple of 21?
True
Suppose 5*u = 4*k - 142, 0 = -3*u + 58*k - 54*k - 82. Does 20 divide (-12)/u - (-10194)/15?
True
Let k be -2937*1/(-9)*3. Let w = k - 632. Does 14 divide w?
False
Let z be -3 - (-4)/((-4)/(-9)). Does 10 divide (-24)/(-100)*1165 + z/(-10)?
False
Suppose -4*d = -20, 142*f - 4*d + 660 = 147*f. Let m be 13/(-2 - -1)*-1. Let q = m + f. Does 17 divide q?
False
Let w be (-87)/29 - (1 + -2). Does 20 divide 10806/(-36)*-2 + w/6?
True
Let y = -1742 - -1859. Is y a multiple of 13?
True
Let j = -561 + 407. Is 41 a factor of (j/(-28))/(3/246)?
True
Let b(k) = -25*k - 172. Let d be b(-7). Suppose -5*f + 1865 = d*s - 2482, -5*s = 2*f - 1735. Is 58 a factor of f?
True
Let i be 36/(-6) - (-2792 + 2). Is i/66 - 2/11 a multiple of 6?
True
Let f(g) = 17*g**3 - 4*g**2 - 6*g + 3. Let u(o) = 12*o**3 - 4*o**2 - 5*o + 1. Let n(z) = -2*f(z) + 3*u(z). Let x be 0 + 10/(1 - -1). Is 11 a factor of n(x)?
True
Let h = 126 + -24. Let l = 20013 + -19881. Let a = l - h. Does 11 divide a?
False
Let d(n) = 68*n**2 - 207*n + 2414. Is d(11) a multiple of 35?
True
Suppose 2*o - 86 = -88, -3*x - 2*o = -22033. Is 29 a factor of x?
False
Suppose 2*f + 175 = 735. Let y = -250 + f. Is y a multiple of 3?
True
Suppose -7 = -4*z + 5. Suppose -g - 2*s + 344 = -0*s, -2*s = z*g - 1024. Is g a multiple of 11?
False
Does 43 divide (-84)/(2 + 1)*84366/(-72)?
True
Let m(b) = -b**3 - 145*b**2 + 2340*b + 191. Is m(-162) a multiple of 20?
False
Let v = 85969 - 55224. Is v a multiple of 13?
True
Let x(o) = 40 - 85 + 54*o**2 + 14*o + 71. Is x(-3) a multiple of 18?
False
Suppose 97*p - 95*p - 9108 = 0. Is p a multiple of 22?
True
Suppose 20 = 5*v, 901 = -9*c + 4*c + 4*v. Let r = c + 302. Does 25 divide r?
True
Is 117 a factor of 6/(-11) - -57*((-56540)/(-121) + 11)?
True
Let p be 6 + -13 + 0 + -1 + 4. Let o = -4 - p. Is (-5)/(-5) + o + 83 a multiple of 21?
True
Suppose 0 = -175*z + 179*z - 4*k - 11208, -4*k + 5616 = 2*z. Does 8 divide z?
False
Suppose -2*m - 3*m + u + 296 = 0, -2*m - 2*u = -116. Suppose -61*i + m*i = 52. Is 3 a factor of i/6*(5*-1 - -2)?
False
Suppose 0 = k - j - 46, -5*k + 2*j + 214 = j. Suppose 55*o - 1040 = k*o. Is o a multiple of 4?
True
Let y(v) = v**2 - 8*v - 62. Let i be y(-5). Suppose 0 = 5*g - i*j - 192 - 213, 0 = -g - j + 89. Is g a multiple of 7?
True
Is 4 a factor of (-126)/(-26) - 5 - (-115608)/78?
False
Let b(i) = -76*i**2 - 7*i + 1 + 1 + 3*i**3 + 73*i**2. Let u be b(5). Let n = 384 - u. Is 13 a factor of n?
True
Let z(v) = -3*v**2 + 84*v + 17. Let i be z(28). Is 15 a factor of (1/(-1 - 1))/(i/(-8024))?
False
Let v = -122 - -118. Does 12 divide (-7)/v*(5 - 1)*36?
True
Let s(z) = -z**2 + 4*z + 23. Let y be s(7). Let j(r) = -7*r + 11. Let t be j(y). Does 7 divide ((-2112)/20)/t + (-2)/10?
True
Suppose 1593 + 7239 = 5*o + 2*n, 3*o + 2*n = 5304. Is 7 a factor of o?
True
Suppose 4332*o = 4319*o + 994409. Is o a multiple of 16?
False
Let v(k) = k**3 + 11*k**2 + 12*k + 22. Let o be v(-10). Suppose -8*a + o = -14. Is (1*61)/(-3 + a + 2) a multiple of 23?
False
Let n = -7155 - -30087. Is 98 a factor of n?
True
Suppose 0 = 4*t - 314 - 862. Let g = t - 88. Let q = g - -37. Is 17 a factor of q?
False
Let m be (4/6)/((-40)/60). Let b be (-3525)/(-135) - m/(-9). Suppose -j + b = -5. Is 24 a factor of j?
False
Let g = 13 - 17. Let l(k) = -k**3 + 3*k**2 - 6*k - 22. Does 16 divide l(g)?
False
Suppose 0 = 10*q - 7*q - 12. Let o(l) = 14*l + 18. Is o(q) a multiple of 17?
False
Let j(p) = p - 10. Let x be j(10). Let a(f) = f**2 - f - 40. Let m be a(x). Let h = m - -52. Is h a multiple of 6?
True
Let m(l) = -2*l**3 + 78*l**2 - 147*l - 34. Let w be m(37). Let u be 4150/(-45) - 2/(-9). Let b = w - u. Does 19 divide b?
True
Suppose -8*f - 69 - 219 = 0. Let p = f + 305. Does 5 divide p?
False
Suppose -69 = 5*u - 44. Does 6 divide 500 - -4 - (1 - u)?
True
Let x = 24 - 24. Suppose x = s - 0 - 3. Suppose 111 - 6 = s*v. Is v a multiple of 5?
True
Suppose z - 2 = 0, p - z - 126 = 105. Let a = p + -384. Let o = 43 - a. Does 22 divide o?
False
Let n(m) = -m**3 + 5*m**2 + 10*m + 38. Let d be n(-13). Let z = d + -1449. Is 14 a factor of z?
False
Suppose -2*u = 5*p - 35, 5*u - p - 97 = -4*p. Suppose -5*q - u = -4*s, 22 = -5*q + 5*s - 3. Does 12 divide (1/(-1) - q) + 157?
True
Suppose 4*n - 6 = -l, -l + n - 9 + 5 = 0. Is 14 a factor of l/1 - (-6)/(-6)*-43?
False
Suppose -4*r + 39 = k, r - 112 = -5*k + 64. Let m = -37 + k. Let q(v) = -3*v**3 + v**2. Does 5 divide q(m)?
False
Suppose 4*x + o - 741 + 17 = 0, -x + 2*o = -190. Suppose 3*n - n = x. Does 4 divide n?
False
Suppose 0 = 3*j + j. Let r(n) = j - 14*n + 0 + 40*n. Is r(1) a multiple of 15?
False
Let h = -451 + 5053. Does 86 divide h?
False
Does 32 divide 38703/13 + (20/(-15))/(338/39)?
False
Let p = 18417 + -9078. Does 22 divide p?
False
Let y(x) = 6*x**3 + x**2 - 2*x + 1. Let g be y(1). Let n be g - 3 - (-274 + 1). Is 23 a factor of ((-2)/4)/((-6)/n)?
True
Let k(r) = 9*r**2 - 45*r + 144. Is k(20) a multiple of 3?
True
Let b = -81 + 144. Suppose -128 = -b*p + 61*p. Is p a multiple of 8?
True
Let b be (((-96)/(-10))/(-3))/((-1)/10). Let f(m) = 1 + 39*m**2 - 53*m**2 + b*m**2 - 4*m. Is f(2) a multiple of 13?
True
Let f = 1732 - -556. Is f a multiple of 16?
True
Let o(l) = -662*l - 78. Let t be o(-4). Suppose -3*j - 3*f = -3813, 7*f - t = -2*j + 12*f. Is 25 a factor of j?
True
Suppose -14*s = -15*s + 3. Let a be (-8)/(-30)*(-210)/(-28). Suppose -m = 4*v - 430, a*v - s*m + 102 = 3*v. Does 9 divide v?
True
Let t(l) = 206*l**2 - 8*l + 40. Let p be t(3). Let v = p + -1078. Is 72 a factor of v?
True
Let o = 522 - -12343. Is o a multiple of 155?
True
Suppose 7*r + 34*r + 560 = 43*r. Does 36 divide r?
False
Let g be (-78)/(-27)*3 - 5/(-15). Let w be 2 + (-20)/g + (-80)/45. Does 12 divide -3 + (-7)/w*20?
False
Let k(i) be the third derivative of 17*i**5/10 - i**4/24 - 19*i**3/6 + i**2 + 140*i. Does 14 divide k(3)?
True
Let l = -3425 + -128. Does 38 divide 2/9 + l/(-9)?
False
Suppose 2*s = -4*c + 12120, 1668*c - 1671*c = 3. Is s a multiple of 9?
False
Suppose -3*v + 5*m = -13, -5*m - 13 = v - 4. Does 15 divide (8*(0 + v))/((-4)/(-170))?
False
Let i be (-25)/5 + (5 - (-9)/(-3)). Let h be 1 - 1/(-3) - 2/i. Suppose 11*m - 333 = h*m. Is m a multiple of 5?
False
Let p(u) = -11*u - 1. Let b be p(-3). Let j be 456/(-21) - (-12)/(-42). Let f = j + b. Is 10 a factor of f?
True
Suppose 81329 + 124303 = 38*f + 58*f. Does 17 divide f?
True
Suppose 0 = 1533*z - 1555*z + 44. Let a(k) = -19*k**3 - k**2 + 3*k - 4. Let s(w) = 29*w**3 + w**2 - 4*w + 6. Let i(t) = 7*a(t) + 5*s(t). Is 23 a factor of i(z)?
True
Let x = -65 - -74. Suppose 0 = -n + 2*g + x, -3*n + 2*g = 5*g. Suppose 3*m - 229 - 413 = -3*l, 0 = -3*m + n*l + 660. Is 31 a factor of m?
True
Suppose -2*s - 4*x + 44 = 0, -x = 2*x + 6. Let l(b) = -b**3 + 28*b**2 - 41*b + 72. Is 13 a factor of l(s)?
False
Let x be 30/(-12)*(-148)/10. Let l = 17 - x. Let d(r) = -3*r - 37. Does 23 divide d(l)?
True
Suppose 103237 - 7688 = 17*u - 32546. Does 137 divide u?
True
Let n(p) = -p**2 - 44*p - 179. Let l be n(-39). Let q(u) = -u**2 + 19*u + 87. Is 5 a factor of q(l)?
True
Let g be (-1378)/13 + 2*(-1)/2. Let x = g - 37. Is 7/(7/x)*-1 a multiple of 16?
True
Let m be (-2764)/46 - 14/(-161). Is 5 - 52548/(-90) - 8/m a multiple of 31?
True
Suppose -5*v + 5*x = -31595, 4 = -17*x + 13*x. Does 39 divide v?
True
Suppose -94*o - 178750 = -105*o. Is o a multiple of 53?
False
Let v = 492 - 212. Suppose -5*d + 8*d - 546 = 0. Let z = v - d. Is z a multiple of 10?
False
Let h be (-486)/(-7) - 68/(-119). Let l be (252/h)/((-2)/10). Let w = l - -128. Is 13 a factor of w?
False
Suppose 4*t = 4*o + 1379 + 1261, o = -3*t + 2000. Let w = 1124 - t. Is 17 a factor of w?
True
Suppose d - 3*k = 433, -2*d - 1712 = -6*d + 2*k. Let h = -312 + d. Is 11 a factor of h?
False
Let h = -38780 - -57603. Is h a multiple of 33?
False
Let b(i) = i**2 - 2*i - 27. Let m be b(-5). Suppose -3*t = -j - m, -4*t + 18 = -2. Is 8 a factor of (-18)/j*420/(-9)?
True
Let g(u) = -u. Let w be g(6). Let z be 5/2*(5 - (-33)/15). Let f = w + z. Is 2 a factor of f?
True
Suppose 8086 = 4*z + a - 1675, 0 = a + 7. Is 11 a factor