/2). Is b greater than -1?
True
Suppose -9*m - 14 = 13. Let n be (m/114)/((-6)/120). Suppose 2*p - 3 + 1 = 0. Which is bigger: p or n?
p
Let u(x) = -x**2 + 15*x - 24. Let i be u(13). Let b(n) = n + 34. Let s(z) = -z. Let j(h) = i*s(h) + b(h). Let g be j(-15). Which is greater: g or 50?
50
Let j = -2455 - -2463. Which is smaller: j or 21?
j
Let i = -52 - -55. Let n be 1 + i - -2*56/(-30). Suppose 2*s = -s. Which is smaller: s or n?
s
Let x = 16 - 16. Suppose x = z - 5*k - 59, 285 = 4*z - k + 49. Which is smaller: z or 115/2?
115/2
Let p be ((-5)/(-2))/(-8 + 711/90). Let t be ((-140)/36 - -11)*(-7)/2. Which is greater: t or p?
t
Suppose 0 = 129*a + 32805 - 64721 - 32584. Are a and 498 non-equal?
True
Suppose 0 = -24*s + 41*s. Suppose s*c = 3*c - 291. Is 95 smaller than c?
True
Let k(u) = -u**3 - 4*u**2 - 2*u. Let o be k(-4). Let m be o/18 + 4/18. Let y = 0.2366 - -23.7634. Which is bigger: m or y?
y
Let j(y) = y - 6. Let b be j(0). Suppose 0 = -l + 6*l - 25. Let c be (-414)/60 + 2/l. Is b >= c?
True
Let s = -42 + 42.55. Let z = s + -74.55. Let l = 274.9 + -275. Is z >= l?
False
Suppose 4*c = -2 - 10. Let s = 3794 + -11393/3. Do s and c have different values?
True
Suppose 74 = g + 4*u, 8*u - 4*u - 230 = -3*g. Let l be (g/28 - -1) + (-12)/42. Are l and 4 unequal?
True
Let o = -2487 - -1595. Let w = o - -893.7. Which is smaller: w or -0.1?
-0.1
Let b(x) = 6*x**3 + 8*x**2 - x - 23. Let p(d) = -5*d**3 - 6*d**2 + 23. Let k(t) = -4*b(t) - 5*p(t). Let i be k(3). Which is greater: i or -10?
i
Suppose 0 = -4*w - 7 - 5, 4*w - 7 = -l. Suppose -7*r + l + 485 = 0. Let p be (-15)/r*8/(0 - -2). Is -2 less than p?
True
Let h = 28216 - 28217. Is h bigger than -2/8411?
False
Let z = -241 - -1207/5. Let p(q) = -q**3 + 17*q**2 - 12*q - 21. Let r be p(18). Let a be r/(-77) - (-4)/(-14). Is z less than a?
True
Suppose 0 = -4*o + 4*r + 8240, -10388 = -5*o - 3*r - 96. Let l = -39146/19 + o. Let p = l + 105/152. Is -1 less than p?
True
Let s be (-6550)/15*(2/(-6) + 9/(-45)). Is 234 greater than s?
True
Let j be (-4 - 63/(-14))*16/264. Which is smaller: j or -2/3?
-2/3
Let c = -85166/45 - -17620/9. Let a be (-5)/15 - 196/(-3). Let n = c - a. Are 1 and n non-equal?
True
Let l = -17972 + 17996. Suppose -2*t - 72 = -5*t. Is t at most as big as l?
True
Let i(j) = -j**3 + 8*j**2 - 9*j + 17. Let y be -3 + 15/(-10)*-66. Suppose 5*c + 61 = y. Let h be i(c). Which is smaller: h or 7/4?
7/4
Suppose 0 = 22*u + 2436 - 3404. Which is greater: u or -10?
u
Let q = 3059 + -3143. Is q less than 0.02?
True
Let z = 3617 - 3603. Is z greater than or equal to 11?
True
Let j be 1*(1 + -1)/2. Let q(d) = -7*d**3 + d**2 - 2*d - 16. Let s(t) = -16*t**3 + 2*t**2 - 5*t - 31. Let c(r) = -7*q(r) + 3*s(r). Let a be c(j). Does a = 17?
False
Let g = -17.1 + 16.1. Let b = 0.3 - 8.66. Let t = -8 - b. Which is smaller: t or g?
g
Let n be -19 - (8/(24/(-21)) + 12). Is -0.04 less than n?
False
Suppose -4*n - 1582 = 2*w, 5*w + 5211 = -n + 1319. Are 2/7 and w non-equal?
True
Let g be 4 + (-840)/(-55) + -4. Let n = g - 2679/143. Which is smaller: 1 or n?
n
Let k = -341 + 419. Let r = k - 66. Which is bigger: 0.4 or r?
r
Let l be (((-8)/(-18))/((-4716)/(-54)))/(-3 - 0). Which is greater: 0 or l?
0
Let o = 492804 - 1492916/3. Let m = -4786 - o. Let d = -712/15 + m. Is 2 less than d?
False
Suppose -2 + 11 = 69*j - 60. Is j > 4/2011?
True
Let k(j) = 287*j - 2162. Let c be k(8). Do c and -0.07 have the same value?
False
Suppose 0 = -11*y + 332 - 145. Let v be (-1083)/270 - (y + -21). Is -1 at most v?
True
Let r = -75 - -125. Let l = r + -87. Let c = -36.88 - l. Does c = -2/5?
False
Suppose 2*j - 5*r + 35 = 0, 25 = -4*j + r - 6*r. Let t = -41/4 - j. Let x be 29 - 8 - (-7825)/(-375). Which is smaller: x or t?
t
Let b = 753 - 751. Suppose 3*a - 129 = 3*r, 3*a + 55 = -r - b*a. Which is bigger: 1 or r?
1
Let s be 1/((-2)/(0 + 2)). Let j = 69.591 - 21.591. Are j and s nonequal?
True
Suppose 70 = -p - 4*p. Let u be 2264/p + (27/(-21) - -1). Let x be 2 + 806/u - -3. Is x less than or equal to 0?
False
Let f be (-3)/(3/(-2)) - -246. Suppose 586*t + 79527 - 224269 = 0. Is t <= f?
True
Suppose 186*j - 25*j - 7099 = 77265. Which is smaller: 5247/10 or j?
j
Let v be 4250/(((-4)/1)/12*(-25 + 22)). Which is smaller: 4249 or v?
4249
Suppose 436 = 3*v + 229. Which is smaller: v or -21?
-21
Suppose 1123*q = 1182*q - 5369. Which is greater: q or 89?
q
Let r be (20/102)/((-2)/2082). Let t(y) = 25*y + 1679. Let u be t(-59). Let p = r + u. Which is bigger: p or -1.2?
p
Let b(g) = -g**2 + g + 45. Let q be b(0). Let l = -49 + q. Let c be l/10 - 2*69/30. Which is smaller: 2/13 or c?
c
Let z = 43 + -25. Let n(u) = u - 14. Let i be n(z). Suppose -4*d - i*d - 72 = 0. Is -7 != d?
True
Let f = 1/625431 - -6966050471/4378017. Which is greater: 1590 or f?
f
Let p = -834.23 - 17.77. Let o = p + 977. Is 0.3 at least as big as o?
False
Let c(k) = k**2 + 325*k - 3425. Let b be c(10). Is -65 < b?
False
Let q(y) = 5*y**2 - 197*y - 119. Let p be q(40). Is p greater than or equal to 22/1119?
True
Let k be (-10)/10*(1 + -11)/2. Let w(q) = -q**2 + 6*q + 2. Let c be w(k). Let h be c/(-14) + 9/10. Is 0 greater than h?
False
Let x = -31 - -31. Suppose x = -4*z + 2*y + 3*y - 16, 3*z = y - 12. Let w be (-23)/10 + (-2)/10. Does w = z?
False
Suppose 2*k = 4*l - 16, 4*l - 3 = 3*l + k. Let f be 14 + 2/(-2)*l. Suppose 6*o - 3*o - f = -5*r, o - 3 = -2*r. Is r >= -8/7?
True
Let i = -21169/541307520 + -1/36145. Which is smaller: -1 or i?
-1
Let n(c) = c**3 - 8*c**2 + 5*c + 14. Suppose 15*r = 14*r + 7. Let j be n(r). Let f = 75 - 39. Which is smaller: j or f?
j
Let c be (0 + 1)*(0 + -26). Suppose 152*b + 3276 = 134*b. Let j be 4/c + 6888/b. Are j and -37 nonequal?
True
Let i be (4/(160/(-198)))/(4/(-30)). Let k = i - -133/24. Which is smaller: 43 or k?
k
Let m be ((-2)/(-6))/((60/18 - 3)/(-1)). Is -2/27 >= m?
True
Suppose 8 = o + 4. Let y(c) = 5*c**2 + 6*c**2 - 10*c + 2 + 2*c**2 - o*c**2. Let u be y(2). Which is smaller: 19 or u?
u
Let u = -0.42 - -1.52. Let c = -0.365 - 0.035. Is u < c?
False
Let g = -1005 + 288. Let u = 732 + g. Is 16 smaller than u?
False
Let w be 2145/(-294) + 6 - 225/(-150). Suppose -4*o - 5 = o. Which is smaller: w or o?
o
Let t(b) = -b**2 + 21*b + 2. Let w be t(14). Suppose -7*u - w = -2*u. Let n(h) = -20*h**2 - 2*h + 2. Let d be n(1). Are d and u non-equal?
False
Let c = -5/47654 + 2480463/23398114. Which is smaller: 1 or c?
c
Suppose 0 = 5*t - 2*o + 12, 2*o + 32 = -5*t - o. Let y(u) = 10*u + 44. Let p be y(t). Suppose 5*s = p*f - 6, 0*s = 3*s + 2*f - 14. Is s at least as big as 1.9?
True
Suppose -376 = 3*b - 5*f + 2241, 844 = -b - 4*f. Which is bigger: -861 or b?
-861
Let b be (60/8)/15*0. Let z be (-45 - -43) + ((-268)/(-5))/2. Which is bigger: z or b?
z
Suppose -8*n - 1051 = -787. Let q = 51 - 53. Which is smaller: n or q?
n
Suppose 0 = -3*g + 6*f - 12, -3 = f - 5. Suppose -4*p + 21 = 3*x, -3*x + 6 = -2*x + p. Let k be (-42)/27*x/6. Which is bigger: g or k?
g
Suppose -6*r - 264 = -24. Let z be (r/(-25))/4*5. Suppose -6*g - 80 = z*g. Which is greater: g or -66/7?
-66/7
Let p = 3311 - 3246. Is 76 less than p?
False
Let h(f) = f**3 - 5*f**2 + 3*f + 5. Let v(l) = 2*l**2 + 4*l + 3. Let c be v(-2). Let d be h(c). Suppose -10 = 5*b - 0*b. Which is greater: d or b?
b
Let p = 563608 + -563612. Suppose 22 = y - 3*y. Which is greater: y or p?
p
Let i = -1.03 + 4.73. Let p = i + -0.7. Let b = -0.02 - -0.42. Which is bigger: b or p?
p
Let f = -2082/7 - -1266/7. Let g = f - -233/2. Is 11 greater than g?
True
Let f = 609/3035 + -2/3035. Is f at least as big as 813/5?
False
Let a = 10344 + -13002409/1257. Which is smaller: -1 or a?
-1
Let t = 7685 + -7656. Let n = -20 + 48. Which is smaller: n or t?
n
Let a = -0.1909 - 86.5091. Let y = 85.7 + a. Is y equal to 2/19?
False
Suppose 3*z - 2*i - 2 = 4, 4*i = 0. Suppose z*g + 2*b - 4 = 0, 0*g = 3*g + b - 8. Suppose -3*n = -g*n + 4*n. Is n <= -1/15?
False
Let o = -6936 - -346747/50. Which is greater: -2 or o?
o
Let h(y) = 9*y - 24 - 9 + 8 - 1. Let i be h(7). Is 36 at least as big as i?
False
Let k be -184 + 12 + (-28 - 64/(-8)). Suppose -2*r = r + 573. Is r <= k?
False
Let t = -7 - 121. Let f = t + 194. Suppose -4*d = k - 86, -188 = -3*k + 38*d - 36*d. Is k != f?
False
Let x = 186/209 + -237104/266893. Is x less