-3 - 2239740/(-724636)). Is 0 at most f?
True
Let w = -103.1 - -103. Let g = -225.01 + 225. Which is smaller: g or w?
w
Let s be (-4)/(-6) - (-2)/(-3). Let f be 1010/12423*-9*2/6. Which is smaller: f or s?
f
Suppose -2*k - 4*z - 3368 + 9620 = 0, -2*k + z = -6252. Is k != 3126?
False
Let z = -2327/36 + 257/4. Let k = z - -53/90. Suppose -i - 5*y + 3 - 27 = 0, -y - 10 = -5*i. Are k and i nonequal?
True
Let a = -4189 + 20947/5. Which is smaller: a or -1598?
-1598
Suppose 11*y - 6*y = -915. Let d(s) = -180*s**2 + 8*s + 5. Let l be d(-1). Is y greater than l?
False
Suppose -2*v = -7*v + 150. Suppose 1493*d + 170 - 911 = 752. Which is greater: d or v?
v
Suppose 4*c = -6*c - 7*c. Suppose c = -4*t - 90 - 10. Is -8 at least t?
True
Let c = -157 + 17. Let j be 6/(-15) + (-416)/c. Let i = j + -47/21. Which is greater: i or -0.51?
i
Let s(y) = 3*y - 122. Suppose 20 = 5*x, -4*d + 60 = -5*x - 64. Let w be s(d). Which is greater: -10 or w?
-10
Let a be 711/316 + 33054/(-24). Is a > -1375?
False
Let x be ((-42)/104216)/(5/40*2). Is 1 at least x?
True
Let o be (1 + (-6)/8)/(34/408). Let k be o/(-6) + 9/(-10). Which is smaller: -1 or k?
k
Suppose v = 2*o - 5*o + 4, 2*v = -4. Let n be (8 + -7)*(o + -2). Suppose n*k + 4*k = 0. Is 2/17 <= k?
False
Let r = 256 + -251. Let y be 37*r/5*-2. Which is smaller: -1/4 or y?
y
Let i = -116 - -193. Suppose -9*x = -2*x - i. Let r be 3 + -1 - x*3/9. Which is smaller: -1 or r?
r
Suppose 3*y = 2*o + 931, o - 2 = 2. Let m(x) = -32*x**3 - 190*x**2 + 166*x - 190. Let k be m(-7). Is k bigger than y?
True
Let k be (-5 - 25/((-10)/2)) + 6. Let h be 4/3 - (5 - (-98)/k). Is -23 equal to h?
False
Let x(j) = 6*j**2 - 6*j + 1. Let u be -3*1*3/(-9). Let p(a) = a**3 + a**2. Let w(h) = u*x(h) - 2*p(h). Let g be w(3). Which is bigger: -36 or g?
g
Let b = -6461 + 6459. Let d = 1 + -1.8. Let x = -0.7 - d. Which is smaller: b or x?
b
Let x(z) = -10*z + 581. Let t be x(59). Let b be (4/(-5))/((-20)/(-50)). Which is smaller: b or t?
t
Suppose -960*i = -959*i - 1. Let m be (-30)/(-60)*(172/(-2))/i. Which is greater: m or -45?
m
Suppose 60 = -0*n - 5*n - 3*p, 3*n + 4*p + 25 = 0. Let z(k) = k**2 - 11*k - 5. Let q = -1 - -11. Let a be z(q). Does a = n?
True
Let c(x) = -8*x**2 - 17*x - 5. Let n be c(-11). Let a = -511 - n. Suppose 7*p + a = 2*p. Is -56 at most as big as p?
True
Let p(y) = 6*y**2 + 327*y + 186. Let v be p(-49). Is v <= -1430?
True
Let y = -12425 - -12424.6. Which is bigger: 2/135 or y?
2/135
Let p = 0.055 + 0.645. Let r = 9.698 + 0.202. Let z = -9.9 + r. Which is smaller: z or p?
z
Let d(c) be the second derivative of c**5/20 - 3*c**4/2 + 11*c**3/6 - c**2/2 - 275*c. Let y be d(17). Which is greater: -101 or y?
-101
Let v(n) = 16*n + 5. Let o be v(6). Let f = -98 + o. Which is smaller: -19 or f?
-19
Let l be 714/7 - 2/(-2). Let t = 43 - l. Let n = 72 - 133. Which is smaller: n or t?
n
Let z = -59 - -65. Suppose 0 = -5*m + z*m - 14. Let i be (3 + m/(-8))*-4. Do i and 0 have the same value?
False
Let g(h) = 53 - 45 - 10*h - 2*h**3 + 4*h**3 - 8*h**2 - h**3. Let w be g(9). Let j be (w + 0 - 0) + 3. Which is greater: 1 or j?
j
Let u = -0.124 + 49.124. Let a = -35.64 + -0.36. Let n = a + u. Which is bigger: 2 or n?
n
Suppose -3*d = -b - 5, -8*d = 2*b - 7*d - 11. Suppose 616*v - b = 618*v. Is v < -56/27?
False
Let r be ((-18)/90)/(6/90). Which is smaller: r or -141?
-141
Let o = -509559/25241 + 868/43. Which is greater: 0 or o?
0
Let l be (13/39)/((-1)/(36/(-17))). Let h = 2/51 - l. Is h at least -1?
True
Let g(l) = -2*l**2 - 3*l. Let p(y) = y**2 + y - 1. Let j(m) = g(m) + 3*p(m). Let s be j(12). Suppose 6*q + s + 3 = 0. Is -25 at least q?
False
Suppose 2*b - 1373 = -5*a + 1346, 0 = -2*b + 4*a + 2656. Which is smaller: 1341 or b?
1341
Let r be (565/115 - 5) + 1788/18584*-1. Which is greater: r or -1?
r
Let u = -5792 - -5791.9. Which is bigger: u or 0.398?
0.398
Let q = 4384 + -4382. Is q equal to 221?
False
Let r = 89170270/3453 - 25824. Which is smaller: r or -1?
-1
Suppose -4923 = 7*n - 1423. Let o = -450 - n. Which is bigger: o or 0?
o
Let i(s) = -s**2 - 410*s - 27. Let x be i(-10). Which is bigger: x or 3975?
3975
Let i = -6292 - -6297.241. Let k = 0.759 + i. Which is smaller: k or 2?
2
Suppose -3 = 3*u, -2*g + 3*g + 3 = -4*u. Let r = 232645 - 40712873/175. Which is smaller: g or r?
r
Suppose -12*h + 195 = -9*h. Let y = h - 61. Suppose y*p + 12 = -s - 15, -2*s - 2*p = 24. Is -7 < s?
False
Let w(z) be the third derivative of -z**6/120 + z**5/60 - z**4/6 + 4*z**3/3 + 108*z**2 + 2. Let k be w(3). Is 6 < k?
False
Let n = -93 - -210. Let g = 97 - n. Is -20 greater than or equal to g?
True
Let q be 3 + -3 + (-516)/(-123) - (-104)/(-26). Is q >= 2?
False
Let r be (4 + -7)*1228/(-12) + 2. Let j be (-11)/44 - (-2 - r/(-12)). Which is smaller: -145/6 or j?
-145/6
Suppose -6*w + 126 = 12*w. Let c = -30 - -51. Suppose -14*b = -w*b - c. Which is bigger: b or 2?
b
Let v = 71 - 72.64. Let o = 14.14 + v. Is o at least 0?
True
Suppose 4*i - 35 = 1. Let w(u) = -11*u**2 + 1981*u - 152. Let m be w(180). Is i greater than m?
False
Suppose 3*h + 7*r - 3*r + 4 = 0, 5*r = 3*h - 5. Suppose -3*y + y - 39 = -3*x, h = -4*x + y + 57. Let d be (-166)/(-12) - 2/(-12). Which is bigger: x or d?
x
Let q = -3 - -2. Let s be -5*6/(-24150)*12. Let g = 1/35 + s. Is g <= q?
False
Suppose 0 = -5*d - 3*v + 3774, 0 = -5*d - 100*v + 105*v + 3750. Is d at least 754?
False
Let h = -5522 + 5521. Is h > 0.0798?
False
Let t = 93 - 85. Suppose t*u = 13*u + 95. Which is greater: u or -18?
-18
Suppose -3*n - u = -1495, 8*u = -3*n + 6*u + 1496. Which is smaller: n or 3492/7?
n
Suppose 3*k - 274 = 227. Let o = k - 85. Is o greater than 82?
False
Suppose -4*f + 39 = -5*u, 3*u = -9*f + 8*f + 31. Which is smaller: -4 or f?
-4
Let l be (-732)/13 - (1 + (1 - 6)). Let u = l + 27161/520. Which is smaller: u or 1?
u
Let c = 13675 - 13676. Is c greater than or equal to 0.05828?
False
Suppose -v + 2*v + 2*l = -7, -2*l - 16 = -2*v. Suppose k = -3*k + 2*y - 168, 0 = v*k + 4*y + 148. Is -45 greater than k?
False
Suppose 3*s - 1250 = 700. Suppose -10*p - s = -700. Which is smaller: 6 or p?
p
Suppose -5*r - 23*c - 177 = -24*c, -4*c = 2*r + 84. Is -802/23 greater than or equal to r?
True
Let c be (-1852)/20 - 10/25. Let d = -649/7 - c. Let a = 3.5 + -4. Is a at most as big as d?
True
Let s be (-1 - (-4)/6)*-1. Suppose 4 = -3*t - 2*t - l, 5*l = -20. Suppose 7*m - 110 + 103 = t. Which is greater: m or s?
m
Suppose -3*i + 0*p - 5*p = 21, 4*p = -3*i - 18. Suppose 7*v + 18 = v. Let q be -2*(v/i + 9/(-9)). Which is smaller: 26 or q?
q
Let l(v) = 8*v**2 + 4*v + 3. Let o be l(-2). Let z be 31 + (9 + 136/(-16))/(2/(-16)). Is z greater than o?
False
Let q be -3*1*(-28)/2. Let h(a) = 712*a - 34844. Let z be h(49). Which is bigger: z or q?
z
Let z(u) = 9*u**2 + 51*u - 18. Let a be z(-6). Is -7/1187 smaller than a?
True
Let v = -86.2 - 14.3. Let g = v + -6.5. Is g at least 1?
False
Let g = 78 + -78. Let k be (-10902)/(-42) + g/(2 - 5). Let i = k - 255. Which is greater: i or 5?
5
Let n be (-7)/(-1) - (-16 - -4). Suppose -118 = -9*d - n. Is d at most 9?
False
Let d(v) = -2640*v - 10560. Let h be d(-4). Does 29/23 = h?
False
Suppose -3 - 3 = 6*v. Let k be (0/v)/(-10 - -16). Which is smaller: k or 28/27?
k
Suppose -5*k - 4*v = 5, 4*k - 48 = 5*v - 11. Let h be -3*1*1/k. Which is bigger: h or -6?
h
Let g be 4/38 + (384/(-38) - -3). Is 8/13 smaller than g?
False
Let v = -118 - -116. Let q be v + 36*6/105. Suppose -3*r = -r. Which is greater: q or r?
q
Suppose 0 = 5*y - 30, 2*y - 4*y - 20525 = -11*j. Is 1865 at most j?
True
Let u be (-24)/4*4/6. Let z be (1/2)/(3/u)*6. Let j be (-658)/(-11) - (z/22 - 0). Which is smaller: j or 59?
59
Let x(s) = s**2 + 39*s - 448. Let r be x(-46). Which is smaller: -1015/8 or r?
-1015/8
Let y(h) = -863*h - 5178. Let b be y(-6). Is b < -6/5527?
False
Let h(d) = -3*d - 40. Let c be h(-15). Suppose 7*l - 5*w + 430 = 2*l, c*l + 430 = -4*w. Are 1 and l nonequal?
True
Let v = 122986 + -1722767/14. Which is bigger: -70 or v?
v
Let p = -3635 - -3647. Which is smaller: 309 or p?
p
Let w be (10/4)/((-36)/(-1224)). Let i be ((-6180)/w)/(-12) - 6. Suppose -u = -5*k + 17 + 2, -4*u = 4*k - 20. Is i >= u?
False
Let f = 360 + -184. Let p = f + -120. Is p > 55?
True
Let t = -175.928 + 176. Let z = t - 1.072.