0. Let x = j + y. Is x <= 0?
False
Suppose -b - 472 = 5*h, 0*b + b = h + 98. Let m = h + 233. Suppose -8*a - m = -26. Which is bigger: a or -11?
-11
Let k = -690 + 460. Let m = 205 + k. Let a be 4 + -5 + -23*1. Are m and a nonequal?
True
Let g be 740/(-2782) - 4/(-26). Let f = 2221 + -2221. Which is greater: g or f?
f
Let d = 343.24 + -355. Let h = 586 - 574. Let y = d + h. Is y greater than -0.1?
True
Let s = -17.3 + 17.06. Is s not equal to 216?
True
Suppose -425 - 244 = -y. Let k be y/39 - ((-24)/13 - -2). Suppose j = -k - 3. Which is smaller: j or -21?
-21
Suppose -a = -4*q + 108, 0*q + 2*a - 92 = -3*q. Let t be (808/(-16) - -8)/((-40)/16). Which is bigger: q or t?
q
Suppose -1529 - 4515 = -4*c. Let a be (-2)/2 + c/(-6). Let i = 252 + a. Which is smaller: -2 or i?
-2
Let k(r) = -92*r - 402. Let g be k(21). Is g greater than or equal to -2332?
False
Suppose 103 = 8*s - 17. Let u = s + -16. Is -64 at least u?
False
Let b(w) = 2*w. Let n be b(0). Let d be (4 - (3 - n))*(-4 - -4). Let q be -1 + 2 + (-11)/10. Which is bigger: d or q?
d
Let q = 242 + -93. Let d = -167 + q. Which is bigger: -14 or d?
-14
Let l = 1198.4 - -1225.6. Which is greater: l or 1?
l
Let i = -4.421 - 0.579. Let t = i - -6.45. Is t less than 1/4?
False
Let r = 8.592 - 7.07. Let j = r + 0.078. Which is smaller: 0.3 or j?
0.3
Let p(j) = -j + 0*j**2 + 6 + 3*j**2 - 4*j**2. Suppose 40*s + 25 - 44 = 61. Let z be p(s). Which is greater: z or -2/307?
z
Let d be ((-9)/45)/((-10)/50). Which is greater: d or 399?
399
Let w = -3.034 + 3.014. Which is bigger: w or 5.9?
5.9
Let i be ((-480)/45)/(((-220)/(-99))/(-10)). Suppose -r + 25 + 12 = 2*y, -3*r = -4*y - 151. Is r greater than i?
False
Suppose 0*i - 732 = 4*i. Let b = -30335 + 30152. Is b > i?
False
Let t = 554 + -415. Suppose t*b = 143*b - 760. Which is smaller: b or 192?
b
Let h = -0.2805 + 0.1775. Which is smaller: h or 10?
h
Suppose 3*a + 41 = -4*g, -3*g + 11*a - 15 = 8*a. Let w be 182/(-208) - 10/g. Which is greater: w or 0?
w
Let i(x) = -525*x + 1088. Let c be i(2). Is c less than or equal to 716/19?
False
Suppose h + 4*h = -5*n + 120, 3*h + 89 = 4*n. Suppose 17*m = n*m - 12. Suppose -3*b = -m*p + p + 14, 3*p + 3*b + 6 = 0. Do p and -3 have different values?
True
Let d be 2/18 + ((-39)/(-135) - 0). Let h be (-2 + (1 - 1))*(-15)/2. Let j be 3/h + 8/(-20). Is j less than or equal to d?
True
Let u be ((39/26)/(-1))/((-1)/186). Let w be ((-1)/((-2)/417))/(78/104). Do u and w have different values?
True
Let j be 1278/(-4 - -3)*(-64)/(-174). Let h = 470 + j. Let y = 0.2 + -0.2. Is y > h?
True
Let q = -2242 + 2761. Is 1 greater than or equal to q?
False
Let t = -36 + 32. Let k = 257 - 262. Let w be ((-1)/((-10)/k))/((-162)/t). Is -1 != w?
True
Suppose 35*p - 8*p + 251*p + 1112 = 0. Which is smaller: -175/58 or p?
p
Suppose 3*a - 33 = 3*f, 17 - 8 = -3*f - 3*a. Is f at most -159/26?
True
Let k be (-2 + (-34)/(-18))*1. Let x = 1761 + -1761.863. Let w = -0.137 + x. Which is greater: k or w?
k
Suppose 5*x + 76 = 4*n, -3*n + 4*x = -33 - 24. Let q(z) = -77*z - 704. Let c be q(-9). Let w = c + n. Is 8 equal to w?
True
Let u be 6 + 36/((-12)/2). Which is smaller: u or 49/143?
u
Let t(s) = 27*s - 1357. Let h be t(55). Which is bigger: h or 132?
132
Let o be (-1 + (-6)/(-9) + -1)*-99. Let z be 1/6 + 115/o + -1. Which is smaller: z or 1?
z
Let a = -530 + 358. Let k = a - -171. Which is greater: -3 or k?
k
Let g = 9301 - 9300.99624. Which is smaller: g or -2?
-2
Let p(b) = b**3 - 12*b**2 - b + 12. Let w be p(12). Suppose -y - 542 = g, -8*y + 10*y + 1081 = -3*g. Let s = -6005/11 - y. Are w and s nonequal?
True
Let q = -1898/17 + 16946/153. Let z = -0.4 - -0.58. Is z less than q?
False
Let w be 17 + (4 - (2 + 3)). Let f(t) = 4*t**2 + 14*t + 13. Let c be f(-6). Let i = 87 - c. Which is smaller: i or w?
i
Let g = 65.21 + -66. Let p = 14.21 - g. Is -4 not equal to p?
True
Suppose 10*g - 15*g + 3180 = -5*j, 2*g = 5*j + 1284. Does 632 = g?
True
Let u = -217 - -225.02. Let c = 0.03 - -7.97. Let r = u - c. Which is smaller: r or 2?
r
Suppose 0 = 2*p + p + 12, -424 = -3*v - 2*p. Suppose -v = -3*t + 633. Let w = -2069/8 + t. Which is bigger: w or 2/17?
w
Suppose 45*a = 5*i + 50*a + 22190, 4*a = -3*i - 13320. Is -4431 at most i?
False
Let l = 19 + -28. Let a = -1553/204 + -58/51. Which is smaller: l or a?
l
Let q = -0.7142 + -0.2858. Is q < -5919?
False
Let y = 30.924 + -10.924. Which is smaller: -63 or y?
-63
Let m(z) = -26*z - 1742. Let s be m(-67). Which is smaller: s or -3/5608?
-3/5608
Suppose -4*b - 617 = 3*o, 3*b = -23*o + 18*o - 1021. Which is smaller: -208 or o?
-208
Let v = -0.9045 + -0.1625. Let x = 0.067 + v. Let w = -47.035 - -0.035. Are x and w unequal?
True
Let n(r) = -r**3 - 21*r**2 - 36*r + 48. Let x = 585 - 604. Let y be n(x). Let v = 103707/11212 + 1/2803. Which is smaller: y or v?
v
Let n = -16669 + 16668.753. Which is greater: 1/54 or n?
1/54
Let t = -28940/24963 - 1/159. Which is greater: -1 or t?
-1
Let h be (-2)/(-5 - 161/(-35)). Suppose -15 = h*l + 5*t - 3*t, -5*t = 3*l + 28. Which is smaller: l or -1/12?
l
Let u = -11820 - -11516. Which is greater: u or -1516/5?
-1516/5
Let d = -361.782 + -0.218. Let g = -362.04 - d. Which is greater: -1/8 or g?
g
Let i = -84 + 75. Let g be 2/(-6)*i/(-12)*-148. Suppose -4*m - c = -143, -c = 3*m + 3*c - 91. Is g > m?
False
Let p(f) = 78*f**2 + 3*f - 3. Let a be p(2). Let c = -2217/7 + a. Let x = -74/35 - c. Which is bigger: x or 0.27?
0.27
Let l(v) = -v**2 - 7*v - 1. Let h be l(-5). Let i be 6/(2/h + (-385)/(-252)). Let a(f) = f + 1. Let o be a(1). Is o bigger than i?
False
Let x be 5026/(-6) - (62/6 + -10). Do -5 and x have different values?
True
Suppose 0 = -5*f - 5*z + 55, -z = -13*f + 12*f + 1. Let x(r) = r**2 - 20*r + 72. Let n be x(f). Is -20 at least as big as n?
False
Let t be 5/1 - 5346/8*(24 + -28). Is 2678 bigger than t?
False
Let v = -1037.191 + 1037. Is v at most 0.4?
True
Let h = 0.49 - 0.59. Let f = 129 + -129.82. Let b = 0.64 + f. Is h at most b?
False
Let i = -5406 - -6304. Which is bigger: 900 or i?
900
Let c = -6545 + 6546. Which is smaller: -1/4790 or c?
-1/4790
Suppose x - 6 - 1 = 0. Let k be (3/x)/(69/(-2)). Are k and -1 equal?
False
Let k be 4/(-10) + (-128)/(-320). Is k greater than or equal to -15/913?
True
Suppose 4*k = c - 747, 5*c - 184*k - 3609 = -182*k. Which is smaller: c or 5043/7?
c
Suppose -3*q = 2*n - q - 10, 0 = -n - 3*q + 3. Let r be ((-1)/2)/(3/n). Let a = -17211/440 + 430/11. Is r bigger than a?
False
Let a = 11 + -11. Suppose 0 = 3*d - a*d + 72. Let p = -4506 + 4484. Is p not equal to d?
True
Suppose 0 = -i - 4*b + 40 + 18, 2*i - 4*b = 140. Let k be -44*(i/(-20) + 4). Which is smaller: -30 or k?
k
Let n(s) = 115*s - 69. Let f be n(1). Suppose -315 = -f*c + 2215. Which is greater: 282/5 or c?
282/5
Let n be (42/(-28))/(2/(12/(-9))). Let b be (-5*n/(-5))/((-2)/50). Which is smaller: -24 or b?
b
Let t be ((-5)/(-1 - -2))/(-51). Suppose 2*d - 3*y - 38 = 0, 0 = -d - 2*y + 3464 - 3487. Which is greater: t or d?
d
Suppose 7*d = 85 - 22. Let g = d + 26. Let m = -45 + g. Which is bigger: m or -4?
-4
Suppose 0 = -h - 25 + 3. Let p(t) = 2*t**2 - 20*t + 40. Let s be p(17). Let f = -300 + s. Is h at least as big as f?
True
Let b be (54/44*-4)/(-5). Let r = -2138/385 + b. Let a = 6964 - 6970. Is a at most r?
True
Suppose -9235 - 2317 = 38*b. Is -302 greater than b?
True
Let q be 36/(-260) + 6/10. Let d = -53383.7 + 53383. Which is bigger: q or d?
q
Suppose 39*h + 5*s - 133 = 38*h, -2*h + s + 233 = 0. Is h greater than 119?
False
Let d = 1.14 + -1.14. Which is smaller: -72 or d?
-72
Suppose -5*f + 6*f = 3. Let o be f + 150/(-18) + 5. Suppose 2*y - y + 1 = 0. Which is smaller: y or o?
y
Let c(f) = -4*f**3 + 96*f**2 - 4*f + 142. Let y be c(24). Which is smaller: y or 94?
y
Let y be 25/(-100)*(-16 + 0). Let b be (112/104)/(-1 + -4 + y). Is b less than -1?
True
Let a(y) = -y**3 - y**2 - y - 2. Let t be a(-1). Let j be t/(-3) + (-10)/39. Let s = -3 + 3. Is s bigger than j?
False
Suppose 1218 - 308 = -13*n. Is -37 greater than or equal to n?
True
Suppose 66*g + 39 = -24*g + 129. Which is bigger: g or -2/1939?
g
Let w(c) = c**3 - 7*c**2 - c - 1. Let v be w(7). Let t(y) = 41*y - 331. Let o be t(8). Which is greater: v or o?
o
Let m = -44 + 48. Let p be (-386)/m + 3/6. Let v be (