9. Which is smaller: m or q?
m
Let q be 2/6 + (-30)/(-18). Let n = q + -5. Are 29 and n equal?
False
Let r = 2538038588/49 - 51793655. Let o = r - 3051. Suppose 24 = 4*z - 4*a, 20*z = 21*z - 3*a - 18. Is z greater than o?
True
Let j be (30/(-4) - -7)/((-1)/36). Let r be j/(-6)*-2 + -7. Which is bigger: -3/98 or r?
-3/98
Let y be 10/((-490)/959) + 0 - -3. Is y less than -18?
False
Let d = -0.0581 - 2.7059. Let n = 2.9 + d. Let a = -0.064 - n. Which is bigger: -16 or a?
a
Let u(w) = w**3 - 5*w**2 + 7*w - 4. Let c be u(2). Let d(v) = v**2 - 3*v - 7. Let i be 3/((-3)/(-6) - (-9)/(-6)). Let g be d(i). Which is greater: g or c?
g
Let c be (1904/36)/(-3 + (-35)/(-15)). Which is bigger: -78 or c?
-78
Let q = 54.963 - 55. Let m = q + -0.078. Let v = m - 0.185. Which is smaller: v or 10?
v
Suppose -583*g - 121890 = -549*g. Which is greater: g or -3584?
-3584
Let h be 595952/448 + 7 + -3. Are 1335 and h unequal?
True
Let b(p) = p**3 + 2*p**2 - 7*p - 1. Suppose -2*s = -3*h - 19, 3*h + 2*h + 3*s = 0. Let c be b(h). Is 14 greater than or equal to c?
True
Let y(o) = 4*o - 63. Suppose 3 + 3 = 2*b. Suppose 2*l - 4*l + 42 = -4*d, -b*l + 4*d + 61 = 0. Let n be y(l). Is 12 bigger than n?
False
Let h(c) = -190*c + 11. Let b be h(-5). Let l = b - 962. Which is smaller: -23/13 or l?
-23/13
Suppose 2252*o - 2250*o = -5*c + 255, 5*o = 4*c - 303. Suppose w = 6*w - 625. Suppose -3*q + 153 = -4*u, 5*u = q - 3*q + w. Is c >= q?
True
Suppose -16*f = 10 - 10. Suppose 6*g - 4*g - 2 = f. Is -4/79 <= g?
True
Let r(w) = 121*w - 28. Let f be r(-2). Let j be 2/(-9) + (-1)/(f/(-1452)). Is j >= -0.3?
False
Let q be (-616)/(-176)*2*(-5)/(-7). Suppose 4*l + q*j = 6*j + 185, 3*j = -5*l + 227. Which is greater: l or -1?
l
Let x = 1778 + -1772. Suppose -3*c + 11 = -1. Suppose 3*w + 26 = 4*d, -10 - x = c*w + 4*d. Is w bigger than -10?
True
Suppose -251*u + 19213 + 98294 = 10079. Are 431 and u nonequal?
True
Let h(i) = -7*i + 30. Let m be h(-4). Let z be m/(-3) - 36/54. Does -20 = z?
True
Suppose -4*g + 4*i - 17456 = 0, -13064 = 3*g + 76*i - 72*i. Is -4359 bigger than g?
True
Let y be (0 - (-2)/57)*(-69)/644. Suppose 2*f = -4*r - 7 + 19, 0 = 4*f - 2*r + 6. Is y smaller than f?
True
Let l be 90/(-7) - (-864)/(-756). Which is bigger: 2 or l?
2
Suppose -211*q - 97008 = -227*q. Is q at most as big as 6063?
True
Let f = 76 - 71. Suppose p - f*v = -32, 134 = -p - 4*p - v. Which is smaller: p or -24?
p
Let y = 16.0318 - 0.0318. Are -7/6 and y equal?
False
Let l = 3922.9 + -3924.9. Is -660.2 at least as big as l?
False
Suppose h - 5*f - 20 = 10, -10 = 2*f. Suppose 5*v = b - 15, -4*v + v + 13 = -h*b. Which is smaller: -34/9 or v?
v
Suppose -410*b + 115414 = -456*b. Which is greater: -2510 or b?
b
Let r be -16 + 15 + (-279)/(-303). Which is smaller: -1 or r?
-1
Suppose 0 = -o - 5*q + 18, -5*o = -3*q + 1 - 7. Suppose -3*j - 4*m + 115 = m, 0 = -4*j + o*m + 134. Suppose 0 = -s - 13 + j. Which is smaller: s or 21?
21
Suppose 2*v = 5*v. Suppose v = i + 2*q - 16, 7*q - 3*q + 52 = 5*i. Let r be ((-7)/1)/((-6)/i). Is 15 greater than r?
True
Suppose -23*s - 6489 - 67686 = 0. Which is bigger: s or -3224?
-3224
Let p(w) = -11*w**2 - 245 + 17*w + 256 + 4*w**3 - 3*w**3. Let x be p(9). Suppose 4*d - 1 = m, -5*d + 2 = -0*m - x*m. Is -1/6 at most as big as m?
False
Suppose 0 = -140*m + 58*m. Is -3/2668 bigger than m?
False
Let n = 470 - 2740. Let v = n - -43103/19. Let l = 355/76 + v. Which is bigger: 3 or l?
l
Let y = 0.01092 + -20.01092. Let h = -1 - -0.6. Are h and y non-equal?
True
Let g = -6.925 - -0.525. Let q = g + -13.6. Is q at most -0.1?
True
Let j = 496787.993 + -496308. Let d = -480 + j. Are -1 and d nonequal?
True
Let k(o) = -109*o - 1199. Let f be k(-11). Let v be ((-2)/(-4) + 0)/2. Which is smaller: f or v?
f
Let m(w) = -w**2 - 11*w - 6. Let c(z) = -z**3 - 11*z**2 - 9*z - 1. Let l be c(-10). Let r be m(l). Let g(i) = 2*i + 12. Let d be g(r). Is 2 less than d?
False
Let c be ((-591)/3152)/((-11)/(-12)). Which is smaller: c or -1?
-1
Let o(d) be the second derivative of -d**3/3 - 11*d**2/2 - 158*d. Let x be o(-5). Is -0.207 equal to x?
False
Let o(m) = -m**2 + 9*m + 26. Let u(z) = 2*z**2 - 17*z - 50. Let q(r) = 11*o(r) + 6*u(r). Let p be q(7). Which is bigger: p or 17?
17
Let o(t) = t**3 - 25*t**2 + 44*t + 46. Let g be o(23). Is -17/736 <= g?
True
Let y(w) = -w**2 + 7*w + 1. Let z be y(6). Let t be (-6)/(-4) - 33/(-6). Suppose -5*o + t + 37 = 4*s, 4*s + o = 28. Is s < z?
True
Let n = -16145 + 19420. Which is bigger: n or 9826/3?
9826/3
Let w(f) = -6*f - 36. Let t be w(-6). Suppose 2 = 2*n - a - 3, 0 = -3*a - 3. Suppose 0 = 5*j - 5, n*c + 7*j - 3*j - 4 = t. Is c <= -1?
False
Let k = 19170051/1615 + -11870. Which is smaller: -1 or k?
-1
Let o be 9515/33*594/121. Which is bigger: 1416 or o?
1416
Let w = 0 + 12. Suppose -2*l = 52 - w. Let g be (-75)/(-200) + 1 + (-43)/8 - 16. Is g smaller than l?
False
Let t be (-12)/(8/(-108)*-3). Let m be (-36)/t + (-40)/(-3). Let p = m + -13. Which is greater: p or 4?
4
Let w be (-7 - 136/(-8))*(-4)/(-240)*5. Which is bigger: -10/7 or w?
w
Let s(d) = 71*d**2 + 9*d - 17. Let l(u) = 24*u**2 + 3*u - 6. Let w(v) = -17*l(v) + 6*s(v). Let n be w(1). Let q = -14 + n. Which is greater: q or 4?
q
Suppose 3*z + 3*w - 7 + 1 = 0, 5*z = 3*w - 6. Let d be ((-8)/(-5))/(34/(-85)). Which is smaller: d or z?
d
Let c be 316/(-12)*1*(3 - 6). Which is greater: c or 635/8?
635/8
Let a = 4.136 + -3.636. Is -284 > a?
False
Let i(g) = -g**3 - 13*g**2 - 12*g - 16. Suppose -16*c + 18*c = -22. Let v be i(c). Let y = -253/2 - v. Which is bigger: 2.9 or y?
2.9
Suppose 4*t - 144*w + 143*w = 12, 4*t - 20 = -w. Which is greater: -290 or t?
t
Suppose 65*k - 33*k - 233334 = -22*k. Which is greater: 4323 or k?
4323
Suppose -68*p - 800 + 2499 + 2585 = 0. Is p at least as big as 52?
True
Let p(j) = -41*j + 2266. Let u be p(-43). Which is bigger: 4028 or u?
u
Let z = 15922.955 - 15862. Let j = 23 + 38. Let k = j - z. Is -1 bigger than k?
False
Let t = 33.835 - -0.165. Let d = 40 - t. Is d smaller than -7?
False
Let f(q) = -83*q + 137. Let u(k) = 81*k - 141. Let z(x) = -2*f(x) - 3*u(x). Let w be z(2). Suppose -2*j + 6*j = -4. Is w > j?
False
Let x = 1844/25 + -134618/1825. Is -1 equal to x?
False
Suppose 5*i = -a + 1, 5*a + 40*i - 5 = 36*i. Is a less than or equal to -1/4061?
False
Suppose 0 = 3*l + 2*n - 1, -5*l - 2*n = n. Let z(t) = -8*t + 7. Let r be z(l). Suppose -2*x + 25 = r. Is -40/13 not equal to x?
True
Let r = -500 + 520. Let o be (r/6 + -3)*(-837)/155. Which is bigger: -3 or o?
o
Let g(l) = -50*l - 4. Let i be g(-6). Let w(m) = 925*m - 4330. Let j be w(5). Is i > j?
True
Let f = 302.796 + -304. Let u = -0.284 - f. Which is smaller: -1/4 or u?
-1/4
Let z be ((-5478)/2024)/((-1)/(-148)). Let k = z + 401. Let x = k - -528/161. Which is greater: 5 or x?
5
Let c be (1 - -21) + (-8 - -7). Suppose -668 = 8*h - 836. Is c < h?
False
Let v = -140276 - -569635/4. Let q = v - 2120. Let f be (-13)/(-4)*(-1 + 5). Which is smaller: q or f?
q
Let s = 254 - 675. Let a = s + 421.08. Which is smaller: -1 or a?
-1
Let v = -7455 + 7625. Are 168 and v unequal?
True
Let k = 19289 - 19283. Do k and 44/67 have different values?
True
Let g = -29 - -26. Let v be (g - 2)*1/1. Let s be (6/(-9))/(v/(-30)). Is -6 at least as big as s?
False
Let w = -0.641 + -524.359. Let y = w - -526. Which is smaller: -312 or y?
-312
Suppose 5*f - 838 = 612. Let r be (26/4)/((-605)/f - -2). Let o = 75 + r. Which is greater: -1/14 or o?
-1/14
Let f be (432/(-126))/((2/(-12))/(224/(-24))). Are -191 and f unequal?
True
Let c = -1161.57 + 240.49. Let m = c - -921. Which is smaller: m or -1.4?
-1.4
Let d be ((-5)/15)/(0 - 1/(-3)). Is d greater than 2/123?
False
Let m be (4/(-11))/(-4 + (7 - 1)). Let v = -343 - -345. Which is greater: v or m?
v
Let n(g) = 7*g + 107. Let h be n(-15). Suppose 7*q = -h - 5. Let c be 4/(-10) + (-28)/(-95). Which is smaller: c or q?
q
Let v(z) = -3415 - z**3 + 13*z - 3414 + z**2 + 6818. Let r be v(-4). Which is bigger: r or 19?
19
Let w(h) = h**2 - 8*h - 6. Let g be w(9). Suppose -g*f = -4*k + 18, 2*k - 4 = -5*f + 18. Let r = 687 + -688. Which is smaller: k or r?
r
Let l = -19/7957 - -8299/143226. Let w = 7 + -3. Let o = -3 + w. Is o less than or equal to l?
False
Let s be (1 - 1/3)/((-20)/30). Let m = 18882 - 17085