= 0. Is -184 greater than or equal to y?
True
Let t = -0.0209 + 435.4209. Let o = 422 - t. Which is smaller: o or -1?
o
Let p be (-50*1/1)/((-12)/(-54)). Let c be 3*(-8 - p/27). Is 5/31 greater than or equal to c?
False
Let j be 3*-2*(-3)/(-60399). Which is smaller: -2/3 or j?
-2/3
Let r = -16334/11 - -1486. Let w = -288.7 - -666.5. Let x = -378 + w. Which is bigger: r or x?
r
Let c be (-79078623)/88803 - (-2)/(-33). Which is bigger: c or -890?
-890
Let m(r) = 5*r - 247. Let f be m(49). Let h be (1770/8)/((-9)/14). Let b = h + 342. Which is bigger: b or f?
f
Let j be ((-36)/30)/(-3)*125/50. Which is bigger: 106/189 or j?
j
Let v(q) = -5*q**2 - q + 15. Let k(y) = 4*y**2 + 3*y - 14. Let r(d) = 7*k(d) + 6*v(d). Let g be r(7). Is g at most -2/83?
True
Let x(o) = 11*o - 705. Let k be x(64). Are 14/271 and k unequal?
True
Let t = -5015/258 + -77/86. Let b(z) = 19*z**3 - z - 1. Let v be b(-1). Which is smaller: v or t?
t
Suppose 34 = -55*h + 21*h. Let q = 3506726/531 + -6604. Which is greater: q or h?
q
Let q = -8.068 + 8.358. Let p be (-57)/(-9) - 3/9. Are q and p non-equal?
True
Let d be 31 - ((-56)/8 + 8). Let l be 3 - 1/3*d. Which is smaller: -3 or l?
l
Let y = -77.9076 - -0.9076. Is y greater than -1.3?
False
Suppose -54 = 5*t - 2*c - 60, t = 2*c + 6. Is -7/496 bigger than t?
False
Suppose -223*q + 231*q + 267 = 747. Suppose -141 - 164 = -5*o. Is q less than or equal to o?
True
Suppose -z - 5*w = 3*z, -2*w = 0. Let x be (-523203)/660 - (-1)/(-4). Let d = x - -793. Is z <= d?
True
Let o = -2115 - -1359. Which is bigger: o or 1/4?
1/4
Let l = 15.22 - 18.22. Is 143/10 greater than or equal to l?
True
Suppose -62*n - 897 = -39*n. Which is smaller: n or -399/10?
-399/10
Let u(z) = -z**2 + 33*z - 95. Suppose -390 + 1020 = 21*b. Let t be u(b). Does t = 5?
False
Let u be (4/6)/(6 + 83644/(-12)). Let o = u - -14762/146251. Let g = -1822/1547 + o. Is 0 greater than g?
True
Let g(o) be the second derivative of -o**5/20 + o**4/12 + 5*o**3/3 + 9*o**2/2 - 3*o - 17. Let x be g(-4). Which is greater: 55 or x?
55
Let h(r) = -8*r**2 + 37*r - 9. Let d be h(5). Let g(w) = w**3 + 25*w**2 + 33*w - 66. Let s be g(d). Is -280 less than or equal to s?
False
Suppose 5*m - 157 = a, -m - m = 2*a - 70. Suppose 2*z + 10 = 6*z + 3*h, 0 = -h - 2. Suppose m = -0*b - z*b. Does b = -8?
True
Let l(s) = s**2 - 36*s - 1769. Let q be l(64). Do q and 0.159 have the same value?
False
Let t be -17 + (6 - (-66444)/6034). Which is smaller: 0 or t?
0
Let t = -0.12429 + 0.03429. Is t at least 33?
False
Let y(g) = g**2 - 464*g - 3312. Let m be y(-7). Is m at most as big as -247/17?
True
Let k(p) be the first derivative of -p**3/3 + 5*p**2/2 - 24. Let u be k(3). Let n be (-500)/30*u/(-4). Which is bigger: n or 24?
n
Let i = 3 + -1. Suppose -i*c = 5*d - 5, 0 = -d - d - 3*c + 2. Let k(u) = -774*u + 6195. Let r be k(8). Do d and r have the same value?
False
Suppose h + 2120 = -5*b, 2*b - 1712 = 6*b + 4*h. Let r = b - -414. Is r not equal to -130/17?
True
Suppose -41*q = 225 + 2158 + 9343. Which is bigger: q or 4?
4
Let j be (7/441*-58)/(3 - (-35)/(-15)). Which is smaller: 0 or j?
j
Suppose 0 = 132*b - 76*b + 21336. Is -372 equal to b?
False
Let z be (-2)/3*241026/556. Which is greater: z or -283?
-283
Let d be 3 + 322/(-10) - (-72)/60. Is -48 at least d?
False
Let u = -22490 + 22821. Is 13 <= u?
True
Let s be (-3 + 2)*(-1 + 2). Let y = -504/97 + -105789/194. Let o = y - -551. Which is smaller: o or s?
s
Let f be ((-2)/20 + (-3)/(-5))*-2. Suppose h = -1 - 10. Let p be (-2)/h + -4 - -4. Is p <= f?
False
Let v be -6*((-63)/14 - -3). Let l be 100/34 - (-4 + v). Is l less than or equal to -2?
True
Suppose 3*p - 3*v = -1545, 2*p + v = -144 - 895. Let o be p/(-6) + (-16)/48. Let j = 83 - o. Does -4 = j?
False
Let i = -5176 - -5139. Is -37 > i?
False
Let d(b) = -565*b + 24. Let x be d(-12). Let p be (-434)/x - (-6)/108. Which is smaller: 1/4 or p?
p
Let k = -50 + 99. Let i = -860 + 910. Which is bigger: i or k?
i
Let c = -2604 + 2578. Which is greater: -0.4 or c?
-0.4
Let b be -4*((-2)/(-10) + (-21)/130). Let l = 8 + 1. Suppose -5 = o - l. Which is greater: o or b?
o
Suppose 0 = -7*q + 3*q + 8. Let h = q - 1. Suppose -o = 4*l - 12, -4*l - 26 - 10 = 5*o. Is o bigger than h?
False
Let h be (189/(-630))/(1 + 638/70). Is h at most as big as -1?
False
Let y = -428 - -408.5. Let b = -19.4 - y. Which is greater: b or 91?
91
Let x = 26844 - 26774. Which is smaller: x or -45/4?
-45/4
Let m = -1.09 + 6.18. Let a = 0.91 + m. Which is bigger: a or 0.19?
a
Let m = 0.03486 + -0.23786. Which is smaller: 0.1 or m?
m
Suppose 2*w - 7*z = -9*z + 932, z = 4*w - 1849. Let c = 6479/14 - w. Let p be (7/14)/((-2)/(-4)). Which is bigger: p or c?
p
Let o = 139 + -55. Let l(c) be the third derivative of c**5/10 + 13*c**4/8 + 145*c**3/6 - 233*c**2 + 1. Let i be l(-4). Are i and o nonequal?
True
Let w = 543 + -520. Which is greater: -25 or w?
w
Suppose -81 = j + 3*o - 45, 3 = -3*o. Which is smaller: j or -879/26?
-879/26
Suppose -4*y + w = -23, -3*w - 15 = -4*y + 6. Let u be (-5*20 + y)/2. Is u greater than 4?
False
Let q = -3.4188 + -1.5812. Is -1336 >= q?
False
Suppose -28*a = -26*a - u - 1754, 1778 = 2*a + 3*u. Is a at most 882?
True
Suppose 8*v = 2*x + 3*v - 163, -4*x + 335 = -v. Suppose -9*q + x = 255. Which is bigger: q or -10?
-10
Let u = -457 - -1085. Let v = u + -692. Which is smaller: -62 or v?
v
Let g = -572459536/19 - -30121909. Let u = g - -7545. Is 4 bigger than u?
False
Let z = 8392 - 8389. Which is greater: 85/29 or z?
z
Suppose 2*t + 4*i + 18 = 0, t + 5*i - 7 = -25. Let n be ((-1752)/(-180) + (-1 - 4))*t. Which is smaller: -14 or n?
n
Let f = 230 - 223. Suppose f = -2*y + j - 0, 2*j = -6. Let d = 0 - -0.3. Which is bigger: y or d?
d
Let g be 31 + -33 + (-2465)/2. Which is bigger: g or -1235?
g
Let i be (62/279 - (-8)/(-198)) + (-52)/44. Is 7/821 bigger than i?
True
Suppose -9*a - 23*a + 48*a = -45504. Are -2843 and a equal?
False
Let c be 4/6*((-140)/21)/(-10). Let w be (2 - (-1 - -2))*-1. Which is smaller: c or w?
w
Let j = -78 + 84. Suppose 3*p - j*p = -102. Let s = 17 - p. Is -31/2 less than s?
False
Let b = 1612 + -1611. Which is smaller: 0.198 or b?
0.198
Suppose -4*i + 3*w = -w - 12, w = 2*i - 4. Let n be -2 + 1 - (i + -3). Let g be -2 - (-6)/213*73. Which is smaller: n or g?
g
Let k = 93 + -93.25. Suppose 0 = -5*h + 36 - 6. Let x be 9/h - 17/14. Is k at least x?
False
Let c be (-1)/(4/(-32)) - (0 - 3). Let i(u) = -3*u**2 + 33*u - 1. Let m be i(c). Are -1/56 and m unequal?
True
Let b = 3517 + -3537. Is b at least as big as 0?
False
Let x(h) = h**3 + 7*h**2 - 10*h - 6. Let d be x(-8). Let t be 1/485*d*1/(-1). Which is bigger: -1 or t?
t
Let k = -23333/50583 + -1/3891. Which is smaller: k or -0.06?
k
Let p = -29896/5 + 5979. Let h = -22 - 12. Which is smaller: p or h?
h
Let c(p) = -7*p**2 - 456*p + 179. Let d be c(-66). Is d smaller than -214?
True
Suppose 9*v - 7*v = 560. Suppose 140 = 2*f - 3*l - l, v = 4*f - 2*l. Let p be (15/f)/(6/(-8)). Which is smaller: 26 or p?
p
Suppose 5*u = 3*f + 715, 194 = 4*f + 5*u + 1089. Which is smaller: -229 or f?
f
Suppose -68*o = -64*o + 2860. Let r = -715 - o. Does r = -0.098?
False
Let n = -4407 - -4408. Which is greater: -13/228 or n?
n
Suppose -38*r + 390 = -864. Is r greater than 42?
False
Let u = -0.0983 + 0.1784. Let x = u - -82.6199. Let n = -83 + x. Is n <= 8/7?
True
Let v(z) = 13*z**3 - 9*z**2 + 20*z + 38. Let d be v(-2). Which is bigger: -113 or d?
-113
Let u = 26570326861/9921199302542 + 71/18594137. Let w = 1/1738 + u. Which is smaller: 0 or w?
0
Let y = 10 - -99. Let v = y + -104. Is v at most as big as 8?
True
Let o be 191 - (6/39 - (-306)/39). Is 193 greater than o?
True
Let r = -8.81 + 249.21. Let x = r - 247. Is x equal to 1?
False
Let w(g) = -4*g**2 + 6*g - 6. Let n be w(-6). Let y = n - -185. Is y at most as big as 4/13?
True
Let m(v) be the first derivative of v**4/4 - 3*v**3 + 11*v**2 - 10*v - 146. Let w be m(5). Which is smaller: w or 68?
w
Let l(u) = -5*u + 46. Let q be l(7). Suppose 3*x = -q*x + 4466. Are x and 319 unequal?
False
Let l(i) = -i - 8. Let g be -3*(50/6 + -3). Let t = -22 - g. Let s be l(t). Do s and 11 have the same value?
False
Let x = -2013.3 - -1748.3. Which is smaller: x or 28?
x
Let y = -871 + 1299. Let f = y - 430. Which is gre