e -m = v*f + 9, -5*m - 3*f = -0*m + 17. Is 5 less than or equal to m?
False
Let f = -0.053 + -39.947. Which is smaller: -1/4 or f?
f
Let p be 2/(-2)*6 - -1. Is -5 <= p?
True
Let i = -1 + 1. Let s(v) = -2*v**2 - 13*v - 14. Let b be s(-5). Is b bigger than i?
True
Let o(u) = -2*u**3 - u**2 + 3*u + 1. Let b(q) = -q**3 + q**2 + 1. Let z(t) = b(t) - o(t). Let d be z(-3). Let a = -244/9 - -27. Which is smaller: a or d?
a
Let m = 1.1 - 1.3. Let s = 2 - 2. Which is smaller: s or m?
m
Suppose 5*n + 3*j - 17 = 0, n - 2*n = -3*j - 7. Suppose c - 3*d - n = -3*c, 4*d - 24 = -2*c. Let l = -84 - -84. Which is bigger: l or c?
c
Let v(y) = y**2 + y**2 + 0*y + 3*y. Let f(x) = -x**2 - 6*x + 5. Let h be f(-7). Let g be v(h). Which is smaller: 0 or g?
0
Let l(d) = -d**2 - 6*d - 6. Let y be l(-4). Suppose -j = 3*j + 4, -y*n - 7 = j. Let a = n - -20/7. Which is smaller: 0 or a?
a
Suppose -4*u + 5 = u. Let g(b) = b**2 + 6*b - 6. Let r be g(-7). Is r at least as big as u?
True
Let l be 2/4*(-608)/80. Which is bigger: -5 or l?
l
Suppose -f = -5*p + 9, 0 = 3*f - 4*p + 5*p - 5. Is f >= 1/6?
True
Let g be (1 - 46/4)/((-70)/(-1260)). Which is smaller: g or -190?
-190
Let y = 15 - 15.1. Let u = -0.9 + y. Which is smaller: u or -0.4?
u
Let z = 86 - 43. Which is smaller: 44 or z?
z
Let i be -20*(0 + 4 - 3). Suppose -1 + 39 = -2*h. Which is smaller: i or h?
i
Let d = -5.8 - -6. Which is smaller: d or -2?
-2
Suppose -13*y = -12*y. Is y smaller than 0?
False
Let w = 1 + -10. Is -2 < w?
False
Let b be -11*(1 - -1)*-1. Suppose -b = -x + 4*i, 2*x - i - i - 26 = 0. Are 9 and x unequal?
True
Suppose -5*z + 116 = -2*w, 4*z = -z - 3*w + 101. Suppose x + 7 = 3*r + z, 0 = 4*x + 2*r + 10. Which is greater: x or -1?
x
Let b = -4880 - -4884.993. Let s = b + 0.107. Let c = s + -5. Is c smaller than 1/9?
True
Let b be (-50)/(-90) + 0 + -1. Is 1 greater than b?
True
Let p = -7 + 5. Let b = -2 - -2.2. Is b at least as big as p?
True
Let g = 44 + -76. Let o be (g/(-20) - 2)/1. Is o <= -1?
False
Let l be (-7 + 204/30)/(6/(-20)). Which is smaller: 8/5 or l?
l
Suppose 3*j + 2*k + 12 = 4*j, j + 2*k = -4. Let d be -3 + 3 - (6 + -1). Let b(z) = z**2 + 4*z - 2. Let w be b(d). Which is bigger: w or j?
j
Let h = -0.077 - -0.017. Do h and 2 have the same value?
False
Let u(k) = -k**2 + 6*k + 2. Let w be u(6). Suppose 0 = -2*m - w*s + 12, 2*m - 5*s - 3 = -19. Let q be -4 + 5/(5/m). Which is smaller: -3 or q?
-3
Let j(f) = -7*f + 54. Let p be j(7). Let h(b) = b + 2. Let u be h(4). Is u >= p?
True
Let b(n) = n**3 - 6*n**2. Let s(k) = k**2 + 4*k + 1. Let w be s(3). Suppose -w = -5*q + 8. Let o be b(q). Which is smaller: 1 or o?
o
Let c(i) = -i**2 + 5*i - 4. Let f be c(4). Let y(n) = -2*n - 12. Let w be y(-7). Which is smaller: w or f?
f
Let c be (1/((-6)/72))/((-14)/(-15)). Is -13 at least as big as c?
False
Suppose -3 = -3*b + 3. Let o(q) = -q + 2. Let k be o(0). Is k bigger than b?
False
Let j be 1*((-6)/(-8) + -1). Is 20 >= j?
True
Let q(y) = -2*y**3 + 4*y**2 - y + 2. Let g be q(2). Is -2/17 <= g?
True
Let u = -0.081 + 0.681. Which is smaller: u or -2?
-2
Suppose 4*m + 45 = 13. Let o be (42/(-4))/((-6)/m). Let u be ((-3)/4)/((-21)/o). Which is smaller: 2 or u?
u
Let a(z) = -z**3 + 8*z**2 - 3*z + 16. Let s be a(8). Let p be 1/(-2) - 18/s. Is p bigger than 1?
True
Let i(j) = -j + 4. Let c be i(5). Let q(l) = l + 1. Let n be (-1 - -3)*3/(-2). Let r be q(n). Is c at most as big as r?
False
Suppose -2*d = 2*q, 3*d - 2*q + 14 + 1 = 0. Let j(a) = a**3 + 3*a**2 + 3*a. Let z be j(-2). Let r = -4 - z. Is d at most r?
True
Suppose 0 = -3*f + 12. Are f and 6 non-equal?
True
Let q = 6.93 - -0.07. Let u = q + -7. Are u and -1 nonequal?
True
Let y(f) = 2*f**2 + 3*f - 5. Let c be y(-4). Suppose -4*j + j - c = -3*t, 5*t - 15 = 0. Let m be (j + 0)/(-2 - -11). Is 1 at least as big as m?
True
Suppose 0 = -4*p + 3*z - 21, 5*p + 0*z = -z - 31. Let n be (-2)/(p/(-2 - 1)). Let c = 1/63 + -5/21. Which is smaller: c or n?
n
Suppose -2*y = -y + 3. Suppose -4*n + 9 = -2*u - 3*n, -3*u = n + 1. Let w = u - y. Which is greater: 1/5 or w?
w
Let x = 180 + -3061/17. Is x greater than 0?
False
Suppose -b - 3*b = -8. Suppose -20 = -5*s - 5*i, -4*i = b*s - s - 10. Suppose s = -2*u - 0. Is u > 0?
False
Suppose 2*m - 5*m + 8 = b, 4*b = 8. Let o = m - 3. Let w = 3 + o. Which is greater: w or 1?
w
Suppose -2*j = -4*f - 22, 0*j - 10 = -5*f - 5*j. Which is greater: f or -15/7?
-15/7
Let l be 12/(-28) + (-7832)/(-18536). Is 0 bigger than l?
True
Let p = -7 - 0. Let z = -6.866 - -0.066. Let a = p - z. Which is smaller: a or -0.3?
-0.3
Let t(h) = -h + 5. Let j = 11 - 1. Let z be ((-8)/j)/((-1)/5). Let c be t(z). Is -3/7 != c?
True
Suppose 0 = 4*s - 16 - 4. Which is bigger: s or 4?
s
Suppose 2 = -z + 3. Let r be z/(-2)*4/(-15). Which is greater: r or 0?
r
Let v = -2.2 - -3.3. Which is greater: -0.1 or v?
v
Suppose -2*m = 4*f + 3*m - 9, f = m. Which is smaller: f or 1/6?
1/6
Suppose k + 0 = -3. Let t = k - -6. Let p be ((-4)/t)/((-2)/3). Is 4/5 bigger than p?
False
Let u be -5*(-12)/20*-1. Let f(b) = 6*b - 4. Let i(a) = 7*a - 5. Let c(q) = -6*f(q) + 5*i(q). Let k be c(u). Which is smaller: 1 or k?
1
Let t be 4 - ((-1746)/(-400) - 1/8). Which is smaller: t or -1?
-1
Let f be (-1)/(-2) - (-498)/(-60). Let t = 37/5 + f. Let l = 0.2 - 2.2. Which is smaller: t or l?
l
Suppose -3*i = 2*i + 15. Let t be 20/(-30)*i/(-4). Let f = -1 - 0. Which is greater: t or f?
t
Let d = -0.036 - -4.236. Let v = d + -5. Let s = v + -0.2. Is s <= -2?
False
Let v = 75343/4 + -18949. Let x = v - -6811/60. Let c = 2/3 - x. Do -1 and c have the same value?
False
Let b(a) = a**3 + 8*a**2 + 6*a - 3. Let l be b(-7). Let d(q) = -2*q - 7. Let p be d(-6). Is l less than p?
True
Let v = -347/3 - -117. Which is smaller: v or 2?
v
Let p = 16.133 + -0.233. Let m = p + -16. Which is smaller: m or 5?
m
Let m = -62 + 13. Which is smaller: -48 or m?
m
Suppose n = -l + 2, -2*l - 4*n = l - 7. Let w be l - ((2 - -4) + -2). Are w and -5 equal?
False
Suppose 34 = -2*o - 2*m, -m = 5*o - 5*m + 130. Are o and -2 equal?
False
Suppose 9 = -r + 2*l, 12 = -r + 3*r + 2*l. Let n be 1/3*(-2)/(4/(-18)). Is r bigger than n?
False
Let f(q) = -2 + 0 + 2*q + 0. Suppose 2*g = -5*r, -2*r = 2*r - 4*g - 28. Let k be f(r). Is k >= 4/3?
True
Let u = 5.94 - 6. Let d = -3.06 - u. Is 0.1 greater than d?
True
Let c = 0.11 + -0.1. Let w = -2.01 + c. Let s = 1.9 + w. Is -0.3 less than s?
True
Let n = 1537/2 + -786. Which is smaller: n or -17?
n
Let a be (-2)/1*1/(-2). Let c be (-3)/(-1) + a + -1. Let i be 7*(-1)/c - -2. Do i and 1 have the same value?
False
Suppose 835 = 4*g + 207. Let z = g + -788/5. Which is smaller: z or 0?
z
Suppose s - x = 6, 9 = 2*s - 0*x + x. Do s and 5 have the same value?
True
Let q be 1 + ((-5)/1)/(-5). Which is greater: q or -3?
q
Let c = 32/15 + -14/5. Let p be (-6)/(-10) + (-3)/5. Does c = p?
False
Let j = 2815 + -470103/167. Is 1 at least as big as j?
True
Let b = -0.2 + 1.2. Let d = -596 - -7734/13. Let n = 96/65 + d. Is n less than b?
True
Suppose 0 = -5*g + 20, -4*m - g = g - 16. Suppose w = -m*w + 6. Which is smaller: w or -2?
-2
Suppose 0*f = -2*g - 5*f - 30, -4*f + 8 = 0. Let j be 2 + (g/(-3))/(-5). Is j bigger than 2?
False
Let d(h) = -h**3 + 3*h**2 - 2*h. Let v be d(2). Let j = 3 + v. Let o = 67/42 + -2/21. Which is smaller: o or j?
o
Let r = -2.95 + -0.05. Let o = 3.2 + r. Which is greater: o or 0?
o
Let c be 339/168 - (5 + -3). Which is smaller: c or 1?
c
Suppose 5*v - 6 = 3*v + 4*x, 3 = v + 3*x. Suppose 5*y + v*s - 93 = 0, 5*s - 4 + 17 = y. Let n be (3/20)/(y/(-15)). Is -1 at least as big as n?
False
Let u be 28 - 30 - (25*1)/(-1). Which is bigger: 20 or u?
u
Suppose -5*f = 5*n + 5, -5*f - n + 6 = 3. Suppose 0 = 4*q - z + 12, 2*q - 2*z + 7 = f. Let h(i) = i**2 - 7*i + 7. Let g be h(5). Is g > q?
False
Let m = -7 - -5. Let x = m + 1.9. Is 0.2 greater than x?
True
Suppose -51 = -12*x + 33. Suppose -4*z + 4*s - s = 5, -s = -3. Which is bigger: z or x?
x
Let c be -4 - 3/(27/(-44)). Is 0 bigger than c?
False
Suppose -4*j + 7 = 3. Suppose 4 - j = 3*a. Is -1/22 less than or equal to a?
True
Let s = -5.94 - -6. Let l = -3.94 - s. Let w = -0.121 - -0.221. Which is smaller: w or l?
l
Let t = -14 + 9. Is t at least -1?
False
Let n(r) = -r**2 + 12*r - 1. Let u be n(12). Let x be (-5 - -8)*u/(