h = 156.42 + -155. Let x = 1.22 - h. Is y at most as big as x?
False
Suppose -3*u - 1602 = -2*g, 2*u + u + 1587 = -3*g. Do -537 and u have the same value?
False
Let f be -6 + (-3)/1 - (-1020)/115. Which is smaller: f or 1?
f
Suppose 4*t + 3*r + 18 = -0*r, -3*r = -3*t - 3. Let s be -3*(-2)/t - 23. Suppose 60*u - 24*u = 8*u - 728. Is s at least u?
True
Let s be ((7 - 21) + 13)*1. Is -57/109 not equal to s?
True
Let a be 132/90*(-975)/2460 - 2/(-3). Which is smaller: 1 or a?
a
Let o be 525/129 + 0 + -4. Let k(v) be the second derivative of -v**4/12 - 2*v**3 - 6*v. Let w be k(-12). Is w greater than or equal to o?
False
Let i = -174002/7 + 24805. Is i less than -52?
True
Let o(d) = -2*d + 8 - 8 + d**3 + 3*d**2 - 5 - 3*d**2. Let h be o(2). Which is smaller: -5/29 or h?
h
Let g be (1/5 - (-381318)/48510) + -8. Let q be 1/((-2)/2 - -2). Which is smaller: g or q?
g
Let f = 0.045 - -53.905. Let q = -1.05 - f. Let o = q - -59. Is 0.2 at most as big as o?
True
Suppose 0 = 4*a - 604 + 608. Let t be 266/130 + a*(-4)/26. Let j(u) = u**2 - 5*u - 4. Let v be j(6). Is v less than or equal to t?
True
Let n = -32833.8 + 32834. Let o be (48/(-10))/((-1)/(-10)). Let l be 4/10 - o/(-195). Is n < l?
False
Let n be 555/9 + (-2)/(-6). Suppose 3*x - n = 205. Is 175/2 smaller than x?
True
Let o(b) = 331*b**3 + 5*b - 7. Let p be o(2). Let t = p + -657449/248. Is 2 > t?
True
Let c = 96 + -140. Let k = 38 + c. Let w(n) = n**2 + 7*n - 2. Let p be w(k). Which is greater: p or -9?
p
Let j = -144069 + 340723178/2365. Does 1 = j?
False
Let a(b) = -239*b**2 - 33*b + 313. Let y be a(8). Does y = -15246?
False
Suppose 5*y = 72 - 32, -2*p - 4*y + 268 = 0. Which is smaller: p or 121?
p
Let v(p) be the first derivative of p**4/4 + 16*p**3/3 - 6*p**2 - 22*p - 20. Let f be v(-17). Which is greater: -108 or f?
f
Suppose -152 - 16 = -6*y. Let r = 28 - y. Let x be 421/(-117) - -3 - (-2)/13. Which is smaller: r or x?
x
Suppose 93 - 45 = -4*w. Let i = -6 + 11. Let x = -17 + i. Is x != w?
False
Let i = 5313 - 6585. Is i <= -1275?
False
Let d = -3.0018 + 0.0018. Let i = -0.01 + 0.51. Let x = i - 0.1. Which is greater: d or x?
x
Let f(x) = -x**3 - 19*x**2 - 19*x + 222. Let o be f(14). Is o > -6513?
True
Let s = -3061 - -3055. Which is smaller: s or -86?
-86
Suppose -3*l - 72 + 42 = 0. Let z be ((-26)/(-390))/(4/l). Let j = 0.5 + -0.45. Which is greater: j or z?
j
Let h be -12 - (-4 + 7304/16). Which is smaller: -464 or h?
h
Let t = 3111574199472991295611495036227/1415308993973222609833311812870 - 2/861289032241858599455. Let a = t - 80/2497333. Let l = -1/658 - a. Is -1 >= l?
True
Let b be (((-60)/3)/4)/(-5 - 2717/(-546)). Is 204 less than b?
True
Let k be (-18)/(-10 - 8)*500. Is 499 not equal to k?
True
Suppose -v + m = -73, 3*m - 56 = -59. Let d be 456/70 + v/(-90). Which is bigger: d or 0.1?
d
Let t be ((-8)/28)/((-2)/14) + 2. Suppose -t*m = -3*z - 2 - 33, -2*z = 5*m - 15. Suppose 4*s = -m*b - 32 - 33, 0 = -2*b + s - 13. Which is greater: b or -4?
-4
Let c = -57.99 + 58. Which is bigger: c or 14.2?
14.2
Let x = 6 - 6. Suppose x = -i - 4*g - 1, -i - 1 = -0*i + g. Is -2/11 bigger than i?
True
Let x = 0.08063 + 1481.91937. Which is smaller: x or 1?
1
Let r be 3 + -14 - (12 - (-15756)/(-684)). Which is smaller: r or 18?
r
Let m = 157 + -157. Let k = 1115 + -36799/33. Are m and k nonequal?
True
Let h(r) = 11*r + 35. Let p be h(-5). Let q be p/18*-99*9/(-135). Which is bigger: 1 or q?
1
Suppose x + 11 = 4*b, -5*x - b + 13 + 16 = 0. Let h be (4312/124)/7 - x. Which is bigger: h or 0?
0
Let p = -2.8 - 0. Let l = -1.801 + -0.699. Let x = p - l. Which is smaller: -2/3 or x?
-2/3
Suppose -10*v + 15*v + 2*s = 2490, 1515 = 3*v - 3*s. Let h = -501 + v. Let d = -92 + 1010/11. Which is smaller: d or h?
h
Let f = -282 - -507. Let r = 186 - f. Is r != -3?
True
Suppose -250 = d - 4*h, -3*d - 542 = -h + 197. Suppose 5*m - 9*s = -1262, s + 371 = 5*m + 1609. Which is bigger: d or m?
d
Let b(d) = 3*d**2 - 30*d - 873. Let z be b(26). Which is greater: 368 or z?
z
Let k be 5 - 1/1*-3. Let x be 1/(-2)*16/k. Let m(a) = -a - 7. Let j be m(9). Is j at least x?
False
Let b be ((-21)/(-2))/(2/(-44)). Let j = -230 - b. Is 18/11 at least j?
True
Suppose 0 = -o - 4*a - 489 + 464, 4*o - 26 = 5*a. Which is bigger: 4/83 or o?
4/83
Suppose -2*h - 4*r + 4 = 0, -2*r = 2*h + h + 10. Let t be (h/26)/((-4)/(-28)). Is t greater than -1?
False
Suppose 0 = 3*c + v + 12834, -21362 = -6*c + 11*c - 3*v. Is c equal to -4276?
True
Let m = -3812.111 + 3810. Let o = 2.16 + m. Let g = -4 - -3. Is o < g?
False
Let f be (-30)/56 + 3/6. Let p = -1118 - -1117. Are p and f unequal?
True
Let a = 0.7773 + -3.8773. Which is bigger: -102 or a?
a
Suppose 7 = 1135*i - 1142*i. Which is bigger: 5/757 or i?
5/757
Let u(b) = b**3 - 79*b**2 + 1103*b - 86. Let n be u(60). Which is greater: n or -2307?
n
Suppose -2*z + 13*z - 220 = 0. Suppose z*m - 1034 = -2*m. Is 46 less than or equal to m?
True
Suppose 171 = -h - a + 911, -h + 5*a = -734. Which is bigger: 736 or h?
h
Suppose 73*a - 58*a = 60. Suppose -5*t + 0*t = a*k + 6, 5*t + 12 = 2*k. Is k bigger than -2/93?
True
Let t be 16/((693/234)/(-11)). Let k = 21863879066/329 + -66455500. Let r = k + t. Which is greater: r or -1?
r
Let h be -2*18/(-4) - 2. Let r(z) = -1 + 0*z + 5*z + 5*z + 22 - 13*z. Let j be r(h). Is j less than or equal to 2/15?
True
Let c be -1 - (-12)/2 - (-4)/(-4). Let r = 3 - 3. Suppose -c*j + 9 + 3 = r, 4*o + 5*j - 3 = 0. Which is greater: o or -6?
o
Let i(h) = -232*h + 7237. Let a be i(31). Suppose 3*p - 66 = 4*c + 489, 5*p = -2*c - 245. Let m be a/c*(2/(-4))/(-1). Is -0.3 less than m?
True
Suppose -27*r + 23*r = 4. Let i be -4*(2 - (r + (3 - 5))). Suppose -114 = 19*h - 13*h. Are h and i nonequal?
True
Let k = 2480 - 2605. Are k and 8/5 nonequal?
True
Suppose 8*c - 256 + 16 = 0. Let o be ((-4)/(-28)*1)/1. Are o and c non-equal?
True
Let u = -265 + 120. Let d = u + 152. Is -3/2 <= d?
True
Let l = 2.6895 - 2.57. Let p = -0.0095 + l. Let b = -5.6 - -6. Which is bigger: b or p?
b
Let t = -2/93545 - -3779224/280635. Let h = t - 2963/210. Which is smaller: h or -1?
-1
Let k be -3 - 2/6*(-30 + 9). Let n be (8/(-6))/2*6/k. Let o be n/(32/12) - -3. Is o less than or equal to 3?
True
Let a be -57 + 50 + 236/34. Let r be (2/4)/((-2)/(-12)). Suppose 0 = -2*x + 5*x - r. Which is greater: x or a?
x
Let k = -8307 - -8308. Which is smaller: -1/10740 or k?
-1/10740
Suppose 0 = 69*g + 61*g - 102180. Is g > 5?
True
Let c(u) = 2*u - 12. Let q be c(7). Suppose -445 + 37 = -q*z. Let k be 1/4 - ((-177)/z + 1). Is 1 at most k?
False
Suppose 83*g = -4*t + 82*g + 2667, -4*t = 5*g - 2679. Is t <= 663?
False
Let q be -3 + 2 - 36/(-12). Suppose -s = 5*k - 28, 0*k = q*s - 4*k + 14. Suppose -c - 3*n - 27 = 0, c + 0*n + 15 = s*n. Are -21 and c non-equal?
False
Suppose -16*i + 20 = -14*i. Suppose -2*f - 2*f = -3*z - i, 4*z = -2*f - 6. Let r be (f - 6/(-2))*3/33. Is r smaller than 0?
False
Let h = 12065 - 10082. Which is bigger: h or -2?
h
Suppose 53 = l - m, 1 = l + 4*m - 37. Suppose 5*z - 195 = 5*n, 2*z + 0*z + 5*n - 113 = 0. Let a = z - l. Is -0.4 <= a?
False
Let t be (0 - 1)*(2 + 0 + (-21318)/10296). Is 1 != t?
True
Suppose 0 = -t - 5*n + 2*n - 388, 4*t + 3*n = -1570. Which is bigger: -401 or t?
t
Let z be 4 - 2 - 105/((-42)/6). Suppose -4 = p, x + 5*p - z = -6. Which is greater: 1 or x?
x
Let n = -3339 - -3425. Let p = 143.3 + -25.3. Let t = p - n. Is t < 0.2?
False
Let x(t) = 4*t**3 - 30*t**2 - 21*t + 41. Let k be x(8). Which is bigger: k or 2/21963?
k
Let z(g) = -49*g - 74. Let d be z(4). Let k = -254 - d. Do 11 and k have the same value?
False
Let l be (-268940)/(-805) - (-4)/(-184)*4. Are 344 and l nonequal?
True
Suppose -13*v + 125*v + 53312 = 0. Which is greater: -479 or v?
v
Let m be (0 + (-5 - (-4326)/4))/(1/(-2)). Which is bigger: -2157 or m?
m
Let j = 357823/28553410 + 3/44966. Which is smaller: j or 0.1?
j
Let v be (70/21)/((-1)/3). Let k be ((-8)/(-1980))/((-2)/v). Let m = -3061 - -3062. Which is greater: k or m?
m
Let t = 1404 + -1521.8. Let p = t + 118. Is -81 bigger than p?
False
Let l be 1762/102 - (-23 + 41). Is 2/7 > l?
True
Let q = 29 - 27. Let v be q - (-4 + 7) - 60/(-4). Is v at least 1?
True
Suppose 0 = 16*x - 8*x + 208. Let b(d) = 25*d. Let w be b(-1). Does w = x?
False
Let u = 528 + -93. Le