 = o**3 + 32*o**2 - 512*o + 548. Let g be x(-44). Is m <= g?
True
Let q(k) = -k**2 - 2*k + 7. Let c be q(0). Let z be 0 + 0 + 1 + (-2)/c. Suppose 9*u = -3*u + 12. Which is bigger: z or u?
u
Suppose -3*t + 150 - 159 = 0. Let f be (-4)/5*(38/4 + t). Is f >= -4?
False
Let o = -312.101 - 670.855. Let h = o + 983. Is -7 at least h?
False
Let q = 324 + -427. Suppose 0 = 2*v + 16*v + 1800. Which is smaller: v or q?
q
Let p = 66/457 - 39246/5941. Suppose 8*t = 3*t + 4*d - 37, -6*d - 2 = 4*t. Is p > t?
False
Suppose -511953 = -33*g - 154089 + 509145. Is g bigger than 26273?
False
Let q = -2457323/2436 - -4035/4. Let x(i) = -3*i - 65. Let k be x(-22). Is q != k?
True
Let s(i) = -i**3 + i**2 + 14*i - 3. Let r be s(0). Do r and -247/98 have the same value?
False
Suppose -64*m + 62*m + 14 = 0. Let x(s) = -2*s**3 + 15*s**2 - 10*s + 21. Let j be x(m). Is 2/455 less than j?
False
Let f = 163644 + -163646. Let h(p) = -48*p**2 - 2*p - 1. Let k be h(2). Which is greater: k or f?
f
Let y be (9 + -12)/(12/10156). Is y < -2543?
False
Let i be ((-585)/(-30) - 20)/((-1)/(12/(-1))). Which is bigger: i or 1/72?
1/72
Let r(f) = -50*f - 15. Let x be r(-11). Let z = x - 591. Which is greater: -59 or z?
z
Let y(x) = 6*x**2 + 2*x + 1. Let g be y(-1). Suppose -g*n + 4*a = 22, -5*a = 2*n - 2*a + 18. Let m be (-2)/(-2) + n/8. Is m equal to -0.04?
False
Suppose -65 - 52 = 19*h + 92. Which is bigger: h or -37?
h
Let r be (1*-5*-298)/(-63 + 61). Which is bigger: r or -744?
-744
Let s be (274772/730)/((-22)/15). Which is smaller: -257 or s?
-257
Let t be 40/(-16)*8/170. Suppose 2*a = 3*a + 3*s + 9, 2*a = 3*s - 9. Let x be a*6/44 - -1. Which is smaller: t or x?
t
Let s = -367 - -373. Let x be (8/(-40776))/(1/s). Is x != 0?
True
Let r(m) = 31*m**2 + 12*m - 12. Let s be r(1). Suppose 10*b + 1 = s. Which is bigger: -15 or b?
b
Let w be (-2974)/13383*2/4*9. Let z = -281.9808 + -0.0192. Which is greater: z or w?
w
Let p(l) = -l**2 - 8*l + 12. Let j be p(-9). Suppose -47 = -5*y + b, -5*y + 2*b + 22 = -j*y. Suppose -h + 2*h = -3*m + y, -3 = 2*h - m. Is 1/15 at most h?
False
Suppose 3 = 5*t + 13. Let d = 75797/7 - 10831. Is d smaller than t?
True
Let j = -25593 - -25592. Is j at most 3/4970?
True
Let k(y) = y**3 - 19*y**2 + 18*y + 9. Let m be k(18). Let i be 180/(-24)*(-6)/m - 6. Is i at least 27?
False
Let v = 75.66 - 3.66. Let m = v + -71. Which is greater: -237 or m?
m
Let h be ((5 - (-2 + -1 - -14)) + 4)*1. Let d(m) = -m**2 - m + 2. Let i be d(0). Let j be 2/6 - 2/i. Which is greater: j or h?
j
Let p = 467.9 + -468. Is -39/56 at most p?
True
Suppose -517 = -s - 3*g - 4597, 5*g = -10. Which is bigger: -4075 or s?
s
Let j = -0.3 - 0.2. Let a = -193 + 194.68. Let o = a - -1.32. Which is smaller: o or j?
j
Let b = 159 - 160. Let f be (-52)/32*(16 - 4)*b. Is 20 less than f?
False
Suppose -150*k + 113716 - 819766 = 0. Is -4707 at least as big as k?
True
Let j = 212 + -867. Let f = j + 2027/3. Which is smaller: 22 or f?
f
Let t = -181.297498 - -0.251598. Let k = 0.0459 + t. Which is smaller: -1/4 or k?
k
Let i(w) = 7*w + 221. Let o = 529 + -536. Let y be i(o). Is 172 at most as big as y?
True
Let b(y) = 94*y + 239. Let o be b(15). Is o greater than or equal to 1650?
False
Let n = -582 + 630. Which is bigger: 11 or n?
n
Suppose -7*l = -3*h + 13, -2*l - 2*h + 5*h = -7. Are l and -270 equal?
False
Let b = -21.8 + 22.81. Let a = -993.11 - -989. Let w = b + a. Do 3 and w have the same value?
False
Let p be 44538/(-4) - (-14 + -22)/72. Which is smaller: p or -11132?
p
Suppose 55 - 539 = -11*g. Suppose 49*x = g*x. Which is smaller: 8 or x?
x
Let z be ((-18776)/16 + -3)/((-3)/(-6)). Is z <= -2354?
False
Let l = -5798 - -6333. Is l >= 530?
True
Let h = -409 + 464.9. Let u = -67.6 - -12.6. Let b = u + h. Is b at least 3?
False
Suppose 2*f + 502 = 2*k, 742*f - 744*f = -8. Which is bigger: 257 or k?
257
Let n(l) = -l**2 - 7*l - 6. Let o be n(-7). Let d be (o/(-2))/((-4)/4). Suppose 37*r + 305 = -24*r. Is r less than d?
True
Suppose 0 = -5*f - c + 5*c + 220, -15 = 3*c. Let b be f/2224*(-60)/(-25). Is b less than -1?
False
Suppose 63*h + 65412 = 5*h - 114794. Is -3109 not equal to h?
True
Let b = 61.7 + -64.91. Let j = 0.09 - b. Which is greater: j or -0.05?
j
Let h = 538.1 - 516. Let l = h - 22. Let b = 51/4 + -25/2. Is l smaller than b?
True
Let b = 69278654181 + -43576282950075/629. Let r = -15056 - b. Is 0 > r?
False
Let h(a) = -a**3 - 8*a**2 - 12*a - 2. Let p be h(-6). Suppose -4*g - 4*u = -144, -5*u - 171 = -5*g - u. Is p at least as big as g?
False
Let h = -137 - -136.9227. Let x = -0.0227 + h. Which is bigger: x or 0.561?
0.561
Let x = -46538 - -326609/7. Is x >= 121?
False
Let u = 2.8 + -5.2. Let m = u - -3.3. Let h(b) = 6*b + 43. Let a be h(-7). Which is bigger: a or m?
a
Let s = -1469.3 - -1327. Let g = s - -142. Is -3/13 greater than g?
True
Suppose 6*r = -138 + 18. Let q be -8*(2 - 4)*130/r. Is q > 1?
False
Let g = -11558 + 11559. Which is bigger: g or 0.7613?
g
Let t be -57*1/2*2. Let g(l) = 28*l - 1230. Let u be g(46). Let r = t + u. Are r and 1/39 non-equal?
True
Let n(d) = 3 + d + 6*d**2 + 6*d**2 + 5*d**2 - 15*d - 16*d**2. Suppose 0 = b - 8*t + 3*t - 6, 56 = 5*b + t. Let v be n(b). Which is bigger: v or -31?
v
Let v = 4475 + -116369/26. Which is greater: v or 0?
0
Suppose 28 = 2*q + 2*u, u + 36 = 4*q - 0*u. Suppose 8 = -0*n + n + 2*j, 3*j - q = -n. Suppose 0*a - 12 = -n*a. Which is smaller: a or 5?
a
Let p = -0.01489 - -3.91489. Do 0.36 and p have the same value?
False
Let y = -12335 + 12291. Which is greater: y or 15?
15
Let d = 9/13 - 127/221. Let p = -90 + 5. Let s = p + 84. Does s = d?
False
Let q = 216 + -342. Suppose -o = 1 - 4. Let y be 507/q + 4 + o/18. Is y at most as big as 0?
False
Let i = 14 + 19. Let d be (176/i)/(2/6). Let m = d - 14. Is m less than 1?
False
Let w be ((-1)/6 - 14/96)*(-40)/(-7 - -9). Let f be (-2)/(-3) + 2/(-2). Is f at least w?
False
Let x(u) = 122*u - 1709. Let z be x(14). Let h(a) = 94*a - 6. Let l be h(-6). Let r = 31923/56 + l. Which is bigger: r or z?
r
Let j = -3458 + 79541/23. Let o be (-4)/(-10) - (-4)/(-10). Is j at most as big as o?
False
Let b(m) = 28*m + 171. Let i be b(-6). Let w(o) = -o**3 - 5*o**2 - 2*o + 4. Let u be w(-4). Let g be -2 - -1 - (1 + u). Which is bigger: g or i?
i
Let v be (-80)/(-92)*(-24)/5. Let j = 35986 + -35990. Are j and v equal?
False
Let n = -10430 + 10430. Is -61/89 at most n?
True
Let n = -8770 - -8766. Which is bigger: -287/90 or n?
-287/90
Let t = -124 - -86. Let g = -1.99029 + -0.00971. Which is greater: g or t?
g
Let z be (-4)/8*-238 + -3 + 4. Let l be 24/z*(-4)/(-506). Which is smaller: l or -1?
-1
Let a = 97 - 96. Let g be 115/621 + (-2)/6. Does a = g?
False
Let x = -342 + 383.4. Let p = -180.1 + x. Let d = p - -139. Which is smaller: d or 3?
d
Let k = 899 + 257. Which is bigger: 1142 or k?
k
Let m be 0/3 + 227387990930/(-248712). Let g = -3657049/4 - m. Let o = g - -2/129. Which is bigger: -1 or o?
o
Let m = 0 + -1. Let v(x) = 11*x - 1. Let o be v(m). Suppose 154*s = 161*s + 91. Which is smaller: o or s?
s
Suppose 3*y + h = 1033, -180*h + 184*h = -4*y + 1396. Which is smaller: 42 or y?
42
Let d(t) = 2*t**3 - 19*t**2 + 4*t - 12. Suppose 11*o - 46 - 53 = 0. Let p be d(o). Is -167/3 at least p?
True
Let h(q) = q**2 + 107*q + 597. Let o be h(-84). Is o smaller than -1331?
True
Let n be (26/8)/((20/5)/16). Let p = 524/9 - 4889/90. Let z = -22/5 + p. Is z > n?
False
Let q(v) = 15*v - 2. Suppose -52 - 146 = 4*x + 2*r, -2*x = -3*r + 87. Let f = 47 + x. Let o be q(f). Which is smaller: o or -18?
-18
Let a = 16 - 21. Let i = 8 + a. Let h be (12 - 1 - 5)/6. Which is smaller: i or h?
h
Suppose -6*r - 54 = 18. Let h be r*(585/(-146) + 4). Let c = -382/1095 + h. Is c at least -1?
True
Let u = -97.4636 + 0.3436. Let f = 0.12 + u. Let t = f - -97. Are t and 7 nonequal?
True
Let a be 33/132 + -1 + (-236)/(-16). Which is greater: 15 or a?
15
Let b = 48 - -89. Let j = -156 + b. Let i = j + 18. Which is smaller: i or 39?
i
Let v(a) = a - 20. Suppose -d + 17 = 15. Suppose 22 = d*t - 4*h, 2*t - 8 = t + 5*h. Let m be v(t). Is m >= -25/3?
True
Let o = 5409 + -5407. Which is greater: 1695/4 or o?
1695/4
Let b = -0.1269 + -2.0241. Let w = -0.351 - b. Which is greater: w or 2?
2
Let b be (-5795)/(-2318)*(1 + 1012/20). Let l(d) = d**3 