. Let o = s - 0.3. Is 0.1 smaller than o?
True
Let d = -4.9 - 0.9. Let b = d - -6. Is 1/3 bigger than b?
True
Let i be 12/(-14)*1*-7. Let w = -7 + 11. Let k = 3 + w. Which is bigger: i or k?
k
Let n = 0.097 + 0.403. Which is smaller: -1/5 or n?
-1/5
Let d = 1 - 0. Which is smaller: d or 14?
d
Let t = 6 - 1. Let z = -3 + t. Are z and 3 nonequal?
True
Let x be (-30)/7 - (-2)/7. Suppose -4*l + 18 = -2*l. Let d be (1 - -2)/(-9)*l. Which is bigger: x or d?
d
Let p = 0.63 + -0.03. Let m = 2.6 - p. Is -0.1 at most m?
True
Let j = 71 - 72. Is -2 <= j?
True
Let n = -1.3 + 0.3. Which is smaller: 1.4 or n?
n
Let g(f) = f**2 + f + 1. Let r be g(0). Which is smaller: r or -4/7?
-4/7
Suppose q = -3*y + 4, -q + 5 = 2*y - 0. Is q bigger than 11/2?
True
Let s be -6 + 10 + 28/(-3) + 3. Which is bigger: s or -1?
-1
Let j = 19 - 25. Is j <= -29/4?
False
Let q = -20 + 35. Suppose -5*b + 5*p - 5 = 0, 4*p - p = -3*b + q. Is b equal to 3/5?
False
Let s be (3/1)/(6/(-8)). Let z be (-2)/(-6) - s/6. Is 0 < z?
True
Suppose -i - 43 = 2*j + 172, -i + 4*j - 227 = 0. Let v = -1104/5 - i. Is -3 < v?
True
Let v = -1 - -2. Which is smaller: -4 or v?
-4
Let g = 3 - 5. Let k(t) = -2*t - 3. Let z be k(g). Is z less than or equal to -1/6?
False
Let x be (54/15)/((-8)/(-20)). Are 6 and x unequal?
True
Let o = -19/99 - 1/33. Which is smaller: o or 8/11?
o
Let x be (1/4)/(0 - -1). Let c = 7 - 8. Is c less than or equal to x?
True
Let p be (-1)/(1 + 4/(-2)). Which is greater: -1/3 or p?
p
Let n = -25.05 + 25. Which is smaller: 1/4 or n?
n
Let g = -109 + 111. Is g bigger than 17/12?
True
Let i = -24 - -14. Let m = i + 11. Is m at least 4/11?
True
Let x = 0.06 + -0.44. Is x <= -2/7?
True
Let p(m) = m. Let l = 1 - -1. Let k be p(l). Suppose -4*x + 6 = -2*x. Which is smaller: x or k?
k
Let l be (5 + -2)*1/(-2)*-2. Which is smaller: 6 or l?
l
Let i = -4 - -1. Let l = i - -4. Let f = 0.5 + -0.2. Is f > l?
False
Let n = 74.2 - 74. Which is bigger: -17 or n?
n
Let f(h) = -h - 18. Let m be f(-9). Is -9 < m?
False
Let d = -6502/25 + 260. Is 0 at most d?
False
Let v = -28.4 + 30. Let z = 1.47 - v. Is -1 greater than z?
False
Suppose 21 = 4*l + f, -l - 5*f = -2*f - 19. Suppose t = -l*t - 10. Is -5/3 at most t?
False
Let j = 47/44 + 2/11. Let q(i) = -i + 1. Let o be q(0). Which is smaller: j or o?
o
Let c = 0.01 + -1.01. Is c at least -3?
True
Suppose -t - z = -2, -4*z + 7 + 2 = 5*t. Do t and -1/10 have different values?
True
Let z(c) = -2*c**3 + 3*c**2 - c + 2. Let m be z(6). Let p = -5574/17 - m. Let u = -1 - -2. Which is greater: p or u?
u
Let j = -0.3 + 0.4. Let c = -0.04 + j. Let z = c - 0.36. Which is smaller: z or 0?
z
Suppose -2*h - 7 = -9. Is -11 less than or equal to h?
True
Let m be (-3)/(-5) - 4/(-10). Let v be (-15)/(-25)*(-3)/18. Which is smaller: m or v?
v
Let s(n) = -n**3 - n**2 - 2. Let i be s(0). Let y be ((-3)/1)/(15/(-110)). Suppose -4*x - g + 6*g = y, 5*x + 3*g + 9 = 0. Which is greater: x or i?
i
Let h = 0.12 - 4.12. Is h < -2?
True
Let i = -10 + 11. Which is smaller: 4 or i?
i
Suppose 23 = -4*h - 9. Let r(q) = -q**3 - 9*q**2 - 8*q + 6. Let u be r(h). Let n = u - 5. Which is smaller: n or 2/13?
2/13
Let k(q) = q**2 + 7*q - 7. Let l be k(-7). Is l < -1/2?
True
Let d be (-3)/((20/16)/5). Let x = 7 + d. Let l = -13 + 8. Is l at least x?
True
Suppose -4*h - 6 = -2*h. Which is smaller: -2 or h?
h
Suppose -1 = -0*d - d. Suppose -n = -8 + d. Is n >= 7?
True
Let a(j) = -5*j**3 + 6*j**2 + 4. Let z(h) = 9 - 4 + 7*h**2 + 2*h**3 - 8*h**3. Let l(b) = 5*a(b) - 4*z(b). Let g be l(2). Is 0 equal to g?
True
Let i be (2/(-5)*1)/(21/15). Which is bigger: i or 1/3?
1/3
Let x(c) = c**2 + 7*c + 5. Let r be x(-7). Suppose -4*l + 4*v + 7 = -13, 4*l = -r*v - 7. Suppose -3*d + b + 4 = 1, -2*d + 10 = l*b. Which is greater: 1 or d?
d
Let b be 0 - 1 - -4 - 0. Suppose 0 = -t - 5*t + t. Suppose 5*a - b*n - 7 = -t*n, -5*a + 2*n = -8. Is 1/2 > a?
False
Let s = -28 - -28. Is 0 bigger than s?
False
Let i = -0.17 + -0.03. Which is smaller: -2 or i?
-2
Suppose -2*d = -6*d + 16. Suppose d*m + 0*m = 0. Let g = -0.17 + 0.07. Which is greater: g or m?
m
Let x(v) = -19*v**2 - 9*v - 5. Let g be x(-6). Let s = g + 6993/11. Let n = 45/77 - s. Is n equal to -1?
False
Let o = 14 + -8. Let q = 2 + o. Do 9 and q have different values?
True
Let z(x) = x**3 - 4*x**2 - 5*x. Let u be -2*(-15)/(-12)*-2. Let m be z(u). Is 1/6 less than or equal to m?
False
Let a(f) = f. Let v be a(-3). Suppose -12*h - 4 = -11*h. Which is bigger: v or h?
v
Let g(c) be the first derivative of -6*c - 5/2*c**2 - 1 - 1/3*c**3. Let t be g(-4). Which is greater: -1 or t?
-1
Let p = -131 - -92. Which is smaller: -38 or p?
p
Suppose -3*h = 4*u + 17, 2*u + h = -0 - 9. Let g = u - -9. Let n = -4 + g. Are n and 1/3 nonequal?
True
Let x(b) = b**2 + 9*b + 10. Let j be x(-7). Let z be (j/(-5))/(1/(-5)). Let o = z - -4. Which is greater: 1 or o?
1
Suppose 10 = -f - 4*v + 3, -3*v - 2 = 4*f. Let m = 6 + -8. Which is greater: f or m?
f
Let c = -0.9 + -0.1. Let j = -14 - -67/5. Which is smaller: c or j?
c
Let y be (-58)/4*(-44)/70. Let j = -30756/7 + 4384. Let k = y + j. Which is smaller: 0 or k?
k
Let j = -14.7 + 15. Is j < -4?
False
Let v = -3 + 5. Do 5/3 and v have different values?
True
Let h = -221 + 219. Let p = 0.78 - 0.08. Are h and p equal?
False
Suppose -j + 14 = 3*z, z + 3*z - 20 = 0. Let l = -31348 + 1974598/63. Let n = l + 37/7. Which is smaller: n or j?
j
Let g(r) = -2*r + 4. Let y be g(4). Let m(c) = c + 9. Let v be m(y). Suppose v*d - 10 - 8 = q, -q = 3*d - 14. Are q and 2 unequal?
False
Let f be -1*-1*0/(-1). Is f > -1?
True
Let c = -7 + 10. Suppose -q + 15 = 5*v + 3*q, c*q - 16 = v. Suppose 16*m = -2*m - 36. Is v <= m?
False
Let w = 12 + -7. Suppose w*j + 4*t = -0*j + 26, -t = -2*j. Let u be 0 + 1/(-1)*j. Is -3 bigger than u?
False
Let j = 28 + -26.7. Let u = j - 0.9. Is -0.1 >= u?
False
Let w be 0 + 2 + (-11404)/4424. Let q = w - -1/158. Let y = 76 + -76. Is q != y?
True
Suppose -1 + 5 = 4*v. Is 2/11 < v?
True
Let v(n) = n**3 - 2*n**2 - 3*n + 5. Let l be v(3). Suppose -l*p = 3*c - 15, -p + 0*c = c - 5. Are p and -2 unequal?
True
Let m = 22 + -39. Which is smaller: 0.1 or m?
m
Let b be (-3 - -1)/(9/(-1)). Suppose 4*a + 0*a = 16. Suppose 0*u - 3*s = -5*u + 14, -a*u + 19 = -5*s. Which is bigger: u or b?
u
Let i = -7 + 6.1. Let x = i - -0.8. Which is smaller: x or -2?
-2
Let g be (-68)/(-42) + (-12)/9. Is g bigger than -10?
True
Let k(q) = q**3 - q - 5. Let f be k(0). Let v(u) = u**3 + 4*u**2 - 4*u + 5. Let y be v(f). Is y bigger than 1?
False
Let k be 2/(-8)*(4 - 2). Suppose -2*p - 5 = -x, 5 = -4*p - p. Suppose 2*o + 4 = x*y, -3*o = 2*o + 10. Do k and y have the same value?
False
Let o be 16/(-56) - (-424)/14. Let c = o + -148/5. Is -3 > c?
False
Let p(i) = i**3 + 6*i**2 + 6*i + 5. Let n be p(-4). Let f(m) = 3*m**2 - 11*m - 6. Let t be f(5). Which is smaller: n or t?
n
Let w = 237 + -229. Suppose 2*b + 7 = 3*b. Is b at least w?
False
Suppose -5*g + 3 + 7 = 0. Which is bigger: g or 8/5?
g
Let t(i) = i**2 - 11*i + 9. Let j be t(10). Let v = -6 - j. Which is greater: 1 or v?
1
Let m = -289 + 273. Let l(h) = h**3 + 6*h**2 + 4*h + 9. Let u be l(-6). Is u equal to m?
False
Let b be ((-3)/6)/(0 - 1). Let k = 0 + 1/3. Which is smaller: k or b?
k
Let w = 4 - 20. Let m(q) = -2*q - 1. Let y be m(-2). Let a be (y/14)/((-12)/w). Which is smaller: 2 or a?
a
Let d be -4 - (-2 + 27)/(-5). Which is greater: d or 2/11?
d
Suppose 0*i + 363 = -3*i - 3*o, -3*o + 227 = -2*i. Let l = i + 78. Let x be ((-2)/15)/(12/l). Is 1 greater than x?
True
Let p be -8*(-8)/(-270) - (-7)/35. Is p bigger than -0.2?
True
Let u(l) = -l**2 - 11*l - 2. Let h = 5 + -3. Suppose h*k = -3*r - 31, 0 = -k - r - 4 - 10. Let x be u(k). Is x at least as big as -1?
False
Let o be 0 - 5/((-5)/(-3)). Which is smaller: o or -2?
o
Suppose q - 4*w - 9 - 11 = 0, -3*w - 33 = -3*q. Let t be (39/(-6))/((-4)/q). Suppose t = -5*v + f, 0 = 4*v - 0*f + 5*f - 7. Is v > -1?
False
Let v = -3.09 + -0.99. Let g = -0.08 - v. Let n = -113 - -567/5. Which is smaller: g or n?
n
Suppose 0 = -5*u - p - 6, 5*u + 2*p = -5 - 2. Let c = -1 + u. Is -4/3 smaller than c?
False
Let c be -3 - -2 - (1 - 1). Let y be (-1 - -3)*81/6. Let u = -299/11 + y. Which is smaller: c or u?
c
Let s = -10.8 - -10. Let j = 0.2 - s. Let l = -170 