 o be 4 - (-2 + 5) - 9. Let j be ((-16)/(-14))/(o/(-28)). Let q be 0 + 6 + 8/j. Is 7 less than q?
True
Let u be -3*5/(-15) - 1. Let k be u/1*(0 - -1). Is k < 3?
True
Let x(u) = 4*u - 8. Let h be x(7). Suppose -r - 5 = 5*s, 2*s - 4*r - h = -s. Let o be (s + 0)/(-2)*1. Which is greater: -2/29 or o?
o
Let t(k) = -k**2 - 5*k + 1. Let j be t(-5). Let r = -697 + 4888/7. Which is smaller: r or j?
j
Let u = 168 - 170. Which is bigger: u or -189?
u
Suppose 2*v + 0 = 2*n - 4, -4*v = -3*n + 7. Let s = -13 + n. Let r be ((-8)/s)/(2/(-6)). Which is smaller: -3 or r?
-3
Suppose 2*z + 38 = -5*j, 32 = 7*z - 11*z + j. Let i be 16/24 - (-3)/z. Suppose 0 = -5*c + 2*d + 5, 6*c + 4*d + 23 = 3*c. Which is smaller: c or i?
c
Let y(a) = a**2 - 4*a - 59. Let q be y(-6). Which is bigger: 2.9 or q?
2.9
Suppose 5*h + 5*a - 130 = 0, -a + 24 = h + a. Is h bigger than 28?
False
Suppose 5*f = -0*f + 120. Suppose 4*g + f = -4. Let w = g - -5. Is w at most as big as -3?
False
Let w = -14.16 - 2.84. Are w and 5 equal?
False
Let a = -9503/49259 - 1/1589. Let j = 1 + 0. Which is smaller: a or j?
a
Let u = 51/265 + -15503/73670. Let q = u + 13647/1390. Is 9 less than q?
True
Suppose 3*l + 2 = -4*j - 5, 0 = 5*j + 3*l + 8. Which is smaller: j or 1/68?
j
Let l be (2 + (-110)/54)/(400/(-32)). Which is greater: -1 or l?
l
Let o be (-6 - 0) + (-46597)/(-7769). Are o and -1 nonequal?
True
Suppose 11*v = 354 - 376. Is v bigger than -46/39?
False
Let d = -17 + 42. Let l = -27 + d. Let r = 1363/5 - 275. Are r and l unequal?
True
Let i be 2/(-4) - 3/2. Let a be (3/1)/(3/i). Suppose 5*u + 1040 = -3*h + 1015, 0 = -5*h - 25. Is a < u?
False
Let d = -11233/8618834 + -1/11954. Which is bigger: d or -1?
d
Let h = 1/1237422 + -187470113/841446960. Let n = -30 - -2401/80. Let v = n - h. Which is greater: -1 or v?
v
Let g be 0 + 0 - (0 + -2). Suppose 0 = w - g*h, 6*w + 2*h + 60 = w. Suppose 0 = -5*l + 3*l - 18. Which is smaller: w or l?
w
Let t = 270 + -271. Let b = 1133/25 - 227/5. Are t and b nonequal?
True
Let p(t) = -67*t + 1123. Let n be p(18). Which is greater: -84 or n?
n
Let y(r) = r**2 - 72*r + 1049. Let v be y(22). Which is greater: v or -61?
v
Let b be (-3 - 3)/(9/(-12)). Suppose -3*s - s - b = 0, -n - 2 = 2*s. Suppose n*q + 24 = -3*q - i, 4*q + 4*i + 32 = 0. Which is smaller: q or -3?
q
Let s = 34 + -37. Which is smaller: 51 or s?
s
Let h = -102 - -93. Let u(s) = s**3 + 6*s**2 + 4*s + 3. Let m be u(-2). Let p = 2 - m. Is p at most as big as h?
True
Let w = 32.57 - -1.23. Let a = 34 - w. Let d = -0.15 - 1.75. Which is greater: d or a?
a
Let o be (-202)/29 + (-39 - -45). Are o and -1 nonequal?
True
Let t(c) = c**2 + 2*c - 1. Suppose 0 = -4*n - 5*f + 2*f - 12, -f - 4 = -2*n. Suppose n = -3*r - 4 - 5. Let j be t(r). Is 5/8 > j?
False
Let y = -36390/7 + 5220. Is y < 22?
True
Let v be 1 + (-302)/18 - 4/18. Let n = 10 + v. Which is smaller: n or -5?
n
Let v = -41 - -86. Which is smaller: 44 or v?
44
Suppose 5*a - 3*g = -4 + 11, a - 11 = 3*g. Let w = 66964/9185 - 756/167. Let s = w + -12/5. Is a > s?
False
Let i(t) = -t**3 - 15*t**2 + 142*t + 2131. Let l be i(-15). Let v = -4390638400/2569001 - -1907/32519. Let m = -1709 - v. Which is bigger: m or l?
l
Suppose -2 = 11*o - 13*o. Let a be ((-81)/(-24))/((-25)/(-30)). Let c = -19/5 + a. Which is greater: o or c?
o
Let i(o) = -o - 3. Let l = 11 - 19. Let w be i(l). Suppose 0 = -2*t + 4 + 2. Which is greater: w or t?
w
Let b be (-7 + (-182)/(-28))*28/(-18). Is b > 2?
False
Let t = -273 + 707/2. Let n = -4037/50 + t. Are n and -1 equal?
False
Suppose 4*p - 16 = 4*q, 54*q + 24 = -3*p + 51*q. Let b be ((-4)/(-10))/((-6)/40). Which is bigger: p or b?
p
Suppose -8*m + 54 = -226. Let c = -95 + m. Which is greater: -59 or c?
-59
Suppose -49*d = -52*d - 27. Is d equal to -1?
False
Let s = -140 - -34. Let k = s - -44. Do k and -61 have the same value?
False
Suppose -4*z - 4 = -6*z. Suppose -z*c + 12 = -20. Suppose -4*d + 2*y = -d + 11, 0 = 4*d - 2*y + c. Is d > 0?
False
Let g = 2.61 - 0.61. Which is bigger: 5/9 or g?
g
Let m(s) = 2*s**2 + 15*s + 7. Let x be m(-10). Let l = 46 - x. Is -10 bigger than l?
True
Let m(d) = d**2 - 17*d - 19. Let r be m(18). Is r smaller than -1/143?
True
Suppose 62*l + 3*o + 4 = 66*l, 3*l = o + 3. Is 52/69 at most as big as l?
True
Suppose -3*h + 9*h = 6. Is 0 less than or equal to h?
True
Let i be (-70)/(-21)*(-1 - 87/165). Which is smaller: -6 or i?
-6
Let y(c) = 3*c**3 - 31*c**2 - 22*c - 9. Let b be y(11). Let f be 2/2 + -3 + -5. Let r = -17 - f. Which is smaller: b or r?
r
Let d = 535 + -535.124. Is -3 equal to d?
False
Let t = 19 - 14. Let h be t*9/3 - 1. Suppose p - 3*p = h. Which is smaller: -5 or p?
p
Let z(l) = -23*l + 155. Let s be z(6). Which is bigger: 195/11 or s?
195/11
Suppose 3*l - 9 + 0 = 0. Suppose l*t = 2*t + 2. Let c be (6/(-3))/(14/(-8)). Which is bigger: t or c?
t
Let m = 87 + -108. Let k be 0 + (-6)/m - (-411)/105. Which is bigger: 4 or k?
k
Suppose -105*i = -287 - 343. Which is smaller: -13 or i?
-13
Let b be (200/260)/(2 + -1). Which is smaller: b or 1/3?
1/3
Let n = -771/218 - -4/109. Suppose 432 = 21*c - 5*c. Let o(s) = -s**2 + 27*s - 4. Let y be o(c). Are n and y equal?
False
Let g(d) = -d**3 - 2*d**2 + 5*d - 1. Let r be g(-4). Suppose -3*q + 51 = 5*o, 2*o + 5*q - 39 = -r. Suppose 3*x = -2 + 26. Which is greater: o or x?
o
Suppose -253 = 10*l - 273. Which is bigger: l or -0.51?
l
Let r = -104 + 97. Let q be r/((-35)/(-390)) - 0/1. Which is smaller: -77 or q?
q
Let y(b) = -b - 3. Let z be y(-7). Suppose 2*p = -p - z*g - 25, g = -4. Let t be (5/(-6))/(3 - (-22)/(-8)). Is t >= p?
False
Let x = -9 - -27. Let y be (-174)/(-54) + 2/(-9). Let s be (y - (-1 + 3))*17. Which is greater: x or s?
x
Let b be (0 + 1)*(2717/(-266) - -10). Let o(k) = -k. Let m be o(-2). Suppose -3*d = -3*q - 2*d + 8, -4*q = m*d + 6. Which is smaller: b or q?
b
Let b(h) = 4*h**2 + 2*h. Let d be b(-2). Let i(a) = -a**2 + 11*a + 13. Let t be i(d). Which is smaller: t or -8?
-8
Let s be 3 - (3 - 10/42). Let l = s + -4/7. Let b be 0 + 2 + 1*-3. Is l > b?
True
Suppose -10 + 20 = 5*b. Are b and 0 equal?
False
Let u = 16.53 - 17. Let q = u + 0.57. Is q at least 4?
False
Let k be (-9642)/48 - (-7)/(-56). Is -200 smaller than k?
False
Suppose 30*m + 18*m = -7152. Which is smaller: m or -2?
m
Let m = -5.37 + 5.43. Which is bigger: -2/61 or m?
m
Let k = 0.429 - -0.021. Let j = k - -0.55. Let w = 29 - 86/3. Which is smaller: j or w?
w
Let g be 9 - 8 - (-618)/(-154). Let j = g + 30/11. Is -0.04 > j?
True
Suppose -8*j = -9*j + 35. Let f = j + -17. Suppose 0 = 5*i + f + 7. Is -4 less than i?
False
Let w = 18 + 24. Let u = -38 + w. Which is greater: -1 or u?
u
Let s = -39/2 + 243/10. Is s at most 6?
True
Let t = 559 + -522.3. Let g = -37 + t. Is g > 1/5?
False
Suppose 2*n - 6 = 5*n. Let p = n + 1. Let h be (-6 + (0 - -16) + -9)/((-14)/10). Which is smaller: h or p?
p
Suppose k = -5*k - 96. Which is smaller: -49/3 or k?
-49/3
Let d = -268 - -252.9. Which is smaller: d or 0?
d
Suppose 20*u = 12436 + 6784. Are 960 and u non-equal?
True
Let h = 0.52 + -0.82. Let y = -61/4 - -143/12. Which is greater: h or y?
h
Let u be ((-2)/(-8))/(18/8). Suppose -16*k - 56 = -20*k. Suppose -y - 3*y - k = 5*w, 0 = 3*y - 2*w - 1. Which is smaller: u or y?
y
Suppose -4*c + 13*c = 252. Suppose 4*s - 3*a - 2*a = -44, 0 = -4*s + a - c. Is s less than or equal to 4?
True
Let n(a) = -a**3 + 2*a**2 - 9*a + 19. Let m be n(0). Which is smaller: m or 123/7?
123/7
Suppose -3*l + 6*l = 72. Let n be l/(-12) + (-3)/(-1). Let k be (9 - n)/(5 + -4). Is 8 at most k?
True
Let c(f) = -f - 6. Let q be 63/6*(-8)/12. Let w be c(q). Suppose 0 = -4*n - 3 - 9, -5*l - n - 3 = 0. Which is bigger: w or l?
w
Let w be -3*68/8*56/90. Let l = w - -1/5. Which is smaller: l or -15?
l
Let i = -1.2 + 0. Let o = 332 + -333.5. Let b = o - i. Which is greater: b or 0.1?
0.1
Let s = -24.4 + 3.4. Let p = s + 21.1. Which is greater: -0.24 or p?
p
Suppose -4*h = 5*c + 10, 5*c + 3*h + 4 = -1. Suppose -c*w - 2*w = -32. Suppose 5*x = 12 + w. Is x less than 5?
True
Let b = 30 + -96. Let f = b + 65. Is 48 != f?
True
Let a = 28 + -22. Let w be 2 + 2/(-4)*a. Which is smaller: w or -4/11?
w
Let y = -42.084 + 0.084. Let l = 42 + y. Let s = -0.1 - -0.1. Does s = l?
True
Let s = 11 - 5. Let z be -1*((s - 1) + (-3)/(-3)). Is