equal?
False
Let o be 6/((-6)/(-17))*-1. Which is smaller: o or -25?
-25
Let g = 167 - 47. Let a = 119.821 - g. Let n = a + -0.051. Is n < 0.1?
True
Let z be ((-9)/6)/(15/(-250)). Suppose -7*a - z = -2*a. Let s = a - -3. Which is greater: s or 0.1?
0.1
Let f(u) = u**3 - 13*u**2 - 5*u - 127. Let b be f(14). Is -9/185 less than b?
False
Let q(i) = i. Let u be q(5). Suppose 6 = -5*f - u*m - 9, 0 = 5*m. Let v(w) = -w - 5. Let z be v(-4). Are z and f non-equal?
True
Let k be (-6 - -2) + 5 - 0. Which is smaller: 58/9 or k?
k
Let k = 1.129 + -1.229. Which is smaller: k or -369?
-369
Suppose 7*h + 164 = 353. Are 26 and h unequal?
True
Suppose -8*q = -12*q + 216. Is q > 54?
False
Let z be (32/3 - 2)*3. Suppose 7*w - 198 = -9. Is z at most as big as w?
True
Let k = 103.213 - 103.2. Which is smaller: k or 3?
k
Suppose -15 = 5*p, -3*p + 6 = 3*s - 5*p. Let r = -4 + 4. Let i = r + -1. Is i bigger than s?
False
Let c be (48/(-60))/((-84)/(-90)*(7 - 4)). Let n = 2 + -1. Is c smaller than n?
True
Suppose 0 = 2*n - 186 - 310. Suppose -3*b - 3*q - 154 = -5*q, 5*b + n = -q. Let j = 199/4 + b. Is -10 bigger than j?
False
Suppose -26 = -5*d + 4*l, -2 = -5*d - l + 4. Suppose d*a + 56 = -5*a. Suppose -4*w + 2 = 34. Is w bigger than a?
False
Let g = 288 - 287.2. Which is greater: -0.078 or g?
g
Let l = -2834/5 - -569. Let y = -2741 + 2744. Is l bigger than y?
False
Let j(v) = v**2 + 2*v + 6. Let d be j(5). Let l be (-2)/6 - (-1 - 0)/3. Suppose 5*p - 4*b + 61 = 0, 2*p + p + 2*b + d = l. Is -14 at most p?
True
Let j = 3 - 7. Let r be 5*(-39)/130*(2 - 0). Which is greater: r or j?
r
Let u be 81/(-16) + (-6)/3 + 5. Which is smaller: u or 1?
u
Let n be (1 - (-4634)/(-5340)) + (-8)/60. Are n and 0 equal?
False
Let p(q) = q - 17. Let i be p(9). Let k be (-11 - i)*(0 + 6/9). Which is smaller: -8/9 or k?
k
Let s be ((-24)/18)/((-4)/9). Suppose a - s = -0*a. Let g be (-25)/10 - -1*a. Is g at most as big as 3?
True
Let y = 317.1059 + -0.1059. Which is bigger: -1 or y?
y
Let c be (7/(14/16))/2. Which is greater: 67 or c?
67
Let b = -565 + 7907/14. Let r(f) = 0*f**2 + 3 - 2 - f**2. Let l be r(1). Which is smaller: l or b?
b
Let p = 91 + -91.061. Let i = -0.031 - p. Is 2/9 greater than or equal to i?
True
Let h(c) = c**2 - 5*c + 1. Let o be h(7). Let f = o + -105. Let b be 261/f - 2/(-5). Is -2 smaller than b?
False
Let f(y) = -4*y + 1. Let s be f(1). Let k(g) = -g. Let v be k(s). Suppose -9 = -v*a + 2*a. Is 8 != a?
True
Let g(v) = -v**2 - 9*v + 1. Let b = 16 + -23. Let j be g(b). Suppose -j = -5*z + 5*k, -6 = -2*k + 5*k. Which is smaller: 1/26 or z?
1/26
Let t be 117447/(-44) + (1 - (-3)/(-4)). Let d = t + 18728/7. Is d bigger than 6?
True
Suppose r - 2*r = 3*h - 278, -2*h - 5*r + 168 = 0. Let c = -110 + h. Is c >= -18?
True
Let p be (1/(-1) - 2) + 73. Let g be (-38)/p - 3/(-21). Is g bigger than 2/25?
False
Let k = -37 + 30. Suppose -n + 28 = 4*n - 3*l, -2*n + 32 = 4*l. Let g = k + n. Which is smaller: g or -1/12?
-1/12
Let q = 15751/9 - 1750. Is q not equal to 1?
True
Let q = -0.018 + 0.043. Let p = 28.025 - q. Is p less than or equal to 2?
False
Let d be (-883)/(-8) - ((-3)/(-8) - 0). Let a = d + -108. Let n = -219/4 + 56. Which is smaller: a or n?
n
Let o = 2531 - 245504/97. Let a = o + -257/11446. Is 1 equal to a?
False
Let h(i) = -13*i**3 - 8*i - 9. Let z be h(-1). Suppose -t = 3*t - 40. Which is greater: t or z?
z
Let j(w) = -3*w - 1. Let i be j(-2). Suppose 5*y = -8 + 23. Which is smaller: i or y?
y
Suppose 3 = -p + 5. Let x(y) = y**2 - 2*y. Let g be x(p). Which is bigger: 4/19 or g?
4/19
Let n(b) = b - 8. Let r be n(10). Suppose -r*v + 6*v - 56 = 0. Let j(h) = -h**2 + 10*h - 11. Let q be j(6). Which is smaller: v or q?
q
Let f(g) = -20*g - 202. Let b be f(-11). Is -1 >= b?
False
Let a = -92 - -94. Let y be (-7)/(-2) + (-3)/1. Is a greater than y?
True
Let g = -19 - -18. Is 3/50 greater than or equal to g?
True
Suppose 0 = -4*d - 5*z + 173, -d - 2*d = 4*z - 131. Let k = 26 - d. Let n(j) = j**3 + 10*j**2 - 11*j + 1. Let c be n(k). Is c greater than or equal to 0?
True
Let g = 4.61 + -4.647. Are -3 and g equal?
False
Let k = 0.77 - -5.23. Let v = 119 - 124.9. Let j = k + v. Is 1.1 at least as big as j?
True
Let k be 46/(-14) - (7 - 10). Suppose 5 + 0 = 5*j, 2*v - 2*j + 24 = 0. Let p = v + 10. Is k less than p?
False
Let u be 39/3375*-103 - -1. Let z = u + -4/125. Which is smaller: 1 or z?
z
Let r(f) = -f - 4. Let s be r(-3). Let z be 9 - (s + (-9)/(-3)). Is 6 less than z?
True
Let j be (-6)/(-13)*(0 + -1). Let u = -0.9 + 1.1. Which is smaller: j or u?
j
Let g be ((-10672)/(-64))/29*(-4 - 0). Is -23 less than or equal to g?
True
Let h be (-3)/(42/740)*(13 + -20). Is -2 less than h?
True
Let f be 14/4*(-24)/(-14). Let o(r) = -r**2 + 10*r - 29. Let h be o(f). Which is greater: h or -1?
-1
Suppose 4*k + 23 = -2*p + 25, -k - 27 = -2*p. Let i(o) = 4*o - 3. Let u be i(4). Are p and u unequal?
True
Suppose 2*n = -4*l - 4, l = -l + 2. Suppose 0 = o - 6*o + 25. Let b = n + o. Is 2 greater than or equal to b?
True
Let v(x) = -x**2 - x + 4. Let o(s) = s**3 + 7*s**2 - 8*s + 5. Let h be o(-8). Let f be v(h). Is -25 equal to f?
False
Let u = -457.813 + -3.187. Are u and -1 non-equal?
True
Let n = -2.1 - 0.5. Let i = n + -4.4. Is i at least 0?
False
Let d be (-1 + 1)*(4 + -3). Let q be 8/(-12) + (-96)/(-171). Is d <= q?
False
Let d be (-446)/1044 - (-52)/117. Which is smaller: d or 0?
0
Let l be (-300)/14 - 2*(-18)/84. Are l and -36 unequal?
True
Let v = -183 + 170. Suppose -2*m + 7*m + 2*f - 17 = 0, 2*m + 5*f = -10. Suppose 59 = -m*s - 4*q, 3*q = q - 2. Which is smaller: v or s?
v
Let o = -219 + 390. Let l be (-1 - o/(-12)) + 4/(-16). Which is bigger: l or 4?
l
Let s = -4 - -12. Suppose 3*o - s = 5*o. Let t be 1 - o/(1 + -5). Which is bigger: t or 3/5?
3/5
Suppose -5*b + b = -p - 6, p + 2 = 0. Let r = b + 18. Let h = 23 + -5. Is r at least h?
True
Let z = 63 - 65. Let b be (-55)/4 + z/8. Is -15 > b?
False
Let x be 4 + (2 - (0 + 1)). Let f be 8 - (-8)/(-20)*x. Suppose y + f = 3*y. Which is bigger: y or 4?
4
Let o = 177 + -29. Let h be o*(-1)/(-75) - 2. Is -1 bigger than h?
False
Let f be -4 + 1977*143214/(-590). Let h = -479891 - f. Let v = h - 4/59. Which is smaller: 2 or v?
v
Let h = 271 - 269. Which is greater: h or 0.12?
h
Let l(b) = 38*b + 43. Let v be l(-2). Which is smaller: v or -234/7?
-234/7
Suppose c + 29 = -3*i, 3*c + 5*i = -2*c - 135. Let h = -23 - c. Is 11/3 less than h?
False
Let o be 0/(-4) - (10 + -2). Let l(c) = c**3 - 7*c**2 - 6*c - 8. Let n be l(8). Let w be (-2 - n - 0) + 1. Which is greater: o or w?
o
Let g be 236001/474516 + 2/(-4). Let i = 5/588 - g. Let t = 487/4573 + i. Which is smaller: t or 0?
0
Let n = 53/259 - -3/37. Let r be 56/(-528) + (2/(-12))/(-1). Is n bigger than r?
True
Let q(c) = 4*c - 29. Let b be q(20). Which is bigger: 53 or b?
53
Suppose -5*w + 219 = -301. Let o = 123 - w. Which is smaller: 20 or o?
o
Let r(x) = -7*x**3 - x**2 - 2*x + 18. Let v be r(2). Are v and -15 non-equal?
True
Let h be (-11)/(-363)*11*1/12. Suppose x + 3*t + 5 = t, -3*x = -3*t - 12. Is x equal to h?
False
Let u = -128 - -130. Which is bigger: 44 or u?
44
Let w = 20/63 + -208/1449. Which is greater: w or -1?
w
Let y be ((-9)/(-3) + -3)/(-3). Suppose y = 3*c - 2*c. Which is smaller: 2/23 or c?
c
Let q(g) = -4*g**2 + 20*g - 2. Let k be q(8). Let u = k - -99. Is u greater than 1.6?
False
Suppose 0 = 2*b + 37 - 125. Let d = 94 - b. Let h be (-14)/(-77) + d/88. Which is smaller: 1 or h?
h
Let b be 8*(2 - (-12)/(-8)). Let d be -14*(42/b)/(-7). Let s be (d/(-15))/1 + 1. Which is bigger: s or 1?
1
Let v(d) = -d**2 - 11*d + 12. Let q be v(-9). Let n be 3/27*9/q. Let h = 89 + -88. Which is bigger: n or h?
h
Let a = -0.1 - 0. Let r = 211 - 230. Are r and a equal?
False
Let r be (-57)/133 - (-160)/14. Let i = r - 8. Let q be -1*1*(i - -11). Is -14 < q?
False
Let i be 2/((-2)/5 + (-192)/20). Which is bigger: i or 7?
7
Let s be 1/2*2 - (29 + -29). Let z = -10 + 14. Which is smaller: z or s?
s
Let x = -262 - -292. Is x smaller than 30?
False
Suppose b = -4*g + 4*b + 438, -g = b - 113. Which is greater: g or 106?
g
Let x be (-12)/(-15)*(-6)/(-8). Let h = -49 - -51. Which is bigger: h or x?
h
Let i = -0.2 - 1.8. Let o = -3 - i. Let x = -4 - -2. Which is greater: o or x?
o
Let w be 309/15 