 Is w less than 0?
True
Let m = -1/17 + 71/51. Let h be 2/3 - (-4)/(-6). Suppose 2*p + 6*w - 2*w = -6, 5*p - 4*w - 13 = h. Is m at most as big as p?
False
Let s = -4 + 1. Which is smaller: -4 or s?
-4
Suppose 0*g = 5*g + 1775. Let r = -4617/13 - g. Which is smaller: -1 or r?
-1
Let n be -2 + (11 - 0) + -1. Suppose 0 = -5*p + 5 + 40. Which is smaller: n or p?
n
Let c(z) = 4 + 5*z - z**2 + z - 1. Let g be c(7). Do -2 and g have the same value?
False
Let c be 4/26 - (-2071)/988. Which is smaller: c or 3?
c
Let o = 0.3 + -0.3. Let v = 0.2 + o. Let i = v - 0.3. Which is greater: 3 or i?
3
Let h be (-6)/(-12) + (-43)/46. Let m = 84/299 + h. Is 0 at most m?
False
Suppose 0*d = 5*d - 5. Is d >= -1/11?
True
Let b = -6 - -6.3. Is 6 >= b?
True
Let u = 1413/7 + -201. Let p = -3 + 5. Which is smaller: u or p?
u
Suppose 4*y - 5 = -13. Let f be 2/(-8)*-2*-2. Let m be (f/y)/((-2)/8). Which is smaller: m or -3/2?
m
Let h be 0/(-7) + (1 - 1). Suppose -j - 28 = 3*j + x, h = j + 4*x + 7. Is -7 bigger than j?
False
Let b(p) be the second derivative of -p**3/6 + 3*p**2/2 - 3*p. Let n be b(4). Is n greater than or equal to -1/3?
False
Let i = -2 + 3. Let d = 20 + -5. Let u be 9/d + (-2)/(-5). Is u greater than i?
False
Let b = -10 + 11. Let c = b + -1.2. Which is smaller: c or 2?
c
Let f = -6 - -12. Let i = -84.9 + 79. Let o = f + i. Is o greater than or equal to 1/7?
False
Let w(p) be the first derivative of -p**4/6 - 2*p**3/3 - p**2 + 2*p - 1. Let x(v) be the first derivative of w(v). Let q be x(-2). Which is smaller: q or -1?
q
Let s = -2 - -3. Let g = 0 + 0.1. Is g less than or equal to s?
True
Let l(m) = m**3 - 4*m**2 + m - 1. Let d be l(3). Suppose 4*y + 44 = -4*v, 0 = 2*y + 3*y - 2*v + 27. Is y at least d?
True
Let i = 96/65 + -14/13. Is -4/5 at most as big as i?
True
Let s = 7 + -2. Let o = -8 + s. Are -0.1 and o non-equal?
True
Let z = -0.17 + 0.28. Let v = 0.79 + z. Which is greater: v or -0.1?
v
Let z = 27 - 18. Let b be z/(-6) - 26/(-28). Which is greater: -1 or b?
b
Let v = 13 + -12. Which is smaller: 0 or v?
0
Suppose 4*w + 25 = -w. Suppose -6*i + 4*i = 0. Suppose 4*h + 0*h = i. Which is bigger: h or w?
h
Suppose -5*n = -30 - 30. Which is smaller: n or 10?
10
Suppose -y = -4*y - 12. Is -3 at least as big as y?
True
Let l = 192 - 191. Is l equal to 1/134?
False
Suppose -5*z + 32 = 12. Which is smaller: z or 1?
1
Let k be (-2)/12 + 348/(-72). Let z be 1/(-3 + 0 + k). Is z < -1?
False
Let x(q) = q**3 + 8*q**2 + 9*q + 13. Let t be x(-7). Which is greater: -1/23 or t?
-1/23
Let u be -1 + 98/40 + -2. Let w = 1/20 + u. Let h be (9/(-6))/(15/4). Is w less than h?
True
Suppose -s - 4*z + 5 - 15 = 0, 0 = -5*s - 3*z + 1. Suppose -5 = s*o - o. Is o greater than or equal to -4?
False
Suppose 4*b - 36 = -0*b - 4*s, 5*b + 2*s = 33. Suppose 2*y + 0*y + 2 = 0. Let u be (-1 + -2)*(y + -1). Is b bigger than u?
False
Let r be -2 + 2 - (-1 - 2). Suppose 0 = r*i - 0 + 3. Which is greater: i or -1/3?
-1/3
Suppose 2*m + h = 2, 0 = 3*m + 5*h - 2 - 15. Let c(i) = -2*i - 1. Let o be c(m). Which is smaller: 4/3 or o?
o
Let w = -2.06 + 0.06. Let u = 11 - 11.01. Let g = u + 0.11. Which is smaller: g or w?
w
Suppose 5*m + 2*k = -50, 5*k - 1 = -4*m - 41. Let z be m/4*(-8)/10. Suppose -r = 4*i - 19, 7*r = 2*r - i + 19. Is z equal to r?
False
Let w = 7 + -4. Let z(t) = -t**3 - 9*t**2 - 9*t - 6. Let m be z(-8). Suppose -m + w = -y. Which is smaller: y or -7/5?
-7/5
Let l = -1646/979 - -18/11. Which is greater: -1 or l?
l
Let n(t) = -t - 9. Let y be n(-11). Let i be (3 - 0)/((-51)/y). Which is bigger: 0 or i?
0
Let k be (1/(4/(-64)))/1. Are k and 0 unequal?
True
Suppose -3*p = -y + 13, -4*y + 8*y + 2*p = 38. Suppose 5*v = -3*o - 70, -3*v = o + v + 21. Let n be o/y*(-2)/1. Are n and 5 unequal?
False
Let j = -8 + 11. Which is greater: j or 1?
j
Let r = 43 - 41. Which is smaller: r or 0.02?
0.02
Suppose -3*w - 25 = -8*w. Suppose -z + 2 = w. Are z and -3 non-equal?
False
Let m(s) be the first derivative of s**2/2 - s - 2. Let b be m(-2). Is -2 greater than or equal to b?
True
Suppose 3*g + 39 = -3*u, 4*g - 83 = 5*u - 0*g. Let w be -2 - u/9 - -1. Suppose 4*s = 2 + 6. Which is smaller: w or s?
w
Suppose 0 = 5*x + b - 19 - 1, -5*b + 4 = x. Suppose -x*h + 7*h - 3 = 0. Let l be ((1 - 2) + h)/(-1). Do l and 0 have the same value?
True
Let x(t) = t**3 + 8*t**2 + 7*t + 7. Let p be x(-7). Let u = 2 - p. Which is greater: -4 or u?
-4
Let p be 3 - 6*2/4. Let v be 15/18 + -1 + p. Let o = 0.2 + -1.2. Is v > o?
True
Let i(u) = u + 3. Let s be i(3). Let w = 32 + -127/4. Which is bigger: w or s?
s
Let q = -34/45 + 8/15. Is q less than or equal to 0?
True
Let m(p) = -p**2 - 10*p - 6. Let u be m(-12). Is u at most -29?
True
Suppose -3 = -2*a - 13. Let y be (6/(-20))/(4/a). Is 0 greater than or equal to y?
False
Let x be (-16)/(-104) + 1620/(-10699). Let r = 873/20575 - x. Is -1 != r?
True
Let n be (-15)/10*1/(-18). Suppose -8*s - 7 - 1 = 0. Which is greater: n or s?
n
Let s = -2 + 4. Let d be (0/(-6))/((-2)/s). Which is greater: d or -3/8?
d
Let g(h) = -h**2 + 11*h + 14. Let u = -7 + 18. Let d be g(u). Is d bigger than 15?
False
Let a = -0.3 - -3.3. Which is bigger: 0.5 or a?
a
Let g(w) = -3*w - 47. Let h be g(-17). Which is smaller: 3 or h?
3
Suppose -g - 7 = 6*g. Let s be (-6)/3*1/(-31). Which is smaller: s or g?
g
Let t(y) = -y**2 + 8*y - 4. Let r be t(7). Is -1 less than r?
True
Let v be 3/3 + 0 + -2 + 2. Which is bigger: v or -1/6?
v
Suppose -1 = n, -4*s - 3*n + 11 = -6. Is 5 != s?
False
Let p(w) = w**2 - 6 + 15 - 8*w - w. Let u be p(8). Which is smaller: u or 0?
0
Suppose 3*p + 2*n + n = -21, 0 = -3*p + 2*n - 16. Let h be p/4*(-2)/(-3). Let y = -5/3 - -4/3. Which is bigger: y or h?
y
Let g = 16 - 16. Which is smaller: -5 or g?
-5
Let i(v) = -v**2 - 13*v - 24. Let j be i(-9). Is j smaller than 8?
False
Let s be (-2)/(-4) + (-6)/(-4). Suppose 0 = -s*y - 0*y + 2. Is y != 2/37?
True
Let t be (-3)/(-13) + 5/(-10). Let b = -1/52 - t. Which is smaller: b or 1?
b
Let t(x) = x**3 - 2*x**2 - 3*x + 3. Let d be t(2). Suppose 47 = 2*q - 5*a + 16, 2*a = q - 13. Let k be -3*(14/4 - q). Is k greater than d?
True
Let n(o) = o**3 - 10*o**2 + 2*o + 1. Let p be n(10). Let i = 25 - p. Are 8 and i unequal?
True
Let v be 4/(-24)*26 + 4/3. Is -6 > v?
False
Let g = -1 + 5. Let m be 4/40*10/g. Which is smaller: m or -1?
-1
Suppose -2 + 1 = l. Which is smaller: l or -2/47?
l
Let c = -4 - -3. Let z be (2 + -3)*(5 - 5). Suppose 3*o + 5 = 5*a, z*a - 2*o = -2*a + 2. Which is greater: c or a?
a
Suppose -2*h + 5 = -5*g, 2*h - g + 23 = 4*h. Do h and 10 have different values?
False
Let y be -1 - ((2 - 15) + -3). Let s be y/(-22) + (-2)/(-11). Which is bigger: s or -7?
s
Suppose -6*v = -10*v - 80. Let c = v - -10. Which is greater: -9 or c?
-9
Let w(p) = 6*p**2 + 29*p - 3. Let y be w(-5). Which is greater: y or 3/5?
y
Suppose 3*x + x - 24 = 0. Suppose -2*b = -10, x*z + 2*b = 3*z + 13. Let m(i) = i**3 - 6*i**2 + 6*i - 4. Let j be m(5). Is j at most as big as z?
True
Let i = 52 - 67. Is i >= -17?
True
Let r be 2/3 + (-14)/(-6). Which is greater: 0 or r?
r
Let x = 6.1 + -2.1. Let l = 0.7 - -3.3. Let j = l - x. Do j and -3 have the same value?
False
Let k = -9 - -5. Is -0.2 <= k?
False
Let r = -19/12 + 11/12. Which is smaller: -1/3 or r?
r
Suppose 4*j + 487 = -949. Let k = -3943/11 - j. Is 1 at least k?
True
Let i = 8 - 12. Let c = -0.5 + 0.5. Which is smaller: c or i?
i
Let u(g) = -2*g + 33. Let v be u(21). Is -5 at least as big as v?
True
Suppose -22*q + 62 = -20*q. Are q and 30 non-equal?
True
Suppose 2*v + 5*l - 125 + 10 = 0, -5*l = 5. Which is smaller: 58 or v?
58
Let t = 2683/324 - -38/81. Let n(o) = -o**2 - o - 3. Let p be n(-3). Let s = p + t. Is s at most -1?
False
Let p = 3 - 1. Let w = -3 + p. Is 1/16 > w?
True
Let m = 1.8 - 1.9. Is m > -2?
True
Let a = -46 - -67. Let d be (-7)/a - 14/(-6). Which is greater: d or 6?
6
Let f = 8 - 2. Suppose -2*x = 5*d + f + 7, -4*d - 11 = x. Suppose 25*u + 2 = 26*u. Which is greater: u or x?
u
Let h be (-3)/(-9) + 7/3. Are h and 2 non-equal?
True
Suppose y + 4*d - 12 = 4, -4*y - 16 = -4*d. Let h be 2/(-10) - 66/(-30). Which is bigger: h or y?
h
Let u be -1 - -1 - (-26)/(-12). Let j = 14/3 + u. Are j and 4 non-equal?
True
Let r = 23 - 24. Which is greater: r or -3?
r
Let l = -2.45 - -1.45. Is l