3. Is i >= x?
False
Let u = 1.17 - 1.1. Let o = 99.25 - 98.65. Which is smaller: o or u?
u
Let v = 73 + -43. Let n be 25*((-56)/v - -2). Let l = -136 - -138. Which is greater: n or l?
n
Let k = -2.7 - 0.1. Let j = -2.8 - k. Is j >= 0.3?
False
Let a = -1 - 0. Let c be (18/4)/(a/(-2)). Suppose -h - 26 = -3*x - 0*h, 3*x - 28 = -h. Is c less than or equal to x?
True
Let j = 638/5 + -127. Let q = 13 - 23. Let r = 9.9 + q. Which is bigger: r or j?
j
Let b = -0.208 - 15.792. Is 3 smaller than b?
False
Let g = 421.8 - 424. Let v = 30 - 34.2. Let l = g - v. Which is smaller: 4 or l?
l
Let o be -22*((-28)/(-8) - -2). Let s = 2419/20 + o. Is s < 1?
True
Let k = 227 + -207.6. Let r = 20 - k. Which is smaller: r or 2/5?
2/5
Let z = -735 + 3768/5. Is z greater than or equal to 18?
True
Let q(i) be the third derivative of i**6/120 + i**5/30 + i**4/12 + i**3/6 - 5*i**2. Let n be q(-1). Suppose -3*h + 25 + 8 = n. Which is smaller: h or 12?
h
Let f be 11/33 + (-4 - -4). Is f smaller than 2/23?
False
Let i = 2.446 - 0.446. Which is greater: i or -1/162?
i
Let k = -169/10 - -9973/590. Which is greater: k or -1?
k
Suppose 10 = 3*x - g, 5*x + 3 = -5*g - 7. Suppose 0 = -2*z + 6*z - 12. Is z > x?
True
Let p be (1 - -8) + (6 - 7). Suppose -p*d + 11 = -5. Which is smaller: 3/4 or d?
3/4
Let d = -6/13 - -11/52. Let m be (11/(-11))/((-48)/3). Is m at least d?
True
Let m(d) = d**2 - 2*d. Let i be m(2). Suppose -c - 3 = -i*c. Is 2/23 at most as big as c?
False
Let q = 301 + -98. Which is smaller: 809/4 or q?
809/4
Let f be (-4 + 4)*(1 + 0). Suppose 3*d - 3*n = f, 0*n = -2*n. Which is greater: d or -16?
d
Suppose 0*k = 2*k - 2. Let i = 0.0011 + -0.0411. Is k != i?
True
Suppose -5*q = 4*a - 643, -8*a + 2*q = -6*a - 326. Which is bigger: 164 or a?
164
Let p(k) = -3*k**3 - 2*k**2 + 9*k + 15. Let n(y) = 8*y**3 + 7*y**2 - 26*y - 44. Let r(i) = 4*n(i) + 11*p(i). Let s be r(5). Is s != -10?
True
Let r = 7.2 + -7.33. Let o = 0.43 + r. Do o and -1/7 have the same value?
False
Let d = 5 + 1. Let x = 0.46 - -4.54. Which is smaller: x or d?
x
Let j = 14 + -20. Let u be (-22)/(-33)*j/(-316). Which is smaller: u or 1?
u
Let r = 320.17 - 313. Let o = r - 0.17. Let t = 33.88 + -33.68. Is t <= o?
True
Let q be (27/(-12))/(3/8). Let z be ((-4)/32)/(1/14). Let b = 2 + z. Which is smaller: b or q?
q
Let h = -32 + 20. Let s be (-2)/h + (-687)/18. Let p = 28 + -65. Is s greater than or equal to p?
False
Let j = -34 + 50. Let i = -16 + j. Is i equal to -12/17?
False
Let u be ((-8)/(-84))/((-175)/245). Which is smaller: u or -11?
-11
Let a = 1.1 - 0.1. Let t = -4/13 + 3/13. Let f = -32/247 - t. Is f > a?
False
Let h = 1158 - 1152. Is 5 greater than h?
False
Let i = 133/3 - 5450/123. Suppose -6 = -6*h - 0. Which is bigger: i or h?
h
Let x = 0.42947 - -2.61683. Let f = -0.0437 - x. Let o = 0.09 + f. Which is bigger: o or 2/9?
2/9
Let b be (-62)/93*(-39)/(-2). Is 18 less than or equal to b?
False
Let l(p) = -p**3 + 4*p**2 + 13*p - 2. Let d be l(6). Suppose -x + 4*v = -4*x + 16, 0 = -d*x - 2*v + 8. Is x at least -2/11?
True
Let b(i) = -294*i + 9. Let x be b(-1). Let n = -45967549/23 - -1998892. Let y = x - n. Which is smaller: 0 or y?
0
Let k = -165353/73 - -2265. Which is smaller: 0 or k?
k
Let s = -8 + 10. Let y = -1.88 - -2. Let l = y + -0.09. Which is smaller: s or l?
l
Suppose -3 - 99 = -3*m. Let w = m - 34. Which is bigger: w or 5/19?
5/19
Let i be 5*(-108)/15*9. Let t be (-4)/(i/(-237)) + 3. Let y be 84/(-126) - 10/(-6). Which is greater: y or t?
y
Suppose -43*p - 196 = -15*p. Is p at least as big as -10?
True
Let d = 95.32 + -1.32. Let w = 86 - d. Let z be ((-4)/(-30))/((-3)/9). Which is greater: w or z?
z
Let j(l) = -2*l**3 - 13*l**2 - 9*l + 86. Let p be j(-9). Is p equal to 573?
False
Let b(j) = 5*j + 14. Let q be b(-4). Let l(y) = y + 2. Let z be l(-5). Let w = z - 1. Which is smaller: w or q?
q
Let k = 217 - 216. Let u = -6 - 24. Let g be 2/u*(-1 + -2). Which is smaller: k or g?
g
Suppose 36 = -25*u + 7*u. Is -0.28 smaller than u?
False
Let y(o) = -2*o**2 + 4*o - 2. Let c be y(2). Let n = -8 + 8. Suppose 5*i + 0 + 10 = n. Is c less than i?
False
Let t be (21/588)/((-2)/(-10)). Suppose -5*j = 7 - 2. Which is smaller: t or j?
j
Let v be (-88)/66 + 166/120. Does 3 = v?
False
Let w = -143.78 + 144. Let q = 0.1 + w. Do q and -1 have the same value?
False
Suppose -40 = -12*m + 7*m. Suppose -4*o - 132 = m*o. Which is smaller: -8 or o?
o
Let v = 165 + -170. Which is smaller: -2/3 or v?
v
Let a = 5 - 6. Let h(n) = n**3 + 5*n**2 - 8*n + 4. Suppose 2*l + 5*k + 17 = 4*k, 2*l + 3*k + 27 = 0. Let g be h(l). Which is smaller: a or g?
a
Let f = -2703 + 4634. Is 1931 != f?
False
Suppose -2*f = -0*f + 4. Let n be (-1)/((f + -122)/2). Is n greater than or equal to 0?
True
Let k = 154 - 154. Which is smaller: -35 or k?
-35
Let n(y) = 3*y**2 + 8*y - 2. Let b be n(-4). Let m be 172/b + 6/(-21). Suppose 7*d - 3*d + m = -2*v, 2*v = -3*d - 14. Which is smaller: v or -8?
v
Let m = 128/11 + -5226/451. Which is smaller: -0.14 or m?
-0.14
Let l be (54/15)/(-2)*(-48)/(-360). Which is smaller: -4 or l?
-4
Suppose 12*u + 11920 = 3688. Is u > -685?
False
Let w = -0.252 - -0.352. Which is greater: 8/17 or w?
8/17
Let s = -12 - -14. Suppose 3*l + 2*i - 5 = s, l - i = 9. Suppose -f = -l*z, -z + 9 - 27 = -2*f. Is f >= 0?
True
Let l be (-2)/(-36)*1/(-3). Let t(i) = -i**2 + 16*i + 18. Let b be t(17). Which is greater: b or l?
b
Suppose 0 - 8 = -97*s + 95*s. Let h be (1 + 8)*(0 + 1). Let g = h - 4. Is s at least as big as g?
False
Let t = 259 - 260. Is t > 2/203?
False
Let n be 3/(-6)*(0 - (3 + -7)). Is 0.21 greater than or equal to n?
True
Let i = 2 - 9. Let y(z) = -2*z - 2. Let o be y(i). Suppose -4*v - 30 = 5*p, o + 6 = -3*p - v. Which is greater: -5 or p?
-5
Suppose 21 = 3*m + 4*s, -2*s + 12 = 2*s. Suppose -q + 2*j = -m, -3*j = -4*q - 0*q + 22. Let y = -33 - -33. Which is smaller: q or y?
y
Let g = -45/82 + 2/41. Suppose 5*d - 6 = 3*d. Suppose -d*q + 7*q = -12. Is q greater than g?
False
Suppose 475 = -7*k + 1168. Let o = -104 + k. Is o at least -31/6?
True
Let i = 51 - 50.9. Is -45 != i?
True
Let y be -4 - 156/(-975)*551/22. Which is smaller: y or 0?
0
Suppose -375 = 4*m - 5*z, 9*m + z = 7*m - 177. Does m = -90?
True
Let j = 2 - 3. Let g = 65 - 182. Let o = 118 + g. Which is smaller: o or j?
j
Let l(i) = -i**2 + 32*i - 149. Let z be l(6). Which is smaller: z or 17?
z
Let t = 94.3 + -97. Is -2 greater than or equal to t?
True
Let x(v) = -10*v**3 + 4*v - 4. Let h(q) = 11*q**3 - 5*q + 5. Let j(g) = -5*h(g) - 6*x(g). Let i be j(1). Let l = 11 + -4. Which is greater: i or l?
l
Let v(u) = -3*u - 12. Let z be v(-5). Suppose 4*i = z*n - 17, i = 2*n - 3*i - 18. Is n equal to 19?
False
Let o be 910/(-91)*(3/(-2) + 1). Suppose -2*m + 22 = -4*p, 3*m + 2*m - 16 = -3*p. Suppose -m*s + o = -10*s. Which is smaller: s or 0?
s
Let y(z) = z**2 + 4*z - 8. Let t be y(-6). Suppose i + t*i = -35. Let d = -0.2 - -0.1. Which is smaller: i or d?
i
Let s = -10.99 - 701.01. Which is smaller: -0.1 or s?
s
Let m = -30973/11 + 2813. Which is bigger: m or -2?
-2
Let h = 53 + -36. Let a = h + -53/3. Is a > 3?
False
Suppose 3*v + 7 + 11 = 0. Let y be (4/v)/((-6)/63). Is y <= 9?
True
Let f = 31 - 16. Let l = 20 - f. Suppose 0 = 3*p + 5*o + 3, -3*p - 11 = -2*p + l*o. Which is bigger: p or 2?
p
Suppose 4*w = 8, 3*w - w - 68 = -2*z. Suppose -3*k = -12, 9*j = 13*j + k - 128. Is z at most j?
False
Let y = 0.1 - 0.11. Let v = -12987 + 12986.9. Is y smaller than v?
False
Let a be ((-5)/2)/(4/(-21)*-3). Suppose -2*m - 5*o - 10 = 0, -3*m - 15 = -0*m + 5*o. Which is smaller: a or m?
m
Let u(w) = -w**2 - w - 5. Let b be u(-4). Let l(r) = -r**3 + 17*r**2 - 44*r + 10. Let i be l(14). Is b less than i?
False
Let f(k) = -2*k + 7. Let a be f(-14). Let y be (204/(-85))/(2/(-30)). Is a greater than or equal to y?
False
Suppose -5*t + 3 = -4*i - 0*i, -i + t = 0. Let k = i + 7. Let f(w) = -w**2 + 6*w + 15. Let p be f(k). Which is greater: p or -26?
p
Suppose -2*k - 5*w - 25 = 2, -4*k - 15 = -3*w. Let v be (1/k)/((-24)/32). Which is greater: v or -0.07?
v
Let i be 3/45*(-180)/(-27). Which is smaller: i or 6?
i
Let o = -812 - -792. Are o and 13 non-equal?
True
Let u = 0 - -18. Suppose 18 + u = -3*n. Is n != -11?
True
Suppose -2*u + 329 = 409. Which is greater: -34 or u?
-34
