x(k). Is 1 at least g?
True
Suppose 2*f - 20 = 3*f. Which is smaller: f or -18?
f
Let o = -12 - -13. Which is smaller: o or -0.1?
-0.1
Let f be (6/(-8))/(1/(-20)). Which is smaller: f or 14?
14
Suppose 3*w - 8*w + 40 = 5*i, 5*w = 3*i + 16. Suppose -10 = -2*f - 5*n, -4*f + n = -0*n + 2. Suppose -q - 1 + 6 = f. Is q greater than w?
False
Let d(l) = -l - 8. Let y be d(6). Let s = y + 14. Which is smaller: s or -2/29?
-2/29
Let b = -0.2 - -13. Let v = -13 + b. Which is smaller: v or -2/3?
-2/3
Let i = -891/7 + 127. Is i at most 25?
True
Let o = 8.6 + -4.65. Let j = o + 0.05. Let q = 6 - j. Which is greater: 0.2 or q?
q
Let s be (1 - 2) + 290/294. Let l = 155/588 + s. Let i be ((-2)/6)/((-1)/3). Is i at least l?
True
Suppose -x - 3*i = -4*i - 121, -2*i + 258 = 2*x. Suppose 0*h - 5*h + x = 0. Let s be 4/(-10)*h/5. Is -3/4 less than s?
False
Let w = 0.75 - 0.26. Is -1 less than w?
True
Let c(b) = b**3 + 8*b**2 - b - 8. Let o be c(-8). Let h be o/(-3) - (-3)/(-9). Let n be (-2)/6 + (-2)/(-6). Is h less than n?
True
Let o = 10 - 4. Suppose 4 = -i, 3*k - 3*i + o*i = -60. Let p = k + 31/2. Which is bigger: p or -1?
p
Let n be (108/(-45))/((-6)/20). Let i be ((-2)/4)/((-2)/52). Let s = i - n. Which is smaller: s or 4?
4
Let t = 5 + -19/4. Do 1/8 and t have the same value?
False
Let i be 4/(-14) - (-60)/14. Suppose 7 + 5 = i*l. Suppose 0 = -l*p - 3*v - v + 15, 3 = v. Which is bigger: p or -1/8?
p
Let w(s) = -s**3 - 6*s**2 - s - 7. Let i be w(-6). Let a be i + 2/12*3. Which is greater: a or 0?
0
Let d = -4 - -9. Suppose 0 = -d*z + 3 - 8. Which is smaller: z or 2?
z
Let p(b) = -b + 1. Let w be p(2). Which is greater: w or 2/5?
2/5
Let j be 16/(-56)*(-15193)/(-2). Let y = j - -2174. Let c = 22/7 - y. Which is smaller: c or 1?
c
Let y be (-6)/9 + 11/(-15). Which is greater: y or 0?
0
Let d be -7 - (-413)/42 - (0 - 1). Do 5 and d have different values?
True
Let l(r) = r**2 - 8*r + 2. Let n be l(7). Let h be (2/35)/(3/n). Suppose -6 = -w - x, 0 = 5*w - 3*x + x + 5. Which is greater: h or w?
w
Let n = 2 - 2.5. Let o = n - -0.47. Let f = -3.03 - o. Is f not equal to 1?
True
Let c = 0.2 - -4.8. Let p = c - 4.9. Let r = 3 + -2. Which is greater: p or r?
r
Suppose 4*y = 4*u + 24, 3*y - 17 = -0*y + 2*u. Let x be -1 + 3 + (-18)/y. Let n = x + 27/20. Which is smaller: 1 or n?
n
Let w be (-15)/(-4 - -1) + -3. Let t = 1 - 0. Is t < w?
True
Let j(b) = -b**3 + 46. Let x be j(0). Let w = x - 140/3. Let r = -1 - -1. Which is greater: r or w?
r
Suppose c - 4*s = -8, -4*c = -c - s - 9. Suppose o = 4*o - 6. Suppose 2*n - 2 - o = u, 16 = 4*n. Is c not equal to u?
False
Let w = 0.2 - -2.8. Let m = 19 - 20. Let k = w + m. Which is smaller: k or -1/3?
-1/3
Let i be (558/(-5))/((-4)/(-20)). Let n = i + 25109/45. Let w = n - 37/360. Which is smaller: 1 or w?
w
Let a = 48 - 50. Is -7/4 > a?
True
Let s = 7 + -5. Let m = -4.885 - 0.115. Which is greater: m or s?
s
Let z = 131 - 1442/11. Which is bigger: 0 or z?
0
Let u = -173/3 - -55. Which is smaller: -4 or u?
-4
Let m(l) = -l**3 + 6*l**2 + 6*l + 6. Let p be m(7). Which is greater: -1/2 or p?
-1/2
Suppose -m + 40 = 3*m - 2*p, -13 = -m + 2*p. Let r be m/4 + 1 + -3. Which is smaller: r or 0.1?
0.1
Let p(y) = -9*y**2 - 4*y + 7. Let t be p(-3). Which is smaller: -1/3 or t?
t
Let n be 2 + (9 - 3/3). Let f = -6 + n. Let z be 1/4 + (-1)/f. Is -3/7 greater than or equal to z?
False
Let t = -42 - -55. Are t and 13 equal?
True
Let b = -10.2 + 0.2. Let p = b + 6. Let i = p + 3. Which is smaller: -2/5 or i?
i
Suppose 0*a = 4*a - 8. Is 14/5 at most a?
False
Let j = 27 + -27.56. Let y = j + -0.24. Which is smaller: -2 or y?
-2
Let l be (2 + (-8)/3)*18/12. Let q = 1907/8 + -238. Which is bigger: l or q?
q
Let h be (238/85)/((-12)/(-15) + -1). Which is smaller: h or 4?
h
Suppose 0*k + 12 = -2*k. Let w be (-4)/(-9)*9/k. Let g be (4/3)/(2 - -4). Which is greater: w or g?
g
Suppose m = -0*m - 2. Let v = 0.9 + -0.6. Which is greater: m or v?
v
Let d be (-1)/(-3) + (-3 - -4). Suppose 2*m + 2 = -6. Let l = 4 + m. Which is smaller: l or d?
l
Let i = -93 - -99. Which is bigger: i or -9?
i
Suppose -g - 12 = -4*g. Let u(o) = o**3 - 4*o**2 + o - 4. Let a be u(g). Suppose 3*l - 4*i = -13, -3*l = -a*l - 5*i + 17. Which is bigger: 2 or l?
2
Let w = 4 + -2. Let g be (-10)/(-15) + w/(-3). Which is bigger: 2/17 or g?
2/17
Let k = -0.15 + 1.15. Is -27 bigger than k?
False
Suppose 2*g + 3 = 1. Let d be 4*g/(-104)*2. Which is bigger: -1 or d?
d
Suppose -2*x - 10 = -4*n, 5*x = -2*n + 7*n - 10. Suppose -2*k + 4*c + 10 + 6 = 0, n*k + 4*c - 24 = 0. Is k < 8?
False
Suppose -8*a = -13*a + 5. Is a greater than -0.7?
True
Let s(f) = f**3 + 6*f**2 - 4. Let i be s(-6). Let x be (3 + i)*1/2. Suppose -3*p - p - 2*d - 8 = 0, -2*p + 2*d = -2. Which is smaller: x or p?
p
Let k(s) = s**3 + 4*s**2 + 3*s - 7. Let y be k(-5). Are y and -49 non-equal?
True
Let w = 59/95 + -2/95. Which is bigger: w or 0?
w
Let g = 0.89 + -0.09. Let u = 3.8 - g. Is u greater than 3?
False
Let h = -0.05 - -0.02. Let i = -0.03 - h. Is i != 0.03?
True
Let i(c) = c - 2. Let j be i(3). Suppose -6*n + 0*n = 12. Let u be (0 + j)*1*n. Is -2 >= u?
True
Let r(o) = o - 2. Let j be r(4). Let h = -0.2 - 7.8. Let y = h + 8.2. Is y at most as big as j?
True
Let w(b) = -272*b - 1. Let h be w(-1). Let y = h + -2983/11. Which is smaller: -0.1 or y?
y
Let t = -3.27 - -0.27. Which is greater: t or 1/8?
1/8
Suppose -4*y = -5*g - 229, g = 4*y - 29 - 20. Is -44 greater than or equal to g?
True
Let y(z) = z**3 + 6*z**2 - 8*z - 3. Let j be y(-7). Let s(t) = -6 + t + 2 + t. Let m be s(j). Which is smaller: m or 2?
2
Let f(h) = 4*h**2 + h + 1. Let c be f(-1). Suppose 2*r - c + 0 = 0. Suppose 3*w + r = w. Which is greater: w or 0?
0
Let h(y) = 3*y**3 + y + 3. Let z(f) = 10*f**3 - f**2 + 4*f + 9. Let n(g) = -7*h(g) + 2*z(g). Let u be n(-3). Let p = u - -3. Which is bigger: p or 7?
7
Suppose 0 = -4*l + 2*l. Suppose l = z - 2. Suppose 0*s = z*s + 2. Which is greater: 2/9 or s?
2/9
Suppose 10 = -5*p, 2*a + 0*a = p + 6. Suppose 0 = -3*o - 2*y + 14, 26 = o + a*o + 5*y. Which is smaller: 3 or o?
o
Let t(h) = -h - 1 + 0*h**2 - 3*h**2 - 3*h + h**3. Suppose 2*a = 2 + 6. Let l be t(a). Which is greater: 2/7 or l?
2/7
Let g be -9 - -7 - (-57)/27. Is -1 less than or equal to g?
True
Let f = -0.1 - 0.7. Let c = 14.2 + -14. Let g = f - c. Is 0.2 less than or equal to g?
False
Let c = 7 + -20. Let p = -221 + 207. Which is smaller: c or p?
p
Suppose 0 = 2*m + 3*m - 15, -2*m = -4*c + 6. Suppose j + 14 = 6. Let r = j - -11. Is r smaller than c?
False
Suppose 4*n - 3*f + 7*f + 40 = 0, -f + 8 = -2*n. Which is bigger: n or 0?
0
Let v = 42 + -76. Which is smaller: -35 or v?
-35
Let x = 1 - 0. Let b = -0.8 + x. Which is greater: b or -2?
b
Let z = 4.94 + -0.84. Let s = z - 0.1. Let v = 3.8 - s. Is v at least -1?
True
Let a = 35 + -17. Suppose 5*n - a = 2*f, -4*n - n = 2*f - 22. Is f bigger than 7?
False
Suppose 5*k + 2*m - 6 = 3*k, -m + 3 = -3*k. Let y = k - 0. Suppose y = f - 6*f. Which is smaller: f or -2?
-2
Let o = -1 - -0.99. Let q = -0.06 - o. Is -0.1 greater than q?
False
Let r(j) = j. Let u(x) = -6*x. Let t(a) = -5*r(a) - u(a). Let q be t(5). Suppose -q*m + 0*s - 36 = 3*s, -m = -5*s - 4. Which is smaller: m or 1?
m
Let x be 1/15*54/114. Let i = 68/855 + x. Which is smaller: -1 or i?
-1
Let x = -8 - -18. Let o = x - 16. Let p = o - -2. Which is smaller: -3 or p?
p
Let q = -27 + 45. Is q less than 18?
False
Suppose z - 3*w = 4*z, -2*z - 5*w - 9 = 0. Let v be ((-6)/(-5))/(z/10). Suppose n - 4 = -1. Are n and v non-equal?
True
Let j be (1/2)/(4/16). Let m = -6 - -5.9. Let k = 0 + m. Is j at most as big as k?
False
Let l be (-2 - -2) + (-2)/(-2). Let b be (10*2/18)/((-4)/(-6)). Is b > l?
True
Let a = -159.1 + 159. Which is bigger: a or -17?
a
Let c = -13 + 115/9. Suppose 0 = h - 1. Is c at least h?
False
Suppose 0 = 2*s - f + 5*f + 18, 4*f + 23 = -3*s. Let l(c) = -c**3 - 6*c**2 - 5*c + 4. Let g be l(s). Let a be ((-3)/6)/((-3)/g). Is 0 != a?
True
Suppose -w - w - o = 5, -8 = -4*w + 4*o. Is w greater than -17?
True
Suppose -3*a - 3*c + 25 + 5 = 0, 0 = 4*a + 2*c - 36. Suppose i + 8 = -5*p, 5*i = a + 2. Which is greater: p or 0?
0
Let s be 4/(-6) - -1 - (-952)/(-21). Which is smaller: -44 or s?
s
Let j be 85/322 - (-11)/(231/(-6)). Is 0 less than j?
False
