 - w = 0. Is m greater than or equal to -10/51?
True
Let i = -426.1 + 426. Is i smaller than 0.0701?
True
Let k = -11011 - -11327. Which is smaller: k or 315?
315
Let v = -18178073/13809829 - 13/43291. Let x = -4/29 + v. Is 0 at most x?
False
Suppose -718*b + 799*b = -324. Let w = -6 + 4. Let a = 6 + w. Is a greater than b?
True
Let t = -0.175 + -180.825. Let y = -2078 - -2080. Is t bigger than y?
False
Suppose -83*c = -235822 + 214223 - 1052504. Is c greater than 12942?
False
Let l be 208182/(-6358)*2/(-36). Let z = l + -160/51. Are -2 and z unequal?
True
Let j be ((-21)/6)/(190/(-60)). Let h = -82/57 + j. Let n be 1 - (-1)/(-2)*(5 - 5). Which is greater: n or h?
n
Let v = 6 + -53. Let u be (91/(-26) + 5)*(-1328)/42. Is u less than v?
True
Let o = -11987 + 11987.9002. Which is greater: 1 or o?
1
Let g = 13887 + -21046. Are g and -7159 non-equal?
False
Suppose 61 = 7*k - 65. Let a = k - -25. Let h = 44 - a. Which is smaller: 1/32 or h?
1/32
Let z = -8 + 6. Let n be 2 - (186/46 + z). Let o be 6*((-110)/30 + (-690)/(-180)). Which is smaller: n or o?
n
Let j = 0.18338 - 0.13638. Which is smaller: -97 or j?
-97
Let c = 61.893 - -0.107. Let x = c - 11. Which is greater: x or -4?
x
Let w = 4237.7 + -4238. Which is smaller: -87.3 or w?
-87.3
Let r = 0.14 + 20.86. Let j = 25.5 - r. Let k = j + -4.6. Is 1/25 <= k?
False
Let r = -1235 + 1235. Which is bigger: -2/16439 or r?
r
Let g be 6838/(-6) - 7*(-2)/(-42). Let u = g + 3470/3. Let b = -17 + u. Are b and -4/3 equal?
False
Suppose -2*w + q - 206 = 0, -w + 2*q + 3*q = 94. Let p be 12/(-6) - (-5)/((-10)/w). Suppose 4*h - i = -33, 2*i - p = 5*h - 5. Are h and -7 equal?
True
Suppose 0 = -340*d + 308*d - 256. Are 1 and d unequal?
True
Let v = -20.3 - 15.2. Let a = v + -3.5. Let l = -38 - a. Is l at least -0.03?
True
Let s = 16153 + -16311. Let q be 1/(-1)*(-3 + 3). Which is greater: s or q?
q
Let a(w) = w**2 - 26*w - 272. Let p be a(-8). Is -16/1851 bigger than p?
False
Let w(u) = -4*u**2 - 64*u - 14. Let z be w(-15). Let i = 46 - z. Is i at most 58?
True
Suppose 3*v + 450 = 4*r - 501, 4*r + v = 963. Let n = 240 - r. Is n less than -4/3?
False
Let s(n) = -19*n**2 + 47*n - 5. Let t be s(2). Let q be (-5 + 0)*(-28)/35. Suppose q*c = 5*c - 12. Which is smaller: c or t?
c
Let q be 4 + 12/(-3) + 1. Let z = -1095 + 1144. Is z <= q?
False
Suppose -3*a - 238 = 2*y - 0*a, y = -4*a - 124. Let l be y*2*(-4)/16. Let w be l/(-126) - 33/77. Is w >= 2?
False
Let d(v) = 12*v**2 + 9. Let z(a) = 10*a**2 + a + 10. Let w(r) = -4*d(r) + 5*z(r). Let k be w(4). Is k less than -1?
False
Let y be 11 + (3*164 - (35 + -35)). Does 1 = y?
False
Let s(l) = -l**2 + 3*l - 275. Let z be s(0). Let u = z + 278. Which is smaller: u or 6?
u
Let l = 1 - 0. Let p be ((-21)/1)/(l/3). Let m = -59 - p. Are 4 and m nonequal?
False
Let n(z) = 5 + 31*z**2 - 4 + 3*z**2 + 0 + 2*z. Let p be n(-1). Let r be (11/p)/(4/6). Which is smaller: 2/15 or r?
2/15
Let l(m) = -m**2 - 5*m + 1. Let b be l(-6). Let g be (85/(-20) - b)/(153/(-6)). Let f(s) = s**2 + 3*s + 1. Let h be f(-2). Is g less than or equal to h?
False
Suppose 219 = -z - 2*z. Suppose 2*w - 94 = -2*f - 260, 0 = 5*f + 55. Which is bigger: w or z?
w
Let h = -164 - -218. Suppose 0 = 3*j - 2*y - 43, 5*j - h = j + 2*y. Which is greater: j or 13?
13
Suppose -220 = 5*b + 5*t, 0 = -4*b + b - 4*t - 130. Let q = 56 + b. Suppose q = -2*j, -69 - 91 = -5*y + 2*j. Are 29 and y unequal?
True
Let a = 30.8 - 32. Let y = -2.32 - a. Let k = 0.12 + y. Which is smaller: -0.03 or k?
k
Let s be ((-2)/(-3))/(-2*1/6). Let w be s/10*5*-23. Is w bigger than 28?
False
Let r = 12 + -31. Let v = r - -54. Let x = 36 - v. Which is smaller: x or -36?
-36
Suppose -314*o = -315*o - 48. Let q be o/60*10/(-4) - 3. Is q >= -3?
True
Let d(w) = -14*w + 58 + 17*w + 51. Let p be d(-27). Let f(h) = 4*h**2 - 2*h. Let s be f(3). Is s != p?
True
Suppose 204*r + 140*r - 832164 = 1181956. Which is greater: -3 or r?
r
Let x = -989 + 985. Let s = 7 + 1. Let o be (1 + -1)*x/s. Are o and -2/55 nonequal?
True
Let a = -7 + 16. Let b be a/(3080322/731608) - (-2)/(-1). Let r = b + 2/5901. Which is bigger: 1 or r?
1
Let f be (-67)/(-2) + (-31)/62. Let v be (110/(-407))/(108/f). Let r = v + 1/37. Which is smaller: -1 or r?
-1
Let j = 17063 - 17065. Let m(u) = -u**2 + 3*u. Let h be 1 + 1 - (-2 - 0). Let f be m(h). Which is bigger: f or j?
j
Let j = 130827 + -130827. Let o = -173/86 + 370913/184470. Are j and o equal?
False
Let f = -51 + 51. Suppose -5*p + f = -3*n - 3, 1 = -4*p - n. Let o be -18 - -3 - (p + -3). Is -25/2 at least as big as o?
False
Let i(c) = -c - 15. Let u be i(-14). Let z = -263601/5950 - -753/17. Does u = z?
False
Let a = -136 + 228. Let l = -2626 + 2693. Let g = l - a. Do g and -24 have the same value?
False
Let x(d) = -12*d + 144. Let q be x(0). Let y = q + -137. Which is smaller: -1 or y?
-1
Suppose -4*z - 2*p + 5248 = -2024, 2*p - 3642 = -2*z. Which is smaller: -1 or z?
-1
Let v be (-29)/116*10*(1 + 7/(-3)). Do -0.4 and v have the same value?
False
Let r = 251.2 - 251. Let d be 1 + (-89 + -2 - (-5 - -4)). Which is greater: r or d?
r
Let a(y) = 2*y**3 - 15*y**2 + 10*y - 17. Let o be a(7). Let z be 1*(-154 - -7) - o. Which is greater: -1 or z?
-1
Suppose 0 = -18*z + 100474 - 40966. Are 3307 and z nonequal?
True
Let b(v) = -2*v**3 - 8*v**2 + 16*v + 2. Let o(y) = 2*y**3 - 2*y + 5. Let c be o(-2). Let u be b(c). Which is bigger: 185 or u?
185
Let n be ((-272)/(-32) - -1 - -7)*38/(-18). Let a = 0 - 0.1. Which is greater: n or a?
a
Let j = 0.2871 + -0.078. Let k = 0.0091 - j. Let t = -26 + 16. Which is greater: k or t?
k
Let w be (-20)/45 - 1000/(-2142). Let o = w + 20/119. Suppose 0*m = -m + 1. Which is smaller: o or m?
o
Let z be 0*11*(-8)/(-88). Let a = -55386/97 - -571. Which is bigger: a or z?
a
Let n = 10.99 + -11. Let c = n + -6.27. Let f = c + 0.28. Which is bigger: 0.1 or f?
0.1
Suppose 48*t + 9064 + 10851 = -7637. Is t less than -578?
False
Let l = 158 - 154. Let u be l/8*(-6)/(-3). Which is greater: u or 15/34?
u
Let i = -7 + 15. Let s be ((-27)/8)/1*i/4. Let h be (-10 - 0 - -2) + 1. Which is greater: s or h?
s
Suppose 271045 = -26*u + 271071. Let h(y) = -2*y**3 + 2*y - 3. Let z be h(2). Let t be 30/14*(-9)/z. Is u < t?
True
Let s be (2 - 2) + -206*4/92. Let u = -86268/9637 - s. Which is smaller: 1 or u?
u
Let i be (-4 + (-2 - -6))/(-6 + 8). Let a be (4 + 330/(-40))*(i + -4). Which is bigger: 124/7 or a?
124/7
Let n = -76558/9 - -8508. Is n less than or equal to -11/2?
False
Suppose -1 = h - 2*m - 5, 2*h - 2*m = 4. Let f = -398751/94 + 4242. Is f less than or equal to h?
True
Suppose 6*w - 124 = -34. Suppose -w*t + 13*t - 25*t = 0. Which is smaller: t or -26/23?
-26/23
Let z be (18/32)/((-2)/(-4)). Let n be 170*(9 + -10) + -2 + 4. Let r be (-1)/2 - (-28)/n. Is z less than or equal to r?
False
Let d(u) = 15*u - 3 - 9 - 25 - 13*u + 3. Suppose 3*w = a + a - 40, 2*a - 38 = 2*w. Let h be d(a). Which is smaller: -1/11 or h?
-1/11
Let j be 164/95776*(-1 - 10/(-18)). Is j >= 1?
False
Let s(o) = o**3 + 16*o**2 - 15*o + 33. Let r be s(-17). Is r >= -2/5635?
False
Let t = 0.174 + 8.826. Let y = -3.4 + 3.3. Do y and t have different values?
True
Suppose 37*y = 34*y. Let c be ((-404)/42)/((11/18)/11). Let o = c - -345/2. Is o at most y?
True
Let g be (46/115)/(3118/(-30) + 0). Is g smaller than -1?
False
Let p(g) = -g**3 - 26*g**2 + 3*g + 731. Let n be p(-25). Is 207/7 at most n?
True
Let b(q) = q + 70. Let r be b(-18). Let c be (0 - 24/(-2))*(-1170)/r. Are c and -269 non-equal?
True
Let u = -9854 + 9848. Is -38 <= u?
True
Let f = 0.04 + -0.64. Let y = 0.5 + f. Let d = -2.6498 + -8.3502. Which is smaller: d or y?
d
Let i = 412 - 384. Let w(v) = -v**2 + 10*v + 30. Let o be w(10). Does i = o?
False
Let y be 6 + (71 + 1)/(-6). Let o be 9/(-6)*1/(y/(-92)). Let i be (-3)/(2*2/32). Are o and i nonequal?
True
Let k = -25469/420 - -2489/20. Do k and 63 have the same value?
False
Let u be (2 - (2 - 8)) + 0. Let k be -24 + u - 1*-5. Is k smaller than -27?
False
Let n = -75 + 374/5. Let l = 25983 - 25983.2. Are l and n equal?
True
Let v = -27767 - -27766. Is v at least as big as -28/2007?
False
Let i = 5405 - 5578. Which is smaller: -5 or i?
i
Let x = 963 + -602. Let r = -373 + x. Let b be (-20)/(-14)*(-7 - 1). Which is smaller: b or r?
r
Let c = 