 o. Which is bigger: 0 or x?
0
Let s(t) = -t**3 + 15*t**2 - 11*t - 31. Let d be s(14). Let r be 910/(-3795) - (-2)/d. Is r smaller than -1?
False
Let q = 3325/4 + -831. Suppose -5 - 5 = 2*r. Is q < r?
False
Let j be 396/42 + -9 - 10/7. Is j < 2/721?
True
Let l = 428 - 429. Is l smaller than 20/109?
True
Let f = 35372/9 - 3926. Which is bigger: f or 5?
5
Let k be 4/(-3)*7/(-28). Let y(n) = -n**3 + 6*n**2 + n - 3. Let x be y(6). Suppose -3*q = -15, 19 + 4 = 4*m + x*q. Which is smaller: k or m?
k
Let z be -29 - 0*(4 + (-27)/6). Which is bigger: -0.7 or z?
-0.7
Let l = -216 + 423/2. Let d = 25/6 + l. Which is bigger: -5/7 or d?
d
Let j be (-104)/(-18) - 8/(-36). Let z(l) = -2*l + 32. Let g be z(15). Suppose -3*d + j*v = g*v + 15, 5*d + 5*v - 10 = 0. Is d > 4?
False
Let l be (-846)/(-15) + 3 + 8/(-20). Is l smaller than 69?
True
Let n = -420 + 421. Is 1.7 less than n?
False
Let s = -144 - -143. Let b = 2 - 4. Let q = b - s. Is q not equal to 3?
True
Let b(w) = 67*w**2 - 2*w + 1. Let q be b(1). Let y be -2 - q/(-92) - 2/(-4). Is -2 less than y?
True
Let h = 128 + -17. Is 113 bigger than h?
True
Let g = -17 - -18. Let t be (-14)/10 - -1*g. Let n = 49/135 + t. Are -1 and n unequal?
True
Let b = -1215 + 1352. Which is smaller: 0.4 or b?
0.4
Let j(o) = 13*o - 23. Let a be j(3). Which is smaller: a or 13?
13
Let v = 14 + -12. Suppose 0 = v*a + a. Suppose 0*i + 4*i + 12 = a. Is i less than -3?
False
Suppose -472*i - 9 = -463*i. Is -1/2397 <= i?
False
Let h(a) = -a**2 + 19*a - 47. Let f be h(16). Which is greater: -1/141 or f?
f
Suppose 181*k - 180*k - 69 = 0. Which is bigger: 71 or k?
71
Let d = -116 - -214. Which is smaller: d or -0.1?
-0.1
Suppose 10*o + c - 295 = 6*o, -4*c = o - 55. Let x = o + 1. Which is smaller: 77 or x?
x
Let s = -591/8 + 74. Let y = 4.37 - 6.37. Is y equal to s?
False
Suppose -3*i + g = -22, 6*i = i + g + 40. Let s = 0.19 - 0.35. Let l = s - 0.84. Is i smaller than l?
False
Let u = -0.42 - -119.42. Let s = u + -117. Are s and 31 non-equal?
True
Let d = -298 + 295.31. Let m = 0.72 - 1.03. Let q = m + d. Do q and -1/11 have the same value?
False
Suppose 3*p - 4*x + 128 = -617, -1005 = 4*p - 3*x. Is p > -255?
False
Let l(u) = -u**3 - 8*u**2 - 7*u + 4. Let m be l(-7). Suppose -5*q - m + 9 = 5*y, -4*y - q = 2. Let w be (-2)/(-4) + 21/(-36). Which is smaller: w or y?
y
Suppose -2*m - 2 = v, 3*v = 4*m - 9*m - 6. Let o be (2/(-3 + -1))/(60/280). Is v < o?
False
Suppose 1838 + 1022 = -20*b. Is -285/2 at least b?
True
Let v = -2747/9 + 303. Let l be ((-4)/8)/(2/4). Which is greater: l or v?
l
Let f = -38 - -37.5. Let a = 0.44 + f. Which is bigger: -0.3 or a?
a
Let j(r) = -r + 6. Let b be j(4). Suppose 87 = 5*o - 2*u, 2*o = 6*o - b*u - 70. Is 18 != o?
True
Suppose 0 = 11*j - 10*j. Suppose -3*z + 6*a - 3*a + 6 = j, -2*z + 5 = -3*a. Is z smaller than -4/17?
False
Let q = -29 - -9. Let x(c) = -c**3 + c**2 + 2*c. Let t be x(-1). Is q at least t?
False
Let y be ((-876)/(-70))/(112/(-70)). Let t = y + 60/7. Suppose 0 = -2*s + 7*s. Which is smaller: t or s?
s
Let z = 15 - 14.115. Let a = z - -0.115. Which is greater: a or -21?
a
Let h be (-4)/(-5 - -7) + 8. Which is bigger: h or 100/17?
h
Suppose 0 = 113*i - 117*i - 108. Is -26 greater than i?
True
Let g be 0 + 1/2*4. Let t be 9/21*g/3. Let j be -1*((5 - 4) + 0). Which is greater: t or j?
t
Let c(j) = -2*j + 1. Let t be c(6). Suppose -4*o + h - 49 = 0, -4*h = 2*o + 3*o + 35. Are o and t nonequal?
False
Let j be (-9)/(-15) - 222363/155. Are -1435 and j non-equal?
True
Suppose 4*u = -12, -30*u = -4*t - 29*u + 3. Do 1/765 and t have the same value?
False
Suppose -r = 5*n - 2, -4*n - 12 = -r + n. Is 9 equal to r?
False
Let w = 294.04 - -3.97. Let u = 306 - w. Let y = u + -8. Are 0.4 and y equal?
False
Let p(j) = 11*j + 11. Let u be p(1). Let f = -17 + u. Is f greater than 17/4?
True
Let t be (-5)/2 - 3/6. Let d be (-1)/t - (-112)/(-12). Which is greater: d or -7?
-7
Let s = -22 - -29. Let q = 1 - s. Let x(z) = z**3 + 6*z**2 + z + 1. Let h be x(q). Is h smaller than -4?
True
Suppose 4*k - 7 = -59. Suppose -8*j + 124 = -4*j. Let q = 18 - j. Is q at least k?
True
Let k(t) = t + 17. Let d be k(-15). Suppose v + v = -4*i - 36, 2*i = v - d. Do -7 and v have the same value?
False
Let g = 675 - 676. Are g and -5/594 non-equal?
True
Let b = 57 - 38. Suppose b = 5*v - 6*v. Is v greater than or equal to 0.1?
False
Let k be 310/3*15/10. Suppose 0 = -2*x + b - k, 5*x - 2*b + 224 = -164. Let z = x - -700/9. Is z greater than 1?
False
Suppose 2*x + 20 = -4*h, 2*x + 24 = -2*x - 4*h. Let o be 12/15 - x/(-1). Let n be 3/6 + 1/(-2). Is n less than or equal to o?
False
Let k = 4881/5 - 87563/90. Which is bigger: 3 or k?
k
Let g(k) = k**3 + k**2 - 3*k + 1. Let v be g(-3). Let a = 5592 + -5597. Is v smaller than a?
True
Let r = -5680 - -5684. Suppose -14 - 1 = 5*a, 0 = 4*k - 3*a - 1. Which is greater: r or k?
r
Let f = -19 - -18.92. Let a = f - -0.08. Which is greater: -4 or a?
a
Let k = 39 + -8. Let m = 32 - k. Is 4/11 bigger than m?
False
Let n(m) = m**3 + 10*m**2 + 9*m - 19. Suppose 54 = -15*v + 9*v. Let u be n(v). Is -19 greater than u?
False
Suppose 5*f = -0*a - 2*a + 23, 5*a - 4*f - 8 = 0. Suppose -2*t - a*d = -24, 0*t - t = 3*d - 15. Suppose 6*k + 6 = -t. Is -0.2 bigger than k?
True
Suppose 5*w = -0 + 5. Let f be -5*1 - (-136591)/27265. Is f bigger than w?
False
Let o = 1 + -0.1. Let h = -0.52 + 0.22. Let b = o - h. Is -0.1 at least as big as b?
False
Let c(y) = y - 1. Let i be c(-5). Suppose 829 = -139*w - 144. Is i at most w?
False
Let v = 4 - 5. Is 20/139 bigger than v?
True
Let f = 52 + -52. Which is smaller: -2/4847 or f?
-2/4847
Suppose 2*v = 4*t - 126, 12*t - 3*v - 160 = 7*t. Which is smaller: t or 33?
t
Let g(k) = 5*k + 1. Suppose 5*a + 3 = -2. Let p be g(a). Let d be (-2)/22*(-3 - p). Which is smaller: d or 1?
d
Suppose 0 = -0*d + 4*d - 3*j - 11, 5*d = -5*j + 40. Suppose -b + 2 = -y - 8, d*b - 20 = 0. Which is smaller: -8 or y?
-8
Let w = -3.18 - -2.9. Let u = w - -0.08. Which is bigger: -1 or u?
u
Suppose 5*g = 4*g + 2*g. Let z(k) = k**3 + 5*k**3 - 3 + 4*k - 7*k**3 + k**2 - k. Let j be z(2). Do g and j have different values?
True
Let p(a) = -18*a - 1. Let w be p(-2). Let m = 1128 + -1094. Which is smaller: m or w?
m
Let h be 24/20 + 1/(-5). Let g = -3481/20 + 174. Is g < h?
True
Let m(t) = -2*t - 27. Let x be m(-15). Let z be -1 + (3 - (-9)/x). Is z greater than or equal to 9?
False
Let v = -22 - -29. Let p = 12 - v. Is 1/3 less than p?
True
Let h = 0.202 + -0.208. Is 1 greater than h?
True
Let y = 106 + -99. Let f = -3 + 5/2. Which is bigger: f or y?
y
Let u = 44 - 32. Let z be (-2)/5*(-30)/u. Which is smaller: 0 or z?
0
Let l(x) = -x**2 - 12*x - 13. Let y be l(-6). Suppose 5*j + 4*f = y, -5*j - f = 4*f - 25. Are j and 2/25 equal?
False
Let f = 8 + -14. Let w = f + -7. Suppose 0 = -o - 4*z + 7, -2*z + 10 + 52 = -4*o. Is w smaller than o?
False
Suppose 16*k - 5*p = 15*k - 256, -2*k - 582 = 4*p. Is k at most as big as -280?
True
Let w(k) = 4*k - 146. Let p be w(37). Let q be (16/10)/((-6)/(-10)). Let t = q - p. Which is bigger: -3 or t?
t
Let w = 368743/6 + -61238. Which is bigger: w or 220?
220
Let w(d) = 2*d**2 - d - 1. Let h be w(-1). Let c = h + 4. Let m = 14 + -7. Which is smaller: c or m?
c
Let u be (10/(-40)*-5)/(3/(-84)). Is -24 greater than u?
True
Let x = -6324622/25 + 252786. Let c = x + 199. Is c not equal to 0?
True
Let w(p) = 8*p + 87. Let j be w(-13). Which is greater: j or -10/3?
-10/3
Let g be (0 - -4) + -11 + 1 + 3. Let y = 119/6 + -22. Is y greater than g?
True
Let m be (-18)/117 - (-524)/26. Let g = m - 18. Is 10/13 equal to g?
False
Let b(q) = q**2 + 4*q - 1. Let o be b(-3). Let n be 0 - ((-12)/195)/(o/(-10)). Is 0.3 greater than n?
True
Let x = -3 + 9. Let n = x - 3. Let s = -1 + n. Which is greater: s or -1/2?
s
Let s = -14.1 + 2.1. Let n = s - -12.08. Let q = n + 0.07. Which is greater: q or -1?
q
Let z be (-24)/(-2) + 10 + -7. Let x be (-3)/z*(2 + 3). Which is bigger: x or -9/10?
-9/10
Let g be (2 - 8/4)/(-1) + -4. Let y be ((-2*5)/2)/(-1). Let r be 1/(g/y)*-4. Are r and 1 non-equal?
True
Let r be 16/(-56) - 12/(-7). Let t = 0.2052 + -0.0052. Is r not equal to t?
True
Suppose v + 2*j + 77 = -0*v, -3*v - 239 = 2*j. Are 1/3 and v non-equal?
True
Let s be (66 + -76)*2/(-10)*-2. Is 