ch is smaller: k or m?
m
Let b = 1.69 - 72.69. Let l be (-880 - -914) + -35*1. Which is smaller: l or b?
b
Let z = 259 - 1047. Which is bigger: z or -789?
z
Let h be (1 - 0)/(-4 - -3). Let o be (-3)/(-95)*5/h. Suppose 5*j - 11 = -i - 3*i, -5*i + 3*j - 14 = 0. Which is greater: i or o?
o
Let y = -23161 + 23217. Which is bigger: y or 1295/23?
1295/23
Let c be (-6366)/796 - (15 - (22 - -1)). Which is bigger: c or 1?
1
Suppose -4*n + 49 = -3*f + 45, -2*f = 2*f. Which is smaller: 1923 or n?
n
Let c = -576 - -582. Suppose 2*w + p = 35, 5*p - c = -w + 16. Which is greater: w or 53/3?
53/3
Let t = 17053 - 17052. Which is bigger: 9/821 or t?
t
Let i(q) = q**3 - 9*q**2 + 18*q - 29. Let o = -470 + 477. Let j be i(o). Is -2/683 greater than j?
True
Let q = 41507/455 - 1809/35. Are q and 41 equal?
False
Suppose -2298 = -12*f - 6426. Let l be f + (4 - 3) - -2 - -1. Are l and -340 nonequal?
False
Let h = 3.2628 + -2.8718. Which is bigger: h or 1/31?
h
Let x(m) = -3*m**2 + m + 11. Let o be x(-6). Let i = o - -106. Which is greater: 13/7 or i?
i
Let a be (8/120*(-267)/(-7))/(-87). Let u = a - -10/87. Which is greater: 1 or u?
1
Let j be 11928/2871 - (-30)/50*(-10)/11. Are 5 and j unequal?
True
Let h be (130/(-13) + 14)*(-17037)/18. Is -3788 greater than h?
False
Suppose -b + w + 1 = 96, -w = b + 95. Let i = b - -152. Suppose -309 = 5*c - 4*k, -i = c + 2*k + 2. Which is smaller: -62 or c?
-62
Let x(f) = 2*f + 1. Let w be x(2). Let i be -7 + (-60)/(-9) - 20/6. Let a = 0 - i. Is a != w?
True
Let w = -1903 - -1903. Is 9/29 > w?
True
Let y = 0.0824 + -1274.0824. Is 1 greater than or equal to y?
True
Let i(b) = -4*b**2 + 37*b + 30. Let o(g) = -3*g**2 + 25*g + 20. Let l(y) = 5*i(y) - 7*o(y). Let u be l(-9). Let s be 8 - ((2 - u) + -2). Are 9 and s non-equal?
False
Let y be (450/(-20))/((1 - 2)*-3)*238. Is 3 > y?
True
Let a = -188 - -191. Suppose 3*m = -i + 19, a*m + i - 5*i - 29 = 0. Is 17 at least as big as m?
True
Let t(b) = b**3 + 21*b**2 - 95*b - 554. Let u be t(-24). Is -182/225 less than or equal to u?
False
Let b = -1145 + 1009. Which is greater: -962/7 or b?
b
Let j = -95 + 99. Suppose -n - j*n = 0. Which is bigger: n or -18/91?
n
Let l be (-32)/176 - 616807/341. Is -1807 >= l?
True
Let c = 142.91004 + 0.08996. Which is greater: c or -7?
c
Let t(r) = 4*r**2 + 45*r - 302. Let o be t(13). Is 959 bigger than o?
False
Suppose -2*r = -6*r. Let k be (25/(-175))/(1335/(-35)). Which is bigger: k or r?
k
Let l = 0.0144 + -53.9144. Let g = 6.9 + l. Let i = g - -29. Which is smaller: 1 or i?
i
Let f be 118/(2/(-2))*27/54. Let k = 18938 + -94987/5. Which is smaller: f or k?
k
Let c(s) = s. Let j(y) = -18*y + 12. Let a(h) = 9*c(h) + j(h). Let v be a(9). Let r = v + 69. Which is greater: 0.058 or r?
0.058
Suppose 6817 = 73*g - 90*g. Let n = g + 345. Is n less than -58?
False
Let o = 0.0855 - 7.2255. Let t = o + 48.24. Let b = -0.1 + t. Is b > -2?
True
Let y = 164 - 64. Let a = y + -62. Let b = 37 - a. Which is greater: -0.2 or b?
-0.2
Let c = -8/361 - 650/3249. Is c less than or equal to -0.01336?
True
Let w = 58520/23 - 760017/299. Let c be (10/(-65))/((-8)/(-136)). Let i = c + w. Which is smaller: i or -1?
-1
Let f = 18 + -15. Suppose -f*r + 281 = -4*c, 0 = 4*r + 2*c - 347 - 57. Let o be (4/(-15))/(2/r). Are o and -14 nonequal?
True
Let p = -3.1438 + 0.1438. Suppose 397 = -2*q + r, -4*r + 785 = -4*q + r. Let v be (-2)/11 + q/(-616). Is p at least v?
False
Let c = -0.4 - -0.3. Let y = 1959/209 + -75356/8151. Is y at most as big as c?
False
Suppose -2*o - 5*g = -3265, 6*o - 7*o = 2*g - 1631. Which is bigger: o or 1623?
o
Suppose 2*l = -4*n - 528, -5*l + 199 = -2*n + 1519. Let y = l + 264. Is y bigger than 30?
False
Let a be -2 - (-1)/(1/2). Let d be 13180/7488 + (-3)/27. Let u = 19/13 - d. Which is bigger: u or a?
a
Let g = -0.9304 + 0.878. Which is greater: g or 0.6?
0.6
Let v = -2625 - -2748. Is v at least as big as -17?
True
Let r(x) = x**2 + x. Let m be r(-1). Let u = -32375488/251 + 128986. Which is greater: u or m?
m
Let q(d) = d**3 - 15*d**2 + 5*d + 7. Let f be q(13). Let l = 27832 - 28100. Which is bigger: f or l?
f
Let d = -3.8 + 19.8. Let j = d + -17.5. Let f = j - -0.5. Which is greater: f or 5?
5
Suppose -3*w = -d + 59, -4*w - 53 = -3*d + 19. Let s = w - -91. Suppose -14 - s = 6*c. Is c equal to -29/2?
False
Let r = -5.113 + 5.079. Which is bigger: -53 or r?
r
Let l(a) = -13*a**3 + 2*a**2 + 2*a - 6. Let i(w) = -11*w**3 + 3*w**2 + 2*w - 6. Let z(t) = 7*i(t) - 6*l(t). Let d be z(-7). Is d at most as big as 79?
True
Let l(j) = -j**2 + 15*j - 8. Suppose -4*k = -49 + 45. Let v(o) = 15*o**2 + 2*o - 3. Let q be v(k). Let w be l(q). Is w less than or equal to 7?
True
Suppose 3*a + 5*h = -131, 3*a - 9 + 131 = 4*h. Is a not equal to -28?
True
Suppose 2405 = -3*h - n, -2*n + 4023 = -47*h + 42*h. Is h at most -2/5?
True
Let q = -523 - -892. Suppose 6*v = -q - 2193. Let c = 20925/49 + v. Is c < -1?
False
Let n = 0.9342 - 0.91. Let i = n + -0.2242. Which is smaller: i or -260?
-260
Let l = 73 - -3. Let v = -760 + 764. Let f be 6/(-2) - 138/(-168)*v. Is f at most l?
True
Let y = 0.4688 + 0.0312. Let g be (-66)/88 + 162/(-8). Do y and g have different values?
True
Let n = 23.97 + -1.57. Let t = n + -22. Which is smaller: 39 or t?
t
Let c = -22 - 53. Let i = -105 - c. Let j = i + 30.12. Is -0.2 less than j?
True
Let c = -28394 + 28400. Which is smaller: c or -3?
-3
Let q = -160 - -265. Suppose -4*r - 3*k = 135, 5*r + k + q = -61. Are r and -31 nonequal?
True
Let h = 2/6473 + 19267/491948. Let m(d) = 3*d**2 - 32*d - 2157. Let k be m(-22). Is h less than k?
False
Let r be 2/7 + (-9)/7. Let o = -69196 - -4359248/63. Let y = -23/14 - o. Is r bigger than y?
False
Let b = -37607 + 37605. Let u(w) = 3*w. Let d be u(-4). Which is smaller: d or b?
d
Let t = -10.02234 + 0.02234. Is t equal to -1/483?
False
Let n(g) = -g**2 + 4*g - 3. Let x be n(2). Let p be -1 + 2047/2670*6/5. Is p less than or equal to x?
True
Let w = -897.4 - -900.4. Is -23/48 less than w?
True
Suppose 0 = k + 7, -12*k = -5*q - 14*k - 14. Is 6/5075 equal to q?
False
Let p = 36 - 33. Suppose p*q = 3, 3*w = -2*w + q - 51. Let s be (36/w)/(2/25*-1). Do s and 45 have the same value?
True
Suppose -7772*d - 20706 = -7730*d. Is -495 less than d?
True
Let j be (15/(-10))/(4/24). Let x be (-460)/138*j/1145. Which is bigger: 1 or x?
1
Let w(l) = -80*l - 802. Let y be w(-10). Which is smaller: y or -359?
-359
Let r = -4930 - -3815. Is 2/15 > r?
True
Let c be (-126)/3465*(-33)/9. Which is greater: c or -2/41?
c
Let s = -10334 + 10199. Are -2316/17 and s nonequal?
True
Suppose 0 = -3*r - 13 + 250. Suppose -3*j + r - 76 = 0. Let g = 490/6177 - 4/71. Which is bigger: g or j?
j
Let o = 182.7 + -188.2. Is o greater than or equal to -2?
False
Let s be ((-3 + 2)*0)/(3 + -1). Suppose 0*w + 22 = 4*w - 5*f, w - 4*f - 11 = s. Which is smaller: w or 0?
0
Let l = 21/100 - -17519/100. Let h = l + -176. Let w = -7/5 + 39/35. Is h at least as big as w?
False
Let q = -4.2 + 0.2. Suppose 108*h - 74*h = 136. Let w be (((-27)/(-9))/9)/(h/(-6)). Is w less than or equal to q?
False
Let f be 1/((-3)/(-3 + -6)). Suppose f = 4*k - 5. Suppose -d - 3*d = l + 14, 0 = 4*l - k*d + 38. Is -11 equal to l?
False
Suppose 5*l - y - 12456 = 0, 92*l - 87*l - 12480 = 5*y. Is l smaller than -0.1?
False
Suppose 188 = -204*s + 84 - 100. Which is bigger: 1/9922 or s?
1/9922
Let r be (-734)/142 + 105/21. Let k = 532580 - 491571851/923. Let z = k - r. Which is smaller: z or 0?
z
Let n be (93 - 89) + -1 + -4. Let w = -21486/13 - -1652. Which is smaller: n or w?
n
Suppose 2*o = -5*c + 126, 2*c + 0*c + 189 = 3*o. Let y be 444/o*-3 - (-2)/(-1). Is y at least as big as -24?
True
Suppose -55*h + 21 = -76*h. Which is smaller: h or 4624?
h
Suppose 15*z = 22*z + 89 + 37. Is z not equal to -41?
True
Suppose -250 = 2*w + 186. Let y = -655/3 - w. Let v be (3/(-9))/(2/51). Which is smaller: v or y?
v
Let f = 40/39 - 50/33. Do -1 and f have the same value?
False
Let f be -1 - (-1 + 4) - -1. Let r = 176 + -179. Let k be 61 + ((-1)/r)/(1/f). Are k and 60 non-equal?
False
Suppose 156*b - 86475 = 108213. Which is greater: 3742/3 or b?
b
Suppose -b = -3*b - 508. Let m = -9145/36 - b. Let n = m + 5/108. Which is smaller: 0 or n?
0
Let a = -12035/11 - -1093. Which is bigger: 0 or a?
0
Let 