0.23. Which is greater: l or o?
o
Suppose -116*s - 753 = -113*s - c, -3 = c. Which is smaller: s or -1517/6?
-1517/6
Suppose 0 = 4*f - 4*g + 12, 3*f + 4*g = 5*g - 1. Let h be (2/5)/(364/(-130)). Which is bigger: h or f?
f
Let o(t) = 8*t**2 + 89*t + 92. Let f be o(-10). Which is smaller: f or 383.3?
f
Suppose 0 = 58*y - 62*y - 5*d + 17, 5*y + 35 = 5*d. Which is smaller: 3 or y?
y
Let j = -0.16 - -0.168. Let u = 148.008 - 148. Let b = u - j. Is -0.1 greater than or equal to b?
False
Suppose -2400 = 161*a - 136*a. Which is greater: -94 or a?
-94
Let l = 5523/8 + -55102987/79816. Is 0 at least l?
True
Let g be 2/(-3 - 21/(-6)). Let c be -8*(3/36)/(1/(-3)). Suppose -2*m - 8 = c*p, -3*p = -7*m + g*m + 6. Is 1/31 not equal to m?
True
Let x(i) = -i**3 - 7*i**2 - 2*i + 6. Let b be x(-6). Let t be (b/(-4))/(144/(-1176)). Is -0.2 >= t?
True
Suppose 0 = -683*z + 695*z - 144. Which is greater: -48 or z?
z
Let r = 0.364 - -804.636. Which is greater: r or -0.2?
r
Let x(y) = 29*y - 116. Let q be x(4). Let u be -2 + (-1)/(928/(-1862)). Let n = u + -1447/80272. Is n at most q?
True
Let a(d) = 0 + d - 2*d + 6. Let p be a(-5). Let m = 5 + -2. Is p < m?
False
Let i = 24301 + -24304. Is 0.19 < i?
False
Suppose 25410 = -35*z - 70*z. Are z and -242 non-equal?
False
Let z be (1778/28)/((-3)/6). Which is bigger: -143 or z?
z
Let c(p) = p**3 - 13*p**2 + 5*p - 13. Let d be c(14). Suppose 384 = 7*q - d. Do 90 and q have the same value?
False
Suppose -4*b = -5*i + 1940, 0*i - 5*b - 1945 = -5*i. Which is greater: 765/2 or i?
i
Let b = -25779.6957 - -25780. Does b = 3?
False
Let m(t) be the third derivative of -t**4/12 + 7*t**3/6 - 37*t**2. Let x(n) = 2*n - 8. Let r(o) = -3*m(o) - 4*x(o). Let j be r(6). Which is smaller: -3/5 or j?
j
Let u = -5318 - -5320. Which is greater: u or -1037?
u
Let p = -33395/9 + 3701. Suppose 0 = -29*r - 16*r - 450. Is p not equal to r?
True
Let q(x) be the second derivative of -x**4/12 + 13*x**3/6 - 23*x**2/2 + 5*x. Let s be q(11). Let z be (3 + -18 + -4)*s/(-5). Is z less than -4?
False
Let n(s) = -s**2 - 3*s + 23. Let h be n(-6). Suppose y + 4 + 1 = a, -17 = -h*a + y. Suppose 17 = -a*b + 14. Which is smaller: 4/55 or b?
b
Suppose 64*v + 4154 = -70*v. Let k(o) = o**3 - 4*o**2 - 7*o - 3. Let y be k(5). Which is smaller: y or v?
v
Suppose 5*w = -2*s + 112, 0 = -2*s + 3 - 1. Suppose -17*q = -w*q. Suppose 4*x + 82 = -5*g + x, q = -3*g - x - 46. Is g > -15?
True
Suppose 12 = -3*u, -5*f - u + 3*u = -23. Suppose -m = -4*o - 2*m + 6, -5*o + 4*m = f. Which is bigger: o or -0.077?
o
Suppose -g = 2*u + 2, -g - 4 = -2. Suppose -3*b + 2*n - 13 = u, 0*n - 5*n = 4*b + 2. Let o be -11 - -5 - (b*1 - -2). Is o != 2/25?
True
Suppose -4*m = 4*s - 26 - 6, -7 = m - 4*s. Let w(o) = -o**2 + 6*o - 1. Let h be w(m). Suppose h*v + 11 = -9. Is -5 at least v?
True
Let p be (0/(-2) - 12)*(35 + 1908/(-54)). Which is bigger: 0.206 or p?
p
Suppose 5*b = -5*g - 68 + 13, -2*b = 4*g + 20. Let n be 8*(9/4 - 2). Let f be (-14)/(-7) - 9*n. Is b >= f?
True
Let h be (-2)/(-2) + (0 - 2). Let w = 0.081 - 54.081. Let x = -51.1 - w. Are h and x equal?
False
Let v = 2.38 - 2.4. Let d = 7.98 - v. Let c = -4 + d. Which is smaller: c or 0?
0
Suppose -5*o + 240 = -5*k, 0 = -5*o - 17*k + 16*k + 252. Suppose -243 = -6*b + 81. Is o <= b?
True
Let a be -2*993/(-6) - -2. Suppose -19*t - 1111 = a. Is t smaller than -76?
False
Suppose 5*d = -4*r - 87, 2*d - 8 = r - 48. Let u be 13/(-21) + d/(-57). Let w = 15 - 14. Which is smaller: u or w?
u
Let t = 6 - 4. Let b be t + -2 - 5/(-1). Let h be 6*-2*(-16)/24. Is h at least b?
True
Let k = -3411848/193 - -17678. Is k <= -1/5?
False
Let r = -452 + 552. Suppose 5*u + r = 5*k, k - 2*k - 2*u + 32 = 0. Is 27 less than k?
False
Let i be (6/(-4))/((-31)/806). Suppose 0 = 50*c - 60*c + 420. Which is smaller: c or i?
i
Let n = -77 - -194. Let b be (35 - 149) + (-5)/(-1). Let u = b + n. Which is greater: 9 or u?
9
Let f = 6756 + -6620. Which is greater: f or 120?
f
Let s be (31/62)/((-1)/13) - 1. Suppose -3*y - 3 = 0, -22 = 3*a - 4*y - 5. Is s < a?
True
Let f be 11/2 - (-4)/56*-7. Suppose 4*t + 0*t = -4, -f*d - 5*t + 1335 = 0. Do d and 268 have the same value?
True
Let r = 8448.8 - 8449. Let z = 0 + -4. Let u = 5 + z. Is r < u?
True
Let o = 12293 + -12293. Let f = -6/131 - 12665/917. Let t = -14 - f. Which is smaller: t or o?
t
Let s(m) = -m**3 - 4*m**2 + m - 5. Let z be s(-5). Let i be (-2)/(14/z) - 0/1. Is i less than -1?
True
Let n(b) = b + 6. Let k be n(0). Let x(h) = 2*h**3 - h**3 - k - 3*h + 9*h - 2*h**3 + h**2. Let s be x(3). Is s smaller than -8?
False
Suppose 9*r - 21*r = -324. Suppose 5*j + 93 = -r. Let k be 21/(-5) + j/(-6). Is k <= 0.07?
True
Let p = 20385 + -28437. Are p and -8052 nonequal?
False
Let w = -88.5425 - -0.5425. Is -22 < w?
False
Let w be -1*1*84/(-16)*-20. Let r be 6/w*(-1666)/56. Which is bigger: 1 or r?
r
Suppose 2*j - 160 - 38 = 0. Let y = j - 16. Let p = y + -78. Is 39/8 greater than p?
False
Let d(p) = 543*p + 551. Let q be d(-1). Let l be 2/(-3) - 47/(-3). Suppose -3*o + l + 6 = 0. Are q and o unequal?
True
Let s be 200/(-75)*(-3)/(-2) + -2 + 8. Is s less than -7578?
False
Let m = 1 + 11. Let v(r) = -r**3 + 9*r**2 - 54. Let z = 5 + 3. Let o be v(z). Is m less than o?
False
Let m = -58.92 + -197.22. Let k = 258 + m. Which is greater: 1 or k?
k
Suppose 0 = 82*u - 77*u - 20. Suppose -u*w - 146 = 4*f - 46, 2*f - 3*w + 50 = 0. Which is bigger: -71/3 or f?
-71/3
Let w = 715892/1524095 - 2/13253. Is 1 greater than w?
True
Let b be (-2)/4935*1662 - 28/(-70). Which is smaller: b or 1?
b
Let a(t) = 18*t - 1. Let k be a(-4). Let u = -72 - k. Which is smaller: u or -4/75?
-4/75
Let s = 0.04511 - 193.04511. Which is smaller: -10/9 or s?
s
Let l = 69.118 + -0.118. Let r = 65 - l. Let d = -1.5 - -0.5. Which is smaller: d or r?
r
Let u be (27/(-15))/((-5)/25). Suppose i - u*i = 12560. Let f = i + 81643/52. Which is bigger: f or 1?
1
Let z be 4480/416 - (-44)/(-4). Suppose 3*a + 3 = 3*g, -5*g = 4*a - 2*a - 5. Is a equal to z?
False
Let l(i) be the second derivative of -5*i + 0 - 1/2*i**2 + 13/6*i**3. Let j be l(1). Are j and 11 nonequal?
True
Let h = -7104.936 + 7045. Let f = h + 60. Let t = 0.264 - f. Which is greater: -9 or t?
t
Let n = -172 - -303. Let o = -131.11 + n. Is o less than 1?
True
Let w = 241 + -241. Suppose -11*f - 3*f - 1904 = w. Is f >= -137?
True
Let i = 14/577 + 18282/7501. Suppose 13 + 24 = 35*q + 2. Do q and i have different values?
True
Let p be -7*(-2 - 0)*4/8. Let w(r) be the second derivative of -3*r**3/2 + 7*r**2 - 11*r. Let t be w(p). Which is bigger: -48 or t?
-48
Suppose 12 = -3*v, 3*v - 2*v = -2*y + 370. Let a = 202 - y. Is a < 14?
False
Let v = 79 - 24. Suppose -4*q = -9*q + 95. Suppose q = -z - t - t, -v = 4*z + t. Are -13 and z unequal?
False
Suppose -4139 + 17352 = -181*g. Is g bigger than -64?
False
Let t(x) = x**2 + 3. Let w be t(0). Suppose 5*p = 3*h - 2, 0*p - 3*p = -w*h. Suppose -4*r = -r. Is r greater than p?
True
Let k = 3.03 - 1.69. Let q = 1.7 - k. Let z = 18.64 + q. Are -3 and z nonequal?
True
Suppose -22*z + 98 = -8*z. Suppose -z*u - u - 56 = 0. Let q = 147 - 771/5. Which is smaller: u or q?
q
Let w be (-7)/(-126)*8 + 6. Suppose -g = 4*n + 3, -2*g + 7 = g - 4*n. Is g greater than w?
False
Suppose -2*k - 7 = 3*n, -2*n = -k + 3*k + 2. Suppose -4*d - 1204 = 4*h, 3*d + 1204 = -0*h - k*h. Do h and 0.1 have the same value?
False
Let u be ((-78)/(-2002))/(5/35). Which is greater: 299 or u?
299
Let l = 213 - 28. Let t = l + -107. Suppose 29*y - t = 35*y. Which is greater: -35/3 or y?
-35/3
Let f be 1059727/(-492) - (-2)/(-24). Is f bigger than -2155?
True
Suppose 2*y - 64 = -6*y. Let l(a) = 9*a**2 - 73*a + 5. Let o be l(y). Which is smaller: 69 or o?
o
Let g = -3606211790/18837 + 191443. Is 1 greater than g?
True
Let w be (4/7)/(4/2086) + -3. Suppose -r = 4*d + w, r + 145 = -3*d + d. Which is smaller: d or -74?
d
Let o(x) = -2*x + 3. Let p be o(2). Let u(d) = -4*d - 175. Let m be u(14). Let r be 42/30*(-22)/m. Is r at least as big as p?
True
Let w = 21189 - 20832. Which is greater: 338 or w?
w
Let s = -101855/3 - -33054. Are -898 and s non-equal?
True
Let b be 111/296 + (-45)/24 + 3. Let s(u) = -u**3 - 4 - u - 2*u**2 + 0*u + 2*u. Let o be s(-3). Which is smaller: o or b?
b
Let g = -36.27 + 37.27. Which is bigg