= o - m. Which is smaller: -15 or r?
-15
Let l be (-3 + (-9885)/10)*128/48. Which is smaller: l or -7936/3?
-7936/3
Let i be 9093/(-14) + 12/(-24). Is -1954/3 less than i?
True
Let i = -0.5505 + -0.1705. Let t = 0.72 + i. Let q = -3.999 + t. Are q and 0 unequal?
True
Let y be (-3)/(-2) + (-9)/18. Let a be ((-15)/12 + y)/(5/(-2)). Is -10 bigger than a?
False
Let c be (-25434)/179361 - 15/(-105). Which is bigger: c or 0?
c
Let r = 7104 + -7095. Which is smaller: -9 or r?
-9
Let q be (5 + 1 + -1)/(7/21). Let l be (88/(-16170))/(6/q). Suppose -2*c + 5*c = 0. Is l > c?
False
Suppose -2*x = c, 36*x - 31*x - 4*c - 13 = 0. Let y = -14 + 13. Let f be y/(-3) + 280/(-552). Which is smaller: x or f?
f
Suppose -4881*u - 24 = -4879*u. Suppose 4*v = -4*v + 24. Which is smaller: u or v?
u
Let p = -1154 + 1329.2. Let z = p - 175. Which is smaller: 0.7 or z?
z
Let t be (-1771874)/(-286) + 2 + (-52)/22. Is t less than or equal to 2?
False
Let j be (107558/(-77))/((24/42)/2). Is j not equal to -4889?
False
Suppose 111 = -3*i - 5*p, -2*i + 3*p - 4*p - 67 = 0. Let h = i + 5. Suppose -16842 - 12082 = 1033*j. Which is smaller: j or h?
j
Let x(d) = 9*d + 84. Let t be 6/24 + 69/(-4). Let p be x(t). Is p bigger than -69?
False
Let f = 13748 - 13767. Let x = 37 + -52. Are x and f non-equal?
True
Let w be 172/(-18)*(-36 - -28). Let b = w - 4510/63. Is 6 smaller than b?
False
Suppose 4*w - 85443 = 62*w + 161753. Is -4262 less than w?
False
Let b be (220/(-65) - -5) + 12/(-4). Let l = -11 + 9. Which is bigger: l or b?
b
Let s be 11/(44/(-24)) - 82936/(-13846). Is s >= 0.1?
False
Let u = -290/13 - -645/26. Which is smaller: -0.22 or u?
-0.22
Let s(p) be the first derivative of -4*p**3/3 + 2*p - 9. Let h be s(2). Let j = 7 + h. Is -34/5 greater than j?
True
Let g be (28/(-2660))/((-1299)/30). Is 0 less than g?
True
Let y = -38649/5666452 + 19/2894. Which is smaller: 0 or y?
y
Let g(j) = -123*j - 5201. Let h be g(-24). Which is smaller: h or -2250?
-2250
Let f be ((-2)/(-1404))/(1/(-2) - 24/(-32)). Is 1/4 greater than or equal to f?
True
Let s = -9240 - -9334. Which is smaller: 95 or s?
s
Let b(n) = n + 6. Let p be b(-2). Suppose -8 = 2*q, -v + 2*q - 3*q = -p. Are 14 and v nonequal?
True
Let f be (80/296)/((2/(-6))/((-8)/1392)). Which is greater: 1 or f?
1
Let z(y) = -13*y**2 + 495*y + 1514. Let i be z(-3). Let f be ((-3)/2)/(2/116). Which is bigger: f or i?
f
Let x = -151/1077 + -3375526/1077. Let u = x - -3107. Which is bigger: -26 or u?
-26
Let c = -1839.5 + 941.5. Which is bigger: -3 or c?
-3
Let f = 14 + -76. Let w = -32 - f. Suppose 10 = -2*x, 5*v = x + 10 - w. Which is smaller: v or -6?
-6
Let q(c) = 19*c + 13 - c**3 + 14*c**2 + 3*c**3 - 3*c**3. Let z be q(15). Is 73 greater than or equal to z?
True
Let c = 63 - 44. Let r(u) = -6*u + 24. Let p be r(0). Let b = p - c. Is b greater than or equal to 6?
False
Suppose 3*z + 1986 = 3*f, z + 664 = 33*f - 31*f. Which is bigger: -656 or z?
-656
Let p = -377818 - -2859704446/7569. Do p and 0 have the same value?
False
Suppose -25 = -2*q - 5. Suppose q*i = -0*i + 30. Suppose -h - 5*a = -0*a - 20, 4*h = i*a + 34. Which is greater: h or 6?
h
Let n = 93 + -177. Let g be 8/n + 61/(-21). Is g at most -21/8?
True
Let g = 1.1 + 6.9. Let v = -83 + 74. Let n = g + v. Which is bigger: n or -16?
n
Let q = -480.7 + 1165.7. Which is smaller: 2 or q?
2
Let o be (-104)/(-780)*(-15)/(-2). Is -2/12295 not equal to o?
True
Suppose 6 = -3*a - 4*s, s + 9 = 5*a - 2*a. Suppose -a*n - n - 8 = 5*m, -4*n = -4*m. Let f be (1524/765 - 2) + 0. Which is bigger: f or n?
f
Suppose 4*t + 87*g - 94 = 85*g, -3*g = 9. Suppose t = -5*i - 4*l, -i + l + 9 = 14. Suppose -3*f + 1 - 16 = 0. Is f != i?
False
Suppose 0 = -16*p + 26 + 22. Let r be (3 + (4 - p))/(11/4). Which is greater: r or 0?
r
Let y be (-2401)/217 + 3 + 9. Is y <= 1?
True
Let c = -2647275/7 + 376715. Is c at least as big as -1466?
False
Let j(x) = -5*x**2 + 20*x + 1. Suppose 0 = -4*y + 4*s + 12 - 0, 4*y + 2*s - 18 = 0. Let c be j(y). Which is greater: -1/188 or c?
c
Let m(l) = -2 - 6*l**3 - 4 - 1 - 10*l**2 + 5*l**3 - 22*l. Let t(k) = -k**3 - 8*k**2 - 5*k + 7. Let z be t(-7). Let a be m(z). Are a and 3/22 unequal?
True
Let l = -135736/67 + 2026. Suppose 16*n + 65 = -t, 5*n = t + 4 - 23. Which is smaller: t or l?
t
Suppose -150*z - 12 = 158*z - 320*z. Is z < -4/361?
False
Let x = 8 - 4. Let t(y) = -4*y**2 + 9*y - 27. Let h(f) = -2*f**2 + 4*f - 13. Let v(m) = -5*h(m) + 3*t(m). Let l be v(x). Is -0.1 at most l?
False
Suppose 2024 = 2*o - 2*l, 2*o + 8*l - 4*l = 1988. Is o at most 1008?
True
Let h(y) = 2*y**2 + 6*y - 4. Let f be h(-5). Suppose 0 = -n - 2*w + 27, -4*w - 105 = -5*n + w. Suppose 4*o - 3*r - 74 = -5*r, 3*o - 5*r - n = 0. Is f > o?
False
Let m(v) = -v**2 - 162*v + 705. Let w be m(-70). Which is bigger: w or 7144?
w
Let t = 397910/9591 - 954/23. Let p be ((-3)/(-3) - -1) + -3. Which is smaller: t or p?
p
Let z = -143 + 99. Let l = 1151 + -1107. Let f = l + z. Which is greater: 8 or f?
8
Let i be 0*(-10 - (-62)/6). Do 6/2627 and i have the same value?
False
Suppose -5*t - 4*d = 27, 11 = -2*t + 4*d - 11. Suppose 12*l = 21*l + 54. Let w be l - -2*5/10. Are t and w equal?
False
Let q(d) = -d**2 - 52*d + 923. Let b be q(14). Which is smaller: -1/14456 or b?
b
Suppose 2010 = 23*p - 2222. Does p = 190?
False
Let m be (-17)/153 - ((-16382)/147600 + -2 + 2). Which is smaller: 0 or m?
m
Let r(l) = l**2 - 3*l - 8. Suppose -26*u = -17*u + 45. Let x be r(u). Which is smaller: 34 or x?
x
Suppose -3*a + 21 = -3*m, 4*m = 2*a + 3*a - 31. Suppose 32*f + 2*d = 34*f + 84, -f = 3*d + 22. Is a at least as big as f?
True
Let u = 4191.9 + -3917.52. Which is bigger: u or 0?
u
Let m(d) = 4*d + 4. Let u be m(-23). Suppose -5*v = 4*y + 1, 4*y = 6*v - 3*v + 7. Which is smaller: u or v?
u
Suppose -3*t - v = 7531, 275*t + 2*v = 278*t + 7555. Is -2511 at least t?
True
Let c(y) = -4*y**3 + 5*y**2 - 4*y - 33. Let i be c(-2). Is i at least 116?
False
Suppose 0 = 4*d - g + 4638, 40*d - 35*d + 5841 = -6*g. Which is smaller: d or -1165?
-1165
Suppose -1538 = 2*d + 16*d + 5572. Is d greater than or equal to -395?
True
Suppose -4*y = b + 8, 5*y + 10 = -190*b + 187*b. Are 1/13418 and b equal?
False
Let i be (-1)/(6/(-488))*(1605/60 + -26). Which is bigger: i or 28?
i
Let m = 12994 + -15902. Which is greater: m or -5815/2?
-5815/2
Let i = -1318/95 + -30497/1520. Which is smaller: -35 or i?
-35
Let m(n) = -n**2 + n + 101. Suppose -2*y + 3*y + 2*l = 13, 0 = -4*y - 5*l + 52. Let v be m(y). Is v at least as big as -54?
False
Let d = -1116 + 1035.7. Let i = 291 + -371. Let f = i - d. Which is bigger: 11 or f?
11
Let p = -2/855 - -289/1710. Let c = -2.1 + 3. Let m = -0.1 - c. Which is bigger: m or p?
p
Let z = 0.06 + -0.16. Let d = -0.1 - z. Let b = -3336 - -3335.951. Is d at least as big as b?
True
Let k(n) = -25*n + 8. Let h be k(-24). Let r = -607 + h. Which is smaller: r or -21?
-21
Suppose 20 = 4*q, 2*s + 5*q - 5 = -16. Let x be s/(-117) + (-2)/(-26)*-2. Suppose 7*m + x*m + 399 = 0. Which is greater: -56 or m?
-56
Let f = -694 - -699. Suppose b + 2*u + 1 = -0*u, 5*b + 5 = -f*u. Are -10/21 and b non-equal?
True
Suppose 27*f - 428 - 1381 = 0. Suppose v - 4*q = 5, 5*v - f = 5*q - 6*q. Which is bigger: v or 58/5?
v
Let c = -740 - -740. Which is bigger: -16/561 or c?
c
Let l(o) = -o**2 - 6*o + 6. Let s be l(1). Let z be (-1*8)/s*5/15. Is 1 greater than or equal to z?
False
Suppose 10*q = 13*q - 567. Suppose -7*x + q = -10*x. Let j be (6/x)/((-27)/(-21)). Is 0 greater than j?
True
Let d be (358 - 35)/((-1 - -3) + 3). Is -1 > d?
False
Let s = 6133 - 6132.5862. Which is greater: s or 1?
1
Let p(c) = 5*c**2 + 114*c - 23. Let d be p(-23). Which is bigger: d or -6/3667?
d
Let z be (3 - (-195)/(-13)) + 198. Is z < 188?
True
Let b(r) = -5*r - 157. Let l be (-441)/15 - (42/(-15))/7. Let o be b(l). Which is smaller: o or -23/2?
o
Let b = -2462.5 - -2508.5. Is b at most as big as -0.1?
False
Let p be 86080/100 - 2*(-3)/30. Is p <= 861?
True
Let n = 963 + -983. Suppose -3*d + 12 = 0, -32 = z - 5*z - 2*d. Let g be 6/(-9)*z/(-8). Which is smaller: n or g?
n
Let q = 3812 - 3809. Is 1104 != q?
True
Let f = 0.51 - 0.66. Let c = f - 52.85. Let w = c + 53.1. Is w smaller than -1/61?
False
Let x = -10/7241 - -254445/731341. Which is bigger: 0 or x?
x
Let u be (