23. Let i = 8856 + d. Which is bigger: i or -51?
-51
Let b(v) = v**2 + v - 1. Let m(g) = g**3 + 16*g**2 - 87*g - 2. Let o(s) = 2*b(s) - m(s). Let y be o(-20). Is 620 greater than y?
False
Suppose 11*u - 391 = 82. Let y(j) = 137*j**2 - 8*j - 5. Let q(v) = 46*v**2 - 3*v - 2. Let w(h) = -11*q(h) + 4*y(h). Let i be w(-1). Is i less than u?
False
Let u(w) = -7*w + 50. Let q be u(7). Let i be 319/77 - (3 + -2)*q. Which is smaller: 2 or i?
2
Let o be ((2 - -2)*(-2)/(-8))/(-1). Let h(z) = -15*z + 2. Let c be h(o). Let x(w) = w**3 - 18*w**2 + 19*w + 2. Let s be x(c). Is s <= 36?
True
Let k(w) = -w**3 + 7*w**2 - 7*w - 10. Let c be k(5). Let y = c - 7. Let v be y/3 - (0 + 0). Which is smaller: v or -1?
-1
Let g = -133 + 211. Let w = g - 78. Which is smaller: w or -2/587?
-2/587
Let g = -464 + 468. Let x be g/6 + (3 - 1359/135). Let f = -11 + 6. Is f >= x?
True
Let g(z) = -z**2 + 3*z + 3. Let p be g(3). Suppose y + 4 = 5*n, -9*y + 11*y + p*n - 5 = 0. Let r = -1753/4 + 50831/116. Which is smaller: y or r?
r
Suppose 28*f + 34*f - 26 = 60*f. Let k = 0.3 + 0.2. Is f greater than or equal to k?
True
Suppose 0 = 15*v - 18*v. Suppose v = -5*x + 3*x - w + 105, -2*x + 4*w + 130 = 0. Let d be -16*x/(-470) - (-1 + 3). Do d and 1 have the same value?
False
Let f = 496.853 - 496. Let c = f - -0.147. Does -125 = c?
False
Let n be -6*100/285 - -2. Let d = 17/342 + n. Suppose 0 = -4*y - 3*g + 16, 3*g + 2*g = 20. Is y greater than d?
True
Let j = 221 - 213. Let i be 8/12*12/j. Let o be (-9)/(-114)*(-1)/(-3). Which is smaller: o or i?
o
Let m = -14.027 + 12272.027. Are 2/7 and m non-equal?
True
Suppose -2*n = -3*f + 357, 882*f + 3*n = 885*f - 357. Is 119 < f?
False
Let o = 2 - -362. Let f be 0 + (371/o - 1). Which is smaller: 0 or f?
0
Suppose 0 = 5*g + 14 - 114. Suppose -5*k - 12*v + 11*v - 5 = 0, g = 3*k - 4*v. Are k and -7/25 unequal?
True
Suppose 0 = -2*b - 33 + 5. Suppose 2*w - 4 = -2*y, 28*y = 30*y - 6. Let c be 3/(b/4 + (1 - w)). Which is greater: c or -14/9?
-14/9
Suppose 4*w + 22 = -2*p, -188 = -p - w - 194. Let s = -772506/335 + 2306. Which is greater: p or s?
s
Let n = 10598 + -10450. Is 0.4 smaller than n?
True
Suppose -12*m - 5*a = -7*m - 55, -m - 2*a = -15. Which is greater: m or 237/38?
m
Let s(r) = -10*r + 140. Let p be s(14). Suppose -4*u - 11 = -m, 3*m + 3*u + 2 + 10 = p. Let v be ((-1)/112)/(6/(-4)). Which is smaller: v or m?
m
Let s = -341.09944 + 0.09944. Which is greater: 0 or s?
0
Let p = 1219/2 + -594. Let c(t) = t - 30. Let w be c(47). Which is bigger: p or w?
w
Let x = 4.2 - -0.8. Let i = -0.405 + 8.205. Let w = -7.3 + i. Which is greater: x or w?
x
Let b(g) = -g**3 - 4*g**2 - 4*g - 4. Let r be b(-4). Suppose -43*a = -33*a - 2000. Suppose r*x + a = 8*x. Which is greater: -51 or x?
x
Suppose -2*c - c = 9. Let u be (18/4)/(c/(-4)). Let z be (2 - -14)/((-44)/(-8) - 2). Which is greater: z or u?
u
Suppose -2*t = 2*j - 934, 5*j + 227 = 2*t - 693. Is -1 at most t?
True
Suppose 108 = 3*o + o. Let k(i) = 8*i**2 + 39*i + 71. Let m be k(-2). Which is greater: o or m?
o
Let l be ((-482)/(-964))/((-2)/(-2 - -5586)). Is l < -4189/3?
False
Suppose 0 = -x + 1370 - 1533. Is x greater than -164?
True
Let p(s) = -s**2 + 16*s + 40. Suppose 0 = -j - 32 + 34. Let c be ((-46)/(-4) + j)*(-8)/(-6). Let v be p(c). Is v at most 5?
True
Let p be ((-644)/(-575))/((-242)/2145). Is -9 not equal to p?
True
Let v = -549 - -101. Let x = 450 + v. Is x >= 145?
False
Suppose -40 = -d - 4*v, -5*v + 2*v = -12. Suppose -32 = 4*j - 4*n, 0*j = -2*j + 4*n - d. Let a = -16 - -11. Which is smaller: j or a?
a
Let y be (-76)/(1 - 2) + -4. Let n = -70 + y. Let r be (64/20)/(n/(-10)). Is r < -15?
True
Let s(q) = q**2 - 70*q + 937. Let k be s(18). Which is smaller: -1/159 or k?
-1/159
Suppose s = 5*i - 5931, 4*s + 3803 - 241 = 3*i. Is i bigger than 1186?
False
Suppose 3*a = -5*v - 6, -4 = 3*a + 4*v + 2. Let i be 9401/(-153) - a/(-9). Which is smaller: -62 or i?
-62
Let k be (1354 + -12 + 11)*(-2)/(-6). Let g be (-3)/6*(-70348)/78. Let c = g - k. Which is greater: c or -1?
c
Suppose -5*c - 19566 = -3*w, -9*w + 7842 = -2*c - 13*w. Which is bigger: -3914 or c?
-3914
Let c(j) = 5*j**3 + j**2 + 10*j - 11. Let k be c(5). Suppose 5*g - 194 = -k. Is g at most -2?
True
Suppose -7178*w = -7192*w + 1540. Is w at least 661/6?
False
Let n = 27/77 + -9522/1463. Let b = n + 2976/437. Is b less than 2?
True
Let n = -8.2 - -1.2. Let f = 255612 - 255597. Is n equal to f?
False
Suppose -130*t = -146*t - 32. Suppose 3*f - 96 = 5*f + 4*i, -192 = 4*f + 4*i. Which is smaller: t or f?
f
Let s(q) = q**2 + 8*q + 9. Let w be s(-1). Let d(z) = z**3 - 4*z**2 - 2*z + 10. Let r be d(w). Are r and 75 nonequal?
True
Let n = -546641/30 - -18219. Which is greater: n or -1?
-1
Let a be (0 - -22) + 7/21*-9. Suppose -a*m + 20*m + 1 = 0. Is -1/7 bigger than m?
True
Let v(a) = 3*a**2 - a + 9. Let i(m) = m**2 + m + 1. Let b(t) = -5*i(t) + v(t). Let z be b(-6). Is -39 less than z?
True
Suppose -u - l + 5 = 0, 3*u - 14 + 1 = -2*l. Suppose 84 = u*f - 33. Let d = -6844 - -6882. Is f != d?
True
Let p = -742928/4191 + 1950/11. Let f = -188 - -191. Suppose 4*u + f = -m + 8*u, 4*m + 5*u = 9. Which is smaller: p or m?
p
Let i = 7991 - 7980. Let l = 0.45 - 0.05. Which is bigger: i or l?
i
Let a = 929 - 915. Let q(s) = s**2 - 15*s + 14. Let x be q(a). Is -2/1117 at most x?
True
Let t be (-2 + -2 + 1)*128/(-6). Let b = -44 + t. Suppose -4*c - 96 + b = 0. Is c equal to -19?
True
Let y = -41519163/103 + 403107. Let w = 407962/48925 - y. Are w and 1 nonequal?
True
Suppose 1508304 - 552672 = -258*f. Is -3706 smaller than f?
True
Let z = 20.04 - 19.31. Which is bigger: -11 or z?
z
Let m = -15189 - -75629/5. Suppose -9*g = -5*g + 256. Is g bigger than m?
False
Suppose -96*n + 176915 = -329293. Is 5275 > n?
True
Let q be 5 + (6 - (4 - (-2 - -7))). Let a(y) = -33*y - 1. Let n be a(-1). Suppose 2*m + n = 4*m. Which is bigger: m or q?
m
Let p be -2*(-11 - -12) - (-4 + 1). Suppose -1587 = 4*l - 267. Let h be l/(-1106) + (-24)/84. Which is bigger: h or p?
p
Let t = -65.4 - -56. Let b = t - 8.6. Let i = -11 - -12. Which is smaller: b or i?
b
Let n = -0.604 + -40.396. Let p = -182 + 180.99. Let o = p - -0.01. Is o >= n?
True
Let v(k) = 3*k - 10. Let h be v(4). Let j(d) = 10*d - 4 + d**2 + 0*d**2 - 6*d**2 + 4*d**h. Let r be j(5). Are r and 20 equal?
False
Suppose 0 = -g + 34 - 33. Suppose 5*t + d + 1 = 0, -4 = -2*d + 4. Let c be t/(20/22) + 2. Are c and g nonequal?
True
Let v(t) = 2*t**2 - 4*t + 4. Let o be v(1). Let b be (3 - o/2*4)/(-71). Suppose -h = 1 - 2. Is b <= h?
True
Let c = 42.26 - -928.74. Is c at least 1?
True
Let f(n) = n - 1. Let p(w) = -4*w + 6. Let d(b) = 11*f(b) + 2*p(b). Let t be d(2). Let s be -4 + 4 + 4 - t. Which is bigger: s or 3?
3
Suppose 1247 - 377 = 3*f. Let a = f + -291. Is 4/17 >= a?
True
Let b(a) = -a**3 + 53*a**2 + 51*a + 163. Let k be b(54). Suppose 3*y - 3 = -0*y. Let o be (-400)/395 + 1/y. Are k and o unequal?
True
Let t = 396.75 - 396.25. Is 224.7 bigger than t?
True
Let u be 4680/(-6975) + (-8)/(-10). Are u and 113 equal?
False
Suppose -19*m + 26*m = -126. Let w be 1444/m - ((-32)/(-36))/(-4). Is -80 greater than w?
False
Suppose 16 - 28 = 3*x. Let w be 280/49 + x/(-14). Suppose -w = -0*h - 2*h. Are 3 and h non-equal?
False
Let p be (209/(-4))/(639/(-18)). Let l be (-2 + (-1160)/(-568))/(3/2). Let d = p + l. Which is greater: 2 or d?
2
Let w be (-4 - (-3 + 2)*-1)/(700/280). Is -4/1037 <= w?
False
Let r = 389 + -142. Let y = r + -247.1. Which is smaller: y or 36?
y
Suppose -5*n + 0*n + 16 = -j, -5*n - 4*j + 36 = 0. Let u(o) = 2*o + 4. Let k be u(n). Let p be (27/90)/(k/50). Which is greater: 2 or p?
2
Suppose -21*w - 15*w + 35615 = 113591. Is w greater than or equal to -0.1?
False
Let a = 51051.043 + -51171. Let s = 120 + a. Which is smaller: s or 1?
s
Suppose 2*p + 0*p = 4*f - 1010, 2*p - 768 = -3*f. Let b = -233 + f. Is 8 greater than or equal to b?
False
Let o = -54773/65 + 843. Let a be (-2 + -10)/2 + (-5)/(-1). Which is smaller: o or a?
a
Suppose -1002*v - 26910 = -956*v. Is v bigger than -1167/2?
False
Suppose -2*r = y - 23 + 1, 0 = -2*r + 4*y + 32. Let q be (2/(-4))/(3/74). Let t = r + q. Is -10 at most t?
True
Let x = -1975.8 - -1968.8. Is 410 equal to x?
False
Suppose -4*f = -12, -f + 23 + 10 = -2*d. Does 0 = d?
Fa