most x?
True
Suppose -f - 10 + 4 = 0. Is -6 bigger than f?
False
Let i = 451 - 46455/103. Is i equal to 1?
False
Suppose 2*r - 5 = -5*x, -2*x + 0 + 2 = 3*r. Which is greater: x or 2?
2
Let q = -26 + 27. Which is smaller: 2/31 or q?
2/31
Let c be (-1 - -2) + 2/(-3). Let p(z) = -2*z**2 - 28*z. Let g be p(-14). Suppose g = -2*v - 0*w - w, -1 = 3*v + 2*w. Is c smaller than v?
True
Let u = 1.1 + -0.39. Let v = -0.01 + u. Do 1/3 and v have different values?
True
Let q = 3 - 4. Let z = 3 + q. Let n(j) = -j**3 - 4*j**2 + 6*j + 4. Let y be n(-5). Which is smaller: z or y?
y
Let r be (-1)/2*2/(-3). Let a be (-4)/16 + 2/8. Is a bigger than r?
False
Let l(m) = -m**2 + 4*m + 2. Let z = -6 + 10. Let p be l(z). Suppose 4*y = p*y - 8. Is y less than or equal to 2/7?
True
Let k = -3.4 - -3.4. Is 7 at most k?
False
Suppose -16 = -g - 3*g + 2*n, 2*n = g - 4. Suppose 0 = 2*p - 4*p + g. Let a be -1 - (p - 2)/(-2). Is -1 at least as big as a?
True
Let o = 6 + 1. Let d(s) = s**2 - 2*s - 3. Let g be d(3). Is g > o?
False
Let p(v) = 9*v + 10*v**2 - 4*v**3 + 0*v**3 + 6 - 2 + 5*v**3. Let d be p(-9). Do 4 and d have the same value?
True
Let m = -85/4 + 21. Let o(t) = -t**3 + 8*t**2 - 8*t + 9. Let r be o(7). Suppose -c - 3 = 2*c + 3*b, 3*c + 2 = -r*b. Which is greater: c or m?
c
Let o = 3.03 - 0.03. Which is smaller: 1/20 or o?
1/20
Suppose 0 = 7*i + 4*i + 22. Which is smaller: i or 0.2?
i
Suppose 0 = 5*z - 3*a - 19, -2*a - 10 = -2*z - 0*a. Let l(g) = g - 5*g**2 + g**2 + 3*g**z. Let u be l(0). Which is greater: -1 or u?
u
Let p = -214 - -1291/6. Suppose -89*b = -73*b - 16. Which is bigger: b or p?
p
Suppose -u - 3 = -7. Suppose 0 = -w + 2*w - u. Let b = w + -2. Is b smaller than 3?
True
Let b be 1/(597/300 + -2). Let n = b - -158. Let q be (-2)/((-1)/((-2)/n)). Which is greater: q or -1?
q
Let m(n) = -2*n + 23. Let k be m(10). Suppose 5*t = -20, k*b + 4*t - 3*t + 1 = 0. Which is smaller: 8 or b?
b
Let w = 10 - 11. Let s be 2/1 - (-38)/(-16). Do s and w have the same value?
False
Let g = 1/117 + -41/234. Is g > 1?
False
Suppose -u + 3 = -2*b + 1, -4 = 4*u - 4*b. Let s = 1 - 6. Is u at least as big as s?
True
Let x be (-10)/15 + (-7)/(-6). Is 2 less than or equal to x?
False
Let w be (-3 + 548/188)/2. Which is greater: w or 1?
1
Suppose 0 = g - 5*q + 15, 5*g - g + 9 = 3*q. Let t = 6.4 + -6. Is t at most g?
False
Let a = 23/4 - 5. Let v be 2/6*(5 - -1). Suppose -3*l - v = -f + 5, -5*f = -4*l - 13. Which is bigger: a or f?
f
Let t be (2 + -1)*-22*(-3)/6. Let r be (16/20)/(2/30). Which is greater: t or r?
r
Let h be 2/(-3)*(-18)/(-12). Let p = 0 - 1. Let f = p + h. Which is smaller: f or 1?
f
Let n be (-8)/(-10)*5/(-2). Let t = 2 - n. Which is bigger: 2 or t?
t
Let h be -1 + 3 - 285/10. Let a = h - -27. Let q = 0.8 - 0.5. Which is greater: a or q?
a
Suppose -5*q - 7 = 4*s + 5, 2*s + 6 = -3*q. Let f = -7 - q. Let b = -6 - f. Do 1 and b have the same value?
True
Let n be (-9)/(-2)*(-14)/(-21). Suppose -s - d = -5, -2*s + 0*s - d + 7 = 0. Suppose l = -2*x - s, 0 = -3*x - l + 3*l + 4. Is n at most x?
False
Let q be 2 + 3/((-6)/10). Let p = 7 + -3. Suppose -4*f = 5*i + 30, 13 = -p*i - 0*i - f. Is i >= q?
True
Suppose 0*p + 36 = 6*p. Which is smaller: 11 or p?
p
Let l = 0.23 - -15.77. Let c = l - 11. Let n = c + -8. Which is greater: 0 or n?
0
Let z(s) = -s - 4. Let v be z(-4). Let w(p) = 3 - p**3 + 0 + 0 + p - p**2. Let m be w(v). Is m less than 2?
False
Let q = 1.1 + -1.3. Is q smaller than -4/7?
False
Suppose -m - 30 = m. Is -15 >= m?
True
Let z = -0.3 + 0.35. Let h = z + 0.25. Which is bigger: 2/5 or h?
2/5
Let a be (-3)/6*0 + 1. Suppose 0*z = -2*z + 4. Suppose z*x = -3*x. Is a < x?
False
Let z = 0.14 + -0.34. Which is bigger: 5 or z?
5
Let k be 27/21 + (-4)/14. Which is smaller: k or 1.2?
k
Suppose -3*d - 22 = -85. Let z be 1/(66/d - 3). Let v = 6 - z. Is 1/3 equal to v?
False
Let l be (-15)/6 + 0 - 0. Is l smaller than -2?
True
Let t = 1.7 + -2.72. Let r = 0.05 + -0.07. Let l = r - t. Is l bigger than -5?
True
Suppose -6 = 3*u - 0*u + 5*w, 4*w + 9 = -u. Suppose -4*n = j + 4*j - 25, -3*n + 15 = u*j. Let b = 2 - 1. Do n and b have different values?
True
Let y be (1/(2/(-2)))/((-9)/(-63)). Which is smaller: -2/5 or y?
y
Let k be (5/(-20))/((-15)/48). Let z be 3/((-3)/(-4)*2). Let d(h) = -h**2 + 3*h - 2. Let y be d(z). Are k and y unequal?
True
Suppose -5*f - 5 = -15. Let y(w) = 32*w - 2. Let a be y(1). Let b be (-20)/a - 1/3. Is f greater than b?
True
Suppose b + 3*b = -12. Let x be (-24)/7*1 - b. Suppose 2*u = u. Which is smaller: x or u?
x
Let j = -0.3 - -3.5. Let h = -3.2 - -0.2. Let m = h + j. Does m = 1?
False
Let u be 5/3 + 2/(-3). Let s = 58 + -58. Suppose 3*p - 16 = -4*g, 3*g - 11 - u = s. Are p and 1 nonequal?
True
Let r = 0.05 - -14.95. Let t = 16 - r. Is t bigger than -2/5?
True
Let q = 80 - 80.04. Is -1 greater than q?
False
Suppose 0 = -4*g - 12, 4*h - 3*g - 13 = -0*g. Suppose -1 = k + h. Let f = 0 - 3. Which is smaller: k or f?
f
Let b = 2/105 - -29/315. Which is smaller: b or 0.3?
b
Let m = 0.12 - 1.12. Is m greater than 0?
False
Let d = 815 - 17933/22. Let n = 3 + -3. Is d not equal to n?
True
Suppose -5*a = -0*a + 2*l - 15, 9 = 3*a + 2*l. Let i = a - 3. Which is smaller: 3/10 or i?
i
Let g be 12 - 10/(-5)*-2. Are 6 and g non-equal?
True
Let x be (3 + -6 + -1)*(-5)/6. Is x < 2?
False
Let j = 2.83 - 2.8. Let l = 0.03 + -0.03. Are j and l equal?
False
Let o(n) = -n**3 - 7*n**2 - 2*n + 5. Let c be o(-6). Is c smaller than -19?
False
Let m(i) = -i**3 + 3*i - 3. Let o be m(1). Suppose -5*v = -2*v - 69. Let k = v + -484/21. Which is bigger: o or k?
k
Let d be (-12)/30 - (-54)/10. Suppose -5*l + d*o = 12 - 2, -5*l - 19 = -2*o. Which is smaller: -4 or l?
l
Let o be (7 + -7)/(2 + -1). Which is smaller: o or -2/15?
-2/15
Let c be (6 - 203/28)/((-1)/(-8)). Which is smaller: -7 or c?
c
Let h = 13.8 + -24.9. Let n = h + 11. Which is smaller: n or -2/31?
n
Suppose -5*b + 12*b = 21. Suppose -4*o + 18 = 2. Is o less than or equal to b?
False
Let d = 8 - 65/8. Let j = -65.2 - -63.2. Which is smaller: d or j?
j
Let s be 36/(-27)*(-1 + 1/(-2)). Are 1 and s unequal?
True
Let f be ((-1)/2)/((-9)/36). Is 10 less than f?
False
Suppose 11*v - 13*v = 0. Which is smaller: 1/15 or v?
v
Suppose 0 = -4*k + 2*k - q - 9, 4*q = 3*k + 30. Let s be 4/18 - (-518)/(-63). Are s and k non-equal?
True
Let o be (-4)/(1 - 0) + 1. Let d be 6/(3 + o - 2). Is -4 less than or equal to d?
True
Let h be 1 - -2 - (0 - -1). Suppose -x = 3 - h. Is x less than -1?
False
Let t = -0.3 + 0.5. Let j = t + -0.1. Let v = -0.1 - j. Is v < 0.1?
True
Let b(z) = -z + 1. Let t be b(-4). Let x(u) = -u**3 - 11*u**2 - 18*u - 4. Let a be x(-9). Let i be (-10)/a*2/t. Is 1/16 not equal to i?
True
Suppose l = 5*r + 30, 2*r = 5*l + 4*r - 231. Is 45 smaller than l?
False
Let z = 0.31 - 0.01. Let r = z - 0.8. Is r < 1/4?
True
Let o be -1 + 1 + -1 - -4. Are 5 and o equal?
False
Let x = -4 + 3. Let q = 1.51 + -1.71. Is x at most as big as q?
True
Suppose -4*f + 1 - 33 = -4*o, -2*f + 3*o = 16. Which is greater: -66/7 or f?
f
Let d = -3 + 4. Which is greater: d or 1/24?
d
Let t be 1 - 1 - 18/3. Let p be (-18)/15*10/3. Let b be (-8)/t - p/(-12). Is 2 < b?
False
Suppose k - 5*g - 23 = 0, 2*g + 11 = 3. Suppose -k = p, 3 = 2*r - 0*r - p. Let u be 0/((2 - -1) + -2*3). Is r at most as big as u?
True
Suppose t - 21 = 5*c, 5*t + 0 + 15 = -5*c. Is t at least as big as 1/9?
True
Let o = 4624/7 - 17733/28. Let y = o + -27. Is y >= 1/2?
False
Let l = -3 + 1.5. Let m = -7.5 - l. Let a = -4 - m. Is a > -0.1?
True
Suppose -5*d = -4*d - l + 1, 0 = 2*d + 5*l + 2. Which is bigger: -1/7 or d?
-1/7
Suppose -1 + 16 = 3*l. Suppose 5*b = 0, -b + l = -5*r + 2*b. Which is smaller: r or -2/17?
r
Let c be ((-1)/(-1))/(1 + -2). Which is greater: -2 or c?
c
Let i(y) be the first derivative of -y**3/3 + 4*y**2 - 11*y + 1. Let r be i(6). Is 2/83 less than or equal to r?
True
Let o = -4 - -1. Let r = 3.04 + o. Let c = r + 0.26. Which is smaller: c or 2/7?
2/7
Let d(a) = -2*a - 4. Let x be d(-3). Suppose -x*v - 2*v = -4. Are 2 and v nonequal?
True
Let h(o) = -2*o**2 - 6*o - 3. Let l be h(-4). Let s(n) = 25*n. Let q be s(1). Let v = q - 36. Is l greater than v?
False
Let n = -26 + 30. Is 7 less than or equal to n?
False
Let x(y) = 2*y - 3. Let z be x(2). Let k be 99/