 than o?
False
Let n(g) = -23*g - 45. Let t be n(-2). Which is greater: 16/97 or t?
t
Let c(m) = m**3 - 8*m**2 - 8*m - 10. Let j be c(9). Let u be 2/j*(-3 + 2). Suppose 0 = 2*b + u*d - 54, 2*d - 35 = -b + 3*d. Is 32 <= b?
False
Let b be 1*1/112*-3. Let v = b + 5/16. Let w = -813 - -812. Are w and v non-equal?
True
Suppose 9*q - 7*q = 32. Suppose 2*v + 3 = 5*t - 5, 4*v - 3*t = -q. Which is smaller: -17/5 or v?
v
Let u = -89.79 - 9.21. Is u > -0.1?
False
Suppose -3*h - 699 = 2*h - 4*x, 0 = 4*h + x + 576. Let i be (-1 - 3)*h/4. Let s be (-3)/5 + i/55. Is 0 less than s?
True
Let h = 114 + -219/2. Let u(g) = 3*g**2 + 157*g - 156. Let m be u(1). Is m > h?
False
Let j be 24/9 + -3 - (-4669)/21. Is j at most as big as 221?
False
Let y = -3 - -311. Is y bigger than 1/6?
True
Let m = 2006 + -1814. Which is greater: 197 or m?
197
Suppose -133*x + 129*x + 60 = 0. Which is smaller: x or 44/3?
44/3
Let i = 47 - 49. Let k be i*(-3)/16 - 375/1032. Is k < 1?
True
Let n be (-1 - -2)*(3 - 2). Let m be 30/(-486)*(-4)/20. Is n smaller than m?
False
Let o be 7/28 + (-31110)/(-8). Let d be o/335*(-3)/9. Let t = d - -14/201. Is -4 less than t?
True
Let w = 257.99 + -269.007. Let b = -0.017 - w. Let r = 2 - 2.1. Which is bigger: b or r?
b
Let w(u) = -42*u - 38. Let r be w(-1). Let f = 6 - 2. Is r != f?
False
Let q = 1 + -1. Let a = -26.84 - 0.16. Let i = 25.9 + a. Which is smaller: q or i?
i
Suppose -6 = -3*k - 3*j, -4*k + 4*j - 16 = 2*j. Let o = 14 - k. Which is bigger: 15 or o?
o
Let l = -6 + 22. Let s be 4/l + 166/8. Which is smaller: 20 or s?
20
Let n = 16 + -11. Let b be (-153)/408 + 5/8. Do b and n have different values?
True
Let y be 30/8*(-32)/(-12). Let k = y + -8. Let b = 14 + -14.07. Which is greater: k or b?
k
Let p = -13.5 - -8. Let q = p + 3.5. Is q smaller than -3/7?
True
Let s = 3.7 + -3.67. Let f = s + 0.07. Which is smaller: f or 0.12?
f
Let i = 68 + -65. Let p be ((-1)/18)/(i/(-60)). Which is bigger: p or 2?
2
Let b be 7 - ((-8)/(-4) - 1). Suppose 0 = -2*z + 3*y - 19, 3*z + 15 + b = 2*y. Let n = 10 + -16. Is z > n?
True
Let z = -9 + 19. Which is greater: -9 or z?
z
Let q be 14/(-1 + 3) + -3. Suppose n + n = m - 58, -3*m - q*n = -134. Suppose 5*l + m = -0*l. Is -11 less than l?
True
Suppose -2*t + 2 = -7*t - 2*p, -2 = -t + 2*p. Let y = -1/4 - -19/108. Does y = t?
False
Let r = -4919/4 + 1230. Is 542 bigger than r?
True
Suppose 0 = -7*y - 0 - 7. Let i be (y - 22/(-8))*-24. Which is smaller: i or -43?
-43
Suppose h = -4*h + 60. Let d = h + -4. Let n be (-3)/(-2)*d/(-6). Are 0 and n non-equal?
True
Suppose -5*y - 6 = -3*m - 25, -y + 15 = 5*m. Suppose 0*o + o - 4*h + 3 = 0, 5*h - 10 = -y*o. Is o greater than or equal to 3/2?
False
Let o be (80 + 3)/(6/22). Let t = -307 + o. Let b be 3*((-40)/(-12) + -4). Which is smaller: t or b?
t
Let k = -879 - -567. Let h be 30/k - 3/(-12). Is h equal to -14?
False
Suppose -90*a + 96*a - 318 = 0. Is a greater than 48?
True
Let c(m) = -m**3 + 10*m**2 - 9*m - 87. Let d be c(7). Do -3 and d have the same value?
True
Let u = 1878 - 1795. Which is smaller: u or 586/7?
u
Let n = -16 + 18. Suppose 0 = -w - 3, m + 0*m - 3 = -5*w. Let f be ((m/(-21))/(-1))/1. Which is smaller: n or f?
f
Let o(l) = l**3 + 8*l**2 + 6*l - 13. Let k be o(-7). Is k smaller than -37/6?
False
Let s be -3 + 0 + (-13092)/(-2430) + -2. Let z = 1/81 + s. Do z and 23 have the same value?
False
Suppose 44*a = 39*a - 175. Is a greater than -31?
False
Suppose 4*p - 4*l = 228, 243 = 5*p - 4*l - 44. Let c = 38 - p. Is -87/4 greater than c?
False
Let z be 6/(-2) + 0 + 7. Which is smaller: 40/9 or z?
z
Let i be (2 + -4)*(-1)/8. Let o = -2 - -4. Let t = o + -1.6. Which is bigger: i or t?
t
Let k be (-9)/159 + 0 - 0. Which is smaller: k or 1?
k
Let w(q) = -q**2 + 33*q + 285. Let y be w(40). Is y <= 16?
True
Let l = -14 - -13. Which is greater: l or -1/7?
-1/7
Let s be 23/6 + (-1)/(-6). Let d be 21*(-2)/12*s. Let r = d + 25. Which is smaller: r or 12?
r
Suppose -3*w + w = -3*v - 1, 0 = w + 3*v + 13. Let n be (27*(-12)/(-63))/(w/(-42)). Which is smaller: 55 or n?
n
Let s be ((-2)/(-8))/((-22)/(-7832)). Are 90 and s unequal?
True
Let j be (-2)/3*-6 - (-11562)/(-2911). Is j equal to -1?
False
Let l = 6/9899 - -2969622/128687. Are l and 23 equal?
False
Suppose 1 = 2*w - 7. Let y = 13 + -8. Suppose 5 = i - y*z + w, 4*z = -i + 19. Is 12 greater than or equal to i?
True
Let g = -0.39 - -1.53. Let a = g - 0.94. Is a >= -2?
True
Let z = -114.23 + -0.77. Let v = z - -116. Which is smaller: 5.3 or v?
v
Suppose -27*r = -32*r + 100. Let c(t) = -2*t**3 - 18*t**2 + 18*t. Let d be c(-10). Are r and d equal?
True
Suppose 4*u = 105 + 103. Let z = -52 + u. Is -7 at least as big as z?
False
Let h = -26 - -10. Let k be (-1)/(-2 + (-36)/h). Which is smaller: -6 or k?
-6
Let r(i) = -i**3 + 6*i**2 - 6*i + 1. Let f be r(5). Let z be f/(-1 + 1 + -1). Is z not equal to 14/3?
True
Let o be ((-24)/(-32))/(2/(-432)*2). Is -83 less than o?
True
Suppose 17*c + 28*c = 0. Are c and -1/44 non-equal?
True
Let b = -7.81 - -28.21. Which is bigger: 2/7 or b?
b
Let o be (8 + -12)/(126/15). Which is smaller: 3 or o?
o
Let x(j) = j**2 - 14*j + 25. Let g(s) = -s**3 - 6*s**2 + 4*s - 10. Let r be g(-7). Let w be x(r). Is -9 > w?
False
Let u = 9923/5680 + -73/80. Let b = u - 6/71. Do -1 and b have the same value?
False
Let v be ((-38)/(-8))/((-3)/(-4)). Let g = 19 - 12. Which is smaller: g or v?
v
Let g = 1/60 + -11/2100. Which is bigger: 1 or g?
1
Let d = -1676 + 1756. Is d smaller than 72?
False
Let b be 4/5 + 3 + (-642)/15. Which is smaller: b or -38?
b
Let z(n) = 14*n**3 + 16*n**3 - 10 - 29*n**3 + 8*n - 5*n**2 - n. Let c be z(3). Let r be 2/6 + (-38)/6. Is c smaller than r?
True
Let h be 22/28 + (-22)/(-44). Let j(v) = -v**2 + 6*v - 3. Let n be j(5). Which is bigger: n or h?
n
Let i be (-4*18/(-40))/((-2)/10). Which is smaller: -13 or i?
-13
Let c = -0.18 - -3.18. Let z = 0 + c. Which is greater: z or 1?
z
Let r = -6 + 133/20. Are 2 and r equal?
False
Let f be 8/32 - 3581/(-1624)*6. Let d = f + 4/203. Is 14 < d?
False
Let r = -137 - -134. Do 10 and r have the same value?
False
Suppose -413*b = -422*b. Let f be (-2)/4 + (-5)/(-7). Do b and f have different values?
True
Suppose 8*u = 13*u + 5. Let z be 4/3 + (-4)/(-6). Let a = z + u. Which is smaller: 2/19 or a?
2/19
Let z = 31 + -16. Suppose -z*g = -16*g + 63. Which is smaller: g or 64?
g
Suppose -5*k + 42 = -4*t, -2*t - 19*k = -21*k + 22. Is t smaller than -264/19?
False
Let k = 3.9 + 0.1. Let z = 8 - k. Let d be 2 - 1 - (-33)/(-39). Do z and d have the same value?
False
Let h = -192 - -181. Which is smaller: -5 or h?
h
Suppose 102*z - 1 = 101*z. Let c be 82/(-6)*24/22. Let j = c - -5762/385. Is z greater than j?
True
Let z = 0.12 + -0.32. Let v = 0.1 + z. Which is greater: v or 9/7?
9/7
Suppose 5*i + 3*g + 2701 = 0, -5*i - 2704 = -24*g + 26*g. Is -541 bigger than i?
True
Let n(z) = 49*z**3 - 3*z**2 - 3*z. Let j be n(-1). Is -50 less than or equal to j?
True
Suppose -114 = o - 122. Is 100/13 equal to o?
False
Let y = 1.158 - 0.138. Is -1/3 smaller than y?
True
Let u = -2 - -3. Suppose 27*a - 16*a - 66 = 0. Let i(g) = -6*g + 25. Let x be i(a). Which is bigger: u or x?
u
Let g = -169/184 + 24/23. Which is greater: -1 or g?
g
Let g = -2 - -1.9. Let d = 0.1 - g. Let m = 0.037 - -0.063. Is m at most d?
True
Let x = -96 + 96.01. Is x greater than or equal to 1?
False
Let n = 3 - -8. Suppose 2*r = -n*r + 52. Which is smaller: r or 5?
r
Suppose 0 = 2*u - 3*b - 13, -2*b = -0*u - u + 9. Let o be -13 + (u - (-2)/(-1)). Let s = 15 + o. Which is bigger: s or 1/5?
1/5
Let p = -989/10 - -99. Let c = -1972.98 + 1973. Is c <= p?
True
Let h be 1/(-4) + (-7)/4. Let d be (-1 - 8)/(-3) + h. Suppose 4*j + 4*m - 33 = -d, -m = -3*j + 4. Is j smaller than 0?
False
Let c = -15 + 70. Which is greater: c or 1?
c
Let z = -498 + 492. Let v(q) = -q**3 + 5*q**2 + 4. Let s be v(5). Suppose 3 = -s*p - 1. Is z >= p?
False
Let m = 10 + -6. Suppose m*v - 25 = -5*y, 0 = 2*y - y - 1. Let k = 309 + -305. Which is smaller: k or v?
k
Let j be -6*28/6573*(-2)/(-8). Which is smaller: 0 or j?
j
Let z = -9.3 - -9.385. Let j = z - 1.385. Which is smaller: j or 1?
j
Let u be (-15)/(-5)*1*1765/15. Is u at most as big as 355?
True
Let r = 270 - 294. Is -24 at most as big as r?
True
Suppose 0 = 23*v +