e
Suppose -3*g + 26 = -7*g + a, -g + 3*a = 12. Let x(j) = j**3 + 7*j**2 + 5*j. Is 5 a factor of x(g)?
False
Let l(k) = 8*k**2 + k + 1. Let v be 1/((0 - -3)/6). Does 15 divide l(v)?
False
Suppose -2*x - x + 33 = 0. Does 2 divide x?
False
Suppose -d + 7 = -0*d. Let l = d - 5. Is l a multiple of 2?
True
Suppose g - 14 = -5*o, 4*o + 3*g - 17 = 8*g. Is 11 a factor of 1 + (-48)/(o - 5)?
False
Let q be (2/5)/(2/10). Suppose -2*a = -4*j - 0*j + 62, -5*a = -q*j + 11. Does 8 divide j?
False
Is 2 a factor of (4 + -8)/(-4)*13?
False
Suppose 25 = -5*u, 4*v - 3*u - 242 = 13. Does 15 divide v?
True
Let h(y) = y**3 + 3*y**2 - 5*y - 4. Let d be h(-4). Suppose -3*i + 3 + 0 = 4*w, d = -i - 3. Is w a multiple of 2?
False
Let a = 101 - 47. Does 16 divide a?
False
Let f be 212/20 + (-4)/(-10). Suppose f*u = 8*u + 72. Is u a multiple of 4?
True
Let m(r) = -r**3 - 3*r**2 + 5*r - 1. Let a be m(-4). Let z(b) = -b**3 - 6*b**2 - 7*b - 5. Let d be z(a). Suppose -157 + 12 = -d*x. Does 17 divide x?
False
Suppose -2*n + 249 = 53. Does 9 divide n?
False
Suppose 0 = 4*r - 2*r - 28. Let q = 38 - r. Is 11 a factor of q?
False
Let l(h) = -4*h + 12. Let k(b) = b + 1. Let p(s) = 5*k(s) + l(s). Let v be p(0). Let f = v + -11. Is f a multiple of 3?
True
Let d(f) = f**2 + 23*f - 16. Does 2 divide d(-24)?
True
Let b(f) = -f - 2. Let q be b(-2). Is 2 a factor of 4 - q/(-6 + 3)?
True
Suppose -4*y - y - 3*h = -214, 5*y + 4*h - 212 = 0. Is y a multiple of 15?
False
Suppose 3*f - 134 = -20. Is f a multiple of 19?
True
Suppose 2*u + 0*u = 46. Suppose 3*x - u = 4. Does 9 divide x/12*(-1 - -25)?
True
Let y(p) = p**2 - 8*p - 2. Let s be y(8). Let l(v) = -11*v + 2. Is l(s) a multiple of 12?
True
Suppose 2*t + 14 = 34. Does 4 divide t?
False
Let w be 1/2 + (-35)/(-14). Suppose -5*m + 103 = 2*k, 8*m = w*m - k + 99. Does 5 divide m?
False
Does 9 divide (-9854)/(-65) - 4/(-10)*1?
False
Let u(m) = -m - 3. Let i be 1 + (-3)/((-6)/(-20)). Is u(i) a multiple of 5?
False
Suppose -5*d = 5*v - 565, 3*v + 4*d - 7*d = 333. Is v a multiple of 14?
True
Let r = -52 + 96. Does 12 divide r?
False
Suppose -2*a - 2*a - 160 = 0. Does 3 divide 6/21 + a/(-7)?
True
Let q = -185 + 260. Is 20 a factor of q?
False
Let g = -1 - -6. Suppose -g*m = 3*s - 48, -2*s - 3 - 5 = 0. Is m a multiple of 12?
True
Suppose -h + 8 = 2*w - w, 0 = 5*h + 4*w - 35. Suppose 4*r - 45 = 5*l, 2*l + 18 = 2*r - 2*l. Is 11 a factor of 44/10*r/h?
True
Suppose -4*l = 4*z - 0*l - 60, 0 = 3*z + 2*l - 45. Is z a multiple of 5?
True
Suppose 175 - 71 = 4*q. Let c be 1 + -5*(-3)/(-1). Let d = q + c. Is d a multiple of 5?
False
Suppose -r = 144 - 26. Let b = r - -167. Is 19 a factor of b?
False
Let h(i) = -12*i + 35. Is h(-10) a multiple of 52?
False
Let v(t) = t**2 + 3*t - 1. Let p(s) = s - 1. Let r(i) = 2*p(i) - v(i). Let x be r(-2). Is (-2 - x)*(2 - -15) a multiple of 11?
False
Let g(w) = 4*w + 7. Let n be -2*1*(9 + -10). Suppose -2*j - 15 = 3*j, n*o - 3*j - 19 = 0. Is 9 a factor of g(o)?
True
Suppose 3*l - 5*s - 274 = 0, 2*l + s = -0*s + 200. Does 41 divide l?
False
Suppose 0*z + z = 52. Is 26 a factor of z?
True
Suppose 0 = -0*l + 5*l + 205. Let s = l + 127. Does 25 divide s?
False
Let r(s) = s**3 + 7*s**2 + s + 11. Is r(-5) a multiple of 8?
True
Let p(s) be the second derivative of s**3 + 3*s**2 + 5*s. Is 22 a factor of p(10)?
True
Let b be (1/(-4))/(4/(-32)). Suppose -2*r = 5*u - 23, r + 6*u - b*u - 19 = 0. Let i(z) = 3*z**2 + 1. Is i(r) even?
True
Let a be 8/2*3/4. Suppose -a*x - 2*x = -330. Is 18 a factor of x?
False
Let o = -24 - -47. Suppose 5*t + 22 = 3*r, 2*t + o = -3*r - 2*t. Is (0 - -6) + 2/r a multiple of 3?
False
Let s = 76 - 37. Let w = s + -23. Is w a multiple of 6?
False
Let b be (16/6)/((-6)/(-63)). Suppose -40 = -2*k + b. Is 17 a factor of k?
True
Suppose -j + 0 = 5*t + 2, 3*j + 2*t = 33. Suppose m = -2*h - h + 16, j = m + 2*h. Suppose 0 = -3*p + 3*b + 69, -9 = -2*p - 4*b + m. Does 9 divide p?
True
Let p(s) = 2*s + 6. Let i be (3 + 8 + 1)/2. Does 11 divide p(i)?
False
Suppose -c + 104 = -4*i, 2*c + 8*i - 3*i = 143. Is 14 a factor of c?
True
Let k be 318/(-14) - 4/14. Let x = k - -55. Is x a multiple of 8?
True
Suppose 0 = -4*v + 20 + 4. Is 4 a factor of (2/(v/45))/1?
False
Suppose 2*i + 3*j = 6*i - 4, i + 5*j + 22 = 0. Let s be i + -4 + 3 - 1. Is -1*s/2 - -46 a multiple of 29?
False
Suppose -3*x - x - 14 = -q, 5*q - 4*x - 118 = 0. Suppose 4*h - 6*h = q. Let o = h + 19. Is 6 a factor of o?
True
Suppose -4*u = -243 - 309. Suppose 4*k - 105 = 3*g, k - 3*g + u = 6*k. Is k a multiple of 10?
False
Suppose i = -3*n + 87, n - 23 = -4*i - 5. Is n a multiple of 7?
False
Let z(p) = -p**3 - 3*p**2 + 8*p + 3. Let q be z(-5). Suppose -15*v = -q*v - 38. Does 15 divide v?
False
Let t(d) = 37*d**3 + 2*d**2 - 2*d + 1. Let q(g) = -g**3 - 4*g**2 - 3*g + 1. Let c be q(-3). Does 8 divide t(c)?
False
Let w(f) = -f**3 - 8*f**2 - 2*f - 11. Let a = -3 + -5. Does 2 divide w(a)?
False
Let s be 2/(-8) - 39/(-12). Suppose j - 9 = -5*b, j + s*b + 2 = 17. Is j a multiple of 8?
True
Let l(m) = 5*m**2 + 3*m + 2. Let g be 1 - (2/(-2) - -4). Is l(g) a multiple of 8?
True
Let f = -8 - -13. Suppose v + 4*b = -0 + 36, -f*v + 180 = -4*b. Let s = v + -20. Is 9 a factor of s?
False
Suppose 3*w - 33 = -b - 2*w, -4*w = -2*b + 80. Suppose 5*s - 2*p - 171 = 0, p - 91 - b = -4*s. Does 7 divide s?
False
Let g = 13 - 10. Suppose k - 4*z = 24, z + 15 = g*k - 24. Is k a multiple of 4?
True
Let f(p) = 38*p**2 - 2. Is f(-1) a multiple of 36?
True
Suppose -4*q + 180 = -2*y, -5*q - 2*y = -101 - 133. Does 3 divide q?
False
Let n(v) be the second derivative of v**3/6 + v**2 + 2*v. Is 4 a factor of n(2)?
True
Suppose 7 = x - 0. Suppose -2*l - 10 = -x*l. Is 2 a factor of l?
True
Let j(z) = 2*z**3 - 6*z**2 - 6*z - 8. Let s be j(7). Is 11 a factor of s/8 + 1/4?
False
Let s(k) = 5*k. Let d be s(1). Let c(f) = 12*f - 2. Let x be c(5). Suppose -x = -d*i + 17. Is 6 a factor of i?
False
Let m = 35 + -58. Let d = -20 + 11. Let o = d - m. Is o a multiple of 7?
True
Suppose 0 = -3*f + 5*f + 4. Let r = f - -15. Is 4 a factor of r?
False
Suppose -4*f = 5*t - 736, -4*f - 172 = -2*t + 100. Is t a multiple of 24?
True
Let w(l) = -10*l**3 + l**2 + l. Let i be w(-1). Let u = i + 6. Let q = 4 + u. Is 10 a factor of q?
True
Suppose -3*u + 2 = -2*z, 4*z = -2*u - 0*z - 4. Suppose a - 10 - 4 = u. Does 13 divide 6/(-9)*a*-3?
False
Suppose 3*q - 115 = 47. Does 49 divide q?
False
Let a be ((-60)/8)/((-6)/8). Suppose 0 = -3*x - 3*j + 23 - 5, 0 = 5*j - a. Suppose -2*l - x*m = -72, 6*l - 5*m - 15 = 5*l. Does 12 divide l?
False
Suppose -5*s = 3*a - 75, -5*a + 0*a + 125 = -s. Does 8 divide a?
False
Let k = 16 - 11. Suppose 10*q - k*q = -10. Is 0 - q/1 - -4 a multiple of 6?
True
Let c be 94/18 - (-4)/(-18). Suppose -2*t + c*t = 96. Is t a multiple of 21?
False
Let w be 2 + -1 - (-1 + -10). Let x = 213 + -25. Is 14 a factor of (-2)/3 + x/w?
False
Suppose 0*s + 2*k = -3*s + 152, -s - 2*k + 56 = 0. Is s a multiple of 12?
True
Suppose -179 - 146 = 5*q. Let n = q + 105. Is 10 a factor of n?
True
Let q be 206/14 - (-4)/14. Suppose 4*z - 1 - q = 0. Suppose -x = -z*x + 18. Is x a multiple of 3?
True
Suppose 6*f + 54 = 3*f. Is 17 a factor of (-1 + 3/(-2))*f?
False
Is 16 a factor of 176/((-3)/((-6)/2))?
True
Suppose 6*g - 410 - 832 = 0. Does 33 divide g?
False
Let j = 31 + 86. Suppose j = 3*o - x + 3*x, 0 = -o - 4*x + 29. Is 14 a factor of o?
False
Let r = -18 - -38. Suppose -w - 3*w = r. Let u = w - -8. Does 2 divide u?
False
Let o = 58 + -35. Does 17 divide o?
False
Suppose -4*u + 12 = -0*u. Let g = 4 - u. Does 10 divide ((-4)/5)/(g/(-25))?
True
Suppose 0 = -5*k + 15. Suppose 4*s - 2*d + 24 = 0, -k*s - 26 + 8 = -d. Let r(w) = w**2 - 2*w + 5. Is r(s) a multiple of 20?
False
Is 20 a factor of 14032/56 - (-12)/(-21)?
False
Suppose g = -0 + 1, 3*b - 194 = 4*g. Is 22 a factor of b?
True
Suppose 4*l + 3*h + 2*h = 53, -4*h - 1 = -3*l. Is 7 a factor of l?
True
Suppose -3*r - 4*o - 3 - 3 = 0, -2*r = -3*o - 13. Does 2 divide r?
True
Let c(n) = n**3 - 7*n**2 + 10*n - 15. Let b be c(6). Suppose 41 = 5*z + 2*l, 5*l + 55 = 3*z + 2*z. Suppose 3*h - b - z = 0. Does 6 divide h?
True
Suppose -4*l = 5*k - 15, 2*k = l + 2 + 4. Let o = k - 6. Is 7 a factor of 30/1*(-1)/o?
False
Let l(f) = -12*f - 2. Let a be l(-2). Suppose -i + 33 = -a. Is 15 a fa