e
Suppose -4*i - 2 + 22 = 5*v, -v - 5*i + 25 = 0. Suppose 7*y - 4*y - 201 = v. Let z = 143 - y. Is z a multiple of 18?
False
Suppose -4*l + 668 = 2*a - 0*l, 0 = -5*a - 3*l + 1649. Let o = -112 + a. Is 27 a factor of o?
True
Let w = 8 + -3. Let h(x) = 2*x**3 - 10*x**2 + 15*x + 7. Let f be h(4). Suppose w*m = f + 110. Is 17 a factor of m?
False
Suppose -13*q - 46 = -11*q. Let h = 152 + q. Is h a multiple of 30?
False
Suppose 1 = -4*x + 5*x. Suppose x + 9 = 5*s. Suppose -2*l + 188 = -5*f + 1, 0 = -s*f + 2. Does 32 divide l?
True
Suppose t + 2*z + 16 - 72 = 0, 0 = -5*t - 2*z + 272. Let l = 59 - t. Does 4 divide l?
False
Let h = -871 + 2899. Is h a multiple of 78?
True
Let h(b) = b**2 + b - 7. Let k be h(4). Let s = -9 + k. Suppose s*y = 4*d - 69 - 3, -2*d + y = -41. Does 9 divide d?
False
Suppose -5*d + 5*n - 365 = 0, -3*d + 365 = -8*d + 3*n. Let l = 112 + d. Does 2 divide l?
False
Suppose 5*m + 40 = 3*p - 7, 0 = -5*m + 4*p - 46. Let y(b) = 7*b + 9. Let n be y(m). Let f = 100 + n. Is 13 a factor of f?
True
Suppose -9116 = -4*m - 4*p, -11*m + 5*p + 2285 = -10*m. Is m a multiple of 57?
True
Let r be (-2 + 12)/2 + 1. Let j = r - 5. Let u(s) = 42*s**2 + s - 1. Is 21 a factor of u(j)?
True
Let i(d) = 107*d**2 + 3*d + 3. Let l be i(-1). Let j = l + 5. Is j a multiple of 16?
True
Suppose g - 860 = -2*w, -w - 1228 = 4*g - 4640. Suppose -p = p - g. Is p/10 + (-12)/20 a multiple of 11?
False
Let a(m) = m**2 - 4*m - 15. Let i be a(6). Is i/(-12) + (-33)/(-12) a multiple of 2?
False
Suppose -4*g = 11*g - 1710. Does 7 divide g?
False
Suppose 5*i + 2*d = -d - 306, 5*i - 2*d + 296 = 0. Does 20 divide ((-3)/3 - 0)*i?
True
Let f = -49 + 31. Let r be (-3)/(9/(-201))*f. Is 25 a factor of (1/(-3))/(6/r)?
False
Suppose 10*r + 3*m - 273 = 8*r, 3*r - 5*m - 381 = 0. Does 10 divide r?
False
Let b = -95 + 207. Does 7 divide b?
True
Suppose -d = -0*d - 0*d. Suppose 4*h + 5*r - 115 = d, -5*r = -2*h + 47 - 12. Is 6 a factor of h?
False
Let p = -16 - -3. Let o = p + 37. Is 12 a factor of o?
True
Suppose 0*q - q + 103 = 3*t, -5*t + 170 = 2*q. Let g = -2 + t. Is 2 a factor of g?
True
Suppose -73*b = -70*b - 1062. Is b a multiple of 7?
False
Suppose -n - 3*n = -96. Let d = -5 + n. Is 5 a factor of d - (0 - 1)*3?
False
Let b(m) = 11*m**3 + 13*m**2 + 7*m + 9. Let j(h) = 4*h**3 + 4*h**2 + 2*h + 3. Let s(y) = 3*b(y) - 8*j(y). Suppose 7*o - 9*o = 12. Does 3 divide s(o)?
True
Let t(h) = h - 9. Let p be t(5). Let q(k) = -10*k - 15. Let w be q(p). Suppose z + w - 94 = 0. Is z a multiple of 20?
False
Let q = -5 + 8. Suppose -22 - 44 = -2*l - q*f, -3*l - 4*f = -98. Is 5 a factor of l?
True
Let m be -54*(-2 + (-3)/(-2) + 0). Is (-34 - -1)/((-9)/m) a multiple of 9?
True
Suppose -6*p + 85 = -71. Let f = -5 + p. Is 4 a factor of f?
False
Let g(b) = 5*b + 5. Suppose -32 = -4*p + a, 0 = -2*p + 5*a + 27 - 11. Suppose 3*m = -2*i + p*m + 18, -4*m = 0. Is 10 a factor of g(i)?
True
Let z(j) = 29*j - 421. Does 17 divide z(28)?
True
Suppose 6*s - 5*y + 32 = 5*s, 0 = 4*y. Let g = -9 - s. Is 21 a factor of g?
False
Suppose 12 = 4*z, -6*z = -3*v - 2*z - 6. Suppose d = j - 2 - 79, 0 = -3*j + 4*d + 238. Suppose 32 = v*c - j. Is c a multiple of 23?
False
Suppose 2*l - 14 = -2*a, l + a - 2*a = -1. Let q be -7*3/(0 + l). Let x(k) = 3*k**2 + 15*k + 8. Is x(q) a multiple of 14?
False
Let j(s) = -19*s**2 - 1. Let y be j(-1). Let b = 58 - 102. Let h = y - b. Does 12 divide h?
True
Does 21 divide 1 + -4 + (42 - 45) + 111?
True
Suppose -3*a + 1041 = -4*i - 1043, -2779 = -4*a + 5*i. Is 24 a factor of a?
True
Let k(v) = 14*v**2 - 2*v + 6. Is 13 a factor of k(4)?
False
Let p(n) = -n**3 + 10*n**2 + 8*n + 18. Is p(9) a multiple of 13?
False
Let w(l) = -5*l**2 + l + 2. Let p be w(2). Let m be (-2 + p/(-20))*-35. Suppose 81 = 3*f - m. Does 10 divide f?
False
Let t(m) = m**3 + 9*m**2 + 10*m + 19. Let c be t(-8). Let l be (-4)/(-12)*c*4. Is 19 a factor of (6/l)/(6/176)?
False
Suppose -36*d = -19338 + 5658. Is d even?
True
Let c = 1282 + -840. Is 14 a factor of c?
False
Let c(p) = 5*p**2 - 4*p - 12. Does 15 divide c(12)?
True
Suppose 4*o + 32 = 3*l, -l - 32 = 3*o - 8. Let h = o + 10. Is 25 a factor of (-25)/h*48/(-8)?
True
Let p = -53 + 86. Suppose -p = -7*y + 51. Does 12 divide y?
True
Let r = 20 - -136. Let f = 31 + -29. Suppose 0 = -3*x - 3*g + r, 3*x - 2*g = f*x + 43. Is 23 a factor of x?
False
Let n(r) = r**3 + 7*r**2 - 2*r - 8. Let k be n(-7). Let m(o) = -2*o + 0*o + k + o**2 - 2*o. Is 4 a factor of m(5)?
False
Let x = -881 - -1251. Suppose 5*w = 30 + x. Is w a multiple of 20?
True
Let k be (-124)/(-16) - (-2)/8. Let l(b) = b**3 - 8*b**2 + 5*b - 4. Does 4 divide l(k)?
True
Let b(h) = -8*h - 3. Let g be b(-8). Let s = g + -52. Is 3 a factor of s?
True
Suppose -6*c - 2*s = -2*c - 216, 5*s = 3*c - 162. Suppose 5*l = -l + c. Let o = 7 + l. Is o a multiple of 4?
True
Let x(j) = -9*j. Let z(w) = 5*w. Let p(d) = 3*x(d) + 5*z(d). Let n be p(-2). Is n/(1 + 3) - -11 a multiple of 6?
True
Suppose 0 = 12*d - 10*d - 592. Is 13 a factor of d?
False
Let q = 66 + 8. Let p = -56 + q. Does 18 divide p?
True
Suppose 0 = 5*t + 31*c - 29*c - 655, -3*t + 5*c + 362 = 0. Is 14 a factor of t?
False
Let l = 27 - -61. Let n = l + -58. Is n a multiple of 15?
True
Let i = -18 - -15. Let a = i + 5. Is a*(-36)/1*-1 a multiple of 24?
True
Suppose 11*n + 788 = 15*n. Is n a multiple of 10?
False
Let u be -2*(6 + -2 + -6). Suppose 0*k + 648 = -u*k. Let a = -90 - k. Is a a multiple of 24?
True
Let g = 1247 + 1389. Does 85 divide g?
False
Let m(c) = c**3 + 8*c**2 + 5*c - 4. Let o be m(-7). Is 9 a factor of (340/(-50))/((-2)/o)?
False
Let g = 1915 - 1084. Is g a multiple of 24?
False
Let l(w) = 5*w**3 - 6*w + 16. Is l(4) a multiple of 8?
True
Let z be 2*(18/16)/(9/(-12)). Let j = z - -27. Is 8 a factor of j?
True
Let k(t) = t**3 + 24*t**2 - 37*t. Is k(-25) a multiple of 15?
True
Let v(k) = 11*k - 11. Let h be v(-4). Let y = -17 - h. Is 19 a factor of y?
True
Suppose 6*m = 122 + 274. Does 11 divide m?
True
Is 11 a factor of 206/6 + 5 + (-152)/24?
True
Let n be (72/15)/(30/(-100)). Suppose z = 37 - 6. Let q = z + n. Does 15 divide q?
True
Suppose -t + 0*t = 5*h - 8, -t - 8 = -3*h. Suppose j - x - 133 = 0, 3*x - 165 = -h*j + 91. Does 9 divide j?
False
Suppose -8*r + 45 = -3*r. Is r a multiple of 3?
True
Suppose 11964 = 9*r + 1020. Is 24 a factor of r?
False
Let f = -33 - -18. Let j = -19 - f. Is (-2)/j + 505/10 a multiple of 24?
False
Suppose 22 = 6*q + 4. Suppose 11 = 4*j + q. Is j even?
True
Suppose -2*i = -2*r + 504, 3*r - 4*i - 185 = 572. Suppose 4*k + 3*w - r = 0, -5*k + 263 = -4*w - 43. Is 8 a factor of k?
False
Let y be 141 + 0 + (1 - 4). Suppose y = -3*u + 4*u. Is 36 a factor of u?
False
Suppose -7*x + 405 = -4*x + 3*u, -4*u = x - 132. Let q = x - 96. Is 2 a factor of q?
True
Is (-96)/64*908/(-6) a multiple of 20?
False
Let i(u) = 2*u + 82. Is i(-3) a multiple of 3?
False
Let h(o) = -2*o**2 + 113*o + 125. Does 49 divide h(44)?
True
Suppose -5*h = -2*h. Suppose -o + 5 + 8 = h. Is 13 a factor of o?
True
Suppose -808*w + 806*w = -5514. Is w a multiple of 24?
False
Let u(i) = i**2 - i - 3. Suppose 2*k + 1 = 2*s + 7, -5*k + 2*s = -15. Let l be u(k). Suppose 5*p + 8 = l*y, 4*y - 1 = -2*p + 27. Is y a multiple of 3?
True
Let c(f) = 3*f + 5. Let b(o) = 3*o + 5. Let k = -8 + 11. Let z(w) = k*c(w) - 4*b(w). Is z(-8) a multiple of 7?
False
Let u(a) = 4*a - 1. Let o be u(-1). Is (-8 - o) + 211 - (-1 - 0) a multiple of 11?
True
Suppose a = 3*a - 92. Suppose 3*v = -2*g + 35, -v + 3*v = 3*g - a. Is g a multiple of 4?
True
Let x(t) = -3*t - 12. Let q(i) = -i**3 + i**2 + i + 3. Suppose -3*a = 3*c + 2*c + 1, -16 = -4*a + 2*c. Let j be q(a). Is x(j) a multiple of 24?
True
Let l = 12 + -9. Suppose -l*j = j - 96. Suppose 4*b - 59 = -3*o, -4*b + 2*b + 4*o + j = 0. Does 11 divide b?
False
Let b(g) = -5*g**3 + 39*g**2 + 8*g + 62. Let k(t) = 2*t**3 - 13*t**2 - 3*t - 21. Let y(v) = 3*b(v) + 8*k(v). Let x be y(-13). Let u = x + 47. Does 13 divide u?
True
Suppose 0 = 3*k + 3*k - 42. Suppose 0 = 3*x - 17 - k. Suppose -a - 133 = -x*a. Does 11 divide a?
False
Let f(d) = d**3 - 8*d**2 + 6*d - 21. Let q(r) = 3*r**2 + 17*r - 1. Let m be q(-6). Suppose -m*j + 33 = -12. Does 38 divide f(j)?
True
Suppose 225 = -10*n + 1425. Suppose -24*p = -22*p - n. Is p a multiple of 30?
True
Suppo