. Which is smaller: a or -6?
a
Let t = 17 + -69/4. Let n = 1010 - 969. Is n equal to t?
False
Let u(a) = 6*a**2 + 32*a - 32. Let k be u(1). Let t be (64/(-960))/(((-4)/(-2))/k). Which is smaller: -21 or t?
-21
Let z(i) = i**3 - 12*i**2 + 4*i - 7. Suppose -34*j - 69 + 477 = 0. Let d be z(j). Which is bigger: 40 or d?
d
Let b(u) = 5*u + 59. Suppose -35*d = -16*d. Let q be b(d). Is 57 at least q?
False
Suppose -n + 3 = 101*b - 99*b, 2*b - 2*n = -12. Suppose -3*v = -4*r - 1, -v = 2*r + 4 - 1. Does b = v?
True
Suppose 4954 - 4954 = -24*s. Which is bigger: s or -13/178?
s
Suppose -3*z + 248 = z. Suppose -8364 = -15*a - 7449. Is z equal to a?
False
Let a be ((-9605)/40)/(-1) + (-3)/24. Suppose 3*k + 5*l + 154 - 8 = 0, -5*l - a = 5*k. Which is smaller: -46 or k?
k
Let v = 0.9 - 1.9. Let t = 0.112 - 104.112. Let l = t + 103.84. Is l greater than v?
True
Let p be (1/2 - 0)*(26 - (15 + 11)). Which is smaller: -2/19269 or p?
-2/19269
Let w = -9328 + 9382. Which is smaller: w or 277/5?
w
Let o = -5922 - -5923. Is o at least as big as -8/2397?
True
Suppose 2*i + 3 = -2*p + 19, -2*i + 4 = -p. Suppose -4*a = 14*f - 10*f - 8, 0 = -4*a - 4. Suppose 0 = 3*n - 5*w - 1 - f, 0 = -4*w + i. Which is bigger: 1 or n?
n
Suppose -3*q = t + 86, 404 = 166*t - 171*t - 2*q. Which is smaller: t or 19?
t
Suppose -552 = -4*g + 2*w, 3*g = -3*w + 492 - 60. Suppose -13*s = -3*s - g. Let y be 4/(-1*(s/(-4) + 3)). Which is bigger: y or 17/2?
17/2
Suppose -80*l - 151*l - 316 = 85*l. Which is smaller: l or 2/49949?
l
Suppose 0 = -q + 65 - 83. Which is bigger: q or -31?
q
Let u(v) = v**3 - 21*v - 17. Let b be u(-4). Let z be (-2)/(9 - -3)*b. Which is greater: 1/13 or z?
1/13
Let y be (28/(-232) - 0)/(0 + (-18 - 1)). Is y bigger than 0?
True
Let r = 16215 + -16213. Which is smaller: -36.42 or r?
-36.42
Let w be (-1)/(14/24) - (-25)/((-100)/(-8)). Is 334.8 smaller than w?
False
Let g = -23703 - -23811. Which is bigger: g or 1198/11?
1198/11
Let n be (-557 + 555)*(2/5)/(4/5). Which is bigger: -6/1783 or n?
-6/1783
Let u(b) = b**2 + 12*b + 37. Let r be u(-6). Let s(k) = 341*k**2 + 3*k. Let i be s(r). Suppose 5*a = a - i. Is a smaller than -86?
False
Let d(l) = 2*l**2 + 14*l + 26. Let v be d(-5). Suppose 2*z + v = 0, 174 = -5*n + 4*z + 1386. Suppose 9 = -3*p, -3*f - 5*p + 4*p = -n. Is 82 less than f?
False
Suppose -32*y + 28*y - 10640 = 0. Let i be 4/(-14) - 732/y. Is i bigger than -1?
True
Let g be 2*(-96)/(-9)*351/26. Is g at most 0.06?
False
Let i be (14/36)/(19/228)*5337/(-6). Is i less than -4152?
False
Let c be (3/6)/(146/(-44384)). Is c less than 16?
True
Let z = 8365 + -8343. Is z less than -197?
False
Let v = 0.87 - 0.97. Which is greater: -368.2 or v?
v
Let h = -69 - -88. Let r = h + -23. Which is bigger: r or -3?
-3
Let q = -35017811191/44460 + 7088624/9. Let l = q + 9/52. Let b = -2 - -3. Which is bigger: l or b?
b
Let t = -4397 + 17577/4. Let g = -0.8 - -0.9. Is g at least t?
True
Suppose 0 = -5*c + 5*n - 80, 0 = -3*n + 10 + 2. Which is smaller: c or -171?
-171
Let n = -179930 - -7737426/43. Is 10 at most n?
True
Let a(y) be the second derivative of -y**4/3 - 9*y**3/2 + 7*y**2/2 - 33*y. Let c be a(-7). Is -2/53 <= c?
True
Suppose -v - 12 = 2*v. Let g be ((-6)/(-4))/(-18 + (-7623)/(-420)). Let n(s) = s**2 - 23*s + 127. Let o be n(g). Is v <= o?
True
Let v = -485 - -420. Let f = v - -63. Is f at most as big as -37/12?
False
Let l = 8 + -7.3. Suppose 0 = -4*c - 18*c + 7326. Let f = 333 - c. Which is smaller: f or l?
f
Let w = -0.00456 + 0.10456. Let b = -307 - -213. Which is smaller: w or b?
b
Let b be 11/88*(77 - 8/8). Suppose r + 47 = 5*x, -2*x - x + 4*r = -35. Which is smaller: x or b?
x
Let u be 117216/(-414) + (-52)/(-13). Is -278 at least as big as u?
True
Suppose 0 = 22*s + 159*s - 1367 + 10417. Which is greater: -44 or s?
-44
Let l = -255632/15 + 17036. Let u = 55/3 + l. Do 1/6 and u have different values?
True
Let l = 588 + -579. Let h(q) = -q**3 + 9*q**2 + q - 10. Let o be h(l). Which is smaller: 2/239 or o?
o
Let q = -93 + 73. Let m be (-131)/(-524) + 289*1/q. Is -13 greater than m?
True
Let w be (4/(-10))/((-1)/65). Let a be 0 - (1 - 30/w). Which is greater: 0.9 or a?
0.9
Suppose 6 = -37*u + 43*u. Let w be (-100)/14 + u*2/14. Let l(f) = f - 4. Let d be l(0). Is d >= w?
True
Let d = 0.113 + -96.013. Let m = d - -100. Let o = -30.1 + m. Which is smaller: o or 1?
o
Suppose -3*h = -4*u - 11, 2*h - 3*u = h + 7. Which is smaller: 1/212 or h?
1/212
Suppose -4348 = -13*s - 1423. Let b be ((-6)/s)/(4 + 26/(-6)). Do b and 1 have the same value?
False
Suppose -4*q + 0*q - 336 = 3*g, -5*q - 420 = 2*g. Let h be (2/8)/(9/q). Let a be 2/(-4)*(-4)/32*(-139 + 107). Is h smaller than a?
True
Let c(a) be the first derivative of 2 - 1/4*a**4 - 1/2*a**2 + 5*a**3 + 6*a. Let h be c(15). Which is smaller: -1/4 or h?
h
Let l = -1449621/209 - -6936. Let r be (-1)/(-3) - 56/42. Are l and r unequal?
True
Suppose -66*a + 2124 + 1176 = 0. Which is bigger: 2/13 or a?
a
Let f = -49 + 64. Suppose 16*k - 2 = f*k. Suppose -3*x + 4*a + 2 = -4, 0 = -k*x + a + 4. Which is greater: x or 7/12?
x
Let p = -275541/26 - -10596. Which is smaller: p or -2?
-2
Suppose -15*i - 798 = -i. Let b = i - -56. Do b and -3/100 have the same value?
False
Let y(n) = -n**3 + 2*n**2 + 3. Let g be y(2). Suppose -p = -g*p - 0*p. Suppose -j = -3*c + 16, -2*c + 6 = -p*c. Which is bigger: -9 or j?
j
Let h be 51 + ((-1)/4)/((-88)/(-1056)). Which is smaller: h or 74?
h
Let g be (-343 + 344)*(-2)/(-2). Let t = -3/13459879 + 14321326787/69681793583. Let r = -2/167 + t. Are g and r nonequal?
True
Let j be 1689 + -1 - (-1 - -4). Suppose -j = 2*n + 865. Let o = -34429/27 - n. Is 0 less than or equal to o?
False
Suppose 0*k - 4*k = h - 14, 4*k - 20 = -4*h. Let p be h*(-9)/12*-4. Suppose -2*d + 55 = -5*b, d = -3*b + p*b + 32. Which is smaller: b or -63/8?
b
Let q(w) = 7 + 0 - 2*w + 2 - 1. Let j be q(3). Let k = -7.74 + 8.1. Which is bigger: k or j?
j
Let m(d) = -d**3 - 12*d**2 + 11*d - 13. Let y(v) = -v**2 + 19*v. Let x be y(19). Let n(l) = -l - 13. Let z be n(x). Let b be m(z). Which is smaller: 5 or b?
5
Let f be (-1)/(-3) + (-4 - 437/(-120)). Let z(x) = -x**2 - 10*x - 10. Suppose -17 = -4*p - u - 56, -5*u - 33 = 2*p. Let y be z(p). Is y bigger than f?
False
Let l be -6 - (6/213)/((-6)/1284). Suppose 24*d - 15*d = -18. Is d less than or equal to l?
True
Suppose 3*c + 5*z = -2310, -4*c - 2*z + 0*z = 3080. Let w(k) = 46*k - 171. Let h be w(-13). Is c < h?
True
Let n(t) = t**3 - 3*t**2 + t - 4. Let a be n(3). Let r be (a - (-3)/9)*-192. Suppose -5*h = -8 + r. Which is smaller: h or -23?
h
Let l = 3/14047 + -58758607/28094. Which is smaller: l or -2093?
-2093
Let u be (-170)/376*192/(-80). Which is greater: -1 or u?
u
Let c be ((-3244)/(-780)*5)/(393/(-6)). Let q = c - -8/131. Is q < -1?
False
Let y be (-3731)/585*(-4)/14. Let k = y - -26/15. Which is smaller: k or 4?
k
Let v = -11684 + 11435. Which is greater: -3246/13 or v?
v
Let o(t) = -29*t**3 - 2*t**2 - 2*t - 1. Let g be o(-1). Let v be 3 + (-4)/(g/69). Let p = v - -830/119. Are p and 2 equal?
False
Let x = 864 - 619. Is x greater than or equal to -1/4?
True
Let u be (-1)/28*14/(-12). Suppose 2*c + 44 = 2*v, -2*v + 46 = -3*c - 4*v. Let z be 2 - 20/8 - (-3)/c. Which is greater: z or u?
u
Let y be (-56)/(-20) + -2*1. Let u(o) = -1980*o + 17835. Let s be u(9). Which is greater: s or y?
s
Let x(d) = 9*d + 147. Let w be x(-12). Suppose -5*k - w = -94. Which is bigger: k or -2.3?
k
Let v = -2 + 2.01. Let z = -43811.95 + 43812. Is z <= v?
False
Let n be (-873160)/654600 + (9 - 8 - (-1)/3). Which is smaller: n or -1?
-1
Suppose -4*w - 3*b = -59, -5*b - 1557 + 1562 = 2*w. Which is smaller: 169/8 or w?
w
Let i = 1.3092 + -0.1092. Let x = -140 - -704/5. Which is greater: x or i?
i
Suppose -2*p = 5*a + 56, -64 = 3*p + 3458*a - 3453*a. Which is smaller: 8/465 or p?
p
Let z = -2646683.954 - -2644402. Let t = -2287 - z. Let g = t - -0.046. Is g smaller than -0.1?
True
Suppose -133*x + 315 = -88*x. Which is smaller: 302/51 or x?
302/51
Let w = 185 - 184. Let q be (w/((-10)/44))/((-8)/10). Which is smaller: 6 or q?
q
Suppose 0 = -h + 3*c + 174, 3*c - 146 = -h + 28. Suppose -m + 157 = h. Is m at most -19?
False
Let x(c) = -c**3 - c + 22. Let l be x(0). Let y be (3/l)/(6/8). Let s = 5740 - 5740. Which 