) = -h**2 - 12*h. Let p be r(-12). Which is smaller: -2/563 or p?
-2/563
Let p be (1/(-44))/((-24)/321). Let q be ((-2)/128)/(6/(-12)). Let r = q - p. Is 1/2 greater than or equal to r?
True
Suppose -2*t - 329 - 7 = 0. Which is smaller: t or -169?
-169
Let g = 18 + -24. Let f be 4 + 40/12*g. Is f less than -15?
True
Let m be 0 - (((-865)/(-25) - -1) + -2). Is m equal to -34?
False
Suppose -3*f = -4*z - 61, -34*z + 5*f = -38*z - 69. Are -17 and z unequal?
True
Let i be ((-1)/((-4)/6))/(30/3680). Suppose -5*v = -5*h + 340, 3*h + 5*v - i = 4*v. Is 63 <= h?
True
Suppose 17*b = -x + 20*b + 176, -2*x + 5*b + 349 = 0. Which is greater: 168 or x?
168
Let b = 20.9 + 50.5. Which is smaller: b or 2/5?
2/5
Suppose 777 = -19*s + 26*s. Which is bigger: -4/3 or s?
s
Suppose -4*l + 43 = 191. Let j = 70 + l. Is 32 smaller than j?
True
Let c = -332.79 - -333. Is -0.1 >= c?
False
Let i = 584/2547 - 2/283. Is -17 != i?
True
Suppose -2*u + 2 = 4*g, 5*u = 4*g + 1 + 18. Is 3/83 greater than g?
True
Let z(x) = x**2 - 12*x + 25. Let b be z(10). Suppose -p + 3*s = s - 17, 3*p = b*s + 55. Is 24 equal to p?
False
Let y be (-212)/26 - (-2)/13. Is -8 < y?
False
Let c(t) = 2*t**2 + 10*t**2 - 11*t**2 - 5 + 0*t - 4*t. Let z be (-2)/(((-5)/2)/5). Let y be c(z). Is -3 != y?
True
Suppose 5*n + p = -732, 3*n + p = -644 + 206. Which is smaller: n or -151?
-151
Suppose 0 = -2*q - 3*h - 237, 589 = -0*q - 5*q - 4*h. Are -118 and q equal?
False
Let q(b) be the second derivative of 0 + 5*b - b**2 + 1/12*b**4 - b**3. Let t be q(5). Is t bigger than -7?
False
Let g be 1417/(-117) + 5/45. Which is greater: g or -13?
g
Suppose -h - 4*n = 18, h + 3*h - 2*n - 18 = 0. Is h <= 0.01?
False
Let h = 38 - 37. Let f = -242 + 2417/10. Which is greater: h or f?
h
Let z = -1.47 + -0.05. Let y = 1.5 + z. Is y at most as big as 1?
True
Let s = 604.34 + -605. Let y = 2.1 - 2. Which is bigger: y or s?
y
Let k be 4 + (-2)/((-36)/(-63)). Which is bigger: -641 or k?
k
Let h = -39 + 52. Let m = h - 11. Which is smaller: m or 1?
1
Suppose -3*q + 11 = -7. Suppose -3*f = q - 30. Let o = f - 8. Which is bigger: o or 1/11?
1/11
Suppose 3 + 5 = -4*u + 5*v, u - 23 = -5*v. Let r = -15 - -10. Let w be (-8)/(-3)*(-3)/r. Does w = u?
False
Let u be 4 + (-2)/(-6) + 14/(-6). Suppose -u*r - 37 = -7. Is r <= -19?
False
Let y be 1076/158 + -27 + 20. Are y and -1 nonequal?
True
Suppose 5*v = 4*v - 29. Let w = -27 - v. Which is greater: -10 or w?
w
Let d be (-44)/16 - 2/8. Suppose -15*m + 4 = 49. Is m at least as big as d?
True
Let n = 0.559 + -0.259. Which is bigger: -0.22 or n?
n
Let x = -8 + 14. Suppose 0 = 3*v - 4 - 2. Suppose v*r - 5*r = -x. Is r greater than 6/11?
True
Let a = 191 - 189. Which is smaller: 74 or a?
a
Let s(u) = -u**3 - 12*u**2 + 12*u - 11. Let k be s(-13). Suppose -2*g + 5*g + 24 = 4*c, -k*c + 32 = -4*g. Let l = g + 8. Which is smaller: l or -1?
-1
Let k = 6403/34831 + -2/571. Which is greater: k or 0?
k
Let y = -152 + 193. Which is smaller: y or 42?
y
Let q = -287/3 - -101. Which is bigger: -1/8 or q?
q
Let w(k) = k**2 - k - 1. Let i(n) = -3*n**2 - 5*n - 12. Let l(r) = i(r) + 2*w(r). Let x be l(-5). Is -21/5 bigger than x?
False
Suppose 8*o = 26 - 26. Which is smaller: o or 1/6?
o
Let a be 2*(143/(-234) - (-2)/4). Does a = 0.03?
False
Let o be (5/(5100/192))/(1/(-20)). Which is greater: -3 or o?
-3
Let o = 8/159 - -507/106. Let t be (-23)/(-5) + 10*(-8)/(-200). Which is greater: o or t?
t
Let f = 15.91 + -6.91. Which is greater: f or -0.3?
f
Let g = 43.993 + 0.007. Let s = g - 43. Which is smaller: -6 or s?
-6
Let z = 11.54 - 7.1. Let n = 7.15 - z. Let f = n + 0.29. Which is bigger: f or 8?
8
Let u(z) = z**3 + 10*z**2 + 9*z + 2. Let f be u(-9). Let t(i) = -i + 1. Let d be t(5). Let n be (-3)/d - 28/80. Which is smaller: n or f?
n
Suppose 2*b - 14 - 10 = 0. Suppose 14 - 38 = -z. Let l be (-6)/(-18) - (-2)/z*146. Is l not equal to b?
True
Let p be -3 - ((-40)/72)/(-5)*-24. Let k(s) = 3*s**3 + s**2. Let v be k(1). Suppose v*y - 12 = 4*w, -w = -2*y + 4*y. Are p and y nonequal?
True
Let v(s) = -4*s**3. Let i be v(1). Let x be (-1 + 4/i)*-2. Suppose x*w = -0*w. Which is greater: 2 or w?
2
Let u(y) = y**3 + 17*y**2 + 32*y - 22. Let r be u(-11). Which is bigger: 353 or r?
353
Let t(a) = -5*a**2. Let j be t(1). Let l = 250 - 252. Which is greater: l or j?
l
Let x = 0.2 - 0.2. Let y = -2/37 + -27/185. Is y at most x?
True
Let q = 1.62 + -1.92. Let m = -0.089 - 5.211. Let n = m - q. Are 1/4 and n non-equal?
True
Let d(r) = -r**3 - 47*r**2 - 93*r - 136. Let c be d(-45). Is -2/3053 < c?
False
Let j = -2 + -0.8. Let k = j - -13.8. Let o = k - 10.7. Is o bigger than 0.3?
False
Let b(z) = -z**2 - 24*z + 407. Let j be b(15). Is j smaller than -180?
False
Let s be 60/108 + -1 - 107/(-18). Are 6 and s nonequal?
True
Let d(h) = 5*h + 3*h + 114*h**2 - 20 - 113*h**2. Let o be d(-10). Let k be (6/(-10))/(42/(-60)). Is k bigger than o?
True
Let j be (-28)/10 + 1/(-5). Let o be j + -1 + 108/8. Is o at most as big as 11?
True
Let p be -1*((-6)/(-2) - 1). Let f(h) = 39 + 47 + 43 - h**2 - 4*h - 132. Let t be f(p). Is t > 0?
True
Let w = -168 - -161. Does 27 = w?
False
Suppose 0*w + 4*w - 36 = 0. Suppose 0 = 7*y - w + 2. Is y > 8/13?
True
Let u = -75917/79 + 961. Is 0 at most u?
True
Let r be -3 + 3/(-72)*(-2628)/27. Which is smaller: r or -2?
-2
Let s = 18 - 29. Let a = 117 + -107. Let f = a + s. Is 1 <= f?
False
Suppose 17*u - 8*u = -3465. Let t = u + 11937/31. Which is greater: 0 or t?
t
Suppose 58*k = 37*k - 483. Let z = -18 - 4. Which is greater: k or z?
z
Let l be 0/4 - (1 + 1). Let k be 0 - l*2/2. Suppose k*b - 2 - 7 = m, 3 = 3*m + 4*b. Which is greater: m or -4?
m
Let w(k) = 2*k**2 + 3*k + 24. Let c be w(0). Let y be 1 - (3 - c/(-4)). Let x = 1 + -9. Is y greater than x?
False
Let q be 7*5/(-25)*5. Which is smaller: q or -10?
-10
Suppose 15*x + 183 = 168. Is -8/33 != x?
True
Let x = 2110.2 + -1947. Let t = -147 + x. Let o = t - 16. Is 1 greater than o?
True
Let h = 0 + 0. Let a be 5/5 - (h - -1). Let s be ((-10)/(-9) - (-1)/(-1))*-1. Which is greater: s or a?
a
Let t = 1 + 1. Let m(n) = n**2 - 20*n + 1. Let g be m(20). Let u be (-416)/128 - g*(-2 + -1). Which is smaller: t or u?
u
Let g be ((-6)/(-9))/((20/(-318))/5). Which is bigger: g or -52?
-52
Let k be -2 + (-1 - 524/(-100)) + -2. Which is greater: k or 1?
1
Let q = -21 + 25. Let c = 22/5 - q. Is c != -21?
True
Suppose 165*q - 138 = 171*q. Which is smaller: q or -22?
q
Let h = -100 + 98. Let z be 3 + (-8)/(-20)*-11. Which is smaller: z or h?
h
Let g = -169968506561/1122 - -151487065. Let k = -2/561 + g. Which is smaller: -18 or k?
-18
Let j(u) = u - 6. Let x be j(4). Let c be x/(-11) - 40/220. Suppose -3*d - 20 = 4*s, -5 = 3*s - 2*s + 4*d. Which is smaller: s or c?
s
Let x be 3*6*(-15)/10. Let a = x - -193/7. Suppose 4*c + 0*c = 0. Which is smaller: c or a?
c
Suppose 3*r - 15 = 9. Let j be 12/96 - (-7)/r. Suppose g + 3*l + 1 = -0, -g + l = j. Which is smaller: 4/9 or g?
g
Let b be (2/(-1))/(1 + 1). Let a be (10/(-75))/(52/65). Which is bigger: b or a?
a
Let a = -1.89 - -1.91. Are a and 0.2 equal?
False
Let f = 2865 + -1468. Are 1397 and f unequal?
False
Let h be ((-3)/(-2))/(4/8). Suppose -3*r = -h*z + 207, -z - z = 0. Are r and -69 nonequal?
False
Suppose -20 = 3*f - 8. Let k be (f/(-3))/((-3)/9). Let c(a) = -a**3 - 5*a**2 - a + 5. Let y be c(k). Which is smaller: -6 or y?
y
Suppose 15*i - 12*i = -36. Which is smaller: i or -138/11?
-138/11
Let u = -98 - -49. Let k = u + 49.8. Let d = -1 + 0. Which is smaller: k or d?
d
Let x be (-4 - -2)/(-8)*12. Suppose -g + 6 = -x. Suppose 3*a = 5*m - 2 - 5, -5*m + g = -a. Which is bigger: 1/5 or a?
a
Let n be (-55)/(-35) - (0 + 0). Let c = -4252/63 + 610/9. Is c bigger than n?
False
Let u = -0.96 - 0.14. Let r = 1.1 + u. Which is bigger: r or -7/5?
r
Suppose -219 = -3*b - 5*z + 168, -4*b + 5*z + 551 = 0. Which is greater: 138 or b?
138
Let s be (-11)/(-12) + 7/21. Is -0.02 less than s?
True
Let g = 39 - 32. Suppose -6 = g*a - a. Let i be (1 - 3)*2/4. Is i less than a?
False
Let n = 162.22 - 162. Let i = 14.89 - 15. Let h = i + n. Which is smaller: h or 0.1?
0.1
Let j(q) = 2*q + 1. Let d be j(0). Let t = -1 - 1. Let n be d/(-1*(-11)/t). Are -1/7 and n nonequal?
True
Let y be ((-11)/(275/90))/(6/620). Let z be 4/10 - y/(-30). Is 