ler: i or l?
l
Let y = 98 + -97. Let m = -635/2793 - -12/49. Is y <= m?
False
Let c = 1158551/137156 - -18/2017. Let s = c + -80/17. Suppose -2*r + 4 = -3*o, -5*r - 3*o + 40 - 9 = 0. Which is greater: r or s?
r
Suppose k = -10 - 8. Let l be (-40)/12*k/15. Suppose 4 = -s + 5. Which is smaller: s or l?
s
Let a be ((-2)/12)/((-4)/6). Let s = -104450.945 - -104107. Let j = 344 + s. Which is smaller: j or a?
j
Suppose 0 = -5*p + 2*v - 1946, 24*v = -2*p + 27*v - 763. Which is bigger: p or -1565/4?
-1565/4
Suppose r = -47*d + 46*d + 4, d + 11 = 2*r. Let n be 79 - 79 - (1 + 21 + d). Is n at least as big as -21?
True
Suppose 3*j - 23136 = 2*w, 46272 = -4*w - 124*j + 121*j. Which is greater: -11569 or w?
w
Let w(z) = 13*z - 196. Let k be w(0). Let s = k - -196. Let n = -1/219 - -157/2409. Are n and s equal?
False
Suppose q - 8 = -4*w, -2*q + 28 = -w + 12. Is 228 greater than w?
True
Let m = -1 - -0.904. Let x = 135430 + -135431. Is x <= m?
True
Let a = -2967 + 17669/6. Let g = a + 22. Let q(b) = -b**2 - 37*b - 78. Let m be q(-35). Are m and g equal?
False
Suppose 2*m = 3 - 9. Let v be 0 - m/(-3)*-2. Suppose 2*s = -v*s - 40. Is s less than -2?
True
Let p be 7610/(-16) - (-93)/(-62)*-4. Is p != -471?
True
Let m = -451/42 + 61/6. Let p = -588 + 612.1. Let r = 24 - p. Is m >= r?
False
Suppose 0 = 53*m - 15520 + 102802 + 67107. Is m at most -2913?
True
Let p be 1043/298 + (-255)/2. Is p less than or equal to -118?
True
Suppose -2*y = -3*r - 278, 6*y - r = 3*y + 417. Suppose y*d = 122*d + 238. Which is smaller: d or 17?
d
Suppose 12*g - 56 = 40. Let j be g*((-2)/(-4) + -1). Let v be 2/9*(2 - (3 + j)). Which is smaller: -0.08 or v?
-0.08
Let o = -67.1 + -4.9. Let r = 71 + o. Let l be 0 - 0 - 4/(-22). Is r less than l?
True
Suppose -809 - 31 = -3*b. Let y be (-73)/((-11)/(-10) + (-28)/b). Is y greater than -74?
True
Suppose 58 = k - 4*i, 2*i + 98 = 2*k - 0*k. Suppose -k*m = -48*m + 66. Which is smaller: 32 or m?
32
Let q = -3746 - -3745.85. Is q at least as big as -2/57?
False
Let v = -30 + 41. Let m(p) = p**3 - 9*p**2 - 32*p - 34. Let b be m(12). Is v at least b?
False
Let s(l) = -3*l**3 + 28*l**2 + 17*l + 1. Let b be s(10). Let v = -31 - -3. Which is smaller: v or b?
b
Let v = 235 - 304. Let z be ((-10)/36)/((-92)/v). Is 1 bigger than z?
True
Let g = 10 + -5. Suppose -g*d + 264 = -4*m + 5*m, 0 = -2*d + 3*m + 109. Is 52 at most as big as d?
True
Let p(i) = -i**2 - 2*i + 1. Let m(j) = 6*j**2 - 5*j + 10. Let d(r) = -m(r) - 4*p(r). Let t be d(5). Which is smaller: -1/76 or t?
-1/76
Suppose -4*a = h - 0*a + 21, -5*h - 4*a - 25 = 0. Let l be 75/57 - (h + (-1 - -7)). Which is greater: l or -3?
-3
Let p be -12*(738/(-40))/(24/10). Let k be (-9 - (3 + -104)) + -1. Which is greater: p or k?
p
Let c = -34 + 24.4. Let z = -10 - c. Which is smaller: -0.34 or z?
z
Let m be (-28)/(-266) + 91924/(-17708) + 5. Are m and 0 unequal?
True
Let v = -25 - -22. Let j = v + -1. Let s = -6 - j. Which is smaller: s or -1/4?
s
Suppose -22 = -4*w + 5*s, -s - 44 = -5*w - 6. Suppose 12 = 2*z + w. Let p = 1492/1121 - 4/59. Is z at most p?
False
Let c be -4 + (-4)/(-8)*-4. Let u be (-3)/(1*2/c). Suppose -u + 13 = -4*x. Is x != -3/7?
True
Let b(d) = d**2 - 8*d - 44. Let j be b(12). Suppose 3*z - 197 = -j*y, 3*y - y = -5*z + 319. Let g = 58 - z. Is -3 < g?
False
Let i(a) = -a - 2. Let f = -39 - -43. Suppose f = -3*n - 2*w + 3, 5*n - 3*w + 27 = 0. Let g be i(n). Which is smaller: -5/11 or g?
-5/11
Let y = -60 - -63. Suppose 0 = m + 1, 3*o - 2 = -m + y. Let h be (-24)/18*6/o. Which is bigger: -27/8 or h?
-27/8
Let o(v) = -14*v**3 + 44*v**2 - 125*v + 7. Let m be o(3). Which is bigger: m or -353?
m
Let f be (-178)/(-6) + 0 - 16/24. Let p be (f + 1)*180/4650. Is p != 1?
True
Let a(r) = -4*r - 13. Let c be a(-3). Let k be (15 + -2)*3*c. Let n = -38 - k. Which is smaller: -3/13 or n?
-3/13
Let z = -2 + 1. Suppose 11*u + 24*u - 175 = 0. Suppose -u*i + 249 = 3*r - i, -5*r - 2*i = -429. Which is greater: r or z?
r
Let v = 884 - 1039. Which is greater: v or -778/5?
v
Let q = -125/36 - -41/9. Let j = q - 83/84. Let o = 8 - 7. Which is smaller: o or j?
j
Let j = 98 - 125. Let r be j*(-5 + (-52)/(-6))*-1. Which is smaller: r or 98?
98
Let x be 10/(-6)*3898*(-3840)/3200. Is 7796 >= x?
True
Let m = 8.9 + -2.3. Suppose -60*d + 67*d + 2 + 5 = 0. Which is greater: d or m?
m
Let v = 161.92921 + 0.07079. Is v < 0.1?
False
Let w be -40*((-136)/(-170) - 6/(-15)). Which is bigger: -17.9 or w?
-17.9
Let u be (-1 - (-15)/14) + -1 + 1. Let w(y) = -y**2 - 5*y. Let n be w(-5). Suppose -o + 1 = -n. Are o and u non-equal?
True
Suppose -43 = 217*f - 91 - 169. Is 8/201 at most f?
True
Let p = 122 + -119.1. Let z = -0.9 + p. Are z and 0.44 equal?
False
Let m(f) = -2*f**2 - 16*f + 1. Let p be m(-7). Suppose b - 2*l = p, 5*l = -4*b + 24 + 101. Let o = 101/4 - b. Is o smaller than 1/4?
False
Let f(m) = 2*m**2 - 13*m + 11. Let u be f(6). Suppose -5*z + u*n + 0*n = -5, 4*z + 4*n = -4. Suppose -1 = i + 1, -4*v - i - 42 = z. Which is smaller: v or 2/7?
v
Suppose -140 + 6 = -9007*j - 4527 - 4614. Let y = 9776821/697 - 14027. Are y and j equal?
False
Suppose 0 = -5*f + 5*q - 20, -q + 6*q = 15. Let y be (f - -2) + 18 + -5. Let p = 45 + -30. Are y and p equal?
False
Let x be (1 - 0)/(9/27). Suppose -4*a + x*a = 0. Let f be (57/(-2394))/((-2)/(-9)). Which is bigger: a or f?
a
Let s = -234 + -20. Let i = s - -253.98. Is 62 greater than i?
True
Suppose 7*g + 963 - 319 = 0. Let x = -92 - g. Let z be ((-2)/24)/(-2 + -1). Is z >= x?
True
Let p(r) = -3*r**2 + 17*r + 17. Let c be p(7). Let f(m) = -m - 1. Let w be f(2). Let q be -1 - w/3 - c/11. Are q and 1/35 nonequal?
True
Suppose 849 = g - o, -g - 3*o = 264 - 1129. Which is greater: 862 or g?
862
Let i = 4840 + -4656. Which is smaller: i or 8?
8
Let i = 261/34 - 67213/8738. Is -1 at most i?
True
Let i be (-1749520)/288 + (-10)/(-45) - 6/(-4). Which is smaller: -6074 or i?
-6074
Let s = -74.05747 - -0.05747. Let z = 4 - 2. Which is bigger: s or z?
z
Let m = 12800 + -12815. Which is greater: m or 64?
64
Let t be 2/(-3)*9/6. Suppose 5 = -k - v + 16, 4*v - 4 = 0. Let x be (-1)/(-2) - (k/4 + -2). Which is smaller: x or t?
t
Let q = -263955/14 + 18870. Which is smaller: q or 2/5?
2/5
Suppose -5*m = -2*j - 2302 - 318, 3*m = 5*j + 6531. Let a be 9 + j/126 - 3/(-2). Which is bigger: a or -3/11?
a
Let m = 22.7 - 22.615. Let j = m - 0.075. Is j <= 0.18?
True
Suppose -108 = 5*z - 2*z. Let j be (-75)/70*(-1308)/9. Let m = j + -156. Which is bigger: m or z?
m
Let q be (-6 - -36)/(-10)*(1 + -3). Let s(r) = r**3 - 7*r**2 - r + 3. Let j be s(q). Is -38 not equal to j?
True
Suppose 2*q + 4*w + 11 - 51 = 0, -66 = -4*q - w. Suppose 8*v + 25 = -2*u + 5*v, -q = u + 5*v. Which is smaller: -10 or u?
u
Let r = 3.89 + -4.058. Let q = 0.198 + r. Is -2 at most as big as q?
True
Suppose -3*b = 3*a + 12, -4*a = -6*a + b + 1. Suppose -4*t - 31 = 65. Let x be (-6)/8 - 20/t. Which is smaller: x or a?
a
Let l be 7/(-2) + (-483)/(-138). Let p be (3275/4)/(42/8). Let k = 156 - p. Is l > k?
False
Let u be (51260/(-385))/((-3)/(-21)). Is u <= -925?
True
Let v = -35783/4 - -692717/76. Which is smaller: 169 or v?
v
Suppose -200*m - 3*o = -203*m - 2682, -2*m = -5*o + 1794. Is -1781/2 at least m?
True
Let t be (-6 + (-1 - 1))*(-19 - -203). Which is smaller: -2941/2 or t?
t
Let u = 324 - 249.2. Let b = -101 + u. Do 0.1 and b have the same value?
False
Let p(v) = -1316*v + 3954. Let x be p(3). Suppose 3*i = 5*y - 39, -i = 4*y - 8 - 30. Which is greater: x or y?
y
Let d be (-100 + 4 + 0)/((-39)/52). Is d equal to 126?
False
Let x = 15685425653704/41562187035 - -624/28565077. Let m = x - 1887/5. Which is smaller: -1 or m?
-1
Let g = -2.6 + 3.1. Let c = g + 5.5. Let b be (209/30)/19 + (-1)/5. Which is bigger: c or b?
c
Let r = 2602 + -2304. Which is bigger: 2/9 or r?
r
Let q = -10 + 4. Let w = -364.1 + 364.26. Which is smaller: q or w?
q
Let z(g) = -4*g**2 - 20*g - 6. Let q be z(-4). Suppose -2 = -11*o + q*o. Suppose 5*v - 107 = 3*d, -3*d - 49 = -o*v - 8*d. Which is smaller: 20 or v?
20
Let a(k) = -3*k**2 + 232*k + 91. Let q be a(54). Is q at least as big as 3871?
True
Suppose 2 = -2*z + 33*f - 35*f, 3*z + 5*f = -9. Which is smaller: -300/7 or z?
-300/7
Let c(z) = 12*z**2 + 63*z - 394. Let q be c(6). Are q and 416 unequal?
False
Let h