/((-8 - -8) + -12). Let g = b + -48. Which is bigger: 4 or g?
4
Let l(i) = 2*i**3 + 30*i**2 + 31*i + 514. Let s be l(-15). Which is smaller: s or 12?
12
Let m be (-2 - 48/(-25)) + (-2185688)/(-2350). Which is smaller: m or 929?
929
Let q = 182 + -161. Let i be (q/112)/((-1)/36). Is i bigger than -6?
False
Suppose p = 3*o + 512, -5*p + 5*o + 3256 = 696. Suppose 10*q - 45 + 115 = 0. Let g be p/(-1694) + (-2)/q. Which is smaller: g or 1?
g
Suppose 22*f = 3*f + 11020. Let z be (f/360)/((-3)/(-9)). Suppose 3*n - 9 = -0*c - 2*c, -5*n + 40 = -5*c. Which is smaller: z or n?
z
Let q = 1035.2 + -1035. Suppose -m - 61 - 25 = 3*s, 3*m + 62 = -2*s. Let w = s + 49. Do w and q have the same value?
False
Let v = 247 + -744. Let s = -497 - v. Which is bigger: s or -24/37?
s
Suppose 14 = 4*g + 66. Let r(w) = -w**3 - 11*w**2 + 27*w + 6. Let b be r(g). Suppose -h + 5 = -2*h. Do b and h have the same value?
False
Let h be 16/40 - 6/(-45)*-303. Let r be 1/8 - 5/(h/(-113)). Let d = 10 + r. Is d at most as big as -2?
True
Suppose 810 = -57*j + 867. Is j greater than 1/3093?
True
Let s = -32.822 + -0.178. Let f = 32.994 + s. Is -1 less than f?
True
Suppose 0 = -h + 5*h - 20, 2*z = 5*h - 21. Let v be z*(2/4)/(6/(-6)). Is v <= 2/77?
True
Let z be (-2584)/(-6 - -10) + 14. Is 2 >= z?
True
Suppose 0 = -5*c + c + 12, 0 = 2*o - 4*c + 8. Let i be ((-224)/120 + o/10)*81. Which is smaller: i or -136?
-136
Let y = 261 - 253. Let k be 3388/(-26754) - y/(-52). Which is smaller: 0 or k?
0
Let r = 61.09 - 66.09. Is r greater than or equal to 1/217?
False
Suppose 0 = -2*s - 6, 3*s + 2*s = -r - 18. Suppose 0 = 2*b - h - 15 - 1, 4*b - 32 = 3*h. Let g be (45/b)/(-5) + (-6)/8. Is g greater than or equal to r?
True
Let s = -1580198.2 + 1580197. Suppose -4*b + 7 + 1 = 0. Suppose 0 = b*c - 0 - 4. Is c < s?
False
Let u be 4/(-8) - (-21)/(-2). Suppose 0 = -169*w - 25*w + 1475 + 271. Which is bigger: w or u?
w
Let l(m) = m**3 - 2*m**2 - 10*m + 11. Let r be l(1). Let u be 4/60*-37 + (3 - 0). Are r and u equal?
False
Suppose 10*b + 180 = 210. Suppose 5*i + 155 = -5*r, 0 = -5*r + 2*i + i - 195. Let v be 2/3 + (-111)/r. Is v greater than or equal to b?
True
Let a = 2.4 + 7.6. Let y = 5.94 - 4.5. Let v = y + -0.44. Which is smaller: v or a?
v
Let w be 70/(-3) + 8/(-12). Let v = -28 - w. Let y be (0 - 12) + 0 + (v - -5). Is y at least -2/5?
False
Suppose 136 = -11*a + 9*a - 3*y, 2*y = 5*a + 397. Is a at most 1?
True
Suppose 4*o = 83 - 15. Suppose 8 = -o*t + 25*t. Which is greater: -3/104 or t?
t
Let x be 58/1682*(-6)/(-15). Is x < 3?
True
Suppose 5075 - 1925 = 15*i. Let n be 1444/(-10) - (-84)/i. Which is smaller: -143 or n?
n
Let w(f) = 323*f**2 + 3*f + 3. Let b be w(-1). Let d = 322 - b. Which is bigger: d or -1/436?
-1/436
Let r = 184 - 145. Let b be (-52)/r*3/97. Which is smaller: 1 or b?
b
Suppose -3*p + 4*l - 626 = 0, 4*l - 899 = 5*p + 155. Is -214 < p?
False
Let a = 482 + -309. Let c = a + -159. Is c less than 6?
False
Let y = 93 + -57. Suppose -27*a + y*a = 0. Is a >= 1/412?
False
Let t = -8.396 - -7.876. Does 61 = t?
False
Suppose -34 = -5*r + 4*m - m, 5*m = -2*r + 26. Let q be (3/(-4))/((6 - r) + 5). Which is smaller: q or -0.097?
q
Let q = 24202.2 + -24202. Is q at most -404.5?
False
Let x = 3 + -1. Let b = 22 - x. Let r = -0.06 + 0.16. Which is bigger: r or b?
b
Suppose 2*z + 0*z = -4*z. Suppose 2*w + 10 = -0*w, -5*n - 4*w + 5 = z. Suppose 10 = 4*b - n*b. Are b and -9 equal?
False
Let h(u) = -u**3 - u**2 - 8*u + 233. Let o be h(-12). Which is bigger: -5 or o?
o
Let n(m) = 7*m**3 - 5*m**2 + 85*m - 164. Let w be n(2). Is 2/45 at least w?
False
Let j(c) = 29*c + 108. Let w(h) = 7*h + 27. Let b(t) = 2*j(t) - 9*w(t). Let x be b(-14). Let f = 44 - x. Which is greater: 5/22 or f?
f
Let o be (-50)/1400 - 55386/(-56). Which is bigger: o or 0.1?
o
Let y = 87.166 - 87. Let o = y + 0.034. Is -55 > o?
False
Let b be (70/(-3))/(4/12). Let n be (-200)/b*(5 + 2). Suppose -n = 3*x + 31. Which is bigger: -16 or x?
-16
Let i = -1.69 + 61.69. Let w = -58 + i. Is w at most as big as -96/11?
False
Suppose -5*p + o + 151 - 710 = 0, -p - 113 = o. Let f = 2533/20 - 1197/5. Which is bigger: f or p?
p
Let f(c) = 112*c - 1. Let r be f(0). Which is bigger: r or -1/22127?
-1/22127
Let m = -59 - -57. Let x be (2 + 119/(-70))/((-7)/m). Is x at most as big as 0?
False
Let g = 208 - 329. Let m be 2 + g/(-44) + 1 + -4. Is m at least 2?
False
Let k = 145 - 93. Let v = -52 + k. Let j = 94903/50 + -1898. Which is smaller: j or v?
v
Let a(q) = 19*q. Let w be a(3). Suppose -3*t - 100 = -16. Let j be (-6)/t*76/w. Which is smaller: 0 or j?
0
Let l = 1501 + -1544. Let i = -148 - -105.2. Let t = i - l. Which is greater: t or -4?
t
Let y = 10 - -3. Suppose y*g = 10*g - 60. Suppose 0*a - 28*a - 532 = 0. Is g at least as big as a?
False
Let n = -941.52 + 941. Is n > 10?
False
Let x be (-27)/36*(-4)/(-6)*-622. Are 310 and x unequal?
True
Let q = 0.079 + 0.121. Which is smaller: 85 or q?
q
Let s be ((-48)/(-60))/(1/(-10)). Suppose -29*i - 43 = 44. Is i bigger than s?
True
Let h be 1 - 1 - (-5)/15. Suppose s + 5*s - 120 = 0. Suppose s*a - 23*a = 0. Is a at least as big as h?
False
Let n be (-333)/6*8/(-6) + 0. Let q be 6/(-21) + (-1084)/28. Let f = n + q. Which is greater: f or 33?
f
Let m be 9 - 2/(6/(-9)). Suppose 0 = -g - g - m. Let z = 1.99874 + 0.00126. Is z > g?
True
Let d(n) = 19*n + 11. Let b(y) be the third derivative of -y**4/24 - y**3/2 - 37*y**2. Let z be b(0). Let t be d(z). Is -45 greater than t?
True
Let d = -434.07 - -1814.72. Let p = d - 1451.827. Let h = -0.177 - p. Which is smaller: h or 0.1?
0.1
Suppose 3*w + 4*d = 5*d - 189, -w - 3*d = 53. Let m = w - -62. Is m greater than 6/203?
False
Let q = 6/877 + -8228/946283. Which is smaller: q or 4?
q
Let x(z) = 74*z + 6957. Let c be x(-94). Let b be 2/26*(-4)/(-162). Do c and b have the same value?
False
Let w = -54337/2410256 - -17/1552. Is w at most as big as -1?
False
Suppose -7*l = -2*z - 2*l - 6, l = -2*z - 6. Let d be 570/(-135)*z/(-4). Let o = -774 + 772. Are d and o non-equal?
True
Let n = -209112/11 + 18986. Let f = -3 + -20. Which is smaller: f or n?
n
Let w = -14881 + 14881. Let s be 2/148*-202 + 3. Is w at most as big as s?
True
Suppose 4*d - 3 = 7*d. Let p be 0 + d + (3 - 0). Let g be p + -3 + 23/11. Which is bigger: g or 0?
g
Let r be 2 + (-106 - (-2 - -3)). Let i = r + 72. Suppose -249*w + 223 + 151 = -260*w. Is w less than or equal to i?
True
Let y = -1284 + 1305. Are 51 and y unequal?
True
Suppose -2*l + 4*j = 10, -2*j + 15 = -3*l + 16. Suppose 0 = y + m + 70, -l*y + 2*m = y + 262. Is y at least as big as -68?
True
Suppose m + 57 = 2*j, 259 = -167*m + 164*m - 5*j. Which is bigger: m or -2?
-2
Let h be (-1 + 0)/((-1 + 0)*1). Let a(z) = 9*z**3 + z**2 + z - 2. Let p be a(h). Which is smaller: 3 or p?
3
Let u = -1066 + 1043. Suppose 0*d - d = 23. Is d smaller than u?
False
Let x = 0.14 - -0.76. Let w = x - 1.1. Suppose -5*b + 25 = 0, g + 33 + 3 = b. Is w greater than or equal to g?
True
Let i be (-628)/(-26) + (-6)/39. Suppose w = i*w - 5405. Is w equal to 235?
True
Let j = -26 + 35. Suppose -18*n + 16*n = -452. Let q = 227 - n. Are j and q nonequal?
True
Suppose 6745 + 5120 = 74*s - 5081. Which is smaller: 95 or s?
95
Suppose -179*b + 183*b = 16. Suppose 0 = -j + j - b*j. Let l = 5617/36 - 156. Which is smaller: l or j?
j
Suppose 0 = 6*s + 2736 + 132. Let g = -548 - s. Is -70 at most g?
True
Let u = -3101 + 3195. Which is bigger: u or 89?
u
Suppose 109 + 26 = 5*q. Suppose q = 4*u - 93. Let r be u/(-9) - -2 - 0. Is 0 less than or equal to r?
False
Suppose 0 = -59*j + 61*j - 20. Suppose 0 = 5*g + 3*t + 15, -5*g + 5*t = 3*t - j. Suppose -14*v = -11*v - 6. Is g bigger than v?
False
Let o(v) = 40*v + 2. Let f be o(-2). Let n be ((-55)/(-11))/((-11)/(-858)*-5). Is f bigger than n?
False
Suppose -5*h = 14 - 79. Let n(y) = y**2 + 2*y - 9. Let l be n(0). Let w be (-138)/l + (-1)/(-6)*-2. Which is smaller: w or h?
h
Let l = 84 - 254/3. Suppose -4 = -q - 2*b + b, -5*b = -q - 2. Suppose 2*o = -o + q*r + 3, 0 = -4*o - 2*r + 10. Which is bigger: o or l?
o
Let f = -18.276 + 3.346. Let m = -15 - f. Let t = 1.23 - m. Which is greater: -1 or t?
t
Suppose 275*a = 99*a + 125*a + 306. Is 41/9 at least as big as a?
False
Let p = -28901 + 85862/3. Which is smaller: p or -280?
