. Which is smaller: n or a?
a
Let p = 3.464 + -3.439. Which is smaller: p or 1.1?
p
Let n(j) = -j + 11. Let d be n(8). Let r = 490 + -983. Let z = -489 - r. Is d not equal to z?
True
Let h(k) = -436 + 9*k + 12*k**2 - k**3 + 446 - 41*k. Let a be h(9). Is a <= -33?
True
Let n(f) = f**2 - 5*f + 5. Let l be n(4). Let r = 960 + -890. Suppose -194*c + r = -180*c. Is c at least l?
True
Let f = -12196 + 60978/5. Which is smaller: 0.1953 or f?
f
Let m = -2789 + 2791. Is -68/7 bigger than m?
False
Let q = 29405/19 - 1548. Let t = 40/57 + q. Which is bigger: 53 or t?
53
Let h(q) = q**2 + 5*q + 5. Let a be h(-3). Let u(s) = 73*s**2 + 5*s + 5. Let i be u(a). Is i less than or equal to 73?
True
Let u be 2 + (-1)/2*-4. Suppose 4*d - 1 = -2*m - 5, 2*m = -d - u. Let q = -32462240/52300369 - 2/1803461. Which is smaller: m or q?
m
Suppose 4*c + 2*c = 78. Suppose 3*t = j + 3, -2*t - j = 3*t - c. Let v be (-1014)/3402 - t/(-7). Which is bigger: 0 or v?
0
Let b(o) = -o - 1. Let a be b(-4). Suppose 0*z - a*z = 0. Let u be (-8)/4 - 0 - 16/(-22). Which is smaller: z or u?
u
Let j(s) = 5*s + 2. Let p = 74 + -76. Let u be j(p). Let k be ((-12)/u)/(9/24). Is 8 at least k?
True
Let s = 81/11 - 438/55. Let i = -0.226 + -0.004. Which is greater: i or s?
i
Let r(x) = -10*x - 10. Let u be r(-2). Let l be 16/u - 42/70. Are l and 34 nonequal?
True
Let n(u) = -2*u**2 + u - 9. Let g be n(-4). Let w be 2613/g + 2/3. Let h = 57 + w. Which is greater: h or 0?
0
Let z = -3099697/6 + 517783. Let y = 1171 - z. Suppose -2*h - 20 = -6*h. Which is smaller: h or y?
y
Let i = -5944 + 1521665/256. Which is greater: i or -2?
i
Let i be (-6 - (8 - (15 + -2)))*-2629. Which is bigger: i or 2628?
i
Let l(a) = a**3 + 44*a**2 - 48*a - 128. Let t be l(-45). Let c be (-321)/(-27) - (t - 6 - -6). Let o = 9 + -3. Which is smaller: o or c?
c
Let u be -10 - -2 - (-4743)/(-93). Is u > -22?
False
Suppose 35*y = 48*y - 455. Is y less than or equal to 38?
True
Let t be 4/8 - (-98)/(-56). Let l(r) = 21*r + 167. Let h be l(-8). Is t at most h?
True
Let g be (16/5 + -2)*(-5)/(-2). Suppose 28 = -4*f - g*f. Let m be ((-10)/20)/((-326)/f). Do 0 and m have the same value?
False
Suppose 9*q - 187 = i, 4*i = -2*q - 319 - 125. Suppose -3*n = r + 536 - 183, -3*n - 2*r - 355 = 0. Which is smaller: i or n?
n
Suppose 0 = 12*l - 11*l + 11. Let n be 8*l*3/6. Let z(b) = -2*b**3 + b**2 - b + 3. Let k be z(3). Which is greater: n or k?
n
Suppose -51 = 2*v + x + 2*x, -3*x = -2*v - 21. Let p be (-1)/((1/3)/((-4)/36)). Which is smaller: v or p?
v
Let y(w) = w**3 + 13*w**2 + 4*w - 7. Let u be y(-9). Let c = 222 - u. Is -63 equal to c?
False
Let o be (((-135)/18 - -9) + 447)*-4. Is -1798 < o?
True
Let d = 4.02 - 0.72. Suppose -4*f + 16 = -8. Let i be 2 + (1 + -1)/((-6)/f). Which is smaller: d or i?
i
Suppose 4*g - 136 + 128 = 0. Suppose t - 3 = -4*y, 4*t - 12 = g*y + 3*y. Is y > -1/135?
True
Let m = 0.174 - 0.274. Let z = -3 + -20. Does z = m?
False
Suppose 0*d - 4*d - 8 = 0. Let l be 0 + d - 84/(-35). Let n = 0.58 - -49.42. Which is smaller: n or l?
l
Let w(g) = 11*g + 3. Let i be w(-3). Suppose -499*v = -181 + 13654. Which is bigger: i or v?
v
Let h = -21 - 0. Let f be 81/84 - (-1 + (-15)/h). Let d be 26/195 - 2/6. Is f at most d?
False
Let z = -195 + 194. Let u be -1 + -4 - ((z - -9) + 4). Which is bigger: u or -20?
u
Let k be ((-618)/16)/(((-15741)/(-848))/(-99)). Suppose 0 = -5*f + 1075 - 40. Which is greater: k or f?
f
Let c = 336 + -332. Suppose 0 = -w - 4*o + c, -5*w + 31 - 36 = -5*o. Is w < -1/867?
False
Let y = -1639 + 1053. Let u be (-5270)/y + -3 + -6. Is u < -1?
False
Let j be (-2)/(4 + 1932/(-486)). Let o = 575/7 + j. Which is greater: o or 0?
o
Let y be 2/12 + ((-8488)/(-336) - 26). Let o = 32 - 14. Which is smaller: o or y?
y
Suppose -22176 = -461*j + 629*j. Suppose -y + 4 - 1 = 0, y = 5*v - 657. Let o = j + v. Is o smaller than 2/31?
True
Let l be 1/(9/(-12)) + (-61)/(-3). Let h be (6/4)/(l/(-114)). Which is bigger: h or -68/7?
h
Let c(x) = 2*x**3 + 42*x**2 - 19*x - 191. Let u be c(-22). Is -741 less than or equal to u?
True
Let c = -5421 - -5512. Which is smaller: 87 or c?
87
Let l = -162967/32 - -5105845/608. Let y = -3306 + l. Is 0 at most as big as y?
False
Let x = 66.3468 - 66.46. Which is bigger: x or 2?
2
Suppose 75*g - 74*g = 36. Suppose 23*i = 29*i + g. Is -6 greater than or equal to i?
True
Let h(i) = -i**3 + 7*i**2 - 5*i - 4. Let m = -27 + 33. Let u be h(m). Suppose -u*r - 6*r = 56. Are -6 and r equal?
False
Suppose 0 = -4*m - 2*m - 720. Let t = 364/3 + m. Let x be 0*(10 - 5)/(-10). Which is smaller: x or t?
x
Let m be (55/(-99) - -1)/((-2)/9). Let p be 1/((-1 + 2)/5). Let g be (-3)/(-4)*(-16)/p. Is m <= g?
False
Let l = 313 - 314. Let h be 1350/(-216) + 1*l/(-4). Is -23 not equal to h?
True
Suppose -2*n = -3*n + 75. Let b = n + -35. Suppose 9*q = 14*q - b. Do 8 and q have different values?
False
Let r = -2050/3 + 7229/6. Are r and 521 equal?
False
Let n be (-4)/6*(-105)/4550*-15. Which is smaller: -16 or n?
-16
Suppose 0 = -2*a - 14, 48*a = -5*j + 45*a - 641. Which is bigger: -115 or j?
-115
Let l be 5*3/9 + -1. Let w = -222 - -375. Let z = w + -134. Which is smaller: z or l?
l
Let j be (6/5)/(7/(-10)). Suppose 24 = 4*h - 36. Let w(m) = -m**3 + 13*m**2 + 38*m - 121. Let o be w(h). Which is smaller: j or o?
j
Let d be (-1)/(-1 + 3/6). Suppose -4*g = -5*m - 54, m + d*g + 8 = -0*g. Let v = -2833/3 - -934. Is m >= v?
True
Let j = -11293 + 22583/2. Is 120.2 greater than j?
True
Suppose -2*s + 25 = -5*x - 2, -4*s + 5*x + 29 = 0. Let w = 1325/139253 + -2/1063. Do s and w have the same value?
False
Let s = 5332.11 - 5332. Which is greater: s or 82?
82
Let p(h) = h**3 - 31*h**2 - 926*h + 40. Let i be p(49). Which is smaller: -2117 or i?
-2117
Let c be (3/(-60))/((-14606)/1005). Is -1 at most c?
True
Let f be (-155 + 88)*((-5)/(-1) - 3)*2. Which is smaller: -4 or f?
f
Let k be 327/9 + (14 - 516/36). Let c(x) = 34*x**2 - 2*x - 1. Let o be c(-1). Is k at most o?
False
Suppose 157 = 80*q - 81*q - 2*w, 4*q + w + 572 = 0. Is q less than -111?
True
Suppose -2 = -1590*o + 1592*o. Let p be 329 + -65 + (-1 - o). Do 265 and p have different values?
True
Let r be (-1501)/(-501) + 7 + -10. Let u = -1455 + 1455. Which is smaller: r or u?
r
Let o = -0.05121 + -0.04879. Which is smaller: -18/107 or o?
-18/107
Let w = -27330.1 + 27330. Let c = -26.5 - -27.59. Let y = c + 0.21. Which is smaller: y or w?
w
Suppose 0 = -4*z - 3*v + 5 - 2, 4*v = -4*z. Let u = 1.65 + -1.73. Is z < u?
False
Let m(i) = 3*i**2 + 3. Let l be m(-2). Let h be l/(-8) - (-3)/(-24)*-2. Let w = h - -1/8. Which is greater: w or -0.13?
-0.13
Let l = -118.664 - -117. Let p = -0.574 - l. Are -1 and p unequal?
True
Suppose -3*i - 2*i + 9*i = 0. Let b = 38/691 + -10429/227339. Which is greater: i or b?
b
Let n = -1918 + 512108/267. Let o = n - -176/267. Let s = 16 - 37. Which is smaller: s or o?
s
Let h be ((-10)/3)/(16/24) - -11. Let i be (9 + 62/h)/((-2)/(-15)). Which is bigger: 144 or i?
i
Let m be (6/3)/((-4)/4). Let j = 60 + -56. Let k be 9/(-6) + -2 - j/(-16). Is m at least k?
True
Let o = -27927/88 - -3000/11. Which is smaller: -45 or o?
-45
Suppose -4*a - 9 + 9 = 0. Suppose a = -c + 5*d - 8 + 3, d = 3*c + 15. Let t be 91/135 - 1 - 2/c. Does t = -1?
False
Let n be (-4)/18 - 330/(-27). Let t be ((-4)/n)/(2/6). Let v be 5 + -1 + t + (10 - -1). Which is bigger: -0.1 or v?
v
Let p = 38 - 23. Suppose 8*g + p = 11*g. Suppose -3*f = a - 27, 0*f + 5 = -f - g*a. Which is greater: f or 66/7?
f
Let b = 0.046 - 72.046. Let a = 0.0247 + -75.0247. Let x = b - a. Is x at most 2/11?
False
Let b = 936.6 + -936.7325. Which is smaller: b or -1?
-1
Let y = -54.45 - -54.25. Let x = 0.06 - -0.34. Is x smaller than y?
False
Let r be (7258/(-38))/((-3)/(-6)). Is -5/7 > r?
True
Let c be 6/105 - (-12815)/(-233450). Which is greater: -1 or c?
c
Let s be 1/(-29) + 8173737/(-22707). Suppose 0 = -0*i - 3*i + 2*w - 1083, -i + 3*w = 361. Is i > s?
False
Let f(l) = -2*l**3 + 49*l - 11. Let q be f(-5). Which is bigger: -5/9 or q?
-5/9
Let t = -0.23296 + 0.19796. Which is greater: -113 or t?
t
Suppose 0 = -5*w - 2*q - 676, 45*q = 5*w + 44*q + 697. Which is bigger: w or -1/5?
-1/5
Let q = -298 - -73. Let u = q - -164. Which is greater: u or -1?
-1
Let q = 24 + -16. Suppose 7*x = -547 - 510