u = 76 - 130. Let k = u - -164/3. Is w smaller than k?
False
Let z(h) = 1 - h - 3 - 4. Let l be z(-7). Is 1/42 smaller than l?
True
Let q be 22/(-12) - (-1 + 1). Let j be ((-92)/69)/((-2)/81). Let t = j + -57. Which is smaller: q or t?
t
Let j be (-4 - 21/(-9))*-6. Suppose j*y = 2*y + 168. Is y at least as big as 21?
True
Let t be ((-6)/(-2))/(-3 + (-54)/(-15)). Suppose t*u + 161 = -2*u. Is -21 greater than or equal to u?
True
Let g be (-3 - 1 - -4) + 12. Let l = 10 - g. Let m = l - 4. Which is smaller: -27/4 or m?
-27/4
Let v(k) = k**2 - 14*k + 27. Let c be v(12). Suppose 2*m + 2*o - 14 = -2*m, -7 = m - c*o. Suppose 5*p = -0*p + 15. Are p and m nonequal?
True
Let w = 77 + -75. Suppose -k - w*l - 5 = -0*l, -3*k - 2*l + 5 = 0. Which is smaller: k or 7?
k
Suppose -6 = -6*f + 8*f. Let w be (1 - 13/5)/(f - -5). Is -1 <= w?
True
Suppose -9*a = -38 + 11. Let i(v) = v**3 + 5*v**2 + 5*v + 2. Let y be i(-4). Let b be ((-20)/(-90))/(y/a). Is b not equal to 0?
True
Let u = 75.8 - 78.89. Let q = 0.09 + u. Let h be (20/(-8))/5 - 0. Which is smaller: q or h?
q
Let v = 61.8 - 61.8498. Which is smaller: -0.1 or v?
-0.1
Let z(v) = -v + 27. Let d be z(-6). Let b = d - 10. Is 21 != b?
True
Let f(m) = -m. Let h(y) = -2*y - 1. Let s(u) = -f(u) + h(u). Let b be s(-3). Let r be (5 - 2) + -2*b. Is 0 < r?
False
Let q(j) = j**3 + j + 475. Let b be q(0). Suppose -4*u = -5*u - b. Let g be 9/15 + 360/u. Is -1 equal to g?
False
Let s = 1 - 1. Suppose -13*m + 10*m = s. Suppose 0 = -m*b - b + 2. Do b and 2 have the same value?
True
Let w = -9.5 + 2.5. Are w and 0.5 equal?
False
Let f = 55 + -121. Let h = f - -65.9. Let b = -1.1 + 0.1. Which is greater: h or b?
h
Let s be (-1)/((-15)/(-6) - 2). Suppose -4*a + 7 = 3. Let k = s + a. Is k <= 1/8?
True
Suppose 11*h = 92 - 1005. Which is smaller: -497/6 or h?
h
Let w be -2 + 0 + 1 + 1. Suppose -4*x - 16 - 32 = w. Let j be (-1 - 1) + x/(-5). Which is bigger: j or 0?
j
Let m = -12.37 - -13.77. Is m at least -2?
True
Suppose -4590 = 42*r - 25*r. Which is bigger: r or -0.1?
-0.1
Let x = 141801/16 - 3704195/432. Let y = x - 288. Suppose -18*s - 789 = -807. Which is smaller: s or y?
y
Suppose 6*n = 1624 - 1618. Which is bigger: n or 89/8?
89/8
Suppose -3*c - 20 = -b - 3*b, -2*b + 10 = -2*c. Is c at most 3/1654?
True
Let q be (-2)/6 - 1027/(-39). Suppose -3*g = 2 - q. Is g equal to 2/7?
False
Let v = 5 + -1. Suppose 23 = -v*p + 5*s, 3*s + 3 = 5*p + 48. Suppose -384 = 9*j - 267. Which is greater: j or p?
p
Suppose w - 50 = 4. Suppose -5*d + 3*f + 266 = 0, -14*d - 4*f = -17*d + 153. Does w = d?
False
Let k(f) = -f**3 + 3*f**2 + 6*f - 6. Let v be k(3). Suppose -c + 4*y = -v, -3*y - y = 5*c - 132. Is 23 <= c?
True
Let l = 5.843 + 5.157. Suppose 2*u = -0*u - 4. Which is bigger: u or l?
l
Suppose -2*p = -5*g + 4 + 7, g = 2*p + 31. Let w = p + 33. Let q be w - 14 - (-5)/(-7). Which is smaller: -0.3 or q?
-0.3
Let j be (-18)/(-24)*(-32)/(-3636). Is 0 < j?
True
Let z = 2.431 + 0.569. Which is greater: z or -3.2?
z
Let f = -2/7 + 1/28. Is f at most as big as 7.3?
True
Let y be (5/(-19))/((-16)/16). Which is greater: -1 or y?
y
Let d = -12528 - -7488. Let a be d/9275 + (-1 - (-8)/5). Are 1/2 and a equal?
False
Let v = -0.18 - -0.1. Let y = 0.01 + 0.21. Let h = y - v. Is -1 less than or equal to h?
True
Let x = 652 + -3239/5. Let u = 22/15 + x. Does u = 5?
False
Let r = -263/178 + -2/89. Let i = 12 - 4. Suppose i = 2*a - 6*a. Is a smaller than r?
True
Let r = 58.2 - 98. Let u = -40 - r. Is u less than or equal to 0.1?
True
Let y = 31.3 + 13.7. Which is smaller: 1/4 or y?
1/4
Let p(h) = h**3 + 7*h**2 + 5*h - 4. Let q be p(-6). Is q > 9/13?
True
Let v = -1514/310905 + 1/1269. Is v < 0?
True
Let y = 3 + -2. Let h(j) = -j**3 - 4*j**2 + 3*j - 7. Let i be h(-5). Are i and y non-equal?
True
Suppose -4*y - 608 = -6*y - 2*i, 5*i + 1570 = 5*y. Let s = y + -2475/8. Is s bigger than -0.4?
True
Let i = -622 - -665. Which is smaller: i or -2?
-2
Let l = -323 - -563. Do 239 and l have the same value?
False
Let k = 0.492 - 0.692. Suppose 2*c + 10 = 4*c. Let x = c + -2. Which is greater: x or k?
x
Let n(p) = 4*p**2 + 17*p - 15. Let c be n(-5). Which is greater: c or -3/47?
c
Suppose 3*q + 3*b + 1 = q, -4*q = 5*b + 1. Let w = -19.46 + 0.46. Is w <= q?
True
Let m = -18.93 + 7.92. Let q = -11 - m. Let z = 0.11 - q. Is 1/3 smaller than z?
False
Suppose 4*b - 2*b = -o + 176, 449 = 5*b - 2*o. Which is smaller: b or 93?
b
Let t = -13.458 + 13.6. Which is smaller: t or 3?
t
Suppose 2*f + 0*f - 5*j - 29 = 0, 3 = -f - j. Is f at most as big as -1.03?
False
Let y = -2.57 - -2.4. Let p = -0.49 + 0.22. Let g = p - y. Are 13 and g equal?
False
Let b = -50 + 97. Suppose 18 = 5*c - b. Do c and 1 have the same value?
False
Let i = -9 - -22. Let w = 11 - i. Is w <= -9?
False
Let d = 586 - 587. Do d and 1/106 have the same value?
False
Let a = -3/1133 - -3414/5665. Let k be ((-39)/(-24))/1 + -2. Is k smaller than a?
True
Suppose -5*u - 62 = -6*u. Suppose 2*f - 24 = x + 4*f, 0 = 3*x - 4*f + u. Is x greater than or equal to -22?
True
Let y = -509 - -519.51. Let p = 10.8 - y. Which is bigger: 0.1 or p?
p
Let v(n) = n**2 - 19*n + 15. Let t be v(20). Let b(u) = 2*u - 6. Let j be b(7). Suppose -4*x = d + t + 33, 2*d = -j. Is x less than -16?
False
Suppose 0 = 4*n - 284 - 820. Is n <= 274?
False
Let c be (-2)/(6/9) + 0. Suppose -2 = n - 4. Let t be (-49)/30 - n/10. Is c bigger than t?
False
Suppose 6*s = s + 25. Suppose -r = -0*r + s. Let w(j) = j + 7. Let y be w(r). Which is bigger: y or -1?
y
Let u(a) = a**3 - 5*a**2 + 5. Let r be u(5). Suppose 3*m = -r*x + 4*m + 34, -4*m - 34 = -3*x. Suppose -16 = -4*i - 0. Which is greater: x or i?
x
Let o be (-394)/(-2955) + -4*2342/69810. Which is smaller: 1 or o?
o
Let b = -0.53 + -0.03. Let y = b - -0.5. Let c = y + -24.94. Which is smaller: c or -2/7?
c
Suppose 6*d - 3*d = -15. Suppose -3*k - 22 = -2*t, -5*t - 20 = 6*k - k. Is k >= d?
False
Suppose -4*p + 0 - 4 = 0. Let h(y) = 3*y. Let d be h(p). Suppose -t + 2*v - 2 = 0, -t + 3*v = 2*v + 3. Which is smaller: t or d?
t
Let m = -353.15 - -343. Let n = m + 0.15. Let a = n + 10.5. Do -0.1 and a have the same value?
False
Let v = -0.1706 + 0.206. Let a = v - -2.0946. Let x = -0.13 + a. Which is smaller: -0.6 or x?
-0.6
Let r be 65/26 + 10/(-8)*94. Is r bigger than -117?
True
Let f = 1806 + -1805. Is 1/1671 greater than f?
False
Let o = -130.7 + 133.7. Which is smaller: o or -11/6?
-11/6
Let v = 0.2 - 0.1. Let q = 22 + -22. Let z = q + -4. Do z and v have the same value?
False
Let w(z) = -z**2 + 12*z - 10. Let p be w(11). Suppose 3*k = 6, 3*u - 5 = 4*u - k. Let g = u - -1. Which is greater: g or p?
p
Let q = 201 - 131. Is 70 bigger than q?
False
Let u = -2.641 + -0.059. Let k = -2.44 - u. Let b = k + 0.74. Is -6 smaller than b?
True
Let r = -2.6 + 2.58. Let v = r - -0.9. Let k = v - -0.12. Which is bigger: -12 or k?
k
Let f be 39/2 - (-4)/4. Is 22 less than f?
False
Suppose -43 = u - 42. Suppose 7*h - 40 = 2*h. Let w be 2/h + (-5)/28. Are u and w non-equal?
True
Suppose -5*s = 4*g + 4, -3*s - g = -0*g + 1. Is s < 2/7?
True
Suppose -28 = -31*s + 3*s. Is 10 smaller than s?
False
Let k = 14 - 20. Let m(c) = 2*c + 8. Let b be m(k). Let q = -6 + 1. Which is bigger: b or q?
b
Let t = 22 - 15. Suppose 5*v + 13 = -t. Let q = -20 + 14. Which is bigger: v or q?
v
Let p(y) = -y**2 + 7*y + 2. Let t be p(7). Suppose -z = -t*z. Let v = 71 - 73. Is z >= v?
True
Let g = 27 - 27. Suppose 20 = 4*q + 2*x, -4*q + 32 = -g*q - 4*x. Are 2 and q non-equal?
True
Let a = 3.04 - 3. Let g = -0.1438 + -0.0562. Is g at least as big as a?
False
Suppose 0 = -4*q + 18 + 54. Suppose 6*x = 6 - q. Which is smaller: -3 or x?
-3
Suppose 3*d + 4*q = 16, -3*d + 0*d + 2*q = -28. Let k be (d/10)/(20/(-250)). Let p be -2 + 2 + k/95. Is p greater than -1?
True
Let b = -69 - -66. Let m = b - -15. Suppose 4*i + 75 = 5*y, 5*y + 0*i - 65 = 2*i. Which is smaller: m or y?
y
Suppose s + 4*v = 2*s, 4*s + 4*v = 20. Let x(z) = -14*z - 7 - 8 - s - 5 - z**2. Let l be x(-12). Is l != 0?
False
Let j = 53/109 + 3/218. Is 250 less than j?
False
Suppose -716 = -11*s - 111. Which is smaller: s or 53?
53
Let r = 81 - 79. Suppose -g = -r*g - 1, -5*g - 9 = 4*s. Which is greater: s or -8/13?
-8/13
Let r be -1*(12/24)/(106/(-4)). Is 1 at least as big as r?
True
Let