22 + 1/11. Which is bigger: l or z?
l
Let x = 10 - 15. Is x not equal to -5?
False
Let v be 2/(-2) + 4/(-10). Let h = -12 + 12. Suppose 10 = -2*j - 5*g, g + h + 2 = -5*j. Which is bigger: j or v?
j
Let r be (4 + 0)*(3 - 7). Which is bigger: r or -14?
-14
Suppose -7 = -5*t - 2*a, t + 2*a = -0*a + 3. Let g be (-1 + 1)*1/2. Which is smaller: g or t?
g
Let r = -26 - -9. Is r bigger than 0?
False
Let k = -11 - -6. Let a = k - -4. Which is greater: 0.05 or a?
0.05
Let t be -5*3*1/3. Let k(n) = -n**3 - 4*n**2 + 2. Let q be k(-3). Let z be (-2)/q - t/7. Which is smaller: z or 1/6?
1/6
Suppose 4*i = 0, 2*w + 0 + 10 = -5*i. Is w < -5?
False
Let i = 14 - 14. Suppose t = 4*j - i*t + 6, -j = 2*t - 3. Which is smaller: j or -9/5?
-9/5
Let j = -6 - -7. Suppose -1 = -4*x + 7. Let d be (x/48)/((-9)/(-12)). Which is smaller: d or j?
d
Let q = -0.31 - -0.06. Let t = -0.05 - q. Which is greater: -2/5 or t?
t
Let y = 54 - 62. Are y and -7 non-equal?
True
Let r be 3 + 0 + (0 - 1). Is r at most 3?
True
Let b = 2 - -2. Suppose b + 11 = 5*l. Which is bigger: l or 2?
l
Let c(b) = b**3 - 6*b**2 - 6*b - 7. Let x be c(7). Which is greater: 4/25 or x?
4/25
Let i = 7 - 2. Suppose -i*u - 16 = -1. Suppose v + 4*v = -15. Is u at least v?
True
Let z = 200.01 + -201. Let g = z - 0.01. Is g greater than or equal to 0.4?
False
Let n = 18 - 15. Is 2/7 >= n?
False
Let n(s) = 4*s**2 + 1. Let k be n(-1). Suppose -4 - 6 = k*h. Does h = -3?
False
Suppose -3*n = -4*n. Which is bigger: 1 or n?
1
Let w = 2/37 - -56/333. Does w = -0.1?
False
Let n(d) = -9*d**2 + 2*d + 1. Let w be n(-1). Let c be 2/(-5)*w/4. Is c bigger than 1/19?
True
Let j(k) = -k**3 + k**2 + 1. Let v be j(2). Which is smaller: -2 or v?
v
Let m = 10 - -5. Let c = -18 + m. Which is greater: -0.1 or c?
-0.1
Let c be 18/20 + (-1)/2. Does c = 4/5?
False
Let d = 55 - 53.92. Let k = d + -0.08. Which is greater: -0.01 or k?
k
Let w(c) = c**2 + 8*c + 9. Let r be w(-7). Let n be 19/(-30) - r/(-4). Let a = -6 - -5. Is n at least a?
True
Let x be (-3)/12 - (-9)/36. Which is greater: 2/27 or x?
2/27
Let a = -1.29 + 1.2. Let i = -0.004 + -0.006. Let j = a + i. Which is bigger: j or 6?
6
Suppose 3*t = -2*p + 5*t + 10, -t = 5. Suppose -q = 2*j + 8, -5*q + 3 = -4*j - 13. Suppose p = o - q - 2. Is 2 at most o?
True
Let w = -15.01 + 15. Let f = 0.09 - w. Which is greater: f or -0.2?
f
Suppose 2*o = 3*o. Is 0 smaller than o?
False
Let h(q) = 23*q**3 + 2*q**2 - 1. Let r be h(1). Let y be (-9)/r*2/(-3). Let p = 4 - 3. Which is smaller: p or y?
y
Let c = -0.23 - 0.67. Let b = c - -0.8. Let p = b + -0.1. Which is bigger: -2/3 or p?
p
Let x be (-100)/14 + (-3)/(-21). Let c = x - -4. Which is bigger: -2 or c?
-2
Suppose 2*l - 2 + 6 = 0. Let d = l + 3. Let z be (-5)/6*(-92)/(-345). Is d smaller than z?
False
Let j = -14 - -8. Let p = 5 + j. Let s(z) = -2*z + 1. Let k be s(2). Do p and k have different values?
True
Suppose 3*m = 2*m + 1. Let u(o) = o**3 - 5*o**2 + 3*o + 5. Let b be u(4). Let i be b*(12/26)/(-3). Which is smaller: m or i?
i
Let i(c) = 3*c. Let y be i(7). Let r be 2 + y/9*-1. Let u = 4 - 6. Which is greater: u or r?
r
Let t = -0.53 + 0.63. Let j = 3.1 + -3. Is j at most as big as t?
True
Let a be ((-2)/(-4))/(1/(-2)). Let k = 8 + -8. Suppose 4 = 5*b + 3*i - 6, k = -4*b + 5*i - 29. Do a and b have the same value?
True
Let h = 3 + -2.95. Let k = h + 0.25. Is k smaller than 1?
True
Let s = -14 + 36. Let a = 12 - s. Is 2/3 at most a?
False
Let u = -6 + 8. Let j be -3 + u + -6 + 3. Which is smaller: j or -5?
-5
Let t = -0.6 + 0.6. Let p = 114648/7 - 16543. Let b = p - -165. Which is smaller: t or b?
t
Let h = 102.8 + -103. Which is bigger: h or -14?
h
Let s be 1/(-3 + (-16)/(-5)). Suppose 2*g = -s - 7. Let b be ((-2)/3)/(4/g). Is 1/9 at most b?
True
Let l = 3 + -4. Let a be (-1*1/(-2))/l. Which is bigger: -1 or a?
a
Let g(m) = -m**3 - 6*m**2 - 6*m - 2. Let z be g(-5). Suppose 3*l - z*t + 6 = 0, 3*l + 0*l + 5*t - 10 = 0. Which is bigger: -2/7 or l?
l
Let o = 107 + -643/6. Which is smaller: -0.15 or o?
o
Let c(k) = k**2 + 6*k + 3. Suppose 2*a + 2 = -2*j, -42 = 5*a - 5*j + 13. Let x be c(a). Suppose h + 4*q = -0*q + 4, 10 = -h + x*q. Does h = -3?
False
Let g = -4 + 3.4. Let n = g + 0.5. Let v = -548/813 - -2/271. Is n at most v?
False
Let g = -4.05 - -0.05. Let v = g + 4.2. Let j = 0.12 + -0.22. Is v at most j?
False
Suppose h - 10 = -h. Suppose -5*w + 0 - 5 = -4*d, h = -4*d + 3*w. Let a be ((-2)/d)/((-1)/5). Is a less than -1?
True
Let n be (4 - 0) + (-1 - 1). Suppose -n*j - 5 - 5 = -4*k, 3*j + 8 = -k. Suppose -o = -k, -7*o + 15 = -5*y - 2*o. Which is greater: 2 or y?
2
Let n = -11.7 - -3.4. Let y = 8 + n. Let b = 0.1 + y. Are b and 1 equal?
False
Let m be -1 - -1 - (-19063)/7205. Let y = m - 6/131. Which is greater: 4 or y?
4
Suppose 3*z - 20 = 4*z. Is z less than or equal to -19?
True
Let n be (1 + (-1)/2)*-16. Let p be (-129)/(-36) + 2/n. Let l = p + -23/6. Is -1 less than or equal to l?
True
Let l be (-13)/20 - (-2)/8. Which is bigger: -1/24 or l?
-1/24
Let a be (-4 - (-65)/15)*(-9)/66. Is a bigger than 2/3?
False
Let y(f) = -2*f**2 - 19*f - 37. Let p be y(-12). Which is bigger: p or -96?
-96
Let f(p) = -p**2 - 2*p - 9. Let k be f(0). Let t(o) = -o**3 - 5*o**2 + 3*o + 5. Let m be t(-5). Is k less than or equal to m?
False
Let v = 0.06 - 0.06. Let r = 59 - 55. Are r and v non-equal?
True
Let b(i) = -5*i - 10. Let x be b(7). Let k be (25/x)/((-2)/(-6)). Let c be 6/4*(-4)/6. Which is greater: c or k?
c
Let n(z) be the second derivative of -z**3/3 + 4*z**2 - 3*z. Let o be n(6). Which is bigger: 2/7 or o?
2/7
Suppose -2*l - 38 + 0 = 0. Let p = l - -58/3. Let d(f) = f**2 - 4*f + 4. Let w be d(2). Which is smaller: w or p?
w
Suppose 5 = -0*w - 5*w. Let v be (4/(-10))/(w/2). Which is smaller: v or 1?
v
Let k = -6.6 - -0.5. Let m = -6 - k. Which is smaller: -3 or m?
-3
Suppose 0 = 2*x - 18 + 14. Is 7/5 smaller than x?
True
Suppose 2*b + 4 = 0, -41 = -5*j - b + 42. Which is greater: j or 18?
18
Let x be 2 + 0 + -1 + 1. Suppose -4*t = 3*t. Is t <= x?
True
Let a = -45 + 181/4. Is 0.8 at least as big as a?
True
Let t = 0 + -2. Let m(h) = 5*h. Let x be m(t). Let o be 0/(-1) - x/25. Which is greater: 0.5 or o?
0.5
Let o(f) = -f**3 - 6*f**2 - f - 4. Suppose -3*k - k + 30 = -5*q, 0 = -3*k. Let c be o(q). Which is bigger: c or 0?
c
Let p = -6.02 + 6. Let f = -0.02 - p. Which is smaller: f or 0.1?
f
Let u be (-22)/(-5)*12/(12/(-3)). Which is smaller: -12 or u?
u
Let y = 158/115 - 4/23. Is -1/2 less than y?
True
Suppose -v + 6*v = -15. Let o = v - -7. Suppose -8*g + o*g = 0. Is 0 <= g?
True
Let p be (-8)/(-3)*(-75)/50. Do -1 and p have the same value?
False
Let x(o) = -4*o**3 + o**2 + o - 1. Let z be x(1). Let t = -5 - z. Let r be (-3)/(-27) + 1/(-9). Which is greater: r or t?
r
Let h = -1.1 + 12.1. Let b = h - 14. Are -0.2 and b equal?
False
Let y(k) = k**2 + k - 3. Let r be y(-2). Do 0 and r have the same value?
False
Let b = 0.1 + 1.3. Let s = b + -0.4. Which is greater: -0.1 or s?
s
Let c = -8.64 + 1.64. Which is greater: c or 6/13?
6/13
Let g = -1 + -2. Is 1 >= g?
True
Suppose -2*d - 126 = -16*d. Is 2 smaller than d?
True
Let m = -173 - -124. Let g = m - -69. Let o be (4/g)/((-4)/10). Do o and 4 have the same value?
False
Let v = -2/39 - 68/195. Which is bigger: 3/10 or v?
3/10
Let q = -0.3 - 3.7. Let z = -1 + q. Let m = -4.9 - z. Are 4 and m non-equal?
True
Let r = 689/42 - 49/3. Is r != -1?
True
Let w = 6634/112101 + -24/473. Is w greater than or equal to 1?
False
Let c be (44/(-36) + 1)*(0 + 1). Do 1 and c have the same value?
False
Suppose -3*y = 3 + 15. Let v = y + 9. Is v <= 2?
False
Suppose -5*w - 5 = 3*m, w - m + 3*m - 6 = 0. Let x be (w/(-6))/(4/(-6)). Let b be 7/(-30) - 4/(-10). Which is bigger: b or x?
b
Let g(r) = r - 18. Let c be g(15). Is -18/5 less than or equal to c?
True
Let g = -15.4 - -0.4. Is -1 less than g?
False
Let j = 12 - 12. Let a be j/(4 + -7)*1. Is a equal to 1/24?
False
Let d be 6/1 + (-3 - -4). Let g = -2 + d. Is 5 equal to g?
True
Let j = -31 + 14. Let m = j - -7. Let z = 11 + m. Which is smaller: z or 0.01?
0.01
Let p(m) = 1 + 2 + 2 - m. Suppose 5*w = -h + 17, -5*w - 18 = -4*h - 0. Let a be p(h). Which is smaller: -1 or a?
a
Let y = -14 - -14. Are 1 and y nonequal?
True
Let n = -0.18 - -0.58. Let v = -0.6 - n. Let r