j = -348 - 76. Let b = -425 - j. Which is bigger: -0.09 or b?
-0.09
Let o = 210 + -208. Suppose 3*s - 270 = -4*l, 0 = o*s - 4*s + 3*l + 163. Is s <= 88?
True
Suppose -2*h + 2*z - 72 = 422, 5*h = 3*z - 1245. Which is smaller: h or -265?
-265
Let b be 34 - 41 - (-1)/(28/4000). Is 135 greater than b?
False
Let g = 79/10 + -1/10. Suppose -5*s = 2*j - 4330, 4*s + 127*j - 128*j = 3464. Suppose 722 = -16*o + s. Do g and o have different values?
True
Suppose 22*b = -10*b. Is 26/1803 > b?
True
Let x = 232618/5 + -46584. Does -59 = x?
False
Suppose -62731 = -123*h - 14973 + 26411. Which is smaller: h or 6621/11?
6621/11
Suppose 13*a - 19 - 46 = 0. Let h be (-1)/((-5)/(-100)*a) - 120. Are -123 and h non-equal?
True
Let i be (-1 + -20)*(-14)/(-21). Let b(z) = -z**3 + 25*z**2 - 22*z - 45. Let f be b(24). Suppose 16*q - f*q = -195. Are q and i equal?
False
Let v be 6 - (4 - 4)/3. Let u = -12 + 57. Let f be 325/u + -3 + (-2)/9. Which is bigger: f or v?
v
Let o(a) = 27*a**2 - 211*a + 110. Let d be o(8). Let y = 6 + -5. Is y bigger than d?
False
Let x be (232/(-20) + 2)/(8/(-60)). Let t be (x/(-10))/(42/(-315)). Which is smaller: t or 55?
t
Let v = -0.0363 + -30.8637. Let g = -28.9 - v. Do 3/25 and g have different values?
True
Let f(i) = -8*i**2 - 192*i + 1364. Let w be f(7). Is w not equal to -373?
True
Suppose 0 = -45*d + 299 - 74. Suppose -d*w + g + 2*g + 34 = 0, 0 = -4*g - 12. Let f(z) = 2*z**2 + z. Let r be f(1). Which is greater: r or w?
w
Let t = -1547382454 + 2344284300256/1515. Let v = -388/5 - t. Is v equal to -1?
False
Let g(k) = 2*k**2 - 17*k + 28. Let j be g(6). Let p be -5 - 1165/470*j. Let x = 2 + -1. Do x and p have different values?
True
Let m = 1349697/355 + -19007/5. Which is smaller: 0 or m?
0
Let l be ((40 - 33) + (-30)/4)*202. Which is bigger: l or -123?
l
Let b(z) = 3119*z + 31189. Let i be b(-10). Suppose -5*j + a + 3*a = 123, 2*j = 5*a - 39. Is i != j?
True
Suppose 33*m + 156*m + 46116 = 0. Do m and -248 have the same value?
False
Suppose 4*l - 5*v = -45, -4*v + 67 = -5*l + 4. Let x(o) = o**2 + 9*o + 13. Let w be x(-10). Suppose -47 - w = 5*t. Which is smaller: l or t?
l
Let y = -25699.6 + 25699. Is y at most as big as -4/521?
True
Let m be 1773 + (7 - (-240)/(-15)). Which is greater: m or 1762?
m
Let g = 12.13736 - 0.13736. Which is greater: g or 32/3?
g
Let i = -14990 + 14145. Are i and -846 equal?
False
Suppose t - 13 = 3*q, 2*q - 3 = 3*t + 7*q. Suppose -6 = t*c - 14, 365 = -3*l + 4*c. Are l and -118 unequal?
True
Let n = 687 + -686. Let c = -756 - 479. Let r = 80277/65 + c. Are n and r equal?
False
Let c(z) = -z**2 - 42*z + 241. Let w be c(5). Is 0.0436 at most w?
True
Let c(v) = -v - 1. Let x be c(-1). Let i = 754/53 + -34207/2438. Which is bigger: i or x?
i
Let p = -4.74 - -3.59. Let v = p - -1.2. Which is smaller: v or -1?
-1
Let a(z) = z - 5. Let d be a(6). Let o be (33/(-132))/(2/8*149). Which is smaller: d or o?
o
Let b = -19/51 + 2/51. Let o = -120.3 + 113. Let z = o - -6.3. Is b less than z?
False
Let t = -0.08011 + 1.08011. Is -4869 <= t?
True
Suppose 0 = -13*q + 10*q + 12. Let t be q/((-24)/39) + 6. Suppose u - 4 = 5*u. Do t and u have the same value?
False
Let i be (-8 + 16 - -1)/((-11)/2222). Is i < -1819?
False
Let p(n) = n**3 - 16*n**2 + 38*n + 5. Suppose 0 = 2*c + 29*w - 33*w - 26, -2*w = 0. Let s be p(c). Which is greater: s or -14?
s
Suppose 5*r + 3*v + 8 = 3*r, 0 = 4*r - 2*v + 48. Suppose 2*a - 19 = -3*l, -3*l + 4*l = -a + 5. Suppose 3*u - 4*u = l. Which is smaller: r or u?
r
Let s = 428 - 387. Suppose -s*d = -3984 - 3929. Which is smaller: 194 or d?
d
Let v = -4566 - -6345. Do v and 1784 have different values?
True
Let o be 31 + 373072/280 - ((-2)/5)/(-1). Is o at least 1362?
True
Suppose -6*r - 30 = -21*r. Let w be r/(-6) + (-16 - -5). Is w greater than -12?
True
Suppose -3*j + 4221 = 3*v, -44 + 40 = 2*j. Is v less than 1410?
True
Let n be 2121650/(-94350) - (-4)/34. Let y = 48/37 - n. Which is smaller: 23 or y?
23
Let o = -174 - -197. Suppose -o = v - 6. Which is bigger: -118/7 or v?
-118/7
Let o be (-4)/2*(4 - 341/22). Let x = -152 - -178. Is o smaller than x?
True
Suppose 6 = 2*i - 24. Let d = 47/3 - i. Let n = -2544 - -2545. Which is bigger: n or d?
n
Suppose 4*z - 2*j - j = 204, j = -3*z + 140. Let q be (-60)/z*2/10. Suppose 0 = h - 3*v + 5, -8*h = -6*h + v - 4. Is h > q?
True
Let f = 5221 + -5220.9. Is -3436 at least as big as f?
False
Let f = -121.9 + 127. Let q = -1.54 + -4.36. Let t = q - f. Which is smaller: t or 3?
t
Let d(o) = -3*o**2 + 8*o + 10*o + o**2 - 5*o - 20 + 9*o. Let j be d(10). Let c = -87/5 + 967/55. Which is smaller: j or c?
j
Suppose -12 = -0*k - 3*k. Suppose -6*o = -7*o - 2*i - 3, 2*i = 3*o - 15. Suppose -5*z + 8 = -3*g, 0 = -o*g + g + k*z - 6. Which is bigger: g or 2/53?
2/53
Suppose 2*k = -4*g + 10, -3*g + 6*g = 15. Let p be (21/(-14) - (-22 - -21))/(2/22). Are p and k non-equal?
True
Let i = 79/63 + -3041/2394. Which is bigger: i or 0?
0
Suppose -4*m + 4*u - 16 = 0, -m - 28*u + 25*u = 4. Let a be (99/5)/((-215)/50 - m). Which is smaller: -67 or a?
-67
Let b(s) = 3*s + 3. Let v be b(-7). Let d be 4107/2394 - (-27)/v. Let n = d + 4/57. Which is bigger: 4/9 or n?
4/9
Let b = 1162.9539 + -1163. Which is greater: 1 or b?
1
Let y(c) = -64*c**3 - 22*c - 86. Let x be y(-4). Which is bigger: x or 4097?
x
Let l(x) = -2*x - 72. Suppose 2*u = -2*f + 49 + 9, -4*u = 5*f - 142. Let g be l(f). Let q = -121 - g. Are q and 5/3 nonequal?
True
Let o(t) = 6*t**2 - 475*t + 79. Let s be o(79). Which is smaller: 3/4843 or s?
s
Let k = -267296 + 267213. Suppose w - 6 = -2*d - 0*d, 4*w + 2*d = 0. Which is greater: k or w?
w
Let p be 2/(-9) + (-206)/(-765). Suppose x = -10 - 163. Let a = x - -173. Which is greater: p or a?
p
Let c(q) be the first derivative of -179*q**4/4 - q**2 - 2*q - 10. Let m be c(-1). Suppose 411 + m = 10*r. Is 59 at most as big as r?
True
Let u = -119040 - -118920. Suppose -m - 3*m - 476 = 0. Which is smaller: m or u?
u
Let h = 80 + -77. Suppose h*w + 4*o - 10 = -0*o, w + 2*o - 6 = 0. Which is bigger: -14/15 or w?
-14/15
Let o be 36/8 - 15/10. Suppose 0*r = l + 4*r + 18, -2*l = o*r + 11. Suppose -21 = -2*a + g + 11, -98 = -5*a - l*g. Is 20 <= a?
False
Let o = -0.0856 - 11.8144. Let u = -2.77 - 10.13. Let t = u - o. Is -21 greater than t?
False
Let f = -0.33 - 0.77. Let a = 3.902 + 25.098. Is f less than or equal to a?
True
Suppose -5*s + 6*s + 1045 = 0. Let v = s - -17790/17. Is v greater than 0?
True
Let u be (-44)/(-62) + 10 + -11. Let z = u - 30/217. Suppose 4 = -427*y + 431*y. Is y at least z?
True
Let t(u) = 2*u**3 + 159*u**2 + 80*u + 140. Let c be t(-79). Is c at least as big as 75?
False
Let j = 28008 - 13919974/497. Let m be 2/(-4) - 1/(-2). Which is greater: m or j?
j
Let p be (-2*(-2)/(-4))/(5/(-30)). Suppose -p*u + 20 - 26 = 0. Is 1/31 greater than u?
True
Let b(j) = -38*j + 118. Let k be b(-12). Let h = -549 + k. Suppose 5*l + 44 - 164 = 0. Are h and l non-equal?
True
Suppose f + 7170 = -7*q + 11*q, 2*q - 4*f = 3592. Let b be q/1584 - (2 + 48/(-27)). Suppose 2*h - 3*h + 1 = 0. Which is bigger: b or h?
h
Let o = 3.8 - -1.2. Let r be (-15 + 14)*(-10)/1. Let j be -20*r/(20/1). Is o bigger than j?
True
Suppose -5 = v, -5*f + 12*v + 57 = -3. Which is smaller: f or -1/15502?
-1/15502
Let b = -5.98 + 379.98. Let w = b - 369. Is -7 less than w?
True
Let w = 1.196 + -0.137. Let j = 0.941 + w. Let f = -1/37 - -83/333. Which is smaller: f or j?
f
Let z = 2247 - 2415. Is z at most -168?
True
Suppose 29*r - 14 = 15*r. Is r bigger than 3/37?
True
Let g be (-2)/((-6696)/(-36852)) - (-9 + -2). Let x be 2*2/4*-1. Is x <= g?
True
Let k(l) = -l**3 - 22*l**2 - 13*l + 165. Let b be k(-25). Which is greater: b or 2366?
2366
Let j = 20865.042 - 20886. Let a = j - -21. Let m = -43.042 + a. Is 1/2 >= m?
True
Let b = -37 - -37. Let p be (b - (-3)/5) + 7/5. Suppose p*z + 3*r - 14 = 0, 2*z - 7 = 5*r - 25. Is 1 >= z?
True
Let f = 3 + -4. Suppose 8*m = 831 - 879. Let x be (-63)/18 + (-24)/m. Which is smaller: x or f?
f
Let s = -781.9 + 978.9. Which is greater: s or -4?
s
Let d = -8050 + 4838049/601. Which is smaller: d or 1?
d
Suppose -4 = -461*r + 465*r. Which is bigger: r or 3/140?
3/140
Let g be (-7)/3*(-3 - -2)*3. Suppose -3*f - 4408 = -4*s, -4*s - 2*f = -f - 4424. Let r = s - 5489/5. Which is b