Is b a multiple of 26?
False
Let v(b) = b**2 - 11*b - 8. Let r be v(12). Suppose -3*j = -3*p - 1545, -10*p + 2057 = r*j - 13*p. Does 16 divide j?
True
Is (-4)/(-26) + (-16430868)/(-1612) a multiple of 3?
False
Let a = -5051 - -7809. Is a a multiple of 49?
False
Let m(v) = v**2 + 35*v - 31. Let u be m(-35). Let n be 0*(2 - 1) + -141. Let q = u - n. Is 29 a factor of q?
False
Let j = -395 - -1045. Let a = -382 + j. Does 6 divide a?
False
Let c = -103 + 47. Let t = c - -56. Suppose 4*z - 58 = -h, 138 = 3*h - t*h + 3*z. Is 7 a factor of h?
True
Suppose 3*h - 2*p - 17 - 32 = 0, -5*h - 4*p + 45 = 0. Suppose h*z = 9*z + 48. Does 34 divide (-12)/z*17*-2?
True
Let g(s) = s**2 - 9*s + 9. Let j be g(6). Let x(z) be the first derivative of z**4/4 + 4*z**3 + 21*z**2/2 + 11*z - 40. Is 15 a factor of x(j)?
False
Let u be (2*3)/(64/864). Let c be u/1*(-7)/((-28)/8). Suppose t = 2*q - 158, q + t = -q + c. Is 16 a factor of q?
True
Suppose 4*z + 0 = 4, 4*x + 363 = -5*z. Let s = -90 - -21. Let d = s - x. Is 23 a factor of d?
True
Let k(y) = -61*y + 1056. Is 7 a factor of k(-6)?
False
Let d be 2 + (7/(-4) - (-3)/4). Is (3 - 5)*(d + -65) a multiple of 12?
False
Let g(k) = 10*k + 100. Let y be g(-10). Suppose -2*u = f - 275, y = 5*f - 4*u - 676 - 629. Is f a multiple of 54?
False
Suppose 0 = -3*i - q - 3059, 2*q + q + 4072 = -4*i. Let z = 1691 + i. Does 21 divide z?
False
Let k(y) = y**3 - 8*y**2 - 20*y + 10. Let m be k(10). Is 3 a factor of -57 + 185 + m/2?
False
Let z(k) = 2*k**3 + 9*k**2 - 21*k. Suppose -a = 6*a - 21. Is z(a) a multiple of 18?
True
Suppose 34*l = 6947 + 601. Does 19 divide l?
False
Let b(d) = 24*d**2 - 4*d + 5. Let g be 1 + 3 + -4 + 2. Let f be b(g). Suppose -v - 4*p = -26, 3*p - f - 105 = -5*v. Is 14 a factor of v?
True
Let p be (84/(-8) - 3)*6. Let i = p - -96. Does 3 divide i?
True
Suppose 25 = -s + 2*s. Is -32*(s/(-10))/5 a multiple of 8?
True
Suppose 0 = -28*t - 35 + 119. Suppose 2*d - 3*u = 2023 - 541, t*d - 2197 = -2*u. Does 18 divide d?
False
Let m be 8/(-6) - (14/3 + 0). Is 2 a factor of 34 - (m + 5) - (3 - 0)?
True
Let m(z) = -6*z**2 - 2*z - 77. Suppose -g + 6 = -4*t, 3*g - 2*t - t = -9. Let a(j) = 7*j**2 + 3*j + 77. Let n(v) = g*m(v) - 5*a(v). Is 35 a factor of n(0)?
False
Let q = -94674 + 158713. Is q a multiple of 13?
False
Let j be (-1570)/(-8) + 3*(-3)/36. Suppose -6 = -b + 2. Suppose -b*t + j = -t. Is t a multiple of 14?
True
Let o(d) = d**3 + 41*d**2 + 332*d - 116. Is o(-28) a multiple of 15?
True
Let g(m) = -1258*m + 867. Is 119 a factor of g(-3)?
True
Is (-41)/(3731/(-28)) + 77550/26 a multiple of 115?
False
Let r = -34 + 37. Suppose -3*o - 6 = -0*o, -2*d - 2*o = -220. Suppose d = r*h + 4*h. Is h a multiple of 8?
True
Let v(q) = 3*q**2 - 23. Let l be v(9). Suppose -2*p - 3*p - 122 = -3*z, -5*p = -5*z + l. Suppose -z*b + 30 = -48*b. Does 10 divide b?
True
Let x = -14243 + 23423. Does 80 divide x?
False
Suppose 223*r + 45 = 228*r. Suppose r*n - 322 = 20. Is n a multiple of 4?
False
Let q = 45 + -23. Let r = q + -28. Let d = r - -86. Is 16 a factor of d?
True
Does 5 divide (-3152 + -1)/(15/(-195)*13)?
False
Suppose -141935 + 7535 = -25*i. Does 48 divide i?
True
Let g be (-29)/(4 + (-14)/4). Let o = -54 - g. Is 8 a factor of (3/((-18)/o))/(6/(-171))?
False
Let y(i) = -i**3 - 7*i**2 - 2*i + 6. Is y(-15) a multiple of 18?
True
Let y(l) = 2544*l**2 + 30*l - 26. Does 7 divide y(1)?
True
Let o(a) = a**3 + 23*a**2 + 10*a + 78. Does 11 divide o(-20)?
True
Let f be (-8 + 0 - -14) + -2. Suppose -4*t - 6 - 14 = 0, -5*t - 2689 = -f*d. Is d a multiple of 37?
True
Suppose 0 = -a - 4*w + 16, -9*w + 9 = -6*w. Suppose 4*o = -0 - 8, -t + 36 = -a*o. Does 7 divide t?
True
Let z(q) = -17*q + 72. Let x be z(4). Let o(m) = 3*m**2 - m**3 + 5*m**3 - m**2 - 10 - m**3 + 5*m. Is o(x) a multiple of 53?
False
Let y = 247 - 176. Suppose 3*t - 19 = y. Is 5 a factor of t?
True
Let i = -18 + -6. Let f = i - -17. Is f/(-1)*(-780)/(-70) a multiple of 13?
True
Suppose -3*g - 3*o + 15 = 0, -34*o + 17 = 4*g - 29*o. Suppose 2165 = 5*h - 3*b, 2*h + 4*b - g*b - 880 = 0. Is h a multiple of 43?
True
Is 10 a factor of ((-195)/(-4))/(39/(-91) - 302/(-672))?
True
Suppose -27*m = -31*m - 64. Let w = m - -97. Is w a multiple of 9?
True
Let n be (-8)/(-36) - 264/(-27). Suppose -4*s = w - 220, -12*s = -n*s - w - 104. Is s even?
True
Let b = 41 + -38. Let g be ((-16)/b)/(8/(-12)). Does 11 divide (-26)/g*(-3 + -13)?
False
Let z(k) = -19*k - 6. Suppose -3*w = -6*c + 4*c - 2, 3*c - 4*w = -4. Let d be z(c). Suppose -3*u + 98 = -d. Does 14 divide u?
True
Let x(b) = 7516*b**2 - 714*b + 2139. Does 72 divide x(3)?
False
Does 21 divide 33/(-44)*4*5626/(-6)?
False
Suppose 0 = -5*q + 4*q + 987 + 1374. Is 40 a factor of q?
False
Let b(r) = r**2 - 31*r + 43. Suppose -15 = -t + 6*j - 2*j, -81 = -3*t + 3*j. Does 7 divide b(t)?
False
Suppose 14*b - 22 = -9360. Let t = -661 - b. Is t a multiple of 6?
True
Suppose -665*l - 27342 = 659*l - 1327*l. Does 31 divide l?
True
Suppose -2*a - 17 = 3*v, 5*v + 17 = 3*a - 24. Let y be 12291/21 + 1 + 2/v. Let f = y - 412. Is 38 a factor of f?
False
Let m(p) = p**3 - 18*p**2 + 15*p + 26. Let l be m(15). Let t = 55 - l. Does 15 divide t?
False
Suppose 17*r - 15046 = -6695 + 22334. Does 9 divide r?
False
Let v be 20/(-12)*-2 - 6/18. Suppose -5*t - v*d = -1969, 2*d - 3 = 3. Is 56 a factor of t?
True
Let t = 43 - 47. Is (-394)/t*42/7 a multiple of 31?
False
Let o(k) = -11*k + 8. Let z(u) = u + 1. Suppose 4*l = -2*l + 36. Let g(h) = l*z(h) - o(h). Does 20 divide g(6)?
True
Let q(h) be the second derivative of -h**5/20 - h**4/3 + 7*h**3/3 + 11*h**2/2 - 37*h - 2. Is q(-7) a multiple of 15?
True
Suppose 4*l - 2*l - 40 = 0. Let z = 116 - 110. Let u = l - z. Is u a multiple of 14?
True
Suppose 0 = -31*a + 33*a. Suppose a = p + 3*c - 193, -3*p + 564 = -3*c + 7*c. Is 8 a factor of p?
True
Suppose -52*u + 5720 = -32*u. Suppose -u = 2*p - 856. Does 46 divide p?
False
Let x = -39 + 67. Suppose 2*j - 4 = -4*s, -s - 5 = 2*j - 6*s. Is 23 a factor of j/1 + 7728/x?
True
Let q be ((-16)/(-48))/((-1)/3). Let h = q - -26. Suppose 0 = -2*x + 105 + h. Is 29 a factor of x?
False
Suppose -o - 26 + 28 = 0, 0 = 5*k - o - 18. Suppose -k*i + 24*i - 11560 = 0. Is i a multiple of 26?
False
Let t(h) = 38*h**2 - h - 3. Let a be t(4). Let o = a + -427. Is o a multiple of 6?
True
Suppose 0 = 6*w - 12. Is 10 a factor of w + (-27)/12 + (-8215)/(-124)?
False
Suppose 19466 = 10*c - 10904. Does 52 divide c?
False
Let a = -132 - -135. Suppose 0 = a*t - 14 - 16. Suppose -5*b - 70 = -t*b. Is b a multiple of 13?
False
Suppose 2556 = -w + 4*w. Let o = 3118 + -2083. Suppose 4*g + 2*v + w = 8*g, -5*g + o = 5*v. Is g a multiple of 23?
False
Let a(o) = o**3 - 14*o**2 + 27*o - 53. Let t be a(12). Let x = t - -302. Does 19 divide x?
True
Let a(i) = -i**2 + 5*i + 4. Let q be a(5). Suppose -4*d + 525 = 5*h - 11, 4*h + q*d = 432. Suppose 5*n = 3*n + h. Does 13 divide n?
True
Let l(x) = -x**3 + 19*x**2 - x - 5. Let t be l(11). Suppose -t - 1512 = -4*n. Is 22 a factor of n?
True
Let b(p) = -9*p + 70. Let u be b(6). Is 18 a factor of ((-30282)/u)/(-7) - 6/16?
True
Let c(k) = k**3 - 13*k**2 + 14*k - 11. Let u be c(12). Let n(p) = 41 + 14*p - 13*p - 2*p. Is 28 a factor of n(u)?
True
Let q = 54 + -51. Suppose 6*g - q*g - 33 = 0. Does 3 divide g?
False
Suppose -3*g + 7*g = 5*v - 32, -3*v + 3*g = -21. Suppose -3*l + 2*i = -l - 134, v*i = -l + 87. Suppose 381 = 5*w + l. Does 7 divide w?
False
Suppose -223 = -f + 2*p, -23*f + 26*f = -3*p + 660. Let q = f - 6. Does 15 divide q?
False
Suppose 0 = 3*u - i - 7924, 10591 = 4*u - 96*i + 91*i. Does 9 divide u?
False
Suppose 9*b + 14503 = 11*b - 2165. Is 6 a factor of b?
True
Suppose 0 = -390*y + 30813 + 157407 + 541860. Is y a multiple of 26?
True
Suppose 26*q - 2*q - 720 = 0. Does 5 divide 20/q*-3*(-563)/2?
False
Suppose -107*f + 7554 = -113*f. Let k = -884 - f. Is k a multiple of 25?
True
Let m = 5396 - -2544. Is m a multiple of 14?
False
Suppose 0 = -3*d + 109 - 112, -d = 2*w - 9429. Is 21 a factor of w?
False
Let m(b) = b**2 + 10*b - 44. Let z be m(4). Let k(h) = h**2 - 13*h + 75. Is 21 a factor of k(z)?
True
Let d = 588 - 60. Let g(p) = -p**2 - 8*p + 11. Let q be g(-9). Suppose -d = -13*n + q*n. Does 6 divide n?
True
Let h(j) = 506*j**2 - 750*j - 4488. Is 12 a factor of h(-