2 - 18.062. Is -0.3 < l?
False
Let g = 1.06 + -1.26. Is -50 greater than or equal to g?
False
Let h = -1 - -1.04. Let u = -3.04 + h. Let k = u - -3. Which is smaller: k or 0.1?
k
Let c = -1 - 21. Let a = c + 26. Is 0.3 != a?
True
Let o(i) = i**3 + 4*i**2 + 5*i + 3. Let h(k) = -3*k**2. Let f be h(-1). Let s be o(f). Let j be 4 + s - 1/5. Which is smaller: j or 2?
j
Let c be 695/60 + 2/(-8). Suppose 4*o - 2*i = 4 - 56, -2*o = -4*i + 32. Let q = c + o. Which is smaller: q or -2?
-2
Let n = -79 + 66. Is n less than or equal to -1/5?
True
Let a = 0 + 1. Suppose -3*r + 1 + 2 = 0. Is a < r?
False
Suppose 0 = -2*w - 5*l + 9, 4*w - 9 = -4*l + 27. Let d = -24 + w. Which is smaller: -11 or d?
d
Suppose -4 + 13 = 3*w. Suppose n = w*i, -n = 4*i - 3*n - 2. Which is bigger: i or 1/3?
1/3
Suppose 0 = -c + 2*l + 2, l = 6*l + 5. Suppose m = 2*w - 3*m - 20, -4*w + 7 = 3*m. Suppose -h - w*v = 17, -4*h - v - 4 - 4 = c. Is h >= -1?
True
Let x = 14 - 239/17. Is x at most 1?
True
Let n(w) = -w**3 + 5*w**2 - 3*w. Let q be n(3). Let a = 5 - q. Let p be 2 - ((-4)/(-2) + a). Is 5 at least as big as p?
True
Let c = -15 - -3. Let x = c + 12.2. Is 1/6 greater than or equal to x?
False
Let q = 14/5 + -23/10. Is q less than 2/7?
False
Let m(n) = 2*n + 9. Let s be m(-5). Do -4/11 and s have the same value?
False
Let l be 229/76 + 6/(-2). Which is bigger: 0 or l?
l
Suppose -h = 2 + 4. Let d(w) = w**2 + 6*w - 3. Let i be d(h). Are 2/11 and i equal?
False
Let o = -0.3 - -0.4. Let a = 1.07 + -1. Let u = a + -0.12. Which is smaller: o or u?
u
Let u(d) = -d**3 - 3*d**2 + 2*d - 5. Let q be u(-4). Suppose -4*m = 2*y + 4, -2*m = -0*m - q*y - 6. Which is smaller: 2/5 or m?
m
Let x be 1*8 - (2 + 0). Let d be (-3)/x*1*-4. Is -2/9 < d?
True
Let w be -5 + 2 + (1 - 2). Let m = 5 + w. Let y = -46 - -46.9. Which is greater: m or y?
m
Let j = 0.6 - 0.6. Let a = -2 - j. Is 0 less than a?
False
Let l = -2.2 - -2.9. Which is greater: l or -1?
l
Let q be (-2 - -4)/((-4)/(-14)). Let o be q/(-2)*20/(-35). Let c = o + -4. Is c equal to -2?
True
Let n(s) = -s**3 - 8*s**2 + 10*s + 11. Let x be n(-9). Suppose x + 4 = -3*i. Are 1/2 and i non-equal?
True
Let k = -68 + 68. Which is greater: k or -2/39?
k
Let o be (4564/(-21))/(14/12). Let q = o - -186. Which is smaller: 6/5 or q?
q
Suppose 5*l + 4 = -16. Which is smaller: -27/8 or l?
l
Suppose 12 = -4*w - 0*w, 4*t - 11 = 5*w. Are 1/7 and t non-equal?
True
Let w = 0.58 + -0.6. Let m = -0.05 - w. Which is smaller: m or 2/7?
m
Let d be (-1 - 0)/((-1)/(-6)). Let j = d + 25/4. Do j and -1 have the same value?
False
Let y = 584/437 - 38/23. Which is bigger: 0 or y?
0
Suppose -2*s + 2 = 4*i, s + 32 = 4*i - 3*s. Is i greater than 0?
True
Let c(p) = -p**3 + p**2 + p + 8. Let v be c(0). Suppose -1 - v = 3*w. Is w smaller than -4?
False
Suppose x = -o - 0*o - 10, -2*o - 30 = 3*x. Let p be (2/3)/(x/15). Which is greater: p or 1/6?
1/6
Let r = -269/76 - -3/76. Let q(y) = -y + 3. Let v be q(8). Do r and v have different values?
True
Let z(b) = -b**3 + b**2 + b + 5. Let i be z(0). Let f(a) = -a + 3. Let c be f(i). Does c = 2?
False
Let y = 0 + 0.1. Let n(k) = 5 - k + 5*k - 3*k. Let t be n(-5). Is t at most y?
True
Let w = 25 - 41. Which is smaller: -17 or w?
-17
Let s = -53/2 + 27. Is s at least as big as 2/5?
True
Suppose 0 - 1 = -k. Let x = k - 1. Let g = 1/8 - 11/24. Which is bigger: x or g?
x
Let t = -129 + 130. Is 11/8 >= t?
True
Let b be 0*(9/(-6))/(-3). Suppose 5*p - 2*p - x + 4 = 0, b = -2*p + 2*x - 4. Is -1 >= p?
True
Suppose 2*a = 7*a - 20. Let n(u) = u**3 - 4*u**2 - u + 5. Let r be n(a). Let b be 1*2*(0 + 1). Which is smaller: b or r?
r
Let t be 1/(6/10 + 7/(-70)). Suppose 0 = 2*i - 2 - 0. Do i and t have the same value?
False
Suppose -3*d = k + 11, 2*d - 3*d - k - 1 = 0. Is -4 bigger than d?
True
Let g = -27.87 + 28. Let t = g + -0.03. Is -0.5 equal to t?
False
Let p be -2 + 1 + (-92)/(-2). Let w be ((-4)/p)/((-2)/5). Suppose -2*y + 4*l - l + 15 = 0, -l - 5 = 0. Is w equal to y?
False
Let d(a) = a**3 - 5*a**2 + 4*a - 2. Let q be (10 - 3)*(-12)/(-14). Let l be -3*(-1 + (-2)/q). Let c be d(l). Which is greater: -1 or c?
-1
Let q = -0.5 + 0. Let y = q + -3. Let n = y - -0.5. Does n = 2/3?
False
Suppose -7*l + 2*l = 4*j + 95, -4*l - 32 = j. Which is bigger: -22 or j?
j
Let s be ((-5)/(-2))/(1/2). Let x be -3 - s/(25/(-12)). Is x at least -2?
True
Let u(h) = h**3 + 3*h**2 - 4*h. Let d be u(-4). Let s be d - (2/1)/2. Which is greater: s or -2?
s
Let v = -6.6 + 0.6. Let w = v + 2. Let d = 3.8 + w. Which is smaller: -1 or d?
-1
Suppose 0*l - 4*l - 4 = 0. Let b be 1 + l + 3/(-8). Is -1 equal to b?
False
Let v be -1*((-7)/3)/(-7). Which is smaller: 9 or v?
v
Suppose -6*p + 3*p = 0. Is 1 < p?
False
Let y(h) = -h**2 - 4*h - 1. Let f = 0 + -4. Let o be y(f). Do o and 1 have the same value?
False
Let y = 2 - 1. Let a be (y*-3)/(2 - 3). Suppose -a*h = -0*h. Which is smaller: h or 2?
h
Let v(t) = -t**3 + 3*t**2 - 2*t + 3. Let k be v(3). Do -14/9 and k have different values?
True
Let w(j) = j**3 - 4*j**2 - j + 1. Let y be w(2). Are -9 and y unequal?
False
Suppose -5*g = -28 - 37. Let k = g + -15. Is 0 less than k?
False
Suppose 0 = x + 1 - 2. Let w(v) = 6*v**3 - v + 1. Let o be w(x). Is o at least as big as 5?
True
Let c(j) = -j**2 + 6*j + 1. Let w be c(6). Which is smaller: w or -1/4?
-1/4
Let w be 6 - (1 - -1 - 0). Suppose -w*x - x - 15 = 0. Suppose -4*n - 10 = 2. Is x smaller than n?
False
Suppose 2 + 14 = 2*o. Which is greater: o or 20/3?
o
Let c(g) = -2*g**3 + 9*g**2 + 16*g + 4. Let p be c(6). Suppose 0 = -5*f - 4*z - 15, f + 2*f + 36 = 3*z. Which is smaller: p or f?
p
Let y = 1.2 - 2.4. Let t = -10.2 + 10. Let o = y - t. Is -1 less than or equal to o?
True
Let p be 21/(-28) - (-2)/(-8). Let w be 3 + -1*(7 - 2). Let k be ((-4)/8)/(w/4). Which is greater: k or p?
k
Let o = -0.11 - -0.1. Let s = -145 + 1017/7. Which is smaller: o or s?
o
Let k be 80/(-130)*(5/(-4) + 1). Is k < -1?
False
Let f be (20/(-8))/(1745/(-4)). Which is smaller: f or 1?
f
Let m be (-26)/40 + (-1)/(-4). Let w = -36 + 35.8. Which is smaller: m or w?
m
Let q be (-14)/10 - (-2)/5. Suppose 3 = 17*z + 37. Which is smaller: q or z?
z
Let n = -34 - -24. Is 2/5 > n?
True
Let g = 7 + 7. Let m be 9/36 - g/(-8). Which is bigger: 0.1 or m?
m
Suppose -p + 6 = 5*r, -3*r + 6 - 2 = p. Which is bigger: 1/6 or r?
r
Let s = 2/3421 + 54622/194997. Let f be (2/4)/((-76)/(-8)). Let g = s + f. Which is greater: g or -1?
g
Suppose 3*h + 2*z + 1 = 0, -3*h + 7*z = 5*z - 7. Are h and 2/7 equal?
False
Let y = 74 + -73. Let b be ((-22)/(-28) + -1)*2. Is y smaller than b?
False
Suppose 3 = 2*k + a, -2*k + 0*k - 3*a = 7. Let v be (-1)/((-1)/k - 0). Suppose 4*i = 5*w - i, -2 = -v*w + 2*i. Is -1/10 at most as big as w?
True
Let d(y) = -y**3 - 4*y**2 - 4*y - 3. Let n be d(-2). Which is smaller: n or -14/9?
n
Let i be (8/14)/4*2. Which is greater: i or 3?
3
Let h(g) = g - 2. Let q be h(3). Suppose 5 = -i - 0*w + 4*w, -5 = -3*i + 2*w. Suppose -i*v + 3*j + 12 = 0, v + 14 = 3*v - 5*j. Are v and q equal?
False
Suppose 3*l - 4*l + 32 = 0. Let s be l/(-20) + (-6)/(-10). Is s at least -1/2?
False
Suppose g + 0 = 2. Suppose 5*z - 20 = 2*f, 0 = 2*z + g*f + 1 + 5. Suppose -7*w = -z*w. Which is smaller: w or -1?
-1
Suppose 5*z - 10 = -u, 4*u = 3*u. Let q be (-3 - (-3 - 0))/z. Which is greater: 3/13 or q?
3/13
Suppose 0 = -5*t + 4*t - 39. Let w be 5/15 + 31/t. Which is bigger: w or 0?
0
Suppose -5*t + 5 = 3*m, t - 4*t - 45 = -3*m. Let h = -5 + m. Which is smaller: 7 or h?
h
Suppose 2*t + 6 = -0. Is -3 at most t?
True
Let b = 40 + -36. Is b <= 3?
False
Suppose 0 = -0*o + 2*o, 2 = -2*h - o. Which is greater: h or -4/7?
-4/7
Suppose -3*a + 2*j = -3 - 7, 2*a + 5*j - 13 = 0. Suppose -a*v = 2*b - 10, -2*b + 1 = -9. Which is greater: v or -2?
v
Suppose k - 2 - 5 = 0. Let r = -7 + k. Which is greater: r or 4/9?
4/9
Suppose -3*g + 0 = -9. Let v be 5 + g + (2 - 2). Which is bigger: v or 6?
v
Suppose 2*h + 2*t + 4 = 0, 4*t - 8 = h - t. Is -12/5 at least as big as h?
True
Let n be (3/(-909))/(1/(-3)). Let d = n + -307/404. Does d = -1?
False
Let k be 0*(2/(-1) - -1). Let n be 447/(-728) + 8/(-52). Let w = -1/56 - n. Which is smaller: w or k?
k
Suppose -2*u + 3*u + 3 = 0. Let v be ((-3)/3)/(-6 - u). Is 0.6 >= v?
True
Let n = -20.008 - -0.008. Is -1 less t