be -1 - ((-228)/236 - 0). Is i smaller than 1?
True
Let s = -58/63 + 8/7. Suppose 5*k + 5 - 10 = 0. Which is smaller: s or k?
s
Let t be ((-4)/3)/(1242/243). Which is smaller: t or 0?
t
Let m = 18.05 + -18. Let j = 0.15 + m. Are j and 2/7 non-equal?
True
Let r be (-1)/(-4) + (-2)/8. Let o = r - -1. Which is smaller: 4 or o?
o
Let t = -775/7 - -111. Let c = -122/329 - -4/47. Which is smaller: c or t?
c
Let v = 4.8 + -5. Let d be 1 - 0*2/(-4). Suppose i = -1 - d. Does i = v?
False
Suppose -2*c - 13 + 11 = 0. Which is bigger: c or 6/17?
6/17
Let s(r) = 4*r - 2*r + 3 - 3*r. Let i be s(3). Which is smaller: 3 or i?
i
Let g be (-1)/((2/4)/(-1)). Let t = -1 + g. Suppose t = -u - 3*n, 2*u - 2*n = 1 + 5. Which is smaller: u or 3?
u
Suppose 0 = -5*s + x + 1, 6*x = x - 5. Suppose 3*a = -s*a - 6. Is a at most -2?
True
Suppose v - 2*v + 2 = 0. Suppose -v*q = 2*f + 76, 5*f - 99 - 111 = 5*q. Let b = q - -198/5. Which is smaller: 0 or b?
b
Suppose -243*g - 65 = -238*g. Let q be 1 - 1/1 - 12. Which is smaller: g or q?
g
Suppose 0 = -0*d - 3*d - 12. Let a(z) = z**3 - 5*z**2 + 3*z + 2. Suppose -4*n + f + 17 = 0, -5*f = -2*n + n + 9. Let h be a(n). Is h not equal to d?
True
Let p = -11.5 - -1.5. Let n = -8 - p. Is n less than or equal to 2/7?
False
Suppose -a + 2 = 6. Let b be a/2 + (-4 - -1). Is -6 >= b?
False
Suppose 8*j + 9 = 3*c + 4*j, -c - 4*j + 19 = 0. Which is smaller: c or 35/6?
35/6
Let w be ((-4)/6)/(39/9). Let v = 0 - 0. Let k = 0 - v. Which is bigger: k or w?
k
Suppose 0 = -2*c + c. Let i = 4 - c. Suppose -g = -i*g + 9. Does 4 = g?
False
Suppose 2*s + 3*i = -2, 3*i + 10 = s + s. Which is smaller: 5/9 or s?
5/9
Suppose 0 = -0*z + z + 3. Which is smaller: -2 or z?
z
Suppose 6 + 9 = -5*b. Let y be (2 + 0)/(b + 4). Which is smaller: -1 or y?
-1
Let h = 0.3 + -1.3. Let f(j) = -j + 10. Let g be f(10). Which is greater: g or h?
g
Let f(l) = 3*l - 2*l + 3 + 0*l. Let q be f(-3). Let u = -8 + 6. Is q bigger than u?
True
Let q = -1 + 1. Suppose 0 = -2*l + l. Suppose k - 5*v - 18 = l, k - v = -0*k + 6. Is q smaller than k?
True
Let a be 2724/21 - (-2)/7. Let d be a/150 - 2/3. Suppose 0*s = -3*s. Which is smaller: d or s?
s
Let i = 8 - -3. Is i < 9?
False
Let n = -1 - 8. Let w be ((-1)/(-2))/(15/n). Let m be 3/24 + ((-245)/(-40))/7. Which is greater: w or m?
m
Let h(y) = -y + 1. Let c be h(0). Let a be 362 + -1*(3 - c). Let o be (-2)/(-8) + (-66)/a. Which is bigger: o or 1?
1
Suppose 6 = 3*f, k - 4*f + 4 = -3. Which is smaller: k or 0?
0
Let y = -1 + -13. Let q be (-6)/y + (-122)/154. Which is greater: 1 or q?
1
Let b = -41/39 - -5/13. Let d = -1/2 - b. Let t = 3 + -4. Is d equal to t?
False
Suppose 4*n = -4*j - 152, 2*n - 2*j + 68 = -6*j. Let h be ((-3)/177)/(n/(-446)). Let s = h + 5/59. Are s and 0 equal?
False
Let w = -1 - 0. Let h = w - -0.9. Let j = h + 0.1. Which is smaller: -1/3 or j?
-1/3
Suppose h + 0 = -3*x + 16, h + 8 = 3*x. Let l be 1 - (2 + (-1 - 0)). Suppose 2*u + l - 4 = 0. Is u <= h?
True
Suppose -20 = 2*m + 3*m, 0 = j - 4*m - 13. Let t(q) = q**3 + 4*q**2 + 3*q + 1. Let d be t(j). Is d at most as big as 2?
True
Let g = 7 + 6. Which is bigger: 0.1 or g?
g
Let r = 6.5 - -1.5. Let d = r - 12. Which is greater: 0.1 or d?
0.1
Let h = 4204/35 + -592/5. Let g = -40 + 41. Is h less than g?
False
Let m = 23587/4 - 203795/36. Let k = -236 + m. Which is smaller: 2/13 or k?
k
Suppose -b + 3*b = 5*g - 23, -4*g = 2*b - 4. Is 2 < g?
True
Let d = 31/4 + -8. Is d at least as big as -1.6?
True
Let t(h) = h**2 - 6*h - 10. Let z be t(8). Suppose -4*y + z = -6. Suppose 10 = 2*b + 3*b. Which is greater: y or b?
y
Let o = 2 + -5. Let l = 14.1 - 17. Let m = l - o. Which is bigger: -2/5 or m?
m
Let r = 0.2 - 0. Let k = -0.27 + 0.3. Are r and k unequal?
True
Suppose 5*i = 4*i. Let l be (-1)/(-2)*(-5 - -2). Let q = -2 - l. Which is smaller: q or i?
q
Suppose 0 = -0*z + z - 4. Suppose 2*o - 8 = 2*a, 2*a + o + 12 = z*o. Which is bigger: a or -1/7?
a
Let h be (-9)/18*(-4)/1. Suppose 3*u - 4 = 2*i, 0 = u + h*i - 6*i - 8. Are u and 2/9 equal?
False
Let y = 0.106 + 0.894. Which is smaller: 4/11 or y?
4/11
Suppose 4 - 2 = -q. Let a be 24/(-4) + 3*1. Which is smaller: q or a?
a
Suppose -5*w + 14 + 1 = 0. Suppose 5*z - 2*m + 5 = w, -3*m = -2*z + 8. Is z <= -2/3?
True
Let k be ((-8)/10)/(6/(-45)). Suppose -k*m - 10 = -m. Let t be (-5)/(-15) - m/30. Are -1 and t equal?
False
Suppose h + 0 = 3*n + 1, 5*h - 4*n = 5. Let c be (9/(-39))/((-3)/(-2)). Is c != h?
True
Suppose 3*a - 31 = -5*l, -l - a + 11 = 2*a. Let f be (-193)/l - (-6)/(-15). Let v be 2 + (1 - (-123)/f). Which is smaller: 1/2 or v?
v
Let r be (-1 + 2)*(-2)/252*3. Is r at least as big as 1?
False
Let g = 0.04 + -0.06. Let d = g + -0.18. Is d at most as big as 5?
True
Let s(j) = -j**3 + 4*j**2 + 6*j - 6. Let a = 3 - -2. Let p be s(a). Is -2 bigger than p?
False
Let i = -437/85 + 26/5. Is 1 at most i?
False
Suppose u + 0*u = -4*f, -3*u - 2*f + 10 = 0. Let s be ((-6)/u)/(1/2). Is s at least as big as -3?
True
Suppose 0 = -10*b + 34 - 4. Is -0.2 at most as big as b?
True
Let i(y) = -y**3 - 17*y**2 - 15*y + 9. Let m be i(-16). Does -7 = m?
True
Suppose -4*u + 2 = -2. Which is bigger: 6 or u?
6
Let b = -55 - -96. Suppose 4*n = b + 7. Suppose 4*y + n - 4 = 0. Is -2 bigger than y?
False
Let r = 7 + -6. Suppose -2*f + f = -q - 1, 2*q + r = f. Let p be (f - 0)*1/1. Which is bigger: 7/3 or p?
7/3
Let n = 27/26 + -657/182. Is n >= -2?
False
Let y = 7.5 + 2.5. Let w = -10.1 + y. Suppose -3*p - 3*a + 23 = -1, 0 = 4*p - 5*a + 13. Is p smaller than w?
False
Suppose 0 = -3*x - 1 + 16. Suppose 3*m = x*m. Which is greater: 4/9 or m?
4/9
Let f(l) = 5*l**2 + 6*l**2 - 12 + 8*l + l + l**3. Let a be f(-10). Is 1 < a?
False
Let j be (-15)/12*(-5)/25. Which is smaller: j or 1?
j
Let m be (0 + -2)*4/(-4). Suppose v = m*v + 2. Is -2 > v?
False
Let f(p) = -p + 5. Suppose -4*d = -r + 18, r + 4*d = d - 3. Let c be f(r). Which is smaller: c or -1/3?
c
Let o = -11612/3965 + 302/305. Let z = o + 20/13. Suppose 0 = 4*q - 2*k - 2*k, -5*q = k. Which is smaller: q or z?
z
Let c = -46 - -40. Which is bigger: -7 or c?
c
Let l be ((-196)/(3 - -1))/(-4 + 1). Is l greater than 15?
True
Let y be (2/186)/((-8)/(-12)). Which is bigger: 0 or y?
y
Let q = 11 - 11.1. Let b = 0.6 - 1. Let i = b - -0.4. Are q and i equal?
False
Let n = -14 + 17. Is n greater than 0.4?
True
Let n = 0.28 - 13.28. Let f = -7 - n. Let p = f + -8. Is 1/2 greater than p?
True
Let l = 51 + -48. Which is smaller: l or 7/4?
7/4
Suppose g = 3*g - 6. Is 8/5 at most as big as g?
True
Let v(b) = -193*b + 9. Let z be v(-7). Let l be 5/10 + (-1214)/z. Let k = -1/136 + l. Is 2 less than or equal to k?
False
Let k = -0.62 + 0.62. Are 25 and k unequal?
True
Suppose 9 + 6 = 3*g. Suppose 0 = -g*t + 9*t + 20. Are -4 and t unequal?
True
Let f be 21/(-27) + (2 - 1). Are 2/3 and f unequal?
True
Let m be ((-24)/10)/((-2)/(-10)). Let i be (m/(-9))/4 - 0. Which is smaller: i or 1?
i
Let f = 0.072 - 0.082. Let u be (-3)/(-7)*(-4)/6. Which is greater: f or u?
f
Suppose 2*u - 13 = 5*b, 0 = u + 2*b + 2*b. Suppose u = -5*o - 6. Suppose 0 = -i + 2*w + 6, 12 = w - 5*w. Is i smaller than o?
False
Let t(z) = -z**3 + 2*z**2 + z. Let y be t(-1). Let s be (2 + -1)*(y + -5). Let u = 4 - 3.9. Is u greater than s?
True
Suppose -8 = -4*d - 4*d. Which is smaller: 1/25 or d?
1/25
Suppose 0 = 4*n - 4*k + 276, 2*k = 3*n + k + 215. Which is bigger: -72 or n?
-72
Suppose 0 = 5*h - 0*h. Let c = -20611 - -2844253/138. Let j = c - 2/69. Which is greater: h or j?
h
Let m = -16 + 16. Which is smaller: 1.3 or m?
m
Let h be -33*(60/(-9) + -1). Let m be 8/(-44) - (-68)/h. Which is bigger: -1 or m?
m
Let a be (2 + -1)/(0 + 1). Let v be ((-1)/(6/4))/(-8). Let c = 1/4 + v. Is a != c?
True
Let i be -1*(-4)/(2/(-1)). Let f = -62/195 - 1/65. Is i > f?
False
Let i(d) = 36*d - 3. Let h be i(-4). Let o = h + 446/3. Which is greater: o or 3?
3
Let c be (2/1)/(-4) + 7/2. Are c and 5 unequal?
True
Let h(q) = -4*q - 4. Let j be h(-4). Which is smaller: 11 or j?
11
Suppose n - 5*s = -3, 0 = 5*n + s - 0*s + 15. Suppose -4*r + k - 4*k - 16 = 0, 0 = -3*r + 4*k - 12. Let c = r - n. Which is smaller: 0.1 or c?
c
Let z = -12/19 - -98/95. Let r be 3/(6/(-4)) - -3. Let s = 0 - r. Is s > z?
False
Let d = -0.06 + 0. Let p = -342 - -339.06. Let y = p + d. Does y = 0?
F