) = -26 - 4*d + 2*d - 12 - 4. Let h be l(-22). Suppose -h*a = -2*b - 0*a + 10, 5*b + 20 = -4*a. Is b at least as big as -1/35?
True
Let i = -1.026 + 0.533. Let t = 2.907 - i. Is -5 greater than t?
False
Let j be (3100/120 - 25)*4/695. Is j smaller than -1?
False
Let d be 1/(-22)*257*(-1)/46. Let t = 1/253 - d. Let u = -3.4 - -2.3. Does t = u?
False
Let m = -2073 + 2074. Let a = 1.204 - 0.164. Which is smaller: m or a?
m
Let v be (-2)/6*-3 - -2. Suppose v*z = -4*r + 53, 0 = -r + 2*z + 3*z + 42. Let s = -1 + r. Is s <= 16?
True
Let b = 129.15 + -131. Let r = b - -1.85. Is r less than or equal to 181?
True
Let d = -176.4217 - -0.5017. Let s = -176 - d. Is -1 bigger than s?
False
Let m = 2653 + -45111/17. Let h = -6/13 - -37/52. Is m at least h?
False
Let z be 2465705/(-110820) + (0 - -1). Let y = -2/5541 + z. Let l = -21 - y. Is -16 at most as big as l?
True
Suppose -862 = -4*u + 42. Let c = u + -239. Which is smaller: c or -86/7?
c
Let v(f) = f**3 - 10*f**2 + 14*f + 18. Let l be v(8). Suppose 4*z - 714 = -4*w + 10, -4*w + 724 = -l*z. Which is bigger: 182 or w?
182
Let t = -17906 - -18069. Is t less than 160?
False
Let m be ((-682)/77)/31 - (-2 - 28669/(-35)). Which is smaller: m or -816?
m
Let x be -3*180/35*(-1855)/(-10). Which is smaller: x or -2859?
x
Let o be (((-2294)/(-14) + -2)/(-1))/((-13)/(-78)). Which is bigger: o or -971?
-971
Let o be (2/6)/(-1*(-2)/36). Suppose 8*k - o*k = 6. Suppose -k*h = 74 - 29. Which is smaller: h or 2?
h
Suppose -33 = p + 27. Let n be ((-8)/10)/(8/p). Let t be (-2 + 2)/(n - 7). Which is bigger: 2/3 or t?
2/3
Let h be ((-20)/(-12))/((-15)/(-4302)). Let l = h + -484. Let n = 3.94 + -4. Which is greater: l or n?
n
Let a = 0.02 - 0.02. Let x be 1/(-5*(-4)/80). Let b be (-3)/((3/9)/(x/162)). Is b smaller than a?
True
Let k = 55.3 - 10.3. Let d = 2998 - 8797/3. Let c = -66 + d. Is c greater than k?
False
Let t = -2.2256 - -2.1256. Which is bigger: -1.7054 or t?
t
Let y = -723 + 756. Is y <= 35?
True
Let s(c) = 4*c**2 - 1. Let t be s(-1). Let p be -20 - ((-459)/54 - 15). Which is smaller: t or p?
t
Let l = -2434 + 2560. Is l greater than 12?
True
Let z = 203 + -192. Suppose -9*y - 2 = -z*y. Is -65 < y?
True
Let i = 15308 - 15298. Which is greater: i or 235?
235
Suppose 3667*h - 3671*h + 19 = s, 5*s + h - 171 = 0. Which is bigger: s or 392/11?
392/11
Let m = 16240 - 81202/5. Which is smaller: m or 11298?
m
Let z(c) = -c**3 - 2*c**2 - 2. Let i be z(-3). Suppose -i*t = -4*t. Let q be (80/200)/((-152)/10). Is t < q?
False
Let l = 195 - 130. Let h = -69 + l. Is h equal to -0.5?
False
Let d(h) = -h - 14. Let y be (-2)/(-1)*-2 + (-156)/(-39). Suppose 0*v - 5*q + 50 = 5*v, y = -v + 4*q + 35. Let g be d(v). Is -29 > g?
False
Suppose -5*w + 345 = 5*b - 2*w, 5*b = -4*w + 350. Suppose -b = 8*m - 2. Is -6 at most m?
False
Let w(p) = -33*p**3 + p**2 - 1. Let r be w(-1). Suppose 4*m + 4*i + 287 = 303, 8*m = 3*i + 164. Is m > r?
False
Let l(k) = k**3 - 60*k**2 + 279*k - 167. Let a be l(55). Is 51 < a?
True
Suppose -3*i = 2*g - 160, i = -i + 2*g + 100. Let x = -33886 - -33939. Is x at most as big as i?
False
Suppose -2*c = -2*v + 3*v - 10, -25 = -3*c - 4*v. Suppose -k + c*t = -2 - 2, -3*k + 5*t + 20 = 0. Let h be (-2 + 4)/(6/21). Is h at most k?
True
Suppose 5*f + 134 = 214. Suppose 8 = c - f. Let i be -1 + 3/(-3) - 0. Which is greater: i or c?
c
Let b be (-33)/(((-296)/72 + 4)*-9). Which is bigger: 187 or b?
187
Let s = 5580 - 5545. Which is greater: s or 76?
76
Let c be (-12)/(228/16 + (-6)/12). Let k = -2687/495 - c. Are -6 and k non-equal?
True
Suppose 2*r - 10 = 0, -34*g - 8*r = -36*g - 40. Which is smaller: g or -15/44?
-15/44
Let r = -1983 + 2023. Is r greater than 4?
True
Let k(p) = 185*p**2 + 43*p - 3. Let y be k(-3). Which is greater: 1530 or y?
y
Let j be 0 + (-6 - (3 - 7)). Let d(r) = -9*r - 15. Let b be d(j). Suppose 0*f + f + 5*x + 17 = 0, 2*x = -8. Do f and b have different values?
False
Let t = -88 + 48. Let h be 6*t/(-132) + -2. Suppose -160 = 19*z + 74 - 101. Is z at least as big as h?
False
Let n be (-17)/((-459)/6) + (-448)/(-9). Let p be (5/n)/(6/15)*-146. Which is smaller: -36 or p?
p
Let h be 4/(-8)*-12*(-8)/(-3). Suppose h*o - 19 = 13. Suppose -o*w = 5*s + 93 + 17, 0 = -2*w - 10. Do s and -20 have the same value?
True
Suppose -32*m + 31*m - 18 = 0. Let b be (6/m)/(33/9 - 4). Which is smaller: b or -2/2283?
-2/2283
Suppose 4 + 24 = 4*y. Let l be 46*(1139/102 + -11) + 0 + -2. Are y and l non-equal?
True
Let x = 135.0988 + -135. Let m = 0.0088 - x. Let z = -2 + 2. Is m < z?
True
Suppose 3*a + 11 = j, 0 = -9*a + 8*a - 4. Let g be ((-48)/(-16))/((-66)/(-5252)). Let s = 239 - g. Does s = j?
False
Let b = 523/174 + -11/6. Which is bigger: b or 2?
2
Let f = 259/5 + -52. Let w = -95786/17 + 5638. Let r = -626/187 + w. Is f < r?
True
Let i be -4 + -2 + (-726)/(-135) + (-14)/(-63). Which is bigger: 1/1552 or i?
1/1552
Let v = 314 - 452. Let r = v - -165. Let k = -0.1 + 0.2. Is r less than k?
False
Let w(i) = -i**2 + 114*i + 1144. Let m be w(88). Which is smaller: 3434 or m?
m
Suppose t = 4*h + 15, 4*t - 97 + 109 = -2*h. Is -17/267 greater than t?
True
Let z(f) = -f**3 + 8*f**2 + 4. Let t(g) = g**3 - 7*g**2 - 2*g - 4. Let s(o) = -5*t(o) - 6*z(o). Let a be s(9). Is a at least -238?
True
Suppose 704 + 238 = t - n, 2 = n. Let o = 944 - t. Which is greater: 1/174 or o?
1/174
Let f = -3439/25662 + 13/282. Is f at least as big as -2?
True
Let x = 1940 - 1756.2. Let b = x - 184. Is 0.038 <= b?
False
Let a be 2/((9/576)/((-982)/(-4))). Let h = -47795900/1521 + a. Let p = -4022/372645 + h. Which is greater: 1 or p?
1
Let a = -1.7 + 8.7. Let g = -97 - 17. Let o = -114.1 - g. Which is greater: o or a?
a
Let j = -1 - -1. Let r be 6 - (0 + 872/12). Let p = r + 67. Is j less than p?
True
Let v = -10859/48906 - 1/5434. Which is smaller: 1 or v?
v
Let s be (9/(-4)*1)/((-2)/(-72)). Let k = 82 + s. Let y be (-40)/18 + k + (5 - 4). Which is bigger: y or -8/3?
y
Let f = 420686 + -420644. Let b be (-2)/3 + (-128)/(-3). Is b greater than or equal to f?
True
Let k = 9119 - 9134.868. Which is greater: k or 0.1?
0.1
Let z(t) = t**3 - 24*t**2 + 25*t - 21. Let m be z(23). Let h be (-120)/26 + 50/m. Which is bigger: -2 or h?
-2
Let z(v) = v**3 - 4*v**2 - 9*v - 16. Let w be z(6). Suppose 3*h - w*b = 6, 0 = 5*b - 3*b + 6. Which is smaller: -2/85 or h?
-2/85
Suppose -y + 3*p + 2*p - 38 = 0, 4*p = -4*y - 128. Suppose -4*s - 132 = -n + 2*n, -4*n = 16. Which is smaller: y or s?
y
Let u(g) = g**2 + 41*g + 263. Let x be u(-8). Which is bigger: -733 or x?
x
Suppose w - y - 69 - 80 = 0, 5*w - 4*y - 744 = 0. Let a = 2222/15 - w. Let q(g) = -2*g**2 + 13*g - 18. Let n be q(2). Is a at most as big as n?
False
Let l(z) = -31*z + 2. Let b(v) = 31*v - 1. Let p(j) = 5*b(j) + 6*l(j). Let u be p(3). Let w be (-10)/(-4) + -2 - u/4. Which is greater: w or 21?
w
Let c = 1.1 - 0.1. Let q = 0.0179 - 246.0179. Let f = q - -236. Which is smaller: c or f?
f
Suppose 0 = -2*j - 5*s - 237, -3*j - 4*s = -8*s + 413. Let m = -129 - j. Let i be 2/8 - (-285)/140. Which is bigger: i or m?
i
Let m(b) = -32*b - 9. Let z(s) = -37*s - 8. Let y(o) = 7*m(o) - 6*z(o). Let t be y(-7). Let p be (-195)/(-290) - 4/6. Is t not equal to p?
True
Suppose 0 = 4*c + 4*l + 16 - 0, 0 = -5*l - 5. Let k be 9/c - (-13 - 0). Suppose p = -3*j - 24, 5*j - 3*p = k - 36. Is j smaller than -6?
True
Let t = -22164831/19 - -1167124. Let h = 553 - t. Which is greater: -1 or h?
h
Suppose 4*j - 66 = -5*i - 1374, -2*i - j = 525. Which is greater: -263 or i?
-263
Let t(k) = -4*k**2 - 18*k - 8. Let r be t(-4). Let i = -3 + 3.9. Let b = i - 8.9. Do b and r have the same value?
False
Let q be 3486/(-7)*1/3. Which is smaller: -139 or q?
q
Let l = 1.3 - 0.3. Let p = -11621.409 - -11593. Let z = p + 0.409. Is l at most as big as z?
False
Let s be ((-519688)/(-72))/19 - (-2)/(-9). Is 381 less than or equal to s?
False
Let n = 2 - 18. Let k = 89.4 - 92. Let q = k - -2.6. Which is greater: q or n?
q
Let g = -3 - -10. Let v be ((-89258)/2814)/(g/(-3) + 2). Let q = 666/7 - v. Which is smaller: -1 or q?
-1
Let r(v) = v**2 - 2*v. Let t be r(0). Let x(i) = -i. Let y be x(t). Let n be (-4)/(-39) + (-8)/52. Is y <= n?
False
Let g(h) = 4*h + 7. Let d be g(-2). Let v be d + (-1)/((-5)/150). Let m(s) = 2*s**2 - 14*s + 12. Let n be m(