ich is smaller: -2 or u?
u
Let o(m) = -m**2 - 19*m + 4. Let n(x) = -x**2 - 2*x + 5. Let b be n(4). Let h be o(b). Is 21/5 > h?
True
Let v = -31 + 28.4. Let d = 1.6 + v. Which is smaller: -2/3 or d?
d
Let b = -215.64 + 217. Is b at most as big as 2/7?
False
Let x = 0.914 + 0.126. Let t = -1.04 + x. Are 43 and t unequal?
True
Let f = -316 + 3479/11. Suppose 9 = 6*v - 3*v. Suppose -4*j - 1 = v. Is j less than f?
True
Let f(m) = -2*m**2 - 44*m - 113. Let l be f(-19). Which is smaller: 4/619 or l?
4/619
Let j = 11 + -8. Suppose -3*k = 2*w - j*w - 31, -k + 32 = 4*w. Let i = -38 + 49. Which is smaller: i or k?
i
Suppose 0 = -261*y + 193*y - 45492. Are -671 and y equal?
False
Let k(g) = -2*g + 18. Let a be k(10). Let z = -28.9 - -29. Is z at least as big as a?
True
Suppose -r - 2064 = -0*r. Let u = r + 241486/117. Is u >= -1?
True
Let l = 823 + -833. Is 4 smaller than l?
False
Let y be 67 + -69 + (3 - 1) + 0. Which is greater: 2/215 or y?
2/215
Let u be 9/7 + -1 - 516/(-301). Let s(n) = -n**3 - 5*n**2 - 5*n + 3. Let c be s(-4). Let m = c - u. Is m at least as big as 5?
True
Suppose -3*j - 2*h - 4 = 0, 0*j = j - h - 7. Suppose -u - 16 = j*u - 2*s, 4*s = 8. Is -6 at least as big as u?
False
Suppose -9*w + 12*w - 45 = 0. Let z be 4/20 - (-177)/w. Which is greater: z or 13?
13
Let s = 19 - 11. Let r be ((-56)/(-6))/(-14 + s). Let j = r + 53/36. Which is smaller: j or 1?
j
Let f = 40 - 45. Let g = 38 + f. Which is smaller: -0.1 or g?
-0.1
Suppose 113*q - 154*q + 41 = 0. Let g = 245 + -4168/17. Which is greater: q or g?
q
Let c(s) = s**2 - 5*s. Let h be c(5). Let n be (-59832)/(-171) - (h - 0). Let d = n - 350. Which is smaller: -1 or d?
-1
Suppose -3 = l + 25. Let d be (8/(-14))/(40/l). Let u = -1.1 - -1. Is d at least as big as u?
True
Let d = -10 + 9.68. Let i = 0 - 0.32. Let l = d - i. Which is bigger: 9 or l?
9
Let g(y) = -3*y - 4. Let z be g(-3). Suppose -3 + 44 = -p + 3*n, 0 = z*n - 20. Is p < -29?
False
Let s = -1 + 13/14. Does s = 1?
False
Suppose -5*i = -2*i. Suppose i - 15 = -5*w. Let j be w/(-1) + 657/225. Is j at least as big as 0?
False
Let a = 37 - 23. Suppose -6 = -4*b + a. Is 9 < b?
False
Let n = 95 - 96. Let v = -0.3 - 3.7. Let d = -2 - v. Which is greater: d or n?
d
Suppose 0*u + u = 0. Let d be (-1)/(-4 - -3)*u. Which is smaller: -3/14 or d?
-3/14
Let j be ((-14)/(-21))/((-6)/(-27)). Let w be (11/99)/(1/j). Is w at most 0.15?
False
Let u = 2.69 - 2.77. Which is smaller: 2.2 or u?
u
Let o = 28 - -2. Which is smaller: o or -0.06?
-0.06
Let l = 1.148 - -0.052. Let p = -0.2 + l. Which is smaller: p or 13?
p
Let c = 3/97 - 482/18721. Is 1 greater than or equal to c?
True
Let a be 1 - ((-302)/(-8) + (-23)/(-92)). Which is greater: -43 or a?
a
Let u = 23/2 + -11. Let l = -2 + 3. Let t = -1.01 + l. Which is smaller: t or u?
t
Let o(v) = 8*v**2 + 8*v + 7. Let l be o(-1). Which is bigger: l or 3?
l
Let y be (12/(-24) - -11)*(80 - 2). Which is smaller: 820 or y?
y
Let q = -60.027 + 60. Let x = 1.027 + q. Suppose p - 2*t - 4 = -6, -3*p - 2*t = -10. Are p and x unequal?
True
Let b(s) = 4*s - 42. Let w be b(12). Let f be ((-136)/w)/((-24)/36). Which is smaller: 103/3 or f?
f
Let l(t) = -402*t + 9660. Let c be l(24). Let w be 4/6 + 19/3. Which is smaller: c or w?
w
Let t be (13/2)/(-13) - (-22)/32. Let v be 9/(-6) - (-1 - 0). Which is bigger: v or t?
t
Let s(w) = 340*w**2 + w + 1. Let i be s(1). Let a be (19/i)/(1/3 - 0). Let g = 1 + -2. Is g > a?
False
Let l = -368/209 + 2/11. Let x = l + 153/133. Let r = 13/14 + x. Is 2 not equal to r?
True
Let g(f) = f**3 + 5*f**2 + f + 6. Let b be g(-5). Let a = 4 + b. Suppose 0 = -n + 3 + 1. Which is smaller: n or a?
n
Let d be (-81)/(-9) - (14 - 3). Is -4 less than d?
True
Let s = 0.535 - -1.465. Is s equal to 184?
False
Let n(j) = 7*j**2 - 4*j - 2. Let g be n(3). Which is bigger: 0.4 or g?
g
Let p = -2/477 + 980/6201. Let y = 591 + -579. Is p > y?
False
Let q be 4/(-2)*(-2)/4. Let s be 3 - (-4 + q + 4). Let z be (-2 - -12)/(s + 0). Which is bigger: 0 or z?
z
Suppose 17 = w + 3*h, -w = -0*h - 4*h + 18. Suppose -6 = w*n - b - b, 5*n + 23 = -3*b. Which is greater: n or -2?
-2
Let n = 6/7 + 404/35. Let k = n + -697/55. Suppose -511 = 9*d - 502. Do d and k have the same value?
False
Suppose 0 = 10*o - 12*o - 8. Is -4 at least as big as o?
True
Let s be ((-12)/75)/((426/15)/(-1)). Which is greater: s or 0?
s
Let b = -17 - -20.5. Let n = 15.5 + b. Let o = -18 + n. Is 4/7 < o?
True
Let l be 32/12 + 1 + -4. Let d = -2.8 + -12.2. Which is smaller: d or l?
d
Let n = 0.31 - 0. Let z = -14.71 + 15. Let m = n + z. Does m = -0.1?
False
Let b = 56 + -77. Which is greater: b or -1?
-1
Let h be ((-10)/(-268))/(((-152)/12)/(-19)). Is h less than or equal to 1?
True
Suppose 8*j = 5*j - 6. Let d = 35 + -45. Let i be (2/(-3))/(d/(-24)). Which is smaller: j or i?
j
Let u be 3/(-15) - 31/(-5). Let m be (-2)/(u/(-15)) - 1. Let a = -92 + 92. Do m and a have the same value?
False
Suppose 7*b - 80 = 263. Is 97/2 greater than or equal to b?
False
Let q = -846 - -846. Let m(g) = -4 - 4 - 5*g**3 + 4*g**3 - 2*g**2. Let w be m(q). Which is smaller: -7 or w?
w
Suppose -3*s - 25 = 2*s. Let q = 0.059 - -3.941. Which is smaller: s or q?
s
Suppose 0*x = 5*v - x + 151, -2*x = -v - 32. Let p = -25 - v. Let z(c) = -c**2 + 6*c - 6. Let b be z(4). Which is smaller: p or b?
b
Let i(s) = -s**2 + s - 49. Let w be i(0). Let g = 35 + w. Let r be (-2 + 4)*10/g. Are -2 and r equal?
False
Suppose 0 = 3*m + 3*m - 6. Which is smaller: 2/401 or m?
2/401
Let b = -1189.5 + 1189.6. Let q = 1 + 5. Which is greater: b or q?
q
Suppose -29*y - 21*y + 75*y - 300 = 0. Let r = -14.7 - -14. Is y at most as big as r?
False
Let q = 105.53 + -105. Let b = q + -0.13. Let t = b + 0. Which is bigger: t or 0.1?
t
Suppose 4*b - 44 = -4*h, 4*h - b - 12 = 7. Suppose h = 2*r + 20. Let a = -8 - r. Is a less than or equal to -6?
False
Let h = 584 + -754. Which is smaller: -169 or h?
h
Let t = -654915527/76043307 - 2/1768449. Let g = t + 12/43. Which is smaller: g or -9?
-9
Let h = 1602 - 1049. Let j = -13 + h. Let q be (-369)/j + (-6)/(-10). Is q > 0?
False
Let u be (-27)/18 + (-2)/4 - 37. Let z = u - -38. Is 1/146 bigger than z?
True
Let r be -2 + (14 - 2) - 4. Let s = 20 - r. Suppose -15*y = -s*y. Which is bigger: -2 or y?
y
Let d = -3.14 + 41.14. Which is smaller: -3 or d?
-3
Let j be (8/(-92))/((-6)/9). Let w = 24 - 20. Suppose -w*n - 10 = 5*a + n, 0 = 4*a - n - 7. Which is bigger: j or a?
a
Suppose 4*t - 5*r = -24, 0 = -5*t - 4*r + 3 + 8. Is -2/1145 smaller than t?
False
Let k be (-20909)/245 - 198/110. Which is greater: -88 or k?
k
Let q be -2*1*(-169)/(-26). Let f = q + 41. Let a be (f/10)/(12/10). Which is smaller: 1 or a?
1
Suppose 3*j + 14 = -5*l, -7*l - 22 = -3*j - 3*l. Let r be (-1)/(-4) - j/8. Let m be (-40)/(-48)*16/10. Which is greater: m or r?
m
Let y be (-6)/(-40)*(-7)/(-105). Let k(b) = -7*b + 176. Let l be k(25). Is l greater than y?
True
Suppose z - 3*z = 4*b - 2, -9 = -3*b. Let q be 0 - (-5 + 2 - z). Is -2 greater than or equal to q?
True
Let s(k) = 2*k**3 + 2*k**2 + k + 3. Let w be s(0). Suppose 3*b = 6*b - w*z - 21, -4*z - 18 = -2*b. Which is bigger: -11 or b?
b
Let x = -2463/11 + 224. Which is greater: x or -1?
x
Suppose 229*k = 239*k + 2480. Which is smaller: 0.2 or k?
k
Let f be 5/10*(21/6 + -3). Is -0.1 >= f?
False
Let a = -10527 + 21777/2. Is a > 363?
False
Let g = 0.9 - -0.1. Let l = -170.157 + 170. Let v = 0.057 + l. Is v less than or equal to g?
True
Suppose 0 = -4*g + 9*g - 20. Let z = g - -1. Let b be (-46)/(-14) - 2/7. Which is smaller: z or b?
b
Suppose -10*v = 335 + 135. Is -34 at least as big as v?
True
Let a(z) = -3*z**2 - z. Let w be a(1). Let k(n) = -3*n + 12. Let q(g) = -g**2 + 14*g + 20. Let i be q(15). Let y be k(i). Which is bigger: y or w?
y
Let i(v) = -26 + 2*v + 30 + v. Let j be i(-3). Let a be (-35)/(-100) - (-1)/j. Which is bigger: 0 or a?
a
Let h = -57 + 66. Let v be 2/h + (-11)/9. Is v at least 1/11?
False
Let f = 75 + -93. Let p = f - -17.9. Which is greater: 32/7 or p?
32/7
Let s(a) = -7*a - 3*a**2 + 2*a**2 - 7 - a. Let g be s(-9). Let b = 11 + g. Which is smaller: b or -1?
b
Let l = -136 + 259. Is l < 123?
False
Let c(f) = 2*f**3 - 3*f**2 + f - 2. Let n be c(3). Suppose -2*r = k - n, -5*k + 38 = -r - 47. Let z be 27/k*2/3. Which i