*y. Is x >= 0?
True
Suppose 1 = 3*q + 22. Let h be 6 + -5 + 5/q. Is 0 less than h?
True
Suppose -2*k + 6*k = 4*f + 12, -4*f - 2*k = 42. Is f less than or equal to -8?
True
Let k(w) = 2*w**2 - 7*w - 7. Let x(o) = -o**2 + 3*o + 3. Let t(c) = -2*k(c) - 5*x(c). Let p be t(3). Which is greater: 3 or p?
p
Let k(n) = n**3 - 5*n**2 + 5*n - 1. Let x be k(4). Suppose 3*d - 2*b - 1 = x*b, d - 1 = b. Suppose -d*v - 6 = 2, -3*c - 17 = 5*v. Is 5 greater than c?
True
Let p be (9/(-2))/((-1)/(-2)). Let s be ((-3)/p)/(1/6). Let b = 0.4 - 0.3. Which is smaller: b or s?
b
Let f = -12 + 12. Which is greater: 1 or f?
1
Suppose 4*l - 6 = l. Suppose -l*p + 4*p + 3 = t, 5*t + p = -7. Is 0 >= t?
True
Let w = -54 + 79. Let v = w - 26. Is -2 != v?
True
Suppose -3 - 3 = -3*d. Let i be ((-10)/1)/d + 1. Let v(h) = h - 1. Let j be v(i). Is -6 < j?
True
Let o be -1 - (-11)/(11/6). Suppose 3*q - 4 = -2*a + 15, -2*q = -4*a - 2. Let z = a - o. Which is smaller: -4 or z?
-4
Let s = 57 + -62. Let v be 2 - (30/9 + -2). Which is smaller: v or s?
s
Let x(n) = -n**2 + 11. Let d be x(0). Let g(a) = a - 10. Let k be g(d). Is k > -1/5?
True
Let h be -1*((5 - 3) + -3). Suppose l - 1 + 0 = 4*j, -2*l = -2*j - 2. Do h and l have the same value?
True
Let u(w) = -w - 8. Let v be u(-6). Let p = v + 2. Let i be (-22)/18 + 8/8. Do i and p have the same value?
False
Let c = 1/3 - 1. Suppose -12 = 5*i - 7. Is i less than or equal to c?
True
Let n be (-541 - 6)*(-1)/6. Let o = n + -91. Which is smaller: o or 2?
o
Suppose -13*o = 9 - 35. Is -3 equal to o?
False
Let i be (44/(-20) - -3)/2. Let b = 0.96 - -0.04. Which is bigger: b or i?
b
Let i = 7 + 1. Is i at least 7?
True
Suppose -v - 25 = -5*o, -2*v = -8*o + 3*o + 25. Suppose -o*m - 9 = 1. Which is greater: -3 or m?
m
Let l be 0/(-3 - -2) - -3. Which is greater: l or 4?
4
Let w(m) = m - 8. Let k be w(7). Let l = -16730/117 + 1280/9. Is l > k?
True
Let t = -6 + 3.2. Let z = 3 + t. Let h = -0.8 - z. Which is greater: 1 or h?
1
Let c(r) = -2*r - 3 - r + r + 3*r. Let n(j) = -j**2 + 5*j + 2. Let v be n(3). Let f be c(v). Which is bigger: 2 or f?
f
Let f = 5.1623 + -0.0923. Let x = f - 0.07. Let k = -0.07 + 0.17. Which is smaller: k or x?
k
Let l = -11 - 5. Which is smaller: l or -15?
l
Let x be 2 + 226/(-114) + 0. Let d = -67/570 + x. Is d > -1?
True
Let j be 1 + 1 + (-126)/(-9). Which is smaller: j or 17?
j
Let n = -18.4 + 12.3. Let u = 6 + n. Is 0.3 smaller than u?
False
Let j be 38/(-57)*3/(-11). Which is smaller: -1/4 or j?
-1/4
Let b be 2/10*235/3. Let j = b - 49/3. Let h(s) = s**3 - 2*s**2 - 2*s - 4. Let o be h(3). Which is greater: j or o?
j
Let w = 2.2 + 10.8. Let b = 12 - w. Is 1/8 equal to b?
False
Let h be ((-27)/6)/(-3)*2. Suppose 0 = -4*b + 1 + h. Let n be (1 - b) + (-4)/(-14). Which is smaller: n or 1/2?
n
Let k = -0.35 + 0.3. Let b = -0.05 + k. Let t = 0.2 - -0.1. Which is smaller: b or t?
b
Let i = -103/880 + 3/55. Which is bigger: 0 or i?
0
Let z be (0 - 33/(-12)) + -3. Which is smaller: z or 24?
z
Let p(m) = m**2 + 5*m + 2. Let x be p(-5). Suppose -4*b + 8*b = -4*j, j = 2*b + 3. Are j and x nonequal?
True
Let b(g) = -g**3 - 11*g**2 + 13*g + 14. Let r be b(-12). Is 1 <= r?
True
Let g = -1 - -2. Let c be ((-4)/(-10))/(g/1). Let l = 1.18 + -0.18. Is l at least as big as c?
True
Let u = 0 - 3. Let g be (-39)/15 + (0 - u). Which is bigger: g or 0?
g
Let c = -0.02 + -0.08. Suppose 0 = 2*i - i + 5. Let u = 7 + i. Which is smaller: u or c?
c
Suppose k = -5*z + 7*z - 94, 5*k = 3*z - 127. Are 51 and z nonequal?
True
Suppose 0 = -3*r + 6*r. Let p = -80/17 - -78/17. Do p and r have the same value?
False
Let i = -0.48 - -0.38. Let n = 182/141 - -2/47. Is i at most as big as n?
True
Let r be (-6)/(-12)*(-148)/(-6). Let j = 13 - r. Are j and 0 unequal?
True
Let h = 14 - 5. Let q = 9 - h. Suppose -2*o + 15 = 3*o. Which is bigger: o or q?
o
Let n be (-18)/(-117) - (-245)/(-1677). Are 0 and n non-equal?
True
Let q be (14/10)/((-36)/10). Let z = -1/18 - q. Let a = 3 - 1. Which is greater: z or a?
a
Let i be (-114)/(-380) + (-1 - 12/(-10)). Let j = -3.2 - -3. Are i and j unequal?
True
Let v be ((-1)/15)/(12/210). Which is greater: 0 or v?
0
Let i = 0 + 0.1. Let s = 0.9 + i. Let r = s - 0. Is r less than or equal to 4?
True
Let v be 0 - (5/4 - 1). Let b(w) = 3*w + 24. Let f be b(-8). Is f not equal to v?
True
Suppose 2*t = 3*t - 5*n - 5, -3*t = -n - 1. Which is bigger: -3 or t?
t
Let b = 5.2 + -0.2. Let i = 4.93 - b. Let x = i - 0.03. Does x = 0.1?
False
Let t = -392 + 13719/35. Is -1 less than or equal to t?
True
Let j be 4/(-6) + 15/9. Let t = -2 + j. Let h = 6 - 7. Is t equal to h?
True
Let q(i) = i**2 + 15*i + 27. Let h be q(-13). Is h less than -4/127?
False
Let b = -10 - -14. Let r be ((-6)/b)/((-6)/(-16)). Let w = 3 + -3. Is w > r?
True
Suppose 0 = -5*c, f - 5*c - 1 + 2 = 0. Let a be (-36)/(-5) + f/5. Which is smaller: 8 or a?
a
Suppose -4*l = -3*v + 3, 0 = -4*v + 3 - 15. Is -2 smaller than l?
False
Let i(l) = -2*l - 11. Let m be i(-6). Which is bigger: m or 6/13?
m
Let h = 85 + -85.06. Which is bigger: h or 7?
7
Let c be ((0/4)/3)/2. Let y = 63 + -2707/43. Which is greater: c or y?
y
Let c be 2/(-8) - (-14)/24. Let i = -89 + 88. Is c < i?
False
Let c = 4 + -2. Let u be (-7)/9 + 8/(-36). Let a be 4 + -1*(0 - u). Which is greater: a or c?
a
Let f = 27 - 5. Which is bigger: -1 or f?
f
Suppose -2 = -5*u + 4*b, 3*b = -2*u - 0*b + 10. Suppose 0*t = t - u. Suppose t*c - 3*z - 12 = 0, 0 = 4*c + 5*z - 0 - 2. Is 5 at least as big as c?
True
Let c = -197.95 - -204. Let f = 6 - c. Let r = 0.15 + f. Is r smaller than 2?
True
Suppose 3*g = -5*u + 161, -3*u + 4*g = -2*u - 23. Suppose -5*v - 24 = -t, 0 = -3*t + 5*v + 21 + u. Let q be 6/t*8/6. Is q != 0?
True
Let r(v) be the second derivative of -v**3/6 + 2*v**2 - 6*v. Let n be r(5). Is 4/9 at most n?
False
Let r = -0.3 + 0.1. Let o = r - -0.3. Suppose 4*y + 4*s - 4 = 0, -2*s = y - 3*s + 1. Which is smaller: o or y?
y
Suppose 4*n + 2 = -d - 6, 4*d = -5*n - 21. Suppose -o + 4*c + 10 = 0, 16 = 2*o + 2*o - 4*c. Is n at most o?
True
Suppose -3*y + 2*n - 22 = 0, -4 = -n - n. Let p = 3 - 2. Let m be (-1 - p/4)*4. Which is smaller: m or y?
y
Let j(c) = c**3 - 7*c**2 + 7*c - 7. Let x be j(6). Let q be ((-1)/3)/(x/(-3)). Let d be ((-16)/24)/((-4)/(-6)). Is q < d?
False
Let s be (55/(-54) + 1)*8. Which is greater: s or 1?
1
Let c = -780.89 + 777. Let x = -1.21 + c. Let r = -1.1 - x. Which is smaller: -1 or r?
-1
Let n = -419 - -6274/15. Let o = -2/5 - n. Which is smaller: -2 or o?
-2
Let w(s) = -s - 1. Let y be w(-2). Let j be (-5)/(200/(-12))*4/(-9). Which is bigger: j or y?
y
Let r(d) = d**3 + 5*d**2 + 4*d + 2. Let u be r(-4). Suppose -3*g + 4*g + u = 0, -12 = 4*y + 2*g. Which is smaller: y or -4?
-4
Suppose 19 + 23 = 14*v. Do 20/11 and v have different values?
True
Let y(i) = i**2 - 6*i + 6. Let h be y(5). Which is smaller: -3/23 or h?
-3/23
Let j = 3 + -1. Let i = 254 + -252. Does i = j?
True
Let l = 79125 - 631669/8. Let t = -166 + l. Which is smaller: 1 or t?
t
Let r = 0 - 1. Let b be 0 + r/(-4)*1. Let k(z) = -z**2 - 4*z - 3. Let v be k(-2). Is v >= b?
True
Suppose 3 = -2*l + 7. Let a be 16/12 - l/6. Let y = a + -2. Is -1 less than or equal to y?
True
Let j = 5 - 2. Let p(b) = -b + j + 0*b - b. Let f be p(3). Which is smaller: -4 or f?
-4
Let x(h) = -5*h**3 - h**2 - 2*h - 1. Let r be x(-1). Suppose -r*i + 19 = -1. Suppose 0 = -4*s + i*t - 15 + 3, 3*s - 26 = -4*t. Is s not equal to 3/2?
True
Let r be 2 + (8 - 6/(-3)). Let h be ((-3)/(-2))/(6/r). Let a be (h - 1) + (-10)/6. Are 1 and a nonequal?
True
Let s = 1 + -2. Let l be (s/(-1) - -2) + -1. Suppose 3*t - l - 4 = 0, -2*r - 5*t = -6. Which is smaller: -3 or r?
-3
Let c = 0.04 - 0.14. Let n = 1.06 - 1. Which is bigger: c or n?
n
Let b be (12/(-3) - -2) + 1. Let w = -119/3 - -355/9. Are w and b equal?
False
Let b be 10/(-4)*(-4)/(-15). Which is bigger: -11 or b?
b
Let k(x) = -x**3 + 2*x**2 + 4*x - 4. Let h be k(3). Which is smaller: h or 0?
h
Let l = -3 - -3.2. Let p = 142 - 141.94. Which is smaller: l or p?
p
Let w be (0 - 4)/2 - 0. Is -13/5 != w?
True
Let z(a) be the third derivative of -a**5/120 - a**4/12 + a**3/3 - 2*a**2. Let s(g) be the first derivative of z(g). Let u be s(-2). Are 0 and u equal?
True
Let d = 1.2 + -0.4. Let w = d - 0.76. Is w greater than -0