.1. Let u = 6 - 9. Let r = u - -3.1. Are r and i equal?
True
Let g(k) = k + 2. Let u be g(-2). Let h = 0 + -2. Let a = 4 + h. Is a < u?
False
Let o(u) = u + 13. Let x be o(-12). Which is bigger: 14 or x?
14
Let f = -9.7 - -10. Which is smaller: f or -1/4?
-1/4
Suppose 294 = 5*f + 34. Which is smaller: f or 51?
51
Let x = 16 - 19. Suppose c - 6 = 3*c. Do x and c have the same value?
True
Suppose -a = 2*a. Let d be (a + 0)*(-2 + 1). Suppose -4*y = 3*q + 8 + 9, -5*y = 3*q + 22. Is q at least d?
True
Suppose 6*l = l. Let o(z) = -5*z**2 - z**3 + 1 + l*z**2 + 0*z**3 + 1. Let v be o(-5). Which is bigger: 0 or v?
v
Let i = -73.09 + 0.09. Is i at most 0?
True
Let w(h) = -5*h + 1. Let r be w(-2). Let v(j) = -j + 13. Let n be v(r). Suppose -n*i = -6*i + 4. Which is bigger: i or 3?
3
Let n be 21/(-35) - (-64)/115. Which is bigger: n or 0?
0
Let u = 0.9 - -0.1. Let z = -147 - -737/5. Which is bigger: z or u?
u
Let i = -0.006 + -0.094. Is -11/4 > i?
False
Let y = -0.4 - 0.6. Let z = y - 1. Let g = z + -1. Is g >= 2/5?
False
Let q(s) = -s**3 + 4*s**2 - 4*s + 4. Let o be q(3). Which is greater: 0 or o?
o
Suppose 4 = 3*l - 2. Suppose -5 = i - l. Let h(j) = 63*j - 4. Let t be h(0). Which is smaller: i or t?
t
Let i(r) = 2*r**3 + 7*r**2 + 4*r + 2. Let z be i(-3). Which is smaller: -2/27 or z?
z
Let b = 2 - -1. Let a be (b/6*14)/1. Let t = a + -2. Is 5 at most t?
True
Suppose -5*a + 15 = -2*a. Suppose -4 = 5*j - c + a*c, 4*j + 3*c = -3. Let g(x) = x**3 - 5*x**2 - 7*x + 7. Let o be g(6). Is j >= o?
False
Let i be (34/40 + -1)/((-81)/(-144)). Are i and 0 unequal?
True
Let l = -40.9 - -41. Is -1/27 greater than l?
False
Let x be (4/(-36))/(1113/18). Let z = 956/1113 + x. Which is greater: 0 or z?
z
Let x = 0 - 2. Let s = -2 - x. Which is smaller: s or 1?
s
Suppose 3*o = -0*o + 3*m + 30, -4*o + 5*m = -35. Let g be 2/5 - 6/o. Is g less than 1/2?
True
Let i be 1/(-2)*(-104)/12. Let p = -29/6 + i. Suppose -7 = 4*g + x, -4*x + 13 = -5*g - x. Which is bigger: g or p?
p
Let v = -1.4 - 0.6. Do 3 and v have different values?
True
Suppose 0 = -2*k - 8, 10*k + 13 = r + 11*k. Are r and 17 equal?
True
Suppose 0 = s - 2 - 9. Is 11 less than s?
False
Let q = -3/76 - 111/76. Is 0.1 greater than q?
True
Let x(q) = -q**3 - 6*q**2 - 6*q - 7. Let r be x(-5). Let b be (3/(-1) - -5)*r. Let d be b/(-3)*(-1)/(-4). Which is greater: 0 or d?
d
Suppose -s = 2*f + 31, 0*s = -2*f + 3*s - 35. Let l be 0 - -2 - (-604)/f. Let w = 36 + l. Is 1 > w?
True
Suppose -3*y + 4*t = 0, -y - y - 20 = 4*t. Let d be (y/(-6))/(12/(-18)). Is d equal to -1?
True
Let p = -10 + 18. Let x = 4 - p. Which is greater: -5 or x?
x
Let d = -37.2 - -37. Let v = -2 - -4. Which is smaller: v or d?
d
Let a be (-4)/(-6)*324/8. Let i be (-2)/8 + a/60. Which is greater: i or 1?
1
Let g = -124 + 95. Is g at most -28?
True
Let x = -2 + 1. Let f be (-1)/(-3) + x/21. Is -1 < f?
True
Let l = -0.0606 - -1.0606. Let a = -1.96 + -0.04. Is l at most a?
False
Let h = 177 + -176. Which is bigger: h or 3/19?
h
Suppose -15 = 5*q, 2*u - 60 = 7*u + 5*q. Let p(v) = -v**3 + 25*v**2 - 26*v + 41. Let r be p(24). Which is greater: u or r?
r
Suppose 5*l + 4 + 1 = 0. Which is greater: -2 or l?
l
Let s = 2/231 + 191/4620. Is s at least as big as 0?
True
Let i be 0 - (-1494)/502 - 3. Let x = i + -1440/2761. Does x = -2?
False
Let c = 0.3 - 1.3. Let x = 12 - 4. Let p = x + -7. Is p greater than or equal to c?
True
Let l = -93 - -92. Do 0.3 and l have the same value?
False
Let g be (-6)/(-8)*128/(-36). Which is smaller: -3 or g?
-3
Let c(i) = i**2 - 7*i + 2. Let q be c(3). Let l be q/15 + 0 + 0. Are l and -6 non-equal?
True
Let g = 2 + 2. Is g at least as big as 3?
True
Let i = -3.3 - -5. Let d = -3.7 + i. Is -6 less than d?
True
Let r be ((-12)/(-140))/((-2)/(-10)). Let m = -19 + 19.1. Which is bigger: r or m?
r
Let k(s) = -s - 19. Let j(b) = -1. Let n(t) = -4*j(t) + k(t). Let z be n(-14). Let u = -37/22 + 2/11. Is u equal to z?
False
Let m(x) = x**3 - 7*x**2 - 7*x - 4. Let u be m(8). Which is smaller: 5 or u?
u
Let a be -71*1/(-70) + -1. Let s = 207309/500570 + 1/7151. Let d = a - s. Which is smaller: 1 or d?
d
Let x(q) = -2*q + 2. Let u be x(-1). Suppose -u*y + y = -6. Is y bigger than 2?
False
Suppose 4*z = -4, -2*z + 100 = -4*n + 2*z. Is n <= -24?
True
Let r(d) = d**3 - 4*d**2 - 4*d. Let m be (3 - 5) + (-14)/(-2). Let y be r(m). Does 5 = y?
True
Suppose -p + 8 = 5. Suppose 0 = -4*v - 5*m - 16, m + 23 = -0*v - p*v. Which is greater: 0 or v?
0
Let y = -123475/79 + 1563. Let j = y - -128/1185. Which is smaller: 0 or j?
0
Let n be (-2)/(-4) + 9762/72. Let r = n - 484/3. Let k = r + 1107/44. Is k bigger than 0?
False
Suppose -4*q = -z, -3*z = 2*q + 2*z. Let w = -3 + q. Is w greater than or equal to -4?
True
Let h = -23 + 9. Let g = h - -12. Is -3/2 not equal to g?
True
Let x(k) = k**3 - 4*k**2 + 5*k - 3. Let l be x(3). Let z be -1 + l + (3 - 4). Do z and 2/3 have different values?
True
Let k be (-1 + -1)/((-6)/9). Suppose -2*z - 9 = -i, -4 = -3*z + i - k*i. Let f = -1 - z. Are 3/2 and f non-equal?
True
Let r = 4 + -2.9. Let i = -1 + r. Which is smaller: -7 or i?
-7
Let r = 15 - 10. Let o(u) = u**2 - 2*u - 7. Let l be o(r). Let a be 2/(-6) - l/12. Which is bigger: -3 or a?
a
Let k be (3 + -4)/((-2)/50). Suppose 5*w + k = 0, -c - 2*c - w = -7. Which is bigger: 3 or c?
c
Let f = -231 - -217. Which is smaller: f or -13?
f
Let h(k) = k**3 + 3*k**2 - 6*k - 6. Let o be h(-4). Suppose -2*x - o - 4 = 0. Let t be (x/(-5))/(8/(-10)). Which is smaller: t or -2?
-2
Let h = -32 - -226/7. Which is smaller: 4/9 or h?
h
Let o be 0 - 1 - (-102)/60. Is o < 1?
True
Let l be (1/30)/(-1 - 0). Is l at most 1?
True
Let v be 17/3 - (-4)/(-6). Which is greater: 11/3 or v?
v
Suppose -27 = 4*c + 3*s, 4*c - 3*s - 8 = s. Is -3 smaller than c?
False
Let v = 0.27 - 0.17. Is v < 7/5?
True
Suppose -3*y - 11 = 4*j + 2*y, 2*j = -4*y + 2. Do -14 and j have the same value?
False
Suppose -4 + 8 = l. Suppose 81 = 26*n + 29. Are n and l nonequal?
True
Let j = -7.19 + 0.19. Let z = j - -10. Is 0 bigger than z?
False
Suppose 0 = 4*c - 5 + 21. Let q be (-12)/(-10) - c/(-4). Is q at most 0?
False
Suppose 0*p + 3*p + 21 = 0. Let g(a) = a**3 + 7*a**2 + 2*a + 14. Let s be g(p). Which is smaller: -1 or s?
-1
Suppose -3*v - 3 = -9. Let d = 2 - 4. Let t be (-3)/d*4/6. Which is bigger: v or t?
v
Suppose -18 = 5*m + 47. Are m and -12 nonequal?
True
Let p be (-46)/6 - (-54)/81. Which is smaller: -5 or p?
p
Let j = 26 + -259/10. Do 3 and j have different values?
True
Let r(w) = -15*w + 4. Let b be r(5). Let c = 427/6 + b. Is -1 less than c?
True
Let j = -8.068 + 0.168. Let d = -12 - -4. Let f = j - d. Which is bigger: -3/5 or f?
f
Let x = 5 - 4. Let b be (-1 - x)/((-5)/10). Let i be ((-4)/(-14))/(b/(-6)). Which is smaller: i or 1?
i
Suppose a + 12 = 3*j - 0*j, -4*j + 8 = -4*a. Suppose -a*v = -3 + 9. Which is smaller: v or -5?
-5
Suppose -3*i + 4*i = 4. Let g(w) = -w**3 - 4*w**2 + 3*w + 2. Let p be g(-5). Suppose 0*v + p = 4*v. Is v greater than i?
False
Suppose -10 - 2 = c. Let h be (-8)/10*c/(-24). Which is greater: -9 or h?
h
Suppose d = 5*x - 3 - 4, 2*d + 7 = 3*x. Let q = 1 + -1.1. Let c = q + 0.1. Which is smaller: x or c?
c
Let p(b) = -b**3 + 21*b**2 - b + 24. Let q be p(21). Which is bigger: q or 3/2?
q
Let y be ((-48)/10)/(2/15). Let g be 1186/(-12) + 6/y. Let b = -695/7 - g. Which is greater: 1 or b?
1
Let u = -12 + -1. Is -2/3 bigger than u?
True
Let f(v) = -11*v**2 - 7*v + 2. Let l be f(2). Which is smaller: -57 or l?
-57
Let g = -11.4 + 11.2. Let l = 1 - 0.9. Let m = l + -1.1. Which is greater: m or g?
g
Suppose a = 3*a + 8. Let x be 0 - 2/20*a. Let o(l) = -l**2 + 3*l - 1. Let b be o(2). Are b and x nonequal?
True
Let x = 0.2 + -0.3. Let t = x - -0.1. Let z = 3 + -4. Which is greater: z or t?
t
Let p be (2 - 1) + 28/(-26). Suppose -2*z - 3*u + 15 = -4*z, -15 = z - 3*u. Which is smaller: p or z?
p
Suppose -12 = 2*p - 3*q, 0*p - 2*p = q - 4. Suppose p = -4*b + 2*b - 2. Which is smaller: b or 2/23?
b
Let t(s) = -6*s - s**3 - 7*s + 14*s. Let z be t(0). Which is smaller: z or 1?
z
Let v = -14 - -10. Let k = -3 - v. Let t(j) = j**3 - 7*j**2 + 6*j - 1. Let b be t(6). Which is smaller: b or k?
b
Let f = 0.123 - -1.857. Let x = 2 - 1.98. Let b = f + x. Do b and 2 have different values?
False
Let i(x) 