er: u or -3?
u
Let w(s) = -5*s**2 + 93*s - 88. Let f be w(1). Which is greater: -13/248 or f?
f
Let d(t) = 2*t**3 - 24*t**2 + 55*t - 2. Let x be d(9). Are x and 33 equal?
False
Suppose 0 = -416*x + 390 + 26. Let b = 7559/4 + -1862. Let d = -539/20 + b. Is x smaller than d?
False
Let r be (2*9)/((-12)/(-8)). Let k(p) = 30*p - 77. Let g be k(12). Let q = g - 285. Is q > r?
False
Let w be -6 + -1 + -4 + -108. Let f = -124 - w. Which is smaller: -56/11 or f?
-56/11
Suppose -2 = 5*f - 4*f. Let y be f/(-6) - (-84)/(-36). Let c be ((-12)/(-380))/(3/y). Are -1 and c non-equal?
True
Let q(v) = 4*v**2 - 20*v + 55. Let c(o) = 9*o**2 - 40*o + 113. Let f(s) = 2*c(s) - 5*q(s). Let m be f(15). Which is bigger: -197 or m?
-197
Suppose 4*l = j + 7, -32*j + 6 = 3*l - 33*j. Let y = 233/627 + -14/33. Which is smaller: l or y?
y
Let i(a) = -2*a**2 + 14*a + 22. Let l be i(23). Let r be (76/6 + 2)*(-63)/l. Which is bigger: r or 1?
r
Let v = 146 - 107. Suppose 2*x = -x - v. Which is smaller: x or 0.1?
x
Let w = 319607 + -862619303/2699. Which is greater: 1 or w?
1
Let j = -679 - -675. Let w be (-40 - -42)*(-526)/j. Which is smaller: w or 2?
2
Let z = 48.036 - 0.036. Let o = 48.32 - z. Let s = o + -0.22. Which is smaller: -1 or s?
-1
Let j(z) = 8*z - 12. Let b be (24/(-10))/(12/(-40)). Let u be j(b). Suppose u + 16 = 4*v. Is 19 greater than v?
True
Let b = -0.34 + 2.24. Let k = b + -19.9. Let r be 63/36 - 1*(-4)/(-2). Is k at most as big as r?
True
Let n = 104 - 17. Suppose -91*w = -n*w. Let t = 2/53 + -13/1749. Which is smaller: t or w?
w
Let i = 0.137 - 5.137. Let q = 325 + -325. Which is smaller: i or q?
i
Let p(f) be the first derivative of 8*f**3/3 + f**2 + 2*f + 3. Let l be p(-1). Suppose -l*k - 463 = -7. Is -57 bigger than k?
False
Let i be 1422/15*(-440)/(-132). Let q = 656 - 458. Let o be -2 + (-6)/(-27) + i/q. Is 0 < o?
False
Let w = -410.92 - -411. Let f = 0.004 + 0.126. Let b = f - 0.05. Is b greater than w?
False
Let r(z) = 67*z + 2145. Let o be r(-32). Let c = 104 + -72. Is o at most c?
True
Let f = -2894 + 3735. Do f and 841 have different values?
False
Let j = -24775 - -24775.2. Let y(l) = 2*l**2 + 5*l + 3. Let g be y(-4). Let a = -23 + g. Does a = j?
False
Let l = -182 + 179. Let n be 16/(-1)*(1 - (l - -6)). Is 100/3 greater than or equal to n?
True
Let c = 16449 + -16437. Let p = 15 - 9. Let f = p + -8. Do f and c have the same value?
False
Suppose -304 = 2*w - 6*w. Let l be (-72)/(-20)*60/36 - -68. Which is bigger: w or l?
w
Let j = 0.0405783 - 568.4825783. Let h = j - -0.442. Is 0.1 at most h?
False
Let x be (-3 + 6)*(0 - -1). Suppose -x*b + 4*b = -1. Let f = -2903/11 + 263. Which is greater: f or b?
f
Let p(l) = l**2 + 5*l + 3. Let k be p(-4). Let o(f) = -20*f - 80. Let m be o(7). Let j be (-3 + (-123)/(-45))/((-33)/m). Which is bigger: k or j?
k
Let l = -12.5 + 12.4897. Let j = l + -0.0447. Which is smaller: 1 or j?
j
Let a(d) = 40*d**2 + 5*d - 45. Let q(o) = 10*o**2 + o - 11. Let m(r) = -6*a(r) + 25*q(r). Let n = -492 - -490. Let x be m(n). Is 45 >= x?
True
Let s = 12989 - 12990. Let l = 26/191 - 8676/60929. Which is greater: s or l?
l
Let r(b) = b + 1. Let u be r(-1). Suppose -33*p - 506 = -11*p. Let v = p + 166/7. Which is bigger: u or v?
v
Suppose -3*a = 24*a - 52*a + 10000. Is a at most as big as 402?
True
Suppose 6*l = -2*l - 104. Suppose 3*k + 325 + 410 = 0. Let w be k/(-325) - (-2)/l. Which is smaller: w or 2?
w
Let h = -1/22028 - -6167849/198252. Which is smaller: 1 or h?
1
Let i(t) = -t**2 + 39*t + 4876. Let d be i(-53). Which is smaller: d or 10/2667?
d
Let b = 223 - 223. Let c be 48/(b + -8) + -77. Do c and -84 have different values?
True
Let b(r) = r**2 - 39*r + 118. Let d be b(35). Let f be 1*d + 9 + 5 + -9. Is f <= -14?
True
Let p(i) = i**3 + i**2 + 1. Let y(k) = -5*k**3 + 5*k**2 + 3*k + 2. Let l(b) = -2*p(b) + y(b). Let o be l(-1). Is o greater than -1?
True
Let k = 4016 + -3963. Which is smaller: k or 0.08?
0.08
Let w = -208 + 26833/129. Which is smaller: 4/3 or w?
w
Let u = -36733 + 36723. Let o(j) = j**3 + 4*j**2 + 3*j + 6. Let y be o(-4). Are y and u non-equal?
True
Let p = 4741 - 5133. Which is greater: p or -377?
-377
Suppose h + 5*r = -0*h + 86, 378 = 5*h - r. Suppose z + 16 = h. Let k = z + -74. Is -13 bigger than k?
True
Let c(f) = -181*f + 2164. Let n be c(24). Which is bigger: n or -2182?
n
Let k = 160 - 161. Let b(l) = -208*l + 679. Let n be b(5). Which is greater: n or k?
k
Let o = 1453 - 1453. Let u be 6/(-11)*10/15. Which is smaller: o or u?
u
Suppose 2*i - n - 197 - 51 = 0, 4*i - 5*n - 508 = 0. Suppose 0 = 20*b + 38 + i. Is -2 at most as big as b?
False
Suppose -7*s - 24 = -5*s. Let m(o) = o**2 - 10*o - 18. Let u be m(12). Let i be (-4 + 2)/(1/u). Are s and i nonequal?
False
Let a(h) = -3*h + 76. Let i be a(24). Let o be 6/(-84)*-7 + 2/i. Which is smaller: o or -3/22?
-3/22
Let z(g) = -1748*g + 3492. Let j be z(2). Which is smaller: -74.8 or j?
-74.8
Let p be ((-5)/(-100)*10)/(2/332). Let b = p - 665/8. Which is greater: -3/13 or b?
b
Let t be -7*28/(-490) - 2*(-139514)/(-20). Is t less than or equal to -13950?
True
Let f be (8 - 5) + (-11)/1. Let k = 6801 - 6811. Is k > f?
False
Let m = 0.3 + 0.7. Let c = 261 + -261. Suppose -3*s + 17 = -2*o, c = -2*s + 9 - 3. Which is smaller: m or o?
o
Suppose 2*u + 3*u + 125 = 5*k, -3*u - 72 = -4*k. Let y be (4/u)/(10/670). Is y smaller than -11?
False
Suppose 5*m - 17 = 3*s, m + 21 = -5*s + 2. Let z be ((m - -5)/(-3) + 2)*-1. Suppose 5*q - 3*b - 19 = -z*q, 0 = 3*q + 4*b + 6. Does q = 2?
True
Let x = -18.203 - -21.803. Which is greater: 8/35 or x?
x
Let s be (-90)/45 + -3 + (2 - 0). Let o be (((-69)/(-196))/23)/(s/10). Which is greater: 1 or o?
1
Suppose 2*y + 4*l - 250 = 4*y, -10 = -2*l. Which is smaller: -119 or y?
-119
Let c(p) = 2*p**2 + 18*p + 13. Let y be c(10). Let f = y + -387. Which is smaller: f or 0.2?
0.2
Suppose -4*p + 12 = -4*j, -4*p + 6*j - j + 11 = 0. Suppose 6 = -p*v + 6*v. Suppose 0 = v*a - 6*c + 2*c + 15, 10 = -4*a + 2*c. Which is smaller: -3/11 or a?
a
Let h be (-3 + 2)/((-1)/(-25)). Suppose 4*p + 4*j = -0*p + 68, 4 = -4*j. Let z be (-3)/((-3)/(-25)) - p/9. Is z greater than h?
False
Suppose -45*x - 188*x + 487558 + 1237574 = 0. Which is smaller: 7405 or x?
x
Let j = -295/57 + -212/19. Let y be 2/6 + (-1908)/(-108). Let o be (-274)/y + 94/423. Which is greater: j or o?
o
Let w = 0.0089 + -0.2019. Let q = w - -4.193. Let f be 3/(-1*(-1)/(-3)). Which is smaller: q or f?
f
Suppose -2*q - 641*b + 638*b - 4 = 0, q + b + 1 = 0. Let p = 613/2964 + -11/78. Is q >= p?
True
Let r = 332818 + -4346270260/13059. Is r less than 1?
True
Let b = -128103920252306912699/1602711492277 - 18/21954951949. Let c = b - -79927942. Let a = 1553 + c. Do 1 and a have the same value?
False
Let y = -0.167 - 0.633. Let h = 7.186 + -0.186. Is h > y?
True
Let h be -3 + 8 - (1 - (-14)/(-21))*12. Which is smaller: h or 3/905?
3/905
Let a = 1584/7 + -226. Which is greater: -4.4 or a?
a
Suppose 15*q - 17*q = 2*p, 2*q - 5*p + 7 = 0. Is 4/193 at least as big as q?
True
Let s(p) = 137*p - 176. Let f be s(5). Does f = 0?
False
Let o(n) = -n**3 + 7*n**2 + 19*n - 15. Let t be o(7). Let f = t + -106. Let w be (f/18)/((-1)/(-3)). Which is smaller: w or -0.02?
-0.02
Let m = 103 - 100. Suppose -4*p - 419 = -5*j, m*j + 3*p - 412 = -2*j. Is 84 > j?
True
Let r = -21.34 + 0.34. Let w = r + 121. Let n = w - 88. Do n and -0.1 have the same value?
False
Let d be 2 - ((-105)/20*2)/(-3). Which is smaller: 27.6 or d?
d
Suppose 0 = -2*c + 5*w - 16437, 5*c = -2*w - 30288 - 10819. Is -8221 at most as big as c?
True
Let d = -1.8825 - -2.0825. Is -1/2 less than d?
True
Let u = 4025 - 4067. Let m(c) = 5*c - 6. Let k(s) = 3*s - 3. Let b(i) = -5*k(i) + 2*m(i). Let y be b(9). Are u and y equal?
True
Let n = -502484/609 - -5776/7. Is 0 less than n?
True
Let n = -22059 - -22059. Is -6/1925 equal to n?
False
Let p = -390 + 304.5. Let v = 63.6 + p. Which is smaller: v or 0?
v
Let c = 581439/53 - 10971. Which is greater: -0.1 or c?
-0.1
Let x = -30253 + 212309/7. Which is greater: 77 or x?
77
Let c = 252 + -99. Let n = 152.9 - c. Is n smaller than -12/17?
False
Let y be 1/((-1)/3) + (-18)/(-2). Suppose -5*f - 22 = -5*d - y*f, -f - 18 = -5*d. Suppose d*o + o = -70. Which is greater: o or -15?
o
Let u = 2 - 1.9. Let x = -0.0