-454193/35 + 12979. Is 1 <= z?
True
Let t = -97.06 + 20.06. Which is smaller: -14/11 or t?
t
Let v be ((-24)/3)/(18/9). Let o(i) = -i**3 - 5*i**2 - 10*i - 32. Let k be o(v). Which is smaller: -26/3 or k?
-26/3
Let p = 0.05 + 1.2. Let s = -1.9739 - -0.4239. Let v = s + p. Which is greater: -18 or v?
v
Let v = 54.9963 - 0.0563. Let f = 55 - v. Is 3 greater than f?
True
Let z = -87424 - -87424.38. Suppose 0 = -2*c - 2*c + 3*u - 1, 2*u + 1 = c. Is c bigger than z?
False
Suppose -4*g = -86 + 90. Let m be (-2 + g)/((-15)/(-655)). Does m = -133?
False
Let i be -1 + 3368/2828 - 42/98. Is 0 at most as big as i?
False
Suppose -10*x + 28*x - 19 + 235 = 0. Is x less than or equal to -205/18?
True
Let c = 69 + -71. Let z(w) be the second derivative of w**5/10 - w**4/12 + w**3/6 + w**2 + 20*w. Let v be z(c). Is v less than -20?
False
Let s = -37/572 - 139/572. Let z(a) = a**2 + 3*a - 1. Let t be z(-3). Is t > s?
False
Let o = -669872 - -1419458804/2119. Which is smaller: o or 1?
o
Let k = -9/11 - -247/275. Suppose -g - 2*x = 197, 270 = -g + 4*x + 97. Let c = g - -190. Do c and k have different values?
True
Let i be (-704)/3 - 8/(-12). Let h = i - -947/4. Which is greater: 3 or h?
3
Let o be 6/7*42/(-373)*(-88)/1408. Is 0 != o?
True
Let u = 12 - 11. Let d be 5 + (196/(-172)*7 - -3). Is u not equal to d?
True
Suppose -55 = 5*r + 5*d, 2*r + 0*r + 4*d + 16 = 0. Let t be 1*-4*r/28. Suppose 0 = 4*k - n - 72, t*k = -0*k - 4*n + 18. Which is bigger: 13 or k?
k
Let s = -51650.891 + 51565. Let p = s - -86. Let x = -1.209 + p. Which is bigger: -1 or x?
-1
Suppose 6*p + 10 = 8*p. Let t(n) = -3*n + 15. Let c be t(p). Let u = 0.14 + -0.04. Is c bigger than u?
False
Suppose 7*a = 2*a + 5*h - 55, a = 5*h - 7. Let d be ((-702)/a)/9 - 2/4. Is 9 greater than or equal to d?
True
Let m(j) = -2*j**3 - 8*j**2 + 13*j + 52. Let s be m(-4). Is -18/157 smaller than s?
True
Let l be (-14)/(-24)*(-119742)/(-147)*(-24)/(-20). Is l greater than -2?
True
Let g be (-23721)/15610 - (1 - 35/14). Let v = 2/223 - g. Which is greater: v or 0.1?
0.1
Let g(u) = 2826*u**3 + 6*u**2 - 4*u - 3. Let o be g(1). Is 2825 bigger than o?
False
Let p be (-2)/4*(73/(-1) - 5). Suppose p = 2*o - 5*k, -k + 30 = 8*o - 3*o. Suppose h = -o*h - 72. Is h equal to -10?
False
Let g(p) = p. Let l be g(0). Suppose l = -z - 2*m + 20, 5*z + 2*m = -m + 114. Let n = -38446 + 38471. Which is smaller: n or z?
z
Let f = -4 - -6.8. Let t = f + -5.1. Let c = 42.9 + -42.7. Which is smaller: c or t?
t
Let u(x) = x**3 - 8*x**2 + 9*x - 12. Let y = -29 + 29. Suppose 0 = -4*j - y*j + p + 26, 5*j - 37 = -p. Let b be u(j). Which is smaller: b or 0?
0
Let q = -8 - -12. Suppose q*r = -5*i + 4*i - 9, -r = 3*i - 17. Let f(y) = y**2 - 9*y + 13. Let b be f(i). Is -15 greater than or equal to b?
False
Let h(l) = -11*l + 293. Let g be h(32). Let b = g - -58. Let x = -273 - -5188/19. Which is greater: x or b?
x
Let o be 2/(7 + -5 + (-2187)/1092). Let u = 626 - 1353. Which is greater: o or u?
u
Suppose 3*t = -3*t + 66. Let o = 40 - t. Suppose 6*x = -o - 19. Which is bigger: x or 2/13?
2/13
Suppose 18 = -3*o + 3*i, -23*i = -19*i + 8. Suppose -2*x + 20 = 3*w, -3*w + 2*w = -3*x + 8. Suppose 0 = -c - x*c - 40. Is c >= o?
True
Suppose 7*x - 26*x = -57. Let n be (-7)/(4599/6) - (-3 + x). Is n smaller than -1?
False
Let l = -40 + 38. Let o be l/8 + (-330)/(-40). Suppose -o = 9*c - 13*c. Is c less than or equal to 3?
True
Let j be (-1 + -2 + 2)/(-2). Let m = 59 + -595.1. Let v = m - -536. Which is greater: v or j?
j
Suppose 30 = 4*w + 22. Let y(n) = -3*n**2 + 3*n**2 - n**2 + 2*n**w - 16 + 14*n. Let q be y(-7). Is q equal to -66?
False
Let l = -41 - -95. Suppose 7*v = l - 12. Let w be v/(-72) - 2/3. Which is smaller: 2 or w?
w
Let i be (1/2)/(2/4). Let y be (34/(-85))/((-3185)/25). Which is greater: i or y?
i
Let z be 1 - (7056/54 + -18). Which is greater: -113 or z?
z
Let x be 1/1 + -112 + -3. Let r = -190 - x. Let m = -650 + 574. Is m less than r?
False
Let z = 0.375 + -0.203. Let d = -0.472 + z. Which is smaller: d or -3/7?
-3/7
Let y(u) = -4*u**2 + 46*u - 13. Let l be y(11). Suppose -7*j + 38 = 3*h - l*j, -h = -j - 13. Which is smaller: h or 0?
0
Let r(b) = b**3 - 12*b**2 + 13*b - 10. Let u be r(11). Suppose 0 = u*k + 13 - 421. Let v = -35 + k. Which is greater: v or -1/23?
-1/23
Suppose -m - 253 = 5*y, 68 + 140 = -4*y + 2*m. Let g = -635.0445 - -0.0445. Let q = g - -636. Is q at most as big as y?
False
Let j be 4*(-5)/10 - 322. Let m be 276/j*384/14. Let f = 162/7 + m. Is f < 1?
True
Let h = 1125.7 - 1131.7. Which is bigger: h or -100/3?
h
Suppose -5*o + v - 2 = 0, o - 2*v = 3*v - 10. Let z be (8 - 8 - o)*(-1)/(-2). Is -2/7 at least as big as z?
False
Let m = -23 + 41. Suppose -d - 2*d = 3*b + 15, m = -4*d - 2*b. Let k = -9/10 + 2/5. Does k = d?
False
Let c(u) = 6*u - 3*u + 5*u - 9*u. Let m be c(0). Let s = 46156/1677 - 358/13. Is s <= m?
True
Let l be 1/(-3) + (-191)/(-573). Which is greater: l or -1/4545?
l
Suppose z = -4*a - 418 - 303, 5*a + 898 = 2*z. Are a and -174 equal?
False
Let o = 0.2 - 0. Let t = 930 - 2113. Let i = t + 1179.6. Is i equal to o?
False
Let z = -647 + 536.4. Let h = -10.6 - z. Let w = h + -99.993. Is 0 smaller than w?
True
Let v = 18.2 + -17.5. Let o = 0.3 + v. Is 67 <= o?
False
Let j be 940/(-15)*(-234)/52. Is j <= -1?
False
Let c(b) = -3*b**3 - 16*b**2 + 6*b - 43. Let l be c(13). Do l and -9261 have the same value?
False
Let u = -217 - -266. Let x = u + -48.86. Which is smaller: x or 0?
0
Let l be 2*(-10)/((-80)/36). Suppose 8 = f + l. Is -2/371 at least f?
True
Let o(m) = -49*m + 92. Let t be o(6). Let a = -94094 - -845023/9. Let s = t - a. Is 1 less than or equal to s?
False
Let j = -8367 - -8384. Let w = 71 - 29. Is j != w?
True
Let z be 192/(-1)*54/2484. Let m = z - -23063/5520. Is m greater than or equal to 1?
False
Suppose -40*u + 6548 = -2532. Are u and 685/3 nonequal?
True
Let z be -1*2/1 + (-144)/(-63). Let h = -5.734 + 1.134. Is z < h?
False
Let u = 1.341 + -189.341. Is u at least 0.1?
False
Let k = -1.08 - -1. Let b = k - -0.58. Let z = 2579 - 2578.8. Which is smaller: b or z?
z
Let k = 16396/3 - 131171/24. Let o = 5.5 + 0.5. Let h = o - 12. Which is smaller: h or k?
h
Let z(j) = -4*j - 1. Let p be z(-1). Suppose -2*t = -0*t + 4*c - 34, 0 = p*t + 2*c - 35. Let i be -1 - t/(18/28). Is i at most as big as -13?
True
Suppose k - 7 = -4*s, 3*k = -5*s + 7 - 0. Suppose -8*v = s + 30. Is v >= -9?
True
Let p be 2/(-17) - (-864)/408. Suppose 0 = p*v - 5*v + 9. Are 7/3 and v equal?
False
Let j(b) = 14*b - 2351. Let t be j(89). Is t bigger than -1105?
False
Suppose -s = -2, 97*s = 3*n + 93*s + 5045. Is n < -1679?
False
Suppose 5*c = o - 2, -c = -3*o - 6*c + 6. Suppose -4*i + 5*t - 56 = 0, 4*i + o*t - 26 = 6*i. Which is smaller: -6 or i?
i
Suppose -5*s = -53 + 8. Let c be 1 + (0 - (s + -5)) - -3. Do c and -8/71 have different values?
True
Let m = -38 + 187. Let b = m + -152. Which is smaller: b or -0.5?
b
Let c be 94/(-3) - 6/9. Let g = -461 - -423. Let h = g - c. Which is greater: h or -9/2?
-9/2
Suppose -42*s + 18 = 51*s - 84*s. Which is bigger: s or 216/79?
216/79
Let j(a) = -a**2 + 16*a - 26. Let z be j(14). Suppose -2*h + z = -12. Suppose -12*c = -h*c - 5. Are 1/72 and c unequal?
True
Let a be (4 + -1)*-3673*4/23184. Let g = a - 5/322. Let h = g - -5/3. Is 0.1 <= h?
False
Let t = -303 - -1767. Suppose -4*c - 1488 = 4*g - 3*g, -4*c + 5*g = t. Is -371 at least as big as c?
True
Let x = -18661 - -18661.2. Do x and -0.1365 have the same value?
False
Let m be 2/(-4) - 42/12. Let b be m/2*(121/(-22) - -6). Which is bigger: -21/23 or b?
-21/23
Let k = -689 - -685. Let w(r) = 4*r**3 + 6 + 2*r - 15 + 6*r**2 - 3*r**3. Let b be w(k). Do 12 and b have different values?
True
Let o(d) = 3*d**2 + 11*d + 2. Let m be o(-7). Let l = -10 + m. Let c = l + -59. Is 0.2 > c?
False
Let q be (-274)/(-200)*(-55)/(-22)*-2. Which is smaller: -6 or q?
q
Let k(j) = -13*j**2 - 22*j - 26. Let o be k(-3). Are o and -11 equal?
False
Let n = 8341 + -1309538/157. Let z be 10*(-2)/(-4082)*17. Let p = n + z. Which is greater: p or 1?
1
Suppose 3*t + 0*i - 20 = -4*i, -5*t + 68 = -2*i. Suppose 3*c - t = -4*b, 5*c - c - 35 = b. Is c < -1.8?
False
Suppose -7*v = -8*v - 4*q + 3932, -4*v + 5*q = -15791. Is v smaller than 3944?
False
Let z(m) = m**3 + 31*m**2 