t p = -11/4 - -9/2. Let f = 9/4 - p. Which is smaller: 6 or f?
f
Suppose 2*u - 55 + 195 = 0. Let c be (-22)/(-55) - (-48)/u. Which is smaller: c or 0?
c
Let v(i) = -i**3 - 9*i**2 - 9*i - 6. Let g be v(-8). Let y = g + -1. Is -3 greater than or equal to y?
False
Let b be (-1)/7 + 4/(-14). Let g = 0 + 1. Which is smaller: g or b?
b
Let p be (-2 - -2)/(2/(-2)). Which is smaller: p or 3/4?
p
Suppose 5*u + 1 = 4*m + 10, 3*m - 27 = -3*u. Let q(a) = -a**2 - 5*a + 5. Suppose -4*n = -2 + 22. Let g be q(n). Is m less than g?
True
Let s = 1 - 7. Let l = 2 - s. Do 8 and l have different values?
False
Let d(h) = -2*h - 3. Let f be d(-2). Let a be 236/144 - 2 - -4. Let r = a + -26/9. Which is bigger: f or r?
f
Suppose -5*r - 10 = -4*t + 3, -4*t = -4*r - 12. Let d(o) = o + 6. Let c be d(-6). Which is bigger: t or c?
t
Let p = 2.17 - 0.17. Which is smaller: 16 or p?
p
Let c be (11/(-3))/((-3)/9). Let r = c - 8. Are 3 and r equal?
True
Let q be 4/10 - (-4)/(-10). Suppose q = 2*b + 3 + 5. Let y be (b - -3) + 7/5. Do y and -2/3 have the same value?
False
Let w = -11.05 + 0.05. Let u = -10.9 - w. Which is smaller: u or 1?
u
Let x = -3/58 - 657/754. Is x at least as big as 0?
False
Let a = -4.7 + 4.8. Which is smaller: a or 1?
a
Suppose 0 = -4*i - q - 12, i - 12 = 3*q - 2. Let c = 6 - 8. Is c <= i?
True
Suppose 3*v = -4*i + 2 - 0, 5*v - 10 = 0. Which is smaller: i or -3/16?
i
Let f = 0.013 + -0.943. Let v = f - -0.9. Is v smaller than -1?
False
Let t = -4 + 1. Let q be 6*-3*t/9. Is q > 6?
False
Let n = -38 + 39. Which is smaller: n or 2/57?
2/57
Let q = -24587/33 - -745. Which is smaller: q or -1?
-1
Let b be (8/20)/((-57)/45). Which is smaller: 0 or b?
b
Let v be (-3)/(-1) + 4330/(-22). Let i = 194 + v. Which is smaller: i or 1?
i
Let l be (6/68)/((-3)/(-4)). Suppose -2 = -6*n - 8. Are n and l equal?
False
Let f(t) = -82*t + 1. Let k be f(1). Is k at least as big as -1?
False
Suppose g - 585 = -4*g. Let a be 44/6*(-4 + -2). Let l be a/g + (-2)/(-9). Is l <= 0.1?
True
Let m be (36/21 - 2)*1. Is -0.22 < m?
False
Let i(r) = r**3 - 8*r**2 - 10*r + 10. Let f be i(9). Let o = -119/79 - 27672/2765. Let n = o - -59/5. Do n and f have the same value?
False
Suppose -4 - 9 = -h + 3*g, -2*h + 4*g = -18. Which is bigger: -1 or h?
h
Let d = 9.7 + -8.7. Which is smaller: 0.004 or d?
0.004
Let b be ((-6)/(-21))/1 - 6/21. Suppose 10 = 3*z + 2*z. Suppose -z*x - 8 = 0, -x + 5*x + 16 = -4*r. Is r bigger than b?
False
Let y be ((-64)/(-2800))/((-2)/5). Is y greater than -1?
True
Let p = -22/15 + 109/105. Is 0.2 equal to p?
False
Let j be ((-1)/1*(-2 - -2))/(-2). Is -10/37 at most as big as j?
True
Let w(y) = y**2 + 4*y - 6. Let c be w(-5). Suppose 0 = -6*u + u. Suppose 3*v - 3 + u = 0. Is c bigger than v?
False
Let a = 90803 + -818107/9. Let m = 98 + a. Let h = -1 - 0. Which is greater: m or h?
m
Let k = -31 - -22. Are k and -10 equal?
False
Suppose 4*l = 7*l - 15. Let d = l + -5. Is 0 >= d?
True
Let z = -2/1251 + 7532/16263. Let f = 1 + -1. Is f not equal to z?
True
Suppose 2*y = 19 + 241. Let b = y + -82. Let q = b - 191/4. Which is bigger: -1 or q?
q
Suppose -2*b = 3*b - 15. Let a be (-10)/b - (-3)/9. Let o = -3 - a. Which is smaller: 1/2 or o?
o
Let n = 45/2 - 321/14. Let f(a) = a**2 - 10*a + 8. Let u be f(6). Let h = u - -15. Which is bigger: h or n?
n
Let j be 1/((-5)/(-10)) - 1. Let u = -6 - -13. Which is bigger: j or u?
u
Let t be 5 + -2 + -1 + 0. Suppose -6 = -t*g - g. Let d be (-2)/(1/g + -1). Which is smaller: d or 5?
d
Let b = 38/3 - 12. Let i be 172/36 - (-2)/9. Let k be (1 - (1 - 1))*i. Does b = k?
False
Suppose n + 2*n - 5*j - 37 = 0, -2*j - 10 = 0. Suppose 0 = -q + 5*q - 20. Are q and n non-equal?
True
Let f be -3 - (3 + (-295)/45). Is f less than or equal to 2?
True
Let n(s) = 2*s - 8. Let m(i) = i + 11. Let d be m(-5). Let f be n(d). Let l be 40/(-42) + f/6. Which is smaller: 2/9 or l?
l
Let w = 36.3 + -43.3. Let t = -2.06 - -0.06. Let i = t - -2. Which is smaller: w or i?
w
Suppose 6*k - k - 10 = 0. Suppose 0 = -4*t + k*t + 26. Suppose -5 + t = 4*r. Which is smaller: r or 3?
r
Let s be (-4)/22 - (-135)/(-165). Let h be (-6 + 6)*(s + 0). Let m(v) = v**2 + 4*v - 2. Let i be m(-4). Is i greater than or equal to h?
False
Let c be (3 + -2)/1 - -3. Let x be c/(-2) - (1 + -6). Let h = -4 + x. Is 0 greater than h?
True
Let m = -12 + 38. Is 27 greater than m?
True
Suppose -45 = 11*z - 6*z. Which is greater: -8 or z?
-8
Let p(s) = -s - 6. Let c be p(-7). Let t be (-9)/(-20)*24/36. Is t greater than c?
False
Let y = -7 - -8. Suppose a + q - y = 0, -2*q = 1 - 3. Which is smaller: a or 1?
a
Suppose -5*b + 2 = 2*l - 25, 3*l - 28 = -5*b. Which is bigger: l or 2/113?
l
Let o = 254 - 1266/5. Are 10 and o unequal?
True
Let f(x) = x**3 + 5*x**2 - x - 2. Let l be f(-5). Let p be (-8)/(-6) - 1/l. Is 2/5 < p?
True
Let d = 3.9 + -4. Which is smaller: d or 14?
d
Let q = 194/99 - 24/11. Suppose -4*l - 26 = 2*g, 2*g + 2*g + 32 = -3*l. Is g <= q?
True
Suppose 3*h - 86 = 5*l, 0*h - 4*h + 4*l = -112. Is h greater than 27?
False
Let h = -9/2 - -67/14. Is -3/2 > h?
False
Suppose -10 = v - 4*b, -4*v + 8 = -9*v - b. Let z = 4 + -2. Let s = v + z. Which is smaller: -1 or s?
-1
Let t(g) = 2*g - 4. Suppose -4*d + 30 = 5*h - 12, 27 = 4*h + d. Let y be t(h). Let b be (-2)/8 + 2/y. Which is smaller: b or -2/9?
-2/9
Let f = 21.5 - 21.1. Let y = 0.34 - 0.04. Is f > y?
True
Suppose -u + 2*u - 23 = 0. Let v = -22 + u. Let q(i) = i**2 + 5*i + 5. Let j be q(-4). Is v > j?
False
Let n be ((0 - 2)*1)/(-1). Suppose l - 1 = 2*t, n*t + 2*t + 3 = 3*l. Which is greater: 1/2 or l?
l
Let v = 60.7627 - -0.0373. Let m = v - 56. Let w = m + -5. Which is smaller: -3/4 or w?
-3/4
Let o(s) = -s**2 - s + 1. Let q be o(1). Let k be (-2)/(q/(-10)*4). Is k <= -4?
True
Suppose x - 3*x - 2 = -2*h, 0 = 2*h - x. Let w = -20/9 + 118/45. Which is bigger: w or h?
w
Let o be 30/7 + (-8)/28. Suppose 0 = 4*h - 11 - 9. Suppose o*v - h = -v. Which is smaller: 2 or v?
v
Let s be (-2)/6 + (-1 - 0). Suppose 5*o + 1 = 11. Let b be (0/o)/(2 - 3). Which is smaller: s or b?
s
Let j = 1 - -2. Let u = -3 + j. Suppose -2*w = -3*w - 4. Is w equal to u?
False
Let u = 1.5 + -2.5. Is -4 < u?
True
Suppose 3*s - 2*u - 1 = 11, 5*s - 20 = -3*u. Let v be s/(-4) + (-2)/4. Which is bigger: v or -2?
v
Let v(w) = -2*w**3 - 4*w**2 - 6*w - 7. Let c(o) = o**3 + o**2 + o + 1. Let n(r) = -6*c(r) - v(r). Let f be n(1). Which is greater: f or -6?
f
Let c be ((-1)/((-2)/(-9)))/3. Are -1 and c nonequal?
True
Let w be (-2 - (-2)/1) + 0. Let f(m) = m**3 + 6*m**2 + 6*m + 4. Let a be f(-5). Let r be a/(-1 - (-30)/4). Is w at least r?
True
Let z = -11.1 - -11. Is 12 greater than or equal to z?
True
Let s = 29/6 - 13/3. Let q = 0.96 - -0.04. Which is bigger: s or q?
q
Let s = 11.48 - 20.4. Let x = s + 9. Which is smaller: x or 1?
x
Let d(u) = u + 6. Let k be d(5). Let p = k - 16. Is -5 greater than p?
False
Let x = -13 - -9. Let r be ((-6)/32)/(1/x). Let m = -147.9 + 148. Is r bigger than m?
True
Let w(f) = f**3 + 4*f**2 + 8*f + 14. Let t be w(-6). Which is smaller: t or 0.1?
t
Let p(l) = -l + 5. Let y be p(3). Let h be (-1 + 0)*2/(-4). Which is smaller: h or y?
h
Suppose -5*x + 4*x = 2. Is -2 <= x?
True
Let i be (9 - 6) + -1 + -2. Is i bigger than -1/7?
True
Let r = -17.55 + 18. Let z = r + 6.75. Let i = -7 + z. Is i at most 0.1?
False
Let q = 3.9 - 4. Is q >= 0.1?
False
Let w be 2 - -1 - (-122)/(-42). Which is smaller: 0.1 or w?
w
Let m = 14/5 - 88/35. Which is smaller: m or -5?
-5
Let q = -5.9 - -0.9. Let j = 9.9 + -8. Let l = j + -2. Is q less than or equal to l?
True
Let v = 1474/7 + -211. Are v and -1 non-equal?
True
Let c = -30 + 27.9. Let l = c + 2. Let a = -4 - -3. Are a and l unequal?
True
Let l = -70/3 - -703/30. Let t(a) = -a + 7. Let k be t(7). Do l and k have different values?
True
Let u(v) = v - 14. Suppose -2*c = -3*c + 15. Let l be u(c). Which is smaller: l or -2/47?
-2/47
Let g be 8/12 - (-7097)/(-9579). Let l = -1/103 - g. Which is smaller: l or 0?
0
Let m(r) = -4*r - 4. Let i(s) = 5*s + 4. Let a(j) = 5*i(j) + 6*m(j). Let g be a(7). Let l(y) = y - 1. Let v be l(5). Which is greater: v or g?
v
Let z(f) = -f + 1. Let i be z(3). Let t = i - -1. Is t > 2/7?
False
Let z(d) = -d**2 + 8*d - 1. Let j be z(8). Which is greater: 1/5 or j?
1/5
Let j = 6 - 6.7. Let