Let o = 153/44 - 30/11. Which is smaller: v or o?
o
Let i be ((-72)/22)/(-3) - 142/1562. Is 18/3941 greater than i?
False
Let u = -2 + 1.8. Let l = 304.24 - 0.24. Let h = l - 303.85. Which is smaller: h or u?
u
Suppose -5*a - 27 = -4*n, -7*a - 21 - 9 = -3*n. Let q be (-10)/35 + (-136)/14. Let x be (-4)/q - 17/5. Is x at most n?
True
Suppose -14*a + 12*a - 4 = 0. Let m be (((-65)/(-3))/5)/(a/(-3)). Which is smaller: -0.1 or m?
-0.1
Let f = 281.21 - 283. Let m = f - 2.21. Is 0 < m?
False
Let x = 4589.8 - 4590. Is -1274 greater than x?
False
Let m = 3980 - 3980.5. Let j be ((-2)/4)/((-108)/(-16)). Which is greater: m or j?
j
Let j = 332 + -330. Let d = -68.03 + 1.03. Let k = 72 + d. Which is smaller: k or j?
j
Suppose 8*d = -5*d + 4524. Let m = d + -344. Is m less than 0?
False
Let m be (1308/872)/((0 + -2)/4). Is m <= 258?
True
Let b = -343048/3 - -363287818/3177. Which is smaller: b or -1?
-1
Let w be (-3)/((-66)/(-12) - 4). Let y be (w - (-62)/30)*12/17. Let i(s) = -2*s - 10. Let p be i(-5). Which is smaller: y or p?
p
Let v(i) = i**3 + 4*i**2 - 19*i + 10. Let r(o) = 13*o + 357. Let n be r(-28). Let d be v(n). Let j = -286/87 - 11/29. Which is greater: j or d?
j
Let x = -133.562 - -134. Let z = x + -0.088. Are 3/8 and z nonequal?
True
Let s = 333 - 330. Let i be (4/(-102))/(-1 - (-13)/s). Is 1 <= i?
False
Let n = 155/3 - 385/6. Is -13 less than n?
True
Let f = 0.0271 + -0.1466. Let i = -0.0195 - f. Is i at most as big as 35?
True
Let u(c) = c**3 + 21*c**2 - 13*c + 292. Let w be u(-24). Which is bigger: w or -1127?
w
Suppose 202 = 9*p + 58. Suppose 4*r = -j + p, 2*r + 2*j + 4 = 6*r. Suppose 10*v - 70 = r*v. Which is greater: v or 11?
11
Suppose 9 = -4*h + 4*c - 3, 5*c = 4*h + 17. Suppose 0 = -2*v - 0 + h. Let b = 5641/132 - 171/4. Which is bigger: b or v?
v
Suppose o = m - 703, 0 = 2*m - 11 - 3. Does o = -699?
False
Let x = 15340 - 15339.8. Is -1646 > x?
False
Let a be 0 - (2/4 - (12 - 6577/2)). Which is greater: a or -3273?
-3273
Let a(q) = -4*q - 96. Let w be a(-3). Is w < -66?
True
Suppose -275 = -3*n - 6*m + 5*m, -2*n + 200 = 4*m. Let l be 20/n + (-68)/(-666). Which is bigger: -1 or l?
l
Suppose -125*f - c + 452 = -130*f, 280 = -3*f + 5*c. Which is smaller: f or -87?
f
Let u(c) = 7 - 4*c**2 + 2*c**2 + 11*c**2 + 19*c. Let j(t) = 5*t**2 + 9*t + 4. Let y(l) = -7*j(l) + 4*u(l). Let p be y(-13). Which is greater: 17 or p?
17
Let z = 5075 - 1649377/325. Is z bigger than -1?
True
Let q = -26928.95 - -26920. Which is bigger: q or -9?
q
Suppose -7*q + 33 + 114 = 0. Suppose 4*s - 10 = 2*v + 6, 0 = -2*v + 5*s - q. Which is smaller: v or 24/43?
24/43
Let y be (16/10)/((-4)/(-10)). Suppose 2*f = 3*z - 63, 3*z + 117 = f - 5*f. Let u be (2 + -1 + 2)*(-4)/f. Is u smaller than y?
True
Suppose -3*n = -3*o - 2505, 3*n + 9 = -6. Let v = o + 783. Is v greater than or equal to -57?
True
Let u = 1/12626 - -37873/63130. Is -2/605 smaller than u?
True
Let r = -0.16244 - 0.23756. Is r less than 20/189?
True
Let p = -3623 - -862271/238. Which is bigger: 1 or p?
1
Let m = -636 - -634. Let k be m/52*528/110. Are k and 1 equal?
False
Let i = 1/3856 + 393305/26992. Suppose 2*b - 44 = -4*o, 8*o - 9*o = 4*b + 17. Which is bigger: o or i?
o
Suppose 264 = 3*n + 75. Let o be ((-18)/(-27))/(2/n). Suppose 0 = -f - f + i + 2, -i = 5*f + 2. Does o = f?
False
Suppose -215 = -5*h - 5*l, 4*h - 3*l - 76 = 2*h. Suppose 5*x - 2860 = 17*v - 14*v, 3*v + 3*x = -2892. Let o = -920 - v. Which is smaller: o or h?
o
Suppose 381 = -12*o - 4431. Let v = 402 + o. Are v and 4/91 non-equal?
True
Let m(i) = -41*i**3 - 3*i**2. Let l be m(1). Let a be l/((1 + 0)*-2). Is a greater than or equal to 12?
True
Suppose -12*d - 186 = -11*d. Let p = d - -176. Which is smaller: -15 or p?
-15
Let r = 15721 - 15720. Is r greater than or equal to -2/11559?
True
Suppose 3*c - 22 = -q, 0*q - 30 = -5*q + c. Suppose 0 = -q*f + 11*f - 20. Suppose f*x = 8 + 2. Is x >= 22/17?
True
Suppose 4*j + 58 = -2*v + 6*j, 0 = v - 4*j + 17. Let k = -4558 + 32141/7. Let t = k + v. Is 0 less than or equal to t?
True
Suppose -21 = 3*r - 4*v, 4*v - 9 = v. Let b be -1 - -4 - r - (-2)/(-2). Suppose 1 = -6*k - b. Which is smaller: k or 1/46?
k
Suppose 1127*t = 1146*t - 1824. Which is smaller: t or 97?
t
Let g(a) = -6*a - 7. Let j be g(5). Suppose 59 = -2*p - 5*m, 2*p + 62*m = 66*m - 86. Is p at least j?
True
Suppose 85*v - 376106 - 31798 = -27*v. Is 3641 equal to v?
False
Suppose -o - 4*x + 802 = 0, -10*o + 4*x + 802 = -9*o. Is o smaller than 8007/10?
False
Let y(s) = 2*s**3 - 6*s**2 + 2*s + 7. Let x be y(3). Let k(a) = 6*a**2 - 79*a - 2. Let f be k(x). Which is greater: -210/13 or f?
f
Let b be (29393/171)/7 + -25. Is b bigger than -2.09?
True
Let o be 312/(-261) + 170/255 + 0/1. Which is smaller: o or 0?
o
Suppose -5 = -2*t + 3*w, -3*t + 6 = t - 2*w. Suppose -3*g + 12 = -2*y - 0, 3*y - 3*g + 15 = 0. Let u be (y - 1)*9/171. Is u at most t?
True
Let h = 137 + -137. Let o(b) = 2*b**2 - 1. Let y be o(1). Let k be (y/51)/((-5)/(-10)). Which is bigger: k or h?
k
Let j = -32 + 35. Suppose -j*z = -2*z + 3*n + 17, 2*n + 8 = z. Let c(i) = -i + 28. Let a be c(29). Which is smaller: a or z?
z
Let d = 25 - 17. Let f = d - 8.11. Let v = 44.4 + -45.4. Is v at most as big as f?
True
Suppose 158*i - 8095 = 200 + 79. Is 54 >= i?
True
Suppose -3*v - 88 = c, 191 = -2*c - 5*v + 2*v. Which is smaller: -111 or c?
-111
Let t(c) = -c**2 + 9*c - 7. Let l be t(8). Which is greater: l or 55?
55
Suppose 0 = 5*h - 3*h + 24. Suppose 2 + 3 = -3*q + k, 5*q - 2*k + 9 = 0. Let r be (q - 29)*(-8)/(-20). Are h and r equal?
True
Let z(b) = 3*b**2 - 34*b - 4. Let r be z(11). Let w be 9/6*10/r*-2. Suppose w*h + 3*h = 0. Is 2 >= h?
True
Suppose 96*z + 277 = 97*z + 2*t, -t - 796 = -3*z. Is 291 at least z?
True
Let v = -6468/65 - -496/5. Let f = 0.07439 - 0.17439. Which is smaller: f or v?
v
Let t(z) = 3*z**3 + 39*z**2 + 66*z - 29. Let l(f) = f**3 + 13*f**2 + 22*f - 10. Let u(a) = 11*l(a) - 4*t(a). Let m be u(-11). Which is greater: m or 2?
m
Suppose 0 = -9*r + 39 - 12. Suppose r*h = 7*h + j - 15, 3 = h + j. Is 36/11 >= h?
False
Let g be (-155)/620 + 1154/8. Which is smaller: 722/5 or g?
g
Suppose 0 = -3*k + 14*k - 132. Suppose -k = -3*m - 15. Which is smaller: 6 or m?
m
Let i(n) = -2*n**3 - 16*n**2 + 10*n - 2. Let s be i(-6). Let r = -4336/21 - s. Is 1 > r?
True
Let q = 465 + -297. Let b = 167 - q. Which is smaller: 1/2 or b?
b
Let v = -9.2 - -9.04. Let y = -3641/5 - -727. Is y != v?
True
Let y = 294 - 302. Let a be 255/(-85) - ((-7)/y)/(-1). Which is smaller: a or -3?
-3
Suppose -1190 = 271*x - 267*x - 2*o, -2*x = 2*o + 622. Is -1503/5 != x?
True
Let z(o) = 120*o**2 + o - 3. Let w be z(1). Suppose -u - 3*y = 51, 2*u + 7*y + w = 5*y. Is -62 less than or equal to u?
False
Suppose -7*d = 4681 + 457. Which is greater: d or -732?
-732
Let j = 586741 - 102679216/175. Let y = j + -4/175. Let l = 6 + -3. Which is smaller: y or l?
y
Let a = -5749 - -172471/30. Is a greater than -0.088?
True
Let n(p) = p**3 + 86*p**2 + 253*p + 4730. Let t be n(-84). Are t and -14465/6 equal?
False
Let t be (2/14)/(34950/(-4893)). Do t and 296 have the same value?
False
Let x = -179 - -127. Let r be -8 - x/7 - (-1628)/2898. Is 0 greater than r?
True
Let v = -698869/80 - -8736. Which is greater: v or -1?
v
Let f = 3605 - 3616. Which is smaller: -0.49 or f?
f
Let z(b) = -b**2 - 123*b + 640. Let d be z(5). Is 2/1389 bigger than d?
True
Let k(j) be the second derivative of -j**5/20 - 2*j**4/3 + 16*j**3/3 - 21*j**2/2 - 8*j - 12. Let v be k(-11). Is -12 smaller than v?
True
Let z be 3*(0 - (-2)/(-3)). Let q be (6/(-52))/((-1)/z). Suppose -43 + 51 = 8*f. Do q and f have different values?
True
Let r = 7372411/11 - 670219. Let l = 22 - 12. Let k be l/(-6) - 2/(-3). Which is smaller: r or k?
k
Let v(k) = -21*k**2 - 6*k + 3. Let n be v(-10). Let d be -3*(3 + 6298/n). Let b = d - -1/97. Is -0.021 smaller than b?
True
Suppose 0 = -3*i - 15, 7*b + 2*i + 5130 = 12*b. Which is smaller: b or -4?
-4
Let u = -5 - -4.9. Let d = -1291 - -1276. Is u greater than d?
True
Let d = 3261 + -2826. Which is smaller: d or 4?
4
Let g(a) = -a**3 - 75*a**2 + 6*a + 450. Let x be g(-75). Let i be 0/(-6) + (-4)/(-55). Which is smaller: i or x?
x
Let x = 601114/31 + -19389. Which is greater: x or 2?
2
Suppose 0 = 12*r - 2*r + 1820. Le