5/8
Let x(d) = d. Suppose -t + 0 = -2. Let o be x(t). Suppose -o*y - 41 = 27. Which is greater: y or -35?
y
Let c = -6 - -4. Let y = 20663/11 - 1879. Which is greater: c or y?
y
Suppose 5*u + 0*u + 2*z - 48 = 0, 3*z - 36 = -3*u. Suppose 4*t = u*t - 68. Suppose 2*f - 5*q = -2*f - 1, -q = -5*f - t. Which is smaller: -3 or f?
f
Let a(o) = o**2 - 38*o + 41. Let f be a(38). Suppose -f*h + 7 = -48*h. Are h and 4/15 equal?
False
Let f(v) = -12*v - 53. Let x be f(-4). Let g(y) = 39*y + 180. Let h be g(x). Which is greater: h or -59/4?
-59/4
Let q(k) = k**3 + k**2 - 1. Let r be q(-1). Let a be (-72)/21 + (-72 - (-36523284)/484218). Which is smaller: r or a?
r
Let i be ((-270)/63)/(4/(56/(-3))). Let m be (4/(-623))/(i/(-14)). Are 0 and m equal?
False
Suppose 386 = -2*r - 2*f, 5*f + 1 = -29. Is -1670/9 >= r?
True
Suppose 224 = 11*z + 70. Let w = 3 + -8. Let f be (w/5)/(2/z*1). Which is smaller: f or -13/2?
f
Let f(n) = -3*n - 253. Let j be f(-2). Which is bigger: j or -985/4?
-985/4
Suppose -500 = -6*z + 238. Let c = 146 + -23. Is z smaller than c?
False
Suppose -66*b + 73*b = 49. Suppose l - 2*i = -6, l - i + 2 = -b. Which is greater: -23/2 or l?
-23/2
Let c = 1640.8 - 2926.8. Which is smaller: c or -0.4?
c
Suppose 0*q = -5*q - 205. Let x = q + 22. Let s(h) = -4*h + 4. Let k be s(6). Which is greater: x or k?
x
Suppose 47*f - 37287 - 103243 = 0. Suppose 0 = y - f + 3192. Is y < -202?
False
Let p = 15.5 - -50.5. Let i = p + -114. Let j = -48.01 - i. Which is greater: 10 or j?
10
Let q = 11 + -5. Let i(r) = 3454*r - 93251. Let d be i(27). Which is bigger: d or q?
d
Let h = 16 - 15. Let u be ((-19)/8 + 2)*(-1238)/29. Let a = u - 16. Which is smaller: h or a?
a
Let u = 87 + -55. Suppose -b - 167 = -5*n, 4*n = 467*b - 469*b + 128. Is u not equal to n?
True
Let j(u) = u**2 - 19*u - 117. Let n be j(-5). Are -2/223 and n non-equal?
True
Let a be (8/84)/(12*(-16)/(-1344)). Is -692 < a?
True
Let x = -187/29 - -661/116. Let c = 12 - 25. Let o = c - -13.01. Which is smaller: o or x?
x
Suppose -b + 1001 = o - 3*o, -2017 = 4*o - 5*b. Suppose 0 = -4*z - 2*v - 1992, v - 1313 = 2*z - 317. Are o and z nonequal?
False
Let k be (-33575)/237*9/(-15). Which is smaller: 1110/13 or k?
k
Let s be (2 - 3)*(-9 - 10). Let u be (4/18)/(s/342). Suppose -6 = k - 3*k. Is u < k?
False
Let c = 39699.063 - 39699. Is c at least -38?
True
Suppose -2*y = -0*y + 10, 2*t - 34 = 4*y. Suppose 4*b = t*b. Let f = -4.54 + 4.94. Is b bigger than f?
False
Let n = 1.511 - 5.511. Which is greater: 0.0536 or n?
0.0536
Let a be (-48)/44 - 15341/(-14113). Is a > -1?
True
Let t be 32*(-1566)/(-216)*(0 + 21). Is t < 4876?
True
Let l = 0.1 + -0.5. Let p = 8640 - 8656. Is p smaller than l?
True
Let x = 102 - 101.18. Let r = x + -1.82. Are -2/269 and r equal?
False
Let v be (27 + -33)/(-1 - 1). Let t be (2 - 3)*v - (6 + -27). Suppose 5*x = 49 + 26. Is x not equal to t?
True
Suppose -8*m + 0 = -16. Let s(k) = -6*k**2 + 0*k + 0*k**2 + 5*k**2 - m*k + 8. Let c be s(-5). Is c != 0.05?
True
Let n(x) = -x**2 + 16*x - 29. Let i be n(17). Let w be (-4)/10 + i/10. Let s be (-19)/w - (-15)/(-25)*5. Is 2 less than or equal to s?
False
Let c(t) = -26*t - 367. Let h be c(-8). Which is smaller: -168 or h?
-168
Let v = 68.35 + -68.51. Which is bigger: v or 330?
330
Let s(d) = 2*d + 3. Let b be s(3). Suppose -4*u = b*u. Suppose 4*a - 11*a - 14 = u. Is a less than or equal to -1?
True
Suppose 2*o = i - 0*i + 116, 572 = -5*i + 2*o. Let a = i + 111. Which is smaller: a or -23/10?
a
Let v be 200/(-30) + 72/27. Which is smaller: v or -854?
-854
Suppose 0 = -134*s + 129722 + 496862. Which is smaller: s or 4677?
s
Let w(i) = 783 - 607 - 4*i - i. Let s be w(0). Let y be 604/s + 6/(-33). Do 2 and y have the same value?
False
Let w = 319 - 317. Let p(z) = 8*z**2 - 11*z - 5. Let i be p(w). Are 14 and i unequal?
True
Let t be 3*(-21)/(-7) - 110. Let u = t - -84. Which is bigger: -0.1 or u?
-0.1
Let h be (-31342164)/4704 - ((-10)/(-16))/5. Which is smaller: h or -6661?
h
Let z = 16.94792 - -0.05208. Which is bigger: z or -2/5?
z
Let t = -2 - -2. Suppose -b + 2*b = 2*l - 12, -5*l - 2*b = -21. Suppose -3*r - 2*v + 8 = t, -l*v = 3*r + 2*r - 15. Is r at least as big as 13/4?
False
Let y be 1511 + -13 + 4 + -3. Is 1498 at most as big as y?
True
Suppose 3*t - 4*t = 325. Let u = -326 - t. Is u > -6/35?
False
Let w = -0.92 - -0.52. Let a = -0.13 + w. Let p = a - -0.51. Are -1 and p non-equal?
True
Suppose 3*y + 1440 = 8*y - 2*z, -3*y = 5*z - 895. Let s = y - 291. Let r = 12 - 61/5. Which is greater: s or r?
r
Let f be 152/7 - (-6)/21. Let x = 130619 + -399688/3. Let j = x - -2633. Do f and j have the same value?
False
Let q = -5968 - -7633071/1279. Which is smaller: 1 or q?
q
Let p(t) = -3*t + 23. Suppose 0 = -s + z + 35, 0 = s - 0*s + 2*z - 20. Let f be p(s). Let d = f + 96. Which is smaller: 0 or d?
0
Let d = -9645/30653 + 49/151. Which is smaller: 7/2 or d?
d
Suppose 9*a = -21*a - 300. Let n be (-3)/(14625/a - (1 + -4)). Which is greater: n or -1?
n
Suppose 3*s - 6 = 0, 4*s + 2559 = 5*i + s. Is 518 equal to i?
False
Let p(c) = 2*c**3 + 61*c**2 + 66*c + 102. Let m be p(-31). Which is smaller: m or -2903?
m
Let d be ((-2)/659600)/((-2458086)/565277815864). Let c = -6/174114425 - d. Let w = c + -5/582. Is w != -1?
True
Let a = -133 - -327. Let k = -188 + a. Which is bigger: -2/13 or k?
k
Let w = 1367 - 1366. Which is greater: w or 5/583?
w
Let l be (-4)/1*(-6)/(-11). Suppose 119 = o - 3*v, -3*o + 9*v + 349 = 4*v. Let n = o + -116. Which is smaller: n or l?
n
Let n be 689/(-10)*-6*(-16)/24. Let c = n - -271. Is -5 greater than c?
False
Let s = 1.1 - 1.15. Let d = -86.3 - -5.3. Let n = -81.2 - d. Is n != s?
True
Let p = 69348 - 69347. Let q be 46/14 - 6/21. Let l be q/(-46)*8/18. Is p bigger than l?
True
Suppose -5*a = -7*x + 13*x - 1720, -5*x + 1429 = 2*a. Is x at most 284?
False
Let d = 114 + -156. Let t be (-11684)/15600 - d/56. Are -1 and t unequal?
True
Let k be (-4)/(-10) - (15270/(-1125) - -1 - -13). Which is bigger: -11/8 or k?
k
Suppose 8*t + 125 = 21. Let s = -33 + t. Are s and -45 equal?
False
Let a(c) = 4*c**2 - 46*c - 19. Let p be a(12). Let o be p*-2*(-103)/(-1648). Which is smaller: o or -1?
-1
Let z = 212 - 107. Suppose 99 - z = -6*d. Which is smaller: d or 10/157?
10/157
Let y be (-529)/(-30) - 3/((-198)/12). Let v = -1/66 + y. Is v != 17?
True
Let b = 8192.9786 - 8193. Is 2/9 < b?
False
Suppose 72*c + 71*c + 2 = 145*c. Which is bigger: c or 138?
138
Let z = -606 + 173. Let c = -277 - z. Let t = c + -154. Is t != 3?
True
Let t = -91 + 99. Suppose 777 - 721 = t*u. Which is smaller: u or 11?
u
Suppose -r + 3*w + 1 = 0, 4*r - 3*w = r + 3. Let q = 306.7 - 18.7. Let v = q - 302. Are v and r non-equal?
True
Let c be (81/54)/(2 - 11/4). Let l be 2/(c/42*-2). Which is smaller: l or 16?
16
Let t be (1/2)/(304/64 - 5). Let n(w) = w + 4. Let d be n(6). Let x be 36/d - (-2)/5. Is x equal to t?
False
Let d = 1286 - 1298. Let i(u) = u**3 - 15*u**2 - 2*u + 17. Let b be i(15). Which is smaller: b or d?
b
Let z = 382 + -376.6. Let n = -3.6 + 1.2. Let v = z + n. Is v < -2?
False
Suppose 5*q = 8*q + 15. Let d be 6*(25/(-15))/q. Let r be (-4)/(-12) - 3*(-5)/36. Which is smaller: d or r?
r
Let k = 3109.8 + -3110. Which is greater: -2/49 or k?
-2/49
Let s = 230 + -2532/11. Let k(c) = -2*c**2 + 13*c + 13. Let t be k(7). Are s and t equal?
False
Let m = 6972 - 7557. Which is greater: m or -579?
-579
Suppose -2*w = 5*z + 23, -4*w = 4*z - 5*w + 8. Let u(b) = 4*b - 6 + 2*b**2 - 5*b + 3*b. Let p be u(z). Which is smaller: 2 or p?
2
Let c be -1 + 4 - (-111)/((-21)/(-7)). Let y(t) = t**3 + 7*t**2 - 2*t + 26. Let r be y(-7). Does r = c?
True
Let m = -231 + 236. Let t be m + -11 - -1*20. Let z(v) = -v**3 + 5*v**2 + 2*v + 3. Let f be z(5). Is t bigger than f?
True
Suppose -5*w = 6*l - 2*l - 134, 0 = -5*w - 3*l + 138. Let j be w/45 + (-10)/6. Let b be (2 + 50/(-24))*-2. Is j equal to b?
False
Suppose -69*f = -71*f + 56. Let l = -34 + 8. Let c = 2 - l. Is c equal to f?
True
Suppose 11*b + 3269 = 794. Suppose -3*c - 3*v = -2*v + 672, 5*c + 3*v = -1116. Is c smaller than b?
False
Let o = 3.875 + 0.025. Let b = 0.114 + -0.059. Let x = b + 0.145. Is x < o?
True
Let x = 620 + -471. Is 11 smaller than x?
True
Let r(j) be the third derivative of 1/6*j**4 + 0 + 8*j**2 