= 7 + -6.6. Let m = 558/7 + -80. Are j and m non-equal?
True
Let f be 5/((-10)/(-8)) - (0 + 6). Let r(d) = -d**2 + 6*d - 6. Let b be r(4). Is b greater than or equal to f?
True
Suppose 3*r - h = -2*h - 1, -3*r + 23 = -5*h. Which is smaller: r or 1/31?
1/31
Let w = 0.48 - 0.6. Let k = w - -0.22. Which is smaller: k or -1/14?
-1/14
Suppose 4*v - 25 + 9 = 0. Let s be (0 - 0)/(8/v). Let q be (1/(-6))/((-1)/2). Which is greater: q or s?
q
Let o(m) be the second derivative of m**3/6 - 13*m**2/2 - 4*m. Suppose -2*d = 8 - 32. Let k be o(d). Do k and -2 have the same value?
False
Let u = -10 - -10.1. Let b = -8.1 + u. Let j = 9 + b. Is 1 equal to j?
True
Let f be 4*(1 + (-9)/12). Which is smaller: f or -4/17?
-4/17
Let j = 8 - 31/4. Let v be 5 - -1 - (-2 + 0). Let y be (-4)/(-16) + 6/v. Which is greater: j or y?
y
Let u = -2.01 + 2. Which is smaller: -4 or u?
-4
Suppose 0 = -4*x - 13 - 35. Let b be ((-1)/x)/(10/6). Which is greater: b or 0?
b
Let x = 38 - 35. Are x and -5 unequal?
True
Let p(v) = -v**3 - 5*v**2 + 3*v + 7*v**2 - 3 + 5 + 0*v. Let x be p(3). Which is smaller: -1 or x?
-1
Suppose 0 = 4*q - 0*q - 28. Is 7 != q?
False
Suppose 0 = -a + 1 - 0. Suppose 5*q + 3*v - 19 = 0, -q - 3*v + 7 = -2*q. Let t = -3 + q. Is a smaller than t?
False
Suppose 0 = 2*b - 0*r + 5*r - 102, -b + 52 = 3*r. Suppose -l - 3*s = 20, -b = -0*l + 3*l + 2*s. Which is smaller: 1 or l?
l
Let r = -4 + 1. Let t be 2/(-12)*r*-1. Let c = -0.3 - -0.1. Are c and t nonequal?
True
Let j be 1/(-4) - 27/(-12). Suppose 0 = -4*r + 4*n, -j*n + 0*n = 0. Let z(i) = i**3 - 1. Let f be z(1). Is f greater than r?
False
Let c = -0.1 - -0.2. Let i = -0.3 + c. Let p be ((-18)/24)/(2/(-8)*-6). Is p at most as big as i?
True
Let u be (-4)/(-10) + (-54)/(-15). Suppose -2 = u*r - 26. Suppose s = r*s. Which is bigger: 1 or s?
1
Suppose 0 = 4*o - 19 + 3. Suppose -6 = 3*s, c - o*s - 6 = -0*c. Suppose -3*m + 5*l = 9, 0*l + 3*l = 4*m + 12. Which is smaller: c or m?
m
Let c = 37/6 - 6. Which is smaller: 7 or c?
c
Let x = -101.23 - -102. Let m = 0.03 + x. Is -1/4 smaller than m?
True
Let n = -4036/31 - -130. Which is bigger: 1 or n?
1
Let d(b) = -2*b**2 - 6*b + 2. Let n be d(5). Let y be (0 + -177)*8/18. Let x = n - y. Which is greater: 1 or x?
1
Let a = -3773/17 + 222. Which is bigger: a or -1?
a
Let d be (-54)/(-5) - 1 - 16/20. Is 17/2 not equal to d?
True
Let t be (-171)/(-27) + 4/6. Suppose -3*a - 2*j + t = 0, 3*a = -5*j + 5 + 17. Which is smaller: a or -2/19?
a
Let p = -8 - -8.3. Let t = -0.08 + -0.12. Let d = p + t. Which is smaller: -1/2 or d?
-1/2
Let z = 0.13 + 0.37. Let h = z + 1.5. Which is smaller: 3/13 or h?
3/13
Let q = -4/34877 - -6870989/1918235. Let v = 17/5 - q. Is v at most 2?
True
Let k be (-4)/(-14) - 40/(-56). Is 4/9 at least k?
False
Let n(p) = p + 8. Let t be n(-5). Suppose t*b - 7*b = 4. Which is smaller: b or -2/7?
b
Let h be (-3)/((-3)/(-2)) - 3. Let f = 55245/7 - 552227/70. Let s = 29/10 - f. Which is smaller: h or s?
h
Let d(t) = -2*t**2 - 10. Let v be d(0). Which is smaller: 0.1 or v?
v
Let z = 21 + -17. Let y be z*(-12)/(-16) - 3. Suppose 4*q - m + 2*m = -3, -5*m - 15 = -2*q. Is q >= y?
True
Suppose -4*x - 51 = 177. Let a = 398/7 + x. Which is smaller: a or 1?
a
Let s be (-7)/(-3) - 10/(-15). Suppose -s*o + 31 = 5*z, 0 = z + 2*o - 5*o + 1. Let d be 2 + (9/z)/(-1). Is 1 at least d?
True
Suppose -9 = 5*t + 6, 12 = 3*m - 3*t. Which is smaller: m or -5/34?
-5/34
Suppose 5 = 2*x + 3*f, 5*x + 0*x + 1 = -3*f. Suppose 0*b + 3*b = -3. Which is smaller: x or b?
x
Let y = -8 + 14. Let z be (-1)/6 - (-3)/y. Is z smaller than 0?
False
Let i = -206857/6 - -34657. Let j = 180 - i. Is j equal to -1?
False
Let k(j) = -j**2 - 4*j + 4. Let g be k(-5). Let f = g + 3. Is f <= 6?
True
Let i = -0.7 - 0.3. Let o = 1.7 + -6.5. Let r = -5 - o. Is r >= i?
True
Let o(b) = b**3 - 10*b**2 + 21*b. Let a be o(9). Which is smaller: 109 or a?
a
Let d(l) = l**2 - 22*l + 26. Let j be d(20). Which is smaller: -15 or j?
-15
Suppose 0*b - 4 = -r - 3*b, -2*b + 2 = r. Let n be r/(-2) + 1 + -4. Let o be (-3)/(-9) - n/(-6). Is o less than -2/7?
False
Let z be 2 + 0 - (-11 + -1). Let g be (-4)/z - (-12)/(-7). Are g and -1 equal?
False
Let p = -6 + 7. Let f be (-3 - (-10)/p)*-1. Let o(m) = -2*m**2 + m - 1. Let x be o(2). Does f = x?
True
Let t be ((-2)/(-4))/(4/4). Let h be ((-1)/(-2))/((-3)/24). Let n be 10/h*(-2)/5. Is t >= n?
False
Suppose 31 = o + 3*x - 2*x, -43 = -o + 5*x. Suppose 4*k = -5*g - o, 7*g - 2*g = -3*k - 31. Which is smaller: g or -4?
g
Let u = -10 - -5. Let w be 29/(-60) + (-2)/u. Which is bigger: -1 or w?
w
Let r = -5 + -3. Let m be (-1)/(2/r*2). Which is greater: m or 10/9?
m
Let g = 2 + 0. Let c = g + -1.6. Let s = -0.4 + c. Is s bigger than 1/4?
False
Let c(f) = -f**3 - 3*f**2 - 3*f - 7. Let x be c(-4). Is x less than or equal to 19?
False
Let k be ((-58)/18 + 3)/2. Which is smaller: -1 or k?
-1
Suppose 3*g = 3*k + 33, 2 = -k - 1. Suppose 2 = 3*i + g. Let s be 6/5*(-4)/6. Are s and i unequal?
True
Let n(f) = -f - 17. Let s be n(-14). Which is bigger: s or -1?
-1
Let h = 7 + -15. Let g = h + 6. Let b be ((-3)/6)/1*g. Is 1/7 bigger than b?
False
Let v be (-2)/(-1)*(0 + -14). Let g = v + 57/2. Let i(p) = -p**3 - 8*p**2 + 8*p - 7. Let x be i(-9). Which is smaller: g or x?
g
Let a = 13 + -2. Let c = a + -21/2. Which is greater: c or 0?
c
Suppose 21 = -4*d - 3. Is d > -4?
False
Let a(c) = -6*c**3 + 2*c**2 + 2*c + 1. Let x be a(-1). Suppose 5*h - 14 = -2*p, -4 = -5*p - 3*h + 31. Is x smaller than p?
False
Let h be 4/(-72)*578 - 2. Let r = -3611 - -10936/3. Let d = h + r. Is 1 at most as big as d?
False
Let f = 25 + -11. Let s be (-2)/(-4) - f/4. Suppose 0 = -3*u + 2*u - 2. Are u and s nonequal?
True
Suppose -10 = n + 1. Let y = -23/2 - n. Is 0 smaller than y?
False
Let l be ((-4)/(-5))/(2/10). Suppose 10 + 12 = -l*s + 2*i, 4*s = 3*i - 25. Is -4 > s?
False
Let h be 0/(0 - (2 + 0)). Suppose k + h = -3. Is 0 at least k?
True
Suppose -h - y = 2, -10 = 5*h - 7*y + 2*y. Which is greater: h or -11/10?
-11/10
Let r = -50 + 44. Is r greater than or equal to -3?
False
Suppose r + 99 = -4*a, 3*a - 3*r + 81 = -6*r. Let q = 185/6 - 166/3. Let p = q - a. Which is greater: 1/4 or p?
1/4
Let d = -3.25 - -2.4. Let v = 0.5 + 0.3. Let b = d + v. Is -0.1 bigger than b?
False
Let n(d) = -d**3 - 3*d**2 - 4*d - 4. Let y be n(-5). Let k = y + -329/5. Which is smaller: k or 0?
0
Suppose 0 = 4*u + 20 + 24. Which is smaller: u or -7?
u
Let h = -590/553 - 6/79. Do h and -1 have the same value?
False
Let z = 0.14 - 0.84. Let a = z + -0.3. Let r be (-22)/(-28) - (-2)/(-4). Is r != a?
True
Let y(d) = -2*d - 4. Let s be y(7). Which is smaller: -17 or s?
s
Let m = -4561/8 - -569. Let y be (7/12)/((-6)/9). Let h = m - y. Does 1 = h?
False
Let i = -20 - -22. Suppose 0*h + i*h = -16. Are h and -7 equal?
False
Let f = 57 + -57. Is f equal to 2?
False
Let w = -2/377 - -880/23751. Which is smaller: w or -1?
-1
Suppose 2*d + 54 = 5*w - 1, 5*w = -d + 10. Let t be d/21 + 1 + 0. Which is smaller: -1 or t?
-1
Let g be -3 + 5/((-20)/(-26)). Which is greater: g or 5?
5
Let y = 5 - 3.7. Let c = -4.3 + y. Which is smaller: -2/7 or c?
c
Let t be 2 - 1 - (-1 + -1). Let c = t + -8. Is -5 equal to c?
True
Suppose 0 = -0*s + s + 1. Let r be s + -2 + (-20)/(-6). Which is smaller: -1 or r?
-1
Let f(o) = 5*o - 4. Let q be f(8). Let z = q - 398/11. Is z >= -1/3?
True
Let w = 2 + -1.8. Let m = -0.5 - -2.5. Which is smaller: w or m?
w
Let z be 6/(-1 - (-10)/4). Which is smaller: 0 or z?
0
Let d be 2/(-11) + 5397/(-385) + 7. Which is greater: -7 or d?
-7
Suppose 10*s + 3 = 13*s. Which is smaller: s or -6/25?
-6/25
Let d = 0.5 - 0.8. Let a = -1.7 - -1.5. Are d and a unequal?
True
Let b be 6/20*(5 - -1). Is 1 bigger than b?
False
Suppose 10 - 2 = -h. Let v = 12 + h. Let g = 4 - v. Does g = -2/7?
False
Let x be (-1 - (-5 - -4)) + -4. Which is smaller: x or -5/2?
x
Let k = 1/5 + -1/10. Let p(d) = d - 3. Let j be p(3). Which is smaller: j or k?
j
Let m be (-345)/50*8/(-20) + -3. Are 1 and m non-equal?
True
Let g = -0.4 + -3.4. Let p = g - -4. Which is smaller: p or -0.1?
-0.1
Suppose 3*b = 5*b + 22. Let w = b + 15. Suppose -w*n + 2 = -2*n. Which is greater: 2 or n?
2
Suppose b + 4 + 1 = 0. Let f be b/4 + (-6 - -7). Which is smaller: f or -1?
-1
Suppose 0 = -4*f + 9*