: 7 or o?
7
Let l(u) = u + 1. Let t be l(0). Is t at least 1/3?
True
Let k be 2/(-8) + 6*(-1)/(-12). Suppose -2*u + 3*u = 4. Suppose -a = -4*f + 1, 0 = -5*f - u*a + 5*a + 2. Which is smaller: f or k?
k
Let i = -150 - -148. Let a = 22 - 16. Is i > a?
False
Let d = 0.18 - 0. Let r = -2.82 - d. Which is bigger: 0.2 or r?
0.2
Let l = -220 - -185. Which is bigger: l or 1/4?
1/4
Let z(r) = r**3 - r**2 - r - 1. Let x be z(0). Let y(v) = v**2 - 3*v + 3. Let h(d) = d**2 - d - 4. Let n be h(3). Let u be y(n). Which is smaller: u or x?
x
Let p = 3 + -5. Let c = 2.6 + -5.7. Let b = 3 + c. Which is smaller: p or b?
p
Suppose 5*z + 2*l = -3*l + 20, -5*z - 3*l = -10. Let o = 3 + -4. Is z less than or equal to o?
True
Let b be 2/4 + (-91)/(-26). Let y(a) = -2*a - 7. Let c(j) = j**3 + j**2 + 2*j + 2. Let k be c(-2). Let w be y(k). Which is greater: b or w?
w
Suppose l = 2*a - 1, 4*l - 34 = -3*a - l. Suppose -4*p = -5*n + 7 - 3, 0 = 3*p + a. Which is smaller: n or 2?
n
Let w be 15/(-12) + 1/4. Let o = -64 + 319/5. Which is greater: o or w?
o
Let a(b) = -b**3 - 11*b**2 - 12*b - 5. Let k be a(-10). Which is bigger: k or 16?
16
Let t = 35 + -31.8. Let f = 3 - t. Which is smaller: -1 or f?
-1
Let z(w) = w**3 + 2*w**2 - 5*w - 10. Let v be z(-2). Which is smaller: v or 2/135?
v
Let h be 4/(-2) - (4 + -1). Let o be (-5)/1 - (-5)/h. Let t be o + 2 + -2 + 1. Are -4 and t non-equal?
True
Let g = -1.3 + 1.34. Let o = -4.04 + g. Let y = -22/3 + 47/6. Is y > o?
True
Let i be (-3 - -5) + (-13)/6. Which is greater: 1 or i?
1
Let b = -7 - -5.2. Let o = b + 2. Let k = 2 + -2.1. Which is bigger: o or k?
o
Suppose 6*r + 132 + 270 = 0. Is -67 smaller than r?
False
Let d = -124 - -124. Which is greater: d or -5/28?
d
Suppose -4*c + 2*s = -18, -c = 3*c + 2*s - 6. Suppose c*n - 4*n = 4. Is n <= -3?
True
Let c = -8 + 5. Let f = c + -3. Let z be (6 - 1)*f/15. Is z >= -2?
True
Suppose -7*h + 2*h + 2*h = 0. Which is bigger: 0.1 or h?
0.1
Let y = 4102/25 + -164. Which is smaller: y or -1?
-1
Suppose -3*b + z = -z + 4, 0 = -b + 2*z. Which is greater: -6 or b?
b
Let n = -8.2 - -9.2. Is n equal to -0.031?
False
Let s = 2/79 - 91/474. Let w be (112/(-420))/((-2)/(-3)). Is s less than or equal to w?
False
Let y = -1277/5 + 255. Let v = -8 + 5. Which is greater: y or v?
y
Let x = 14558/9 + -1616. Suppose -2*c + 82 - 76 = 0. Is c at most x?
False
Let r(y) = y**3 + 7*y**2 + 7*y + 6. Let u(g) = -g - 3. Let b be u(3). Let j be r(b). Is j bigger than 0.1?
False
Suppose 4*f - 4*t = 32, -4*f - 6 = -2*t - 32. Suppose 0 = 2*x + 3*x - f. Suppose x + 2 = b. Is 3 greater than or equal to b?
True
Suppose 2*d = 5*j + 100, 2*j - 31 = 4*j + d. Is j greater than or equal to -67/4?
False
Suppose 12 = -11*r + 15*r. Which is bigger: 10/3 or r?
10/3
Let t = 49 - 33. Let m = -26 + t. Are -10 and m non-equal?
False
Let f = 10 - 8.1. Is -0.2 equal to f?
False
Let r be (3/9)/(2/(-6)*-1). Let x be (2/16)/((-2)/4). Are r and x nonequal?
True
Let q = -1/56 - -33/56. Which is bigger: q or 1?
1
Let r(q) = 3*q**2 - 5*q - 4. Let g be r(-3). Suppose 26 = 4*b + 3*t - 8, g = 4*b + t. Suppose -8 = 4*i + 2*o, b = i - 6*i - 5*o. Which is smaller: i or -3?
-3
Let q = 6 + -4. Suppose q*m = 2*g + 2, 0*g - m = g - 1. Suppose -3*h - 2*f + 2 = -3*f, 4*h - 4*f = g. Which is bigger: 1/7 or h?
h
Let z = 4.91 - -0.19. Let i = z - 5. Which is bigger: 3 or i?
3
Suppose -15 = -4*w + 3*l, -5*l - 7 = -5*w + 18. Let k = 9 - w. Is 8 smaller than k?
True
Let g = -1/48 + 101/240. Let k = -0.1 - -0.3. Let z = k - 0.4. Which is greater: z or g?
g
Suppose 5*r + 3 = 2*r. Is 1/7 smaller than r?
False
Let x = 19 + -27. Let u = 65/8 + x. Is u less than 0?
False
Let u be (-1 + (-20)/(-12))*-12. Do -8 and u have the same value?
True
Let t = 3 - 2. Let w = 11/14 - -169/70. Let f = w + -134/45. Which is smaller: f or t?
f
Let q(i) = -i - 2. Let f be q(0). Suppose 4*r - 8 - 4 = 0, 0 = k - 3*r + 8. Which is smaller: k or f?
f
Let l = -2 + 2.2. Let k = 1/629 + -1277/11951. Is l <= k?
False
Suppose -141 = -3*c - 6. Suppose -4*d = d - c. Are d and 7 equal?
False
Let n = 51 + -60. Let v = 13 - 21. Which is smaller: v or n?
n
Let r = -208/5 + 42. Suppose 0 = 5*q - 6 + 1. Suppose 3*y = 4*y + q. Which is greater: r or y?
r
Let c = -4 - -3.5. Let q = -0.5 + c. Which is smaller: q or 1?
q
Let s(y) = y**3 - 2*y - 2. Let f be s(0). Is f less than -7?
False
Suppose 3*z + 2*n - 2 = -4, 3*z - 2*n = 14. Suppose 6 = -p - z*t + 1, 0 = 5*t + 10. Let o(y) = -y**3 - 6*y**2. Let h be o(-6). Which is greater: p or h?
h
Let r = -319/8 - -40. Which is greater: -1 or r?
r
Suppose 0*h = -q - 3*h + 10, -4*q + 5*h = -6. Let v(g) = g**3 - 5*g**2 + 3*g + 4. Let f be v(q). Let y = -3.999 - 0.001. Which is greater: y or f?
f
Let c(n) = -n + 2. Let m be c(4). Let l be 46/(-60) - m/12. Is -2 less than or equal to l?
True
Suppose -4*b - r = -18, -2*b + 5*r + 25 = b. Let d = b + -4. Is 2/11 at least as big as d?
False
Let i = -73 + 73.3. Which is smaller: i or 1?
i
Let j = 3315/2 - 1598. Let t = j + -61. Is t greater than or equal to -1?
False
Let m be 1/(-2) + (-4038)/28. Let n be (-4*87/18)/((-4)/(-30)). Let d = m - n. Which is bigger: -0.1 or d?
d
Let a be 3 + -1 - (2 - 2). Let g be (-14)/(-18) - (-8)/36. Which is smaller: g or a?
g
Let x be -1 + 2 - 9135/51. Let k = -178 - x. Which is smaller: -1 or k?
-1
Let j = 542/861 - 18/41. Which is smaller: j or 1?
j
Let s be 36/(-60) - 68/(-5). Does 15 = s?
False
Let m = 45586/71 - 642. Which is greater: m or -1?
m
Let n = -241/2145 - 3/143. Is 0.1 less than n?
False
Let y be -26*(170/35 - 5). Let r be 0 + 23*(-8)/42. Let b = y + r. Is b at most -1?
False
Let j = -142 + 146.93. Let c = j - -0.07. Let g = c + -4. Which is bigger: g or 0.1?
g
Let j be ((-2)/8)/(2/(-14)). Let x be -2*(-9)/12*2. Are j and x nonequal?
True
Suppose -y + l - 8 = -l, 4*y - 4*l = -16. Which is greater: y or 1?
1
Let h(z) = -z**3 + z**2 + z + 1. Let x be (-1)/(1 - 9/6). Let t be h(x). Which is smaller: t or -2?
-2
Suppose r = -2*z - 11, r + 4*r + 4*z = -37. Let p = r - -5. Let y = p + -2. Is y >= -2?
True
Let o = -83 + 165/2. Is -2 not equal to o?
True
Let x = 105/88 + -11/8. Which is bigger: x or 0.2?
0.2
Let q = 10.92 - 12. Let r = -4.08 + 4. Let u = r - q. Is u smaller than 7?
True
Let w = -1 - 0. Suppose -2*u + 0*j = 4*j - 44, 0 = -3*u - j + 56. Let r be (-13)/(-5) + u/(-6). Is w greater than r?
False
Suppose 0 = -5*l - 15 + 5. Is l less than -2?
False
Let o(q) = 4*q + 70. Let v be o(-18). Which is bigger: -3 or v?
v
Let h be ((-2)/(-3) + -2)*-3. Suppose -3*f + h = 7. Let a = -107 - -1179/11. Is f equal to a?
False
Let f = 63/5 + -13. Is f smaller than -17/4?
False
Let o = 37 - 36.5. Are o and 0 nonequal?
True
Let x(p) = p - 10. Let m be x(5). Let a be 1*0/(2 + m). Suppose 3*u - 3 = 0, a*u - u = c. Is c greater than -1?
False
Let c = -0.125 - 0.675. Let d = 0.3 + -0.5. Let v = c + d. Are 1/5 and v non-equal?
True
Let k be (0 - (-3)/4) + 1. Let o(f) = 5*f + 48. Let t be o(-9). Do t and k have the same value?
False
Let p = 3 + -2.9. Let f = 0.3 - p. Does -2/5 = f?
False
Let s(w) = w - 13. Let z be s(13). Is z greater than -1?
True
Let r = -0.021 - 0.009. Which is smaller: 0.4 or r?
r
Let m = 6 + -14. Let p = 9 + m. Which is smaller: p or 4?
p
Let d = 9 + -8. Let s = 2 - d. Is s less than 3/5?
False
Let i = -40 + -28. Is 1/5 greater than or equal to i?
True
Let c(o) = o**3 - 7*o**2 - 8*o + 2. Let z be c(8). Are z and 22 equal?
False
Let w be (28/(-693))/(2/3). Which is smaller: w or 0?
w
Let k = -8.18 + 8. Let w = -0.02 + k. Do w and -1/2 have different values?
True
Let a = -26 - -13. Let g = a - -10.05. Let n = g - 0.05. Which is smaller: n or -0.1?
n
Let m = 1.6 - 16.6. Let n = -7 - m. Let b = 1 + -2. Which is bigger: n or b?
n
Let c(v) = v**2 - 7*v + 2. Let x be c(5). Let r = -9 - x. Suppose -4*j + 3 = -3*j, g + 10 = 3*j. Is r smaller than g?
False
Let x be -2 + (711/12)/3. Let j = x - 18. Is 1 < j?
False
Let y(a) = -a**3 + 4*a**2 + 4*a + 4. Let j be y(5). Which is smaller: 2/11 or j?
j
Let q be 0 + 12 + 3/(-1). Suppose 0 = 4*a + 5*g + 1, a - 2*a - q = 3*g. Is 6 >= a?
True
Let f be 1*7/(21/2). Let g = -1 - -1. Does f = g?
False
Let i = -2/65 + 73/260. Is 0 greater than i?
False
Let m = -5542 + 127487/23. Let r = -162/253 + m. Suppose 0 = -8*l + 4*l. Are l and r nonequal?