: v or 2/7?
2/7
Let a be -5 + 1 + 3 - -6. Let f(m) = -m**3 + 3*m**2 + 6*m + 6. Let h be f(a). Let t = h - 3. Is t greater than -17?
False
Let y(h) = h**3 + 9*h**2 - 7*h - 5. Let s be y(-11). Let r = -2212/13 - s. Which is smaller: 1 or r?
r
Let t = -952 - -671. Is t greater than or equal to 2?
False
Suppose -h + b - 1 = 0, -h - 4 = -2*b + 2. Suppose z - h = -z. Suppose -3 = 4*x - 7*x. Which is smaller: x or z?
x
Suppose 5*d = 6*d - 4, 4*b + 56 = d. Let l = b - -87. Are 74 and l nonequal?
False
Let p = -8757/19 - -461. Let m = -1/3 - 0. Which is smaller: m or p?
m
Let i = -14235/4063 + 36/239. Are i and -2 non-equal?
True
Suppose -5*y + 2*y + 0*y = 0. Suppose -2*t = 2*w + 2*w + 12, -3*t - w - 3 = y. Which is smaller: -1/2 or t?
-1/2
Let k = 126 - 1637/13. Suppose 2*l = 32*l. Which is smaller: k or l?
l
Let l = 7679 - 39202/5. Is 1/2 < l?
False
Suppose -11*s - 68 = 20. Which is greater: -16 or s?
s
Suppose 0 = -5*n + 15, 0 = 2*l + 4*n - 5*n + 37. Which is smaller: -24 or l?
-24
Let d = 93 + -278/3. Which is greater: d or 192?
192
Suppose 442 = 15*s + 23782. Which is smaller: s or -1554?
s
Let r = 12/131 - 1642/15065. Let j = 236/345 + r. Which is greater: -1/22 or j?
j
Suppose -5*y - 164 = 4*r - 4, -2*y = 0. Suppose -3*o = 5*a + 190, -4*o + 0*o = -3*a - 143. Is r != a?
True
Suppose -4*p = 202 + 26. Let u = p + 227/4. Let f = 52/329 - -6/47. Which is smaller: f or u?
u
Let x(p) = -3*p - 38. Let b be x(-13). Suppose 4*m = 4*t - 632, 0 = m - 0*t + 2*t + 149. Let u = -2012/13 - m. Do u and b have the same value?
False
Suppose -622 = -2*i - 40. Let y = 2022/7 - i. Which is smaller: 1/3 or y?
y
Let h = -4 + 3. Let k(o) = -45*o**3 + o**2 + 4*o + 2. Let p be k(-1). Let q = p + -31. Is h greater than q?
False
Let r(x) = 20*x**3 - 2*x**2 - x + 4. Let o be r(1). Which is smaller: 24 or o?
o
Suppose 7 = -7*r - 77. Let o be -1 + (4 + -1 - 2) - 13. Which is smaller: o or r?
o
Suppose 21 + 10 = 5*m - 4*j, 0 = -5*m + j + 19. Suppose 0 = 3*p + 2*p - 5*l, 0 = -2*p - 5*l. Is p greater than or equal to m?
False
Let q = 15 - -85. Suppose -4*j + q = j. Let g = 13 - j. Which is smaller: -6 or g?
g
Let l be 5 - (-386)/(-3 + 5). Which is greater: l or 199?
199
Suppose -32 - 70 = -3*p. Suppose -4 + p = -5*l. Let y(g) = -g**2 + 4*g + 6. Let d be y(6). Do l and d have different values?
False
Let l be (-595)/102 - (-10 - -4). Let c(k) = 2*k - 7. Let f be c(6). Suppose -2*i - 3 + 5 = 0, 0 = -r + f*i - 4. Which is smaller: r or l?
l
Let k = 59 - 58.9. Let r = 345 - 4482/13. Which is smaller: r or k?
k
Let v = -40.2 + 40.9. Let d = -0.05 + 0.35. Let y = v + d. Which is smaller: y or -5?
-5
Suppose 0 = 5*l - 32 + 2. Let r be (9/27)/(17/l). Let s = 2 - 2. Which is bigger: s or r?
r
Let n(p) = -p**3 - 6*p**2 + 9*p + 2. Let w be n(-7). Let t = w - -14. Suppose -3*l + 12 = 0, -4*s - t*l - 32 = -5*l. Is s bigger than -7?
True
Suppose 5*m - 5*c + 45 = 0, 2*c - 5 + 11 = -4*m. Let l be (-40)/6*18/15. Let t be (-25)/m - (-2)/l. Which is greater: t or 3?
t
Let q = 32 - 35. Let f = 4 + q. Let r(o) = -o + 13. Let z be r(9). Which is greater: z or f?
z
Suppose v - 2*v + 2*c = -13, 0 = 4*v + 5*c + 13. Suppose v*a - 18 = -3*p, -16 = -0*p - 4*p. Which is smaller: 1/8 or a?
1/8
Suppose -3*a + 78 = -3*d, -11*d + 51 = -12*d - 4*a. Is d at least -32?
True
Let c(t) = -t**3 + 5*t**2 - 2. Let u be c(4). Which is smaller: -4 or u?
-4
Suppose -2*y + 0 = 5*k - 16, 0 = -4*y + 4*k + 4. Let a be (4/(-6))/(1/y). Let d be -2 + 7 + a + -2. Which is bigger: 0 or d?
d
Suppose 0 = -6*z + 2*z. Let b = 43 + -46. Let p be z/((b/(-3))/1). Which is greater: p or 1/4?
1/4
Let v(x) = -11*x + 1. Let p be v(1). Let c be 54/(-351) - 141/13. Let y = c - p. Which is greater: -3/2 or y?
y
Let l = -7288.9 + 7289. Let m = 3 - -16. Is m bigger than l?
True
Let r = 6.63 - 8.63. Is r equal to -1/5?
False
Let h = 812099703/392007620 + -1/1170172. Let n = h - -22/67. Which is smaller: n or 2?
2
Let s be 38/12 - 3/18. Let u be 357/170*(0 - 8/s). Is -5 at least as big as u?
True
Let g be (-35)/(-14)*8/5. Let x be g/10 - 624/(-40). Let h = -24 + x. Do h and -8 have the same value?
True
Let c = 4.5 - 0.3. Let s = c - 36.2. Let l = 25 + s. Which is bigger: l or -2/5?
-2/5
Suppose -152 = -4*s - j - 756, 2*j = 2*s + 302. Which is smaller: -152 or s?
-152
Let a = -107.825 + -0.175. Let j = a - -78. Is j bigger than 1/4?
False
Let s be (1 - 2)/((-2096)/(-128)). Let j = s - 289/1703. Which is smaller: j or 0?
j
Let j = -1597 - -3195/2. Let w = -0.8 + 0.83. Which is smaller: j or w?
w
Suppose -z = 3*p - 2, -3*p + 16 = -3*z + 34. Which is bigger: p or 36.4?
36.4
Let o = 796 + -797. Which is greater: o or -34.3?
o
Suppose -2*g = -3*g - 7. Suppose 3*i - 14 = -0*i + 5*k, -i + 7 = -4*k. Suppose 3*o - 7 = b, -5*o - b - i*b + 6 = 0. Are o and g unequal?
True
Suppose 0 = 2*t - 3*a - 119, a = -4*t - 4*a + 183. Let v be 4/4 + t/(-48). Which is smaller: 0 or v?
v
Let n = -0.114 + 0.235. Let b = 0.039 + n. Is 1 less than b?
False
Let v(w) = -22959*w**2 - 10. Let j be v(-4). Let h = j - -12858253/35. Let b = 119/5 - h. Is b equal to 0?
False
Suppose 3*u - 2*z + 5 = 27, 0 = -5*z - 25. Suppose 0 = u*o - 15 + 19. Let k be (-5)/5*(-2 - -3). Is o not equal to k?
False
Let y = 203 - 200.78. Let f = -2 + y. Let z = 4.22 - f. Do 0.3 and z have the same value?
False
Let p(v) = v**3 + 18*v**2 + 49*v - 47. Let u be p(-15). Which is bigger: u or -108?
u
Suppose 2*g + 4*c = -20, -5*g + 4*c + 17 = -3. Suppose g*k - 2*k = -2. Let t = k - 2. Is t at least as big as 2/11?
False
Let w = -406733/9 + 45311. Which is greater: w or 119?
119
Let l(o) = -20*o - 1. Let z be l(0). Is z greater than or equal to 2/71?
False
Suppose -3*z - 3*k = 6, -51*z = -54*z - 4*k - 6. Is -62/25 != z?
True
Let v = -190 + 223. Let u be (-1 - (3 + -3))/(-3). Is v less than or equal to u?
False
Let v be ((-25)/12)/(6/99) - -4. Let n = v + 17269/568. Let s(r) = -r**2 - 4*r - 2. Let m be s(-3). Which is smaller: n or m?
n
Let r be 6 + (12/(-9) - (-6064)/(-1338)). Is r bigger than 1?
False
Let u = 162 + -400. Let x be u/63 + (-4)/18. Which is smaller: x or -5/2?
x
Let k(c) = 77*c**2 + 7*c + 15. Let t be k(2). Is 337 equal to t?
True
Let b = -8 + 12. Let l be b/(-10)*65/39. Is l equal to 0?
False
Let x = -125.7 - -125.7. Let v = -1.6 - -1.9. Which is smaller: v or x?
x
Let v = 45 - 43. Let a be v/(-5) - (-5)/((-50)/56). Is a less than -5?
True
Let x = 4.5521 - 0.5911. Let u = -0.039 - x. Is u equal to 0.06?
False
Let t be 16/(-24) - (1 + 4534/(-2724)). Which is greater: t or 1?
1
Let o = -1/73 - -79/438. Suppose -y = -4*p + 3, -3*p = 4*y - 5 - 2. Is o not equal to p?
True
Suppose 2*h = -c + 27, -4*c + 2*h + 43 = -15. Let d be (16 - c)*1/5. Which is bigger: d or 1?
1
Let z be ((-2)/3)/(2/(-9)). Suppose o + 45 = 5*d - 20, 3*d + z*o - 39 = 0. Suppose 66*r - 8168 = -7376. Is d less than r?
False
Let v = -58 + 82. Let q = v - 34. Which is smaller: q or 0?
q
Let u(w) = 6*w + 6 - 7*w - 2. Let o be u(0). Suppose d - o = -m, -5*d = -6*m + 3*m - 20. Is m less than -1?
False
Let n = -89/238 - -3/34. Let j = 1.3 + -1. Let x = -0.3 + j. Is x < n?
False
Suppose -3*m + 17 = -2*m. Let y be m + (-2)/(2/3). Suppose j - 9 = -3*q, 9 + 72 = 5*j - 3*q. Which is bigger: y or j?
j
Let k be (-58)/(-5) - (-6 + 10). Let o = k - 347/45. Which is bigger: o or 1?
1
Let j(m) = 49*m**2 - 8*m - 2. Let v be j(2). Is 178 equal to v?
True
Let r = 1.2 + -1. Let k = -2.7 + -26.3. Let n = 27 + k. Are n and r non-equal?
True
Let i(b) = -42*b + 1. Let s be i(-1). Let n = 20.622 - 20.622. Is s at least n?
True
Let t = -284/81 + -23122/567. Suppose -36*f = -30*f + 264. Let p = t - f. Which is greater: -2/23 or p?
-2/23
Let d be ((-19)/(-133))/(4/(-14)). Which is smaller: -69 or d?
-69
Let f = 498163/844 + -2361/4. Suppose 0 = m - 6*m. Is m bigger than f?
True
Suppose -q + 3 = -23. Let f = q - 34. Let x be (21/24)/(2/f). Is x less than or equal to -5?
False
Let g(f) = -7*f - 10. Let m(t) = 1. Let z = 1 - 7. Let d(i) = z*m(i) - g(i). Let h be d(3). Do h and 24 have the same value?
False
Let l(x) = -x**3 - 10*x**2 + 11*x + 14. Let d be l(-12). Let w be ((-10)/d)/(2 - 1). Is 0 > w?
True
Let x be (-4103)/(-29458) + (-6)/39. Is x smaller than -1?
False
Let a(l) = -12*l - 80. Let r be a(-7). Suppose 5*u + 3*w = 34, 4*u - 3*w = 4 + 7. Does u = r?
F