*b**3. Let h be q(5). Is h at most 37?
True
Let v = -145/612 + -2/153. Suppose 2*s = 5*i - 139, -2*s = -0*s + 5*i + 89. Let q = -56 - s. Which is smaller: v or q?
v
Let g = 116.76 - 111.701. Let q = g - 0.059. Let v = 0.22 + 0.08. Is v equal to q?
False
Let s be (8/(-5))/((-6)/15). Let m be (s + 2)*8/(-2). Let c = m + 24. Is 1/9 at least c?
True
Let y be (5 + -11)*(-6)/(-9). Let j = y + 3. Let r = -185/8 - -23. Which is smaller: j or r?
j
Suppose 9*w - 1633 = -14*w. Which is smaller: w or 74?
w
Let z = 4978/35 - 871/7. Is z equal to 18?
False
Let p = -24.8 - -25. Let q = -7.7 - -4.7. Does q = p?
False
Let t(b) = 8*b**2 - 380*b**3 + 193*b**3 - 2 + b + 189*b**3. Let w be t(-4). Is 0 smaller than w?
False
Suppose -x + 3*r = -71 - 19, 440 = 5*x - 5*r. Let z = x - 90. Are 0.14 and z nonequal?
True
Let c be 1/3 + (-147)/9. Let j be 4/(-3 + 5) + 90. Let p be (-366)/j + c/(-4). Is p >= 1?
False
Suppose -2*u - 2*y = -0*y - 90, -3*u + 135 = y. Suppose 5*o - 5*d - u = 0, 4*o + d = -0*o + 56. Suppose 15 = 3*c, o = -6*r + 3*r + 2*c. Are -1 and r unequal?
False
Suppose 0*t - 2*a = -2*t + 114, -2*t = 3*a - 134. Which is bigger: t or 121/2?
t
Let k be 2528/(-1680) - (-6)/4. Is k greater than 1?
False
Let i = 0.51 - 0.19. Is i != -1/9?
True
Let x(h) = h**2 - 32*h + 121. Let a be x(8). Is -72 at most as big as a?
True
Let q be ((-2)/3)/(3/(-45)). Let n(w) = w + 18. Let y be n(-16). Suppose y = 4*b - 5*b, h - 2 = -4*b. Is h <= q?
True
Let w = 9 - 27. Let a = w + 21. Let c be (-3)/(-7) + a/(-9). Which is smaller: -2/7 or c?
-2/7
Let m(y) = -y**3 + 7*y**2 - 4*y + 7. Let t be m(3). Is 30 equal to t?
False
Let o be (2 + 3)*(0 + 1). Suppose 4*n + o = -11. Suppose 19*p + 28 = 5*p. Which is greater: n or p?
p
Let v = -0.04 - 0.1. Let f = 0.13 + v. Which is smaller: 0.1 or f?
f
Let j = -15 - -8. Let f = j - -7.13. Let m = f + -0.03. Which is greater: 3 or m?
3
Let d = -42 + 540/13. Let w be (-14)/10 - (-2)/5. Which is smaller: d or w?
w
Let i be (-4445)/(-476)*2/(-15). Let q = i - 3/34. Are q and 0 nonequal?
True
Let x = -65/119 + 16868/31535. Which is smaller: x or -1?
-1
Suppose -3*h - h + 744 = 752. Let w = 3/568 - 6849/6248. Which is smaller: w or h?
h
Let m = 9 + -96. Let u be 1 + (m/18 - -4). Which is greater: u or 0?
u
Let t = -139 - -975/7. Which is smaller: t or 2/121?
2/121
Let y = 41 + -30. Let t be y/(-2) + (-14)/28. Let c be (1/t)/((-9)/(-36)). Which is greater: c or 0?
0
Let q be (2/(-26))/(1 + -2). Suppose 4*m + 2*y - 5 = 1, -2*m + 3*y - 1 = 0. Is q > m?
False
Let h be (-6)/(3*2/(-3)). Suppose 5*s + 8 = -h*s. Which is greater: 1/6 or s?
1/6
Let o = 1876 + -1877. Let h = 909814/227 + -4008. Do o and h have different values?
True
Suppose -3612 = 29*j + 3696. Which is smaller: -250 or j?
j
Let f(s) = -s**3 - 10*s**2 - 8*s - 2. Let v be f(-9). Let j(p) = 3*p + 34. Let z be j(v). Is z < -0.03?
False
Let d = 3 - 2. Let c = -1518435 - -36434641/24. Let a = c + 325. Do a and d have the same value?
False
Let v be (3/(-24))/(5/50). Let r(c) = c + 11. Let i be r(-9). Suppose -6 + 2 = i*g. Which is smaller: g or v?
g
Suppose 59 - 86 = -9*z. Which is smaller: z or 16?
z
Let b = -12 + 24. Let f be 1/(b/23) - 2. Let a = -3 + 2. Which is smaller: a or f?
a
Let a = 288 + -288. Let v = -6 - -8. Let t be -2*v/(-4) + -2. Which is greater: a or t?
a
Let k be -8 + 4 + (8 - 3). Which is smaller: 6/127 or k?
6/127
Let z be 51336/(-8559) + 6 + 0. Which is greater: 0 or z?
z
Suppose 12*t - 15*t = -153. Let j = t + -49. Is 21/19 less than j?
True
Let c = -0.0399 + -0.0601. Which is greater: -24 or c?
c
Let k = -26 + -107. Which is smaller: k or -137?
-137
Suppose 0 = -3*y - h - 18 - 22, 2*y = 3*h - 12. Let p(l) = -l**2 + 3*l + 1. Let d be p(5). Is y at least d?
False
Let m be ((-2)/4)/(3/6). Let g = 321747890/1771 + -1271650/7. Let q = 126/11 - g. Is m bigger than q?
False
Let p be (-10)/(-2) + 0 + (-759)/151. Are -1 and p non-equal?
True
Let i(c) be the first derivative of -2*c**2 - 2*c + 3. Let p be i(-1). Let u be -3 + p*12/(-8). Is u bigger than -7?
True
Let t = 922 - 942. Suppose -2*d + 0*d = 48. Let j be (d/t)/((-12)/75). Is j at most as big as -9?
False
Let v(n) = n**2 + 6*n - 3. Let a(g) = -3*g**2 - 12*g + 5. Let z(h) = 2*a(h) + 5*v(h). Let r = -27 + 32. Let o be z(r). Is 1 at least as big as o?
True
Let m(d) = d. Let c be m(6). Let v be 3/c*-3*-2. Suppose 2*i + 1 = v. Which is bigger: i or 7/4?
7/4
Let j = -143 + 559. Which is greater: 0 or j?
j
Let t be ((-162)/(-4))/(32/64). Which is smaller: 80 or t?
80
Let i = -143/365 - 3/365. Is 2/7 < i?
False
Let m(x) = x**3 - 11*x**2 + 8*x + 16. Let w be m(10). Let p be 2/2*(w - (-2 + -2)). Which is greater: 3/4 or p?
3/4
Suppose 0 = -2*d + 5*m + 65, -d - 5*m = -6*d + 140. Let x = -17 + d. Suppose -7*u + 2*u - 3*q = x, 0 = -5*q + 20. Is -5/2 greater than u?
True
Let u = 117 - 117. Let d be -1*3*2*1. Let i(j) = j**3 + 6*j**2 + 1. Let q be i(d). Is u at least as big as q?
False
Let m(x) = -x**2 - 15*x - 17. Let l be m(-13). Let c be 204/(-56)*(-24)/l. Let d = c + -66/7. Which is bigger: 13 or d?
13
Let j = 25 - 43. Let t = j + 20.7. Let l = t + -2.6. Which is bigger: l or -17?
l
Let a(v) = v**2 - 2*v + 10. Let n be a(9). Let j = 68 - n. Which is greater: -6 or j?
j
Let w = 28 - 13. Let v = -17 + w. Are -2 and v nonequal?
False
Let b be 5/(-3) - (-40)/60. Suppose -93 = 5*z - 23. Let o be (-4)/14 - 2/z. Is b less than o?
True
Suppose 10*d = 9*d + 3. Let y be (26/78)/(1/d). Which is smaller: y or -5/11?
-5/11
Let f(h) = -6*h - 52. Let o be f(-10). Suppose -12 = -3*g - 3*s, 5*s = 3 - o. Is g less than or equal to 5?
True
Let p = -7.7 - 6. Let n = p + 12. Let y = -3.7 - n. Is 11 at most as big as y?
False
Let b = -20.8139 - 0.4161. Let l = -21 - b. Let m = l + -15.23. Is 1/3 <= m?
False
Let o = -38.7 - -40. Which is smaller: o or -1?
-1
Let f = -474 + 504. Is 27 > f?
False
Let w be 6*(2/18)/(1526/(-84)). Does 1 = w?
False
Let m = -113 - -10. Let u = 111 + m. Which is bigger: 3 or u?
u
Let t(r) = r**3 - 6 - 3*r**3 + 7*r**2 + r**3 - 4*r - r. Let y be t(6). Let n be 12/(-3)*3/114. Is y at least n?
True
Let f be 0 - ((-1608)/32 - -9). Which is smaller: 40 or f?
40
Let u = 9 - -2. Let b be (-1)/1 - (-11 + u). Is b at most as big as 2/33?
True
Let a = 1.5 + -2.6. Let l = a - -1.06. Let h = l - 0.96. Which is smaller: 1/3 or h?
h
Suppose 10053 = 8*w + 989. Which is smaller: 0.1 or w?
0.1
Let d = 3991/7 + -682. Which is smaller: d or -112?
-112
Let w(m) = -1 + 7 - 2*m - 2 - 3. Let p be w(3). Let q = p + 4. Which is smaller: q or 1/12?
q
Let i be 19/4 + (-1)/(-4) - 168. Which is bigger: i or -165?
i
Let l = 22 + -17. Suppose 0*g - 6 = 2*g. Let p = g + l. Are 2 and p non-equal?
False
Let x be 2 + 0 + 24/(-14). Which is bigger: 9 or x?
9
Let o = -814 + 814.1. Which is smaller: o or 3/220?
3/220
Let s = 1 - 59. Do -56 and s have different values?
True
Let r(j) be the third derivative of j**4/8 + 7*j**3/6 + 7*j**2. Let y be r(-3). Let w be (y/(-6))/((-1)/3). Which is bigger: 2/37 or w?
2/37
Let q(r) = 7 + 3 + r - 9. Let b be q(-2). Let k be 0/(b - 4/4). Is k greater than 4/9?
False
Let n(c) = c**3 + 8*c**2 - 9*c + 2. Let q be n(-9). Suppose 4*o + 4*i = 32, -q*i - 20 = -4*o - 0*o. Let p be 3 + 1 + o + -4. Do 7 and p have the same value?
False
Let w = -686 + 689. Is w smaller than 56/25?
False
Let t = 140 + -135. Is 16 >= t?
True
Let j = 12148/7 + -1736. Let p be (-3)/6*2/1. Which is smaller: j or p?
p
Let n = 91 - 91. Let c = -13 + 5. Let t be (10/c)/(1/4). Which is bigger: n or t?
n
Let d = -35 + 35. Suppose d = 2*t + 2*t. Is -1/11 smaller than t?
True
Let p = -16 - 24. Let v = 20 - p. Suppose f = 5*f - 4*h - v, 3*h = -5*f + 35. Which is greater: 9 or f?
f
Let p be 0/2*9/(-216)*-8. Let y = 156 + -2493/16. Which is greater: p or y?
y
Suppose -8 = -3*z - x - 4, -z - 5*x = -20. Suppose -2*q - 67 - 31 = 0. Let s = q + 149/3. Which is bigger: s or z?
s
Let n = -443 + 27908/63. Which is smaller: 3/5 or n?
n
Suppose -p + 300 = 3*p. Let g be 1 - p/(-20) - 4. Which is greater: g or 1?
1
Let x = 0.29 - 0.09. Let w = 0.01 + x. Let z = w - -0.79. Is z greater than -2/53?
True
Let i = 5 + -6. Let x = i + 61. Let z be (-13)/(-15) - (-8)/x. Is z at least 1/28?
True
Let r be (-6)/(-28)*-2 + (-2398)/(-5236). Which is bigger: -0.2 or r?
r
Let y = 64/7 - 10. Which 