 be (-20 - -23) + (-2 - 6)/(14/7). Which is bigger: -97 or h?
h
Let l(s) = 504*s + 10. Let m be l(4). Let w = m - 6170/3. Let k = 31 + w. Which is greater: -10 or k?
k
Let d be (34/(-56) - (-39)/52)*(-7)/(-4). Which is smaller: 445 or d?
d
Suppose 13 = -3*p - 107. Let t be (2/(-10))/((-5)/p*4). Is -7 bigger than t?
False
Let r = 598/209 + -152967/60401. Is r >= 1?
False
Let q = 2143 + 484. Let x = q + -23563/9. Let d(z) = -z + 2. Let r be d(-6). Which is greater: r or x?
x
Let z = -0.344 - -0.344. Suppose -8*f = -3*f + 25. Let x be ((-10)/(-8))/f - -1. Are x and z equal?
False
Let t = 270 + -250. Let o be t*((-20)/96 + 0) + -4. Which is smaller: -8 or o?
o
Suppose 0 = -i + 2*i + 3*t - 2, 2*i - 3*t = 22. Let d = 8 - i. Let n be (0 - (0 + (-2)/4))*d. Is n greater than or equal to -1/4?
True
Suppose 0 = 3*p + 93 + 63. Suppose 2*m + 3*c = -105, -3*m - 156 = 22*c - 19*c. Which is greater: p or m?
m
Suppose 84*r + 90 = 83*r. Let m = r + 81. Which is greater: -10 or m?
m
Suppose 133*h - 123*h = 0. Is h >= 1/217?
False
Let r = -8 + 5. Let y(d) = -d**2 + 8*d - 16. Let a be y(4). Suppose 52*c - 55*c - 9 = a. Does c = r?
True
Let m = -3/73 + -6634/219. Let c = m - -30. Let f be (-1)/(-6)*((-216)/(-30))/(-6). Which is smaller: c or f?
c
Suppose 4*f + 2*p = -190, -3*f - 65*p - 146 = -63*p. Is -53 at least as big as f?
False
Let k = 57 - 176. Let i = k + 119.4. Suppose -3*d + 0 = 6. Is d smaller than i?
True
Suppose -4*h = r - 602, 22*r - 19*r - h - 1767 = 0. Are -17 and r non-equal?
True
Let l be 2/3 + 23/6. Suppose 0 = -4*x - 2*u + 15 + 11, -5*x = u - 34. Suppose 7*i = 7 + x. Which is smaller: l or i?
i
Let v = -4.742 - -4.942. Is 809 not equal to v?
True
Suppose -124*n - 64338 = -24*n - 414438. Is -1/3 at most n?
True
Let c(k) = -2*k**3 - 4*k**2 + 5*k. Let y be c(3). Let w be ((-176)/(-10))/(11/(-10) - -1). Let p = 101 + w. Are y and p nonequal?
False
Let p be -183*1912/12 + 57 + -53. Is p bigger than -29154?
False
Let f = -0.05 - -3.05. Let x(w) = 73*w - 1225. Let u be x(17). Is f smaller than u?
True
Let p(b) = 5*b**3 - 7*b**3 - 11*b**2 - 11 + b + 3*b**3. Let n be p(11). Is n at most as big as -2/357?
False
Let p = -0.1 - 0. Suppose 87*v - 86*v + 339 = 0. Let h = v - -315. Is h bigger than p?
False
Let g(v) = 9 - 2 + 9 - 1 + 20*v. Let l be g(0). Which is smaller: 17 or l?
l
Let f = 1831/225 - 209/25. Is f <= 61?
True
Let p be (552/51 - 10)/19. Is -1 >= p?
False
Let r = -592 - -556.6. Let c = 35.6 + r. Is 7.6 at most as big as c?
False
Let i = -8398 - -8407. Which is bigger: i or 15?
15
Let n(t) = -t + 6. Let z be n(22). Let p be 6/4*(z/3)/(-4). Suppose -5*x - p*s + 0 = -5, -x + 1 = 2*s. Is 16/9 > x?
True
Let t be (-28 - (4 + -30))*((-5)/2 + 1). Is 17/5 != t?
True
Let p(r) = -172*r - 19. Let f be p(-3). Let l = f - 497. Are l and 0 nonequal?
False
Let n = 0.66525 + 115.36075. Let u = 116 - n. Are -3/2 and u non-equal?
True
Suppose 108 + 76 = 17*p + 201. Is p < 4/1233?
True
Let l be 1212/(-132) + 9 - 6/(-198)*-159. Are l and -97/10 nonequal?
True
Let w = 5036.44 - 5035. Which is smaller: w or -3?
-3
Let g = 103183/55 - 1876. Suppose -5*a = -0*a. Is a at least as big as g?
False
Let d = 1376.6 - 1377.6. Which is bigger: d or 0.12051?
0.12051
Suppose -7*s + 148 = -4*d, -11*d + 140 = 5*s - 7*d. Is s at most as big as 159/7?
False
Let x(d) = 2221*d + 9. Let k be x(-9). Let v be 2/(-6) + 0 - 6714/k. Is -1 < v?
True
Suppose -11*y + 10 = 1033. Is y greater than -107?
True
Let s = -2/3831 - -166437/2554. Which is bigger: 64 or s?
s
Let c = -0.03705 + 2729.03705. Which is smaller: c or 2?
2
Let c = -95 + 26. Let n = -3297 - -3370. Let v = c + n. Which is greater: v or -2?
v
Suppose -44 + 59 = 5*p. Suppose -2*g - 4 = 4*z, p*g + 6 = 2*z - 3*z. Let o = -15.7 + 2.7. Is o greater than or equal to g?
False
Let i be 2/(-5)*1 - 1716/(-15). Suppose -i*u + 109*u + 180 = 0. Let f be 4/7 + 1 - u/63. Is -8/21 at most as big as f?
True
Suppose -f + s = 49 - 46, -5*s + 6 = 4*f. Which is greater: -11/525 or f?
-11/525
Suppose -17*f + 11 = 28. Suppose 5 = -2*u - 1. Let g be u/1 + (-148)/(-56). Is g smaller than f?
False
Let t = 19477/783 + -680/27. Which is bigger: t or 1?
1
Let j be 25 + -20 + 38/(-8) + 27 - -3. Suppose -6*s - 82 + 256 = 0. Which is bigger: j or s?
j
Let h = 426.632 - 0.632. Let o = 426.2 - h. Let q = -30 + 59/2. Is q > o?
False
Suppose 0 = -11*j + 4*j + 329. Suppose 0 = -5*o + z + 62, 3*o + 5 = 3*z + j. Let k be -27 + (o/(-10))/(2/(-5)). Is -25 bigger than k?
False
Let f = 1389/3560 - -7/712. Suppose 0 = 4*c - 3*k - 483, -4*k = -4*c - 0*k + 484. Which is greater: c or f?
c
Let r be (-10879)/(-301) + (-1)/7. Suppose -8*f + 5*f + 5*l = -87, -f + 19 = -5*l. Is f bigger than r?
False
Suppose 0 = 2*w, 0 + 3 = s + 3*w. Let p be (s + -1)/4*250 - 3. Suppose 4*m + p - 126 = 0. Which is smaller: m or 1/41?
1/41
Let t be 6*(-4 + (-65)/(-10)). Suppose 45 = 5*w + t. Let i = w + 8. Are 25/2 and i unequal?
True
Suppose -24*c = -23270 - 3922. Let z = 1132 - c. Let q = 134/21 + -929/147. Is q greater than z?
True
Let j be 10654/(-26460) - 2/(-5). Is -1 <= j?
True
Let a be (1 + -2)/(-180 + 183). Which is bigger: 132 or a?
132
Let m be (-6)/5*(-8)/(-108). Let v(x) = x**2 - 5*x - 6. Let n be v(6). Which is smaller: n or m?
m
Let f = -256.87 + 254. Let l = -0.13 + f. Let s = -528.03 + 528. Which is smaller: l or s?
l
Let b = 347.5 + -345.5. Which is smaller: 40 or b?
b
Let t be (-75784)/(-42) - (60/(-735))/((-8)/(-28)). Which is smaller: t or 1806?
t
Suppose -51*s = -144*s + 246428 + 217549. Is s less than 4988?
False
Suppose 0 = 5*z - 2*c - 72, -4*z + 24 = c + 3*c. Suppose -3*t - 2*r - 17 = 15, -4*t + 5*r = 35. Let b = t - -22. Is b at most as big as z?
True
Let t(g) = -g**2 + 59*g - 379. Let j be t(56). Are -213 and j unequal?
True
Let n(d) = -17*d**2 + 5*d + 1. Let u = 323 - 320. Let w be n(u). Which is greater: -138 or w?
w
Let w = -266918 - -1074485/4. Is 1703 >= w?
False
Let f = 1419 - 961. Let n = f + -17405/38. Let q = 2411 - 2412. Which is greater: n or q?
n
Let h be (124/(-48))/((-3)/(-6)). Let n = h + 11/30. Suppose -2*j = -950 + 962. Is j at most n?
True
Let w be (-5)/45*(-13)/(78/(-12)). Is w at most -720?
False
Let w = -1290909/25 - -51643. Let y = -26/25 + w. Which is smaller: y or 7?
y
Let y = 167.2 + -167.2. Which is smaller: y or 1.85?
y
Let l = 49 + -39. Let t be -1 - -2*(3 + 292/104). Is l bigger than t?
False
Let p = -36.2998 - -0.0998. Which is smaller: -3/2 or p?
p
Suppose -3*b + b + 205 = -5*r, 3*b - 210 = 5*r. Let p = -39 - r. Suppose p = 160*c - 158*c + 50. Which is smaller: -122/5 or c?
c
Let k = 3.21 + -139.21. Let t be -1 + -4 + 2 + 26 + -22. Is k not equal to t?
True
Let w = -18.892 - -19.892. Let y = 172 - 306. Is y greater than or equal to w?
False
Let r be ((-2)/(-1425))/((-2)/10). Suppose 1232*o = -358*o - 1590. Which is smaller: r or o?
o
Let j = 11623 + -11814. Is j at most as big as 2/37?
True
Suppose -28 = -5*m - 3. Suppose 3*r + 2 = y, -m*y - 11*r - 10 = -6*r. Which is smaller: 2/9 or y?
y
Let p = 819 + -1393. Let j be 28/(-182) - p/13. Let a(n) = 43*n**3 + n**2 - 3*n + 3. Let y be a(1). Is y at least as big as j?
True
Let x(t) = -t**3 + 15*t**2 + 15*t + 16. Let m be x(16). Suppose m = 5*a - 2*i - 2, -4*a + 5*i = -3*a - 5. Which is smaller: -2/241 or a?
-2/241
Let m = -41.4105 - -0.4105. Which is bigger: m or -7?
-7
Suppose 1073 = 652*m - 630*m - 48515. Is 2/3 >= m?
False
Suppose -3*n + 5*z = -22, -5*n + 2*z = -z - 10. Let o be -1 + 5 - (n + -4)*-1. Which is smaller: o or 3/272?
o
Let d = -2980 + 2930. Is d != -15?
True
Let o = -2211/32 - -97559/1440. Let t = o + 9/10. Is t at most -2/15?
True
Suppose -3*h = -g - 6, -2*g = g + 5*h - 24. Suppose -d - 21 = 5*t + g*d, -4*t + 8 = -3*d. Let x be 7/14 - 110/212. Which is greater: t or x?
x
Let r = 2194 + -1558. Let w = 1213 - r. Is w greater than or equal to 2/7?
True
Let q(p) = 4*p + 68. Let h be q(-15). Suppose h*u - 11*u - 330 = 0. Which is bigger: u or -108?
-108
Let l be 9653/14 - (3/(-6) + 0). Let j be (-2)/4*l/25. Let c = 56/5 + j. Are 2/9 and c non-equal?
True
Let k = 271/33 - 23/3. Let z be 35/20 + 1/4. Suppose z*b = -3*b. Are k and b equal?
False
Suppose -29*u - 106*u - 4411 - 2339 = 0. Let i be 1107/(-21) - (-2)/(-7). Which is bigger: u or i?
u
Let q = -13/40 - -1/8. Let k = -0.3989 