 -1 - -2. Let r = n + -1. Let j = 90.9 - 91. Which is greater: j or r?
r
Suppose 0*y - y + 2 = 0. Suppose t = -3*d - 2, -5*t + d - y*d = -18. Let b be t/3 + (-2)/6. Which is greater: b or -2/13?
b
Let q(n) = -n**2 - 10*n - 11. Let f be q(-8). Suppose 5*p - f*g + g = -11, 0 = -2*p + 2*g - 6. Let v = -14/11 + 53/33. Which is bigger: v or p?
p
Let s be 5 + -7 - (1 + -11). Suppose 2 = -4*d - 2*n, 0 = -d + 5*n + s - 3. Let h(k) = 3*k + 16. Let o be h(-5). Are d and o unequal?
True
Let f = 1 + -3. Let m be (-2)/(-10) + f + 1. Which is smaller: m or 1?
m
Suppose 2*z + 3*x = 17, -5*z + 3*x = 8 + 2. Suppose 2 = d + z. Which is greater: d or 6/11?
d
Let h = -15 - -15. Let v = 52/783 - -2/783. Is v >= h?
True
Let t = 1 + 0. Suppose -3 = -c - 2*c. Let k be (c - 0) + (t - 2). Which is greater: k or -1/2?
k
Suppose 0 = 2*y + y. Suppose 10 = -y*o + o + 4*g, 4*g = 5*o - 50. Suppose t + 4*t = -o. Do t and -1 have the same value?
False
Let m(x) = -x**3 - 8*x**2 - 1. Let w be m(-8). Which is bigger: w or 0?
0
Let g = -37963/6 - -6306. Let q = g - -213/10. Is q > -1?
True
Suppose 3*r - 2 = 5*r. Let o(n) = n - 5. Let w be o(6). Suppose -h - 4 + w = 0. Is h not equal to r?
True
Let o = -12542765/293643 - -2/41949. Let h = -43 - o. Which is smaller: h or 1?
h
Suppose 0*l = 2*l - 2. Let n = -1343/385 - -39/11. Which is smaller: n or l?
n
Let z(u) = u**3 + u**2 + 1. Let d be z(0). Let r be d*(2 - 0) + 2. Let v(l) = -2*l + 4. Let h be v(r). Is h less than or equal to -5?
False
Let n be (3/2)/(1/2). Suppose -2*m - 13 = -n*s, -s = -m - 4 - 2. Which is bigger: s or 1/7?
s
Let g = -18 - -20. Is -1 greater than or equal to g?
False
Let z be (5 - (-3 + 2))/2. Let i(r) = r**z + 10 + 13*r**2 - 2 - 4*r**2 + r. Let m be i(-9). Is -1 at least m?
True
Let k = 0 + -3. Suppose 0 = -4*g + 2*g - 4. Let b be (-2)/((-10)/g + k). Are b and 2/9 nonequal?
True
Let h = 154 - 151. Which is greater: h or 0?
h
Let r(b) = -1 - 1 - b + 1. Let o be r(1). Let p be o/3 + 8/12. Which is greater: -3/7 or p?
p
Let y be (0 - 19/4) + 81/54. Which is greater: y or -3?
-3
Let z = 3/3364 - 1567651/30276. Let k = 52 + z. Let a = -7 + 6.9. Which is bigger: a or k?
k
Suppose -3*r - x + 74 - 21 = 0, 2*x = 4*r - 74. Suppose 3*o = 6*o - r. Let h = o + -7. Is -2/19 equal to h?
False
Let x = 3 - -1. Let m be -2 + 3 + (5 - x). Suppose 2*d - 12 = -m*p, 3*p = p + d - 3. Which is greater: p or 1/4?
p
Let a be 6/70*(-3)/18. Let c = a - 67/210. Is c at least 0?
False
Let i = -5.1 + 5. Which is bigger: i or -3/5?
i
Let p = 64 - 65. Suppose 2*r + 18 = 5*r. Is p at most r?
True
Let h(t) = -t - 4. Let f be h(0). Let c = f + 3. Suppose 5*q + 4 + 1 = 0. Is q less than or equal to c?
True
Suppose 2 = 2*p - 5*b, -3*p = 3*b - 2 - 22. Let u(n) = n**3 - 7*n**2 + 8*n - 7. Let a be u(p). Is a at least -0.1?
True
Let t = -2.4 - -2.21. Let o = -0.19 + 0.2. Let p = t - o. Which is greater: -0.1 or p?
-0.1
Let l be (-1 - (-9)/6)*-12. Let y = -7 - l. Let g be ((5 + y)/2)/11. Which is smaller: g or -1?
-1
Let i = 47 + -25. Let z = i - 21. Which is smaller: z or -1/2?
-1/2
Let s(w) = 2*w**2 - 4*w + 3. Let j be s(2). Is j at most 3?
True
Let q be 2 + (2 - 3) - -9. Suppose 4*g + 1 = -n - q, -4*g + n - 13 = 0. Let t = 145/7 - 21. Which is smaller: t or g?
g
Let z(l) = l**3 - 10*l**2 - 14*l + 7. Let y be z(11). Let k = 76/3 + y. Is k at least as big as -2?
True
Let m(b) = -b**3 + 4*b**2 + 6*b - 3. Let i be m(5). Suppose 0*f - 4*f - 12 = 3*g, -5*f - 8 = 2*g. Which is greater: f or i?
i
Suppose 4*b - 2*t = 23 - 1, -5*b + 3*t + 29 = 0. Let g be 17/17*(1 - -2). Is b < g?
False
Suppose -10*f = -4*f + 6. Is -1/30 < f?
False
Let o(i) = i - 8. Let h be o(8). Suppose 3*t - 7 = -2*t - m, 2*t - 4*m - 16 = h. Does t = 2?
True
Suppose 2*n = -5*w + 5 - 0, 0 = -3*w - 5*n + 3. Let r = -2.3 - -1.9. Is w equal to r?
False
Let u be (10/(-25))/((-56)/20). Let h(n) = -n**3 - n**2 + 4*n + 3. Let o be h(-2). Is o at least as big as u?
False
Let z be (-111)/42 + (-6)/(-4). Which is greater: z or -2?
z
Let v = 11 - 8. Let z be (v + 3)/(-2) + 4. Is -2/51 less than or equal to z?
True
Let g be (-8)/(-3) + 24/(-36). Which is smaller: g or 0.26?
0.26
Let v = -8 + 16. Suppose 2*l - 6*l = -2*g + 14, 3*g = -l + 28. Is v at most as big as g?
True
Let a be (-42784)/(-128334) + 1/(-3). Let v = 10886997/85556 + a. Let b = v - 128. Is -1 greater than b?
False
Let j = 3 + -7. Let p(a) = -a - a + a - 3. Let w be p(j). Is w smaller than 2?
True
Let s(b) = -b**3 + 9*b**2 - 9*b + 8. Let g be s(8). Are -7/19 and g unequal?
True
Let l be (-40)/21 + 7 + -5. Does l = 1?
False
Suppose 0*n + 7*n + 91 = 0. Which is smaller: -11 or n?
n
Suppose -3*w - 3 = -6*w. Is 1 less than w?
False
Let j(f) = -f + 1 + 5 - 5. Let l be j(2). Is l smaller than -1?
False
Suppose -q + 0*q = 0. Let j = 0 + q. Let x = j + 1. Which is greater: 0 or x?
x
Let p = 1.9 + 0.1. Let q = -2.2 + p. Let r = 3 - 4. Are q and r unequal?
True
Suppose 0 = 2*y - 4*y. Let f be (y*(-2)/6)/2. Let r be (-54)/(-16) - (-18)/(-6). Are f and r nonequal?
True
Let b(u) = -u + 4. Let r be b(5). Let a = 1 + -1. Let j = r - a. Is -1 smaller than j?
False
Let b be 3/(-2) - (-24)/16. Is 2/23 greater than b?
True
Let g(c) = c**3 - 10*c**2 - 1. Suppose 5*s - 10 = x - 4*x, 0 = -3*x + s + 34. Let d be g(x). Which is greater: d or 2?
2
Let k = 3.6 + -3.8. Are 4/15 and k nonequal?
True
Suppose 20 = -4*x, k + 2*k - 1 = -x. Let c be k/8 + (-2)/(-8). Which is smaller: c or 1?
c
Let k = 2/183 - 143/61. Let u be 150/(-54) - (-6)/(-27). Is u <= k?
True
Let i = -0.6 + -0.1. Is -0.4 greater than i?
True
Let m = 1 - 3. Let w = 3 - 3. Suppose -6*y + 9*y = w. Is y != m?
True
Suppose 4*b = 6*k - 4*k + 14, b - 9 = -5*k. Let c = 681/1204 - -1/172. Which is greater: c or k?
k
Let o(u) = -u**2 - 2*u + 2. Let v be o(-3). Let k = 0.1 + -0.1. Let w = -0.1 - k. Which is bigger: v or w?
w
Let j be 2/3 - (-683)/(-1848). Let g = 6/77 + j. Is g != 0?
True
Let f(j) = 5*j**2 + 2*j - 2. Let c be f(1). Suppose -i + 2*i + c = 0. Suppose -l - 7 = -2. Is l at least i?
True
Let w = -1.3 - -0.7. Let a = -0.4 + w. Let l = a - -1. Is l smaller than -3?
False
Let k be 5/(1*(-1 - 0)). Suppose 3*c = -c - 16. Is k at most as big as c?
True
Let a = -64709/300735 - 8/7335. Let b = a - -2/123. Which is smaller: 0 or b?
b
Suppose 2*s - 4 + 0 = 0. Let z(v) = v + 9. Let q be z(-7). Let c = s - q. Which is smaller: 1 or c?
c
Let b = 13 + -10. Let a = -3 + 4. Is b bigger than a?
True
Let x be (-3 - -8) + (-42)/9. Is 0.8 >= x?
True
Let n = 4 + -6. Let v = -3 - n. Suppose -5*q = -11*q - 4*q. Is q equal to v?
False
Let r(d) = 2*d - 2. Let k be r(-3). Let n = 67 - 76. Which is smaller: n or k?
n
Let l = 15 + -14. Let y = -3 + l. Is -3/5 less than y?
False
Let l = 406 + -2848/7. Is l <= 0?
True
Suppose -9 = -4*o - 5. Which is greater: o or 2/115?
o
Let u be ((-4)/(-170) + 0)*5. Which is bigger: u or 1?
1
Let t = -17.73 + 16.8. Let c = 0.07 - t. Let n = c - 0.9. Which is greater: n or -4?
n
Let i be (-2)/8 - 370/(-40). Which is bigger: i or 8?
i
Suppose -5*z + 3 = -s - 1, -7 = -4*z - 3*s. Let y be 2 + 0 + z + -3. Let m be 1 + -1 + -1 + 2. Which is smaller: m or y?
y
Let o = 2533/10 - 253. Which is bigger: 1 or o?
1
Let y = 5 - 16. Let o = y + 10.89. Let z = o + 0.01. Do 2 and z have the same value?
False
Let w = -112 - -112. Let t be 60/3*(-4)/10. Let x be ((-2)/t)/((-6)/8). Are x and w non-equal?
True
Let m be 29/(-29) - (0 + 7/(-12)). Does -2 = m?
False
Let q(i) = 10 + 0 - i + 0*i. Let l be q(8). Let s be (1/l)/(2/4). Is 2/5 greater than or equal to s?
False
Suppose 6*g = g - 5. Let s(c) = -2*c**3 + c + 3*c**3 - c**2 - 3*c - 1. Let h be s(2). Is g > h?
False
Let b be 123/(-63) - (0 - 3). Let a = b + -4/3. Which is smaller: a or 0?
a
Suppose 3*n = -5*g - 12, 3*n = -4*g - 3 - 6. Let w(v) be the third derivative of v**4/24 + 2*v**3/3 - 3*v**2. Let d be w(g). Are 1 and d unequal?
False
Let w = -10 + 9. Let s = -0.3 + -0.1. Which is smaller: w or s?
w
Let i be (-88)/(-14)*(-8)/32. Is i at least as big as -1?
False
Let t = -14 + 13. Let x = -5.4 + -4.6. Is x at least as big as t?
False
Let s be (1/3)/(3/6). Let z = s - 1/6. Let l = 0 - 3. Which is smaller: z or l?
l
Suppose -i + 2 - 19 = 0. Let p = i + 18. Is 4/19 > p?
False
Let a be (12/(-3) - -4)/2. Is a > -2/17?
True
Let d = -239/39 - 20/13. Which