 x = 539 + k. Is x bigger than -2/175?
True
Suppose -3*c = -5*c - 6. Suppose 0 = -2*u - 3*u + 5*b + 35, -5*u = 4*b + 1. Suppose u = 6*o + 21. Is c >= o?
True
Let t be ((98/(-32))/7)/(2/1). Let w = 2703/12064 + t. Which is smaller: -1 or w?
-1
Suppose 5*k = -5*k + 240. Suppose -4*m + k - 36 = 0. Let x be (-2 - -1)/(m/36). Which is bigger: 14 or x?
14
Let z = 7747 + -7748. Let b = -4 - -6. Let y be (b/112)/((-25)/(-20)). Is z greater than y?
False
Let l = -4.5 + 1.7. Let r = 0 + l. Let m = r - -2.7. Do 13 and m have different values?
True
Let a be -5 + (-3)/(-9)*-593. Let m = -203 - a. Which is smaller: 0 or m?
m
Let i = -4272387/11 - -387787. Which is greater: -611 or i?
-611
Let t = 1886 - 2918. Is t at most -1031?
True
Let d = 21 + -19. Suppose 97 = d*h - 89. Suppose 46*t = 49*t + h. Are -32 and t non-equal?
True
Let b = 31068744/967 + -32129. Is b < 0.9?
True
Let f = 9613 + -9616. Which is smaller: -129.3 or f?
-129.3
Let n(z) = -5*z - 23. Let r be (-20)/(-8)*(-5 + -29). Let w = r - -76. Let x be n(w). Is x at least 20?
True
Let l(u) be the third derivative of u**5/60 + 17*u**4/24 - 13*u**3/6 + 2*u**2 + 17. Let r be l(-8). Which is smaller: r or -86?
-86
Let z = 60100 + -35410. Is z at least as big as 24689?
True
Suppose u + 2480 = -2*i, -87*u + 94*u = -i - 1253. Is i >= -1237?
False
Let n = 0.03053 - 22.03053. Which is smaller: n or -9?
n
Let l = 2.23 + 0.77. Let q = -448.77 + 549.8. Let t = q + -101. Are t and l non-equal?
True
Let g = 0.044 - -0.008. Let i = g + 44.948. Let r = -45.1 + i. Which is bigger: r or 1?
1
Suppose -80 = -11*v - 69*v. Which is greater: v or 378?
378
Let x = -7 - 3. Let m(b) = -7 - 76 + 3*b - 1 - 7*b - 6*b. Let p be m(x). Which is smaller: p or 17?
p
Let d(z) = -37*z + 390. Let y be d(13). Suppose -t - 4 = -6. Suppose -p + 274 = -3*o, -t*o = o + 2*p + 271. Do o and y have different values?
False
Let i = 24290839/26 - 933895. Let u = i - 368. Which is smaller: 1 or u?
u
Let i(n) be the second derivative of -n**5/10 + n**4/4 - 4*n**3/3 - 2*n**2 - 12*n. Let j be i(-8). Let y = j + -44666/35. Is 1 >= y?
True
Suppose -3*i = 5*i - 328. Suppose -4*m - 55 = -8*m + 5*n, -4*n = -3*m + i. Suppose 0 = 4*u - 5*g - 58, -49 = -5*u - g + 9. Which is bigger: m or u?
m
Let x = 4.96239 - -0.03761. Which is bigger: 0.0413 or x?
x
Let r be (-2 - -12) + (-98)/112*8. Let w = 549257488/156094635 - 22660/31439. Let s = w - -2/993. Is s at most as big as r?
True
Let n = 2.271 + -0.071. Let u = n + -1.08. Let j = -0.12 + u. Which is bigger: j or -0.8?
j
Suppose y = -4*w - 27, 3*y + 2 - 5 = 2*w. Let o = -1 + 7. Let g be (22/o + -2)*w/(-105). Do 0 and g have different values?
True
Let q = 16617 - 14906. Which is smaller: q or 1709?
1709
Let x be (1 + 1)*(6/4 + -1). Suppose 245 = -134*c + 129*c. Which is smaller: x or c?
c
Let y = -973 - -977. Which is bigger: -121 or y?
y
Let k be 122/8 + -1 + (-3)/(-4). Let t be (2 + (-72)/k)*(-245)/(-70). Which is smaller: -10 or t?
-10
Let r = -366.9 + 12.4. Let a = r - -366. Does a = 2?
False
Let k(d) = d**3 + 23*d**2 + 54*d + 3. Let u(w) = 2*w**3 + 47*w**2 + 106*w + 5. Let g(h) = 5*k(h) - 3*u(h). Let a be g(-24). Which is smaller: -2/603 or a?
-2/603
Let z = -103592/19 - -5459. Which is bigger: z or 6?
z
Let a = 9458.9017 + -9459. Is 5 greater than or equal to a?
True
Let x = -8742 + 9874. Is 1131 greater than or equal to x?
False
Let g be (-36)/(-60)*(-290)/(-12)*-118. Which is bigger: -1712 or g?
g
Let l = -6.1064 + 6.2064. Let h = -197.72 + 1.72. Is l > h?
True
Let g(y) = 5*y - 2. Let f be g(3). Let o be ((-8)/12)/((-96)/1968). Which is bigger: f or o?
o
Let o be (10/15)/((-3)/78). Let l = 155/9 + o. Let n be 4/(-8) + (-1)/(-6). Is l greater than or equal to n?
True
Let z = 1.4 - 0.8. Let o = -3.99 + 80.99. Let x = 76.9 - o. Which is smaller: x or z?
x
Let t = -1689/1175020 + 1/2398. Which is smaller: -0.1 or t?
-0.1
Suppose -36*o + 180 = -32*o. Suppose 4*r + o = 41. Is r less than -1/2?
True
Let w(r) = r**2 + 10*r - 3. Let c be 6 + 220/(-35) + (-68)/7. Let p be w(c). Which is smaller: -9 or p?
-9
Let b(d) be the first derivative of 81*d**2/2 - d + 3. Let y be b(1). Let n = -6331 + 6412. Which is greater: y or n?
n
Let h be (0 - -4)*2 + 233/(-6). Do -31 and h have the same value?
False
Let t = -24707/25 + 988. Let a = -29 - -32. Suppose -2*g + 1 = -a*g. Is t at least g?
True
Let z be 1286/((-15)/(-15) + 1). Which is greater: 645 or z?
645
Suppose 0 = 17*m + 20*m + 37. Let b = 31 + -21. Let p = -9 + b. Which is greater: p or m?
p
Let b(q) be the first derivative of -q**4/2 - q**3/3 + q**2 + 2*q + 25. Let w be b(-1). Let o = 4846/2015 - 2/403. Is w at most as big as o?
True
Let g(i) = i**2 + 75*i + 122. Let c be g(56). Which is smaller: 7457 or c?
7457
Let v be 111/468 - (-28)/(-336). Let w be (18/(-12))/((-1)/(-2)). Let o = 4 + w. Which is bigger: v or o?
o
Suppose 11*g - 6*g - n + 18483 = 0, 3*n = -2*g - 7400. Which is bigger: g or -3695?
-3695
Let p be ((-805)/(-345) - (-5)/(-6))/((-1)/202). Is p < 5/4?
True
Suppose 70*y - 73*y - 18 = 0, -5*f - 5*y + 940 = 0. Is f greater than or equal to 196?
False
Let m be 2/19 + (1040/1330)/(-2). Which is greater: m or -391?
m
Suppose -3*g + c - 6053 + 258 = 0, 2*g = 2*c - 3870. Let p be (-14)/6 - g/885. Which is smaller: -1 or p?
-1
Suppose -485 - 214 = 38*b - 167. Let p = 8 - 18. Which is smaller: b or p?
b
Let u = 19.11 - 21.48. Which is smaller: -0.2 or u?
u
Let w be 25 - 7/((-28)/32). Suppose 8*c = 4*c + 120. Which is bigger: c or w?
w
Let v = -256 - -261. Suppose 2*y + v*r + 3 = -y, 4*r + 5 = -5*y. Are -2/37 and y non-equal?
True
Let d = 9.604 + -9.404. Is d at most -288.3?
False
Let d(y) be the first derivative of -y**4/4 + y**3/3 + 2*y**2 + 5*y - 1. Suppose 316*z + 4 = 314*z. Let v be d(z). Is 6 at most v?
True
Let q = 615 + -614. Let o be q/(-1 - -3) + (-551)/2. Are -274 and o nonequal?
True
Let k(c) = -c**3 + 4*c**2 - 4*c + 9. Let h be k(6). Let g = h - -80. Let m be (12/9 + -1)*(g + 25). Which is smaller: 9 or m?
m
Suppose 6*l + 43 = 31. Let h be -4 + (-9)/(135/(-96)) + l. Is -1/55 equal to h?
False
Let f = -11817/5 - -2360. Let m = 0 - 4. Which is smaller: m or f?
m
Suppose -43*m - 20 = -48*m. Suppose 4 = s, -60*k - m*s = -64*k - 40. Which is smaller: -6/29 or k?
k
Suppose -14*f = 10*f + 72. Let n be (3 - -1) + f/((-12)/796). Which is bigger: 202 or n?
n
Let b = -34625 - -162079629/4681. Is -1 greater than b?
False
Let x(f) = -69*f**2 + 9. Let r be x(-3). Let s be 3741/r - (-4)/(-4). Let n = 85/12 + s. Is 0 >= n?
True
Let v = 415.6 + -448. Let i = -32.4 - v. Is i less than or equal to -2/81?
False
Let k = -414 - -546. Suppose -54*u + 48*u - k = 0. Is u smaller than -2?
True
Suppose -13*k + 12*k = w + 4, -16 = 3*w + 5*k. Let a be (-3531)/(-504) + w + -5. Which is bigger: a or 0?
a
Let p be ((1 + -1)*(-7)/(-28))/(-3). Suppose 9 = 9*y - p. Which is greater: y or 2/43?
y
Let x be -1*51/(-9) + 2/(-3). Suppose -d + 1 = x*h - 58, h - 1 = 0. Suppose 2*q = -7*q + d. Are 0.09 and q nonequal?
True
Let a = 4695678211/1413813783 + 2/5677967. Let n = a + 1/83. Which is bigger: n or 0.3?
n
Let b = 1204091/285 - 21133/5. Is b equal to -1?
False
Suppose 0 = -370*k + 83*k - 329476. Is -1148 at least as big as k?
True
Let l = -181 + 22624/125. Suppose -5*m = -0*n + 4*n - 12, 3*n - 9 = 0. Which is greater: m or l?
m
Suppose 2 = f - 4*n, f = 3*f - 5*n - 4. Suppose 108 = 3*o + i + 4*i, 85 = f*o - i. Suppose -o = 2*s - 191. Which is smaller: 76 or s?
s
Let p(t) = -t**3 - 12*t**2 - 6*t - 30. Let n be p(-12). Suppose -f = -2*f + 5*c + 22, 3*c = 3*f - n. Is f less than or equal to 3?
False
Suppose -9*i + 61*i + 93 = -41*i. Is -2/547 at least i?
True
Let y = -191 + 12. Let v = y + 179. Which is bigger: 1 or v?
1
Let k = -4294 + 4255. Is k greater than or equal to 18?
False
Suppose 3099 = -142*t - 7780 - 13261. Which is smaller: t or -134?
t
Let v = -39 - -32. Suppose -115*c = -112*c - 6. Let k = v + c. Is -5 > k?
False
Suppose -4*t + 2266 = 30*y - 33*y, -3*t + 5*y = -1716. Which is greater: t or 576?
576
Let c be ((-180)/945)/((-24)/4788). Which is smaller: 12 or c?
12
Let y = -0.2 + 0.4. Suppose 4*u - 3*t = -6*t - 7, 4 = -3*u - 2*t. Suppose -184 = -4*f - 5*w, -u*f + 0*w + 110 = -2*w. Which is bigger: f or y?
f
Let m(y) = 6*y - 1. Let z be m(7). Let u = -43 + z. Let i = 5 - 