smaller: a or -1?
-1
Let r be 237*7/3*86/(-301). Which is smaller: r or -153?
r
Suppose -3*w + 2*z = 582, -z + 89 = -w - 106. Which is bigger: 1/2 or w?
1/2
Let z(o) = -3*o**2 + 6*o - 10. Let c be z(3). Let l = c - -88. Let h = l - 68. Which is smaller: h or -1/6?
-1/6
Let t = 38.55 - 38.58. Is -377 > t?
False
Let o = -890 - -923. Which is smaller: o or 0.35?
0.35
Let m = -28/1199 - 854719/7194. Let u = m - -265/2. Which is smaller: u or 14?
u
Let l(p) = -p - 8. Let g be l(-11). Let q = -73.26 + 72. Let x = -0.26 - q. Which is smaller: g or x?
x
Let x(s) be the second derivative of 2*s**3 + 114*s**2 - 146*s. Let a be x(-19). Is a >= 6/31?
False
Suppose -52595 = 167*p + 88186. Are p and -846 equal?
False
Let a = -6 - -4. Let s be -2*(1 + -2)/a. Let b be (-50)/18 - -3 - 31/126. Which is smaller: b or s?
s
Let t be ((-84)/(-56))/((-5)/3070). Which is smaller: -920 or t?
t
Suppose 0 = -2*i - 6 + 2, -4*t + 362 = -3*i. Let b be ((-810)/(-144))/((-24)/(-384)). Is t greater than or equal to b?
False
Suppose -474*f - 1273 = 86417. Is -745/4 >= f?
False
Let w(i) be the first derivative of i**4/4 - 11*i**3/3 + 8*i**2 + 10*i + 11. Let t be w(9). Let c be (1 - t/(-4))*-3. Which is smaller: 11/5 or c?
11/5
Let k = 4570 - 4685. Which is greater: 15/7 or k?
15/7
Let u be -2 + 3 + 283 + 4. Suppose -2*b + 104 - u = 0. Suppose 0 = 2*g + 33 + 149. Are g and b non-equal?
True
Let k(h) = h**3 - 3*h**2 + 10*h + 36. Let n be k(8). Let b = n - 618. Which is smaller: -181 or b?
b
Suppose 2*f + 25 = 3*v, 5*f + 0*f + 15 = -2*v. Let x(h) = -30*h - h**2 + 53*h - 27*h + 5. Let d be x(f). Does -1/9 = d?
False
Let q = 25 + -23. Let c be (-1235)/(-152)*-1*q. Let i = 43/4 + c. Is -6 smaller than i?
True
Suppose 0 = -10*p - 292 + 72. Let v = -40 - p. Let d = v - -22. Which is smaller: d or 7?
d
Suppose 3*b = -2*w + 182 + 239, -631 = -3*w - 5*b. Does 210 = w?
False
Let a(o) = -o - 7. Let r be a(-7). Let h = -3357/44 - -840/11. Is h != r?
True
Suppose r - 2*j - 6 = -0*r, 2*r = 2*j + 6. Let m(y) = -4*y**2 - y + 75. Let x be m(r). Let l be -90*6*5/x. Is -36 at most as big as l?
True
Let a = 264 + -131. Let k = a - 92. Let i = k + -44. Is i greater than -3?
False
Let c = -44869 - -44416.97. Let w = -452 - c. Is 2/33 > w?
True
Let v be (105/20)/(1/4). Suppose 5*f - 3 = -s + v, -s = 2*f - 9. Let k be 8 + ((-4213)/528 - 0). Is s greater than k?
False
Suppose -4*a + 32 = -4*p - 0*p, -4*a = -5*p - 35. Let q(o) = -o**3 - 3*o**2 - 4*o - 12. Let b be q(p). Is -2/559 greater than b?
False
Suppose 2*k - 5*g - 537 = 0, -3*k + 5*g + 569 + 244 = 0. Is k > 305?
False
Let w = -5119 - -5197. Is -1/2 bigger than w?
False
Let k(b) = -29*b + 346. Let u be k(12). Let p = 16.1 - 17. Which is bigger: u or p?
p
Let z = 7.6 - 0.6. Suppose h - 2*c = -1025, 3075 = -3*h + 12*c - 14*c. Let j = -13319/13 - h. Which is smaller: j or z?
j
Let i be (-31357)/(-3) - (68/153)/(4/(-6)). Which is bigger: 10454 or i?
10454
Let h be 2204/19604 + 1/(-13). Let m(u) = -u**3 - 1. Let c be m(-1). Is h bigger than c?
True
Suppose 35*v - 31*v + 460 = 0. Let q be (1 - 2) + (v/(-19) - 4). Is q at least 1?
True
Let x(k) = 7*k**3 - 29*k**2 + 41*k + 15. Let v(q) = -10*q**3 + 43*q**2 - 61*q - 22. Let f(i) = 5*v(i) + 7*x(i). Let y be f(10). Is 18 less than or equal to y?
False
Suppose -5*j = -7*j - 4. Let x be j*(2/(-4) + 0)*1. Let n = -2/835 + -292/17535. Which is smaller: x or n?
n
Suppose 3*o + 2025 = 3*p + 66, o + 3 = 0. Is p bigger than 650?
False
Let b = 14353 + -14546. Which is smaller: -192 or b?
b
Let i be 80/(-14) + 4 + -3. Suppose 77*y + 198 = -132 - 55. Is i equal to y?
False
Suppose 0*q - 22 = q. Let r be q/77 - 146*3/(-210). Is r <= 1/3?
False
Let i(a) = 2*a**3 - 8*a**2 - 7*a. Let l = 13 + -8. Let m be i(l). Which is smaller: 24 or m?
m
Let u be 45/(-35) + 0 + 0. Suppose -27*y + 32*y = 25. Suppose 0 = g - 0*g + 2*a - 5, -4*g = y*a - 11. Is u at most as big as g?
True
Let z(p) = -993*p + 4332. Let t be z(11). Is t > -6590?
False
Let v be 1*(1/2)/(9/72). Suppose 2*h - v*b - 24 = 0, -3*h + 5*h + 5*b = 51. Let j be (-2200)/(-10791) - 4/h. Which is smaller: -1 or j?
-1
Let f(y) = -y**3 - 15*y**2 - 3*y - 5. Let r be f(-4). Let c = r + 195. Which is smaller: c or 80/3?
c
Let k = 14.5 - 60.5. Let n = -126 + 86. Let t = n - k. Is -4 > t?
False
Let u = -5 + 7. Let t = u - 0. Let s be (-18)/1755*-6*(-675)/(-18). Is s greater than t?
True
Let f be -2 + 104712/65920 - 2/(-5). Let k = -18611/1900144 - f. Is k at least 1?
False
Suppose t - 14 = 3*n + 15, -127 = -4*t + n. Let z = -464 - -493. Which is greater: t or z?
t
Let i be (116/(-6))/((-10)/(-45)). Let t = -81 - i. Let l be t/10 + (756/15)/(-4). Which is greater: -11 or l?
-11
Let g be (0/(-3))/((-3 - -2)/1). Let k be 133/(-2) + (g - 3/6). Let h = -17 - k. Which is bigger: h or 49?
h
Suppose 2*v = -20*v - 6*v - 5096. Which is smaller: -173 or v?
v
Suppose -z - 2*z - 6 = 0. Suppose 12*u - 534 + 150 = 0. Let b be (u/24)/(-2 - (-5)/3). Which is smaller: b or z?
b
Let u = 52166977/697 - 74845. Is u at most as big as -1?
False
Suppose h = 5*s + 1140, -4*s - 325 = -5*h + 587. Suppose -902 = 4*g - 5*b, -43*b - 466 = 2*g - 38*b. Is s not equal to g?
False
Let y be (14235/1890 - -2) + -10. Is 0 < y?
False
Let y be 75/30 + (-8 - -3 - 2572/(-8)). Which is smaller: y or 2235/7?
y
Let t = -29.87 + 36.87. Which is smaller: 4/29 or t?
4/29
Suppose -12 = 2*h - 170. Let b = h + -81. Is b bigger than 5?
False
Let s(m) = -m**2 - 7*m - 4. Let r be s(-6). Let p be (-10)/(-36) - r/4. Let a = 10942.1 + -10985.1. Which is smaller: a or p?
a
Let h = 69 + -75. Let r be h/(-4)*-58*1/(-3). Let c = -30 + r. Which is smaller: 2/11 or c?
c
Let c(j) = j**3 + 34*j**2 + 28*j - 163. Let l be c(-33). Is l bigger than 11/14?
True
Let a = 10653.433 + -10486.3. Let g = -167 + a. Is -1 greater than g?
False
Let p = -10.37 - -111.37. Let t = 0.019 + 101.981. Let b = p - t. Is 2/9 > b?
True
Suppose 5*f - 5*x = 20, -2*f - x = 18 - 17. Is 3/2560 greater than f?
False
Let x = 63 - 59. Suppose -16*g = -12*g + x. Let h be 5/3 + g - (-4 + 1). Which is smaller: 0.1 or h?
0.1
Let i = 0.0808 - -0.5802. Let o = -0.061 + i. Is o less than 2/91?
False
Let c = 22564 - 22565. Is 7/345 bigger than c?
True
Let y = -38961/5 + 7819. Let c = 4531/170 - y. Which is bigger: 0 or c?
0
Let x be (-2 - 21/(-6)) + (-243)/(-2). Let w = -22 + x. Do w and 101 have the same value?
True
Let p = 47.2 - 8.2. Let n = 102596 - 102593. Do n and p have the same value?
False
Let u = 76 - 2. Let f be (-2 - -13) + (-6 - -69). Is u >= f?
True
Let h(u) = 6*u**2 - 268*u + 95. Let w be h(19). Which is bigger: -19816/7 or w?
-19816/7
Let b = 1/2422455 - -73140563/230710. Let c = 317 - b. Is -1 equal to c?
False
Let y(h) be the third derivative of -h**5/40 - h**4/8 - h**3/3 + 11*h**2. Let b(k) be the first derivative of y(k). Let l be b(5). Are l and -18 nonequal?
False
Let m be 1/(4 - (-3)/(126/(-174))). Let w be m/28 - 11/(-44). Which is greater: w or -2/11?
w
Let c = -2041 + 2084.92. Let t = c + -44. Which is bigger: t or 4?
4
Let l = -146 - -149. Suppose -3*g + 0*g = 3*z - 108, z - l = 0. Which is smaller: 35 or g?
g
Let y(x) = x**2 + 9*x + 9. Let k(q) = -14*q - 78. Let h be k(-5). Let r be y(h). Which is smaller: 20/33 or r?
20/33
Let q(c) = -8*c**3 + 15*c**2 + 10*c + 24. Let u be q(-10). Which is smaller: 9426 or u?
u
Let c be (17 - 11) + ((-62)/(-155) - (-32)/(-5)). Let h be (1 - -2)*2/(-478). Which is smaller: c or h?
h
Let l = -200 - -217.2. Let q = l - 10.2. Let v = -1.004 + 0.004. Which is smaller: v or q?
v
Let p = 3 + -2.8. Let a = -807.43 - -814. Let f = a + -3.87. Is p < f?
True
Suppose 29*h - h = 4900. Let n = h - 17. Is n >= 159?
False
Let k be (2/216*4)/(3/9)*3. Is 35/11 >= k?
True
Let d = 7.8 - -214.2. Let c = d - 209. Which is smaller: 9 or c?
9
Let d = 7.768 + -7.766. Let o = 2 + -1.898. Let u = o - d. Which is greater: u or -7?
u
Let y = -244/3705 - -2/65. Let r = -44 + 48. Suppose -r*l - 4*g = g + 5, -2*l = -2*g - 2. Which is smaller: l or y?
y
Suppose -114 + 84 = 5*w, 3*s = -3*w - 8103. Is -2696 at least as big as s?
False
Let a = -39217.75 + 39217. Suppose -3*k = 2 + 4. Is k < a?
True
Let u = 20 - 16. Suppose -u*s - 28 = 140. Suppose 8*c + 224 = -104. Which is bigger: s or c?
c
Suppose 4 = -25*m + 27*m. Let r be (m + -3 + 1)*1/2. Let n be