7. Let s = p - 7. Let n = -0.3 + -0.7. Is n > s?
False
Suppose -3*l - 23 = -5*k, -6 = -4*l + k - 48. Let j = -1857 - -14763/8. Which is smaller: j or l?
j
Let b be 2/2*(-508297)/219. Let j = -2321 - b. Let t be -1 + 2/(-4)*-2. Is t bigger than j?
True
Let h = 2042.844 + -2043. Is h at most as big as 0.5?
True
Let h(t) = -8*t**3 - 34*t + 3*t**3 + 76 - 37*t**2 + 4*t**3 - 3. Let l be h(-36). Which is smaller: l or 15/38?
15/38
Let z = -171.13 + 0.13. Let i = z + 170. Is i not equal to -2.5?
True
Let p be -5 - ((-3088)/(-24))/(2/(-3)*37). Which is bigger: 0 or p?
p
Let f be 6/(-9) + (-2)/(-3). Let o be 7 + -2 - (-1)/4*4. Suppose f = 3*n + o - 3. Which is smaller: 6/23 or n?
n
Let c = -260 + 367. Let i = c - 107.86. Let v = i + 0.06. Does v = -0.3?
False
Let y be 9 - (7 + (-18)/6)/(-4). Is 40 > y?
True
Let o = -124 + 73. Let g = -65 - o. Let s be (-28)/(-7) - (-58)/g. Which is greater: 0 or s?
0
Let b = -228.7 + 244. Let t = 1995 - 1996. Which is smaller: b or t?
t
Suppose 2*b + 718 - 1233 = 5*l, -5 = -b. Which is smaller: l or -5?
l
Let m = 16 + -11. Let z be 4 - (-3 - (4 + -7)). Suppose -h + 4 = 2*s, -2*s - m*h = z - 16. Which is greater: 0.5 or s?
s
Let u = -16/11 + 90/77. Let a = 106 + -108. Let s be a/(-6) + 4 + 404/(-96). Is u smaller than s?
True
Let v = -1625.67 + 1660. Let s = v + -33. Let j = s - 0.13. Is j > -0.1?
True
Suppose -24*t = -19*t - 20, 20604 = 2*v - 11*t. Is 10324 at least as big as v?
True
Let b be -14 + (-95)/57*-9. Is b >= -1/770?
True
Let t = 5442 + -1975444/363. Let d be 10/50 - (2/3)/((-70)/(-21)). Which is smaller: t or d?
d
Let y = 24 - -71. Let g = -94.8 + y. Let x = 4.64 + -5. Which is smaller: g or x?
x
Let p(v) = -v**3 - v**2 + v - 1. Let u(z) = -2*z**3 + 4*z**2 + z + 7. Let o(q) = 3*p(q) + u(q). Let f be o(-1). Let m = 33 - 22. Which is smaller: f or m?
f
Let f(r) be the second derivative of -r**4/12 - 3*r**3/2 - 33*r**2/2 - 25*r. Let p be f(-11). Let z = -55 - p. Are -18 and z equal?
False
Let d = -5875.7408 - -5880. Let y = 0.0592 - d. Is 1/3 at least as big as y?
True
Let a = 35.786 - 96.486. Which is bigger: -15 or a?
-15
Let i = -1002 - -942. Which is bigger: i or -16/5?
-16/5
Let y be 8*(19 + 2816/(-16)). Is -1257 bigger than y?
False
Suppose u + 11*b = -44, 2*b + 9 = 4*u + 1. Is u not equal to 16/103?
True
Let t = 0.213 + 114.787. Let j = -0.0904 - -2.0904. Does t = j?
False
Let t be (1 - (-2 + 3))/(-2). Let p(x) = 6*x + 114. Let o be p(20). Let s be 9/o*13*4/(-3). Are s and t non-equal?
True
Let w = -0.1878 - -0.1732. Suppose -q + 2*q = 3*q. Which is greater: w or q?
q
Let i = 0.602 - 0.126. Let h = i + -0.48. Let u = h - -1.804. Is u less than or equal to -0.1?
False
Let z = -54 + 50. Let y(w) = -w**2 - 5*w. Let s be y(-5). Suppose 3*u + 0 + 6 = s, -4*k = -2*u + 4. Which is smaller: k or z?
z
Let i be 23/(-5) + 296/185. Is -31/9 < i?
True
Let y = -137227 + 137210. Let d be (-2)/((-8)/26)*-2. Is y at most d?
True
Let k be (-20)/(-30) + (-106)/6 - 4. Let l be 67/(-3) + k + 25. Which is smaller: -17 or l?
l
Suppose -30*g - 17 - 182 = 281. Which is bigger: 0.346 or g?
0.346
Let r be ((-6)/27)/(8/(-12)) + 111027/(-63). Does r = -4?
False
Let q be (-108)/(-3)*15/60. Let n(j) = 2*j**2 + 4*j + 2. Let h be n(-7). Suppose -w + h = -q*w. Which is bigger: w or -8?
-8
Let x = 792887/42 + -126255/7. Let u = 846 - x. Is 5 bigger than u?
True
Let g = 620 + -18892. Is g bigger than -18273?
True
Suppose 0 = -t - 4*g - 191, -444 = 5*t - g + 427. Let l = 176 + t. Which is smaller: l or -29?
-29
Let o(f) = -f**2 - 8*f + 109. Suppose 0*v = 2*l - v + 29, -l = -v + 14. Let p be o(l). Which is smaller: 48/17 or p?
48/17
Let y(k) be the second derivative of -11/6*k**3 - 1/20*k**5 - k**4 - 11*k - k**2 + 0. Let d be y(-11). Is -10/11 equal to d?
False
Suppose 5*u = b + b - 58, -4*u = 2*b - 58. Let r = 180620 + -180597. Is b <= r?
False
Let w(r) = -2*r**2 + 33*r + 119. Let s be w(-3). Is s >= 96/61?
True
Let q = -0.01626 + -113.28374. Do q and -1/4 have the same value?
False
Let j = -0.0251 + -0.0074. Let m = 3.9675 - j. Does -4 = m?
False
Let l = 71/292 + 1/146. Let v be (1 + -3 + 3)/(-1). Which is smaller: v or l?
v
Suppose -5*g = 2*y + 22, -25 = -0*y + 5*y + 5*g. Let b be ((-6644)/(-2212) - 5) + (-2)/y. Which is smaller: -1 or b?
-1
Let r = -21.99 - 0.01. Suppose z - 5*u = 3*z - 54, -4 = -u. Let m = -18 + z. Is m greater than r?
True
Let t(u) = 2*u + 5. Let a = 36 + -30. Let z be t(a). Let c = -35 + z. Which is smaller: c or -0.1?
c
Let l = -96 + 116.9. Let n = l - 20.3. Which is bigger: -0.06 or n?
n
Let s(m) = -m**3 - 37*m**2 - 202*m + 110. Let r be s(-28). Which is smaller: -1289 or r?
r
Let o be 40*(-3)/(15/4). Let a be (-2)/((-1676)/556 - -3). Let p = a + -170. Is o equal to p?
False
Let y(w) = 2*w**3 - 3*w**2 + w + 9. Let a be y(3). Suppose -5*g + 3*q = -a, 17 = 3*g + 16*q - 21*q. Let j be 26/2 - (0 - -1). Do g and j have the same value?
False
Let u = -26283 + 28761. Which is bigger: -1/2 or u?
u
Suppose 0 = -2*a + 5*q - 1432, -6*a + 2*q = -3*a + 2137. Let v = a + 632. Is v equal to -74?
False
Let s = -5.201 + 5.301. Which is bigger: 1695 or s?
1695
Let n(r) = r**2 - 18*r - 63. Let y = -632 + 624. Let w be n(y). Is 145 at most as big as w?
True
Suppose -250345 = -118*z - 244799. Let j = -40 + 85. Is j equal to z?
False
Let o = 37408 + -37407. Let z = 7.84 + -8. Are o and z non-equal?
True
Suppose 3*n - 1033 = 2*i, i - 983 = -3*n + 53. Suppose -3*s = -5*u - 16302, u - 3*s + 2925 = -n. Let k be (-12)/u*-3*(0 + 1). Is k <= 1?
True
Let h = -284 + 457. Suppose 4*l + h = -x, l + 5*x - 143 = 5*l. Let n = -41 - l. Which is bigger: n or -4/27?
n
Let u = -7 - -5. Let d = 25.2 - 22.88. Let t = d - 1.72. Which is smaller: u or t?
u
Suppose -412 + 2785 + 147 = -72*q. Do q and -660/19 have the same value?
False
Let u be -3 - (0 + 2*-2). Suppose 2*l + u = -3. Let y be (30 + -4)*13/(-26). Is l bigger than y?
True
Let g = 2008 - 8676. Does -6669 = g?
False
Let q be 12/16 - -18*(-198836)/4800800. Let o = 1/850 + q. Is o greater than or equal to 1?
False
Let q = -3033 - -231. Which is smaller: 1 or q?
q
Let c = -18479 + 18480. Let b(k) = -k**2 + 8. Let d = 4 + -4. Let r be b(d). Is c less than r?
True
Let f = 11.296 + -11.496. Suppose -152 = 4*x - 4*q, 2*x - x + 34 = -q. Let m be (x/15 - -2) + 0. Is f at least m?
True
Let p = -2268800/43 + 52766. Is p > 4?
False
Let h = -9936 - -9935.9. Let i(q) = 15*q - 4. Let z be i(3). Which is smaller: h or z?
h
Let f = -456.5 + 456.5. Which is smaller: f or 67?
f
Let m be (-477)/12*6/(-585). Let a = -5/26 - m. Let h(n) = -n**3 - 7*n**2 - 7*n - 7. Let c be h(-6). Is a >= c?
True
Let b be (-95 + 1)*300/(-2625) - 2. Do 9 and b have different values?
True
Suppose 59959 = 201*w - 43154. Does 516 = w?
False
Let l(f) = 3*f**3 - 2*f**2 - 127*f - 365. Let r be l(-3). Which is bigger: r or -126?
r
Let r = 1.25 - 55.25. Let k = r + 53.8. Is 40 at least k?
True
Let g = -255 + 360. Let f = g + -105.05. Is f != 2?
True
Let b be 1 + (-33)/39 - ((-1340)/(-52))/5. Which is greater: b or -17?
b
Suppose 2*z + 2*v + 37 = 5*v, 65 = -4*z - 3*v. Let m = z + 18. Let h = 4973/43550 - -2/1675. Is h <= m?
True
Let j = 4.1 - 3.774. Let a = -0.116 + j. Let o = 7 + -7.2. Are o and a equal?
False
Let l = 344 + -343. Suppose 4*a + 2 = 2*a. Which is bigger: a or l?
l
Let r be 7633/(-3) - ((-76)/(-6) + -12). Is r greater than -2545?
False
Suppose 0 = -18*a + 72*a + 39960. Is a bigger than -742?
True
Let l be 1/16 - (82845/(-6960) - -12). Are l and -1/13 equal?
False
Suppose -38*y - 87109 - 89097 = 0. Which is smaller: y or -4636?
y
Suppose -34*l - 10 = -44*l. Which is smaller: l or -1/139?
-1/139
Let w = -367785/4 + 4282823/44. Let a = w - 5385. Let g = a - 3884/693. Is 1 at most as big as g?
False
Suppose h + 2 = -0*h. Let k be (-6)/1*h/10. Let d(y) = -5*y**2 - 65*y - 180. Let r be d(-9). Which is smaller: k or r?
r
Let l be 7 - (0 - (2 + -2)). Suppose -3*c + l = -2. Let m = 31712.9 + -31712. Which is smaller: c or m?
m
Suppose -5*d + 24*b + 4097 = 27*b, -3*d + 4*b + 2435 = 0. Is d equal to 817?
True
Suppose 0 = 138*z - 139*z + 127. Let g = 126 - z. Is g less than or equal to -3/20?
True
Let j = -0.731 + -36.269. Let l = 30.9 - 31. Is j greater than l?
False
Suppose -11*f - 10153 = -0*f. Let z be 11 + -16 + (-4617)/f. Is z bigger th