 1 less than or equal to s?
False
Let i be (-2 - (-2 + 1)) + 4. Let z(j) = j - 4. Let p be z(2). Let b be p/((-4)/(-3)) + 1. Which is bigger: b or i?
i
Let y = 0 + -1. Let q = 2 + y. Let c be (0 - -2 - 0)*(10 - 9). Which is smaller: q or c?
q
Let l be (-6)/4*4/6. Let g = -1 + l. Is g > -9/4?
True
Let o = -2 + 1.7. Let c = o + 0.4. Let i = -0.05 + -0.95. Is c at least as big as i?
True
Suppose -6*f = -2*f. Let h be f - (210/(-206) + 1). Let k = h - 220/721. Is -1 <= k?
True
Let c = -13 + -25. Let l = 268/7 + c. Are l and 0 non-equal?
True
Let m(a) = -a**3 - 6*a**2 - 6*a - 1. Let k be m(-4). Let f be -1 + -3*2/k. Let w = 166/15 + -32/3. Which is smaller: w or f?
f
Let h = 4 + -1. Let z = -1 - 2. Let k = -4 - z. Which is smaller: k or h?
k
Let z(f) = -4*f - 21. Let v be z(-5). Suppose 0 = 2*r + 4*q - 8, q = r + 2*q - 3. Which is greater: v or r?
r
Let t = -8/55 - -936/385. Which is greater: t or 2?
t
Let z = 11/2 + -17/3. Are z and -2 equal?
False
Let o = 0 - -3. Suppose 19 = -o*b - 29. Let c be 4 + -2 - b/(-7). Do c and -0.1 have the same value?
False
Suppose -4 = 5*y + 2*d - 6*d, -d = 2*y - 1. Which is bigger: 6 or y?
6
Let h = -8 - -8. Suppose h = 5*r - 9 - 41. Suppose 5*g = x - 2*x + 11, 0 = -4*x - 3*g + r. Is x at least 1?
True
Let v = -417/2488 - -54781/103252. Let p = v - -1/83. Are p and 1 non-equal?
True
Let m be (14/(-6))/((-11)/(-99)). Which is smaller: 1 or m?
m
Let q = -3/14 + -45/182. Which is smaller: 0 or q?
q
Let j(x) = -x - 2. Let o be j(-3). Let y = -169/8 - -21. Which is smaller: o or y?
y
Let d be (-2)/((-1)/(-1)) - -4. Let b be 4 + -6 + (6 - d). Is 2 at least as big as b?
True
Let b = -2/765 - -16/45. Which is greater: -1 or b?
b
Let w = -48 - -95. Is w > 46?
True
Suppose 4*v + 6 = -10. Let c be (v/(-6))/((-21)/(-387)). Let n = c - 1276/105. Is 0 less than n?
True
Let w(j) = -j**2 + 10*j - 6. Let t be w(6). Suppose a = -3*s - 44, -a - 5*s - t = 32. Let c = 106/3 + a. Which is smaller: c or 0?
0
Let g be 6 - (4 + 6/(-3)). Is g greater than 11/3?
True
Let j be (0 + 3)*(897/150 - 6). Is 0 less than j?
False
Suppose 0 = -o - s + 3, 4*s - 6 = 2*s. Suppose -h + 2 = y - o, -3*y + 11 = 4*h. Do 5 and h have the same value?
True
Let l = -0.4 - -0.2. Let b = 0.1 + 0.9. Is l at least as big as b?
False
Let u be 5/20 + 771/4. Suppose -5*k = 5*r + 375, 3*r - 4*k + u = k. Let g = r - -211/3. Which is bigger: g or -2?
g
Let y = -0.25 + 0.22. Let z = -0.14 - -0.04. Is y >= z?
True
Let w be (-5 - -3)/(4/2). Is -8/13 less than or equal to w?
False
Let w = 15 + -16. Which is bigger: -4 or w?
w
Suppose -y - 3*i - 7 = 0, i + i = y + 17. Let f = y - -15. Do -1 and f have the same value?
False
Let s be (-6 - -33)/((-6)/(-4)). Is 18 <= s?
True
Let r = 7442 - 36923/5. Let x = 57 - r. Which is smaller: -5 or x?
-5
Let q = -0.1 - 0. Let r(s) = -s**2 + 17*s - 31. Let c be r(15). Which is greater: q or c?
q
Let y be 12 - (-2 + 0 - 0). Suppose -5*s = 35 - 5. Let a be y/7 - (-16)/s. Which is smaller: -2 or a?
-2
Let q = 18 + -73/4. Let f = 1 + -1. Suppose -5 = -4*l - b, f = 3*l - 5*b + 3*b + 10. Is l bigger than q?
True
Let x = -4 - -3.5. Which is bigger: x or 1/2?
1/2
Let d(p) = p**2 - 45. Let i be d(0). Is -45 equal to i?
True
Let b = 1 - 0. Let v = b + -7. Which is bigger: 0.2 or v?
0.2
Let d = 1 - 1. Let n = -0.01 + -1.99. Let m = d - n. Which is smaller: 0.1 or m?
0.1
Suppose -3*h = 3*u - 12, 5*h - 8 = -0*h - u. Let l = 78/7 - 11. Which is greater: h or l?
h
Let d(z) = z**3 + z**2 - z - 1. Let t be d(-3). Let q be -1 + ((-28)/t - 1). Which is smaller: q or 2/7?
q
Let f = -15103/450 - -302/9. Let u = f + 7/50. Which is bigger: u or 1?
1
Let k = 10 - 14. Is k smaller than 2?
True
Suppose 2*g = -3*g. Let n be 94/18 + (-16)/72. Suppose -2*a - n = 5*v, g = -2*a - a + 4*v + 4. Which is bigger: 1 or a?
1
Let s = 1/12 - -1/6. Is 1/4 not equal to s?
False
Suppose 0 = -4*m - 3*c - 6, -m = -6*m - c - 2. Let z be 2/(m + -3 + 7). Let b = -10 + 11. Does b = z?
False
Let t = -0.21 - -36.21. Let g = t + -22. Is -0.1 <= g?
True
Suppose 5*z - 2 + 17 = 0. Let t = -7 + 5. Which is smaller: z or t?
z
Suppose -2*r = -0*r - 10. Suppose 0 = -r*j - 16 + 46. Let g be 2/j*(-1)/1. Which is smaller: 1 or g?
g
Let r(t) = 2*t + 2*t - 3*t**3 - 3*t. Let d = -4 - -3. Let f be r(d). Is f >= 2?
True
Let y(a) = -7*a**2 - 5*a - 2. Let o(t) = t**2 + t + 1. Let d(l) = 6*o(l) + y(l). Let c be d(-2). Is -4/5 less than or equal to c?
False
Let s be 4 - (6/3 + 0). Let d = 8 - 8. Let i = d - -0.1. Is s greater than or equal to i?
True
Let r = -136 - -257/2. Is r equal to -9?
False
Let q be 9/3 + 21/(-7). Which is greater: 2/103 or q?
2/103
Let h(l) = -7*l. Let i(s) = 6*s - 1. Let j(v) = -5*h(v) - 6*i(v). Let m be j(6). Which is greater: 1 or m?
1
Let p = 3399 + -3391.908. Let k = -1.978 - p. Let z = k + 9. Which is bigger: -1 or z?
z
Let y = -0.18 - -0.22. Are -0.2 and y unequal?
True
Let b = -743.7 + 698.91. Let q = 45 + b. Let x = q + -0.01. Are -0.2 and x nonequal?
True
Let v be (0 + -4 - -5)*1. Which is greater: 20/13 or v?
20/13
Let l = 230 - 233.96. Let c = -4 - l. Let a = -0.06 + c. Do a and -2/7 have different values?
True
Suppose -s = 3*s - 8. Suppose -y + 3 = -s, -5*v - 15 = -5*y. Let b be (-3)/v*4/(-2). Does b = 2?
False
Let y be 35/(-30) - 4/(-6). Let n be (-1)/(2 - 2 - -1). Is n less than y?
True
Let y be (1/2)/(2/24). Let i be (-9)/6*(-4)/y. Which is smaller: 0.1 or i?
0.1
Suppose -2*y - 5*x + 33 = 0, -2*y + 29 = -y + 5*x. Suppose -2*p + 3*p = y. Suppose -2*z + b - 4*b = -1, 2*z + 5 = -5*b. Which is greater: p or z?
z
Let z be ((-1)/7)/((-7)/14). Which is bigger: z or 1/12?
z
Let n = -2 - -2. Let w = -2 + n. Suppose 0 = 3*r - 3*u + 14 + 1, 3*r + 19 = 4*u. Which is bigger: w or r?
r
Let n be (-3)/(3/6*-2). Suppose -5*g + n*s - 18 = 17, g - 6 = -2*s. Let u = -4 - g. Which is greater: u or -2?
u
Let z = 2/545 - 1112/5995. Let n(k) = k**2 - k - 1. Let v be n(-2). Suppose 5*d + j + 7 = 0, -d + v*j + 8 = d. Which is bigger: d or z?
z
Let o be -2 + 0*4/8. Do -6/11 and o have the same value?
False
Let x = -3.76 + -477.24. Let f = 477.07 + x. Let a = 0.07 - f. Is 0 smaller than a?
True
Let r(h) = h**3 + 7*h**2 - 2. Let y be r(-7). Let o be (-10)/40 - y/8. Which is smaller: o or -5/4?
-5/4
Let t(f) = -3*f - 26. Let m(h) = 5*h + 39. Let v(n) = 5*m(n) + 8*t(n). Let g be v(9). Let r = -5 - g. Which is smaller: 1 or r?
r
Suppose 5 = -2*z + 15. Suppose z*t = -0*t - 25, -t = g + 6. Is g bigger than -1?
False
Suppose -93 - 87 = 5*k + 2*g, 0 = -5*g. Let f be ((-6)/(-8))/(3/k). Let u = 0.2 + -0.1. Which is smaller: f or u?
f
Let t be ((-1)/3)/(4/24). Let o be 2 + (8*-1)/2. Is o bigger than t?
False
Let k = 43 + -40. Which is smaller: 21/8 or k?
21/8
Let j = -1 + 0. Let g = -21.477 - 0.523. Which is greater: j or g?
j
Let n = -60.1 + 63. Let h = n - -1.1. Which is smaller: h or -2?
-2
Let y = -11.1 + 13.1. Which is bigger: 2.1 or y?
2.1
Suppose 2*m - 4*a - 4 = -8*a, a = -3*m + 16. Let i(t) = t**3 - 7*t**2 + 6*t + 1. Let q be i(m). Are 1/5 and q unequal?
True
Suppose -5 + 2 = -3*w. Let j be 3*((-3)/21)/w. Does 0 = j?
False
Let u = 0.02 + -0.12. Let d = -6.8 + 6. Let n = -1 - d. Is n equal to u?
False
Let n be 2 + -2 - (-5 - -3). Suppose -5*q = -n*u + 14, -3*q = -0*u + 2*u + 2. Is u less than 3?
True
Let m be ((-10)/(-14) - 1)/(-1). Suppose -5*i - 41 + 1 = 0. Let t be 66/24 + 6/i. Is m < t?
True
Let m = -213 + 196. Which is bigger: -12 or m?
-12
Suppose -2*z + 3*q - 12 = 0, q = -0*z + 5*z + 4. Which is bigger: -3/5 or z?
z
Let q = 78 - 78.25. Which is bigger: -1 or q?
q
Let p(g) = g**3 - 2*g**2 - 3*g + 1. Let o be p(2). Let r be (-1 - 1) + (-8 - -5). Let w = r + 0. Do w and o have the same value?
True
Let s be (-1)/(-5) - (-36)/(-30). Is 2/13 > s?
True
Let r = 26820624/155184835 - -1/302210. Let h = r - 3/158. Which is smaller: 0 or h?
0
Let b = -11 - -8. Let k be b/(-6)*(-2)/3. Is k at least as big as 0.3?
False
Let y be 2 + 0 + 36/(-3). Let q be 6/(-15) - 34/y. Suppose -j = -q + 2. Is j bigger than 0?
True
Let i(p) = -5*p + 1. Let c be i(2). Let a(t) = -10*t**2 - t + 1. Let s be a(1). Let v = c - s. Which is greater: v or -2/17?
v
Let r = 9 + -9. Let v be -4 + (1 - -1 - r). Let f be 2/(-2) + (v - 0). Is f bigger than -3/2?
False
Let j = 10 - 6. Suppose 3*i - 3*l = 0, 0*i = i + j*l. Let r = -24 - 