Let l = -1520 - -1541. Is l greater than j?
True
Let d be (2*3/(-768))/((-174)/(-8)). Which is greater: d or 1?
1
Let a = -152928 + 2267157602/14825. Which is smaller: a or 0?
0
Let x(r) = -r**3 + 20*r**2 + 9*r + 606. Let q be x(26). Is 0.2 < q?
False
Let k(o) = o**3 - 10*o**2 - 7*o + 6. Let l be k(11). Let p = 17 + -37. Let g be (-24)/10 + p/l. Which is greater: g or -4?
g
Suppose -44*a = 1351 - 3903. Which is bigger: 59 or a?
59
Let v be (11 - 1) + 144/64*-4. Which is smaller: -8/385 or v?
-8/385
Suppose 4*x - 2*t - 3094 = 2018, 0 = 2*x + 3*t - 2540. Let n be (-12)/(-66) + (-89)/x. Let f = n + 4/29. Do f and 2/35 have the same value?
False
Suppose -81*o - 24205 = 22*o. Is o less than -235?
False
Let s = -170.339 + 170. Let h = 920 + -919. Which is smaller: h or s?
s
Let i = 5432 - 5433. Which is greater: i or 12/271?
12/271
Let z = -11 - -18. Let u(f) = -4*f**2 + 29*f + 68. Let c be u(9). Suppose 5*d = -c*n + 185, -2*n + 175 = 5*d - z*n. Is 1 at least d?
False
Let m = 5990/3 + -1979. Let o be (-936)/48*(-2)/3. Suppose -o = -f + 6. Is f < m?
False
Let w(j) = j**2 + 3*j + 16. Let d be w(-7). Let y = d + -40. Suppose -11*b = -y*b - 154. Which is smaller: b or 21?
21
Let n = -3785.6 + 3781. Is n > -0.12?
False
Let b be (-38 - 14795/(-385)) + 2/((-28)/(-78)). Suppose -h + 9 = -5. Let j be 6/h*2/(-6). Which is bigger: b or j?
b
Suppose -7*v = 19*v - 26. Which is smaller: v or 2/4217?
2/4217
Suppose 5*g = -4*v + 1, 2*v - 18 = 2*g - v. Let c be g + -1 - (4 - (0 + 7)). Which is smaller: -227 or c?
-227
Let u be (-164 - -180) + -16 + -1. Which is smaller: 5/158 or u?
u
Let h = -1276.96796 - 0.03204. Which is smaller: 0 or h?
h
Let n = -1.89 + 7.89. Let k = 6.04 - n. Are 2 and k unequal?
True
Let r = -51.12238 - -0.12238. Is -2/225 bigger than r?
True
Let q = 10009 + -6846155/684. Let s = 767/1710 + q. Are s and -1 nonequal?
True
Let i = -15825 - -15826. Is -21/1424 >= i?
False
Let n(q) = -13*q**2 - 7*q + 160. Let i be n(16). Let k be ((-1)/(-38))/((-40)/i). Is 1 less than or equal to k?
True
Let d = 1/4275 - 8953/1722825. Let p = -649/49569 - d. Is p at least 0?
False
Suppose -3 = 2*a - 5*a. Suppose 5*v = -183 + 1378. Let j = v - 5499/23. Is j less than a?
True
Let a be -32*(2808/767 - 4). Which is smaller: 11 or a?
a
Let f be (-6*(-2 + -5))/((-9)/(-6)). Suppose -25*a - 63 = -f*a. Suppose a*l - 30*l + 45 = 0. Which is greater: l or 2?
l
Let d = 38.45 - -0.55. Let w = 5878 + -6198.1. Let o = 320 + w. Which is smaller: o or d?
o
Let c(q) be the first derivative of q**4/4 - 26*q**3/3 + 13*q**2 - 26*q - 54. Let y be c(25). Is y at least as big as -20/61?
False
Suppose -23 + 2 = -5*l - 3*v, -v = -3*l - 7. Which is smaller: l or -8367?
-8367
Let q = 2551 - 43339/17. Let y(o) = 11*o**3 + 65*o**2 - 23*o - 101. Let m be y(-6). Does m = q?
False
Let r = 49.549 + -0.149. Let a = r - -8.6. Let t = 54 - a. Which is smaller: t or 0.2?
t
Let c = 18990 + -23549. Which is greater: c or -4560?
c
Let d(p) = -63*p - 3724. Let z be d(-46). Is -824 less than z?
False
Let w = -958.6 + 954. Is 83 at least as big as w?
True
Let d be -1 + 8/((-24)/(-45)). Let b = 5103 - 30539/6. Is d bigger than b?
True
Let v(z) be the first derivative of z**2 - 13*z + 38. Let s be (20 + 7)*(-1)/(-3). Let p be v(s). Which is greater: p or 6?
6
Suppose -q + 6 = 2*q. Let i be ((-2)/(-3)*q)/(58/(-435)). Which is greater: -53/6 or i?
-53/6
Let h(i) = 6*i - 15. Let q(z) = 4*z - 1. Let g be q(-3). Let b be h(g). Let n = b - -86. Is n >= -6?
False
Suppose 0*z + 3*z = 0. Suppose z = -d + 7 + 5. Suppose 2*u - 5*u = 3*l - 30, 3*l - 3*u - d = 0. Which is smaller: 9 or l?
l
Suppose 4*o - 1 = f + 6, 0 = o - 2*f. Let i be (-1)/(3*o/(-42)). Suppose -k = -4*q + 5, -4*q + 4*k + i = -1. Which is greater: 1/17 or q?
q
Suppose 2*f = 249*s - 250*s + 400, 1188 = 3*s + 2*f. Which is smaller: s or 386?
386
Let s = -582.21899 + 0.21899. Which is smaller: 2/11 or s?
s
Suppose 4304 = -22*y - 1130. Let x = y - -643. Is 396 smaller than x?
False
Suppose 9*x + 4 = 5*x. Let h = 94 - 93.953. Let p = 3.953 + h. Is x bigger than p?
False
Let j = 12079 + -12193. Which is smaller: j or -112?
j
Let l be 3*(-1)/67*(-2 + (-702)/(-18)). Is l smaller than -1?
True
Let k = 30/17 + -33/17. Let y = k - -4/17. Let p = 4 + -5. Which is greater: y or p?
y
Suppose -3*q - 15 = 5*x, q + 20 = -x - 3*q. Which is smaller: x or -4/3749?
-4/3749
Suppose 0 = -0*b - 4*b + 5*x + 949, -707 = -3*b - x. Let s be -1 + b - (33 - 32). Is s greater than or equal to 235?
False
Suppose 0 = 4*g - 2*z - 144, 3*z - 16 = 3*g - 127. Suppose 0 = 3*m + 5*q + 122, 26*m - 27*m - 54 = -q. Let b = m + g. Which is smaller: -13 or b?
b
Let d = -8791 + 42281/5. Is d smaller than -334?
True
Suppose 3*s + 1692 = 3*y + 489, -5*y = 3*s + 1243. Which is smaller: -408 or s?
-408
Let y(k) = -k**2 + 15*k - 42. Let w be y(6). Suppose w = -3*q + 42. Let t be -6*(55/q + -5). Is t greater than or equal to 31?
False
Suppose 5*f + 5*t - 75 = 0, -f - 8*t + 3*t + 3 = 0. Let u = f + -88/5. Are u and -127 non-equal?
True
Let y = 163.7 - 163.2. Is -199 <= y?
True
Suppose 7*w + 46 - 53 = 0. Is 16/475 at most as big as w?
True
Suppose -3*j = 3*d - 7 - 2, 12 = 4*j + 5*d. Let z be (88/770)/(18/546). Which is smaller: z or j?
j
Let d = 2.45 + -3.14. Let p = -0.72 - d. Let j be 2*(1 - (-5)/(-4)). Is j bigger than p?
False
Let s be (-15)/(-35) + (-54)/(-21). Suppose 5*j - 5*h - 16 = -6, -s*h = -2*j + 4. Is j smaller than 23/24?
False
Let s be (-15)/(-10) + (54 - -1 - 0). Is s >= 58?
False
Suppose 0 = -3*i + 3*x + 57, 109 = 5*i - 9*x + 11*x. Let w be (-15)/9 + 56/i. Let o = -3062 - -254150/83. Is w > o?
True
Suppose 0 = -2*c, g = c - 6*c + 2. Let n(q) = 2*q**3 - 2*q**2 - q + 1. Let h be n(g). Let s = 491 + -487. Which is smaller: h or s?
s
Let x(j) = 21*j + 2568. Let c be x(-123). Are 95 and c unequal?
True
Let r = -7/53 + 14129/636. Let j = -64/3 + r. Does 0.01 = j?
False
Let w be (-420)/1120*(1524/9)/(-2 - -4). Which is greater: 0.29 or w?
0.29
Let y = -3/800 + 3239/10400. Suppose -16 = -3*h - 7. Which is smaller: h or y?
y
Suppose -2*k + 46 = -22. Suppose 0 = -i - i - 5*f + 18, 2*i - k = 3*f. Suppose -j = o - 0*o + i, 5*j + 3*o + 72 = 0. Are j and -15 unequal?
False
Let g be (-28)/(-154) + (-40)/(-22). Suppose g*m + d + 120 = 3*m, 3*d + 124 = m. Are m and 118 nonequal?
False
Suppose 2*l - 3*t = -3*l - 16971, -l - 3*t - 3405 = 0. Let f = l - -64500/19. Which is smaller: f or 0?
f
Suppose -2*c = c - 48. Let h be (15/(-30))/((-1)/c). Suppose 0 = -h*y + 6 - 30. Are y and -19/5 equal?
False
Let c(t) = -8*t**2 + 54*t + 268. Let u be c(-6). Which is bigger: -346 or u?
u
Let n = -1370829/209 + 6559. Is n not equal to -2/53?
True
Suppose -3*l - 2*u = -5 + 4, 0 = 5*u + 5. Suppose 67 = -0*g + g. Which is smaller: g or l?
l
Let h = 5.281 - 7.228. Which is smaller: h or -2?
-2
Let h = 9.0918 + 0.9082. Which is bigger: h or -38/15?
h
Let r(p) = -27*p**2 - p - 1. Let h be r(-2). Suppose -y + 41 = 38. Suppose 5*t + y*w + 521 = 0, -9*t - 5*w + 651 = -15*t. Is h at least t?
False
Let n be 16 - 22 - 1042/(-174). Is 12 bigger than n?
True
Let t = -264201432/565915 + -4/80845. Let y = t + 468. Is 0 > y?
False
Let f be (-25266)/(-6315) + (28/1)/(-7). Which is bigger: f or 1?
1
Let m = -5123 - -3703. Do -1421 and m have the same value?
False
Let k = -544 - -544.3. Let g = -15047/25 - -602. Is g at most as big as k?
True
Suppose 1480*z - 914 = 1481*z. Which is bigger: z or -3659/4?
z
Let p = 3625 + -1955. Let f = p + -1671. Let a = 19708/27 + -730. Is f less than a?
True
Suppose -7567*m + 7577*m = 0. Is m greater than -3/10970?
True
Let m = -0.157 + 7.032. Let i = m + 0.125. Let b = 0.8 + -2.8. Is i at most b?
False
Let a = 0.0059 - 0.1059. Which is bigger: -30.6 or a?
a
Let c = -487 - -642. Let z = -153 + c. Which is smaller: z or 15?
z
Suppose -3*x - 4*q = -38, 14*q - 18*q = -2*x + 12. Let t = -9 + x. Which is greater: -2/93 or t?
t
Let p(w) = 12*w**3 - 50*w**2 + 151*w + 3. Let b be p(3). Is b > 15?
True
Let a be ((-2036)/(-8)*119/47)/(-1). Let x = -488/35 + 46091/70. Let z = x + a. Is -1 less than z?
True
Suppose k - 3278 = -10*k - 847. Which is bigger: k or 222?
222
Let f be (-988)/16 + ((-12)/(-16) - 2). Let r be (-119)/(-51)*(-3 - 195/f). Is r at least 55?
False
Let k be 4/(27/18 + (-20)/(-8)). Which is small