e 0 = g - 6 - 4. Let t be 3 + g/(-1) + 2. Does 18 divide (-240)/(1 + t) - 0?
False
Suppose 2*f + 16 = -2*h, 5*f = -0*f + 3*h - 8. Let m be f/(-3 - 1 - -2). Suppose 0 = m*b + b + 4*p - 44, 48 = 2*b - 2*p. Does 17 divide b?
False
Let s = -10133 + 6998. Is (-4)/6*s/10 a multiple of 29?
False
Let d be 4*(-3 + 5) + -2. Does 4 divide d/14 + (-242)/(-7) + -3?
True
Is 14 a factor of (-4)/8 + (-57375)/(-30)?
False
Let u be (1*-1)/(1/(-2)). Let g(r) = -3 + 6*r - 4*r + r**3 - 3*r**u + 6. Does 2 divide g(3)?
False
Let c(k) = 3*k + 16. Let b be c(-7). Let t(l) = -l + 3*l**2 - 2 + l - l**2. Does 24 divide t(b)?
True
Is 5/1 + (56 - 6) a multiple of 2?
False
Is 13 a factor of 135 + (-11)/((-33)/(-18))?
False
Let w(m) = m**2 - 2*m - 4. Suppose -4*p = -o - 8, -1 = o - 2*o + p. Let k be w(o). Suppose k*g = 0, 3*j - 83 + 5 = -g. Does 26 divide j?
True
Suppose -r + 13 = -2*z - 0, 2*z + 10 = 0. Let o(n) = 0 - 2*n + r*n + 14. Is 3 a factor of o(-9)?
False
Let f(d) = 32*d - 24. Does 26 divide f(43)?
True
Suppose -10 = -4*s + 6. Let y(g) = 14*g + 2. Let i be y(s). Suppose -3*h = -5*h + i. Does 10 divide h?
False
Is (-216 - 1108)*2/(-7 + -1) a multiple of 7?
False
Suppose 2*m - 60 = 46. Let l = 17 + m. Does 10 divide l?
True
Let j = 181 + -61. Suppose -j = -41*l + 38*l. Is 5 a factor of l?
True
Does 41 divide (-112)/1176 + (49270/42 - -3)?
False
Suppose -23*i + 19*i = -4*g - 11568, -5*i + 4*g = -14459. Is 18 a factor of i?
False
Let j(s) = s**3 + 8*s**2 - 16*s + 14. Is j(8) a multiple of 91?
True
Suppose 3*w + 206 = -2*s, 3*w = -0*s + 3*s - 201. Suppose -324 + 63 = -2*o - 5*m, 3*o - m = 434. Let b = o + w. Is b a multiple of 25?
True
Suppose 23 = 3*s + 167. Let z be -6*4/(s/(-4)). Is 31 a factor of z/(-1)*(-93)/(-6)?
True
Suppose 468 = -10*h - 3*h. Let i = 206 - h. Does 19 divide i?
False
Suppose 4*v - 24 + 92 = 2*n, 0 = 4*n - 2*v - 112. Is 13 a factor of n?
True
Let u be ((-2)/4 - 39/6)*-1. Does 5 divide 11 - (1 + 2 + 0 - u)?
True
Suppose 15*d = 10*d + 20. Suppose -2*g - 8 = d. Let s(j) = j**3 + 7*j**2 - j + 6. Does 14 divide s(g)?
False
Let y(q) = -36*q + 24. Let p be ((-2)/4)/(19/76). Is 8 a factor of y(p)?
True
Suppose -3*i = -7*i + 24. Let b be i/1*(-27)/18. Is 3 a factor of 2/b + (-168)/(-27)?
True
Let y(o) = 6*o**2 - 22*o + 14. Does 11 divide y(7)?
True
Let s(g) = -2*g**2 + 21*g - 16. Let p be s(12). Let f = p + 94. Is f a multiple of 21?
True
Let p be 5*(104/(-40) + (-2)/(-10)). Is 2 a factor of (-12)/(-3*1*(-4)/p)?
True
Let c(n) = n**3 + 2*n**2 + n + 2. Let m(v) = v - 7. Let t be m(5). Let b be c(t). Is (1/3 - b)*9 a multiple of 3?
True
Suppose m + 15 = 3*m + 3*t, -4*t = -12. Is 9 a factor of m + 4/14 + 2535/21?
False
Let b be (-273)/(-14)*30/9. Let p = b + -46. Is p a multiple of 13?
False
Suppose -3*c - 88 = -4*l + 19, 0 = -4*l - 3*c + 101. Let n = 41 - l. Does 11 divide n?
False
Suppose 0 = -j - 3*n + 2483, -j + 2397 = -3*n - 68. Does 7 divide j?
False
Let y(s) = 2*s - 3. Suppose 6 = -2*p - 0. Let b be y(p). Let x = b + 17. Is 5 a factor of x?
False
Let g be (4 - 2 - 0) + -47. Let n = g - -120. Does 24 divide n?
False
Suppose 3*c - 58 = 134. Suppose 37*a + c = 41*a. Suppose 2*r - 2*g = a, 5*g = -r + 2*r + 8. Is 12 a factor of r?
True
Let u(q) be the second derivative of 5*q**4/4 + 3*q**2 - 4*q. Let n(f) be the first derivative of u(f). Does 5 divide n(1)?
True
Let d = 0 - -14. Suppose 39*i - 132 = 36*i. Let g = i - d. Is 6 a factor of g?
True
Suppose 102 = -0*j + 3*j. Let k(r) = -15 + r + j + 31. Does 25 divide k(0)?
True
Let d(n) = 58*n - 53. Let j be d(9). Let q = j - 259. Is 30 a factor of q?
True
Suppose 3*j + 913 = 2*y, -3*j + 2935 - 621 = 5*y. Does 4 divide y?
False
Let q(y) = -2*y + 29. Let h be q(12). Suppose 0 = -g + 6*a - a + 135, -h*g = 3*a - 591. Is 30 a factor of g?
True
Let s(p) = -p**2 + 24*p + 27. Let h be s(25). Suppose h*r - 172 = -48. Is r a multiple of 11?
False
Let r be -5*(6/15)/(-1). Suppose d = 2*c, 2*d - 10 = -2*d - r*c. Suppose t = 3*a - 175, -d*a + t + 109 = -6. Is 15 a factor of a?
True
Let d = -303 + 547. Suppose 9*q - 5*q - d = 0. Is 25 a factor of q?
False
Suppose 0 = -4*g + 34 - 330. Let z = 105 + g. Let t = -20 + z. Is 11 a factor of t?
True
Let p(b) = 4*b**2 - 30*b + 28. Is 6 a factor of p(7)?
False
Suppose -5*b + 1170 = 345. Suppose w - 247 = 2*h, h + 1235 = 5*w + 2*h. Let r = w - b. Does 13 divide r?
False
Suppose -46*g = 49*g - 9215. Does 9 divide g?
False
Let r = 12 - 17. Let m = 8 + r. Suppose -63 = -m*i + 45. Is i a multiple of 9?
True
Suppose 8 = -3*y - 3*x + 26, -28 = -4*y - 5*x. Suppose 2*l - 13 = -l + 5*k, y*l - 2*k = 10. Does 6 divide l?
True
Let c be 2*-1*-3*1/(-3). Is c - 79*(-3)/(-3)*-1 a multiple of 25?
False
Let u = -59 + 63. Does 11 divide (u/2)/((-3)/(-111))?
False
Let q(k) = 108*k**2 - 52*k**2 - 57*k**2 + 20*k - 3 - 9*k. Let x(m) = m**3 + 7*m**2 + 4*m - 7. Let c be x(-6). Is q(c) a multiple of 9?
True
Let r be -3*(-2)/12*6. Suppose -27 = -4*b + l, -r*l + 0 = -b + 15. Is (-8)/(-12) + 176/b a multiple of 9?
False
Is 38 a factor of 9 - (7 - 1 - 263)?
True
Suppose 562*b - 556*b - 3120 = 0. Does 8 divide b?
True
Suppose 0 = 7*k - 2*k - 20. Let p be 1 + (-6)/(-4)*2. Suppose -p*d + 2*o = -176, -73 = -k*d - 5*o + 131. Is d a multiple of 11?
False
Does 7 divide 12/(-16)*(-1132)/3?
False
Suppose 5851 + 3103 = 11*j. Is j a multiple of 17?
False
Let k = 6 - 4. Suppose 0 = -14*r + 6*r - 504. Is 20 a factor of (-1242)/r - k/(-7)?
True
Let p = 285 + -30. Does 17 divide p?
True
Suppose -q = 2*q - 6. Let c(w) = 0 - w + 5*w + 2 - w + 13*w**q. Does 24 divide c(-2)?
True
Let t = 4 - -1. Suppose -f - 4*f = -t, 5*f = 5*z + 20. Let y = z - -55. Is y a multiple of 24?
False
Suppose 0 = -7*z - 3*z + 1760. Is 8 a factor of z?
True
Let d = 21 - -15. Let m = -13 + d. Does 4 divide m?
False
Let s(u) = u**2 - 18*u + 6. Let h be s(18). Suppose 0 = 2*t - 442 - h. Is t a multiple of 28?
True
Suppose -10 - 2 = -6*j. Let n(d) = 24*d**j - 14 + 28*d**2 - 2*d - 51*d**2. Does 11 divide n(10)?
True
Is 3 a factor of 6/(-11) - (-33)/242*6472?
True
Suppose -8*t + 8 = -4*t. Let y(k) = -k**2 - 2*k**2 + 8*k**t - 6. Does 13 divide y(3)?
True
Suppose 0 = -5*k + 1656 + 1824. Does 24 divide k?
True
Let g be (3/4)/(0 + 2/352). Suppose 11*d - 165 = g. Is d a multiple of 27?
True
Suppose 912 = r + 5*s, -4*r + 5*s + 689 + 2884 = 0. Does 13 divide r?
True
Suppose 5*p = 4*v - 265, -5*v + 2*p + 321 = 6*p. Let k = v + -28. Does 37 divide k?
True
Suppose -62 = -3*u - 5*k, -4*u - u + 130 = 3*k. Let d be 2/1 + (5 - 3). Suppose -d*z + u = -55. Does 14 divide z?
False
Let o(g) = 3*g**2 - 5*g - 11. Suppose -3*k + 4*c = -1, 1 = -4*k + 2*c - 11. Is o(k) a multiple of 35?
False
Suppose 6*w = 6008 + 1438. Is w a multiple of 29?
False
Let h(x) be the second derivative of -3*x**3 - 3*x**2 + 10*x. Is h(-7) a multiple of 30?
True
Let f be 247*2*(-3)/(-6). Suppose -x = -5*z + f, 5*z - 3*z - 2*x = 102. Does 13 divide z?
False
Let d = -576 + 225. Let b = -239 - d. Does 16 divide b?
True
Suppose 3*m + 192 = 5*i, -3*i + 4*m = -49 - 75. Is i a multiple of 12?
True
Let c(d) = -3*d**2 - d - 1. Let m be c(-2). Let r = -6 - m. Suppose 7*j - 18 = r*j. Does 9 divide j?
True
Suppose 11*j + 44*j - 76670 = 0. Is j a multiple of 82?
True
Suppose -3*r = 5*m - 1680, 3*m = 3*r + 2*r + 974. Does 21 divide m?
False
Let z = 42 - 37. Is (-2)/z - (-2260)/25 a multiple of 30?
True
Let x(i) = -27*i**3 - i**2 + 1. Let s be x(-1). Suppose z - 3*l + s = -24, 0 = -z - 4*l - 72. Does 10 divide 0/((-1)/(-1)) - z?
True
Let d(m) = -4*m - 6. Let t(a) = a. Let v = 10 - 15. Let z(k) = v*t(k) - d(k). Does 19 divide z(-13)?
True
Let m(b) = -2*b**3 - b**2 + 2*b - 1. Let f be m(-2). Let n be (f/(-21))/(1/(-24)). Suppose -n = 4*v, 48 = 3*h - h - 2*v. Is h a multiple of 6?
False
Let n be (65*1)/(1/3). Suppose -p - n = -5*j - 0*j, 5*p = -2*j + 78. Is 13 a factor of j?
True
Let i(a) = 3. Let v(x) = -16*x + 19. Let g(y) = -6*i(y) + v(y). Suppose -2 = 2*r + 2. Is g(r) a multiple of 11?
True
Let f(b) = -b**2 + 7*b + 5. Let p be f(8). Let x be -9 + p + 3 + 3. Is 7 a factor of 12/(-8)*28/x?
True
Let b(d) = 146*d + 290. Is b(4) a multiple of 46?
True
Does 33 divide 267 - 4/(12/9)?
True
Let i = -1 - -3. Let w be 18/12*(i - 0). Suppose 4*u + w*d = -0*u + 57, u - 3*d = 3. Is u a multiple of 6?
True
Let h = 27 + -25. Let o =