*z**2 - z - 2. Let h be r(-2). Let l be (h/10)/(3/(-15)). Let o be (-4)/l*(-6)/(-4). Is o greater than or equal to -1?
True
Let w = -496/99 - -60/11. Suppose 3*a + 1 = 4. Which is bigger: a or w?
a
Let j(b) = -b**3 - 3*b**2 - 2*b + 2. Let g be j(-2). Suppose -g*i - i = 6. Is 0 at most as big as i?
False
Let z = -17 + 30. Suppose 4*s = -f - z - 7, 5 = -4*f - s. Let k = -192 + 3266/17. Which is bigger: f or k?
k
Suppose 1 = 4*h - 0*u + u, 5*h = 3*u - 20. Let q(p) = -p**3 + 4*p**2 + 5*p - 1. Let o be q(5). Let g be -1 + (o - 2/(-4)). Which is smaller: h or g?
g
Let u be (-2)/(-4)*-4 + -4. Let x = u + 7. Let t be 23/87 + (-2)/6. Which is bigger: t or x?
x
Let f = -3 - -3. Is -6/29 > f?
False
Suppose 0 = -2*g - 16 - 18. Is g greater than -17?
False
Let b(i) = 2*i**2 + 2*i + 2. Let y be b(-2). Let c be ((-8)/y)/(10/(-15)). Suppose 5*w - c = 3. Which is smaller: 2/3 or w?
2/3
Let v be 0/5 - 2/(-5). Which is greater: -4 or v?
v
Let d(q) = -q + 10. Let w be d(5). Suppose -w*b - 3 = -13. Suppose -4*g = -5*i - b + 1, -4*g = -3*i - 7. Is 4 at most g?
True
Let a = 25 - 25.1. Let q = 8/7 - 31/21. Which is smaller: q or a?
q
Let k = -0.05 + 0.07. Let i = -0.22 + k. Which is smaller: i or -1?
-1
Suppose 6*k = 3*k + 27. Suppose -h = j - 7, -3*j - 25 = -4*h + 17. Is h smaller than k?
False
Let k(f) = -f - 3. Let p be k(-8). Is p less than -3?
False
Let y = -1/1909 - 3687/250079. Is y at most -1?
False
Suppose 35 = 5*o - 5*b, -2*b + 7 = -5*o + 33. Let k = 0 + 3. Is k less than or equal to o?
True
Let d = 205/4 - 52. Is -1 less than d?
True
Let b = -0.1 + -0.3. Let t = b + 0.5. Is -3/8 >= t?
False
Let r be (2 + 16/(-6))*-3. Suppose -3*v = 2*t + r*v, 0 = 5*t + 4*v. Suppose 0*w - w = t. Which is smaller: 3/4 or w?
w
Let x be (-1)/(-2) + (-7)/2. Suppose 0 = -v - 34 - 6. Let b be v/(-30)*(1 - 4). Is b less than x?
True
Let d be (0 + (-3)/15)/(6/(-10)). Suppose 0 = -j - 4*j + n + 6, 5*n = j - 6. Is d > j?
False
Suppose 36 = 3*i + i. Let o be 2 - (2 - i/3). Let u be ((-1)/3)/((-3)/(-9)). Which is bigger: o or u?
o
Let c = -8 + 10. Suppose z + c*z = 0. Is 3 >= z?
True
Let f be (-78)/(-90) - (-4)/30. Let t = 3 + -2. Is t bigger than f?
False
Let d be -1*(-2)/(-4)*2. Suppose -4*x + 15 = 3. Let q be x/(-15) - (-4)/12. Which is greater: q or d?
q
Let z = 55 - 496/9. Which is bigger: z or 3?
3
Let m(p) = 3*p**2 - p**2 + 5*p - p**2 + 1. Let r be m(-6). Suppose -5*f - 37 = -r. Is f bigger than -6?
False
Let m(t) = 4*t - 9. Let r be m(6). Let k be (3/(-9))/(1/r). Does -5 = k?
True
Suppose 0 = -3*i + 3*r + r - 53, -5*r = -2*i - 40. Let c be (i/6)/5*2. Which is smaller: c or 0?
c
Let z = -45/164 + 1/41. Is z less than or equal to 3?
True
Suppose 5*q - 2*f + 13 = 0, 0*f + 2*f - 7 = 3*q. Let d be (1/q)/((-30)/9). Is -1 at most d?
True
Suppose -66*o + 68*o = 22. Which is smaller: o or 10?
10
Suppose -7*m + 10 + 4 = 0. Is m smaller than -0.07?
False
Let d(p) = p**3 + p**2 + 3*p + 32. Let g be d(0). Which is greater: 33 or g?
33
Let d = -95 + 121. Are d and 132/5 equal?
False
Let d(z) = -z + 2. Let q be d(-2). Let n(g) = g**2 - 6*g - 2. Let h be n(q). Let o be (4/h)/(21/(-15)). Which is smaller: 0 or o?
0
Let m = -6 + 6. Are m and 2/123 nonequal?
True
Let j = -7 - -10. Let x = j + -3. Let o = x + -1. Is 0.1 not equal to o?
True
Let v = -110.2 + 110. Are -41 and v non-equal?
True
Let r = -8 + 11. Let f = 6 + -3. Let d = f - r. Are 2 and d equal?
False
Let x = -1373/5 + 277. Is x smaller than 2?
False
Suppose 5*r = -2*g - 46, -4*r - 5*g - 31 = 16. Let y = -14 - r. Let p = -5 - y. Is 1/2 at most as big as p?
True
Suppose -4*c - 1 = 7*z - 4*z, -4*z + 8 = -4*c. Let g = -4 - z. Let a = g - -4. Which is bigger: a or -2?
a
Let f = 0.3 + -0.3. Let h = 4 - f. Let l = -3.9 + h. Are l and -0.4 equal?
False
Let p be 2/((0 + -3)/(-24)). Is 16 greater than or equal to p?
True
Let n be (-2)/(-3)*(-15)/(-5). Let r be -1*(-6)/((-6)/n). Let w(b) = -b. Let k be w(1). Is r greater than k?
False
Let u(r) = -r**2 - 3*r + 4. Let l be u(-5). Are l and -11 non-equal?
True
Suppose 4*k = 5 - 1. Is k >= -5?
True
Let w be 1/(-2)*(56/(-21) - -4). Is w at least as big as -49?
True
Let x be (-7 - -12) + 6/(-2). Suppose 0 = -x*h - l + 14, -h = -3*l + 8 - 22. Is 8 at most as big as h?
True
Let f = -6/593 - -32687/7116. Let s = 21/4 - f. Let z = -2.1 + 1.8. Which is greater: s or z?
s
Let i = -0.1 + 0.2. Let c = 5 - 3. Is c at least i?
True
Let n = -0.66 + 0.65. Which is smaller: 3 or n?
n
Let n = -1 + 3. Suppose -32 = -n*u - 5*b, 4*u = -u + 5*b + 10. Are u and 6 non-equal?
False
Suppose l = 7*l - 6. Which is smaller: l or 1/4?
1/4
Suppose 0 = 2*k - 17 + 1. Suppose -k = 4*p - 5*m + 2*m, -p = 2*m + 2. Is -2 at least as big as p?
True
Let w(i) = i - 1. Let b be w(0). Let q be 2/(-4) + 425/830. Let j = 153/1079 + q. Which is bigger: b or j?
j
Suppose 3*l = 2*p - 11, 4*l + 4*p = p - 26. Let k be (0*(-2)/6)/1. Let n be 3/(-1 + k + 0). Is l at most as big as n?
True
Let m = -20.49 - 0.51. Is m at most as big as -0.1?
True
Let u(g) = 3*g**2 - g. Let k be u(2). Which is bigger: k or -3?
k
Let u(z) = -4*z - 3. Let h(y) = -3*y - 1. Let c(w) = -5*h(w) + 4*u(w). Let t be -4*(0 - -2)/2. Let j be c(t). Is -4 not equal to j?
True
Let u(y) = y + 4. Let q be u(-3). Let a = 2 - q. Which is smaller: a or 2/7?
2/7
Let q be ((-8)/1)/((-33)/(-6)). Let o = q - -14/11. Let d be (-2)/11 - (-5 + (-126)/(-33)). Which is greater: o or d?
d
Let m be (-2)/(-7) + (-8140)/70. Is -116 < m?
False
Let l(z) = -2*z**2 - 4*z - 2 + 5*z**2 - 2*z**2. Let a be l(5). Is a less than 3?
False
Suppose -2*o + 9 = o. Suppose -12 = -f - 3*f. Is o >= f?
True
Let w(q) = -q**3 - 7*q**2 - 5*q. Let k be (-40)/7 - (-22)/(-77). Let b be w(k). Are -6 and b nonequal?
False
Let s = 4198/33 + -380/3. Which is smaller: s or 1?
s
Let q = 26 + -64. Which is bigger: q or 0.2?
0.2
Suppose -t = 4*i - 2, -2*t = i + i + 2. Let a be 6/(-4) - -1 - (-54)/270. Is i at most as big as a?
False
Let w = -14.7 - -7.4. Let f = -8 - w. Let s = -0.6 - f. Which is smaller: s or -0.3?
-0.3
Let b = 14 - 14. Is 6/13 not equal to b?
True
Let o be 43/42 - 26/39. Is o bigger than -1?
True
Let i be (-2 - (-2)/2)*0. Let d = 1 - i. Let n = 838/7 + -120. Is n at most d?
True
Let h = -1/15 - 2/45. Suppose 2*w - 4 = -6. Which is smaller: h or w?
w
Suppose -3*w - w + 12 = 0. Suppose 0 = -2*p - 5*q + 14, 0 - 2 = 2*p - w*q. Let t be (p - 2)/(-2 + 3). Which is smaller: t or -1/4?
-1/4
Suppose -7*x = -3*x. Suppose x = -2*k + 2. Let a be 4/14 + (-60)/(-35). Which is bigger: a or k?
a
Let z(u) = -u**2 - u - 164. Let v be z(0). Let s = 80 + v. Let f = 2606/31 + s. Which is bigger: 1 or f?
1
Suppose -3*x = 13 - 7. Suppose -2*c + 0*c = 0. Let v = x + c. Is v at most -3?
False
Let g(m) = -m**2 - 5*m + 6. Let p be g(-6). Let n = 0.82 - -2.18. Which is smaller: n or p?
p
Let f be ((-3)/(-12))/((-66)/8*1). Which is smaller: f or 0?
f
Let x be 1 + 2 + 4/(-2). Let a = 5 + -11. Let z = -6.1 - a. Is z >= x?
False
Let t = 7.644 + 0.056. Let x = t + -8. Is x less than or equal to 0.1?
True
Let o = -2 + 2. Let x = 1 + o. Let j = 0 + x. Does j = -1/2?
False
Let h be 2/3 - (-20)/6. Is h at most 8/3?
False
Suppose 0 = -k + 2, -5*k = -2*a - 3*a - 10. Let o = 2073/7 + -296. Is o < a?
False
Suppose -2*i = 2*i - 16. Let s be -4 + (i - (-16)/4). Suppose 5*t + 1 = 21. Is s at least as big as t?
True
Let x = -10 - -11. Which is smaller: x or 5?
x
Let y(q) = -q**3 + 10*q**2 + 13*q + 1. Let h be y(11). Are 24 and h equal?
False
Let f be (-84)/(-9) - (-2)/3. Let d = f + -12. Let x = -1 + -1. Are x and d non-equal?
False
Let a = 1.6 + -2. Let o = -40 + 40. Which is bigger: o or a?
o
Let f(y) = -y**3 - 3*y**2 + 2*y - 5. Let c be f(-4). Suppose -c = -t - 2*t. Which is greater: 2/15 or t?
t
Let q = -11 - -12. Which is greater: q or -13?
q
Let h(s) = s**3 + s - 3. Let i be h(0). Let b(w) = w**2 + 9*w + 1. Let z be b(-10). Let c = 9 - z. Are c and i unequal?
True
Let f = 0.93 - 1. Which is bigger: f or -1?
f
Let i = -164/333 - -10/37. Let g = -10 + 12. Suppose 2*l = -g*l. Which is smaller: l or i?
i
Let i be 18/(-22) - (-2)/(-11). Is i <= -4/9?
True
Let g = -11 + 5. Let b = g - -5.7. Which is smaller: 1/3 or b?
b
Suppose 39 - 11 = 4*o. Let p = 9 - o. Is p > 0?
True
Suppose -2*h = -y - 141, -2*h = -2*y - y - 147. Let j = -346/5 + h. Let w(p) = 3*