Let q = -7965/23 + -34453/230. Let y = 497 + q. Which is smaller: f or y?
y
Let c = -0.64 - -23.64. Let r = 14 - c. Let a = r + 8. Which is smaller: a or -2.7?
-2.7
Let x(u) = -u - 24. Let q be x(-20). Let h be 4 - (-4 - q)*-1. Suppose -4 + h = -b. Which is bigger: b or 5/6?
5/6
Let h = -46.8 - -52. Let k = 26.2 - h. Is k greater than or equal to 1?
True
Let k(j) = -4*j**3 - j**2 + j + 1. Let p(b) = 2*b - 13. Let f be p(6). Let v be k(f). Let c be 1*26/(-42) + (-4)/(-14). Which is bigger: v or c?
v
Suppose -17*m + 16*m + n = -11, -n = m - 21. Let j = 158 + m. Which is bigger: j or 173?
j
Let n = 176.9 + -212. Let q = 0.162 - 35.162. Let s = q - n. Does s = 2/13?
False
Suppose 0 = -5*y - 32 + 57. Let h be (-2)/y - 48/(-120). Is h less than or equal to -4?
False
Let p = -2869 - -381580/133. Let h = 2267/266 - p. Suppose 0 = 4*n - 17 - 23. Which is smaller: n or h?
h
Let b be (-28)/(616/(-33))*(-80)/3. Which is greater: b or -38?
-38
Let u(c) = -335*c**2 - 65*c + 198. Let o be u(3). Which is bigger: o or -3011?
-3011
Let g(i) = -3 - 48*i - i**3 + 7*i**2 + 54*i - 2*i**2. Let n be g(5). Suppose m - n = 3. Is 29 smaller than m?
True
Suppose 2*b + 12 = -w, 4*w + 5*b + 85 - 55 = 0. Let f = -2943/4 + 685725/932. Are f and w equal?
False
Let n(t) = t**3 - 19*t**2 + 19*t - 17. Let w be n(18). Let o be ((0/(-2))/(-4))/1 + w. Let r be (-1 - -13)*(0 + o/2). Which is smaller: r or 7?
r
Let j(b) = b**2 + b - 17. Let i be j(-5). Suppose -70 = -4*h - x, -h + i*h = -3*x + 30. Let y be ((-24)/h)/(50/(-9)). Is y < -1?
False
Let n(h) = 1 + 782*h**2 - 389*h**2 - 2 - 378*h**2 - h. Let g be n(-5). Are 380 and g equal?
False
Suppose 3*u + 4*o = 30, 5*u = -2*o + 49 - 27. Suppose -2*a - 18 = a. Is u less than a?
False
Let t = -18 - -21. Suppose 2*l - t*w = -1, -w = -3*l + w + 6. Suppose -h - 18 = -0*h + l*s, 4*h - s = 13. Which is smaller: 5 or h?
h
Let k be ((-1701)/(-270))/(22/1). Let g = k + -2/55. Is -11/7 at least g?
False
Suppose 2*c - 34 + 38 = 0. Let i(j) = -12*j - 7. Let q be i(c). Suppose -15 = -5*r - 5*f, -5*r - 2*f = -5*f + q. Which is smaller: r or 1?
r
Suppose -11*w - 56 = -3*w. Let f(d) = 13*d + 95. Let z be f(w). Let r = 827/195 - -6/65. Which is greater: r or z?
r
Let r(j) = 9*j**3 - 90*j**2 - 2*j + 12. Let m be r(10). Let c = 1076.07 + -1070. Let t = c + -0.07. Is m smaller than t?
True
Let c = -459.0791 - -0.0791. Which is smaller: c or -1?
c
Suppose 2*c = -w - 3 + 2, -5*w - 3*c + 16 = 0. Suppose -w*m = 974 - 984. Which is greater: m or -16/47?
m
Suppose -2*b + 4991 = -5*m, 51*m - 38*m = -91. Which is bigger: b or 2479?
2479
Suppose 10*s + 75 = -15. Let b(x) = -x**3 - 9*x**2 - 3*x - 1. Let y be b(s). Let r be (2 + (-15)/10)*y. Does r = 14?
False
Let u be 0/(6 + -3) + -254. Let z be 1 + 1/(-5) + 30576/(-120). Is u at least as big as z?
True
Let i(v) = -2*v**2 - 6*v + 5. Let l be i(-5). Let f = 755 - 756. Let q be 17 - 34 - 1 - (-1 + f). Is q less than or equal to l?
True
Let j(x) = x**3 - 9*x**2 + 11*x - 24. Let a be j(8). Let k = -1.56 + -15.84. Let u = 18 + k. Is a < u?
True
Let n = 10840.58 + -10841. Which is smaller: n or -0.132?
n
Suppose 2*s - 65 = -5*p, -4*s = -4*p - 67 - 77. Let q be s*1*22/110. Which is greater: 5 or q?
q
Let l be 48 - (-2)/2 - 0. Let i = -46 + l. Suppose 6*u - 12 = -5*g + 3*u, i*g - 4*u - 13 = 0. Are 2 and g equal?
False
Let p = -15.51 + 2.11. Let l = p + 12.1. Which is smaller: l or -1?
l
Let m(s) = s. Let u(o) = o**3 + 6*o**2 + 5*o + 2. Let j be u(-5). Let d be m(j). Let y = 0.429 - 0.429. Which is smaller: d or y?
y
Let r be ((-1)/9)/(63/(-27)). Let f(p) = 3*p - 11. Let v be f(4). Suppose 3*k - 10 = -5*x, 0 = -5*k - 2*x + 3 + v. Is r > k?
True
Let y = -1.3 + -68.8. Let d = y + 67. Is 1 smaller than d?
False
Let g = -858 + 515. Let n = 346 + g. Is 17/6 bigger than n?
False
Suppose -2*q - 18 = -2. Let n(j) = -j - 5. Let t be n(q). Suppose t*y = -k + 89, k - 7*y + 2*y - 89 = 0. Which is smaller: k or 90?
k
Let d be (-21)/119 + 9/51. Do -14/561 and d have different values?
True
Suppose 62 - 17 = 5*x. Let o be 3/x + 1 + 9 + -5. Which is smaller: 6 or o?
o
Let r = 6.9 - 361.9. Let c = 353 + r. Suppose 0 = -w - 6 + 1. Which is greater: w or c?
c
Suppose -5*g = 3*f - 23927 - 1420, 3*g - 15214 = 4*f. Let p be ((-2)/(-10)*8)/(156/g). Is p at most as big as 51?
False
Let s be (1 - 6955/6870)*(-324)/4 + -1. Is 1 smaller than s?
False
Let a = -42 - -41. Let w be (-27635)/49 + (a - -2). Let h = w + 563. Which is bigger: -1 or h?
h
Suppose 11*h - 88 = -11*h. Suppose 2*z - 8 = h*n, -6*n + n - 13 = -z. Is -9/5 at least n?
True
Let u = -0.27 - 88.73. Let n = -2023 - -2025. Which is bigger: u or n?
n
Suppose h = 7*h - 12. Let c(l) = -h*l - 17 - 3*l + 2*l + 25. Let a be c(3). Is -1 > a?
False
Let d = -325 - -513. Let y be (-1)/(-4) - 2*d/(-32). Suppose -y*i = 14 - 134. Which is smaller: 17/2 or i?
17/2
Let v be (9/(-11))/(2/4). Suppose -3*j - 9 = 0, -2*b + 24 = -4*j - 10. Suppose 0 = b*m + 3 + 8. Which is greater: m or v?
m
Let y be ((-2)/93*315/(-2100))/((-1)/12). Let o be 0/(3 + -3 + 2). Is o greater than y?
True
Let l(q) = q**2 + 41*q + 986. Let g be l(-32). Which is bigger: g or 696?
g
Let o = 0.12 + -6.12. Suppose 1923 + 252 = 25*x. Let g = -1307/15 + x. Which is bigger: g or o?
g
Suppose -2 + 4 = 2*i - s, -2*i - 2*s - 4 = 0. Suppose -5*q + 4*q - 16 = i. Let c = -633 - -618. Which is greater: c or q?
c
Let h = -92 - -102. Let c be 5 + -1*h/(-5). Suppose 0 = 6*p + p - c. Which is smaller: p or -1/26?
-1/26
Let i = -839.491 - -839. Which is greater: i or -3?
i
Suppose 892 = 13*w - 239. Suppose 3*j + 18 = -5*p + w, p - 9 = -3*j. Which is smaller: 16 or p?
p
Let a = -352 - -384. Let m = -85.06 - -86. Let x = m - -0.06. Which is smaller: x or a?
x
Let w = 10940 + -10747. Is w greater than or equal to 188?
True
Let c = -203733/7 - -153840/7. Let y = c + 7139. Which is greater: y or 10?
y
Let a = 18565 - 18806. Is a at most as big as -227?
True
Let g = -2483/14751 - -16/99. Let l = -24896 - -24897. Which is smaller: l or g?
g
Let j(g) = -g**3 - 10*g**2 + 12*g + 9. Let p be j(-11). Let b be (-2 - p)*(-5)/(-20). Let z(x) = -x**3 + 2*x**2 - 2*x - 1. Let f be z(b). Is f < -3?
False
Suppose n = -4*l + 1267, -6*l = -4*n - 3*l + 4992. Is 1253 bigger than n?
True
Let q = 200.533 - -0.467. Let p = -234.4 + q. Is 0 less than p?
False
Suppose 2*b = -5*n - 11, 23*n - 21*n + 8 = -2*b. Is 3/403 > n?
True
Suppose -16*i + 361 = 3*i. Let f(w) = -39*w - 116. Let d be f(-3). Is i bigger than d?
True
Let o = -7 + 9. Let f = -939 + 1007. Let r be (7 - 91/14)/(o/f). Which is greater: r or 49/3?
r
Let q be 1*(-1 + 4*-1). Let i be -45 - (2/9 + 40/(-180)). Let w = 39 + i. Is w at most as big as q?
True
Let f = 1306 + -1310. Let b = -23 - -45. Let k be f/6*33/b. Which is smaller: -1/8 or k?
k
Suppose 100 = 5*j - 5*z, -j + 2*z = 2*j - 57. Let k = 26 - j. Let h be (-7)/((-105)/k) - (-14)/10. Is 9/4 at least h?
True
Suppose 0 = -5*c + 3*k + 1021, -2*c + 450 = 117*k - 113*k. Which is smaller: c or 192?
192
Let l = 55 + -83. Let t = -29.8 - l. Let x = t + 1.822. Which is smaller: x or -0.2?
-0.2
Let q = 101.2 + -15.2. Let r = q - 76. Let x = r + -9.9. Is 74 less than x?
False
Suppose -45 = 4*b - t, -b - 3*b - 40 = 4*t. Suppose 15*f - 16*f = -24. Suppose 424 = -f*m + 112. Are m and b nonequal?
True
Let d = 5564/5 - 1112. Let n = -12/7 - -46/35. Let m = d + n. Is m not equal to 51?
True
Let c be (-989904)/(-400)*18/4455 - 10. Is -1 at least c?
False
Let w = -380 - -380. Suppose -13*j + 178 = 5*g - 16*j, w = 5*j - 20. Let i = 12 + 24. Is g greater than or equal to i?
True
Let l = -788 - -805. Suppose 16 = -h + l. Which is smaller: -1/155 or h?
-1/155
Let f = 55.4 + -186.4. Let h = f - -152. Do -5 and h have the same value?
False
Let n = 46 + -46.069. Let y = n + -27.931. Let k = 11 + y. Which is smaller: k or 1?
k
Let h be (12/54)/((-3)/(-216)). Suppose -65 = -h*y + 29*y. Is y at least -92/19?
False
Let o be (-244)/(-46421)*6/(-16). Does o = 0?
False
Suppose 1 = -4*n - 3. Let t be (13 - 0) + (2 - n). Let r be (-3375)/(-243) + 2/18. Is t at least as big as r?
True
Suppose -179*f - 172*f - 114 = -353*f. Suppose -4*x - 23 = 5*p, -p + x = 4*p + 13. Is p at least f?
False
Let y be 1588/(-5742) - ((-1884)/132 - -14). Suppose 5*c - 6 = -1. Which is smaller: c or y?
y
Let u = -618 