5*v(w). Let p be c(-5). Suppose -43*z + 5829 = 5356. Is p greater than z?
False
Let o = -25582 - -25044. Is -0.19 greater than o?
True
Let r = 5.86 + -3.02. Let a = r - 2.84. Which is greater: a or -0.47?
a
Let p be 5/2*(-3 + 1). Let h be ((-27)/(-6))/9*(0 + 0). Suppose -3*m - 2*m = -5*q - 20, h = 2*m. Is p less than or equal to q?
True
Let b be (-12)/(-14)*(-8 - -22)*-1. Let l be (-8)/48 + (-206)/b. Let z be (-93)/(-9)*3/2. Is l less than or equal to z?
False
Let n(h) = h**3 + 22*h**2 - 43*h - 15. Let u be n(-23). Let d = u - 381. Which is greater: 65 or d?
65
Let j = -1/8008 + -5077/152152. Does j = -1?
False
Let u = 2448878/416763147 + -2/305769. Let b = u + -1106/652877. Which is smaller: b or 1?
b
Suppose 0 = -3*b + 4*b - 55. Suppose -v = -m + v + b, 0 = 2*v - 8. Is 63 > m?
False
Let d be -2*4/5400*3/(-2). Let t = d + -3379/1800. Which is bigger: -3 or t?
t
Let t be -1 + (-1)/((-15)/6). Let k = -83 + 78. Let p be 3*(k + 13/3). Which is greater: t or p?
t
Let x(l) = 5*l**3 - 9*l**2 + 17*l - 4. Let g = 17 - 13. Let m(b) = 6*b**3 - 9*b**2 + 18*b - 3. Let z(c) = g*m(c) - 5*x(c). Let r be z(8). Is r equal to -31?
False
Suppose i + 2*k + 163 = 6*k, 11*k = 77. Are i and -2846/21 unequal?
True
Let q = -29 - -30.1. Let p = -57.1 + q. Let j = p + 57. Which is greater: 4 or j?
4
Let g be 93423/(-39) - (-366)/793. Is -2398 >= g?
False
Let c = -2 - -4. Let o = 103 - 94. Let h be -1 - ((-82)/32 + -8 + o). Which is smaller: h or c?
h
Let x = -141.059 + 141. Let j = -55.941 + x. Let f = 58 + j. Is f greater than 3?
False
Let v = -10818 - -10483. Which is bigger: v or -3357/10?
v
Let c be 946/(-4)*(-18)/(-24)*-8. Let l be 13/((-1001)/c) - (-8)/(-14). Is -19 bigger than l?
False
Suppose 4*d + 140 = w - 61, 5*d + w = -240. Let q be 9/(-6)*(-4 + -2). Let i be (-7 + 3/q)/((-4)/(-30)). Which is greater: i or d?
d
Let l be (-3)/(-5)*(2 + -1)*5. Let s = -1118 + 782. Let y be 6/(-132)*s/4. Is y > l?
True
Suppose 390 = 7*i + 4*i - 347. Let l(t) = 8*t**2 + t. Let b be l(-3). Is b at most as big as i?
False
Let b(z) = 306*z**2 - 81*z - 51. Let o(x) = 19*x**2 - 5*x - 3. Let t(l) = 4*b(l) - 66*o(l). Let y be t(2). Is -115 at most as big as y?
True
Suppose -3*r = 3*z + 321, -3*r - 204 = -r + 4*z. Let y = r - -55. Let s be y/153 - (-2)/6. Is s >= 1?
False
Suppose 0 = w - 27 + 15. Let r be w/(-8) - ((-1)/(-2) + -2). Is r at least -3/212?
True
Let w be 22/((-4*65/(-50))/((-24)/(-5))). Is 19 smaller than w?
True
Let x(k) = 4*k**2 + 95 + 102 - 211 - 3*k + k**3. Let h be x(-3). Suppose -h = -3*y + 53. Which is greater: y or 18?
y
Let q be 29*(-23)/(-3) + (344/6)/86. Suppose -p + 5*o = -234, 23 = 2*p + 2*o - 421. Is p at most as big as q?
False
Let x(d) = -2*d**3 + 20*d**2 - d + 6. Let r be x(9). Is r bigger than 479/3?
False
Let v = 286473/53 + -5405. Let m be 392/91 + -4 - (-28)/(-91). Which is smaller: v or m?
m
Suppose 565*q + 1093081 + 2845064 + 120815 = 0. Which is smaller: -7188 or q?
-7188
Let v = 9311 + -8647. Which is bigger: v or 2/9?
v
Let k = 6.3 + -6. Let s = -10556 + 10585. Does k = s?
False
Let h(k) = -k**2 - k. Let c(y) = -y**3 - 2*y**2 - 2*y + 9. Let r(n) = c(n) - 3*h(n). Let q be r(0). Suppose m + 8*m = -q. Is m at least as big as 2/103?
False
Let m be (-1)/(-12)*8 - (-3230)/42. Let y = m + -3177/35. Which is smaller: -14 or y?
-14
Let j(g) = g**3 + 29*g**2 + 19*g - 25. Let l be j(-25). Let w be (12/15)/(70/l). Is w smaller than 23?
True
Let m be (-15)/50 - 318/(-60). Let r(p) be the first derivative of -3*p**2/2 + 14*p + 1. Let n be r(m). Is n > -1/100?
False
Let h be 0 + 1/((-2)/(-2)). Let z be 12/9*18/12. Let j be (8/(-22))/z - 14592/(-72512). Which is greater: j or h?
h
Let k be -8 - (2150/(-30) - -5)/((-1)/(-3)). Is k bigger than 183?
True
Suppose 6*z - 6 = 12*z. Let m = 18099637 - 705833774/39. Let q = -1335 + m. Is z bigger than q?
False
Suppose p + 2*z = 7 + 1, 5*p = -2*z + 24. Let j be 177/261 + (-2)/p. Let g = -10/29 + j. Which is greater: -4 or g?
g
Suppose -612 = 47*q - 83*q. Suppose -5*s + 25 = 0, m + 2*s + 0*s = 48. Is m smaller than q?
False
Let r = -987 - -1550. Let w = r + -592. Which is greater: w or -10?
-10
Let c = -4.147 + 4.447. Is -179 > c?
False
Suppose 0 = -573*u + 579*u + 84. Let w be (1/(-2)*2)/(14/u). Is w <= 6/247?
False
Let b(j) = -9*j - 20. Let k be b(10). Let f be 341/k - (-1)/10. Let l = 30 + -34. Is f >= l?
True
Let r = 504 + -970. Let f = r + 293. Is -174 at most f?
True
Let z = -3474 - -2109. Which is smaller: z or -1366?
-1366
Suppose 2*j + 3*x = 22, 5*j - 2*j + 4*x = 31. Suppose 3*q + 129 = -5*i, -j*i = -0*i - 2*q + 139. Which is smaller: -26 or i?
i
Let f(n) = -n**3 + 5*n**2 - 5*n - 4. Suppose q = 2*c + 4, 13*c - 18*c = q - 4. Let l be f(q). Is l bigger than -28/3?
True
Let r = 847007/36 + -23529. Which is bigger: r or -2?
r
Suppose 6*v - 182 = 40. Suppose -79 = -3*l - 4*r, 5*l + 0*r - 4*r - 185 = 0. Which is bigger: l or v?
v
Let j(t) = 4*t**3 + 11*t**2 - 9*t - 2. Let k be j(4). Let q = k - 3548/9. Which is greater: 25 or q?
25
Let d = -12068 + 12065. Is -70.5 <= d?
True
Let k be (3 - (-9)/(-15))*200805/99. Which is smaller: k or 4869?
k
Suppose -5*o + 4*c = 116, 3*c - 70 = 3*o + 2. Let p(i) = i**3 + 19*i**2 - 19*i + 18. Let j be p(o). Let g = -43 + 40. Are g and j nonequal?
True
Let z be (3 + 10/12)*7/(-14). Let p = z + 163/60. Suppose 5*b - 14 = y, -b + 4 = y - 0*b. Which is bigger: y or p?
y
Let v(i) = 65*i + 3. Let n be v(-7). Let o = n - -14918/33. Let g = 140 + -140. Which is bigger: g or o?
o
Let x = 38.66 + -40.56. Is 2.8 greater than or equal to x?
True
Suppose -3 = -4*k + 1. Suppose l + 31 - 26 = 0, 3*z - 3*l = 42. Let r(x) = x**3 - 8*x**2 - 9*x + 1. Let b be r(z). Are b and k equal?
True
Let g = -13.9 - -14. Let k = g - 0.2. Let l = 4 + -2.8. Which is smaller: l or k?
k
Suppose 6 = -x + 3*y, 2*x + 4 = -3*y + 10. Let i be 384*2/(-111) + 3 + 4. Is i > x?
True
Let j = -5326 - -5036. Is -297 > j?
False
Let a be (-72)/252 - (-61)/238. Let j = 24 + -24. Is j bigger than a?
True
Let b be ((-1 - -2) + -81)*(-13)/234. Let m(a) = -10*a + 135. Let x be m(13). Which is bigger: b or x?
x
Let p = 996/29 + -510542/14877. Is 0 at most p?
True
Let v = 699 - 699. Let t(a) = a**3 - 2*a**2 - a - 1. Let h be t(2). Let i be (6/4)/(h/68). Is i greater than v?
False
Suppose -h - 1 + 3 = 0. Let n be (54 + -50)/(0 - -2). Suppose w + 10 = 3*c + c, -4*c + 16 = n*w. Are w and h equal?
True
Let y = 2621 + -2496. Which is smaller: 126 or y?
y
Suppose 20*v = 16*v + 20. Let n(w) = 2*w**2 - 10*w + 23. Let z be n(v). Let q be (22*2)/(-5 + 7). Is q greater than z?
False
Let d = 357638 + -8224081/23. Which is bigger: 70 or d?
70
Let l = 206 + -185. Let u = 2995/154 + 4/77. Do l and u have the same value?
False
Suppose 0 = 298*m - 291*m - 203. Is 28 < m?
True
Let w = 857 - 1680. Is w > -824?
True
Suppose 4*w - 23 = 101. Let n be ((-198)/132)/((-328)/(-2240) + 1/(-5)). Which is bigger: n or w?
w
Suppose -7*k = 5*k - 96. Suppose 18*z = 22*z - k. Suppose 2*f - 4*f = z*x, -4*f = 5*x. Which is bigger: x or -5/17?
x
Let i be 4/(-10) - 52/(-130). Let t = 2/1935 - 908/129645. Is i greater than or equal to t?
True
Let q = -4046/9 - -450. Which is smaller: q or -6/13?
-6/13
Let s be (-1)/3*(1/(-7) + (-1826)/154). Is s < 71?
True
Let j = -402 + 268. Let t = j + 100. Which is bigger: t or -35?
t
Let v be 239 + (-50)/15*(-42)/(-35). Let r be 8/v*155/62. Which is bigger: 0 or r?
r
Suppose -q + 5 = -13. Let c be (-15)/(-2)*88/(-66). Let b(v) = -2*v**2 - 22*v - 1. Let i be b(c). Are i and q equal?
False
Let w be -1 - (-1126)/920 - 9/36. Let q = 639/1955 - w. Let s = -0.62 - 0.38. Is q at least as big as s?
True
Let g = -81 - -62. Let k = 39 + g. Let i be (-1)/k*5/2. Is i greater than -1?
True
Let i = 69/172 + -13/86. Which is bigger: i or 1890?
1890
Suppose -2*i = 3*l + 141, 5*i + 124 = 5*l + 334. Let y be (-2)/8 + l/12 - -3. Which is greater: y or -1/55?
-1/55
Let c = -1640 + 1645. Which is smaller: -274 or c?
-274
Suppose 9 = u - 0*u + 3*k, -19 = 4*u + k. Suppose 15*d = d + 518. Let c = d - 41. Is c != u?
True
Let k = 1865.3 - 1764. Let t = 102 - k. Is t equal to -8?
False
Let a = 13.6 - 10.9. Let x = 4.7 - a. Which is bigger: -14 or x?
x
Suppose y = -3, 0 = -a - 2*y - y + 1. Let b be (-4 - 2)*-4*5/a. Does b = 58/5?
False
Let p(d) = d**2 - 16*d - 14. Le