 q = 489 + -525. Which is smaller: q or -47?
-47
Let x = 1109 + -660. Let m = -441 + x. Is m at most as big as 50?
True
Let y be (-33)/44 - (-865)/300. Let c = y + 187/60. Suppose 3*q = -0*q + 15. Is q at least as big as c?
False
Let i = -85 + 139. Let p = 70 - i. Let g = p - 19. Is 7/4 at least as big as g?
True
Let p(u) = -8*u**2 + 6*u - 8. Let l be p(2). Let x be (-66)/(-44) + 18/l + -1. Which is greater: -0.03 or x?
-0.03
Let y be 3 + (-222)/15 - 4/20. Let q be (((-9)/4)/(-3))/(y/(-288)). Let u = q + -26. Is u at most as big as -8?
True
Let t = -725 + 1073. Let i = 1741/5 - t. Which is smaller: 7 or i?
i
Let n = 11/20 - 9/5. Let z = -343 + 307. Let f = 39 + z. Which is greater: f or n?
f
Let m = -30 - -34. Let k be 3 + (m/10 - 2848/(-80)). Which is smaller: 44 or k?
k
Let w = 52 - 100. Let j = w - -48.4. Which is smaller: -1 or j?
-1
Let b be ((-6)/5 - -1) + ((-218240)/(-200) - 21). Which is smaller: b or 1071?
b
Let i be (2/(-3))/(6/(-27)). Let m = -70.7 + 70.7497. Let j = -0.0997 + m. Which is smaller: j or i?
j
Suppose 0 = -x + 36 - 90. Let m = 94 + x. Suppose 9*d = d - m. Is -6 at least as big as d?
False
Suppose 0 = 49*k - 19*k + 60. Let w be ((-2555)/70)/(k/(-4)). Which is smaller: -3 or w?
w
Let m = -411 + 755. Let i = m - 345. Which is smaller: -1/222 or i?
i
Suppose 56 = 20*d - 27*d. Let m be (d/20)/(64/200). Is m at least as big as 33/2?
False
Let j = 6129.8 - 6223. Which is bigger: j or -4/7?
-4/7
Let r be ((-24)/(-198))/2 - (-830)/(-13992). Which is greater: 1 or r?
1
Let r = 2568550106/127169 - 747408/37. Let t = r + 2/491. Let g = 9 + -11. Is t != g?
True
Suppose 17*a = 15 + 53. Suppose b - 94 = -a*q, 2*b = -b + 5*q + 299. Which is greater: b or 100?
100
Let s = 59.99 - 362.99. Is -0.1 greater than or equal to s?
True
Let u = -445/7 + 442/7. Let b = -816 - -77518/95. Is b less than u?
False
Let v be 0 - 0/1 - -453. Suppose -i - 1357 = -3*h, -9*i - 447 = -h - 14*i. Is h >= v?
False
Let o be (-2)/(-3*(-4)/(-36)). Suppose 2 = -4*c + o. Which is greater: -3 or c?
c
Let x be ((-6)/1014)/((10/15)/((-40)/(-12))). Is x at most -8?
False
Let z be (-2 - 20/(-8))/((-3)/(-546)). Suppose -z = -2*k + 3. Let x = k + -46. Is x less than -4/17?
False
Let j(p) = -13*p + 29. Let a be j(2). Let c be a/(-15) + 69/(-5). Which is greater: c or -25?
c
Let o = 138603 + -138597. Let x = 356491/74096 - -6/4631. Which is bigger: x or o?
o
Let z(y) = -y**3 + 5*y**2 + 8*y + 37. Let i be z(7). Let d be ((-2076)/(-300) + -7)*i/(-1). Is -324 greater than or equal to d?
False
Let n = 224 - 226. Let m be 3/(-84)*(20 + n). Which is greater: -2 or m?
m
Let u be 5/50*6 + (-26)/10. Let l be (15/(-35))/((-70)/36 - u). Which is smaller: l or -8?
-8
Let s(b) be the third derivative of b**6/120 - b**5/15 - b**3/2 - 23*b**2. Let j be s(5). Let x be 6/14 + j/(-35). Which is bigger: x or -1/7?
-1/7
Let z = -160.5475 + 0.2475. Let f = z - -133. Let d = f + 27. Are d and 1 nonequal?
True
Let x = 2.619 - 3.019. Is x >= 184?
False
Suppose 3*a + 12 = 0, -39 = d - 2*d - 2*a. Suppose -6 + 3 = -3*m. Let b be (129/9 + m)*6/2. Does b = d?
False
Let i = 26 + -36. Let h = 39 + -17. Let u be ((-11)/h)/((-2)/(-48)). Which is bigger: i or u?
i
Let v(z) = -28*z**2 + z - 6. Let p be v(3). Let k be (-984)/164 - (0 + -125)/(3/(-6)). Which is bigger: k or p?
p
Let o be -3 + 3 + 2 + (-4066)/2340. Let r = o + 1/234. Let x = 11.8 + -11.9. Is x <= r?
True
Suppose 3 = -3*t - 3. Let f be t/6 - (-3 + 4/2). Which is bigger: 0.2 or f?
f
Let p be (-10)/(-20)*(-2 - -8). Suppose -2*v + v + 20 = -4*m, 5 = -p*v - m. Suppose -40 = -5*t + w, v = w + 2*w. Which is smaller: t or 7?
7
Let k(d) = -10*d + 138. Let b(h) = h**2 + 29*h + 42. Let n be b(-28). Let q be k(n). Is -5/6 at most q?
False
Let s = -548193/33880 - -9/4840. Let f = s + 115/7. Which is bigger: f or 5?
5
Let u = -47 + 21. Let d = u - -41. Let c = d - 12. Is 0.05 at least as big as c?
False
Let j = -0.03 - 0.04. Let x = 1.67 + j. Let r(n) = -18*n - 1045. Let q be r(-58). Is x at least q?
True
Let x = -13.573 + 13.673. Is x > -7623?
True
Let q = 261747 - 2007337737/7669. Is 0 at most q?
True
Let t = -18481/130305 + 1/1533. Let f = 18/85 - t. Let d = 356 - 357. Which is smaller: d or f?
d
Let n be (-83 - 3)*(-1 - 30/(-20)). Let q be (-912)/20 - ((-36)/(-10))/(-6). Is n smaller than q?
False
Let o be 5 + 116259*(-2)/48952 - (-2)/(-8). Which is greater: 0 or o?
o
Let t be ((-6)/(-890)*(44 - 34))/(15/70). Which is smaller: t or -1?
-1
Let c(l) = 4*l**3 - 10*l**2 + 4*l + 25. Let a be c(5). Let k = a - 1462/5. Which is greater: k or 3?
3
Let t be (-6)/4*(-76)/(-2 - 17). Are -21/5 and t nonequal?
True
Suppose 5*h = 4*z - 456, -4*h - 926 = 2*z - 1128. Which is smaller: z or 107?
107
Let o(w) = 2*w**3 + w**2 - 6*w - 3. Let p be o(-3). Let d = p + 34. Suppose 0 = 2*x + x - d*x. Is 0 at most as big as x?
True
Let l = -15127 - -72049903/4763. Is -1 < l?
True
Let n = 3.79 - 1.94. Let y = -1.936 + n. Are y and 0.1 equal?
False
Suppose -5*t = -m + 1517 + 2337, 4*t - 3*m + 3092 = 0. Is -5394/7 <= t?
True
Let p = -4795 - -4794. Which is smaller: p or 3/812?
p
Suppose -5*x = -l + 39, x + 3*l = -4*x - 43. Let g be 2/x + (115/4)/(-1). Suppose 151 = -2*o - 3*o + 4*r, -4*o - 3*r - 96 = 0. Do o and g have the same value?
False
Let o be 5/(-2)*(-12)/15 - (-3630)/(-1860). Which is greater: o or -0.04?
o
Let o = 3545.344 + -3640.3. Let f = o + -0.044. Is f bigger than 0?
False
Suppose -2*v - 33 - 55 = -3*q, -3*q + 141 = -3*v. Is -53 < v?
False
Suppose 1706*r - 1708*r + 4*s = -20, 2*s + 10 = -r. Let k = 1 - 25/18. Which is greater: r or k?
r
Let k = -244 - -220. Let b = k - 135. Which is bigger: -1/2 or b?
-1/2
Let o be 3 + (-15)/6 - 1. Suppose 68*j + 3*j - 3789 - 2530 = 0. Which is smaller: j or o?
o
Let f = -5400 + 5401. Is f less than or equal to -3/14?
False
Let u = -7 - -1. Suppose 5*z = -3*p - 0*z - 18, -5*z = 4*p + 19. Let c be (p - (2 + -4))/((-2)/2). Which is smaller: u or c?
u
Let f(y) = 30*y - 1180. Let o be f(45). Which is greater: o or 178?
178
Let a be (9 - -6)*((-2)/5 + 1). Suppose a*i - 1033 + 367 = 0. Which is bigger: i or 75?
75
Let k = -0.00257 + 0.00257. Which is greater: -0.024 or k?
k
Suppose -3*v = 4*m - 71, -95 = -5*m + 2*v - 7*v. Suppose 5*u - 2*u = 0, -2*h + 2*u = 3*u + 18. Is h > m?
False
Let n = 175/109 + -503/327. Which is greater: 1 or n?
1
Let p = 97.1 + -95. Let d = p + -4.1. Which is smaller: d or 61?
d
Let p = 2138 - 2137. Is 42/41 less than or equal to p?
False
Let f = -39/4 - -1061/108. Let x = -21 - -27. Suppose 0*t = x*t + 6. Which is bigger: t or f?
f
Let k be ((-28)/(-18))/(328/30996). Is 119 < k?
True
Let s be (16/(-12))/((-2)/1227). Is 819 smaller than s?
False
Suppose 4*g - 5*u - 14 = 36, -5*g = 3*u - 81. Let c be (-1 - (-18)/g)*0. Which is smaller: 2 or c?
c
Suppose i = 4*g - 36, 0 = 3*i - 6*g + 8*g + 150. Let t(m) be the third derivative of m**4/8 + 11*m**3/2 + 8*m**2. Let j be t(-27). Is i less than j?
False
Suppose 32*m + 162*m + 2109 = -607. Is m equal to 1/52?
False
Let z(j) = -2*j + 9. Let y be z(7). Let d(g) = 2*g**3 + 3*g**2 - 5*g - 13. Let a be d(y). Is a at least as big as -163?
True
Suppose -r + 2*d + 62 = 0, -2*d - d - 119 = -2*r. Suppose -403 - 15 = -7*j - 54. Is j < r?
False
Let k(o) = -o**3 - 26*o**2 + 26*o - 17. Let l be k(-27). Suppose -5*z = s - 114, 3*s - l = 2. Which is bigger: -0.1 or z?
z
Let b = -2727 + 992. Is -1736 >= b?
False
Let s be (-7 + 14)*(-4)/(-2). Suppose i = 4*p - s, 12*p - 8*p - 24 = -4*i. Let d(a) = 5*a - 1. Let n be d(1). Which is bigger: i or n?
n
Let m = -248750 + 384816304/1547. Which is bigger: 1 or m?
1
Let y = 3961 - 4661. Which is smaller: 0.3 or y?
y
Let h(l) = 339*l + 76. Let d be h(-9). Let i be -5 + 0 - 14775/d. Is i equal to 1?
False
Suppose 4895 = 4*x + 7*x. Let j = x - 2213/5. Which is smaller: j or 1?
1
Let z = 49 - 41. Suppose b - 13 = -z. Suppose -x - x + 22 = 5*r, -r = x - b. Which is smaller: 1/29 or x?
1/29
Let p be -16*(1 - -10)*9/18. Let w = 87 + p. Let b be ((-4)/(-165))/(2/3). Which is greater: w or b?
b
Let j = -821 - -822. Let g = -12860 + 64622/5. Let r = -64 + g. Is j < r?
False
Let d = 6869 + -16244. Is -9373 at most as big as d?
False
Let g = 290 - 290.095. Let j = 0.275 + g. Are j and -4 equal?
False
Suppose 0*s = 4*s + 4*k - 192, 0 = 2*s + k - 93. Suppose