and i non-equal?
True
Let r(s) = s**2 - 4*s + 5. Let h(j) = -j**2 + 5*j - 6. Let d(q) = -5*h(q) - 6*r(q). Let l be d(-2). Is -1 greater than or equal to l?
True
Let d = 65/119 + -3/7. Let v(o) = 2*o - 4. Let a be v(3). Suppose -a*t + 3*t = -2*m + 3, 3*t - 2*m - 1 = 0. Is d not equal to t?
True
Let n = -180.9 + 193. Let d = n + -12. Which is smaller: d or 2?
d
Let d(f) = -5 + 5*f**2 + f**3 + 3 - 2*f**2 - 5*f. Let n be d(-4). Let a(x) = x**2 + 3*x + 1. Let g be a(-3). Which is smaller: g or n?
g
Suppose 2*p + 5*v = 2*v - 10, -p + 4*v + 17 = 0. Let q(o) = o**2 - 2*o - 4. Let f be q(4). Suppose 0 = 3*u - f + 1. Is u at least p?
True
Let j be 2/1 + (-6)/2. Is j not equal to -1?
False
Let t = -1751/11 + 159. Let j be 3*(-3 + (-20)/(-6)). Which is bigger: t or j?
j
Let x be ((-6)/15)/(2/(-120)). Suppose -x = -n - n. Suppose 4*o - 9 = 5*o + 3*q, -4*o + n = -4*q. Are 0 and o non-equal?
False
Suppose 8 - 4 = -2*t - 3*l, -3*l = -3*t + 9. Does 2/53 = t?
False
Let t = 50/13 - 328/65. Which is smaller: t or -8?
-8
Let y be (-16)/(-3*6/9). Let b be (-6)/(-2) - 22/y. Is 1 greater than or equal to b?
True
Let r = -0.97 - 0.03. Is r <= -0.08?
True
Let u = 1.1 - 1.39. Let g = 0.19 + u. Which is bigger: g or -1.4?
g
Let j be (-110)/(-33)*42/4. Is 35 >= j?
True
Suppose 0 = -3*u + 8 + 10. Let y be 2 + u/15*-3. Let m = 1 + -1. Which is smaller: m or y?
m
Let a(i) = i + 18. Let w be a(-13). Which is smaller: w or 11/2?
w
Let t be (-4)/2 - 1*-1. Let l be -2 - (0 + t + -2). Let a be ((-5)/(350/(-8)))/((-4)/(-10)). Which is smaller: a or l?
a
Let y(h) = -h - 18. Let d be 4/(-8) - 123/(-6). Let c = 7 - d. Let s be y(c). Is s at most as big as -5?
True
Let o = -91/612 - 5/68. Which is smaller: 2/3 or o?
o
Let v = 4 + -2. Let k be 3/v*7/(-63). Let z = -5/6 - k. Is -1 at most z?
True
Suppose 0*p + 14 = 2*p. Let h(r) = r**2 + 13*r + 17. Let f be h(-14). Suppose -p = 4*d - f. Is 5 smaller than d?
True
Let f be 3/(((-486)/(-4))/9). Which is greater: 0.1 or f?
f
Let x = -53/4 - -13. Do x and 2/5 have different values?
True
Let u be (-3 + 1)/(8 - -1). Let j be 2/(-9) + (-64)/(-180). Which is smaller: j or u?
u
Let k = 70 + -82. Is -18 <= k?
True
Let c = -2.98 + -0.02. Let f = 3 + c. Is f < 4?
True
Let g be (1/3)/((-155)/30 - -5). Which is greater: g or -9/11?
-9/11
Let s = 2 + -1.4. Let u = -0.4 + s. Suppose -3*l + h - 4 = 0, 1 = 2*h - 1. Is u >= l?
True
Let q = 1434/217 - 72/31. Let n = 113/28 - q. Let d be (-1)/2 - 1/2. Which is smaller: d or n?
d
Let p = -38 - -23. Which is smaller: p or 1?
p
Let z = 39 + -21. Suppose 0 = -2*r + 2*j + 6, -z = 4*j - 6. Which is smaller: -1 or r?
-1
Let f be 1*((-2)/67)/1. Let x(h) = -5*h**2 + 214*h + 42. Let l be x(43). Which is greater: l or f?
f
Suppose 5 = f + 1. Let h = 13 - f. Suppose 2 = 3*q - g, -3*q = g + h - 1. Are 0 and q non-equal?
True
Suppose -8*f = -3*f. Which is greater: f or -10?
f
Let g(d) = -d**2 + 6*d - 6. Let k be g(4). Suppose -4*s + 2*s + 10 = 0. Suppose k*l + 0*r = -5*r + 2, 0 = 2*l - s*r - 2. Are l and 3/7 unequal?
True
Let x(g) = -2*g - 3. Let r be x(7). Is r not equal to -17?
False
Let g(h) = h**2 - 2*h + 1. Let l be g(0). Let f be 133/490 - l/5. Which is smaller: f or 1?
f
Suppose 0 = 2*n + 3*f - 29, 0 = 2*n - 2*f - 3*f - 5. Which is bigger: 12 or n?
12
Let t = 49 + -2. Let h = t - 49.9. Let j = 3 + h. Which is bigger: j or 3?
3
Let f(d) = -d**3 + 4*d**2 - 4*d + 2. Let g be f(2). Let n = 2.6 + -3. Let p = n - -0.3. Which is bigger: p or g?
g
Let g be ((-6)/(-652))/(69/92). Which is smaller: g or -1?
-1
Let l = 5 - 2. Suppose l*a + 0*a = 0. Is -1 > a?
False
Let s = 524.5 - 524. Let g = 9/4 + -23/12. Is g >= s?
False
Let v be ((-3)/9)/((-3)/144). Is v <= 16?
True
Let l = 0.51 + -0.5. Let t = 0.21 - l. Is t at least -1/2?
True
Suppose 3*x + 0*x = -75. Let a = 16 + x. Which is smaller: a or -0.1?
a
Let g(a) = 7*a + a**3 - a + 3 + 0*a**2 + 0*a**3 + 7*a**2. Let y be g(-6). Is y at least 3?
True
Let n = -11 + 10.85. Let g = n - -1.15. Let w = -29/30 - -4/5. Which is greater: g or w?
g
Suppose 4*s = 5 - 1. Let k = 2/197 - -1373/591. Which is greater: s or k?
k
Let s be (-1 - -2)/((-2)/(-12)). Suppose 5*v - 7*v + s = 0. Is v greater than or equal to 4?
False
Suppose 0 = -2*c + 6 + 4. Suppose 7 = 4*m + 5*p, -m - p + c = -2*m. Let j be m - (-1)/((-3)/(-6)). Which is bigger: j or -2?
j
Let l(i) = 4*i - 12. Let f be l(0). Is -12 at least as big as f?
True
Let n = 15695459/72 + -217981. Let c = 100/9 - n. Which is bigger: -1 or c?
c
Suppose -o - o + 4 = 0. Let n = o + -4. Which is bigger: n or -3?
n
Let h(b) = -b - 4. Let c be h(-5). Suppose -5*w = -c - 4. Which is bigger: w or 0?
w
Let a be -4 - (2*-5 + 3). Suppose -a*g - 4 = 8. Which is smaller: 0 or g?
g
Let d = 1.5 + -3.4. Let k = d - -1.93. Which is smaller: k or 1?
k
Let j(k) be the third derivative of -k**4/12 + 7*k**3/6 + 6*k**2. Let x be j(9). Which is smaller: -2/3 or x?
x
Suppose 7*f = 4*f. Which is greater: -5/9 or f?
f
Let z be (-2)/7 + (-6)/(-21). Let o be (-5)/(-3) - 4/6. Are o and z equal?
False
Let j(h) be the third derivative of h**5/60 + 2*h**2. Let f be j(2). Let s = 2 - f. Which is bigger: -2/7 or s?
-2/7
Let r = 6.05 + -0.05. Let i = r - 5.7. Are i and 1 unequal?
True
Let a be (7*6/126)/(2/4). Which is bigger: a or 84?
84
Let n be ((-216)/(-96))/((-6)/(-16)). Which is smaller: n or -0.1?
-0.1
Suppose -5*k - 11 = -56. Which is smaller: k or 5?
5
Let k be 2*(-1)/(-2) - (-434)/(-438). Which is greater: k or 1?
1
Let y = 19 + -16. Let q be 1/((-3)/y)*1. Let n(p) = p**3 + 5*p**2 - 7*p - 5. Let i be n(-6). Is i at most as big as q?
False
Let t = 5.6 + -5. Let s = t + 0.4. Which is greater: s or 0?
s
Let s(u) = u**3 - 10*u**2 - u + 12. Let x be s(10). Which is smaller: x or 14/5?
x
Let f = -17 + 15.2. Let a = 2 + f. Is a at least 3?
False
Let v = -97 + 74. Which is greater: -25 or v?
v
Suppose 0 = 5*x - 30 + 5. Suppose -d + 9 = -3*v, x*d = -v + 4*v - 3. Is -3 greater than or equal to d?
True
Let q(s) = s**3 - 5*s**2 - s + 4. Let x be ((-25)/10)/(1/(-2)). Let r be q(x). Which is bigger: -2 or r?
r
Suppose 5*o - 63 = 2*o. Suppose -3*h = -p - 1 + o, -p = h. Suppose -p*v = -2*u + 6 + 3, 2*v = -2*u + 2. Is 2 at least as big as u?
True
Let a = 2.67 - 0.13. Let p = a - 0.44. Let u = -2 + p. Is u greater than or equal to -0.1?
True
Let b(z) = z**3 - 6*z**2 + 10*z - 8. Let q be b(4). Which is bigger: 3/11 or q?
3/11
Let f(s) = 7 - s + 9 + 0*s. Let g be f(0). Let l be (g/(-12))/((-14)/3). Is -2 <= l?
True
Let h(k) = k**3 - 5*k**2 - 4*k - 1. Let o be h(6). Let c(m) = m**2 - 8*m + 8. Let b be c(7). Which is smaller: o or b?
b
Let i = -38.17 + 38. Let q = i - -0.17. Which is smaller: 13 or q?
q
Let o = -1 + 5. Suppose o = -6*w + 28. Is w not equal to 2?
True
Let k be (-6)/((0 - -2)*-1). Let c be 0/(6/(k/1)). Let t = -43 + 257/6. Which is bigger: c or t?
c
Let p be 0*(5 + (-16)/4). Is -3/23 > p?
False
Suppose 6 = -f - 3*t, -2*f + 4*t - 2 + 10 = 0. Which is smaller: f or -1/18?
-1/18
Suppose -11*t = -6*t - 90. Is 16 smaller than t?
True
Let r be (-1 - (-3 - -4))*1. Let b be (-4)/6*(-1 - -2). Is r at most as big as b?
True
Let d = -100 - -109. Is 3/4 not equal to d?
True
Let b = -67 - -114. Is b at least as big as -1?
True
Suppose -4 = m + 3*m. Let u be (0 - 1)/m + 20. Let y = 61/3 - u. Which is greater: -1 or y?
y
Suppose 5*i = i. Are 1 and i non-equal?
True
Let q = 28 + -19. Let c = 5 - q. Let b = 3.1 + -3. Are b and c unequal?
True
Let d = 0.557 + -50.457. Let q = -45 - d. Let w = -5 + q. Which is smaller: w or 1?
w
Let s(a) = -4 - a + 1 + 2. Let k be s(-3). Which is smaller: k or 5/3?
5/3
Let v = -3 + 2. Let a = 496 + -499. Which is smaller: v or a?
a
Let d = -1/75 - -377/150. Suppose w = 5*w - 16. Which is greater: d or w?
w
Suppose -23 - 13 = -g. Let z be (-1)/3 + 21/g. Which is smaller: z or -1/4?
-1/4
Let o(n) = -n**2 - 4*n - 2. Let h be o(-3). Suppose -h = -3*v - 2*i, 3*i - 12 + 2 = 4*v. Let a = 0 - v. Is a >= -1?
True
Let m = 0.9 - -0.1. Let o = -0.04 - -0.64. Let p = -0.5 + o. Is p < m?
True
Let c(x) = -x**3 + 4*x**2 - x. Suppose 0 = -4*f - 16, 4*f + 5 + 17 = 3*b. Let g be c(b). Are g and 1/4 equal?
False
Let l be (0 - 0 - 5) + -1. Let o = -6 - l. Suppose o = 4*k - 12. Which is smaller: 1 or k?
1
Let y(r) = r**3 + 10*r**2 + 11*r + 21. Let q be y(-9). Which is smalle