pose -5*o + 5*x + 20 = 0, 0 = -6*o - 2*x - 8 - 8. Which is smaller: g or o?
g
Let u = 0 - 2. Let i = 1212 - 3634/3. Are u and i equal?
False
Let o(n) = 2*n + 5. Let l be o(-4). Suppose 8*m - 12 = 36. Let j be m/(-3) + (-81)/36. Which is smaller: j or l?
j
Let z(n) = 2*n**2 + 18*n + 23. Let v be z(-11). Let r = v + -67. Is -2 > r?
False
Let p(i) = -i**3 + 3*i**2 - 3*i + 2. Let t be p(2). Suppose 5*b - 10*b - 175 = t. Is -35 at most b?
True
Let w = -416 - -418. Which is smaller: w or 21?
w
Let d = -2/801 + 5492/274743. Are 1 and d unequal?
True
Suppose 19 = 2*p - w + 2*w, 3*w + 9 = 0. Let n be (-2)/(2/p) - -1. Let t = 19 + n. Is 10 at most t?
False
Let g be 21/(-30)*-12*-5. Let p be (-1)/(-3) + g*(-10)/(-45). Which is greater: p or -17/2?
-17/2
Let z = 549.02 - 549. Is z > 39?
False
Let h(s) = s + 8. Let z be h(0). Suppose z*p = 4*p. Let k be 1 + -8 - p/5. Which is greater: k or -6?
-6
Let y be (21 + -19)/(1/(3/(-27))). Is -17.3 >= y?
False
Let i(j) = 4 + j - 2*j + 3*j. Let p be i(-4). Let r be 8/12 + -6 - 2/(-6). Which is greater: p or r?
p
Let o = 409/1895 + -6/379. Which is smaller: 295 or o?
o
Let s = -15/14 + 11/7. Which is greater: -101/5 or s?
s
Suppose -10 = 5*g - 0. Let s be 20/6*54/(-45). Let n(c) = -2*c**2 - 8*c - 2. Let w be n(s). Is g smaller than w?
False
Let y(b) = b**2 - 16*b - 7. Let v be y(16). Let f be (v + 8)/((-14)/4). Suppose -5*l = -7 + 2. Which is smaller: f or l?
f
Suppose 3*q + c - 16 = -1, 3*c - 15 = -3*q. Suppose -q*z = -z. Is 0 less than or equal to z?
True
Let d = -256 + 255.8. Are -2/15 and d non-equal?
True
Let s be (-14)/4 - -1 - (-505)/(-202). Which is bigger: -7 or s?
s
Let g be (-1 + 28)*18/54. Which is bigger: 11 or g?
11
Let x(s) = -s + 9. Let m be x(7). Suppose -22 = c + m. Which is smaller: -23 or c?
c
Let p = -6567 + 6594.89. Let n = 28 - p. Which is smaller: n or 3?
n
Let n(u) = 3*u + 68. Let v be n(2). Is 75 less than v?
False
Let a = -107 - 466. Is a > -573?
False
Let p be -1 - 0/(1 + -2). Let i = 0.0524 - -2.8476. Is i greater than p?
True
Suppose -6*q - 99 = -33. Is -23/2 less than or equal to q?
True
Let f be 3/(11/(220/(-30))). Suppose -5*j = 2*x + 30, 5*x - 7 + 28 = j. Which is smaller: f or x?
x
Let y = -16449/7297646 - 2/17293. Let g = y - -5497/4642. Are g and 0 non-equal?
True
Let r = -633.9 - -688. Let s = 54 - r. Are s and 88 equal?
False
Let a be 2/(28/33) - 0. Let s = -9970/3199 + -12/457. Let d = s - a. Which is smaller: -5 or d?
d
Suppose -5*x + 15 = 2*o + 24, 4*o - 18 = 2*x. Let l be ((-40)/(-300))/((-6)/(-100)). Is l less than or equal to o?
True
Let y(q) = 3*q**2 + 7 - 4*q + q**3 - q**2 + 5*q**2 + 11*q. Let g be y(-6). Let u = 283 + -3675/13. Are g and u non-equal?
True
Let x be (6/7)/(20/140). Suppose -x*o + o = 470. Is o >= -94?
True
Let q = -5/93 - 307/1209. Let h(t) = t**2 + 5*t - 10 - 6*t + 9*t. Let o be h(-9). Is o >= q?
False
Let p(x) = -x**2 + x + 1. Suppose o = -1 + 3. Suppose o*t - 8 = -2*t. Let n be p(t). Does 1 = n?
False
Let z = -8121/2 - -3985. Is -77 < z?
True
Let m(i) = 8*i + 281. Let f be m(-31). Do 34 and f have different values?
True
Let g = 10 + -7. Let b = g + 1. Let f = b - 5. Which is bigger: 3 or f?
3
Suppose b + 3*b + 3*i = -16, -i + 8 = -2*b. Let q be b - ((-2 - 0) + 4). Let k be -7 + 0 + 4 + -3. Is q at most k?
True
Let w be (-6)/(-8)*6/108*6. Is w at most as big as -7?
False
Suppose -3 = 4*v - 7. Let q = 10 + -11. Let x be (-18)/(-84)*(q - -1 - 2). Is v >= x?
True
Let y(j) = j**2 + 11*j + 13. Let w be y(-10). Let i be w + (1 - -2)*1. Let h be ((-4)/i)/(2/(-3)). Which is smaller: h or 1/3?
1/3
Let k = 1058 + -1044. Is 18 greater than k?
True
Suppose 5*t - 13 = d - 5, 5*d - 5*t = -80. Let y = -861 + 844. Is d less than or equal to y?
True
Let m = -209 + 102. Is m at most as big as -1/2?
True
Let c = 232 + -163. Let a = -64 + c. Is 4 smaller than a?
True
Suppose -y + 4 = -2*i + 12, 3*y - 16 = -4*i. Suppose -290 = 4*h - 2*q, 6*q - 2*q - 284 = i*h. Is h bigger than -74?
False
Suppose -124*u = -113*u + 22. Let m = 56/11 - 167/22. Is m < u?
True
Let f(t) = -14*t - 329. Let a be f(-25). Which is smaller: a or 9?
9
Let k be (-4 - (-12)/4)*(0 + 0). Is k smaller than -18/137?
False
Let i = -1412 + 1411. Which is smaller: -94/11 or i?
-94/11
Let t = 17.4 + -17.5. Is t != -24?
True
Let t(r) = r**3 + 14*r**2 + 12*r - 13. Let f be t(-13). Let d = 139 - 141. Which is greater: f or d?
f
Let j be (7 - (-636)/(-92))/17. Is -1 smaller than j?
True
Let y(t) = t**3 - 3*t**2 - 16*t + 11. Let r be y(-3). Is r greater than -5/6?
True
Let q = -18 - -19. Suppose 0 = -16*g + 15*g - q. Is -1 less than g?
False
Let n(v) = v**3 - v**2 + 60. Let q be n(0). Suppose -4*g - q = g. Is -2/3 != g?
True
Let r = 15 - 27. Let c = -7 - r. Let z = -1185 - -1189. Which is greater: z or c?
c
Suppose 593 + 709 = 42*t. Is t greater than 406/13?
False
Suppose -340*i + 369*i = 435. Is 26 >= i?
True
Let w = 61 + -87. Let h = -38 - w. Do h and -12 have different values?
False
Suppose 5*g - 14 + 4 = 0. Suppose g*j = -l + j + 9, -4*l + 3*j = -1. Let d = 0.1 - -0.2. Which is greater: l or d?
l
Let x = -8120 + 3174922/391. Is x at least 1?
False
Suppose -4*i + 125 - 5 = 0. Which is greater: i or 14?
i
Let h = 17.28 - 19.15. Which is bigger: h or -0.2?
-0.2
Suppose -t - 2*s + 0*s - 31 = 0, 0 = 3*t - 5*s + 38. Is t bigger than -18?
False
Let f = 0.0489 + -0.0489. Suppose 39 + 85 = -4*u. Are u and f equal?
False
Let w(j) = 2*j**3 - 29*j**2 - 13*j - 22. Let d be w(15). Which is greater: 13/2 or d?
d
Let w(n) = -n**3 + 5*n**2 + 3*n + 5. Let y be w(5). Suppose -m + y = 4*m. Suppose 4*g + m*c - 24 = 0, -2*g - 3*c + 29 = 2*g. Is 11 bigger than g?
False
Let r be (-8)/(-6)*(4 + 136/(-40)). Let k be 2 - ((2 - 3) + 1). Which is greater: k or r?
k
Let v be (-3 - -5)*(-2)/4. Let z be (4 - 9) + (2 - v). Let h be z + 85/14 + -4. Is h less than 0?
False
Let q = -18 - -19. Let d be ((-3)/(-5))/((-4)/110). Let j = -16 - d. Which is greater: q or j?
q
Let k(q) = q**3 + 2*q**2 + 3*q + 415. Let b be k(0). Is 415 less than b?
False
Suppose 134 + 13 = -7*c. Is c > -11?
False
Suppose 4*n + 4 = 0, 5*g = -0*g + 4*n + 19. Suppose -g*v + 2 = -4. Let z be 3 - 93/33 - 80/(-44). Is z greater than or equal to v?
True
Suppose -a - a - 54 = 0. Let c = -62 - a. Let z = -38 - c. Is z at most -1?
True
Let i(n) = n**3 - 3*n + 6. Let a be i(2). Is a != 62/9?
True
Let m = -130.6 - -96. Let q = 15 + -49. Let v = m - q. Which is bigger: v or -3?
v
Suppose -2*b + 360 = -59*k + 57*k, -b - 695 = 4*k. Is k not equal to -170?
True
Let d = 650 - 557. Which is smaller: d or 1/8?
1/8
Let z = 78 + -55. Suppose 5*p + 90 = 5*t, t - z + 5 = -3*p. Is 19 bigger than t?
True
Let n = 264 - 313. Which is smaller: -45 or n?
n
Suppose 6*a + 6 = -66. Let j = -89 - -76. Is a bigger than j?
True
Let w = 14146 - 155440/11. Which is bigger: 15 or w?
w
Let k = 1.81 + -1.7. Let g = 3.89 + k. Let d = 0.0044 + -0.0044. Which is bigger: d or g?
g
Let f(x) = x + 6. Let t be f(-11). Let s = -3 - t. Let w be (-5)/(-2) - 1/s. Is w bigger than 4?
False
Let t(l) = -l**2 - l + 11. Let z be t(-5). Let i = -9 - z. Let j be 2 + ((-134)/34 - (-8 - -6)). Is j bigger than i?
True
Suppose -n - 3*n - 28 = -2*d, n + 16 = -4*d. Let r be (-7 - n) + 6/(-10). Which is greater: 0 or r?
r
Let c = 0.2 - 0. Let k = -39 + 39.06. Let u = 3.06 - k. Is c less than u?
True
Let p = 61 - 66. Suppose 4*h + 12 = 4. Which is smaller: p or h?
p
Let p(k) = -k**3 - 4*k**2 + 3*k + 6. Let a be p(-5). Let y be (-6)/a - (-323)/136. Which is greater: y or 10/9?
y
Let n = 346/45 + -44/5. Are n and -1 unequal?
True
Let b(m) = -78*m**2 - 15*m + 6. Let d be b(-2). Is d less than or equal to -277?
False
Let p(v) = v**3 - 10*v**2 + 9*v + 1. Let f be p(9). Which is smaller: -3 or f?
-3
Let g = 703 + -715. Is g at least as big as -21?
True
Let w(h) = -h**3 + 4*h**2 + 13*h + 7. Let f be w(6). Suppose -f*a = -12*a - 292. Let g be 1 + a/(-100) + 2. Which is greater: -0.1 or g?
g
Let d = -19 + 20. Let n be 2/(-6) + 1 - d. Which is smaller: n or 11?
n
Suppose 368*j + 29 = 397*j. Which is smaller: j or 257?
j
Let s be (20/(-15))/2 - (-5016)/(-9). Is s > -558?
False
Let b be (-4)/3*(-21)/2. Let r(g) = 7*g**2 - 90. Let c be r(0). Let a be -26*(4/(-18) - c/(-324)). Which is smaller: b or a?
a
Suppose 49 = 2*p - k - 2*k, -116 = -3*p - 