reater: v or -54?
-54
Let z = -117 - -115. Which is smaller: z or 0.1?
z
Let b = 1.3 + -1.2. Which is smaller: 1/3 or b?
b
Let p = 0.2 + -1.2. Let c = 0.71 - -0.09. Let b = p + c. Is 1/3 equal to b?
False
Let y(b) = b**3 + 4*b**2 + 2*b + 2. Let a(s) = -1. Let u(c) = 4*a(c) - y(c). Let m be u(-4). Is 0 less than m?
True
Let c(u) = u**2 - 13*u + 14. Let r(a) = -2*a**2 + 26*a - 27. Let p(v) = 7*c(v) + 3*r(v). Let g be p(9). Is g >= -19?
True
Let v = 2 + -3. Let s be 85/(-15) + 4 + v. Does -2 = s?
False
Let l(o) = o + 2. Let y be l(-1). Suppose j - y = -2. Is -2/17 > j?
True
Let y = -4 - -3. Let z(c) = c**2 - 8*c + 3. Let f be z(8). Let u be ((-9)/3)/f - 1. Do u and y have the same value?
False
Let d be (-5)/(-2 - 3) - -10. Which is bigger: 12 or d?
12
Let s be 3*((-16)/(-6) - 2). Let p be (-2)/(-4) + 1/2. Is s at most p?
False
Suppose o - 5 = -3. Let y be (28/6)/o - 3. Which is smaller: -4 or y?
-4
Let q = -78/5 - -16. Is 0.04 > q?
False
Let x = -76 - -52. Let y be 0 - 3 - x/8. Let z be (-1)/((3 - 1) + -3). Is y >= z?
False
Let x(r) = 76 - r**2 - 12*r - 59 - 4*r. Let z be x(-17). Let n be (-4)/6 - (-13)/24. Is n equal to z?
False
Suppose -60 + 0 = -2*t. Suppose 5*o - 2*x + t + 0 = 0, -3*o + x - 17 = 0. Is o less than or equal to -4?
True
Let l be (-13 + 3)*(-1)/6. Let u(w) = w**3 + 5*w**2 + 5*w + 6. Let x be u(-4). Are l and x unequal?
True
Let u = -67 + 64. Let i = -5.8 + 0.8. Let s = u - i. Which is bigger: s or -2/15?
s
Suppose -20 = -4*l + 4. Let z be l/21 + (-16)/7. Is -2 bigger than z?
False
Let n = -0.01 - -2.01. Let j = n + -2. Let x = -1 + j. Is x at least 0?
False
Let k be (-4)/(-6) + 10/(-15). Let n be 5 + -2 - (k - -7). Is n >= -3?
False
Let r be 1/21 - 1/3. Suppose -314 = 5*d + 2*m + 77, 4*m = -2*d - 166. Let v be 9/11 - 14/d. Are r and v non-equal?
True
Suppose 3 = -3*u + 21. Suppose 5*a - 2 = 28. Are a and u unequal?
False
Let q = 6 + -6. Suppose q = -3*j + j. Which is greater: -1/5 or j?
j
Let d(b) = b**3 - 7*b**2 + b - 8. Let s be d(7). Let c be (-2)/(-8) + (-57)/(-12). Suppose -2*z = 5*t - 6, c*z + 6 = -0*t - 2*t. Is z at least s?
False
Let x be 8 + 3 + -5 + 0. Let c be x/63 - 4/6. Which is bigger: -0.1 or c?
-0.1
Let x = 1 + -7. Let c = -7 - x. Do -0.4 and c have the same value?
False
Let j = 1 + 0. Let m = j + 4. Suppose -3*o + 9 = -3. Is m smaller than o?
False
Let z(o) = 2*o**2 - 4*o. Let h(x) = x**2 - 4*x - 1. Let i(b) = 3*h(b) - 2*z(b). Let c be i(-2). Which is smaller: c or 1/8?
1/8
Let x be 68/(-130) + 1 - -2. Let i = 12/5 - x. Which is smaller: 1 or i?
i
Suppose -5*w + 2*y + 10 = 0, w = 5*y + 4 - 2. Suppose -m - 1 = -w. Which is bigger: m or 1/6?
m
Let b be 1/2*-4 + 5. Let c be (-7)/(-10) - b/6. Is c > -1?
True
Let x = -757/2 - -389. Let j = x + -11. Suppose -2*u = -6*u. Is j not equal to u?
True
Let h be (2 + -1 + 1)*4. Let p(j) = -j**2 + 9*j - 6. Let c be p(h). Let w be ((-30)/21)/c + 1. Is w at least -1?
True
Let j = -3 + 4. Are 4/3 and j unequal?
True
Suppose t + 2*t = 6. Suppose t*j + 2*d - 26 = 0, 0*j - 21 = -j - 3*d. Suppose -2*c = -f + 6*f - 30, -f + j = c. Which is smaller: 3 or f?
3
Let w = 236 - 1649/7. Which is smaller: w or 1?
w
Let f be 2*(22/4 - 3). Suppose p = -2*q - 3, -f*q = -5*p - 0*p + 15. Is -1/5 less than or equal to p?
True
Let n = 0.3 + -0.5. Let v = -0.03 + 2.33. Let h = -0.3 + v. Is h greater than n?
True
Let b(s) = -s**2 + 10*s. Let t be b(10). Let h be (t + 2)*(-4)/(-8). Let y be 3*-1 - (-22)/6. Is y != h?
True
Let w = 0.8 + -1.8. Let c = w + 0.9. Is -2/3 less than c?
True
Let h = 0.54 + 0.06. Let x = 0.1 + -0.5. Let j = h + x. Is j greater than or equal to 2?
False
Suppose -4*t = 3*a, 3*t + 7*a = 2*a. Let w be (-1 - -2)*(-2 - -2). Is w >= t?
True
Let z = -99 - -178. Let p = -3643/2 - -1902. Let j = p - z. Which is greater: 1/3 or j?
j
Let z = 2.1 + -0.1. Is 1/2 at most z?
True
Let m(p) be the third derivative of -p**6/120 + p**5/15 - p**4/8 - p**3/3 - 2*p**2. Let t be m(3). Let u = t - -3. Which is bigger: 4/9 or u?
u
Let s = -40 - -28. Let b be s/4 + (1 - 4). Which is bigger: -7 or b?
b
Let d be (-3 - 17/(-5)) + (-33)/45. Is d less than -2.2?
False
Let w be (-456)/(-4095) + 6/(-45). Which is bigger: w or 1?
1
Let g be (-52)/(-3)*2/(-8). Which is smaller: g or -4?
g
Let d = 0.1 + -0.3. Let k = -0.2 - 0.1. Let j = k - d. Is j equal to 2?
False
Suppose 3*h - h = 8. Let s = 23 + -18. Do s and h have the same value?
False
Let w = -4 + 1. Let k be ((-4)/6)/((-1)/w). Let h = 43 - 46. Is h greater than k?
False
Let n = 7 + -5. Does 2/3 = n?
False
Let n(o) = -6*o + 11. Let k be n(3). Are -10 and k non-equal?
True
Let k(r) = r**2 - 10*r - 12. Let z be k(11). Suppose 5*g + q = -10, 5*q = -4*g - 15 - 14. Is g equal to z?
True
Let m(c) = -c**3 - 5*c**2 + 4*c - 8. Let o be m(-6). Let j be (-261)/(-81) - o/18. Let a be -2*j*4/6. Which is greater: a or -3?
-3
Let s = -0.06 - -1.06. Let r = -1.3 + s. Which is smaller: 2/7 or r?
r
Suppose -i - 3 = -2. Is i < -3?
False
Let c = -17 - -16. Which is smaller: c or -2?
-2
Let r = 18 + -17.1. Let z = -0.7 + r. Are 1/2 and z unequal?
True
Let r be 9*(-2)/4*10/(-40). Which is bigger: 0 or r?
r
Let b = -3.1 + 3. Let x = -0.2 + b. Let k = 0.2 + x. Which is greater: 0.1 or k?
0.1
Let m = 407/4953 - 2/381. Let f(l) = -l**3 + 2*l**2 - 1. Let o be f(1). Which is bigger: m or o?
m
Let y = 8 - 10. Is -4 smaller than y?
True
Let c be (66/(-135) - 1)/2. Let h = c - 1/18. Is h smaller than -2?
False
Let j = 2.8 + 17.2. Let l = j + -19.91. Is l not equal to -1/6?
True
Let v be 0*(-3)/2*14/(-21). Is 0 less than or equal to v?
True
Let l = 1.8 + -2. Let y = 0 + l. Let x = -22 + 23. Is y at least x?
False
Suppose 0 = -2*y + y + 3. Suppose y*j - 13 = -g, 4*g = -0*g - j - 3. Is g < -3?
False
Let k be (6/8)/((-416)/4096). Do -7 and k have the same value?
False
Suppose 280 = 4*w - 4*g, -w + 5*g + 19 + 51 = 0. Let u be 2/7 + (-20)/w. Suppose q + 4*q = -5. Is q bigger than u?
False
Let v be 20/(-90) - 97/9. Let a = -14 - v. Which is bigger: 3 or a?
3
Let h = 1109/105 + -54/5. Which is smaller: h or 1?
h
Let j = -4505/22 + 206207/1012. Let u = 6/23 + j. Let z = -23 - -22. Which is smaller: z or u?
z
Let x(g) = g**2 - 5*g - 8. Let p = -15 + 21. Let z be x(p). Which is greater: z or 0?
0
Let a be (-2)/3 + (-15)/(-9). Let s be 1/2 - 1/3. Is s at most as big as a?
True
Let x = -9 - -25. Let v = 27 - x. Is 12 at least v?
True
Let k = 3 + -7. Let s be (-7)/(-5) + 4/k. Let o be (-2)/4 + 4/16. Is o != s?
True
Suppose 0 = -5*y - r, -2*r + 4*r = -10. Let g = 2 + y. Suppose g*w + 10 = 5*x - 0*w, -3*w - 15 = 0. Which is bigger: x or -1/7?
-1/7
Suppose -6 = -3*c - 2*j, c - j = 4*c - 6. Suppose -b = -2*u - 1, -c*b - 2*u + 4 - 8 = 0. Which is smaller: -2/13 or b?
b
Let x = -1 - -10. Let n be ((-2)/(-6))/(x/27). Which is smaller: n or -1/4?
-1/4
Suppose 5*b - i - 20 = 0, 15 - 5 = -5*b - 5*i. Let n be 10/(-30) - 38/(-6). Let o be (-35)/(-15) + (-2)/n. Which is smaller: b or o?
o
Let s = 1.05 + -0.05. Let p = -0.4 - -0.4. Are p and s nonequal?
True
Let p = -0.44 - -0.04. Let j = p - -0.6. Let r = -1 + 1. Are j and r unequal?
True
Let l = 15 - 59/4. Let f = 0 - l. Let s be (4/27)/(4/(-6)). Is f != s?
True
Let x = -49 - -22. Is x less than 0?
True
Let r = -28 - -43. Let i = -23 + r. Which is smaller: i or -1?
i
Let t = 25 + -25.5. Is 3 <= t?
False
Let i = -151.9 - -152. Is i at least -6/17?
True
Let v = 4.4 - 2.4. Which is smaller: v or 4?
v
Let y = 25/3 + -8. Is 2/3 > y?
True
Let b = 1/234 - 487/4446. Let r be (-33)/36 + (-2)/(-8). Is b smaller than r?
False
Suppose -4*p + 3*p + 3*x = 7, -2*p + 2*x = -6. Suppose 4*n - 9 + 1 = w, 4*n = -3*w - p. Let f = -1003/7 + 143. Which is greater: n or f?
n
Let y = 24.23 + -24. Let t = y - 0.03. Let f = -74/213 + 1/71. Is f at least t?
False
Let q be (-1 + 0)/(20 - 19). Let k be -7 - (6/(-3) + q). Which is smaller: -5/2 or k?
k
Let y = -1.5 + -9.5. Let q = y + 10. Let c = -3 + 3.2. Which is bigger: q or c?
c
Let m(u) = 2*u + 16. Let o be m(0). Suppose -2*h = -3*a - 10, -o = 4*h + a + 2*a. Is -1/6 less than h?
False
Let g be (0/3)/4 - -3. Let w(l) = 2*l**2. Let j be w(-1). Suppose b = -b + j. Which is smaller: b or g?
b
Let r = -46 + 26. Is -20 less than or equal to r?
True
Let p(t) = t**3 + 13*t**2 + 8*t - 3. Let m be p(-12). Let w be 4/10 + (-18)/m. Which is small