 2. Which is smaller: l or w?
w
Let v = 4/247349 - -181059248/13604195. Let n = v - 67/5. Which is greater: 1 or n?
1
Let t be 1/(-2 - (-105)/54). Let s be (-4)/t + (2 - (-457)/9). Let w = s - 52. Is -1/8 != w?
True
Suppose 0 = 218*d - 207*d - 264. Suppose -v = a + d + 198, 1125 = -5*a - 2*v. Which is smaller: -225 or a?
a
Suppose 12771 = -21*z + 32*z. Which is smaller: 1160 or z?
1160
Suppose 0*c - 1869 = -5*c + 551. Is 487 > c?
True
Let m be (971596/(-360))/((-2)/(-4)). Let r = m + 5398. Which is bigger: 0 or r?
r
Suppose -l + 3 = -5. Suppose 4*m + 16 = -9*f + 4*f, -2*m + 4*f - l = 0. Let d be (0/(m - -8))/(-2). Is d at least -3/11?
True
Let j be 106/(-104) + 2/8. Let l(o) = -7*o - 49. Let q be l(-7). Is j > q?
False
Suppose 19 = 2*s + 361. Let y = -2455 - -2283. Is y less than s?
True
Let r(v) = -v**2 + 10*v - 16. Let c be r(7). Suppose -s + d + 4 = 0, c*s = -2*d - 13 - 2. Let g be (-15)/66*-8 - 2. Is g equal to s?
False
Let r = 18 - 17. Let f = -3221/51513 + 3/1561. Is r at most f?
False
Let i be 680/18 - (-16)/72. Let y be 26/15 - (-264)/990. Which is greater: y or i?
i
Let n be 15/(-3036)*-9*5/(-600). Which is smaller: n or 1?
n
Let y = -662 - -814. Suppose y = 4*h - 2*l, l - 4*l + 12 = 0. Let k = 29 - -10. Which is bigger: k or h?
h
Let x(z) = z**2 + 31*z + 86. Let u be x(-28). Suppose -5*l - 3 = -5*o + u*o, -3*o + 3 = -2*l. Which is smaller: 54 or o?
o
Let h(q) = -139*q + 4580. Let s be h(33). Let t = -0.7 - -0.6. Which is bigger: s or t?
t
Suppose -3*k + 16 = -f, -5*k - f + 33 = -k. Suppose -8*u = -k*u. Let i be (-16)/(-6)*-6*6/204. Which is smaller: u or i?
i
Let f = 123 + -331. Let m be f/36 - -6 - (-52)/9. Let y be 1*(-7 + m)*11/(-10). Which is smaller: y or 2?
y
Let c(m) = -21*m**3 + 1. Let z be c(1). Let s(q) = q**3 - 87*q**2 + 178*q - 678. Let w be s(85). Which is smaller: z or w?
z
Suppose 5*q + 30 - 25 = -4*f, -2*f - 2 = 2*q. Which is smaller: -2/8317 or f?
-2/8317
Let w(y) = 1005*y + 7034. Let h be w(-7). Is 2/47375 < h?
False
Let g = 7.2 + -36.3. Let p = 29 + g. Which is smaller: -3/7 or p?
-3/7
Let y(j) = j**3 - j - 11. Let q be y(0). Suppose -280 = -k - 13*k. Suppose k*v - 50 = -190. Is q smaller than v?
True
Suppose 0 = 5*m + 35 + 5. Let a(y) = -2*y**2 + 9*y + 18. Let w be a(m). Which is smaller: w or -181?
w
Let d(r) = 4*r**2 - 52*r + 74. Let f be d(5). Is f less than or equal to -136?
False
Suppose -2*q = m - 1, 14*q + 9 = 18*q - 5*m. Let f be 6/(2 + -38) + q/6. Is f at most as big as 3/67?
True
Let l = 13 - 38/3. Let n = -0.182 - 0.368. Let a = n + 0.25. Which is smaller: a or l?
a
Let g = 9151/810 - 113/162. Let w = -33 + 19. Let j = -4 - w. Which is smaller: j or g?
j
Let z = -98/935 + -7364/4675. Suppose 2*v + a + 12 - 3 = 0, 3*v = 3*a. Does v = z?
False
Suppose -2*o - 3*c = -o - 6, -2 = -c. Suppose j + 1 - 5 = o. Let h be (j - 8)/(-4) + -6. Which is smaller: -4 or h?
h
Suppose -764*y + 95634 = -1178*y. Let k = 456 - 686. Is k > y?
True
Suppose 34*x = 35*x - 440. Let c be 1 - 1808/x - -3. Which is bigger: c or 0?
0
Let f = -291 - -296. Suppose -5*j - 940 = z, -5*j + 107 = f*z + 1067. Which is smaller: -188 or j?
-188
Suppose 4*p = m - 25, -p = 2*m + 3*p + 10. Let d be 1*(9*-2 - m). Is -23 less than or equal to d?
True
Suppose -5*o = 3*i - 10, o = 3*i - o - 17. Let t be (22*4 - -2)*15/9. Let k be (0 - i/6)*(-5)/t. Which is greater: 1 or k?
1
Suppose 4*n = 5*k - 209, -2*n + 2*k + 0*k = 104. Let i be 36/n*-2*(-18)/(-8). Which is smaller: 2 or i?
2
Let c = -0.016 + -0.084. Let g = 0.1 - -15.9. Let u = -15.89 + g. Which is bigger: u or c?
u
Let n = 62 + 172. Let d = n + -151. Let h = 1246/15 - d. Which is smaller: h or 0?
0
Let o be -10 - (21 + (-66)/6). Suppose -3*g + 0 = 6. Let m be 1 - g*3/(-8). Is o not equal to m?
True
Let r(a) = -a**3 - 7*a**2 + 7*a + 23. Let l be r(-2). Is -466/43 smaller than l?
False
Let h = -0.07198 - -11.07198. Which is smaller: -7/2 or h?
-7/2
Let c = -0.1169 + -109.7831. Let z = -113.9 - c. Let t = -0.2 - 0.8. Which is bigger: z or t?
t
Let j(m) = -666*m**2 + 180*m + 357. Let t be j(-2). Is t not equal to -2665?
True
Let s be (-24)/856*32/144. Suppose -2*x = 4*d - 5*x + 6, -5*d + 5*x = 10. Suppose d = -2*y - 2*y. Which is bigger: y or s?
y
Suppose -z + 3*h - 35 = 0, 0 = 160*z - 159*z - 5*h + 21. Is z greater than or equal to -70?
True
Let w(a) = -a**2 + 14*a + 19. Let j be w(12). Let q = 51 - j. Let i = -36 + 47. Are i and q non-equal?
True
Suppose -w - 14 = -t - 25, -t - 5 = w. Let n be (-6)/(-4)*(-7)/(-4). Which is smaller: n or w?
n
Let n = 3.02 - 3. Let v be (-1 + 2)/(-7 - (-792)/44). Which is smaller: v or n?
n
Let s be (-24)/684*(-990)/8 + -5. Let d = -3/19 - s. Is -8/7 equal to d?
False
Let c = -22785 + 20202. Is -2583 < c?
False
Let u(c) = -c + 16. Let o be u(8). Let s be (-10)/15*9/o. Let n = -198 - -197. Which is bigger: n or s?
s
Suppose 61*f + 53 = 53. Is f at most as big as 3/5533?
True
Let b(u) = u**3 + 68*u**2 - 2940*u + 1. Let m be b(30). Let r = 18 - -14. Let s be (2/(-2))/((-30)/r). Is m less than s?
True
Let g = 13.3 + -18. Let i = 40.3 + -46. Let k = g - i. Which is greater: -0.9 or k?
k
Let w be (138/18)/((-1)/3). Suppose 17*h = 35*h + 540. Let a = h - w. Which is greater: -1 or a?
-1
Suppose -8*o - 5*o = -27846. Let m be (-6)/(-24) + (-7)/(-4). Let z be (m/(-5)*1)/(o/(-170)). Which is bigger: -1 or z?
z
Suppose -4*j = 3*q + 3*q - 24, -q + 12 = 2*j. Which is smaller: -2/20525 or q?
-2/20525
Let c = -16320 + 16318.87. Which is bigger: c or 6?
6
Let i = -1039 - -1039.0637. Which is smaller: -2 or i?
-2
Let z(x) = -46*x + 349. Let d be z(8). Let c(s) = 12*s + 1. Let p be c(-1). Is d at least p?
False
Let c = -681.922 + -0.078. Let x = c + 683. Which is smaller: -144 or x?
-144
Let k = -787.832 - 0.168. Let m = 811 + k. Is m less than 2/5?
False
Let h be 5/(-7) - 29371394/(-41141002). Which is smaller: h or 1?
h
Let i be 4 + (-25)/7 - 4191/28. Let j = i + 148. Suppose -5*o + 7 = 4*a - 0*a, -3*o = -3*a - 15. Is a >= j?
False
Let d be (-2)/12*-1*-2. Suppose 407 + 12 = -h - 3*v, -3*h - 3*v = 1251. Let y = h - -416. Is d >= y?
False
Let s(f) = -f**3 - 8*f**2 + 25*f + 1135. Let m(p) = -2*p**2 + 6*p + 284. Let v(h) = 9*m(h) - 2*s(h). Let w be v(0). Is 287 greater than w?
True
Let r be (-4 + 5 + -1)/3. Let n = 80 + -182. Let g be (-15 + 12)/(n/8). Which is greater: r or g?
g
Let y be (20355/(-2055) - -19) + -8. Are y and 2 equal?
False
Let w = -3932 + 3925. Is -11/2 != w?
True
Let t(o) = 3*o**3 - 245*o**2 + 99*o + 147. Let z be t(81). Which is smaller: z or -4957?
-4957
Suppose 24*i + 22*i - 50 = -4*i. Which is bigger: i or 28/15?
28/15
Let q = -209 - -35. Let m = 117 + q. Let h = m + 287/5. Which is smaller: 0 or h?
0
Suppose 5*c + 396 = -3*w, -w - 307 = 12*c - 8*c. Is -830/11 at most c?
True
Let z be ((-32)/(-27) - 1)*(-1668)/(-5560). Which is smaller: 1/3 or z?
z
Let k(p) = 7*p**2 - 2*p + 2. Let f(x) = -x**2 - x. Let r(m) = -6*f(m) - k(m). Let a be r(5). Suppose -2*c = 5*d + a - 36, -3*d = -15. Is c <= 2/25?
True
Let m be (4 - 3) + -1 + 2. Suppose 2*v = 5*r + 23 + 1, 2*r + 12 = m*v. Suppose -2*k = -0*g - 2*g + 178, -v*g + 360 = -4*k. Is k greater than -91?
False
Let v(c) = -8*c + 528. Let m be v(5). Which is smaller: 1465/3 or m?
m
Let k(y) = -4*y + 110. Let o be k(26). Suppose 4*a - 2*r = 0, -a - 3*r = r. Suppose -4 = 3*j - v, a = 5*j - v - v + o. Is 2 at most j?
False
Let h be 1*(37/(-37))/((-1)/(-8)). Is -84/11 equal to h?
False
Let v = 337 + -344. Let w = 1.1 + 2.9. Let g = -4 + w. Is g > v?
True
Let k = -1114 + 708. Let c = k + 405. Let o be 2/(-6) - (-14)/(-30). Which is bigger: c or o?
o
Let b = 12 - 25. Let s be -48 + 62 + 385/(-14). Which is smaller: b or s?
s
Let j be 10*(48/70)/4. Let p be 1*(14 + -15)*(2 - 1). Is p at least as big as j?
False
Suppose 0 = -14*f - 0*f + 1400. Let h = f - 100. Is h <= -6/5?
False
Suppose -4*s = -4*p - 236, s - 185 = 3*p + 6*s. Which is smaller: p or -49?
p
Let m(t) = -t**3 + 4*t**2 - 3*t + 2. Let o be m(4). Let l be (-3)/(-12)*-2*22. Let a = l - o. Is -2/115 at most as big as a?
False
Let m = 415.38723 + -0.08723. Let f = -415 + m. Is f > 56?
False
Let l = -0.09565 + -0.00435. Are l and 1664 equal?
False
Let j be 765/85 + 305/(-47). Which is smaller: j or 3?
j
Let p(n) = -2*n**2 - n + 1035. Let m be p(-23). Let a = -45369/20 - -226