et m(t) = -t**3 - 3*t**2 + 5*t - 2. Let l be m(2). Suppose 10*g + 21 = -89. Is g less than l?
False
Let t(i) = -i**3 - 4*i**2 - 3*i - 3. Suppose -6*v = x - v - 27, 3*x - 99 = 3*v. Let l = x + -34. Let j be t(l). Is -2/9 smaller than j?
False
Suppose 2*j + 42 = 2*d, -3*j - j - 8 = 0. Suppose -d*k + 4*k = 585. Is k > -39?
False
Suppose -o = 4, 4*i + o + 2*o = -20. Let l be (-3)/(-26)*((-56)/6)/7. Which is smaller: i or l?
i
Let i be (9/(54/68))/(3/(-9)). Let h = -35 - i. Let r = -142/35 + 21/5. Which is greater: h or r?
r
Let l be (-23)/1*6/(-2). Let z be (-18)/15*((-18)/72)/((-3)/(-680)). Which is smaller: l or z?
z
Let m be (-2)/9 + 2/9. Let l(a) = 75*a - 1. Let o be l(-2). Let x = -2863/19 - o. Is m > x?
False
Let n = -70 + 70. Suppose m - h - 5 = n, -4*m - 10*h + 7*h = -48. Which is greater: 0 or m?
m
Suppose -5*w - 4*h + 10 + 0 = 0, 2*h + 10 = 5*w. Suppose -62 = -4*x + w. Does 17 = x?
False
Suppose 12*f - 5 = -17. Is f >= -1/226?
False
Let c be (-15 - (-21 + 8))/(4/(-1810)). Is c < 905?
False
Let v(z) = z**3 + 14*z**2 + 13*z - 11. Let h be v(-13). Let b = -22 - h. Which is smaller: b or -12?
-12
Suppose -13 = -6*b + 23. Let f be ((-7)/(-525))/(2/b). Which is smaller: f or 1?
f
Let w be (2 + 1 + -2)*-3. Suppose -z = 3, -2*h - 24 = z - 9. Let p be (6/9)/(h/9). Do w and p have different values?
True
Let y = 0.037 - -24.963. Let f = y - 24.9. Which is bigger: f or 11?
11
Let w be 26 - 31 - -3*2. Which is bigger: -1/187 or w?
w
Let l = 0.14 + -1.14. Let h = 1.8 + -2.7. Let q = h - l. Is q != -1.2?
True
Let n = 134 + -139. Are -40/11 and n non-equal?
True
Let i be -7 + 10 + -6 - (-732)/15. Which is bigger: 45 or i?
i
Suppose 3*b = -2*n - 255, 0 = -14*n + 13*n - 2*b - 127. Is -132 smaller than n?
True
Let z = 2120 - 2118.663. Let v = z + 0.063. Let s be ((-2)/3)/(10/6). Which is smaller: v or s?
s
Let g(m) = -m**3 + 9*m + 4. Let q be g(-4). Which is bigger: 0.4 or q?
q
Suppose 128*b - 88 = 127*b. Do 78 and b have the same value?
False
Let i(d) = d**3 + 5*d**2 - 5*d + 7. Let f be i(-6). Let v be (-4*f/(-1))/2. Let r be (-3 + v - -2)/(-1). Is -2 bigger than r?
False
Let t = -643/852 + 1/213. Let l = -0.009 - -13.009. Which is bigger: t or l?
l
Let p = 189.1 - 170. Let a = 20 - p. Let v = a - 0.8. Are 0 and v unequal?
True
Let c = -599.76 - -628. Let o = -28 + c. Let f = o + -0.64. Is 1/4 at least f?
True
Let l = 149/63 - 20/9. Let x = l + -9/14. Is x at least as big as 57?
False
Let x = 906 - 906.539. Are x and 1 non-equal?
True
Let v = 28648 + -200870/7. Which is smaller: v or -47?
v
Let r(w) = -w**2 - 18*w + 31. Let d(x) = -x - 1. Let y(p) = 4*d(p) + r(p). Let k be y(-23). Do k and 8 have the same value?
False
Let q = -2 - -3. Let h = 270 + -241.6. Let m = -28 + h. Is m less than q?
True
Let q = -20 - -12.5. Let f = -9 - q. Is f != -0.2?
True
Suppose 3 = -2*i + 1. Let r(p) = -4*p + 40. Let k be r(9). Let j be 1/4 + (k - 2883/684). Which is smaller: i or j?
i
Let l be 95/2*32/40. Suppose 7*s = 5*s + l. Is s >= 19?
True
Let j(b) = -b**3 + 9*b**2 - 7*b + 2. Let a be j(8). Suppose 2*f + 13 = i, 0 = -i - 3*f + 11 - 3. Are i and a non-equal?
True
Suppose 3*w = -4*n - 16, -4*w - 4*n = -0*n + 16. Is 8/93 less than or equal to w?
False
Let k = 257/3 - 86. Which is greater: -0.15 or k?
-0.15
Suppose -4*v + 7 - 19 = 0. Suppose -2*g - 30 - 6 = 0. Let p = -20 - g. Which is smaller: v or p?
v
Let a = 0.1237 + -0.0237. Are a and 1/9 unequal?
True
Let i = 46 - 2. Let y = i + -43. Is 2/23 >= y?
False
Suppose -z = 3*z + 20. Let w(u) = -u**2 - 3*u + 4. Let i be w(z). Let c(x) = 4*x + 14. Let t be c(i). Which is bigger: -2 or t?
-2
Let b = 28 - 30.4. Let t = b - -2.55. Let n = t + -0.18. Is 2/3 equal to n?
False
Suppose 4*c - 2 = 2*s + 6*c, -8 = 2*s - c. Let n = -33/2 - -15. Which is bigger: n or s?
n
Let b = -24.28 + 24.34. Does -64 = b?
False
Let k = 26 - -8. Let s = k + -33.3. Which is smaller: s or 1/6?
1/6
Let t = 9 + -9.2. Let h = 237 + -240. Which is smaller: h or t?
h
Suppose 13 = -2*r + b, 0 = -5*r + b - 19 - 21. Let v be r/(-15) + 117/(-20). Let d be 3/(-9) + 14/(-3). Which is smaller: v or d?
v
Let g = -69.3 + 63. Let w = 0.3 + g. Is -1/2 less than w?
False
Suppose -2*i + 5*x - 12 = 0, x + 1 = 3. Let g be (-21)/189 - i/9. Is g != -12/31?
True
Suppose 3*b = -3*i - 84, -48 = 4*b - i + 54. Let f be 55/470*b - -3. Is f greater than 1?
False
Let c(u) = -u**2 + 3*u. Let n be (5 + -2 - 8) + 8. Let a be c(n). Which is bigger: a or -4/27?
a
Let z = 34 - -32. Suppose -15*u + 6 = z. Is u not equal to -54/13?
True
Let r = -19/108 + -2/27. Let j = 0.277 - 3.277. Which is smaller: r or j?
j
Let l = -2 - -6. Suppose l*t + 8 = 3*y + 2*t, y = 4*t - 4. Let f be (-30)/y*18/27. Is -6 at most f?
True
Let b = -37 - -112/3. Let w = -55 + 62. Suppose -4*t - 65 = w. Which is bigger: b or t?
b
Let m be 2/14 + (-16)/14. Which is bigger: m or 1/197?
1/197
Suppose 14*w = -0*a - 5*a - 291, 0 = -5*w - 4*a - 115. Suppose -2*g - 16 = 20. Is g greater than w?
True
Let o be 2/((4/(-618))/((-14)/(-42))). Is o bigger than -100?
False
Let x = 0 - 0. Let n be 24/(-22)*(5 + (-430)/80). Which is greater: n or x?
n
Let u(j) = 52*j + 6. Let l be u(-1). Are -39 and l nonequal?
True
Suppose 0 = -3*g - 2*d + 10, -4*g + 0*d = -4*d. Suppose z + 59 = 4*n, -4*n - 2*z + 54 = -4*z. Suppose -13*w + n = -9*w. Is w greater than g?
True
Suppose 0 = 2*b - 3*x + 235, 5*b - 118*x + 640 = -121*x. Is b > -377/3?
True
Let x = -0.04 + 0.08. Let d = x + -1.04. Let m = -264.6 - -265. Is d smaller than m?
True
Let u = -80.848 + 81. Which is smaller: u or 0.1?
0.1
Let d = -4.4 - 1.6. Let n = d + -14. Let c = n + 23. Are 2/7 and c non-equal?
True
Suppose -69*i + 27*i = 19026. Is i equal to -453?
True
Let h = 1068/5 + -52272/245. Which is smaller: h or -1?
-1
Suppose -28*g = 41*g - 8487. Which is smaller: g or -2/9?
-2/9
Let s be ((-42)/1071*-17)/((-4)/(-6)). Let i = 111/8 + -14. Which is greater: s or i?
s
Suppose -3*y + 4*m - 26 = 0, -35 = -5*m - 10. Let j be y + 3/(-12)*-4. Let u be (-2)/6 + 7/15. Is j bigger than u?
False
Suppose 2*o - 3 - 1 = 0, 0 = -4*r - 5*o + 142. Let f = r + -46. Suppose 3*v + 0*v - 48 = 3*n, -2*v = 3*n + 33. Is n greater than or equal to f?
True
Suppose 100*u - 96*u - 16 = 4*j, u - 5 = 2*j. Is j at most 1/222?
True
Let u = 10 - 9.51. Let y = 3 + -2.91. Let s = u - y. Is 2 greater than s?
True
Let n = 7.69 - 7.47. Are 0.2 and n nonequal?
True
Suppose 3*u + 79 = -2*n - 2*n, 3*u - 1 = n. Let s be -2*(n/12)/(-4). Which is smaller: s or -16?
-16
Let x(g) = -g**2 + 6*g - 7. Let q be x(4). Let u = 23666/69 - 343. Is u < q?
True
Let u = -0.088 + 1.088. Is 7 less than or equal to u?
False
Let n = -24/31 + 99/248. Let k be (-33)/(-63)*3 - (2 + -1). Is k <= n?
False
Let x = -167/15 - -9/5. Let l = 382/39 + x. Which is greater: l or 1?
1
Let f(r) = -r + 110. Let u be f(-18). Which is smaller: u or 130?
u
Let v be ((-11352)/(-99))/((-4)/6). Which is bigger: v or -173?
v
Let v = 1/724 + -7985/15204. Let j = v + 4/21. Let u = -12.4 + 17.4. Which is smaller: u or j?
j
Suppose 18*o + 7 = 16*o + 5. Let a be 216/(-658) - (-4)/14. Which is smaller: a or o?
o
Let m = -5 - -9. Suppose 0*t + m*t + 7 = -3*i, 3*i = -2*t - 5. Let h be 6/(-12) + i/2. Is h greater than 0?
False
Let o = -21 - -23.8. Which is smaller: 0.2 or o?
0.2
Let d(y) = 48*y - 575. Let c be d(12). Which is bigger: -4/519 or c?
c
Let j be 1*(5/2 + -2). Let w(g) = -14*g - 62. Let x be w(-5). Which is smaller: j or x?
j
Let d(w) = 3*w**2 - w - 1. Let g be d(1). Let t = 1/14 + -165/1918. Is t >= g?
False
Let a be (0 + 356/80)*-1. Let l = -21/5 - a. Are 1 and l unequal?
True
Let c be (2 - (-1)/(-1))*12. Suppose -8*i + 4*i = -c. Suppose 3*g + 2*g = -3*p + 37, 41 = 4*p + 5*g. Which is smaller: i or p?
i
Let z = 5 + 6. Suppose 7*q = z*q + 4. Which is smaller: -4 or q?
-4
Let n = 258 + -312. Do -55 and n have the same value?
False
Let f = 1.91 - 2. Let w = -0.367 + 0.367. Are f and w equal?
False
Let h be -1 - (1 - (-4 + 3)). Let s be (-1)/h + 0/2. Let x be (3 - (3 - (-4)/(-8)))*2. Which is bigger: s or x?
x
Suppose 0 = -243*f + 240*f - 126. Which is greater: f or -41?
-41
Let p = 107 + -108. Is p less than -14/75?
True
Suppose 0 = u - 0*u - 5*l - 28, -4 = 2*l. Let z be (-28)/(-126) + 1400/u. Suppose -4*v - 30 = -z. Is 13 <= v?
False
Suppose -32 + 0 = 4*q. L