and z unequal?
False
Let s be 10/(-270)*(-3)/(-9). Is s less than or equal to 1?
True
Let h = -477/28 + 128/7. Suppose 0*v - x = 4*v - 6, -3*x = -4*v + 14. Is v greater than or equal to h?
True
Let g = -1/10 + 0. Let c = 7 + -2. Suppose 5 + 0 = c*w. Which is smaller: w or g?
g
Suppose 3*g - 2*g - 3 = 0. Let f be 3 + (-1 - (-2)/1). Is f smaller than g?
False
Let j = 8 + -13. Does 6/11 = j?
False
Let s(j) = j**3 - 3*j**2 - 5*j + 6. Let q be s(4). Let x = 0 - q. Let l(g) = -g + 2. Let t be l(2). Are t and x unequal?
True
Suppose -10*f = -5*f. Let s be 0 + 2 + (-986)/12. Let l = s - -80. Is l equal to f?
False
Let p be (-18)/9 - (-12)/5. Which is greater: p or -1.3?
p
Let f = -3 + 3.6. Let v = f + 0.4. Which is smaller: -0.12 or v?
-0.12
Let l be 10/(-21 - (5 + -4)). Which is smaller: l or 1?
l
Let u = -0.1 - 0. Let i be (-1 - 4/(-12))/((-21)/(-9)). Which is greater: i or u?
u
Let b = 8.7 + -3. Let f = 0.7 - b. Which is greater: f or -0.1?
-0.1
Let y = -140.9 + 141. Is 27 less than or equal to y?
False
Suppose -3*c + 3 - 1 = -2*h, -3*c - 4*h - 22 = 0. Which is smaller: c or 2/5?
c
Suppose 4 = -l + 5*l + 2*a, 0 = 3*a - 6. Suppose l = -3*q + 8*q. Are q and -2/7 equal?
False
Let p be (20/375)/((-2)/5). Let m = -3.1 + 3. Which is greater: m or p?
m
Let r = -17 + 17. Do r and -3 have the same value?
False
Let p = 24 + 37. Which is greater: 62 or p?
62
Suppose 5*b - 9 = 3*h, 3*h - 6 = -2*b + 6. Is 2 bigger than h?
False
Let s = 11/2 + -5. Is s bigger than 0?
True
Let a be (3/(-36))/(27/8). Suppose 5*r - 1 + 0 = -z, -4*z + 4 = -4*r. Which is smaller: r or a?
a
Let h(s) = -s**2 - 4*s + 4. Let z be h(3). Which is greater: z or -16?
-16
Let r = -112669853779540267/1220 - -92352332707709. Let y = 6455849 + r. Let g = y - 1/244. Does -0.2 = g?
False
Suppose -9*j = -6*j + 9, -4*p + 8 = -4*j. Suppose -s + 5*s + 20 = -4*t, -6 = 2*t + s. Is p greater than t?
False
Let g = -1/207 - 91/207. Which is smaller: -0.4 or g?
g
Let l be (-2)/(-15) + 5/(225/(-186)). Let z = 12/25 + -2/25. Is l not equal to z?
True
Let d(p) = -p**2 - 2*p. Let j be d(-2). Suppose -y + 22 = 4. Let t be (-2)/4 - 3/y. Is j at most as big as t?
False
Let s be ((-4)/(-3))/(2/12). Suppose -v - v = r - 6, -v - 3*r = -s. Is 2 at least as big as v?
True
Suppose -10 = z - 0*z. Let b be (-54)/z - (-2)/(-5). Suppose -b*j + 0 = 2*y + 1, 0 = 5*y + 2*j - 8. Is y != 2?
False
Suppose -2*k = u - 2 + 5, -k - 6 = -4*u. Is -0.24 >= k?
True
Let p be 6/(-3) - (-44)/24. Let s(t) = t**3 + 3*t**2 - 4*t - 2. Let c be s(-4). Let i be (3 + c - 2)*1. Which is smaller: i or p?
i
Let o(v) = 26*v**3 - v + 2. Let i be o(1). Is 26 >= i?
False
Let k = 0.92 + 0.08. Let u = 1.1 - k. Which is greater: u or 2?
2
Let v be (3 - 44/12)*3. Which is bigger: v or 2/3?
2/3
Suppose 3*q - 5 = 4. Suppose -2*t + 16 = -q*t. Let s = -9 - t. Which is smaller: 8 or s?
s
Let o = 4 + -3.3. Let g = o - -0.3. Let k = g - 1.1. Which is bigger: 0 or k?
0
Suppose 0 = 3*o + a + 249, 4*a = -2*o - 243 + 87. Let h = 254/3 + o. Suppose n = 4*j + 4, -3 = -4*n + 13. Is h < j?
False
Let t be -5 - 4*(-5)/10. Which is greater: -9/5 or t?
-9/5
Let x = 0 - -0.29. Are x and -2/9 equal?
False
Let r(d) = 5*d - 1. Let v be r(1). Suppose -v*l + 0*l = -4. Suppose 0 = -o + 3*k + l, 6*o - o - 4*k + 6 = 0. Is -2 >= o?
True
Let m be (0 - -1)/(4 + (-18)/3). Which is smaller: m or 0.1?
m
Suppose -o + 72 = 2*o. Which is smaller: 25 or o?
o
Suppose 2*d = -4*q + q + 4, q + d = 0. Suppose q = 3*y + y. Let l be (-4)/264*-3*4. Which is smaller: l or y?
l
Suppose -12 = -4*x - 0*x. Let o = x + -6. Are -3 and o equal?
True
Let c(q) = -q**2 - 13*q + 17. Let h be c(-14). Let a be 2*(-5)/2 + h. Which is smaller: a or 4?
a
Suppose 0 = -3*g + 4*g + 3. Let h be (-18)/(-14) - (-2)/(-7). Let k be (-2)/(h*2/4). Which is smaller: k or g?
k
Let w = -17 - -25. Suppose -2 = -5*z - 2*j + 23, 0 = -3*z + 3*j + 36. Are z and w non-equal?
True
Let w = 4 - 0. Suppose 2*y + 0*y = 6. Are y and w non-equal?
True
Let o be ((-36)/(-6) - 60)*2/(-3). Which is smaller: o or 37?
o
Let r = 4 + -5. Does -1/61 = r?
False
Let g = 10 + -8. Let p = -338/5 - -68. Let s = p - 1/15. Which is smaller: s or g?
s
Suppose 0*p - 4*j = -p + 4, 18 = -2*p - 5*j. Let g be (3 - 2)/p*1. Is g smaller than -1?
False
Suppose -2*n - 3*n = -5. Let u be (-127)/(-360) - 8/(-36). Let v = -3/8 + u. Which is smaller: n or v?
v
Let y be (208/65)/(2/(-20)). Which is smaller: -33 or y?
-33
Suppose -l = -3*l + 26. Suppose v - 5 = -4*r - 3, 5*r - 4*v = l. Which is smaller: r or -1/2?
-1/2
Let p = 3.99 + -4. Let t = 0.99 - p. Is -2 less than t?
True
Suppose -5*g = -2*h - 3 - 2, h - 5*g = -5. Let r be 0 + (-10)/4 + h. Is -2 at most as big as r?
False
Suppose -3*l - 33 + 6 = 0. Is -8 > l?
True
Let m = 9 + -15. Let k = m + 5. Is -1 smaller than k?
False
Suppose 9*s = 6*s. Suppose 3*a - o - 13 + 0 = s, 0 = -a + o + 7. Which is bigger: -2 or a?
a
Let c be (10/(-3))/(4/(-6)). Suppose 0*i + i - 10 = -o, 2*o - 38 = -c*i. Suppose 3*q + 0*q - i = 0. Is 2 < q?
False
Let y = -3 - -2. Let s be 6/(-2) + 14/6. Which is greater: y or s?
s
Let k = -2 + 2.1. Let v = 0.3 + 0.5. Let q = v - 1.1. Is q bigger than k?
False
Let k(i) = i**3 + 4*i**2 - 3. Let f be k(-3). Is f bigger than 2/15?
True
Let x = 0.8 - 0.8. Does 4 = x?
False
Let y = 13 + -15. Which is smaller: y or 2/5?
y
Let c = 20.1 - 19. Let r = c + -1. Is 1/3 smaller than r?
False
Let f be (-64)/6 - (-3)/(-9). Is f > 1?
False
Suppose 4*w - 8 = 16. Let n(g) = -47*g + g**2 - 9 + 42*g + 2. Let h be n(w). Which is bigger: -2/9 or h?
-2/9
Let n be 4/(-6)*(-261)/(-6). Let q = 19 + n. Let s be (2 - -1) + 34/q. Does -1/2 = s?
False
Suppose -4*v = -3 - 17. Are 4 and v unequal?
True
Let j = 13 - 5. Suppose -3 - j = h - 2*l, -2*l + 9 = h. Let b = h - -1. Is b greater than or equal to 0?
True
Let g = 0.3 + -0.4. Let z = 193/5 - 39. Is z greater than g?
False
Let z be 3/(1*2/(-18)). Let q = 3673 - 18227/5. Let i = z + q. Which is smaller: i or 1?
i
Suppose 0 - 1 = -o. Which is bigger: 3/4 or o?
o
Suppose 0 = -0*f - 4*f - 12. Suppose -8 = -5*h + 2. Suppose h*s = -7 - 1. Is f at least s?
True
Let l(i) = -i**2 + 3*i. Suppose -4*p + 1 = -15, -4*c = 2*p - 28. Suppose -5*a + 10 + 0 = c*d, 4*d = -5*a + 11. Let x be l(a). Is -1 smaller than x?
True
Let m = -14 + 14. Let q be (2/4)/((-222)/(-24)). Is q bigger than m?
True
Let x(k) = -k**3 + 4*k**2 + 4*k + k**2 - k - 7. Let m be x(5). Let r be ((-6)/4)/(6/m). Is r smaller than -2?
False
Let b = -1 + 8. Let y = -3 + b. Is 4 bigger than y?
False
Suppose y + 31 = 3*q - 17, -3*y = 4*q - 77. Let i(s) = -s**3 + 16*s**2 + 18*s - 10. Let x be i(q). Which is smaller: x or 6?
6
Let p be 6/8*(-2)/(-24). Let a(d) = -17*d - 69. Let t be a(-4). Is t bigger than p?
False
Suppose p + 2 = -0*p, -7 = -5*t - 4*p. Is 4 <= t?
False
Let r(j) = 2*j - 4 + 0*j - j. Let w be r(9). Is 2 less than w?
True
Let m(v) = -v + 16. Suppose 4*y = 2*k + 80, 5*y - 86 = -k + 7. Let o be m(y). Which is greater: -9 or o?
o
Suppose -8 = 2*p, -19 = -2*i + 4*p + 11. Suppose 1 = t - i. Let z = t - 5. Is 3 at least as big as z?
True
Let o = -89 + 87.01. Let i = o + 2. Let w = i + 0.99. Which is greater: w or -2?
w
Suppose -7*d = -3*d - 24. Let f be d/8 + 116/(-112). Which is greater: -1 or f?
f
Let r = -8 - -11. Suppose -5*j + 1 = w, 2*j - 4*w = w - 5. Let n be j/(-3) + 2/(-4). Which is greater: r or n?
r
Let k = 2 - 2.1. Let u be (-1)/(-21)*(-24)/(-32). Let t = u + -2/7. Which is greater: k or t?
k
Suppose 7*t - 5 = 2*t. Suppose -2*b = -b + t. Which is smaller: b or 1/11?
b
Let h = 12.093 + 0.007. Let m = 12 - h. Which is greater: 4 or m?
4
Let s = 0.11 + 0.09. Let v = -3.2 - -3. Let y = v - -0.1. Which is smaller: s or y?
y
Suppose -5 + 9 = t. Is t at most as big as 4?
True
Let g = -2/8033 - 160634/104429. Let x be (1/(-38))/(26/1416). Let l = g - x. Which is smaller: l or -1?
-1
Let i = -1350 - -1357.07. Let h = i + -0.07. Are 0 and h equal?
False
Let a(c) = -c - 7. Let r be a(-6). Let l(j) = j - 3. Let k be l(3). Is k smaller than r?
False
Suppose 6*d = 5*d + 5. Suppose d*g - 24 = 2*q, 4*g + 2 = q + 20. Are -8/9 and q non-equal?
True
Suppose 10 = -2*s - 3*s. Let r be s/3 - 1148/(-48). Let j = r + -23. Is j bigger than 0?
True
Suppose -g + 2 = 1. Which is smaller: 0.9 or g?
0.9
Let z = 0 + 5/3. Which is greater: 3 or 