 is smaller: u or m?
u
Let u = 8 + -6. Let m = -25.508 - -25.5. Let i = -0.088 - m. Is i <= u?
True
Let m(n) = -8*n - 6. Let d be m(-3). Let t be (-8)/10*45/d. Let i = -13 - -17. Which is smaller: t or i?
t
Let b = 1.24 + -0.24. Let s = 973 - 1017. Is b <= s?
False
Let r(o) = o. Let u(n) = 5*n + 4. Let h(y) = 15*y + 11. Let d(j) = 2*h(j) - 7*u(j). Let k(f) = -d(f) - 4*r(f). Let p be k(6). Is p != 12?
False
Suppose 5*r = 4*g - 358, -153*g + r = -148*g - 416. Is 89 <= g?
False
Let h = -338 - -214. Let y = 124 + h. Is 12/31 >= y?
True
Let o = -29.312 + 0.412. Let a = 29 + o. Let y = -109/3 - -52. Does y = a?
False
Let v be (-2022684)/(-25174050) - 4/50. Which is greater: v or 1?
1
Suppose -6*c - 1076 = 634. Let l be ((-1)/(-1))/((-7)/c). Which is greater: l or 40?
l
Suppose -16 = 5*k - 26. Suppose 0 = -3*s - z - 20, -s = z + 2 + k. Suppose 5*q + 36 = q. Is s < q?
False
Let p be (42921/(-10488) - (-1 + 5)) + 8. Does p = 2?
False
Let s = 19 + -18.9. Let n = -47 + 34. Let f = n + 13.04. Is s at most f?
False
Suppose -4*u - 6 = 3*b - 5, 8 = u - 2*b. Let j be 2/(-15) - (u - 1428/(-90)). Which is bigger: j or -0.1?
-0.1
Let h = 1822282301/9501 + -191799. Do h and 1 have the same value?
False
Let h be 2/37 - (-9 - -9). Let y be (-9 - 1)*(-3 - -4). Let l be (y + 10)*2/4. Which is bigger: l or h?
h
Let r = -14 + 15. Let l be r + -3 - ((-469)/63 - -5). Let h = -52 + 52. Which is bigger: h or l?
l
Suppose -2*p = -5*v - 900, p = 5*v + 1136 - 231. Let k = v - -172. Is k at least as big as -9?
False
Let n be 2118/(-1) + (-24 - (2 + -17)). Is n at least as big as -2130?
True
Suppose -95 = 25*m - 26*m. Suppose 0 = 2*f + 97 - m. Let v = -46333/78 + 594. Is f > v?
False
Let d(w) = 2*w**3 + 36*w**2 + 3*w + 24. Let j(p) = p**3 + p + 1. Let q(r) = -d(r) + 4*j(r). Let g be q(18). Suppose -s - 6 = -3*s. Is g != s?
True
Suppose -4*t = -14*t + 40. Suppose -5*q - 5*i = 15, t*q - 3 = q + i. Suppose 30 + 0 = -5*o - 3*z, q = o + 5*z - 16. Is o bigger than 3?
False
Suppose -6*f - 25 + 957 = 32. Is 151 less than f?
False
Let s = -456.0115 + 456. Let c = s - -0.0515. Is c greater than or equal to -0.1?
True
Let j = -914 - -52096/57. Let f be (-11)/(-1) - 2 - (-6 - -8). Suppose 0 = 2*v + 4*s, 5*v - f*s = -4*s. Which is bigger: j or v?
v
Let l = -60 - -84. Let n be 5/(35/l) - 3. Let c = n - 61/126. Is c less than -1?
False
Let j(x) = x**3 - 16*x**2 - 49*x - 36. Let b be j(19). Which is bigger: b or 111?
b
Let r = 214.2 - 219. Is 7/3 less than r?
False
Suppose -4*u + 1804 = -3*p, 3*p = 2*u + p - 904. Let j = 448 - u. Let v = 628 - 60915/97. Is v not equal to j?
True
Let t = -364.518 - -362.8. Which is bigger: t or -6?
t
Suppose -372*k - 1170 = -363*k. Let c be 462/(13/(k/(-15))). Which is greater: 309 or c?
309
Let m be (5/(-4))/(10/(-1960)). Suppose 3*i - 17 + m = 0. Let c = 80 + i. Are 4 and c equal?
True
Suppose -8*q = 2*q - 320. Let j(y) = 2*y + 10. Suppose -6*w = -56 - 4. Let u be j(w). Which is greater: q or u?
q
Let v be (-5 - -14) + (-32)/8. Suppose v*r - f = -460, f + 276 = -3*r - 4*f. Is r >= -93?
True
Let a = -3194 - -3192. Which is smaller: 1251 or a?
a
Let g = -24 - -17. Let i be (30/12)/(-1 - 5/(-6)). Let t = 12 + i. Is g at least t?
False
Let o be 50/3*(4 + (5 - 6)). Let b be 1/((-1)/o*-2). Suppose 2*h - 7*h - b = 0, 3*u = 4*h + 59. Are 14 and u non-equal?
True
Let s(h) = 44*h - 48. Let o be s(8). Suppose -3*i = i - o. Which is smaller: 75 or i?
75
Let z = 3696 + -3779. Which is smaller: -497/6 or z?
z
Let q be 143880/((-77)/(-7)) + -11. Which is smaller: 13068 or q?
13068
Let p = -53 + 26. Let a = -6777 - -6751. Is p at least as big as a?
False
Let p = -159 - -133. Let j = p - -32. Is 10 greater than j?
True
Let r(o) = o**2 + 25*o - 435. Let d be r(12). Which is greater: d or -3?
d
Let s be (3/(-6)*-2)/(5/10). Suppose 7*w - 10*w + 3*v - 33 = 0, s*w = v - 27. Is w greater than -17?
True
Suppose 2*j = 4*j + 4*d + 1094, -5*d - 562 = j. Let t = -631 - j. Which is smaller: t or -95?
-95
Let u = -4073 - -5161. Is u >= 1087?
True
Suppose 718 + 227 = -5*h. Let u be (8/2454)/(126/h). Which is greater: 1 or u?
1
Let l = 3 + -2.9. Let m = l + 0. Let r = 448.64 - 467.64. Which is greater: m or r?
m
Let d(y) = -y**2 + 30*y - 100. Let m be d(5). Suppose m*z - 45 = 280. Suppose 2*p - 30 = -2*x, 5*p + 3*x - 69 = -0*p. Is z at least as big as p?
True
Let o be (1/(-2))/((-429)/1170 - (-6)/(-45)). Is -17/81 >= o?
False
Let y(m) = -m**3 - 11*m**2 + 15*m + 168. Let n be y(-11). Suppose n*o - 590 + 650 = 0. Suppose 2*d = -2*d - 92. Are o and d equal?
False
Suppose -96 = 6*p - 9*p. Suppose 5*w - p + 92 = 0. Let m = -12 - w. Which is smaller: m or 2?
m
Let w = 172 - 35. Let m = w + -97. Let a be (-7)/((-145)/m + 3). Which is smaller: a or 11?
11
Let l = -16312 - -11331. Which is smaller: l or -4980?
l
Let m = 71.48691 + 0.01309. Which is bigger: 2/5 or m?
m
Let o = -11674 - -18375. Does o = 2/3?
False
Let r be (4/(-30)*-3)/((-282)/705). Which is greater: r or -24/59?
-24/59
Let v = -0.165 + 4.365. Let g = -4.3 + v. Let j = -356 - -4625/13. Which is smaller: g or j?
j
Let d = 0.01 + 0.59. Let v = d - 1.5. Let y = 9.79 - 8.79. Is y at most as big as v?
False
Suppose 3*l - 5 = 4. Suppose 2*a = -3*u + 2*u - l, 3 = -3*a - u. Suppose -3*j = v + 3*v - 22, -v - 2 = a. Which is bigger: 0 or j?
j
Let b = -57033 + 14258271/250. Which is smaller: 1 or b?
b
Let d = 3649 - 3777. Which is smaller: d or -120?
d
Let q = -29 + -3809. Is q less than -3839?
False
Let s = 19/2235 - 104951/12871365. Let i = s - 103696/97903. Is -2 at most i?
True
Suppose 744 + 432 = -89*s - 9*s. Which is smaller: s or 0.381?
s
Let k = 328/1963 + -2/151. Let i = -7.34 - -7.36. Which is greater: k or i?
k
Suppose -40*v = -44*v + 324. Let c be ((-40)/(-102))/((-54)/v). Which is greater: -1 or c?
c
Let m = -2149 + 27955/13. Suppose -20 = -o + 5*x, -3*o + 5*x + 1 = -19. Let j be o/(4/10 + 6/10). Which is smaller: m or j?
j
Let n = -5925.8573 + 5926. Which is smaller: 0.4 or n?
n
Let h be ((-244)/610 - 4/(-10))/1. Which is smaller: -1283 or h?
-1283
Let y = 4611 + -2887. Is 1724 at most y?
True
Let q = -8/233 - -1098/18407. Let v be (-8)/(-6)*13/(156/(-6)). Are q and v unequal?
True
Suppose 1052 = -2*x + 6*x + 2*z, 4*x + z - 1048 = 0. Let k = -261 + x. Is 5/57 smaller than k?
False
Let g = -12249 + 12276. Which is smaller: g or -29?
-29
Let k = 3829 + -3811.83. Let f = 2.17 - k. Does f = -0.01?
False
Let r = -0.161 + -0.183. Let a = r + 0.044. Which is greater: 33 or a?
33
Let d be 1*8*(-6)/(-8). Let j(q) = -2*q**2 - 55*q - 11. Let w be j(-24). Let i = 160 - w. Is i less than or equal to d?
True
Let h = 18.3 + -2.3. Let b = -120 + 96. Let j = 23.9 + b. Which is smaller: j or h?
j
Let v = -217 + 215. Let f be v/(-7) + (-58)/56. Is f >= -4?
True
Let y = -4721 + 4776. Is y at least as big as 936/17?
False
Let j(q) = -q - 4. Let h be j(-1). Let w = -2/327 + -9784/4251. Is h >= w?
False
Let z = -83 - -251/3. Let j be 1642/(-10) - (101 + -104). Let p = j + 160. Is z != p?
True
Let w = 487672/897 - 1631/3. Is -1 greater than w?
False
Let m = -4.851 - -0.851. Is 103 less than m?
False
Let h be (-161)/(-21)*(16 + -17). Which is bigger: -2 or h?
-2
Suppose 15 = -8*r - 9. Let v be -4 + r + 3 - 2. Let w = 43 - 48. Which is smaller: v or w?
v
Suppose 0 = -2*c - 2*w, -c + 7 = -w - 1. Suppose -c*g + 2*n + 17 = n, n = -3*g + 11. Which is smaller: g or 3?
3
Let g(h) = 5*h**2 - h + 1. Let t = -66 + 67. Let x be g(t). Suppose 2*c + x*o + 3 = 0, -3*c = -8*c + o - 75. Which is greater: -12 or c?
-12
Suppose -170*z = -26*z - 1022688. Is z greater than -0.1?
True
Suppose -d + 5*d + 2 = -h, -h + 3*d = -5. Suppose 0 = -0*r - h*r + 3*p + 41, -4*p = 12. Suppose -39 = -19*g + r*g. Is g >= 13?
True
Let h = 18170 - 18017. Are -28 and h equal?
False
Suppose 0 = -4*c + 4*n + 16, n + 6 = 3*c - 0*c. Let u be -4 - (-2933)/532 - c/4. Is 0 != u?
True
Let k = -24 + 73. Let q = 85 - k. Let s = q - 31. Which is greater: 4 or s?
s
Let t(q) = q**3 - 9*q**2 + q. Let k be t(8). Let h be 8/2 + (-4)/(-4). Suppose 5*b + 152 = g - 126, -3*b - 180 = -h*g. Are k and b equal?
False
Let g = -240592107348951/1703134190381530 + -55/1761018881. Let z = -1/11378 - g. Which is bigger: z or 0?
z
Let f = 1088/3 - 1336069/3684. Which is smaller: 1 or f?
f
Suppose -50*t + 53*t = -4*a - 5