 or 0.08?
0.08
Let n = -229 - -343. Suppose -n = -4*h + x, 10*h - 15*h + 4*x + 148 = 0. Is 28 at least as big as h?
True
Let x be -3*8/(-3) + 3. Let q = -3 + x. Suppose 6*y - 6*k + 32 = 5*y, 0 = -y - k + 10. Is q at least y?
True
Let m(d) = 25*d**2 + 10*d - 20. Let x be m(-6). Let p = x + -814. Suppose -4*i - 1 = 3*a, -5*a + 27 = -3*i - 10. Is a >= p?
False
Let l be ((-2)/28)/(6/4). Let f(x) = x**2 - 6*x + 7. Let m = -566 + 568. Let p be f(m). Which is smaller: l or p?
p
Let g = -771 + 778. Let l be -8 + g/((-1512)/(-1683)). Which is smaller: l or 1?
l
Suppose -16*l + 14*l + 8 = 0. Let a(r) = r**3 - 2*r**2 - 10*r + 8. Let k be a(l). Is k >= 15?
False
Let d(h) = h**2 + 34*h + 170. Let l be d(-7). Let m be (2/(-80))/(l/(-38)). Is 0 > m?
True
Let h(u) = -u**3 - 10*u**2 + 5*u + 20. Suppose 0 = 3*r - 2*a + 23, 3*r - 8*a = -4*a - 13. Let j be h(r). Which is bigger: j or 88?
88
Let d = -42 + 30. Let p = -4391/357 + -4/119. Which is smaller: p or d?
p
Let n = 0 + 10. Let q = n + -16. Let a = 993095/9 - 110344. Which is greater: a or q?
a
Let k(d) = d**3 + 5*d**2 + 2*d + 2. Let q be k(-3). Suppose -2 + 7 = u + r, 3*r - 16 = -4*u. Suppose 3*c - 3 = a - u, 0 = -3*c + 15. Which is smaller: a or q?
a
Let o = 27990.1 - 27987. Do o and -3.39 have different values?
True
Let n = 1182419191/137 - 8630757. Suppose u = 2*u + 5*p - 30, -u + 2*p + 44 = 0. Let k = u - n. Which is greater: -1 or k?
k
Suppose 5*j - 751 = -l + 3*l, 5*l - 2*j = -1846. Let n be (3/44)/(13110/l). Is n >= 1?
False
Suppose 3*g - 10948 = -11*g - 20*g. Which is bigger: g or 320?
g
Let p(h) = h + 41. Let u be p(9). Suppose 61*l - 63*l = -102. Is u < l?
True
Suppose -2*u + 5*w + 7159 = 0, -9320 = -3*u - 3*w + 1366. Which is smaller: u or 3568?
u
Let h be (-1 - 6/(-8)) + (-21232)/64. Let g = 332 + h. Which is greater: g or -2/31?
g
Let m = -143415 - -79308518/553. Is m not equal to -1?
True
Let i = 77 + -44. Suppose z = 4*z + i. Is z greater than -11?
False
Let h = -0.0621 + -0.1689. Let a = -13.769 + h. Let d = -116/3 + 39. Which is smaller: d or a?
a
Let h = -825 + 625. Let b be (93/(-4))/((-30)/h). Is -153 < b?
False
Let f be ((-72)/20)/(14/140). Suppose -99 = q + 2*q. Which is smaller: f or q?
f
Let b be 210/(-21) + (-29320)/(-380). Does 66 = b?
False
Let p = 2 - 1. Let r = -27029.3 + 27029. Is r not equal to p?
True
Let m = -22775/8 + 2847. Which is smaller: m or -214?
-214
Let h(x) = x**3 - 4*x**2 + 4*x - x - 11*x**2 + 14. Let w be h(15). Let g = 55 - w. Which is bigger: g or -5?
g
Suppose -3*n + 4*v + 7775 = -0*n, -5*v = n - 2598. Is 2593 greater than or equal to n?
True
Let l(y) = -y**3 + 3*y**2 + y + 2. Suppose 4*k = 6*k - 6. Let w be l(k). Which is smaller: w or 10?
w
Let y(a) = -8*a + 4. Let u be y(0). Let o be (1 + u*6/(-20))*5. Which is smaller: o or -2/821?
o
Let i be -11 + 0 + (-2)/(-2). Let v(h) = h**2 - 4*h - 7. Let w be v(1). Is i > w?
False
Let u be (0 + -13 - -7) + 6. Is -1/13911 bigger than u?
False
Suppose 312*w - 235*w = -77. Let c = 5 + -3. Which is smaller: c or w?
w
Let f = 0.06 - -0.01. Let a = f - -28.93. Let h = 30 - a. Is -1/15 at most h?
True
Suppose -2*u = -3*l - 57, 5*l - 1 = -u + 8. Let d = 28 - u. Suppose -5*t = a + 23, 36 = d*a - 4*t + 8. Which is smaller: 4 or a?
a
Let d be 14/35 + 38/5. Suppose -d*y = 9*y + 68. Let k = 0.23 + 0.07. Is y smaller than k?
True
Let d = -552.2 + 551.2594. Let x = 0.0594 - d. Which is smaller: 7/2 or x?
x
Suppose -34 - 16 = 5*u. Let x be 2 - (-4)/6*(-1245)/u. Let i = x + -63. Which is greater: i or 20?
i
Suppose -78*p = -589*p - 2403744. Which is greater: -4707 or p?
p
Let l(n) = -663*n + 3968. Let a be l(6). Which is greater: -95 or a?
a
Let f(g) = -1125*g - 5289. Let a be f(-6). Which is smaller: a or 1466?
a
Let m be ((12 + -10)/((-42)/15))/(-1). Let f be (6/(-90))/(2/(-6)). Which is smaller: f or m?
f
Let m = -117 - -79. Let y = -34 - m. Let t = 1.53 - 1.6. Is t != y?
True
Let n(c) be the first derivative of 0*c**3 + 1/4*c**4 + 3*c - 9 + 2*c**2. Let w be n(3). Which is greater: w or 43?
43
Let p = -3150 - -3144.8. Which is bigger: 3 or p?
3
Suppose 32*v + 1512 = -4*g + 31*v, -4*g = 5*v + 1512. Let n = 277 + g. Which is smaller: n or -104?
-104
Suppose -2*a + k = 159, -19*a + 22*a + 2*k = -249. Is a at most -84?
False
Let p be -19 + 692/36 - 361/(-441). Which is smaller: -0.1 or p?
-0.1
Suppose -4*b + 55 = -229. Let z = b + -96. Which is greater: -99/4 or z?
-99/4
Let h be -1270*(-30)/(-1500) - (-2)/5. Is h smaller than -38?
False
Suppose -2*i - 3 = -1. Let x = 33060863/207675 - 1400/8307. Let b = 159 - x. Is b <= i?
False
Let l(m) = -172*m**2 + 47*m - 81. Let i be l(4). Which is greater: -7936/3 or i?
i
Let x(w) = -72*w**2 + 6*w - 8. Let s be x(1). Which is bigger: s or -68?
-68
Let g(d) = -87*d + 10. Let u be g(-2). Let l be u/32 - (-3)/12. Suppose 2*f - 2*x = -l, 5*f + 0 = -x - 3. Which is smaller: f or 1/5?
f
Let n = 461 - 124. Let c = -194047/615 + 26748/41. Let t = n - c. Do t and -4 have the same value?
False
Let o = -8003/4564 - -4/1141. Is 34/5 greater than or equal to o?
True
Let g = 10.2 + -68.2. Let w = g + 7. Which is smaller: w or -2?
w
Let s(l) = 9*l**2 + 130*l + 23. Let y(r) = -4*r**2 - 65*r - 12. Let t(q) = -4*s(q) - 7*y(q). Let v be t(-8). Do v and 1/18 have the same value?
False
Let b be 8 - (5134/476 + 2/(-7)). Which is bigger: 102 or b?
102
Let w be (-162)/(-28) - (-10)/20. Let v be (-150)/(-18) - (-2)/3. Suppose -v = 10*d - 59. Are d and w nonequal?
True
Let z = 9092 - 9092. Which is smaller: -6/6067 or z?
-6/6067
Let f(s) = 6*s**2 - 4*s - 4. Let k be f(-1). Let h be (k/(-126))/(2/(-18)). Let y = -3 - -2.8. Which is smaller: h or y?
y
Let m = -129 - -129.2. Let w be 4 + -3 - 3 - -14. Let p be 15/w - 1/(-4). Which is smaller: p or m?
m
Let x = -5/18 - 2/9. Let g be 1584/(-20)*250/(-100). Which is smaller: x or g?
x
Suppose -50*a - 39*a = -72*a + 47974. Is -2823 < a?
True
Let v = 206 + 0. Let g = 250 - v. Is 44 at least g?
True
Let u = 1157 + -1155. Which is bigger: 2361 or u?
2361
Let o = -582/13 + 6047/104. Is 14 at least as big as o?
True
Let g(d) = 3*d**3 + 21*d**2 + 2*d + 24. Let o(a) = -2*a**3 - 11*a**2 - a - 11. Let t(u) = -4*g(u) - 7*o(u). Let y be t(6). Is 156 != y?
True
Suppose 0 = u + 3*t + 3, -5*u + 3 = -t + 2. Let k be ((-4)/(-3) - u)/((-18)/(-189)). Let h(w) = w - 15. Let r be h(k). Is -3/2 greater than r?
False
Let a = -59.9 - -62. Let z = -0.02 - 2.18. Let i = a + z. Is -8 smaller than i?
True
Let f = -11 - -29. Suppose -2*q + f = 12. Which is smaller: q or -2/5?
-2/5
Let a(k) = -6*k - 712. Let x be a(-88). Is -182 at most x?
False
Let q be ((-2 - (-4 + 1))/2)/((-4)/(-8)). Which is bigger: q or -0.735?
q
Let w = -2241 - -2184.84. Let s = -1.16 - w. Let k = s - 54. Do k and -0.19 have different values?
True
Suppose a - 5*o - 20 = 9, 0 = -3*a + 5*o + 67. Suppose -p + a = -7. Which is greater: p or 25?
p
Let w be (-117)/(-7) + (-36)/(-126). Suppose w*p - 6 = 11*p. Let o be (-432)/214 - (1 + -3). Is o < p?
True
Let k = 12815.7 + -12816. Is -165 equal to k?
False
Let m(q) = -3*q + 272. Let x be m(-4). Is x not equal to 288?
True
Let u = -23 + 25. Suppose -3*t + 3 = 3*g, u*g - 22 = -0*t + 3*t. Let y be (-185)/20 + (-1)/t. Which is smaller: y or -10?
-10
Suppose 0 = v - 5*v + 2*g - 10, v + 3*g - 1 = 0. Let i be 120/(-540) + v*646/(-5760). Is 0 at most i?
True
Let j = 147.23 + 26.66. Let q = j - 175. Let p = -0.11 - q. Which is greater: -5/14 or p?
p
Let v be -23 - 377/(-13) - (2 - 142). Is v at most 1895/13?
False
Let w = -1571 - -1588.26. Let x = -17.6 + w. Which is smaller: 5 or x?
x
Suppose -3*c + 5*z + 8954 = 0, -5*z - 10646 = -5*c + 4284. Let m be -1 + 8/6 - c/8883. Which is bigger: -1 or m?
m
Let w = 170.34 + -1.34. Let a = -169.05 + w. Are a and 1/3 unequal?
True
Suppose -3*s = 5*m + 8358, 3716 = -5*s + 5*m - 10294. Is s greater than -2?
False
Suppose 0 = 2*z - 3*z - 125. Let h = 30008 + -30131. Is h >= z?
True
Suppose -2*x = -3*x + 3. Suppose 0 = 2*q - t - 4*t - 3, -t - 11 = -x*q. Let p = 165 - 165. Is p not equal to q?
True
Let u = 0.256 - -295.744. Let a = -292 + u. Is a at least 0.09?
True
Suppose -a + 3*q = -77, 114 = 2*a + 5*q - 95. Let j be (77/(-35) - -3) + a/10. Suppose -5*o + n = -2*o - 28, 4*n = 2*o - 2. Which is smaller: o or j?
j
Let d = 13258 - 13228. Which is bigger: d or 