= -3 - -1. Let x be (z/(-4) - 1)*3. Suppose 0 = -7*b + 4*b - 9. Which is greater: b or x?
x
Let a = -7 + 4. Let k be 1/a - 2/3. Which is bigger: -1/2 or k?
-1/2
Let c be 0 + 236/(-76) + 3. Which is greater: c or 0?
0
Let z be 16/916*(-3)/6. Which is smaller: 1 or z?
z
Let a = -84.67 - -84. Let o = -0.07 - a. Let c = -4.6 + o. Which is smaller: -0.1 or c?
c
Let v(h) = h**3 - 10*h**2 + 11*h - 12. Let x be v(9). Suppose -q + 10 - x = 0. Which is greater: q or 6?
6
Suppose 5*n - 30 = 2*n. Suppose 3*d + 2*d + n = 0. Let x = 2 + -5. Is d at most x?
False
Let t = -388 + 1529/4. Is -5 <= t?
False
Let t = 1.03 - 1. Let k = 2.03 - t. Does k = 0?
False
Let i = 32 - 63/2. Which is smaller: i or 2?
i
Let d(t) = t**3 - 2*t**2. Let a be d(2). Let x be 36/15 - (-2 - (-2 + -3)). Is a at most x?
False
Let h = 1759/1113 + -56/53. Let c = -1/7 - h. Are -2/3 and c non-equal?
False
Suppose 4*c + c = 0. Let y = -8 - -54/7. Is y > c?
False
Let h = -1/20 + 31/20. Which is smaller: 3 or h?
h
Suppose 5*r + 4*l = 58, -6*r + l = -3*r - 28. Are 10 and r equal?
True
Suppose -k + 4*p = k + 6, 4*k = 4*p - 8. Let n = 634/255 + -40/17. Which is smaller: n or k?
k
Let q = 0.29 - 0.39. Let k = -5 - -11/2. Is k at least q?
True
Suppose 6*n + 5 = n + 5*l, -3*n - l - 11 = 0. Suppose 0*t = -2*t + 4. Suppose -5*h + 7*i - t*i = 20, h - 4*i + 7 = 0. Is n >= h?
True
Suppose -3*r = 2*x + 2, 3*x = -x + 5*r - 4. Let l be (8/(-15))/(12/(-10)). Is l greater than x?
True
Let y = -245/4 + 61. Suppose -28 + 8 = 4*q. Let j be 2/q - (-12)/(-20). Does j = y?
False
Let n(t) = t**3 - 7*t**2 + 6*t - 1. Let x be n(6). Let d be ((-10)/25)/(1/5). Let l = 0 + d. Do l and x have different values?
True
Suppose -5*i + 70 = 105. Which is bigger: -9 or i?
i
Let w = 0.034 + -0.012. Are w and -2/7 non-equal?
True
Suppose 4*t = 8*t. Let s = 0 - t. Is s < 2/9?
True
Let p = -7.46 - -9.5. Let w = 0.04 - p. Is -0.2 at most w?
False
Let m be (5/25)/((-14)/(-4)). Which is greater: 2/5 or m?
2/5
Let y = -55 - -55.1. Is y at least -2?
True
Let s be (-1)/((-2)/(3 + -9)). Let o be 2/(-10) - s/15. Let t = o + 1. Do 3 and t have different values?
True
Suppose -7*q = -5*q. Let v be 0 - q - (-36)/84. Which is bigger: v or -1?
v
Let v be ((-2)/6)/((-6)/36). Let u(i) = -3*i - 4. Let j be u(-3). Let n(y) = -y**3 + 5*y**2 - 1. Let z be n(j). Is z at least v?
False
Let r = 36 + -34.3. Let n = r + -2.7. Is -3 greater than n?
False
Let f = 10 - 13. Which is greater: f or -7/4?
-7/4
Let l(a) = -3*a**3 - 3*a**2 + 6. Let b(n) = -n**3 - n + 1. Let m(x) = 2*b(x) - l(x). Let v be m(-3). Suppose 0 = 4*d - 2 - v. Which is smaller: 1/7 or d?
1/7
Let v = 12 + -12. Are v and -0.01 non-equal?
True
Let u be 0 + 3 + (2 - 11). Let f be u/(-18)*12/(-10). Do -9/4 and f have different values?
True
Let x be ((19 - 19)*1/(-1))/(-2). Is x > -4/49?
True
Let s be (6 + -10)*2/12. Which is greater: s or -2?
s
Let v(g) = g**3 + 8*g**2 + 4. Let l be v(-8). Which is bigger: 5 or l?
5
Let f = 5 - 5. Which is smaller: f or -4?
-4
Let r be (27/(-30))/(9/(-15)). Let j = 206 - 290. Let c be 2/15 + j/(-45). Which is bigger: r or c?
c
Suppose f + 0*f - 6 = -2*d, 36 = 4*d - 4*f. Does -1 = d?
False
Suppose -4 = -0*m - m + 3*c, -m - 4*c = -32. Suppose -o = -5*v + 2*o + 2, 0 = -2*v + 5*o + m. Is v != -4?
True
Let y = -77 - -151/2. Is y at most as big as -6?
False
Let q = 0.57 + -0.07. Let j = 0.2 - 0.8. Let l = j + q. Are -3 and l equal?
False
Let f be (-4)/(-140)*(-14)/7*-1. Suppose -3*y - l = 4, 4*y - 4*l + 1 = -y. Is y less than or equal to f?
True
Let d = -185 + 2033/11. Let l = 2 - -2. Let i = l - 5. Which is bigger: d or i?
d
Let l = -0.113 - 8.887. Which is smaller: 0.4 or l?
l
Let t(w) = -w**2 + 7*w - 8. Let h be t(7). Let n = 12 + h. Suppose -n*d + 0 = -4. Is d less than 3/4?
False
Let v be (-1)/(-4) - (-1821)/28. Let u = 65 - v. Let n be (2 - 3)*7/7. Is n < u?
True
Let u = -0.02 + 0.32. Let h = 47/2 - 23. Which is bigger: u or h?
h
Let n(v) be the first derivative of v**4/4 + v**3/3 - 2*v - 1. Let s be n(0). Is s at least -2?
True
Let r = -401 - -2799/7. Let q(p) = 2*p**2 - 36*p + 27. Let l(d) = d**2 - 18*d + 13. Let s(w) = -7*l(w) + 4*q(w). Let f be s(17). Is r smaller than f?
True
Let y = 2 + -2.1. Let q = -0.1 + y. Let o = -0.4 - q. Which is smaller: o or 1?
o
Let v(d) = 2*d - 6. Let f be v(4). Let w be ((-18)/16)/(6/(-8)). Is w greater than f?
False
Suppose -2*h + 0*h = 16. Suppose 4*l = 2*g - 4, 2*g - 4 - 2 = 2*l. Let r be l/((-2)/h*-1). Are -2 and r equal?
False
Let k(n) = -n**3 + 3*n**2 + 3*n + 4. Suppose -32 = -5*m - 3*r, 0*m + 16 = -m + 5*r. Let t be k(m). Let a be (-17)/15 - 0 - -1. Which is smaller: t or a?
a
Let k = -13 - -1. Let w(p) = p**2 + 8*p - 15. Let v be w(k). Let t be 2 + (v/(-15) - 0). Is t at least 0?
False
Let z be ((-9)/(-27))/(2/(-6)). Is z greater than or equal to -12?
True
Let d = 9.2 - 10.6. Which is smaller: 2/11 or d?
d
Suppose -28 = 5*p - 8. Is 2 greater than or equal to p?
True
Suppose -21*k + 25*k = -452. Is 0.1 less than or equal to k?
False
Let p be (2 - 10/6)/(2/186). Which is bigger: p or 33?
33
Let c be 2/(((-2)/11)/1). Which is greater: c or -8?
-8
Let k be (-2)/8 - 8/(-32). Is 4/13 > k?
True
Let t(n) = n - 6. Let w be t(5). Suppose 0 = -4*z - z. Suppose -4*x - 5*i + 20 = z, -x - i = 3*x - 4. Which is smaller: x or w?
w
Suppose 7 = 2*k + 5. Are 2 and k non-equal?
True
Suppose 2 + 3 = -5*j. Is j > 2?
False
Suppose -5*k - 2*t = -10, 3*k - 5 - 15 = -4*t. Suppose k = -i + 4*i. Is i greater than -3/4?
True
Let d be 4 - (-3)/(9/(-6)). Is d > 1?
True
Suppose -y = -6*y + 120. Let p be (1 - -3) + (-104)/y. Which is bigger: -5 or p?
p
Let j = -0.28 - -2.28. Let i = 2 - -1. Suppose n - 4 = -i*n. Is n > j?
False
Let c = -895/2 + 59969/134. Is c greater than or equal to 1?
False
Let y(q) be the third derivative of q**5/60 + 3*q**4/8 + q**3/3 - 2*q**2. Let u be y(-8). Let l be (-2 + 2)/(u/(-3)). Is -2/7 bigger than l?
False
Let c = -0.7 + 0.2. Let v = 3.8 - 4.8. Is v at least c?
False
Let k be ((-3)/6)/((-3)/(-6)). Which is smaller: 4/19 or k?
k
Let r be 0/(-1) - 1/7. Let f = -7 - 8. Let x = -14 - f. Which is smaller: r or x?
r
Let a be 8/6 + (-1)/3. Let v = 149927999/176 - 851866. Let h = 35/16 + v. Do h and a have different values?
True
Let t be 52/(-8) + 6/4. Let o(b) = b + 4. Let n be o(t). Let m be (-62)/70 - (-10)/35. Is m bigger than n?
True
Suppose 4 = p + 2. Let k = -2.1 + 2.3. Are k and p nonequal?
True
Suppose 6 = 2*a + 2. Suppose a*c = 3*z - 0*z + 10, 12 = 5*c - z. Let r = -69 + 70. Which is smaller: r or c?
r
Suppose -3*n - 5 = 2*n. Let z = 0 + n. Let b be 34/(-30) - 4/20. Is z <= b?
False
Let h(j) = 23*j**2 + j - 2. Let m be h(-2). Let k be (-877)/10 - (0 + 0). Let y = k + m. Which is bigger: y or -1?
y
Let p be -1*0/(1/1). Let f be 3 + 215/(-75) - 0. Which is greater: p or f?
f
Let m = -28 - -14. Are -14 and m unequal?
False
Suppose -2*m - 5*k + 5 + 2 = 0, 5*m - 5*k = 0. Let q = 115/2 - 227/4. Is q less than or equal to m?
True
Suppose 0 = -3*j + 3 - 6. Let i be (-20)/(-70)*(-2 - j). Is -1 greater than i?
False
Suppose -2*i = -1 - 1. Suppose 0*z = -2*z. Let h be -1 - z - i - 0. Is 1/3 greater than or equal to h?
True
Let z(c) = c**3 + 15*c**2 + 2*c + 22. Let h be z(-15). Which is smaller: h or -1?
h
Let g = 15/26 + 12/13. Suppose 0 = -4*c + 8 + 4. Which is bigger: c or g?
c
Suppose 3*d + 5*f - 8 = 0, -5*d + f = 3*f - 7. Is d != 3/11?
True
Let m = -1 + 6. Let o = m - 4. Is o > -2?
True
Suppose 0 = -l - 0*r - 2*r - 8, 4*r = 2*l + 16. Let i be 1/(-1 - 10/l). Which is smaller: 5 or i?
i
Let b = -8 - -7.9. Let k = -1 - -1. Which is smaller: k or b?
b
Let z = 10 - 10.1. Is 1 greater than z?
True
Suppose 5*t + 20 = 0, r + 3*t = -r. Do r and 8 have different values?
True
Let h be -1*1 - (2 + -5). Suppose 0 = -3*v - 15, 5*f - h*v + v = 10. Which is bigger: 0 or f?
f
Let u be 10/(-8) + (-1)/(-4). Let l be u/6 - 19/(-6). Do 5/3 and l have the same value?
False
Let t be 1 - (2 - (-4)/(-4)). Let w = t - -2. Is 4 bigger than w?
True
Let f = -0.2 + 1.2. Let k = -4 - -3.7. Let n = k + 0.3. Is n less than f?
True
Let n be ((-18)/(-27))/((-4)/(-30)). Suppose n*p = p. Is 1/12 smaller than p?
False
Suppose -3*a + 4*w = 119, w - 140 = 5*a + 6*w. Let k = 163/5 + a. Is 12 at least as big as k?
True
Suppose -4 = -y - 0. Suppose -2*r - 62 = 