*o - 2*a + r, -5 = -5*o + 5*a + 5. Let n be 0/(-3 + 20/o). Which is smaller: n or -15?
-15
Let y = -120 + 117.74. Let d = y + 3.26. Is d >= -1.98?
True
Let l be 1/(-2 - 1)*-2. Let g = -7.26 - -4.5. Let p = g - 1.54. Which is smaller: p or l?
p
Let s = 1.77 - -69.23. Let t = 19 + s. Let v = t - 90.3. Are v and -3 non-equal?
True
Let h(i) = -10*i**2 - i + 3. Let d be h(-1). Let a be (-6 - 0/d) + 88. Is a less than 83?
True
Suppose 6*m = 4*k + 2*m - 76, -73 = -4*k + 5*m. Suppose k*v + 16 = 18*v. Let l be v/30 - 39/45. Which is greater: l or -4/39?
-4/39
Suppose 0 = -13*t + 29 + 10. Suppose 5*i - 170 = -5*r, -i - i + 43 = -t*r. Is i greater than 28?
True
Let q = -42.8 + 40.92. Let j = q - -84.88. Which is smaller: j or -1?
-1
Let l = 1665 + -1002. Which is smaller: 664 or l?
l
Let k = 102 + -83. Suppose -k*h + 42 = -12*h. Is h <= 2/37?
False
Let a be 2*(1336/(-5))/((-208)/520). Is 1335 > a?
False
Suppose -191 + 255 = 8*v. Let n(s) = -3*s**2 + 16*s - 9. Let t be n(v). Is -73 smaller than t?
False
Suppose -9*j + 4*j = -4*v, -2*j + 4*v = 0. Is 2/6817 at least as big as j?
True
Let y = 309 + -719. Let o = y + 411.5. Is -1/2 at most o?
True
Let u = -52 - -85. Suppose y - 5*s - 11 = -0*s, 4*s = 3*y - u. Let w be (27/5)/((165/50)/y). Which is greater: 19 or w?
19
Let b = 48 - 46. Let n be -4 + ((-4716)/(-54))/(b/3). Is 126 smaller than n?
True
Let p(w) be the first derivative of -7*w**2/2 + 33*w - 1. Suppose 39*a - 326 = -53. Let x be p(a). Is x < -16?
False
Let s be (-275)/465 + (-4)/6 - -1. Is -1/7 greater than s?
True
Let j = -32 - -122. Let z be (-600)/j - (-1)/(-3). Is z > -9?
True
Let q = -12 - -38. Suppose 30*t + 80 = q*t. Let a be 49/(-14)*2 - 11. Which is bigger: a or t?
a
Let o be -6 - -6 - (2 + ((-85)/10 - 4)). Is 72 != o?
True
Suppose 10*b + 9 = 39. Suppose 5*t - 4*s + 2*s = -11, -4*s = b*t - 9. Which is smaller: t or 6/47?
t
Suppose -18*g - 8654 + 74248 + 41920 = 0. Is 5973 greater than g?
False
Let m(t) = -4*t**2 - 220*t - 908. Let x be m(-45). Is 898 >= x?
True
Let i be -4 - -3 - 18/(-14). Let u(g) = 2*g**3 - 85*g**2 + 47*g - 3. Let f be u(42). Which is bigger: i or f?
f
Suppose -4*v + j - 2 = 0, -5*v - 2*j = -0*j - 4. Suppose l - 34 = -4*m, v = -l - 4*l + 3*m + 262. Suppose l - 22 = z. Which is greater: z or 27?
z
Let z = 99076/5711893 - 24/1471. Which is bigger: 1 or z?
1
Let g be 85/45 - (-9)/81. Which is greater: -7 or g?
g
Let b(i) = 269*i + 4121. Let g be b(-32). Which is smaller: g or -4488?
-4488
Let i = -192 + 164. Let u be ((-136)/(-48) + -4)*30/i. Which is bigger: 0.15 or u?
u
Let a(p) = p**3 - 8*p**2 - 6*p - 1. Let v be a(9). Let n be (230/(-21))/(7 - (-156)/(-21)). Is v bigger than n?
True
Let p = -259 - -256. Let r(h) = h**3 - 19*h**2 + 20*h - 33. Let v be r(18). Which is greater: v or p?
v
Let j be (16 + 27353/(-68))/((-3)/8). Is j at most -2?
False
Let g = -4964 - -5388. Is g at most 423?
False
Let v be 76/(-3)*-12 + 5. Let f = 388 - v. Let p = 258 - 179. Is f equal to p?
True
Let g = -191 + 191. Suppose -o + 20 = 3*p, g = 10*p - 9*p + 5*o - 2. Which is smaller: 25 or p?
p
Let u be 146 + -4 + (-19 - 1). Suppose 2*x - 125 = x. Is u less than or equal to x?
True
Let r(o) = -o**2 - 5*o + 1. Let s be r(-6). Let v be s/(-3)*9/(-45). Which is bigger: 70 or v?
70
Let l = -337 + -22. Which is greater: l or -365?
l
Let t = -181516 + 4173851/23. Is t at least as big as -44?
False
Let l be (-12 - (12 + -12)) + 117. Which is greater: 102 or l?
l
Let x = -2.74 - 51.06. Let a = 53.819 + x. Which is greater: a or -2?
a
Suppose 4*j = j + 15. Suppose -2*n + 8 = 4*a, 0*n = -2*n - j*a + 7. Let w = -19031/9 + 2121. Is w at most as big as n?
False
Let y = 42.847 - 45.9. Let t = 0.053 + y. Let z = 193 - 193.1. Which is smaller: t or z?
t
Let f = -269/465 - 2/93. Suppose -9*b - 815 - 166 = 0. Let v = b - -109. Is v > f?
True
Let t = -18698 + 18698. Is -1/5908 bigger than t?
False
Suppose -3*f - 29 = -2*n, 4*f - 8 = -3*n + 78. Is n at least as big as 87?
False
Let p be ((-1)/(-3))/(6/(-18)). Let u be 11/(0 - p - 0). Let l(q) = -q**3 + 13*q**2 - 33*q - 43. Let i be l(6). Is u <= i?
True
Let p be (8 - (-312)/(-36)) + 4/6. Suppose p = -11*t + 9*t + 62. Which is greater: t or 125/4?
125/4
Let v be (2 - 8) + ((-1)/(-2))/(18/(-46836)). Is v > -1?
False
Let f = 14.65 - 15.2. Is f smaller than 5?
True
Let j be (70/30)/(32/(-18)). Suppose 3*y - y = 4*b, 2*b = 2*y. Which is bigger: y or j?
y
Let c(f) = 53*f**3 - 13*f**2 + 22*f + 12. Let k be c(3). Which is bigger: k or 1391?
k
Let t = 56 + -56.6. Let v = 0.48 + t. Let a = -0.5 + 0.7. Are a and v non-equal?
True
Let z = -490 + 549. Let r be (0 + 1 - -4) + 53. Is z less than r?
False
Suppose 0 = -3*v + 1 + 20, 2*x - 4*v = -78. Is x equal to -21?
False
Suppose 0 = 5*m + 4 + 1. Let v be ((-3)/(8700/16))/((-42)/245*-7). Are m and v nonequal?
True
Let u(z) = z**3 - 45*z**2 - 51*z + 222. Let a be u(46). Let m be (a/(-16))/(3/354). Is m < -2?
False
Let f be -7*(1304/7)/(-8). Does 170 = f?
False
Let c = 1984 + -1941. Is 0.26 less than or equal to c?
True
Let r = 5541/2 + -2770. Which is greater: 1/321 or r?
r
Let h = 300 - 297.14. Let f = -2.66 + h. Which is greater: f or -7/4?
f
Let f be -4 + 0 + -1 + 5/5. Let h(t) = -12*t - 43. Let s(y) = -8*y - 29. Let q(a) = 5*h(a) - 8*s(a). Let r be q(f). Which is smaller: 6/13 or r?
6/13
Let t be (7/1)/(-2 + 9/4). Suppose k - 10 = -k. Suppose k*m + 23 - t = 0. Which is greater: 4 or m?
4
Let c be 2*-35 - 5/20*-4. Which is smaller: c or -13?
c
Let f = -48.43 + 102.37. Let p = 54 - f. Is -0.8 at least as big as p?
False
Suppose 4*j + 21 + 0 = g, 55 = 2*g + 5*j. Is g > 23?
True
Suppose 2*j + 4548 = -11*c + 10*c, 2*c - 4554 = 2*j. Which is smaller: j or -2276?
-2276
Let s = -100 - -13. Let t be 92 + s - 14*1/1. Which is bigger: -7 or t?
-7
Let t(o) = -o**3 + 41. Let d be t(0). Suppose -24 + 0 = -8*w. Suppose r - 147 = -w*f - 22, 5*f = r + 195. Which is bigger: d or f?
d
Let i(u) = -4*u + 289. Let v be i(73). Which is smaller: 357 or v?
v
Suppose -2*h - o - 1050 = 0, -o - 3446 = 5*h - 815. Let p = 584 + h. Which is smaller: p or -6?
-6
Let q be -10 - ((-28985)/1463 + 10). Which is bigger: 0 or q?
0
Let u be 2*4/8 - 0. Let a be (-3 - u - 0) + (-8176)/(-3483). Let l = -70/43 - a. Are -1 and l unequal?
True
Let s = 16677249/77 - 216591. Which is smaller: s or -2?
s
Let n be 0 + -294 + -2 + -3. Let w = 320 + n. Which is bigger: w or 14?
w
Let a = -15 + 22. Let q(b) = -b + 5 - 9 - a + 0. Let l be q(7). Is l <= -19?
False
Let h(f) = 2*f + 44. Let o be h(-17). Let b be ((-1 - o) + 1)/((-78)/(-117)). Is b greater than -9?
False
Let g = 238 - 268.7. Let x = 26.7 + g. Which is smaller: -2/95 or x?
x
Let a = 20/3 + -1426/213. Suppose g = -h + 4, 3*g = 2*h + 4 + 13. Suppose -5*z - 2*r - 12 = -g, -9 = 4*z + 5*r. Is a not equal to z?
True
Let d(f) = f**2 - f - 4. Let g be d(4). Suppose 3*l + 5 - g = 0. Let j be (7 + l)/((-4)/(3 + -5)). Which is smaller: 1 or j?
1
Suppose 0 = -3*w + w + 1040. Let k(x) = 15*x + 272. Let f be k(-18). Suppose -10*u = -f*u + w. Is -64 at most u?
False
Let l be 2134/(-4914) + ((-5037)/2555 - (-24)/10). Let i be (5/10)/(2/4). Which is smaller: i or l?
l
Let v(u) = -u**3 - 8*u**2 - 11*u + 5. Let p be v(-6). Let r = -2/885 - 6163/14160. Is r at least as big as p?
True
Let n = -2355/574 + -15/82. Suppose -2*s = 3*f + 11, -3*s + 4*f = s + 12. Let d = s + -1. Is d at least as big as n?
False
Let m = 25106 + -24564. Which is greater: m or 537?
m
Let l = -22586 + 519475/23. Is -7/11 bigger than l?
False
Suppose -p - 75 = -5*m, 0 = -98*p + 95*p + 2*m - 212. Let i be 2/(-235)*p/154. Is 0 less than or equal to i?
True
Let v = 0.04362 + -0.04362. Let p = 373 + -372.9839. Is v greater than or equal to p?
False
Let i = 28.021 + -0.021. Let o = 27.9 - i. Suppose 3*f = -4*z + f - 62, -5*z + 5*f - 55 = 0. Which is greater: z or o?
o
Let r(o) = 2*o + 14. Let c = -36 + 29. Let w be r(c). Which is bigger: w or 2/193?
2/193
Let r be (-10 - 252/21) + 524. Which is smaller: 510 or r?
r
Suppose 10*j = -15*j + 7*j. Suppose z - 12 = 5*f - 2, z + 5*f + 10 = 0. Let h be z - (-1 - 108/(-100)). Is h greater than or equal to j?
False
Let b = -15 - 99. Let c = -112 - b. Do c and -0.09 have the same value?
False
Let h be 66/3 - (-23322)/(-104). Is h greater than or equal to -203?
True
Let n(x) =