7 - -1)*9*(-2)/(-24). Suppose -f*l = -8*l + 24. Suppose l = 2*s + 14. Which is smaller: s or -2/3?
s
Let p be 5/(-4) - 2/(-8). Let l = -118.2 - -121.163. Let z = l + 0.037. Is p less than z?
True
Let a(x) = x**2 + 17*x - 117. Let l be a(-25). Let z = l - 95. Suppose 69 = -4*d - 5*u, -2*d - 43 = 3*u - 6. Is z <= d?
True
Let d be (3/2)/(-5*(-27)/3600). Suppose -10 = -3*w + 2. Suppose -w*u + 234 = 74. Is u at most d?
True
Let d = 569 - 334. Let w be (-16967)/d - (-1)/5. Is 1 less than w?
False
Suppose -4*d = -4*y - 172, 0*y + 2*d + 139 = -3*y. Let m be ((-6)/y)/(-72*(-2)/20). Which is smaller: m or -1?
-1
Let s(t) = 2*t. Let m be s(-2). Let v be (-1)/m - (-2493)/(-36) - 3. Let g = -71 - v. Which is smaller: 1/5 or g?
1/5
Let j = 91 + -91. Suppose 0 = 3*f + 5*b + 164, j*f + 3*f + 162 = -3*b. Is -1 >= f?
True
Suppose -5*w - 26 = -2*w - m, 28 = -4*w + 3*m. Let f = w - -8. Let o be ((-15)/(-110))/(f/48). Which is smaller: -3 or o?
o
Let x = 170286512 - 22988435852/135. Suppose -t - 1800 = c, -2*t - t = 5*c + 9004. Let v = c + x. Which is smaller: v or -1?
-1
Suppose -50*v - 46*v = 320 - 2240. Is v at most as big as 965/46?
True
Suppose 0 = -w + 33*h - 30*h - 5, -4*h + 5 = -3*w. Let t be w/(-5 - 420/(-85)). Which is greater: t or -14?
-14
Suppose -3*g = -0*g + 9. Let v = 3 + g. Let i = 117/25 + -1063/225. Which is greater: i or v?
v
Suppose -12 = 3*x, 7*a + 40 = 2*a + 5*x. Let n be 3/(0 + 18/a) + 2. Let l = 546 + -68248/125. Which is bigger: n or l?
l
Let y(u) = -u**3 + 3*u**2 + u - 4. Let v be ((-8)/6)/((-28)/42). Suppose v*t = t + 3. Let r be y(t). Which is greater: -5 or r?
r
Let z(i) = 36*i. Let y be z(3). Let t be 10/46*54/135 + (1717870/(-1587))/(-10). Do y and t have different values?
True
Let v = -109 - -109. Let a be (-80)/(-35) + (-2 - (-24)/14). Is v less than a?
True
Let d be (3/(-9))/(-19 - 1400/(-75)). Is -2/20893 at most as big as d?
True
Let t = -210 + 207. Let j be (44/(-12) - t)*(-6 - -3). Which is smaller: 79 or j?
j
Let d = -53 - -164. Let f be (19 + -23)/(4/6). Let o be 3/f + 0 - d/(-186). Is -1 at least o?
False
Let f = -203 - -199. Let c be -6 - (-5)/(-3)*f. Does c = 39?
False
Let y be 2/(-9) + (-1)/(18/428). Let s be 2*(-2)/y + 29/6. Suppose -2*t + 11 = -3*a, -3*t + 18 = -s*a - 0*t. Is a < -3?
False
Let c = -1/19897 - 437671/1253511. Is -1 less than c?
True
Let r(m) = 44*m + 1642. Let h be r(-38). Let x = -2059/119 - 211/17. Is x greater than h?
True
Let s(p) = -p**3 + 23*p**2 - 48*p - 42. Let y be s(20). Are 186 and y equal?
False
Suppose 0 = 6*z - 2062 + 10054. Is -1 at most as big as z?
False
Let t = -58 + 82. Suppose -8*p = -11*p + t. Let w be (p/12)/1*6/(-2). Does 3 = w?
False
Let j be (-22 - -28)*(-1*(-3)/(-3))/4. Let c = 12 + -22. Let v = c + 9. Do v and j have different values?
True
Let o(a) = -a - 1. Let s be o(0). Suppose 318*j + 86 = -13*j - 5872. Is j smaller than s?
True
Let j(x) = x**3 - 16*x**2 - 36*x - 5. Let w be j(18). Let u be 4/39*(w - (-206)/40). Let k = 3 + -2. Do u and k have different values?
True
Let i = 29.6 - 31. Let h = i - 1.4. Let z be 5/(5 + -10)*(-1)/(-2). Which is smaller: h or z?
h
Suppose -2 + 5 = 89*r + 3. Which is smaller: 4/85 or r?
r
Let m = -35 + -22. Let t = m + 84. Let c be ((-1)/9)/(2 - t/12). Is -1 at least c?
False
Let a = -45979 - -45935.049. Let c = a + -0.049. Let d = c - -44.1. Which is smaller: d or -2/77?
-2/77
Suppose -3*r - 97 = 2*i, i - 2*r = -0*i - 59. Suppose -38*o = -59*o + 63. Suppose 0 = 4*g + o*y + 210, 4*y - 100 = -4*g - 308. Do i and g have the same value?
False
Let w be 1*(-3 + -6) + 9. Which is smaller: w or 241?
w
Let x = -14140/44897 - 2/2363. Let l = -151 + 165. Suppose -l*a = -4*a + 10. Which is smaller: a or x?
a
Let w be 1*((2 - (-574)/94) + (-56)/7). Let c(l) = -l**3 - 6*l**2 - 6*l - 6. Let r be c(-5). Which is smaller: w or r?
r
Let o be ((-10)/(-30)*33)/(4/122). Let y = -339 + o. Which is smaller: y or 1?
y
Suppose -55 + 289 = -2*l. Let f = l - -116. Let q be (-2 - f)*(8 - 28). Is q greater than or equal to 21?
False
Let p be (1/18*12)/((-40)/(-12)*1). Which is smaller: p or 2120?
p
Let c = -9194.3 - -9195. Let g = -8.5 + -0.5. Is g not equal to c?
True
Let w = 10.8 - -3.4. Let n = -14.1 + w. Is n greater than -0.144?
True
Let a = 8 + -26. Let i = a - -15. Let w be ((-1)/2)/(222/777). Which is greater: w or i?
w
Let w = 5 + -5.1. Let s = 1.66 - -1.19. Let a = 3 - s. Is a >= w?
True
Suppose -12 = -5*f + f - 4*m, 5*m = 5. Suppose 12*t = -340 - 1340. Let a be (285/t - -2)*(-32)/(-12). Is a > f?
False
Let n(f) = 12*f**3 + 3*f**2 + 5*f + 7. Let x be n(-3). Let a = -433 - x. Is a < -130?
False
Let z = -383202 + 383161. Let i = -621227/15005 - -4/3001. Is i < z?
True
Let a be 37/(2 + 12/(-4)). Let t = -34 - -40. Let c be 0 + 16/(-3) + t. Which is smaller: c or a?
a
Let a be (-12)/18*((-27)/6 - 0). Suppose -4*g + 18 = p - 1, 0 = -5*g - 2*p + 23. Suppose -r + g*l = r + 181, 282 = -a*r + 4*l. Is -0.1 smaller than r?
False
Let i(z) = -2*z + 4. Let o be i(-6). Let n = -10 + o. Suppose 3*b - 46 = -4*x, 1712*b - 1714*b + x + 5 = 0. Do n and b have the same value?
True
Let l = -5343.1 - -5343. Is l at least -5989?
True
Suppose -346*d + 931*d = -652*d - 1237. Let y be 6/125 - 1 - -1. Is y bigger than d?
True
Let p be (-188)/1392 - (-5)/20. Which is smaller: 0 or p?
0
Let n(o) = -158*o - 3249. Let r be n(-27). Do 1023 and r have different values?
True
Let z(q) = q**2 - 5*q + 6. Let m be z(4). Let u be (2 + m)/4*1. Suppose 2*r + 2*r = -5*j - 19, -3*j - u = 5*r. Which is smaller: -8 or j?
-8
Let m(s) = -s**3 - 2*s**2 + 4*s + 4. Let a be m(4). Let b be (4/(-56)*21)/(1/50). Is b at least as big as a?
True
Let x = 15 + -4.35. Let w = -11 + x. Let d = w - 3.65. Which is smaller: d or -6?
-6
Let y(o) = -26*o**2 + 325*o + 76. Let m be y(13). Let j(n) = n**3 - 5*n**2 - 6*n + 5. Let x be j(6). Suppose -u - u + 5*r - 164 = 0, -x*r - 20 = 0. Is u >= m?
True
Suppose 0 = -2*p + d - 225, 56 = p - 2*d + 164. Let m = 70068 - 70068.1. Which is greater: m or p?
m
Let x = -1.31 + 2.95. Let k = x + -1.84. Which is smaller: -0.016 or k?
k
Let b(z) = -z**2 - 7*z - 1. Let d be b(-7). Let o(i) = -2*i**3 - 29*i**2 - 17*i + 5. Let t be o(-16). Let a be 2 + -2 + (t/205 - 5). Is d at least a?
False
Let r be 10/2 + 0 + (-3978)/18. Is -1503/7 at least as big as r?
True
Suppose -19 = -2*g - 9. Suppose -4*z + 50 = 2*f - 0*f, 5*f - 65 = g*z. Let c = -1 - f. Which is greater: c or -19?
c
Suppose 39*b = -19*b + 154048. Does b = -0.1?
False
Let h = -15 + 8. Let i be (-10 - (-15 - -8))/((-3)/92). Let d = -99 + i. Is h equal to d?
True
Let o = 88 - -42. Let u = o + -125. Which is greater: u or 21?
21
Let m(v) = 14*v - 371. Let j be m(31). Is j <= 62?
False
Let p = 6454 + -6458. Which is smaller: -165.5 or p?
-165.5
Let l(y) = -y**3 - 18*y**2 + 62*y - 24. Let u be l(-21). Let v(i) = -i**3 - 8*i**2 - 3*i + 2. Let k be v(-3). Let n be (k/6)/((-49)/(-21)). Is n bigger than u?
True
Let q = 5.49 + -8.08. Let a = -2.59 - q. Is -1.44 >= a?
False
Let j = 150.89 + -140.89. Is j greater than or equal to 1207?
False
Let x = -30/934753 + 698316141/1733966815. Let o = 1/371 - x. Let p = -0.04 - 13.96. Which is smaller: p or o?
p
Let g(f) = 2*f**3 + 2*f**2 + 3*f + 2. Let z be g(-1). Let i be ((0 + 1)/z)/(1379/(-14)). Is -1 less than i?
True
Let b = 0.0244 - 0.5404. Let g = b + 0.396. Which is smaller: g or 1.2?
g
Suppose 6*w + 6 - 18 = 0. Suppose w = 51*d - 53*d. Is d bigger than -1/33?
False
Suppose 0 = 6*x - x - 165. Suppose 0 = -14*y + 649 - 173. Is y < x?
False
Suppose -6*x + 24 = -0*x. Let r be 1/(-2)*6 + x. Is -1/159 at least as big as r?
False
Let x(u) be the first derivative of -5*u**2/2 + 26*u + 14. Let t be x(5). Suppose w - 2*w - t = -z, z - 3*w - 5 = 0. Is z at most as big as -1/25?
True
Let d be 56/(-21) + 3 - (-238)/294. Do d and -40 have the same value?
False
Let r(d) = 3*d**2 - 3*d - 1. Let s be r(-3). Suppose -s*y + 36 = y. Which is smaller: 23/18 or y?
y
Let i be (48/590)/((-42)/4095*-13). Is i at most as big as 2?
True
Suppose 0 = -3*q - 5*n - 324, 29*q - 508 = 34*q + 3*n. Which is smaller: -107 or q?
-107
Let c be 4/(-6) - 85/(-15). Suppose -3*x = -c*a + 7 + 133, -3*a = x - 84. Suppose 0 = 5*q - 5*j + j - 153, -3*j = 4*q - 110. Is q bigger than a?
True
Let r be (-6)/54 - 2819/(-504) - -2. Let s = r + 