/5. Let j be (72/54)/((-8)/(-18)). Is i bigger than j?
True
Suppose -4*w = -0*w + 2*t + 68, -w - 3*t = 27. Let s be ((-105)/w)/(2/16*2). Is s less than 28?
False
Suppose 2*l - 15 = -2*o + 9, 3*o = 2*l - 34. Let v be (-96)/l - -2 - -2. Which is bigger: v or -3?
v
Let h = -700 + 589. Which is greater: -114 or h?
h
Let q = -271 + 279. Which is bigger: q or 35/4?
35/4
Let w = -43/3 + 44/3. Let p = -5 + 0.1. Let a = p - -5. Which is greater: w or a?
w
Let p = 26 - 28.1. Let j = 2 + p. Is j greater than -12?
True
Let w = 3118761 - 2666541014/855. Let c = w - -26/45. Let j = -103/171 + c. Are 1 and j nonequal?
True
Let h be 2*(-3)/24 - (-822)/(-8). Let g = h - -107. Suppose -5*r + 3*l = -14, -2*r - 13 = 5*l - 0*l. Is g at least r?
True
Let s = 57 + -52. Suppose i = 4*g - 3*i + 44, -21 = 3*g + i. Let m be -1 - (1 - g/(-5)). Is m at most s?
True
Let d be ((-1713)/111 - -11) + 4. Which is smaller: 1 or d?
d
Let y(a) = -3 + 6 - 3 - a + 2 - a**2. Let t be y(1). Is t equal to -1?
False
Let n(x) = x + 5. Let r be n(-5). Let m = 276 + -276. Suppose r = -m*y - 4*y - 8. Is -3/4 less than or equal to y?
False
Let g = -1547345329/59 - -26225516. Let d = g + 676. Which is bigger: 1 or d?
1
Let u be 2/(-5) + 72/5. Suppose -m + 2*t + 16 + 11 = 0, -2*m - 4*t = -u. Is 15 < m?
True
Suppose 24*t - 25*t = -17. Suppose -40*u + 45*u = 70. Is u > t?
False
Let b = 198 + -173.9. Is b > 1/2?
True
Let a = -3/1618 - -29175/27506. Is 2 at least as big as a?
True
Let i = -483/2 - -241. Which is greater: i or -0.04?
-0.04
Let r be 6/10 + (-192)/120. Which is smaller: r or 173?
r
Let j be (-12)/15 - 0/1. Suppose -4*n - 3*t = -8 - 15, 3*n - 2*t - 30 = 0. Let k(l) = -l + 6. Let h be k(n). Is h at most j?
True
Let p be 0 + 0*1/(-3). Suppose 3*v - i = p, -4*v + 0 = -3*i + 5. Let x be v*(1 + -2)*-1. Which is smaller: 4/15 or x?
4/15
Let m be 469/(-3) + 6/(-9). Let p = -1725/11 - m. Let b = p - 15/22. Is b less than 1?
True
Suppose -6 = -3*v - 3. Let r be (-5)/((-80)/(-12))*v*-8. Let z = 2 + 5. Is z less than or equal to r?
False
Let d = -1822/7 + 259. Which is smaller: d or 0?
d
Let j be (2 - -1) + 2*(-1018)/664. Let r = j + -5899/1162. Which is smaller: -6 or r?
-6
Suppose 6 = -4*a + 5*n, 32*a = 31*a + 5*n + 6. Is a bigger than -4?
False
Suppose -8*w + 9*w = 5. Let t(p) = -p**3 + 5*p**2 + 1. Let c be t(w). Let j be (-1 + c)/(5 + -3). Is j at most 0?
True
Let c = 11797/1027 - 149/13. Is c at most 0?
False
Let c(j) = -2*j**2 + 54*j - 353. Let k be c(11). Which is bigger: k or 2/35?
2/35
Let o = 211 - 207. Let m be (3/o)/(4 + 91/(-28)). Let l = -32/11 - -650/231. Is m <= l?
False
Let x = 1.36 + -2.35. Let z = 0.41 - 0.4. Let m = z - x. Which is smaller: -1 or m?
-1
Let h be (-3)/(-12) + (-34)/72. Let f = -158.37 - -0.37. Let s = f + 159. Which is bigger: s or h?
s
Let m = 3 - 8. Let x be (9/(-45))/((-4)/m). Let y = 8.4 + -8. Is x >= y?
False
Let s(m) = -38*m**3 - m**2 + 2*m - 1. Let q be s(1). Let t = -31 - q. Are t and 8 unequal?
True
Let z = 132 - -4. Let o(s) = 3*s**2 - 434*s - 4012. Let j be o(-9). Is z <= j?
True
Suppose -9 = -5*y + 2*y. Suppose y*b + 17 = -5*r - 6, b + 5 = -r. Is b > -15/7?
True
Let l = 86 + 18. Are 0.1 and l non-equal?
True
Let c = 473 - 261. Let m be -6*(-4)/(-40) - c/(-345). Do m and 1 have the same value?
False
Let b(l) = -4*l**2 - 30*l - 15. Let g be b(-7). Which is smaller: g or 4/23?
g
Suppose -11*m + 12 = -7*m. Suppose r = m*k - 55, 0 = 3*r - 0*r - 15. Suppose -4*t = 2*u - k, u + 2 = -t + 2*t. Which is smaller: 5/2 or t?
5/2
Let n be 3/(-1)*13*(-4)/6. Which is smaller: 33 or n?
n
Let f(g) = -g**2 + 3*g - 3. Let w(x) = 2*x + 12. Let l be w(-5). Let r be f(l). Is -2/3 greater than r?
True
Let k(z) = -z**2 + 2*z - 42. Let i be k(12). Is i at least -160?
False
Let y be 552/36 + (24/(-9))/2. Let g be 20/6 - (-2)/(-6). Suppose -2*v - y = -4*a, 0*a = 3*a + 3*v + g. Which is smaller: a or -0.01?
-0.01
Suppose 35886 + 22902 = -46*r. Is -1277 less than or equal to r?
False
Let q be (-2)/(((-8)/(-2))/(-2)). Let x = 5 - q. Which is smaller: x or 6?
x
Let x = -1540294/3165 - -1460/3. Let v = -928/211 - x. Suppose b + 17 = -3*p + 3*b, -b = 2*p + 2. Are p and v equal?
False
Let n = -114 + 117. Suppose -n*c + 18 = 27. Is c < -3?
False
Suppose 9*g = 11*g + 4. Which is smaller: 2/153 or g?
g
Let j = -211 + 798. Is 587 less than or equal to j?
True
Let d be 12/3 - (3 - 5). Let v be 2/d*(-144)/(-30). Let l be (1/(-3)*84/7)/(-2). Which is bigger: v or l?
l
Let h(i) = 21*i - 76. Let f(j) = 12*j - 38. Let z(y) = -5*f(y) + 3*h(y). Let c be z(13). Let p = 1/70 + 17/1260. Is c at most as big as p?
False
Let c be (-1)/((-24)/8)*(0 + 1). Let p = -517 - -513.93. Let q = -0.07 - p. Which is bigger: q or c?
q
Suppose 12 = 4*p - 3*d, 5*p + 0*d - d - 4 = 0. Let m(j) = -6*j + 4. Let a(q) = -7*q + 5. Let k(r) = -5*a(r) + 6*m(r). Let w be k(0). Which is greater: p or w?
p
Suppose -6*w + 5*j = -7*w + 90, -2*w - 3*j = -201. Which is greater: w or 107?
107
Let h(l) = -l**3 - l**2 - l + 1. Let q be h(0). Let g be q + 26/5 + -5. Let c = 0 - -1. Which is greater: c or g?
g
Let m = 441 - 805. Is -364 bigger than m?
False
Suppose 4*t + 28 = -0*t. Let m = 9 - t. Is 16 less than or equal to m?
True
Let m be (2/1330)/(4/436). Let h = -2/95 + m. Suppose q = 2*n + 9, 0 = -2*q + 5*q - 5*n - 22. Is q < h?
True
Suppose -4*d + 64 - 52 = 0. Suppose -2*l = d*s + 48, -5*l + 4*s = -2*l + 55. Does -21 = l?
True
Let d = 9.2 + -46.2. Let p = -36 - d. Which is smaller: p or -3.4?
-3.4
Let t(c) = c**3 - 12*c**2 + 11*c. Let x be t(11). Let d be (-10)/(-175)*5/(5/2). Which is greater: x or d?
d
Let s = 0.161 + -0.311. Is 5 <= s?
False
Let o = 10974 - 8274395/754. Are o and -1 non-equal?
True
Let h = 2751 + -1551565/564. Is 1 less than h?
False
Suppose 3*l + 33 = 14*l. Let g be -41 - 3/(l/2). Is g less than or equal to -42?
True
Suppose r - 1 = 0, -r = -2*o - 2*o + 7. Let m(q) = q**3 - q - 2. Let b be m(o). Let g be -2*b*(-1)/(-8). Which is smaller: g or -2/21?
g
Let p be (-1)/((-1 + 2)*(4 - 1)). Let u(x) = x**2 - 3*x + 1. Let v be u(3). Let g(w) = -w + 1. Let r be g(v). Which is greater: r or p?
r
Let d = -134602469/252 + 534136. Let i = -2/63 - d. Which is smaller: 0 or i?
0
Let b = -25/21 + 3671/3066. Is b less than or equal to -8?
False
Let h(y) be the second derivative of 69*y**5/20 + y**4/12 + y**3/6 - y**2/2 - 38*y. Let v be h(-1). Is v smaller than -69?
True
Let o = 0.52 - 2.47. Let l = -5 + o. Let d = -0.05 + l. Which is bigger: d or 2/3?
2/3
Let q(s) = 20*s - 5. Let f be q(16). Do 315 and f have the same value?
True
Suppose 4*l = -4*d + 28, 3*d = -5*l - d + 32. Suppose 5*r + l*g - 22 = 0, -3*r - g = 2*r - 13. Is r at most as big as 2?
True
Suppose 20 = 4*g, -5*g = -2*z - 0*z + 101. Are z and 64 non-equal?
True
Suppose 0 = -5*s + 1 + 9, -60 = -2*y + 3*s. Let b = -12.2 - -12.1. Which is greater: b or y?
y
Let l = 1983 + -9884/5. Do l and 7 have the same value?
False
Suppose -w + 63 = -g, -11 + 255 = 4*w - 2*g. Suppose 4*u - w = l - 0*u, 5*l = -u - 274. Let i be (-126)/(-33) - 10/l. Which is smaller: i or 3?
3
Let b(p) = p**2 + 3*p - 2. Let t be b(-4). Suppose -2*f = -2*x, 5*f - 16 = -t*x + 5. Suppose 0 = -d + x - 8. Which is bigger: d or -2?
-2
Let u = 99.4 + -99.5. Which is bigger: 1.11 or u?
1.11
Suppose 2*b + 122 = 128. Do 31/9 and b have the same value?
False
Let l be 33/22*(-20)/6. Which is bigger: l or 27?
27
Let h = 0.365 - 0.265. Is 307 greater than h?
True
Suppose h = 34*c - 32*c - 267, 129 = c + 4*h. Are 935/7 and c equal?
False
Let s be (39/(-26))/((-2)/((-16)/(-3))). Which is smaller: 44/9 or s?
s
Let d = 0.3 + -0.2. Let j = -30 - -14. Let b = -2 - j. Which is smaller: d or b?
d
Let u be (1/15)/(351/(-26)). Is 0 at least as big as u?
True
Let s be (-1)/(-1)*(-238)/14. Let u = 23 - 39. Which is bigger: s or u?
u
Let y = 0.49 - -25.51. Let v = -36 + y. Let s = v - -9. Which is greater: -3/7 or s?
-3/7
Let n = 60 + -18. Suppose r - n = 4*a + a, -5*r - 15 = 0. Which is smaller: 0 or a?
a
Let g = 635 + -629. Suppose 0 = 3*f - 6 - 0. Let x = f + -1. Which is greater: x or g?
g
Let k be ((-9)/(-2))/(410/40 - 11). Let v be (-3)/(-1) - (2 - 0). Which is smaller: k or v?
k
Let m be (-7 - -5)*1/2. Suppose 3*c = -3*a + c + 6, 15 = 4*a + 5*c. Which is bigger: m or a?
a
Let d(v) = v**2 + 8*v - 7. Let z be d(-9)