+ 1.039. Let m = -838.016 + o. Is m smaller than -5/2?
False
Let f(a) = -a**3 - 31*a**2 + 67*a + 30. Let u be f(-33). Let c be (u*(-273)/(-7))/1. Is -116 greater than c?
True
Suppose -3*m + 0*m + 260352 = -99*m. Which is smaller: m or -2710?
m
Suppose w + 5 = 0, -i - 2*w - 2 = 2. Suppose i*a - 5 = -y + 7*a, -21 = -4*y + 3*a. Suppose -4*t - y = -l + t, t = -2*l + 1. Is l greater than -1/43?
True
Let r(q) = -22*q - 998. Let g be r(52). Is g <= -2141?
True
Let f = 65 - -43. Let q = f + -1081/10. Suppose -4*a + 5 = -8*a + z, -5*a - 8 = -3*z. Is q <= a?
False
Let p be -328 - 16*(-2 - 30/(-12)). Which is smaller: -1 or p?
p
Let g(b) = b**3 - 3*b**2 + 2*b - 6. Let l be g(3). Suppose l = 12*i - 8*i - 28. Let w(x) = -x**3 + 6*x**2 + 8*x + 4. Let u be w(i). Does u = 10?
False
Let h = -2176 - -2175. Is h < 5/496?
True
Let l(v) = v**3 - 12*v**2 - 11*v - 18. Let x be l(13). Let g = 6 - 0. Let k be (-15*x/12)/g. Does k = -0.2?
False
Let i(j) = 105*j - 2463. Let n be i(26). Is n >= -6/7?
True
Let j = 7.51 - 6.36. Let u = j + -1.59. Is u bigger than 0?
False
Let m(t) = -5*t + 5. Let c be m(0). Suppose -a = 2*k - c*a + 56, 3*a = k + 29. Let f = -57 + 32. Do k and f have different values?
True
Let f be -1 + 1475/(-100) - -16. Which is greater: 83/6 or f?
83/6
Let f be -2*(-2)/16*24/6. Let z be f*-4*(-3)/60*-34. Let c = z + 3152/465. Is 1 > c?
True
Let n = 430 + -390. Suppose 0*r - 4*w + 25 = r, 0 = -2*r + 5*w + 89. Suppose 6 = r*o - n*o. Is 0 at least o?
True
Suppose -4*b - 5*u = 26, -2*b - 4*u - 2 = 14. Let p be (-11)/(-33) + (480/9)/b. Is p smaller than 1/9?
True
Suppose -3*r = 15, -5*r + r - 125 = 3*w. Let j = -106/3 - w. Is 7 greater than j?
True
Let t = -0.757 - -0.557. Is 190/9 >= t?
True
Let b be 28/6*(-495)/20*-2. Suppose -4*j + b = 247. Are j and -4 equal?
True
Let d = -81 + 74. Do 399 and d have the same value?
False
Let g = -3 + 2. Let c = 0.4299 - -1051.3701. Let a = -1051 + c. Are g and a unequal?
True
Let w = 150 - 150.148. Let n = -0.053 - w. Is n less than or equal to 0.1?
True
Let x be 2*(3 - 28/(-8)). Suppose 0 = 18*j - 5*j - x. Let t be 3/(252/345) - 4. Which is smaller: j or t?
t
Let i = -56146024/2425 - -23153. Let b = -4531/773575 - i. Is b smaller than 1?
True
Suppose 12 = -4*b, 0 = 4*v - 2*b - 0 - 14. Let l be (-8)/3*v/24. Suppose -6*i + 23*i = 17. Is i at least l?
True
Suppose -f + 46 = -3*r, 54 = 3*f - 2*r - 98. Let d(y) = y**3 + 2*y**2 + y. Let i be d(3). Suppose c = f - i. Is 4 at most as big as c?
True
Let h = 202 - 157. Let k = -50 + h. Which is smaller: -0.17 or k?
k
Let a = 2397 - 3259. Which is bigger: -864 or a?
a
Let n = 44.3 + -40. Let x = 363785/627 - -237/209. Let b = x - 581. Which is bigger: n or b?
n
Let r be 54/(-5832)*(-1 - (-7)/3). Suppose 3*y = 5 - 8. Which is smaller: y or r?
y
Let v = 6749 + -6750. Is v greater than -5/1567?
False
Let f be 609/(18/(5 - 131)). Which is smaller: f or -4265?
-4265
Let b = -10553/16800 + -1/2400. Suppose 15 = -5*t - 5*s, t - 2*s - 8 = -5. Do b and t have the same value?
False
Suppose 0 = 3*u + 4*r - 350 - 81, 5*r = 2*u - 318. Is u smaller than 31?
False
Let y = 0.15 + -0.09. Let o = -2.06 + y. Let n = 651 - 613. Which is greater: o or n?
n
Let s = -31659.48 + 31659. Which is smaller: s or -0.12?
s
Let c(d) = 2*d**2 + 73*d + 122. Let g be c(-35). Suppose g*q = 26 + 59. Is 9 at least as big as q?
True
Let s be ((-10)/1)/((-20)/2). Which is greater: s or -29/74?
s
Let o be (3/(-5) - -1)/(13/(-390)). Suppose 8*t - 2*m = 9*t + 11, 4*t - 4*m + 20 = 0. Is t equal to o?
False
Let z = -61 - 71. Let y = -131 - z. Which is smaller: y or 11?
y
Let b be (18/(-55))/(621/135 - 33). Which is smaller: -1 or b?
-1
Let k be (24/(-14))/(-6) + 1674/21. Let i = k + -80. Which is smaller: 30/23 or i?
i
Suppose -2*a = -4*t + 210, -12*a + 15*a - 49 = -t. Are 100 and t unequal?
True
Let y be (-2)/((-86)/30 + 3). Suppose -83 = 5*j - 3*q, 3*j - 89*q + 84*q + 53 = 0. Does y = j?
False
Suppose 4*w - 48 = 5*i, 4*i + 58 = 3*w + 23. Let y(n) = n**3 - 14*n**2 - n + 30. Suppose 14*f = 6*f + 112. Let l be y(f). Is w greater than l?
True
Let j = 39 - 39.23. Let m = -0.0297 + 21.1297. Let w = m + -21. Which is bigger: j or w?
w
Let v be ((-22)/8 - 47/94)*-4. Let u be (-115)/(-4) - (v + -7 + -7). Is u less than 31?
True
Let d(x) = -x**2 - 24*x - 50. Let j be d(-20). Let r be 10*((-837)/36)/(j/(-16)). Let q be (((-16)/20)/(-4))/(r/(-5)). Which is smaller: 0 or q?
q
Let t = -254 - -418. Let l = 163.71 - t. Which is smaller: l or 0.1?
l
Let p = -14 - -24. Suppose p = 6*q - 14. Let h be (q/(-10))/((4 - 3)/(-1)). Which is greater: h or 2/3?
2/3
Suppose -21*r - 108 = -25*r. Let v be 2*(-4 + r/6). Which is smaller: -2/85 or v?
-2/85
Let x = 12589 - 138530/11. Is x smaller than 0?
True
Suppose -2*h + 280 = -3*w, -30 = -5*h - 5. Let t(m) = m**3 - 2*m**2 - 2*m. Let f be t(3). Let i be (27/w)/(f/4). Is i at least 1?
False
Let m = -266.175 - -266. Let i = m - 80.825. Which is smaller: i or 1?
i
Let z(r) = 55*r + 176. Let p be z(3). Is 341 bigger than p?
False
Let f be (-3)/4*(-2)/87. Let o(r) = -29*r**3 - 2*r**2 + 6*r + 1. Let m(u) = -5*u**3 + 1. Let v(n) = -6*m(n) + o(n). Let w be v(1). Which is bigger: w or f?
f
Let x = 541 - 4337/8. Let v = -203 + 203.04. Which is greater: v or x?
v
Let c(i) = -i**3 + 15*i**2 - 16*i + 20. Let r be 18 + (-8)/(4/2). Let l be c(r). Let z be ((-74)/4)/(2 + 12/l). Which is smaller: -35 or z?
z
Let r = -637 - -639. Suppose -161 + 5 = r*t. Is t <= -77?
True
Suppose -3*f + 472 - 178 = 18*f. Suppose -5*v - 3 = 2. Let m = v - -15. Is f at most m?
True
Suppose 72 = -13*j + j. Let f be (102/15 + j)/((-41)/5). Which is smaller: 0 or f?
f
Let y be 39/(-162) - (1 - (-8)/(-12)). Let n = 13/27 + y. Do -1 and n have different values?
True
Suppose 3*u - 10 = -2*u - 3*i, -5*i + 25 = 0. Which is smaller: 1/202 or u?
u
Let o(d) = 151*d**2 - 19*d - 289. Let g be o(-11). Let p = -673027/37 + g. Are p and 0 equal?
False
Suppose -7*x - 14*x + 63 = 0. Suppose x*d = 4*t - 18 + 12, -2*t + 2*d = -4. Which is smaller: 12/77 or t?
t
Let g = 9 - 57. Let y = -86 - g. Let a = y + 38.6. Which is smaller: a or -0.1?
-0.1
Let y be 64 + -67 + -1 + (0 - -1). Let o be -1*y/(-21)*(-1364)/11. Which is greater: o or 17?
o
Let y(w) = 2*w**3 - 18*w**2 + 23*w - 14. Let d be y(8). Let a = -0.13 + -2.87. Which is smaller: a or d?
a
Let p = 3 - -7. Let w = 0.1008 + 29.8992. Let d = p - w. Which is greater: 0 or d?
0
Let r(p) = -p**2 - p + 7. Let f be r(3). Let i be f/(45/12)*(-2)/192. Let m = i - 11/216. Which is smaller: m or 1?
m
Let a = -1190 - -1198. Which is greater: -587 or a?
a
Let i = -1463 + 1461. Do i and 313 have different values?
True
Let o = 57 - 56. Let r be 2 - o - -2 - 57/27. Let b = 0 - -2. Are r and b nonequal?
True
Suppose -177*v - 5*m + 380 = -172*v, -5*v + 5*m + 360 = 0. Which is smaller: 5 or v?
5
Suppose 10*k - 2*k + 464 = 0. Let n = -98 - k. Let o = 55 + n. Which is greater: o or 16?
16
Suppose 0 = 9*g - 5*g - 8. Let y be -2 + 4 + 1 + -1 + g. Suppose 2*s = -2*q, 14 = -y*q - 0*q + 3*s. Which is smaller: -14/11 or q?
q
Let u = -3345 + 3345.37. Is u <= -0.5?
False
Let a = 0.0463 + 19.1537. Let g = -25.2 + a. Is -0.06 > g?
True
Let b = 20 + 6. Let d = b + -25. Let j be (d - (44/12 + -2))*-1. Are j and -1/3 nonequal?
True
Let k = -2.07 + 2.66. Let f = -2.41 - k. Which is bigger: 53 or f?
53
Let d be 5/((-340)/76) - (-1)/1. Let h = d + -9/68. Let x = 47.15 - 47. Is x equal to h?
False
Let n = 13094 + -13093. Which is bigger: 45/808 or n?
n
Let x = -1.27 + 0.05. Let a = x + -1. Let v = -0.22 - a. Which is smaller: v or -1?
-1
Suppose 0 - 8 = -4*f. Suppose -f*v = 2*v - o + 5, -15 = -v - 3*o. Let c be 3/(1 - (-6 + 6)). Which is greater: c or v?
c
Let c be (6/8)/(366/488). Let p = -11 - -8. Let f be 16/p*84/(-16). Which is smaller: f or c?
c
Suppose 42*t = 4*y + 41*t, 0 = y - 5*t. Let a be (y - (-30)/11) + -4. Is a at most -1?
True
Let s be (-1 - -22)/7*(-1 - 0). Let o be s + 30/(-20)*1*-2. Which is smaller: -2/153 or o?
-2/153
Let z be 864*(14 + (-58)/4). Is -435 less than or equal to z?
True
Let f = 1.484 + 4.486. Let i = f - 6. Suppose 3*n = 12, g = -21*n + 26*n - 22. Is i bigger than g?
True
Let o(d) = -3*d**2 + 3*d - 3. Let j(m) = -m**2 + m + 7. Let t be j(3). Let c be o(t). Let s be c*9/(-6)*2 + -2. Is s less than or equal 