. Is l at most 1.154?
False
Suppose 0 = 101*w - 102*w - 7 + 14. Is w at least -2/1261?
True
Let l(t) = 2*t - 37. Suppose 0 = j + 2 + 3, v - 3*j = 36. Let m be l(v). Suppose m*c = -150 + 50. Is -20 at least as big as c?
True
Let i(y) = 2*y**3 - 10*y**2 + 26*y - 75. Let z be i(4). Is z at most as big as 199?
True
Let u be 0 - 0 - 4/14. Let o be (-26)/(-3) + (30/(-18) - -1). Suppose o*p = -122 + 50. Which is smaller: u or p?
p
Let y be -2 + 0 + 7 + 0/(-1). Suppose 0 = y*l - 3*l - 12. Suppose -l*n + 11*n = -50. Is n >= -10?
True
Let r be 15*1 - (1073 + 157). Which is smaller: r or -1213?
r
Let c = -6483 - -6478. Which is bigger: 2.5 or c?
2.5
Suppose 3*r - 64 = -4*h - 2*r, 43 = 5*h - 3*r. Let m = -5677 - -5681. Suppose -3*o = -m*o - 2*d, -5*d = -3*o - h. Which is smaller: -2/49 or o?
o
Let w = 12867 + -12866.98. Which is bigger: w or 0.0138?
w
Let d = -2474 - -2450. Which is greater: d or -37?
d
Suppose 30*b + 20*b + 39600 = 0. Let r be 50/5*b/(-90). Which is greater: 90 or r?
90
Let r be (-2)/5*5*6 - 2316. Which is greater: r or -2331?
r
Let y be (4/3)/(176/65340). Are 497 and y nonequal?
True
Let j = 489 - 488.126. Let q = j + 0.086. Let c = 1.96 - q. Are 0.2 and c equal?
False
Let m = 82 + -79. Suppose m*k + 0 - 8 = -i, -6 = -i - 2*k. Suppose 0 = -2*l + 6*l + 5*p - 27, -9 = i*l - 5*p. Is l at most -4?
False
Suppose 2 = 9*k + 1235. Is -967/7 <= k?
True
Let q(z) = -z**3 - 11*z**2 - 14*z - 25. Let h be q(-10). Suppose -5*f - h = -20. Let s = 53.873 - -0.127. Which is smaller: s or f?
f
Suppose 0*c + c = 6. Suppose -c*q + 2 = -34. Let m be (945/q)/15*3/(-35). Is m smaller than 0?
True
Let w be (9/(-6))/((-6)/16). Let n be (-2)/2 + w + 0. Let l be 1*(-10)/(-5) + (n - -1). Which is smaller: l or -2?
-2
Let u(r) = -r**2 - 11*r + 724. Let a be u(18). Which is bigger: 201 or a?
a
Suppose -27*j = -5*j - 110. Suppose -59 = -2*c - n, -2*c - j*n + 47 = -0*c. Is c bigger than 0?
True
Let r be 12/(-16) + 355/20 + -11. Let v = 1 - -2. Let q = 14 - v. Is q < r?
False
Let s = 242 - 242.0237. Let q = 26.1237 + s. Let v = -26 + q. Which is smaller: v or -2?
-2
Let r = 2213.823 - 2320.75. Let a = -107 - r. Let z = -8.073 - a. Which is greater: 0 or z?
0
Let h = -5457 - -5586. Is h >= 151?
False
Suppose 50*t = -1101 + 90 - 2039. Is t <= -1628/27?
True
Let a = -2 + 2. Let z(k) = k**2 - 2*k - 3. Let t be z(a). Let v be 26/(-4) + 5 + t. Which is greater: -5 or v?
v
Suppose -2*t + 10 = 0, 5*t = -3*c + 3*t + 19. Suppose -3*o = c*h - 111, 3*o = -5*h + 4*h + 37. Let n = -38 + h. Is -2 != n?
True
Let u = 6572 - 6568. Is 656 less than u?
False
Let u be 18/8 - 1/4. Suppose 5*n - u*x = -67, -3*x - 24 = -3*n - 66. Suppose 44*t = 6*t + 79 - 573. Is t smaller than n?
False
Let r(s) be the third derivative of -s**4/6 + s**3/6 - 59*s**2. Let o be r(0). Which is bigger: o or -2/101?
o
Let x = -60 + 23. Let j be (-74)/(-3)*9/30*5. Let t = x + j. Which is smaller: 2/11 or t?
t
Let k = 4153 + -4130.07. Let h = k - 23. Let z = h + -6.93. Is z not equal to -2?
True
Let c(m) = m**3 + 3*m**2. Let r be c(-3). Let s = 2160041 + -3784391713/1752. Let l = -8/73 + s. Is l at least r?
False
Let g = 135 - 87. Suppose -24 + g = 2*s. Suppose y - 6*y = -35. Are y and s unequal?
True
Suppose 0 = 22*t + 26*t - 3264. Which is smaller: t or 29?
29
Suppose -a - 2*a + 5*w = -5, -w + 7 = a. Let c be (a + 4)/45 + 581/(-5). Which is smaller: 0 or c?
c
Let h = 131 + -102. Let x(o) = o**3 - 29*o**2 + 2*o - 56. Let r be x(h). Is r <= 16/29?
False
Suppose -4*d = -2*m + 2066, -5*m + 5209 = 45*d - 44*d. Let q(c) = c**2 - c + 2. Let r be q(-3). Suppose r*x - m = -243. Which is bigger: x or 56?
x
Let l = 32.4 - 26. Let x = 7.4 - l. Suppose 9*f - 11*f + 4 = 0. Is f less than x?
False
Let r = -23917 + 23881. Is -6 not equal to r?
True
Let h(l) = -l - 1. Let t(j) = j**2 - 4*j - 5. Let d(v) = -6*h(v) - t(v). Let x be d(11). Suppose x = -5*r + 3*r - 34. Which is smaller: -16 or r?
r
Let l = -1494 + 1495. Which is smaller: -3/26 or l?
-3/26
Let d(f) = f**3 - 91*f**2 + f - 89. Let a be d(91). Which is greater: 94/59 or a?
a
Let q = 84569/110 + -8458/11. Suppose -5*a - 18 - 2 = 0. Let i be (5 + a)*(-1 - 0). Is i at least as big as q?
False
Suppose j = -0*j - 2. Let w be (109 + -25)*32/6. Let b = 446 - w. Do j and b have different values?
False
Suppose -349 = 23*s + 347 - 696. Which is greater: -3696 or s?
s
Suppose 4*w + 15 = -i, -5*w = -10*w - 20. Let s be 4/(-10) - (-11)/90. Which is bigger: s or i?
i
Let p be (-3429)/(-3423) - (1 + 0). Let b be 11/(-77) + 5 + (-104920)/23472. Let t = p + b. Is -1 smaller than t?
True
Let u be 52/(-8)*(6 - (-1290)/(-195)). Let r be (1 + -1)/(-3 + 1). Suppose i - 2*i = r. Which is smaller: u or i?
i
Suppose 9*o + 10529 = 953. Let g = o - -982. Let q(x) = 12*x + 2. Let p be q(-7). Is p at least g?
True
Let j = -28040812/2078505 - -742/55. Is j greater than or equal to -1?
True
Let l = -0.3544 + 0.5544. Let s = -39/245 - -806/2205. Let y = s - 7/9. Is y at most as big as l?
True
Let p be 3/(6/56)*(-10)/55. Let x = 69 - 208/3. Is x bigger than p?
True
Let f = 77583 - 77558. Let q(n) = -n**3 + 7*n**2 - 3*n + 4. Let g be q(6). Which is smaller: g or f?
g
Suppose 27*l = 7*l + 5380. Suppose -l = 8*d - 261. Is d smaller than -1/620?
True
Let y = -1264/679 + 579087/196910. Let h = y + -17/10. Let k(u) = u - 2. Let x be k(0). Is h at least x?
True
Suppose -4*t = 3*o + 88, -60*t + 24 = -57*t. Is -42/23 > o?
True
Let n = 1715 + -8663/5. Let x = n + 3877/220. Which is smaller: x or -1?
-1
Let h be -9*(-84)/(-2276127)*(-1)/(-2). Is h bigger than 1?
False
Let r = 1118 + -678. Let m = r + -442. Is 3/83 at most m?
False
Suppose 0 = -51*d + 46*d + 30, -5*b - 2*d = -12. Let t = -18566/47 - -395. Which is bigger: t or b?
b
Let b = -216 - -154. Let j = -37 + b. Is j greater than -100?
True
Let z(n) = 2*n - 65. Let q be z(35). Suppose -q*b - 65 = 5*p, 16 + 2 = -p + 4*b. Is p greater than -156/11?
True
Let s = -3333 + 3333. Which is bigger: s or -2/9037?
s
Let l = -14411 + 14726. Which is greater: -0.18 or l?
l
Let w be (-8)/36 - (-116)/36. Suppose x - 13 = -2*c, -w*c + 4*x = -c - 28. Suppose 6*h - c*h = 56. Which is smaller: -29 or h?
-29
Let m be ((-56)/70 - ((-16)/(-5))/(-4))/2. Which is smaller: -20/561 or m?
-20/561
Let v = 109/5 + -753/35. Which is bigger: -1333 or v?
v
Let i(x) = 25*x**2 + 2. Let z be i(-6). Let t = z - 796. Is 320/3 > t?
True
Let c(q) = -41*q**2 + 82*q - 12. Let r be c(2). Is 95 bigger than r?
True
Let b(s) = 29*s**3 - 5*s**2 - 6*s - 8. Let g be b(-2). Let i = g + 377. Are 641/5 and i non-equal?
True
Let o = -0.6316 + 1.1916. Which is smaller: o or -54?
-54
Let b = 37701 + -5466672/145. Which is greater: b or 1?
1
Suppose -11*a - 2726 = 2*r - 13*a, 5*a - 1383 = r. Which is smaller: r or -2?
r
Let g be (-1 - 38476582641/600)*(-28)/(-22). Let v = 81616986 + g. Let i = v - -1/275. Which is smaller: i or -9?
-9
Let m = 9795/8 + -324271/264. Which is greater: -5 or m?
m
Let k = 13304 + -13415.94. Let l = -112 - k. Let o = -9.7 - -10. Which is smaller: l or o?
l
Let q = 205 + -205. Let j = -0.039 - 22.961. Which is bigger: j or q?
q
Let r = 14.95 + 3.1. Let b = r - 0.05. Let a = -17.4 + b. Which is bigger: a or 0?
a
Suppose 15499 + 5831 = -11*c - 79*c. Do -2 and c have different values?
True
Suppose -u + 9*u - 2352 = 14*u. Is 0.5 <= u?
False
Let o = 43/10 - 14/5. Let a = 5713 - 5733. Which is smaller: a or o?
a
Let y = 121 + -69. Let f = y + -75. Suppose 2*w + c = -40, w + 5*c + 46 = -2*w. Which is smaller: f or w?
f
Suppose 30*b - 90 = 29*b. Let v be 36/b + -3*4/5. Let m be 114/22 - v - (-6)/(-33). Are 34/5 and m equal?
False
Let y(q) = -2*q + 12. Let u be y(0). Suppose 13*d - u*d = 6. Let h = 5 - d. Which is greater: 12 or h?
12
Let l = 152 + -78. Let v = l + -73. Let o = 391 + -8996/23. Which is bigger: v or o?
v
Suppose 0 = -2*t - 948 + 888. Let d = t + 22. Which is bigger: d or -33/4?
d
Let f be (-3 + -1 - 2)*(-32)/(-3). Let u = 15121 + -105400/7. Let c = f + u. Which is smaller: c or -1?
-1
Let u = -3836 - -28205/7. Suppose 87 = 3*w + 666. Let p = u + w. Which is bigger: 8 or p?
8
Let u = 98 + -93. Suppose -u*b = o + 498, 0*b + 507 = -5*b - 4*o. Let f = 129 + b. Is 29 < f?
True
Suppose 2*a = 9*k + 18, 4*k + 5*a - 6 + 14 = 0. Which is smaller: k or -82?
-82
Let c(f) = 6*f**3 - 13*f**