et k = -1.2 + 1.23. Is k less than or equal to 11/2?
True
Suppose 79 = 4*j - 37. Suppose s = 2*i + 4, 4*i - 11 = -4*s + j. Which is smaller: s or 9?
s
Let d(z) = -8*z**3 - 4*z**2 - 7*z - 7. Let t be d(-2). Is t at least as big as 53?
True
Let g(n) = 10*n + 52. Let w be g(-8). Which is smaller: w or -30?
-30
Let c be (11 - 3)/(-1 - 0). Let l = -74/9 - c. Which is smaller: 2/3 or l?
l
Let j = 1/446 + 4457/1338. Let z be -2 - (-3 - -1)*3. Suppose z*s - 7 - 9 = 0. Which is smaller: j or s?
j
Let i be (-2)/8 + 1*2327/(-156). Which is smaller: i or -16?
-16
Let a(y) = -3*y + 17. Let k be a(3). Suppose -8 = -k*c + 10*c. Which is greater: -2 or c?
-2
Let g(f) = -8087*f + 2. Let m be g(-1). Let n = m - 687539/85. Let l = n + 2/1105. Is l at most as big as 0?
False
Let i = -1398759/8 + 174584. Let a = i + 259. Which is bigger: -2/7 or a?
-2/7
Let w = 42 + -46.1. Let c = w + 4. Let o be (-48)/(-22) + (-4)/2. Which is bigger: c or o?
o
Let d = -637/3 + 213. Is 91 at least as big as d?
True
Let v(k) = k**3 + 8*k**2 + 3*k - 5. Let p be v(-7). Let d = -28 + p. Let g be 138/(-40) + 4/d. Is -3 >= g?
True
Suppose -4*d = 6*z - z - 79, d - 16 = -5*z. Let v be (-9)/d - (7 - 7). Which is smaller: v or -1?
-1
Let l = 397 + -385. Is l < -11?
False
Suppose -j - 2 = -3*j. Let u(m) = 2*m**3 - 2*m**2 + m. Let y be u(j). Let v be (2/18)/(y/(-3)). Is 0 less than or equal to v?
False
Let v = 37/8 - 279/56. Is 0.1 smaller than v?
False
Let h be 14*(-1 + (-69)/21). Let v = -64 - -72. Let r be (h/v)/((-3)/4). Which is bigger: 8 or r?
r
Let l be (1 - (-14)/(-6)) + 4675/3450. Which is smaller: -1 or l?
-1
Let t(w) be the third derivative of -19*w**4/24 + 5*w**3/3 + w**2. Let f be t(11). Let i = -1793/9 - f. Which is greater: 2 or i?
2
Let k(n) = -4*n**3 + 8*n**2. Let s(p) = -p**3 + 1. Let d(v) = k(v) - 3*s(v). Let i be d(8). Is i greater than -10?
True
Let g = -0.155 - 0.845. Which is bigger: -11/14 or g?
-11/14
Let p(x) = -114*x**3 - 3. Let l be p(-2). Let t be l/(-36) + (-10)/(-8). Which is bigger: -0.1 or t?
-0.1
Let l be 2/(-22) + 23/253. Let v be (l/2)/(3/3). Let a(t) = -t**2 + 6*t - 6. Let i be a(5). Is i at least as big as v?
False
Let y(n) = -2*n**3 + 34*n**2 + 26*n + 179. Let i be y(18). Let p = 561/24206 - -2/637. Is p smaller than i?
False
Suppose -12 = -3*v - 6. Suppose -v*w = -1 - 1. Do -9 and w have different values?
True
Let f = -70.99 + 75.3. Let m = 2.38 - f. Let r = 0.07 - m. Is r at least as big as 2?
True
Let f be (2 + -7 + 4)/(1/6). Let t be 8/28 - (-10)/14. Let y = 0 - t. Which is smaller: y or f?
f
Let g = -43 + 16. Let t = g - -25. Is 1 at least t?
True
Suppose 3*i = 10 + 38. Let r be i*(0/1 + -2). Let k be -3 - 5/(60/r). Is 0 less than k?
False
Suppose -24*m - 14872 - 3824 = 0. Do -780 and m have the same value?
False
Let w = 61990/189 + -328. Is w less than 0?
True
Suppose 0 = -2*j - 3*c - 5, 2*j + 5*c + 9 + 2 = 0. Suppose -3 = 5*l + w - 12, 0 = -j*l - 3*w + 14. Are -1/17 and l equal?
False
Let r(y) = y - 4. Let k be r(-3). Let o be (0 - -2)/(21/k). Is o at most -2?
False
Let m be 4/30 + (-1735)/75. Is -23 < m?
False
Let u(q) = -q**2 - 4*q + 2. Let m be u(-6). Let s be (3/m)/(6/(-5)). Let i(o) = 32*o - 161. Let g be i(5). Which is smaller: g or s?
g
Let z be (-2)/(-1 - -3)*(37 - 37). Which is smaller: z or -6/43?
-6/43
Let x = -51/110 + 1/10. Let l = 6198 + -6197. Is x less than or equal to l?
True
Let w be (-3)/2 + 425/153 + -2. Which is greater: w or -1?
w
Let z = 61866/11 + -5628. Is -4 less than or equal to z?
True
Let u(h) = 0 + 7 + 8*h**2 - h**3 - 5*h**2 + 8*h. Let y be u(5). Which is smaller: -1 or y?
y
Let z be 3/70 + 4/(-10). Let o(g) = -g**2 - 17*g - 69. Let d be o(-7). Is d <= z?
False
Let f = 6297/7 - 898. Is -2 at most f?
True
Suppose x + 0*x + 5 = m, 5*x + 16 = 2*m. Suppose 28 = -m*v + 4*v. Suppose -4*y = -y + o - 38, v = 3*y - o. Which is smaller: y or 10?
10
Let w be -1 - 4*5/(-20). Is w greater than or equal to -2/323?
True
Let o be (-2)/(-4)*3/(-396)*-4. Is 0 less than o?
True
Let n = 32.036 - 0.036. Let r = n + -28. Let v = -2.1 + 2. Which is bigger: r or v?
r
Let j = -515/3 - -1123/6. Which is smaller: 16 or j?
j
Let h be -5 + 4 - 11808/(-44). Let l = 290 + -23. Let j = l - h. Is 1 < j?
False
Let q be (-103)/(-206)*(1 - 1). Let m = 92/5 + -18. Do m and q have different values?
True
Let f = -146 + 160. Is f bigger than 24?
False
Let j = -373 - -349. Is -126/5 > j?
False
Let g = -56 - -30. Let s = 25.95 + g. Is 2/13 greater than s?
True
Let u = -99/2 + 54. Suppose -4 - 6 = -2*v. Is u less than v?
True
Let x = -2458 + 4917/2. Let b = -3 - -3.01. Let q = 0.31 - b. Is q at most x?
True
Suppose 0 = 18*g + 4386 - 1740. Are g and -1 unequal?
True
Let x(d) = d + 1. Let t(g) = 6*g + 7. Let n(i) = -2*t(i) + 10*x(i). Let r be n(-3). Let l be r + 1*(-34)/14. Which is bigger: l or 0.1?
0.1
Let k be 4/(-12)*3 - 10/2. Suppose 2*l + l = -6. Let j be l/(-12) - (-11)/(-66). Which is smaller: k or j?
k
Suppose -3*x + 7 = -5. Suppose 0 = x*s - 6 + 2. Suppose -2*c + 4*p - 16 = 0, -3*p + s = 3*c - 2. Which is smaller: -1/2 or c?
c
Let y = -347 + 348. Which is bigger: 0.098 or y?
y
Let y = -121.181 + 121. Which is smaller: -0.1 or y?
y
Let t be (2/11)/((-5)/(-10)). Let n(y) = 2*y**2 - 13*y - 6. Let i be n(7). Is t greater than i?
False
Let w = -12 - -47/4. Let x = 4.3 + -4. Which is smaller: w or x?
w
Let m = -29576/5 - -5890. Which is bigger: -24 or m?
-24
Let t(f) = -f**3 + f**2 - f + 3. Let c = 14 + -14. Let q be t(c). Suppose 5 = u, -w - 10 = -q*u + 3. Is 2 bigger than w?
False
Let r = 5 + 1.8. Let c = r + -33.8. Let q = c + 27.1. Is 3 less than or equal to q?
False
Suppose 2*b - 20 = 2*d, -b - 5 = 2*d + 18. Is d less than -3/4?
True
Let n be (1749/(-11))/((-15)/(-10)). Which is greater: -112 or n?
n
Let m(y) be the third derivative of -y**6/120 + 7*y**5/60 + y**4/12 + 7*y**3/6 - 7*y**2. Let i be m(7). Which is smaller: i or 23?
i
Suppose 3*d - 2*d + 2*g + 5 = 0, 5*d = 3*g + 1. Let s be 20/(-8)*((-86)/(-35) + -2). Which is bigger: s or d?
d
Suppose 0 = 3*l - 136 - 419. Is l smaller than 186?
True
Let o = 0.2 + -3.2. Let a = 59.2 + -51. Let c = -8 + a. Which is smaller: c or o?
o
Suppose 0 = -8*z + 6*z + 164. Suppose -z = 5*s + 33. Is -23 at least as big as s?
True
Let i be (12/(-9) - (-4)/(-6)) + -50. Let r = i - -49. Is 1/2 greater than or equal to r?
True
Let u be 4/(-26) + (-426)/52*-6. Which is smaller: 44 or u?
44
Let i = -6.4 + 10. Let v = i + -18.6. Let c = -14.93 - v. Which is smaller: -0.2 or c?
-0.2
Let l = 285212/2365 + 7/2365. Is l at most 122?
True
Suppose 0 = -4*d - 4, 3*d = 3*q - 0*d - 204. Are q and 48 non-equal?
True
Let m be 1 + 0 + 3 + -1. Suppose n - 3 = -m*j, -n - 4*j = -2*n + 3. Is 1/7 at most as big as n?
True
Let t(w) = 13*w - 301. Let s be t(24). Which is smaller: s or 169/14?
s
Let u = 79/23 - 868/253. Which is bigger: u or -1?
u
Let s = -2304 - -2253. Is -55 smaller than s?
True
Suppose 2*a + x - 144 = 0, -3*x = -2*a + 187 - 35. Let b = -88 + a. Which is bigger: b or -68/5?
-68/5
Suppose 0*p - 4 = j - 3*p, p + 20 = -5*j. Let x = 79.3 + -80.3. Which is bigger: x or j?
x
Let o be ((-18)/36)/((-2)/(-8)). Let y be o + (-13)/(-3) + -3. Let g = 0.2 - 0.4. Is y smaller than g?
True
Suppose 0 = 2*h - h - 1. Suppose 42 - 40 = b. Which is smaller: h or b?
h
Let u = 82 + -82. Let z = -1745/7344 + 1/432. Is z > u?
False
Let q = 10/29 - 109/232. Are -1 and q non-equal?
True
Let b = -3.2 - -4.43. Let l = b + -1.43. Which is smaller: 8 or l?
l
Let k = -20 + 23. Suppose -k*r - 96 = 18. Let d = r - -37. Is 3/25 < d?
False
Let i = 5.88 - -0.12. Let q = -3 + i. Let j = 2 - q. Is j bigger than -10?
True
Let d be ((-6)/(-15))/(1/(-45)). Let p be 86/d + 1 + 4. Let a = -0.1 + 0. Which is greater: a or p?
p
Suppose -a = -4*a + 2*m - 4, -5*m + 17 = -4*a. Suppose -4*w - 40 = -4*z, a*w - 4*z - 1 = -29. Is w at most 1?
True
Let x be (-8)/(-2)*(10 + -6). Suppose 0 = x*a - 12*a - 4. Does a = -8.5?
False
Let n = 2.394 - 2.494. Which is bigger: 0.0061 or n?
0.0061
Let b be (7/(-3))/(5/(-30)). Let w be (-544)/(-7) + 4/b. Let k be w/231 + (-3)/7. Which is smaller: k or -1?
-1
Suppose -5*a + 36 + 129 = 0. Let t(y) = -396*y - 364. Let u be t(-1). Is u greater than or equal to a?
False
Suppose 167 = -19*y + 34. Which is bigger: -11 or y?
y
Let r = -380 - -37