 h be n*((-1)/4 - -3). Let v = 10 + -10. Is v greater than or equal to h?
False
Let f be (-60)/(-140) + (-8)/35. Let r be 13/4 + 4/(-16). Suppose r*t = t. Which is smaller: t or f?
t
Let w(p) = p + 4. Let f be w(-10). Suppose 7*n = -n + 72. Suppose n*j - 8*j + 7 = 0. Which is greater: f or j?
f
Let q = 2.34 + 20.66. Which is smaller: q or 7?
7
Let v(h) = -28 - 5*h + 0 + 8 - 7*h. Let m be v(3). Is m greater than or equal to -55?
False
Suppose -6 = -0*q - 2*q. Suppose q*g + 3*s = -34 - 8, -s + 40 = -5*g. Is -8 != g?
True
Suppose 10 = 4*b - 2. Let w be b*((-3 - -6) + -2). Let k be 2/w + 147/63. Which is smaller: 9 or k?
k
Suppose -3*i = -23 - 157. Let z be (4/6)/(i/(-18)). Are z and -1 equal?
False
Suppose -23*w - 9*w + 32 = 0. Which is bigger: -0.038 or w?
w
Let l be (-60)/105 + (1 - (-74)/7). Is 9 at most as big as l?
True
Let w = 745 + -746. Which is greater: w or -3/83?
-3/83
Let r be (-308)/820 - 2/(-5). Let l be (9/(-6))/((-10)/20*-3). Is l at least as big as r?
False
Let f(j) = 23*j**2 - j. Let w be f(2). Let q = -89 + w. Is 2/239 at most q?
True
Suppose 0 = 9*f + 16 - 1717. Do f and 0.5 have different values?
True
Suppose 4*l - 2*v - 6 = 5*l, 0 = -4*l + 5*v + 41. Suppose 10 = m + l*d - 10, -5*d = -5*m - 25. Let r = 26 - 51/2. Is r at most m?
False
Suppose 40 - 11 = 2*v - 3*j, -j = -4*v + 43. Let n = v + -6. Let q(t) = -t + 3. Let m be q(n). Is m greater than or equal to 4/13?
False
Let t = -418 - -194. Is -224 at least t?
True
Let s = -34 + 23. Let h = s + 14. Let u = h - 3. Which is smaller: u or 1/7?
u
Let y = 80 - 59. Let i = 21.1 - y. Is i greater than 0.6?
False
Let p(u) = -u + 10. Let i be 4 + 3 + (1 - -1). Let o be p(i). Is o less than -2?
False
Suppose -2*d + 14*d - 216 = 0. Let t be (2/1)/1 - -11. Let j = t - d. Which is smaller: j or -6?
-6
Let h be 12/42 - (-2)/(-7). Let f(k) = k**3 - k - 6. Let o be f(h). Let n be (3/o)/(-1)*0. Which is greater: n or -2/13?
n
Let m(p) = 46*p**2 - 14*p + 15. Let t be m(1). Let i = 88 + -41. Is i equal to t?
True
Let o(y) = -12 + 11 - 2*y**3 - 2*y**2 + y**2 + 3*y**3. Let u be o(2). Let f be ((-7)/(-49))/(u/(-6)). Are 9 and f unequal?
True
Let w be 2*(-13)/(-4)*8. Suppose 16 - w = 3*j. Which is smaller: j or -11?
j
Let x = 0.47 + -0.33. Which is smaller: 1/2 or x?
x
Suppose 35 = -3*b + 5*w, -19*b - 24 = -15*b - w. Let p be -1*(-14 + 1/1). Let i = p + b. Are i and 8 equal?
True
Let q be 1 - ((-704)/9 + -1). Let g = q + -80. Are -2/5 and g nonequal?
True
Suppose 194 = -4*q - 0*q - 3*m, -q - 5*m = 40. Which is bigger: -51 or q?
q
Let m = -10864/11 + 986. Which is bigger: 0.1 or m?
0.1
Let w = -7.7 + 7.04. Let k = 0.06 + w. Let o = k - -0.56. Is 1/4 < o?
False
Let w = 302 - 593/2. Let p(q) = -q**2 + 7*q - 6. Let t be p(4). Which is smaller: t or w?
w
Let r = 2017 + -266245/132. Which is greater: r or -8?
r
Let c(k) = -k**3 + 2*k**2 - 2*k + 3. Suppose 10 - 12 = -t. Let g be c(t). Which is greater: 1/75 or g?
1/75
Suppose -4*m + 4*c + 10 = 2, -14 = -2*m - 3*c. Suppose -3*a - 16 = -5*l, 10 = m*l - 2*l. Is 4 >= a?
True
Let a(i) = -3*i**3 + 4*i**2 - 1. Let l be a(1). Which is smaller: 28/23 or l?
l
Suppose -6*w - 2*c = -2*w, c = 2. Let z be w*(-2 + (-38)/(-12)). Let u = 1896 + -1896. Which is greater: z or u?
u
Let m = 767558/223 + -3442. Which is smaller: m or 1?
m
Let h be 24*1/4 + 35/(-2). Is h != -13?
True
Let v = -801.5 + 802. Are v and 5/3 nonequal?
True
Let z be (2/(-8))/((-20)/(-72)). Let j be 1/(7/(-7))*1. Which is smaller: z or j?
j
Let h = -0.98 + 1.99. Let d = h + -0.81. Which is smaller: 1/10 or d?
1/10
Let b = 1 - 4. Let a be (-8)/(-18)*b/5. Suppose 3*o - 3*f - 9 = 0, o + 6 = -2*o - 2*f. Which is bigger: a or o?
o
Let x(t) = t**2 + 10*t - 10. Let s = 47 + -55. Let j be x(s). Which is smaller: j or -28?
-28
Let k(j) = -3*j - 17. Let o be k(-6). Let t be 2 - 3 - (o + 0)*-1. Are t and 1/14 equal?
False
Let b be 2/(-1) - 545 - 1/1. Let n be -1 - (6/b)/((-4)/(-368)). Which is smaller: -1 or n?
-1
Suppose 4*c = 2*i + 2620, 63*c - 67*c + 2616 = -3*i. Is c at least 657?
True
Let j(c) be the second derivative of -1/3*c**3 - 5*c + 0 - 3/2*c**2. Let g be j(-2). Is g >= 4/5?
True
Let m be (2 + -4)/(3/(-12)). Suppose -y - m = -5*y. Suppose 5 = y*l + 3. Is l > 2/3?
True
Suppose -44 - 46 = -5*o. Suppose -8*x + 78 = -4*x + 2*s, s + o = x. Suppose 0*h + 100 = 5*h. Which is greater: h or x?
h
Let m = -121/9019 - -184232686/117247. Let g = -1569 + m. Let a(t) = t**3 + 8*t**2 + 8*t + 8. Let l be a(-7). Which is smaller: g or l?
l
Let y = -135 - -137.09. Let d = 0.12 + 2.08. Let p = d - y. Which is bigger: 0.1 or p?
p
Let s = 1716 + -1700. Which is smaller: s or -0.023?
-0.023
Let d = 27.09 + 6.01. Let l = -33 + d. Does 1 = l?
False
Let l = 47 + 41. Is 87 less than or equal to l?
True
Let j(b) = -5*b - 3. Let a be j(-1). Suppose 0 = 2*m + 3*m + 5*y - 35, -a*y + 18 = 3*m. Let z = 11 - 8. Is m at most as big as z?
False
Let p(b) = -1. Let c(f) = 5*f + 4. Let u be (4/2 - 1)*2. Let d(j) = u*p(j) - c(j). Let v be d(-4). Which is smaller: 12 or v?
12
Let d = -16 + 18. Let g = d + -17. Which is bigger: g or -16?
g
Let m = 4 - 4.5. Let l = 1.1 - 0.8. Let d = m + l. Which is smaller: -2 or d?
-2
Let o = 101 + -58. Let x = o + -28. Is x smaller than 1/2?
False
Suppose -s + 4 = 3. Let w be ((-75)/30)/((-2)/(-4)). Let c be 2 + w/15*120/22. Which is bigger: s or c?
s
Let w = 405098/55 + -7364. Let d = w + -9/11. Suppose 2*z + 2 = 3*s + 1, -4*z + 5 = s. Is z less than or equal to d?
False
Let c = 8/21 + -5/12. Suppose -3*t + 6*p = 8*p + 7, 6 = -2*t - 2*p. Which is bigger: c or t?
c
Let v = 2.01 - 2. Let m = -1.59 + 1.6. Let y = m - v. Is 0.7 at least as big as y?
True
Let y = -528 - -68114/129. Which is smaller: 25 or y?
y
Let j(l) = -4*l**3 + 2*l - 2. Let d be j(1). Let c be (5 + -5 + 1)/(-1). Is d at most as big as c?
True
Let l = -0.407 + 0.307. Is 16/13 <= l?
False
Let p(j) = 2*j - 22. Let q be p(10). Let g = -2/171 + -503/855. Are q and g equal?
False
Let i = -70 + 106. Let c = 41 - i. Which is bigger: -2 or c?
c
Let q(f) be the second derivative of 0 - 4/3*f**3 - 13/2*f**2 + 5/12*f**4 + 1/20*f**5 + 11*f. Let b be q(-6). Are b and -1/10 non-equal?
True
Suppose -2*g + 3*o + 407 = 96, -2*o = 2*g - 316. Which is bigger: 155 or g?
g
Let n(u) = -2*u + 2. Let v be n(-3). Suppose 0 = o - 2*f + 5*f - 22, 20 = o + 2*f. Let w = 25 - o. Which is greater: v or w?
w
Let o = -78.19 - -78. Let j = -2.81 + o. Which is smaller: 0.7 or j?
j
Suppose 0 = -7*u + 15*u - 336. Suppose 3*m = 4*m - 4*o + 3, -m = 5*o + 30. Let x = u + m. Which is bigger: 26 or x?
x
Let j(h) = -7*h - 19. Let o = -70 + 70. Let w be j(o). Is w > -17?
False
Let o be 9/15 - 88/(-20). Suppose -q = -o*q. Suppose -5*r = q, 10 = 5*z - 0*r + 2*r. Does 3/5 = z?
False
Suppose -4*f - 25 = -5*n, -17 = 134*n - 131*n + 4*f. Is 2/235 > n?
False
Let l = 146813/59 - 2488. Is l at most as big as -1?
False
Suppose 2*s = -4*t + 5*t - 12, t = 3*s + 17. Suppose -3*c - 122 + 1746 = -2*k, 3*k - t*c + 2431 = 0. Let i = k - -31549/39. Is i greater than or equal to 0?
False
Let x(r) = -8*r. Let k(v) = -17*v. Let d(o) = 6*k(o) - 14*x(o). Let i be d(-4). Let y be (-16)/i - (-36)/(-115). Does y = 1?
False
Let o be (-32)/18 - 18/81. Let k be (-41)/36 - 5/(-20). Which is bigger: o or k?
k
Let t = 0.1 - 0.3. Let q = -0.297 + 0.197. Let m = t - q. Which is bigger: m or -0.6?
m
Let c = -186 + 186. Which is greater: c or 0.3?
0.3
Let g = -52.1 + 57. Let n = g - 3.2. Which is smaller: n or 2?
n
Let v = 2030/9 - 226. Let i be (-25 - 1)/(4 + -3). Let l be 2/11 - i/(-22). Is v greater than or equal to l?
True
Let i = -173416091/581 + 298479. Let w = -6/83 + i. Which is bigger: -23 or w?
w
Let g = 8 - 5. Suppose 2*r - 5 = -5*w, 4*w + 2*r = -r - g. Suppose w = n + 5*m - 2*m, 4*n - 2*m + 2 = 0. Which is bigger: n or -2/17?
n
Let t be -6 - (4 + (-125)/8). Which is smaller: t or 7?
t
Let k(v) = 2*v**3 - v**2 + v + 2. Let l be k(-1). Let a be (4/(-6))/(l/12). Is a > 4?
False
Let h = 2180 + -8621/4. Is 26 equal to h?
False
Suppose 0 = -100*m + 103*m - 12. Let p = 5 + -1. Is p greater than or equal to m?
True
Suppose 0 = -3*o + 3, -5*z - 4*o + 375 - 1 = 0. Suppose -1099 = -32*h + 1301. Are h and z equal?
False
Let r = 1112 - 1112.8. Let i = -1.99 + -0.01. Let v = i + 1.9. Which is greater: r or v?
v
Let o = 