 x greater than or equal to m?
False
Let q = 37/4 + -9. Let w = -0.04 - -0.84. Let n = 0.2 + w. Is n less than or equal to q?
False
Let a = -16.9 - -18.9. Let j = -10 - -6. Let o be j/(-18) + (-12)/27. Is o bigger than a?
False
Let s(u) = u**3 + 0*u**3 - 4 + u + 2. Let n be (-2)/(-6) + (-5)/15. Let r be s(n). Are -2 and r non-equal?
False
Suppose 3*q + 232 = -0*q + 5*v, v = q + 80. Let g be (5/2)/((-6)/q). Let s be (-60)/g*1/4. Do 1 and s have the same value?
False
Let t(m) = -m**2 - m**2 - 4*m**2 - 1 - 4*m + 7*m**2. Let s be t(4). Which is smaller: s or -6/7?
s
Let o(h) = 3 - h**2 - h**3 - h**2 - 2*h**2. Let s be o(-4). Let w be ((-2)/(-5))/(s/(-5)). Which is smaller: w or -2?
-2
Let u be 6/(-12) - 10/3. Let b = u + 10/3. Are b and 0 equal?
False
Let j(p) = 2*p - 16. Let k be j(7). Is k <= -0.03?
True
Suppose -35 = -5*p - 10. Suppose -p*v + 2 + 3 = 0. Which is smaller: v or -1/10?
-1/10
Let i = 0.028 + 10.972. Which is greater: -0.1 or i?
i
Let l = 17 + -14. Suppose -3*t - 8 = 2*w, -5*t - 7 - l = 3*w. Which is greater: w or -21/2?
w
Let k = -42/109 - 633/5995. Let p = k + 1/11. Does p = -2/7?
False
Let i(a) = 3*a**3 - a. Let g be i(1). Let h = -2 + g. Is -1/3 < h?
True
Suppose 7*p - 4*p - 9 = -3*g, 2*p - 4 = 0. Is g at least 3?
False
Let r = 2.5 + -3. Let l = -22 - -33. Let p = l + -12. Is r at most as big as p?
False
Let j(z) = -3*z**3 + z**2 - 3*z + 2. Let s be j(1). Is -5 less than s?
True
Let z = 70939 + -9434639/133. Let c = -30/19 + z. Which is smaller: c or -2/15?
-2/15
Let v = -66 + 64. Which is smaller: v or -7?
-7
Suppose 0 = -10*z + 9*z - 3. Let t(u) = -u**2 + 3*u + 2. Let o be t(2). Suppose 0 = -o*s + 2*s. Do s and z have the same value?
False
Suppose -4 = o - 2. Is 1 less than o?
False
Suppose -4*d = -12 - 4. Is d less than 5?
True
Suppose 276 = 4*q - 10*q. Is q greater than -46?
False
Let f(t) = -5*t**2 - 4*t - 7. Let b be f(-6). Let s = 1137/7 + b. Which is greater: s or -2?
s
Let j be -1 + 0/(-5) - -2. Are -7/15 and j non-equal?
True
Let f = -186 - -26. Let d be (-10)/45 - f/234. Which is bigger: -0.1 or d?
d
Let h be 132/21 + 4/(-14). Let t(z) = h*z + 6*z - 3 + 0 - 11*z. Let q be t(10). Is 6 bigger than q?
False
Let k = 48 - 48. Which is smaller: -4/3 or k?
-4/3
Let j = -6319 + 31471/5. Let g = j + 25. Which is bigger: g or -1?
g
Let k be (1/(-9)*-2)/(6/(-18)). Let d = -0.6 - -0.63. Which is smaller: k or d?
k
Suppose 10*g + 175 = 17*g. Which is smaller: 95/4 or g?
95/4
Let l be ((-42)/4 + 48/32)/1. Which is greater: -3 or l?
-3
Let q(i) = -2*i - 6. Let j be q(-4). Suppose 7*p + 16 = -f + j*p, 3*f = 4*p + 28. Which is smaller: f or 1?
1
Let q = 0 + 0. Suppose 4*z - 9 + 41 = q. Is -9 at most as big as z?
True
Let p = -25/23 - 8981/138. Let i = 25 - 91. Let g = i - p. Which is smaller: g or 1?
g
Let m = -1/68 - -553/612. Is m greater than or equal to 1?
False
Let t be (-2)/8 - 279/36. Let d = t - -5. Is d != -3?
False
Let s = 2 + -3. Which is bigger: -9/5 or s?
s
Let c = 2.4 - 0.4. Let u = 1681 + -62201/37. Let n = u - -86/111. Is n greater than or equal to c?
False
Let v(j) = 2*j**2 + 8*j - 17. Let o be v(-5). Which is smaller: -9 or o?
-9
Let k = 0.422 - -0.178. Is k less than 1?
True
Let s = -15 + 15.2. Which is greater: s or -0.2?
s
Let v = 0.4 + 1.5. Let p = 2.4 - 0.4. Let m = v - p. Does -2 = m?
False
Let n be 59*(-22)/(-14) - 0. Let f = -93 + n. Let k = 82.3 - 82. Is k smaller than f?
False
Let k = 0.045 - 0.145. Let w = -3 - -3.8. Let s = w + 0.2. Is k greater than s?
False
Suppose -y = 1 + 4, -4*x - y = -3. Let w(v) = 4*v - 3. Let b be w(x). Let c = -4 + 8. Is b at most as big as c?
False
Let x be (-8)/(-21) - 6/9. Let t be 2/5 + (-72)/30. Which is greater: x or t?
x
Suppose 5*s - s - 30 = -2*z, 5*z - 30 = -s. Let m = s + -9. Is m at most as big as -3?
True
Let l = 43 + -173/4. Which is bigger: 0 or l?
0
Let m be -3 + ((-439)/(-9) - -2). Let t = 48 - m. Which is greater: t or 0?
t
Let z be (2 - -7)/(6/10). Which is bigger: z or 16?
16
Let y(g) = g**2 + 1. Let p be y(1). Suppose -31 = -4*r + 1. Is p at least r?
False
Suppose 0 = -4*i + 2*g + 10, -12*g + 10*g - 10 = -5*i. Which is smaller: 1 or i?
i
Suppose 4*g = 12, 0 = -2*u + g - 10 + 5. Let v = -0.7 + 1.6. Which is smaller: v or u?
u
Let f be -5 - 5/(15/(-6)). Let h = 19/22 - 4/11. Is f greater than h?
False
Let f(a) = -a + 8. Let h be f(10). Let v = -1 - -1. Let q = v + -4. Which is smaller: q or h?
q
Let q = 0.4 - 0.6. Which is greater: q or -6?
q
Let y(l) = -15*l + 6. Let t be y(3). Is t greater than -39?
False
Let n = 1286 + -24440/19. Which is greater: -1 or n?
n
Let b = 0 + -1. Suppose -3*x + x - 5*s + 16 = 0, x = -5*s + 18. Is x equal to b?
False
Let v = 0.54 - 1.4. Let g = 0.24 - v. Let o = 0.1 - g. Is 0 at least o?
True
Suppose 2*p + 11 = -2*p - 5*m, -3*m - 9 = 0. Which is greater: -1/26 or p?
p
Let r be ((-153)/27)/((-1)/3). Do 19 and r have the same value?
False
Suppose -22 = -3*s + 5*k, 3*k - 4*k = -5*s. Do s and 6/31 have the same value?
False
Let y = 15.1 + 1.9. Let c = -10 + y. Let x = c + -7.1. Which is smaller: -0.03 or x?
x
Let m(r) = r**2 - r + 2. Let g be m(0). Let q = 9 - 8. Is g smaller than q?
False
Let i be 2/9 + (-74)/9. Let g(n) = -7 + 3*n - 2*n - 3 - 2*n. Let k be g(i). Which is smaller: -1 or k?
k
Let n = -0.9 - 1.1. Is n != 1/2?
True
Let f be ((-1)/(-18))/((-1)/8). Let n = -8 + 11. Suppose -n*i - 3*q + 12 = 0, 7*i - q + 4 = 4*i. Which is bigger: i or f?
i
Let a = -78817/46215 + 135/79. Is 1 smaller than a?
False
Let h be (0/(-2))/(1*-3). Let l be (664/(-6) + h)/10. Let r = -56/5 - l. Do -1 and r have different values?
True
Let v = -655/3 + 213. Which is smaller: v or -4?
v
Let s = -279/7 - -40. Do -1 and s have different values?
True
Suppose 4*x + 0 - 24 = 0. Suppose -n + 15 = -x*n. Let h = n - -3. Which is smaller: -1/4 or h?
-1/4
Suppose -9 = 10*u - u. Does u = -2/45?
False
Let b = 4 - 2. Let l be (b/21)/((-4)/12). Is 0 != l?
True
Let m = 6 - 6.7. Let a = -2.6 + 2.2. Let h = m - a. Which is smaller: 0 or h?
h
Let h be 4 + (-156)/45 + (-2)/(-5). Which is smaller: 1 or h?
h
Let i(j) = 38*j**3 - 2*j**2 + 1. Let v be i(-1). Which is greater: -38 or v?
-38
Suppose 0 = 4*y + 5*i + 13, 3*y - 8 = 2*y + i. Suppose 2*w + y*s = -0 - 1, 0 = -w + 4*s + 5. Let n be (-3)/6 - 2/(-16). Is w bigger than n?
True
Let c be 70/(-69) + (10 - 9). Is c greater than 0?
False
Suppose -d = -4*n - 0*n, 5*d = -3*n + 23. Let k = -2.1 - -2. Which is greater: k or d?
d
Suppose -4*k + 0*h + 4*h = 12, -3*h = k + 11. Let x be k/(-15) + (-5)/(-3). Is x at least 1?
True
Suppose -5 = 4*x + x. Which is smaller: -4/5 or x?
x
Let i = 2201/140 + -63/4. Is -2/9 bigger than i?
False
Let w = -33918/35 + 969. Is w not equal to -1?
True
Let m = 10/81 + 13/1863. Which is smaller: m or -1?
-1
Suppose f - 2*z = -9, 0*f - 5*f - 17 = -3*z. Which is greater: f or -0.8?
-0.8
Let a = 16 + -31. Which is smaller: a or 2?
a
Let p(q) = -q**3 - 66. Let k be p(0). Let a = k - -327/5. Which is greater: a or 0?
0
Let i = 12 - 9. Let d = -4 - -4. Suppose 2*c - 3 = 5*h + 3, -5*c + 2*h + 15 = d. Is c >= i?
True
Let f be ((-4)/(-65) + 0)/2. Which is smaller: 4 or f?
f
Let z be (-64)/30 - 48/(-36). Which is bigger: z or -1?
z
Let a = -886 + 48732/55. Let k = 4/11 + a. Which is smaller: 2 or k?
k
Suppose -a + 0*a + 3 = 0. Let g = -2 + a. Suppose 6 = 2*s + 4*y - 6, -4*y + 12 = 4*s. Is g smaller than s?
False
Suppose 5*k = 4*d + 29, -3*d - 22 = -2*k - 2. Let i(w) = w**3 + 7*w**2 + 6*w + 2. Let z be i(d). Let c be z*1/(-2)*0. Is -1 smaller than c?
True
Let s be (3/(-78))/(-1)*3. Is -1 at most as big as s?
True
Let o = -0.1 - -1.1. Is o greater than 2?
False
Let c = -3/22 + 18/11. Let t = -4.01 - -0.01. Let u = t + 3. Are c and u unequal?
True
Let s(r) = -r**2 - 9*r - 3. Let w = -9 + -1. Let b be s(w). Are b and -13 non-equal?
False
Suppose -2*l - 2 = -2*p - 6*l, 3*p - 3 = -4*l. Which is greater: p or 6/25?
p
Let t = 0.2 - -0.8. Let g(w) = -w**2 + 2*w + 2. Let f be g(3). Let b be (-2)/4*(f + 1). Which is smaller: b or t?
b
Let n be ((-13)/3)/(6/46). Let x = n - -33. Are x and 0 equal?
False
Let q be (1/(-24))/((-1)/3). Is 1 > q?
True
Let k(c) = -c**3 - 6*c**2 - 4*c + 7. Let b be k(-5). Suppose -b*i = -7*i + 20. Suppose u = i*u. Is -1/13 smaller than u?
True
Let a = 5 + -3. Let x be 1/2*(2 - a). Which is s