 smaller: -21 or f?
-21
Let q = 241/78 + -13/6. Is 2 at least as big as q?
True
Let s = 3170 + -37997/12. Let f = 23/6 - s. Let w be ((-5)/(-20))/(182/(-16) + 4). Which is smaller: w or f?
w
Let l = -1964 + 1112. Which is bigger: l or -1?
-1
Let u be (-4)/(-6)*(-1)/(-2). Let n = -0.255 + 11.755. Which is greater: n or u?
n
Suppose -2*m = -122 + 116. Is m != 7/3?
True
Let y be ((-69)/(-6))/((-6)/468*3). Is -299 at least as big as y?
True
Let u = 41/2 - 283/14. Let c = -9343 - -9323. Which is smaller: u or c?
c
Suppose 3 = 5*c - 37. Suppose 4*g + 3*x = 7*g + 6, 3*g - 2*x = -c. Is -7/2 less than g?
False
Let p(s) = s + 14. Let z be p(-6). Let o be (39/6)/((-4)/z)*-1. Suppose 5*v = 15, -5*f + 5*v + 7 = -3*f. Does o = f?
False
Let b(z) = -9*z + 126. Let t be b(14). Let g = -43/5 + 157/20. Do g and t have different values?
True
Let m(l) = -l**2 - 30*l - 137. Let a be m(-6). Which is smaller: a or 34?
a
Let u be (-138)/299 - 12/(-26). Is 243 greater than u?
True
Let y be ((-1 - 1) + 15/10)*0. Let j be y/(2 - 0)*(-8)/(-16). Which is bigger: -2/161 or j?
j
Suppose 7*k - 4*d = 8*k - 149, 4*d = 3*k - 383. Does k = 133?
True
Suppose 10*d - 50 = 15*d. Let w(r) = -2*r**2 + 6*r - 6. Let g be w(4). Let f = g - d. Which is smaller: -2 or f?
f
Let l = -0.5 + 1.5. Which is smaller: l or 3/2?
l
Let i = -5038 - -5038. Let u be (-2)/3*(-6)/2. Let c(l) = 2*l**2 - 3*l. Let p be c(u). Is i at least as big as p?
False
Let a be (402/12 - 1) + 2. Is a at most 34?
False
Suppose -4*h = -4*r + 8, -11 = 3*h - 0*h - 2*r. Let n(z) = z**3 - 5*z**2 - z + 1. Let y be n(5). Is h > y?
False
Let a = -418/3 - -139. Which is greater: a or 0.58?
0.58
Let h(i) = -i**2 - 10*i - 12. Let o be h(-8). Let m(v) = -v**2 - 10*v + 22. Let r be m(-7). Suppose -r*c = -48*c + 5. Do o and c have different values?
True
Let j(a) be the third derivative of a**6/24 - a**5/60 + a**4/24 - a**3/6 + 5*a**2. Let h be j(1). Let g be 15/10*h/(-6). Which is smaller: -4/5 or g?
g
Let o = 530 + -506. Which is smaller: o or -6?
-6
Let o be (-10 + 3)/(-7)*3/(-3). Which is greater: -3/170 or o?
-3/170
Let r(w) = w**3 - 6*w**2 - 6*w - 16. Let t be r(7). Let z be (-4 - -5) + 2 + t. Is z bigger than -19/4?
False
Let b = 0.2 - 0.6. Let k = -4 + 3. Let i = k + -1. Is i >= b?
False
Let x = -0.231 + 0.201. Which is greater: x or -2/5?
x
Suppose 0 = 2*n - 6, -5*n - 13 = p - 32. Suppose 2*y + 2*y - 5*z = 1, -2*y + 4*z = p. Suppose 0 = -5*u + 3*u - y. Is u at most 1?
True
Let o(r) = 2*r - 14. Let p be o(6). Let k be 4/p + (1/(-1) - 36). Is k equal to -40?
False
Let h = -16 - -16. Suppose 3*z - z + 60 = h. Let k be 8/z*(-20)/(-24). Is k at least -1/13?
False
Let g be 22 + 1 - (11 - (1 - -4)). Which is smaller: g or 31/2?
31/2
Let i be 1998/(-306) + 3 + -2 - 1. Is -6 smaller than i?
False
Suppose 0 = -3*b + 3*d - 12, -40 = 5*b - 18*d + 17*d. Which is smaller: b or -7?
b
Let b = 22 + -21.89. Let i(t) = 61*t**2 + 3*t - 4. Let o be i(1). Let f = 119/2 - o. Is b greater than or equal to f?
True
Suppose 1860 = 4*r + 4*v, -4*v - 485 = -r - 0*v. Let m = -9851/21 + r. Suppose 0 = -0*j + 5*j + 5. Which is smaller: m or j?
j
Let y(f) = -2*f + 8. Let q be y(-2). Suppose 4*d + 3*l + 4 = 0, -2*d - 2*l - 2*l = q. Suppose -4*b = 0, 0 = -4*h - 2*b + 4. Which is smaller: h or d?
h
Let x be 3 + (0 - (0 + 23)). Let h = -1 + 0. Let l be (0 + (-4)/x)*h. Do l and 0 have the same value?
False
Let m be 146*306/8940 - 5. Which is greater: -1 or m?
m
Suppose -5*y - 2*y = -112. Suppose 0 = -f + 2 + y. Suppose 0 = 27*k - 24*k - f. Is k equal to 3?
False
Let h = -346 + 342. Is -13/3 greater than or equal to h?
False
Let i be (-2)/9 - 44/(-36). Let j = 1 + i. Let t = -297/4 + 75. Is j >= t?
True
Let j = -5/6 + 3/4. Let c = -40 + 29. Let a = -10 - c. Is j at most as big as a?
True
Let q(o) = -o**3 - 7*o**2 + 6. Let s be q(-7). Suppose 15 = -5*z, -5*m + s = -5*z - 29. Which is smaller: 2 or m?
2
Let x = 154 - 39. Is x equal to 1?
False
Let r = -2294/57 - 62/57. Are -42 and r non-equal?
True
Let p be 248/(-20) - 10/(-25). Let z = p + 23. Is z greater than or equal to -1?
True
Let i(k) = 2*k**2 + 10*k + 13. Let z be i(-3). Which is smaller: z or 4/5?
4/5
Let z be (-1 - -5) + (-57420)/46. Let q = z + 1244. Let t(b) = b**2 - 1. Let r be t(-1). Do r and q have the same value?
False
Let y = 66.1 - 66. Which is smaller: 6 or y?
y
Suppose -r - 4*v = -3, 0*r + r - v - 3 = 0. Suppose -18 = r*a - 3. Is -6 >= a?
False
Let v be (-8)/(-24) - 6/45. Is 16 <= v?
False
Let y = -36023/3 + 11900. Which is bigger: y or -107?
-107
Let u = 87 - 1045/12. Which is bigger: 4/3 or u?
4/3
Let r(w) = -w**3 + 2*w**2 + w. Let a be r(-1). Suppose a*l - 3*h = 23, 2*l - 3*h = -2*h + 17. Which is bigger: l or 8?
8
Suppose 2*l - 18 = c, 0 = -4*l + 5*c + 28 - 4. Let x be (l - 1)*(-24)/(-30). Suppose x*a + 6 + 2 = 0. Which is bigger: 1/8 or a?
1/8
Let n be 6/(9/(-3)) - (3 + -14). Which is smaller: 11 or n?
n
Let x be 1791/(-27) - (-3)/9 - -7. Which is smaller: 0.04 or x?
x
Let a(r) = 2*r - 4. Let h be a(3). Suppose 7*y - h*y = 20. Suppose k - 10 = -y*s, -5*s + 29 - 9 = 5*k. Are 0 and k equal?
False
Let o(d) = d - 7. Let g be o(5). Let v(u) = -u**3 - 4*u**2 - 3*u - 5. Let f be v(-5). Let q = f - 37. Is q greater than or equal to g?
True
Let p = -0.76 + 0.86. Which is bigger: p or -46/3?
p
Suppose -1 + 3 = n - 2*q, -2*n = 4*q - 20. Is 41/6 less than n?
False
Let w = -250 - -381. Is w bigger than 131?
False
Let y be (6/4 + -2)/(4/16). Let l be 2 + -2 - 4/y. Is l bigger than -1?
True
Let h = -1348 - -1763183/1308. Which is greater: h or 1?
1
Let t = 0.2751 + 1.8479. Let s = t - 0.023. Are s and -1 non-equal?
True
Let h = -419 + 595. Suppose -3*c - 419 = -h. Let a = 403/5 + c. Is a at least 2/3?
False
Suppose -8*w + 9*w = -1. Is w not equal to -3/332?
True
Let k be (-5)/(-25) + (-108)/15. Let c = k + 6. Which is greater: c or -6/7?
-6/7
Let h = 30.3 - 17. Let f = -13 + h. Let i = -10 - -9. Is f greater than i?
True
Let m be ((-13)/78)/((-3)/(-588)). Which is bigger: m or -34?
m
Suppose -23*l = -22*l. Suppose l = -3*y - 3, -3*y = -v + 5*v - 97. Is 26 >= v?
True
Let y be (1/(-7))/(1 - 0). Let h = -21.051 - -0.051. Let j = 20.8 + h. Which is greater: y or j?
y
Let t = -0.8 - -0.8. Let g(l) = -l**3 + 6*l**2 + 6*l. Let v = 18 - 11. Let f be g(v). Which is bigger: t or f?
t
Let r = 214.2 - 215. Let q = 0.72 + 0.18. Let d = r + q. Which is greater: 2/5 or d?
2/5
Let i = -8 - -2. Let f be (44/(-12) + 1)/((-3)/(-9)). Which is greater: i or f?
i
Suppose 3*k = 9 - 18. Let y(p) = -2*p**3 - 7*p**2 - 2*p + 4. Let n be y(k). Which is bigger: 10/9 or n?
10/9
Suppose 10 = j - 1. Let v be (2/(-1) - j) + -3. Let k = v - -16. Which is bigger: k or -1/3?
k
Suppose 0 = -9*n + 4*n - 270. Let k be 166/n + 7 + -4. Is 1 less than or equal to k?
False
Let k(o) = -2*o**2 - 11*o + 9. Let m be k(-6). Suppose 4*b + 1 = -m*h, -2*b + 7*b + 4 = -h. Let c be ((-12)/20)/((-28)/10). Do c and h have the same value?
False
Let b(a) = a**3 - 18*a**2 + 66*a + 37. Let q be b(12). Do q and -316/9 have different values?
True
Let n be (-1338)/(-153) + ((-22)/3 - -8). Is 10 < n?
False
Let d = 2.8 + -3. Let k = 1.6 - 1.6. Let g = k + d. Which is bigger: g or 1?
1
Let t = 3264 + -3263. Let s = -0.3 + 0.2. Let x = 0.1 + s. Is x >= t?
False
Let f(x) = -x - 6. Let n be f(-6). Let w = -2868 - -2869. Is w <= n?
False
Let v = 11.9 + -22.8. Let x = -13 - v. Let p = -2.3 - x. Is p at least 2?
False
Let l(r) = -r - 12. Let q(b) = -4*b - 36. Let w(n) = -7*l(n) + 2*q(n). Let c be w(16). Let s = -2/7 + -8/21. Which is bigger: s or c?
s
Let j = -0.05799 - 0.14201. Let i = -3 - -2. Is i bigger than j?
False
Let u be ((-16)/2)/((-66)/(-10021)). Let h = u - -1226. Which is smaller: 11 or h?
11
Let x(n) = -3 + 2 + 2*n + 1 - 3. Let v be x(2). Let t be ((-8)/20)/(v/5). Which is smaller: t or -2/15?
t
Let u = -2 + 1.96. Suppose -n = -2*n + 7. Let w be (-2 - 18/(-8))/(n/(-8)). Which is bigger: u or w?
u
Let s = -1074 - -5332/5. Is s at least as big as -9?
True
Let a be (6/4)/(12/32). Suppose 5*d + u = 5, -2*d - a*u - u = 21. Is 3/4 greater than or equal to d?
False
Let i = -54.75 - 6.45. Let r = -61 - i. Which is smaller: -10 or r?
-10
Suppose -4*w - d + 25 = 0, -d = w + 2*d + 2. Suppose 3*n + 4 = w*n. Let o = 57 - 54. Is n < o?
True
Let j be 209725/200 - 9/(-24). 