*2 + 1. Let l be f(4). Let v = 370 + -361. Let i be (-1)/((-606)/(-12) - v). Is i less than l?
True
Let z = 262.6 + -282. Let a = -113.4 - z. Which is bigger: a or -1?
-1
Suppose 16 + 54 = -5*f. Let r be 17 + 1815/(-105) - 270/f. Which is greater: r or 14?
r
Let p = 128390/231 - 1666/3. Which is bigger: p or -1?
p
Let i = 4 + 6. Let o be (0 - 3 - -5) + 0 + -1. Let d = i - o. Which is smaller: d or 12?
d
Let c = -344 - -358. Let g = -13.9 + c. Let u = -98 - -63. Which is smaller: g or u?
u
Suppose 0 = 4*p - 765 - 55. Suppose 4*r + 38*b - 43*b = 840, -5*r + 4*b = -1041. Is p not equal to r?
False
Let m(z) be the second derivative of -z**4/6 + 2*z**3/3 + 3*z**2 + 11*z. Let i be m(11). Let t be (-2)/(-12) + 296/i. Is t bigger than -1?
False
Suppose 36*k = 34*k - 294. Let q be (2/(-6))/(49/k). Are -3/71 and q unequal?
True
Suppose 3*o + 3720 = 15*o. Let w = -310 + o. Which is greater: -3/5 or w?
w
Suppose 5*y - 48 = -3*y. Suppose 18 = -24*q - y. Is q not equal to 13/30?
True
Let d = -245 + 252. Let q be (-65 - d)/6 - 5. Which is greater: q or -18?
q
Let t = 126 - 73. Let x = 40 - t. Let z be ((-9)/52)/((117/(-6))/x). Which is smaller: -1 or z?
-1
Suppose 3*n + 5*w - 107 = 0, -4*n = 7*w - 3*w - 132. Suppose 0 = -3*h - 26 + n. Let u be -3*h + (6 - (24 + -5)). Does u = -16?
True
Suppose 22 = -3*z - 3*u + 19, 0 = -4*z + 4*u + 28. Let b be 2/12 + (-41)/(-24) + 0. Is z > b?
True
Let s = -167 + 541. Let j = s + -208. Let n = 166.93 - j. Which is greater: -1 or n?
n
Let d be 1 - ((-8)/(-4) - -3). Let b be d + -2 + -2 + -47. Which is greater: 0 or b?
0
Let b = -863 - -620. Is -1953/8 <= b?
True
Let f be 2122/9 - (5 - (-188)/(-36)). Let o = -191 + f. Which is smaller: 46 or o?
o
Let j(r) = 19306*r - 30. Let c be j(-2). Let y = c + 55605840/1439. Are 1 and y equal?
False
Let m = -1413.09 - -1412.7. Is m smaller than -3/5?
False
Let p = -2 - -1. Let r = -56 + 54. Let q be (2*r/1420)/((-2)/10). Which is smaller: q or p?
p
Suppose -p - 132 = 5*n + 3*p, 0 = -4*n - 5*p - 111. Let c = 48 + n. Let r = c + -23. Which is smaller: -2/61 or r?
-2/61
Suppose 4*y + 3*i - 143 = 0, 6*y - 7*y + 5*i = -30. Suppose o + 282 + y = 0. Which is bigger: o or -316?
-316
Suppose 3*x = 3*o + 63, -16*x = -11*x - 2*o - 108. Let h be 13/(-2 - 20/(-8)). Is h > x?
True
Let n be (0 - 161) + 247 + -240 + (-5)/1. Is n smaller than -1424/9?
True
Suppose -5*w + 5*h = -34895, -4*w + 5620 = 5*h - 22251. Is w at most as big as 6974?
True
Let u = -6.02 + 5.03. Let j = -0.01 + u. Which is greater: 18.6 or j?
18.6
Suppose 5*u = 13*u + 1936. Let q = u + 210. Suppose b = -25 - 8. Which is greater: q or b?
q
Let w = 2747 + 282. Suppose 0 = 6*x - w + 779. Is x equal to 376?
False
Let g = 25.8533 + 0.1467. Is g at most as big as -52?
False
Suppose 4 = -5*q - 1. Let u = 251 + -971. Let r be 1 - -6 - u/(-99). Is r bigger than q?
True
Suppose 642 + 158 = 4*f. Let g be 5 + f/(-55) - 1. Let r be (-7)/14*(0 - 0). Which is bigger: g or r?
g
Let q(z) = 75*z - 138. Let p(v) = v - 1. Let b(o) = p(o) + q(o). Let j be b(2). Which is smaller: 13/2 or j?
13/2
Let w = -2.1 + -15. Let m = 21.1 + w. Which is smaller: -0.11 or m?
-0.11
Let u = -86 - -71. Let k = -13 - u. Let m = k - 2. Is -1/2 bigger than m?
False
Let y(s) be the third derivative of s**4/8 - 10*s**3/3 + 52*s**2. Let n be y(7). Which is smaller: n or 4/101?
4/101
Let f = 9 - 31. Let s = 47 + f. Let c = s + -21. Which is bigger: -1 or c?
c
Let h = -3258.69 - -3259. Is h greater than -0.014?
True
Suppose 5364 = -0*u - 18*u. Let s = -252 - u. Are s and 46 equal?
True
Suppose 584 = 27*h - 30*h - 4*z, 0 = -5*h - z - 945. Which is bigger: -177 or h?
-177
Let b = -372.49 + 303.461. Let x = b + 69. Let i be (-16)/(304/57)*(-2)/(-24). Is i bigger than x?
False
Let l(j) = j**2 + 9*j + 15. Let w be l(-7). Suppose -w = -5*a - 26. Which is greater: 3 or a?
3
Suppose 5*b + 4*t - 2141 = 2*b, 4*t + 703 = b. Suppose 0 = -97*q + 88*q - b. Are -76 and q nonequal?
True
Let d = -32097 + 135385147/4218. Which is greater: 0 or d?
d
Let r(c) = c + 2. Let s(f) = f + 20. Let a(g) = -14*r(g) - 2*s(g). Let q be a(-5). Is 53/5 greater than q?
False
Let x = -197/52 + 15/4. Let j = 26 + -26. Does x = j?
False
Let f = 146 + -179. Let x = f + 69. Is 0.1 less than x?
True
Let m(z) = 13*z - 25. Suppose -719 + 729 = -5*f. Let a be m(f). Is a smaller than -51?
False
Let s = 929 + -7423/8. Let y = -11/24 + s. Suppose 0 = -4*h + 7*h - 6. Which is bigger: h or y?
h
Suppose 0 = 81*s - 330179 - 284679 - 357142. Which is smaller: s or 11998?
11998
Suppose 23*b - 19*b = 424. Suppose 5*k + 193 = 4*m, 5*m + b = -2*k + 9. Which is smaller: -40 or k?
k
Suppose -152 = -4*k + 4*g, -5*k + 12*g + 205 = 10*g. Is k greater than or equal to 54?
False
Let b = -141 - -140.901. Let q = -0.13 - b. Let d = q + -9.969. Do 0.3 and d have different values?
True
Let g(m) = m**2 - 9*m - 4. Let k be g(-6). Let y = k - 86. Let d be y/(-2) - 1*(-4 + 3). Which is bigger: 2/71 or d?
d
Let b = 2 - 2. Suppose -2*w - 5*w = w. Suppose w = -5*i, -4*i = 3*l - 11 - 4. Does b = l?
False
Suppose -r = -2*k - 15, 2*r - 9 = -r. Let h be 4/k + 10/(-3) + -1. Suppose -4*t = -2*t + 12. Which is bigger: t or h?
h
Let d(p) = p**3 - 13*p**2 + p - 1. Let j be d(13). Let m(o) = -j*o - 12*o + 25*o + 8. Let h be m(10). Is h at least as big as 17?
True
Let j = -34/7 - -524/105. Let z = 161.1 - 177. Let g = z - -16.3. Which is greater: j or g?
g
Suppose v + 4*w = 332, 646 + 315 = 3*v + 5*w. Suppose v = -7*s + 13*s. Let g = -53 + s. Is -16/11 < g?
True
Let a = -550.6 - -1012. Let b = 461 - a. Is b <= 1?
True
Let a(m) = 4*m + 6 + 4 + 0 - 6*m. Let d be a(0). Let o = -23 + 31. Is d <= o?
False
Let p = -0.0597 + 25.9597. Let u = -26.2 + p. Which is smaller: u or 33?
u
Let n = 193.0458 - 0.0458. Let s = n + -264. Which is greater: 3 or s?
3
Suppose -1868 + 5123 = -4*m + 5*q, -4*m - 3261 = q. Let k = 813 + m. Is -11/3 != k?
True
Let s = -0.0861 + 0.6829. Is 0.1 not equal to s?
True
Suppose 3755 + 13783 = 521*d - 299*d. Is -2/23 < d?
True
Suppose 0 = -31*b + 40*b - 594. Suppose -y - b = -3*q, y + 74 = 3*q + 2*q. Which is smaller: y or -55?
-55
Suppose -3*f - f - 16 = 0, 5*s + 4*f - 7349 = 0. Let t = 95741/65 - s. Is t less than 0?
True
Let g = -27054 + 216433/8. Are -3.96 and g equal?
False
Suppose 0 = 2*n - 3*q - 15, 2*q - 5*q - 15 = -n. Let w = -23133/2039552 + -3/7967. Let o = -467/3840 + w. Which is greater: n or o?
n
Let b = -10.3 - -20.4. Let l = 71.1 - b. Let w = l + -66. Which is greater: w or 1?
1
Suppose -4*y = -3*g + 2*g - 134, 4*g = -y + 25. Let p(v) be the second derivative of -v**4/4 - 25*v**3/6 + 5*v**2/2 + 123*v. Let f be p(-7). Does y = f?
True
Suppose -74*y + 43550 = -100*y. Is y at least -1677?
True
Let n be (5 - -5)/(4/(-16)). Let w be (-64)/(-12) + -6 - n/6. Is w less than 7?
True
Let p = -10455 + 10454.9079. Which is bigger: p or 0.01?
0.01
Let h = 1.7 + -0.6. Let t = 3719 - 3720. Let c = t + h. Which is greater: c or 3/19?
3/19
Let n(p) = -7*p + 83. Let z be n(12). Let m be (z/(16/12))/(18/16). Which is smaller: 0.109 or m?
m
Let i = 386 + -656. Let q = i - -269.4. Are q and 2/9 non-equal?
True
Let m(d) = -19*d - 24. Let r be m(-1). Let k(a) = -a**2 - 8*a - 22. Let h be k(r). Let f = 3 - 2. Is f greater than h?
True
Suppose -12 = 5*w - w. Let k = 5697/2 + -2846. Is w equal to k?
False
Suppose -13*q + 3*q - 700 = 0. Let c = -98 - q. Are c and 1 equal?
False
Let t = 33 + -15. Let n be (-9)/(-6)*12/t. Which is greater: n or -57?
n
Let v = 12 - 12. Suppose h = -4*r - 15, 0 = h - v*r - 4*r - 9. Let j = 4 - 6. Which is greater: h or j?
j
Let y be -2 + (40/11)/2. Let x = -161 - -165. Suppose 2*j + 2 = -x*t, -t + 10 = -0*j - 3*j. Which is smaller: t or y?
y
Let o = -0.32 - -1.05. Let d = 7.73 - o. Let u = 174.1 - 174. Is u >= d?
False
Let y be ((-80)/(-60))/((-1)/3). Let k be 5 - (-205)/(1 - y). Which is greater: k or 45?
k
Suppose 7*y - 1639 = -4*y. Suppose 5*c - 747 = a, 4*c - 57*a = -54*a + 591. Which is greater: c or y?
c
Let b(h) = -2*h**2 + 24*h + 16. Let a be b(12). Let k(u) = -u**3 + 16*u**2 - 4*u + 15. Let i be k(a). Let v = i - -47. Which is smaller: 18 or v?
v
Let f = 2.8 + -35.8. Suppose -2*q + 491 = 415. Let i be (95/q - (5 - 2))/2. Is i at most f?
False
Let n = -1.9151 - -0.0151. Which is bigger: n or 2/9?
2/9
Let o = 0.02 +