 = 2*o. Let i = o + -4. Let z be (5/i)/(2/8). Which is smaller: z or 4?
4
Let q be -5*(-1 + (-7)/(-5)). Let a be (-7)/22 + (-26)/143. Which is bigger: a or q?
a
Let m = -2 + 1. Suppose 4*r + 8 = -y, -2*r - 3 + 1 = y. Let i be (y/12)/(1 - 2). Is i < m?
False
Suppose 5*b + 25 = -5*t, 0 = -4*t + 2*b - 4 - 4. Let m be -2 + (30/2 - t). Let x be (2/36)/(4/m). Is x at most as big as 0?
False
Let i = -1/7 - -69/91. Is i greater than 1?
False
Let q be -537*(3 + 22/(-6)). Let z = q - 1799/5. Is -3 smaller than z?
True
Let v be 1/((-6)/(-4) - 0). Let c = -10 + 24. Let q be 30/(-56) + 4/c. Which is smaller: q or v?
q
Let c be 4/10 + 3/30 - 0. Which is greater: c or 14/15?
14/15
Let t be (-3)/(-1) - 50/18. Is t smaller than -1?
False
Suppose 2*d - 3 = 1. Suppose 5*m + 4*x + 70 = 0, 42 - 7 = -d*m - 3*x. Let b be 4/m - 72/(-105). Is b at least as big as -1?
True
Let k = -11 + 10. Which is bigger: -1/9 or k?
-1/9
Let w = 0.1 + -7.1. Let z = w + 6. Which is smaller: z or 4?
z
Let v = 2/199 - 1007/1194. Let o = -0.122 + 0.022. Which is smaller: v or o?
v
Suppose 5*d - 39 = 6. Let h be d/(-36)*(-2)/(-3). Let u = 1 + -1. Which is smaller: u or h?
h
Let o(s) = s**2 + s - 2. Let t(i) = -i**2. Let p(w) = -o(w) - 2*t(w). Let l be p(0). Is -3 smaller than l?
True
Let n = -354 - -1427/4. Which is greater: 3 or n?
3
Suppose -5*b - 5 = 0, f - 4*f = 3*b + 78. Which is smaller: f or -24?
f
Let q = 2.5 + -1.3. Let w = q + -1.4. Let y = -1 - -1.3. Are y and w nonequal?
True
Suppose 4*b - 3*m = -29, 0 = -b + m - 2 - 4. Let r = b + 13. Which is smaller: 3 or r?
r
Let j = -15/23 - -841/1219. Is 1 less than j?
False
Let h = 982/5 + -197. Suppose 3*s - 2*s + 1 = 0. Which is bigger: h or s?
h
Let d(u) = -u + 23. Let k be d(14). Which is smaller: 28/3 or k?
k
Let p(g) = -g**3 - 6*g**2 - 6*g - 4. Let m be p(-5). Suppose 0 = -5*n + 7*k - 2*k - 265, 0 = -4*n - 2*k - 206. Let z = 209/4 + n. Is m bigger than z?
True
Let t = -1 + 5. Suppose -25 = t*j + 7. Let f be (5 + j)/((-2)/2). Are 0 and f equal?
False
Let h be 336/(-33) - 2/(-11). Let j be (-4)/h + (-1)/(-10). Suppose -4*l + 12 = 2*o, l + o - 4 = -0*l. Which is smaller: j or l?
j
Suppose c - 12 = -3*s + 12, -c = -2*s + 16. Suppose -4*h - s = -0. Which is smaller: -1 or h?
h
Let o = -29 - -5. Let s = o + 25. Let v be (2/26)/((-2)/(-2)). Is v smaller than s?
True
Suppose -8 = -2*q + 22. Let n = 13 - q. Which is smaller: n or 0.1?
n
Let a be 18/(-24)*(-2)/(-36). Is a at least -1?
True
Let f(a) = -2*a**2 + 10*a - 7. Let p be f(6). Let j = p - -10. Is -10 < j?
True
Suppose -15 = -5*p - 5. Let h(c) = c**3 - 5*c**2 + 6. Let n be h(5). Let i = 7 - n. Is i greater than p?
False
Let p = 11 - 8. Suppose 5*i = 8*i - 9. Suppose p = y - r, -i*r + r - 5 = -3*y. Is -1 at most y?
True
Suppose 2*a = -r - 4*r - 16, -r + 2*a = 8. Let n = -4 - r. Let k = -17/7 + 3. Are n and k equal?
False
Let n be 0/((3 + -2)*2). Suppose 2*a + 8 = -4*m, 15*a - 10*a + 2*m = -4. Is a at most as big as n?
True
Suppose 0*k = k - 3. Suppose 4*o - 3*i + 2 = k*o, -4*o = -2*i - 2. Suppose 0 = -3*f + 2*n - n + 5, 13 = 5*f - 4*n. Is f bigger than o?
False
Let m be (-4)/(-3)*24/28. Which is greater: m or 0?
m
Let z = -10.49 - -0.09. Let s = -9 - z. Let p = s + -0.4. Which is bigger: -2/9 or p?
p
Let f = 55.1 - 55. Is -9 >= f?
False
Let c = -57.21 - 0.79. Which is greater: c or -0.1?
-0.1
Let u be 1 - 0 - (-4 - -2). Suppose -4*d = -1 - 7. Are d and u unequal?
True
Let s = 3 + 1. Suppose -5*v - s = -3*v. Let l be (-6)/(-15)*(-2)/v. Which is bigger: l or -2?
l
Let f = 33731/23 - 1467. Which is smaller: -1 or f?
-1
Let x(h) = -h**2 - 5*h - 1. Let z be x(-4). Suppose 0 = z*i - 5 - 4. Suppose -g + 0 = -i. Which is greater: 0.1 or g?
g
Let h = -11 - -19. Let p = h - 7.4. Is 2/5 <= p?
True
Let h = -12 + 6. Let j be ((-6)/4)/(h/(-64)). Let n be (j/(-6))/((-2)/(-3)). Is 4 less than or equal to n?
True
Let r be 1/1 - (3 - (-100)/(-51)). Which is bigger: 1 or r?
1
Let g = 21 + -20. Let p be (2/(-15))/(10/(-15)). Is p < g?
True
Suppose 5*y + j - 5 = 1, 3*y = 3*j. Let m(c) = c**2 - 6*c + 7. Let w be m(5). Is w at most as big as y?
False
Let x(b) = -7*b**2. Let v be x(-1). Let i = v - -7. Suppose i = j + 3*j. Which is greater: 2/11 or j?
2/11
Let n = 89.8 - 89. Let q = -0.8 - 0.2. Let k = n + q. Which is greater: 3 or k?
3
Let d = 34 + -32. Is d greater than or equal to 0.05?
True
Let f = 0.008 + -2.008. Is 0.3 > f?
True
Let d(a) = -a**2 + 11*a - 9. Let k be d(1). Which is greater: 4/9 or k?
k
Let d be 18/45 - (-6)/10. Let a be ((-6)/(-8))/((-2)/8). Which is greater: d or a?
d
Let q be (-28)/(-6)*(0 + (-6)/(-4)). Is q > 7?
False
Let k = 0.888 + 0.112. Which is bigger: -0.7 or k?
k
Let h = 59 - 60. Which is smaller: -2/163 or h?
h
Let p = -61 + 60. Is -1 at most as big as p?
True
Let k = -10 + 9. Let q be 1 - 0/(k + 3). Are q and -2 equal?
False
Let t = -17/5 + 109/35. Which is smaller: -13 or t?
-13
Let a = -21.6 - -22. Do a and 3 have the same value?
False
Suppose 0 = 4*k - 13 - 7. Suppose -13 = -k*x + 2. Which is smaller: 4 or x?
x
Let l = 1885/8 - 236. Let v = l + 1/24. Is v greater than -1?
True
Let x = -2.3 - 0.8. Let g = x + 3. Is -2/9 at least as big as g?
False
Let u = 0.79 - -0.01. Let b = -1.2 - u. Which is smaller: -0.1 or b?
b
Suppose 0 = -3*p - 3, -11 = 2*m + m + 5*p. Is m > -2/3?
False
Let a = 0.04 - -0.76. Let z = 0.7 - a. Is z less than 0.5?
True
Let o(k) = -k**2 + 8*k - 8. Let p be o(7). Let h be (-270)/24 + p/(-4). Do h and -11 have the same value?
True
Let z = -3 + 7. Suppose z - 3 = a. Do 3/10 and a have different values?
True
Let l = -241/3 - -79. Let s = -26/15 - l. Suppose r + 0*r - 5*n = 4, -n - 4 = 3*r. Which is bigger: s or r?
s
Suppose -4*v = 5*t - 17, -3*t - 2*t = -4*v - 33. Let r = -3 + t. Is 3 >= r?
True
Let c(w) = 5*w + 15. Let m(g) = -g - 4. Let j(t) = -2*c(t) - 9*m(t). Let l be j(-6). Suppose -x + 3 = n + 6, -l = 4*x. Is n > 0?
False
Let h be 4/1*88/14. Let q = h - 879/28. Let a = q - -183/28. Which is smaller: a or -3?
-3
Let s = 243 - 1707/7. Is -1 smaller than s?
True
Suppose -18*k = -15*k. Suppose p = 3*p - 2. Let g be 0 + 0 - (p + -1). Are k and g equal?
True
Let p be (1/((-3)/(-18)))/(-1). Do -5 and p have the same value?
False
Let w(m) = -m**3 + 4*m**2 - 2*m + 1. Let b be w(3). Suppose 0 = -q - 2*a + 4, 0*q - 5*q + b*a = -6. Let s = 7 - 4. Is q less than or equal to s?
True
Let t = 11.9 - 12. Let d = -0.2 - -0.4. Let i = d + 0.8. Which is greater: i or t?
i
Suppose 5*p - 3 - 2 = 0. Suppose -2*j = -42 + 114. Let w be -1 - -3 - j/(-15). Is w smaller than p?
True
Let i(v) = 2*v - 6. Let l be i(6). Suppose x = -2*b - 3, -5*b + 3*x = 5*x + l. Is b greater than or equal to -7/2?
True
Let r = -91.3 - -95.41. Let z = r + -0.11. Let j = z + -3.9. Which is smaller: j or 2?
j
Suppose -k + 2 = -0*k - 2*v, -4*v - 4 = 4*k. Let c be -2 - (-2 - 0) - -2. Suppose c*h = -h. Is k >= h?
True
Let v(p) = 2*p**2 - 4*p + 2. Let d be v(2). Let o = -7 + d. Are o and -5 non-equal?
False
Suppose 0 = -4*l - 24 - 8. Let z = l - -8. Suppose z = -5*b + 3*r - 25, 3*b - 7 = 3*r - 28. Which is smaller: 3 or b?
b
Let h = 54 + -53.93. Is -1/4 >= h?
False
Let t = 51 - 30. Let u be 13/5 - t/7. Is 1 smaller than u?
False
Suppose y - 279 = -4*l - 61, -3*y = -l + 61. Is 54 > l?
False
Let p = -125293/31 + 4041. Let d = -312/527 - p. Suppose 4*g + 2*v - 2 = 0, 0*v = -4*g + 2*v - 2. Do g and d have the same value?
False
Let n be (-1 - 9/8) + (-49 - -51). Is 0 < n?
False
Let k be ((-18)/(-10))/(12/40). Suppose 0 = -0*l + 3*l - 18. Is l at most k?
True
Let u(n) be the first derivative of n**2/2 - n - 2. Let f be u(3). Is 2 at least as big as f?
True
Let x be (-24)/10 + 2/5. Let r be x + (-5)/((-5)/3). Is r not equal to 2/3?
True
Let x = 8 - 5. Suppose -x*s + 31 = 2*w, 0 = 3*s - 2*w - 3*w - 17. Let u = s + -13. Which is smaller: u or -3?
u
Let r = 40 + -39. Which is smaller: r or 3/25?
3/25
Let j = -0.07 - -4.07. Let c = -0.154 + 3.154. Which is smaller: j or c?
c
Let k = -9 + 6. Let v = -2 - -2.1. Is k > v?
False
Let q be 7*3*27/3. Let r be (2/(-6))/((-10)/5674). Let m = r - q. Which is greater: m or 0?
m
Let l = -35 - -34. Which is greater: l or -8/9?
-8/9
Suppose -16*n = -19*n. Which is greater: n or 1?
1
Let a = -4.3 + 5. Let c = 0.5 - a. Do 2 and c have the same value?
False
Let p(b) = 2*b**2 