ich is bigger: k or -201?
k
Let s(y) = -y**2 - 58*y + 312. Let z be s(5). Let d = 5/197 - 2192/985. Is z bigger than d?
False
Let j be -6*-3*(-6)/(-27). Let d be 9/6*-1*j. Is -6 greater than d?
False
Suppose 5*c = -5*h - 5, 0*h + 1 = 2*c + h. Suppose c*w - w - 3 = -3*v, 3*w = 3*v + 9. Let n be (-2)/w + 92/84. Which is greater: n or 1?
1
Let x(d) = -2*d**3 + 7*d**2 - 2*d - 2. Let f be x(3). Is -2/155 greater than f?
False
Let l = -287/6 + 48. Suppose 0 = 5*b - 3 + 13, o - b + 43 = 0. Let d be (-19)/o - 2/9. Which is bigger: l or d?
d
Suppose -n - 3*q = 48, -3*n - q = -2*n + 52. Which is bigger: n or -56?
n
Let c = 8.755 + 1.215. Let r = c - 10. Let u = r + -2.97. Which is greater: u or -1/3?
-1/3
Let u = 3.354 - 1.004. Are 0.3 and u equal?
False
Let d(j) = -j**3 - 17*j**2 + 2*j + 21. Let x be d(-17). Let i be x/2*(-1 - (0 - 0)). Let l = -8 - -14. Is i equal to l?
False
Let q be -4 + (2/2 - -12). Let y = q + 1. Let z = -11 + y. Which is smaller: z or -2?
-2
Let k(z) = z**2 + 13*z + 14. Let q be k(-12). Suppose 3*v + 4 = v + q*l, -3*v + 2*l - 1 = 0. Suppose 2*s = 7 + 3. Does v = s?
False
Suppose 5*j + 2 = -2*f + 15, 3*j - 11 = -2*f. Let i be (-108)/(-48) - j/4. Is i smaller than 2?
False
Let j(g) = 5*g - 9. Let s be j(6). Let q(i) = 34*i + 44. Let a be q(-5). Let u be (-82)/a - 9/s. Which is bigger: -1/4 or u?
u
Let n = 21 - 20.8. Let t = -0.28 - 0.02. Let k = -0.2 + t. Is n not equal to k?
True
Let k = -306 - -288. Which is smaller: k or -103/6?
k
Let n(o) = -o - 10. Let h be n(-6). Let b be (h/6)/(2/(-6)). Let q = -1225 + 8579/7. Which is bigger: b or q?
b
Let x(s) = s**3 - 3*s**2 - 2*s - 4. Let k be x(4). Let l be 18/(-10) - (k + -6). Suppose 0 = 3*o - 4*p - 15, -4*o + 4*p - 3 = -19. Are o and l nonequal?
True
Suppose -3*y + 6 = -2*x, -3*x - 4*y = -0*x - 8. Let o be 4*-1 + (-52)/(-14) + x. Which is greater: o or -0.048?
-0.048
Let w be (-15)/(138/(-36) - (-2 + -2)). Is -89 less than w?
False
Suppose -q + 0*w = -3*w - 13, -2*q - 5*w = 7. Let z be 0*(18/(-4) + q). Which is bigger: z or 1?
1
Let d = -56425 - -33550. Let p = -457771/20 - d. Let w = 74/5 + p. Which is greater: w or 0?
w
Let k = 71 - 46. Suppose 0 = -4*f + b - k - 24, 5 = 5*b. Let x = f - -6. Is x bigger than -4?
False
Let a be (2 - -1) + (-70)/40. Is a < 0.005?
False
Let t = 2447 + -3142. Which is smaller: -694 or t?
t
Let a be 0/(5 - (9 - 7)). Let c = 19517/41 + -476. Is a greater than or equal to c?
False
Let o be (1/(-4))/(44/32). Let n = -169 + 158. Is o <= n?
False
Let s be 6/2 - (13 + -14). Suppose p - 126 = 6*p - 2*l, 0 = -s*p - 4*l - 84. Let y = -19 - p. Are 5 and y nonequal?
False
Let v(i) = -2*i**2 + 3*i + 2. Let x be v(4). Let g(q) = -q**2 - 19*q - 15. Let k be g(x). Which is smaller: -1/10 or k?
-1/10
Let m(w) = 2*w + 8. Let u be m(-3). Let a be 978/1*4/20. Let n = a + -195. Which is smaller: n or u?
n
Let m = -178/19 - -12562/1349. Let h = m + 363/142. Which is smaller: h or 4?
h
Let f = -109 + 16. Let c = f + 92.89. Which is greater: c or -1?
c
Let m = 22110 + -22109. Suppose -18 + 3 = -3*q. Suppose -q*b + 4 = -b. Is m at least b?
True
Let c be (-1)/((-1)/8*2). Suppose 0 = -2*s + 6 - c. Suppose 5*g = z + 11, 0 = -2*g + 2*z + z + 7. Is s less than g?
True
Let b = -9269/11 - -842. Let f = b - -349/583. Which is bigger: f or 1?
1
Let k(q) = -2*q**3 + 11*q**2 + 7*q. Let s be k(6). Let c = -7 + s. Which is greater: -4/45 or c?
-4/45
Let f = 10 + -9.824. Let u = -0.024 - f. Let x = 1/139 - -134/695. Which is smaller: x or u?
u
Suppose -8 = -z - z. Let f(b) = -b - 2. Let p be f(z). Let x be -3 - -1 - (3 + 0). Is p < x?
True
Let n = -3 + 1. Let g be ((-1)/(-1) - 1)/n. Let q be (1 - 1)/(-3 + 5). Is g less than q?
False
Suppose -38 = 4*m + 3*u - 17, -3*m - u = 12. Which is bigger: m or -30/7?
m
Let m = -9 - 7. Let w = m + 16. Which is smaller: w or 26?
w
Let a = -0.93 + 0.2. Let w = a - -1.73. Is -0.037 at most as big as w?
True
Let d = 197 - 2164/11. Suppose 3*p - p = 5*t + 8, -5*t = -4*p - 4. Let j be (-4)/p*(-9)/6. Which is smaller: d or j?
j
Let l = -21.3 + 3.3. Let c = -17.9 - l. Let g(v) = -v**3 + 5*v**2 - 4*v + 5. Let u be g(4). Which is bigger: u or c?
u
Let r be 1*(-3 - (-12)/6). Which is greater: r or 121?
121
Suppose 6*v = 2*v - 72. Let d be (-8)/198 + v/(-81). Which is smaller: 0 or d?
0
Suppose -4*t - t = 10. Let m be ((-3)/9)/(3/(-27)). Suppose -5 = -m*j - 17. Which is bigger: t or j?
t
Let y = 0.5 + -22.5. Let v = 22 + y. Which is smaller: 5 or v?
v
Let z = -17 - 20. Let l = z - -38. Is 1 smaller than l?
False
Suppose 32 + 33 = -5*z. Let c(u) = u + 31. Let a be c(z). Let b be (-4)/6*a/12. Is b less than or equal to -4/5?
True
Let i = -28/17 + 627/391. Let r(z) = 2*z**2 + 17*z + 8. Suppose 0 = 2*k - j + 12, -28 = 3*k + 2*k - 3*j. Let l be r(k). Is l at most i?
False
Let g = 66.67 + -67. Let m = g + 23.33. Which is bigger: -1 or m?
m
Let x be 25/10 - ((-1)/2 + 0). Suppose 2*z + 7*f - x*f + 30 = 0, 0 = -4*z + 4*f. Which is bigger: z or -4?
-4
Let s = 1235 + -1234.029. Let q = s - -0.029. Which is greater: -8 or q?
q
Let r = -46 - -37. Let y be (-2)/r - 35/(-45). Which is greater: -9 or y?
y
Let g(x) = -6*x + 175. Let z be g(29). Is -13 > z?
False
Let q(y) = -2*y**2 + 19*y + 5. Let l be q(10). Let g be -4 + (l - 65/(-7)). Is 22 < g?
False
Let v(d) = -d**3 + 3*d**2 + 12*d - 8. Let a be v(5). Suppose -3*n + 5*k = -n - 12, 3 = -n - a*k. Which is greater: -3/37 or n?
n
Let q = 288 - 288. Is 0 <= q?
True
Let x(n) = 87*n + 285. Let g be x(-3). Let s be 2/(-7) + 2/(-42). Which is bigger: g or s?
g
Let f = -124 + 75. Let x = f - -43. Which is greater: 0.9 or x?
0.9
Let i = -6 - 9. Let p = 33 + i. Let u = 18 - p. Which is greater: -2 or u?
u
Let h = 124.135 - 0.135. Which is greater: 0.1 or h?
h
Let u = -30 - -32. Let t be u/11 + (-13)/11. Which is greater: t or -2?
t
Let m(j) = -j + 10. Let x be m(7). Let l(a) = a**3 - 3*a**2 - 5*a + 4. Let o be l(4). Is o != x?
True
Let a be 45*(-14)/189*-3. Do 145/13 and a have the same value?
False
Let z = -8 - -13. Suppose 0*d - 45 = -z*d. Let r be d/((-15)/6 - -1). Is -7 bigger than r?
False
Let i = -13.8 + 13.914. Let p = 0.004 - i. Which is smaller: p or 2/3?
p
Let h = -23925497/2113 + 11323. Which is smaller: h or 1?
h
Let d(i) = -i**3 - i**2 + 4*i + 3. Let x be d(-2). Let v(a) = -6*a**3 - a**2 + 1. Let n be v(x). Let s(h) = h**3 - 7*h**2 + 6*h - 5. Let u be s(n). Is 1 < u?
False
Suppose x - 8 = -3*x. Suppose v - x = a, 9*a - 4*a = 3*v. Suppose l = -v*d - 3*l, 5*d = -l - 15. Is d <= -5?
False
Suppose 0*o = -o + 3. Let m = -9 - -8. Let q be m + o - (-15 + 3). Is -0.1 != q?
True
Let o be 11/44 - (-17)/(-300). Let u = -9241/150 - o. Let v = u - -61. Which is greater: v or -2?
v
Let w = -9/71003 - -245173449/710030. Let r = w + -345. Which is smaller: -1 or r?
-1
Let n be (-2 - -3)*(1 - -17). Let y = -21 + n. Let a be y/(-54)*(-12)/15. Which is greater: a or -1?
a
Suppose 4*c = 5*w - 28, -c - 2*w + 3*w - 6 = 0. Let h be (-76)/66 - c/(-11). Let m = 10 - 9. Is h <= m?
True
Suppose -5*m - 5*u + 10 = 0, -3*u = m - 12 + 8. Which is greater: m or -1/2849?
m
Let y = 3 - 4. Suppose 16 = 12*n - 92. Are n and y unequal?
True
Suppose 2*v = 3*j - 200, 0*v = -4*v - 4*j - 440. Are -104 and v equal?
False
Suppose 0 = 5*x - 2*c - 16, 4*x + 2*c - 34 + 14 = 0. Suppose s = x*s + 2*s. Which is smaller: 1/112 or s?
s
Let r = 994 - 982. Is r equal to 14?
False
Let o = 401 + -367. Which is greater: 2/11 or o?
o
Let h = 126 + -166. Which is bigger: h or -3?
-3
Let f = -1698.38 + 772.5. Let o = f + 943. Let y = o - 17. Which is greater: y or -1/3?
y
Suppose -3*o - 82 = 176. Let u be 3 + 1330/16 + 0. Let m = u + o. Is 1 smaller than m?
False
Let z = -1.03 - 72.97. Let b = 73.957 + z. Let l = b - -2.943. Is l at most as big as -1?
False
Let b = 1026 + -902. Is b not equal to 124?
False
Let i = -3 - -1. Let l be 7/(-35) - i/10. Let g be (l/8)/(2 + -1). Which is smaller: -2/49 or g?
-2/49
Let t = 11 + -11.81. Let c = -0.19 + t. Let m = 3 - 7. Is m <= c?
True
Let q = -54 - -33. Is q equal to -29?
False
Let b = -448 + 429. Is b > -20?
True
Let q = -1.11 + 1.21. Which is smaller: q or 2?
q
Suppose 2*w = -0 + 6. Let p = -13 + w. Is p < -10?
False
Suppose -4*k = -2 - 18. Suppose 8*h = 3*h - k. Which is smaller: -2/61 or h?
h
Suppose 0 = 2*l - l - 5. Let j(d) = -4*d 