. Let s = t + 244. Are h and s non-equal?
True
Let u = 46.835 + -47. Let f = -0.065 - u. Let o = -0.05 + -2.95. Which is smaller: f or o?
o
Suppose -j + 15 = 11. Let i = 134 - 74. Suppose 0*k - i = j*k. Which is bigger: k or 1?
1
Let l(o) = 2*o**3 - 16*o**2 - 7*o + 147. Let h be l(7). Which is greater: -2/1023 or h?
h
Suppose -5*o = 30*s - 26*s + 4270, 4*s - 2*o = -4256. Is s < -2129/2?
True
Let d = -5/96 + -9/32. Suppose -5*n = -13 - 7, 0 = 2*c + 3*n - 18. Suppose b - 5 = 0, -4*g - 5*b = -c*b - 14. Which is greater: g or d?
g
Let v = -7180392/38275 - -2/38275. Let j = v + 188. Which is greater: -191 or j?
j
Suppose -3*i = 2*i. Let h be (4/(-20))/((-1)/20). Let n be 174/(-76) + 2 + 2/h. Which is greater: i or n?
n
Let k be (6560/(-440))/82 - ((-383)/(-11) - -1). Which is greater: 1/7 or k?
1/7
Suppose 42*h + 1057680 = 168*h - 61*h. Is h greater than or equal to 16273?
False
Let d be (-83)/332*(2 + -10). Which is smaller: d or -431?
-431
Let i be (-3)/(-3) + -17 - 1. Let p = -16 - i. Let s be 10/(0 - 5)*p/(-1). Is 6 bigger than s?
True
Suppose 4*c + 36 - 119 = 5*l, 4*l + 66 = 3*c. Let h be (-3915)/(-29)*-7*6/l. Which is bigger: h or 379?
379
Let m(k) = -k**3 - 45*k**2 + 59*k + 198. Let f be m(-26). Is f less than -14181?
False
Let m be 8/(-4)*-2*(-3)/(-22956). Which is greater: -1 or m?
m
Let i = 7054 + -7053. Is 11/273 < i?
True
Let f(w) = -w**3 + 10*w**2 - 6*w - 4. Let v be f(7). Let c = v + -105. Let b be 1110/(-15)*(-2)/c. Is -35 less than b?
False
Suppose 11 = 4*y - 17. Let i be 4/(-2) + -4 + (5 - -1). Let f(o) = 11*o + 6. Let l be f(i). Which is bigger: l or y?
y
Let r = -7510 - -13202. Is 5690 equal to r?
False
Let h = 3867323/385 - 10045. Let k = 1 + 0. Is h at least as big as k?
False
Let u be 0*((-120)/(-24) - 22/4). Let w = -61 + 471/10. Let s = w + 14. Is s not equal to u?
True
Let j(g) = 138*g - 100. Let n be j(7). Suppose -4*h + 4*q + n = 5*q, -3*q = -3*h + 657. Does 217 = h?
True
Let t = 0.542 - 0.65. Let l = 202 + -203.178. Let f = t - l. Which is bigger: 0.1 or f?
f
Let k(n) = -2*n + 15. Let c be k(-12). Let j = -73 + c. Suppose 3*z - 99 = 3*d, -3*z + 131 = -d - 3*d. Is d smaller than j?
False
Let r = 891.1 - 935.1. Which is greater: r or 50?
50
Suppose -12*z + 32 = -14*z. Let s be 24*((-2)/(z/6) + 0). Which is greater: s or 20?
20
Let g = 1.76 + -2.16. Let j = 0.7 + g. Are j and -1 nonequal?
True
Let m = 14.259 + -14. Let s = -0.759 + m. Is -2/75 at most s?
False
Let t = 2.6 + -1.7. Which is bigger: t or 83?
83
Suppose s = 2*a + 3497, -167*a - s + 5248 = -170*a. Do a and -3503/2 have the same value?
False
Suppose -3*w - 3 - 44 = y, 3*w = y - 55. Let j be 5/25 + 0 + 0. Is w at most as big as j?
True
Let t = 4705 + -4629. Let y = 12 + 67. Is t greater than y?
False
Let y = 0.6608 - -0.77. Let q = -0.0692 - y. Which is greater: 6 or q?
6
Suppose -4*o - 4*u + 24 = 0, o = -u + 6*u - 24. Is -3/838 < o?
True
Suppose 117 - 48 = 3*c. Let w = -40225/4 - -10078. Is c at most as big as w?
False
Let y = -5.168 + 12.478. Which is smaller: 5 or y?
5
Let l = 337 + -223. Let g = l - 111.945. Let i = g - 0.055. Is i less than -0.1?
False
Let z = -17475 + 69873/4. Let x = -12 + 6. Is z greater than or equal to x?
False
Let t = 162 - 161.9. Let l be (2/(-390))/(3/18*-4). Which is smaller: l or t?
l
Let o = -9193 - -9187. Is -2/1123 greater than o?
True
Let w = -145 + 142. Let z be w/12 + (-8)/(-32). Is 1/122 at most z?
False
Suppose 53*v - 221 + 274 = 0. Which is bigger: v or -5/3051?
-5/3051
Suppose -t + 77 = -3*o, -71 = 2*t - 5*o - 230. Let l = 81 - t. Let r be 44/l*2*(-14)/8. Is r equal to 14?
True
Suppose -3*a = -4*l - 394, 0 = -3*a - 2*l - 3*l + 358. Let g = a - 123. Suppose -35 = -5*b - g*o + 290, -4*b = 3*o - 257. Is b <= 133/2?
False
Suppose -5*k - 1680 = -15*k. Let y be -6 + 7/(k/159). Is 2 smaller than y?
False
Let p = 1459/45 + -170/9. Is 14 > p?
True
Let g be ((-6)/40)/(34/(-13855)). Let d = g + -30791/504. Which is bigger: d or 1?
1
Let s(b) = b**3 + 11*b**2 - 2*b - 21. Let k be s(-11). Let j = 258238/269 + -960. Which is bigger: j or k?
k
Suppose -35*l - 275706 = 67*l. Is l bigger than -2703?
False
Let o = -622.866 + -0.134. Let j = 622 + o. Which is bigger: j or 20?
20
Let p be ((-74)/(-39) - 2)/((-585)/(-702)). Are -1.5 and p non-equal?
True
Let l = 44 + -29. Suppose 34 + 11 = l*f. Let h = -193 + 584/3. Do f and h have the same value?
False
Let u = 31741/7 - 4537. Are 2.3 and u equal?
False
Suppose 636*n - 129*n + 1969569 = -106*n. Which is greater: -3214 or n?
n
Let c = 667 + -570. Let h = c + -97. Is 2/1229 != h?
True
Let g = 328 - 54. Let s = g - 273. Is -2/21 at most as big as s?
True
Let q(r) = -2*r**2 + 11*r - 49. Let u be q(10). Let o = u - -114. Which is bigger: -27 or o?
o
Let w = 25 - 24.89. Let m = 295.6 - 294. Let o = m + -1.8. Is w < o?
False
Let m(t) = -t**3 - t - 1. Let u(n) = -5*n**3 - 3*n**2 - 10*n + 2. Let k(d) = -6*m(d) + u(d). Let b be k(4). Suppose b*i = 5*i + 90. Is i less than 0?
False
Suppose -16*x - 3*w - 277 = -21*x, 4*x = -4*w + 260. Is 17 at most as big as x?
True
Suppose 3*g + 22*g - 7502 = 3*g. Which is greater: g or 333?
g
Let q(p) = p**3 + 4*p**2 + 2*p - 3. Let i = -47 - -50. Suppose 16*n - 17*n = i. Let c be q(n). Is 9/7 > c?
True
Suppose 0 = u + 5*x - 181 - 235, 5*x = 5*u - 2080. Let b = -599 + u. Which is bigger: -184 or b?
b
Suppose -19 = 5*s + 5*g + 1, -8 = 3*s + 4*g. Let n be 2/(-14) + (-636)/742. Is s < n?
True
Let j = 215 + -214. Suppose j = 8*w + 9. Is -2/531 at most w?
False
Suppose f - 4*h - 13 = 0, f = 2*h + h + 9. Let k be 361/(-82) + (-3)/f - -3. Let n = k + 474/1025. Are n and 0 unequal?
True
Let f(j) = j + 14. Let m be f(-11). Let k be (37930/4)/(-5) + m/2. Let n = 36014/19 + k. Which is smaller: n or 0?
0
Let l = 1826 - 1745. Which is greater: l or 0.48?
l
Suppose -5*f - 5*p - 43 = -23, -p = 5*f - 4. Let s be 13/3 + 6/9. Let j be ((-4)/s)/((-10)/25). Is f less than j?
False
Suppose 5*z = 5*v + 8 + 37, -3*v - 5*z = -5. Let s(i) = -7*i - 30. Let p be s(v). Which is greater: 12 or p?
12
Let y = 515 - 611.84. Let z = 1.16 - y. Let g = z - 93. Which is bigger: g or 1?
g
Let y = -11/26 + -49/130. Let d = -57900 - -57896. Is y at most d?
False
Let v = 4013 - 4012.59. Do 0.002 and v have different values?
True
Let g be ((-24)/503000*-5)/((-45)/(-10)). Is 1 smaller than g?
False
Suppose 134 - 130 = 4*j. Let m(b) = -2*b - 10. Let n = 19 + -28. Let q be m(n). Is q less than j?
False
Let u = 81 + -87. Suppose 7*p = p + 42. Let h(w) = -2*w + 12. Let y be h(p). Which is bigger: u or y?
y
Let k = -2.7 + 4.22. Let o = k + -0.02. Suppose 3*v + 4*v = 0. Which is smaller: v or o?
v
Let i(b) = -b**3 + 20*b**2 + 22*b - 16. Let m be i(21). Suppose -m*l + 1 = -29. Suppose 20 = l*s - 124. Is 24 at least as big as s?
True
Let y = 0.79 - 0.847. Let o = y - -4.057. Let w = 54 - 380/7. Is w <= o?
True
Let c = -32.649 + 0.749. Let o = c - -25.9. Which is smaller: o or -2/11?
o
Let q = 8768 + -8770. Which is bigger: q or 0.164?
0.164
Let f be 236/(-6) - 3/(-9). Let x be (2 - 5) + 24/4. Suppose 0 = -4*a - 4*t - 148, 0*a + x*a - 3*t + 123 = 0. Is f bigger than a?
False
Let f = 108.897 + 0.103. Let p = f - 43. Let w = p - 65. Which is bigger: -29 or w?
w
Let v = 38 - 35. Let t be v + (-54)/24 - 77/(-4). Let l be (-52)/t - -2 - 0. Is 1.1 at most l?
False
Let k(z) = 5*z**3 + 2*z**2 - z. Let o be k(2). Suppose 2*r + 5*f + o = 0, -2*f + 0*f = -4*r - 68. Let m(l) = l + 12. Let q be m(r). Which is smaller: q or -1?
q
Suppose 3 = -2*d - 21. Let w = -21 + 26. Suppose -w*n + 10*n = -3*p - 64, p + n + 18 = 0. Which is greater: d or p?
d
Let x(v) = -v**2 + 10*v + 148. Let q be x(-8). Suppose -14*t - 1152 = q*t. Which is smaller: t or -61?
t
Let l be (52/(-546))/((-134)/81). Is l equal to 0?
False
Let k = 118 + -115.45. Let r = 127.55 - k. Let s = r - 123. Is -5/11 less than or equal to s?
True
Suppose -4*n = -4*i + 396, -3*i + 5*n = -62 - 223. Which is bigger: 128 or i?
128
Suppose -5*l + 4*l - 486 = -2*i, -2*i = 4*l + 1944. Let a = -486 - l. Is 2/831 at most as big as a?
False
Let o(u) = 2*u**2 - 34*u + 40. Let n be o(16). Suppose m - 133 = -n*f + 5*f, 0 = 5*f + 2*m - 220. Suppose 2*j + 37 + 11 = 4*l, 2*j + f = 5*l. Is -29 at least j?
False
Let m = -18176 - -32667. Which is smaller: m or 2/9?
2/9
Let x = 5.5 - 5.8. Let 