. Which is smaller: g or -2/11?
-2/11
Let t(o) = 4*o + 0*o + 9 - 3*o. Let v be t(-8). Is v at least 2?
False
Let h be (3 - 4)/((-2)/8). Let w = h - 4. Suppose -5*m + 2*z - 12 = w, 0 = 5*m + z + 3*z + 36. Does m = -2/7?
False
Let q = -3 - -2.6. Let y = 9 + -8. Are y and q unequal?
True
Let y = 11/159 - -12539/318. Is 41 <= y?
False
Suppose 5*t + 3 = -2. Suppose 5*n + 7 = -3. Let r be t/n*(-2)/(-1). Which is smaller: r or 3/2?
r
Let x = 0 - 0.3. Let m = 1.988 + 0.012. Which is bigger: m or x?
m
Let n = 9 - 2. Which is smaller: 5 or n?
5
Let h(x) = -2*x - 1. Let r(j) = j - 1. Let g(l) = -h(l) - 4*r(l). Let m be g(5). Is -5 <= m?
True
Let w = -42 - -43. Let u(h) = -h**3 + 5*h**2 - 3*h - 4. Let s be u(3). Which is greater: s or w?
s
Let s(i) = -i**2 + 6*i + 18. Let d be s(8). Let a = 0 + 2. Is a <= d?
True
Let n(r) = -r**3 - 6*r**2 + 6*r - 1. Let q = -7 + 0. Let j be n(q). Is 16/3 at most j?
True
Suppose 4*v = r - 7 - 0, -r = 3*v. Which is greater: v or 2/73?
2/73
Let u(q) = q**3 - 2*q**2 + 5*q - 2. Let o be u(3). Let p be o/14 + -3 + 1. Which is smaller: p or 0?
p
Let o be ((-48)/78)/(6/3). Which is greater: 1 or o?
1
Let v = -32/19 - -464/95. Does 2 = v?
False
Let w = 3.08 - 0.08. Which is smaller: w or 1?
1
Let h = 40/317 - -79752/11095. Let y be 234/(-30) - 2/(-10). Let m = h + y. Which is greater: m or 1?
1
Let r = -4 + 4. Let a be 4/10*(-15 + r). Let k = a - -5. Are k and -1 nonequal?
False
Let o be ((-2)/10)/(4/30*-9). Which is smaller: 0 or o?
0
Suppose 2*z = 5*v - 10, 3*v + 2*z = -v + 8. Let m(o) = 2*o - v*o + o - 14. Let s be m(10). Does s = -4?
True
Let u be (-2)/1 - (-2 - -3). Let q = 4 + u. Let b be (6/16)/(9/(-6)). Which is smaller: q or b?
b
Let i be (-36)/(-30)*30/4. Let p = -5 + i. Are p and 5 unequal?
True
Let x = 1 - 0. Let d = -3 + x. Is d less than -2/3?
True
Suppose -1 - 5 = -4*i + 5*b, 4*i = b - 2. Which is smaller: -2/25 or i?
i
Suppose 0 = -4*r - 16, 0 = -j - 5*r - 11 - 9. Which is smaller: -1/27 or j?
-1/27
Let l be (-3)/(-7) - 27/63. Is -2/21 at most l?
True
Let c = 17 - 16.7. Is 3 greater than or equal to c?
True
Let n = -11/7 - -1. Suppose 4*w - 3*w + 2 = -5*l, 5*w + 10 = 4*l. Which is smaller: n or w?
w
Suppose -3*s + 18 = -2*p + 5*p, -4*s + 5*p - 3 = 0. Which is greater: s or 5/2?
s
Suppose 0 = 3*s + 25 - 10. Let a = s + 2. Which is greater: a or -4?
a
Let q(t) = t**3 - 3*t**2 + t - 5. Let a be q(3). Let k = -3 + 3.1. Let l = 0.9 + k. Is a at least l?
False
Let w(h) = -3*h + 13. Let r be w(8). Is -9 equal to r?
False
Let f be (4 - 105/25)/2. Is f < 0.2?
True
Suppose -3*j = 2*n + 3, -35 = -n - 4*n + j. Which is bigger: -1 or n?
n
Let o = 5/6 - 4/3. Which is greater: o or -1?
o
Let w be 1/(((-28)/(-3))/(-4)). Let q = -14 + 13. Is q <= w?
True
Let a be -3*((-6)/4)/((-27)/156). Which is smaller: -25 or a?
a
Let g(r) = -r + 4. Let q(h) = -3*h + 8. Let i(p) = -5*g(p) + 2*q(p). Let f be i(-6). Is -0.2 < f?
True
Let a(q) = -61*q**2 - 2*q. Let h be a(1). Let j be (h/28)/(3/(-8)). Let t be (-2 - -3) + 1*5. Does j = t?
True
Let f(h) = h**3 + 17*h**2 + 15*h - 21. Let v be f(-16). Let x = 12 - 8. Let z = v + x. Is -2 < z?
True
Let v = 16.9 + -20. Let r = v - -3. Are r and 0.8 equal?
False
Let w = 0 - 2. Let n = -2 + w. Does -0.1 = n?
False
Let x = -11.6 + 11. Let i = 0.4 + x. Is i at most 1/2?
True
Suppose 3*x - 4 = -q, 0*x + q = 2*x - 11. Is x <= 4?
True
Let m = 59 - 130. Is -71 bigger than m?
False
Suppose -m + 3*w + w = 15, -3*w = -m - 13. Suppose 0 = -x - 2*f - 7, 3*x + 0*x + 2*f = -21. Is m not equal to x?
False
Suppose 5*j + 2*t + 3*t = -80, 4*j + 68 = -5*t. Let z(w) = -18*w + 3*w + 3 + 11*w**2 + 6 + 4*w + w**3. Let m be z(j). Is m at least -1?
False
Suppose -z - 4*z + 25 = 0. Let u = 3 - z. Suppose -41 + 48 = -7*v. Which is greater: v or u?
v
Let l(x) = -x**3 + x**2 + x + 6. Let w be l(0). Which is smaller: w or 2?
2
Let a = 25050839119713483403/5275 + -4748974221692641. Let c = a - 19011337. Let x = -5/211 - c. Is 1 >= x?
True
Suppose -p + 6 = 3. Suppose 3*n + 9 = 4*o + p, 5*n - 16 = -2*o. Let s = -4 + n. Is -2 less than s?
False
Let c be ((-6)/27)/((-2)/6). Let l be (-4)/(-2) - (-10)/(-20). Which is bigger: l or c?
l
Let s(q) = -q**2 - 5*q + 5. Let i be s(-6). Let b = 16 - 16. Which is smaller: i or b?
i
Suppose -v + 20 = 21. Is v greater than 3/17?
False
Let q = -33 - -45.98. Let x = -13 + q. Which is greater: x or -1?
x
Suppose 3*i + 9 - 6 = 0. Which is smaller: i or -12/17?
i
Let y = -2 + 4. Let a(b) = -b**3 - 4*b**2 - 5*b - 6. Let w be a(-4). Suppose -5*t + w = 4. Is y less than or equal to t?
True
Let n = 71 - 136. Is n != -65?
False
Let v(z) = 3*z + 2. Let a be -3*(-3)/((-27)/12). Let s be v(a). Let k = s + 7. Which is smaller: k or -0.1?
k
Let d(i) = i**2 - 9*i + 7. Let l be d(8). Let w be ((-2)/2 + 0)*l. Does w = 6?
False
Let b(s) = -3*s - 3. Let f be b(3). Let n be 1/3*f/60. Suppose -5*d - 3*x = 9, -x - 3 = 4*d - 0. Are d and n equal?
False
Let y = 11 - 2. Which is bigger: -1 or y?
y
Let p be ((-1)/(-6))/((-4)/18). Suppose -11 = -3*x - 26, 4*c + 3*x = -23. Is c greater than or equal to p?
False
Let d = -474645449/27822900 + 2/2318575. Let s = d + 120/7. Which is smaller: 1 or s?
s
Let u be (-3)/18*-14*3. Suppose 2*h = u + 3. Is 7/2 greater than h?
False
Suppose 4 - 22 = 2*q - 4*v, 0 = -3*q - 4*v + 23. Let n be (q - (-1 - -2))/1. Which is bigger: n or -1?
n
Let u = 0.03 - 3.03. Is u smaller than 1?
True
Let a be 12 + -12 + 1*2. Is -4 < a?
True
Suppose -2*n = n. Suppose 0*x - 2*x = n. Suppose -4*a = 4 - x. Which is smaller: -3 or a?
-3
Let k = -4/5 - -2/15. Let l = -12.5 - -8.5. Which is smaller: k or l?
l
Suppose 4*g = 3*g - 4. Is 0 less than or equal to g?
False
Let h be 3 + (1590/(-85))/6. Let c = 17 - 12. Suppose -5 + 17 = -3*k + 3*j, -4*k + c*j - 21 = 0. Is h less than k?
True
Suppose 5*t - 2*f + 10 = -5*f, 2*t + 3*f + 13 = 0. Are 2/17 and t equal?
False
Let s = -0.2 - -1.2. Let b = -0.9 - -1.5. Let y = b - s. Which is smaller: -1 or y?
-1
Let h = -13 - -13. Which is greater: -4 or h?
h
Let d be ((6 - 14) + 41)*(-1)/3. Is d at most as big as -6?
True
Let a = 0.09 + 3.91. Let h = -11 + 18. Let i = a - h. Do -1 and i have different values?
True
Let u(l) = -5*l + 3. Suppose 3*q - 2 - 4 = 0. Let a be u(q). Which is bigger: a or 2/5?
2/5
Suppose 4*j - 16 = -3*h, -5*h = j - 0 - 4. Let o = 205/7 - 29. Which is bigger: h or o?
o
Let x = -80.06 - -80. Let p = -1/8 + -1/8. Is p <= x?
True
Let w = -3995/186 - -43/2. Which is bigger: w or 1?
1
Let g be (2/30 - 0)*3. Let k = 32 + -33. Which is smaller: k or g?
k
Let f = 2.3 - -0.7. Which is smaller: f or 4?
f
Let k = 10 - 12. Which is smaller: -3 or k?
-3
Let o be (68/51)/((2/6)/(-1)). Let h(t) = -t**3 - 2*t**2 + t + 2. Let r be h(-2). Is o bigger than r?
False
Let i be (-1)/3*(-3)/2. Let r be (-1)/(-1) + 1 - 1. Let d be 1 - r - 2/(-2). Is i > d?
False
Let g(o) = o**2 + o - 6. Let q be g(-3). Let n = 44/513 + -2/171. Which is smaller: q or n?
q
Suppose d + d - 16 = 0. Let p be (-76)/(-105) - d/12. Is 1 at least as big as p?
True
Let n be 6/8*(-2)/(-6). Which is bigger: -4 or n?
n
Let g = 14.89 - 15. Let m = g - 0.89. Let f be 4/(-10) + 2/10. Which is smaller: m or f?
m
Let l be 1 - 21/3 - 0. Let w be (-9)/(-2)*(-4)/l. Let g(z) = -z + 3. Let t be g(w). Which is smaller: -1/5 or t?
-1/5
Let i be (-1)/(2 - 3)*-5. Let d = 7 + i. Let p be -3 + 7 - d/1. Is 2/3 < p?
True
Let p = 11.78 - -0.22. Let f = 20 - p. Is 2/7 equal to f?
False
Suppose 3*l - r = 211, -2*l + 142 = r - 3*r. Which is greater: l or 69?
l
Let f = -22.2 - -37. Let h = 15 - f. Is -1/2 greater than h?
False
Let m = 0 - -1. Let a = -95 + 97. Which is smaller: m or a?
m
Suppose -3*x + 16 = x. Let a = 2 - x. Let q(t) = t**2 + t - 2. Let v be q(0). Is v greater than a?
False
Let a = 7 + -6. Let p be (-1 - -3)*a/1. Let r = -3 + 7. Is r smaller than p?
False
Let k = 0.05 - -2.71. Let r = 0.16 - k. Let l = r + -0.4. Is -1 less than or equal to l?
False
Let d = 25 - 19. Suppose -5*u - v - d = -16, -4*v = 0. Which is bigger: 1 or u?
u
Let y(b) = b**2 + 6*b - 8. Let v be y(-7). Which is bigger: -12/7 or v?
v
Let v(a) = -a**3 - 7*a**2 - 6*a - 6. Let i be v(-6). Suppose 1 = -3*x + 7. Suppose 2*j + 4 = -x*c - j, -3*j + 16 = -2*c. Is i at least c?
False
Let q = 25/6 + -11/3. Let x be (9/3 - 2) + -5. Is x at most q?
True
Let