- 4*n**2 - 13*n - 3. Let u be r(-2). Which is smaller: u or -42/89?
u
Let c be ((-69)/4)/((-9)/408). Suppose 6*n - c = -80. Which is greater: 118 or n?
118
Let x = -2/4402879 - -80784023906/30820153. Let l = x + -2616. Is -0.1 less than or equal to l?
True
Let z be -6 + 3/((-9)/(-6)). Let w(p) = p**2 + 4*p - 1. Let v be w(z). Let m = -2/4249 - -1228/29743. Is v less than or equal to m?
True
Let p = 2 - -5. Suppose -3*j = -p*j + 260. Let o be j/(-91)*(-2)/(-5). Is o < 0?
True
Let n be 1/7 + 1 + (-108)/(-28). Let c be -1 - ((-11)/(-55) + (-21)/n). Suppose -4 = -p - 5*m - 3, c*p = -5*m + 3. Which is smaller: p or 5/9?
5/9
Suppose -2*x + 10 = -3*q, 3*x = 2*q - 0*x + 15. Let r = 3308 - 459813/139. Which is smaller: r or q?
r
Let x = 39 + -59. Suppose 40*j + 451 = -269. Which is smaller: j or x?
x
Let t = -29 + 39. Suppose -9 = -5*f + 2*f, 34 = 4*b - 2*f. Does b = t?
True
Let j be 2/7 - (-16)/(-7). Suppose 5 = -n + 14. Suppose -5*v + 21 + n = 0. Is j at least v?
False
Let b = -13654/3 - -4552. Is -143/21 smaller than b?
True
Let q = 13884.83972 + 0.16028. Which is greater: q or -2/3?
q
Let b = 7965 + -7961. Is 180 less than b?
False
Let l(s) = 3*s + 2. Let p be l(-7). Suppose -76 = -5*a + 99. Let q = -54 + a. Is p at least as big as q?
True
Suppose 2*z + 4*x - 36 - 128 = 0, 2*z - 167 = -3*x. Let d be (z/(-6))/(3 - (-124)/(-36)). Which is greater: 35 or d?
35
Suppose 2*s - 4*s = 102. Suppose -2*o - 95 = -5*b - 0*b, -b - 1 = 0. Are o and s unequal?
True
Let h = 2030 + -2023. Let z be ((-1)/(-3))/(13/351). Is z equal to h?
False
Suppose 744 = 4*y + j, 628 = 3*y + 4*j + 70. Let p = y - 260. Which is greater: -1 or p?
-1
Suppose -28 = -4*v, -2*n - 26*v - 332 = -28*v. Let m = -82 - 77. Are m and n equal?
True
Let t = 3736 + -17103. Which is bigger: -13368 or t?
t
Let a = 7335 - 8819. Which is bigger: -7427/5 or a?
a
Let z(m) = -m**2 - 175*m - 249. Let p be z(-131). Is 5516 >= p?
True
Suppose 15*n + 18 = 12*n. Let t(f) = -f**2 - 2*f + 1. Let a(m) = 7*m**2 + 4*m - 15. Let x(y) = n*t(y) - a(y). Let s be x(7). Are s and 17 equal?
False
Let b be -10 - 22*-4*88/1696. Which is greater: -6 or b?
b
Let f = 225 - 411. Let g = 250 + f. Which is greater: -0.2 or g?
g
Suppose 12*p + 32 + 53 = -47. Let i be (0 + -1)*64/8. Is i less than p?
False
Let v = 5202 - 5201.862. Which is bigger: v or 36/7?
36/7
Let u be (-11)/(-160798)*(-4 - -6). Is 0 <= u?
True
Let p be -2*(8 + (-861)/105). Let k = -0.27 - 0.83. Which is smaller: p or k?
k
Let c be -284*((-108)/(-240) - 4). Which is smaller: c or 1009?
c
Suppose -s - 93 = -2*s. Let y = -6254 - -6256. Which is smaller: y or s?
y
Let v = 269.7 + -51.7. Let a be (65/260)/((-6)/21 - (-45)/84). Is a smaller than v?
True
Let p = -101167 - -4957705/49. Does 12 = p?
False
Let m be ((-3)/13796)/(9*3/(-24)). Is 0 at least as big as m?
False
Let x(y) = -5*y**3 - 9*y**2 + 9*y + 31. Let t(m) = -m**3 - m. Let q(c) = -4*t(c) + x(c). Let j be q(-10). Which is smaller: j or -140?
-140
Let z(i) = -i**3 - 9*i**2 + 3*i + 16. Let l be z(3). Which is greater: l or -85?
l
Let l be (3 - (6 - 9))/(31/28 - 1). Is l less than 58?
True
Suppose -166*q + 146*q + 100 = 0. Suppose q*x + 2*g - 1119 = 10*x, 0 = -x + 5*g - 210. Which is smaller: -227 or x?
-227
Suppose -529*v + 18 = -1019*v + 508*v. Let j = 2984 + -4681897/1569. Is j less than v?
True
Let k = -1 + 1. Let n = 89537587/16 + -5593957. Let u = 2142 - n. Are k and u non-equal?
True
Let b(l) = -l**2 - 4*l + 8. Let x be b(-5). Suppose h = -x*t + 386, 4*t - 89 - 429 = -2*h. Which is smaller: t or 128?
t
Suppose -112 = -5*l + 1673. Let n = -254 + l. Is 103 less than n?
False
Let a = 296 - 167. Suppose m = -5*n - a - 448, n = -5*m - 101. Which is greater: n or -117?
n
Let b be 7*22/5 - (-8)/(-10). Let t be 4/b*(-240)/(-144). Does t = 2?
False
Let m = 457 - 457.01. Suppose 18 = 4*l - 5*o, 3*o + 6 = 2*l + 2*o. Suppose -4 = c - l. Is c at least m?
False
Suppose 382*r - 378*r = -n + 26, 3*r - 27 = 3*n. Let t(v) = -v**2 - 11*v. Let j be t(-11). Suppose 4*f + 7 - 39 = j. Are f and r non-equal?
True
Let v = 2301 - 2437. Does v = -136?
True
Let b = 1602 - 1313. Is 3177/11 < b?
True
Suppose 49 = 107*u - 100*u. Let x be u/(-35) + 1/((-740)/(-268)). Which is greater: -1 or x?
x
Suppose 5*n + 26024 = -3*j, -4*n + 5*j - 13370 = 7390. Is n > -5199?
False
Let s = -191.7 - -207.7. Is -3.7 smaller than s?
True
Let r(t) = -t + 6. Let i be r(4). Suppose 0 = i*z + 2*z. Let c = 181820/37 + -4914. Is z bigger than c?
False
Let u = -26873/114 + 547/38. Let k = u + 221. Is k less than 1?
True
Let v = 1147 - 1110. Let f = 14 + 18. Which is bigger: v or f?
v
Let u = -118 + 382. Suppose 5*x - u = -4*w, -8*w = -2*x - 10*w + 104. Is x at most as big as 57?
True
Let i(v) = 2*v**3 - 15*v**2 + 13*v + 1. Let l be i(1). Let c be -6 + 511/56 + l. Is c bigger than 1?
True
Let b be (120/(-14))/(3/(-14)). Let v be (2/(-4))/(5/(-110)). Suppose -10*j - 40 = -v*j. Are b and j equal?
True
Let a = -3153.936 - -3122. Let g = -0.064 + a. Which is bigger: 1/6 or g?
1/6
Let a be (-5)/((3/6)/(6/4)). Let x(o) = o**2 + 14*o + 21. Let w be x(a). Let i be (-24)/w - (-11)/16. Does -1 = i?
False
Suppose -3*d + 108 = -y, 4*y + 31 = 19. Let a(z) = z**2 - z + 36. Let o(s) = s**2 - s - 2. Let t be o(2). Let u be a(t). Do d and u have the same value?
False
Let l = 31 - 36. Let x(m) = -m**3 - 4*m**2 + 5*m + 3. Let a be x(l). Let s be ((-9)/(-585))/(a/5)*9. Is s at least as big as 1?
False
Let n be (114/7)/((-17)/(2380/90)). Does 7 = n?
False
Suppose 9 = -53*y + 50*y + 5*r, 0 = -4*y - r - 12. Which is smaller: y or -37/18?
y
Let t be (-23)/322*(6 + -6). Which is smaller: -7/5037 or t?
-7/5037
Suppose -100 = -5*o + 5*h, -3*h + 100 = 5*o - 0*h. Suppose o*r - 14*r = 306. Do r and 54 have the same value?
False
Let i = -66707/219 - -914/3. Let l = 5669 - 5668. Which is greater: l or i?
l
Let s = 5309 - 5309. Which is bigger: 1/461 or s?
1/461
Let m = -2146.4 + 2146.3. Which is bigger: m or -84.7?
m
Suppose 4*r - 2*k - 6 = 0, 2*k = -3*r + 455 - 454. Suppose 19 = 5*q + 539. Which is greater: r or q?
r
Let w = -18744 - -18700. Which is greater: -1045/24 or w?
-1045/24
Let g(h) = -h**3 - 8*h**2 - 6*h + 3. Let o be g(-7). Let w be -180 - (8 + 2 + o). Which is smaller: w or -187?
-187
Let j = 41670.768 + -41671. Which is greater: j or -1/66?
-1/66
Suppose -11*n + 66*n = 110. Is 15/13 not equal to n?
True
Let v be (42/(-28) + 3)/((-1)/(-20)). Let p be v/5*3/(-18). Which is smaller: 2/707 or p?
p
Suppose 291 = 16*g + 575 - 300. Let l = 1801 - 3062. Let t = 94577/75 + l. Is g greater than t?
True
Let n = 421635/4 + -104589. Which is bigger: n or 821?
821
Let r be (-3)/((-12)/28) - 2. Suppose 3*g = r*p - 30 + 1431, 861 = -3*p - 5*g. Let j be 0 + (-12)/30 + p/(-5). Is 56 bigger than j?
False
Let a(i) = 70*i - 771. Let y be a(11). Which is smaller: y or 3/164?
y
Let f = -867 + 1233. Let m = f - 209. Do m and 158 have different values?
True
Let t = -1606 + 1656. Is t smaller than 3?
False
Let w(z) = -591*z - 591. Let r be w(-1). Does r = 1/1215?
False
Let m = -11980 - -12703. Is 0.04 smaller than m?
True
Let v be (5 + -7)/(-1638)*-1238. Let h = v - 4/91. Let a(o) = -o + 1. Let d be a(2). Do h and d have the same value?
False
Let m = 16764 + -16655. Let z be ((-222)/4)/(4/(-8)). Which is greater: z or m?
z
Let y = -1/5667 + 15155/243681. Which is bigger: y or -1?
y
Let v = -294 + 295.53. Let x = v + -0.53. Which is bigger: x or -69?
x
Let a be (-3)/(16/72 - 1018/4824). Let u = a - -267. Which is smaller: u or -8/9?
u
Let p be -3 - ((-46600)/(-44))/5. Let d = -215 - p. Is d less than -60?
False
Let a be (-608)/(-44) + 4/22. Suppose 4*p + a = 3*p. Let f be (-2)/12*(-6 - p). Which is smaller: f or -1?
f
Let o = 1156 + -1481. Is -326 > o?
False
Let w = -388 - -393. Suppose -8*m = -3*m + w, 0 = -2*u - m - 281. Is u less than or equal to -140?
True
Let i be 3 + -7 - 771/(-187). Let o = -1/17 - i. Suppose 2*a = -1 + 15. Which is smaller: a or o?
o
Let h = -6189 + 6189. Is 12/541 at least as big as h?
True
Let n be (21/1260)/((-2)/5)*2. Let q = -1.2 + 4.2. Are q and n unequal?
True
Let k = -2.24 - 87.76. Let b = 88 + k. Which is greater: 12 or b?
12
Suppose -13*m = -113 + 841. Suppose -2*j - 3*q = -13, -5*j + 27 = 4*q - 2*q. Suppose 4*c + 222 = 2*p, -3*c - j*p - 170 = -3*p. Is m greate