2123. Is g <= 338?
True
Let w(h) = 11*h - 243. Let u be w(35). Is u less than 141?
False
Let x(v) = 3*v**2 + v - 6. Let w be x(-3). Suppose 2*z - 5*n + 35 = 0, 2*z + 62 = -4*n - w. Is -31 < z?
True
Let s = 1.9183 - -0.0817. Which is smaller: s or -3.7?
-3.7
Let s be 0*3/9*(-12)/8. Which is bigger: s or -11/24?
s
Let g(y) = y**3 + 2*y**2 - 3*y - 3. Let r be g(-2). Suppose 4*c - 5*u - 184 = 0, -r*c - 2*u = c - 184. Let j be -1 + c/26 - 1. Is j greater than 1?
False
Let a = 2177 - 6494/3. Which is bigger: a or -1?
a
Let g = -15 + 18. Let d be ((-2)/g)/((-45)/(-243)). Let f = d + 172/45. Which is bigger: -1 or f?
f
Suppose 0 = -4*b - 3 - 17, -4*b - 35 = -5*x. Let v be 2*x/12*0. Which is smaller: 1/2 or v?
v
Suppose 0 = -2*z + x + 16, -23*z = -20*z - 3*x - 24. Let a be (1/2)/((-2)/4). Is z != a?
True
Suppose 0 = -2*y + 6, 2*p + 3*y - 42 + 13 = 0. Suppose 8 = 5*h + 2*n - 6, -4*h + p = n. Which is smaller: 2/3 or h?
2/3
Suppose -3*u = 440 - 17. Are -140 and u equal?
False
Let f = 616 - 624. Let j = -10 + 6. Let a be f*(j/(-8) + 0). Is -21/5 at least a?
False
Let u = 73 - -14. Let h = -36 + u. Is -2 >= h?
False
Let j = -0.721 - -0.636. Is j >= 0?
False
Suppose -s + 5 = -4*p - 12, 0 = -s - p + 2. Let l(f) = -7*f + 14 - s*f + f + f**2 - 2*f. Let c be l(12). Are 2 and c equal?
True
Let b = 3607 + -32525/9. Let q be -3 + (3 - 3) + -4. Do b and q have different values?
True
Let k(o) = -3*o**3 + 2*o**2 + 3*o - 3. Let n be k(2). Let l be -1*(-4)/5*70/(-4). Which is smaller: n or l?
l
Let z = -488 - -481. Do z and -1/4 have the same value?
False
Let n = -47 + 31. Let c = n - -10. Let x = -108 + 102. Are x and c equal?
True
Let r = 2/807 + 536/807. Let j = 4.6 + -2.7. Is j less than or equal to r?
False
Suppose 3 = 4*f - 9. Let u be -4*18/4 - f. Let h be u/7 + 1 + 0. Is -4/7 <= h?
False
Let t = 52/9 + -979/171. Suppose 2*l = 5*p + 5, 2*p + 3*l - 7 - 10 = 0. Is t at least p?
False
Let q(f) = -3*f**2 - 18*f. Let o be 0*(-3)/(-6) + -6. Let u be q(o). Which is smaller: 1/25 or u?
u
Let d = -211/465 + 5/93. Is d greater than 12?
False
Let w(c) = -c**2 + c - 31. Let i be 36/(-12) + (-3)/(-1). Let d be w(i). Which is smaller: -95/3 or d?
-95/3
Let b(v) = -5*v**2 - 45*v + 6. Let i be b(-12). Which is bigger: i or -175?
i
Suppose -32 = -w - 116. Let y = 772/37 - -11754/185. Let g = w + y. Is g bigger than 0.1?
True
Let v(f) = -f**3 - 2*f**2 + 4*f + 1. Let b be v(-3). Let r be (b - -2) + (-15)/5. Is r less than or equal to -3?
True
Let q = 11464/11 - 1042. Do 111 and q have the same value?
False
Let g = 21 + -35. Let r = g - -17. Let z = -2 + 2.2. Is z less than r?
True
Suppose 0 = a + 4*l - 23, 0 + 19 = -2*a + 5*l. Suppose 0 = 4*p - 0*k - a*k + 8, -3*p = -k + 1. Which is greater: -1/11 or p?
p
Let s be (18/(-27))/((-2)/6). Suppose 0 = -8*g + 6 + s. Which is smaller: 4/9 or g?
4/9
Suppose 20*f - 6*f + 98 = 0. Which is smaller: f or 6/19?
f
Suppose -2*b = -3*u - 1, -4*b + 12 = 2*u + b. Which is smaller: 1/439 or u?
1/439
Let f = 157 - 82. Let p be 3 - (f/12 - -1). Is p equal to -3?
False
Let g(r) = -r - 14. Let n be g(-9). Let v be (-2146)/6*2/n. Let o = v - 143. Is o less than -1?
False
Let i = -3.81 + 0.81. Which is smaller: -0.075 or i?
i
Suppose 2*g - 2*f = -2, 3*f - 8 = f. Suppose 3*v + g = -0. Let a = -803/4836 - 1/1612. Which is smaller: a or v?
v
Let s = -69 - -71.7. Let b = -7.3 - s. Does b = -1?
False
Let l = -7 + 11. Suppose 3*x - 15 = 0, 4*y + l = -2*x + 18. Let b = -3/14 - -41/126. Is b smaller than y?
True
Suppose g = -5*f + 369, 0 = -5*f + 4*g + 300 + 49. Suppose 8*l = 952 - 360. Which is greater: f or l?
l
Let m(j) = 53*j**2 + 5*j - 4. Let k be m(2). Is k < 218?
False
Suppose 0*g - 252 = 4*g. Let l = 91 + g. Let x be 1/l*4*-1. Is x at least 1?
False
Let m = 5 - 1. Suppose p - m = -0*p. Let r be ((-2)/7)/(p/(-28)). Which is bigger: 0 or r?
r
Let r(a) = 3*a - 6. Let k be (-8)/28 + 258/21. Suppose -t - t + 4*p - k = 0, 2 = -5*t + 3*p. Let i be r(t). Do i and -3/20 have the same value?
False
Let p be (-16)/(-48) - (-181)/(-3). Let u = -59 - p. Is 1/10 less than u?
True
Let y = 149 - 145. Let a be (9 - 6)/(2/(-4)). Which is smaller: y or a?
a
Suppose t = 5*s + 65, -t - 2*s = -3*t + 122. Suppose n + n + t = 0. Let q be (-6)/(-8)*(-12)/n. Which is smaller: -1 or q?
-1
Suppose -a - 5*a = -72. Let m(j) = -j**2 + 9*j + 33. Let n be m(a). Suppose 0 = 3*v - 5*x + 2*x + 21, -5*v + x = 27. Is v smaller than n?
True
Let q be 28/(2 - (-48)/(-28)). Let y be ((-7)/q)/((-1)/(-4)). Which is smaller: 3 or y?
y
Let d be (-12)/15*(-40)/16. Suppose -d*y - 3 = -o - 0, -3*o = -3. Is -1 at most y?
True
Let q = 247866/557 - 445. Which is bigger: q or 1?
1
Let r be (-12)/24*2/3. Let t be -1*11/13 - (-4)/(-26). Which is smaller: t or r?
t
Suppose 5 = 3*m - 8*m. Let a(n) = n**2 - 9*n + 6. Let k be a(5). Let u be ((-1)/k)/((-2)/((-12)/9)). Is m equal to u?
False
Let d(i) = 3*i**2 - 39*i + 14. Let v be d(12). Which is bigger: -28 or v?
v
Let y be ((-8)/(-4) - 2)/2. Suppose -v + 3 + y = 0. Suppose -4*c + c - 3*h - v = 0, c + 5 = -5*h. Is -1 not equal to c?
True
Let z = -28.942 + -0.058. Let t = z + 20. Let u = t - -12. Which is smaller: u or 5?
u
Suppose 2 = 5*p + i, -4*i - 14 + 4 = 2*p. Let r be (-15)/(-8) - 53/53. Which is smaller: p or r?
r
Suppose 0 = 785*l - 793*l - 8. Is 10/109 bigger than l?
True
Let r = -166 - -97. Let d = -70 - r. Let o = -149/12 - -35/3. Are d and o nonequal?
True
Let r be 6490/462*(-1 + 4). Is 43 not equal to r?
True
Let m(d) = d**3 + d**2 - 7. Let c be m(0). Let l = -17 - -26. Let x = -15 + l. Is c >= x?
False
Let l = 2167/1912 + -2/239. Suppose -4*z + 2*z = 0. Suppose z*g = 2*g. Which is bigger: l or g?
l
Let t(q) = 6*q + 6. Suppose 6*o = o + 50. Let d be t(o). Let k be 4/(-22) - 21/d. Which is smaller: 1/3 or k?
k
Let o(f) = f**2 - 4*f - 60. Let p be o(11). Is 18 at least as big as p?
True
Suppose 0 = 7*f - 27 - 8. Suppose 0 = f*c - 7*c + c. Which is smaller: 10/9 or c?
c
Let o be 5*(4/(-4) - -2). Suppose 0*f = 5*k + o*f - 35, -3*k - 2*f = -19. Which is smaller: 6 or k?
k
Suppose -78 = -5*f + 172. Which is bigger: 49 or f?
f
Let s(o) = o + 15. Let t be s(-19). Let c = 37 + -69. Let l be (-8 + 7)*c/(-6). Which is greater: l or t?
t
Let j = -95 + 94. Let p = -0.437 - -0.067. Let a = 0.4 + p. Is j at least a?
False
Let j = -170.35 - 4.65. Which is bigger: j or 0.1?
0.1
Let w = -946 - -916. Is -201/7 > w?
True
Suppose 4*r - r - 21 = 0. Let t(q) = 8*q**2. Let f = 24 + -23. Let d be t(f). Which is smaller: d or r?
r
Suppose 15*a + 1120 = -200. Which is smaller: -91 or a?
-91
Let i be -11 - -4*(-1)/(-2). Let x = -22 - i. Suppose 16 = -3*t - 23. Is x less than or equal to t?
True
Suppose -z - 22 = -27. Suppose 0 = -6*w - 7 - z. Which is bigger: -36/13 or w?
w
Let t = 24.92 - 25. Let w(v) = -v**3 + 8*v**2 - 11*v - 7. Let f be w(6). Is t < f?
False
Suppose 0 = 35*l - 30*l + 845. Is -170 less than or equal to l?
True
Let h(w) = 12*w**3 - w**2 + w - 1. Let c be h(1). Let i = -6 + c. Suppose i*u + 6 = 7*u. Is u < 12/7?
False
Let b = 12.969 + -13. Let j = b + -0.069. Are j and -17 non-equal?
True
Let c = -15 + 28. Let a = c + -5. Let f = -10 + a. Is -0.6 at least as big as f?
True
Let u(c) = -c**3 + 5*c**2 - 4*c + 6. Let r be u(4). Let v be (r + -4 + -1)*547. Let b = v - 11485/21. Which is bigger: b or 0?
b
Let g = 436 - 435. Is g at least 3/58?
True
Let k = -49 + 95. Suppose 2*a + k = -0*a. Is -24 smaller than a?
True
Let f = 284/297 - 34/33. Is 33 < f?
False
Let m be 38/171 + 46718/45. Let c = -1043 + m. Does c = -5?
False
Let h = -529 - -6878/13. Let t(d) = d**2 - 1. Let x be t(0). Which is bigger: h or x?
h
Suppose 9*y = 8*y - 9. Let h be (56/2)/(-4) - 2. Is h at most as big as y?
True
Let u be ((-946)/(-132))/(1/40). Is 286 <= u?
True
Let i be (7 + (-153)/18)/(3/(-71)). Is 37 at most as big as i?
False
Let p = -0.7 + -0.3. Let l(c) = 78*c + 544. Let h be l(-7). Is p at most as big as h?
False
Let k(v) = 5*v**3 + 3 - 3*v**3 + 6*v + 1 - 22*v**2 + 11*v**2. Let x be k(7). Let p = x + -4245/22. Which is smaller: p or 0?
0
Suppose -5*k - 2*k = -84. Let f be 3*((-15)/k + 1). Is -1 > f?
False
Suppose -12 = 3*q + 3*q. Suppose 0 = 4*r + 19*r + 230. Which is greater: r or q?
q
Let n = 2.81 + -2.7. Let d = n - -0.09. Let r = d - 0. Is r <= 0?
False
Let t = -100 + 98. Let k 