 l be 55/11 + 0 + -1. Suppose m - 6 = 3*m - 2*c, 3*m + 13 = l*c. Is 1/6 bigger than m?
False
Let c = -6 + 4. Let m be (-5)/(-20)*(-4)/c. Suppose 3 - 8 = -5*z. Is m greater than or equal to z?
False
Let g be 21/2 - (-2)/4. Let p be g/(-9) + 2/2. Let h = 76 - 76. Which is bigger: h or p?
h
Let d = 3.033 - 0.033. Let s = 0 - -2. Let i = 1.9 - s. Which is greater: d or i?
d
Let i = -0.2 + 0.3. Let h = 124 - 123.6. Is i != h?
True
Let i be ((-3)/(-15))/((-7)/(-77)). Is i at most 0?
False
Suppose 4*b - 4*i + 24 - 8 = 0, -5*b + 4*i - 18 = 0. Are -10 and b non-equal?
True
Let s be (-1 + 0)/((-1)/1). Suppose 2*w - s + 0 = -5*m, 2*w = -3*m + 3. Is -2/7 smaller than m?
False
Let j be 1 - ((-36)/(-21))/2. Are j and -1.7 nonequal?
True
Let x = 2.2 + -1.1. Let d = -0.1 + x. Let l = -0.2 - 0.8. Which is greater: d or l?
d
Suppose 4*m = -4*h + 152, 4*m + 64 = 5*h + 171. Let u be (-5)/m + 2/(-11). Is -3 greater than or equal to u?
False
Let t be ((-16)/6)/((-2)/(-12)). Let s = t - -8. Suppose -12*m + 8*m + 2*p - 44 = 0, -5*p + 65 = -5*m. Are s and m nonequal?
True
Let t = 3473/3 - 1147. Let c = t + -10. Suppose -4*f = 5*k - 24, -f = f + k - 6. Is c >= f?
False
Let r = -20/9 + 2. Which is greater: -1 or r?
r
Let f = -0.01 - -2.01. Let j = -1.9 + f. Let r = 1.1 - j. Is r less than 0.3?
False
Let n(v) = -v**2 + 2*v - 6. Let z be n(4). Let t = z - -15. Is t at least -2?
True
Let p be (-2)/(21/(-6) - -3). Suppose 1 - 21 = p*c. Do -5 and c have different values?
False
Suppose -2 + 5 = -3*k. Let b be (k - 2)/((-6)/10). Suppose 4*o + o - 3*z = -5, b*o - 5 = z. Which is bigger: o or 1?
o
Let m = -23.9 + 24. Which is smaller: m or 1?
m
Let v be (1 - (-18)/(-16))*1. Let o = -4 + 5. Suppose o = 3*n + 4. Is v less than n?
False
Let i(t) = t**3 + 10*t**2 - 11*t. Let a be i(-11). Which is smaller: 2/31 or a?
a
Let k = 590/317 + -844691/5389. Let f = -155 - k. Which is smaller: f or 0?
f
Let m = -114 + 115. Is m != -2/25?
True
Let d be -2 + -2 - (-30)/10. Is d at most -1/5?
True
Suppose 0 = 4*o - 3*z - 23, 4*z = -2*o - 2*o - 12. Let y be 1/(1/6) - 2. Is o at most y?
True
Let j be -2*(-2)/4*0. Suppose j = -v - 0*v. Suppose 0 = 4*h + 4*f + 12, -2*f - 2*f - 20 = 0. Is v greater than or equal to h?
False
Let f = -0.03 + -1.57. Let x = f - 0.4. Is x at least as big as -1?
False
Let q(i) = -i - 9. Suppose -2 = n + 4. Let j be q(n). Let f(t) = -t**3 - 4*t**2 - t + 3. Let c be f(j). Are c and -4 nonequal?
True
Suppose -2*x = -5 + 11. Let w(g) = -g**2 - 10*g - 23. Let u be w(-8). Which is smaller: x or u?
u
Let i be 1*(-15)/12*-4. Let l be i/(-25) - (-7)/10. Is l greater than 1?
False
Let h = -47.06 + 47. Is -2/3 <= h?
True
Let f = 362/9 - 40. Is f less than 3/2?
True
Let f = -13 + 12. Which is smaller: 1 or f?
f
Let t be -1 - -1 - (-14)/14. Let b be -2*(t - (-156)/(-153)). Is 0 at most as big as b?
True
Let h(w) = -3*w - 3. Suppose -c + 0*c = 2. Let o be h(c). Suppose -2*i - 4*f - 4 = 0, 0 = 4*i + o*f - 7*f - 4. Is -1 greater than i?
False
Let w = -1 - -1.1. Let l = 0.1 + 0.1. Which is smaller: w or l?
w
Suppose -4*c + 22 = -3*o, -6*o - 26 = -o - 4*c. Is -2 smaller than o?
False
Suppose -5 = -h - 17. Is h bigger than -1/2?
False
Suppose 3*w - 15 = -d - w, 3*d - 9 = -3*w. Let z = 401289/191 - 2101. Let x = z - 372/955. Are x and d equal?
False
Let d be (-5 + 1)/(9*10/(-165)). Which is smaller: d or 6?
6
Let q be 3*(-1)/(21/2). Which is greater: 7 or q?
7
Let h = -0.9 - -0.6. Let l = 0.1 + 0. Let x = h - l. Are x and -0.1 non-equal?
True
Let l be -1 + (-3)/((-891)/300). Is l equal to 1?
False
Suppose -6*p + 40 = -p. Is 9 > p?
True
Let h be 3820/315*1418/(-866). Let y = 1/3897 - h. Let m = -20 + y. Is -1 at most as big as m?
True
Let n be (-1 + 1)/(8/8). Let i = -866 - -30308/35. Is i at most n?
True
Suppose 4*t + 2 = 3*t. Is -3 smaller than t?
True
Let v = -5 - -3. Let b = 3 + v. Let o be (7 - 5)*(b - 0). Does 2 = o?
True
Let n = 5 + -3. Let o = n - 0. Let g be 2/(-9) + (-1)/9. Which is smaller: o or g?
g
Let u = 4 - -2. Let n = 8 - u. Let z = 24 + -25. Do z and n have the same value?
False
Suppose 31 = -5*h - 19. Which is bigger: h or -8?
-8
Let q(x) = 4*x + 8 + 3*x**2 + 0 - 3 - x**3. Let p be q(4). Let i be ((-10)/(-4))/((-2)/(-4)). Does i = p?
True
Let u(v) = 14*v - 1. Let d be u(4). Let h be 2/(-11) - 45/d. Are h and 0 unequal?
True
Let z(f) = f**3 - 10*f**2 + 16*f - 8. Let y be z(8). Which is smaller: -10 or y?
-10
Let x be (-9 - (-6)/2)*-3. Let c be x/6*(-1)/5. Which is smaller: -1 or c?
-1
Suppose 2*c = -2*c + 4. Let q(x) = 35*x**3 - 2*x**2 - 2*x - 4. Let l be q(-2). Let j = l + 3174/11. Which is smaller: c or j?
j
Suppose 5*v = 5*q - 4 + 24, q - 5 = -2*v. Suppose -x - 6 = -3*x. Suppose -x = 4*t - 3*t. Are q and t nonequal?
True
Let m be 5/(35/2) + (-4)/112. Suppose 0 = -b - 1 - 1. Let k be b/3 + 10/6. Which is smaller: k or m?
m
Let o be 5/(-6) + 3/(-18). Let f = -1 - o. Is 0 at least f?
True
Let x = 5/2 - 25/6. Are x and 3 unequal?
True
Let j(p) = -16*p + 112. Let q be j(7). Let z be (-3)/3 - 11/(-14). Which is greater: q or z?
q
Let c be (-9)/(-27)*(-162)/(-2). Let u be ((-1)/12)/(c/(-72)). Is -1 >= u?
False
Let i(s) = s**3 - 13*s**2 + s + 2. Let t be i(13). Suppose 2*n - n - 14 = 0. Is n less than t?
True
Let n = -156 + 157. Let v = -7/5 - -129/85. Which is smaller: v or n?
v
Let p = -59.96 - -60. Which is smaller: -2/3 or p?
-2/3
Let n(f) = f**2 - 4*f - 4. Let j be n(-2). Which is bigger: j or 6?
j
Let m be (2/(-8))/(1/(-4)). Suppose 5 + 7 = -3*z, -3*z = 3*c. Let w be (-18)/(-22) + c + -5. Are w and m nonequal?
True
Suppose 4*g + 10 = -6. Is g >= -4?
True
Let u = -1 - 0. Let g = 10 + -19. Let x be (-3)/(-3 - g) - 0. Which is smaller: u or x?
u
Let v be (-6 + 4 - -10)*(-13)/(-4). Which is smaller: v or 27?
v
Suppose -q - 20 = 3*q - 5*z, 4*q - 3*z = -20. Let n = 6 - 3. Suppose -5*b = 5*u, -n*u + 12 = -4*u + 2*b. Do u and q have the same value?
False
Let p be (11/(-10) - -2) + -1. Is -1 >= p?
False
Let w(a) = a**2 - 15*a + 17. Let p be w(14). Is 3 > p?
False
Let m = 11 + -16. Let t = m - -4. Is t equal to 2?
False
Let j = 0.02 + -0.12. Let v = 0 - 1. Which is smaller: j or v?
v
Let p = -4 - -9. Suppose 0 = i - f - f, -p*f = -2*i. Suppose -4*v - 14 = m + 1, i = v + 4. Which is smaller: m or -2/11?
-2/11
Let j be 12*1*(-4)/(-12). Suppose 50 = j*q - 0*l - l, -4*q + 4*l + 56 = 0. Is q at least as big as 14?
False
Let b = 0 - -0.6. Let m = 3.4 + b. Let r be ((-6*1)/(-3))/7. Are r and m non-equal?
True
Let b(m) = m**3 + 7*m**2 + 2. Let l be b(-7). Let q be (-1)/l*(-2)/(-4). Let g(n) = -n**3 + 22*n**2 + n - 24. Let v be g(22). Is v less than or equal to q?
True
Let r be 5/12 + 2/8. Let u(l) = 2*l**2 + 8*l + 10. Let g(t) = -3*t**2 - 16*t - 20. Let a(h) = -3*g(h) - 5*u(h). Let v be a(9). Which is smaller: v or r?
r
Suppose 4*g - 59 = 25. Suppose -1 = -2*p - g. Which is bigger: p or -11?
p
Suppose -2*o = 4*w + 3*o - 1, 3*w = -4*o. Suppose 0 = -x + 1 - w. Let b be (-8)/3 + (-2)/6. Is b < x?
False
Let k be -4 + 2 - 20/5. Which is greater: k or -12?
k
Let p = -1065179/20 - -53245. Let l = 66/5 + p. Suppose 5*r + 4*y = 9, -y = -3*r + y + 1. Is r less than l?
False
Let w = -49 + 52. Is 9/5 < w?
True
Let o(z) = -z**3 + z**2 + z - 12999. Let d be o(0). Let f = 351013/27 + d. Let n = 4/27 - f. Which is smaller: n or -1?
n
Let i(z) = -4*z + 25. Let v be i(6). Which is bigger: v or -4/57?
v
Suppose -2*v - 16 = 2*v + 5*r, 20 = -5*v - 4*r. Let f be (v/18)/((-8)/42). Is f at least as big as 0?
True
Suppose -4*f = f - 20. Let s(t) = -t**2 - 11*t + 16. Let x be s(-12). Is x bigger than f?
False
Suppose -3*n + 2*n = 0. Let b be (2/72)/((-2)/(-6)). Which is bigger: n or b?
b
Let h = 24 - 16. Let a = h - 9. Let q = 4 + a. Is 2/3 less than q?
True
Let g be (2/(-3168))/((-6)/(-2148)). Let l = 11/73 + -2831/19272. Let h = l + g. Is -1 at least as big as h?
False
Suppose -5*u = u - 24. Suppose -3*z = -u*z. Which is smaller: z or 3?
z
Let w = -1 - -6. Suppose -2*r = 4*z + 8, 2*z - 4 - 4 = w*r. Let k be (-5)/(-10)*z/(-2). Which is smaller: 1 or k?
k
Let n = 19 - 18.2. Let x = -1 + n. Let z = -0.03 - -2.03. Which is bigger: z or x?
z
Let o(y) = -95*y + 1. Let a be o(1). Let v = -4100/39 + 2960/273. Let j = a - v. Which is bigger: 1 or j?
1
Suppose -2*i - 4*x + 66 = -i, -2*x + 294 = 5*i. Let g = i + -523/9.