se -4 = 3*y - 4*y. Let d be 5*(-2)/(-5) - -1. Suppose d*i = 7*i + y. Is 0 greater than i?
True
Let y = -46 - -15. Let f = y - -31.1. Which is greater: f or 9/5?
9/5
Suppose -3*t - 2*d - 4 = -15, -d + 1 = 0. Suppose 0 = -t*f + 5*c + 79, 2*f - 61 = 6*c - c. Is 19 less than f?
False
Let i be (-8)/(-6)*18/48. Let v(r) = r**3 - 9*r**2 + 13*r + 9. Let l be v(7). Is l less than i?
False
Let h be (3 - 104/(-34))/((-371)/28). Let c = h - -18/53. Is c less than or equal to 0.1?
True
Let i = -6 - -5.9. Suppose -3 = o - 3*s + 6, -5*o - 2*s + 23 = 0. Suppose -2*g = o*j - 14 - 40, 3*j = g + 54. Is i <= j?
True
Let h = 7/34 + -1045/5406. Let o = -493/1272 + h. Is -1 not equal to o?
True
Suppose 38 + 82 = -5*w. Let j = 27 + w. Let t be ((-16)/(-48))/((-1)/j). Is -1 != t?
False
Let l be (1 - 29/(-44)) + 141/188. Are 1 and l equal?
False
Let h(v) = v**2 - 5. Let j(x) = -x**3 - x**2 - x - 6. Let r be j(0). Let k be h(r). Let c be 29/k - (-4 + 5). Which is smaller: c or -1?
-1
Let b(n) = 222*n**3 - 4*n**2 + n + 2. Let r be b(2). Let c be (-86)/6*r/(-68). Let i = c - 372. Is i less than 0?
True
Let o be (-10)/12*(0 - (-18)/45). Let t be -2 - 2/((-2)/25). Which is greater: o or t?
t
Let g(m) = m - 8. Let n be g(10). Suppose -5*d + 14 = 3*v, -5*v + n = 4*d - 4. Let k be 24/(-8)*d/18. Which is greater: k or -3/2?
k
Let j be ((-160)/(-320))/((-2)/4). Let f = 9961/40 + -249. Which is smaller: j or f?
j
Let p be (175/5)/7 + 124. Is p equal to 129?
True
Let c = 416 + -956. Let b be 2/(-7) + c/(-126). Suppose -u - 17 = -b*p, -2*p - 3 - 2 = -5*u. Which is smaller: p or 0?
0
Let t = -4416/7 - -1408669/2233. Which is smaller: t or 0?
t
Let z(u) = u**3 + 8*u**2 + 5*u - 13. Let b be z(-7). Let o be 43 + -2*b/2. Let d be (-24)/(-64)*(-8)/o. Do d and 0 have the same value?
False
Let u = -5.7 + 0.7. Let p = u - -4. Is p at least as big as -4?
True
Let p(i) = -4*i + 33. Let j be p(10). Let k(h) = -5*h - 30. Let u be k(j). Is u >= 31/7?
True
Let c(y) = -56*y + 59. Let h be c(4). Is h equal to -165?
True
Suppose 6*g + 19 + 683 = 0. Are -120 and g unequal?
True
Let y = -33.1 - 2.9. Let a = 39 + y. Suppose 0*q + q + 1 = -i, 0 = 5*i - 5*q + 25. Which is smaller: a or i?
i
Suppose f = -5*c + 2015, -4*c - f + 986 = -627. Which is smaller: c or 400?
400
Let z be (136/(-476))/(1/21). Is -6 less than or equal to z?
True
Suppose -3 = -3*l + 3. Suppose 2*q - t - 47 = 0, -4*t + 13 + 9 = 2*q. Let s be (4/(-9))/((-7)/q). Are l and s nonequal?
True
Let i be (-56)/4*(2 - 4). Let x be i/(-21)*6/52. Suppose 4*z + 20 = 0, 2*p - z = -3*z - 8. Which is bigger: x or p?
p
Let v be (-12)/(-48) - (-3518)/80*2. Is 87 >= v?
False
Let o be (14 - 5) + (-148)/26. Which is smaller: 3 or o?
3
Let b = -39 + 39.38. Let c = b - 0.08. Let h = 1067/7 - 152. Which is smaller: h or c?
c
Suppose -3*r - 5*d - 1 = 0, -r - 4*r + 9 = 3*d. Suppose r*b - 56 = -b. Let z = b - 17. Do z and -8/5 have the same value?
False
Let s = -20/13 - 37/52. Let g = s + 21/8. Let b be (((-4)/4)/1)/(-1). Which is greater: g or b?
b
Let r(d) = -8*d - 33. Let z be r(-5). Which is bigger: z or 3?
z
Let a be ((-22)/33)/((-2)/37). Let l = -367/30 + a. Let y = l - -2/5. Are y and 2 unequal?
True
Let o(s) = -22*s**2 + 3*s - 19. Let j be o(-5). Let g = 6414/11 + j. Are -2 and g nonequal?
True
Let j = -12899/6279 - -2/299. Which is smaller: -3 or j?
-3
Suppose -5*a + 3*a = 6. Let l be ((-18)/(-180))/((-1)/18). Which is smaller: a or l?
a
Let c = -21 + 18. Let g(o) = -o**2. Let u(v) = -v**3 + 2*v**2 + 4*v. Let q(x) = 5*g(x) + u(x). Let l be q(c). Is l <= -13?
False
Let h = 3.8 + -36.8. Let c = h + 33.5. Let z = c + -0.7. Is -0.4 at most as big as z?
True
Suppose z + 2 + 6 = 0. Let t be 1/2 + 3444/z. Let x be t/770 - 4/(-14). Which is bigger: x or -1?
x
Suppose 7*p = 2*p - 150. Suppose 296 + 138 = -14*m. Which is bigger: p or m?
p
Let q = 174334/1125705 + 1/15855. Is q bigger than -1?
True
Let r = 1 - 1. Let u = 3/4 + 1/2. Is r < u?
True
Suppose 2*v - 2*r - 26 = 0, -3*r - 1 - 18 = -v. Let a be (-37)/15 - 2/v. Which is smaller: 0.06 or a?
a
Let s = 6 + -8.5. Let r = 13.5 + s. Let y = 691/2 - 345. Are y and r equal?
False
Suppose -33 = -5*l - 2*f + 3*f, 2*l = f + 15. Let u be 16/l*(-3)/(-2). Suppose -u*q + 1 - 5 = 0. Are -1 and q nonequal?
False
Suppose 7*d = 11*d + 15500. Let k = 430129/111 + d. Is 0 >= k?
False
Suppose -5*q - v = -3*v - 40, -3*q = -4*v - 24. Let x be (10/(-6))/(q/16). Is -3 at least as big as x?
True
Suppose -11*v + 799 = 6*v. Is v at most 48?
True
Suppose 5*c = -5*d + 1005, -d - 87 + 296 = 3*c. Is 197 greater than or equal to d?
True
Let u be -1*(-8 - -3) + -5. Let f be -1 - (-160)/166 - (3 + -3). Which is greater: f or u?
u
Suppose -23*q + 468 = -26*q. Which is smaller: -623/4 or q?
q
Let q be (((-1)/(-2))/1)/(9/(-90)). Which is smaller: -7 or q?
-7
Let b = 346 + -361.1. Let w = b + 15. Is w at most 60?
True
Let v = 15 + -15. Suppose v*h = -2*h + 10. Is 4 not equal to h?
True
Let j = -0.42 + 0.02. Let d = j - -0.3. Suppose 7 = 2*n + 11. Is n != d?
True
Let o = 5216421/185 - 28197. Which is greater: o or 0?
0
Suppose 2*z = 4*w, -5*w + 22 = -5*z - 6*w. Let x be z/(-3) - (-2)/(-4). Which is smaller: 1 or x?
x
Suppose -8*v + 213 = 725. Which is smaller: v or -65?
-65
Let d(q) = q**2 + 10*q + 14. Let u be d(-7). Suppose -12 = -4*g + 16. Let r = -10 + g. Which is greater: r or u?
r
Suppose 0*d + 6*d - 18 = 0. Suppose -5*t + 20 = -d*a, -3*a - t - 16 = -5*t. Let k = 2053 - 166295/81. Is k at least as big as a?
False
Let s be 21*(-3 + -1)/(-36). Suppose -3*k + k + 10 = 2*y, 9 = y + 2*k. Which is greater: s or y?
s
Let p(x) = -x**3 + 8*x**2 - 7*x - 2. Let v(r) = r**2 + 4*r - 5. Let j be v(2). Let y be p(j). Which is smaller: -14/5 or y?
-14/5
Let i = -66 - -592/9. Let v = 0.3 + -1.3. Which is smaller: v or i?
v
Let v = -20 - -18. Let j be -6 + 4 - (v + -2). Is j <= 3?
True
Let j be ((-72)/(-10))/((-45)/(-1350)). Is 1/4 less than j?
True
Let f(c) = 5*c + c - 5*c - 3*c. Let k be f(7). Which is smaller: k or -17?
-17
Let c be (-41 - -40) + (-10)/4*-2. Suppose -4*k - 2*j = -30, 2*j - j = -c*k + 25. Suppose 5*v + 7 - 22 = 0. Which is greater: v or k?
k
Let m = -1165 - -1155. Let z be (114/63 + 0)*-6. Are z and m non-equal?
True
Let m(a) = a**2 + 9*a + 9. Let s be m(-6). Let j(h) = 7*h + 35. Let g be j(s). Which is bigger: -29 or g?
g
Let m = -217.3 - -218. Which is greater: m or 0.03?
m
Let x be ((-55)/15 + -1)*(1 - 15/6). Let v = 293/20 - 33/4. Is x <= v?
False
Let m be -1*(-3)/(-6)*12 - 4. Suppose 9 = 5*t - q, 3*t - 5*q + 1 = 24. Let w be (t + 0)*m/45. Are -1 and w equal?
False
Let k = 1594 - 1214. Which is smaller: -1 or k?
-1
Let j = -84 + 101. Let p = 6 - 5. Is j less than p?
False
Let f = -116 - -110. Suppose 4*r - 3*c + 28 = -4*c, 4*c + 46 = -5*r. Is f at least r?
True
Let h = -531.0646 - -0.0646. Which is smaller: 0 or h?
h
Let n(y) = y**3 + 5*y**2 - 4*y - 12. Let o be n(-5). Let s be 660/o*4/80. Is s >= 4?
True
Let x(c) = -8*c + 1. Let l be x(2). Let h = -15 + 27. Let u be 4/16 + l/h. Which is smaller: 2 or u?
u
Suppose q = 3*q + 5*d - 1, 2*d + 17 = 5*q. Let z = 6 + q. Suppose -24 = -2*r + 4*h, 3*r + 2*r - h = 51. Which is smaller: z or r?
z
Let r = 31 - 11. Suppose -5*s - 25 = 4*b, 4*s - 2*b + r = b. Suppose 4*n + 24 = 2*m, 7 = -2*n + 5*m - 5. Which is greater: s or n?
s
Let y be (-11 - 104/(-6)) + (-1 - 5). Are y and -83 nonequal?
True
Let l = -0.0407 - 23.8593. Let m = 24 + l. Are m and 39 equal?
False
Suppose c = 4*x + 149, -2*c + 3*x + 185 = -108. Which is bigger: c or 146?
146
Let u(w) = -w**2 + 8*w - 5. Let s be u(7). Suppose 3*i = -s*i + 50. Is 11 less than i?
False
Suppose -2*z + s + 23 = 0, 5*z = 2*s + 52 + 6. Let g be (4 + (-28)/(-8))*(-16)/(-10). Is g at most as big as z?
True
Let i be 88/10 + 9/45. Suppose -2*b = 7*b + i. Are -3/20 and b non-equal?
True
Let t = 20.1 + -62.9. Let z = t - -43. Let o = -4 - -7. Do z and o have different values?
True
Let m be (-266)/21*(5 - 2). Let z = 28 + m. Which is smaller: z or -9?
z
Let d(a) = 8*a**2 - 8*a + 22. Let b be d(4). Suppose v + b = 120. Suppose 0 - 10 = -5*l. Is v at least l?
True
Suppose 508*d - 153 = 525*d. Which is greater: 115 or d?
115
Let z be 1 - (-1 + 3/1). Let x be (-1 - 4)*(-3)/11. Let b = 1/33 - x. Is z <= b?
False
Let u = 184 - 207. Is -22 less than u?
False
Suppose