*z + 65 = -l + 6*l, j*l = 5*z + 26. Suppose b + 0*b = l. Is 8 a factor of b?
False
Suppose -q - 23*x + 18*x + 2286 = 0, -q + x = -2310. Is 6 a factor of q?
False
Let i(d) = 933*d**3 + 2*d**2 - d. Does 76 divide i(1)?
False
Let o(p) = 16*p - 103. Does 2 divide o(15)?
False
Let x = 1613 + 108. Is x a multiple of 126?
False
Let u be 3*(0 + 93/(-9)). Let c = u + 55. Is c a multiple of 6?
True
Let x = -12 - -17. Suppose 2*p - x*p = 33. Let r(d) = -d**2 - 12*d + 7. Does 9 divide r(p)?
True
Is 1601 - (-34 - 1)/(-7) a multiple of 6?
True
Let f be (-3)/(-5) + (-87)/(-5). Let o = 12 + f. Is o a multiple of 5?
True
Let o = 19 + -18. Let u = o - 14. Let b = 34 + u. Is 18 a factor of b?
False
Suppose 157 - 25 = -3*l. Let i = l - -119. Is 25 a factor of i?
True
Let z = -5 - -7. Let g(o) = 8*o + o**2 - o**2 + 6 + o**z. Is 13 a factor of g(-10)?
True
Suppose 30 = 5*q + 5*r, 5*q = 3*r - 0*r - 2. Suppose 0 = -q*u + 210 + 192. Is 12 a factor of u?
False
Let w(o) = o + 9. Let p be w(-5). Suppose 2*x + 68 = p*x. Is x a multiple of 3?
False
Let c = -30 - 84. Let m = c + 211. Is m a multiple of 11?
False
Suppose 0 = -2*j + 5*v - v + 34, -2*v = 0. Suppose -j*b = -16*b - 3. Suppose -b*i + 2*t = -i - 82, -2*i - 2*t + 74 = 0. Is 13 a factor of i?
True
Let x(z) = -6*z. Let t be x(-2). Is 7 a factor of 18 - t/(12/4)?
True
Let s(v) = -2*v + 15. Let b be s(6). Suppose 7 = -4*m + 19. Suppose -3*f + m*c = -f - 15, 0 = -3*f + b*c + 24. Does 7 divide f?
False
Let r = -30 + 32. Suppose 4*i - 3*l - 249 = r*l, 2*i - 120 = -2*l. Is 23 a factor of i?
False
Suppose -3*v - 14 = i - 4, 0 = -5*i - v + 6. Suppose i*w - h + 6*h - 1 = 0, -5*w + 34 = 2*h. Is w a multiple of 8?
True
Let n = -84 - -112. Is 2 a factor of n?
True
Suppose 4*v - 3*w = -5*w + 10884, -v - 5*w + 2703 = 0. Is v a multiple of 33?
False
Let s be (-3 + 15/4)*(2 + 2). Is 11 a factor of 16/4 + -2 - (s - 89)?
True
Let v = -857 + 2579. Is 82 a factor of v?
True
Suppose -19*j + 814 = 73. Let o = 12 - 7. Suppose -o*z + 11 = -j. Is 9 a factor of z?
False
Let l(f) = -f**2 + 13*f - 20. Let g be l(11). Suppose -4*i + 34 = g. Is i a multiple of 8?
True
Let z(d) = -5*d - 17. Let t(f) = -5*f - 16. Let j(a) = 6*t(a) - 5*z(a). Suppose 4*p - 7 = 5*p. Is j(p) a multiple of 24?
True
Does 11 divide ((-2640)/100)/(6/(-1420))?
True
Suppose -6*o + 113 = -1663. Suppose -q - q - 5*r = -o, -4*q = -r - 592. Does 37 divide q?
True
Let u = -3687 + 5487. Does 18 divide u?
True
Suppose -3*r = -y - 20, 0 = -y - r - 22 + 2. Let i(o) = -o**2 - 25*o + 25. Does 5 divide i(y)?
True
Let c(m) = m + 7. Let j be c(-3). Suppose 3*z = j*z - 4. Let u = z + 47. Does 21 divide u?
False
Suppose -5*j + 0*j = -135. Let l(a) = -a**3 + 6*a**2 - 4*a + 4. Let k be l(5). Let s = j - k. Does 9 divide s?
True
Let l(g) = g**3 + 5*g**2 - 7*g - 2. Let j be l(-6). Let a(p) = -1 - j + 9*p - 17*p. Does 14 divide a(-7)?
False
Let p(c) = c**3 - 6*c**2 - 6*c - 3. Let m be p(7). Suppose m*v - 57 = -9. Suppose 5*b - 30 = -3*y, 0 = -0*b - 4*b + v. Is y a multiple of 3?
False
Is 1/1 + (-8784)/(-4) a multiple of 13?
True
Let v = -2447 - -4912. Is 21 a factor of v?
False
Let o = 3 + -11. Let g be ((-114)/o)/(5/(-20)). Does 19 divide 3*(-3)/9*g?
True
Suppose -80 = -4*c + 2*c. Suppose l - c = 30. Does 13 divide l?
False
Let c(f) = -f**2 - 12*f + 28. Is c(-10) a multiple of 2?
True
Let w = -22 - -25. Let l(t) = 13*t**2 + 2*t - 15. Let b(f) = -7*f**2 - f + 8. Let o(p) = 11*b(p) + 6*l(p). Does 5 divide o(w)?
True
Let g(r) = 10*r**2 + 6*r - 101. Does 12 divide g(9)?
False
Suppose 0 = -n + 7 - 3. Suppose n*s - 102 = t, -s - 3*t + 30 = -t. Is 758/s + (-4)/26 a multiple of 21?
False
Let s(t) = t**3 - 1. Let z be s(1). Suppose 2*h + 14 = -4*q + 44, z = -4*h - 5*q + 57. Suppose c = -0*c + h. Is 13 a factor of c?
True
Let n(r) = -r**3 - 7*r**2 - 20*r + 36. Is 10 a factor of n(-6)?
True
Is (0 - (-16)/12)*288 a multiple of 48?
True
Is (-16)/(-56)*(0 - -77) a multiple of 3?
False
Let d be (18 + 0)/(21/98). Suppose -2*c + d = 24. Is 4 a factor of c?
False
Let u(q) = 127*q + 1. Let h be u(1). Suppose -53 = 5*o - h. Is o a multiple of 3?
True
Let k(z) = -117*z + 1. Let m be k(1). Let h = 56 + m. Is (-194)/(-12) - (-10)/h a multiple of 8?
True
Let d be (-9)/36 + 99/12. Does 36 divide 286/8 + d/32?
True
Let t = -50 - 115. Let k = 309 + t. Is 23 a factor of k?
False
Suppose 5*k - 1722 = -0*k - 2*n, -k = -n - 343. Does 43 divide k?
True
Is 11 a factor of 3/(-15) - ((-10899)/45 + -2)?
False
Let a(v) be the third derivative of -v**5/15 + v**4/3 - v**3/6 - 7*v**2. Let r(c) = 2*c**2 - 4*c. Let p(y) = -4*a(y) - 7*r(y). Is 18 a factor of p(4)?
False
Let w(o) = -o**2 - 4*o + 7. Let f be w(-5). Let m be (-1*106)/(f + -1). Let h = -58 - m. Is h a multiple of 16?
True
Suppose -2*j - 12 = -u, -11*u + 10*u + 16 = -4*j. Suppose -183 = u*h - 615. Is 18 a factor of h?
True
Let x(r) = r**3 - 4*r**2 - 4*r - 3. Let i be x(5). Suppose -2*b - 3*j + 35 = 0, 3*b + i*b - 94 = -j. Does 19 divide b?
True
Let f(v) be the first derivative of -v**5/60 + v**4/24 + 4*v**3/3 + 3. Let z(i) be the third derivative of f(i). Does 3 divide z(-4)?
True
Let x be (-4)/24*1 - (-1682)/12. Let f = x - 91. Is 15 a factor of f?
False
Let z be (-10)/(-5) + 82/2. Let g = z - -67. Let b = g + -40. Is 34 a factor of b?
False
Suppose -5*z + 212 = 5*y + 52, 0 = -3*y + 3*z + 84. Does 25 divide 15*y/9*3?
True
Let v(i) be the third derivative of -i**6/120 - i**5/6 - i**4/2 + 2*i**3/3 - i**2. Does 6 divide v(-9)?
False
Suppose 4*o - 1 = 19. Suppose o*y - k + 4*k - 1102 = 0, 2*k = -2. Suppose -197 = -3*q + 4*i, 4*q - 5 - y = -2*i. Is q a multiple of 13?
False
Let s(v) = v**2 - 16*v + 10. Let a be s(14). Let u be (9/4)/(a/48). Does 16 divide ((-9)/u)/((-18)/(-192))?
True
Let l(b) = -16*b - 12. Let m be l(-8). Suppose v + 4 = 0, 0*j - j = 2*v - m. Is j a multiple of 36?
False
Let i = -36 + 39. Suppose 0 = i*s - 305 - 109. Does 23 divide s?
True
Suppose 0*d - v - 3 = d, -3*d = 2*v + 4. Suppose -2*f = 2*y - 274, 3*f - d*y = f + 254. Does 33 divide f?
True
Let v be 60/14 - 2*(-4)/(-28). Suppose v*j + 52 = 3*z + 205, -3*j + 114 = -3*z. Does 3 divide j?
True
Let n = 122 + -122. Suppose 0 = r - 4*b - 88, 0*r - 2*r - 5*b + 228 = n. Is r a multiple of 13?
True
Let r be (-12)/(-9) + (-10)/(-6). Suppose 0 = 4*y - r*y + 10. Is 10 a factor of 6/15 - 116/y?
False
Let v = 18 + 7. Let f(g) = 11*g - 65. Is f(v) a multiple of 9?
False
Let o be -23*(8/(-24))/((-2)/(-12)). Suppose -o*y + 49*y = 54. Is 9 a factor of y?
True
Let p(f) = 29*f**2 - 11*f + 57. Is p(5) a multiple of 49?
False
Let y(b) = b + 51 - 51 + 32*b**2. Is 11 a factor of y(1)?
True
Let x = -8 - -139. Suppose -4*q = f - x - 34, 4*q - 777 = -5*f. Does 23 divide f?
False
Let w = -155 + 275. Is w a multiple of 10?
True
Suppose 8 - 4 = -2*b. Let y(a) = 2*a**3 + 2*a**2 + 3*a + 1. Let g be y(b). Let f(l) = -3*l - 6. Does 4 divide f(g)?
False
Let o(b) = 5*b**2 + 35*b - 4. Let m be o(-8). Suppose -36 = -m*s + 34*s. Is 4 a factor of s?
False
Let t be ((-16)/(-3) - 2)/(1/(-156)). Let l = -168 - t. Is 44 a factor of l?
True
Suppose 3*h - 6*h + 27 = 0. Let n(i) = i**3 - 10*i**2 + 13*i - 11. Does 3 divide n(h)?
False
Let l(g) = -g - 21. Let j be l(-13). Let a(u) = 2*u**3 + 16*u**2 - 7*u - 1. Let i be a(j). Suppose o = 2*s - i, 4*s - 4*o - 117 = -17. Is s a multiple of 15?
True
Suppose -25838 = 45*v - 132938. Does 5 divide v?
True
Let y(f) be the third derivative of 0 - 2*f**2 + 0*f - 10/3*f**3 - 1/12*f**4. Is y(-14) a multiple of 2?
True
Let j be (-137)/3 + -3*(-5)/(-45). Is 2 a factor of -5 - j - (-6)/(-2)?
True
Let k be ((-9)/(-3))/3*3. Suppose -k*c - 164 = -b - 3*b, 0 = -5*b - c + 186. Does 38 divide b?
True
Suppose -5*n + 0*n - 4*k = -38, -n - 3*k + 12 = 0. Let i be (n/(-9))/((-1)/3). Is 4 a factor of -3 - i/((-6)/39)?
False
Does 23 divide (-8)/(-14) + (-12816)/(-112)?
True
Is 172/(-6)*(-43 + -2 + -3) a multiple of 32?
True
Let d = -500 + 685. Is 8 a factor of d?
False
Let y(t) = 17*t - 86. Is 39 a factor of y(27)?
False
Let v = -251 - -626. Does 4 divide v?
False
Suppose 4 = -z, 3*r - 3*z = -7*z + 767. Is 23 a factor of r?
False
Suppose -i - 4*i - 4*l + 978 = 0, 4*i + 5*l - 786 = 0. Let c = i - 108. Is c a multiple of 9?
False
Suppose 5*l - 240 = -5*i, -3*i + 2*l - 196 = -7*i. Let z = i + -21. Is 7 a factor of z?
False
Sup