less than or equal to 1?
True
Let u = -15 + 13.1. Let i = u - -1.7. Which is smaller: i or 3?
i
Let f be 1/6 - (-42)/(-236). Which is bigger: f or 1?
1
Let s be (1 + 0)*-1*(1 - 2). Which is greater: s or -2?
s
Let o = -0.13 + -0.57. Which is bigger: -2 or o?
o
Suppose 2*r = 3*h - 121, 3*h + 2*h - 3*r - 201 = 0. Let j = 55 - h. Suppose j = -q + 4*v, 0 = -3*q + 4*q - 5*v + 19. Which is smaller: q or 2?
q
Let l be (-9)/(-4) - 3/12. Is l bigger than 3?
False
Let g = -7/12323 + 471529/5730195. Let i = -66271/465 - g. Let f = i + 143. Is -2/7 at least as big as f?
False
Let m = -0.15 + -5.85. Let z = -4.9 - m. Let a = z + -1. Is a less than or equal to -0.1?
False
Let t = -0.26 + 0.06. Let o = t - -0.1. Is o less than or equal to -1?
False
Let v be 3/((-26)/8 - -4). Which is smaller: v or 1/2?
1/2
Let m(z) = 6*z + 5. Let u be m(4). Let o = u - 117/4. Is 1 at least o?
True
Let d = 0.65 + -2.81. Let r = d - -0.15. Let k = r - -2. Is k smaller than -2/7?
False
Suppose -2*j - 3 = -5. Are 1/56 and j non-equal?
True
Suppose d - 4 - 6 = 0. Suppose 3*m - 3*a = 9, -2*a = -0*a + d. Is -3 greater than m?
False
Let l = 17 + -12. Suppose 4*x - 17 + 1 = 0. Suppose -l*a - 11 = o, -x*a - 13 = 4*o - 1. Are 1 and o nonequal?
True
Let b(y) = -2*y + 11. Let m be b(5). Let p be -1 - (3 + -3)/m. Which is smaller: -3/4 or p?
p
Let o = 12 - 4. Let h = -7.98 + o. Is -0.1 bigger than h?
False
Suppose -3*w + w - 4 = 0. Let a(j) = j**3 - 2*j**2 + j - 1. Let d(r) = r**3 - r**2 + 1. Let x(v) = a(v) - 2*d(v). Let f be x(0). Do f and w have the same value?
False
Let u(j) = -2*j**2 - 7*j + 4. Let f be u(-4). Suppose -5 = -2*y + n, -11 = 3*y + 4*n - 2. Let q = y + f. Which is smaller: q or 2/7?
2/7
Let h = -15971 + 112016/7. Let z = -31 + h. Let m = -0.5 - -0.6. Which is greater: z or m?
z
Suppose -55 = -8*h + 3*h. Let k be h/10 - 6/12. Let b be 2*(1/2 + 0). Which is smaller: b or k?
k
Suppose -2*a + 7*a + 10 = 0. Is a > -12?
True
Let f be 3/9 + 46/(-3). Let t be f/13 + 2 + -1. Let g(c) = c**2 + 5*c - 1. Let w be g(-5). Is t at least as big as w?
True
Let t = -14 + 10. Let m be 2/t - (-22)/28. Is 1 smaller than m?
False
Suppose l - 5*l = -12. Let w(d) be the third derivative of -d**5/60 + d**4/6 + d**3/2 - 2*d**2. Let p be w(4). Is l bigger than p?
False
Let a(x) = -x**3 - 3*x**2 - x - 1. Let n be a(-3). Let h = -1 - -16. Let u be 28/20 + (-6)/h. Does n = u?
False
Let i(o) = -2*o**2 - 27*o + 18. Let h be i(-14). Let s = 70 + -131/2. Is s smaller than h?
False
Let o = -72 + 67. Let m = -0.07 + 6.07. Let c = o + m. Is c at most 8?
True
Suppose -10*a + 5*a = 0. Is 7 at most as big as a?
False
Let n = 25/14 + -9/7. Suppose -o + 16 = -9. Suppose 0 = -5*y + 5*v + o, 3*y + 2*v + 0 = -5. Which is greater: n or y?
y
Let z = 165 - 491/3. Let w = -25 - -15. Let o be ((-8)/w)/((-2)/(-5)). Is o not equal to z?
True
Let b(x) = -6 + x - 1 + 0 + 0. Let h be b(4). Let y(i) = i + 2. Let o be y(-6). Which is smaller: h or o?
o
Let v be 4/(-10) - (-6)/(-10). Let u(t) = -t - 9. Let y be u(-6). Let l be 3/2*y/18. Which is bigger: l or v?
l
Let y be 6 + -9 + 1 + 1. Let u = -5/91 + -3/13. Which is bigger: y or u?
u
Let h = -24 - -20. Are -4 and h non-equal?
False
Let g = -4.95 - -5. Let o = 0.25 + -0.2. Let j = g - o. Is j at least as big as 2?
False
Let k be 0/((3 - 0)*1). Let g = -5 + 4. Which is greater: k or g?
k
Let i(g) = g**2 - 6. Let n be i(-3). Which is smaller: 6 or n?
n
Let r(a) = -a**3 + 4*a**2 + 5*a + 2. Let s be r(5). Let n be 0 + 2/(-2) + -1. Let y be (s - (7 + n))/1. Is -3 greater than y?
False
Suppose 0 = n + 2*n + 4*m, -3*m = -5*n. Let k = -8/5 + 49/40. Let v = k - -1/24. Is v at least n?
False
Let f be 2/(-5) + (-14)/(-10). Let u(m) be the third derivative of -m**5/60 - 3*m**4/8 + 2*m**3 + 9*m**2. Let h be u(-10). Is f less than h?
True
Let n(x) = 3*x - 7. Let g be n(7). Let h be ((-2)/g*-1)/(-1). Let j be (5/20)/(4/(-16)). Is h at most j?
False
Suppose 5*n = v + 43, 2*v - 7 - 15 = -2*n. Let m = n - 3. Suppose 0 = 4*y + 6 + m. Which is greater: -2 or y?
-2
Let q be (1*15/40)/((-54)/(-40)). Let o = -1618/9 - -180. Let l = q + o. Is l != 1?
True
Let q = -10 - -9.4. Let k = 4.6 + -6. Let t = k + q. Is t less than 0.1?
True
Let p = -8.85 + -0.15. Which is smaller: 1/2 or p?
p
Let r = -34 - -43. Which is greater: r or -0.05?
r
Suppose l = 8*l + 112. Is l > -17?
True
Let v = 237/5 + -47. Which is smaller: 0 or v?
0
Let g = 9/2 + -4. Suppose 0 = 2*f - 6*f - 8. Let h be -2*f/(-4)*2. Which is greater: g or h?
g
Let u(d) be the second derivative of -d**3/6 + 11*d**2/2 + 3*d. Let h be u(8). Suppose -4*a = h*f - 2*f - 29, -a = 4*f - 11. Which is greater: 8 or a?
8
Suppose 0 = 4*j - 36 + 8. Let h = 5 - j. Let m be h*(-1)/((-4)/6). Do 0 and m have the same value?
False
Let o(u) = 5*u - 37. Let y be o(7). Let h(p) = -p - 3. Let x be h(-7). Let f be 6/(-27) + x/18. Which is smaller: y or f?
y
Let s(a) = 2*a**3 - 4*a + 3. Let y be s(3). Let z(n) = n + 12. Let p be z(-12). Suppose 5*q = -4*i - 15 + y, p = -5*i + 25. Is q at most 3/5?
False
Let u be 3/(-1) + (-7 - -22). Let i be u/(-54) - 38/(-9). Suppose -i*d + 0*d = -32. Is d at least 7?
True
Let l be (-20)/(-5) + -1 + 0. Is -11 >= l?
False
Suppose v - 129 = -110. Which is bigger: v or 2/11?
v
Suppose -13*j + 12*j = 29. Which is smaller: -28 or j?
j
Let a = 0.1 - 0. Let k = 16.4 - 15. Let m = -1.2 + k. Which is greater: m or a?
m
Let k = -26.883 + -0.117. Do k and 0 have different values?
True
Suppose -w = w. Let f be (-7)/((-21)/18) + (-2 - 0). Which is bigger: w or f?
f
Let q be ((-48)/280)/(2/(-5)). Is q greater than or equal to -0.1?
True
Let g be (15/(-25)*-2)/((-2)/(-5)). Let o be -1 - -3 - (1 - 1). Are g and o non-equal?
True
Let z(d) = d**3 - 7*d**2 + d - 5. Let p be z(7). Let n = 7 - p. Suppose 0*q - n = -5*q. Is 0 greater than q?
False
Let g be 8 + (-4 + 10 - 4). Suppose g*c = 5*c. Is 3/14 less than c?
False
Let h(l) = 4*l**2 - l + 11. Let y be h(4). Are 72 and y nonequal?
True
Let k be 4 - 2 - 48/21. Let r(b) = b**3 - 6*b**2 - 7*b + 5. Let x be r(7). Let t = x + -4. Is k at most as big as t?
True
Let h = -0.04 + -3.96. Let s = -3.8 - h. Are -2/7 and s non-equal?
True
Let p be 0 + (-1 - 0) + 5. Suppose -6 = y - p*y. Which is smaller: 3/2 or y?
3/2
Let v be 2/(-6) + (-183)/(-9). Suppose 4*b + 0*b + v = 4*c, -3*b - 2*c = -10. Is b at least -1?
True
Let w be 8/60*-42*-1. Which is bigger: w or -1?
w
Suppose -4*j = 9 - 21. Let b = 5 - j. Suppose 0*v = 5*d + 3*v - 7, 3*v = -d - 1. Is b greater than d?
False
Let k = -33 - -23. Are -10 and k nonequal?
False
Let w(p) = -p. Suppose 1 + 2 = -u. Let o be w(u). Suppose 3*g = -3*c - 2*c + 15, g - o*c + 9 = 0. Which is smaller: 3 or g?
g
Let a = -3 - -4. Let h = a - 1. Is h smaller than 1?
True
Let s be 2/6*9/3. Let o be 14/(-4) - (-3 + s). Suppose 0 = 4*h - 4*d, 3*d + 12 = 2*h - 3*h. Does h = o?
False
Let v(c) = 2*c**3 - 2*c**2 - 2*c + 1. Let w be v(2). Suppose 4*t + 3 = -w. Is -3/2 greater than or equal to t?
True
Let b = -7/9 - 89/9. Let a = 11 + b. Which is smaller: a or 2?
a
Let o(r) = -r**3 - 7*r**2 + 8*r + 9. Let q be o(-8). Suppose -3*v = -5*y + 19, -y + v = 2*y - q. Are y and 6/7 equal?
False
Let c(i) be the second derivative of -i**4/12 - i**3/6 + 2*i. Let d be c(-1). Suppose 0*v = -4*u + 2*v, 2*v = d. Which is smaller: -1/6 or u?
-1/6
Suppose -2*y = -y - 1. Let u = y + 1. Suppose -3*o + 3 = -3*r, 3*o + 4*r - 3 = u*r. Which is smaller: -1 or o?
-1
Let p be ((-4)/(-22))/(-2)*-13 + -1. Which is smaller: -1 or p?
-1
Let a be (6/(-5) + 1)/1. Let m(l) be the second derivative of l**3/6 - 3*l**2 - 2*l. Let d be m(5). Is d < a?
True
Let i be 2/(-3)*(-17 + 11). Suppose 4*q + 0 = i. Let z = -44/117 - -2/13. Which is smaller: q or z?
z
Suppose 4*l - 26 = -6. Suppose 2*t = l*t - x - 246, 410 = 5*t + 4*x. Let o = t + -331/4. Is 0 != o?
True
Let d be 4/(-3)*(-6)/4. Let h = 0 - d. Let k = 3 - 5. Is h greater than k?
False
Let p(s) = s**3 + 5*s**2 + 4*s + 4. Let o be p(-4). Which is bigger: o or 7?
7
Let s = 0.3 - 0.2. Let d = 0.9 - 0.8. Let g = d + s. Are g and -0.2 non-equal?
True
Suppose 3*d + 2*y = 6, -4*d = -2*d - 4*y - 20. Which is smaller: d or 3?
3
Let z = -43 - -43.17. Let l = -0.15 + z. Which is bigger: -1 or l?
l
Let m be ((-3)/(-6))/(-3 + (-5)/(-2)). Is -8/15 >= m?
True
Let n(o) = -o**3 + 3*o**2 -