Is 2/35 bigger than f?
True
Let r = -90.034 + 0.034. Let k = -1555/2331 - -1/2331. Which is bigger: r or k?
k
Let c = 73.21 - 74. Let i = c - -1.89. Is i not equal to 1?
True
Let g be -6 - ((-113)/21 - 0). Let m = -3518 - -147773/42. Let s = g + m. Is s <= 1?
True
Let v = -0.0517 - -0.0917. Is 2/25 at least as big as v?
True
Let c be (3/(-12) - -2)*-12. Let r = c + 16. Let p be (r/165)/(3/(-18)). Is p at least as big as 0?
True
Let z = 228 + -229. Which is smaller: z or -2/475?
z
Let w = -189 - 43. Is w at most -232?
True
Let a = -0.8408 - -0.0908. Is -2/3 less than a?
False
Suppose 223*y - 180*y = 43. Is -19/94 smaller than y?
True
Let v = -21 + 14. Let u = -6.93 - v. Let i = 758 + -760. Which is bigger: u or i?
u
Let s = 92/17 + -1697/34. Let x = 44 + s. Are x and -0.5 equal?
True
Let b(w) = 2*w + 4. Suppose j + 0 + 3 = 0. Let i be b(j). Let a be ((-6)/i)/1 - 4. Which is smaller: -2 or a?
-2
Let a = 0.412 + -34.412. Which is smaller: -0.5 or a?
a
Let j = 12 - 9. Suppose 2*l - j = 3. Is 0 at least l?
False
Suppose 2*k - 30 = 5*o - 3*k, -4*o - 3*k + 11 = 0. Let w = 8049109/4 - 16701902321/8300. Let q = w - -3/166. Is q smaller than o?
False
Let i(w) be the third derivative of -w**6/120 - 7*w**5/30 + 2*w**4/3 + 12*w**2. Let z be i(-15). Is 0.1 > z?
True
Let j = 8 - 5. Suppose 2*h + 6 = 0, -m + 0 = -j*h - 3. Is m less than or equal to -2?
True
Let y = 3 + -3.4. Let m = 0.3 + y. Let w be 2/(1/((-5)/85)). Is w less than m?
True
Let n = -5/15796 + -42664981/47388. Let y = 889 + n. Is y greater than or equal to -12?
True
Let z = 0.5 - 1.2. Let o = z + -13.3. Let y = o - -13.7. Is -2/5 > y?
False
Let k = -3.88 - -2.88. Are 36 and k non-equal?
True
Let m(n) = 2*n**2 - 2*n - 1. Let a be m(-1). Let p(b) = -8 + 8*b - 7*b - a*b. Let t be p(-4). Is t >= 0?
True
Let m be (-48)/(-22) - (-4)/(-22). Suppose 3 = -4*i + 3*g, 4*i + 4*g - 32 = -0*g. Suppose p + i*p = 12. Is p < m?
False
Let d = 7 - 5. Let g be 8/32*-4 + 8/2. Do g and d have the same value?
False
Let b = -174.98 + 175. Is b not equal to -0.12?
True
Let s = -278 + 278. Let m be 27/6*(-104)/6. Let h be (-2)/7 + m/(-126). Is s greater than h?
False
Let f = 61.39 - 1.39. Let s = f + -59.3. Which is bigger: s or -2/3?
s
Let w(l) = 34*l**2 - 2*l - 2. Let h be ((-2)/8)/((-3)/(-12)). Let d be w(h). Suppose 4*x + 2*y - d = -0*x, 16 = x - y. Is 10 > x?
False
Let y = 232 + -3018/13. Which is greater: 2/11 or y?
2/11
Let k = 10 + 2. Let m be k*(-20)/(-15) + -3. Is m > 12?
True
Let p = -1379 - -1792. Which is greater: 0.1 or p?
p
Let p = 8 - -8. Let s be ((-45)/(-18))/((-2)/p). Is s < -19?
True
Suppose -23*s = 24*s - 1927. Is s < 79/2?
False
Let a(g) = -5*g + 16. Let o be a(3). Is -43 at least o?
False
Let t = 62.2 + -62.1. Let h = -10.07 - -10. Let q = -0.06 + h. Which is greater: t or q?
t
Let u(n) = -n**2 + 5*n - 5. Let a be u(1). Is a not equal to 7/55?
True
Let y = -160.8 - -157. Which is greater: 1 or y?
1
Let y(h) = -4*h - 37. Let q be y(-10). Let d be 6/(-18)*q + (-182)/(-186). Is -1 > d?
False
Let f be -3 + (-148)/20*-5. Let n(u) = 34*u**3 + 2*u**2 - 1. Let w be n(1). Which is smaller: w or f?
f
Let l be 5444/(-10) - (-4)/10. Let n be 376/l - (-6)/8. Suppose 3*i = 2*i. Which is greater: i or n?
n
Let l = -165/16 + 19539/1904. Let u = -316/1547 - l. Which is smaller: u or -1?
-1
Let t = -10 - -14. Suppose -t*f + 0*l + 20 = -5*l, -2*f - 5*l = 20. Let p be -1*((-3)/(-27))/((-30)/(-54)). Is f not equal to p?
True
Let w = 17.53 - -0.47. Let r = w - 17.9. Let b = 2 + -1.98. Which is smaller: b or r?
b
Let h be (-1)/(-2) + (-27)/62. Let o be (1 + 10)*3/(-3). Let n = 10 + o. Is n < h?
True
Suppose 17*k = -34*k + 51. Let z = 2381/156 + -61/4. Is z <= k?
True
Let f(s) = 5*s**2 + 1 + s**3 + 0*s**3 - 3*s**3 - 3*s + 2*s. Let o be f(2). Which is smaller: 7 or o?
o
Suppose 5*g + v = g + 3, -5*v - 33 = -4*g. Suppose -3*h = -2*o + 20, -5*h = -o + g*o + 3. Let p be 0 + 3 - 8/(-2). Is o at least p?
True
Let q be (-61 - -23)/((-4)/(-2)). Is q > -18?
False
Let h = 48 + -241/5. Let i be (1/(-2))/1*0. Let v = i - -1. Which is smaller: v or h?
h
Let b(k) = -4*k + 3. Let w be b(2). Let n = 309/22 - 204/11. Is n greater than w?
True
Let i = -352 + 352. Which is smaller: 1/312 or i?
i
Suppose 0 = 29*d - 31*d + 4. Let j be d/(-3)*6/(-96)*-12. Is j at least -1?
True
Let b(h) = h**3 + 9*h**2 - 11*h - 5. Suppose -4*i + i - l = 31, -4*i = 4*l + 44. Let n be b(i). Let g be -4*(-6)/8*2. Is n >= g?
False
Let p be ((-2)/201)/(6*5/90). Let c(y) = -y + 4. Let k be c(5). Which is greater: k or p?
p
Let k = -20378/175 + 814/7. Let l = 12 - 11. Which is greater: k or l?
l
Let b be 108/(-15)*(-105)/6. Let n = b - 121. Which is smaller: n or 9/2?
9/2
Let u = 7 - -1. Suppose 3*x - 7*x - u = -4*l, -l = -4*x - 5. Is -1/66 at most as big as x?
False
Let t = 15.7 + -16.3. Do 1 and t have different values?
True
Let f be ((-7)/((-63)/16) - 1)*75/350. Let p be (-1 + 0)/(-1) - 2. Let k = 0 + p. Which is bigger: k or f?
f
Let r = 625.6 - 627. Is 2 at most r?
False
Suppose -2 = -15*k + 13*k, 5*q - 4*k = -9. Is -9/89 >= q?
True
Suppose -2*t + 182 = -t - 4*c, 4*t - 4*c - 788 = 0. Let q be (-4)/t - (-18 - -18). Is 0 greater than or equal to q?
True
Let r be (-4665)/(-25) + 4/10. Do 1 and r have different values?
True
Let i(b) = -b**3 + 2*b**2 - b + 12. Let d be i(0). Suppose 13*f = d*f + 4. Suppose -2*s - 3*w + 45 = -5*s, s = f*w - 30. Are -10 and s non-equal?
False
Let o be -2 - 7964/16 - (-3)/(-12). Let q = o - -6504/13. Is q greater than 1?
False
Suppose -12*t = -17*t + 15. Suppose t*i + 9 = 3*k - 0*k, -k + 2 = 0. Let p = -3/67 - 180/469. Which is smaller: i or p?
i
Let l(w) = -w**3 + 16*w**2 + 31*w + 48. Let b be l(16). Which is smaller: b or 545?
b
Let v be 2*((-2)/8 + 0). Is v at least -104?
True
Let z(n) = -4*n - 7. Let h(a) = a**2 - 1. Let i(q) = 2*h(q) - z(q). Let s be i(-2). Suppose 20 = -3*f + 2*f + s*k, -3*k = f - 12. Is -1 > f?
False
Suppose -139 = t - 2*a, 2*t + 2*a + 233 = -3*a. Which is bigger: t or -131?
t
Let v = -15 - 0. Let r = v - -19. Suppose k = r*b - 2*b + 5, b - 3*k + 10 = 0. Is b >= -1/10?
False
Let a(i) = 2*i**3 + 3*i**2 + 3*i + 3. Let v be a(-2). Let k = 4 + v. Let m = 2 - k. Is m bigger than 0?
True
Let r = 15 - 17. Let d be (250/20)/((-1)/r). Let b = -26 + d. Which is bigger: b or -1/4?
-1/4
Let q be ((-19)/(-5) - 0)/(9/5). Which is smaller: 1 or q?
1
Let b = -329813/103 - -3202. Are b and -1 equal?
False
Let c = 205318/87 + -2360. Are c and 0 non-equal?
True
Let b = 24.146 + -12.099. Let u = b - -0.153. Let q = u + -12. Which is smaller: 0 or q?
0
Let v = 37 + -34. Suppose -v*w + 3 = -0*w. Which is smaller: w or 1/33?
1/33
Suppose x + 0*x + 6 = -2*t, -3*x - 18 = -3*t. Let p be (x/(-114))/(2/4). Let q be 0/(4 + -4 + -1). Is q bigger than p?
False
Let j = 2377 - 2377. Let f = -255 + 2291/9. Are f and j equal?
False
Let o = -379/3195 + 10/71. Suppose 0 - 3 = 3*a. Which is smaller: o or a?
a
Let o = -2/6553 - 12136/3178205. Which is smaller: o or 1?
o
Let t(i) = -16 + 4*i - 2*i + 23. Let a be t(-6). Which is greater: -31/5 or a?
a
Let c be (-5425)/(-1470) + 10/(-12). Which is smaller: 0.3 or c?
0.3
Let t be (6/9)/(3/(-81)). Let q be 35/2*t/(-15). Let c = q + -41/2. Which is smaller: -2 or c?
-2
Let f = -10.835 + 4.87. Let q = f - 0.035. Let x = 14 + -17. Is x at most q?
False
Suppose 0 = -0*b - 2*b - 8. Let p be 13/(b - (-35)/10). Let r = p - -36. Which is smaller: r or 9?
9
Let v = -19/21 + 4/7. Let t = -0.06 - 2.94. Let x = -4 + t. Which is greater: v or x?
v
Let q(z) = -3*z**2 - 4*z - 2. Let a be q(-1). Which is smaller: -10/33 or a?
a
Let l(u) = -u + 3. Let h be 4/(-3 - 1) - -4. Let d be (-3 - -31)/4 - h. Let k be l(d). Which is greater: 2/11 or k?
2/11
Let o be 72/(-24) - (-93 - -1). Let i = 92 - o. Which is smaller: 16/5 or i?
i
Suppose -17*j - 137 = 135. Which is smaller: -20 or j?
-20
Let s be ((-32)/(-18) + (-4)/(-18))/(-2). Let p = -1/317 - -973/6974. Which is bigger: p or s?
p
Let i be -4*(1 - 30/(-8)). Let s = 18 + i. Is s smaller than 2/11?
True
Suppose 43*x - 16 = 39*x. Suppose 130 = 5*w - x*g, 0*w - 59 = -2*w + 3*g. Which is smaller: 24 or w?
w
Let h(q) = q**3 - 5*q**2 + 3*q - 6. Let r be h(4). Let s be (-6)/6 - (-23)/2. Let k = s + r. Which is greater: -2/3 or k?
k
Suppose 0 = 13*d + 2 + 89. Let k = -80 - -74. 