ch is smaller: i or v?
v
Let u(c) = c**3 - 10*c**2 + 14*c + 17. Let a be u(8). Which is bigger: a or -1/3?
a
Let s = 40 + -18. Suppose 0 = k - 3*r + 185, 2*k + 368 + s = r. Let h = k + 1383/7. Which is greater: 2 or h?
2
Let c = -579 + 539. Is -3 greater than c?
True
Let c = -430 - -447. Let v(m) = m + 20. Let h be v(0). Which is greater: h or c?
h
Let g be -995 - 12*(6 - (-91)/(-14)). Are g and -991 nonequal?
True
Let v be 4/2 + 3/243*-164. Which is smaller: v or 0?
v
Let c = 0.181 - 0.081. Which is smaller: c or 2/29?
2/29
Suppose -3*o - 2*o = -20. Suppose 3*d = m - 15, o*m - 10 - 18 = 4*d. Let n be (-3 - 58/(-18))*m. Which is greater: -0.4 or n?
n
Let p = 3 + -3. Let n(d) = d - 24. Let l be n(15). Let s be (l/(-6))/((-2)/4). Which is bigger: p or s?
p
Let s = 74568 + -74601.073. Let q = 0.073 + s. Which is smaller: 0 or q?
q
Let x be -47*(0 + 1 + 0). Let h = 1465 + -1511. Is x < h?
True
Let y = 12 - 6. Let x be (2/(-34))/(-7 + y). Let i = 2 + -2. Is x greater than or equal to i?
True
Let n(f) = 2*f**3 - 76*f**2 + 50*f + 98. Let a be n(37). Is a less than or equal to -792?
False
Let l(n) = 7*n**3 - 3*n**2 + 2*n - 3. Let m be l(2). Let s = m + -91/2. Which is smaller: s or 1/9?
s
Let d = 2.76 + -3.06. Is d at least 0?
False
Let n(b) = 3*b**3 - 12*b**2 - 19*b + 20. Let k be n(6). Which is smaller: 109 or k?
109
Suppose 2 = 2*m - 4*m. Let g = 149977701/290 - 517165. Let l = 12/29 + g. Which is bigger: m or l?
l
Let m = -1024 + 15368/15. Let t = m - 86/105. Let g = 0 + -2. Does t = g?
False
Let y = -0.99 - 0.01. Let t = 155 + -153. Which is bigger: t or y?
t
Let q(d) = d**3 - 2*d**2 - 3*d + 4. Let h be q(4). Suppose -h = -5*u - 129. Is -21 < u?
False
Let n = 6 - 9. Suppose 117*c - 113*c = -200. Let x = -53 - c. Is n <= x?
True
Let d = -32095/84767 - 2/2923. Let y = d + -481/261. Which is greater: y or -1?
-1
Let y = -118 + 115. Let u be 2/(-1) + y + -10. Let m be 15/(1 + -1 - 1). Is m not equal to u?
False
Let v(c) = 3*c + 9. Let o be v(7). Which is bigger: o or 4?
o
Let i = 33265/132 + -252. Which is smaller: i or 0?
0
Let y(f) = -3*f - 4. Let s be y(-2). Let d = -4 - s. Suppose -3*z - 11 = 1. Is d less than z?
True
Let d = 0.2726 - 0.0326. Is d greater than or equal to 0.04?
True
Let z be ((-1)/(-2))/(-5*(-1)/1370). Let q = z - 157. Let o = 0.3 + -1.3. Is q != o?
True
Let i(v) = -2*v - 34. Let m be i(5). Which is smaller: 2/9 or m?
m
Let g = -39 + 15. Let o = 0.193 - -23.307. Let v = g + o. Is 3 smaller than v?
False
Let k = -0.11 + -16.89. Let t = k - -9. Is 2 greater than or equal to t?
True
Let p = 0.253 - 0.153. Which is smaller: 22 or p?
p
Let m(p) = 21*p - 29. Let g be m(-21). Which is greater: -468 or g?
-468
Suppose -4*d - 3*g = -319, -3*d + 0*d = -2*g - 218. Let s = d - 103. Which is bigger: -1 or s?
-1
Let n(s) be the third derivative of s**4/24 + 11*s**3/6 + 4*s**2. Let g be n(0). Let t = g - 1. Is t smaller than 11?
True
Let s = -18 - -18.14. Let n = s + 0.16. Which is smaller: n or 3?
n
Let u = 398 + -229. Which is bigger: -0.1 or u?
u
Let v(c) = -c**2 - 36*c + 8. Let o be v(-38). Is -67 bigger than o?
True
Let k be (-5 - (-6304)/(-3160)) + 7. Is k greater than 0?
True
Suppose 4*i - 2*x = x + 12, 2*i - 8 = 2*x. Suppose -2*q + 5*d - 8 = i, 4*q + 0*d + 2 = 3*d. Let y = -751/15 + 50. Which is greater: y or q?
q
Let k be (0/(16 - 14))/(0 - 2). Let a = -5.2 + 29.2. Let r = a + -14. Is k >= r?
False
Suppose -7*u - 4*u = 11. Let b be u - 161/45 - 16/72. Is -6 at least b?
False
Let g be 133/119 + (-34)/289. Which is smaller: 378 or g?
g
Let n = 6 - 4. Let h be (13/8)/((-6)/24)*n. Which is smaller: -12 or h?
h
Suppose 3*w - 5*a = 25, 2*w - a = -3*a - 10. Let p = -5 - w. Suppose -3*o = 2*o + 4*l + 10, -o + 9 = 3*l. Which is greater: o or p?
p
Suppose 4*v = 3*j + 17, 2*j - v + 0 + 3 = 0. Let q be 4/8 - (-5)/(-2). Let i be 54/30 - 0/q. Do j and i have different values?
True
Let x = 3/97 - -379/291. Which is greater: x or -1.6?
x
Let y be 5 - 534/(-18) - 5/(-15). Which is bigger: 38 or y?
38
Let u = 1748/7 - 250. Is 2.7 less than u?
False
Let c(r) = r**3 - 3*r**2 - 10*r - 7. Let h be c(5). Let z be (4 + -1 + h)/(-6). Is z less than or equal to 0?
False
Let c(i) = -23*i**2 - i - 3. Let q be -1 + 4 - (10 - 5). Let v be c(q). Is v at most -93?
True
Let d = -1166 + 1157. Let p be ((-33)/(-6))/(2/(-4)). Is d > p?
True
Let s be ((-6)/9)/((-8)/3540). Let z = 5021/17 - s. Which is greater: 1 or z?
1
Suppose 3*o + 61 = 2*g, -g + 2*o + 2*o + 18 = 0. Let s be 6/(-27) - g/(-9). Let w be s/6 - (0 - 0). Which is smaller: 2 or w?
w
Suppose 3*t = 15*t - 47*t. Which is bigger: t or 2/1081?
2/1081
Let o be (-15*(-265)/27)/(5/15). Which is bigger: o or 443?
443
Let s = -0.012 - -0.007. Let k = -0.105 - s. Which is bigger: 24 or k?
24
Let a = -301.8 + 302. Let v = 161.7 + -155. Let p = v + -0.7. Is a at least p?
False
Let t be (-7 - (-57)/8)/(60/5). Is 1 >= t?
True
Suppose -76*t + 71*t - 45 = 0. Is t <= -49?
False
Let j(a) = -a**2 - 14*a - 25. Let q be j(-15). Let o = q + 41. Which is bigger: o or 4/41?
o
Let j(x) = -x**2 + 3*x - 3. Let k be j(4). Let y be 3*(-1 + k/(-3)). Suppose -10*f + 17*f - 21 = 0. Which is smaller: f or y?
f
Let r = -1085 + 1109. Let k = -95.6 + 120. Let y = r - k. Does y = -2?
False
Let p = -35.14 - -4.04. Let c = -31 - p. Which is smaller: 4 or c?
c
Suppose -p - 4*p - 75 = 0. Let j = p - -13. Let d be ((-6)/12)/(j/(-24)). Is -6 <= d?
True
Let g = 26 + -2. Suppose 2*j - 33 = 5*d - 150, 19 = d + 4*j. Which is bigger: d or g?
g
Let o = 0.123 + 0.072. Let m = o - -0.035. Let g = m - -6.77. Is g at least 1/2?
True
Let l(o) = -o**3 + 11*o**2 - 12*o + 132. Let n be l(11). Which is greater: 31/28 or n?
31/28
Let b = 3 + 0. Let a be 3/(-5)*2/b. Suppose 3*f - 2 = -2*q, 93*q + 4 = 97*q - 4*f. Is a >= q?
False
Suppose 0 = -8*f - 203 + 195. Which is bigger: f or 5/17?
5/17
Let i be 1 - (1 + -7 + 3). Suppose i*q + 2*v - 50 = 0, q - 5*v = -10 - 5. Is 2 smaller than q?
True
Let f = -44.64 + 44.94. Let k = -0.2 + 0.2. Let v = -2 + k. Which is bigger: f or v?
f
Let d = 72.7 - 72.6. Is d less than or equal to 2/559?
False
Let m = -30 + 91. Suppose -173 = -4*y - m. Suppose 2*r + y = -2*r. Which is greater: r or -2?
-2
Suppose i = 2*w - 8, -1 = -4*w - 2*i + 7. Let p(a) = a**3 - 5*a**3 + 2 + 6*a - 5*a**2 + 3*a**w. Let z be p(-6). Is z at most as big as 2?
True
Let k(x) = 57*x - 277. Let a be k(5). Let b = -19 - -13. Does b = a?
False
Let v be 8/68*37 + -6. Is 1 bigger than v?
True
Let r be (1 - 2)/1 - 453/(-9). Let v = r - 53. Is v at most 1?
True
Suppose -703 = -61*a + 1432. Which is greater: 27 or a?
a
Let w(t) be the second derivative of -t**3/6 + 7*t**2 + 2*t. Let q be w(12). Suppose -q*s = 2*s. Is -1 less than s?
True
Suppose 5*z = -3*k + 2*z + 42, -5*z = 3*k - 50. Let j = -9 + k. Which is greater: j or 3?
3
Suppose 4*o + 16 = 2*o. Suppose -b = -0*b + 8. Let l = o - b. Is 1 smaller than l?
False
Let m = -15 - -16. Let f be m - 12/3 - 39. Let b be (3/(-2))/(f/(-8)). Is b < 0.2?
True
Let s = -8.6 - -4.6. Let b = s - -4.24. Which is greater: b or -0.2?
b
Let z be 68/187*1/(-4). Let s = z + 25/517. Which is greater: s or -0.1?
s
Let h(q) = -q**2 - 9*q + 5. Let z be h(0). Suppose 30 = z*s + s. Which is smaller: 9 or s?
s
Let u be 310/36 - (-1 + (-35)/(-14)). Let c = -68/9 + u. Suppose 4*v - 4 = -5*q, -q = 5*v - 4 - 1. Is q <= c?
False
Let g be 14/22*(-750)/(-175). Is 4 at least as big as g?
True
Suppose 5*y - 13 - 12 = 0. Let t = -12 + 14. Suppose -y = x - 3*a, -4*a + 3 = -3*x - t*x. Which is greater: -4/13 or x?
x
Let g(m) = -m**3 + 6*m**2 - 5*m + 5. Let i be g(5). Let u(d) = -2*d**3 + 9*d**2 + 9*d - 7. Let j be u(i). Is 6 greater than j?
False
Let x = -11 - -25. Suppose 0 = 5*u - 9 - 16. Suppose 2*i - 2*z = 36, z + 58 = u*i + 4*z. Is x greater than i?
False
Let p = 122 + -3295/27. Is p > -1/4?
True
Suppose -2 - 6 = -2*s. Suppose 3 = -s*g - 5*d, 3*d + 0 + 24 = 5*g. Let x(n) = -n**2 + 3*n + 1. Let v be x(g). Is 3 > v?
True
Let l = -92732/3 - -30456. Let w = -463 - l. Which is smaller: -7 or w?
w
Let d = -12 - -12.9. Let z = -2.2 + d. Let v = -1.2 - z. Which is smaller: v or 0.09?
0.09
Let u(j) = j - 7. Suppose 8*r - 3*r - 40 = 0. Let l be u(r). Suppose -s + l + 7 = 0. Is s bigger than 9?
False
Let b = -254 + 370. Let y = -115.9 + b. Are y and 36 nonequal?