ose 1449 - 10377 = -24*o. Is o greater than or equal to 0.1?
True
Suppose 8*f - 9 = 5*f. Suppose 3 + 7 = -5*o, -f*y + 205 = -5*o. Let a be 4/20 + (-23)/y. Is 0.2 >= a?
True
Suppose 10*g + 3 = 11*g. Suppose g*i - 3 = 5*s - 16, 2*i + 2*s + 14 = 0. Is -9 bigger than i?
False
Let f = -17863 + 12182569/682. Is f <= 0?
False
Let y(j) = j**3 - 10*j**2 + 12*j - 20. Let i be y(9). Is 4 less than i?
True
Suppose 5*i = -z + 534, -z + 26 = -i - 520. Let d be 2 - (z/92 - 4). Let m = d - 68/253. Which is smaller: 3 or m?
m
Let r(g) = g**2 + 16*g - 422. Let b be r(14). Let s = -5 + 3. Is s greater than or equal to b?
True
Let h = -648 + 581. Which is greater: -339/5 or h?
h
Let a = 465 - 464. Let u = -425/14577 - -2/339. Which is smaller: u or a?
u
Let h = 823 + -777.9. Let m = 45 - h. Which is smaller: 31 or m?
m
Let v = 625 + -625. Which is smaller: 4/149 or v?
v
Let p be (-2)/(-12) + 339/18. Suppose j + 10 + p = 0. Which is bigger: -28 or j?
-28
Suppose 0 = -48*j + 47*j - 58. Suppose -4*z - 2*o = 78, -o - 109 = 4*z - 34. Let g be z/(-24) + j/56. Which is bigger: 0 or g?
0
Suppose t - 7 = 13. Let o(i) = -6*i - 5. Let p be o(-3). Let l = 8 + p. Are l and t non-equal?
True
Let a be 0 + (-1)/(1/(-3)). Suppose -5 = a*v + 7. Suppose -5*g = -f + 4, 3*g + 5*f = 6*g - 2. Which is greater: g or v?
g
Suppose i + s = 4, 9 = 4*i + 2*s - 11. Let l(o) = -2*o - 9. Let r be l(-7). Suppose -3*b = 2*n + r - 25, -2*n = -2. Is b bigger than i?
False
Let n be 6*(-3)/28*-2. Let b(m) = 2*m + 8. Let v be b(-3). Do n and v have the same value?
False
Suppose -14*u + 460 = -4*u. Which is smaller: 41 or u?
41
Let x = -1316 + 1248. Is -205/3 smaller than x?
True
Let y(h) = -h**3 - h**2 + 2*h + 1. Let r be y(0). Let w be 3*r/(-9) + -2. Let i(d) = -4*d**2 + d. Let v be i(1). Is v bigger than w?
False
Let z = 0.7 + -0.2. Let m = -45 + 68. Let u = m - 26. Which is greater: z or u?
z
Suppose 2*c - 5*z - 31 = 0, 4*c + z = -3*z - 8. Let v be (58 - 1)*1/c. Suppose -1 = -5*d + v. Are d and 5 unequal?
True
Let v = -238.4 + 17.4. Is -2/3 >= v?
True
Let w(g) = -7*g**2 - 13*g - 18. Let v be w(-4). Is -78 not equal to v?
False
Let x = -2.01983 - -0.01983. Suppose -2*f + 6 - 2 = 0. Let i(y) = -y**3 + 2*y**2 + 1. Let l be i(f). Which is bigger: x or l?
l
Let j be 22/(-14) + 5 + 186/(-42). Is j bigger than 5/31?
False
Suppose -2*c + 171 = 17*c. Are 10 and c equal?
False
Let z(o) = o**2 + 11*o - 12. Let h be z(-12). Suppose 0*m + 10 = -m + 5*k, h = -2*k + 4. Suppose 2*c - 7*c = m. Is -6/5 less than or equal to c?
True
Let f(w) = -w**2 - 3*w + 3. Let g be f(-5). Let v be (-4)/g - 0/(-8). Suppose -22 = 2*q - 18. Which is smaller: q or v?
q
Let x = 12 + -6. Let n be 39/12 + 1 - -2. Let l = x - n. Which is bigger: l or 0?
0
Let o = 7.2 - 6.6. Let i = 0.1 + 0.7. Let f = i - o. Which is smaller: f or 2/3?
f
Suppose 14*b + 15 = 17*b. Suppose 2*d - 5*d = 0. Suppose -3*z + 3*l - 9 = d, 4*z + b*l = l + 20. Are 1 and z unequal?
False
Let w = -11.4 + 1.4. Let d = -15 - w. Let a = -5.5 - d. Which is smaller: 1/4 or a?
a
Suppose -5*l - 20 = j + 14, -5*l + 5*j = 40. Which is bigger: -57/7 or l?
l
Let y = -25 - -12. Let q = y + 22. Suppose 4 = 6*n - 56. Which is bigger: q or n?
n
Suppose a = 9*a - 40. Let l(f) = -4*f**2 - 3*f + 24. Let c be l(a). Which is smaller: -92 or c?
-92
Let r = -85.3 + 93. Let n = r + -9. Let m = 2.3 + n. Is m at least as big as -1/2?
True
Let s(j) = 7*j + 85. Let h be s(10). Which is smaller: h or 160?
h
Let d(k) = -k**3 + 11*k**2 - 17*k - 10. Let u be d(9). Let t(q) = q**3 + 7*q**2 - 8*q + 8. Let v be t(-8). Let m be 3/24 + (-2)/v. Is m at most u?
False
Let u be (-2)/5 - (-1)/15. Let y = 244 - 239. Is u at most as big as y?
True
Let u be (-6)/(-8) - (-130)/(-176). Let c = u + 169/616. Which is greater: 3 or c?
3
Let i = 31 + -25. Let g be (-16)/(-12)*i/(-4). Which is bigger: g or -2/3?
-2/3
Let u = -28 - -34. Is 9/2 < u?
True
Suppose -p + 4 = 26. Let g = p - -22. Which is smaller: g or 1/20?
g
Suppose 3*z - 10 - 11 = 0. Suppose -r + z = a, 2*r + 5*a = 25 - 2. Suppose 0 = 3*x - v + 4, x + 6*v - v - r = 0. Is x greater than or equal to -3?
True
Let o = 0.91 - -0.09. Suppose 0*q - 5*q = -5. Is q != o?
False
Let x(p) = -p**3 - 28*p**2 - 96*p + 7. Let t be x(-24). Let c(h) = -h**3 + h**2 - h + 6. Suppose -2*w = -5*w. Let v be c(w). Does v = t?
False
Let s = -16/339 + -5446/13899. Which is smaller: s or 1?
s
Let b = -115.9 - -116. Suppose -4*o + 95 = -3*x, 2*x - 3*x - 29 = -2*o. Is x <= b?
True
Let p = -4 + 3. Let r = 7 - p. Suppose 0 = -3*v + s - 15 + 35, 4*v - 29 = -s. Is r at least as big as v?
True
Let w = 1.72 - 1.882. Let p = -0.132 - w. Is p at most 2?
True
Suppose -4*v - 109 = -5*h, 0 = -5*h - v + 2*v + 121. Let b be (-78)/4*(-3 + 45/27). Is h >= b?
False
Suppose -3*w - h = -2*w + 58, 0 = -3*w + 5*h - 166. Are -58 and w unequal?
True
Let m(n) = -4*n**2 + 15*n + 24. Let w be m(-2). Are -31 and w equal?
False
Let d = 157 + -158. Let s be (0 - -2) + 308/(-160). Is d != s?
True
Let c = 5 + -3. Suppose -c*p + 13 = -3. Which is smaller: p or 10?
p
Let u = -9.9 - -10.2. Which is smaller: u or 2/7?
2/7
Let i(o) be the first derivative of o**4/4 - o**2/2 + 5*o - 2. Let p be i(0). Let m(j) = -j + 7. Let y be m(4). Does y = p?
False
Let o = 23.35 + -23. Let s = 0.15 - o. Does -3/13 = s?
False
Let f = -0.06 - -23.06. Let w = f - 22.9. Is w < -2/5?
False
Suppose 4*l = 5*s - 1148 - 893, l = 3*s - 505. Does l = -512?
False
Let f = 17 - 11. Let i = -27 - -30.8. Let l = i + -2.8. Do l and f have different values?
True
Suppose -x - 11*x + 48 = 0. Let t be (-2*(7 - x))/((-34)/3). Is t at most 0?
False
Let r be ((-30)/(-288))/((-2)/3). Is r smaller than -1?
False
Let w = 35 - 15. Let c = w + -10. Let a = 9.9 - c. Which is smaller: 2 or a?
a
Let m = 681 + -667. Which is greater: m or 67/5?
m
Let a = -57/4 - -15. Let s = -14 - -14. Suppose -3*y + s*b = 2*b - 6, 4*b - 4 = -2*y. Which is bigger: a or y?
y
Let g = -2475 - -3014. Are 538 and g nonequal?
True
Let i = 669 - 5345/8. Is i > 2?
False
Let i = -889 - -894. Suppose 0 = 3*q - 6 - 12. Which is smaller: q or i?
i
Let c be 4/10 + 256/110. Let r be ((-212)/583)/(1/(-11)) - 1. Does c = r?
False
Let u(c) = -2*c - 16. Let o be u(-10). Let q = 3 - o. Let z be 4 + (q - -3 - 5). Which is smaller: z or -2?
-2
Let g = 0.02 + 1.18. Let w = -22 + 18. Which is bigger: w or g?
g
Suppose -7 = 5*l + 8. Let q be 38*(0 + (-28)/(-8) - 1). Let m = -95 + q. Is l > m?
False
Suppose 2*o - 6 = 0, -3*o + 8*o - 10 = -5*c. Let w be (-4 - -1) + (-1440)/(-496). Let u = -55/248 - w. Are u and c unequal?
True
Let k = 131 - 666/5. Let m(x) = -x**2 + 20*x - 86. Let s be m(14). Is s at most k?
False
Let d = 19.9211 + -19.93. Which is greater: d or -2/7?
d
Let i be ((-4)/(-6))/(2/3). Let w be ((-4)/(-240))/((-27)/24). Which is smaller: i or w?
w
Let o(m) = -8*m + 67. Let l be o(8). Let p(k) = -k**3 + k**2 + 1. Let s be p(0). Suppose -s - 26 = l*x. Which is smaller: x or -11?
-11
Suppose -17*a = -15*a + m + 7, -2*m = -3*a - 21. Is -4 <= a?
False
Suppose -14*a - 66 = -80. Is -104/7 less than a?
True
Let d(w) = -6*w - 31. Let s be (-10)/(-1)*4*(-1)/8. Let k be d(s). Which is greater: k or -9/17?
-9/17
Let m(h) = 3*h**2 - h + 167. Let q be m(0). Which is smaller: q or 168?
q
Let z be ((-4)/(-14))/(-1) + 2400/8645. Are 2/7 and z non-equal?
True
Let n = 297.7 + -315. Let i = n - -0.3. Are -2 and i non-equal?
True
Let o = -270541/67 - -4038. Which is smaller: o or 0?
0
Let n(g) = g + 4. Let y be n(-2). Let u(v) = -3 - v**3 + 4*v + 4 - 4 + 0*v**2 + y*v**2. Let a be u(3). Which is smaller: a or -2?
-2
Let l = -9541 - -9623.81. Let i = l + -83. Which is greater: -1 or i?
i
Let w be (26/6)/((-2)/48). Let o = w - -104. Suppose 5*l - 42 = 33. Is o smaller than l?
True
Let j = -35 - -701/20. Do 0 and j have the same value?
False
Let n be (-270)/20*4/3. Let m = -18 - n. Is 17 bigger than m?
True
Let m = -309 + 315.04. Let q = 6.1 - m. Which is bigger: q or 0.2?
0.2
Let c be (-68)/17 - 2*-6. Let r be ((-15)/(-20))/(1/c). Let l be (12 - 14) + 8/r. Which is smaller: 0.2 or l?
l
Let b be 284/(-18) - (-2)/(-9). Suppose -a - 14 - 3 = 0. Which is smaller: b or a?
a
Let c = -66 - -70. Suppose -2*t = -4*k + 3*k, -c*k - 6 = -2*t. Is t bigger than 2/9?
False
Let t = 623 - 624. Is t <= 2/73?
True
Suppose -4*s = -9*