z greater than or equal to -8?
True
Let c = 0.056 + -33.056. Let h = 48 + c. Let x = h - 14. Which is greater: x or -3?
x
Let o(f) = -f + 24. Let h be o(13). Suppose -136 = 4*d + 4*b, -h = d + 5*b + 11. Is d > -36?
False
Suppose 0 = -10*f + 4*f - 786. Do -131 and f have different values?
False
Let b = -247 + 260. Are b and 1/6 non-equal?
True
Let o = 42 - 82. Let m = -42 - o. Is -4/5 > m?
True
Let f = 2396 + -2403. Let b be (1 - 0)*(-1 - 0). Let j be (-13)/2*(-1)/b. Which is smaller: j or f?
f
Let v(i) = -4 + 44*i - 19*i + 10*i**2 - i**3 - 8. Let j be v(12). Are -2/67 and j equal?
False
Let g = 88.34 - 83. Let l = -5.4 + g. Are 10 and l nonequal?
True
Let y be (8/(-10))/((-2)/25). Let x(z) = z**3 - z**2 - 4*z - 3. Let c be x(3). Suppose -24 + 0 = -c*i. Which is bigger: i or y?
y
Suppose -10 = -6*t + 4*t. Suppose 2*w = -3*w + t. Let z = -5987/99 - -550/9. Is w less than z?
False
Let t = 1229 - 6137/5. Is 2 at least t?
True
Let b = 0.0117 - 0.1117. Is -245 equal to b?
False
Let t = -58 - -60. Suppose -20 = t*z - s, -4*z + 0*s = -3*s + 40. Does -11 = z?
False
Let v(l) = -l**3 - 12*l**2 + 10*l + 2. Let s be v(-13). Let c = 42 - s. Let x be ((-2)/21*-3)/2. Is c equal to x?
False
Suppose 15*c - 4919 = 2761. Is 512 greater than c?
False
Let x be 19/((-76)/24) + 4. Let k(a) = 2*a + 18. Let f(q) = q + 1. Let h(i) = -f(i) + k(i). Let y be h(-9). Which is smaller: x or y?
x
Let x be 1/(-3)*(-66)/(-77)*-7. Suppose 4*d + 0*d = 8. Is d greater than or equal to x?
True
Suppose -3*a = -4*t + 8, 4*a - 2*t = -3 - 1. Which is smaller: -7/54 or a?
-7/54
Let f(r) = r**2 - r. Let p be f(2). Let y be (p + 0)*(-10)/8. Suppose 52*j = -7 - 201. Which is bigger: j or y?
y
Let f = -7 + 9. Let l = 0 + f. Is l at most as big as 0?
False
Let u = -13.69 + 32.69. Suppose 1 = 2*a + 3. Are u and a non-equal?
True
Let x = -1/1146 + -4543/46986. Let s be -2 + (-4 + 2 - -4). Which is smaller: x or s?
x
Suppose -30*w = -25*w + 60. Let i = -5.3 + 6.3. Which is smaller: i or w?
w
Let f be (6/(-7))/(6/(-28)). Let y(n) = -4*n + 2 - 2*n**2 + f*n**2 + n**3 - 3*n**2 - 2*n. Let r be y(3). Is r < 7/6?
False
Suppose -2*l - 69 = 2*f - f, 15 = -3*l. Let z = 67 + f. Which is greater: 6 or z?
z
Let h be 1184/(-256) + (-12)/32. Let i be (15/14)/(2/(-7)). Is h at most i?
True
Let b be 62/8 + (-21)/28. Let n(j) = -j**2 - 6*j - 2. Let x(q) = q. Let y(a) = -n(a) - 3*x(a). Let w be y(-4). Do w and b have different values?
True
Let s(l) = -2*l - 4. Let v be s(4). Let r(o) = -6*o. Let m be r(2). Are m and v unequal?
False
Let v be (-1*3)/(37/(-888)). Is v > 215/3?
True
Let m be 362/46 + (-15)/(4 + 1). Which is greater: m or 6?
6
Let a be -7 + ((-2660)/(-294))/((-8)/(-6)). Let z = -4/39 + 98/195. Which is bigger: a or z?
z
Let m = -26 - 26. Let t = m + 54. Which is smaller: t or -1/13?
-1/13
Let f = -0.05 + -10.95. Let b = 14 + f. Let t = -6 + b. Is t >= 1?
False
Let u be 83/42 - (1 + 1). Let b = 298 + -297. Which is greater: b or u?
b
Let l be 2 + 8/(-6) - (-108)/(-81). Is l > -119?
True
Let r be (-6)/(-42) - 1782/28. Let y = r - -63. Are -1/2 and y equal?
True
Let p = 43 + -34. Let a = -39 - -35. Which is smaller: p or a?
a
Let s be (-27)/18 + (-2)/2 + 1. Let k = 0.23 - 0.14. Which is smaller: s or k?
s
Suppose 2*g = -3*g - 1845. Let f be 5/(-2)*g/(-30). Let i = 31 + f. Is i bigger than -3/5?
True
Let i(g) = -g + 28. Let l be i(37). Which is bigger: l or -2?
-2
Let h(b) = 2*b + 76. Let n be h(-27). Let l be -2*(n/(-88) + 2/(-8)). Suppose 0 = -2*x + x. Which is bigger: l or x?
l
Let h = 25 + -24.77. Let a = h + -0.03. Is 2 bigger than a?
True
Suppose -3*o + 4*r - 184 = 0, o + r = 4*o + 172. Let a = o + 55. Is a greater than 1/141?
False
Let k(q) be the second derivative of -q**4/12 + q**3 + q**2 - 5*q. Let t be k(6). Let p be (t/8)/(6/16). Is 0 smaller than p?
True
Let p(b) = -b**3 - b. Let l(a) = -5*a**3 - 8*a**2 - 19*a - 4. Let x(t) = l(t) - 6*p(t). Let r be x(9). Which is bigger: -41 or r?
r
Let n = 30 - 29. Let h be (6/18)/(n - 2 - 0). Which is smaller: 0.04 or h?
h
Suppose -g = -5*o - 3, -3*o - 3*g - 5 - 4 = 0. Let f be (9/30)/((-3)/(-6)) + o. Are f and -0.042 non-equal?
True
Let b = -0.077 - -0.177. Is b at most as big as 173?
True
Let v = 0.15 - -1.05. Let d = v + -3.4. Let s = 2 + d. Which is smaller: 0.1 or s?
s
Let j(p) = 2 - 4 - 5*p + 1 + 0*p. Let i be j(-2). Let b be (-6)/(-27) - 2/i. Is b >= -2/7?
True
Let r(v) = -v**3 + 17*v**2 - 33*v + 33. Let u be r(16). Is -0.2 > u?
True
Let r(l) = -l**3 - 9*l**2 + l + 10. Let u be r(-9). Let i = 361/27 + -40/3. Which is greater: u or i?
u
Suppose -15*n + 3 = -12. Which is smaller: n or -3/53?
-3/53
Let s be (3027*-3)/((-80)/8). Let a = -912 + s. Let y = 22/5 + a. Is y at most as big as 2?
True
Let v = 5 - 2. Let s be 4926*(-2)/10*1/2. Let q = 495 + s. Which is smaller: v or q?
q
Let g(w) = -w**2 - 8*w + 7. Suppose 3*y + 6 = -18. Let a be g(y). Do a and 7 have different values?
False
Suppose -2*j = 4*a - 22, -14 + 0 = -2*a - 2*j. Suppose -k + 5*v = -107, k = -a*v + 21 + 41. Is k != 83?
True
Let u be 13/(20/10 - 39/21). Is 93 less than or equal to u?
False
Suppose -3*g = -2*u - 2*u + 34, -g - 18 = -3*u. Let k be 4/g*(-24)/(-136). Let j = 20/9 - 2. Which is greater: k or j?
j
Let p = -4.9676 + 0.0776. Let c = p - -5. Let z = c + -0.19. Which is smaller: z or 1/2?
z
Suppose -5*c + 20 = 40, d + c = -25. Is -20 at most d?
False
Suppose 6 + 6 = -3*b, 5*t = 3*b + 87. Suppose 5*p + 0*k + 5*k = -t, 2*p - k = 3. Is p greater than 4/11?
False
Let l = 98 + -63. Let h = 41 - l. Which is smaller: 5 or h?
5
Let o = 2271 - 247536/109. Is -3 bigger than o?
False
Let a be (-35)/11 + (16/44)/2. Let u be (a/27)/((-4 + 6)/(-6)). Is u < -1?
False
Suppose 675 = x - 10*x. Which is smaller: -77 or x?
-77
Let u = 17.2 - 172.2. Let r = 155.097 + u. Which is smaller: r or 0?
0
Suppose 20*q = 6*q. Which is smaller: -29 or q?
-29
Let o(v) = 2*v**3 - 6*v**2 - 8*v + 8. Let x be o(5). Suppose 0 = -3*u - 2*d + 215, 3*d = 2*u - d - 122. Is u less than or equal to x?
False
Let g be 22/24 - -6*5/(-120). Let o = 0.79 + -0.6. Which is bigger: o or g?
g
Suppose 504 = g + 3*g. Suppose -2*h = h + 4*c - g, -47 = -h - 3*c. Is 0 <= h?
True
Let p be (98/10)/((-10)/(-50)). Suppose 0 = 5*d + p + 26. Let x be 2/6 + d/(-9). Is -0.1 != x?
True
Let t = 519/14 + -721943/19474. Is t >= -1?
True
Let g = 1/1772 + 7081/12404. Is g less than 0.09?
False
Let d = -9 - 19. Suppose -3*s = -10 + 97. Which is bigger: d or s?
d
Suppose -8 = 4*t - 0. Are t and -47 unequal?
True
Let i be (1/(-3 - 0))/(-684 - -47). Is i at most 0?
False
Let o(f) = 6*f + 8. Let l be o(-6). Suppose -87*h = -78*h - 18. Is l at least as big as h?
False
Let b = -0.07 - -33.07. Let u = 32.93 - b. Is u at least -1?
True
Let i = -18 - -8. Let l be (i/15)/(4/6). Let m be (l/7)/((-12)/14). Is m <= 0?
False
Let g = 104 + -72. Suppose 2 = -2*t - g. Let n be 8/20*(-2 - t). Which is smaller: n or 7?
n
Let q = -7 + 4. Let v(m) = 5*m**3 + 3*m**2 - m - 5. Let i(d) = -4*d**3 - 3*d**2 + d + 4. Let j(r) = 4*i(r) + 3*v(r). Let o be j(-2). Which is bigger: q or o?
q
Let f = -180 - -181.1. Let r = 8.9 + -12.8. Let m = r + 4. Which is smaller: f or m?
m
Let b = -12.78 + 11.9. Let m = 0.12 - b. Is m greater than -11?
True
Let f(g) = 3*g + 13. Let h be f(-13). Let l = -21 - h. Suppose 0*z + 15 = -l*z. Which is greater: z or 4?
4
Let l = 7 - 1. Let a(j) = -7 - 6*j**2 + 91*j + j**3 - j**2 - 86*j. Let d be a(l). Is d at least -12?
False
Let q = -231.1 + 220. Let j = q + 2.1. Let x = j - -9. Which is smaller: -1/5 or x?
-1/5
Let i = 105 + -104. Is i greater than 52?
False
Suppose 108 + 108 = -3*i. Let x be 28/i - 7/(-42). Which is greater: x or 0?
0
Let m = 23 + -22. Let q = 0.8 - m. Are q and 2 equal?
False
Let u be (8 + (-242)/30)*1*14. Is -1 > u?
False
Let u = -15 - -21. Suppose u*d = d. Suppose d = -0*x + x - 5. Which is smaller: 0 or x?
0
Let i = 12200711/1141 - 10693. Is -1 <= i?
True
Let w = 3792 + -3791. Let h = -3 + 3.1. Is h != w?
True
Let g = -1/10179 + -5008061/71253. Do -70 and g have the same value?
False
Let t(p) = -11*p + 8. Let j be t(6). Suppose 166 = -22*x - 452 - 658. Is j < x?
False
Let p = 1 + 2. Let g be (-4)/(-5) - 17082/(-6435). Are p and g nonequal?
True
Let r(a) = a**2 - a - 12. Suppose 1 + 3 = l. Let s be r(l). Which is smaller: s or