g - 81, -173 = -4*f + g. Is -1/2 at least as big as f?
False
Suppose 18*r + 9 = -9. Let x = -2.27 + -0.33. Let f = x + 0.6. Which is bigger: f or r?
r
Let w = -2 - -2. Let l be ((-2*1)/(-2))/1. Suppose 2 = -3*r - 4*p + 9, 0 = -4*r + 5*p - l. Does r = w?
False
Suppose 0*j + 6 = 2*j + q, 4*j - 2*q + 4 = 0. Let d = -3 + 1.5. Let o = -0.5 + d. Which is smaller: o or j?
o
Suppose 3*z + 3*k + 159 = 0, z + 53 + 18 = 5*k. Let s be z/(-48) - 1/6. Is -3 < s?
True
Suppose 0 = 2*g - 2, 0*i = 4*i - 5*g - 23. Which is greater: i or 6?
i
Suppose -2*l + 3 + 4 = k, -4 = -5*l + 2*k. Suppose 2*x = l - 0. Is x at most as big as 1/8?
False
Let b be (-12)/(-8)*(-2 - 2). Which is bigger: b or -7?
b
Suppose b + b = -2. Let h = -1064/9 - -118. Is b > h?
False
Let j(y) = y**3 + 4*y**2 + 3*y. Let p be j(-3). Let i = 2 - -1. Let d = i - 3. Is p at least d?
True
Suppose -3*u - 5*d = -15, 6*d - 2*d - 12 = -2*u. Let o(r) = -r**2 + r. Let y be o(u). Is 1/25 <= y?
False
Let b = -4 - -2. Let u = -0.13 + -1.96. Let c = u - -0.09. Is b at least c?
True
Let u be ((-390)/325)/((-32)/(-35) + -1). Suppose 0 = -4*h + 2*h + 28. Is u >= h?
True
Let v = -2 - -13. Does 0.2 = v?
False
Let o = -1.89 - 0.41. Let z = o - -0.3. Which is smaller: z or -2/5?
z
Let x be -2*(-1)/(-5)*-2. Let f(g) = -g - 15. Let s be f(-15). Is x < s?
False
Let c = 8 - 9. Which is greater: c or -2/15?
-2/15
Let x(l) = l**3 + 14*l**2 - 15*l - 14. Let y be x(-15). Is -83/6 smaller than y?
False
Suppose 0 = 5*a - 3*m - 369, -a = -3*a - 3*m + 135. Suppose a = -z - 3. Let r be 2 - (z/(-6))/5. Is -2 at most as big as r?
True
Let o = 6 + -9. Let q(n) = -n**3 - 2*n**2 + 3*n. Let r be q(o). Which is smaller: r or -3/7?
-3/7
Let r(c) = -c**3 - 14*c**2 + c + 19. Let v be r(-14). Do 4 and v have the same value?
False
Let a = -64 + 66. Is a < 0.7?
False
Let g = 7 - 4. Let k = 1 - g. Let b be -1 + (-1 - (-1 + 1)). Is k at least as big as b?
True
Let s(v) = 3*v**3 - v**2 - v + 5. Let c(x) = 16*x**3 - 6*x**2 - 5*x + 26. Let n(m) = -2*c(m) + 11*s(m). Let j be n(0). Let y be 2 - 2*3/(-3). Is y equal to j?
False
Suppose -b + 12 = 3*t - 7, 25 = 5*t + 3*b. Let h be (-2)/t + 3/12. Is -4/5 less than h?
True
Suppose -2*x + 9 = -15. Suppose -3*i = -0*i + z + 4, 5*i + 3*z = -x. Which is greater: i or 7?
7
Suppose 3*w = -2*f - 2, 0*w = -5*f - 2*w + 6. Let b = -1.5 - -1. Which is smaller: b or f?
b
Suppose -2*l + 60 + 0 = 0. Suppose 0 = -8*d + 3*d + l. Let s be 3/(-9)*d/14. Is s at least as big as 0?
False
Let i = -5/8 - -1/8. Suppose 2*m - 7*m + 325 = 0. Let y be (m/(-4))/(-5) - 3. Which is smaller: y or i?
i
Let o = -6 + 12. Suppose 4 = o*m - 2*m. Is 2 greater than or equal to m?
True
Let k = 19 + -18. Let r = 14 + -13.84. Which is smaller: r or k?
r
Let t(l) = -l - 17. Let c be t(-17). Suppose -4*v + 9*v = c. Let z = -41 + 285/7. Which is greater: z or v?
v
Suppose 5*o + 2*v + 11 = 4*v, o + 4*v - 11 = 0. Suppose 5*a = -3*f - 19, -f = -3*f - 3*a - 12. Let x = f - o. Is -2 > x?
False
Let o = 18 + -18. Which is smaller: 1/30 or o?
o
Let f(h) = h - 6. Let j be f(5). Let t be 1*1/(j - 0). Is t smaller than -1/9?
True
Let x = -180 + 253. Which is smaller: x or -0.1?
-0.1
Let s be (1 - 22)/(4/24*-9). Which is greater: s or 2/7?
s
Let t = 3.2 - 3. Let x = t + -0.1. Let d = 0 + x. Which is bigger: 0 or d?
d
Let o be ((-4)/6)/((-2)/3). Suppose 0*z + o = z. Is z at least -1/5?
True
Let w be ((-9)/(-6))/(18/(-8)). Let x be 1/5*173/(-79). Let v = x + 3/79. Which is smaller: w or v?
w
Let h be 8/(-2)*9/(-12). Suppose 0 = -0*z - 3*z + h. Let k be z + (0 - -1)/(-2). Is 1 bigger than k?
True
Let i(w) = w**2 + 7*w. Let g be i(-7). Suppose c + 1 = 5*k, 4*c - k + g*k + 4 = 0. Is -3/7 less than c?
False
Let w = 12.2 - 12. Is w bigger than -0.4?
True
Suppose 0 = -5*u + 2*c - 103, 2*u - 4*u = c + 34. Is u greater than -20?
True
Let d be (-2 - -1) + -6 + 21. Let h = d - 15. Do h and -2 have the same value?
False
Let f = -41 + 91. Let h be (4/f)/((-80)/(-150)). Does 1 = h?
False
Let t be 1/(-1) - (-2)/((-2)/5). Is t <= -6?
True
Suppose 4*p = 3*r - 4, 3*p + 0*p - 5*r + 14 = 0. Let i(u) = u**2 + 2*u + 1. Let t be i(-2). Let c be (t/3)/((-1)/(-9)). Which is smaller: p or c?
p
Let l be (2 + 0)*3/(-2). Let p = 6 + l. Let c = -4 + p. Is -2 equal to c?
False
Let u(c) = -c**3 - 3*c**2 + c - 5. Let a be u(-4). Is a smaller than 7?
False
Let v = -8 - -6. Let h = 0 + v. Which is smaller: 3 or h?
h
Suppose -g - q + 2 = -3*g, -6 = -2*g - q. Do -2/149 and g have the same value?
False
Suppose -c - 2*i - 8 = -21, 5*i = 25. Suppose -c = 4*k + 1. Let o = 191/5 - 38. Is k < o?
True
Let r be ((1 + 0)*16/(-48))/43. Is 1 at least as big as r?
True
Suppose 3*b - 1 - 5 = 0. Let x be (-1)/(-6)*(-3)/b. Is -1/4 != x?
False
Let n(u) = u**3 + 7*u**2 + 7*u + 6. Let i be n(-6). Let z be (9 - 9)/(i - -1). Let k be 0 - (-1 + (-4)/(-6)). Which is smaller: k or z?
z
Let q = -4 + 3.8. Which is smaller: -17 or q?
-17
Let q(n) = -n + 19. Let y be q(11). Is y greater than 8?
False
Let m be -1 - -3 - 14/4. Suppose 4 + 6 = -5*q. Is m less than or equal to q?
False
Let y = -23.9 + 24. Let r(a) = -2*a + 9. Let h be r(8). Which is bigger: h or y?
y
Suppose 3*p - 5*p + 2 = 0. Let r(o) = -o**2 + 6*o + 2. Let x(n) = -n**2 + 5*n + 2. Let t be x(4). Let y be r(t). Which is greater: y or p?
y
Let c(g) = g**3 + 2*g**3 - 2*g**3 + 0*g**2 - 2 - 3*g - 3*g**2. Let n be c(4). Suppose 1 = -3*s - n. Is s at most as big as -3/2?
False
Suppose -9*d - 9 = -0. Does -1/11 = d?
False
Let d(z) = -z - 4. Let l be d(-4). Let y be ((-1)/(-2))/((-26)/4). Which is greater: y or l?
l
Let w be 3/(-6) + 14/16. Let f = -17.3 - -18. Let n = -0.8 + f. Is w greater than n?
True
Let o = -148172/63 + 2352. Let h = o + -209/315. Is -2 smaller than h?
True
Let k = 5/12 + -1/6. Which is bigger: k or 16?
16
Let z(o) = 14*o - 5. Let f be z(8). Which is greater: 108 or f?
108
Let v(p) = -84*p - 1. Let c be v(2). Let i = c - -329/2. Is -4 bigger than i?
True
Suppose -39*g + 19*g = -17*g. Are -5 and g non-equal?
True
Suppose 4*j + 4*z = -32, 5*j + 2*z - 7*z = 10. Let c be j - -5 - 3 - -2. Are 5/6 and c unequal?
True
Let x = 4 - 0. Let r be (-4 - 8)/(66/x). Is r smaller than -1?
False
Suppose 0*q - 9*q = 27. Let w = 3 - 2. Is w > q?
True
Let w(z) = -1 + 0 - 5*z + 2*z**2 - 2 - 2*z**3 + 3*z**3. Let b be w(-3). Suppose -2*t + 5 + 19 = 5*v, v + 2*t = 8. Which is bigger: b or v?
v
Suppose w = -4*f + 104, 11*w - 130 = -5*f + 8*w. Is 30 > f?
True
Suppose 0 = 4*r - 4*p - 20, -2*r - 2*r - p = -10. Let g = -65 - -64. Which is smaller: r or g?
g
Let p be 97/264 - 3/9. Let n = 461/616 - p. Is 2 at most as big as n?
False
Let y be -3 - -1 - -5 - 4. Let z be 3/(-6)*(-4)/6. Does z = y?
False
Let f be (-3)/((-147)/(-14)) + 10/14. Let u be (-6)/4*(-4)/3. Suppose u*i - 6 + 4 = 0. Is i > f?
True
Suppose 4*w - 5*g - 35 = 0, -1 - 1 = -w - g. Let v(d) = 2*d - 6. Let x be v(w). Is x < 3?
False
Let x(t) = t**2 + 14*t + 15. Let d be x(-11). Let v = 53/3 + d. Which is bigger: v or -1?
v
Let h = 15 - 14. Which is bigger: h or 1/2?
h
Let d = 993 + -249244/251. Which is greater: 0 or d?
0
Suppose -j = -2 + 11. Let d be j*((0 - -3) + -2). Is -10 equal to d?
False
Let n be 6/15 - 7139258/17848170. Let y = n + 3218023615/2562997212. Let i = y - 2/359. Are i and 0 nonequal?
True
Let h = -19 - -11. Which is smaller: h or 2?
h
Let w(p) = -p**2 + 10*p - 8. Let i be w(9). Let m be 2*2*(-2)/(-4). Suppose m*f - 13 = v - f, -3*f + 11 = v. Which is bigger: i or v?
i
Suppose -4*d = 11 + 13. Let y be (-2)/4*d/(-2). Suppose c - 2*c + 2*o + 8 = 0, 0 = -o - 5. Which is smaller: c or y?
c
Suppose 55 = 9*h - 4*h. Let s be h + -8 + 1 + -5. Is s less than -2?
False
Suppose -12 - 3 = -5*r. Suppose z - 1 = -r. Which is greater: -1 or z?
-1
Let v(t) = t - 9. Let i be 2/(-1 + 2/6). Let n be (-1)/i - 52/(-6). Let w be v(n). Is 2/15 <= w?
False
Let r = -3.896 + -0.004. Are 0.2 and r nonequal?
True
Let w = -0.04 + -0.16. Which is smaller: 6 or w?
w
Let h be (-1 + 0)*(-2 + 5). Which is bigger: h or -4?
h
Suppose 1 = y - 3. Suppose 3*r = y*d - 0*d - 14, 3*d - 8 = r. Are -2 and r equal?
True
Let o = -0.077 + 0.027. Let m be (1 + -2)*(-4)/(-8). Which is smaller: o or m?
m
Let g(n) = -2*n + 1. Let k be g(1). Let q be (0 - k) + (-20)/14. Let l be ((-1)/1)/(2/(-2)). Is l smaller than q?
False
Let q = 31 - 15