aller: 0 or h?
0
Suppose 33 = 5*n - 27. Is 6 greater than or equal to n?
False
Let b be (6/(-12))/(2/44). Are -10 and b unequal?
True
Suppose 0 - 12 = o. Suppose 0 = -5*n + 4 - 24, -4*f - 5*n - 12 = 0. Is o bigger than f?
False
Let d(p) = 2*p - 9. Suppose -2*u + 15 = u. Let k be d(u). Are k and -4/15 unequal?
True
Suppose 5*y + 91 = 231. Is 26 > y?
False
Let c = -2/163 + -304/1793. Is -1 bigger than c?
False
Let l be (4/52)/(2/(-4)). Let t = -1 + 2. Is l bigger than t?
False
Let b be ((-340)/125)/((-1)/10). Which is smaller: b or 26?
26
Let v(i) = -i**2 - 6*i - 5. Let f be v(-5). Let h = -3 - -5. Suppose 3*u = -h*u + 5. Which is bigger: u or f?
u
Let c(q) be the first derivative of q**4/4 - 4*q**3/3 - 2*q**2 + 2*q - 2. Let a be c(5). Is 6 >= a?
False
Let n be (1 + 0 - 2) + 1. Let v = -3878/11 - -352. Which is bigger: v or n?
n
Let p = 1.98 + 0.02. Let v = 17.2 - 15. Let q = p - v. Which is smaller: q or -1?
-1
Let s be 10/(-45) + (-2)/(-9). Suppose 5*m + 5 = 3*m + z, 2*m - 2*z + 6 = 0. Let q be m/(-5) - 6/15. Are q and s nonequal?
False
Let b be ((-1)/(-2))/(11/22). Suppose -1 = 2*q - 5. Let w be q + -3 + -1 + 2. Which is greater: w or b?
b
Let m = -8 + 4. Let k be (-21)/6 - 12/m. Is 0.3 >= k?
True
Let r(c) = c**3 - 2*c**2 - 5*c - 4. Let f be r(4). Which is smaller: f or 10?
f
Suppose 2*g = 39 - 5. Let p = g - 18. Are p and -2/3 non-equal?
True
Let n = -0.4 - 3.6. Let f = 3 + n. Which is smaller: -1/3 or f?
f
Let d(w) = w**3 - 2*w**2 - 3*w + 2. Let q be d(3). Let b be (0/q)/(0 + 2). Let c = 16/5 - 13/5. Do b and c have the same value?
False
Let d = -22 - -25. Is d greater than -2/5?
True
Let d be (1 - 0)*(-77)/39. Let v = 30/13 + d. Let u = 0 + -0.3. Which is smaller: u or v?
u
Let b be (-10)/175*21/(-9). Is b > 0?
True
Let r = 51 + -76. Which is smaller: -24 or r?
r
Let w be 0 + ((-14)/6 - -2). Let o = 0.08 - -3.92. Which is greater: o or w?
o
Let l(s) = -s**3 + 7*s**2 - 5*s - 3. Let j be l(6). Suppose j = w + 2*w. Is -1/4 >= w?
False
Suppose 0 = -4*l + 3*l - 8. Let v be (8/(-110))/(l/(-20)). Is 1 >= v?
True
Let y = -3.56 + 0.46. Let u = y - -3. Suppose 3*j + 2 = -4*b - 4, -4*j = -5*b + 8. Is u less than j?
False
Suppose 0 = -x + 3*f + 20 - 6, 16 = -4*f. Suppose -x = 3*y - y. Do y and -1 have different values?
False
Let w = -87/22 + 16/11. Which is greater: w or -1?
-1
Suppose -3*c = 2*n + 1 + 4, -5*n - 5*c = 0. Suppose 3*t - 30 = -n*p, t + 7 = -0*t + 4*p. Suppose 1 = -t*y - 9. Which is greater: -4/5 or y?
-4/5
Let k = 0.9 - -0.1. Let c be 2 - (10 - (3 - 4)). Let l be (-4)/(-14) - (c - -9). Which is smaller: l or k?
l
Let r be (-4)/(-16) + 3/4. Which is smaller: r or 4/11?
4/11
Let w(c) = c**2 + 1 - 5*c + 2 - 2*c + 3. Let o be w(6). Which is smaller: o or 2/7?
o
Let k = -19852/13 + 1528. Which is smaller: 1 or k?
k
Let n = 9 - 4. Let x = -6 + n. Let t = -53 - -268/5. Which is greater: x or t?
t
Let h(c) = 3*c - 27. Let t be h(10). Let b = -3 - -2.9. Which is greater: b or t?
t
Let i = -44/3 + 13. Is -2 >= i?
False
Suppose -5*n - 4*d - 28 = 10, -6 = 3*d. Let y = -4 - -1. Let f = n - y. Is f > -1?
False
Let c(t) = -10*t. Let v be c(3). Let z = 61/2 + v. Is 18 != z?
True
Let b = -113 - -165. Let o = 470/9 - b. Which is smaller: o or 2?
o
Let w = -0.062 - 0.048. Which is bigger: w or 1/2?
1/2
Let b = 38 - 44.6. Let n = -7 - b. Let r = n - -0.3. Is 3 at least r?
True
Let t(p) = -2*p + 4. Suppose -2*c - 3*c = -15. Let s be t(c). Let q be 3/6*(-8)/s. Which is greater: q or 2/3?
q
Let x be 38/90 + 4/(-20). Let h = 0.89 - 0.09. Let i = h - 1. Are i and x unequal?
True
Let j = -14 + 3. Which is greater: -1 or j?
-1
Let v = 4.63 + -3.63. Let r = -2.2 - -0.2. Let n = 2.01 + r. Are v and n unequal?
True
Let a = -123 - -178. Let g be 0 - 2 - (-140)/a. Are 1 and g non-equal?
True
Let g = -9 - -33. Let p be 466/g*2/6. Let x = p - 56/9. Do x and 1 have the same value?
False
Let l = -1/65 + -121/585. Is l >= -1?
True
Let h = -2/73 - 65/292. Let i be (-2 - (3 - 3))/(-2). Which is smaller: h or i?
h
Let o = -1.04 - 0.96. Let b = -0.1 + 0.1. Is o equal to b?
False
Suppose 0*c = c + 4. Let h be (48/(-9))/c*-3. Let y be ((-1)/2)/((-1)/h). Which is smaller: y or -1?
y
Let m = -50 + 254/5. Is 1/4 <= m?
True
Suppose -2*r - 4 = 2*x, -5*r - 22 = -4*x - 3*r. Suppose -49 = -x*u - 10. Which is bigger: u or 14?
14
Let a = -7 + 6.93. Let k = -1 - -0.97. Let i = a + k. Which is bigger: -0.06 or i?
-0.06
Suppose -2*n = -4*n - 8. Let o = -3 - n. Is o at most 2/41?
False
Let y be (2/(-7))/((-172)/(-165)). Let k = y + -1/86. Let t = 56/15 - 22/5. Which is smaller: t or k?
t
Suppose -40 = o - 41. Do o and -3/14 have the same value?
False
Suppose 4*c - 6*c = -10. Let u be (-3)/c*(0 - -3). Which is smaller: u or -0.1?
u
Let w(z) = z**3 + 10*z**2 + 7. Let t be w(-10). Is 8 less than or equal to t?
False
Let i be ((-6)/(-4) + -1)/1. Let l = -0.11 - 8.89. Let n = 11 + l. Is n < i?
False
Let m be (-2)/(-1) + 1 + -1. Let n(t) = 5 + 5*t - 5 + t**m. Let o be n(-5). Is -1 bigger than o?
False
Let r be (-1)/(-2) + 1/(-2). Suppose m + 4*k - 13 = 2*m, -4*m + 3*k = 13. Is r < m?
False
Let a = -3 + 6. Suppose -b - a = x - 0, -15 = 2*b + 5*x. Let u be (-2)/(-3) + (-80)/66. Is b greater than u?
True
Let d = -7.0592 - -0.0392. Let f = -7 - d. Let h = f - -0.08. Is 2/5 smaller than h?
False
Suppose 4*k = h - 23 - 258, 3*k + 232 = 5*h. Let f = k - -209/3. Is 2 at least f?
True
Suppose 3*k - 9 = d, -3*d - 14 = d - k. Suppose 2*b - 31 + 41 = 0. Is b <= d?
True
Let r(a) = a**2 - 9*a - 3. Let v be r(8). Is -11 bigger than v?
False
Suppose -5 = -4*f - 3*m, -3*f + 2*m + 8 = -0*f. Let w be 2 - ((2 - f) + 0). Suppose -i = w*i. Which is bigger: -2/9 or i?
i
Let g be (-4)/16 + (-188)/16. Is g at most as big as -0.1?
True
Let d be ((-48)/(-9))/2*3. Suppose -783 = -5*s - 5*w - d, 0 = 3*s + 4*w - 470. Let b be 2 + s/(-39) + 2. Is b <= 1?
True
Let g = -77.8 - -78. Which is smaller: -0.2 or g?
-0.2
Let p be -3 + 1056/135 + 1. Let k = p - 56/9. Which is greater: -0.1 or k?
-0.1
Let t = 2947158985429/6613 - 445661424. Let w = -11/389 + t. Let x = w + 124/51. Is x at least -0.1?
True
Let m = 105964/63 - 1682. Which is bigger: 1 or m?
1
Let l(s) = -2*s - 18. Let v be l(-9). Is v greater than 5?
False
Let x(k) = -2*k - 10. Suppose 0 = -3*j + 7 - 22. Let d be x(j). Which is bigger: d or 1/8?
1/8
Let o = 3 + -2. Are 3/20 and o unequal?
True
Let h = -29765/872 + 273/8. Is 1 at most as big as h?
False
Suppose 2*g + i = 5*i - 16, -4*g - 2*i = -18. Suppose -3*v - 1 = 2. Is g at least v?
True
Let q(n) = n**3 - 9*n + 7. Let h be q(3). Is h equal to 7?
True
Let y be 4/16*(-3 - (-1 + -2)). Let t be ((-2)/(-8))/((-7)/(-2)). Is t at least y?
True
Let t be (-3)/(-6) - 5/2. Let z be (t/5)/(56/80). Let m(d) = d**2 - 5*d + 4. Let k be m(4). Which is greater: k or z?
k
Let i = -34 + 32. Which is greater: -1 or i?
-1
Let p = -16 + 10. Let l(u) = u**2 + 8*u - 1. Let m be l(-9). Let w = m + p. Which is smaller: 4/5 or w?
4/5
Let a be (-4 - -2) + 15/7. Let p = 2 - 2. Which is bigger: a or p?
a
Let h(x) = 2*x**3 - 2*x**2 + 2*x - 1. Let r be h(1). Suppose c = -0*c - r. Suppose 2 = 2*y - 3*y. Do c and y have the same value?
False
Suppose 2*r + 10 = -2. Let m be (-4)/15*r/4. Is m at most -1?
False
Let h be (6/2 - 3) + -10. Let r(k) = k**2 + 10*k + 8. Let c be r(h). Is 6 greater than or equal to c?
False
Let y be (0/3)/(-1) - -4. Suppose 5*u = -s - 20 - 23, -y*s = -3*u + 57. Let q be s/(-14) - (0 + 1). Are 0.3 and q nonequal?
True
Let x(q) be the first derivative of q**3/3 - 5*q**2 + 11*q - 10. Let w be x(9). Suppose -6 - 5 = -o + 4*l, -5*o = l - 13. Do w and o have the same value?
False
Suppose 4*b = 2*l + 4, 3*b = -l + 3 - 5. Let z = -2/23 - 59/115. Are z and l non-equal?
True
Let x = 140 - 141.27. Let v = x + 1.4. Is v less than or equal to 1?
True
Let j be 6/(-21) - (-30)/7. Suppose j*i + 35 = 3. Let z = i - -13. Is 4 less than or equal to z?
True
Let a be ((-3)/9)/(1/15). Let x = 10 + a. Is x smaller than 6?
True
Let l = 3 + 4. Let g = 0 + 7. Is g at most as big as l?
True
Let j = 173/185 + -5/37. Let f = -18 + 26. Suppose -f = -7*w + 3*w. Which is bigger: w or j?
w
Let m = 0.18 - -3.82. Let i(v) = v**3 + 6*v**2 + 6*v + 5. Let o be i(-5). Are o and m non-equal?
True
Let h = -1 - -13. Let u = 13 - h. Let d = -0.3 + 1.3. Are u and d uneq