ch is bigger: g or 131?
131
Let t(c) = 3*c**2 + 20*c + 16. Suppose 24 - 10 = -2*o. Let n be t(o). Which is smaller: 19 or n?
19
Let n(v) = 2*v - 22. Let w be n(13). Suppose s - 5 = -w. Let f be ((-5)/5 + 0)*9*s. Is -10 < f?
True
Let p be ((-2)/(-2))/(1/(-2280)). Let d be (-26)/(-8 - 84104/(-10528)*1). Let b = d + p. Which is greater: 0 or b?
b
Let q = 32/14529 - -34620527/944385. Let z = -181/5 + q. Let f = z - 11/52. Which is smaller: -16 or f?
-16
Let m be 3 - 12/(-4)*601*(-4)/60. Which is bigger: m or -117?
-117
Let w = 23 + -19. Suppose w*m = -m. Let b(h) = 2*h**3 + 10*h**2 + 7*h - 4. Let o be b(-4). Is o < m?
False
Let y be (-16)/10 - -1 - (3 - (-442)/(-120)). Which is smaller: 7/29 or y?
y
Let p = -24010 + 167775/7. Which is greater: p or 1?
1
Let d be (6 - -22)/(-4) + 11116/1575. Is d greater than -1?
True
Let n(h) = 145*h**2 - 96*h + 994. Let c be n(11). Is 17482 > c?
False
Let q = -804 + 818. Suppose -q*z + 111 = -15*z + 4*h, 4*z + 4*h + 424 = 0. Which is smaller: z or -108?
-108
Suppose -9 = -2*h + 1. Let m be 13/(39/(-30))*h. Which is greater: m or -47?
-47
Let h(a) = -2*a - 9. Let i = -32 - -35. Suppose -2*t = -i*t + 8. Let q be h(t). Is q smaller than -26?
False
Let l = -1948.088 - -1948. Let m = -272.512 - -271. Let h = l + m. Which is smaller: 1/4 or h?
h
Let l(f) = 44*f - 3 - 2*f**2 - 70*f + 35*f. Let g be l(4). Which is greater: 4/127 or g?
g
Let b be 0 - -3 - 576/196. Let u be ((-2)/(-12))/((-49)/(-294)). Is u at most as big as b?
False
Let o = -5994 - -5993. Which is greater: -4/303 or o?
-4/303
Let g be -8*338/(-8)*1. Let k = g + -408. Suppose 5*v + 347 = -3*w, 3*w - 4 = -v - 71. Is v <= k?
True
Let l(z) = 2*z - 14. Suppose -2*u + 21 = u. Let m be l(u). Let x be m/(-3*(-2)/(-3)). Which is smaller: x or -6/5?
-6/5
Let a be ((2/8)/(-1))/((-3)/(-24)). Let m be ((a - 0) + -4)*(-57)/(-969). Is -1 <= m?
True
Let k(m) = 37*m**3 - 4 - 3*m - 30*m**3 - 5*m**2 - 6*m**3. Suppose 5*b + 5*i = 35, -3*b + 0*i + 3*i = -9. Let n be k(b). Does n = -19?
True
Suppose 92 = -15*a + 13*a + 3*b, 2*a + 104 = -3*b. Which is bigger: a or -43?
-43
Let f be (0*5/15)/((-6)/(-3)). Suppose 2*k - 59 + 151 = f. Let x = k + 45. Which is bigger: -26 or x?
x
Let d(x) = -484*x**2 + 464*x + 15. Let l be d(3). Is l smaller than -2951?
False
Let h be (838/(-24))/(328/246). Is -26 greater than or equal to h?
True
Let q be (-8042)/(-21) + (-80)/840. Let c = q + -383. Let r = 6 - 5.4. Which is bigger: c or r?
r
Let l be (-180)/54*12/(-5). Suppose l*z = 5*z - m - 6, 4*m + 14 = -2*z. Is 2/1969 != z?
True
Let x = 1168367983/885 + -1320190. Let k = x + -2/177. Let v = -1.5138 + 0.9138. Which is smaller: k or v?
v
Let j be (-3)/(-4 + 7/(-1) + 120/10). Which is greater: j or -330/79?
j
Let f(o) = 5*o**2 - 256*o + 113. Let r be f(48). Which is smaller: -649 or r?
r
Let z = -7653/15298 + 2/7649. Suppose -4*b = -0*h - 2*h - 2, h - 4*b = 1. Let d = h + 3. Which is bigger: z or d?
d
Let f(w) = -w**2 - 10*w - 9. Let p be f(-8). Suppose 4*h + 3*a = p*a + 40, 0 = 4*h + 2*a - 28. Let s be (-2)/h*-4*(-4)/(-1). Which is smaller: 8 or s?
s
Let z = -99.4 + 99. Let m = 4.2 - z. Let g = 3.6 - m. Which is bigger: -11 or g?
g
Let s = -3 - -28. Let j be s/(-4)*(2 - 22). Let x = -126 + j. Is x equal to -2/85?
False
Let g = -0.15745 - -0.23745. Which is smaller: g or -15/127?
-15/127
Let x be (-12 - (-25597)/2132)*48/14. Let z = 1039/18942 + x. Is 0 equal to z?
False
Let m be (-2)/3 + 1 - (-88)/(-12). Suppose 3*l - x + 1 = 4*x, -3*l + 3*x - 3 = 0. Which is smaller: m or l?
m
Let z = -16.8082 + 35.7924. Let t = -0.0158 - z. Is t != 10?
True
Let g be ((-1452)/88)/(3 - 6/4). Suppose 3*r - 4*f = -42, 0*f = -4*r - 3*f - 31. Is g less than r?
True
Let q = -27 + 25.9. Let k = -1.1 - q. Let z = 2243 - 2164. Are k and z non-equal?
True
Let t be (-110)/44*8/5. Let j be ((5 - 3)/(-10))/((-6)/(-115)). Is j less than t?
False
Let q(d) = -44*d + 56. Let h be q(14). Let m = h - -544. Which is bigger: m or -10?
-10
Let g = 2162 + -2187. Is -0.015 at least as big as g?
True
Let a(s) = 8*s - 105. Let j be 3*(-4)/12*-13. Let v be a(j). Which is smaller: -13/12 or v?
-13/12
Suppose -20*p + 3*m = -23*p + 7593, -5*m = -p + 2483. Which is smaller: p or 2520?
2520
Let y = -16 + 16.13. Let l = 100.8 - 112. Let m = -13.2 - l. Which is bigger: y or m?
y
Let b be 13 + 18494/(-420) + 12/270*-3. Let w = -53 - -23. Is w equal to b?
False
Let v = 6994 - 7559. Is v smaller than -568?
False
Suppose 4*x - 6314 = -2*g + 6872, -g + 3294 = x. Suppose 5*o = 3329 - x. Let p be 1 - (-2)/4*11. Is o >= p?
False
Let k be (10 + -24)/7 - (-1336)/62. Let s = k + 4537/93. Is 67 >= s?
False
Let k be (28 + -522 + 24)/((-2)/73). Which is smaller: k or 17156?
k
Suppose 15*l = 12*l + 96. Suppose 20*i = 13*i + 224. Is i less than l?
False
Let c = -1329990/227 - -5859. Let i = 3 - 3. Is c at least as big as i?
True
Let i(a) = a**2 + 12 - 8*a + 5 - 16. Let k be i(7). Let s be -2 + -4 - 6/k. Which is bigger: s or -8?
s
Suppose 2*l + 45 = 5*l. Let i be ((-6)/4)/(l/(-10)). Let p = -3640 - -10927/3. Is i != p?
True
Let d = 9.568 - 9.6. Let x = d + 0.036. Let i = 0.196 + x. Which is smaller: -3 or i?
-3
Let n be 7*(-1)/(7/6). Let k(r) = -r**2 - 4*r + 11. Let s be k(n). Let j = 40/13 + -773/247. Which is smaller: s or j?
s
Let u be ((-16)/10 - (0 - 2))*-2. Let t = -1.1 - 4.7. Let l = t + 2.8. Which is greater: u or l?
u
Let z(n) = 2*n**2 + 2*n - 6. Let l be z(5). Let m = 2/119475 - -13022771/238950. Is l at least as big as m?
False
Let g = -2243 - -3407. Is g < 1164?
False
Let o = -7.71 + 316.71. Let g = o - 203. Let x = g - 106.1. Is -0.055 at most as big as x?
False
Let g = 1732 + -6925/4. Are g and -378 non-equal?
True
Let f(w) be the third derivative of -1/6*w**3 + 0*w + 1/6*w**4 + 18*w**2 + 1/20*w**5 + 0. Let n be f(-2). Are 3 and n nonequal?
False
Suppose -3*z = 3*v + 4905, -15*z = -14*z + 3*v + 1627. Is -1638 at most as big as z?
False
Suppose 0 = 94*j - 26*j + 12308. Which is bigger: j or -11?
-11
Let l be (-92)/10*(1 + 0 + 4). Let c = 18 + l. Let i be 0 + 6/14 + 5/c. Which is bigger: i or -3/7?
i
Let p = 8318 - 9178. Is p bigger than -862?
True
Let r = 3.13 + 321.87. Let t = r - 327. Does t = -1/3?
False
Suppose -17*l + 6*l = -110. Suppose 5*g - l = 10*g. Which is greater: g or 0?
0
Suppose 0 = y + 2*y + 3*g - 81, 3*g = -6. Let v be 1/(5 + (-146)/y). Is -28 at least as big as v?
True
Let z be (402/36)/67*(-6)/(-106). Is z > -1?
True
Let a = 875/12 - 15965/228. Which is greater: a or 0?
a
Let t = 385 - -96. Let j = t - 470. Are j and -2/7 nonequal?
True
Let r = -3090 - -3091. Which is greater: r or -10/281?
r
Let m(o) = -o**3 - o**2 + 6*o + 4. Let j be m(-4). Let w be j/49*2/40. Which is bigger: w or -5/3?
w
Let s = -180 - -123. Let v = 72 + s. Which is smaller: 16 or v?
v
Let a = -343 - -345. Let s be 704/(-32) + a*3. Let v = -47 + 30. Which is bigger: v or s?
s
Let i = 259 - 259. Suppose i = -4*o - 4*x + 624, 0 = 4*o - o - x - 488. Is o <= 160?
False
Let t be ((-47921)/3114)/((2/(-42))/(-1)). Is -322 != t?
True
Let o(b) = 26*b**2 + 13*b - 12. Let u be o(12). Let n = u + -8045/2. Which is bigger: -135 or n?
n
Suppose 0 = -5*s - f - 535, -535 = -s + 6*s + 9*f. Is 0 at least s?
True
Let k be (-318 - 3)*(-558)/1485. Let x = 554/5 - k. Is -10 smaller than x?
True
Let d(r) = -3*r**3 - r**2 + 3*r - 1. Let y be d(2). Let o = y - -35. Suppose 45 = -o*z + 9*z. Which is smaller: z or -14?
z
Suppose -5*c - 7 + 0 = 3*x, -26 = -x + 4*c. Suppose 0 = x*a + 4*a + 6*a. Which is bigger: a or -3/356?
a
Let h(u) = 2*u**2 + 11*u + 7. Let s be h(5). Let l = -233 + s. Are -120 and l unequal?
True
Let r be 21/7 + (-1 - -950). Which is smaller: r or 956?
r
Let n = 0.357 + 0.023. Let y = -1.92 + 2. Let g = n - y. Is -2 <= g?
True
Let c(h) be the third derivative of h**6/120 + 11*h**5/60 - h**4/12 + h**3/3 - h**2 - 58. Let o be c(-11). Is 27 greater than o?
True
Let u(y) = y**3 - 3*y**2 - 7*y + 4. Let d be u(5). Suppose -5*k + 19 = l, 4*l - d = 2*k - 3*k. Let c be l/(-8)*2 + -9. Is -10 bigger than c?
False
Suppose 0 = -h + 5, -4*u + 6*h = 3*h - 5. Suppose 2*r = -r - 2*o - 5, 2*r + u*o = -7. Let d be 3/(-12)*(-24)/(-75). Is d smaller than r?
False
Let y = 140/29349 + -20516542/6486129. Let j = y - -38/13. Which is smaller: 1 or j?
j
Let s(x) = x**2 - 2*x - 2. Let g be