*i - l + 6. Is 3 less than x?
False
Let k be (-5 + 3)*((-3)/2 + 1). Is k at most -49?
False
Let i = 2/269 + -301/4304. Which is smaller: 0 or i?
i
Suppose -5*j + 9 = -11. Which is bigger: 7 or j?
7
Let h = 5 - 0. Suppose -1 = 4*j - u + 7, -5*j = -5*u - h. Let z = 0.5 + -0.5. Which is greater: j or z?
z
Let l = 0.121 - 0.021. Is l at most 0.1?
True
Let q = -86/9 + 599/63. Let n = q - 17/84. Does n = -1?
False
Suppose -5*f + 109 - 4 = 4*n, 3*f = 3. Is 25 greater than n?
False
Let t be -2 - (-1 - (0 - -1)). Let r = -2 + 7. Suppose 4*n - 12 = -4*z, 5*n - 3*z = r - 22. Which is smaller: n or t?
n
Let q = 5.89 + 0.51. Let f = 0.3 - -5.7. Let w = f - q. Which is smaller: w or 1?
w
Let f = -10.495 - 0.005. Let h = f - 0.5. Which is greater: h or -1?
-1
Suppose 2*o - 3*t = 3*o + 17, 4*o - 4*t = -4. Suppose -4*w + 6*g = 3*g + 20, -4*w - 4*g + 8 = 0. Let d be (-3 - w - 2) + -2. Are d and o non-equal?
False
Suppose 5*v - 716 = v. Let l = v - 2328/13. Is l greater than or equal to 1?
False
Suppose 0 = -3*j + 2*j - 1. Let m be 0*(2/j - -3). Which is smaller: 1/7 or m?
m
Let g = 1.961 - -0.039. Is -0.4 <= g?
True
Let f = 64 - 51. Is f < 13?
False
Let r(i) = -i**3 + 14*i**2 + i - 6. Let t be r(14). Suppose -2*y + 2 = -4*x - 0, t = 5*x + y. Let c = 3/11 + 2/33. Is c > x?
False
Let u be 1/(-2) + (2 - 2). Let t = -11 + 12. Is u bigger than t?
False
Suppose 0 = -3*s + 2*t - 2, -7*t + 5 = -s - 2*t. Suppose -h + 2*h - 1 = s. Is h bigger than 4/5?
True
Let n be -4*2/(-16)*2. Let t be 12/(-3) - n*-3. Let v be t - (4 - 3)/(-1). Are v and 4/5 unequal?
True
Let f = -1 - -4. Which is greater: f or -2/11?
f
Let p = 27 + -24. Is 6 greater than or equal to p?
True
Suppose -5*k + 8*k + 3 = 0. Let b(q) = -q**2 - 6*q - 6. Let t be b(-5). Are k and t equal?
True
Let t = 16 + -14.2. Let d = -0.2 - t. Let g = d + 4. Is 2 >= g?
True
Let k be 2 + ((-84)/8)/7. Which is smaller: k or 0?
0
Let t = -9 - -4. Let x = -9 - t. Let g be x/(-14) + (-26)/42. Are 1 and g non-equal?
True
Let v be 1/4*(-2 + -1). Let j(y) = -y**2 + 5. Let z be j(0). Suppose z*k + 5*r = 10, 5*k + 1 + 5 = 3*r. Which is smaller: v or k?
v
Let n(u) = u**2 - 11*u - 3. Let q be n(7). Let f = q + 22. Let b be f/6*1*-2. Which is smaller: 4 or b?
b
Suppose 3*y = 7*y - 2*w + 32, w = -3*y - 24. Let l be 2/y + (-36)/(-80). Suppose -p - p + 2 = 4*c, 0 = p + 5*c - 1. Which is smaller: p or l?
l
Let j be -1 + ((-24)/(-3))/1. Let a(f) = -f**2 + 6*f - 3. Let t be a(j). Let h(k) = k**3 + 10*k**2 + k + 7. Let b be h(t). Is b less than -3?
False
Let u be 1 - 3 - (2 + -7). Suppose o = u*o + 2. Let i be 0 + o + (7 - 6). Is i < 1?
True
Suppose -5*c - 5 = 45. Let a = -9 - c. Is 1 > a?
False
Suppose -24 = x + 3*u, u = 5*x - u + 52. Let g be (-28)/x + 1/(-3). Which is smaller: 4 or g?
g
Let r = 5 + -3. Suppose -4*h + r*z = -14, -2*h = 3*h - 2*z - 16. Suppose 7 = h*d + 1. Is d at least 4?
False
Suppose 4*u + 2 = 5*u. Suppose -50 + 6 = 3*s - u*t, 0 = 4*s - 2*t + 58. Is s != -15?
True
Let m = 3 + -4. Let z = 2.8 + -3. Is z > m?
True
Let o = 1.13 - 4.13. Let s = 1 + -2. Is s bigger than o?
True
Suppose -11*b = -15*b + 16. Let l = b - 9. Is l less than -5?
False
Suppose -b + 86 = -2*z - 5*b, z - 3*b = -23. Let n = z + 178/5. Let a(v) = -v**2 + 3*v + 1. Let c be a(3). Is c equal to n?
False
Let h be 2 - ((-38)/5)/(-2). Let i be (44/33)/((-2)/3). Is i at most as big as h?
True
Let m be 14/21 + (-1)/(-3). Let a be (11 + -9)/(2*m). Let k = 461/1140 - 1/228. Which is bigger: k or a?
a
Let f be 0 - ((-24)/10)/4. Suppose 0 = 3*p + 3 - 33. Suppose 4*s = -s + p. Which is greater: f or s?
s
Let m = -17/4 - -19/4. Let c be 3/(3/(-2)) + 1. Let r be (-2)/c + 0/(-5). Are r and m equal?
False
Let w = 70 + -69.95. Let o = 2 - 1.9. Which is bigger: w or o?
o
Suppose 0*k - k + 3*w - 19 = 0, 0 = 5*k - w + 25. Let r = -4 - k. Let q(s) = s + 4. Let c be q(-5). Which is smaller: c or r?
c
Let y be -2 + (-4)/(-1) + -2. Let m(f) = -f**2 - f + 6. Let a be m(y). Is 6 not equal to a?
False
Suppose -3*k + 4*b = -6 + 15, -k + 2*b = 5. Suppose 1 = 2*u - k. Which is greater: -1 or u?
u
Let p = 5 + -4. Suppose p = -2*n - t - 2, -n + 3 = 2*t. Let v(y) = -y**2 + 3*y + 7. Let w be v(5). Is n >= w?
True
Let m be 30/(-9) - 1/(-3). Let x be -3 - (18/m)/1. Which is smaller: 4 or x?
x
Let m(d) = -d**3 + 7*d**2 - 5*d - 6. Let y be m(6). Suppose 3*n + 22 = -2. Let k be 3/((-6)/n) + -2. Is k greater than or equal to y?
True
Suppose 2*l + l - 12 = 0. Let d = -21 - -27. Let t(z) = -z + 11. Let j be t(d). Which is smaller: l or j?
l
Let s = 1 - 7. Let a be s/4*1 - -2. Which is bigger: a or 0?
a
Let o = 3786/5 - 760. Is o bigger than 3?
False
Let p = 84 + -84.63. Let j = -0.6 - p. Let o = -2.03 + j. Are 1 and o non-equal?
True
Suppose -5*o = -10*o + 15. Suppose o = 4*f - 1. Is 1 greater than f?
False
Suppose -6 + 3 = 3*f. Let h be -7 + 6 + (f - -3). Which is smaller: h or -3/7?
-3/7
Let t(o) = o**3 + 3*o**2 + o. Let h be t(-2). Is 1 < h?
True
Let h = 0.03 - 1.03. Let t = h + 0. Let s = -2.2 - -2. Is s greater than or equal to t?
True
Let r = -54.08 - -55. Let g = r - 0.02. Let p = g + -5.9. Is 1/4 smaller than p?
False
Suppose l + 2 = 5. Suppose l*q - 19 = -2*b, -q - 16 = 2*q - 5*b. Which is bigger: -2/3 or q?
q
Let a be (-1 - 0)/((-5)/(-10)). Let u = a + 6. Let q be 1/4*(u - 5). Which is greater: q or 0?
0
Let t be 1/(76/88) - 0. Let d = t + -211/133. Which is smaller: d or 2?
d
Let g = -10/7 + 104/63. Let o = -3.5 + -0.5. Which is smaller: g or o?
o
Suppose -4*q = -0*n - 4*n + 32, 5*q = 3*n - 40. Which is bigger: q or -7?
-7
Let t(z) = 3*z**2 + 3 - 4*z**2 - 2 + 6*z. Let o be t(6). Let m be o + 1*(-1 + 0). Which is greater: 1/7 or m?
1/7
Suppose -l = -111 + 112. Which is smaller: l or 1/5?
l
Let v be (18/36)/((-5)/2). Are 1 and v equal?
False
Let n = -16 - -21. Suppose n = -5*q - 0. Is 1 less than or equal to q?
False
Let n = 580/207 - 44/23. Is 2 equal to n?
False
Let l(s) = 5*s + 78. Let y be l(-24). Which is smaller: -43 or y?
-43
Let s = 46 + -43.9. Let v = s + -2. Let q = -36 + 106/3. Which is smaller: v or q?
q
Let x = -3.9 + -0.1. Let y = -2 - x. Let o = -26 + 25. Which is smaller: o or y?
o
Let j(h) = -h**2 - 5*h + 7. Let k be j(-6). Which is smaller: k or 0.1?
0.1
Let c be 0/(-2*3/2). Is c greater than or equal to -4/9?
True
Let g be 7/(126/4) + 249/(-27). Is -39/4 at least as big as g?
False
Suppose 4*d = -2*z + 16, -3*z - 2*z + 3*d + 40 = 0. Suppose 3*c = -c + z. Let g = 14 + -13. Which is smaller: g or c?
g
Let h(w) = w - 19. Let g be h(6). Do g and -12 have the same value?
False
Let g = -7315/12 + 610. Which is smaller: 0 or g?
0
Let j = 0.01 + -0.08. Let h = j - -0.07. Let w = -6 + 9. Which is smaller: h or w?
h
Let o(b) = 3*b - 1. Let i be o(1). Let y = 22 + -21. Suppose -y = k - 4. Is i < k?
True
Let y = 0.2 - -1.4. Let p = -1.4 + y. Is p < -6?
False
Let q = 3.4 - 3.2. Are q and -21 nonequal?
True
Let x be ((-6)/4)/((-3)/20). Which is bigger: -1 or x?
x
Let f = -11.4 - -11. Is f >= 2?
False
Let y be (-304)/4 - -2*1. Let x be ((-39*1)/(-1))/y. Let k = x - -1/37. Which is bigger: 0 or k?
0
Let q = -1.99 - -2. Let r = -23.01 + 27. Let a = q + r. Is a < 1?
False
Suppose 0 = 2*t - 2*o - 14, 3*t - 2*t = 4*o + 19. Let y be (0/(-1))/(6/t). Is -2 equal to y?
False
Let z be 5 + -1 - (0 + 3). Let h be (z - -3) + 6/(-3). Suppose 3*q + 3 = k, -h*k = -k + 5*q - 19. Is 9 less than or equal to k?
True
Let x(q) = -q + 7. Let g be x(0). Let b = g + -6. Is 0 less than b?
True
Let h = 2 - -4. Suppose 0 = -h*k + 3*k. Let p = 4/5 + -13/10. Which is greater: p or k?
k
Suppose 4*y - s + 3*s + 6 = 0, -2*y - 2*s - 8 = 0. Suppose -y = 5*b - j - j, -5*b + 4*j + 3 = 0. Let q(d) = d**3 + d**2 + d + 1. Let l be q(b). Is 1 != l?
True
Let z be (-7)/((-21)/30) + -1. Let n be (-6)/z*(-27)/6. Suppose n*b - 13 = 8. Are b and 7 non-equal?
False
Suppose 2*o + 28 = 2*x, -3*x - 4*o = -0*x - 70. Let j be (14/x - -1) + -2. Is 2/7 greater than or equal to j?
True
Let h be (4/(-10))/((-204)/(-60)). Is h at least as big as 1?
False
Let v be 6/(-4) + (-10813)/(-7238). Let c be 6949/(-6580) + 1/4. Let z = c - v. Which is smaller: 0 or z?
z
Let j be 2/4 - 2/4. Suppose g = 3*u - 6*u - 52, 100 = -5*u + 5*g. Let d be ((-1)/33)/((-6)/u). Which is bigger: j or d?
j
Let t = -2 + -7. Let o = 0.7 + -0.6. Is t greater than o