ual to u?
True
Suppose 0 = 2*x + 2*x. Let g(m) = -9*m**3 - m**2 - m. Let s be g(-1). Let w be ((-3)/s)/((-3)/(-18)). Is x greater than w?
True
Let m = -197/5 + 6476/165. Is m >= -1?
True
Let b be (5/(20/(-16)))/(-14). Is b greater than -2/5?
True
Let x = 0.8 - 1. Let s = 4.2 - 4. Is s bigger than x?
True
Let k = 4 + -4. Let s be 0 + -2 + 2 + 7. Suppose -2*x = -3*z + s, k = -2*z - 2*z - 3*x - 19. Which is greater: z or -1/4?
-1/4
Let l = -0.02 + 2.02. Let b = l - 2.1. Which is smaller: b or -2/7?
-2/7
Let u = -799/9 + 89. Suppose 2*z + 5*i - 24 = 0, 3*z - i = -4*i + 18. Suppose 4*g - z = 2. Which is bigger: u or g?
g
Suppose -2*j = 2*j. Which is bigger: 2/25 or j?
2/25
Let f = -13 - -14. Let g be 1*1/(2 - f). Which is smaller: 4/19 or g?
4/19
Let y = 28 - 40. Let f = y - -12. Let l = 2.4 + -0.4. Is f at least as big as l?
False
Suppose -36 - 8 = 4*l. Which is smaller: l or -10?
l
Let p = 0.4 + -0.2. Let o = p + -0.1. Let z = -4 + 14/3. Which is smaller: o or z?
o
Let w = 8 + -6. Let t be (5/w)/5*-2. Let l(o) = o**3 + 5*o**2 - 14*o + 1. Let i be l(-7). Is i bigger than t?
True
Let w be 22/(-6) + (-2)/6. Let i = w + 2. Let t(a) = -a**2 - 3*a - 1. Let s be t(i). Is s > 0?
True
Let c = 10 + -9. Let n = 133 + -929/7. Are c and n non-equal?
True
Let q = -0.3 + 0.3. Let k = -0.4 + 0.4. Let c = -0.1 - k. Is q equal to c?
False
Let r = 3/56 - 17/56. Which is smaller: r or 1/3?
r
Let l = 36 - 36. Is l bigger than 28?
False
Let k be (-32)/(-14) + ((-30)/21)/5. Is k < 2?
False
Let k = 0 - 5. Suppose -h + 5*h = 4, 5*f + 4*h = -11. Which is bigger: k or f?
f
Suppose 5 = p + 6. Which is bigger: p or 2/95?
2/95
Let u be ((-3)/2)/((-1)/(-2)). Let j be ((-1)/2)/(u/2). Which is smaller: 0 or j?
0
Suppose 16 = 2*y - 3*f, -5*f = -3*y - 2 + 27. Suppose -y = 3*w + 7. Is w < -3?
True
Let f = 28 - 7. Let q = f - 20.74. Let v = 0.04 + q. Which is greater: v or -2?
v
Let m = 22 - 24. Let u = -3.3 - -3. Is m <= u?
True
Let s(k) = -k + 141. Let b be s(0). Let f be 3 + (b/(-27) - -2). Which is bigger: f or -2?
f
Let n = -7 - -5. Let l = n - -2. Is 0 bigger than l?
False
Let t = 174 + -211. Is t greater than -39?
True
Let o(z) = 2*z + 3. Let i = -5 + 11. Let q be o(i). Let n be (-3)/2*(-10)/q. Do 0.2 and n have different values?
True
Let j(u) = 3*u - 2. Let x(i) = 10*i - 5. Let m(s) = 7*j(s) - 2*x(s). Let h be -4 - (-2 + 1 + -5). Let b be m(h). Which is smaller: b or 0?
b
Let o be 20/(-16)*(3 - 46/16). Which is bigger: 1 or o?
1
Let z(k) = -2*k + 1. Let m be z(-1). Let w(t) = t**2 + 7*t + 6. Let o be w(-6). Suppose 3*f + h - 13 = 0, o*f + 26 = 2*f + 5*h. Is m less than f?
False
Let p be ((-30)/18)/((-2)/6). Suppose 3*l + 2*x = x + 12, 0 = -4*l + 2*x + 16. Suppose l*m - 13 - 7 = 0. Is p <= m?
True
Let d be -1 + (3 - 0) - 2. Suppose -k + 5*h + 8 + 9 = 0, 2*k - 2*h + 6 = d. Which is smaller: -7 or k?
k
Let l be (-36)/44 - (-4)/(-22). Let t be l + -3 + -2 - 0. Let d be 4*(1 - (-7)/t). Which is greater: -2 or d?
d
Let p(h) = -h + h - h**2 + 3 - 3*h + 2*h. Let v be p(0). Let f = v + -7. Which is smaller: -5 or f?
-5
Let v = 18 + -19. Which is smaller: -8 or v?
-8
Let b = 19 + -19. Which is smaller: 1 or b?
b
Suppose -3*u + 2*u + 3 = 0. Which is smaller: u or 8/3?
8/3
Let r = 28 - 28. Let h = -0.06 - 1.94. Is h at least r?
False
Suppose 0 = -b + 3*b - 2*k - 2, -b - 4*k = -1. Which is bigger: 4/31 or b?
b
Let b be 475/5*(-2)/(-5). Let a = b + -65. Are a and -26 non-equal?
True
Let o be 5/((-10)/6) + -1. Let a(j) = j + 3. Let r be a(o). Let g be 2*1/(-2) - -1. Which is smaller: g or r?
r
Let b(n) = n**3 + 33*n**2 + 34*n + 65. Let v be b(-32). Let z = 135 + -537/4. Is v bigger than z?
True
Let o = -10 + 38. Let f = -82/3 + o. Let s be -1 - (0 + 0 + -2). Which is greater: f or s?
s
Let i be (-108)/231 - 4/(-14). Is 1 equal to i?
False
Let p be ((-4)/18)/(20/(-90)). Is p bigger than 0?
True
Let t(v) = v**2 + 4. Let z be t(0). Suppose f + z*f = 40. Let w be f*(9/6)/(-3). Is w greater than -5?
True
Let q = 16955 - 627281/37. Let g = 2641/111 - q. Let j = g - 1267/57. Which is greater: 0 or j?
j
Suppose -5 - 7 = -3*l. Let c = 3 - l. Let o be 2 + (1 - 78/27). Which is smaller: o or c?
c
Suppose -29 = -5*s - 4*a, -s + 2*a = -2*a - 25. Let m = 9 - s. Let t(h) = -h**2 - h + 1. Let y be t(m). Is -2/3 at most as big as y?
True
Let z = 8 + -7.4. Let y = 11 + -10.3. Let p = y - z. Is p <= 4?
True
Let v be (-6)/3*(-11 + 1). Suppose 2*x + 5*h - v = -2*x, -3*x = -h + 4. Suppose 2 = -0*i + 2*i. Is i > x?
True
Let x = -6 - 442. Let c be 2/(-7) - 114/x. Which is smaller: c or 1?
c
Suppose 0 = -3*n - 207 - 114. Let v = 751/7 + n. Suppose 4 = -4*b + 8. Are b and v equal?
False
Let z = -59.92 - -60. Which is bigger: z or -0.1?
z
Let q(d) = d**3 + 6*d**2 - d - 4. Let p = -8 - -2. Let m be q(p). Which is bigger: m or 3?
3
Let j = -58.9 + 62. Which is smaller: 2 or j?
2
Let h(s) = -s**3 + 3*s**2 + 4*s - 6. Let b be h(4). Let k be (8/b)/(6/(-9)). Which is greater: 1 or k?
k
Let y = -6 + 10. Suppose -2*c + c - y = 0. Which is greater: -0.1 or c?
-0.1
Let a = 0.21 - 0.2. Let w = -0.04 - a. Which is smaller: w or 0?
w
Let t = 17 + -53/3. Let h(v) = -v**3 - 2*v + 1 + 3*v**3 - 3*v**3. Let u be h(1). Is u at least t?
False
Let t be (3 + 0)/(-1 + 2). Suppose -3*d - 24 = -5*d - 5*o, -5*o + 20 = 0. Is d at most as big as t?
True
Let h be (-1 - -1)/(1 - -1). Let y be 1*(h + -2)*-5. Suppose 4*t - y = -2. Are 3 and t nonequal?
True
Let c be 8/(-20) - 14/(-10). Let q = 46691/4 - 11614. Let m = q - 58. Is c at most m?
False
Let k(g) = -g**2 + 7*g + 13. Let s be k(9). Let m be (6/(-4))/(5 - 8). Are s and m unequal?
True
Let c be ((-4)/16*4)/(76/12). Let s = -3 - -2. Which is smaller: c or s?
s
Let d be 3968/(-9) + (-4)/(-18). Let o = -1111/3 - d. Let v = o - 71. Is v less than or equal to -2?
False
Suppose 6*p - 3*p + 6 = 0. Let h(c) = c**2 - 14*c + 11. Let x be h(13). Do p and x have the same value?
True
Let d be 8/24*3/2 + -24. Are 0.2 and d non-equal?
True
Let c = -1 + -1. Suppose 4*j - 2*s + 11 - 1 = 0, 4*j + 22 = -2*s. Let l be (-9)/(-4) + (j - c). Do -1 and l have different values?
True
Let a be 0/1 + 3 + -4. Let r(i) = i**2 + i. Let l be r(-2). Suppose -2 = -l*d, -h = -3*h - 2*d + 2. Which is smaller: h or a?
a
Let w = 2.7 + -1.8. Let q = 1.3 - w. Which is greater: 1 or q?
1
Suppose -q = -3*q - 112. Is q at least -57?
True
Suppose 5*n + 3*k - 4 = 3, 3*n + 11 = 2*k. Let j(p) = -p**3 - 6*p**2 - 7*p - 2. Let i be j(-5). Let c be i/(-6)*-3 - 3. Is c less than n?
False
Let r(n) = 9*n**3 - 1. Let m be r(1). Let p(i) = 3*i**2 + i - 1. Let g be p(1). Let a(s) = 2*s + 2. Let c be a(g). Is c smaller than m?
False
Let g(x) = x - 5. Let c be ((-6)/(-10))/(4/40). Let i be g(c). Which is bigger: i or -1/2?
i
Suppose -3*k = 4*y - 21, 0*k - 10 = 2*k. Let u be 6/y + 2/6. Let j be ((-1)/(-5))/((-3)/(-6)). Is u greater than j?
True
Let r(d) = -4*d**2 + 0*d - 5*d + 2 - 3 + d**3. Suppose 20 = 5*g - 5. Let o be r(g). Which is greater: o or -2?
o
Let y(d) = -10*d - 5. Let j be y(-4). Suppose i = 0, 0*i - 4*i = -5*p - j. Which is smaller: -8 or p?
-8
Let k(g) = -g - 5. Let d be k(-4). Is -2/197 != d?
True
Let b = -1170684008/9751933227 - -5/4126929. Let n = b - -1/417. Which is smaller: -1 or n?
-1
Let t = 6 + -4. Suppose -2 - 1 = -5*m - t*z, -4*z + 21 = -5*m. Which is smaller: m or 0.2?
m
Let u = -147 + 732/5. Is -1/4 < u?
False
Let j(i) = 2*i - 8. Let q = 9 + -3. Let w be j(q). Which is smaller: w or 3?
3
Let w = 2 - 2. Suppose 4*c + 27 = 5*n, 0 = -2*n - 3*n + 2*c + 21. Let i = n + -5. Which is bigger: i or w?
w
Let a(p) = -7*p**2 + 4*p**3 - p**2 - 3*p**3 + 0*p**3 + 7*p + 4. Let o be a(7). Is 3 smaller than o?
True
Let g = 0 + 0.2. Let w = -0.1 + g. Let x = w - -0.1. Which is smaller: x or 1/3?
x
Let v(x) = -3*x**2 + 7*x - 4. Let s be v(2). Which is greater: s or -3?
s
Let r = -8623/4200 + 49/24. Is 1 not equal to r?
True
Let a = 20 - 20.28. Which is bigger: 0 or a?
0
Let j be 38*-2*1/(-4). Suppose -v + g - j = -4*g, 0 = 2*v + g - 6. Is 3/8 at least as big as v?
False
Let v = -1236/11 + 112. Is v at least 0?
False
Let w = 0.1 + -4.1. Let s = -4.46 + 0.56. Let z = s - w. Which is greater: -1 or z?
z
Suppose 0 = -2*b + 8, -4*b + 5*b + 38 = -z. Is z greater than or equal to 0.2?
False
Let g be (-1 + -2)/((-1)/(-3)). Is g greater than -9?