l to 2/369?
False
Suppose 0 = -3*c + 4*w + 4, -c + 2*w + 2*w = -4. Is c < 1?
True
Let r = -51 + 157/3. Suppose -6 + 4 = -2*z. Is z != r?
True
Let b = -1 + 3. Let l be b/4*(-4 - 0). Which is smaller: l or -3?
-3
Let k = -1 - -2. Let w be (2/42)/((-1)/(-6)). Which is smaller: w or k?
w
Let t = 0.18 - 0.11. Let i = 5 - 6. Is t at least as big as i?
True
Let u = -1864/19 - -98. Which is smaller: 0 or u?
u
Let b be (3/(-3))/((-3)/12). Suppose 3 = g + b. Are 1/5 and g nonequal?
True
Suppose 44 = 2*l + 4*t, 2*l + 3*l + 5*t = 105. Suppose -5 + l = v. Suppose 0 = -f - d - 5, 0 = -5*f - 0*d + 5*d + v. Is 0 bigger than f?
True
Let t(h) = h - 2. Let d be t(0). Let n be ((-6)/18)/(d/(-6)). Which is bigger: -1/2 or n?
-1/2
Let a = 1/207 - -403/2277. Suppose -2*i - 2*k + 3 = 1, -4*i = -3*k - 11. Let t = -1 + i. Which is bigger: t or a?
t
Let r = 22 + -21. Let s = -11 - r. Is -1 >= s?
True
Let z = 0.4 - 0. Let p = z + 0.6. Which is smaller: 0.2 or p?
0.2
Let z(n) = -n**3 - n**2 - 5*n + 7. Let y be z(5). Let m = y + 1182/7. Let k = -3 + 4. Is m smaller than k?
True
Let r be 4/(-8)*0/2. Let j = 3.7 - 4. Which is smaller: j or r?
j
Let p be (-3)/9*6/5. Which is greater: p or -0.03?
-0.03
Suppose -b - 3*s = 2*b - 45, s = -2*b + 26. Let o = -15 + b. Is o less than or equal to -5?
False
Let d be -2 - (-7 - -1) - 2. Suppose 0 = -4*v + d*v. Which is smaller: 1 or v?
v
Let h(q) = q**2 + 5*q + 6. Let m be h(-5). Is 5 less than m?
True
Let n be ((-4)/(-5))/(2/(-5)). Let r be 2/(-1)*2 - -2. Is n <= r?
True
Let o = 49228/19 - 2590. Let j = 107/133 - o. Is j equal to -0.1?
False
Let z(d) = -d**2 + 4*d + 3. Let u be z(4). Let t be (-2 - (-10)/4)*0. Suppose -2*w + 5*y = -t*w - 13, u*w = 5*y + 17. Which is smaller: 5 or w?
w
Let s(i) = -i - 3. Let k be s(-7). Suppose -51 = -5*x + 5*z - 21, -k*z = -x + 21. Is 2 smaller than x?
False
Let f(k) = k**3 + 8*k**2 - k - 2. Let j(q) = 3*q + q**2 - 2 - 2*q - q**3 - 7*q**2. Let y be j(-6). Let r be f(y). Which is smaller: 5 or r?
5
Let p = -319/5 + 64. Which is smaller: p or 7?
p
Let o be (-1)/(-2)*0/(-3). Let w = -1 + o. Let b = -589/3300 - 1/300. Which is greater: w or b?
b
Let y be 5*(355/125 + -3). Suppose 6*v = 4*v - 4. Which is smaller: y or v?
v
Let a be (1/1)/(3/6) - 23. Is a at most -23?
False
Let o = 0.4 + 0.1. Let z = o + -0.2. Let d = 0.7 + z. Which is smaller: 0.2 or d?
0.2
Let h be 1312/40*2/12. Let z = h - 17/3. Suppose -20 = -3*f - 5*v + 2, 23 = 2*f + 5*v. Is f equal to z?
False
Let j = -12 - -18. Let l = j - 9. Are -3 and l non-equal?
False
Let s(o) = o**3 - 2*o**2 - 3*o. Suppose -1 = -2*f + 5. Let u be s(f). Is -3/7 at most u?
True
Suppose -3*m = -5*b - 10, -5*b - m - 3*m = -25. Is -2/19 <= b?
True
Let k be ((-1)/2)/(3/2). Suppose 0 = a - 2. Let y be (1/5)/(a/10). Which is smaller: k or y?
k
Let w(k) = -3*k. Let d be w(-1). Suppose -d*x - 7 = -2*x. Is x less than -7?
False
Let u = -3 - -5. Suppose 0*m + 3*m = -z + 8, 10 = u*z. Let n be (-1)/m - (-1 - 2). Is n at most 0.1?
False
Suppose 4*s = -i - 4, -2*i - 5 + 7 = -2*s. Which is smaller: -18/23 or s?
s
Let y be (1/(-12))/(8/36). Let o = y - -1/24. Which is smaller: o or 0?
o
Suppose -2*r - w = -4*r + 18, 2*w = -5*r + 54. Let a = r + -16. Which is bigger: a or -2?
-2
Let n = 11/84 + -5/12. Is 0 bigger than n?
True
Let k be 3/(-15) + 22/(-90). Is k less than 0?
True
Let j = -37 - -34. Which is bigger: j or 2/7?
2/7
Let i = -11024/35 - -315. Let f = -1338923/70 - -19126. Let s = f - i. Is s > -3?
True
Let w be ((-6)/(-75))/(1/(-5)). Are 1/2 and w equal?
False
Let r be (-2 + 40/18)/((-48)/(-792)). Is r at least 1?
True
Let o be 3/(-33)*(-144)/(-74). Let w = -1448080/5291 - -3558/13. Let j = w - o. Which is smaller: -2/5 or j?
-2/5
Let i be -12*7/(-56) - 7/6. Which is bigger: -0.07 or i?
i
Let p be ((-4)/10)/((-2)/(-24)). Let m(j) = -j + 17. Let x be m(12). Let l = x + p. Which is greater: 0 or l?
l
Suppose 4*h - 1 = 5*h. Let t(z) = 5*z. Let s be t(h). Suppose 3*n = 6*n + 4*v + 22, -11 = 2*n - v. Is s > n?
True
Let a = -221/3 + 71. Is a greater than -4?
True
Let z = 10 + -1. Is z not equal to 1?
True
Let v be 2/7 - 30/105. Is 0 at least v?
True
Let l = 52915 - 5291453/100. Let x = l + 32/25. Are x and 2 equal?
False
Suppose 0 = -4*w - 6 + 2. Let o = w - -4. Suppose 5*y = o*a - 4, 2*y + 10 = 2*a + 6*y. Which is smaller: a or 1?
1
Let x = -2 + -6. Let h be ((-6)/(-14))/(3/2). Is h > x?
True
Let n = 74 + -52. Let u = n + -45/2. Let v = -2 - 0. Is v greater than or equal to u?
False
Let d be ((-10)/99 - 0)*-5109. Let k = d - 516. Is k less than 1?
True
Let b be 2/(18/57) + -2 + -1. Is b at most as big as 3?
False
Let d = -1/189 - -431/10017. Is d != -1?
True
Let j be 2 - -57*(-5)/120. Is 3 equal to j?
False
Let b = 0.035 - -37.965. Is b >= 2/11?
True
Let j = 79.9 - 80. Which is bigger: 0.23 or j?
0.23
Let v = -24 - -39. Suppose -f + 5 = -v. Let u be 6/f*10/(-12). Which is smaller: 1 or u?
u
Let u be 4/(-12) + (-25)/(-3). Let z be -7*(0 - (2 - 1)). Let j = z - u. Is j at most as big as -1?
True
Suppose -c + 5*c + h = 12, -3*h = 4*c - 12. Suppose -6*p + c*p = -9. Which is greater: 4 or p?
4
Suppose -5*f + 0*f = -20. Let s = 1 - f. Let a(y) = y - 4. Let x be a(2). Is s bigger than x?
False
Let f = -0.2 - -0.2. Suppose 0 = -2*s + s + 3. Let x be 1*(s - (-2)/(-2)). Which is greater: x or f?
x
Let p = -18 + 17.96. Which is smaller: -0.05 or p?
-0.05
Let u = 2 + 0. Let j = u - -2. Suppose 2 = -w + j. Is 0 at least w?
False
Let i be 2/(-6) + (-9)/(-108). Are 1.4 and i equal?
False
Let w = 3 + 0. Suppose w*i + 12 = -i. Suppose -r - 3*q = -12, -3*r - 24 = -q - 2*q. Are i and r equal?
True
Suppose -2*o + 4 = -0*m - m, -o = -3*m + 8. Which is greater: m or 3?
m
Let z be 4/8*8/(-2). Let k be -7 - -2*z/(-4). Which is smaller: k or 1?
k
Suppose 0 = 2*f - 5*o + 7, 0 = -4*f - 5*o - 16 - 13. Let w = -4 - f. Suppose w*q - 5*q = 6. Is -4 at most as big as q?
True
Let k = -328/7 + 16735/357. Which is greater: 0 or k?
k
Suppose -9 + 14 = q. Is q <= 3?
False
Let j = 44 + 4. Let i be (-36)/j*(-8)/(-33). Is i at least 0.1?
False
Suppose -g - 2 = -3. Suppose 0 = 2*x + 4*o - 20, -o + 4 = -g. Is 3/5 bigger than x?
True
Let z = 15 + -15. Which is greater: 0.12 or z?
0.12
Let g(i) = -3*i**3 - 3*i**2 - 5*i - 10. Let w be g(-3). Are 58 and w non-equal?
True
Let q be -14*40/28*-1. Is -3 < q?
True
Suppose -2*s = 4*u + 12, -4 - 2 = -3*s. Let v = u - -4. Suppose v = w - 2*w. Is 0 less than or equal to w?
True
Let m = -18 + 37/2. Let i = -11 - -13. Which is smaller: m or i?
m
Let u = 0 + 0. Let m = -79/4 - -379/20. Which is greater: m or u?
u
Let i = 37/2 - 385/18. Is -2 >= i?
True
Let u = -11.7 - -12.7. Suppose 0*f - 2*f - m = 3, 3*f - 5*m = -11. Which is greater: f or u?
u
Suppose 5*b + o - 15 = 6*o, 4*b - 11 = 5*o. Suppose 3*d + 1 = b*d. Let t = 0 + d. Is t at most 1/2?
False
Let v be -2*(0 - (-2 - -1)). Let n be (3 + -2)*v/13. Which is smaller: -0.4 or n?
-0.4
Let p = -7.8 + 9.2. Which is bigger: p or 5?
5
Let m be 1 + -1 - (0 - 4). Suppose m*i - 429 + 117 = 0. Let u be (-9)/i*8/(-6). Is -1 at most u?
True
Let m(c) = -c**2 - 4*c - 3. Let b be (0 - -1)/((-2)/4). Let a be m(b). Let k be -3 + a/(3/6). Which is smaller: k or -3/4?
k
Let q = -0.278 + -0.122. Is q at most -2/7?
True
Suppose 0 = 4*s - 0 + 4. Let w = 13 + -10. Is w at least as big as s?
True
Suppose -v - 9 = -2*y, -3*y + 2*y - 1 = 5*v. Let n be (105/(-28))/(3/(-16)). Let f be 0/(5/(n/(-8))). Which is bigger: f or v?
f
Let s = -7 + 7.1. Let i = 5 + -2. Let v = i - 3. Which is smaller: v or s?
v
Let c be (4/(-3)*3)/1. Let a = c - -3. Let v be (-1)/2 - (-10)/36. Which is greater: v or a?
v
Suppose -2*f = -5*f + 3. Is f less than or equal to -4/69?
False
Let m = -0.06 - 0.04. Let u = -0.3 - m. Is 0 > u?
True
Let l = -2.9 + 2.825. Is 1 greater than or equal to l?
True
Let t = -8.9 + 7.9. Which is greater: 7 or t?
7
Let m(p) = p + 3. Let d be m(0). Let n be -2 + (d - 6)/(-3). Is 0 greater than or equal to n?
True
Let u be 1 - (-13)/(2 - 1). Let h be 66/u - 2/(-7). Is 5 > h?
False
Let w be 14/(-35) + 2/5. Suppose -4*h - h + 15 = w. Let l be (-12)/9*h/22. Which is smaller: l or -1?
-1
Let r = 9743/28980 - 47/483. Let o = -7/20 + r. Is 1 <= o?
False
Let r = -3 - 3. Which is smaller: -0.1 or r?
r
Let f = 12 + -4. Let o = -14 + f. Let j(v) = v - 3. Let u be