. Is u greater than or equal to l?
True
Let a be -1*(-1)/21*6. Do 1/4 and a have the same value?
False
Let w be (-2)/(-4) + 609/2. Let d = 49/1535 - -3749613/12280. Let c = w - d. Which is smaller: c or -1?
-1
Let r = -0.02 + 0.32. Let m = -0.2 + r. Let k = 101/4 - 25. Is m at least as big as k?
False
Let f(d) = -5*d**3 + d**2 - 8*d + 14. Let o(u) = -u**3 + u**2 + 1. Let n(y) = -f(y) + 6*o(y). Let h be n(6). Does h = 4?
True
Let m = 0.517 + -0.017. Is m at least as big as -1.2?
True
Suppose 0 = -3*a + 4*k + 9, -5*k - 11 = -0*a - 4*a. Are -1/41 and a unequal?
True
Let g = 10 - -8. Let f be (2 + -76)*(-61)/g. Let r = f - 251. Which is smaller: r or 0?
r
Let b = -14.7 - -15. Which is greater: 0.2 or b?
b
Let a = 0.8 - -4.2. Let s = 6 - a. Let j = -1 + s. Is j at most as big as 0?
True
Let y be 6/84*(-1)/(2/6). Is 1 less than y?
False
Let o = -91/6 + 15. Is o greater than 9?
False
Suppose 5*p = 3*p - 5*z + 2, p - 2 = -3*z. Let i be (6/8)/((-6)/p). Let y be (-2)/(-5) + (-6)/(-10). Is y greater than i?
True
Let v = 9 + -10. Is v at least as big as -3/8?
False
Suppose 0 = 4*y - 8*y - 4. Is y > -1/36?
False
Let m = -0.04 - -0.05. Let j = m + -0.11. Which is smaller: -1/2 or j?
-1/2
Let i(h) = -7*h - 6*h**2 - 7 + 3*h + 3*h - 7*h - h**3. Let a be i(-5). Which is greater: 9 or a?
9
Let o be 0 - 0 - (-38)/(-247). Is 1 greater than o?
True
Let w be 3 + (-3 - (-2 + 0)). Which is greater: w or -1?
w
Suppose 0*b = -b. Suppose 5*c = -b + 15. Is c < 4?
True
Let y be (1 - 3)/(550/(-88)). Which is greater: y or 1?
1
Let n = 10 - 14. Suppose -5*a = j - 2, -2*j - 3*j = 4*a - 10. Is n at most a?
True
Let y(f) = 4*f**2 + f + 1. Let h be y(-1). Let n be (h/(-2) - -2)/(-2). Let i = 2/79 - 172/553. Which is smaller: n or i?
i
Let l be ((-8)/(-324))/((-1)/(-3)). Is 0 greater than or equal to l?
False
Let b = -3 - -4. Let h = 29 + 95. Let j = 866/7 - h. Is j < b?
True
Let w = -0.33 - -0.33. Let a = -7/20 + 3/20. Which is bigger: w or a?
w
Let o(g) = g**3 + 2*g**2 - 2*g + 3. Let b be o(-3). Let i = 2 + -2. Is i at least b?
True
Let d = 39 + -155/4. Let b be 0 - ((-322)/(-160) - 2). Let k = b - -21/80. Is d at most k?
True
Let c be 2/(1*(-1 + -1)). Which is smaller: c or -7?
-7
Let j = -81/44 + 1/132. Which is bigger: -3 or j?
j
Let h be (0/2)/((-2)/1). Let f be (-2)/(-4)*(h - -2). Suppose 0 = 2*p - 3*y - 17, 0 = 5*p + 5*y - y + 15. Are f and p nonequal?
False
Let q = -0.1 - -0.19. Let u = q + -0.09. Is -1/4 bigger than u?
False
Let v = 5 - 9. Is v at least as big as 1?
False
Let o be 2/4 - 3/6. Suppose 4*n + o = -16. Let r = 0 - n. Which is smaller: r or 3?
3
Let p = -2.5 + -0.3. Let m = 0.2 - p. Which is greater: m or -1/4?
m
Let g be 3/(-3 - -2) - (-6)/6. Is -3 < g?
True
Suppose -4*f = -2*f - 10. Suppose -j = 2*t - 11 + 4, 2*t - f = -3*j. Let g be (t - 1)/(6/(-4)). Which is smaller: 0 or g?
g
Let p = -5.05 - -5. Let q = 5/8 - 1/8. Is p < q?
True
Let w(j) be the second derivative of -j**4/12 - 7*j**3/6 - 3*j**2/2 + j. Let q be w(-6). Suppose 0*y - q*y = 3. Which is greater: y or -4/3?
y
Let p(k) = 5*k**2 - 4. Let l be p(2). Which is smaller: 17 or l?
l
Suppose i = -4*i. Let f be (2 - 1)*(1 + (1 - 2)). Is f at least i?
True
Let s(u) = -8*u + 1. Let g(p) = -9*p + 1. Let c(r) = 5*g(r) - 6*s(r). Let h be c(-1). Let t be (h/(-10))/(1/10). Which is greater: t or 5?
5
Let n = -41.1 + 46. Let z = n + -5. Let i = 0 + 1. Which is smaller: z or i?
z
Let d = 0.64 - -2.36. Is d at most as big as 0.12?
False
Let n(x) = -x + 1. Let g be n(-3). Suppose -2*u - 2*v = -6*u + 12, 2*u + g*v - 16 = 0. Which is bigger: 1 or u?
u
Suppose -4*n + 22 = 2. Let c = n - 2. Suppose 5*q + 28 = -0*j + j, c*q = -3*j - 6. Are -4 and q unequal?
True
Let o = -8 + 8. Let c be 2/(-4)*2*o. Is 2 greater than or equal to c?
True
Let y be (-3*3 - 2) + 1. Let h be (4/y)/((-6)/15). Let i = 228 + -2054/9. Which is bigger: h or i?
h
Let s = 31 + -22. Let v be 2/s + (-7)/(-9). Let p = -22/95 - -12/19. Which is greater: p or v?
v
Let x be 4 - (-1)/4*0. Suppose 4 = d + d. Suppose x*b = d*b + 2. Which is smaller: b or 2?
b
Suppose -9 = 4*u + 3. Let c = 7 + -11. Is u != c?
True
Suppose 3*d - 4*g - 24 = -d, -g - 15 = -4*d. Suppose 3 = -3*u, -h - u = -2*u - 4. Suppose 0*o = -h*o - d. Is 1 at most as big as o?
False
Let f = -51 - -45. Is f > -2/9?
False
Let d = -47 + 46. Is 6 <= d?
False
Suppose 2*r = -5*o - 22, 2*r = 7*r + 5. Let g be (0/(o - -1))/(-2). Is -1 less than g?
True
Let o = 0.1 + -0.1. Let k = -0.1 + o. Let q = k + -0.1. Which is smaller: q or -0.1?
q
Let v(z) = -7*z - 1. Let g be v(1). Let x = g - -6. Let j be -3*2/2 + 0. Is j greater than x?
False
Let p = -15.2 - -15. Which is greater: 1/4 or p?
1/4
Let a = 0.03 + -0.63. Let h = a + -0.4. Do -0.1 and h have the same value?
False
Let v = 340 + -226. Let k = 572/5 - v. Which is smaller: -1 or k?
-1
Suppose -4*b = -5*b. Which is smaller: b or 5/8?
b
Let g = 19.629 + 0.471. Let t = 21 - g. Let z = -0.9 + t. Which is greater: -0.1 or z?
z
Suppose 5*a + 3 = 48. Is 11 < a?
False
Let b = 0.15 - 0.05. Let o = -0.15 + b. Are 1 and o nonequal?
True
Let w = 9 + -9. Let u be (2/(-26) - w) + 0. Which is bigger: 0 or u?
0
Let x be ((-1)/(-3)*1)/1. Let h = 0.95 - -0.15. Let l = 0.1 - h. Are x and l nonequal?
True
Let i = -0.3 - -0.7. Let t = -0.2 - -0.8. Let z = t + i. Which is greater: z or -0.3?
z
Let x = 9.18 - 0.18. Let q = -8.5 + x. Let p be -2 + 0 - 14/(-6). Do p and q have different values?
True
Let g be 5/(-25) - (-32)/10. Suppose 6*v - 19 = 2*v - 5*z, -4*v + 13 = g*z. Is v at most -2/9?
False
Let k(n) = n - 3. Let w be k(4). Let c be (w + (-4)/6)/1. Let f = 2/3 - c. Which is smaller: f or 0?
0
Let s = -3.7 + 6.7. Is s smaller than 10?
True
Let f be ((-12)/4)/((-17)/2). Which is smaller: f or 0?
0
Let q be -4 - 1/56*-223. Is 0 less than or equal to q?
False
Let h(n) = -n**2 + 2*n + 3. Let q be h(4). Let w be (-1)/q + 592/15. Let l = w + -40. Are l and 1 nonequal?
True
Let c = -155 + 155. Let n = -697/1659 + -2/237. Which is greater: n or c?
c
Suppose -d = 2*d - 2*c - 5, 5*c + 4 = -d. Which is smaller: 2/121 or d?
2/121
Let w be 49/(14/(-12) + 1/6). Is w < 0.1?
True
Let p = 8.1 + 2.9. Let o = 10 - p. Let v = -2 - -1. Do v and o have the same value?
True
Let t be 72*(0/2 + 1). Is t greater than or equal to 72?
True
Suppose 0 = -5*g - 49 - 41. Let t be 3*-2*1/g. Let z = 0 - 1. Which is bigger: t or z?
t
Let x = -0.1 - 0. Let h = -41 - -41.1. Which is bigger: h or x?
h
Let y = 2.3 + -13.3. Let w = -7 - y. Which is greater: 1/4 or w?
w
Let w(x) = 2*x + 2*x - 1 - 6*x - 4. Let b be w(-7). Let i be 12/b*(-18)/(-4). Is i <= -2/7?
False
Let f = -13.96 - -14. Which is smaller: f or 0.1?
f
Suppose p - 2 + 7 = 0, -4*g - 20 = 4*p. Let o be (8/(-6))/((-1)/(-3)). Are o and g equal?
False
Let d be (-3 + (-30)/(-9))*15. Let w(u) = -u**3 + 8*u**2 - 10*u + 9. Let a be w(6). Let s be a/4 - (-4)/(-16). Is d greater than or equal to s?
True
Let r = -0.01 + 0.31. Let j = 0.1 - 0.5. Let k = j + r. Is k smaller than -0.1?
False
Let b = 0.07 + -0.09. Let q = -0.08 + b. Which is smaller: -2/11 or q?
-2/11
Let y(z) = z**3 - 3 + 7 + 3*z**2 + z + 0*z. Suppose 2*a + 3 = a. Let r be y(a). Which is smaller: 2 or r?
r
Let y be 38/28 + 48/(-32). Are 0 and y nonequal?
True
Let s = 30 + -14. Let r = -16 + s. Is 1/12 > r?
True
Let y be (-10)/(-85) - (-64)/34. Does y = 7/4?
False
Suppose 0 = -p - 2*n + 4*n + 6, 0 = 2*p + 3*n + 9. Let i = -3 + p. Is i less than or equal to -4?
False
Let m be (65/15 - 4)/((-11)/(-15)). Which is bigger: 0 or m?
m
Let b = 45 - 19. Is b > 25?
True
Let d be 10/(-4) + (-36)/(-24). Which is smaller: d or -11/8?
-11/8
Let z be (-15)/(-5)*(-160)/(-6). Let c be (2/(-4))/(5/z). Let o be 74/90 - c/(-36). Is 0 equal to o?
False
Let o(h) = -h**3 + h**2 + 3. Let l be o(0). Let c(m) = -m**2 - 19*m - 16. Let z be c(-18). Which is smaller: z or l?
z
Suppose 21*x = 10*x + 1243. Is 113 at least x?
True
Let v = 0 + 3. Suppose u + 4 = v. Which is smaller: 2/33 or u?
u
Let h be (-13275)/81 - 0/(-1). Let u = 163 + h. Do u and -2 have the same value?
False
Let n be (-2)/(-8) - (-147)/(-12). Does -59/5 = n?
False
Let y = 2 + -2.1. Let a = -6 + 8. Let w = 3 - a. Which is smaller: y or w?
y
Let x be (-44)/(-6) - (-1)/(-3). Suppose -b - 3*q - 1 = 6, 5*b + q + x = 0. Is -1 at least as big as b?
True
L