. Let k = -0.06 - y. Is 2/7 less than k?
False
Let l(w) = -w + 2. Let m be l(-2). Let h be m/(-3)*24/80. Is 8 <= h?
False
Let d = 6.9 - 7. Let c be (-3)/(-6)*(1 - -5). Suppose i + 0*i = 5*g + c, -2*i + 6 = -2*g. Which is smaller: d or g?
d
Let b = 312 - 7802/25. Let y(q) = -q**2 + 7*q - 5. Let h be y(6). Is b > h?
False
Let u(k) = 2*k - 2 + 2 - 4. Let w be u(4). Which is smaller: 5 or w?
w
Let p(b) = -4*b + 1. Let x be p(1). Let s be (1 + -2)/(x - -2). Suppose 3*f - 2 = 5*h - 8, -5*h = 4*f + 8. Which is greater: s or h?
s
Suppose -6*w = -8*w. Suppose -3*a - 16 + 19 = w. Which is smaller: a or 2/31?
2/31
Let u = -3 - -5. Let f be (u/4)/(2/(-12)). Let x be (3 + f/1)/2. Which is bigger: x or -1?
x
Let g = -14 - -13. Which is smaller: -12 or g?
-12
Let j = 3 + 0. Let o = -2 + -7. Let a = o + j. Which is smaller: a or -5?
a
Let a = -2 - -3. Let f = a - -2. Suppose -4 = f*w + w. Which is greater: 1 or w?
1
Let u = 1262/11655 - -2/333. Do u and -1 have different values?
True
Let j(k) = -2*k**3 - k**2 - 9*k - 4. Let x be j(-3). Is 67 > x?
False
Let m = 34 - 35. Is -1/23 at least m?
True
Let j be (-4 - (-40)/5) + -6. Let v = 137 - 689/5. Which is smaller: j or v?
j
Let g = -3.2 + 1.2. Which is bigger: -6 or g?
g
Let z(s) = s**2 - 4*s - 4. Suppose -5 = -3*h + 2*h. Let p be z(h). Suppose -11 = -4*r + p. Is 4 less than or equal to r?
False
Let p = 3 - 3.05. Let w = p - 1.55. Let q = w + 0.6. Is q < 0.2?
True
Suppose -3*b + 4*d = 0, 3*b - 3*d = -d. Suppose 5*m + b*m = -5. Is m equal to 2/41?
False
Let s = -22 + 32. Let i be (-6)/(-4) - 19/s. Is 1 >= i?
True
Suppose 3*k + 3*z = 0, -3*k - 2*z = -z - 4. Let n be 5/k - 8/4. Are n and 1 unequal?
True
Let a = 803 - 803. Let s be 7*1/6 - 0. Which is smaller: a or s?
a
Let r be (-5)/(-25 - 1 - -4). Are 1 and r unequal?
True
Let t(x) = 2*x**3 - 2*x**2 + 4*x - 2. Let n be t(2). Suppose 2 = -5*y - 4*r + 4, 0 = 4*y - 3*r - n. Suppose i = y*i. Is i at least 1?
False
Let y(v) = 4*v + 12. Let f be y(-3). Which is smaller: 0.1 or f?
f
Let p(y) = y**2 - 6*y + 5. Let v be p(5). Are -1/2 and v equal?
False
Let x be ((-2)/10)/((-12)/5). Which is smaller: -1 or x?
-1
Let f be 56/26 - (-2)/(-13). Suppose -2*o + 8 - 4 = 0. Is f smaller than o?
False
Let r = 16 - 16. Suppose 3*z - 6 = 4*k, z = -4*k - r*z + 2. Which is smaller: 1/18 or k?
k
Let f be 24/(-9)*(-9)/6. Suppose -x - 1 = f*g, 2*g + 2 = -2*x - 2*g. Let k be (0 - -2) + (-220)/99. Which is smaller: x or k?
x
Let k = -0.108 + 12.108. Is k bigger than -1?
True
Let j be 26/6 - 2/6. Suppose -16 = 4*m, -2*l - j = 2*m - 0*m. Is 2 less than l?
False
Let q = 869 - 429. Suppose -11*m + q = -7*m. Let p = m - 437/4. Which is greater: p or 0?
p
Suppose g + 4 = 4. Which is bigger: g or -80?
g
Let t be ((-1)/(-1) - 4)/(-3). Suppose 4*k = -4*o + 5 - 17, -3*o - 13 = -k. Is k at least as big as t?
True
Suppose 2*p = p - 33. Let z be (-6)/p + (-8)/22. Which is smaller: z or -1?
-1
Let l be 3 + 5 + (-1 - 1). Which is smaller: l or 4?
4
Suppose 0*c + b - 4 = -c, -c + 5*b = 26. Suppose 5*y - y + 4 = 0. Is c at least as big as y?
True
Let d be 0 + (-12)/(-9) - (-11)/(-33). Which is bigger: -3/40 or d?
d
Let u = 1464 - 54174/37. Let d = -140/407 - u. Which is smaller: d or 0?
d
Let c = -279 + 3071/11. Which is smaller: c or 2?
c
Suppose 4*q + 0 = -3*g + 6, -5*q + 5*g - 10 = 0. Suppose t - 3*t - 6 = q. Do t and 1 have different values?
True
Let k = 0.6 - 0.6. Which is smaller: k or -80?
-80
Suppose 3*c = 4 + 23. Let x be (-8)/6 - 6/c. Which is bigger: x or -1?
-1
Suppose -8*i + 3*i = 10. Let u be i/(-9) - 266/(-18). Suppose 4*y - 18 = 2*n, 0*n = -4*y - n + u. Is y not equal to 3?
True
Let b = 115/306 + -9/34. Suppose 0 = 5*l + 4*y, 2*l - y = 2*y. Which is bigger: l or b?
b
Let h be (-620)/(-84) + 2/7. Let n = h + -8. Is n greater than or equal to 1?
False
Let x be (-32)/(-14) + 2/(-7). Suppose -x*n = -3*l, -5*n + 1 + 12 = -l. Let t = -1.8 + 1.8. Is t less than l?
True
Suppose 5*j - j = 16. Suppose 0*z - j*z = -16. Which is bigger: 5 or z?
5
Let p = -5 - -10. Suppose -5*z - 18 = -3*u, p*z = 4*z - 3*u - 18. Which is smaller: z or -7?
-7
Let h = 5.44 + -5.5. Which is greater: h or -1?
h
Let x(z) = -z**3 + 3*z**2 - z + 4. Let c be x(4). Let p = -6 - c. Let b be ((-6)/p)/((-8)/10). Is 0 greater than or equal to b?
False
Let b be (-3 - 44/(-6)) + -3. Are 0 and b unequal?
True
Suppose m - 20 = 4*l, -l + 36 = -6*l + 4*m. Suppose -3 = -5*w - 2*c + 10, -2*w = -5*c - 11. Let v = 0 - w. Do v and l have the same value?
False
Let x = 1/286 + 515/16302. Suppose 0*c + c = 0. Which is greater: c or x?
x
Let c be 1/2*(6 + -4). Is c at most 5/3?
True
Let b(x) = x**3 + x**2 + x + 5. Let i be b(-4). Is -46 > i?
True
Let d = 90449/19019 + -1025/133. Let i = -36/13 - d. Which is smaller: -1 or i?
-1
Suppose 0*r + 4*r = 0. Let n = -4 + 3. Let v be n/(-3)*(-3)/2. Which is bigger: v or r?
r
Let c be ((-57)/38)/(6/(-8)). Which is smaller: 2/9 or c?
2/9
Let i = 24 - 25. Which is greater: i or -2/9?
-2/9
Let j = 319/840 + -1/210. Which is smaller: j or 0?
0
Let g(a) = -a**3 + 11*a**2 - 9*a - 8. Let b be g(10). Is b != 2?
False
Let u be 9*1 + (-3)/(-3). Suppose -5*k + 0*k = u. Let o be ((-8)/24)/(k/(-6)). Is 1/6 <= o?
False
Suppose -6 = 2*t - 0, -2*m = -5*t - 31. Which is greater: m or 7?
m
Let m be 60/(16/(-4)) - -4. Is m < -10?
True
Suppose 0 = -3*l - 177 - 129. Which is greater: -103 or l?
l
Let l = 4 - 22/5. Is l greater than or equal to 9?
False
Let r = 64.1 + -61. Let z = 3 - r. Let v = 3 + -3.1. Is z >= v?
True
Let t be 2/(-3)*(5 + -2). Are t and -3/2 equal?
False
Let z = -2.5 - -2.3. Is -0.03 bigger than z?
True
Suppose -2*o + 3 + 3 = 0, 2*y - 2*o + 34 = 0. Let d = 9 + y. Which is greater: -6 or d?
d
Suppose 0 = -3*q - q - 64. Suppose -17*i + 10*i = 112. Are q and i equal?
True
Let l be (6/(-63))/(4/(-3)). Is 0 greater than l?
False
Let y = -20 + 21. Which is smaller: y or 4?
y
Let m(f) = -f**3 - 3*f**2 - f - 3. Let s be m(-3). Let q be 7 - 6 - s/2. Which is smaller: q or 2?
q
Let n = -7 + 6. Let b = 8 + -1. Is b at least as big as n?
True
Let l(d) = -24*d + 7. Let q be l(7). Let p = -647/4 - q. Are -2 and p nonequal?
True
Let x = 0.3 + -0.4. Let t(u) = 3*u + 33. Let p be t(-11). Which is bigger: x or p?
p
Let m(z) = 2*z - 10. Let t be m(13). Is 15 at most as big as t?
True
Let c be (-2)/(-10) + (4 - 4). Are c and -1/3 nonequal?
True
Let u be 14/(-6) + (-1)/(-3). Let l = -6 - -2. Let q be 0/(-2) + l/10. Which is greater: u or q?
q
Let l = 13 - 13.01. Which is smaller: l or 0.1?
l
Suppose 0 = -3*j + 12, 3*j - 54 = -4*g - 2. Suppose p = 4*p - b - g, 2*p = -2*b + 12. Let w = 2 - p. Is -1 smaller than w?
False
Let l = 0.04 + 0.26. Let m = 0.1 + l. Which is greater: -0.1 or m?
m
Let f(w) = -w**2 + 14*w + 3. Let u be f(15). Which is smaller: u or 1/4?
u
Suppose -5*n + 0 + 15 = 0. Let q(c) = c**3 - 3*c**2. Let h be q(n). Let d = 57/140 + 12/35. Which is smaller: d or h?
h
Suppose -68 = -5*c + 2. Which is smaller: 15 or c?
c
Let u = 0 - -4. Let g be 4/(-8) - 2/u. Let h be (10/15)/(g/3). Is -5/7 != h?
True
Let l = 1.17 + -0.17. Suppose -2*q = -q + 5. Is q smaller than l?
True
Let f = 16 + -16. Are f and -5 unequal?
True
Suppose -1 = -5*d + 9. Let z be d + 0 + (-15)/6. Let h be 2/(-3) - 24/18. Is z at most as big as h?
False
Let z = 97/99 + -8/9. Which is greater: 1 or z?
1
Let c(o) = -o. Let p be c(1). Let v(m) be the second derivative of -m**4/12 - m**3/6 + m. Let k be v(p). Is k at least -1/4?
True
Let v = 43 - 24. Is v < 17?
False
Suppose -17 = -4*r - 5*u + 4*u, -r = 5*u - 9. Suppose -9 = -s + k + k, s + r*k + 15 = 0. Suppose -l = -0 - s. Is l greater than or equal to 1?
True
Suppose -10*h - 37 = -7. Which is bigger: -9 or h?
h
Let j be 0/((-6)/(-30)*(0 + 5)). Which is bigger: j or -4/21?
j
Let f be -3 - 119*(-2)/(-78)*-1. Is f bigger than -2?
True
Let m(n) = n**3 - 5*n**2 - 6*n + 2. Let h be 21 - -2*(-3)/(-3). Suppose -1 = -4*q + h. Let y be m(q). Is y greater than or equal to 2?
True
Let f = -13.08 + 0.08. Let b be (-4 - 4)/(-2) - 3. Which is greater: f or b?
b
Let q be (-2)/4 - 0/(-1). Suppose 3*r = -g - 10 - 3, 3*g - 11 = r. Suppose -3 = g*l + l. Which is smaller: q or l?
l
Let o = -10/37 + 221/407. Which is greater: -1 or o?
o
Let x = -217 + 217.3. Is 2/43 at most x?
True
Let k be 16/30*(-45)/54. Is k greater than