 - w + 31 = -2. Let z = f - 10. Let b be z/(-10) - (-7 + 5). Is 2 >= b?
True
Let c = -0.34 + 23.34. Let w = -23.13 + c. Let z = w + 1.13. Is -4/9 < z?
True
Let y = 0.85 - 0.47. Let s = 1.38 - y. Is s bigger than -19?
True
Let y be 774/(-54) + (-2)/(-6). Let i = y - -12. Which is smaller: i or -13/5?
-13/5
Suppose -4*r = -16, -4*l + 0*r + 3*r = -32. Suppose 4*b + 3*g + 2 = 0, 6*b = 3*b + 4*g + l. Let m be 2/(-36) + (-7)/63. Do m and b have the same value?
False
Let a = 867 - 877. Which is smaller: a or -1/21?
a
Suppose -79 - 21 = 5*q. Let k be q/(-52) + 0 + 1. Is 0 at least as big as k?
False
Suppose 14*q + 680 = -202. Which is smaller: q or 1.2?
q
Suppose 6*a = a. Let y(s) = -s**3 - 2*s - 5. Let g be y(a). Is 1 at most g?
False
Let v be 9/((-9)/(-4)) - 1. Let q = 17 + v. Let w be q/35*(-21)/(-27). Is 0 less than w?
True
Let d = -748 - -749. Is -3/193 less than or equal to d?
True
Let a = 137 - 129. Which is smaller: 4 or a?
4
Suppose 0 = -v - h + 5*h - 6, -2*v - 4*h + 36 = 0. Suppose i + 0 = -v. Let j = i - -8. Which is bigger: j or -2/3?
-2/3
Let k = -111 - -112. Which is bigger: k or 0.3?
k
Let r be (-1)/5 - ((-7056)/(-35))/(-3). Is r bigger than 67?
False
Suppose -13 - 20 = 2*y + h, 60 = -5*y + 2*h. Which is greater: y or -13?
-13
Let a(y) = -3*y**2 + 8*y. Let c be a(-6). Which is smaller: c or -157?
-157
Let h = 2785 + -2784. Let f = 2 - 2. Suppose -x + 5*j - 9 = f, 0 = -2*x - 2*x + 3*j - 2. Does x = h?
True
Let a = 0.26 + 0.04. Let r = -154 - -201. Let v = -47.1 + r. Is a < v?
False
Let b = 127 + -118. Suppose 7*v = b*v. Does -1/143 = v?
False
Let x be ((-15)/9)/(5/(-30)). Let j be (-1)/x*(-6 - -3). Let r(o) = o**2 - 6*o + 6. Let n be r(5). Does j = n?
False
Let u = -0.07 + 0.27. Let z = -39.98 + 40. Is u smaller than z?
False
Let n = -1078 - -1079. Is 12/55 at most n?
True
Let f(r) = -r + 4. Let t be f(6). Let k be 14/(-49) - (-299)/(-7). Let j = 165/4 + k. Which is bigger: j or t?
j
Let a = -7 - 17. Let p be (-4)/(-12) + (-1510)/a. Let n = p - 63. Is 0 at least n?
False
Suppose 5*a = 5, -3*a + 4*a = 3*o + 7. Let k = -221/2 + 2419/22. Which is smaller: k or o?
o
Let z be -3*5/(-73740)*-12. Which is smaller: 1 or z?
z
Let h = -42 + 22. Let g = h - -28. Suppose 14 = 2*a + 2*w - 5*w, -4*a - 3*w = g. Which is greater: a or -3/7?
a
Let t = 147 - 114. Suppose 16*a = -t - 111. Which is greater: 1/2 or a?
1/2
Let n = -57 - -91. Let j(t) = -109*t + 5920. Let a be j(54). Do n and a have the same value?
True
Let p = -43917169/1095 - -40107. Let s = p - -10/73. Which is greater: -6 or s?
s
Let z = -67117/15 - -4466. Let f = z + 44/5. Is 1 bigger than f?
True
Let t = 1.33 + 0.67. Let p be (-2)/14 - 12/(-35). Is p not equal to t?
True
Let r = -860 - -860.132. Which is greater: 1/11 or r?
r
Let k = -28 - -41. Let s = -18 + k. Is s at least -3?
False
Suppose f = z - 1, 3*z = 2*z - 1. Let u be 108/(-63) - f/1. Is u greater than -1?
True
Let u be -1*(-1 - -2)*-3. Suppose x = 3*x - 10. Let k be 0 + (-7 - -3) + x. Which is smaller: u or k?
k
Suppose -3*s + 16 = -5. Let m be s/56*(1 + -7). Suppose 2*w = -w. Which is greater: m or w?
w
Suppose 3*m + 2*t + 150 = 8*m, m - 4*t = 30. Let a be (-2)/7 - m/(-7). Suppose a*l + 4 = -0. Which is smaller: -0.4 or l?
l
Let a be -8*(0 - (-1)/2). Let s be 23/7 + (a - -2). Suppose -x + 5 = -n, 3*x + 2*x = -2*n + 25. Which is smaller: s or n?
n
Let v be 4/((-1430)/(-5 + 0)). Which is bigger: 1 or v?
1
Suppose 190 = -2*w - 106. Which is smaller: -149 or w?
-149
Suppose 3*z = 9, 4*o + o = -3*z + 14. Are -1/448 and o unequal?
True
Let h = 671.53 - 675. Let c = 0.27 + h. Let w = -2.7 - c. Is w greater than 0.3?
True
Let i be ((10 - 12)/12)/(2/28). Is i equal to -0.08?
False
Suppose -8 = -3*j - 2. Suppose -j*t - 6 = -5*f + 17, -19 = -4*t - 3*f. Is 6/7 >= t?
False
Let r be 2/(3/(-4) - 369/(-540)). Let f be (1*1/r)/((-5)/(-3)). Is f > 0?
False
Let x = -2.7 + 2.88. Let q = 0.28 - x. Are 17 and q unequal?
True
Suppose 0*p = 3*p - 3. Suppose f + 11*r - 15*r = -58, -2*r + 52 = -f. Is p <= f?
False
Let z = 46 - 43. Suppose -o - 15 = z*s, -o + 6 = -2*s + 1. Is -22/5 less than o?
True
Suppose 0*a = -3*a + 9. Let y(s) = -13*s - 149. Let i be y(-11). Which is bigger: i or a?
a
Suppose -h + 0 = -1. Let k be 395/(-150) + 2 + h/2. Is k at most as big as -2/3?
False
Let i = 684/11 - 64. Suppose 3*j = 31 - 37. Is j <= i?
True
Let r(k) = -1 - 7*k**2 - 3*k + 6*k**2 + 5*k. Let f(y) = -y - 5. Let m be f(-7). Let i be r(m). Is -3 < i?
True
Suppose -i + 5*o + 4 = 0, -2*o = -2*i + o + 1. Let d be ((-16)/(-50))/(2/(-10)). Is i less than d?
False
Let l = -20856.89 - -20702. Let u = l + 155. Let a = -2 - -3. Are u and a equal?
False
Let y = -396 + 272. Let h = y + 122. Is h less than -37?
False
Let q(g) = -36*g + 18. Let b be q(3). Is b bigger than 2?
False
Suppose -4*n = -2*t - 0*t - 24, -3 = t + n. Suppose 3*r + 126 = -5*f, 3*r - f + 101 = -7. Let s be r/t - 2/12. Which is smaller: s or 7?
s
Let t(y) = -3*y - 8. Suppose -3*n - 5 = -5*p + 38, -23 = 3*n - p. Let v be t(n). Let g be (-6)/15 + 94/10. Is v <= g?
False
Suppose 80*a - 40 = 82*a + 2*y, 0 = -4*a - 5*y - 81. Is a >= -1?
False
Let x = 2/3019 - 81535/33209. Which is smaller: -1 or x?
x
Suppose -14 = 6*m + 64. Let r be 4/(-12)*m/(-11). Let d = r + 2/3. Is d greater than 0?
True
Let t(y) = -y**2 - y + 3. Let s(n) = n**3 + 5*n**2 + 3. Let b be s(-5). Suppose 2*v + 1 = -b. Let d be t(v). Which is smaller: d or -1/9?
-1/9
Suppose -2*l - 3 - 5 = 0. Let u(w) = w**2 - 15*w + 2. Let o be u(15). Suppose 2*d = -a - a - 12, -a = o*d + 12. Is d smaller than l?
True
Let h(z) = -z**3 + 10*z**2 + 4*z + 76. Let u be h(11). Which is greater: u or -2/27?
-2/27
Let c = -11 - -25. Suppose -17*z + c*z = -45. Which is smaller: 14 or z?
14
Let r(v) = -2*v + 26. Let o be r(8). Suppose 7*f = 5*i + o*f + 5, -i - 1 = -2*f. Which is bigger: 1/123 or i?
1/123
Let x(a) = -81*a**2 - a - 1. Let w be x(2). Is w at most -2/3?
True
Let k(s) = s**2 + 3*s - 10. Let r be k(2). Which is greater: 7/41 or r?
7/41
Suppose 0 = -5*z + 5*o - 19 - 6, 0 = -z + 2*o - 8. Which is smaller: z or -1?
z
Suppose 0*i + 5*i = -9*i. Which is bigger: -1/4 or i?
i
Let o = 19/4 - 65/14. Which is greater: o or -1?
o
Suppose -5*k + 6*r - 25 = 2*r, -5*r + 23 = 2*k. Which is bigger: -1/85 or k?
-1/85
Let i = -1073 + 67598/63. Which is smaller: 1 or i?
i
Let c = -2668 - -24011/9. Let s = -1586/1185 + 2/395. Is s bigger than c?
False
Let k = 299 + -269. Let u = -4 + 2. Let y be u - 0 - (-54)/k. Is 1 at most y?
False
Let y(b) = 16*b + 2. Let t be y(-2). Let r be (18/t)/((-1)/5). Suppose -2*o = -3*h + 2, 2*o - 12 = 3*h - 7*h. Is r at least o?
True
Let a be (190/(-114))/(10/(-6)). Are a and -8 unequal?
True
Let b = 497 + -701. Let x be (b/(-54))/(3/18). Which is bigger: 23 or x?
23
Suppose -4*z = -7*z + 9. Suppose 20 = -2*y - z*y. Let s be y/(-8) - 2/4. Which is smaller: s or -7/10?
-7/10
Let u = 0.9 + -0.96. Which is smaller: u or 58?
u
Let g(x) = x**2 - x - 36. Let w be g(-6). Let f(h) = -11*h + 1. Let q be f(-1). Suppose w*v = -72 - q. Which is smaller: v or -12?
v
Let s = 596198 - 7746755/13. Let a = -294 + s. Is a > 1?
False
Let s(o) = o**3 + 18*o**2 - 18*o + 18. Let v be s(-19). Do v and 2/229 have the same value?
False
Let f = -108 - -31. Let b = f + 128. Which is bigger: b or 0?
b
Let i be (-10)/(-4)*(2 - 0). Suppose i*s + 3*g = 2*g + 36, 3*s = 2*g + 32. Do 8 and s have the same value?
True
Let y = 605 + -704. Is y < -106?
False
Let y(q) = 74*q + 39. Let v be y(-5). Let b = v + 1661/5. Is 0 bigger than b?
False
Let b = -0.2156 - -0.2156. Which is bigger: b or 2/345?
2/345
Let a = -33/16 - -661/336. Suppose 0 = 3*f + 3*s, f - 16*s + 12*s = -5. Which is bigger: f or a?
a
Suppose -b + 4 = -3*i + 5, -5*i = 5*b + 5. Which is greater: i or 1/292?
1/292
Let z = 6.25 - 6.15. Is z > -275?
True
Let c = 409 + -407. Is c at least as big as 47?
False
Let u = -439/4389 - -1/209. Let t be 0/(15/(-3) - -7). Let l be -1 - 1*(t + 0)*-1. Which is smaller: u or l?
l
Let t = 5.79 + 0.21. Which is bigger: t or -1/18?
t
Let m = 863358/3335 + -5958/23. Let z = m - 1252/145. Is -8 less than or equal to z?
False
Let y = -4.1 + 0.1. Let h = 4.2 + y. Let p = 96 + -95.9. Do h and p have the same value?
False
Suppose -3*b - 26 = -5*b. Suppose -315 = -16*p + b*p. Is 104 != p?
True
Let