ose 2*j - l - l = -56, -98 = 3*j + 4*l. Let q be (-34)/j - 16/120. Is 2/9 > q?
False
Let s = -3 - -5. Suppose 1 + s = k + 5*v, -k = -3*v + 5. Which is bigger: -3/5 or k?
-3/5
Let b = -130/189 + 7/27. Suppose 2*r + 23 = 5*j, 0*r - 3*r - 17 = -4*j. Is r at least b?
True
Let u be 16/(-12)*(10/12 - 1). Suppose 0*z = 3*z. Which is smaller: z or u?
z
Suppose -5*i - 30 = 5. Do i and -7 have the same value?
True
Let m = 0 - 0. Let t(u) = u - 1. Let l be t(2). Suppose -o + 0 = -l. Is m at least o?
False
Let d be 5 - (-144)/(-30) - (-236)/(-30). Is d greater than -7?
False
Suppose 2*j = 8*j - j. Is j greater than or equal to -2/115?
True
Let o = 8448/5 + -126682/75. Let n = o + 4/25. Let j = -41/6 - -13/2. Which is smaller: j or n?
j
Let u be ((-1)/3 + 1)*-6. Let k = 1 + -6. Let g = k + 2. Which is bigger: u or g?
g
Let n be 333/54 + 5/(-2). Which is smaller: n or 3?
3
Let b be (-6)/(-10) + 135/25. Let d be (-26)/(-10) - (9 - b). Which is smaller: -1 or d?
-1
Suppose w - 16 = m, 2*w + 6 - 18 = -2*m. Is 12 > w?
True
Let m = -0.05 - 3. Let d = 0.05 + m. Which is bigger: 1/3 or d?
1/3
Let n be ((54/(-4))/9)/1. Which is bigger: n or -0.1?
-0.1
Let t = 3.8 - -12.2. Let o = t + -16.1. Which is bigger: 1 or o?
1
Let w = -51.1 - -51. Which is bigger: w or -1/28?
-1/28
Let j = -0.1 + 0.1. Let t = 0.1 + j. Let g = 0.08 + 0.02. Is t greater than g?
False
Let h be (6/(-9))/((-4)/30). Suppose -v + 3*q = 8, -2*v = 5*q - h - 1. Suppose -2*z - 4 - 2 = 0. Is v <= z?
False
Let s = 1 + -4. Are -2 and s unequal?
True
Let j = -31/2 - -16. Let h = -0.06 + -0.64. Let o = -0.8 - h. Is j less than o?
False
Let r be 7/(-5) + (-2)/(-2). Let m(q) = -q**3 + 6*q**2 + 2*q - 9. Let d be m(6). Let f be (-3)/((-9)/d) + 0. Which is bigger: f or r?
f
Let o be (-6)/(-40) + (-3)/(-12). Which is bigger: o or 0.9?
0.9
Suppose -3*t - 1 - 363 = -4*p, -432 = -5*p - 2*t. Let v be -2*2/p*-2. Is -1 bigger than v?
False
Let k be 2 + -1 + 4 + -3. Let i(q) = q**2 - q + 3. Let n be i(0). Suppose l = 2*l - n. Which is smaller: k or l?
k
Let a = -259/104 + -1/104. Is a < 0?
True
Suppose -w = -7*w - 186. Which is smaller: w or -30?
w
Let o = 1 + -3. Let i = o + 2. Do i and -1/11 have different values?
True
Let b = 2.1 + -2. Which is smaller: 1/8 or b?
b
Let a = -0.13 + 5.13. Let t = a + -4.8. Suppose 3*b + 15 = 3*s, -2*b + 4*s = 21 - 3. Is t less than or equal to b?
False
Let y be (1/(-12))/((-12)/(-54)). Suppose -d = d. Is d at least as big as y?
True
Let i be (-22)/(-12) + 2/12. Suppose i*d = -d + 15. Suppose -8 = d*b + 2. Which is smaller: b or -2/3?
b
Let z = -3 + 2. Let b = z + 0. Let h = -1/3 - -1/12. Is b less than or equal to h?
True
Suppose 2*z = t + 3*z, z - 12 = -5*t. Let f be 3*(14/(-4) + t). Let s = 7/6 + f. Is s >= 0?
False
Let q = -1.98 + -0.02. Let p = -1.97 - q. Let n = p + -1.03. Is -1 not equal to n?
False
Let z(i) = i**3 + 5*i**2 + 3. Let p be z(-5). Let c = 41 + -37. Let h = p - c. Is 2/15 equal to h?
False
Let o be ((1 + -2)*-46)/(-2). Do o and -24 have the same value?
False
Let r = -99 - -23. Let o be r/6 + (-12)/36. Which is bigger: o or -14?
o
Let c = -3.04 + 0.04. Let q = -22 + 21.79. Let b = 0.01 + q. Which is smaller: b or c?
c
Let w = 201 - 206.88. Let k = -0.12 + w. Let s = -3 - k. Is s <= -2/5?
False
Let o = 57/244 - -1/61. Which is greater: 0 or o?
o
Let s = 0 + 11. Let o = s + -3. Let k(z) = z**3 + z**2 - 2*z + 7. Let w be k(0). Which is bigger: w or o?
o
Let n(d) = d + 4. Suppose -4*f + v - 26 = 0, 2*f - 4*v = -v - 18. Let b be n(f). Let l be (b - -3)/14*-8. Is -1 smaller than l?
True
Let c = -7 + 7.1. Which is smaller: c or -2.8?
-2.8
Suppose 5*t + 42 = 6*t. Let d be (t/(-8))/((-6)/(-4)). Let b = d + 17/6. Is b greater than or equal to -1?
True
Let m = -3 - 1. Let x(i) = 0 + 3*i - 7*i - 2 + 3*i. Let p be x(2). Is m < p?
False
Let m = 3 - 4. Let q = -5 - -10. Suppose -q*c - 2 = -f, -c - f + 0*f = -2. Which is bigger: c or m?
c
Let i = 43/10 - 7/2. Is 1 > i?
True
Let v be (4/10)/((-216)/(-15) + 3). Do v and 0 have the same value?
False
Let t = -145392233/18 - -8071050. Let u = -6298 - t. Let y = 2/9 + u. Are y and -3 nonequal?
True
Suppose h + 0*h = 26. Let i be (-2 - -4)*(-2)/h. Is i > 2/3?
False
Suppose -p - 4*p + 25 = 0. Let l = -2 + p. Let z be l*(-2)/(-18)*1. Which is greater: z or -0.1?
z
Let b(l) = -3*l**2 + 7*l - l**2 + 3*l**2 + 11 + 2*l. Let z be b(10). Is z smaller than -2.1?
False
Suppose 6*k - 3*k + 2*v = -14, 0 = -4*k - 4*v - 20. Suppose -3*s - s = -180. Let m be (-1)/k + s/(-100). Which is greater: 0 or m?
0
Let x = -0.02 + 10.02. Is x at most as big as 0.1?
False
Suppose 2*p = -p - 3. Let o be ((-7)/4)/((-11)/(-44)). Let a be 16/o + (3 - 1). Which is smaller: a or p?
p
Suppose 2*n + 2 = -2. Let s(b) = -b - 1. Let d be s(n). Does -2/3 = d?
False
Let k(l) = 3*l**2 - 21*l. Let q be k(7). Let h be (-2 - (-3 + 2))*1. Are q and h equal?
False
Let z = 3 - 13. Let r be ((-8)/z)/(1/5). Suppose 3*f + 22 = f + r*q, 2*q = 3*f + 21. Is f at least -4?
False
Let c = 9 - 19. Let b be 12/10*c/15. Which is smaller: 0 or b?
b
Let g be ((-6)/9)/((-2)/6). Which is greater: 4/7 or g?
g
Let l = -4.58 + -217.42. Let n = l + 220.02. Let k = n + -0.02. Is 0 less than or equal to k?
False
Let y be 1*((-2)/(-2) + -2). Let c = 47988 - 432578/9. Let g = c + 76. Which is smaller: g or y?
y
Let f = -26/21 - -11/7. Let c = -3 + 14. Let l = 12 - c. Which is smaller: l or f?
f
Let o(h) = -h**2 - 7*h - 7. Let q be o(-8). Let a be (-30*(-1)/2)/(-1). Is q <= a?
True
Let n be ((-4)/38)/(-1*2). Let v = n - -35/57. Which is greater: v or 0.5?
v
Suppose 6*p = p + 5. Let n be p/5 + 36/(-30). Is -3/5 >= n?
True
Suppose -34 = -5*g - 3*v - 12, -16 = -2*g - 3*v. Let l be -1*((-10)/4 + 2). Which is bigger: g or l?
g
Let s be (-1)/(2 - 10/4). Suppose s*f = 3*j - 6, 0 = 2*f - 0*f + 6. Is 1 greater than j?
True
Let a be 191/(-3) - 2/(-6). Let p = -64 - a. Let t = 10 - 6. Is p > t?
False
Let v = 10 + -9. Let p = -5 + 4.97. Let f = p + 5.03. Which is greater: f or v?
f
Let p = -1663/7 - -238. Let x be (-4 + (-171)/(-42))*2040. Let k = x - 146. Is k at least as big as p?
False
Let r = -1846 + 3791/2. Are r and 50 unequal?
True
Let h(b) = b**2 + 10*b + 3. Let i be h(-7). Is i > -12?
False
Let m(z) = -z - 4. Let v be m(-7). Suppose v*a - r - 1 = -3, 7 = -5*a - 2*r. Is 2/9 less than or equal to a?
False
Let s = -0.6 + 0.63. Let m = 2.9598 - -0.0102. Let t = s + m. Is t at most as big as 0?
False
Let h = -42 + 71. Suppose -3*o = -h + 11. Suppose 0 = -w + 2*i + 9, -3*w + o = -4*i - 11. Which is smaller: w or 0?
w
Let l be ((-4)/6)/((-2)/12). Suppose -l*f + 5*f + 39 = 5*i, 0 = 3*i + 3*f - 27. Are 9 and i equal?
False
Let a(x) = -x**3 + 14*x**2 + x - 12. Let s be a(14). Are 8/3 and s equal?
False
Let z(n) = n**3 - 3*n - 9. Let w be z(0). Is 2 less than or equal to w?
False
Let z(c) = c**2 + 7*c + 2. Let s be z(-7). Suppose 0*a + 4*m + 12 = -4*a, 0 = -a + s*m. Is -2 > a?
False
Let c be -21 + -2 + (-20)/(-4). Is -17 > c?
True
Let h be 6/34*30/(-45). Which is greater: 0 or h?
0
Let g = -2/39 + 47/156. Let m be 9/(-6) + 2/4. Which is bigger: g or m?
g
Let a be (-10)/25 - (-88)/(-5). Let l be 22/(-42) + (-12)/a. Which is smaller: 1 or l?
l
Let q = 5.5 + 23.5. Are 2/3 and q non-equal?
True
Let x be 2/1 - (-3 - -12). Let g be 24/(-63) - (-2)/x. Suppose 0 = -4*u + u. Is u at most as big as g?
False
Let r be (-2)/(-11) - (-1424)/(-88). Let i = r + 47/3. Which is greater: i or 1/2?
1/2
Let f(i) = 2*i**2 - 3*i**2 - 3*i**3 - 1 - 2*i - 2*i**3. Let z be (-8)/12 + 2/(-6). Let r be f(z). Which is bigger: 4 or r?
r
Let f be (1 + 20/(-12))/(6/9). Let t be 4/10*(-10)/(-13). Which is smaller: f or t?
f
Suppose 4*v - 4*t = -t - 24, 0 = 2*v - 4*t + 12. Let p be (-21)/(-91)*(-4)/v. Which is bigger: 1 or p?
1
Let y = 39 - 13. Suppose -3*f = -13 - y. Suppose 2*p + 1 = -k, 4*k + f + 3 = -2*p. Are 2/3 and p unequal?
True
Let b = -3536/5 - -711. Which is greater: 1 or b?
b
Suppose q = -3*m + m + 3, 0 = -2*m. Let g be (1/(q/(-18)))/2. Is -6 >= g?
False
Let w = -9 + 7. Let a = 0 + w. Let c = a - 2. Which is smaller: -2 or c?
c
Let p(n) = -n**3 + 5*n**2 - 2*n + 11. Let x be p(5). Which is smaller: 11/2 or x?
x
Let w = -0.6 + 0.6. Are w and 2.6 equal?
False
Suppose 0 = -4*j - 5*h + 33, 5*h = j - 0*h + 23. Are 2 and j non-equal?
False
Let l = -2