 x or -2/9?
-2/9
Let n = 6/31699 - 4533587/3328395. Let y = n + 14/15. Let c(k) = -k**3 + 4*k**2 - k + 3. Let b be c(4). Which is smaller: y or b?
b
Let w = -0.27 - 0.03. Let r = 815.9 + -821.9. Do r and w have different values?
True
Suppose -32*j + 27*j + 55 = 0. Let o be (-20)/(-30)*3/j. Suppose -5 = q - 0*l - l, 4*q = 5*l - 24. Which is bigger: q or o?
o
Let t(v) = -13*v - 6. Let l be t(3). Let g be (-76)/l + (-44)/55. Let j = -7 - -7. Is g smaller than j?
False
Let o = -345 + 431. Suppose 3*q - s = 92 + 161, -q + 79 = -3*s. Which is smaller: q or o?
q
Suppose 8*s - 8 = 4*s. Suppose 0 = b - 2*u + 2, 3*b = -s*u + 5*u - 3. Let f = -41 - -42. Do b and f have the same value?
False
Let z(g) = g**2 - 6*g - 10. Let l be z(7). Let j = -1 - l. Let w = 13 + -12. Which is greater: w or j?
j
Let u = 56 + -44. Let a be u*4/(24/2). Is -7 at most as big as a?
True
Let z = -0.27 + -0.08. Let w = z - -0.45. Are 0.1 and w nonequal?
False
Let q = -471 + 74. Let j = -5951/15 - q. Which is bigger: j or -1?
j
Suppose -10*a - 616 = -186. Which is greater: a or -41?
-41
Let t = 0.203 - -0.167. Is 2/9 >= t?
False
Let z(r) = r**3 - 5*r**2 + 6*r - 2. Let q be z(2). Let a be q - (-26 - (4 - 4)*1). Is 23 at least as big as a?
False
Let q be (-25 + 9)*2/((-66)/(-81)). Which is bigger: -40 or q?
q
Let u = 13 + -13. Suppose -2*l + 0 + 2 = u. Is -0.01 < l?
True
Let f = 426 - 412. Is f equal to -2?
False
Let y be 68/8*(15 + -5). Is y less than or equal to 85?
True
Let k = -2 - -5.9. Let o = k + 0.1. Let i = 5.8 + -2.8. Are o and i equal?
False
Suppose 102 = -12*o + 15*o. Let g = 20 - o. Let h(n) = -2*n - 5. Let r be h(5). Which is greater: g or r?
g
Let t = -12 + 15. Let r be (-3 + t/1)/(-1). Suppose -5*a = 2*v + 8, -4*v = -2*a - r*a - 8. Which is greater: -8 or a?
a
Let a(y) = -8*y**2 - 293*y + 57. Let p be a(-37). Is p <= -48?
True
Let o be 3/(-54)*924/8. Let j = o - -20/3. Suppose -l = -5*l. Is l at least as big as j?
False
Let q = -3/194 + 397/582. Is q less than -0.0301?
False
Let h(k) = 4*k**2 + 141*k + 172. Let t be h(-34). Let p(r) = -r + 4. Let d be p(0). Which is smaller: t or d?
t
Let v(q) = -410*q**2 - 1. Let n be v(-1). Let z be (8/110)/(-3 - n/135). Which is smaller: z or -1/4?
-1/4
Let b(y) = -y**2 + 20*y - 5. Let j be b(20). Let w be (-19 + 20)/(j/3). Is 0 < w?
False
Let r = -544.4 - -568.39. Let v = 53 - 29. Let w = r - v. Which is bigger: 2 or w?
2
Let y be ((-6)/30 + 3/(-60))*-92. Is y != 23?
False
Suppose 5*a - o - o = 435, 2*o - 174 = -2*a. Let z = a - 106. Which is greater: -18 or z?
-18
Let z = -326 + 1957/6. Is z <= -1.6?
False
Let z = 0.6 + 18.4. Let g = 54 - 37. Let j = z - g. Which is greater: -1 or j?
j
Let a be (-1 - (-1 - 0)) + 37. Suppose -p + 176 = 26*k - 21*k, -2*p = -5*k + 173. Is a < k?
False
Let i = 3/6214 - -1685543/9321. Which is greater: 182 or i?
182
Let u be ((-8)/12 - 0)*12. Let q be ((-38)/(-627))/(u/6). Which is bigger: q or 1?
1
Let d(f) = -f**3 - 10*f**2 + 11*f - 18. Let o be d(-10). Is -129 less than o?
True
Let i be 1 - (1/4 - (-77)/220). Which is bigger: i or 11?
11
Let m(t) = t**2 - t + 37. Let r be m(7). Is 12 < r?
True
Let b = -718 - -1207. Which is greater: 488 or b?
b
Suppose 4*o - 2*a + 70 = 0, -2*o - 5*a + 0*a - 41 = 0. Is o <= -116/7?
True
Suppose 6*t - 2*t = -12, 4*r = 4*t + 156. Suppose 5*f = 8*f + r. Is -6 <= f?
False
Suppose -10*g = j - 6*g - 9, 2*j = -g - 3. Is j at least -156/47?
True
Let u be 6 + (-46 - -4 - 6). Which is smaller: -44 or u?
-44
Let y = -47 + 14. Let s = y - -32. Let g be (-1 + 1)/(-1 - 1). Is s greater than g?
False
Let w(l) = -l**2 - 16*l - 7. Let d(g) = -g**2 + g + 1. Let n(p) = 2*d(p) - w(p). Let a be n(18). Is a at most 9?
True
Let h = -19773/35 + 565. Let u(s) = -24*s + 4. Let b be u(-2). Suppose b - 48 = 4*m. Is h greater than m?
False
Let d be -1 - ((-158)/10)/((-2)/(-5)). Is 38 equal to d?
False
Let k = -649.1 + 649. Is k at most 0.04?
True
Suppose 0 = 6*s + 2*s - 2*s. Which is bigger: -3/715 or s?
s
Suppose 1375 = -68*c - 53. Is -29 at most as big as c?
True
Let i = -129 + 16. Let q = i + 89.5. Let r = q - -24. Is r greater than 0?
True
Let k(x) = -x - 6. Let b be k(-7). Suppose -27 = -s + b. Suppose -s = 3*o - 4. Is -7 greater than o?
True
Let g = -6676/5 + 1335. Which is smaller: -2/573 or g?
g
Let f = -4261 + 1069513/251. Is f greater than 1?
False
Suppose 0 = w + 1 + 4. Let j be ((-1)/(-3))/((60/(-234))/(-10)). Let h = w + j. Which is smaller: -1 or h?
-1
Let a be (660/(-35))/(136/(-28) + 5). Is -134 equal to a?
False
Let c(m) = m**2 + 36*m + 99. Let f be c(-33). Which is smaller: 1/99 or f?
f
Let j(p) = p**2 + 18*p + 81. Let d be j(-15). Which is smaller: 35 or d?
35
Let w = -96 + 100. Let j = w - 2.3. Which is smaller: -1/5 or j?
-1/5
Let w be (-1)/((-2)/(-4)) - 2. Let v be w/(3/((-84)/(-8))). Let n = 13 + v. Is n not equal to -2/27?
True
Let m = -48 - -47.8. Let t(q) = 2*q - 27. Let b be t(22). Which is smaller: m or b?
m
Let p = -97 - -97. Suppose 5*l - 4*s - 7 = p, -2*l + 3 = -3*s - 4. Do 3/85 and l have the same value?
False
Let y be (12/(-98))/(9/(189/(-24))). Is -1 smaller than y?
True
Let p be 35/45 - 2/(-9). Let b be (2 - (p - -2)) + -53. Let f be 12/b*(-3)/(-5). Is -1 != f?
True
Suppose -3*o + 0 = 3. Let n be (-35)/5 - (-2 + 3). Let r be (-18 - -21)/(n/2). Is r at most as big as o?
False
Suppose v = 2*d - 202, 0 = -4*d - 2*v + 21 + 367. Let o = d - 114. Which is greater: o or -16?
o
Let n(f) = -11*f + 27. Let g be n(2). Suppose -9 = 4*w - g*w. Is 8 >= w?
False
Let z be 4/12*(-267)/(-1296). Let l = z + -1/162. Is l bigger than -1?
True
Suppose 2*x + 4 + 4 = 0. Let k be (4/x + 1)/(-2). Is k greater than -1/6?
True
Let g = 2153 - 2076. Which is smaller: g or 14?
14
Suppose 3*g + 0*g = -3. Let z be 10/(-210) - (0 + 2/(-6)). Is z at most g?
False
Let u(m) = -m + 4. Let s be u(2). Suppose 3*t + 38 - 6 = -s*v, -4*t + 3*v - 71 = 0. Let z be ((-6)/10)/(t/(-10)). Which is smaller: z or 0?
z
Let j = 220 - 131. Suppose -8*x + j + 167 = 0. Is x <= 30?
False
Let a = -178 + 613. Are 436 and a non-equal?
True
Let y be (-14)/(-13)*3*(-10)/180. Which is smaller: y or 0?
y
Let p be 7 + -37 - (4 + -1). Is p bigger than -35?
True
Let d = 0.193 - 80.193. Let f = 74 - 73.9. Which is smaller: f or d?
d
Suppose -10*a + 7*a + 54 = 0. Suppose 25*x - 28*x + 57 = 0. Which is greater: x or a?
x
Let r(j) = j**3 + 13*j**2 + 13*j - 5. Suppose 0 = 2*m - 5*g - 12, -2*m + 3*g + 15 = -1. Suppose -y - m = 1. Let t be r(y). Which is smaller: t or -16?
t
Let n = 1125.5 + -199.5. Does -1 = n?
False
Let u(c) be the third derivative of c**6/120 + c**5/10 + c**4/4 + c**3/2 + 12*c**2. Let m be u(-5). Is m <= 6?
True
Let t be 3/(-4) + (-33)/(-12). Suppose t*n = -3*f + n + 3, -f + 3*n = -11. Let g = 10 - f. Is -1 > g?
False
Let j = -1105 - 325. Which is smaller: j or -0.1?
j
Let h = -6 + 12. Suppose -6*u + h = -3*u. Which is bigger: -4 or u?
u
Let l be (1 + -2)/1*-2. Let d = 8.99 + -9. Let r = d + 0.31. Is l less than r?
False
Suppose -36 = 5*v - 11. Suppose g + 3 = p, -4*p = 5*g + 30 + 21. Let m be (96/(-56) + 2/g)*2. Is v smaller than m?
True
Let b = -28.12 + 0.12. Let o = 1938 + -1923. Let t = o + b. Which is greater: t or -1?
-1
Let c = -9557/16 - -597. Suppose -v = -30 + 21, -22 = 4*z - 2*v. Which is greater: c or z?
c
Let v be -3 + 3/((-6)/(-4)). Let o be (0 - 2 - v) + (-1284)/(-1272). Which is smaller: -1 or o?
-1
Let a = -2496.345 + 2491. Let t = a - 0.055. Is t smaller than 0.1?
True
Let b(s) = -2*s - 7. Let v(c) = c**2 - 4*c - 2. Let d(q) = -q**2 + 1. Let g(t) = -2*d(t) - v(t). Let p be g(-3). Let u be b(p). Which is bigger: -5/3 or u?
u
Let i = -169/1884 - -1/157. Let c be -33*((-3)/(-9))/1. Let b = 11 + c. Are b and i unequal?
True
Let x(c) = -36*c + 4. Let l be x(-3). Suppose 4*u - l = -4*u. Suppose 2*z + u = -4*h, 0*z - z - 1 = -4*h. Is 1/8 smaller than h?
False
Let j = -0.031 + -9.069. Let g = -9 - j. Suppose 24 + 11 = -5*a. Which is smaller: g or a?
a
Suppose -j - 4 = 2*w - 33, 5*w - 10 = 0. Suppose 5*a + 2*k + 0*k = 5, 5*a - 4*k + j = 0. Let u be (a - -1)*5/10. Is 3/7 less than u?
False
Suppose 4*h + 74 + 62 = 0. Let n = h - -135/4. Is n greater than -0.7?
True
Suppose 8*h - 5*h + 36 = 0. Is -82/7 greater than or equal to h?
True
Let g be 48*(2 - -1 - 2). Let j be (-7)/(-3*4/g). Suppose 0 = 4*o +