et u = -126 + s. Is -0.1 < u?
False
Suppose 3*u - 189 = -0*l + 2*l, 5*l - 2*u = -456. Let m = l - -111. Is 21 at least m?
True
Let j = 1.41 + 8.59. Let s = -1.3 - -2.5. Let d = 1 - s. Which is smaller: j or d?
d
Let g be (2*(-2)/10)/((-24)/5040*7). Suppose -5*c + 2*w - 7 + 139 = 0, 0 = 5*c + w - 129. Is g != c?
True
Let o be 1*(3 - 3)*2/(-6). Suppose -4*q - q + 225 = o. Let u = -44 + q. Is u >= -1?
True
Let v(c) = -c**2 - 36*c + 75. Let b be v(-38). Is b less than or equal to 14/437?
True
Let u be ((-611)/(-188) - -1)/((-1)/4). Is -299/19 less than or equal to u?
False
Let s be (-2 - (-6 + 4))/(-4). Let l = 603 - 580. Are l and s equal?
False
Let f = -24.88 + 24.74. Is -12 smaller than f?
True
Let a(v) = v**3 + v - 18 + v**3 + 6*v**2 + 13 - 3*v**3. Let n be a(6). Is -1/9 at most n?
True
Suppose -2*i = -0*d + 6*d - 7726, -2*d + 4*i + 2594 = 0. Which is smaller: d or 7733/6?
7733/6
Suppose -1157 = 7*o + 103. Let g be (1 - (-41)/(-5))*o/(-27). Let m be (-4)/(-12) + (3 - g/(-9)). Which is bigger: -2/3 or m?
-2/3
Let q be 60/(21/(-234)*(-45)/70). Suppose -q*y = -1032*y. Let k = -80242/59 + 1360. Is y <= k?
False
Let f(w) = 0*w**3 + 0*w - w - w**3 + 5*w**2 + 6 + 4*w. Let t be f(5). Let h = 5 + t. Is 26 >= h?
True
Let f be -3*(0 + 4 - (-117)/(-27)). Is f < -5/2828?
False
Let p be 1122 - (-17)/51*-18. Is 1116 at least p?
True
Suppose -358002 - 349110 = 126*s. Is s smaller than -5613?
False
Let h = 32130.4 + -32111.7. Let c = 75 + -451/6. Which is smaller: c or h?
c
Let c = -26 - -18. Let r = 8.1 + c. Let z = -1.378 + 55.378. Which is smaller: z or r?
r
Let g be -4 + 3*(-474)/(-354). Which is smaller: g or -0.096?
-0.096
Let n(u) = -u**2 - 46*u - 261. Let y be n(-24). Suppose -6*p + 267 = -5*p. Is y < p?
False
Let n = 29254 - 29253.8. Are 1.29 and n nonequal?
True
Let z be (2841/(-99))/((-23)/(-138)). Is -172 < z?
False
Let q(y) = -y + 4. Let w be q(0). Suppose a - 6 = w*a. Suppose 15452*n - 15460*n - 5 = 11. Is n != a?
False
Let s = -18.75 + 19. Let k = -16.75 - s. Let x = 17.2 + k. Is 3/4 bigger than x?
True
Let k(w) = 181*w - 1596. Let c be k(9). Is c greater than 32?
True
Let a(m) = -290*m + 116. Let t be a(1). Is t > -182?
True
Let v(c) = c - 4. Let t be v(1). Let o be t + ((-8)/14)/(8/(-28)). Let g be (-5)/(-45) + (-454)/198. Which is smaller: o or g?
g
Let x be (-80822)/(-10542) - (-23)/(-3). Suppose q + 3 - 7 = i, -5*q - i + 14 = 0. Suppose q*j - 3 = -15. Which is smaller: x or j?
j
Let j = -1081 - -1086. Let w(t) = -t**3 + 4*t**2 + 5*t + 1. Let y be w(5). Is j bigger than y?
True
Suppose 0 = -j - j + 46. Suppose 2*m + 2*m - j = -k, 0 = -5*k + m + 31. Let w = 11 + -3. Which is smaller: w or k?
k
Let d(p) = -33*p + 152. Let n be d(4). Let u be (-2)/(-1) + -1 + 3. Suppose -5*q + u = -q. Which is bigger: n or q?
n
Let g = -12 - -35.5. Let i = g - 23.5. Is 0.1 >= i?
True
Let k = 25633/8 + -3194. Which is greater: k or 10?
k
Let r be (-360)/(-6 - -3) - 1. Let l be 5/35 - 830/(-7). Let w = r - l. Which is smaller: w or 0.19?
0.19
Suppose 3*u - 9 = -9*c + 5*c, 3*c - 13 = 4*u. Suppose 0 = -2*d - 2*r - 26, 63 = -c*d - 4*r + 7*r. Let w be (-15 - d) + 4/(-2). Which is smaller: 1/7 or w?
w
Suppose -4*f - 5*x = -110 + 13, -2*x - 67 = -3*f. Suppose -3*o + 4 = -f. Let d be -5*(-6)/o + (-3 - 0). Is d greater than 0.57?
False
Let f be (-7 - (-152283)/87) + 1. Let h = 1744 - f. Does 1/5 = h?
False
Let a be ((-4)/10)/(-4*(-5)/(-5300)). Let s = a + -51. Let n = 64 - s. Is 11 not equal to n?
True
Suppose -2*n + 27 = -5*k + 2*k, 0 = -2*n - k + 39. Let c be (16 + -1)*(-12)/n. Suppose t - 4 = -4*g, 2*t - 4*g + 201 = 173. Which is greater: t or c?
t
Let x be 3/(-1197)*-6*4760/170. Let w = 6 - 2. Are w and x unequal?
True
Let q be ((-8)/(-6))/((-5)/(-96)). Let k = q - 334/15. Suppose 0 = -p - 4*r - 6, -2*r + 72 - 74 = p. Which is bigger: k or p?
k
Let u = 9093 + -9094. Suppose -433 - 196 = -2*n + 5*o, -310 = -n - 2*o. Let b be (-3 - n/(-100))/(-1). Which is bigger: b or u?
b
Suppose 10 = 2*z + 3*u + 4, 2 = 5*z + u. Which is greater: 2/6017 or z?
2/6017
Suppose 99 = 25*g + 8*g. Suppose 2*x + 4*a = -18, 3*x + g*a - 4*a = 8. Let c be (-1)/1 - -1*2. Do c and x have different values?
False
Let j = 19381 + -18651.01. Let c = -730 + j. Let t = 0.1 - 0.1. Is t <= c?
False
Let y be -2 - 1*-6 - (43631/(-437) + -7). Which is bigger: y or 111?
111
Let f = -63 - -62. Let n be (6 - (6 + f))/(2/(-26)). Is -13 <= n?
True
Let x = 11922 + -59663/5. Which is greater: -12 or x?
x
Let t(p) = 70*p**2 + 631*p + 10. Let j be t(-9). Are j and -18/365 unequal?
True
Let q be (239392/12600 - 19)/(2 + 0). Is q < 0?
True
Let y = 423 + -286. Suppose -4*o - 3*r - y = 0, 0 = -o + 3*r - 14 - 24. Which is smaller: -32 or o?
o
Let h = -98 - -103. Suppose -25*x + h*x = 5*x. Does x = -12/47?
False
Let s(z) = -27*z + 165. Let o be s(6). Suppose -1014 = -5*u - o*b, -25*u - 792 = -29*u + 4*b. Which is greater: 203 or u?
203
Let p(g) = 5 + 3*g**2 - 8*g + 5*g - 2*g. Let u(a) = -a**2 - 19*a + 22. Let x be u(-20). Let d be p(x). Which is bigger: 6 or d?
d
Let t = -0.364 + 0.177. Let l = t - -0.187. Are l and 0.027 equal?
False
Let q = 7965 - 9368. Which is greater: -3 or q?
-3
Let j be (-5)/(-10) - 25/2. Let g be (-15 - j)*(-2)/12*-4. Let u = 1849/12 + -154. Which is smaller: u or g?
g
Let o be ((-84)/(-136248))/((-26)/8). Which is greater: 1 or o?
1
Suppose 2*d - 3*v + 2*v + 54 = 0, -3*d - 67 = -5*v. Let x = d + 45. Let n = 487 + -489. Is n equal to x?
False
Let d = -44708/116341897 + 3/10079. Which is smaller: d or -2/7?
-2/7
Let l = 4121 + -4122.02. Is -6 < l?
True
Suppose 5*g - 3 = 4*l - 21, 0 = -4*g + 3*l - 15. Let y be ((-16)/288)/(2229/(-372) - -5 - -1). Which is smaller: y or g?
y
Let h be 2 + -4 + 100/51. Let o be 9/((-189)/(-14))*129. Let a = o - 86. Which is greater: h or a?
a
Let a be (-6786)/16840 + (-396)/(-4950) + 8/25. Which is smaller: 0 or a?
a
Suppose 0 = 3*g - g + 148. Let m = 122 + -57. Let v = m + g. Is -9 > v?
False
Suppose u + 443 = 2*r + 9951, 3*r + 14259 = u. Is -4750 less than r?
False
Let s be -2 + (2 - 1) - 14122/(-17112). Which is smaller: -1 or s?
-1
Let l = 4500 - 4627. Which is greater: -0.3 or l?
-0.3
Suppose -2*i - 3 = d, 38*d + 5*i = 43*d - 15. Is d > -30/71?
True
Let a = 0 - 1. Let f = -14 + 35. Let q be (-70)/f - (-5)/15. Which is smaller: a or q?
q
Let s be -5 + (-3044019)/(-202935) - 10. Is s equal to 0?
False
Let f = -40951 + 41924. Is f >= 983?
False
Let i be (-2)/(-1) - 4*(-15 + 4). Suppose 14*k = -i - 10. Which is bigger: k or 23?
23
Let c = -253 - -256. Suppose k = -4*k. Suppose -c*a = -k + 6. Is -1 <= a?
False
Let w be -5*(-1 + 2)*-1. Suppose 0 = -6*x - 251 + 269. Suppose 7 = x*h - a, -h - a = a - 14. Is h equal to w?
False
Let k = 4988 + -4987.9. Is -1/1277 greater than k?
False
Suppose 3*d = 5*g + 1713, -9*d = -4*g - 7*d - 1370. Which is greater: -341 or g?
-341
Let l = -95 + 121.5. Let x = 11.5 + l. Which is bigger: 1 or x?
x
Let z be 91/182 + 118/4. Let o be 633/(-15) - (z + -23). Which is smaller: o or -49?
o
Let w be (5/(-2) + 1)*(-32)/(-24). Let j be (-3)/9*w*(-4 - 2). Is j less than or equal to -1?
True
Let t(v) = -v**3 + 4*v**2 + v - 4. Let g(a) = 8*a + 20. Let q be g(-2). Let d be t(q). Suppose 17*r + 7 - 24 = d. Is r < -4/35?
False
Let c(z) = 4259*z**3 - 2*z**2 - 17*z - 15. Let a be c(-1). Which is smaller: -4257 or a?
a
Let r = 27 - 7. Let c(b) = b**2 - 21*b + 37. Let v be c(r). Suppose v + 30 = f. Is 48 less than f?
False
Let j(c) = c**3 + 30. Let u be j(0). Let m = -15 + u. Which is bigger: m or 16?
16
Let j = -37851 + 37851. Which is smaller: j or 2971.9?
j
Let i = 5 - 27. Let s(m) = -1 - 5*m - 68*m**2 + 128*m**2 - 64*m**2 - 16. Let n be s(-2). Which is smaller: n or i?
n
Let b = 5526 + -5520. Which is smaller: -11/63 or b?
-11/63
Let b(n) = 1 - 10*n**2 + n + 11*n**2 + 0*n. Let d(r) = r**3 - 3*r**2 - 7*r - 4. Let k(c) = -5*b(c) - d(c). Let z be k(-3). Which is smaller: z or 3/2?
3/2
Let q(r) = 33*r + 7. Let f be q(-9). Let c = -122 - f. Which is smaller: 169 or c?
c
Let p = -4.69 - 0.51. Let n = p + -13.8. Let i = n + 19.1. Is i less than or equal to 41?
True
Let y = 2925/74 - 79/2. Suppose -3*b = -5*r + 6, r - 3*r = -4*b - 8. Let m be b*12/8 + 2. Which is smaller: m or y?
m
Suppose 32*g + 6*g = -2*g + 840. Let p be 2 + (1 - (-55)/3). Is g at least 