 Which is smaller: x or o?
x
Suppose 6*q - 8*q - 6 = 0. Let t be 8/(-2)*(-3)/(-4). Is t at most q?
True
Suppose 0*h = -2*h. Let u be (-6)/((-1)/((-1)/(-1))). Suppose -2*j + u = -h*j. Is 3 != j?
False
Let b = 0.746 - -0.074. Let o = -0.18 - b. Is o < -1?
False
Let r = -2.5 - -1.5. Is r <= -2/13?
True
Let z(t) = 10 - 5*t + t**2 - 6*t - 3*t + 4*t. Let g be z(7). Let p be g/(-15) + 6/(-18). Which is greater: p or -0.5?
p
Let c = -3 - -6. Suppose 0 = y - c*y. Which is bigger: y or 1?
1
Let l be 1/6 - 7/6. Let k be -3 - l/((-2)/4). Suppose -16 = 10*n - 6*n. Which is bigger: k or n?
n
Let u = -8 - -4. Let i(t) = -2*t - 2. Let g be i(u). Let b be (g/8)/(36/(-32)). Which is bigger: 2/5 or b?
2/5
Let j be 1 + 0 + (0 + 1 - -1). Is 3 not equal to j?
False
Let n be (3 - (-64)/(-20)) + 92/560. Which is smaller: 0 or n?
n
Let a be (20/6)/(5/(-75)). Let b = -199/4 - a. Is -4 <= b?
True
Let x = -77/68 + -2/17. Is x less than -1?
True
Let f(z) = -z + 5. Let s be f(3). Which is bigger: s or 3?
3
Let u(d) = -d**2 + 9*d - 6. Let r be u(8). Suppose -4*t + 18 - r = 0. Suppose 0 = 4*f - a + 5, -3*a + a = -t*f - 10. Is f <= -2?
False
Let i = -196 + 211. Which is smaller: i or 17?
i
Suppose 3*i + 22 + 5 = 0. Let b = 8 + i. Let t be b/3 - 6/9. Which is smaller: -4/5 or t?
t
Let r = 292/9 - 190/9. Let m = r - 12. Is -2 at least as big as m?
False
Let i(h) = h**2 + h - 4. Let p be i(-3). Let n be (p/5)/(1/10). Suppose 5*y - n = y. Which is greater: 0 or y?
y
Let w = 1 + -9. Let t = 7.94 + w. Which is bigger: t or 1?
1
Let b = -2 - -23. Is b at most as big as 21?
True
Let f be 2 - (1 - 0) - 25/25. Is f greater than or equal to 19?
False
Let a = -38 - -189/5. Which is smaller: 0 or a?
a
Let q(g) = -g**3 - 11*g**2 + 12*g - 12. Let d be q(-12). Let u = 12 + d. Is 0 < u?
False
Let i be (-2)/4 - 22/4. Suppose 3*g - 4*k = -67, -4*k = -4*g - 3*k - 72. Let m = g + 10. Is i greater than m?
True
Suppose 4*h - 4*u + 4 = 0, 5*h + 4 - 9 = -5*u. Suppose 6*s + h*s = 0. Is s greater than -1/18?
True
Let b be 7/(-28) - 19/4. Let r(p) = -p**2 - 6*p - 4. Let m be r(b). Is m > 1?
False
Suppose -8*m = -4*m. Suppose m = -y - 4*y. Which is smaller: 10 or y?
y
Let m = 970/7 + -139. Suppose 1 = 2*k - 1. Is k not equal to m?
True
Let v(q) = -q**3 - 12*q**2 - 10*q - 11. Let r be v(-11). Let p = 43/2 + r. Suppose 1 + 2 = 3*j. Which is greater: p or j?
j
Let c = 54 + -71. Which is smaller: c or -16?
c
Suppose -8*g - 32 = -4*g - b, 16 = -2*g + 2*b. Which is smaller: g or -9?
-9
Let z be (-2)/(-10) - 365/325. Which is bigger: z or -1?
z
Let f = 29 - 17. Let l be (f/4 - 4)*0. Does l = -2?
False
Suppose -3*q + 24 + 31 = 4*a, 5 = a - q. Is a greater than or equal to 9?
True
Let r(p) = -2*p + 7. Let n be r(3). Which is smaller: -2/45 or n?
-2/45
Suppose -4*g - n - 22 = g, 3*g - 3*n + 6 = 0. Which is greater: g or -3?
-3
Let h = 3 + -2. Let k = 0 + -0.1. Let c = k + 1.1. Is c less than h?
False
Let i = -0.2 + 0.3. Let x be -12*(-2)/3 + 0. Let p = -8 + x. Which is bigger: i or p?
i
Let z = -1.94 - 0.06. Let j = -2 - z. Let n(s) = s**3 - 2*s**2 + 2*s - 1. Let w be n(2). Are w and j equal?
False
Let i = 0.17 + 0.83. Let s = 0.12 - -0.98. Let k = s - i. Is 3 at least k?
True
Let h be (2 - (-45)/(-22))*-4. Suppose -6*n - 1 = -7. Which is greater: n or h?
n
Let a be (-11152)/156 + 2/6. Let d = a - -71. Which is greater: 0.1 or d?
0.1
Let f(b) = -b**3 - 4*b**2 + 5*b - 2. Let k be f(-5). Let p be (k/14)/(3/(-15)). Let z be (2 - 11)*20/(-90). Which is smaller: p or z?
p
Let r be (5/2)/((-3)/(-6)). Is 16/3 <= r?
False
Let m = -46 + 45. Which is greater: 1/21 or m?
1/21
Let z be 4/2*1/2. Let d = -1 + 1. Suppose u - 2 = -c, u - c = -d*c. Is u bigger than z?
False
Let t be ((-8)/30)/(((-12)/15)/2). Does 9 = t?
False
Let o = -5/54 + 16/27. Is o > 0.24?
True
Let z(d) = d**3 - 11*d**2 - 12*d + 2. Let n be z(12). Suppose -4 = -n*j + 2. Let i(l) = l**2 - 2. Let v be i(2). Which is smaller: j or v?
v
Let w = 11.02 + -11. Let j = 0.98 + w. Which is greater: -0.7 or j?
j
Let b(s) = -s**3 - 3*s**2 - 1. Let r = 11 + -14. Let j be b(r). Is j greater than -2/33?
False
Let v(d) = d + 2. Let i be v(-1). Let l = 164/237 - 2/79. Is i smaller than l?
False
Let x be 2*(-4)/((-24)/15). Let v = -5 + x. Suppose -5*f = -v*f. Is f at most as big as -1/12?
False
Let r be 1/(-6) + (-3)/(-18). Is 2/35 less than r?
False
Let j be (-10)/(-16)*3*-2. Which is bigger: j or -5?
j
Suppose -4*b + 6*b - 10 = 0. Suppose -3 + 8 = b*v. Let g be 2/4 - v/(-2). Which is bigger: 0 or g?
g
Suppose 5*b + 3*k - 99 = 0, -63 = -3*b - 4*k + k. Is 19 less than b?
False
Suppose 3 = -5*d + 2*d - f, 0 = -4*d + 2*f - 14. Let v = -168 - -168.3. Which is bigger: v or d?
v
Suppose -3*k - 70 = 2*k. Let z = k - -10. Let g(t) = -t**2 - 3*t + 1. Let n be g(z). Is n <= -2?
True
Let f = 0 + 0.1. Suppose -69 = 3*x + 36. Let l = x + 173/5. Which is greater: l or f?
f
Suppose 2*s - 13 = 3*n, -3*n - 2*s = -5 - 2. Let j = -148 + 445/3. Is n < j?
True
Let y(k) = -k**2 + 3*k + 5. Let q be y(4). Is 2/9 smaller than q?
True
Let v be (18/4)/((-2)/4). Let s(u) = u**2 + 8*u - 11. Let k be s(v). Let w = 1 + -1. Which is smaller: k or w?
k
Let d(c) = -2*c - 5. Let i be d(-5). Let x be 1/i*(-5)/4. Suppose 9 = -3*f + 6*f. Which is bigger: x or f?
f
Let v be (-3)/(-2) - (-420)/(-40). Which is smaller: -2 or v?
v
Let n be 366/848 + 12/(-32). Is 1 > n?
True
Let p(t) = 3*t**2 + 3*t. Let c be p(-2). Let j(h) = h - 3. Let d be j(c). Suppose -10 = 2*v + d*v. Is -2 greater than or equal to v?
True
Let h = -277 - -3049/11. Let t be (1 + 2)*1/3. Let p = t + -1. Are h and p nonequal?
True
Let f = -7682/17 - -452. Which is smaller: -1 or f?
-1
Let f be 3*(1 - (-6)/(-9)). Let k = f - 1. Suppose k = -3*g + 6*g. Which is bigger: g or 2?
2
Let t be (-1)/12 - (1 - (-4)/(-12)). Which is bigger: -4 or t?
t
Let m be -2 - (-1 - -2 - 48). Suppose -3 - m = 4*a. Let i be (a/9)/(15/9). Is i < -2?
False
Let m(n) = 26*n**3 - n**2 - 2*n - 1. Let v be m(-1). Let q be 48/v - (-8)/4. Is -1 smaller than q?
True
Let b be ((-3)/5)/((-3)/30). Let s be b/27 - 7/(-9). Which is smaller: s or 0?
0
Suppose -6*q + 9 + 63 = 0. Which is bigger: q or 13?
13
Suppose -8*u + 5*u = 0. Which is bigger: u or 2/9?
2/9
Let j = -7 - -11. Suppose -a + j*q = -8 + 17, 3*a - 3*q = 0. Which is smaller: 0 or a?
0
Let j = 856/30225 - 2/1209. Which is smaller: 1 or j?
j
Let h = -2.68 + -0.32. Is 0 at least as big as h?
True
Let y be 2 - (-1 - -1)/(-1). Suppose 2*h + y*h + 2*t + 10 = 0, -5*h + t - 16 = 0. Let s = 5 + h. Is 2 > s?
False
Let o = 1 + 3. Suppose 11 = 2*c + f, -o*c = -2*c - 5*f - 5. Which is smaller: c or 3?
3
Let v = 9/16 + 147/80. Let a = v + -94/35. Let f = -7 - -11. Which is bigger: f or a?
f
Let f be (-4 - -2)/(5 - 3). Which is smaller: f or -2/59?
f
Let n = 10.255 - 0.205. Let x = n - 0.05. Let c = x + -10. Which is greater: c or -0.2?
c
Let t(o) = -8*o - 22. Let j be t(-4). Let r(g) = -g**2 + 8*g - 5. Let x be r(5). Are j and x non-equal?
False
Suppose 2*v - 7*v - d + 16 = 0, 0 = 5*v + 3*d - 18. Which is smaller: -7 or v?
-7
Suppose -h - 2*u = 41, -149 = 5*h - h + 5*u. Which is bigger: -30 or h?
-30
Let d = -50864 - -4679597/92. Let y = 10/23 - d. Is -1 bigger than y?
False
Suppose 2*i + 6 = 2*b, -b = -5*i + 2*b - 13. Let c be 4 + -1*(-1 - i). Let k(y) = -y**2 + 6*y + 4. Let s be k(6). Which is smaller: c or s?
c
Suppose 0 = 3*w + 26 - 11. Let z = 5 + w. Which is smaller: z or -5/8?
-5/8
Suppose -4*h = 2*a + 14, -3*h - 10 = -0*a + a. Which is smaller: a or 2/9?
a
Let s = 0 + 2. Let p = 3 + -4. Which is smaller: p or s?
p
Let f be 3*2 - (-3 + 3). Let o be 1/3 - f/4. Let m = 11 + -12. Which is smaller: o or m?
o
Let c be 9/3*1*1. Suppose -2*w = -4*w. Let r be w - -2 - (-9)/3. Is c at least r?
False
Let c be (-204)/24 - (-1)/2. Let s be 26/(-18) - 8/c. Suppose k - 6*k = 0. Is s not equal to k?
True
Let t = -0.2 + 0. Let g = 1.4 - -6.6. Let z = 8 - g. Is t at least z?
False
Suppose 0 = 13*s - 15*s - 4. Let z be s - -3 - (-19 - 1). Is z less than 21?
False
Let t = -22 + 11. Let u = -32 - -22. Is t >= u?
False
Let w = 6/13 + -4/65. Suppose 3*q = 5*q. Suppose -3*h = q, 3*h = -2*f - 0*h. Which is greater: w or f?
w
Let n = -68 + 68. Is -9/11 <= n?
True
Let p(k) = k**2 + 3*k - 4. Let b be p(-5). Let t = 8 - b. Which is smaller: 3 or t?
t
Let l