er: i or -2/11?
-2/11
Let i be (-1615448)/13739010 + (-32)/(-240). Let q = -12/1093 + i. Which is bigger: 1 or q?
1
Let q = -0.442 - -0.442. Let l = -190 - 9. Which is smaller: l or q?
l
Let l = -2610071/1246 - -14668/7. Which is greater: l or 2?
2
Let z = -109 - -278. Let y = -714 - -594. Let f = y + z. Which is smaller: 0 or f?
0
Let x be (-915398)/(-462) - (-1)/7. Let c = -1981 + x. Which is greater: 0 or c?
c
Let p(l) = -8*l**3 + l**2 - 12*l - 115. Let h be p(-4). Which is bigger: 479 or h?
479
Let p = 220.01 - 218. Let r = p - -0.19. Let w = r - 2.3. Is -16 less than w?
True
Let b = 24/139 + -379/1390. Which is bigger: 18 or b?
18
Suppose 15 = c + 4*c. Suppose 8 = -7*r + c*r. Let j be ((-765)/675)/(4/10). Which is greater: r or j?
r
Let k = 13.736 - -0.264. Let j = 13 - k. Which is greater: -7 or j?
j
Let r(y) = -y**3 - 7*y**2 - 7*y - 2. Let j be r(-6). Let w be (-68)/j + -1*4. Suppose 2*k - 6 = 0, -5*k - 1 + 8 = -4*h. Which is greater: h or w?
h
Let w = -139347/7 + 19862. Suppose -580 = -57*i - 1093 - 1995. Is i at most w?
False
Let j be (1*3 - (-20)/12)*15. Suppose j = -5*a + 3*r, -r = a + 3*r + 14. Let c be ((-4)/6)/(-3*a/(-189)). Is 2 less than c?
True
Let x = -41 - -59. Let s be 356/x*1/(-30). Let m = s - -7/27. Is m less than 6?
True
Let o(y) = y**2 - 16*y + 2. Let z = 13 + 3. Let n be o(z). Let x be (6 - 2)/(124/n). Is x equal to 1?
False
Let a(t) = 13*t - 11. Let k(m) = -7*m + 6. Let w(x) = 3*a(x) + 5*k(x). Let c be w(4). Let b be (8 - 1/((-2)/(-14)))/(2/28). Is b > c?
True
Let b(w) = w**3 - 27*w**2 + 13*w + 10*w**2 + 6*w**2 - 8. Let s be b(10). Let h = 5 + s. Which is greater: h or 28?
28
Let p be (-6)/20*2 - 726336/(-4160). Let c(x) = -x**3 - 2*x**2 - 4*x + 5. Let r be c(-6). Is r bigger than p?
False
Suppose -2*a + 984 = -354. Let u = a + -643. Is 4 greater than u?
False
Let a = 13694 + -12306. Which is smaller: a or 1386?
1386
Let c(d) = 2*d + 10. Suppose -3*v = v - 2*t + 24, 2 = -t. Let s(p) = p**3 + 8*p**2 + 10*p + 13. Let y be s(v). Let x be c(y). Is x != -4?
True
Let q = -127 + 89. Let c = 2036 + -2033. Is c smaller than q?
False
Let f be 9/((-648)/16) + (-25855)/9. Let p = 611948/213 + f. Which is smaller: p or 1?
p
Let k = -54 + 53. Let y be (-6)/((3/2)/k). Suppose u = y*z, z = -10*u + 5*u. Are z and -1/28 nonequal?
True
Let g be (-4 + 4)*5/(-5). Let a = -13/20 - -39/20. Is a less than g?
False
Let l be ((-996)/(-60) + (-4)/(-10))*1. Suppose 504 = -l*s - s. Which is smaller: s or -30?
-30
Let w = -3320.9 + 3321.037. Is w < 22?
True
Let i(r) = -5*r**3 - 4*r**2 - 4*r - 3. Let l be i(-3). Let g = l + -76. Suppose 5*c - c - g = 0. Which is bigger: 29/4 or c?
c
Let i(v) = -v + 28. Let j be i(0). Let b(w) = -64*w + 299. Let s be b(5). Let q = s + j. Is q less than 31/5?
False
Let g(z) = 2*z**2 + 9*z - 11. Let k be g(-7). Let r be 18/k*24/63. Let u be (-142)/36 + (-4)/8. Which is greater: r or u?
r
Let l(d) = 2*d**2 + 85*d + 208. Let y be l(-37). Which is bigger: y or -24?
-24
Let j be (-32)/(-112)*(-7)/(-4). Let a = -0.81 + -0.29. Let d = -0.7 - a. Is d at least as big as j?
False
Let u = 447 - 448. Let y be (1732/(-1712) + 1)*u/(-10). Are y and -1 non-equal?
True
Let o be (-45)/150 - 654/(-5). Which is greater: 131 or o?
131
Suppose -4311 - 29440 = 134*x + 20653. Suppose 0 = 5*b + 3*y + 2041, 5*y = b + y + 399. Are x and b unequal?
True
Let b = 314 - 321. Let h(m) = -m**2 - 6*m + 21. Let q be h(b). Which is bigger: q or 122/9?
q
Let w be 6/(-4) + -15 + 6 + (-6895)/(-658). Let s be (-9)/(-54) + 2/(-12). Is w less than s?
True
Let y = -6826/273 + 76/3. Are 2 and y equal?
False
Let t = -17881.9 - -17882. Which is smaller: -0.05667 or t?
-0.05667
Suppose -72*q + 554 + 7046 = 23*q. Which is bigger: 68 or q?
q
Let o be (-4)/9*(-360)/80. Let j be 288/(-45)*o/28. Which is smaller: j or 1?
j
Suppose -6*j - 3*c - 9396 = 0, 157*c - 153*c - 3112 = 2*j. Is j smaller than -1564?
False
Suppose -4*l = -3*g - 5*l - 364, -104 = g - 4*l. Suppose -48*j = -m - 46*j - 121, 2*m + 5*j + 233 = 0. Is m greater than or equal to g?
True
Let p = -3270876/471223 - -2/27719. Which is smaller: p or -6?
p
Let q = -287 + 284. Let w be ((-2)/q)/(1974/378). Do 0 and w have the same value?
False
Let b = -648 - -647.501. Let i = -0.199 - b. Is 0.1 greater than i?
False
Suppose 0 = 2*v - 2*x - 2, -5*v - 32 = -3*x - 43. Suppose 0 = t + v, 2*t + 8 = -6*u + 7*u. Which is smaller: 1/45 or u?
u
Suppose 101*a - 2280 = -102*a + 227*a. Is a < -96?
False
Let b(u) = u**3 - 11*u**2 + 3*u + 6. Let g be b(11). Let n be g/(3 - (-42)/(-15)). Suppose 198*z + 6 = n*z. Which is smaller: -7/3 or z?
-7/3
Let g be 6 + 1*474*(-51)/(-10064)*-2. Which is smaller: 1 or g?
1
Let a = 3021 + -486443/161. Which is smaller: a or 0?
a
Suppose 4*z = -0*z. Let t = 3.986 + -4.06. Let p = t + 24.074. Which is smaller: p or z?
z
Let a(r) = r**3 + 2*r**2 + 4. Let y be a(-3). Suppose 3*g + 189 = -f, -g - g - 131 = -f. Let q be (0 - 2/y)/(g/(-10)). Are q and 1 nonequal?
True
Suppose -59*r - 4826 = -20284. Suppose 0 = 290*p - 289*p - 262. Is r greater than p?
False
Let v = 124 - 74. Let r = v - 46. Suppose 3 = 3*l + 6, -2*j - 4*l = r. Are j and 4/5 unequal?
True
Suppose -27*a = 18*a - 109485. Is 2434 < a?
False
Let o be (2709/12)/(-10 + 195/20). Which is bigger: -3613/4 or o?
o
Let n = 3 - 2. Let m be n - (-2)/(-1) - -3. Let d(b) = 5*b**2 - 225*b - 1249. Let j be d(50). Which is greater: j or m?
m
Let a = -459 - -465. Suppose -a*g + 5*g - 1 = -i, -4*g + 23 = 5*i. Which is greater: g or 31?
31
Let h = -5412 + 5411. Is h less than -4/889?
True
Suppose 0*p = 4*u - 4*p - 8, -u + 4*p = -5. Let h be (-51064)/89362 + 1/(-26)*796/(-14). Which is smaller: u or h?
u
Let n = 29180 - 28929. Which is smaller: n or 244?
244
Let z = -873015/7 - -125151. Which is smaller: 434 or z?
434
Let l = -3/3173 - -10929/1491310. Which is smaller: 5 or l?
l
Let w be -14 + (-3)/(126/(-406)). Which is greater: w or -1.2?
-1.2
Suppose 12*f = -19*f + 31770 + 19349. Which is smaller: f or 1652?
f
Let r = -1 + 0.96. Suppose -m = 5*d + 2*m - 17, -2*m + 18 = 5*d. Suppose 3*j + 13 - 8 = -2*c, -c = -d*j - 14. Which is bigger: r or c?
c
Let j be -3*(-1 + (-434)/(-6)). Let a(z) = 673*z - 1867. Let c be a(3). Let m = j + c. Does -62 = m?
True
Let p(q) = -q**2 + 13*q - 12. Let u = -3 - -15. Let w be p(u). Let t be ((-6)/(-4))/(-1)*(-41)/(-287). Is t <= w?
True
Let w = 0.3086 + -1006.3086. Is 1/2 smaller than w?
False
Let m(i) = 2*i**2 + 227*i + 1108. Let g be m(-5). Let q = -15 - -14.9. Which is greater: q or g?
g
Let q = -502 + 439. Let u(r) = -2*r**3 - 2*r**2 + 2*r - 1. Let j be u(-6). Suppose 0 = 4*o + j - 99. Which is greater: o or q?
o
Let q(x) = -8*x**2 + 551*x + 128. Let k be q(63). Which is smaller: k or 3090?
k
Let o = 0.35461 + -231.37061. Let i = o + 231. Are i and 2/9 equal?
False
Let i(t) = -221*t - 15. Let w be i(-1). Let b = w - 233. Suppose 114 = -4*d + 2. Are d and b equal?
False
Let d be (-2)/6*(-60)/5. Suppose 2*i + 2*a = 8, 0*i + 5*a - 20 = d*i. Let q be 11 - (12/(-4) + 2). Which is smaller: i or q?
i
Let j be (-11)/10*(-8 + 4). Suppose 4*h - 5*p = 26, -5*p - 29 + 27 = 2*h. Is j not equal to h?
True
Let n(g) = -g**2 + 2*g - 6. Let o be n(0). Let j be (22/3)/(o/9). Suppose 16*x = 18*x + 6. Which is smaller: x or j?
j
Suppose 2*l = l + 53. Let h = -50 + l. Suppose 0 = 3*t + r + 2 - 21, -5*t = -h*r - 27. Which is greater: t or 3?
t
Suppose -2*j - 4*n - 28 = 0, -3*j + n = -1026 + 1012. Which is bigger: 93/184 or j?
j
Let m be 2 + 964/(-164) - -4. Let b = -2227 + 2228. Which is bigger: b or m?
b
Let m = 1382 + -1397. Which is smaller: -237/17 or m?
m
Let t(m) = -m**2 + 41*m + 945. Let z be t(-16). Is z less than or equal to 896/27?
True
Let i(g) = 2*g**2 + 22*g + 16. Let a be i(-11). Let v(y) = 3*y**2 + 346*y + 132. Let s be v(-115). Which is bigger: s or a?
s
Let a = 440 - 446. Let i be a/21 + (3 - (-4176)/210). Is i greater than 24?
False
Let u = 46 - -5. Suppose -3*n + 30 = 2*a, -5*n + a = -n - u. Suppose 3*t + 141*f - 59 = 145*f, 14*f = 2*t - 96. Which is smaller: t or n?
n
Let j be (4/(-6))/((-3)/(-9)). Let u(o) = o**3 + 12*o**2 + 16*o - 34. Let x be u(-10). Suppose -r + 3*m + 6 = 0, -4*m + x*m + 4 = -r. Which is smaller: j or r?
j
Let q be (-133)/(-115) + (-421)/(-9683). Is -151 at most as big as q?
True
Let d = 523.9