j be d/(-35) + 6 + (-32)/130. Is 0 >= j?
False
Let c(w) = 58*w - 1. Let r be c(-3). Let p = 175 + r. Are p and -2/61 nonequal?
True
Let v(u) = 1184*u - 38023. Let j be v(32). Let y = 126 + -260. Is y < j?
False
Let f(q) = q**2 - 5*q + 8. Let s be f(2). Let u be (8 + 69/(-1))*2/s. Are -59 and u unequal?
True
Suppose -k + 5*k - 12 = 0. Suppose -2*x + 3*x - k = p, -5*x = 5*p - 15. Let d = 2/2463 - 9898/56649. Which is smaller: d or p?
d
Let m = 279/89 - 15950/801. Which is bigger: m or 0?
0
Let g = -150 + 1636/11. Let j = 13 + -14.74. Let l = -1.84 - j. Is l greater than or equal to g?
True
Let p = -408 - -206. Suppose 12*b + 59*g - 62*g + 2457 = 0, -175 = b + 4*g. Are p and b unequal?
True
Let f = -1.2727 + 0.1957. Let q = 30 - 30.077. Let b = f - q. Which is smaller: 21 or b?
b
Suppose v = k + 9, 22 = k - 3*k + 3*v. Let l be (-6 - -5)*43 - k. Which is greater: l or -1?
-1
Suppose 0 = j - 2*u + 3 + 4, 0 = 5*j - 4*u + 71. Suppose 0*t + 3*y = -3*t + 9, 0 = t - 5*y + 27. Is j not equal to t?
True
Let m = -17.3 + 13. Let v = -0.7 + m. Let q = -8101 + 8107. Which is smaller: q or v?
v
Let i = 5.3 - 3.3. Let s = -140.5 + 147. Let g = 7.2 - s. Is g at least i?
False
Suppose -9*u - 125 = -602. Let p be (1 + 1)*u/(-45898). Is 0 greater than p?
True
Let z = -1.2018 + 1.1508. Is z equal to -0.61?
False
Let s = 203.41 - 201. Let v = 2.6 - s. Is -0.2 smaller than v?
True
Let v = -102 + 191. Let o = v + -89.1. Which is smaller: o or -24.5?
-24.5
Let c(g) = -4*g**3 - 25*g**2 - 154*g - 8. Let q be c(-7). Which is smaller: q or 1225?
q
Let i = 9 - 7. Suppose 2*s - 12 = -i*s. Suppose r + 7 = s, -24 = -4*n + 5*r. Which is smaller: n or -1/41?
-1/41
Let o(n) = 184*n + 46. Let p be o(-9). Let y = p - -8077/5. Is y equal to 5?
False
Let v(n) = -80*n + 2755. Let c(g) = 3*g - 102. Let u(t) = 55*c(t) + 2*v(t). Let h be u(25). Which is bigger: h or 26?
26
Let n be 11*64/88 - (-84)/(-10). Let a(v) = -12*v**2 - 13*v - 23. Let m be a(-6). Which is greater: n or m?
n
Suppose 4*i = -4*c - 12, -5*i + 45 - 54 = 3*c. Is -3/799 > i?
False
Suppose -7*v + 5*v = -2. Let u = 3599/980 - 71/20. Is u smaller than v?
True
Suppose -4*g - 12 = -g. Let n be (-393)/g + (4/16)/(-1). Suppose 3*r = -y - 38, y + r + n = -2*y. Which is smaller: -33 or y?
-33
Let d = -0.053 - 50.947. Let t = 51.32 + d. Let z = t - -3.68. Does 0.3 = z?
False
Let y(w) = 2*w**2 - 118*w - 10. Let c be y(58). Suppose -372 = 3*v - 0*v - 3*f, v + f = -126. Is v at most c?
False
Let j = 710.26 - 710. Which is smaller: -8 or j?
-8
Suppose -2*p - 132 = 32. Let t = p + 110. Let d be (-29)/2*56/t. Is d bigger than -29?
False
Let v be (72/(-648))/(7122/27). Is -1 smaller than v?
True
Let v = -112 + 113. Let g = -3578/11 + 325. Is g equal to v?
False
Let v = 5408 + -5455. Is v greater than -45?
False
Let o = -4871 - -5108. Is o >= -1/2?
True
Let c be ((-210)/(-9))/((-30)/(-45)). Suppose -5*m - 125 = 4*b, 38*b = -5*m + c*b - 120. Which is smaller: -2 or m?
m
Let p be 1*67*((-252)/(-2646) + 34/84). Which is smaller: p or 35?
p
Let t be (-1)/2*0/2. Let z(s) = -s**2 + 4. Let v be z(t). Let i(k) = 467*k + 42032. Let j be i(-90). Are j and v unequal?
True
Let x be 19/(-30) + 46 + 8226/(-180). Let n = 11 + -11. Is n less than x?
False
Let u(o) = -39*o**2 - 2*o + 1. Let j be u(1). Let l be (37 - 1) + 1 + -1. Let w = l + j. Which is greater: -3 or w?
-3
Let h be (989 + -745)*1/(-5)*-2*5. Which is bigger: 490 or h?
490
Let y = 0.15 + -0.05. Let a = 1007.8 - 1005. Which is smaller: y or a?
y
Let c(j) = -j**2 + 17*j - 11. Let b be c(-4). Are 0.3 and b nonequal?
True
Let h = -1003.87 + 995. Let f = 1.87 + h. Which is smaller: -3/56 or f?
f
Let d = 16 + -16. Suppose d = -f - 3*f - 68. Let h(u) = -6*u**2 + 18*u + 23. Let j be h(4). Is j at most as big as f?
False
Suppose -w - 2*o = -6, -w = -5*w + 3*o + 13. Let z = -6 + w. Let f = -172429/8 - -21551. Which is smaller: f or z?
f
Let k = -40 - 91. Let g = k + 133. Is -1/4 at most as big as g?
True
Let o be (16/24)/((6/(-27))/(-1)). Suppose -o*y - 860 + 296 = 0. Which is smaller: -187 or y?
y
Let d be ((-275)/(-75))/(29/378*3). Are d and 16 equal?
False
Suppose 22*v + 11356 = 17*v - 2*o, 0 = 4*v + 3*o + 9082. Which is greater: v or -2275?
v
Let r = -103.55 - 0.45. Let l = r - -104. Which is greater: -80 or l?
l
Let c = 16 - 14. Suppose f - 2*a = -4*a + c, 2 = 4*f + 2*a. Is f >= 1/148?
False
Let g(o) = 16*o**3 + 8*o**2 + 3*o + 6. Let x be g(-4). Let v be 1*x/3 + 1/(-3). Which is bigger: v or -299?
-299
Let n be 1/3 + (-130)/30. Let i = -3956/755 + 6/151. Which is smaller: i or n?
i
Let o be (8333/18486 + 12/(-27))/(12/(-1)). Which is smaller: -1 or o?
-1
Let o(b) = -4*b**3 - 3*b**2 - 9*b + 8. Let w be o(7). Let c = w + 33062/21. Let j = 1051 + -1052. Which is smaller: c or j?
j
Suppose -164*n - 396 = 158*n - 366*n. Does n = 355/36?
False
Let f = 9663 - 13598. Is f > -3938?
True
Let g(y) = y**3 + 3*y**2 - 12*y - 1. Let x be g(-5). Is x at least as big as 1/16?
True
Let d be -1*(3 - 2 - 2) + 1. Suppose -15 + 7 = -2*a. Suppose -a*x + 2 = -d. Which is bigger: 0 or x?
x
Let j = -359 + 407. Does j = 67?
False
Let n(a) = a**3 - 10*a**2 + 10*a - 6. Let o = 90 - 81. Let s be n(o). Is -6 at most as big as s?
True
Let p = -25 - -26. Let t(v) = 6*v + 1. Let f be t(p). Let k be 3/(-21) + (-125)/f. Is -18 greater than k?
False
Let v = -40452 + 40452. Do -9/356 and v have the same value?
False
Suppose -48*z = -44*z + 44. Let i be (z/((-55)/(-45)))/4. Is -1 greater than i?
True
Suppose 4*u + 0*v = -4*v - 36, 0 = -u + 3*v - 9. Let a be (-1808)/672*u/(-11). Let s = -25/11 - a. Which is smaller: 0 or s?
s
Let w be (-2)/(-6)*-1 - (-1595)/33. Suppose 0 = 47*z - w*z + 2. Suppose z*q - 173 = 5*t - 0*t, 3*t + 87 = -3*q. Is t >= -32?
False
Let i = 3 - 4. Let a = 9.5 + -22.5. Let u = a - -4. Do u and i have the same value?
False
Let u be (-75 - 0) + (1 - 4). Let s be (-2)/(-18) + (-526669)/6786. Is s < u?
False
Let b = -5229 - -8110180/1551. Which is smaller: -1 or b?
-1
Let d be 12/3 - (1 - 2) - -5. Let c be (-3268)/8 - d/4. Which is smaller: c or -410?
c
Suppose o + 56 = n + 3*n, 5*o + 2*n + 368 = 0. Let t be -1*(2 + o/22). Let a(s) = 10*s**2 + 59*s - 4. Let u be a(-6). Which is greater: t or u?
u
Suppose -5*p = 2*p. Let t be -1 + (1412/1974)/(6/9). Let f = t + 10/47. Which is smaller: f or p?
p
Let h = -1046 - -937.4. Let w = -117 - h. Let s = -7.4 - w. Is 0.5 bigger than s?
False
Let i = -12954 + 12980. Let d = 0.1 + -1.1. Let h = i + d. Which is greater: h or 2?
h
Let h be 1 + 18912/(-1379) + (-4)/14. Suppose 4*v = -v + 10. Let i be ((-5)/v - -2)*0. Which is smaller: h or i?
h
Let r = 3155 + -3265. Which is smaller: 5 or r?
r
Suppose 33*r = 38*r - 265. Does r = 2?
False
Let a = 43.9 + -41. Let x = a + -3.02. Let g = 0.45 - 0.25. Which is greater: g or x?
g
Let m = 110 - 73. Suppose -m = -6*z + 425. Is z < 78?
True
Let s be (-1)/((-4)/(-8))*-1. Suppose 1 = -s*z - v, -z - 2*v - 3 = -v. Let n be ((-13)/(-28) - 6/(-21))*416/390. Is n >= z?
False
Let k be (-591087)/315 + ((-14)/21)/2. Is k at least as big as -1876?
False
Let k = 192 + -299. Let w be (-4)/(-138)*-3 - (-91700)/(-805) - -8. Is w != k?
True
Suppose 0 = -10*o + 96 - 16. Suppose 3*s = s - 4*n + o, 40 = -5*s + 2*n. Let u be -1 - (-30 + s/(-3)). Which is bigger: 26 or u?
u
Let k(n) = 2*n**2 + 19*n - 30. Let d be k(-10). Which is bigger: d or -48?
d
Suppose 11*f + 174 = 614. Suppose 5 - f = -5*r. Suppose 5*s - 1 - r = -3*z, -s + z = 0. Is s at least as big as 7/11?
True
Let m(g) = 3*g + 181. Suppose -41*h + 36*h - 235 = 0. Let i be m(h). Let n = 27 + 13. Is n < i?
False
Let r be (-662)/(-18) + (-3 - 145/(-45)). Let h = 60 + -22. Let o = h - r. Which is bigger: o or 4?
4
Let y = -26634824/1879 + 14175. Is y <= 0?
False
Let q = 14947/8 + -1864. Suppose g - 4*g - 5 = -5*d, 2*d - 2*g + 2 = 0. Which is greater: d or q?
q
Let f = -267/1093739 - 1170634697/74798622732. Let y = -1/417 + f. Is -1 at least y?
False
Suppose 4*i = 103 - 15. Suppose 0 = -23*l + i*l + 253. Are 1 and l non-equal?
True
Let v = 103 - 102.946. Let h = 2.846 + v. Which is greater: -0.3 or h?
h
Let h(l) = -l + 5. Let a be h(3). Suppose 5*n + a*k + 12 = 31, 10 = -n - 5*k. Suppose -8*t + n*t = -9. Which is smaller: 1 or t?
1
Let n = 1461423/56 + -26095. Let w = n - 12/7. Let x = 13 + -13.2. Is w e