 be y(-10). Which is smaller: h or 2932?
h
Let o be ((-110)/211)/((-18)/((-522)/29)). Is 0 smaller than o?
False
Let f = -27.1 + 27.31. Let l = f + -0.05. Let r = 603/5 - 121. Is l != r?
True
Let m(g) = g**3 + 17*g**2 - 86*g - 45. Let v be m(-21). Let i(a) = a**3 - a**2 - 8*a + 12. Let c be i(v). Let l be (-2)/3 - 10/(-14). Which is greater: l or c?
l
Suppose 5*v + 2*a + 258 = 167, -4*a - 14 = 2*v. Let p = 2365/91 + -183/7. Which is smaller: v or p?
v
Suppose 2*o + 10 = o. Let c = 71 - 84. Are c and o unequal?
True
Suppose -16*d + 13 = -15*d. Suppose 0 = 18*q - d*q - 80. Which is bigger: q or 15?
q
Let u = -49 + 14. Let o(n) = n**3 + 34*n**2 - 33*n + 53. Let s be o(u). Which is greater: s or -12?
-12
Let l = 649345/7 + -5982404/63. Let n = -2193 - l. Which is smaller: n or 1?
1
Let k = -171/415 - -1/83. Let n(l) = -l**3 + 16*l**2 + 23*l - 208. Let b be n(16). Is k less than or equal to b?
True
Let c = -30.7 + 31. Let d = c + -1. Let k = 18 + -13. Is k greater than or equal to d?
True
Let s = 353 + -352. Let a be 1280/344 - (1 + (4 - s)). Is 1 at most as big as a?
False
Suppose -382*w - 8339 = -276*w - 919. Is 73 at most w?
False
Let w be 47104/(-920) + (-1)/5*9. Is w < 52?
True
Let u(a) = 6*a**2 + 28*a + 27. Let n be u(-1). Suppose w + 3*d = -d + 12, n*d + 90 = 4*w. Which is greater: w or 141/7?
141/7
Let o be (-65)/(-39)*-6 - 72. Which is smaller: o or 2/17?
o
Suppose -5*g + 5*y = -75, y + 43 = g + 2*g. Suppose -3*j - 21 = -2*p - 4, -5*p + g = 2*j. Which is smaller: -2 or j?
j
Suppose -1416 = 6*u - 18*u. Suppose 120*k = u*k. Let i = 54 + -708/13. Is i less than or equal to k?
True
Let o = -1739 - -7035/4. Which is smaller: o or 2/11?
2/11
Let h(r) = 2*r**2 - 5*r - 94. Let n be h(14). Let z be ((-18)/7)/(8811/(-2926) - -3). Is z > n?
False
Let i(y) = 50*y**2 + 6*y - 3. Let r be i(2). Let g = r - 202. Which is smaller: g or 13?
g
Suppose -966 + 7778 + 4772 = -16*l. Which is bigger: l or -725?
l
Let x = -3286 - -3286.1. Are x and 617.3 unequal?
True
Let b be (-2)/3 - (-48)/(-9). Let u(m) = -12*m**3 + m**2 + m. Let g be u(-1). Let q be g/24*44/(-3). Is q bigger than b?
False
Let b be 2 + -1 - (-165921)/(-49). Let f = -3392 - b. Which is smaller: 2/3 or f?
f
Let y = 3149 + -3150. Which is bigger: y or 4.146?
4.146
Let m = -38703 - -77407/2. Do m and 82.73 have the same value?
False
Let p(k) = -16*k + 1036. Let i be p(56). Is i < 128?
False
Let m = -159 + 166. Suppose 0 = -m*w - 13 - 1. Is -0.86 greater than or equal to w?
True
Let h = -8346 - -8366. Is h at most -41?
False
Let z = -44 - -89. Suppose y = -t + 3*y + 5, 4*y + z = -5*t. Let h = 178 + -184. Is t > h?
True
Let x = 20.4 - 20.735. Let t = x - -2.335. Which is bigger: t or 78/11?
78/11
Let j = -999 + 997.05. Let d = -16.95 - j. Let q be -2 - (-1 + (-7)/4). Which is smaller: d or q?
d
Let k = 6908 - 3786. Which is smaller: k or 3121?
3121
Suppose 5 = 2*x + 5*u + 25, 3*x = -4*u - 16. Let b = -92 - -70.2. Let c = b + 20.8. Which is smaller: x or c?
c
Let j(b) = b**2 - 542*b - 542. Let h be j(-1). Is h at most as big as -9/6083?
False
Let m(c) = 6*c**2 - 570*c - 324. Let b be m(95). Is -338 < b?
True
Suppose 5*a - 9 = 5*q - 4, -a - 5*q = -7. Suppose 2*p - 21 = -a*p - 3*j, 0 = 3*p + 5*j - 13. Let x be (14/(-21))/((-4)/p). Is x greater than or equal to 1/20?
True
Let x(k) = -13*k - 32. Let v be x(19). Let y = 279 + v. Which is smaller: 2/53 or y?
y
Suppose 0*g = -2*g + 4*c + 4, 4*c = -g + 8. Suppose -g*l + 9*l + 805 = -5*m, -167 = m + 4*l. Let i = m - -114. Which is bigger: -46 or i?
i
Let s(a) = a**2 + 675*a - 3381. Let g be s(5). Let f = 18 + 2. Which is smaller: f or g?
g
Let m = -54 - -50. Let b be -3 - 39/(-12) - 7/m. Let z be 3/(120/(-68)) + b. Is z not equal to 1?
True
Let y = 0.11356 + 1.58644. Is 0 at least y?
False
Let t = 3.8 + -3.9. Which is bigger: 3/251 or t?
3/251
Suppose -117 = -3*o + 4*t, -o - t - 39 = -2*o. Let x = o - 38. Which is bigger: -2/45 or x?
x
Let y be (-13 - -12)/(2/4*-487). Let j(t) = -t**3 + 9*t**2 - 21*t + 5. Let k be j(5). Is k equal to y?
False
Let d = -352.976 + 3.976. Let o = 8 + -8. Is o less than d?
False
Suppose -46*v = 1046 - 5462. Which is greater: v or 91?
v
Let b = 122 - 51. Let d = b + -70. Which is bigger: d or 19?
19
Let r(b) = b**3 - 6*b**2 + 4*b - 1. Let d be r(4). Let m(t) = -3*t**3 + 71*t**2 + 28*t - 115. Let f be m(24). Is f less than or equal to d?
True
Suppose 47*u + 81105 = -25514 - 10834. Is u smaller than -2500?
False
Suppose -5*j - 4*t = -20, 6*j - 8*j + 10 = 2*t. Suppose j = 7*b - 211 - 265. Let d = -152 + b. Is -84 at most d?
True
Let j(s) = -131*s + s**2 + 71*s + 8 + 75*s. Let n be j(-13). Is n equal to 0.1?
False
Let v = -0.2602 + -579.7398. Which is bigger: -2/31 or v?
-2/31
Let d(m) = -26*m**2 + 14*m + 13. Let y(j) = -j**2 - 7*j + 7. Let a be y(-8). Let p be d(a). Let c(s) = -14*s + 1. Let g be c(2). Is p greater than g?
False
Let b(j) = -17*j + 169. Let f be 308/66*3/2. Let v be b(f). Are 52 and v equal?
False
Let v be -3 - (14439 + -6 + 12 + -6). Is v at least -14441?
False
Let y = 35.4 - 31.4. Let z = 16.88 + -17. Which is bigger: y or z?
y
Let d = 55 + -38. Let u = -28 + d. Let y(b) = b**2 + 9*b - 10. Let n be y(u). Is 12 >= n?
True
Suppose 707*v - 704*v - 3 = -3*p, -5*v = 4*p - 4. Are p and 1/4111 nonequal?
True
Let v be 3 - 0 - (-42 + -5). Let c = v - 59. Let w = -90/7 - -339/28. Which is greater: c or w?
w
Let k = 373.9 - 372.9. Is k less than -100?
False
Let l be 0 + 0 + -1 + -1. Let g = 19394 + -174565/9. Does g = l?
False
Suppose -70*d - 192 = -78*d. Which is smaller: -1.6 or d?
-1.6
Let u be (7 + -5)*3/((1098/(-228))/(-3)). Is 3 equal to u?
False
Let h = -38.8274 - 0.1726. Which is greater: 0.07 or h?
0.07
Let x = -7322053275/34441 + 212597. Which is bigger: 1 or x?
1
Let p(u) = 14*u + 3. Let y(s) = s**3 - 11*s**2 + 10*s - 1. Let h be y(10). Let v be p(h). Let l = -11 - v. Are l and 1.4 equal?
False
Let d(c) = 2*c**3 - 3*c**2 - 3*c - 8. Let a be d(-3). Let l = a - -76. Do -5/2 and l have different values?
True
Suppose -5 = -p, -3*p - 36 = -a - 54. Let f = -54 - -77. Which is smaller: a or f?
a
Let q be ((-1716)/(-20))/(-4*4/240). Do -1288 and q have the same value?
False
Suppose 28*p - 39*p - 16 + 5 = 0. Is -6/2633 <= p?
False
Let y be (3/(-7))/((-31)/217). Suppose -2*n = 4*s - 14, -2*n + y*s - 31 = -24. Is 2/193 > n?
False
Let s be ((-46)/69)/(120/(-45)). Are -11487 and s unequal?
True
Let d(a) = a**3 + 18*a**2 - 3*a - 60. Let p be d(-18). Suppose -3*i + 8*i - 15 = 0. Suppose -2*c - i*c - 31 = 2*w, -c - 8 = w. Which is bigger: c or p?
c
Let r = 10270 - 24277. Is r > -14006?
False
Let v(y) = -18*y**3 - y**2 + 20*y + 32. Let f be v(-3). Which is greater: 2243/5 or f?
f
Suppose 3*h + 127 = 4*x, -5*h + 6*x = 9*x + 144. Which is greater: h or -82?
h
Let v = 27873/13 + -2143. Let r = 57/65 - v. Let h = 797.78 - 798.78. Which is greater: h or r?
r
Let i = 211 + -148. Suppose q + 2*h - 54 = 0, q + 3*h = 52 - 2. Which is smaller: q or i?
q
Let v be 4*-1 + (57 - -1). Let u = 45 - v. Let a(f) = -2*f**3 - 12*f**2 + 2*f + 2. Let p be a(-6). Which is smaller: u or p?
p
Suppose 0 = 2*a + 3 - 5. Let c be (31 + -26 - (-1785)/(-322))*12/(-20). Is c not equal to a?
True
Let s(w) = w**3 - 11*w**2 - 15*w - 39. Let n be s(12). Does -69 = n?
False
Let b be ((-11125)/1717700)/((-5)/(-12)). Let i = 4 + -3. Do i and b have the same value?
False
Suppose 2*x + 781*s = 778*s + 5693 + 10557, 2*s = 0. Which is bigger: 8126 or x?
8126
Let h = 257.58 - 4.58. Let t = -280 + h. Let k = 0.28 + -0.08. Which is smaller: k or t?
t
Suppose -d - s = -319 + 116, 2*d - 409 = -3*s. Suppose -2280*o = -2277*o + 5*w - 557, o + 3*w - 175 = 0. Which is smaller: o or d?
o
Suppose 14*w - 5 + 2 + 17 = 0. Which is greater: w or 2/1399?
2/1399
Let t = -1 + 1. Let h be (3 - -2) + 6/(210/(-10375)). Let q = 291 + h. Is t at most as big as q?
False
Suppose -73*m + 4085 = 11312. Which is greater: 7 or m?
7
Let i be ((-99)/27 - -4)*(14 + 1). Suppose 5*q - 9 = 11. Suppose 0 = -n + i, -279 - 70 = -q*j - n. Which is bigger: j or 87?
87
Suppose -3*o + 10 - 7 = 0. Let v(t) = -t**3 - 22*t**2 - 94*t - 27. Let x be v(-5). Is o smaller than x?
True
Let x be (15/(90 - -15))/(677/2). Which is greater: x or -1?
x
Let s be (-16)/(-14)*14/4. Let u be ((-5)/(-565))/(s + -5). Let f = 230 + -