 - 22/4. Is f smaller than i?
True
Let c be 2/(-8) - (-23)/(-4). Let q = -10 - -17. Suppose d - 2*x = 0, 21 = -5*d + q*x - 4*x. Is d at most as big as c?
True
Let b = 1884 - 1889. Which is bigger: -0.87 or b?
-0.87
Let h = 17 + -20. Let k be (19/(-38))/((-8)/6). Do h and k have the same value?
False
Suppose 5*x + 3*s + 36301 = -0*s, -2*s - 14522 = 2*x. Let r = -22267/3 - x. Let z = r + 168. Which is smaller: 0.1 or z?
0.1
Let i = 0.772 + -469.772. Is 0 bigger than i?
True
Let q = 9.167 + 0.833. Is q not equal to 62?
True
Let c(n) = -n**3 + 10*n**2 - 10*n + 13. Let t be c(9). Let b be t/(-10)*12740/(-32). Let w = -160 + b. Which is smaller: w or -2?
-2
Suppose 4*s - 15 = -2*n - 1, 3*n + 3*s - 18 = 0. Let v(j) = -n*j + 3*j**2 - 4*j - 10 - j - 4*j**2. Let q be v(-9). Does 2/11 = q?
False
Let y = 3/365 + -931/24455. Let v be (2 + -2)/(7 - 9). Is y != v?
True
Let f = -582 + 690. Which is smaller: 106 or f?
106
Let q(l) = -l - 9. Let x be q(12). Is x less than or equal to -4?
True
Let m = 0.185 + 3.815. Is m < -6?
False
Let s = 162099/1805 + -449/5. Which is smaller: s or 0?
0
Let g be 8/2 + 2 + -2. Suppose -v - g*w + 4 = 0, v + 2*v - 56 = -w. Let p = v + -10. Which is greater: 8 or p?
p
Suppose 4*p - 3*j + 240 = -107, -2*p - 177 = -5*j. Let d = -30 - p. Suppose -2*i - n + 17 = 0, 0 = 4*i - 9*i + 2*n + d. Are i and 11 non-equal?
True
Let q be (-20)/6 - -3 - 3/(-9). Let w be ((-4)/10)/(24/(-15)). Which is greater: w or q?
w
Let s = -10 - -9. Let b = 0.04 + -0.031. Let x = b + -3.009. Which is smaller: s or x?
x
Let x(y) = y**2 + 22*y - 22. Let k be x(-17). Let h = k + 63. Is -44 less than or equal to h?
True
Let i = -688/3 - -219. Are -10 and i equal?
False
Let k be 2/6*(-351)/144 + 1. Which is greater: k or 1?
1
Let f = 177 - 170. Suppose 3*x = -f*x + 30. Let l = -3 + 5. Which is greater: x or l?
x
Let v(n) = 2*n + 60. Let p be v(-25). Let o = 8 - -2. Let w = o - p. Is -2/39 <= w?
True
Let v be (-720)/(-114)*(-1)/(-4). Is v at most 2?
True
Suppose t + 23*l = 27*l - 13, 23 = t + 5*l. Which is smaller: t or 39/10?
t
Let y = -3 - -4.05. Let w = y + -0.05. Is -8 bigger than w?
False
Let r(s) = -5*s + 137. Let v be r(9). Which is bigger: v or 94?
94
Let q(d) = 29*d + 399. Let o be q(-27). Are o and -381 nonequal?
True
Let a be -2 - 1 - (-30)/(-302)*-30. Which is greater: a or 1?
1
Let c(v) = -v**2 + 21*v - 13. Let h be c(20). Suppose -6*t + h*t - 26 = 0. Let f = 25 - t. Is f at most -1/17?
True
Suppose -2*y - y = -6, y = 3*q - 4. Suppose 6 - q = -2*f. Let n be (-1 + 10/(-4))*f. Which is bigger: 6 or n?
n
Let r = 5 - -13. Let l be 1 + (33/r - 2). Let s(f) = f**3 - f**2 - 12*f + 1. Let h be s(-3). Which is smaller: h or l?
l
Let w(s) be the first derivative of s**3/3 - 5*s**2/2 + 8*s + 6. Let r be w(6). Let m be (-4)/14 - (-4)/r. Is -1 <= m?
True
Suppose -36*k - 40 = -44*k. Is k <= 5?
True
Let r be 2/4 - (-1)/(-2). Let u = -6.65 - -9.65. Is r bigger than u?
False
Suppose 0 = -5*m - t - 319, 0 = -0*m + 4*m - 5*t + 232. Is -193/3 less than m?
True
Let p = -1504/15 - -130868/1305. Is -1 <= p?
True
Let i be ((-1)/1 - -3) + 343/(-156). Let g = -2/39 + i. Which is bigger: g or 1/4?
1/4
Let l = 39 + -35. Suppose 8*r - 9*r + 5 = 0. Which is greater: r or l?
r
Let w = 968/45 + -190/9. Is w greater than or equal to 370?
False
Suppose -11*c + 6*c + 20 = 0. Suppose c*o - 72 = -2*o. Let x = -7 + 18. Is x at most o?
True
Suppose -l - 3*r - 3 + 14 = 0, -3 = -r. Suppose l*p + 3*p + 5 = 0. Let u be 2 + (-12)/56 - 2. Is u greater than p?
True
Let d = -6 + 7. Let n = 71 - 80. Is d at most as big as n?
False
Suppose 11*w + 406 + 45 = 0. Suppose -2*q - 2*q = 0. Are q and w equal?
False
Suppose -3*d + 4*d = 0. Let l be (-14)/42*(d + -3). Suppose 11 = 3*b - l. Which is greater: b or 5?
5
Let m = 22 - 16. Let s = 45 - 38. Suppose m*w - s*w = 0. Are 8/7 and w nonequal?
True
Suppose 0 = -3*d + 6. Suppose -3*k + d*k = 0. Suppose -u - 4*p + 18 = k, 0 = -5*u + p - 4 - 11. Which is smaller: 0 or u?
u
Let p = -531 + 517. Which is greater: -17 or p?
p
Let d = 15 - -1. Let i = d - 3. Let g = i - 11. Which is bigger: -1 or g?
g
Suppose 5*j + 5 = 5*o, 36*o - 9 = 32*o - j. Let l = 50/17 + -31/51. Which is bigger: o or l?
l
Let u = -741 - 93. Which is bigger: u or 0.1?
0.1
Let r = 1 + 0. Let u = 22 + -18.2. Let o = -3.84 + u. Which is smaller: o or r?
o
Let a(z) = -22*z + 2. Let r be a(-5). Let u = r - 453/4. Let t = -1/4 + u. Which is smaller: -0.2 or t?
t
Let y = 55 + -143. Is y smaller than -91?
False
Let u(v) = -v**2 - 11*v - 15. Let s be u(-6). Let i(q) = 8*q - 2. Let t be i(-5). Let o be (3 - 30/9)*t. Which is greater: o or s?
s
Let u = 166 + -112. Suppose -2*y - z = -81, 2*y - u = 2*z + 30. Which is bigger: 43 or y?
43
Let t(o) = -2*o**2 - 8*o + 21. Let r be t(-5). Suppose -3*c + 5*h = -22, 2*c - 3*h = -2*c + r. Is c bigger than 2/25?
False
Let p = -1/174 + 151/41412. Which is smaller: 1 or p?
p
Let m = 407 - 408. Do m and 18/91 have the same value?
False
Let b = -3 + 12. Let g be (-3)/1 + -4 + b. Let x be g*-1*(-1)/24. Is x <= 0?
False
Let r be (-16549)/6 - (1 + 3)/4. Let q = r + 2752. Which is bigger: q or -7?
-7
Let o be 6/(-48)*816/36. Are o and 0.1 non-equal?
True
Let c(s) = -2*s**2 - 15*s - 33. Let i be c(-2). Is i bigger than -7?
False
Let m = 7 + -5. Let z be -1 + (-4)/(-5) + (-378)/(-90). Suppose -10*j = -z + 4. Is m >= j?
True
Let x = 86.3 - 82. Let w = x - 5.3. Let r = -587/13 - -45. Which is bigger: r or w?
r
Let d = -11 - -23. Let a be d/(-20) + (-6)/(-10). Suppose -4*c = r + 8, r - 5*r = 16. Which is bigger: c or a?
a
Let c be -17 - (4 + 3 - 4). Let s = c + 23. Suppose -16 = s*g + g. Is -4 less than g?
False
Let x = -62.64 + 0.64. Let d = 95 + x. Which is smaller: 0 or d?
0
Suppose 4*r = -3*a - 14 - 3, 3*r - 3 = 0. Let g(y) = -y**2 - 6*y + 4. Let l be g(a). Suppose 5*o - n - 3 + 24 = 0, 5*n - 17 = 3*o. Which is bigger: o or l?
l
Let d = -1000 - -1281. Which is greater: 280 or d?
d
Let w be 40/6*4/(-8). Let s = w + 3. Which is smaller: s or -1?
-1
Suppose 10 = 2*s - s. Suppose -s*v = -2*v + 16. Let k be (-1 - -2) + (0 - -1). Which is bigger: v or k?
k
Let y be 4 - (2 - -1 - -2). Which is greater: y or 1/27?
1/27
Suppose 4*v = -0 - 8, 6 = p - v. Suppose -4*u = p*u + 3*u. Which is smaller: u or 8?
u
Let l = -114 - -104.8. Let n = l - -9. Let m = 6.052 - 0.052. Is m greater than or equal to n?
True
Let t = -144369/26 + 5552. Which is smaller: t or 0?
t
Let z = 2207 - 2207. Is z equal to -36?
False
Let b = -2/1603 - 3160/36869. Suppose u = -2*k - 1, 0 = 123*k - 122*k - 5*u + 6. Which is smaller: k or b?
k
Let b = 529/4 + -299/4. Let i = b + -58. Which is bigger: 13 or i?
13
Let c = -17.8 + -1.2. Let u = c + 9. Let j = -11 - u. Which is bigger: j or 1.2?
1.2
Let g = -41 - -394. Which is greater: g or -1?
g
Suppose 0 = 12*l - 6*l + 6. Is -1/17 greater than l?
True
Let i = -9.18 + 8.18. Do i and -505 have the same value?
False
Let b = 289 + -378.6. Let x = -79 - b. Is x at least 0.1?
True
Let t = 0.15 - -0.1. Let p = 21.65 + -22. Let g = t + p. Which is smaller: -6 or g?
-6
Let j = 11092.2 - 11092. Let m = 5 - 40. Which is greater: j or m?
j
Let r be (-5)/25 - (-6)/10. Suppose 3*o = -0*o - 4*a - 85, -4*a = -2*o - 70. Let s = -31 - o. Which is greater: s or r?
r
Let q = -14 + -12. Let w = 36 + q. Suppose -3*x - 4*x + 70 = 0. Is x smaller than w?
False
Let a = -141 - -427/3. Let y be (-3)/((-3 - -6) + -4). Let p be (15/5)/(-9)*-1*y. Which is bigger: a or p?
a
Let i = 0.31 - 0.51. Let d = 2 + -1.9. Let u = d + -0.3. Is u smaller than i?
False
Let x = -99 + 109. Is x bigger than 5?
True
Let v = 437/1603 - -3/229. Is v at most as big as -104/7?
False
Let f(y) = y**2 + 22*y + 73. Let c be f(-18). Let g = 2357/8 + -295. Which is greater: c or g?
c
Let b be 0/(3/(4 - 1)). Let d be b/(4 + -5 - 1). Suppose 11 = f - a - d*a, -f + 5*a + 31 = 0. Which is smaller: f or -0.1?
-0.1
Suppose 4*t - 29 = 5*n, 3*t + 0*t - 5*n = 28. Let k be 135/12*t/(-5). Is -3 less than or equal to k?
True
Suppose -4*m - 28 = -4*w, -2*w - 23 + 29 = 0. Which is greater: -71/14 or m?
m
Let l(t) = t**2 + 6*t + 11. Let p be l(-5). Let s(b) be the second derivative of b**4/12 - 3*b**3/2 - 3*b**2 - 12*b. Let f be s(10). Which is smaller: p or f?
f
Let u = 1.2 + -1.3. Is 0.094 >= u?
True
Suppose -u + 19 = -4*a, 4*u + 