 -5. Are r and u equal?
False
Let b be ((-12)/(-90)*-33)/(1 + 1). Is -3 greater than or equal to b?
False
Let u = 4.53 + 0.47. Which is greater: u or -2?
u
Suppose -16 = -2*i + t, 0 = -i + 5*t - 1. Let z = 2 - i. Which is smaller: 0.1 or z?
z
Let y(b) = -3*b**2 + 2*b + 1. Let l be y(-1). Let q = 4 + 2. Let r be l/q + (-20)/(-12). Which is greater: 3/7 or r?
r
Let o = 12 - 9. Let h = 3 - o. Which is greater: 4 or h?
4
Let r be 2 + (-2)/(2/(-2)). Let s be (-9)/(-2)*r/(-6). Let x be 2/s + (-3)/9. Which is greater: x or -1/2?
-1/2
Let r = 16 + -14. Is r less than or equal to 9?
True
Let f(h) = -h**3 - 7*h**2 + h + 9. Let t be f(-7). Suppose -2*w = t*w + 3*s + 3, 4*s + 4 = w. Let i be 1/(w - 2/(-10)). Which is bigger: 4 or i?
i
Let t be (-1)/((4 + -9)*7). Which is greater: t or -1?
t
Suppose -5*q = s + s + 23, -5*q = 25. Let t be s + 0 - (-1 - -3). Are 2/63 and t unequal?
True
Let i = 2 + -5. Let p(y) = -6*y**2 - 2 - 4*y + 4 - 3*y**3 + 2*y**3 + 0*y. Let l be p(-5). Is i at most as big as l?
True
Let k = -8 + 12. Suppose k = -t + 12. Suppose 5*g - 8 = -2*r, -g - t = -5*g. Which is smaller: -3 or r?
-3
Let d = -10.003 + 0.003. Are -2/9 and d unequal?
True
Let z be 60/(-1 + 5/7). Let k be (-148)/z + (-16)/120. Which is bigger: k or 0.1?
k
Let k = 6 - 3. Let h be (k/9)/((-1)/(-6)). Suppose -2*n = -8 - h, 25 = 5*v + 3*n. Which is smaller: 1 or v?
1
Suppose -f - 9 = 5*w, w + 2*f = 5*f + 11. Which is greater: w or -4/13?
-4/13
Let j(o) = -2*o - 9. Let p be j(-8). Let i = p - 4. Is i smaller than 3?
False
Suppose 10 = -5*k - 0. Let f = -10 - -18. Let o be k/f - 6/(-24). Which is bigger: -3 or o?
o
Let p = 4 + -4.4. Let u = p - 0.6. Let r = -0.01 + 4.01. Is u > r?
False
Let f = 3.9 + -4.9. Is f smaller than -29?
False
Let a = 0.68 - 4.68. Let l = 1 - 0.8. Is l less than or equal to a?
False
Let m be 0/((-3)/(-1) - 2). Suppose 0 = w - m*s + s, 5*w + 16 = 3*s. Is -1 less than w?
False
Let b(o) = 4*o**3 + o**2 - 4. Let u be b(-2). Which is bigger: u or -31?
-31
Let u be -1 + ((-3)/4)/((-25)/40). Is u less than 22?
True
Let u be 0 + -1 - 516/(-15). Let j = 34 - u. Which is smaller: 0 or j?
0
Suppose -3*q + 241 = 3*x - 8*q, -2*x + q + 163 = 0. Is 81 less than x?
True
Let j be 44/(-106)*(-2465122)/5. Let i = j - 204652. Let m = 2/53 - i. Is -1 > m?
False
Let d be ((-8)/20)/((-34)/8). Let k = d - -29/17. Is k less than or equal to 2?
True
Let y(g) = 541*g - 1. Let j be y(-1). Let t be -1 - j/8 - 2. Let o = 66 - t. Are o and 1 nonequal?
True
Let l = -2 + 3. Are 3/16 and l unequal?
True
Let g(h) = -h**3 + 12*h**2 - 3. Let u be g(12). Suppose 0 = 3*f - y + 2*y + 13, -y + 7 = -f. Which is greater: f or u?
u
Let d = -4/121 + -839/242. Is -4 at least as big as d?
False
Let v(y) be the third derivative of 1/3*y**3 + 0*y + 0 - 1/8*y**4 + 1/120*y**6 + 1/30*y**5 + y**2. Let q be v(-3). Which is smaller: q or 3?
q
Let y(p) = p**2 - 5. Let m be y(-2). Which is greater: m or 1/11?
1/11
Let z = 1/76 - -33/380. Let w = z + 3/20. Let j(c) = c**3 + 9*c**2 + c + 9. Let g be j(-9). Is w > g?
True
Let q be (-16)/36 - 4/(-6). Suppose -7*b + 79 - 86 = 0. Which is smaller: q or b?
b
Suppose -20 = 4*l, -v + 0*l - 6 = 2*l. Let x be (40/(-18) - -2) + (-174)/(-54). Is x > v?
False
Let a(u) = -4*u - 19. Let o be a(-5). Which is smaller: o or 4/5?
4/5
Let o be 2 - (2 - -4)/2. Is o greater than or equal to -5?
True
Let s = 0.1 + -0.2. Let a = 0.4 + -0.3. Let t = 0 + a. Which is smaller: s or t?
s
Suppose -4*f = -2*y - 206, f + 388 = -3*y + 51. Let i = -1222/11 - y. Is i at least 1?
False
Suppose -7*y + 2*y + 10 = 0. Let c = y - 1. Let h be (-3)/8*5/(-15). Which is smaller: h or c?
h
Let x = -9 + 6. Let s be x - (-36)/44 - -2. Are 1 and s unequal?
True
Let c be ((-1)/((-10)/(-15)))/(3/8). Is 1 smaller than c?
False
Let b(v) = v**3 - 4*v**2 - 8*v + 6. Let x be ((-2)/1)/2*-5. Let q be b(x). Is q at most as big as -9?
True
Let v be (-5)/((-105)/72) - (0 - -3). Is -2/5 at least v?
False
Let l = -1 - -1. Let g be 4/10 - (-28)/(-20). Let q = -2 - g. Which is bigger: l or q?
l
Let y(a) = a + 2. Let r be y(-5). Is -1 >= r?
True
Let j(z) = -z**3 + 21*z**2 + 5. Let c be j(21). Is c greater than 4?
True
Let f = 122 - 114. Do f and 5 have different values?
True
Let t(y) = -y**2 + 5*y + 5. Let b be t(6). Let q be (-130)/4*(-28)/(-35). Let w be (-3 + q/(-8))/(-1). Which is bigger: b or w?
w
Let w be ((-6)/90)/((-2)/10). Is w != 0.14?
True
Suppose -i - 25 = 3*f + 2*f, 0 = -3*f - 15. Let y = -3/65 - -151/455. Do i and y have the same value?
False
Let a = -290 - -295. Let d = -0.2 + 0. Is a bigger than d?
True
Let r = 10 - 9.7. Which is smaller: 2/15 or r?
2/15
Suppose 2*m + 17 = 5. Let z = -5 + 10. Suppose 5*x = 5*i - 1 - 9, -2*x + z*i + 11 = 0. Which is bigger: m or x?
m
Let v = -0.057 + 0.157. Is v < 0.03?
False
Let a be 2 - -6*3/(-9). Is -2 at least a?
False
Let z(u) = u - 3. Suppose 0*l + 5*l - 25 = 0. Let t be z(l). Suppose 4*j - 2*j = t*x + 4, -2*j = x + 2. Is -6/11 greater than j?
False
Suppose 0 = 3*t + 3*t - 4*t. Which is bigger: t or 13/10?
13/10
Suppose 5*b + 5 = -0. Which is bigger: -7/9 or b?
-7/9
Let s = 9 - 4. Is 1 > s?
False
Suppose -n = 4*v, -v + 0*n - 2*n - 7 = 0. Let z = -0.73 + 0.83. Is z >= v?
False
Let f be (-4)/(24/15)*2. Which is bigger: 1/2 or f?
1/2
Let b = 18 - 5. Let r = b - 13.01. Is r less than or equal to -1?
False
Let d(j) = 6*j**3 - 2*j**2. Let p be d(1). Is 13 bigger than p?
True
Let k = 0.86 - 11.66. Let o = 11.77 + k. Let g = o - -0.03. Which is bigger: g or -3?
g
Let g = -8 - -4. Let i = -4.5 - g. Let o = i + 0.4. Which is bigger: o or -2/11?
o
Let j be (-16)/(2/((-8)/12*-3)). Is -15 greater than j?
True
Let y = 1.1 + -0.1. Let w = 1.1 + -1. Let u = 0.9 + w. Is y <= u?
True
Let r(b) = -b**3 + 7*b**2 + 1. Let c be r(7). Let l(v) = -4*v + 9. Let z(d) = -d + 1. Let g(y) = -l(y) + 3*z(y). Let x be g(6). Which is bigger: x or c?
c
Let i = -2 + 1.5. Let q = 0.3 + i. Let r = q + 0. Which is smaller: 0 or r?
r
Let d be 356/(-88) + 3 + 1. Which is smaller: d or -1?
-1
Let s be (-9)/(-21)*(-2)/3. Which is greater: s or 2?
2
Let g = 0.05 + -0.15. Is -0.1 greater than or equal to g?
True
Let m(q) = q + 7. Let d be m(-4). Suppose -d*a + 2 + 4 = 0. Do 1 and a have the same value?
False
Let r = 0.03 + 0.47. Let l be (-16)/60 + (-2)/(-3). Is r smaller than l?
False
Suppose 2*y = 5 - 3. Which is smaller: y or -2/37?
-2/37
Let r(c) = -c**3 - 10*c**2 - 6*c + 2. Let x be r(-9). Which is bigger: x or -24?
-24
Let n = -0.12 + 0.07. Let o = n + 0. Which is greater: o or 2/5?
2/5
Let c = 0.7 + -1. Let r = 0.4 - 0.2. Let d = r + c. Is -2 <= d?
True
Let n(b) = -4*b - 1. Let i be n(-1). Which is greater: 3/2 or i?
i
Suppose 0 = 5*l - 2*l - 21. Which is smaller: 10 or l?
l
Suppose 16 = -5*v - 14. Let s(r) = 5 + 7*r + r**2 - 1 + 0*r. Let k be s(v). Which is smaller: k or -1?
k
Suppose 2*b - 2*i = 12, -3*b + 6*b + 5*i = 18. Let j(v) = v**2 + 16*v + 5. Let l be j(-16). Which is smaller: l or b?
l
Let h be 1/((-61)/60 - -1). Let o be -2 - (2 - h/(-16)). Which is bigger: o or -9/5?
o
Suppose -310 = -4*p - 842. Is p smaller than -133?
False
Suppose 2*z - 9 = -3*v, -v - v + 5*z = 13. Is -5 at most v?
True
Suppose 12 = -3*p + 3*z, -2*p - 2*z - 8 = z. Are p and -13 non-equal?
True
Let j(i) = i**3 + 7*i**2 + 5*i - 3. Let m be j(-6). Let o be -3*(-2)/9*m. Let s = o + -2. Which is smaller: s or -2/11?
-2/11
Let i = -177/2 - -91. Let z = i - 1. Which is smaller: 3 or z?
z
Suppose -3*c = -2*c + 4. Suppose 9*g + 15 = 4*g. Which is bigger: c or g?
g
Let v be (-4 + 0)*(-12)/16. Suppose -5*o = -v*o - 2. Let a be (-2 + -1 + 3)/o. Which is greater: a or 1/3?
1/3
Let l be (5/((-90)/(-6)))/((-10)/(-36)). Which is smaller: l or 1?
1
Let o be (230/168)/(-5) - 0. Let f = o - 1/84. Is -1 less than f?
True
Let x = 0.2 - 0.3. Let m = -0.2 + 0.1. Let q = x - m. Which is bigger: -0.3 or q?
q
Let k = 446/9 - 50. Let y = 115 - 117. Which is greater: k or y?
k
Suppose -4*y - 4*v + 25 = v, 0 = -v + 5. Let c = 0.7 - 0.8. Let z = -0.2 - c. Is z at least as big as y?
False
Let f be (3 - (-785)/(-265)) + 0/1. Is f not equal to 1?
True
Suppose -30 = 4*p - 3*p. Let z be ((-12)/p)/((-2)/10). Let a(h) = -2*h**3 - 2*h**2 + 3*h + 2. Let q be a(z). Is q less than 5?
True
Let i = 1.46 + -1.66. Is i greater than or equal to 0.56?
False
Let f 