o = -13679/7304 + -2/913. Let k be ((-54)/(-9))/(12 + -6). Let y be (k - 5) + -2 + 4. Do o and y have the same value?
False
Suppose 0 = -5*a + 5*v + 25, -4*a = -2*a - v - 5. Suppose 2*x + 72 = -4*o, -x - 2*x + o - 80 = a. Let n be 15/150*(x/10 + 2). Which is smaller: n or -1?
-1
Let j = -1 - -1. Let i be ((-3 - 9) + 2)/(9 + -10). Let x be (2 - 16/i)/(588/(-245)). Is j > x?
True
Let p be (11/44)/((-1)/2). Suppose 53 = 23*s + 99. Does s = p?
False
Let d = -97.9 + 98. Let h = 1.6 + -0.1. Let m = 11.5 - h. Is d <= m?
True
Let d = 42.68 + -0.68. Let o = d - 49. Let a = o + 6.6. Is -2 < a?
True
Let w = 5/19664 - -32464839/1671440. Let q = w + 20/17. Is 20 at most q?
True
Let r = -10731 + 10797. Which is greater: 716/11 or r?
r
Let w = 3965 + -3996. Let l = 0.009 - 43.009. Let z = l - w. Which is greater: z or 4/7?
4/7
Let r = -1338 - -1702. Let j = -3274/9 + r. Let w = 0.94 - 1. Which is smaller: w or j?
w
Let w = -663/5 - -132. Let v = -0.765 + 0.165. Let c = 2.4 - v. Is c not equal to w?
True
Let v = -1.95 - 0.05. Let o = 15.6 - 11.96. Let x = 3.73 - o. Which is greater: x or v?
x
Let k be 6040 + 23 - 11 - -8. Which is smaller: 6063 or k?
k
Let p = 8755 + -8756. Is 2/7989 < p?
False
Suppose 5*c - 4*x + 2499 = 6020, 8 = -2*x. Which is greater: c or 698?
c
Let s = 7774 - 7863.2. Which is bigger: s or 0.02?
0.02
Let n be (-106)/(-10)*-3*(-4)/26. Let t = 30/13 + n. Do t and 6 have the same value?
False
Let a(y) = 34*y**2 - 219*y - 41. Let i be a(7). Which is smaller: i or 829/9?
i
Let v be (2/3)/(-142 - -141). Which is greater: 304/33 or v?
304/33
Let d = 318.89 + -2062.89. Which is smaller: d or -0.3?
d
Suppose 4*j + 3*d - 13 = 0, 0 = 19*j - 22*j - d + 11. Suppose 128 - 60 = -j*a. Let f be (-242)/14 + 4/14. Does a = f?
True
Let g = 688 + -272.4. Let d = 414 - g. Which is greater: d or -0.7?
-0.7
Let v = 12.407 - 88.117. Let w = 1.71 + v. Let x = w + 71. Is x greater than -5?
True
Let o be (-1 + 18/27)/(1/(-9)). Suppose 5 - 4 = -4*b + 3*m, 0 = 5*b + o*m + 8. Which is smaller: -0.7 or b?
b
Let a = -8506 - -9006. Which is bigger: -2 or a?
a
Suppose 5*g - 13636 = -h, -h + 14*g = 13*g - 13678. Do h and 13670 have the same value?
False
Let g be (408/(-2))/(1 + 65/(-39)). Let j = 3976/13 - g. Is -1 != j?
True
Let r be 14 + -30 + 7288 + -15. Is r < 7256?
False
Let q(i) = 7*i**3 - 22*i**2 - 15*i - 28. Let j be q(6). Which is smaller: -2 or j?
-2
Let v = -7.998 + 363.898. Let j = v + -356. Is -100 equal to j?
False
Let y = 417 - 418. Let i = 2241/49106 - -1/1142. Which is smaller: i or y?
y
Let v be 46/621 + 105237/(-26487). Which is smaller: -4 or v?
-4
Let h = 354 - 358.63. Let f = 0.092 - 4.592. Let x = f - h. Do x and 3 have different values?
True
Let b be (-1)/3 + 38/6. Let y be 3/b - 6/(-52). Suppose 0 = n - 4*r + 98, 0 = -5*n - 3*r + 321 - 236. Are n and y equal?
False
Let u = 7358/4087 - 108/61. Which is bigger: u or 4.5?
4.5
Suppose -2*d - 1 = -3*d. Let x = -192/89 - -11094/4895. Is d < x?
False
Suppose 0 = 2*b + 4*a + 10, 4*a - 4 = -20. Suppose -b*w = -3*n - 12, -n - 14*w + 13*w = 4. Let q be 6/(-7)*(8 - 1). Is q less than or equal to n?
True
Suppose -3*d + 15 = 2*m, -d = 5*m + 8 - 52. Let u(h) = -2*h + 70. Let p be u(29). Which is smaller: m or p?
m
Let n be (3 + 553/(-175))*45/(-54). Which is smaller: 10 or n?
n
Let i = 2990 - 2982. Do i and 47/7 have the same value?
False
Let i = -260 + 296. Suppose -4*s + 130 = -26. Which is smaller: s or i?
i
Let b(c) = c**2 + 2*c - 11. Let p = 25 + -30. Let m be b(p). Suppose -h = m - 3. Is h greater than -3/19?
False
Let l be ((-3400)/15)/(-1) + (-40)/24. Do l and 221 have the same value?
False
Let a = 2412/205 + -138/41. Let r(w) = -w**2 + 14*w + 156. Let k be r(21). Is k at least as big as a?
True
Let m = 1624925 + -63342437/39. Let r = 760 - m. Let b = -106 - -105. Which is bigger: r or b?
r
Let f(x) = x**2 + 17*x + 72. Let j = -127 + 120. Let l be f(j). Which is bigger: -6 or l?
l
Suppose -1536 = 116*s - 84*s. Is -1099/23 at least s?
True
Let p = -1111027/7 + 158457. Let x = p - -261. Which is smaller: x or 2?
x
Let n = -56879387/38 + 1496705. Let v = n + 121. Let w(b) = -b**2 - 14*b + 50. Let p be w(-17). Is v at least as big as p?
True
Let f = 888 - 405. Let h = f + -485. Suppose 3*l + 1 = -2*k, 0 = l - 4*l + 3*k - 21. Is l != h?
True
Let k = 730 - 1098. Let q = k - -368.6. Is q != 31?
True
Let g = 35 + -35.19. Let a = 52 - 52.194. Let k = a + 0.094. Which is bigger: g or k?
k
Let z = -0.156 - 62.844. Let f = -62.957 - z. Let b = -0.057 - f. Which is bigger: 0.7 or b?
0.7
Let d(r) = -r**2 - 107*r + 974. Let b be d(9). Suppose -2*u = -5*u + 210. Let f = b + u. Is f < -3/29?
False
Let u be (0 + -1)/1 - (-6448)/5797. Is 0 less than u?
True
Let l(u) = 121 - 213 - u + 110. Let h be l(13). Let k be ((-6)/(-10))/3*h. Is 1/89 < k?
True
Let o(d) = d + 7. Let m = 6 - -11. Suppose -m = 4*x + 27. Let z be o(x). Is z at least as big as -1?
False
Let r be 14*-22*(-3)/6. Suppose 4*t + r = -3*t. Let m(u) = -5*u**2 - 5*u + 7. Let y be m(-3). Which is smaller: t or y?
y
Suppose 533 = -x + 5*i, -x - 432 = -3*i + 111. Let n = -557 - x. Is -3/346 at most as big as n?
True
Let c = 55/29 + 13634/319. Is 46 smaller than c?
False
Let w(q) = -8*q - 61. Let i be w(-8). Let u(x) = 11 - x**2 + i + 2*x**2 + 9*x - 1. Let n be u(-2). Which is smaller: n or -7?
-7
Let s be 3 - (-382 + 5) - -8. Let r = 88 - s. Which is greater: -299 or r?
-299
Let c(o) = 22*o**2 + 73*o - 41. Let r be c(-7). Which is bigger: 522 or r?
r
Let q be 36/(-27)*6/4. Let t be 4*((-6)/(-8))/(33/(-22)). Let v be (-84)/(-18) + -4 - (6 + t). Which is bigger: q or v?
q
Let o(v) = v**3 + 5*v**2 - 2*v + 6. Let u be o(-6). Let g(t) = -t**2 + t + 12. Let f be g(-3). Suppose f*d - d - 68 = 4*q, 5*d = 3*q + 51. Are q and u equal?
False
Let g(h) be the first derivative of -h**3/3 - 13*h**2/2 - 6*h + 2. Let u be g(-12). Let d = -433 - -439. Is u at most as big as d?
True
Suppose -4*z - 85 + 317 = 0. Let a(d) = -4*d**2 - 41*d - 7. Let c be a(-2). Which is smaller: z or c?
z
Let p(m) = m**2 - 21*m - 149. Let a be p(-8). Let w be (-495)/a + 7 + 2/(-2). Which is smaller: 1 or w?
w
Suppose 17*v = 14*v + n - 14, -16 = 5*v + 2*n. Which is bigger: -53.3 or v?
v
Let g be (5/2 + 0)*54/(-45). Let j = -71 - -71. Let f be (j/(g + 2))/(-1). Which is bigger: -4/21 or f?
f
Let d(t) = 3*t + 44. Let m(s) = 7*s + 88. Let o(n) = -7*d(n) + 4*m(n). Let c be o(-17). Let b be (-4)/10 - 376*5/c. Which is greater: b or 24?
b
Let a = -1137/2 - -557. Let c = -157/14 - a. Let n be (-3)/(-1)*4/(-66). Which is greater: n or c?
c
Let c(s) = 7*s + 15. Let i = -41 + 34. Let b be c(i). Let r be b/2*(-3 + 6). Is -52 less than r?
True
Let d be 5/6 + (-3871)/6762. Which is smaller: -6 or d?
-6
Let b be 2/8 - 8836/11280. Are b and -36 nonequal?
True
Suppose -2*d + 6 = d. Let x(k) be the second derivative of k**4/12 - k**3/6 - 3*k**2/2 - 48*k. Let i be x(d). Which is greater: -2/15 or i?
-2/15
Let k = 17602.062 - 17602. Let z = -3.7 - -7.7. Are k and z equal?
False
Suppose p = -5*d + 24, -p + 4*d - 7 - 5 = 0. Let t be (948 + -18)*p*(-2)/(-20). Let b be (750/t)/(-1) + 4/2. Which is greater: -1 or b?
b
Let u = -0.1467 + -262.8533. Which is bigger: 1/3 or u?
1/3
Let u(o) = -o**3 - o + 1. Let y(k) = 5*k**3 + 17*k**2 + 48*k - 6. Let h(r) = 4*u(r) + y(r). Let b be h(-14). Which is smaller: -9 or b?
b
Suppose 2*b - 25 = -15. Let d be 109 - (3 - 40/b). Which is greater: 115 or d?
115
Suppose 2*t + 5*m - 164 = 3*m, 4*m = -t + 97. Let a = -691/9 + t. Let g = 47 - 46. Is a greater than g?
False
Suppose -5*l - 3*s = 15, -5*s - 15 = -4*l - 2*s. Let h(t) = -101*t**2 + 2*t + 6 + 202*t**2 - 100*t**2. Let u be h(l). Is 6 at most u?
True
Let r(y) be the first derivative of -2*y**3/3 - 3*y**2/2 + 10*y + 50. Let l be r(-3). Which is smaller: l or 1/41?
1/41
Let k = -0.3791 + 3939.3791. Which is smaller: -1 or k?
-1
Suppose -5*j = 3*r - 364 + 104, 3*j - 5*r - 190 = 0. Let l = -50 + j. Suppose 23 = -2*n - l*k, -2*n - 3*k = n + 30. Which is smaller: 0.5 or n?
n
Let h(p) = -p**2 + 4*p - 132. Let g be h(25). Is -657 less than or equal to g?
True
Let h be 17/(-34) - (-1 - (-122)/172). Let c = -2435/129 - h. Which is smaller: -18 or c?
c
Let t = -471.7339 - -1.0339. Let n = t + 471. Which is smaller: 29 or n?
n
Suppose 0 = -133*m - 146*