= -5*g - 15, 666 = -3*y - 7*g + 3*g. Let h = y + 215. Is 1 greater than or equal to h?
True
Let c(y) = -51*y**3 - y**2 - 2*y - 1. Let n be c(-1). Suppose 9*k - 11*k - 437 = q, -2170 = 5*q + 5*k. Let f = q - -483. Is n at most as big as f?
True
Suppose 0 = 47*c - 47203 + 51715. Suppose 0 = 3*b + 3*x - 9, 0*b = -4*b + x - 13. Let u be ((-93)/2 + b)*2. Which is smaller: c or u?
u
Let r be 3 + (-674)/80654*2154*(-9)/(-54). Which is smaller: r or 1?
r
Suppose -62*i - 630 = i. Let l be (-3)/(i/(1490/3)). Is 153 <= l?
False
Let c(k) = -6*k**2 - 25*k - 224. Let j be c(-19). Let v be (2/6)/(j/(-30)). Which is smaller: v or 1?
v
Suppose -3486 = 42*u + 41*u. Which is smaller: -104 or u?
-104
Let k = -166 - -510. Let u = -344 + k. Are -9.2 and u nonequal?
True
Let f be 138402/963522 - (-1*1)/(-7). Let c = 20438/58627 - f. Which is greater: c or 1?
1
Let b = -666 + 733.4. Let i = b + -67.438. Is i bigger than 0.1?
False
Let w = -366 + 361.82. Let o = -0.18 - w. Which is bigger: o or -3?
o
Suppose -13*v + 19*v = 40*v - 2142. Do v and 190/3 have different values?
True
Let k be (-60)/(-40) + (-1550)/1035. Suppose -3*z = 2*h - 10 - 7, 2*h = -z + 7. Is h at least as big as k?
True
Let s be 16/(-6) + 2 - (-2146)/6. Suppose -s = d + 6*d. Let o = -52 - d. Does -2 = o?
False
Suppose -13 = -4*z - 5. Let i be 0/6 - (-10)/z. Let w(b) = -b**2 + b + 15. Let y be w(i). Which is smaller: y or -6?
-6
Let t(u) = -u - 17. Let r be t(-13). Let b be 3 - (r + 11)*11. Let x = -76 - b. Is -1/10 > x?
True
Suppose 0 = -4*h, 75 = 4*f + 3*h - 17. Let i(n) = n**2 + 4*n - 20. Let c be i(-9). Which is smaller: f or c?
f
Let m = -61 + 60.6. Let p = 0.27 + m. Let g = -0.03 - p. Which is bigger: g or -24?
g
Let d = 14415 + -14387. Let o = -25/2 + 71/6. Is d less than o?
False
Let s be 28/77*220/75*(-30)/(-144). Suppose 5*u = 3*f + 281, 3*f - 143 = -4*u + 71. Which is smaller: s or u?
s
Let b = 137 - 135. Let f(u) = -u**2 - 3*u + 5. Let l be f(b). Is l greater than -15/4?
False
Let h be 1/(-3) + (-933)/(-270). Let f = -19/10 + h. Suppose 488 + 223 = 416*o - 121. Which is smaller: o or f?
f
Let z = -8763876331/2828416440 - -17/2118664. Let n = z + -2/1335. Which is bigger: -2 or n?
-2
Let c(x) = x**3 + 19*x**2 + 57*x + 139. Let z be c(-16). Which is smaller: -160/39 or z?
z
Let b = 263/3 - 87. Let z = 1.96 + 30.04. Let u = -56 + z. Which is bigger: u or b?
b
Let d(b) = b**2 + b + 5. Let l be d(0). Let g = 7 - l. Let t be ((-19)/(684/(-135)))/((-5343)/(-1096)). Which is smaller: t or g?
t
Suppose 811 = l - 3*s, 4*l - 3*s - 2*s = 3209. Let a = 70049/88 - l. Suppose -87*q + 24 = -63. Which is smaller: a or q?
a
Let j = 1489 - 1486. Which is bigger: 2/7 or j?
j
Let h be -5 - (1/((-6)/(-4)))/((-6)/36). Is -41/22 > h?
False
Let s be ((-23856)/704)/3 + 11. Which is bigger: s or 1?
1
Suppose -4*p - 186 = -34. Suppose -94*h - 456 = 98*h - 180*h. Is h equal to p?
True
Let a be 1 + 1 - (178 - 10). Let y = a + 163. Is y < -8?
False
Let f = 189 + -189. Let v be 165/(-9)*((-243)/30 - -8). Is f smaller than v?
True
Let h be (-325)/(-182) - (-4)/6*-3. Let d(q) = 5*q**2 + q - 2. Let i be d(1). Suppose 0 = -i*r + 2*r - 2. Are r and h unequal?
True
Let l be (-60)/5 + 19 + -678. Is -670 > l?
True
Let a = -0.047 - -0.157. Which is bigger: a or -1?
a
Suppose 4*a - 6*a + 210 = 0. Suppose 366*g - 40163 + 2099 = 0. Which is smaller: a or g?
g
Let r = -378 - -336. Which is smaller: r or -2?
r
Suppose 3*u - 4*u - 2*n - 28 = 0, 2*n = -2*u - 66. Is u >= -43?
True
Suppose 5*b = -2*c + 10*b + 10, -c + 5 = -b. Let d(v) = 11*v - 55. Let y be d(c). Is 4/7 > y?
True
Let a(w) = -177*w - 472. Let r be a(-2). Is -121 >= r?
False
Let d = 1.395 + -1.35. Let m = d - 0.645. Is -0.5 at least m?
True
Let r = 22 + -22.097. Let q = r + 0.144. Let n = -0.147 + q. Which is bigger: 15 or n?
15
Let y(v) = -7*v - 23. Let b(z) = -1. Let j(p) = -4*b(p) + y(p). Let i be j(-3). Suppose -t - i*f = 44, -3*f = -4*t - 19 - 102. Which is greater: -33 or t?
-33
Let l(c) = -c**2 + 3*c + 5. Let j be l(3). Let x(n) = -n**2 + 3*n - 5. Let d be x(j). Let g = -16 - d. Which is smaller: 0 or g?
g
Let k be (-2 - (0 - 4)) + 1. Suppose 5*y - k*n + 5*n = -33, 0 = 4*y - 5*n. Let q be 6 - (-5)/y - -4. Is -2 less than q?
True
Suppose 4*w - 8248 = 11*f, 9*f + 8208 = 4*w + 8*f. Is 2051 bigger than w?
False
Let o = 379 - 374.83. Let c = o + -1.57. Is c less than -2/11?
False
Let b(z) = z**2 - 2*z - 7. Let g be b(5). Suppose 0 = 2*o - 4*o + g. Suppose -16 = -4*m - 0*m - o*r, -3*m + 32 = -r. Which is bigger: m or 10?
10
Let r = 0.7863 + -0.3863. Let s = -0.049 - 27.951. Is s less than r?
True
Suppose -5*l - 12 = o, -2*l = 5*o + 20 - 52. Let d(t) = -t**3 + 33*t**2 + 10*t - 323. Let f be d(33). Is o at least as big as f?
True
Let f = -116319025/10649 + 10923. Which is bigger: 0 or f?
f
Suppose 6 = -2*b - b. Let d be 10*(-2)/882*(-89064)/(-1056). Let f = d - -1/294. Is f >= b?
True
Let r = 134.76 - -205.24. Which is bigger: r or -3?
r
Let p = 2/383 - -1909/1149. Let o be 4/(12/75)*25/125. Let q be (-65)/39 + (70/3)/o. Which is greater: q or p?
q
Let s(i) = -i - 43. Let t be s(-7). Let g be (-12)/t - 614*5/7584. Let h = g - -4/79. Which is smaller: -1 or h?
-1
Let k = -324 - -324. Let l be 0 + k - 36/(-19). Which is greater: 3 or l?
3
Let y be 207/12*(-2)/(-3). Suppose -24*c + 97*c - 1412 = -463. Is c less than or equal to y?
False
Let g = 20 - 9. Let r = -33 - -36. Suppose j = r + 8. Is g at most j?
True
Let l be (-6)/155*705/(-21). Which is bigger: l or 1?
l
Let b = 10057 - 10093. Which is greater: 0.131 or b?
0.131
Let x be (-1 + -9)*2*3/(-12). Suppose -4*k = -3*i + 186, 0 = -2*i - x*k - 34 + 135. Let v be (i/(-4) + 1)/(-3). Is v less than or equal to 6?
True
Suppose 5*b + 403 = 4*p, -13*p + 5*p + b + 779 = 0. Which is smaller: p or 2/381?
2/381
Let z(u) = 0*u**2 - 2*u**2 - 17 + 6*u**2 - 3*u**2 + 7*u. Let t be z(-9). Let p = -10 - -11. Do p and t have different values?
False
Let d(a) = a**2 + 14*a - 50. Let h be d(-17). Let c be (76 - 80)/(h + -11). Is 487 at least as big as c?
True
Let v = 216.4 + -216.51. Is 4.4 less than v?
False
Let b be (-249)/((-3)/(-7)*3157/(-82)). Is 15 at least b?
False
Suppose -906*v + 1788*v + 11832 = 894*v. Is -1/3 greater than v?
False
Let r(w) = 2*w + 6. Let q = -17 - -17. Let n be r(q). Suppose -n*v = 19 + 23. Which is bigger: v or -6?
-6
Let g = -186/41 - -124371/27388. Let i = g + -53/2505. Which is smaller: i or 0?
i
Let t(i) = -2*i**2 + 131*i - 294. Let z be t(67). Which is bigger: z or -511?
z
Let c = -435 - -433.6. Let l = -1.39 - c. Is l bigger than -15?
True
Let r = -4419 + 225374/51. Which is smaller: r or 6/11?
r
Let o = -31741.3 - -31742. Which is smaller: o or 1/246?
1/246
Let x(u) = u**3 - 67*u**2 - 75*u + 437. Let p be x(68). Is p > -37?
False
Let r = 34 + -26. Suppose -5*l + r*l = -492. Let b be (3 - 1) + l/36 + 3. Is -1 less than or equal to b?
True
Let f be (-2)/6*(-1 - -4). Let p(h) = -h**2 + 17*h - 22. Let c be p(15). Let w be 0/2 - 18/c. Is f greater than w?
True
Let c(x) = x**3 - 7*x**2 - 18*x + 37. Let b be c(-3). Which is greater: -12/1253 or b?
b
Let r = 12.4489 + -0.1589. Let d = r - 12. Let s = 0.21 + d. Is -2 != s?
True
Let q = 23.956 - -0.044. Let d = q + -16. Let y = 12106.9 + -12107. Which is smaller: d or y?
y
Let v be (13/(-2) + 5)*-2. Let n be 45/(-3)*(0 + 1)/v. Which is smaller: n or 5?
n
Let i = -655/17 + 77/2. Suppose 25 - 30 = -5*t. Is i bigger than t?
False
Let q(r) = 2*r**2 + 6*r - 6. Let a be q(-8). Suppose 5*j - 3*t = -60 + 425, 3*t + 213 = 3*j. Which is bigger: j or a?
j
Let s be (-39)/26*118/3. Let p = s - -63. Suppose l - p = 5*l, 4*o + 4*l - 20 = 0. Which is smaller: o or 1?
1
Let n = -4531 - -4543.9. Which is greater: 18 or n?
18
Let d = -2 - -12/5. Let v be ((-32)/(-12))/(-2)*(83 - -1). Are v and d equal?
False
Let g(d) = -2*d**2 - 69*d + 1304. Let t be g(22). Is t at least as big as -1182?
True
Suppose -2*s + 430 = 3*s. Let t = -81 + s. Suppose -5*w = -n + 377, -w = -2*w - t*n - 65. Is -75 greater than w?
False
Let g = 122 + -94. Suppose 36 = 4*u + g. Let v be (-8)/(-28) + u*51/(-14). Is -9 smaller than v?
True
Let q = 27 - 26.908. Let o = q + -8.992. Let a = o + 8.9. Is -3 not equal to a?
True
Let k be (-24272)/2696 - (-36)/4. Which is smaller: 0 or k?
k
Suppose -8*s - 25 = -3*s, -29 = 