 b = 99.1 + x. Let o = 0.7 - -0.3. Do o and b have different values?
True
Let v(i) = i**3 + 10*i**2 - 2*i - 18. Let x be v(-10). Let s be 7/(-14) + x/4. Let n be (-310)/314 + (6 + 3)/9. Is n at least as big as s?
True
Let u = 71 + -69. Suppose -26*l + 2 = u. Which is greater: l or 19/13?
19/13
Suppose x - 1 - 3 = 0, -r = -x + 4. Let p = 157718/5 + -31544. Which is bigger: p or r?
r
Let j be (-2)/10 - 396/(-660). Let v be 3 + (-5)/((-3875)/(-2326)). Which is smaller: j or v?
v
Let n = 459.0239 - 0.0239. Let o = -620 + n. Are o and -0.1 non-equal?
True
Let p = 7459219/908 - 8215. Is p != -0.2?
True
Let b = -4/115 - 87/805. Let t(c) = -c**2 - 11*c - 11. Let a be t(-10). Is b greater than a?
True
Let p(v) = -2*v**3 - 4*v + 1. Let c be p(0). Which is greater: -10/799 or c?
c
Let r = 473747.0172 - 473875. Let w = r + -0.0172. Is -1/2 greater than w?
True
Let f = 2998 - 50532/17. Is 25 smaller than f?
True
Let w = 471 + -944. Let u = -473.1 - w. Is -91 at most as big as u?
True
Let d = -1205.3 + 1094. Let y = -111 - d. Let s = 2.5 + -2. Is y smaller than s?
True
Suppose -950*r + 954*r + 34 = 5*d, -5*d = 4*r - 66. Suppose -76 = -4*f - 240. Is r at least f?
True
Let x = -273009 + 1091939/4. Suppose -n = -4*w - 2*n - 101, 3*n - 72 = 3*w. Is w >= x?
False
Let v be 1230/369*18/(-235). Is v greater than or equal to -1/3?
True
Let r be (-50)/7190*(-2)/(-5). Let q = -1384/19413 + r. Which is smaller: 1 or q?
q
Let r be ((-280)/(-480))/(23354/11672 + -2). Let j = -680 + r. Which is smaller: -0.1 or j?
-0.1
Let p(c) = -c**3 - 32*c**2 - 67*c - 105. Let m be p(-30). Is 104 at least as big as m?
False
Suppose -335*x = -348*x + 26. Is x less than 29/20?
False
Let k(v) be the first derivative of 22 - 2/3*v**3 - 12*v + 11/2*v**2. Let y be k(6). Is -18 less than y?
False
Suppose 2*v - 2*u + 124 = 128, 3*u = -3*v - 12. Which is smaller: v or -20/99?
v
Suppose 3*o = 5*v - 26, 3 = 4*v - 13. Let j = 11/16 - 101/48. Does o = j?
False
Suppose -16*i = -18*i + 40. Let t = i + -15. Let p = -4 + t. Is p at most -1/8?
False
Suppose -2*u = -62 + 4. Suppose 5*n + u = 9. Suppose -2*a + 9 = -5*a. Which is bigger: n or a?
a
Suppose 0 = -2*v + 6*v - 12. Let l = v - 2. Let i = 11707 - 995093/85. Which is bigger: i or l?
l
Let q be (-6*(-112)/(-120))/(2*(-161)/920). Let j be (3/(-69))/(0 + -1). Let o = j - 28/115. Which is greater: o or q?
q
Let h be (-3186)/(-99) + 2/(-11). Let o be ((-16)/30)/(6/(-345)). Which is greater: h or o?
h
Let w = -49 + -6. Suppose p = -p - 112. Is p at most w?
True
Let b = 44.7922 - 0.0922. Let y = 44.83 - b. Which is smaller: 2.2 or y?
y
Let k = -253/1935 - 1/387. Are -3 and k unequal?
True
Let p(j) = j**3 - 22*j**2 - 3*j - 24. Let m(f) = -f**3 - 3*f**2 + 11*f - 18. Let y be m(-6). Let a be p(y). Let x = 34853/33 - a. Which is smaller: 2/7 or x?
x
Suppose 5*c + 1 + 31 = -11*c. Which is smaller: -28/27 or c?
c
Let m(f) = -19*f - 6. Let q be m(-4). Let o(p) = 48*p - 523. Let b be o(11). Let s(n) = n**3 + 4*n**2 - 32*n + 4. Let z be s(b). Is q at least z?
True
Let h = 114793/124801 + -3/3373. Is -0.04 < h?
True
Let n be ((-128)/(-42))/(5 + 6 + -21). Let a = n + 2/105. Are 68/19 and a nonequal?
True
Let s = -52567.077 + 52528. Let b = 0.077 + s. Which is smaller: b or 1/3?
b
Let s be 10/(-3 + (3 - 21)*(-5)/(-15)). Suppose 0*g - 2 = -2*g. Let k be 1/(g/1) - 1. Is s < k?
True
Suppose 173583 = 36*x - 170649. Is x not equal to 9564?
True
Suppose 0 = 49*g + 3564 - 16696. Is 263 at most as big as g?
True
Let r = 54 + -50. Suppose -4*z + j - 44 = -3*z, r*j = 2*z + 78. Are z and -2/7 unequal?
True
Let a(g) = -334*g**2 - 2*g + 6. Let k be a(2). Let l = -30674/23 - k. Let o = l - 39/46. Which is bigger: -51 or o?
o
Suppose -4*h - i = -h, 8 = -5*h + i. Let r be (9 + (-5032)/560)/((-2)/5). Is h not equal to r?
True
Let y = -0.032 - -2.032. Let d = y - -57. Let n = d + -61. Which is smaller: 0.4 or n?
n
Let b(w) = 2*w + 1. Let h be b(2). Suppose f = -2*t + 4, 0*t = h*f - t - 20. Suppose -f*y = -y + 2*x + 140, -4*y - x = 180. Is y greater than -45?
True
Let d = -0.2 - -0.22. Let b = -1.98 - d. Let s(w) = -w**3 + 13*w**2 + 71*w - 923. Let k be s(13). Which is smaller: k or b?
b
Let o be -17 + (-1008)/(-60) - 82/(-10). Which is smaller: 17 or o?
o
Let i = -0.431 + 2.171. Let f = -0.173 - 0.127. Which is bigger: i or f?
i
Let y = -50.74 - -51. Let f = y + 12.04. Let a = f - 12.4. Which is bigger: a or 2/67?
2/67
Let b = 0.068 + -0.344. Let n = b - 0.124. Is -17 at least as big as n?
False
Let b = -8/4121 + -1248607/28847. Let v be ((-140)/(-8))/(60/(-144)). Is v bigger than b?
True
Let z be ((-3)/6*10)/(-1). Suppose -14 - 287 = -z*b - 4*k, -5*k - 66 = -b. Suppose 0 = 4*n - 17 + b. Are -6 and n nonequal?
True
Let r(k) = 618*k - 4327. Let c be r(7). Which is smaller: c or 11/1569?
c
Suppose 5*d = 0, 2*m - d = -m + 6. Let a = -1775 - -1784. Suppose 7*j = a*j - m. Which is greater: j or 4?
4
Let k be (-8)/(-12) - (-1)/((-12)/488). Let d be (-16)/k - 594/1335. Which is smaller: d or 1?
d
Let b = 1937 - 2274. Is -337 equal to b?
True
Let a = -17218/123 + 140. Let l = -311207 + 76556803/246. Let m = l - a. Which is smaller: 2/3 or m?
m
Let d = -1793.35 + 1795. Which is bigger: d or -2/23?
d
Suppose -27*s - 401 = -509. Let k be (6/(-4))/(1/(-6)). Which is smaller: s or k?
s
Let v(j) = -2*j - 20. Let y be v(8). Let k be (-9)/y - (2 - (-21)/4). Let c = 26/35 - 8/7. Which is smaller: k or c?
k
Suppose 0 = 20*d - 17257 + 4017. Which is smaller: d or 672?
d
Suppose 102*b + 106106 = 284*b. Is 576 at least b?
False
Suppose t + 48*t - 11*t - 321404 = 0. Is t at most as big as 8459?
True
Let u(o) = 2*o**2 - 146*o - 1475. Let p be u(66). Which is smaller: -2400 or p?
-2400
Suppose -2*x - 19 = -l, -5*l + 2*l - 5*x = -2. Let v(n) = 2*n**3 - 20*n**2 + 19*n + 3. Let o be v(l). Let d be 414/12*(-1)/(-3). Is o greater than d?
True
Let i(r) = r**3 + 38*r**2 + 15*r - 1324. Let a be i(-36). Is 724 less than a?
True
Let z(p) = 72*p + 1172. Let c be z(-16). Which is smaller: 19 or c?
19
Let q = 5.9 + -5.49. Let d = -2.11 + q. Let a = d - -1.78. Is 4 != a?
True
Suppose -3*u + 4*b + 23 = 0, -3*b - 21 + 5 = -2*u. Suppose 6*v - 5*v = u. Suppose 0 = v*s + 12 - 72. Is s bigger than 10?
True
Let p be (-46)/14 - 26/(-91). Let i be (-2)/1 + 105 + 9/p. Which is bigger: i or 99?
i
Let c = 183 - 183.011. Let p = c - 2.189. Let t = -0.5 - -0.6. Which is smaller: t or p?
p
Let s = -2050 + 2057. Which is smaller: s or 4?
4
Let w = -351 + 428. Suppose -2*k - w = -79. Is k at most as big as 17?
True
Let a(g) = -g - 4. Let l(t) = 41*t + 257. Let d(y) = 3*a(y) + l(y). Let k be d(-6). Is 16 bigger than k?
False
Let a = -17 - -33/2. Let d = 221 + -233. Let h be -3 + -1 + (-162)/d + -1. Which is bigger: h or a?
h
Let j(x) = x + 3. Let n be j(0). Suppose -n*g = -0*g + 9. Let z = 110 + -114. Is g < z?
False
Let v be (-3)/14*(-3)/10*(-805)/(-345). Which is greater: v or -268?
v
Let d(x) = -3*x + 1. Let i be d(1). Let g be 72/336 - (-3)/i. Is g < -2?
False
Let l be (-734)/1096 - 378/(-504). Is -1 greater than or equal to l?
False
Let a = -84 + 81. Let f be ((-2)/6)/(1/15). Let k be 14/(-21) + f/a. Is k != 1?
False
Let c be (-7)/((-42)/282) + 6. Which is smaller: 42 or c?
42
Let b = 2 + -1.8. Let c be (-80)/7 - (1/(-4))/(19/456). Is b > c?
True
Let o = 460 - 677. Suppose 34*r = -s - 1965 - 5341, -5*s = r + 195. Which is smaller: o or r?
o
Let l = 42 - 63.5. Let j = 21.5 + l. Let q = 8 - 8.024. Which is bigger: q or j?
j
Let s be (24/(-30))/((-38)/30). Suppose 20*k = -4876 + 4796. Is s at least k?
True
Let h be ((8 - (2 - -2)) + -19)*(15 - 4). Is -216 != h?
True
Suppose -1194 - 662 = -928*j. Suppose -5*l + 4*t + 458 = 0, -6*l + 4*l = -2*t - 184. Let g be 196/l + (-2)/5. Which is bigger: j or g?
j
Let a = 49.35 + -50.55. Is 47 bigger than a?
True
Let q = 2052 - 2061. Which is smaller: q or -114/13?
q
Let w(r) = 2251*r + 5218. Let y be w(-6). Is y smaller than -8290?
False
Suppose 33*y = 29*y + 180. Suppose 0*d + 7290 = y*d. Are d and 163 unequal?
True
Let h = 24109 + -18510. Which is greater: h or 5596?
h
Let m = 1.695 - -1.715. Is 0.2 bigger than m?
False
Let o be -1 + 2 - (-7 - 228/(-28)). Let r = 5 - -4. Let j be (-2)/11 - r/11. Which is bigger: o or j?
o
Let b be 12*(19/1330*-3787)/((-2)/(-15)). Is b less than or equal to -4