ue
Let s = 0.0235 - 105.5135. Let x = s + 105. Which is greater: 2/5 or x?
2/5
Let k = 7.4 - 6. Let p = k - 2.4. Is p less than -1/15?
True
Let d = -100 - -60. Let p = 38 + d. Is p less than or equal to -3/2?
True
Suppose -3*w = -2*a - 2 - 37, 38 = -2*a + 2*w. Is a > -18?
False
Suppose 14 = 4*m + 182. Is -65 greater than or equal to m?
False
Suppose -5*a + 3 + 42 = 0. Suppose 3*t = -z - 2*t + 24, -2*t + 33 = 3*z. Is z smaller than a?
False
Let z = -214 - -209. Let n(u) = u**2 - 4*u - 5. Let s be n(4). Let w = z - s. Which is greater: w or -1/11?
w
Let z be -21 + 20 - (-119 + 1)*2. Which is bigger: 234 or z?
z
Let h be (4 + -2)*(-44)/(-2). Suppose -k + 5 - 1 = 0, -5*k + h = 3*t. Suppose 0*s + 4*s = t. Is s at most -0.1?
False
Let g = 4054.3 - 4055.3. Let i = -141 + 98. Is g < i?
False
Suppose -8 = -p - 2*z, 0 = -p - z + 14 - 7. Let h = -1/319 - -10853/2233. Is p <= h?
False
Let x = 1.2 + 0.3. Let s = 119.5 - 120. Let t = x + s. Which is greater: t or -1/4?
t
Suppose -i - 4*p - 9 = 0, -i - 5*p - 5 = 5. Let o = i - -4. Let v be (-2)/6*0 + -2. Which is smaller: v or o?
v
Let n = 3576 + -3556. Let c = -33 - -54. Is n at most c?
True
Let q be 9/84*8/1407. Let r = -75521/19698 + q. Let g = r - -10/3. Do g and 0.4 have the same value?
False
Let r = -266 + 265.7. Is -1 less than r?
True
Let s = -2.086 + -350.914. Which is greater: s or -2/5?
-2/5
Let j be ((-4)/7)/(5/(-105)*6). Is j <= -2?
False
Suppose 2*c = 3*c - 3, -3*c - 27 = -4*y. Let b be (-2)/((-14)/(-78) - 3/y). Which is smaller: b or 15?
b
Let x = 1664 + -1664. Let o = -289 + 5209/18. Which is smaller: x or o?
x
Let c(j) = j**3 - 4*j**2 - j - 3. Suppose 4*w + 16 = 0, b - 4 = -2*b - 2*w. Suppose s + s - 5*x = -17, -b*x + 24 = s. Let q be c(s). Is q != -8?
True
Suppose 992 = 4*o + 2*h + 138, 439 = 2*o - 3*h. Is 212 bigger than o?
False
Let i = -13 + 28. Let u be 3/(-9) - (-230)/i. Let c = u + -166/11. Do c and 1 have different values?
True
Let t be -3*(2 - 4) + -2. Let g be t/(-5)*(-8)/(-112). Are -1 and g nonequal?
True
Let g = 0.461 - 0.261. Which is smaller: 2/7 or g?
g
Let r = 33/67 - 729/1072. Suppose 4*l = l. Is l > r?
True
Suppose -2*k - 4 = 0, -2*q + 4*k + 8 = 2*k. Suppose -q*a + 5 = 3. Which is bigger: a or -0.07?
a
Let i = 28 - 20. Let j = i - 6. Let z = -0.04 + 0.04. Is j not equal to z?
True
Let z(h) = -71*h**2 - 28*h - 93. Let n be z(-3). Which is greater: n or -647?
-647
Let d = -1 + 103. Is 103 at most d?
False
Suppose 0 = -9*x + 12*x + 15. Let c be (3 + -4)/(x + (-104)/(-20)). Suppose 5*g + 8 = 3*g. Is g < c?
False
Suppose 3*n - 4*g - 262 = 0, 2*n + n - 230 = -4*g. Let r = 85 - n. Which is smaller: r or 2?
2
Suppose -z - 1 = -4, -y - z + 25 = 0. Let c be 100/(-55) - 4/y. Let w be (1/c)/((-2)/12). Is 5 > w?
True
Suppose 4*b + 135 = -d, 4*d - 2*b + 4*b = -582. Which is greater: d or -146?
-146
Suppose -v + 4*h = 86, 0 = 5*h - 0*h - 25. Let y be 2/12 - (-143)/v. Let j be -10*y*4/24. Which is greater: j or 3?
j
Let q be (-36 - -42) + -1*5. Which is greater: q or 1/3?
q
Let s(g) = g**2 - 4*g + 4. Let d be s(4). Suppose 3*y = d - 10. Let q be 6 - (y + 7 - 1). Which is smaller: q or -1?
-1
Let w(s) = -2*s - 5. Let g be w(-6). Suppose 0 = g*y - 8*y + 1. Suppose 2*k - 2*o = o + 8, 1 = -5*k - 3*o. Does k = y?
True
Let g(k) = 5*k**2 - 3*k + 4. Let s be g(3). Suppose -5*p - s = -100. Is p != 12?
False
Let n be ((-2)/5)/(8/12). Let h = 0.15 - -0.15. Which is smaller: h or n?
n
Let v(l) = l**3 + l. Let q be v(0). Let z = 60734/13 - 4672. Which is bigger: q or z?
q
Let s = 1 + -1.2. Let i = -370 - -369.97. Is s greater than i?
False
Let l = -1324 + 1319.47. Which is bigger: 0.2 or l?
0.2
Suppose 0 = p + 28 - 7. Let d be p/(-15) - (-2 + 3). Is 6 at most as big as d?
False
Let h be 1/(-4) - 60/(-112). Let a = 351 - 351.03. Which is smaller: h or a?
a
Let g = -0.004 - -2.404. Is 5 greater than or equal to g?
True
Let t = 3367/4 - 835. Is 7 less than t?
False
Suppose -35*g + 2691 - 906 = 0. Let d(w) = 7*w**3 - 2*w**2 + 2*w - 1. Let h be d(2). Is h < g?
False
Let q be (1 - (-9)/(-6))*-8. Suppose q*g + 88 = -3*z - z, z + 94 = -5*g. Let x be (-2)/(g/(-3))*-15. Which is greater: 6 or x?
6
Let o(r) = -2*r**3 + 6*r**2 - 4*r - 46. Let u be o(7). Is -465 < u?
False
Suppose 3*b = f + 347 - 364, 5*f - 41 = 4*b. Which is smaller: f or 94/15?
f
Suppose -7*a + 8 = -6. Suppose -6*t + a*t = 0. Is 0 < t?
False
Let x = -2625 - -296623/113. Is x bigger than -1/2?
True
Let j = -23 + 28. Suppose j*w = 2*w - 9. Which is smaller: w or -11/6?
w
Let h(x) = x**3 - x**2 - 4*x - 1. Let l be h(2). Let z(d) = -2*d**2 - 9*d + 5. Let q be z(l). Let b be (q - 2)/(3 - 1). Is -2 greater than b?
False
Let f = 97 - 107. Let k(z) = z + 10. Let r be k(f). Is -6/29 < r?
True
Suppose -y + 2*d + 5 = 0, 4*y + 5*d - 90 = -31. Which is bigger: 0 or y?
y
Suppose -5*n = -f + 3*f + 66, 0 = 4*f - 5*n + 102. Let x = -29 - f. Let l be 1 + -1 - 1/(-6). Is l bigger than x?
True
Let y be 17 + -15 - 18*3/2. Let z be (-6)/(-5) + 5/y. Is z equal to -4?
False
Suppose -223 = 6*q + 281. Let h = 418/5 + q. Is h at most -26?
False
Suppose 3*q - 58 + 283 = -3*r, r - 5*q + 63 = 0. Let g = -60 - r. Which is greater: g or 4?
g
Suppose 114 = -227*m + 230*m. Is 38 >= m?
True
Let l(a) = -a**3 - 8*a**2 + 21*a + 6. Let t be l(-10). Let n be (12/(-15))/((-7)/(14/t)). Does n = 2/9?
False
Let z be -3 + (-1362)/(-30) - (-10)/(-25). Is 43 greater than z?
True
Let s = -251/1854 - -5/206. Which is bigger: s or 1?
1
Suppose 260 = 10*v - 20*v. Is -26 >= v?
True
Suppose -3*c + 3 = -0*c. Let m be (-105)/(-1904) + (-4)/34. Which is bigger: c or m?
c
Let d = 72 + -67. Let a be (2 - (-1 + 2)) + -1. Suppose a = -u + d*u. Which is greater: 2/5 or u?
2/5
Suppose 558 = -7*v - 317. Which is smaller: v or -127?
-127
Let d(k) = 8*k - 59. Let a be d(7). Is a equal to -3/55?
False
Let g(d) = d**3 + 36*d**2 + 55*d + 70. Let t be g(-34). Which is smaller: 511 or t?
511
Let t = 22 - 35. Let u = t - -13. Let y(p) = -p. Let f be y(u). Which is smaller: -2 or f?
-2
Let a = -2.1974 + 0.1974. Let x = 213/20 - 41/4. Which is smaller: a or x?
a
Let r = 455147/178 + -2557. Is r smaller than -1?
False
Let h = -4261/504 - -13/56. Which is smaller: h or -7?
h
Suppose -3*t + 42 + 3 = 0. Let w = t + -4. Suppose 0 = -2*a - i - w, 0 = -0*i - 2*i + 2. Is 0.1 < a?
False
Let w = -173 + -220. Is 1 < w?
False
Let n be (8/20)/(3/((-30)/8)). Is -1.9 less than n?
True
Let w = -3.01 + 3. Let x = -0.42 + 0.97. Let l = x + 0.45. Is w at least as big as l?
False
Suppose -16 = 2*p - 296. Let m be (p/(-8))/5 - -3. Let x = -2.3 + 0.3. Which is smaller: m or x?
x
Let f(w) = -w**3 + 9*w**2 - 8*w + 9. Let z be f(8). Let l = z - 9. Suppose l*p = 2*p + 2. Is -0.01 < p?
False
Let a = -55 + 241. Let f be (-1 + 58/63)/((-31)/a). Is f at most as big as 0?
False
Let l(h) be the second derivative of h**5/20 - 5*h**4/6 + 5*h**3/3 - 5*h**2 + 24*h. Let u be l(9). Is 2/25 less than or equal to u?
False
Suppose 0 = -p - 41*i + 37*i + 13, -4*p + 13 = 3*i. Which is smaller: p or -2/8035?
-2/8035
Let q = -0.452 + -0.048. Which is smaller: 11/3 or q?
q
Let a(h) = -h**2 + 5*h - 7. Let r be a(2). Let j be 5/(-8) + r/(4/(-3)). Is j less than or equal to 0?
False
Suppose 3*w - 11 = -5. Suppose -w*d - u = -171, 2*u = -3*d + 83 + 176. Which is greater: d or 82?
d
Suppose -12*y - 4*y = 448. Which is bigger: -29 or y?
y
Let p = -63 + 68.4. Let s = 6.3 - p. Is s <= 1/2?
False
Let s be 10/90 + 4 + 628/(-144). Is -2/939 less than or equal to s?
False
Let w = -514 - -835. Is w > -2/7?
True
Let z be (284/36)/(1/(-12)). Are z and -94 nonequal?
True
Let b(f) be the third derivative of f**6/120 - f**5/60 - f**4/6 - 11*f**2. Let c be b(-2). Are c and -4 unequal?
False
Suppose -1 = -j, 0 = -5*l - 12*j + 7*j. Is l less than -1/594?
True
Let r = 15.1 - 20. Let n = r + 5. Let k = -0.04 - 1.96. Are n and k nonequal?
True
Let y be 7/(-49) + (-393)/777. Let k = -375/407 - y. Which is smaller: 2/7 or k?
k
Let m = -9/5 - -8/5. Let w(d) be the first derivative of d**2 - 16*d + 9. Let q be w(8). Which is smaller: q or m?
m
Suppose 4*z = -32 + 8. Let u be (16/12)/((-20)/z). Which is smaller: u or -2/39?
-2/39
Let b = -262.4 - -70.4. Which is bigger: b or -1?
-1
Let s(n) = 15 - 7 - 4*n**2 + n**3 - 3 + n. Let v be s(3). Which is greater: 1/17 or v?
1/17
Let g = 8 - 1