 less than or equal to h?
False
Let i = 0.55 - -0.05. Let d = i + -0.7. Is -3 less than d?
True
Let h = -0.2 + 0.3. Suppose -5*a - j + 0*j - 3 = 0, 5*j = 10. Which is smaller: h or a?
a
Let j(c) = -c**3 + 7*c**2 - 10*c + 17. Let d be j(5). Which is bigger: d or 16?
d
Suppose -h = -2*a + 3, -2*h = 2*h - 4. Suppose a*j + 2*m = -0*j + 4, -2 = -3*j - 2*m. Which is greater: -4 or j?
j
Let i be (-1)/(-3) + (-1)/21. Let n = 30.3 + -30.29. Which is greater: i or n?
i
Suppose 0 = -o + 2*o - 2*c - 8, 3*c = -5*o + 1. Let q be 1 - (0 + 2 - o). Is -2/9 less than q?
True
Let d = 17 + -27. Which is bigger: d or -9?
-9
Suppose 0 = -5*d - 2*q - 0*q, 15 = -5*d + q. Let a = -4 - -3. Is d bigger than a?
False
Let f = 12 - 11. Suppose -2*u - f = 1. Which is smaller: -3/16 or u?
u
Suppose -8 = 2*s + 2*s + 3*p, -2*s = p + 2. Let h(v) = v**3 - v**2 - 2. Let u be h(2). Let o be (s + (u - 3))*-1. Does o = 1?
False
Let o(u) = u**3 + 5*u**2 - u - 5. Let j be o(-5). Let p = 110291/20 + -5509. Let g = -19/4 + p. Which is smaller: j or g?
j
Suppose -2*s - 6 = 4*y, 3 = 3*s - 4*s. Is 3 less than or equal to y?
False
Let o(z) = -z**3 + 3*z**2 + z + 2. Let u be o(3). Let h = u - -5. Suppose -h = -v + 3*v, 0 = 4*x + 2*v + 2. Is 2 at most as big as x?
True
Let x be (-430)/(-1025) + (-4)/10. Let i = 254/7995 + x. Is i bigger than -1?
True
Let b be 78/(-40) - (-2 - 14/(-5)). Which is bigger: b or 0.1?
0.1
Let m(q) = -q**3 - 4*q**2 - 3*q + 2. Let o be m(-3). Suppose 4*j + 4*u - 4 = 0, j + 4*u - 19 = o*j. Let f(r) = -r**2 + r - 3. Let z be f(0). Is j <= z?
True
Let i = 2.4 - 0.4. Which is smaller: 0.2 or i?
0.2
Let w = 1.98 + 0.02. Suppose 3*v = 3 + 3. Let g be (v/8)/((-1)/(-4)). Do w and g have the same value?
False
Let x be 2/(-5 - 1) + 66/9. Which is smaller: x or 8?
x
Let y(d) = -23*d - 10. Let n be y(-2). Which is greater: n or 37?
37
Suppose 3*x - 177 = -3*b, b + 3*x + 335 = 6*b. Let m be 2/(-7) + 1364/21. Let l = m - b. Is 1 at most as big as l?
False
Let y = 2756577/154 - 17900. Let n = 3/14 - y. Which is smaller: 1 or n?
n
Suppose 0 = -3*q - 6 - 0. Suppose 0 = -3*c - 2*c - 3*r + 2, -c - r = -2. Is c < q?
False
Let r be (-9)/4*(-8)/3. Let c(q) = -q**2 + 2*q + 6. Let n be c(5). Let f = n + r. Is f >= -2?
False
Let n(g) = -3 - g**2 + 3*g + 0*g**2 - 11*g. Let v be n(-3). Suppose -4*l - v = -l. Is l bigger than -3?
False
Let l be -1*(-2)/(2/5). Let g be -3 + -1 + 10 + -1 + -2. Do l and g have the same value?
False
Let g = 680/33 - 62/3. Suppose -5*f - 8 = -2*z, 4*z - 6 - 10 = -3*f. Is g less than or equal to f?
True
Suppose -3*s = -0*s - 18. Let q be (-8)/6 + s/18. Which is bigger: q or 0?
0
Let b = 47.9 + -48. Is 11 > b?
True
Suppose 0 = -4*g + 15 + 1. Suppose k + 20 = -g*k. Let t be k/20*(1 - 0). Which is greater: t or -1?
t
Let s = -7/30 - 1/10. Is 3 <= s?
False
Let n be (14/(-6))/(8/(-12)). Let s = -4 + n. Suppose 5*j - 7 = -4*r, -3*j = 4*r - j + 2. Is r bigger than s?
False
Suppose -4*d - 26 + 11 = -5*l, -3*l + 9 = -2*d. Which is bigger: 3/8 or d?
3/8
Let t be (1/(-4))/(90/(-108)). Is t equal to -1?
False
Let y = 101/4 + -26. Let q = -1/4 - y. Does 2 = q?
False
Let n = 7 - 6.8. Let j = 18 - 18.92. Let i = j - 0.08. Do i and n have different values?
True
Let a = 9 + -17. Which is smaller: a or -2?
a
Let d be (4/(-24))/((-10)/12). Is d != -1?
True
Let v(f) = -f**3 - 12*f**2 + 13*f + 1. Let s be v(-13). Let g be (-10)/6 + s*2. Let c = -1 - -6. Are c and g nonequal?
True
Let h be 40/15 - 2/(-6). Suppose -h*m + 2 = -2*m - 2*g, g - 4 = -2*m. Suppose m*a = -1 - 9. Which is smaller: -4 or a?
a
Suppose 0*t = -6*t - 12. Which is smaller: -6 or t?
-6
Suppose -2*y = -3*u + 7, -3*u + 0*u - 2*y = -23. Suppose u*a - 22 = -2*l + 17, -a + 3 = -2*l. Is a greater than 7?
False
Suppose 2*b - 4 = 2*l, -2*l + 3*b - 6 = -4*l. Let r be 1/2*l/6. Which is greater: -1 or r?
r
Suppose 2*a + 18 = -2*m, m + 3 = -0*m. Let l(q) = -3*q - 3. Let g be l(a). Which is bigger: 14 or g?
g
Let l be (12/(-2))/(-2 + 1). Suppose -b = -3*b + l. Which is greater: 2 or b?
b
Let y(h) = -3*h**3 + 2*h**2 - 3. Let v(i) = -13*i**3 + 7*i**2 - 11. Let d(a) = -2*v(a) + 9*y(a). Let p be d(4). Let x be p/4*(-1)/(-5). Are 1 and x nonequal?
True
Let m be (-16)/(-6) + 2/(-3). Suppose -2*h = -6*w + 3*w + 3, -m*w + 2 = 0. Is -1 greater than h?
False
Let w = 16 - 15. Is 2/3 at least w?
False
Let s = 24 + -28. Which is smaller: 1 or s?
s
Let g = 188 + -2066/11. Suppose 3*x - 6*k + k = -13, x = -5*k + 9. Which is smaller: g or x?
x
Let d(x) = x + 2. Let s be d(-2). Suppose 5*f + 1 + 4 = 0. Is s greater than or equal to f?
True
Let o = -6 + 6.01. Which is greater: o or 5/2?
5/2
Let i be 1/4 - (-4 + 445/20). Which is bigger: 0.5 or i?
0.5
Let r be (-1 - -4) + (-56)/24. Which is bigger: 23 or r?
23
Suppose 74 = 4*t + 18. Suppose 3*o + 2 = t. Suppose h - o = 3*g, h + h + 16 = -2*g. Are g and -3 non-equal?
False
Let w(j) = 2*j - 14. Let k be w(6). Which is smaller: k or -4?
-4
Let f be 0 - 0/((-8)/(-4)). Which is smaller: -3/7 or f?
-3/7
Let y be (-1)/12*-38 - 2. Is 2 at least as big as y?
True
Let o = 0.001 + 0.299. Which is greater: -6 or o?
o
Let s be 33/242*1*4. Suppose -24 = -4*d + 4*h, -2*d + 6*d + 4*h = 0. Let a = -2 + d. Is s at least a?
False
Suppose -2*u + 2 = -5*o, -6*u - 18 = -3*u + 3*o. Is -4 at least as big as u?
True
Let a(d) = d**2 + 5*d + 3. Suppose 4*i - j = 1 - 13, -4*j = 0. Let f be a(i). Let y be (-3 + (-9)/f)/3. Which is smaller: y or 1?
y
Let u = 22 - 23. Which is bigger: -8 or u?
u
Let i = -44 + 44. Suppose k + 5 = -4*y + 2*y, -4*y + 11 = -5*k. Which is smaller: k or i?
k
Let v = -37 - -36. Is v greater than -1/13?
False
Let d be (-4)/(-6) - (-2)/(-3). Is 1/5 smaller than d?
False
Let r be (-1)/(-3) + 6/9. Let b be 1 - -3*r/(-3). Suppose -3*n + 0*n + 9 = b. Is 3 <= n?
True
Let x = -31 - -51. Suppose -11*l + x = -16*l. Is -4 equal to l?
True
Let t = 8 + -8.3. Let i = -0.3 - t. Let x = 0.9 - 0.5. Is x at least i?
True
Let s = -4.4 - 12.4. Let m = 17 + s. Is m at least as big as -2/7?
True
Let y(r) = -r**3 + 3*r**2 + 3*r + 4. Let v be y(4). Which is smaller: v or -1/73?
-1/73
Let z(d) = -d**2 - 5*d + 2. Let u be z(-4). Let c(k) be the first derivative of k**4/4 - 5*k**3/3 - 7*k**2/2 + 4*k - 8. Let w be c(u). Which is bigger: -3 or w?
w
Suppose 5*g = i - 0*i + 14, -2*g = 5*i - 11. Let c be (i - -5)/((-8)/6). Let r(v) = -v**2 - 12*v - 5. Let b be r(-12). Which is greater: b or c?
c
Suppose 2*q - 6 = -2*a, 0*q = 3*q + a - 11. Are q and 4 unequal?
False
Suppose -3*g = 5*q - 3*q + 41, 4*q - g = -103. Let w be 10/q - (-3)/(-5). Is 0.06 at least as big as w?
True
Let k = 798 + -71819/90. Which is smaller: k or 1?
k
Suppose i = 3*s + 15 + 15, 5*s - 4*i = -57. Let z be ((-12)/s)/((-2)/(-6)). Let t = 5 - z. Is 2/21 <= t?
True
Let i = 3 - 4. Suppose -3*l - 6*v = -2*v - 16, 3*v = 3*l - 9. Let f = 4 - l. Which is smaller: i or f?
i
Suppose 5*s - 2*c = c - 9, -2*s = -c + 3. Is s greater than -1/191?
True
Let p = 6.8 + -7. Let s = 0.1 - 2.1. Are p and s nonequal?
True
Suppose 3*p = 2*p + 20. Suppose 0*y - p = -4*y. Suppose 0 = -y*r + r - 4. Is r equal to -3/2?
False
Let g = -98 + 1373/14. Suppose -3*r + 1 = 4. Which is smaller: r or g?
r
Let n = 9 + -9.1. Which is smaller: 0.2 or n?
n
Let g = 113/14 - 8. Suppose 4*t + m + 5 = 0, -7 = -5*t - 5*m - 17. Which is greater: t or g?
g
Suppose -3*w - 8 = s, 2*w - 2*s = s + 13. Is 2/137 greater than or equal to w?
True
Let w = 119/260 + -3/52. Suppose -2*q = -o + 5, -5*q = -4*o - 0*o + 11. Is o less than or equal to w?
True
Let u = 101225/60004 - 18/2143. Let v = u - 5/4. Which is smaller: v or 0?
0
Let p be -6 + 1 + 0 + -1. Suppose -57*o + 5 = -58*o. Is p < o?
True
Let b be -8 - -2*3/(-6). Let d = 12 + b. Let s(k) = k - 2. Let g be s(4). Is d bigger than g?
True
Let r = 155 - 139. Is 2 bigger than r?
False
Suppose -4*w = 4*p, -2*w = -3*w - 3. Suppose 0 = -0*q + p*q + 6. Which is smaller: -1 or q?
q
Let w(d) = -d**2 + 10*d - 1. Let h be w(9). Suppose -3*u - h = 4. Which is bigger: -1 or u?
-1
Suppose 4 + 6 = -2*d + 4*g, 8 = 2*d + 2*g. Which is bigger: d or 13/8?
13/8
Let s(n) = -n**3 + 9*n**2 - 9*n + 7. Let o be s(8). Let h be -1*(0 - 4/(-8)). Is o equal to h?
False
Let x(m) = -3*m - 4. Suppose -4*f = -6*f - 4*o - 2, 5*o = -3*f - 4. Let z be x(f). Is 3 greater than or equal to z?
False
Let 