(-4) - ((-1)/(-10) - 285/(-1900)). Which is bigger: -8709 or o?
-8709
Let m = 2913.9 + -2796. Let q = 118 - m. Is 39 at least q?
True
Let w be 5 - (14/5 + (-9)/(-45)). Suppose -4*a = w*g + 16, 6*a - 3*a + 12 = -3*g. Is a less than or equal to -16/5?
True
Let t = 13 + -21. Let r = -41627 + 541031/13. Which is smaller: t or r?
r
Let p = -1691 - 618. Which is bigger: p or 0?
0
Let y = 120.948 - 121. Let n = y + 0.208. Which is smaller: n or -1?
-1
Let u(q) = 7*q**3 + 7*q**2 + 33*q - 179. Let w be u(7). Which is greater: 5591/2 or w?
w
Suppose -s + 8 = 2. Let x be (-21908)/(-72) + 44/36 + -1. Let h = 3107/10 - x. Which is greater: s or h?
h
Suppose 11 - 16 = -5*s. Let b(k) = 3*k**3 - 2*k + 2. Let m be b(s). Suppose 0 = -c + m*t - 23 + 9, 0 = 4*t + 4. Which is greater: -16 or c?
-16
Let w(n) = 48*n + 356. Let x be w(-6). Which is greater: 202/3 or x?
x
Let q = 3.573 + -0.073. Let k = q + 24.5. Let z = -0.26 - -0.16. Is k bigger than z?
True
Let a(u) = 47*u - 1927. Let l be a(41). Is 2/9091 != l?
True
Suppose -48 = -3*r - 3. Let x be (-1 + -2 + 0)/(r/(-10)). Suppose x*y + 10 = -66. Which is smaller: y or -1/2?
y
Let p be (-23937)/(-21) + (-5 - (-435)/105). Is p smaller than 1138?
False
Let c(w) = 647*w - 1941. Let m be c(3). Do m and -2/2063 have different values?
True
Let k(o) = 4*o + 193. Let m be k(-27). Let s = 84 - m. Which is greater: 7/20 or s?
7/20
Suppose 2*d + j = 36, -5*j + 169 - 69 = 5*d. Suppose 27*l = 17*l + d*l. Which is greater: -15/13 or l?
l
Let p(m) = -67*m + 1704. Let q be p(32). Are -439 and q non-equal?
True
Let u = 24958377176/30803 + -810258. Which is smaller: 0 or u?
0
Let c = -62 - -66.075. Let o = 510.925 + -511. Let p = o + c. Do 2/5 and p have the same value?
False
Let k = -125 - -125.05. Let a(f) = -f**3 + 5*f**2 + 3*f + 22. Let x be a(6). Which is greater: k or x?
x
Suppose -42329 = -101*n + 52297 + 17989. Are 10024/9 and n equal?
False
Let r(y) = y**2 - 2*y - 4. Let d be r(-4). Let c(k) = 18*k**2 - 355*k + 356. Let j be c(1). Do d and j have the same value?
False
Let q be (60/(-48))/(1/(-4 + 10)) + 7. Is q less than or equal to 1292?
True
Suppose 38 = -8*x - 42. Let d be (3/4)/((-9)/(-432)). Suppose -2*b - d = 2*b. Which is smaller: x or b?
x
Let b(t) = t**3 + 13*t**2 - 2*t + 38. Let z be b(-7). Suppose 194 + z = -10*h. Is -54 smaller than h?
False
Let a = 121367223 - 140179153327/1155. Let c = a + -6/385. Which is bigger: -9 or c?
-9
Suppose 35*o + 75 = -485. Are -19 and o unequal?
True
Let a = 275 - -5. Let b be a/(-70) - (-94)/17. Which is bigger: b or 1?
b
Let j be (-5 + 6)/((-3)/(-69)). Let s = j + -20. Suppose -9 - 114 = -s*q + k, -5*k = 3*q - 105. Which is smaller: q or 0?
0
Let d = -2/53 + -100/159. Let p = 88 + -79. Let n(o) = -o + 12. Let w be n(p). Is d < w?
True
Let k = -19 - -19. Let r = -2/7931 - -333280/705859. Do k and r have different values?
True
Let d = -1.5208 + 0.5208. Is 1099/8 > d?
True
Let b be (4 - 20/8)/((-126)/(-28)). Let c be (3 + -1)*2/5. Is c equal to b?
False
Let r = -37207/2 + 18604. Which is bigger: 144/49 or r?
144/49
Let g be 2/(-6) - 56/(-24). Suppose d - 5*j = -25, 17 = -5*d + g*j + 7. Suppose d = 5*b - 2*b - 21. Is 4 greater than or equal to b?
False
Let v = 2.767 - 15.137. Let y = v - 0.63. Are -20 and y equal?
False
Let a(q) = -2*q - 22. Let p(s) = -12*s - 110. Let f(n) = 11*n - 22. Let b be f(3). Let d(x) = b*a(x) - 2*p(x). Let o be d(-10). Is -42 != o?
False
Let j(n) = -2*n**3 - 32*n**2 - 40*n - 154. Let l be j(-15). Does -14 = l?
False
Let x = -15.195 - -15.095. Which is bigger: x or -100/81?
x
Let h be 3 - (-13926)/(-4248) - (-2 - 7/(-4)). Which is smaller: h or -1?
-1
Let f be -9 + (60*-38)/15. Is f greater than or equal to -88?
False
Suppose 21*v + 710 = 269. Let b = 26 - 43. Is v greater than or equal to b?
False
Let o = 2726 - 2726.1. Which is smaller: -1.206 or o?
-1.206
Suppose -18*v - 11*v = -34*v. Is 3/115 not equal to v?
True
Let f = -1.963 - -18.763. Which is greater: f or -3?
f
Let u(b) = 6*b**2 + 46*b - 10. Let h be u(4). Let k = h - 186. Is 86 >= k?
True
Let c = -66943/9 + 7435. Which is greater: c or 0.6?
0.6
Let o be (-109626)/11484 + 19/2. Which is bigger: o or -1?
o
Let n = 20 - 78. Let c = -27 - n. Let m = -42 + c. Which is bigger: -1 or m?
-1
Suppose -4*u + u = 0. Suppose z + 525 = -0*z. Let f = -12077/23 - z. Which is smaller: f or u?
f
Let p = 54 + -13. Suppose 0 = -44*s - 31*s + 30525. Suppose -14*x + s = -181. Which is greater: p or x?
x
Let v = -79.43 + 79. Let q = -33.8 + 33.83. Let g = v + q. Which is smaller: 0 or g?
g
Let u = -1926 + 63560/33. Let w(c) = 3*c**2 + 0*c - 4*c**2 + 3*c - 2. Let z be w(1). Is u >= z?
True
Let u = -57.45182 - -57.36. Do u and 1 have the same value?
False
Suppose -10*x = x + 22*x + 890 - 857. Let h = 95353/2420 + -197/5. Which is greater: h or x?
h
Let h be (10 - 12)*54/(-4). Let b = h + -24. Suppose -c - 5*j + 19 = -0*c, c = b*j - 13. Which is smaller: c or 12?
c
Let z be (-116)/(-6) + 2/(-6). Suppose 19*p - 34 + 15 = 0. Let j be (-36)/4 + 27 + p. Is z bigger than j?
False
Suppose -41*m = -36*m - 5095. Is 1 greater than m?
False
Suppose 18*k + 33015 = -23333 + 15290. Which is smaller: k or -2280?
k
Let g = -19842 + 19801. Are -38 and g non-equal?
True
Let c = 8411 + -2547. Which is smaller: 5866 or c?
c
Let d(k) = -k. Let b(o) = 8*o - 12. Let j(n) = -b(n) - 4*d(n). Let f be j(3). Suppose -6 = -2*s + 2*r, -s + 2*r + 0*r + 7 = f. Which is greater: -2/37 or s?
-2/37
Let u(v) = 33*v**3 + 232*v**2 - 456*v + 2. Let p be u(2). Does p = 280?
False
Let b be (2/(-8))/((-6)/(-8)). Let u = 642.01 - 2.01. Let t = u - 643. Do t and b have the same value?
False
Let c = -4189249/1221 + 3431. Let s = 24.1 - 24. Is c less than s?
True
Let i = -1465 - -1142. Which is smaller: i or -319?
i
Let d = -85 - -83.72. Let o = -1.38 - d. Which is greater: 0.014 or o?
0.014
Let u(d) = d + 19. Let k be u(-14). Suppose -a - 2*o + 0 = -13, -k*o + 46 = 4*a. Is 6/17 less than a?
True
Suppose 4*d + 41 = 220*h - 221*h, h - 7 = 2*d. Let g be (-128)/14 + (-2 - -3). Do h and g have different values?
True
Let o be (5/((-20)/(-24)))/74. Suppose -9*g - 65 = -155. Suppose 10*j + 0*j = -g. Is o < j?
False
Let g(w) = w**3 + w**2 + w - 1. Let s(h) = -2*h**2 - h + 3. Let k(o) = g(o) + s(o). Let f be k(2). Let t be ((-2)/(-4))/(f/(-4)). Is 10 equal to t?
False
Let y = 0.00051 + -139.00051. Which is greater: 0.1 or y?
0.1
Suppose 2*v + 4*m + 440 = 0, -v + 2*m - 218 = 3*m. Let q be 24/v + (0 - 124/18). Which is smaller: -1 or q?
q
Let t = 512 + -537.03. Let l = t - -1.03. Which is bigger: 5 or l?
5
Let u = -1987 + 2368. Is 2 <= u?
True
Let x be (-5)/(765/(-147)) + -1. Let d = x - 13/102. Which is greater: d or -1?
d
Let w = 649 - 1969/3. Let m = -30993 - -30994. Is w <= m?
True
Let q = 13609/3289 + -14/299. Is q <= 4?
False
Let a be -36 - (-1 + 0 + 0). Let p(c) = 12220*c + 158827. Let w be p(-13). Is w >= a?
True
Let q(a) = 130*a**2 + 1407*a - 9. Let t be q(-11). Which is smaller: 31 or t?
31
Let x be (6/3)/(4/(12/(-9))). Let t = 24.1 - 23.822. Let h = t + -0.058. Is h equal to x?
False
Let t = 43.822 + 0.078. Let p = 2317.1 - 2326. Let z = t + p. Which is greater: 2/7 or z?
z
Let i(o) = -o**3 + 6*o**2 + 9*o - 28. Let l(r) = -7*r**2 - 9*r + 28. Let m(x) = 3*i(x) + 2*l(x). Let d be m(3). Which is greater: d or -47?
d
Suppose -173*x = -188*x - 2850. Which is greater: x or -1717/9?
x
Suppose 9*x - 21 = -12. Suppose 5*f = -4*m - 39, 5*m - f = -28 + x. Let i = -1381/264 - 9/88. Which is smaller: i or m?
m
Suppose 0 = -2*o + 7*q - 5*q - 46, 5*q + 47 = -4*o. Let v = o - -19. Is -3/2 greater than or equal to v?
False
Let i = -14795.77 + 14842. Is 1/2 smaller than i?
True
Suppose 3*f - 4*s - 2 = -3, 2*f - 2*s = 0. Is -1/7135 greater than f?
False
Let l(x) = x**3 - 3*x**2 - 54*x - 1. Let t be l(-6). Is -56.5 less than t?
True
Let h(z) = z**2 - 36*z + 68. Suppose -8*i = -s - 5*i + 40, -76 = -2*s + 4*i. Let d be h(s). Are 12/19 and d equal?
False
Let d(w) = 113*w**2 - 3*w + 2. Let b be d(1). Suppose i - b = -3*i. Suppose 5*y - 17 - i = 0. Is 9 <= y?
True
Suppose -4*w - 230 = -3*s, 0*s + 3*s + 5*w = 239. Suppose 4*t = 8, 5*u - 3*t = 66 + s. Which is bigger: u or 28?
u
Let u(r) = 10622*r**2 - 2*r - 28. Let a be u(-1). Is 10598 less than a?
False
Suppose 35*k = 30*k. Suppose k =