 - -27.47. Let l = 25 - i. Which is smaller: 8/13 or l?
l
Let n be ((-50)/(-150) - (-194)/(-42))/(290/70). Let f be (-5 + 2)/((-6)/(-4)). Which is smaller: n or f?
f
Suppose 3*t - 7 = -z, -3*z + 2*t - 22 = -5*z. Let l(f) = 2*f - 27. Let r be l(z). Do -4/5 and r have different values?
True
Let a = -1210 - -8581/7. Let y = -10 - -3. Let b = a + y. Is b greater than 8?
True
Let w = -21/5155 - 564761/561895. Are w and -2 equal?
False
Let t(a) = -9*a - 24. Let f be t(-3). Suppose 15 = -3*p, 7*c - f*c + 4*p = -128. Which is smaller: c or -82/3?
-82/3
Let y be (((-32)/72)/(-2))/2. Do y and 5/4 have different values?
True
Suppose y - 540*p + 4 = -541*p, p - 1 = 4*y. Let t = -457/8526 + 2/87. Is t > y?
True
Let z be (-8)/(-4 + 108/30). Suppose 0 = -4*c + 5*h - 2*h + 15, -5*c - z = 4*h. Suppose 5*y + 0*v + 2*v + 107 = c, y + 3*v = -11. Which is bigger: -24 or y?
y
Let x = 92 + -91.801. Let t = x + -0.059. Let v = 180/679 + 2/97. Which is smaller: v or t?
t
Let i be 14132/(-10)*(10 - (-1020)/(-108)). Do i and -784 have different values?
True
Let y be 2/10 + (-1144)/(-1430). Which is smaller: 31/215 or y?
31/215
Let f be 330/414 - (-6)/(-9). Suppose 8 = -7*m - 62. Let y be ((0 - 2)/(m + 12))/1. Is f bigger than y?
True
Let g(w) = w**3 - 6*w**2 + w - 52. Let t be g(7). Let s be (142/t)/(2 + (-6 - -2)). Is -18 > s?
False
Suppose 0 = 5*s - 5*p - 25, -2*p = -4*s + 3*s + 10. Suppose s = 6*n + 587 + 841. Let f be (2/2)/(-1) - n/224. Is 1 bigger than f?
True
Let o be 1102*-16*11/(-7392) - (-6)/14. Is -17/4 >= o?
False
Suppose 0 = -5*m + 11*m - 210. Let k be (-4)/((-64)/12)*(-20)/m. Let o(y) = -y**3 + 4*y**2 - 3*y - 1. Let n be o(3). Is k < n?
False
Let c(w) = w**2 + 3*w - 1. Let v be c(-4). Suppose -v*a = -4 - 2. Suppose -3*s + 2*z = 3*z - 4, 10 = -a*z. Is 4 bigger than s?
True
Let s(y) = -69*y - 8. Let a be s(-2). Suppose a - 115 = 3*k. Is 13 >= k?
True
Let u = -0.1 - -1.1. Let p = 5.94 + -5.937. Let l = -0.233 + p. Which is smaller: l or u?
l
Let a be (((-27)/33)/9)/((-17)/187). Does a = 146/249?
False
Let k = -0.08357 + -0.01643. Let t = 438/11 - 112993/2838. Are t and k nonequal?
True
Let p(a) = -2*a**3 + 33*a**2 + 19*a - 30. Let v be p(17). Is 222 not equal to v?
True
Let b be 1 + 24/(-6) - 0. Let k be (19 + b)/4 + -3. Let q be 37/36 - 16/(-72). Which is bigger: q or k?
q
Let v be (-6377)/(-77) + 16/88. Suppose 5*j = 5*a - 420, -a + 3*j + 0*j + 86 = 0. Is a >= v?
True
Suppose q = 1, -149*p + q - 93 = -150*p. Let l(z) = z**3 + 4*z**2 + 3*z + 7. Let j be l(-3). Suppose j*x = -4*i + 2*x + 387, -2*i + x = -183. Is p > i?
False
Suppose -2*i = -2*g - 246, -2*i = 3*g - 238 - 23. Let f = 165 - i. Is f > 77/2?
True
Suppose b = -5*o + 22, -8 = -2*b + 3*o + 10. Suppose -b*s = -15*s - 132. Are -42 and s equal?
False
Let l(p) = p**3 - p**2 + p + 18. Let b(x) = -9*x + 126. Let c be b(14). Let m be l(c). Let h = 1 - 1. Are h and m unequal?
True
Suppose 0*z - 2*z + 36 = 0. Suppose -2*h + 1 = 5*c + z, 6 = 4*h + 2*c. Suppose -2*s - 2*w + h = 0, 3*s + 0*s - 3*w + 12 = 0. Which is smaller: s or 2/179?
s
Let u = 28067 + -26177. Which is greater: 1897 or u?
1897
Let k = 0.2 + -0.3. Let q = 356 + -174. Let w = 180.8 - q. Is k bigger than w?
True
Let b = 13702 - 13701. Which is smaller: b or 31/9?
b
Let f be 114/(-7) - (48/28 - 2). Let b = -18 + 15. Is f > b?
False
Let d(t) = 78*t - 3. Let m be d(2). Let o = 153 - m. Which is bigger: 3 or o?
3
Let v be -1*(2 - ((-465248)/(-46529) - 8)). Which is smaller: -1 or v?
-1
Let b = 5 - 8. Let a = -314 + 672. Let m = -356 + a. Which is greater: m or b?
m
Let n be -1*45 - (-77 + 63). Which is smaller: n or -744/23?
-744/23
Let j = 2.14 + 0.86. Let b = j + 9.2. Let a = b + -11.9. Which is smaller: a or -3.6?
-3.6
Let g = 1/3112 + -3115/9336. Is 14 at most as big as g?
False
Let h = 3.58 - 3.58. Let t = -177.858 - 0.142. Let f = 117 + t. Is f at most as big as h?
True
Let a(m) = 45*m + 122. Let c be a(-2). Suppose 0 = 5*q + 54 + 11. Let t = 44 + q. Is t < c?
True
Let g be ((-36)/10 + (-38)/19)/(2/335). Is -938 at least g?
True
Suppose 133*a - 5225 = 122*a. Suppose -a = 16*w - 21*w. Is 95 bigger than w?
False
Suppose -17*n + 47*n + 150 = 0. Let q be (-2)/n + 570/(-50). Suppose 3*c = 1 - 40. Is c at least as big as q?
False
Let i = 112 + -44. Let y = i - 67.99. Which is smaller: y or 0.4?
y
Suppose b = -4*l + 2031 + 217, 4*l - 2268 = 4*b. Are 566 and l non-equal?
True
Suppose 0 = 2*i + 140 - 144. Suppose -i*l - 224 = 2*l - 4*f, -5*l - 260 = -f. Is 1 >= l?
True
Let c(k) = -18*k. Let y be c(0). Suppose -3*g + 381 - 381 = y. Which is smaller: 2/157 or g?
g
Let g = 499600592/1261 + -396194. Which is bigger: -1 or g?
g
Let p = -5847 - -5865. Let n = -4 - 0. Which is greater: p or n?
p
Let x(p) = 7*p**2 + 5*p - 3. Let w be x(-3). Let j = 49 - w. Suppose -j*f - 117 = -3*s, 6*f - 4*f - 4*s + 56 = 0. Which is smaller: -31 or f?
-31
Let n = -1517 - -1436. Which is bigger: n or -239/3?
-239/3
Let z be ((-18)/(-8))/(51/16). Let w(v) = v - 1. Let d(m) = 9*m - 7. Let j(p) = d(p) - 4*w(p). Let i be j(1). Which is greater: z or i?
i
Let l be (42/56)/(-1*6) - 57042/(-454032). Which is bigger: -1 or l?
l
Let i = 60717/8 - 7524. Let b = 12055/184 - i. Is b greater than -1?
True
Let o(h) = h**2 - 6*h + 8. Let d be o(4). Let t be ((-608)/(-20))/((-6)/(-15)). Let m = t - 77. Which is smaller: m or d?
m
Let a = -7/30 - 1/10. Let l be 7 + -3 + -1 + 12. Suppose 6*r + 9 = l. Which is smaller: a or r?
a
Let j = 10 + -11. Suppose 25 = c - 2*s, 0*c + 5*s = -4*c + 61. Let k be j*((1 - 40/c) + 1). Are 1 and k nonequal?
True
Let j = -8612749/35660780 - 1/151105. Which is bigger: -1 or j?
j
Let t = -1943 + 5887/3. Let m(p) = 48*p**2 + 32*p + 63. Let y be m(-2). Suppose -183*c + y*c - 144 = 0. Is t at least c?
True
Let r = 235 - 265. Let f be (2 - -7)*(-2)/6. Let j be 2*((-174)/(-4))/f. Is r < j?
True
Let y = 507 + -278. Let a = 108 - y. Let d = 121 + a. Is d < 2/41?
True
Suppose 5*z = m + 34, m = -3*z - m + 10. Let d be (-212)/(-1590) + (-17)/15. Let h be ((-10)/15)/(((-4)/z)/d). Which is smaller: h or 3/10?
h
Let p = 41088 - 1848866/45. Which is greater: p or 1?
p
Suppose 4*u + 2*j - 6*j - 4 = 0, 5*j = 10. Let f(w) = -3 - 20*w + 2 + 494*w**u - 493*w**3 + 8*w**2. Let q be f(-10). Is q < -10/19?
True
Let s be 150/1725 + ((-646)/23 - -5). Let v be (6/(-5))/((-2)/(-40)). Which is bigger: s or v?
s
Let r(b) = -2*b + 10. Let o be r(3). Let a(i) = i**3 - i**2 - 11*i + 9. Let v be a(o). Which is bigger: 49/4 or v?
v
Let u = -2179 - -2782. Is u bigger than 600?
True
Let u = 0.4 + -0.32. Let l = -927 + 927.5. Which is bigger: u or l?
l
Let r = -856/7 - -122. Let n(k) = 0*k + 23 - 11 - k. Let d be n(11). Do d and r have different values?
True
Let s = 84 + -84. Suppose 4*q + 45 - 61 = s. Let r be 1*q/24*10. Which is bigger: r or 2?
2
Let c = 5.15 - 4.4. Let h = c - -0.25. Let o = h - 6. Is -0.2 bigger than o?
True
Let x = 2 - -4. Let q(i) = 18*i**2 - 61*i - 3. Let c(m) = -7*m**2 + 23*m + 2. Let t(g) = 5*c(g) + 2*q(g). Let f be t(x). Which is bigger: -16/17 or f?
-16/17
Let v(d) = 37*d**2 - 4*d - 3. Let k be 39/26*4/(-6). Let n be v(k). Let i be (-1020)/10773 + 4/n. Which is bigger: i or 1?
1
Let k = -64 + 130. Let j = k - 65.7. Are 4/3 and j equal?
False
Let u be (6 - 21676)/(-22) - (2 + 5). Is 10746/11 > u?
False
Let q be -1 - (250/(-122) + 1). Suppose 68 = 8*v - 76. Let p be (-2 + 0)*9/(v/1). Which is greater: p or q?
q
Let u(j) = 9*j**2 - 239*j + 22. Let z be u(26). Which is smaller: z or -2030/19?
z
Let v(w) = w**3 - 4*w**2 + 5*w + 1. Let l be v(2). Suppose -3*s + 2*s = -4*i - l, 10 = -5*s - 5*i. Let m be (3/(-8))/((s - 3)/(-16)). Which is smaller: m or -2?
-2
Let f be 2735/(-10) + 0 + (-1)/2. Let b be (-2)/12*-3 - f/4. Let c = b + -206/3. Which is greater: c or 0.2?
c
Suppose -8023*p = -7999*p + 11184. Let h = 610 + -1077. Which is bigger: h or p?
p
Let r = -1/4073 - -3254329/8146. Is r >= 401?
False
Let n(x) = -x**2 + 24*x - 86. Let p be n(7). Suppose 31*y + 2 = p*y. Let v = 775/15708 + -7/187. Is v <= y?
True
Let z = -564.1 - -562.6. Do -351 and z have the same value?
False
Let s be 43092/27*(-70)/(-116). Let f = 963 - s. Which is smaller: f or 0?
f
Suppose 178*c - 1458 = -48*c - 17*c. Let y be 4/14 - (-233)/42. Which is smaller: y or c?
y
Let z = -2797 - -25177/9. Which is b