: -92 or y?
y
Let j = -405 - -377. Let g be (1/2 + 1078/j)*-16. Is 608 not equal to g?
False
Let v = -6 + 6. Let u = -15.6 - -113.6. Let s = 98.09 - u. Which is smaller: s or v?
v
Let l = 207293938/3703 + -55980. Is -1 smaller than l?
True
Let f be (-3)/(10/((-25800)/(-36))). Is f <= -226?
False
Let p be (-2595)/(-107694) - 376/17484. Which is smaller: 0.11 or p?
p
Let p = 383300 + -383385. Let l = 27 + -112. Do p and l have the same value?
True
Let g = 51796.962 - 51729. Let v = g + -68. Is -0.1 at least as big as v?
False
Let r = -0.3 + 1.3. Let j = -19982.3 + 20903. Let f = j - 921. Is r at most as big as f?
False
Let o(v) = 272*v**3 + 2*v**2 + 12*v - 24. Let d be o(2). Which is smaller: 2183 or d?
2183
Let c be ((-32032)/2672 - -12)/282. Which is bigger: c or -1?
c
Let r = -0.0504 - 0.0222. Let z = -352.9274 + r. Which is greater: -1/2 or z?
-1/2
Let o = 3336.842 + -3337. Is 10 at least o?
True
Let l be (-5 + 2 - -1) + 3/(-1). Suppose 14*p - 15*p - 2 = 0. Which is bigger: l or p?
p
Let b be -576 - ((-5)/4 - 35/(-140)). Which is greater: -576 or b?
b
Let n = 201 - 214. Let c be n/((-78)/(-4))*(-6)/(-70). Let a(s) = s - 5. Let b be a(5). Is b smaller than c?
False
Let n = 343/2 - 175. Let f(b) = -5*b - 38. Let v be f(-7). Which is bigger: n or v?
v
Let l be 1/(-5) - 23/(-805)*7. Which is bigger: l or 2/14777?
2/14777
Let l = 24 - 33. Let c be 1/((l/(-4))/9). Suppose b = 4*n - 9, c*b - 2*b - 6 = -4*n. Which is greater: n or 3/4?
n
Let g = 5 + -2.1. Let f = 30.9 - g. Let t = f - 19. Which is smaller: t or -3?
-3
Let z = -0.05 + 0.29. Let y = -316 + 327. Suppose 3*r = -g - y + 3, 4*r = -4*g - 8. Which is smaller: g or z?
z
Let j = -33468 + 33458. Are 1386 and j nonequal?
True
Let a = -6.813 - -341.813. Which is smaller: -1/3 or a?
-1/3
Let o = -0.2059 + -0.7541. Does 35 = o?
False
Let j = -11139 + 9628. Do j and -1513 have different values?
True
Let w = 412 - 264. Let d = 147 - w. Is d equal to 1/4?
False
Let v(i) = 5*i + 25. Let p be v(-5). Let d be (-1 - p/3)/(8/48). Which is greater: d or -59/8?
d
Let f = 15723 - 17932. Which is smaller: -2214 or f?
-2214
Let u be 24 + 75/(-5) + 4/6*-12. Is -8319/7 less than u?
True
Suppose -7*d = -2*d - k - 24, 4*d = 3*k + 28. Suppose 0 = -5*h + 5*z + 115, 577*h - 3*z - 113 = 572*h. Let v be h + ((-2)/d)/(4/24). Is v at least as big as 19?
True
Let u(j) = -19*j - 82. Let m be u(-5). Let q(l) = -l + 16. Let r be q(11). Is m not equal to r?
True
Let y(s) = -2*s + 2. Let m be y(-1). Let r = -748 - -753. Suppose 4*g - g + 4*x + 9 = 0, -m = r*g + 3*x. Is g not equal to 4/21?
True
Let v = -123 + 125. Suppose -2 = -2*b + v*o, 3*o - 3 = -b + 2*o. Does b = 10/11?
False
Let b = -64 + 62. Let k be 12/8 - (7 + b - 2). Which is smaller: k or -1?
k
Let l = 1594599/14707 + -3578/33. Which is smaller: l or 0?
0
Let w = -716 + 568. Let y(m) = m**3 - 21*m**2 - 30*m + 27. Let g be y(22). Which is greater: g or w?
w
Let w be ((-198)/(-495))/((-26)/10 - (-1)/1). Which is smaller: w or 35/69?
w
Let q = -247 - -304. Is q not equal to 37?
True
Suppose 3*y - 853 = -5*p, 0 = -5*y + 3*y + 3*p + 537. Let z = 339 - y. Which is greater: z or 317/5?
317/5
Suppose -t = -4*c - 928 - 352, 0 = -4*t + 2*c + 5106. Let w be ((-2)/t)/(((-85)/60)/(-17)). Is w >= 0?
False
Let w = -0.083 - 4.217. Let y = w - 18.7. Let s = 22 + y. Do s and -1 have the same value?
True
Suppose -22*c - 24 - 21 = -7*c. Which is bigger: -81 or c?
c
Let h be -1*(-34)/6 + (-1)/(-3). Suppose 4*x - h = 8*j - 7*j, 5*x + 5*j + 5 = 0. Which is smaller: -1/20 or x?
-1/20
Suppose -3*o = -h - 368, -153 = 42*o - 43*o - 4*h. Which is greater: o or 19?
o
Suppose -46*c + 2*r = -43*c - 21119, 0 = 2*c + 4*r - 14106. Which is greater: 7042 or c?
c
Let g be (-52)/(3 - 7) - 8. Let m be (-4 + g)/(4/(948/(-27))). Which is greater: -10 or m?
m
Let j be 40/33 - (6318/(-429))/(-27). Is j at most as big as 7/1852?
False
Let t(d) = -2*d**3 + 72*d**2 - 86*d - 149. Let f be t(32). Which is greater: f or 5288?
f
Let j = 5 - -2. Let r be 5 - j - (0 - (-684)/(-15)). Is 45 greater than r?
True
Suppose -3*t = 5*m - 325, -14*t = -10*t - 4*m - 380. Suppose -710 = -6*d - 134. Let c = d + 4. Are c and t nonequal?
False
Suppose 0*r = 7*r - 728. Suppose -45*s = -37*s + r. Which is smaller: s or -18?
-18
Let a(l) = -2*l**3 - 10*l**2 - 17*l + 15. Let c be 2*(-2)/34 + (-4690)/595. Let j be a(c). Which is bigger: j or 536?
536
Let y = -208 + 208. Suppose -l - l + 56 = y. Is l less than or equal to 28?
True
Let o be 1/(-3) + 6/(-9). Which is smaller: o or 0.4599?
o
Suppose j + 6*j = 448. Suppose -4*n = -5*n + j. Is n < 64?
False
Let p(a) = -122*a + 7658. Let q be p(63). Let g(z) = z**2 - 18*z + 30. Let t be g(14). Is q greater than t?
False
Let m = -148/203 + -70/29. Let z(p) = -3*p**2 + 3*p + 2. Let a be z(-2). Let b be 13/(-4) - 4/a. Which is smaller: b or m?
m
Suppose 28*p + 92 = -160. Let s be 18/p*(-1)/(-5)*-5. Let g be (-4)/8*(-11)/7. Is g < s?
True
Let o = 335 + -335. Suppose -2*k - 122 = -2*p, k - 5*p + 61 = -o*k. Is k at least as big as -2?
False
Let y(u) = u - 7. Let h be y(9). Suppose -2*a = -3*p + 7*p - 104, 0 = -p + h*a + 36. Let j = -76 + 103. Are j and p non-equal?
True
Let s = 1555/15554 + 1/38885. Let o = -1.1 - -2. Let a = o - -0.1. Which is smaller: s or a?
s
Let i = 20321 + -20321. Is 1/16308 not equal to i?
True
Suppose -4*x = -15*p + 17*p + 33998, -5*x = 4*p + 42487. Is -8504 at most as big as x?
True
Let c = -9299 + 5983. Is -3317 greater than c?
False
Let s = -13 + -17. Suppose v = 2*y - 33, -8*y + 8 = -4*y. Is s bigger than v?
False
Suppose 0 = -81*l - 77*l + 105*l - 53. Let v = 428 - 1731/4. Are v and l non-equal?
True
Let y = 9192.2787 + 1.7213. Which is greater: -2/3 or y?
y
Let c = -8730 + 9090. Do 365 and c have the same value?
False
Suppose 2*t + 2*g + 8 = 8*t, -3*t - 4*g = -29. Is t at most as big as 328/79?
True
Let o(h) = h + 20. Let y be o(-16). Suppose -a - 1434 = -5*w - 82, 4*w + y*a - 1096 = 0. Which is greater: 272 or w?
272
Suppose -f + 37 = 2*q, -3*q = -5*f - 4*q + 149. Let m = -35 + f. Let a be ((-3)/m)/((-15)/(-18)). Are a and 1 unequal?
True
Let g be 84/(-252) + 4/3. Let q(f) = f**3 + 3*f**2 - 3*f + 2. Let r be q(-4). Let k = r - g. Which is smaller: k or -1?
k
Let r(c) = -34*c**2 + 73*c - 29. Let x be r(2). Let g(l) = -l**3 + 4*l**2 + 5*l + 1. Let u be g(5). Suppose 3*n + u = -56. Is x > n?
False
Let x = 367/2088 - 11/72. Let y = -682/609 - x. Let h = 65 + -67. Which is smaller: h or y?
h
Suppose -156 = -3*v + 4*h, -v + 5*h - 2*h + 52 = 0. Let m be (-156)/38 + v/13. Let d = 33/133 + m. Is 1 greater than d?
True
Let r = -17 - -6.6. Let f = 2.5 - r. Is 0 at most as big as f?
True
Let l = 785 + -761. Is 359 >= l?
True
Let g = 271 - 1008. Is -4 bigger than g?
True
Suppose 5*y = c + 269, -y - 5*c + 2 = -83. Which is bigger: y or 57?
57
Let a be (-2)/(-1*(-2)/(0 - 4)). Suppose -a*d - 2*y + 2 = -36, d - 3*y - 27 = 0. Let f be 18*1*(30/d)/5. Which is bigger: f or 13?
13
Let t = 252 + -255. Let f(n) = -3*n**2 - 4*n + 32. Let w be f(3). Which is bigger: w or t?
t
Suppose 0 = -98*z + 92*z + 96. Let q be 1/((-2)/50*580/z). Which is smaller: q or 0?
q
Suppose 3*z - 4 = z + 2*q, 0 = -2*z - 3*q + 19. Let m be z/(-25) + 438/(-10). Let h = 45 + m. Is 1/80 at most h?
True
Let w = 20.9 - 49.8. Let n = 65 - 36. Let s = w + n. Are -13 and s equal?
False
Let t = -98 + 91. Is -116/15 less than t?
True
Let k be ((-27)/(-5))/((-1062)/(-3540)). Which is greater: 394/21 or k?
394/21
Let r = 22072 - 22062. Suppose -5*z = -0*z + 4*g - 36, -3*z + 4 = -2*g. Suppose 4*t = -2*m + 2, -5*t = -4*m - 2*t + z. Does r = m?
False
Let a(w) = w**3 + 14*w**2 + 15*w - 13. Let l be a(-13). Let m be l/(-2)*34/51. Let p = 28 - m. Is p >= 14?
True
Let o = 1.5701 + -1.5701. Let f = 11897/3 + -3878. Let i = f + -87. Which is smaller: o or i?
o
Let f = 4124 + -1579495/383. Which is smaller: f or 1?
f
Let z(v) = -v**2 + 2*v + 1. Let m be z(-1). Let j(y) = 354*y + 9933. Let b be j(-28). Is m at least b?
False
Let i = 33.3 + -34.3. Let l = 152148/127 - 1198. Is l less than i?
False
Let m be 1 + (-49)/(-70) + (-3)/(-10). Let w = -183.794 - -184. Which is bigger: w or m?
m
Let u = -29912 - -29929.8. Which is greater: u or 22?
22
Let m be 15/(-25)*-1 - 13719/15. Let a = -950 - m. Does -36 = a?
True
Let h = 445 + -743. L