i less than or equal to 1653?
True
Let u = 0.144 + 4.296. Let t = -4.44 + u. Which is smaller: -13/6 or t?
-13/6
Let l be (-120)/(-18)*(-4 + 1 + 0). Let z be ((-532)/l)/((-1)/(-5)). Let w be 59/z - (-20)/(-70). Is w bigger than 1?
False
Let b = -40 + 159/4. Let i be -12 + ((-4650)/(-20))/31 + (-5)/10. Is i < b?
True
Suppose -2*q = -3*q - 2*q. Suppose 21*o - 23*o + 6 = q. Let a be ((-987)/48)/7 + o. Which is smaller: a or 0?
0
Let v be (36 - (-6864)/(-99))*(-189)/152. Is 40 greater than v?
False
Suppose 5*f + 1 = 2*f + 5*l, 3*f = 2*l - 4. Let p be (5 - 0)*(f - 4). Let y = -29 - p. Is y at most 3?
True
Let b = 53.85 - 20.37. Is b < -1?
False
Let y be -7*(-284)/(-402) - ((-442)/39 + 12). Is y > -5?
False
Let n = -0.2 + 0. Suppose 4*i + 4*z - 58 + 2 = 0, 5*i - 2*z - 77 = 0. Let d be ((-5190)/(-581))/i + 8/(-14). Which is bigger: d or n?
d
Let s = 238.5249 - 238. Which is bigger: 1 or s?
1
Let t be (-694)/(-3) - (24/(-9) - -2). Suppose 7*f + t = 3*f. Let z = 25 + f. Which is smaller: -34 or z?
-34
Let n = 15.5 + 23.5. Let z = -48 + n. Is z at most as big as 3/17?
True
Let z = 4914 - 4914.024. Do 0.08 and z have different values?
True
Suppose -33 = -2*b + 69. Let q be 2/51*(b/12 - 5). Is 0 >= q?
True
Suppose 5*s + 182 = -8*s. Let a(d) = d**3 + 13*d**2 - 16*d - 26. Let b be a(s). Suppose -2*i = -4*m - 6, -b*i + 10 = -0*i. Is m <= 4/19?
False
Suppose 6806 - 1944 = -17*t. Let i = -419 - t. Is -133 <= i?
True
Suppose 0 = l + 4*l - p + 2, -5*l - 4*p = -8. Let a(u) = -3*u**2 - 19*u - 2. Suppose 4*b - 24 = 8*b. Let j be a(b). Is l greater than or equal to j?
False
Suppose 3*h + 0 - 13 = 2*o, 1 = -o - 4*h. Let l be 0/5 + o + 6. Is -3/200 at least as big as l?
False
Let g be ((-56)/6)/((-60)/24). Let i = g + -10/3. Which is smaller: i or 132?
i
Let k be 1 + -2 + 3 - -39. Let v = 4 + k. Let h be v/16 + -13 + 10. Is h smaller than 0?
True
Let c = 0.4304 + -1.5304. Are c and -73 nonequal?
True
Let y(d) = -33*d + 57. Let s(w) = -50*w + 85. Let j(u) = -5*s(u) + 8*y(u). Let v be j(6). Let m = v + 53. Which is greater: m or -7?
m
Let q = -27 - -29. Let a(x) = 3*x + 1 - 5*x**3 - 6*x - 3*x - 7*x**q + 4*x**3. Let g be a(-6). Is g not equal to 1/15?
True
Let g = 10488 + -10495. Do g and -0.008 have the same value?
False
Let u = 11 - -1. Let w(d) be the first derivative of -d**3/3 + 13*d**2/2 - 11*d + 8. Let x be w(11). Is u less than x?
False
Let p = -3.534 + 3.234. Which is bigger: p or 8.19?
8.19
Let a be (2 - 28/8)*-2. Suppose -c = -a*c - 48. Let t = -11 - c. Is t at least as big as 2?
True
Let d = -117 - -120. Suppose -d*f + 15*f = 120. Does 13 = f?
False
Suppose -1666*g + 491344 = -168*g. Let p be ((-2 - -2)/(-2))/(-1). Which is smaller: g or p?
p
Let q be 0 + (-7 + 6)/((-4)/(-16)). Let i be 5 + (q - (60/(-16) - -5)). Do 136 and i have different values?
True
Suppose -3129 + 1802 = -91*a - 44734. Is -475 <= a?
False
Let y = -3 + 4. Let s be (((-13476)/792 - -5) + 12)*-54. Is s greater than y?
False
Let a = -18 - -16. Suppose 11*n - 30 = -63. Which is smaller: a or n?
n
Let y be 1 + 8 + 7 + -3. Let o = -14 + y. Let w be (-4 - -5)*o/(-1). Which is bigger: 2/77 or w?
w
Let w(g) = -31*g**3 - g**2 + 3*g - 2. Let z be w(1). Suppose -14 - 13 = 3*v. Let u = v + -21. Are z and u non-equal?
True
Suppose -61*q + 53*q - 566 = 626. Which is bigger: 3 or q?
3
Let w = 14919 - 14941. Which is smaller: -289/14 or w?
w
Suppose -4*m + 64 = 16. Let y be ((-10)/(-60) - 2/m)*1. Let g be 1/((-9)/2) + 13/27. Which is smaller: y or g?
y
Suppose 812 = 73*l - 80*l. Let d = -110 - l. Is 19 > d?
True
Let t = 90 - 196. Let k = t + 115. Suppose j = k*j. Which is bigger: -1/68 or j?
j
Let g(f) = f**2 - 30*f + 122. Let c be g(4). Do c and 27 have different values?
True
Suppose -5*p - 2*h - 1 = 0, -5*h = -p - 4*h + 4. Suppose 3*j - 4 = -5*w + 5, 0 = -j - 5*w + 13. Let x be 170/(-42) + j + (-12)/(-2). Which is smaller: x or p?
x
Suppose 10*a = 15*a + 388 - 53. Is 4.2 < a?
False
Let p be (-1 - 395/(-25)) + (-2)/(-10). Suppose p*s = 9*s - 10*s. Is s > 6?
False
Let o = -2213/6 - -370. Let p be (4/(-16) - 10/(-8))/(95/190). Which is greater: o or p?
p
Let v = -657 + 658. Let j = 18/425 - 6829/171275. Is j at least v?
False
Let y = -0.6214 + -1.3786. Are y and -1/89 equal?
False
Let n(j) = -9233*j - 9. Let c be n(1). Let d = c + 120071/13. Which is greater: -5 or d?
-5
Let t be 10/(-12)*(-247842)/(-1124). Is t smaller than 8?
True
Let h be (441727/(-63118) + 7)/(6/8). Is 0 >= h?
False
Suppose 2*k + 3*l = -0*k + 48, -5*l - 118 = -4*k. Let x(y) = -10*y - 6. Let d be x(2). Let r be 8*2*d/(-16). Which is smaller: r or k?
r
Let l = -2043/45260 + 11/620. Let f = 11 - 11.14. Let j = f - -0.04. Which is greater: j or l?
l
Let d(o) be the third derivative of 7*o**5/60 - o**4/12 - 23*o**2. Let h be d(3). Suppose 0 = 4*v - 4*q + 65 - 293, 4*q - 4 = 0. Is v at most as big as h?
False
Let c be 36/(-54) - 1 - 2/(-3). Let m = 929125/252 - 3687. Are c and m nonequal?
True
Let w be 9/6 - (-29029)/(-19362). Let r = w + 29039/5532. Let o be 22/5 - ((-12)/(-5) + -2). Which is smaller: r or o?
o
Suppose 4*h + 0 = -16. Let y = 5 + h. Let c(k) = -4*k - 32. Let a be c(-8). Which is greater: a or y?
y
Let s(h) = 2*h**2 - 23*h + 8. Suppose 0 = 4*x - d - d - 48, 2*x + 5*d - 24 = 0. Let f be s(x). Suppose -l + f = 4*l. Which is smaller: l or 2?
2
Let u(v) be the third derivative of v**4/12 - 22*v**2. Let m be u(0). Let g = -70 + 486/7. Which is smaller: m or g?
g
Let s be (22/6 - 4)*(-14 + 14). Suppose s = l + 2*q + 9, -5*l - 25 = -0*l + 5*q. Let c be 2/(-22)*5*4. Is c bigger than l?
False
Let j(k) = -k**2 - 2*k + 1. Let m(a) = -2*a - 1. Let y be m(-1). Let b(g) = -6*g + 4. Let r be b(y). Let w be j(r). Is 8/29 smaller than w?
True
Let t be -93*(48/(-36) - (150/(-452) - 1)). Are 1 and t equal?
False
Let y = 12069 - 12068.98. Is -572 bigger than y?
False
Let w = -342 - -2396/7. Let v = 192 + -183.3. Let x = v - 14.7. Which is bigger: w or x?
w
Let n = 88.12 + -82. Let j = 6.1 - n. Let t = 0.165 - -0.035. Is t less than or equal to j?
False
Let j = -622 + 622.1579. Is -1/2 bigger than j?
False
Suppose 2906 - 743 = -7*s. Which is smaller: -307 or s?
s
Let m = -94 + 114. Let k be m - (-1)/2*14. Which is smaller: 29 or k?
k
Let u = 3.877 - 481.877. Which is smaller: u or 2?
u
Let k = 47 - 1. Let h be (-3 + 66/18)*(-141)/(-2). Is h != k?
True
Let r = -9.64 - -0.64. Let d = r + 13. Let j = -0.047 - -0.097. Is j smaller than d?
True
Let q = -426 + 443. Suppose 49 + 175 = -4*o. Let u be (-24)/o*(-14)/(-8). Is u greater than q?
False
Let l(r) = -77*r + 1081. Let m be l(18). Is m greater than -306?
True
Let z = 2/3455 - 2087/24185. Let p = -89 - -85. Is z > p?
True
Let g = -8972 + 13644. Which is smaller: 4671 or g?
4671
Let o = 2/165 - 464/165. Let a = o - -92/15. Which is smaller: -1/3 or a?
-1/3
Let o be (-1)/(78/40 - 2). Let l be (-52)/(-3) - 24/(-8). Is o at least l?
False
Let f = 426 - 425.99. Let r be 3 - 5/45*(24 - -1). Is r at least f?
True
Let q = 0.5201 - 136.5201. Is q <= 2?
True
Suppose 0 = -4*g + 2*g + 2. Let k be (-34136)/132277*(-1 + 0)/(-6). Is k equal to g?
False
Suppose -p - 2*k = -0 + 6, 0 = 2*p + k. Let r be (3/p)/(3/(-138)). Let d = -81 - r. Which is smaller: -10 or d?
d
Let c be (-258)/(-9)*(-369)/(-246). Which is bigger: c or 64?
64
Let t = 82 - 145. Suppose -2583 = 36*z + 5*z. Is t greater than z?
False
Suppose 8*g + 153 = -g. Let s be 818/12 - ((-119)/42)/g. Which is greater: s or 66?
s
Let x be (-4 + -2)*((-1)/(-4))/((-130884)/(-208)). Is x bigger than -1?
True
Let n be 2025*(28/(-21))/(-4). Suppose n = -5*s + 745. Which is smaller: -2 or s?
-2
Let t(r) = 6*r**3 + 11*r**2 + 6*r + 12. Let y(z) = -34*z**3 - 54*z**2 - 30*z - 59. Let x(d) = -11*t(d) - 2*y(d). Let b be x(7). Is b at most -5?
True
Suppose 5*w - 4 = -q, -10*q = 3*w - 7*q. Is w less than or equal to -1?
False
Suppose -y - 5 = -2*q, 0 = -3*q + 5*y - 19 + 23. Suppose -o - 4*i + 2 = o, -5*i = -q*o - 8. Is -4/57 at most as big as o?
False
Suppose -6*x - s = -2*x + 9, 3*x = 3*s + 12. Which is bigger: x or 7/47?
7/47
Let i = 9 - 0. Suppose -106*f = -120*f - 154. Let h(w) = -3*w - 24. Let j be h(f). Is i less than j?
False
Suppose 25690 = -2*t - 2*w, 1181 + 11640 = -t - 4*w. Is t at least as big as -12853?
True
Let k = 5 + -5. Let l = -1265/2292 + -6/191. Let