/(-54). Is g greater than or equal to 1/66?
True
Let l(n) = n**2. Let o be l(-2). Suppose -3 + 1 = d - 3*j, o*j = -12. Which is greater: d or -12?
d
Let v(r) = -r**2 + 26*r - 32. Let c be v(25). Which is smaller: c or -116/17?
c
Let n = -6.08 + 82.68. Let y = n + -67. Let v = y - 10. Does 3 = v?
False
Suppose 3 = r - 2*z, -r - 3*z + 1 + 2 = 0. Let a be 1*r*9/(-27). Let c be (-2 - -1)*a - 7. Is c not equal to -5?
True
Suppose -k = n + 2, 5*n + 15 = -4*k + 5. Let c be 1/2 - (1 - 6/28). Are c and k unequal?
True
Let q(i) = -i**2 + 75. Let b be q(0). Let o = b - 91. Which is smaller: -17 or o?
-17
Suppose -15 = -j + 48. Let t = -26 + j. Is t bigger than 38?
False
Let a = 108 - 120. Let f be 1 + 0 + 8 + -6 + a. Suppose -7 = -2*h - 5*x + 1, -4 = -2*x. Is h > f?
True
Let r(j) = -j**2 + 2*j + 2. Let f be r(-2). Let d be (14/42)/((-10)/186). Is d less than f?
True
Suppose -61 = -5*x - 16. Let p = x + 3. Suppose 0 = 37*q - 39*q + 22. Which is smaller: q or p?
q
Suppose 31 = 4*j - 5. Let p = 308 - 315. Let r be p/(-9) - (-2)/j. Are 1/6 and r equal?
False
Let o(v) = 206*v + 1629. Let g be o(-8). Is g < -16?
True
Let o = -1874 + 1901. Let j(r) = r**3 + 6*r**2 + 2*r + 6. Let q be j(-4). Which is smaller: o or q?
o
Let i be -2 + 3 - (-11)/(-17). Let o be (-17 - -19)/(-2 + 4). Which is bigger: o or i?
o
Let t = -106 - -92. Let a be ((-4)/t)/(11/77)*-1. Which is smaller: a or -7/3?
-7/3
Let t = -127.9 + 126.9. Which is bigger: 119 or t?
119
Let n = 0.1 + 0. Let u = 18390/19 + -968. Which is bigger: n or u?
n
Let g(v) = v**2 + 29*v + 79. Let p be g(-26). Which is greater: -2/153 or p?
p
Suppose 0 = -2*z + 5*z. Suppose 3*r - 5*u = 13, z*u + u = 3*r - 5. Which is bigger: -2/19 or r?
r
Let f be ((-32)/10)/(1 + 68/(-120)). Is -6 bigger than f?
True
Let v be (-7)/((-182)/(-69)) + (-12)/(-78). Is 9 greater than v?
True
Let o(m) = -m**3 - 5*m**2 + m - 7. Let x be o(-6). Let a(u) = 11*u**2 + u + 23. Let l be a(0). Is x smaller than l?
False
Let h be (-40)/(-5) - (-1134)/(-140). Do -16/9 and h have different values?
True
Let u(x) = -x**2 + 13*x - 15. Let t be u(11). Let j be 184/23 + -1*5. Is t less than or equal to j?
False
Suppose 2*u + 85 = 5*z, 3*z + u + 2*u - 30 = 0. Suppose -5*n = -10*n + z. Does n = 1?
False
Let q be (-143308)/(-1392) - (3/12 + 0). Let g = 308/3 - q. Which is smaller: -1 or g?
-1
Let s = -0.4293 + -22.7007. Let k = s + 23. Let a = 3.87 - k. Which is greater: -1 or a?
a
Let c be 0 + 9 + -2 - 1. Suppose c*q = 5*q. Suppose -k - 20 = 4*p, 4*p - 212 = 4*k - 232. Is k != q?
False
Let v be (-8)/3*189/(-42). Suppose -4*k + v = l - k, -5*l = -k + 20. Suppose 7 = 4*p - 1. Is p at most l?
False
Let s = -70 + 54. Let o be 4*(-22)/s + (-9)/(-6). Which is smaller: 2 or o?
2
Let b be 2/10 - (0 - 79/30). Is b greater than 2?
True
Let o = -0.1 + -1.9. Let m = 2.1 + o. Let b = 12.825 + 0.175. Which is smaller: b or m?
m
Suppose 77 = 2*w + 2*f - 7*f, 2*f - 118 = -4*w. Suppose -6*l + 4*k - w = -l, 0 = -5*l - 5*k - 40. Let h be (2 + l/3)*21. Is h at least as big as -7?
True
Suppose 0 = -2*r - 15*r - 136. Which is greater: r or -0.09?
-0.09
Suppose -21 = -u + 2*y, -5*y - 48 = -3*u + 17. Let j be u/10*(-48)/75. Is -1 at least j?
True
Let m = -17919778/1455 - -12316. Which is smaller: m or 1?
m
Let l = 0.057 - 0.677. Let t = 0.22 + l. Which is greater: t or 0.4?
0.4
Let f = -0.91 + -1.21. Let q = f - -2. Which is bigger: 0 or q?
0
Let r = 1 - 0. Let b = 14732/1989 + -296/39. Let a = b - 2/51. Which is greater: a or r?
r
Let n(c) = 85*c**3 - 6*c**2 - 6*c - 1. Let k be n(-1). Which is smaller: -88 or k?
-88
Suppose -2*l + 3*y - 28 - 19 = 0, 5*y = -2*l - 23. Is l not equal to -11?
True
Let k be 4/10*2130/2414. Which is smaller: -34 or k?
-34
Suppose 5*f + 1855 = -5*q, -3*q + f = 321 + 772. Is q bigger than -365?
False
Let d = 0.689 - 0.74. Let x = -2.949 + d. Which is bigger: x or -2/13?
-2/13
Suppose 14*c - 10*c + 275 = 5*n, -4*n - c + 220 = 0. Are n and 42 equal?
False
Suppose -184 = -10*h + 116. Which is greater: 31 or h?
31
Let c(g) = g**3 - 9*g**2 + 3*g + 49. Let b be c(4). Which is greater: b or -5?
-5
Let c = -12 - -13. Suppose -2*x = -3*d - 41, -c = -d + 3*x - 3. Suppose 6*m - 119 = 13*m. Is d bigger than m?
False
Let g be (-66)/54 - 1/(54/(-12)). Which is greater: -342 or g?
g
Let b(v) = -10*v + 26. Let n be b(11). Let p = -422/5 - n. Is -1 equal to p?
False
Let i be 20/16 - (-30)/(-24). Do i and -70/13 have the same value?
False
Let p = 1332 + -197135/148. Is p at most as big as 0?
False
Suppose -44 - 131 = 35*a. Are a and -9 nonequal?
True
Let x(u) = 3*u - 17. Let o be x(5). Let c = o + 4. Let r be 3/(-6)*(-4 + c). Are 1 and r equal?
True
Let j = -373/9 + 153995/3717. Which is smaller: 1 or j?
j
Let t = -15 - 1. Let s = -2 - t. Which is greater: 3 or s?
s
Let b = -10663/52 - -2058/13. Let d = -47 - b. Which is greater: -1.9 or d?
d
Let r = -2 - 0. Let d be (2 - 3) + (-2 - -4 - 2). Let a = r + d. Is -2 > a?
True
Suppose -5*d = -z - 1014, 19*z = 22*z - d + 3028. Is z >= -1009?
True
Let b = 11.7 - -0.3. Let d = 431.1 + -419. Let r = d - b. Is r bigger than 0.3?
False
Let u(g) = -g - 2. Let f be u(4). Let b(d) = d**3 + 7*d**2 + d - 3. Let n be b(f). Let y = -29 + n. Is y at least as big as 1?
False
Suppose 9*i - 4*i - 4*a = 350, 5*a = 5*i - 345. Suppose -4*q + 19 + 281 = 0. Which is smaller: i or q?
i
Let c be 495/(-55)*4/18. Which is smaller: -109 or c?
-109
Let b(l) = l**2 + 9*l + 3. Let u be b(-9). Let s = u + 0. Suppose 4*n - 2*z - 10 = 0, -s*n + 8 = 3*z - 4*z. Is -1 at most as big as n?
True
Let w be -5*(-3)/30*-4. Let l be w - ((-415)/5)/(1 + 0). Which is greater: l or 82?
82
Let r(p) = p**3 + 8*p**2 - 20*p - 2. Let u be r(-10). Let b(o) = o**3 + 3*o**2 + 4*o + 2. Let n be b(u). Which is greater: n or -13/6?
n
Let w be ((-2)/4)/(6/(-588)). Let d = w - 48. Which is greater: d or 3?
3
Let u = 1126 - 1107. Suppose 0*s + 6 = 3*s. Let j(o) = o**3 + 4*o**2 - 3*o. Let y be j(s). Does y = u?
False
Let w be ((-2)/(-385))/((-2)/80*12). Which is smaller: w or 0?
w
Let j be 1145/27000 - (-1)/((-3)/1). Let h = j - -11/216. Suppose -1 - 2 = -3*x. Which is smaller: h or x?
h
Let r(z) = -1774*z + 135. Let y be r(-1). Which is smaller: y or 1908?
1908
Suppose 173*t - 170*t - 11 = 2*o, 5*t + o - 1 = 0. Which is bigger: t or 16?
16
Let s be (-12 - (-189)/14)*(-4)/4902. Is s less than 0?
True
Let j be (-12)/(-30)*-10*30. Which is smaller: -119 or j?
j
Let z be 6/12*(-2)/1. Let i = 10 + -6. Suppose 3*t = i*d - 7, d - t - 8 = t. Are z and d equal?
False
Let h be ((-2)/6)/((-12)/(-1332)). Let q be 2 + h - 8/(-4). Let l be 1/2 - q/22. Which is bigger: 1 or l?
l
Let i = -1500/5201 - -2/743. Does i = -287?
False
Let w be (2 - (0 - -1))/(-1). Let s(b) = b**3 + b**2. Let c be s(w). Let g = -67/136 + -1/136. Which is greater: c or g?
c
Let p = 3 - -7. Suppose -5*f + 15 = z + z, -5*z = 0. Is f < p?
True
Let k = -105 - -111. Which is greater: k or -1/4?
k
Let v be 1/35*316 - 39/65. Which is smaller: 8 or v?
8
Suppose -7*z + 0 + 7 = 0. Is z <= -1/92?
False
Suppose -3*p + 5*c - 8 = 0, 16*p - 17*p - 31 = 4*c. Do -13 and p have different values?
True
Suppose -41 = 3*a - 167. Let z = a - 40. Does 2 = z?
True
Let g = 135 + -206. Which is smaller: g or -67?
g
Let v = -676.163 + 676. Which is smaller: -1 or v?
-1
Let t(z) = z**2 + 3*z - 11. Let j be t(-5). Let y be 32/(-14) - -2 - (-45)/819. Which is bigger: y or j?
y
Let h = 0.6 - 0.613. Let x = h + -1.087. Is x less than -1?
True
Let y = -1/4 - 1/4. Suppose 2*g - 3*t + 10 = 0, 2 = -3*g - g - 3*t. Which is smaller: g or y?
g
Let j = -0.053 + 3.053. Is j at least as big as 31?
False
Let z be 3 - (0/5 + 4). Let q be z/(-3) + (-91)/147. Which is smaller: -2/23 or q?
q
Let p = 75 - 129. Let s = p - -54.1. Which is smaller: -30 or s?
-30
Let d = -374729/11 + 34113. Let n = -46 + d. Let m(a) = a - 6. Let f be m(7). Is n >= f?
False
Let o(t) = t**3 + 2*t**2 - 4*t + 26. Let d be o(0). Suppose -j + 0*j = 5*m - 23, 0 = -4*m + 3*j + d. Which is greater: 9 or m?
9
Let u = -0.078 - -0.408. Let h = -0.19 + u. Let g = 0.3 - h. Do g and 1 have the same value?
False
Let a = -409.92 + 467. Let d = a - 62.1. Let r = 5 + d. Is -0.2 at least as big as r?
False
Suppose -w + 3*w + 10 = 0, -4*f - w = -3. Which is greater: f or -46?
f
Let v = 11914 - 59052/5. Let l =