o. Let r = 0 - -3. Which is bigger: o or r?
r
Suppose -22 = -2*o - 84. Is o <= -31?
True
Let q = 106 - 112. Is -3 greater than q?
True
Let m(g) = -16*g - 4. Let r be m(1). Which is smaller: -21 or r?
-21
Let j = -15 + 18. Let u be 6/(-27) - (-40)/18. Which is smaller: j or u?
u
Let r(u) = -u + 7. Let o be r(7). Which is bigger: o or -2/5?
o
Let l = 4.5 + -2.6. Let s = 0.1 + l. Which is smaller: -2/3 or s?
-2/3
Let a be 1/3*(-1 - -4). Is a < 2/11?
False
Let y be ((-65)/252)/(3/(-9)). Let q = 3/28 - y. Let l = -17 - -17. Is l less than q?
False
Let i be (2 + (-2 - -2))/7. Is i >= 1?
False
Let y = 0.23 + 0.77. Are y and 10 equal?
False
Let l(s) = s**3 - 3*s**2 - 3*s - 1. Let b be l(4). Suppose -7 = 3*f - 3*r - 4, 5*f = -b*r + 19. Suppose 4*i = 3*i + f. Is 2 <= i?
True
Let m = 5 - 6. Is m less than or equal to -2/141?
True
Suppose 4*j - 105 = -j. Let k = 8 - j. Which is smaller: k or -14?
-14
Let x = 0.02 + 0.28. Let b = 1.4 - 2.1. Let z = b - 0.3. Which is greater: z or x?
x
Suppose 2*y = 6 - 0. Let b be 0*y*1/(-3). Which is greater: b or 5/11?
5/11
Suppose 1 - 43 = 6*m. Is m at least as big as -5?
False
Let b be 6/9 + 32/6. Suppose 28 = 5*n + 3*q - b*q, 0 = -2*q + 8. Is 9 greater than n?
True
Let g = 1 - -1. Let o be 2/g*2/(-1). Which is smaller: -3 or o?
-3
Let f = -76/5 + 72/5. Which is smaller: f or -2/5?
f
Let k = 187 - 200.1. Let m = -0.9 + k. Which is smaller: m or 1/2?
m
Suppose 2*n = 3*k - 5, -2 = 5*n + 3. Suppose j = 3*q, -5*q + 3 = -3*j - k. Let y be (-6)/(-4)*(-12)/9. Which is smaller: y or q?
y
Let j = 16 - 20. Is j < 2?
True
Let r = -1.59 - -1.61. Which is smaller: r or 0?
0
Let y be -3 + (8 + 1)*1. Let l = y - -1. Let w be (1 + (-15)/6)*-4. Is l less than w?
False
Let w(h) = -h**3 + 16*h**2 - 31*h - 19. Let n be w(14). Is n > -61?
False
Let u(o) = -4*o + 10. Let p be u(7). Let f be p/(-14) - (-8)/(-28). Is 0 < f?
True
Let u(t) be the third derivative of t**6/120 + t**5/15 + t**4/12 - t**3/6 + 2*t**2. Let d be u(-2). Is 4 less than or equal to d?
False
Let o(n) = -8*n. Let i(c) = -3*c. Let t(a) = -11*i(a) + 4*o(a). Let y be t(0). Is 4/9 at most y?
False
Let v = 1/40 + 3/8. Let n = 0.06 - -3.94. Which is smaller: v or n?
v
Let r = 473/8 - 59. Let s = -10 + 8. Which is smaller: r or s?
s
Suppose -10*y = -23*y + 52. Is 18/7 < y?
True
Let o = -0.467 + 0.067. Is 2/9 at least o?
True
Let h be (-2)/(-9) + (-2 - 1992/(-27)). Are 72 and h equal?
True
Suppose -19 = 3*h + 2. Let f = h - -9. Are 3 and f equal?
False
Let g = 1.8 - 2.6. Let p = g + 0.7. Is -2/5 less than p?
True
Let j be (-6)/(-8)*4 - 2. Let p = -2 + j. Which is smaller: p or -1/6?
p
Let n(f) = -f**2 - 2*f - 3. Let h be (4/(-5))/((-4)/(-10)). Let c be n(h). Suppose 4 = b + 4*z - 2*z, -5*b - 13 = -z. Which is greater: c or b?
b
Let h = 0.047 - 0.147. Which is bigger: 1 or h?
1
Let x be 12/6*(-1)/2 + -11. Which is bigger: -13 or x?
x
Let p be (15 + 2)*-1*(-5 - -4). Is p <= 19?
True
Suppose 14*d = 10*d - 448. Is d at most as big as -112?
True
Let t(y) be the first derivative of y - 1/4*y**4 + 4 + 1/2*y**2 - 5/3*y**3. Let h be t(-5). Which is smaller: h or -2?
h
Let x be 2/(-7) + 4/14. Let m be ((-1)/32)/(2/(-4)). Let c = -43/80 - m. Which is smaller: x or c?
c
Suppose 14 + 6 = 4*q. Suppose -2*c + 0 = -2, c + 14 = -q*g. Which is smaller: g or -4?
-4
Let q(k) = k**2 - 5*k + 1. Let t be q(5). Let u(i) = i**3 - 3*i**2 - 2*i - 2. Let n be u(3). Let m = n - -33/4. Is t at most as big as m?
False
Let z = -0.59 + 0.7. Let g = z + -0.01. Which is smaller: -1 or g?
-1
Let i = 6 - 1. Let k be (0 + (-6)/(-165))*i. Let l = -2 + 2. Which is bigger: l or k?
k
Let y be (32/1)/(6/(-9)). Which is smaller: 0 or y?
y
Let x = -11 + 10. Let q be (x/3)/((-60)/(-54)). Is 1 at most as big as q?
False
Let i(r) = 4*r + 5. Let u(w) = 5*w + 5. Let h(n) = -4*i(n) + 3*u(n). Let t(q) = q + 5. Let j(o) = 4*h(o) + 5*t(o). Let g be j(-3). Are g and 2 nonequal?
False
Let j be 1 + 12/5 + -2. Which is smaller: j or 2?
j
Let k = 3247497372/73007 + -44482. Let r = 10161245/73007 - k. Let h = r - 139. Which is smaller: -1 or h?
-1
Let l = -7 - 6. Let g be 2 + (1 - l/(-3)). Let v(s) = -2*s**2 - 9*s - 4. Let t be v(-4). Does g = t?
False
Suppose -42 = -5*k - 372. Which is bigger: k or -65?
-65
Let h = 107/10 + -58/5. Is -2 equal to h?
False
Let y be 96/(-198) + (-2)/(-3). Suppose -6 = 2*c - 4. Is c equal to y?
False
Let q = -1.04 + 0.04. Which is greater: q or 12?
12
Let j be -1 + -6 + (-3)/(-3). Let p = j + 6. Which is smaller: 0.1 or p?
p
Let z = 2 - 3. Let f = 3797989/17 - 223182. Let x = f - 229. Which is bigger: x or z?
x
Let z = 69/11 - 1979/319. Which is smaller: z or 2/7?
z
Let z(g) = g**3 + 5*g**2 - 8*g - 9. Let c be z(-6). Let s = 44 - 42. Suppose s*a - 3 = c*k, a + a - 2*k - 6 = 0. Is 6 equal to a?
True
Let r be (-12)/(3/(-6)*4). Let w be ((-2)/r)/(3/9). Let i be (1 + 0/(-3))/w. Which is smaller: i or -1/7?
i
Suppose 11*y = 6*y + 30. Is y less than 5?
False
Let x = -1/43 + -169/129. Suppose 0 = 3*f + 2*k + 11, 2*f - 2*k = 3*k + 18. Is x less than or equal to f?
True
Suppose -5*m - 56 = 79. Is m less than -26?
True
Let b = -28 - -33. Let s be -1 + (b + -1)*1. Is 6 at least as big as s?
True
Let c = 0 + 7. Let m = 4 - c. Which is bigger: m or -4?
m
Let g(k) = k**2 - 12*k + 15. Let o be g(11). Do 4 and o have different values?
False
Let b = 7.05 + -0.05. Let i = b - 7.1. Which is bigger: 1 or i?
1
Let s(p) = -p**3 + 5*p**2 - 6*p + 6. Let n be s(4). Which is smaller: n or -13/4?
-13/4
Let a(o) = -1. Let x(n) = -n - 2. Let m(z) = 6*a(z) + x(z). Let g be m(-6). Which is greater: -7/3 or g?
g
Let m = -145989/5 + 29298. Let l = 101 - m. Is l > -1/3?
True
Let m = -51 + 45. Is m at most -7?
False
Let s = 9 + -7. Suppose -s = -y - 0. Which is smaller: y or 0?
0
Let l = 29/2 - 317/22. Does -1 = l?
False
Let i(v) = -v**3 - 12*v**2 + 23*v + 65. Let s be i(-13). Which is smaller: s or -67?
-67
Suppose -4*b - 3 = p, 5*p + 12 = 3*b + p. Which is smaller: b or 5?
b
Let m = -0.6 + 0.5. Let o = 4 + -4.11. Is o >= m?
False
Let v(r) = -r**3 - 7*r**2 - r + 12. Let l be v(-7). Which is bigger: l or 18?
l
Let x = 13 + -17. Is 0.2 smaller than x?
False
Let l be ((-6)/14)/(5 + -6). Is 1 at least l?
True
Let y = 11.672 - -0.228. Let g = -11 + y. Are g and 0 unequal?
True
Let c be 20/8*4*3/(-15). Which is bigger: -4 or c?
c
Suppose 0*u = 4*u - 8. Suppose -4*j = 13 - 53. Suppose -u*t + 5*h - j = 9, 2*t = 4*h - 18. Which is greater: t or -6?
-6
Let r = 267.8 + -268. Let l = 0.1 - -0.1. Is r < l?
True
Suppose 2*k - 2*q = 0, 0 = -k + 5*q + 1 + 3. Let x = 1 + k. Do x and 4 have the same value?
False
Let t = -23326/9 - -222649/90. Let k = 118 + t. Suppose -3*f = -f. Is f greater than or equal to k?
False
Let t(v) = -4*v**3 + 4*v**2 - 2*v - 1. Let o(r) = 11*r**3 - 12*r**2 + 6*r + 3. Let d(h) = 3*o(h) + 8*t(h). Let x be d(3). Are x and -6/5 equal?
False
Let q = -31.35 - -32. Let l = q - 6.45. Let t = 6 + l. Which is bigger: -0.2 or t?
t
Suppose 1 = -3*q - 5. Is -4 bigger than q?
False
Suppose 3*k - 15 = 0, 0 = 6*v - v + 3*k - 25. Which is smaller: 4/5 or v?
4/5
Suppose -5*f + 0 = -v - 1, 3*v = 4*f + 8. Let d = f + -3. Let y(t) = -2*t**2 - 4*t - 2. Let q be y(d). Which is smaller: -3 or q?
-3
Let q = -143 - -99. Is q bigger than -45?
True
Let t = -49 + 43.8. Let x = t + 0.2. Let j = -4 - x. Which is smaller: j or -1/2?
-1/2
Let r = 0 + 0.1. Let g = 116.1 + -113. Let y = g - r. Which is smaller: 0.3 or y?
0.3
Let y = 8 + -15. Let c(p) = p**3 + 6*p**2 - 6*p + 7. Let h be c(y). Which is smaller: 1/5 or h?
h
Let l be -2 + (1 - 0/(-1)). Let f be (-7 + 9)/(2/(-45)). Let o be 5/f*(-3 - 0). Is o less than or equal to l?
False
Let j(l) = l - 8. Let z be 4/6 - (-19)/3. Let n be j(z). Is 0.1 not equal to n?
True
Let t = 0.03 + 0. Let h = t - 2.03. Let k = 1.8 + h. Which is bigger: 2/3 or k?
2/3
Let d = 69.7 - 70. Is 11 smaller than d?
False
Let f = -1 + -2. Which is bigger: -7/3 or f?
-7/3
Let d = 11.053 - 0.053. Which is bigger: 0 or d?
d
Let k(r) = -12*r + 133. Let s be k(11). Let l be (-6)/(((-153)/(-2))/3). Is l > s?
False
Let y(f) = 7*f - 1. Let x be y(-3). Let u be ((-4)/(-3))/(x/(-3)). Which is greater: 1 or u?
1
Let c be (1 - 4) + (1 - -1). Which is smaller: c or -6/13?
c
Let y = 14 + -37. Which is bigger: -22 or y?
-22
Let i = 2 - -17. Is i at leas