 be (2/o)/(1/3). Is u greater than 6?
False
Let x = 0.4 + -4.4. Let i = -3 + 3. Let t = i - 0. Which is bigger: t or x?
t
Let h(v) = -1 - v**2 - 2*v**2 - v**2 - 9*v + 3*v**2. Let b be h(-9). Is -3 not equal to b?
True
Let k = -26/29 - -6156/6931. Are -1 and k equal?
False
Suppose 3*n - 11 = -2. Let b = -2 + 4. Suppose -b*g = 2*g - 12. Do n and g have different values?
False
Let f = -3 - -5. Suppose 0 = -3*z + f*z + 1. Is 3/2 greater than or equal to z?
True
Let x = 255/7 - 36. Which is smaller: x or 1/2?
x
Suppose 3*y = 4*y - 2. Let u = 6 - y. Is u less than 3?
False
Let n be 4/(-10)*240/126. Let p = -3/7 - n. Let j = -0.3 - -0.3. Is p at most as big as j?
False
Let p = 90 + -183/2. Is p <= 9?
True
Suppose 0*s - 25 = 5*s. Suppose -g = 4*w + 16, 3*g + 4*w + 5 = -19. Which is smaller: s or g?
s
Suppose -5*c = -w - 18, -2*w - 6 = -5*w + 3*c. Is 6 at least w?
False
Let y = -335501/7 - -48016. Let s = 87 - y. Suppose -f + 5*c - 19 = 0, -c = -2*f - 1 - 1. Is s less than f?
True
Let u = 67/3 + -23. Is -0.38 smaller than u?
False
Let a be 10/4*(4 - 8 - -2). Is a <= 3/4?
True
Let m = 1 + 0. Let i = -1 - -10. Let w = i - 8.9. Is w < m?
True
Let k = -5 + 9. Suppose 3 = k*v - 1. Let b be 0*2*v/2. Which is bigger: 3/7 or b?
3/7
Let h(y) = -y**2 + 3*y + 1. Let u be h(0). Do -6 and u have different values?
True
Let m = 19655/37 + -6459576/12173. Let l = 1/329 + m. Which is smaller: l or 0?
0
Let d(a) = 4*a**3 - a**2 + a. Let x be d(1). Suppose 0 = g - x*g + 3. Is g >= 2?
False
Suppose p - 8 = -2*p + x, -3*p + 13 = -2*x. Is p less than or equal to 1?
True
Suppose -3 + 1 = -c. Which is smaller: 1 or c?
1
Let j = -9 + 8. Let q be j/3 - (-3)/9. Let z = 2.2 - 0.2. Which is smaller: z or q?
q
Suppose -2*c - 10 = 4*z, 2*z = 3*c - 10 - 15. Is 7 <= c?
False
Let t be -10*(-1 - 2 - -4). Which is bigger: t or -12?
t
Let y = 49 - 195/4. Which is smaller: 0 or y?
0
Let j = 18 - 11. Let v(l) = l**2 - 7*l - 2. Let t be v(j). Let p(i) = 2*i**3 - i. Let m be p(-1). Which is bigger: m or t?
m
Let t = 0.066 + -0.336. Is 0 <= t?
False
Let z(h) = h**3 + 9*h**2 + 3*h - 4. Let o be z(-8). Which is smaller: o or -1?
-1
Let m be 3 - (1 - 8/(-3)). Let u = m - 2/3. Is u less than 1?
True
Let p be (-1)/((6/29)/(-3)). Is 16 less than or equal to p?
False
Let h = 1 + 1. Let u = 3 - h. Let b be (u*2)/(-4 - -9). Is 0 at most b?
True
Let q(v) = v**3 - 10*v**2 + 10*v - 9. Let s be q(9). Let c = -841/221 + 66/17. Are s and c nonequal?
True
Suppose 2*z = -3*z. Suppose d + 10 = -5*x, 0 = -z*d + 3*d + 15. Which is bigger: 0 or x?
0
Let v(o) = 4*o + 1. Let l be v(-1). Let i be (l - (-50)/16)*2. Suppose -5*f + 12 = -u, -3*u + 8 = -1. Which is smaller: i or f?
i
Let c = 15 + -33. Let d = c - -10. Let x = -7 - d. Are 2 and x unequal?
True
Suppose -i + 3 = 1. Let t be (3/(-2) + i)*2. Let d be 32/(-56) - 23/(-28). Which is smaller: d or t?
d
Let k = -1 + 7. Suppose 0 = 3*o - 4*f - 14, -5*o - k*f + 20 = -11*f. Let x be ((-32)/(-24))/(5/3). Which is bigger: o or x?
o
Let f be (6 + (-46)/8)*1/4. Which is greater: 1 or f?
1
Suppose 0*m = -3*m. Let i(j) = -j + 2. Let a be i(-2). Suppose 5*g + 1 = 6*g + 5*k, a*k + 5 = 5*g. Is g greater than or equal to m?
True
Suppose j = 4*j - 6. Suppose j*z - 5*y + 21 = 0, -2*z = -2*y + 3*y + 3. Is z != -2?
True
Suppose -4*o - 1777 = -597. Let m = o + 629/2. Let d = m + -79/4. Which is greater: -1 or d?
d
Let o = 0.1 - 0.3. Let c = o - -0.2. Let u = 0.1 - 1.1. Which is smaller: u or c?
u
Let r be 256/44 - 10/(-55). Is r less than 4?
False
Suppose 7*d - 12 = 3*d. Let i = -1 + d. Let x = i - 1. Which is greater: x or 0?
x
Suppose -j - 1 = -4. Suppose 0 = -0*g - j*g. Let s = -0.46 + 0.06. Which is bigger: s or g?
g
Let c = -11 + 16. Let n = c - 8. Which is smaller: -4 or n?
-4
Let m(r) = r**2 - 9. Let l be m(0). Let w = 17/2 + l. Let d = -0.3 - 0.7. Which is greater: w or d?
w
Suppose -6*l + 5 = -l. Let o be (-7)/(-2) + 1/(-2). Let m be (o/24)/((-1)/2). Which is greater: m or l?
l
Let l = 0.015 + -0.015. Which is smaller: l or 0.09?
l
Let h(z) = z**3 - 2*z**2 + z + 6. Let b be h(3). Are -1/2 and b nonequal?
True
Let a(q) = -q**2 - 26*q + 58. Let d be a(-28). Is d greater than 7/8?
True
Suppose -6 = k - 3*k. Suppose k*u = 7*u. Let g = -0.3 + 0.5. Which is smaller: u or g?
u
Let l be 0*(-3 - 1)/12. Which is smaller: l or -5/11?
-5/11
Let z = 89/184 + 32/23. Is z <= 2?
True
Let f be 1/((-1099)/1406) - -1. Let l = -1/157 + f. Which is smaller: 0 or l?
l
Let o(x) = x + 18. Let b be o(-12). Suppose -b*g = -g. Let h be 7/10*2 + -1. Is g not equal to h?
True
Suppose -5*a = -5*f + 8 + 57, -2*a - 36 = -3*f. Let k = 203 + -192. Is f greater than k?
False
Let r be 0*2/4*(-14)/7. Are r and 1/21 equal?
False
Let g(b) = b**3 + b**2 - b - 2. Let h be g(0). Is -13/5 at least h?
False
Suppose -w - 2*b + 7 = -0*w, -23 = -5*w + 2*b. Suppose 2*q - 3*c = -6 + 24, 0 = -2*q + w*c + 22. Let i be (-6)/(-4)*q/(-9). Is 2/13 at most i?
False
Let b = 17 - 16. Do 3 and b have the same value?
False
Suppose 4 = 2*a + 2. Let s be a/(-2)*1/2. Which is greater: s or 1?
1
Let x = -0.02 - -0.07. Let y = x - -0.05. Which is smaller: -0.1 or y?
-0.1
Let x be 2*(-3 + -3)/3. Which is smaller: x or -3?
x
Let r be ((1*36)/2)/2. Let c = r + -9. Is -1/7 at least c?
False
Suppose 0 = -k - 3*m - 3 + 19, 3*m = 0. Suppose -5*q - 80 = -5*c, 0*q = 3*c + 5*q - 48. Is k bigger than c?
False
Let x = -732/35 - -159/7. Which is bigger: 2 or x?
2
Let j = -124 + 135. Is -5 less than or equal to j?
True
Let p = -7/30 - -2/5. Is -0.5 <= p?
True
Suppose 2*u - 49 = -5*u. Is u > 11/2?
True
Let d = -2.92 + 0.02. Let a = d + 3. Let k = 0.3 + -0.1. Is k at most a?
False
Let m(h) = 24*h + 12. Let j be m(-10). Let n be ((-9)/(-120))/((-45)/j). Let i = n + 3/25. Which is bigger: -1/7 or i?
i
Let y be 1/2*0 - 4. Let h = 9 + y. Let a = h + -3. Do a and 0 have the same value?
False
Let t(q) = -q**3 - 6*q**2 - 2*q - 8. Let l be t(-6). Let j be (2 - 0)*2/l. Is j smaller than 1?
False
Suppose -4*a + 24 = -6*a. Which is bigger: a or -13?
a
Let x(g) = -g**2 + 4*g + 7. Let t be x(6). Let o(n) = -n**2 - 7*n - 7. Let l be o(t). Suppose 0 = -4*j + 3*j + 4. Which is smaller: j or l?
l
Let q be (-20)/13 + 2 - 0. Let w = 17/65 - q. Is -0.1 < w?
False
Let x = -0.023 + -0.105. Do x and 0 have the same value?
False
Let s be 2 + 2/(-32)*35. Let z be -2*1/4*-2. Which is greater: s or z?
z
Suppose -2*b + b - 5*q = -7, -2*q - 8 = -5*b. Suppose 0*a = -b*a - 106. Let x = a + 109/2. Which is bigger: 1 or x?
x
Let x = -16.18 + 0.18. Let n = x + 16.4. Let f = 635/7 - 91. Which is smaller: n or f?
f
Suppose 0 = 4*v - 5*z + 13, 2*z = -v + 6*z - 17. Suppose 3*h + v = -0*h. Let k be (-6)/(-126)*(-3)/(-1). Is k at least h?
True
Let x = 1 + 0. Let i = -5 + x. Do -0.2 and i have the same value?
False
Let a = -34 - -172/5. Is 1 bigger than a?
True
Let y = 8 + -10. Which is smaller: -3 or y?
-3
Let l = 1 - 0.7. Let d(r) = -r**3 + 10*r**2 + 9. Let y be d(10). Let i(v) = v**3 - 8*v**2 - 9*v. Let u be i(y). Which is greater: u or l?
l
Suppose 0 = 3*o - 6 - 0. Suppose -m - 6 = 3*q + o*m, 4*q + 12 = -3*m. Let i be 3/(q/(-4))*1. Are i and 2 unequal?
False
Let g = 3.16 + -0.16. Which is smaller: -2/3 or g?
-2/3
Suppose -10*l - 34 + 14 = 0. Is -0.21 at most l?
False
Let r(c) = c + 1. Let p(g) = 4*g + 7. Let o(t) = p(t) - 5*r(t). Let j be o(2). Is -2 greater than j?
False
Suppose -4*q = 2*a, 0 = 4*q - 2*q + 3*a. Which is greater: q or 1/10?
1/10
Let y(o) = 8*o**2 + o. Let m be y(-2). Which is greater: m or 27?
m
Let f = 157 + -788/5. Which is smaller: f or 0?
f
Let b(n) = 2*n - 2. Let k be b(2). Suppose -k = -t + 2. Is t greater than 4?
False
Let i be (-1)/2*16/(-4). Suppose i*y = 6*y. Which is smaller: 4/11 or y?
y
Let n be 2*-1 - (-1 - -3). Suppose -7*t - 12 = -3*t. Which is greater: t or n?
t
Let n = -6.4 + 0.4. Let s = n - -11. Let r = s - 5.1. Is 0.1 != r?
True
Let o be 24/896*(172 - 0). Let m = -19/4 + o. Which is bigger: m or -1?
m
Let s = 12.49 + -23.46. Let l = 11 + s. Which is greater: l or -1?
l
Let w = 111/7 - 2241/140. Let n be (-3)/5*(-1)/(-6). Let g = n + w. Is -1 > g?
False
Let m be -1*5 + (-2 - (-7 + 1)). Is -1 greater than m?
False
Let q(u) = 2*u**2 + 15*u - 1. Suppose y + 4*y + 40 = 0. Let k be q(y). Which is bigger: 8 or k?
8
Let t be -5 - 2/(-2) - -1. Let a = -3 