 38*f**2 + 40*f + 23. Let j be r(-39). Is v greater than or equal to j?
True
Suppose -2*m = 12*m - 532. Suppose -27*f + m = 11. Which is smaller: f or 9/16?
9/16
Let y be (18/(-21))/((-42)/3087). Which is smaller: 35 or y?
35
Let l(j) = 2*j**2 + 45*j - 33. Let m(s) = -2*s**2 - 45*s + 33. Let h(b) = -7*l(b) - 6*m(b). Let d be h(-26). Which is smaller: 1/4 or d?
d
Let m be -2 + 3 - 3/(6/(-166)). Let a be ((-2)/(-4))/((-78)/m). Is 0 greater than a?
True
Let d = 19.55 + -17.5642. Let o = d - -0.0142. Let j = -0.6 + 1. Which is bigger: o or j?
o
Let x(r) = 443*r - 4421. Let p be x(10). Are p and 217 unequal?
True
Suppose 20*x - 17*x = 111. Suppose -42*r + x*r = -100. Are 20 and r non-equal?
False
Suppose -3*j - 3*h + h = -937, 2*h = 5*j - 1535. Let n be j/(-33) + (19 - 14). Does n = -4?
False
Let i(f) = -f**2 + 3*f. Suppose 0*l + 26 = 5*l + 4*x, 5*x - 10 = 5*l. Let h be i(l). Let v = 865 + -865. Is h < v?
False
Let s = 2/1203 - -1199/2406. Which is bigger: s or -5.84?
s
Let y be -8 + (-156)/(-13) + 6*1. Suppose 25*z - y*z + 150 = 0. Is z greater than -8?
False
Let a = 1299/2 - 638. Let u(y) = -y**3 - 19*y**2 + 336. Let g be u(-18). Is g greater than or equal to a?
True
Let d = -0.917 + 0.817. Which is smaller: -391 or d?
-391
Suppose h = 2*y + 2*y + 428, 5*h + 5*y - 2165 = 0. Let k = h - 382. Let w be 2/(-4) - 103/(-2). Is k <= w?
True
Suppose 48920 = -8*y + 3*y. Let b be (-11 + y/(-888))/((-2)/9). Is 1 less than or equal to b?
False
Let x = -53482 + 53569.892. Let n = x + 0.108. Which is smaller: 0 or n?
0
Let k = -89.2 + -1073.8. Is k not equal to 1?
True
Let y = 10502 + -10499.97. Is 0 at least y?
False
Let a = 0.033 + 0.274. Let u = 106 - 106.047. Let s = a + u. Is s greater than 2/5?
False
Let d = 686149763/1219605 + 2/243921. Let t = 64701/115 - d. Is -1/3 at least t?
False
Let z = -41 + -130. Let q = z + 152. Is q greater than -19?
False
Let m = -53 - -60. Suppose 4*d - 3*r = -5*r + 14, 5*r = -2*d - 13. Let t = 0 + d. Are m and t unequal?
True
Let k = -1/5721 - 205945/62931. Let z = -6287 + 6287. Is k != z?
True
Suppose 3221*k - 39 = 3222*k - 5*r, -3*r = 4*k - 28. Which is greater: -3/3211 or k?
k
Let u = -13187019/15337 + -41041/313. Let z = -991 - u. Is -2/3 smaller than z?
True
Let a = 2/93289 + -719672/653023. Which is smaller: 0 or a?
a
Let o(l) be the third derivative of -l**5/60 + 5*l**4/3 + 31*l**3 + 2*l**2 - 78. Let j be o(44). Which is greater: j or 9?
j
Let o = -62169 + 62172. Let l = 0.88 - -0.02. Is o >= l?
True
Let m(r) = -r + 12. Let u be m(-13). Suppose 5*q + u = 0, -5*f - 2*q = 2*q - 120. Let s be (f + -1)/(2 + -1). Which is bigger: 28 or s?
28
Let k = 6/373 - -2557/3357. Let p = -23.15 + 23.21. Does p = k?
False
Let z be (1/((-9)/(-2892)))/(132/99). Is 245 less than or equal to z?
False
Let x be -5*(-6)/9*((-4802)/970 + 5). Which is bigger: 1 or x?
1
Let c be 7 + (5 - (10 - 16)). Is c greater than 546/29?
False
Suppose 5*z + 91 = -2*z. Let u(m) = m**2 + 15*m + 30. Let j be u(z). Let i be (-6)/j*(-2)/72. Which is smaller: i or -1?
-1
Suppose d = -p + 7 - 3, 4*p + 2*d = 8. Suppose p = 2*i + 4*i - 18. Let g be (-1)/(2 + (i - 88/10)). Is g < -1?
False
Let q = 3799 + -3817. Is -34 >= q?
False
Let y = -1/51 + 53/102. Let m = -0.169 + 0.055. Let i = 0.014 + m. Which is bigger: y or i?
y
Let l(t) = -t**3 - 28*t**2 - 88*t - 3566. Let n be l(-26). Which is smaller: n or 0?
n
Let d = -59292653/130893888 + -77/129984. Let v = d - -23/76. Do 1 and v have different values?
True
Let s(r) = -76*r - 19. Let k be s(-4). Let l = -285 + k. Let y = 1070175/223 - 4799. Is y greater than l?
False
Let c = -12075 - -12131.83. Let i = 56.9 - c. Which is smaller: -0.2 or i?
-0.2
Let y = 182 - 181. Let h = 42 + -44. Let j be (2 + 2)/2 - (h - -2). Do y and j have the same value?
False
Suppose 14*o = 205 - 569. Let a be ((-65)/o)/(21/(-6)). Is a bigger than 0?
False
Let s(t) = -t**3 + 11*t**2 - 11*t + 9. Let f be s(10). Let g be (-42)/147 + (0 - f/28). Let b = -1832/225 - -74/9. Which is bigger: b or g?
b
Let y = 258 + -258.169. Let b = -0.095 - -0.064. Let n = y + b. Which is smaller: -1/8 or n?
n
Let c(m) = 0*m**2 - 8*m + 7*m - 2*m**2 + 11*m. Let r be c(5). Suppose 0 = 3*x + 3*u + 8 + 46, 5*u - 20 = r. Is x smaller than -21?
True
Let b = 2248 + -2247.9. Which is smaller: b or 523?
b
Let f(i) be the second derivative of -i**5/20 - 13*i**4/12 + 29*i**3/6 - 15*i**2/2 - 6*i. Let u = 8 - 23. Let d be f(u). Is -4/3 equal to d?
False
Let b be (5/2)/((-3363670)/592). Which is bigger: 0 or b?
0
Let p be (-4 - 112/(-21))/((-8)/(-2826)). Is 474 < p?
False
Let a(h) = -h**3 + 10*h**2 - 11*h + 18. Let o be a(9). Let p be (-7)/(2/(-4) - 0). Suppose o = 5*v, 3*u + p = 4*u + 5*v. Is 12 smaller than u?
True
Let l = 0.0566 - -0.074. Let o = l + -0.0306. Are 14 and o nonequal?
True
Suppose -625*w + t - 15 = -623*w, -3*w - 2*t - 12 = 0. Let j = 313 + -2236/7. Is w not equal to j?
True
Let f(g) = g**2 - g - 24. Let c be f(-4). Suppose 11*u - 29*u = 612. Which is greater: c or u?
c
Let y = 26.4 + -26.68. Let i = 0.2 - y. Which is bigger: i or 0.2?
i
Let n = 11399/40 - 285. Let j = 179/5560 + n. Suppose -2*t = 8, 2*t + 0 = -5*z - 8. Is z equal to j?
False
Suppose 0 = -4*i + c - 25, -4*c + 30 = -3*i - 5. Let s be (-4)/(-18) - (-32)/(-144). Let t be 20/(-6) + s + (-4)/6. Which is smaller: i or t?
i
Let w = 51.42 + -25.42. Which is bigger: w or 245?
245
Let c be 1 + 1673/28 + 2. Let x = c + -63. Which is greater: x or 62?
62
Let f(t) = t**2 - 3*t - 2. Let h be f(5). Suppose 4*z + 0*i - 16 = 4*i, -z + 8 = i. Suppose z*o - 4*j = 3*o + 1, -3*j + 15 = 0. Which is greater: o or h?
h
Let d = 0.06 + -3.06. Let s(x) = -26*x - 2*x**2 + 463 - 511 + 7*x. Let v be s(-5). Is v at least d?
True
Let q = -11228 + 10881. Which is greater: q or 2/9?
2/9
Suppose -4*j - 5*l - 2 = -3*l, 4*l = j + 5. Let p be (-2 - -3) + 1 + -4. Let w be (p/(-93))/((-3)/(-9)). Is j less than w?
True
Suppose 5*d + 10 = 5*p, -47*d - 2*p = -46*d - 13. Let z(g) = -g**3 + 4*g**2 + 5*g - 9. Let w be z(6). Let j be (-3)/9 - w/18. Which is smaller: j or d?
j
Let f(v) = -7*v**2 - 4*v - 6. Let a(c) = -7*c**2 - 5*c - 8. Let g(l) = 3*a(l) - 4*f(l). Let o be g(-1). Let h be (6/18)/((-2)/(-30)). Is o at least h?
True
Let f = 0.3 - -0.7. Let q = -9355 + 28066/3. Are q and f nonequal?
True
Let k = 2644 + -2643. Let w be (-6)/(-4)*(-85)/1632. Which is greater: k or w?
k
Let o = 0.2 - 1.2. Let k = 262.46 + -260. Let g = k + 2.54. Is g less than o?
False
Let s(b) = b**2 - 10*b + 2. Let u be s(10). Suppose 0 = -4*a + 3*a + u. Suppose 0 = 3*x - 5*r - 30, -a*x + 3 + 1 = 2*r. Which is smaller: 8 or x?
x
Suppose 2*u - 58 = -o + 2*o, -4*u = 3*o + 194. Let t = -299 + 236. Is t equal to o?
False
Let j(p) = p**2 - 91*p - 3633. Let u be j(121). Let d = -31 + 19. Which is smaller: d or u?
d
Suppose 16*b + 3462 = 1094. Let u be ((-6)/b)/((-177)/(-1180)). Is 1 < u?
False
Let q = 167.46 - -0.64. Which is smaller: q or 2?
2
Let h = 62 - 59. Suppose v + h*l = -19, 0 - 2 = -2*l. Let t be ((-24)/(-14))/(v/14). Which is smaller: 1/4 or t?
t
Let v be (-357)/(-1215) - (16/(-10) + 396/165). Which is smaller: v or -1?
-1
Suppose -2*h - 7*p - 16 = -12*p, -14 = 3*h - 5*p. Let v = -9 + 21. Let l be h/4 - (90/v + -7). Which is smaller: 3/17 or l?
l
Let g = 11 - 25. Suppose -2*s + 10 + 4 = 0, -3*s + 49 = -2*w. Are w and g nonequal?
False
Suppose w + 44*f = 47*f - 14, -2*w - 3*f - 10 = 0. Let v be (2/(-8))/(w - 434/(-56)). Is 8 at least v?
True
Let y = 316.9 - 280. Let i = -0.6 - 36.4. Let h = i + y. Are h and -4 nonequal?
True
Let o be 3558*(-9)/(-18)*48/18. Are o and 4744 unequal?
False
Let c = 62 - 84. Let n = -52 - c. Let r = -28 - n. Which is smaller: r or -1.2?
-1.2
Let v = -4023 - -61198/15. Suppose -a = -5*a - 228. Let l = a + v. Is -2/7 less than l?
True
Let y = 5128 + -5324. Is y smaller than -1?
True
Let q = -5133 - -5133.7. Which is bigger: 203 or q?
203
Suppose 3*c = -2*p + 3221, 7*c = 5*c - p + 2147. Let l = -100861/94 + c. Which is smaller: l or -1?
-1
Let d = 41869 + -42134.01. Let x = d - -265. Which is smaller: -3/7 or x?
-3/7
Let z be -9 + 51*-1317*1. Let c be 2/17 + z/(-1224). Which is smaller: c or -5?
-5
Suppose 5*u - 5*c - 155 = 0, 4*u - 5*c = 88 + 35. Suppose -3*f + 2*n = 17, -3*f + n = 2*n + u. Let q be -4 + f/(-6)*6/3. Is -1/11 grea