. Is l >= o?
False
Let n(j) = j**3 - 15*j**2 + 871 + 0*j**3 - 3*j - 850. Let a be n(15). Which is greater: -23 or a?
-23
Let h(z) = -z**2 + 6*z + 1. Suppose -2*n = n - 18. Let r be h(n). Suppose 5*y = -3*d - 18, 4*d - 9 = 4*y - r. Is 1/18 < d?
False
Let q = 0.187 - -0.113. Is q greater than or equal to -40?
True
Let r = -118.1 + 123. Let x = r - 5. Let z be 40/77 - 78/182. Which is smaller: x or z?
x
Suppose 2*y - 233 = -817. Is y smaller than -293?
False
Suppose 35 + 19 = 2*x. Suppose -v - 12 = -6. Let c be 3 + 21*v/x. Which is greater: c or -2?
c
Let d(x) = 64*x**3 - x**2 + x + 3. Let n be d(-1). Let r = 253/4 + n. Is r equal to 5/7?
False
Suppose 0 = 2*z + z - 6. Suppose -z*q = -0*q. Suppose 5*u = -3*v + 10, q*v + v - 4 = -u. Which is smaller: -2 or u?
-2
Suppose -4*l = -849 + 93. Let y = l - 5101/27. Which is bigger: 0 or y?
y
Suppose -x - 1 - 3 = 0. Let l be 0 + (-5)/((-30)/x). Let t be (-4)/((-6)/(12/(-10))). Which is smaller: t or l?
t
Let a(z) = 2*z**3 + 10*z**2 + z - 7. Let w be a(-5). Which is smaller: w or -13?
-13
Suppose 4*p - l = 8, -l - 1 = 5*p - 2. Which is smaller: p or -1/2520?
-1/2520
Let k = -0.56 + 0.26. Let q(w) = -w**2 + 9*w + 5. Let y be q(9). Which is smaller: y or k?
k
Suppose -4 = 5*q + 7*z - 6*z, 4*z = -2*q + 2. Do q and 3/139 have different values?
True
Suppose -16*k + 10*k + 12 = 0. Let c be ((-45)/18)/((-1)/k). Which is bigger: 33/7 or c?
c
Let t(n) = -n**2 - 8*n - 17. Let j be t(-3). Suppose s + 3 = 0, -k + 3*s = -0*s - 7. Is k less than j?
False
Let v = -7 - -14. Let m be 11 - (7 + -3 - v). Which is smaller: m or 11?
11
Suppose -4*q = 3*u - 94, -4*u - 4*q + 145 - 17 = 0. Which is smaller: u or 31?
31
Let k(u) = -22*u**2 - 4*u - 3. Let h be k(-2). Let l = 81 + h. Let z = 3 - 6. Is z at least l?
False
Let z = 9.96 - 96.66. Which is smaller: z or 1?
z
Suppose -27 = -4*k - 3*d, -5*d - 6 = -k - 5. Let h be 1300/480 - k/16. Let g = -6 - -9. Is g greater than h?
True
Suppose 7 = 15*c - 23. Let d = -2.2 + 0.2. Let l = 1 - d. Which is smaller: l or c?
c
Suppose -5*l + 4 + 1 = 0. Let v = -1 + l. Suppose v*o - 40 = -4*o. Is o at most 9?
False
Suppose -36*y + 39*y - 1101 = 0. Is 4/7 smaller than y?
True
Let i(r) = r + 7. Let c be i(-4). Suppose c*f = 2*f - 2*f. Let w be (-2)/(-9) - 38/(-72). Which is bigger: w or f?
w
Let c = 22.63 + -23.7. Let k = 0.07 + c. Suppose 0 = 4*g + 4*n - 64, 5*g + 3*n - 29 - 41 = 0. Which is bigger: k or g?
g
Let d = 7 + -23/3. Let m(s) = 7*s**3 + s**2 + 4*s + 2. Let i be m(-2). Let j = i - -62. Which is greater: j or d?
j
Let v = -10.23 - -0.23. Suppose 3*r + 3 = -h + 2*r, -2*h + 4*r = 0. Is v greater than h?
False
Let c = 1244 + -1210. Suppose -4*f + 12 = -120. Is f <= c?
True
Let m = -4.29 - 134.71. Which is smaller: -2/7 or m?
m
Let x(n) = -n**3 + 8*n**2 - 10*n + 11. Let m be x(9). Let r = m - -3362/21. Suppose 0 = 3*z + k - 3, 5*z - z - 2*k = 4. Is r less than or equal to z?
True
Let i = 2 + -3. Let n = 6 + 0. Suppose 0 = n*u - 3*u + 3. Is i != u?
False
Suppose -3*i = -2*k + 11, -4 = k - 5*i - 20. Which is greater: k or 3?
3
Suppose 4 = t + t. Suppose 5*o = -j + 8*o - 1, -2*o - t = -2*j. Let p be -1*(-2)/2 + 2. Which is bigger: j or p?
p
Let z be 10/(-7368)*(364/(-65))/14. Is 0 equal to z?
False
Let f = 46 + -39. Suppose -11*o = -f*o + 148. Is -37 greater than o?
False
Let n = 92 + -49. Let l = 15 - n. Let y = 29 + l. Which is bigger: 0.05 or y?
y
Let q = -217.5 - -206.2. Which is smaller: -2/3 or q?
q
Let m be -7*((-4)/8)/(7/(-36)). Is -96/5 at most m?
True
Let x be (36/5)/((-24)/(-60)). Let y = 19 - x. Let a be 3 + (-368)/62 + 3. Which is bigger: y or a?
y
Let h be (1 - (-9 - -6)) + 2 + -6. Which is smaller: -3/173 or h?
-3/173
Let c = 1035 + -1034. Which is smaller: c or -3/244?
-3/244
Let x be (-8)/3486*(-948)/114. Let c = -2/399 - x. Is 1 < c?
False
Let c(o) = -6*o + 62. Let v be c(9). Which is bigger: v or 9?
9
Let q be (-2)/3*(1 - -2). Let u(y) = -y**3 - 3*y**2 - 2*y + 2. Let s be u(q). Suppose -4*w + s*w = -14. Which is greater: 9 or w?
9
Suppose -5 = -6*y + 7. Let r be 4*y/16*-34. Is r at least as big as -17?
True
Let c(p) = p**2 - 5*p + 2. Let x(h) = -3*h**2 + 15*h - 7. Let f(q) = -7*c(q) - 2*x(q). Let w be f(5). Do -1 and w have the same value?
False
Let d = 1219 - 1218. Is d > 1/791?
True
Let x = 111 + -106. Is x >= 5?
True
Let m = 7 + 10. Let a = -2428 - -2426. Is a less than m?
True
Let u = 17/14 - 3/2. Let v = -8.3 - 1.7. Let j = v + 14. Which is bigger: j or u?
j
Let t(m) = -m + 8. Let y be t(-10). Suppose -b = 2*b - y. Let n = b + -8. Is n smaller than 2/9?
True
Suppose -5*y - 79 = 21. Suppose 26249*i - 26252*i - 66 = 0. Which is bigger: y or i?
y
Suppose 0 = 4*m + 22 - 22. Is m < 5/12?
True
Suppose -8 = -3*q - n, -5*q + 22 = 3*n + 2. Let a be q/(-4) - 76/16. Let o = -5 - 1. Which is greater: o or a?
a
Let u(g) = 6*g + 44. Let q be u(7). Let p = q - 432/5. Which is smaller: p or 0.3?
p
Let t be ((1 - 2) + 0)/((-9)/(-459)). Let s be 5/20 + t/156. Which is smaller: s or 1?
s
Suppose -2*x + 2 = 0, 18*y - x = 23*y - 1. Is y bigger than 0?
False
Let u = -40092891/164 - -244468. Let h = u - -4/41. Does -2 = h?
False
Suppose -s + 4 = 4*g, 4*s + 20 = -s. Let z be (-340)/555 + g/3. Is z less than 1?
True
Let i(z) = -z**3 - 14*z**2 - 17*z - 29. Let x(l) = l + 1. Let t(p) = -i(p) - 2*x(p). Let w be t(-13). Is w <= 2/35?
False
Suppose -6*b = -3*b, 0 = -3*v + 5*b - 1899. Which is smaller: v or -632?
v
Let m be -3 - (636/(-634) + -2). Which is bigger: 1 or m?
1
Let d = -415 - -5385/13. Let a = 2 + -2. Which is bigger: d or a?
a
Let n = 419.8 + -420. Which is greater: 1/97 or n?
1/97
Let n = 757 + -741. Is -53 bigger than n?
False
Let s be (-24)/(-14)*(9 + -16). Suppose 43 + 1 = -4*u. Let g = u - s. Which is bigger: g or 0?
g
Let k = 198 + -363. Let n be -1*(-1)/(k/3). Is 1 less than n?
False
Let x = 0.021242 - 0.021242. Let h = 4.7 + -6. Let t = h + 3.9. Which is smaller: t or x?
x
Suppose -3*d + 3 = -5*o, 3*d - 3*o + 8*o = -27. Suppose 0 = h + k - 121, -3*h - 2*k + 161 = -207. Let m be (-372)/h + (-4)/(-14). Are m and d equal?
False
Let n = -33 - -33. Suppose n = 4*a + 2*h - 10, -2*a - 4*h = 2*a - 20. Is 7/6 not equal to a?
True
Suppose -13 - 2 = -3*i. Suppose -3*m = -i*m. Suppose m = z + 2. Which is smaller: -6/11 or z?
z
Let w(a) = -a**3 - 8*a**2 - 9*a - 10. Let b be w(-7). Let d(v) = -v**2 - 2 - 2 + 0 + 3*v + 2*v. Let x be d(b). Which is greater: x or 2/51?
2/51
Let c(t) = 2*t - 11. Let g be c(0). Let o = 8 + g. Let s be o + 7 - 3 - 2. Which is bigger: s or -2/13?
-2/13
Suppose 6*t - t = u - 17, 0 = -4*t + 2*u - 16. Let o be (1/t)/((-5)/(-40)). Is o equal to -2?
False
Let z = 452 + -453. Is 5/22 greater than z?
True
Let o be (-6)/(-4)*(-18 + 10 + 14). Which is bigger: o or 81/10?
o
Let x = 11/15 - 2/5. Let s = 340 - 198. Let w = s + -2696/19. Which is smaller: w or x?
w
Suppose 2*g - 71 = -3*l, l - 33 + 8 = -2*g. Suppose 0 = 8*d - 25 - l. Which is bigger: 29/5 or d?
d
Let v(y) = y**2 + 9*y - 10. Let a be v(-10). Suppose 5*k + 1 + 9 = a. Let l be k - -1 - (-5 + -8). Which is bigger: 11 or l?
l
Let g = 377 - 350. Is -2 greater than g?
False
Suppose -5*u - t = -38, -2*t + 6 = -5*t. Suppose -u*z = -6*z. Let c(p) = p + 1. Let i be c(-9). Which is bigger: i or z?
z
Suppose -11*h - b = -9*h + 4, 2*h - 4*b = 16. Which is bigger: h or -28/23?
h
Let z = 389 + -389.706. Let j = -0.006 - z. Which is greater: j or 2?
2
Let l(j) = j**3 - 15*j**2 + 58*j - 17. Let m be l(8). Which is smaller: m or 11/24?
m
Let r(d) = 51*d**2 - 2*d - 2. Let a be r(-1). Let i = 52 - a. Which is greater: 3/16 or i?
i
Suppose 3*a + 3*r = 1 + 2, -r = -2*a - 13. Let s be ((-75)/385 - a/14)*18. Which is smaller: s or 1?
1
Let o(c) = 0*c**2 + c**2 + 7*c - c**2 - 11 - c**2. Suppose u = -2 + 7. Let z be o(u). Is -3/7 equal to z?
False
Let l = 4 - 134. Let f be 8*3/l*30/9. Which is greater: f or -1?
f
Let z(o) = -2*o**3 - 2*o**2 - 5*o - 6. Let n be z(-2). Suppose n*r = -15 + 3. Is r at most 4/13?
True
Let u = 510 + -516. Which is greater: 2 or u?
2
Let h be ((-1)/((-13)/(-4)))/2. Let m = -360 - -359. Which is smaller: h or m?
m
Let l be (-4)/(-24)*-3*(9 + -11). Which is smaller: l or 10/233?
10/233
Let s = 1171.13 + -1171. Which is smaller: s or 2?
s
Let a(u) = 5*u. Let i be a(2). Let c = 38 + -32. Let l be (-5)/c - (-9)/