ler: -1/2 or m?
m
Let t(m) = m**2 - 12*m - 64. Let s be t(-4). Which is bigger: 3/103 or s?
3/103
Let r(a) = -a**2 + 9*a + 2. Let k be r(9). Suppose x + 5*n + 472 = -k*x, -4*n = 5*x + 804. Let j = x + 6066/37. Which is greater: -1 or j?
j
Let g(c) = -98*c - 1214. Let n be g(-10). Which is greater: -231 or n?
-231
Let a(o) = 269*o - 278*o - 11 + 11*o**2 + 3*o**3 - 4*o**3. Let l(g) = g**3 + 4*g**2 - 4*g - 6. Let p be l(-4). Let m be a(p). Is -1 <= m?
True
Suppose 4 - 2 = -2*r. Let g = r - -1. Which is bigger: g or -1/7?
g
Let z be ((-27)/27)/((-2)/46). Is z at most 26?
True
Suppose 0 = 4*g - 142 - 150. Let f be ((-6)/3)/((-3)/111). Is g greater than or equal to f?
False
Let j = -252 + 256. Which is greater: 0 or j?
j
Let k(a) = -2*a**2 - 9*a + 11. Let c be k(-5). Let y(b) = -b**2 + 10. Let f be y(c). Is f > -23?
False
Let c = -2.3 + -1.4. Let b = c - -4. Let k = 1 + 0. Are b and k unequal?
True
Suppose 4*x - 12 = -4*q, 1 = 2*q + x - 3. Suppose -q = -0*p - p. Let c = 16.7 + -1.7. Do p and c have the same value?
False
Let b = -593/9 - -6737/117. Let p = -41298129/91 + 453819. Let l = b - p. Which is greater: l or -2?
l
Let c = 0.0071 - -34.2929. Let d = c + -34. Is d > -1/4?
True
Suppose 11*p + 3942 = -43*p. Which is bigger: 1.8 or p?
1.8
Suppose -6*z = -z - 3*s + 32, 0 = z + 3*s + 10. Let r = -1051 + 1047. Is z at most as big as r?
True
Let r = -16 + -1. Let n = 17 + r. Which is smaller: n or -6/23?
-6/23
Let w(x) = -x**2 + 8*x - 4. Let j = -14 + 18. Let h be w(j). Suppose 2*m + h = 6. Is -2 != m?
True
Let k = -5 - -1.9. Let o = 11.9 - k. Which is smaller: 0.2 or o?
0.2
Let m = 10 - -8. Let x = m + -17. Let g be x/(-2) + (-63)/(-72). Is g bigger than -1?
True
Suppose 4 = -15*q + 19*q, 6 = 5*h + q. Is h greater than or equal to -4/43?
True
Let n = -106.9 + 105. Is n < -2/9?
True
Let k(l) = 660651*l. Let u be k(-2). Let c = u + 289365637/219. Let q = c + 4/73. Which is smaller: q or 2?
2
Let d = -14 + 14.06. Let m = d + 5.94. Is -3 less than m?
True
Let x(m) = m**2 + 6*m. Let a be x(-3). Suppose -16 + 0 = 2*d. Which is smaller: d or a?
a
Let z = -55 + 54. Let u(s) = s**3 + 2*s**2 + s. Let f be u(z). Which is bigger: -26 or f?
f
Suppose -5*l + 10 = 0, -4*k + 7*l - 4*l + 2 = 0. Let c be 4 - (2 - k/1). Let v be (-2)/(-7) - c/14. Which is smaller: 2/13 or v?
v
Let i(v) be the second derivative of 1/2*v**2 - 7*v + 1/6*v**3 + 0. Let o be i(-1). Is -1/15 < o?
True
Let c(t) = -t + 48. Let s be c(0). Suppose -4*p + p = -s. Let i = p - 17. Which is smaller: i or 3/14?
i
Let f = 13 + -12.1. Let b = 1 - f. Let v = -64.2 + 63.8. Is v at least b?
False
Let x be 4/42*-3 - (-28460)/140. Is 201 <= x?
True
Let u = -1550 - -1753. Is 0 at least as big as u?
False
Let z = -8 + 5. Let f = z + 3.06. Let v = f + 0.14. Is -1 >= v?
False
Let i(g) = g**3 - g + 4. Let t be i(0). Let s be (t/3)/(14/(-21)). Which is smaller: s or 1?
s
Let c(m) = -2*m**2 - 17*m - 15. Suppose -45 = -13*y - 149. Let f be c(y). Is f > -11?
True
Let d = -2101 + 2090.03. Let j = 11 + d. Let n = 0.1 + 0. Are n and j equal?
False
Let r be -1 + ((-649430115092)/(-19152))/(-11). Let s = 3082661 + r. Let l = s + 1/252. Which is smaller: l or 0?
0
Let s = 162 + -182.3. Let u = 20.031 + -0.031. Let g = s + u. Is g >= -0.1?
False
Let y(x) = -2*x**2 - 18*x - 50. Let i be y(-8). Which is smaller: -1 or i?
i
Let x = -654 + 621. Which is smaller: -25 or x?
x
Let d(b) = 5*b**2 + b - 1. Let u be d(-1). Let o be 1 - (3 - (0 + u)). Is 1/43 greater than or equal to o?
False
Let u be (2 - 0) + -1 + -4. Let y be 6 + u - (0 + 0). Let g be (2 - y)*0 + 10. Is g bigger than 10?
False
Let o = 75.56 - 0.56. Which is greater: 0.1 or o?
o
Let j = 0 - 0. Let t(q) = -4*q - 119. Let v be t(-30). Are j and v nonequal?
True
Let u = 5842 + -122714/21. Which is bigger: u or -2?
u
Suppose 31 = 4*t - 65. Are t and 30 unequal?
True
Suppose 0 = 22*l - 27*l. Which is bigger: l or 0.021?
0.021
Let p = -1/1774 - -4071/927802. Is p smaller than -1?
False
Let u = 303 + -365. Do u and -1 have the same value?
False
Let t = 6 - 6.3. Let n = t + 5.3. Let q = -13 - -10. Are n and q unequal?
True
Suppose 0 = 7*r - 36 - 272. Let x = -8 + r. Let w = x + -320/9. Which is smaller: w or 0?
0
Let t = 5 - 2. Suppose -4*d + 2*p - 1 = 9, 5 = 2*d + p. Suppose d = 4*b - 0*j + 2*j - 14, 5*j = -5. Which is smaller: t or b?
t
Let b = -763 + 763. Is -66.8 greater than or equal to b?
False
Let a be 6/9 - ((-20)/(-12))/(-5). Which is greater: -1/16 or a?
a
Let j = 2/647 - -3221/4529. Let v = 2 - 12/7. Which is bigger: v or j?
j
Suppose -637 = 3*g + 5*v, 0*g + 3*v + 639 = -3*g. Are 0 and g equal?
False
Suppose 389 = -4*f - 5043. Let t = -90983/67 - f. Is 0 > t?
False
Suppose 0 = 15*p - 25 - 5. Which is bigger: p or 9/7?
p
Let c be -4 - -3 - -1*1. Suppose 0 - 30 = -5*x. Let m = c - x. Is -6 equal to m?
True
Let q(t) = -2*t**2 - 4*t + 4. Let m be q(2). Is -12 != m?
False
Let v be 2*6/(-168)*-7*0. Suppose 110 = -4*x + 2*o, -3*x - 9 = 2*o + 56. Let j = -99/4 - x. Do j and v have different values?
True
Let k = -806 + 809. Are k and 214 equal?
False
Let j = -29 - -48. Suppose -36*h + 837 = 81. Is j smaller than h?
True
Let f be (20/(-12))/(1/3). Let x = -140 + 135. Is x greater than f?
False
Let o(d) = 3*d**3 - 24*d**2 + 11*d - 20. Let r be o(6). Which is greater: -176 or r?
r
Let o be (-33)/451*10/(-75). Which is smaller: o or 1?
o
Let j = -2 + 1. Let i = -0.048 - -2.048. Let p = i + j. Which is greater: p or -9?
p
Suppose -47 = 3*h + x - 216, 0 = 5*h + 4*x - 270. Let w = -63 + h. Is -5 less than w?
False
Suppose -5*y = 3*k - 302, -2*k - 166 = -7*y + 4*y. Let a be ((0/(-1))/3)/(-4). Suppose -3*p + 5*w + 42 = a, 7 = -4*p + 5*w + y. Which is smaller: p or 11?
p
Let f(y) = -y**3 + 16*y**2 - 14*y - 8. Let j be f(15). Suppose 6 - j = -d. Is d bigger than -1/25?
True
Let l = 568 + -21020/37. Let k(g) = -g**3 - 6*g**2 + 26*g + 132. Let i be k(-7). Is l >= i?
True
Suppose -3*l + 18 = x - 6*l, -4*x + 4 = 5*l. Suppose 0 = -9*f + x*f - 81. Which is greater: -28 or f?
f
Let t(h) = 4*h + 65. Let l be t(-18). Let b be 28 - 0/(-1 + 4). Let n be 1/(-4) + l/b. Which is smaller: n or -2/7?
n
Let r(a) = -a**3 + 5*a**2 - 2*a - 6. Let m be r(3). Let s be m + -9 - 381/(-129). Which is greater: s or 0?
0
Suppose 0 = -0*m + 2*m + 5*q - 71, -3*q - 30 = -m. Suppose 4*z + 19 = -m. Which is smaller: -61/5 or z?
z
Let y = 0.244 + -0.124. Which is bigger: 11 or y?
11
Let t = 18512/35 - 529. Let z = -1.871 + 0.871. Which is smaller: t or z?
z
Let g = 5997 + -101880/17. Let u = g + -6383/1581. Does 1 = u?
False
Let u = 127611/104 - 1227. Which is smaller: u or -1?
-1
Let a(x) = x**3 - 6*x**2 + 7*x - 6. Let y be a(5). Suppose -y*s + 8 = 0, -2*u = -4*s + 6 + 4. Is u > -3/23?
False
Let l(m) = -23*m + 17. Let s be l(8). Is -164 != s?
True
Let l be (-4)/((-16)/12) - 1. Let k(x) = -x**3 + 3*x**2 - x. Let g be k(l). Suppose -4 = g*r - 10. Which is bigger: r or 4?
4
Let k = -215 - -316. Is 99 not equal to k?
True
Let c(q) = q**2 - 33*q - 30. Let v be c(33). Is -268/9 >= v?
True
Let v be (1 - 16/14)*(-1 - 6). Let q be -4 + 12 - 2/1. Is q equal to v?
False
Let p = -39 - -39. Suppose 8*n - 4*n + 104 = p. Which is smaller: n or -25?
n
Suppose 4*n + c - 3 = 0, 4*n - 2*c + 11 = 17. Which is greater: n or 60/29?
60/29
Let u = -4852/391215 + 2/7113. Is u less than or equal to -1?
False
Let f be (-369)/2700 - (1 - 0)/4. Let z = f - -4/75. Is z > -20?
True
Let v = 24.54 - 24.6. Which is smaller: -35 or v?
-35
Let o be (0/(1 - -1))/(10 - 11). Let w = 83 + -1244/15. Is o at most as big as w?
True
Let y = -10 - -10. Let i(t) = 9 - 2 - t + 2*t + y. Let u be i(-6). Are u and 2/11 unequal?
True
Let d = 301/5 - 358/5. Which is smaller: -0.2 or d?
d
Suppose -8*d - 28 = -212. Is 21 equal to d?
False
Let h = 1108918/19565 + -1982/35. Let d be 9/(-129)*(-66)/9. Let f = d - h. Which is greater: f or 1?
1
Let f be (-46)/48 + (-9)/(-72). Let o be (0 + -2)*(-4 + -1). Suppose 5*c - 2*w + 15 = 0, -2 = -3*c + w - o. Which is greater: c or f?
f
Suppose -2*p - 430 = -3*i, 0 = 2*p + i + 92 + 346. Which is bigger: -217 or p?
-217
Suppose -13 = 5*t - 138. Let u = -1003 + 1008. Suppose 5 = -4*h + y, -u*y + 0*y = -t. Is 6/19 >= h?
True
Let k(v) = 41*v**2 - 2*v. Let n be k(-1). Let u be (-108)/21 - -5 - n/(-7). Is 7 less than u?
False
Let j