 - -43/4. Is h != t?
True
Let t = -2179 - -2178.94. Which is smaller: t or -11.8?
-11.8
Let c = -28048 - -28034. Let t(x) = x**3 + 5*x**2 + 6*x + 2. Let q be t(-5). Is c less than q?
False
Suppose 3051 = 18*n - 495. Let v = n + -200. Let m = -377 - -3376/9. Which is greater: v or m?
m
Let v be 6/9*(-7 - -4) + 17. Let p(l) = -11*l + 24*l + 34 - v*l + l**3. Let i be p(0). Which is smaller: i or 33?
33
Let q be 324/(-8)*17/(51/6). Let z be 992/(-12) + 3/(-9). Is q at least as big as z?
True
Let a = -57 - -128. Suppose -49 = 3*i - 259. Let b = a - i. Which is greater: b or -46?
b
Let n = -314.19 - -174.19. Which is bigger: 2/15 or n?
2/15
Suppose 3*u = -k + 13, -7*k + 5*u + 1 = -3*k. Let h be (-9 - -9) + (-2 - -9). Is h > k?
True
Suppose 758 = -4*a + 794. Suppose -m = -d + a, 0 = -3*d - d - 12. Is -12 >= m?
True
Suppose 0 = -5*d + 4*d. Let r = -767 - -789. Suppose -5*b + 50 = -5*f, 0 = 31*f - 32*f + 4*b - r. Which is smaller: d or f?
f
Let a = -33.63 + 34. Let u = 107.06 + -106.59. Let z = a - u. Which is smaller: z or -15?
-15
Let l = -109 + 236. Let q = 89 + 37. Let s = q - l. Is -25 bigger than s?
False
Let q be (-26711026)/(-2232) - 1/(-4). Let t = 11954 - q. Is t < -15?
False
Suppose 0*p = -2*p - 38. Let l(x) = -x**3 - 18*x**2 + 19*x + 13. Let b be l(p). Suppose 0 = -u + 5, n + u = -n - b. Which is smaller: n or -7?
n
Let p = -696 + 587. Let w be ((-3)/((-3)/(-347)))/3. Let a = p - w. Is 8 > a?
True
Let z(j) = -14*j**2 - 9*j + 369. Let s be z(-19). Is s <= 1?
True
Let w = -369 - -369.3. Is -31 < w?
True
Let m = 4007149/77 + -52042. Which is bigger: m or -1?
-1
Let s = 555 - 543.84. Let p = s - 11.1. Which is smaller: 2 or p?
p
Let z be 4/((-245)/500 - 3/(-6)). Let v = -808 + z. Is v equal to -409?
False
Let f be ((-5481)/(-504))/((-12)/(-8)). Which is smaller: 7 or f?
7
Let n = 7035 + -7034.6. Is n >= 975?
False
Let t = -104 + 301. Suppose 117 = -8*v + t. Which is smaller: v or 81/8?
v
Let p = 602 - 606. Let x be (2*1)/((-8 - p)/2). Is 5/57 >= x?
True
Let m be -4*9*2/(-24)*6. Suppose 2*i = -4*h - m, 4*i - h - 4 = h. Is i < -1/36?
True
Suppose -174 = -2*l - u - u, 3*l = 5*u + 301. Suppose 0 = -2*p - 5*v - 165, -1 = -2*v + 1. Let s = 176 + p. Is s < l?
True
Let a(y) = 27*y - 143. Let x be a(-6). Let i = x + 1524/5. Which is smaller: i or -1?
-1
Suppose -7*r - 2688 = 7*r - 26*r. Which is bigger: r or 5?
r
Let q be ((-956)/10)/((-2)/(-20)). Let s be q/20 - (-3)/(-15). Let k = -298 + 249. Which is greater: s or k?
s
Let p(g) = 63*g - 702. Let u be p(11). Let b(q) = -14*q - 3*q**2 + q**2 + 2*q**2 - 2*q**2 - 8. Let w be b(-7). Is w at least u?
True
Let q = -9597 - -9620.991. Let t = 0.009 + q. Let h be (4 + -1 + -1)/(-3). Which is smaller: t or h?
h
Suppose 34 = 4*y + 42. Let z be (1 + -3 - 12)/(y/11). Is 77 <= z?
True
Let p = 218 + -218.2. Let g = -809 + 788. Does p = g?
False
Let h be -4 - 0 - (-44)/(4/(-1)). Let t(p) = 4*p**2 + 50*p - 13. Let j be t(h). Suppose 0 = -v + j - 141. Is -5 >= v?
False
Let h = -28699/56 + 3548/7. Which is smaller: 0.1 or h?
h
Let o be ((-24)/25326 + 0)*(-75)/850. Is 1 at most o?
False
Let x = -52.07 - -52. Let r = -0.03 - x. Let w = r + -0.04. Which is bigger: 7 or w?
7
Suppose -5*v = -10*v - 5. Let f = 1834 + -359461/196. Which is smaller: v or f?
v
Let r = 41657/6 + -6976. Are -33 and r non-equal?
True
Let z(p) = 113*p - 734. Let f be z(-37). Are f and -4917 equal?
False
Let q be (-2)/(-112)*7 + 5852/40480. Which is greater: 1 or q?
1
Let j = -18002 + 18041. Let q be 606/4*8/30. Do q and j have different values?
True
Let r(b) = 3*b**2 - 2*b - 61. Let v be r(7). Is -24 greater than v?
False
Suppose x = -5*a + 103, -4*a = 2*x + 49 - 135. Let o be 8/a + 15/25. Is o < 2/53?
False
Suppose 0 = -3*p + 165 + 6. Suppose -p = -3*t + l, 0 = t + 4*l + 5 - 11. Let j be (-6)/72*16/t. Which is bigger: 1 or j?
1
Let r = 244 + 60. Let h = 304.149 - r. Let m = h - 0.049. Is m equal to -51?
False
Let n = -124.017 - -124. Let t = -0.283 + n. Let p = 120.92 + -121. Do p and t have different values?
True
Let n = 844 - 842. Let v be n/(-4)*0*(0 + -1). Are 2 and v unequal?
True
Let h be 2/(-3)*3/44. Let j = h - 39/110. Let c = -14067.96 - -14068. Which is greater: c or j?
c
Let n(x) = -15*x**3 - 3*x**2 + 15*x - 1. Let w be n(2). Is 0.03 at most w?
False
Let o = 2483 - 2480.4. Is 2/23 > o?
False
Let z(r) = 35*r**2 + 1. Let y be z(1). Let b be (-56 + 106420/1904)*8/(-3). Which is greater: b or y?
y
Suppose 0 = -5*y + z - 17 + 23, 2*y = z. Is -2693/6 bigger than y?
False
Let u = 5 - 0. Suppose 3*p - 23 = 2*r, -2*p + 3 + 8 = 3*r. Suppose -u*v + 22 = x, -p = -2*v - x + 3. Is -3 > v?
False
Let i = 58 + -56.76. Let o = i - 0.46. Let a = -9213 - -9213.1. Is a smaller than o?
True
Suppose q = 3, -4*c - 10*q + 11*q = 3. Suppose b = -b - c*b. Let y be (-2)/6 - (-82)/264. Which is smaller: y or b?
y
Let t = -170005 + 170005. Let d = 32/91 - 10/39. Is t < d?
True
Suppose 19*n + 184648 = 5*n + 54112. Are -9324 and n non-equal?
False
Let g(x) = -3*x**3 + 30*x**2 + 4*x + 37. Let l be g(18). Let t = -160973/21 - l. Which is greater: t or 1?
t
Let q = -554 - -904. Let c = -218 + q. Which is bigger: c or 133?
133
Suppose -14497 = -143*x + 162*x. Which is smaller: -761 or x?
x
Let s be -921*6/18 - 5. Let x = s - -326. Suppose 2*q + 1 = q. Is q smaller than x?
True
Let w = -24.05 - -23.9. Let l = -0.109 + w. Is l greater than -1?
True
Let r = 1.8 - 9.7. Let p = r + 101.9. Are p and 2/7 unequal?
True
Let y be 10980/(-2745) + (-9)/(-2)*4/(-2). Which is bigger: y or -57?
y
Let h = 20155/7 - 60021555/20846. Is h <= 0?
False
Let q = -0.333 - -0.043. Let p = q + 4.29. Is p not equal to -3?
True
Let x = -1.43 + 1.532. Let c = -0.052 + x. Which is greater: c or -0.01?
c
Suppose -2*h = 109*h. Which is bigger: h or -15/884?
h
Suppose -4*n - t - 278 = 0, -n + 2*t - 61 = -5. Which is smaller: n or -69?
-69
Let o = 816 - 815. Is o greater than -2/979?
True
Suppose -2*b + 2*u - 7*u + 47 = 0, 5*b - 3*u = 71. Suppose 142*s - 1467 = -473. Which is bigger: s or b?
b
Suppose -5 = 7*q - 2*q. Suppose 49 = -6*s - s. Let z be 2/5*(s + 2). Which is bigger: q or z?
q
Let m be -8 + 1014/130 + (-204)/155. Is -2 at least as big as m?
False
Let o(d) = -d**2 - 10*d - 26. Let t be o(-9). Let u(m) = -16*m**3 - m**2 + m. Let b be u(1). Let x = t - b. Which is bigger: 1/38 or x?
1/38
Let d = 7863/16 + -78521/240. Which is bigger: d or -0.2?
d
Let v = 1195 - 1310. Is v at most 3?
True
Let k = 469 - 430.5. Let t = -39.5 + k. Which is smaller: t or 43?
t
Let u = -37246 - -40056. Is u > 2807?
True
Let o = 1 - 115/113. Suppose 75*u - 82*u = -126. Suppose -25 + u = -7*d. Is d at most as big as o?
False
Let u be ((-1427)/(-304))/(3*(-1)/2). Let b = u + 77/24. Is 1 < b?
False
Let c = 818 - 870. Which is smaller: c or -51?
c
Let a = 964 + -437. Let i = a + -526.94. Are 0.5 and i nonequal?
True
Let i(o) = -25*o + 22. Let k be i(6). Let t(j) = -58*j + 163. Let z be t(5). Which is smaller: k or z?
k
Let s(v) = 26*v + 74. Let l be s(-9). Let f = l - -639/4. Is f less than 8/15?
True
Let g = -387 + 391.1. Let o = g + -1.2. Which is smaller: 6 or o?
o
Let n = 2780118/265 - 10491. Let i be 4 - 2 - (-10716)/(-5565). Let v = i + n. Which is smaller: v or 0.1?
v
Let v = 13 + -33. Let d be (-2 - 1)*(-232)/v*-5. Let m be d/(-7) + (-3)/21. Which is smaller: m or 0.2?
m
Let x = -7.789 + 10.623. Which is smaller: x or 3/8?
3/8
Let g = -26 + 26. Suppose 0 = -d - g*d. Suppose d = 2*u + 4*z - 18, u - 18 = -3*u + z. Which is greater: u or 3?
u
Let c be (1128/(-48) - -13)/(2/8). Which is smaller: 34 or c?
c
Let m = 3514198/1114569 + -8/18891. Which is smaller: 2 or m?
2
Let d(c) = -c**2 + 6*c + 4. Let r be d(6). Let v be ((-30)/12)/(-1*(-6)/r). Suppose 4*j = -j - 15. Which is smaller: j or v?
j
Suppose 2*a + 80 = -13*t + 15*t, 4*a + 115 = -5*t. Let u be (a/(-63))/(88/12). Which is smaller: 1 or u?
u
Let v = -1.11 - 0.09. Suppose 0 = x - 228 + 280. Let n be 4 - (x/(-14))/1. Which is smaller: n or v?
v
Let v = 774649/10 - 77588. Let r be 1 + ((-3615)/(-6))/5. Let f = v + r. Is -2 at most as big as f?
True
Let w(y) = -y**2 + 13*y - 40. Let r be 760/228*(-6)/(-4). Let l be w(r). Is 19/33 < l?
False
Let p = 3009 + -2973. Is 18 < p?
True
Let j = -39.23 - -38.83. Do -112/3 and j have different values?
True
Suppose -11 - 5 = 