*s - 35. Suppose w + 15 = -3*y - 9, -3*w + 19 = -4*y. Is b less than y?
False
Let v = -1.2 - -0.2. Suppose -3207*t - 5*p - 133 = -3206*t, -4*p = -4*t - 556. Which is greater: v or t?
v
Let m(k) = -k**2 + 18*k - 3. Let t(v) = -4*v - 14. Let p(o) = 2*o**2 - 13*o - 15. Let g be p(7). Let f be t(g). Let l be m(f). Is l less than -2?
True
Suppose 4*k - 9 - 3 = -4*y, 5*y = k - 33. Let s be (5 - (-19)/2)/(4/k). Which is smaller: s or 27?
27
Suppose -29*z + 28*z + 3*k + 21 = 0, 3*k = 5*z - 117. Suppose -28 = -4*n - z. Does n = -6/43?
False
Let s(q) = q**2 + 3*q - 7. Let o be (48/40)/(1/(-5)). Let d be s(o). Let i be (-1 - -30)/(-12 + d). Is -29 != i?
False
Let z = 43.9511 + 0.0489. Is z >= -6?
True
Let g be 7/(-9) - 12/54. Let p = 429 - 295. Let x = p + -805/6. Which is smaller: g or x?
g
Let t(g) = -26*g - 54. Let h be t(4). Let q = 157 + h. Are q and -3/34 non-equal?
True
Let k be -2 - (585 - (-2 + -1 - -5)). Let l be 30/24 - k/12. Suppose -75 = -w - 25. Is w > l?
False
Let r be 2/8 - (144/40)/((-56)/(-2135)). Suppose 3*a + 530 - 122 = 0. Which is bigger: a or r?
a
Suppose -7*n + 15 + 13 = 0. Let y be (((-552)/(-330))/(-1))/(n/90). Is y less than -39?
False
Suppose -4*z + 13 = 9. Let v be z/(1/(4/108)). Suppose -o = -4*m + 4, 3*m - 2*o = -5*o + 3. Which is smaller: m or v?
v
Let j = -11.9 + 69.9. Let r = j - 59. Let d = 0.14 + -11.14. Which is smaller: d or r?
d
Let u be -18 - 42144/(-264) - 4/(-11). Which is smaller: 146 or u?
u
Let f be -1*(-51)/6 + 4/8. Suppose -5*u = -4*w - u + 44, 4*w + 3*u = f. Is w at least as big as 43/9?
True
Let i(t) = -9*t**2 + 109*t - 103. Let y(g) = 4*g**2 - 55*g + 50. Let v(s) = -6*i(s) - 13*y(s). Let m be v(-30). Are m and -62 non-equal?
False
Let p(b) = -4431*b - 1880. Let v be p(-2). Which is smaller: v or 6983?
v
Let g be 220/4*174/(-435). Suppose -2*o = -0*o - 30. Let f be (-6)/o + 216/(-10). Are f and g non-equal?
False
Let g be (-6)/27*-9*4 - -317. Do 325 and g have the same value?
True
Suppose 0 = 51*y + 101 - 101. Is 2/1095 > y?
True
Let c be 15*175/120 - 5/10. Which is greater: 21 or c?
c
Let b = -178315631/1047 - -170311. Is -1 bigger than b?
False
Suppose 4*z - 3*z = 8*z - 7. Which is bigger: -2/21067 or z?
z
Let b(h) be the second derivative of -h**5/20 + 2*h**4/3 + h**3 - 18*h**2 + 6*h + 5. Let m be b(8). Suppose 4*y + 5 = 57. Which is smaller: m or y?
m
Let b = 13.0755 + -0.0755. Is -7 <= b?
True
Let w be 21/(-23) - (-32)/(-368). Let q be (w/(-5))/(66/16005). Which is bigger: q or 48?
q
Suppose 4*k - 34*k - 2760 = 0. Which is smaller: -103 or k?
-103
Suppose -4*i = -8, -5*d + 3*i - 16 = 10030. Which is smaller: -8033/4 or d?
-8033/4
Suppose -5*o + 2*t - 3*t + 552 = 0, -2*t = -4. Let j be (60/33*(-7381)/(-366))/((-2)/6). Let i = o + j. Is i <= 1/162?
True
Let b be (2 - 306)*437/(-76). Suppose -35*h + 12*h = b. Is h smaller than -76?
False
Let j be 2/51*-133 - -5. Let q = -22/51 + j. Is q > -2?
True
Let t = 49 - 49. Let n be t + (0 - 1) - (-1812)/132. Let x = n + -3511/275. Which is smaller: x or 0?
x
Suppose -3*s = 3*k + 129, 28 = -244*s + 248*s. Which is smaller: k or 1?
k
Let r be (-12)/(-10) + (-102051)/(-3045) - -9. Which is smaller: 45 or r?
r
Let j = -0.01 - 0.09. Let k = 33725 + -33589. Is k at most as big as j?
False
Let n = -41.548 - 1.332. Let d = n + 43. Let a = 1.88 + d. Is 0.23 less than or equal to a?
True
Let m(h) = -1 - 7*h**2 + 6*h**3 - 7*h**3 + 12*h**2 - 1 - 8*h + 0*h**3. Let r be m(8). Is -260 greater than r?
False
Suppose -f - 7 = -3*z, -3*f - 1 = -2*z - 8. Suppose y = z*b + 201, 46*y = -5*b + 48*y - 249. Which is bigger: -2/3 or b?
-2/3
Suppose 11*o - 430 = -78. Suppose -17 = -x + 2*q, 2*x + q - o - 2 = 0. Which is greater: x or 123/7?
123/7
Let v = -21 - -149. Let n be -8*(-24)/v*56/(-6). Is -59/4 greater than or equal to n?
False
Suppose -13*t - 3*x - 7 = 0, -13 + 10 = -t - 2*x. Which is smaller: t or 13/426?
t
Let a = -840 + 1614. Are 1547/2 and a non-equal?
True
Let w(p) = 52*p + 1820. Let b be w(-35). Which is smaller: b or -5120?
-5120
Let x(q) = 62*q - 826. Let y be x(14). Does y = -112?
False
Let f be (-4592)/35 + (-90)/9. Is f at least -140?
False
Suppose 0 = 17*f - 2951 - 143. Which is smaller: f or 188?
f
Let c be (1 + (-500)/(-8))*2 + 4. Suppose -11*o + c = -265. Suppose 35*g - 1 = o*g. Do -1/3 and g have the same value?
False
Let s = -235969/7779 - -2/2593. Let k be (11*(-4)/126)/((-6)/(-531)). Let m = s - k. Is 2 smaller than m?
False
Let n = 744 + -744.0341. Let y = -299.9659 + n. Which is smaller: 1 or y?
y
Let f(q) = 7506*q**3 - 6*q**2 + 22*q - 16. Let o be f(1). Are o and 7506 equal?
True
Suppose 2*a - i - 183 + 40 = 0, 0 = -4*i + 4. Suppose -l = -g + 4*l + 19, 2*g + 4*l = -4. Suppose -4*q + 0*q - g*w + a = 0, 2*w - 93 = -5*q. Is q <= 19?
True
Let b be (-2)/(-10) - (-29)/((-3045)/11256). Is -107 at least as big as b?
True
Suppose 0*j - l - 2780 = -3*j, 5*l - 2804 = -3*j. Suppose -4*r - j = -0*r. Let m = 4873/21 + r. Is m at least as big as 0?
True
Let n = 21151/8 + -2651. Suppose i + 28 = -3*i. Which is greater: i or n?
i
Let t(v) = -2*v**3 + 8*v**2 - 5*v - 2. Let x be t(3). Suppose 7*f - 6*f = -x. Which is bigger: -2/927 or f?
-2/927
Let q = 15774 + -19939. Which is smaller: q or -4166?
-4166
Let m = -332 + 334. Suppose -1 = -v + m*o, 13*v = 12*v + 3*o + 1. Which is smaller: -12/101 or v?
-12/101
Let p(s) be the first derivative of -s**4/2 - 5*s**3/3 - 2*s**2 - 3. Let t be p(-4). Suppose t = -4*i + 4*v, 3*v - 10 - 17 = 2*i. Which is smaller: i or -20?
i
Let v = 0.4 + -0.5. Let w = -11411 - -11135. Which is greater: v or w?
v
Let t = -1083 - -224195/207. Is t > 0?
True
Suppose 49 = -6*j + 67. Let y(s) be the third derivative of s**5/15 - s**4/12 + s**3/6 - 2*s**2. Let x be y(1). Is x < j?
False
Suppose -20 + 24 = t. Suppose 3*j = -t*d + 2 + 2, -4*d - 2*j + 8 = 0. Let k be (-200)/48 + 2/d. Is -5 bigger than k?
False
Suppose -2*k - 2*f = -3341 - 4177, 4*f + 7518 = 2*k. Let j be k/(-77) + (-2)/11. Is 1 greater than or equal to j?
True
Let v be (2 - -1 - (3 + -25))*5. Let n = -364/3 + v. Suppose 0*u = 2*u - 6. Which is smaller: n or u?
u
Let b = 2003 - 2043. Let p be (1 - 0) + 37 + 1. Let m = p + b. Are 32 and m nonequal?
True
Let m be 329930/12200*(-24)/(-222) + -4. Let q = -4/20071 + 1304859/1224331. Let w = q + m. Which is greater: 1 or w?
1
Let w = -0.2098 - -0.3098. Is -974 at most w?
True
Let w(f) = -114 - 6*f + 5*f + 108. Let a be w(-5). Is a at most 2/293?
True
Let w = -525 - -325. Let a be 85/(-4)*(-30)/w. Is a equal to -2?
False
Let f = 4237 - 4238. Which is bigger: 4521 or f?
4521
Let a = 46530 + -279784892/6013. Which is greater: -1 or a?
a
Let p = -891.5 + -705.5. Which is bigger: p or 2?
2
Suppose -3*c + 16 = 5*p - 2, c + 16 = 2*p. Suppose 4*u = u + 9. Suppose -9*j - p = -u*j. Which is bigger: 1/14 or j?
1/14
Let f be 3/(-27)*3 + 51/(-9). Let c be 49/(f/(-27) - 28/(-36)). Which is smaller: 50 or c?
c
Let f = -0.831 + -2.169. Which is bigger: f or -0.01?
-0.01
Let k be (-3)/(-15)*-2 - 372/(-30). Suppose k*a - 136 = 14*a. Let q be (14/a)/((-2)/(-4)). Are 0 and q equal?
False
Let i be (0 + 7)/(1 - (-119)/(-126)). Suppose -11*v + i = -72. Let n = 18 - v. Is 10/9 bigger than n?
True
Let t(x) = 24*x - 45. Let y be t(2). Let h(a) = -3*a**2 - 3*a + 4 + 8*a - a**2. Let u be h(y). Which is greater: u or -18?
u
Let y = 6565.93719 + 0.06281. Which is greater: 1 or y?
y
Let n(m) = 16*m**3 - 3*m**2 - 4*m - 1. Let b(u) = -u**2 - u. Let r(h) = 5*b(h) - n(h). Let f be r(1). Let x be (-6)/4 + 45/f. Which is bigger: x or -8?
x
Let v = -284.1 - -275.1. Which is greater: 130 or v?
130
Let o be 12/(-3)*3/(-4) + (-956224)/326960. Which is smaller: o or -1?
-1
Let k be ((-150)/4)/(1/(-2)). Let f = k + -77. Let m be (-3 - (-3 - -3)/1) + f. Which is smaller: m or -4?
m
Let p be (-225492)/(-61530) - (-12)/21. Let a = p + 87871039/104015. Let y = -849 + a. Are -1 and y nonequal?
True
Let n = -182.07 + 184. Let w = n + -0.83. Which is smaller: w or -5/4?
-5/4
Let h be ((-10)/8)/((-6)/(-8)) - 259200/1944. Is -143 != h?
True
Let r = -565.012 + 567. Let a = -0.012 - r. Let x = -4 - a. Is x equal to -10?
False
Suppose -4*r + 16072 = -0*k + 5*k, 0 = 4*r - 3*k - 16072. Which is bigger: r or 4017?
r
Suppose -r - 2556 = 3*t + 1439, t + 1330 = -2*r. Is t >= -1331?
False
Suppose 0 = q - 2*p