rue
Suppose 12 = 2*d - 2. Let m be 172/(7/(d/2)). Suppose 0 = -3*n + 4 + m. Is n a multiple of 18?
False
Let j be 4/(-2) + (-70 - -69). Suppose 4*k = -3*o - 6, -5*k + 2*o + 0*o + 4 = 0. Let u = k - j. Is u a multiple of 3?
True
Let u(n) = n**3 - 5*n**2 + 4*n + 2. Let j be u(4). Suppose r - 28 = 5*i, 2*r - j*i + 5*i - 56 = 0. Is 7 a factor of r?
True
Let m(s) = -s + 5. Let k be m(5). Let i = k - -1. Suppose -4*r - i + 9 = 0. Is r a multiple of 2?
True
Let g = 1 - 1. Suppose g = -7*q + 5*q. Suppose q*l - 2*l - 37 = -y, -2*y + 82 = -2*l. Is 17 a factor of y?
False
Suppose 7*f - 1945 = 4775. Does 30 divide f?
True
Suppose 0 = -5*n + j + 153, -4*n + 47 + 79 = -2*j. Is n a multiple of 6?
True
Suppose -f + 40 = 9*f. Does 12 divide (162/2)/(55/10 - f)?
False
Let m(s) = 5*s**3 + 3*s**2 - 7*s + 10. Let t(v) = -3*v**2 + 18*v + 3. Let d be t(6). Is m(d) a multiple of 16?
False
Suppose 12 = -3*l, -3*b + 4*b + 26 = -5*l. Let q be -3 - (-3)/((-9)/b). Does 15 divide q/3 + 184/12?
True
Suppose -5*d = 4*q - 6*d - 603, 2*q = d + 299. Is q a multiple of 11?
False
Let c = -147 - -296. Suppose -111 = -2*g + c. Does 26 divide g?
True
Let b(f) = -f**3 + 12*f**2 + 17*f - 9. Suppose 4*k - 3*d - 45 = 0, -k + 5*d - 29 = -3*k. Let u be b(k). Suppose 0*v = -5*v + u. Is 9 a factor of v?
False
Let n = 38 + -24. Suppose 19*y = n*y + 265. Is y a multiple of 15?
False
Let q be (36/24)/(3/8). Suppose -2*n = -5*y + 370 + 242, 2*y + q*n = 264. Is y a multiple of 31?
True
Suppose -v - 15 = -0*v. Does 26 divide (-1 - 710/v)*3?
False
Is (-125)/(-8) - (-108)/288 even?
True
Let f be (3 - 1)*11*-1. Suppose -x = t - 68, 0*x = 3*x. Let n = f + t. Is 23 a factor of n?
True
Let u = 9878 - 7031. Does 103 divide u?
False
Let b(c) = -c**2 - 11*c - 24. Let v be b(-7). Suppose -u + 5*a = 5 + 2, 0 = -v*u + 2*a + 8. Is u a multiple of 2?
False
Suppose 4*z + 0*r = r + 13, -3*r - 3 = 0. Suppose 141 = 4*o - z*c - 50, 0 = -4*o - 5*c + 215. Is o a multiple of 6?
False
Suppose -5*s + 15 = 0, 4*s - s + 341 = 2*b. Suppose 0 = 8*c + b - 703. Is c a multiple of 33?
True
Let w be (15/(-10))/(9/(-84)). Is 21 a factor of 290/w + (-8)/(-28)?
True
Suppose -12 - 24 = -9*u. Does 30 divide 167 - ((2 - 3)*0 + u)?
False
Let a be (2*(-12)/32)/(6/(-16)). Let w(k) = 3*k**3 + 2*k**2 - 8*k. Does 4 divide w(a)?
True
Is 4 a factor of -11 - 18/(-6) - -100?
True
Let l = 0 - -4. Let b be (3/(-6))/((-2)/l). Is 5 a factor of 18 - (3/b)/3?
False
Let d(b) = 2*b**2 + 7*b - 16. Suppose -2*p - 42 = 4*p. Is d(p) a multiple of 11?
True
Suppose -464933 = -50*a - 69*a. Is a a multiple of 23?
False
Let c(v) = -v**2 + 9*v - 10. Suppose 17 + 53 = 5*h. Suppose -6*i + h = -4*i. Is 4 a factor of c(i)?
True
Suppose 4*b - 1592 = -2*x, 3*b = -x - 2*x + 1188. Does 50 divide b?
True
Suppose -4*v = f - 18, -v + 4*f = 5 - 1. Suppose -16*w + 1320 = -v*w. Is 10 a factor of w?
True
Suppose 5*o + 4*m - 215 + 28 = 0, 5*m - 15 = 0. Does 6 divide o?
False
Let d(z) = -z**3 + 59*z**2 - 104*z + 168. Is 18 a factor of d(57)?
True
Let x(b) = 11*b**2 - b**3 + 2*b**3 - 4*b**2 + 3 - 11 - 2*b. Let o be x(-7). Does 8 divide (-4*o)/(-4) - -4?
False
Let k(c) = -c**2 - 13*c + 38. Let b(r) = 2*r**2 + 14*r - 37. Let o(g) = 2*b(g) + 3*k(g). Is 7 a factor of o(8)?
False
Let n(p) = p + 5. Let w = 2 - -8. Suppose w*h - 6*h = 20. Does 10 divide n(h)?
True
Let q be (1 - 1)*(-16 + 15). Let g = 53 + q. Suppose 5*i = 2*f - 40, -2*f - 5 = -3*i - g. Does 10 divide f?
True
Let h(t) = 7*t + 135. Is 16 a factor of h(35)?
False
Let t be (-2848)/28 - 12/42. Does 9 divide 4/(-10) - t/5?
False
Let h(z) = z**3 - z**2 - 9. Let u be h(4). Let f = u + 16. Is 4/8*(f + -3) a multiple of 5?
False
Suppose -62 - 9 = -4*z - 3*t, 5 = t. Suppose -3*o + 20 = -j, 4*o - j - z - 11 = 0. Is o even?
False
Let q(w) = w - 5. Let o be q(10). Suppose -4*x - 4*f + 27 = f, 70 = o*x - f. Is x a multiple of 6?
False
Let u(f) = f**3 - 8*f**2 - 4*f - 5. Let r(g) = g + 1. Let b be r(-1). Suppose -5*w = -2*a - b*a + 3, 0 = -4*a - 4*w + 48. Does 12 divide u(a)?
False
Suppose 0 = -4*y - 4*i - 0 + 20, -5*y + 2*i = -11. Let p = -50 + 94. Suppose -y*g + 185 = p. Does 13 divide g?
False
Suppose -6 = -2*h + 2*g - 0, 0 = 3*h + 4*g - 2. Suppose -f - 3*f = 0. Suppose 0*o - 12 = -3*s - 3*o, -h*s - o + 11 = f. Is s a multiple of 6?
False
Suppose 2*n = 5*n + 4*k - 90, 4*n = k + 101. Suppose 5*p + 43 = -3*w - 38, -5*p - 2*w - 79 = 0. Let j = p + n. Is 3 a factor of j?
False
Let i be -3 + 3 - (-3)/1. Suppose i*j + 24 = 7*j. Suppose -2*l - s + 110 = 0, 3*s - 274 = l - j*l. Does 19 divide l?
False
Let k = 4 + 0. Suppose -k*o + 3 = -5. Suppose o*g = -g + 45. Does 4 divide g?
False
Let n(f) = 23*f - 99. Does 28 divide n(35)?
False
Suppose -2 = -p + 1. Suppose 0 = -3*t + p*w + 84, -3*t + w + 18 = -66. Suppose 0 = 2*z - 0*z - t. Is 7 a factor of z?
True
Let a(o) = 2*o - 3. Let d(y) = -y + 4. Let g(s) = -3*a(s) - 2*d(s). Let v be g(1). Let p = 8 + v. Is 5 a factor of p?
True
Let p(o) = -o**3 - 11*o**2 - 6*o + 6. Let z be p(-9). Let f = 203 + z. Is f a multiple of 29?
False
Suppose -7*z - 7*z = -5474. Does 18 divide z?
False
Let p be 1116/(-156) - 4/(-26). Let t = 12 + p. Is 2 a factor of t?
False
Suppose 0*i = -11*i + 4719. Is i a multiple of 79?
False
Is 28 a factor of 32/16 + -2*(-11735)/10?
False
Let w be ((-12)/28)/((-3)/21). Let k = 1 + w. Let d(f) = -f**3 + 4*f**2 + 5*f + 2. Does 11 divide d(k)?
True
Let d(h) = -4*h**3 + h**2 + 3. Let n be d(5). Let u = 666 + n. Suppose 64 - u = -5*t. Is t a multiple of 18?
False
Suppose 31 = -u + 137. Suppose 0 = 4*f - 2*f - u. Suppose -4*x = -3*x - f. Is x a multiple of 23?
False
Suppose z - 26 = 778. Is z a multiple of 64?
False
Let x(b) be the second derivative of 23*b**6/720 + b**5/120 + 2*b**4/3 - 4*b. Let z(c) be the third derivative of x(c). Does 5 divide z(1)?
False
Let j be 2*((3 - 0) + -1). Suppose -g + 3*g + j = 0, g = -2*m - 28. Let b = m - -21. Is b even?
True
Let r(p) = 15*p - 56. Let m be r(10). Suppose 0 = -2*h + 3*y + 69, 4*h - 5*y - 45 = m. Does 12 divide h?
True
Does 53 divide (2/4*2)/(63/73458)?
True
Suppose -433 = 2*t - 1197. Does 37 divide t?
False
Let x = -6 - -4. Let q = 1 + x. Is 27 + 3 - 3*q a multiple of 7?
False
Let j = -266 + 377. Is j/6 - 1/2 a multiple of 9?
True
Suppose -u - 17 = 24*w - 26*w, 4*u - 20 = 0. Is 11 a factor of w?
True
Let w(o) be the second derivative of 0 + 6*o + 1/2*o**3 - 11*o**2. Is 13 a factor of w(16)?
True
Let v = -559 - -627. Is 17 a factor of v?
True
Does 12 divide (0 + 72)*(-32)/(-64)?
True
Let b = -49 - -61. Let w(g) be the first derivative of g**2/2 + 12*g + 1. Does 8 divide w(b)?
True
Suppose 57 = 3*d - 15. Is 2 - 2 - d*-10 a multiple of 24?
True
Suppose -209 = 8*o - 761. Does 11 divide o?
False
Let j(b) = b**3 + 10*b**2 - 21*b + 24. Is 102 a factor of j(10)?
False
Let a(v) = 6*v**2 + 7*v + 27. Let m = -42 - -38. Does 5 divide a(m)?
True
Let y = 728 + -326. Does 59 divide y?
False
Let b(g) = -136*g - 145. Is b(-2) a multiple of 15?
False
Suppose -5*b = 5*w, 2*w - 3*w = -4*b - 15. Suppose -185 - 31 = -w*m. Is m a multiple of 9?
True
Let l be (-1 - -3)*(17 - -1). Suppose -4*x = d - l, -x - 4 - 8 = -5*d. Let s = 25 - x. Is 3 a factor of s?
False
Let t be (2/(-1) - -3) + 100. Let b = -52 + t. Is b - (-1 + -1 + 3) a multiple of 16?
True
Is 10 a factor of (1 + 11)/(25/250)?
True
Let d = 8 - 3. Suppose j + 138 = 4*s, -j = d*s - 4*j - 169. Is 6 a factor of s?
False
Let g be (108/(-15))/((-3)/(-15)). Is 3948/27 - (5 + 172/g) a multiple of 19?
False
Suppose -z = -3*z + 28. Is (-1 + z)/(7/35) a multiple of 14?
False
Suppose -4*a = -3*m - m - 216, 182 = 3*a + 2*m. Does 4 divide a?
False
Let m(h) = -4*h**2 + 16*h + 4. Let x be m(4). Suppose 0 = -2*k - x*v + 190, -2*v + 1 - 11 = 0. Does 15 divide k?
True
Suppose -x + 7*j + 79 = 3*j, -185 = -3*x - j. Suppose z + 7 = x. Is 9 a factor of z?
False
Suppose 0 = 19*g - 788 - 238. Is g a multiple of 12?
False
Suppose -4*i = -3*i - 13. Let n = i - 1. Is n a multiple of 12?
True
Let j = 54 - 118. Let s = 19 - j. Suppose -5*a = 28 - s. Is 5 a factor of a?
False
Let y be ((-30)/(-12) + -3)*12/(-1). Let o(d) = -d**3 + 7*d**2 - 7*d + 15. Is o(y) a multiple of 7?
False
Let b(s) = -3*s - s**2 + 0 - 1 + 4*s**2 - 3. Let t(c) = c**2 - 4. Let p be t(3). Is 28 a factor of b(p)?
True
Is 8 a factor of (-36)/(-24) - 3/(-4)*3