 -5.5443. Let f = 24.6 - 27. Let u = n - f. Which is bigger: 0.05 or u?
0.05
Let a(r) = 4*r - 40. Let g be a(11). Suppose -c + g*t + 1 = 0, -c = -3*t - 4 - 1. Which is smaller: 18 or c?
c
Let c(a) be the first derivative of a**2 + 15*a - 3. Let b be c(-6). Suppose 34 = -b*q + 7. Is -10 at most as big as q?
True
Suppose 3*x = -4*b - 31, 2*x - 28 + 23 = b. Which is smaller: -1/3 or x?
x
Let i be (1/3)/(3 - (-595)/(-225)). Let m = 307/208 - i. Which is smaller: m or 2?
m
Let n = 46269 - 25252. Is 21016 <= n?
True
Let l = 307021/17 - 18053. Is l less than 1/5?
False
Let t be 1/(-7) + 1521/(-9198) + 0. Which is bigger: -1 or t?
t
Let o(x) = 16*x + 229. Let i be o(-14). Let t(c) = c**3 - 7*c**2 - 9*c + 2. Let p be t(i). Is p smaller than -93?
False
Let l be 7/((-392)/(-1824)) - (-9)/21. Is 45 at most l?
False
Let l be (475038/(-12))/19 - (-4)/8. Are l and -2086 unequal?
True
Let c = 0.07431 - -0.02569. Let x = 28 - -1. Which is smaller: c or x?
c
Let x be (-26)/6 - 10/(-30). Let p be (x - -2)/((-12)/702). Do p and 118 have the same value?
False
Suppose 26*x + 20*x - 66*x = -19*x. Which is bigger: x or -1339?
x
Let p = 7 + -17. Let a be 18/182 + 90/315. Let k = a - 101/195. Is p at most as big as k?
True
Let g be ((-4)/14)/1 - 93818/427. Is -223 at least g?
False
Let b be (498/12)/(8/(-208)). Is b > -1078?
False
Let c be ((-60)/10 - (-1015)/10)*-58. Which is smaller: c or -5538?
c
Let m = 3895.3 - 3898. Are m and 0.55 non-equal?
True
Let m = 871 - 470. Let t = m - 400.055. Let b = t - 0.135. Is b greater than or equal to 0.1?
True
Let x be ((-6342)/(-1510))/((-1)/(-15)). Let o = 124 + -188. Let b = x + o. Is b not equal to 2/109?
True
Let k(q) = -5*q**3 - q**2 + q + 2. Let n be k(2). Suppose -5*p - 275 = -5*y + 60, 2*y + 2*p - 114 = 0. Let l = y + -101. Which is greater: l or n?
l
Let u be (6 - 2)/(1 + 0) - -9. Let g be (-6)/(-9)*2532/8. Suppose -4*k - u + g = 5*h, -4*h = k - 165. Is h at least as big as 43?
False
Let i be (-118)/(-10) - (-52)/260. Suppose 4*o - 4*m - i = 0, -8*o + 5*m + 24 = -12*o. Is -1/412 at most o?
False
Suppose -56*y - 67*y = -16*y - 799932. Is 7476 smaller than y?
False
Suppose 0 = -4*c + 5*i - 172, 0 = 3*c - 2*i + 59 + 77. Which is smaller: -18 or c?
c
Suppose 2*o = 5*z - 76, -5*o - 110 = 3*z + 80. Let k be 1 - (-1 + o + (9 - 4)). Is 40 at least as big as k?
True
Suppose h - q = 2*q + 9, 4*q = -12. Which is smaller: h or 2/3581?
h
Let d = -0.05015 - 7.94985. Is -1/203 >= d?
True
Let d = -109331 - -765319/7. Let r be 26/4 + (-5)/(-10). Which is smaller: r or d?
d
Let p = -16 - -27. Let d(c) = c**3 + 9*c**2 + 17*c + 26. Let b be d(-7). Suppose -9 = 2*a - b*a, -2*a = -2*q + 16. Is p > q?
False
Let f(v) = 8*v - 4*v + 0*v - v**3 + 46 + 19 - 16*v**2. Let m be f(-16). Is -2/325 < m?
True
Let j = 260 + -351. Let c(p) = -2*p**2 - 2*p + 91. Let g be c(9). Which is smaller: j or g?
j
Let i be 442/(-1896) + 0 + 67/268. Suppose 2*t - 4*z - 6 = 0, -5*t + 2 = -8*t - 5*z. Which is bigger: i or t?
t
Let i(p) = -3*p**2 + 78*p + 43. Let o be i(24). Is o > 187?
False
Let p = -15236 - -15120. Which is bigger: p or 0.06?
0.06
Let b(g) = -g**3 - g**2 + 4*g + 6. Let v be b(-2). Suppose 2*n = -v*i + 74, n = -4*i + 4*n + 176. Is i at most 41?
True
Let n = -39483 + 39482. Let d = -12 - -12.26. Which is smaller: d or n?
n
Let d = 387/10 - 4371/130. Suppose a - 1 = -4*v, -25 + 26 = -v. Which is smaller: d or a?
a
Suppose -9 = 15*t + 6. Let b(u) = 101*u - 5. Let x be b(t). Are x and -105 unequal?
True
Let p(t) = -t**2 - 8*t + 18. Let q be p(-17). Let w = 64 + q. Which is greater: -72 or w?
w
Suppose 3*c = 2*y + 9, 4*y - 3*c - 12 = -7*c. Suppose -5*q - 165 = -y*q + 5*k, -2*q - k = 70. Which is greater: q or -39?
q
Suppose 0 = -22*q - 7647 + 82645. Let i = q - 514756/151. Which is greater: -1 or i?
i
Let l(q) = -4*q - 40. Let a be l(-9). Let u be 0/a + (-5 - -14). Suppose u*z - 6*z = -21. Which is greater: -1 or z?
-1
Let x = -0.355 - -83.055. Let l = x - 83. Which is greater: 70 or l?
70
Let u(z) = -36*z - 45. Let h be u(4). Which is smaller: -14 or h?
h
Let c be (370/1153290)/((-22)/(-4)). Does c = -1?
False
Let h = -2 - 14. Suppose -1088 - 46 = 27*j. Let a be (12/(-14))/((-2)/j). Which is greater: a or h?
h
Let d = -42238 - -29854. Which is smaller: -1/2 or d?
d
Let z = -193.4 + 194. Let l = -47 - -46.88. Are z and l non-equal?
True
Suppose -47*m = 32 + 35 - 20. Let i be 1/2 - (-342)/(-156). Which is greater: i or m?
m
Let v = -10774 + 10773. Suppose -3*d + 476 = -4*h, 0 = 2*d + 2*h - 3*h - 319. Are v and d equal?
False
Let l(q) = q**3 + 38*q**2 + 36*q - 20. Let m be l(-37). Let r(d) = -4*d + 152. Let w be r(34). Is m > w?
True
Let g(i) = -i**3 + 9*i**2 + i - 9. Let l be g(9). Let c be 49/(l - -7)*1/17. Which is smaller: c or -1?
-1
Let c(i) = i**2 - 1. Let y(v) = 3*v**2 - 4*v - 6. Let z(m) = -2*c(m) + y(m). Let p be z(5). Let s be ((-13)/39)/(43/(-30) - -1). Which is bigger: s or p?
p
Let c = 26533.25 - 26533. Which is smaller: c or -208?
-208
Suppose -3*x = o + 5926, -4*o - 5902 = x + 17769. Is o smaller than -5917?
False
Let x be 4/16*24/(-18). Which is greater: -3931 or x?
x
Suppose 0 = -5*z + 5*q + 10, 4*q + 26 = 3*z - 5*z. Suppose -41 = 5*m - 21. Let c be -10 + (m - z) + 3. Which is bigger: c or -9?
c
Suppose 0 = 5*l + 10, 5*w - l + 0*l = 2. Suppose w = 8*c - 16*c - 648. Is -82 bigger than c?
False
Let m be 7/((-42)/30) + 12 + -4 + -2261. Which is smaller: m or -6778/3?
-6778/3
Let v = -1911.55 - -1911.87. Let d be 256/(-14) - 4/(-14). Let q be (-12)/d*(-6)/4. Do v and q have the same value?
False
Let n = 8.508 - -320.492. Which is bigger: n or 0.06?
n
Let q(w) = -16*w**2 + 110*w + 733. Let t be q(-7). Is t smaller than -838?
False
Let w = 4/2137 + 3907/1337762. Let h = 59 + -58. Which is smaller: w or h?
w
Let s be -1*(-3308)/(-140) + 3/3. Let n = s - -16098/665. Let j = 89/76 + n. Is 3 > j?
True
Let y be (-3515)/4845 - 2/(-34). Is y > 101?
False
Suppose -r + 1 = -x, 5*x - 1 + 3 = 4*r. Let c = 6 - x. Let z = c - 4. Are 6/11 and z equal?
False
Suppose -k - 15946 = 3*y, -y + 4*k - 1695 = 3603. Which is bigger: -5315 or y?
y
Suppose 5 = j - w, -3*j - w + 0 = -7. Let u(y) be the first derivative of -y**2/2 + 3*y - 11. Let a be u(j). Is a greater than or equal to 0.2?
False
Let g = 1623/344 - 219/43. Is -329 less than g?
True
Let o be 29/27 + 894/(-12069). Is -4/10025 at most as big as o?
True
Let b(p) = -p**2 - 7*p**3 + 14*p + 6*p**3 - 2*p + 4*p**2 - 4. Let z be b(6). Is -41 smaller than z?
True
Let f be ((-230)/207)/(8/14772). Which is smaller: f or -2052?
-2052
Let k = -763 - 2813. Are k and -3576 nonequal?
False
Let o = -3457 - -27657/8. Is 940 greater than o?
True
Let g(a) = -23*a - 59. Let r be g(-3). Suppose 0 = r*s + 12 - 62. Which is bigger: s or 16?
16
Let v be 102999/(-104)*2/3. Let w = 1379/2 + v. Is 30 <= w?
False
Let g = 0.6116 + -70.6116. Let n = 107 + -30. Let a = n + g. Is a equal to -1/3?
False
Let k = -1525 + 1558. Which is bigger: -6 or k?
k
Let x = 0.515 - 0.075. Let h(s) = -3*s - 15. Let v be h(-9). Let i = 11 - v. Is x less than i?
False
Let h = -0.151 + -0.009. Let v be -4*2/(-1 - -3). Let f be (v/2 - -3) + 1. Which is bigger: f or h?
f
Let i = 8 - 14.22. Let o = i + 0.22. Let b = 10.1 - 5.1. Which is greater: o or b?
b
Let m be 1/1 - (14 + -1). Suppose 4*w + 30 = -5*x, -w = -4*x - 30 + 6. Let i be 12/16*m*x/189. Which is greater: i or -1?
i
Suppose 5*h = 146 - 141. Let y(p) = -p**2 - 2*p + 2. Let a be y(-6). Let q be (-1)/(-35)*(-55)/a. Which is smaller: q or h?
q
Let y(r) = -10*r + 78. Let q be y(8). Let o be 0 + 238/(-120) - q. Is 1 smaller than o?
False
Let m = -1011 + 664. Let o = 347.3 + m. Which is smaller: -0.085 or o?
-0.085
Let q be (5 - (-4 - 37))*(3 - 5). Which is smaller: q or 1/25?
q
Let x = 11.22 - 11.183. Let i be (6/(-10))/(72/(-135)). Let u = 43/24 - i. Is x < u?
True
Let h = 1443 - 1002. Which is bigger: h or -0.1?
h
Let c = 8083 - 8044. Which is greater: 106 or c?
106
Let x = 1559963/84 + -18571. Which is smaller: -23 or x?
-23
Let l be 11738/72 + 0 + (-2)/8. Let x be (-2 - (-161)/(-1))*-1. Let q = l - x. Which is greater: -2 or q?
q
Suppose -57*w + 760 = -67*w. Let r be 46/w - (2 - (-40)/(-19)). Which is greater: 169 or r?
169
Let k = -1/224 - -3473/224. Let b be (-5)/2*168/(-20). Let t = -5 + b. Is k >