 Let u be (-11)/(-5) + (-1 - 1). Is d greater than or equal to u?
False
Let w = -31.2 + -40.5. Let u = -79 - w. Let q = u - -7. Is -0.1 greater than or equal to q?
True
Let g = -10.5 - -14. Let x = 4.8 + g. Let q = x - 8. Is q at most -1?
False
Suppose -2*y = -4 + 18. Let q be (-77)/(-33)*-3*1. Is q != y?
False
Let d be (-1)/(1/(-6)*2). Suppose -d*a = -a + 14. Are -7 and a non-equal?
False
Let t(j) = j**2 - 5*j + 1. Let a be t(5). Let s be 6/24 + (-22)/(-8). Let i = a - s. Which is smaller: 0 or i?
i
Let b(a) = -a**2 + 12*a - 5. Let w be b(8). Which is bigger: 26 or w?
w
Let h(f) = -3*f + 54. Let l be h(18). Is l smaller than -14/15?
False
Let r(p) = p**2 - 14*p - 1. Let z be r(14). Which is bigger: z or 1/29?
1/29
Let f be 46/(-126) + 2/9. Let o = 10/21 + f. Is o at least -1?
True
Suppose -14 = -14*p + 21*p. Suppose 6*g - g - 10 = 0. Let a be 35/(-60) - g/3. Is a greater than or equal to p?
True
Let k = -1.5 + 0.7. Let o = k + -0.2. Let r = 0.9 + o. Are r and 2 unequal?
True
Let z(v) = -3 - v**3 - 4*v + 4 + 0*v**2 + 4*v**2. Let f be z(3). Let r be -2 + (-3 - 9/(-2)). Which is smaller: f or r?
f
Let o(p) = -7*p + 11. Let b be o(-2). Which is bigger: b or 27?
27
Suppose -2*x + 8 = 0, -11*x + 12*x - 1 = h. Let w(p) = -p**3 + 5*p**2 - 3*p - 1. Let t be w(4). Suppose -t*d + 2 = -4. Is h greater than d?
True
Let s = -193 + 193. Let t be (6/4)/(-1 + -59). Are s and t non-equal?
True
Let c = -6 - -5. Is c >= -1/12?
False
Suppose 10 - 30 = -2*l. Let u be (-1)/6 - l/12. Which is smaller: u or 1/9?
u
Let d be -3 + 28/5 + -3. Let r(j) = 4*j - 3*j + 1 + 0*j. Let g be r(-2). Which is bigger: g or d?
d
Suppose 2 = -3*i + 5. Let h be (-3)/3*i + -3. Which is greater: -5 or h?
h
Suppose 3*m + 4 = m, 3 = -5*s - 4*m. Suppose 0 = -2*r + l + 22, -3*l + 4 = r - 7. Let w be (r - 1)*s/(-2). Is w < -5?
False
Let u = 3 - 2.99. Suppose 0 = 5*m + 2*i - 3 - 8, 4*i = 5*m + 7. Are m and u nonequal?
True
Let t = -13 + 13. Let r = t - 1. Is 2/9 <= r?
False
Let g be 4/(-3) - (-4)/(-6). Let w be (-2)/((112/(-6))/(-7)). Is w greater than g?
True
Suppose 3*m = -2*z + 12, 2*m + 2*z - 8 = 2. Suppose 0 = -3*n + 2*v - 3 + 5, 4*v = 2*n + 4. Suppose -n*b = m*b. Which is smaller: b or 4/5?
b
Let t be 3/(-2 - (9 + -4)). Which is smaller: 0.1 or t?
t
Let b(q) = -q**2 - 9*q + 9. Let y be b(-9). Suppose m + 1 = -0*m - 3*r, r - 13 = -2*m. Which is smaller: m or y?
m
Let g(j) = -7*j**2 - j - 1. Let f be g(-1). Let b = -5 - f. Suppose b*d = 4*d + 4*a - 6, 0 = d + 4*a - 5. Is 0 equal to d?
False
Let m = -2.08 - -0.18. Let n = 2 + m. Suppose 2 + 2 = 4*v, v - 4 = 3*c. Which is smaller: c or n?
c
Let l be 10 - (4 - 2) - 2. Let v = -4 + l. Which is bigger: 0 or v?
v
Let i = -75/4 - -19. Is i less than or equal to 1/6?
False
Suppose -10*p = -8*p + 4. Let v be 2 - (12/3 + p). Is -2 bigger than v?
False
Suppose 6*m = 3*m. Let s be 1 - 2/8*1. Is m less than s?
True
Let p be (-5)/(-25) + (-14)/(-30). Which is bigger: -10 or p?
p
Let h(c) = c - 1. Let w be h(10). Let a = 9 - w. Suppose a*o = -o - 3. Is o less than -3?
False
Suppose -b - 1 = -9. Let p = 5 - b. Suppose -2*o - 1 - 7 = 0. Which is bigger: o or p?
p
Let f = -0.5 - 0.5. Let a = -6.5 - -0.5. Is f smaller than a?
False
Let b = -1392/7 + 198. Suppose a - 2*a = -2*t + 2, -2 = 4*a - 2*t. Which is smaller: b or a?
b
Suppose -a - 3*b = 3*a + 15, b = -5. Suppose -31 = 3*y + 5*v, 24 = -2*y - a*v - 4*v. Is -2 bigger than y?
False
Let i = -2.9 + 3.1. Which is smaller: i or 0.06?
0.06
Let f = -32 - -31.9. Is f at least 1/85?
False
Let d = -20 + 8. Let t be ((-3)/d)/1*4. Which is greater: t or -8/5?
t
Let q(y) = -y**3 + 8*y**2 - 5*y - 15. Let b be q(7). Is b not equal to -1/28?
True
Let d = -0.3 - -5.3. Is -1/4 smaller than d?
True
Suppose -3 = 2*d + 19. Is -9 equal to d?
False
Let c(y) = y + 1. Let m be c(4). Suppose m*i = 26 + 54. Suppose 3*g + i = 5*l, 2*g - l + 14 = 3*l. Which is bigger: g or 2?
g
Let q = 20 - 19.94. Let d = -0.06 - -0.1. Let l = q + d. Is l at least as big as -0.3?
True
Suppose -3*x - 2 = -5. Suppose -4*d - x = -3*w, -3*d + 3*w - 4*w = 4. Is d bigger than -1?
False
Suppose -9 = -4*o + 7. Suppose 4*l + 4*g + 0*g = 16, -5*l = 3*g - 22. Let t = l - o. Which is bigger: 1/8 or t?
t
Let b be -1 - -2 - 1 - 9. Is 6 bigger than b?
True
Suppose 4*i - 12 + 48 = 0. Are i and -3 unequal?
True
Let u = -0.2 + 0.3. Which is smaller: 2/33 or u?
2/33
Let b = 0.05 - -4.95. Is 0.2 not equal to b?
True
Let h be (147 + 3)/((-1)/(-2)). Let z be (6/(-9))/((-8)/h). Is z greater than or equal to 25?
True
Let g = -0.09 - 9.91. Let o = 9 + g. Let s = -0.6 - o. Is 1 < s?
False
Let g = 5 + -3. Let m = 1 + g. Suppose -5*o - c + 14 = 0, -3*c = -4*o + c - 8. Which is smaller: o or m?
o
Suppose 9*i + 66 = 20*i. Suppose 0 = n - 3*g - 0*g + 8, 3*n - g = -16. Let f = i + n. Which is bigger: 3 or f?
3
Suppose -a - a = -10. Suppose -4*z - 5*r - 1 = -46, 0 = a*z - 5*r. Let d be 4 - z - (0 - 2). Which is bigger: d or 2/33?
d
Suppose 3*h = 4*h. Let v = 6 + -8. Let f be (v/6)/((-1)/3). Is h at most as big as f?
True
Let j be -24*(-1)/3*1. Suppose -w + j = 1. Let l = 8 - w. Is l < 1/7?
False
Suppose -2*p - 7 = -19. Let o(t) = -t**2 + 8*t - 3. Let r be o(p). Let m be 0 + r + 2 + -5. Is 4 at most as big as m?
True
Let k = 0.35 + 0.65. Is -1/2 bigger than k?
False
Let m = -25 - -25.1. Is m greater than -5?
True
Let z = 17 + -17. Which is greater: z or 2?
2
Suppose 0*j - 2*r - 57 = -3*j, -3*r + 95 = 5*j. Which is bigger: 18 or j?
j
Suppose 2*l - 3 = 5. Let x = l - -2. Is 7 != x?
True
Let n be ((-4)/3)/(6/(-9)). Suppose 0 = 2*k + n*k. Which is smaller: k or 1/4?
k
Let q(x) = -5*x + 13. Let u(v) = -11*v + 27. Let b(h) = -9*q(h) + 4*u(h). Let m be b(11). Which is smaller: 8/3 or m?
m
Let n(h) = -h + 3. Let i be n(3). Let x be (4/10)/((-99)/(-55)). Are i and x non-equal?
True
Suppose -12*y - 48 = -36. Let x = 281 - 2807/10. Which is bigger: x or y?
x
Let k be (1*(-12)/(-9))/2. Which is bigger: k or -1?
k
Let d be (-32)/5 + (-6)/(-15). Let t be ((-1)/(-5))/(d + 5). Which is smaller: 1 or t?
t
Let h = 0 - -3. Suppose y = h*y. Are -2 and y equal?
False
Let t be (-3 - -7) + 80/(-18). Is 1 at least as big as t?
True
Suppose -2*k + 12 = 3*u, -5*k + 18 - 5 = -u. Which is smaller: 1 or u?
1
Let d = -28 + 27. Do d and -1 have different values?
False
Let z(t) = -t**2 - t + 3. Let r be z(0). Let o be (-4)/10 - r - -3. Let l = -2.6 + 0.6. Which is bigger: l or o?
o
Let q = 196 - 4512/23. Which is smaller: q or 0?
q
Let q be (-5)/(-6) - 153/54. Let p = -163/5 + 159/5. Is q != p?
True
Let y be (-12)/20*(-1 - 4). Suppose 2*m - 7 = -y. Is m greater than 8/3?
False
Let a = 100 - 99.9. Is a equal to 84?
False
Let t be (-11)/(-11)*0/(2/(-1)). Which is smaller: t or -1?
-1
Let m = -0.12 - 6.88. Let h = m - -6.9. Is 0 at most h?
False
Let l be (4/8 - (-6)/4) + -15. Is l greater than or equal to 1?
False
Let x = -0.1 + 14.1. Let h = 15 - x. Is 2 equal to h?
False
Let h(w) = -w**2 + 4*w - 1. Let v(f) = 3*f**2 - 11*f + 2. Let i(q) = 8*h(q) + 3*v(q). Let x be i(2). Are x and 0 nonequal?
False
Suppose 4*j + 62 = 10. Let l = j + 15. Let z be 2/(-2) - (-5)/7. Is z <= l?
True
Suppose 3*r = -2*r + 5*d + 25, -5*r + 22 = -4*d. Suppose -2*n + 9 = 2*s - 5, -r*n = -3*s + 11. Is 9 greater than or equal to n?
True
Let f(m) = m**3 + 5*m**2 + 4*m + 1. Let y(k) = 4*k + 16. Let s be y(-5). Let i be f(s). Let u = -9 + 3. Is i not equal to u?
True
Let p = 255/4 + -16583/260. Which is smaller: p or 0?
p
Let h = 12.8 + -21. Let j = 8 + h. Which is greater: 0 or j?
0
Suppose 0 = -4*a + 7*a - 252. Let n(c) = -3*c - 7. Let b be n(-3). Let m be 6/a*12/b. Is 1 >= m?
True
Let k be 18/(-72) - 331/4. Which is smaller: k or -82?
k
Let o = -3 + 1. Let u = 2 - 2. Let d = u - 0. Which is bigger: d or o?
d
Let v = -0.07 + 0.17. Is -8 < v?
True
Suppose -z + 3*x = -x - 14, -z = -2*x - 22. Suppose 0 = -5*l + 5*c + z, 2*l - 4*c - 10 = 10. Let n be l/(-8) + 34/72. Which is bigger: 1 or n?
1
Let k = 518/3555 + -8/79. Are 1 and k equal?
False
Let i(p) = -p**3 - 9*p**2 - p - 5. Let g be i(-9). Suppose 11 = 9*u - 16. Is u bigger than g?
False
Let n = 0.7 - -0.3. Let h = -0.9 - 1.1. Which is greater: h or n?
n
Suppose -c = -2*c + 2. Suppose -4*x + 3*b = -35 + 5, -5*b = -2*x + 22. Let a = x - 4. Is a at least as big as c?
True
Let a = 4 - 9. Let t 