 x?
False
Let m = -0.247 - 126.753. Let n = -136 - m. Is 5/2 at most as big as n?
False
Let z = 3 + -4.2. Let h = 0.2 + z. Let i = 55897 - 55899.2. Which is smaller: i or h?
i
Let t = -96 + 54. Let x = t + 32. Is -23 > x?
False
Let n = 31.77 + -36.77. Which is smaller: n or 357?
n
Let s(q) = -9*q + 29. Let p be s(5). Let l be (-6)/p - 112/128. Suppose -2*x - x - 80 = h, 3*h - 60 = 3*x. Is l smaller than x?
False
Let k(f) = 844*f + 2. Let a be k(-2). Let r = a + 18588/11. Suppose -13*x + 360 = 59*x. Which is smaller: x or r?
r
Let d(s) = 67*s**3 + 40*s**2 + 9*s + 17. Let k be d(7). Are 25020 and k unequal?
True
Suppose -247 = 2*z + 1385. Let d be z - (-3 - 20/(-4)). Let y be d/(-522) - 14/63 - 1. Which is greater: -1 or y?
y
Let l = -3.44 + 3. Let k = -0.33 - l. Let f = 1.998 - -0.002. Which is bigger: k or f?
f
Let f(g) = 6*g**2 - 3*g - 2. Let z be 33/(-27) - 16/(-72). Let y be f(z). Are y and 6 equal?
False
Let i = 762 + -754.87. Let a = -7.33 + i. Which is smaller: a or 0.16?
a
Let z(a) = -32*a - a**3 + 2*a + 9*a + 5*a - 15*a**2. Let o be z(-14). Are -0.06 and o equal?
False
Let x be 43/(-175) + 28/(-700). Which is greater: 1379 or x?
1379
Let r be 3573/9 - (-6 - -6). Suppose -8*n - 1191 = -11*n. Is r less than n?
False
Let n = 52 + -198. Let a be n/465 - (40/24 + -2). Which is bigger: 0 or a?
a
Let v = -3/2693 - -8202/110413. Which is bigger: -2 or v?
v
Let m be -4 + -5 + 2271/207. Let r = m - 30/23. Is r >= 64?
False
Suppose 0 = -13*o + 14*o - 9*y - 17, 3*o = -4*y - 11. Is o equal to 3/1663?
False
Let h = -874774096/1950559 - 15/102661. Let g = -449 - h. Which is greater: 0.2 or g?
0.2
Let l = -115.4 + 84. Let i = l - -32. Let x = i - 1. Is -3 greater than x?
False
Let l(x) = x**2 + 5*x - 7. Suppose 2*g + 18 = -g. Let y be l(g). Let s = 9/10 + -79/110. Which is smaller: y or s?
y
Let n = 1928 + -1928. Does -3/955 = n?
False
Let f = 0.271 + -131.871. Let k = f + 131. Which is bigger: k or -4/17?
-4/17
Suppose 3*y - 11*y = -448. Suppose 4*n = 3*n + y. Let u = n + -56. Do u and 0.36 have different values?
True
Suppose 5*s + 11*t = 16*t - 125, -2*t = -5*s - 113. Is s > -77?
True
Let v be 28/2706*9*10/(-75). Let g = v - -2/41. Which is smaller: -0.3 or g?
-0.3
Let m = -125 - -37. Let t = -68 - m. Which is greater: t or -3/4?
t
Let z = -4.911 - -1.911. Let k(i) = 5*i - 2. Let p be k(-2). Is z less than or equal to p?
False
Let f = -220 + 281. Suppose -4*i - 4*z = -3*i + f, 305 = -5*i - 2*z. Is i greater than -61?
False
Suppose 0*i = i. Let q = 588 + -585. Suppose -q*z - 1 = -13, -3*u + 2*z + 46 = i. Which is greater: u or 16?
u
Let i(n) be the third derivative of 0 - 2*n**3 + 8*n**2 + 0*n + 1/12*n**4. Let p be i(-5). Which is greater: p or -21?
-21
Let k be 8/(-40)*0/(-2). Suppose 2*w - 4*y - 415 + 43 = 0, 3*y = k. Which is greater: w or 187?
187
Let u be 6 + -17 + 7 - -552. Let o = 141 - u. Is -408 greater than or equal to o?
False
Suppose -283 - 82 = -4*u + 227. Which is bigger: 150 or u?
150
Suppose 0 = 4*q + 3*q - 1043. Which is bigger: q or 152?
152
Let i = -204.43 - -138.43. Which is smaller: 9 or i?
i
Let h be -37 + 58 + 0*(-2)/4. Let w be ((-180)/(-105))/((-39)/h + 2). Which is bigger: 10 or w?
w
Let k be (-2)/(-15) - 10/75. Let d = 29/11 - 743/286. Which is greater: d or k?
d
Let d = -15 - -38. Let l = -161811 + 161808. Which is greater: l or d?
d
Let h be (-2 + 1)/(-2 - -3). Let d be (0 + -1)/h + 2496/192. Which is bigger: 10 or d?
d
Let n = -1 + 5. Suppose -27*p + 103 = 49. Let s be ((-3)/p)/((-3)/n). Is s at most -1?
False
Let a(f) = -41*f + 1721. Let t be a(42). Is t smaller than 60/157?
True
Let w = 116 - 76. Let m be (w/(-24))/(-2 + 5/3). Suppose 4*x + 16 = 3*r - 1, -m*x = 2*r + 4. Which is bigger: x or 5?
5
Let t = 0.11387 - 2458.11387. Which is smaller: t or -9?
t
Let u = 13 + -7. Suppose 0 = 4*v - 3*h + 3745, 610 + 336 = -v + 4*h. Let b = -931 - v. Is b > u?
False
Let o = 0.038 - 0.04. Let s = 1.4954 - 0.0974. Let q = o - s. Are 0.2 and q equal?
False
Let u = 349 - 317. Suppose 6*r - 8 + u = 0. Is r greater than -4?
False
Let c = 1904.9 + -1829. Let l = 363.9 - c. Which is greater: l or -0.1?
l
Let n = 240.86 + -186.8. Let x = -54 + n. Which is smaller: x or 1.3?
x
Let k = -3441/544 + 61/34. Is -5 at most as big as k?
True
Let h = 28 - 18. Let n(f) = f**2 - 20*f - 249. Suppose -11*k + 13*k = 3*c + 52, 2*c - 4 = 0. Let p be n(k). Is p smaller than h?
False
Let i be 12/(-2) + (484 - 479). Which is smaller: i or 12/1531?
i
Let z be (-86)/645 + 34/(-20) + (-2)/12. Is z at least -10?
True
Suppose 7*q + 2*y - 42 = 3*q, 6 = 2*q - 2*y. Let j be (q/(-24))/(3/18) - -3. Let x be (-216)/160*(-4)/6. Is x at most j?
True
Suppose -v + 5*u + 4 = 0, 114 - 4 = 5*v + 5*u. Let l = v + -14. Suppose -h + 2*q + 7 = 2, 25 = l*h - 3*q. Which is smaller: -1 or h?
-1
Suppose 668*q = 572*q + 1458281 + 175831. Which is bigger: 17020 or q?
q
Let f(v) be the first derivative of v**4/4 + 16*v**3/3 - 15*v**2/2 + 30*v + 27. Let w be f(-17). Which is bigger: -7 or w?
w
Suppose 0 = -24*a + 1084 - 158308. Do 1/4 and a have different values?
True
Let o = 72.7 - 99. Let y = -101.3 - o. Which is smaller: y or -2?
y
Suppose 74 = 4*t - 22. Suppose 0*h = -7*h. Let a(y) = y**3 - 2*y**2 - 2*y + 25. Let q be a(h). Is t not equal to q?
True
Let u be ((-2)/(-90))/(2/5). Let y(i) = -i**2 - 50*i - 504. Let c be y(-36). Is c at least as big as u?
False
Let o = 8100 + 851. Is o at least as big as 8951?
True
Let s be 1*10/2 + -1. Let y be (-224)/(-21) - 3/(18/s). Let m be (2 + (-16)/10)*y/(-422). Which is greater: m or 0?
0
Suppose 0 = 8*v - 11*v - 63. Let o(c) = -3 + 44*c**2 - 52*c**2 - 2 - 7 - 6*c - c**3. Let w be o(-7). Is v at most w?
True
Let x(w) = -w**3 + 5*w**2 + 13*w + 16. Let m be x(7). Suppose 8*n - 5*z + 61 = m*n, -n - 3*z + 69 = 0. Let h = -73 + n. Is h less than 8?
False
Let q = 2287 + -2370. Is -84 at least q?
False
Let h = 4289 - 784889/183. Suppose -2 = -j + 5*v, j + v = -0*v + 14. Let f = 12 - j. Which is greater: f or h?
f
Let x = 1578 + -1579. Which is smaller: x or -6/109?
x
Let k = -251/9 + 904/45. Suppose 2*n = 2*m + 24, 31 = -4*m + 3*n - 13. Is k > m?
True
Suppose 32 = 4*n + 4*f, 0*f = -2*n + 2*f. Suppose -231 = -n*k + 89. Is 80 at most as big as k?
True
Let i = 1727 + 2130. Which is greater: 3853 or i?
i
Let x = 32143 - 55963. Is -23821 < x?
True
Let h(q) = -5*q**3 + 2*q**2 - 1. Let y be h(-1). Let x(b) = -b**3 + 8*b**2 - 8*b - 6. Let d be x(y). Let m(a) = 8*a + 140. Let l be m(-15). Is l at least d?
True
Let m = 11040 + -11023. Which is smaller: -7 or m?
-7
Let u = -22 - -257. Let n = u - 232. Which is smaller: -5.9 or n?
-5.9
Let u = -1078/3 + 363. Let o = -737 + 756. Suppose -92 = -37*x + o. Is x < u?
True
Let q = -33770 + 482303143/14282. Which is smaller: q or 1?
q
Suppose 1185*a + 836 = 1109*a. Let c be (-2)/9 - (-212)/(-18). Which is greater: c or a?
a
Let p = 0.06 + -0.16. Let g be ((-912)/40)/(3/(-10)). Which is smaller: g or p?
p
Suppose -43*k + 55*k + 12 = 0. Is k at most -1362?
False
Let p = 815176/3 - 275218. Let n = p + 3440. Which is smaller: n or -53?
-53
Let r = -1526/75 + 244529/300. Which is smaller: r or 795?
r
Let w(c) = c**3 - 5*c**2 - c + 53. Let h be w(6). Let g be 0 + 9 - (26 + h). Is -100 at most g?
True
Let i = 286 - -157.7. Let l = i + -444. Let w be 4 + -4 + (-2)/(-5). Which is greater: w or l?
w
Let k = 55425/14 - 3961. Let f = k + 73/42. Which is smaller: f or -0.58?
-0.58
Suppose -5*k = -q - 13, -2*k + 14 - 4 = -2*q. Suppose 2*i - 3*z + 207 = 8*i, 0 = 3*i + 5*z - 121. Suppose 4*l - 36 = -i. Which is greater: q or l?
l
Suppose -15*b + 21*b = 62*b + 1288. Let o be 0 + 0/(-2) + 66. Suppose 0 = 3*a - 4*n + 6*n + o, 0 = 3*a - 5*n + 66. Is b less than a?
True
Let p = -3 + 7. Let q = -16 + 26. Suppose 27 = 7*n - q*n. Is n at most as big as p?
True
Let q(m) = m**3 - 11*m**2 - 2*m + 52. Let a be q(11). Let l be 2238/a - 15/25. Which is smaller: 73 or l?
73
Let g = 134.03877 - 0.03877. Let d = -72 + 267. Let j = d - g. Which is smaller: j or -2/5?
-2/5
Suppose -t + 1 = -1. Suppose 0 = -t*z - 2*z. Let v = 779/6 - 22603/174. Is z greater than v?
True
Suppose -5*a = -15*a + 100. Let w(b) = 0 + 1 + 0*b**2 + b**2 - a*b + 2*b. Let l be w(6). Is l at most as big as -98/9?
True
Let u be 2/3*(1 + 5). Let m be (2/u)/(7/4). Let g = -5.2 - 