303/2*(34 + -36). Let q = w - -306. Suppose 0 = 3*k - 0*k + p - 24, 0 = 4*k + 4*p - 32. Is k greater than or equal to q?
True
Let p = 29.4 + -29.5. Let w = 52.4 + -17.4. Which is smaller: w or p?
p
Suppose -3*z - 15652 = -14*j - 7*z, 0 = 2*j - 3*z - 2211. Is j != -2/13?
True
Suppose 21*s - 3075 = -4*s. Suppose -2*u - 91 = -s. Is u bigger than 182/11?
False
Let u be 5*-6*(-5)/2. Suppose 52*w - 1055572 + 210676 = 0. Let j be w/216 + (-3)/(54/4). Is u > j?
False
Suppose 6*g = -3*d + g + 25, g = 2. Let s be 1 - (-2)/8 - (-8550)/456. Suppose -5*n = -s + d. Are -1 and n non-equal?
True
Let u(s) = s**2 - 5*s + 10. Let h(z) = 2*z**2 + 14*z + 22. Let d be h(-5). Let y be u(d). Suppose -5*m = y - 9. Is m equal to 1/103?
False
Let l = -3703 - -3703.1. Suppose -2*w + 615 = 3*w. Which is bigger: w or l?
w
Let i = -2 + -5. Suppose 41*s - 107 = -927. Which is smaller: i or s?
s
Let j be -1*(-5)/(-15)*-1*6. Suppose -3*m - 3*q = 12, -21 + 1 = 4*q. Let b be m/(-1 + 95/40). Is j > b?
True
Let m = 2779 + -2778.3. Is m at most -10.02?
False
Let o be ((-6)/(-2895))/((-1)/((-40)/1016)). Which is smaller: o or 1?
o
Let t be 5/(4/8 - -3). Suppose 3*j = 2*x + 40, -3*j + x + 28 = -4*x. Let k be 2/(-10)*(-4)/(j/20). Which is greater: t or k?
t
Let x be 27 + -18 + -14 + 5. Is x smaller than -9/194?
False
Let f = -753010 - -753009. Let i be (2/(-4))/((-2)/372). Suppose 0 = -0*w - w - i. Which is greater: w or f?
f
Let h(g) = g**2 + 25*g + 117. Let o be h(-19). Let s be o - 4*(-35)/28. Which is greater: 53/8 or s?
s
Let r(w) = -11*w - 5. Let n be r(6). Let p = 75 + n. Suppose 4*g - 20 = -4*t, -p*g - 2*t + 16 = g. Are g and -9 equal?
False
Let b = 1676 - 6705/4. Which is smaller: 1/720 or b?
b
Let m = 2.959 - 0.529. Let c = m + -0.43. Let w = -0.476 - 0.024. Is c bigger than w?
True
Let o = 61 + -90. Let p = o - -33. Let w(y) = 17*y - 118. Let b be w(7). Is b at least as big as p?
False
Let w = -3309 + 3278. Let t = 0.1 - -0.1. Is t <= w?
False
Let l = 105 - 119. Let g(n) = -2*n**2 + 5*n + 2. Let p be g(6). Let b be (p/(-70))/((-12)/l). Are 2 and b equal?
False
Let c be -1 - 0 - (-2 - 4). Suppose 2*v + 2*h = 114, 165 = -2*v + c*v - 3*h. Let n be (-1)/((20/v)/(-5)). Which is smaller: 15 or n?
n
Let h be 3*3*(-2)/9. Let s be ((360/3240)/((-1)/3))/(2/42). Which is smaller: h or s?
s
Let y be (930/(-25))/(3/(-15)). Suppose -f - 230 = -y. Are f and -45 equal?
False
Suppose -p - 83*b - 12 = -81*b, -4*p - 3*b - 18 = 0. Is 11/557 not equal to p?
True
Let l = -61.41 - -69.41. Which is bigger: -142 or l?
l
Let m = 23.501 + -23.601. Which is smaller: m or -1844?
-1844
Suppose 6 = 3*z, 3*o + 0 = -z - 7. Let k be -7 + o + 13 - 378/130. Which is bigger: 1 or k?
1
Let x = 140.71 + -140.1526. Does x = 0.2?
False
Suppose -5*i - 2*q - 15 = 0, -25 + 4 = i + 4*q. Let g = -12.34 - -11.2. Which is bigger: i or g?
i
Let b = 791.7 + -803.726. Let j = b - -12. Which is bigger: 0 or j?
0
Let l = 0.31 - 0.4. Let f = l + 0.134. Let z = f - -4.956. Which is smaller: -0.05 or z?
-0.05
Let l be (12/(-10))/(2/(-60)). Suppose -23*w - 70*w = 3348. Let t = l + w. Which is smaller: t or 7?
t
Let d be (-6)/(-5)*(-5 + 10). Let i be (-7 - d)/(2 + 1/2). Suppose 2*g - 12 = -n - 4*n, -4*n = 5*g + 4. Which is bigger: g or i?
g
Suppose -g + 334 = -428. Let h = g + -9139/12. Let a = -59/84 + h. Which is smaller: a or 14?
a
Let r = -20/7 - -19/14. Which is smaller: 0.0646 or r?
r
Let t(o) be the first derivative of o**4/4 + 4*o**3/3 + 3*o**2/2 + 4*o + 1. Let z be t(-5). Let s = -67961 + 67924. Which is greater: z or s?
z
Let z(m) = -2*m**2 - 14*m + 52. Let q be z(-9). Suppose v + s - 1 = -3*v, -v + 5*s + q = 0. Is v at least -1/574?
True
Let p = 0.3 + -0.51. Let l = p - 1.19. Let f = 0.3 - l. Do -1 and f have the same value?
False
Let n = 0.1881 - 23.1581. Let b = -0.97 - n. Let u = b + -27. Is u greater than -1/4?
False
Suppose h - 5*i = -10*i + 8, 3*i + 16 = h. Suppose -1102 = 3*n - c - 1140, -17 = -2*n - c. Which is smaller: h or n?
n
Let f = 1427930/11 - 129812. Let u = -43 - -86. Are u and f equal?
False
Let a = 0.15 - 0.169. Let s = -156.881 - -157. Let f = s + a. Are 1/21 and f nonequal?
True
Let a = -4142 + 4186. Which is bigger: -7 or a?
a
Let f(k) = k - 6. Suppose 29 = -4*s + 5. Let w be f(s). Let r(t) = -t**2 - 13*t - 20. Let n be r(w). Which is greater: n or -11?
n
Suppose -9*n - 24*n = -3229 - 19904. Which is greater: n or 6?
n
Let a = -139.9861 + -0.0139. Let k = a + 142. Is -166 equal to k?
False
Let d(s) = -2*s + 15. Let c be d(1). Suppose -6 - 20 = -c*k. Let n be 0/(1 + (1 - 1)). Is k bigger than n?
True
Suppose d - 3*s + 54 = 4*d, 2*s + 34 = 3*d. Is 0 < d?
True
Suppose 167*o - 168*o = y - 7, -y - 2*o = -3. Which is smaller: y or 0.058?
0.058
Let s(h) = h + 13. Let j = -10 - -11. Suppose -j = 2*q - 1. Let u be s(q). Which is smaller: 14 or u?
u
Let z = -10.646 + 10.57. Let l(t) = t**3 + t**2. Let m be l(1). Is m greater than z?
True
Let i = 194.97 + -195. Let r = -1 - 24. Let f = r + 19. Do i and f have the same value?
False
Let c be (524754/24)/(70/(-8)) + -4. Let d = c - -2503. Which is smaller: -2 or d?
-2
Let r be 1050/3 + 0 + 0. Suppose 5*b = g - r, -3*g + 162 = -2*b - 7*g. Suppose -1831*v = -1134*v + 48790. Is v less than or equal to b?
False
Let r = -2457 + 2624. Are 160 and r non-equal?
True
Let m be 8*((-28)/8 + 4). Suppose -8*g = -6*g + m. Let p be (g/3)/((-20)/9). Is p smaller than -1?
False
Let f be 370/18 + (-60)/(-135). Let v = 24 + -6. Which is bigger: v or f?
f
Let q = -15.1 - 1.9. Let s = -3.542 + -0.458. Is q less than or equal to s?
True
Suppose 9*q - 10*q = -2. Let j be 292/8 - 3/q. Suppose 0 = 5*h - 4*n + j, 3*h - n = 2*n - 21. Is -9 > h?
False
Let y(v) = -12*v + 63. Let x be y(-5). Which is bigger: x or -0.05?
x
Let m = 888 + -933. Let k = 16 + -12. Let a be (-282)/k*2/3. Is a at least as big as m?
False
Suppose 4*i + 230 = q - 183, -410 = 4*i - 2*q. Let f = -105 - i. Which is smaller: f or 1/44?
f
Let q = -77.54696 + 6.31986. Let h = q - -0.1271. Let a = h + 71. Do -16 and a have the same value?
False
Let r(c) = -660*c - 12. Let d be r(1). Let v = 678 + d. Is 7 less than or equal to v?
False
Let v be (-3)/((-1)/1 - 0). Let a = 1063.5 - 1076. Let l = -12.5 - a. Is l at most v?
True
Suppose -y = 5*q - 47 + 26, 29 = 5*q - y. Let o(x) = x**2 + 3*x + 3. Let n be o(-3). Suppose q*r - n*r = 0. Is 1/5 > r?
True
Let i = 59318/11275 - 216/41. Suppose 0 = -2*h + 2*v + 6, 21*v + 6 = -4*h + 19*v. Suppose h = 5*d, 3*y - 2*y - 2*d = 4*y. Is y greater than or equal to i?
True
Let w = -1768 - -221001/125. Let s = 373/250 + w. Is s equal to 47?
False
Suppose -b - d = 0, 0 + 8 = -2*d. Suppose 7*f - 4 = -2*q + b*f, 0 = -5*q - 4*f + 3. Which is bigger: q or -12/179?
-12/179
Let f = 1706 - 1697. Let y = -0.05 - -5.05. Let r = -14 + y. Is f greater than or equal to r?
True
Suppose -2*f + 1889 + 301 = 4*w, -3*w = -3*f + 3303. Which is greater: f or 1100?
1100
Suppose -15*c - 437 = -422. Which is greater: c or -1/253?
-1/253
Let u = -8 - -8. Suppose u = -4*l + 3*l + 2. Suppose 29 = -a + l*i, 2*a - 6*a - 51 = 5*i. Is a smaller than 2/7?
True
Let a = 8566 + -9215. Do -647 and a have different values?
True
Let r(z) = -6*z + 3*z**3 + 335*z**2 - 8 + 2 - 3 - 330*z**2. Let u be 3*6/(-9) - 0. Let k be r(u). Which is smaller: k or -9/7?
-9/7
Let m(c) = 10*c - 347. Let i be m(35). Is -254 bigger than i?
False
Suppose 204 = 2*d + 2*g, -d + 77 = 4*g - 34. Suppose 2*t = 10*f - 13*f + 306, 4*t = -2*f + 212. Which is smaller: d or f?
d
Let r be -2*(156/20 + 144/(-80) - 26/4). Let c = 14719/339212 - -1/2476. Which is bigger: c or r?
r
Let j = 4.1 - 4. Let d = 9088 + -9087.7. Is d at most j?
False
Let f(s) = -953*s**3 - 3*s**2 + 2*s + 4. Let c be f(-1). Suppose 12*a = 26*a + c. Is -68 <= a?
True
Let b = 92189/1545 + -4/1545. Let f = b + -355/6. Is -40 greater than or equal to f?
False
Let b = -8695 + 8699. Let q be ((-738)/45)/(17/(-5)). Which is greater: q or b?
q
Let f(p) = 21*p**2 - 64*p + 9. Let t be f(-5). Which is smaller: t or 855?
t
Suppose 1703*z + 80 = 1711*z. Suppose 3*s - 4*p = -22, s - 6 = -3*p + 4. Let g be (-3 + 45/z)*s/(-3). Is g >= -2/97?
True
Let x = 6.6 + -0.6. Let g = -4.6 + x. Let h = 1 + g. Is h != 0?
True
Let m = -24 + 16. Let o be -1 - ((-689)/(-39) - 10). Which is smaller: m or o?
o
Let n = 7