or equal to 2/127?
False
Let s = -0.25 + 0.07. Which is smaller: s or 0?
s
Let x = -55 + 54. Let q be ((-2)/10)/(2/5). Is x at most q?
True
Let l(t) = t**2 + 1. Let q(p) = p - 10. Let b be q(8). Let d be l(b). Suppose 2*y + 1 = d. Which is greater: 0 or y?
y
Suppose -3*m - 12 = 2*v, -8 = v - 3*v + 2*m. Let s = -4 + 2. Let i = 4 + s. Which is smaller: v or i?
v
Let x be (4/(-12))/(2/(-18)). Suppose 0 = x*z + 6 + 3. Do z and -0.1 have the same value?
False
Let p = 0.1 + -0.2. Let l = -90.1 - -90. Is p smaller than l?
False
Suppose -3 = c + 1. Let z be (-2)/(c/(-3)) + 2. Which is smaller: -0.6 or z?
-0.6
Suppose 4*c = 5*q - 6, 0*c + 1 = -2*q + 5*c. Let j = 0 + q. Which is smaller: 4/3 or j?
4/3
Let u be ((-12)/(-10))/(147/(-280)). Which is greater: u or -1?
-1
Let y(n) = n**2 - 6*n - 1. Let j be y(6). Let p(h) = -h - 4. Let c be p(-3). Are c and j unequal?
False
Let u be (-82)/(-136) - (-1)/(-4). Let i = 71/153 - u. Suppose 3*r + h - 2 = -3, 3*r - 5*h = 23. Which is greater: i or r?
r
Let p = 50.909 + 0.091. Which is smaller: 1 or p?
1
Suppose 80 = -s + 17*s. Which is greater: 1 or s?
s
Suppose -5*t = 2*v + 16, -3 = -3*t + 3*v - 0. Let n be 12/(-4) - -1 - t. Is n at least -3/14?
True
Suppose 3*v - 26 = -2*l, -v + 7 = -8*l + 9*l. Does v = 10?
False
Let j = 5 - 17. Let x be 3/108 + 3/j. Is x greater than 0?
False
Let h = 5.97 - -0.03. Are h and -2/9 nonequal?
True
Let d = 4.4 - 0.4. Let q = 6 - d. Let n = 1 - q. Is n > -0.1?
False
Suppose -y - 5*k + 47 = y, 0 = y + 2*k - 22. Which is smaller: y or 14?
14
Let r = -1 + 0. Let n = -9954 + 30134/3. Let p = -92 + n. Which is bigger: p or r?
r
Let b be -2 + 5 + 4 + -2. Which is smaller: b or 1?
1
Suppose 0 = 3*k + 2*k. Suppose -2*d + d = k. Let l be (-6 + d)/2 - -3. Are -2/5 and l equal?
False
Suppose 2*r = -4*j + 8, -2*j + 2*r - 12 = -r. Is j smaller than -6?
False
Let l = -19 - -18. Which is greater: l or 12/7?
12/7
Let q(m) = -m**3 + 9*m**2 + 4*m + 43. Let v be q(10). Which is bigger: -20 or v?
v
Suppose 2*o - 18 = -20. Which is smaller: o or 2/31?
o
Let x(t) = t**3 + 13*t**2 + 13*t + 11. Let u be x(-12). Is 2/31 at most as big as u?
False
Let w = 654/7 - 94. Let c(z) = z**3 - 2*z**2. Let t be c(2). Suppose 0 = -t*k + k. Which is smaller: k or w?
w
Suppose 0 = 19*b - 7*b - 48. Suppose -3*l + 9 + 0 = 0. Let u = l - b. Which is smaller: -2/7 or u?
u
Let k = 877 + -121902/139. Is k >= 0?
True
Suppose -3*v + 2*s = -142, -3*v = -4*s - 143 + 3. Is v != 48?
False
Let a = 1 - 6. Suppose 2*d + 17 = 3. Let c be 111/(-21) + (-2)/d. Is a at most as big as c?
True
Let q = -1.4 - -4.2. Let u = q - 5.6. Let l = 3 + u. Which is smaller: l or 1?
l
Let p(y) = -y**3 - 6*y**2 - 5*y - 4. Let x be p(-3). Let f = 16 + x. Which is greater: 1/9 or f?
1/9
Let i be 2/(-4)*2*-4. Suppose i = l + 5. Let h be (1 + l)/((-3)/3). Which is smaller: h or 1?
h
Let w(x) = -2*x + 6. Let m be w(4). Let r = 0 - m. Let u(b) = -b - 6. Let o be u(-7). Does o = r?
False
Let x(g) = 34*g + 3. Let s be x(8). Let q be (32/(-140))/(2/s). Let v = q + 32. Which is smaller: 0 or v?
0
Let m = -0.3 + 0.1. Let n = 3.12 + -0.02. Let b = -3 + n. Do m and b have the same value?
False
Let p = 0.1 - 0.08. Let u = -0.01 - 0.21. Let l = u + p. Is -2 less than l?
True
Let v = -897588/1705 + 5785/11. Let j = v - 2/31. Which is bigger: j or 0.2?
0.2
Let z(s) = -s**3 + s + 4. Let c be z(0). Suppose -8*f + 4*f - 2*u = 4, c*u + 8 = -3*f. Suppose 5*n = -f*n. Which is smaller: n or -1/10?
-1/10
Let k = -52/15 - 2/15. Which is smaller: k or -3?
k
Suppose 5*r - 9 = -3*i - i, 5*i - 7 = -2*r. Which is bigger: 10/9 or r?
10/9
Let q = -1 - -2. Let x(g) = -5*g. Let u be x(q). Which is greater: u or -4?
-4
Let m be (14/12 + 0)/(53/(-742)). Which is smaller: m or -17?
-17
Let t = 379/2 - 178. Let w = t - 12. Which is greater: w or 0?
0
Let r be (1/2)/((-4)/(-40)). Let n be (r - 0) + -6 + 4. Suppose -5*k + n = -12. Does k = 3?
True
Let n be (0 - -1) + 4*-2. Let v = -4 - n. Suppose -u + 6 = -3*u, 0 = -4*m + 5*u + 23. Which is smaller: v or m?
m
Let i = 1.26 - -1.8. Let v = -3 + i. Which is greater: v or 0?
v
Suppose 5*w - g - 16 = 18, 8 = 4*w + 4*g. Suppose -3*a = -4*c - c - 16, -3*c - w = 0. Let h(t) = -t + 1. Let u be h(a). Is u > -2?
True
Let k(g) = 3*g - 1. Let d be k(2). Suppose 0 = -3*z + 2*c - 25, -3*z - 5*c = z + 18. Let o = z - -13. Is o less than or equal to d?
False
Suppose 0 = -5*c + 4 - 14. Is c at least as big as -10/9?
False
Let h = -0.23 - 6.77. Does h = 0?
False
Suppose -2 = -4*r + 6*r. Which is greater: r or -2/3?
-2/3
Let w = 3 - 5. Let k = -4 - -6. Suppose 4*j + 20 = 0, 4*j = -k*u - j - 27. Which is greater: w or u?
u
Let g be 5/(-12) + 21/28. Is 1/5 equal to g?
False
Let j be -6 - -3 - (-1 - 4). Suppose -4*c - 5*o = 21, -2*o + 0 = j. Is 2 at most c?
False
Suppose 8*v + 13 = 3*v - 2*j, 0 = -3*v + 2*j + 5. Is v smaller than 3/28?
True
Let g = -0.13 - -0.15. Let y = -4.98 - g. Which is smaller: 1 or y?
y
Let b be (8/6)/(100/225). Is b greater than 11/4?
True
Let k = -86/7 + 244/21. Let x = -20 + 13. Let w = x - -7. Which is smaller: w or k?
k
Suppose 5*w - w = 0. Suppose -u - 4*s = u + 4, 3*u - 2*s = 10. Which is smaller: w or u?
w
Let s = 4 + -2. Let o(g) = 4*g - 5. Let q(v) = 5*v - 6. Let d(a) = -3*o(a) + 2*q(a). Let f be d(s). Is -2/7 bigger than f?
True
Let r = 4 + -1. Let m(o) = o**3 - 3*o**2 - o + 4. Let k be m(r). Let g = -109/5 - -22. Is k less than or equal to g?
False
Let x be (7 - 0) + (-6)/(-2). Let z = -3 - x. Let v = z + 8. Do -6 and v have the same value?
False
Let n(w) = -w**3 - 4*w**2 - 7*w - 4. Let m be n(-4). Suppose 4*a = -m - 4. Is -8 >= a?
False
Suppose -3*p + 3*q - 77 = 88, 0 = 2*p - 5*q + 116. Is p smaller than -54?
False
Let n be 10/(-30)*(-2)/(-2). Let g = 13 - 5. Which is bigger: g or n?
g
Suppose u - 4 = 6. Let t be ((-8)/(-30))/(u/15). Let x = t + -4/5. Which is greater: x or 0?
0
Suppose 2 = -3*b - 1, -64 = -5*d - b. Suppose 4*h = 4*s + d + 15, -5*s = 2*h + 21. Suppose -3*r + h*r = 1. Is -0.1 smaller than r?
False
Let m = 228 - 4790/21. Is 0 at least m?
True
Let m(u) = -u + 10. Let w = -9 + 18. Let z be m(w). Is z bigger than 1?
False
Let k = -1 - 1. Let d = k + 1. Let m be 0*(d - 0)*1. Which is smaller: -1/4 or m?
-1/4
Suppose -1 = b - 2*b. Let r be (-2 + 1)*(b - -5). Which is smaller: r or -5?
r
Let f(v) be the second derivative of v**4/12 - v**3 - 5*v**2/2 + v. Let m be f(6). Let l = m + 5. Is l >= 1?
False
Suppose 3*b = 2*d - 14, 2*b + 21 = 3*d + 5*b. Suppose d = 5*x + 17. Which is smaller: -1/3 or x?
x
Suppose 0 = 7*s - 9*s. Which is smaller: s or -12/13?
-12/13
Let o(a) = 4*a - 51. Let c be o(8). Which is greater: c or -20?
c
Let u = -1309 + 6661/5. Which is smaller: 24 or u?
u
Let c(u) = 5*u + 1. Let l be c(-1). Let j be (-2)/l - 10/(-20). Which is bigger: 2 or j?
2
Let z be (-4)/(-4) + 1 + -1. Let h(u) = -u**3 + u**2 + 3*u + 2. Let c be h(-2). Let p be 4/(-6) + c/9. Do z and p have the same value?
False
Let q be (54/(-21))/(2/14). Let j be 3*(-4)/q*3. Is -2/7 smaller than j?
True
Let n = -85785948922/10065 - -42615989/5. Let r = -2/671 + n. Let l = 3 - r. Which is smaller: 1 or l?
l
Let f = -133/3 - -45. Let g(s) = 8*s - 1. Let c be g(1). Which is smaller: f or c?
f
Let i = -15 - -23. Let s be ((-7)/28)/(15/i). Is s <= -1?
False
Let r(m) = 3*m**2 - 9. Let v be r(0). Is v bigger than -8?
False
Let k be (-1 - -5)*(-6)/(-8). Let i(q) = -q**3 - 3*q + 3*q**2 - q - 7*q**2. Let l be i(-3). Is k bigger than l?
False
Let j be (-1192)/22 - 2/(-11). Let u be 1*4/j*3. Let n be 2/(-7 - 2/(-1)). Which is bigger: u or n?
u
Let j be (-4 - -1)/((-5)/(-2)). Which is smaller: 1/4 or j?
j
Let k(o) = o**2 - 13*o + 15. Let a be k(10). Let d be 5/3*(-6)/a. Is d less than or equal to -1?
False
Suppose -5*t + 4*q = -54, -t - q = -4*q - 13. Which is bigger: t or 5?
t
Let z(a) = a**3 - 3*a**2 + 2*a. Let t be z(2). Let k be (3/2)/(7/2). Which is bigger: t or k?
k
Let l = 193.9 - 194. Which is bigger: l or -65/3?
l
Suppose 3*x = -0*x + 6. Let t = -3 + 1. Let z be x/13 - (-2 - t). Which is smaller: z or 0?
0
Let z = -702 - -10541/15. Let l = -1/15 + z. Which is greater: 0 or l?
l
Let y = 28 + -20. Let x be 8/26*2/y. Which is smaller: -1 or x?
-1
Suppose 2*y - 7 - 17 = 0. Suppose 4*n + 5 = -t + y, 4*t + 32 = 4*n. Which is bigger: n or 2?
n
Let h be -4 