se
Let d = -519 - -541. Let r be (-135)/(-1)*((-77)/(-7))/d. Which is bigger: r or 67?
r
Let b = -137999/9 + 15345. Which is greater: b or 12?
12
Let l(r) = -2*r**2 - 122*r + 153. Let f be l(0). Which is smaller: 99 or f?
99
Let h = -662 - -571. Suppose -17 = -u - 107. Is h > u?
False
Let b = 15486/17 - 479998/527. Suppose -4*l = 3*w + 1, l - 2*l + 2 = 3*w. Which is greater: w or b?
w
Let i = 0.150648 + -352.384648. Let z = 352 + i. Which is bigger: z or 1?
1
Let s = 4345 - 4352. Let n = -3.5 - -5. Which is bigger: s or n?
n
Let x(a) = -3*a + 17 + 0*a**3 + 3*a**2 + 5 + a**3 - 30. Let w be x(-3). Let k be (1/(-42))/(14/(-8)). Is k at least as big as w?
False
Let z be (10 + 5)/(-45)*13242. Is -4415 greater than z?
False
Suppose -282 - 93 = 5*p. Let i be -2 + (p/(-12))/(6/(-96)). Let w = i + 82. Which is smaller: w or -1/4?
w
Let o = -1.22835 + 119.22835. Let k = 0.1 + -0.1. Which is smaller: o or k?
k
Let y = 178252931/178850 + -727/7154. Let x = 996 - y. Does x = -2?
False
Let q = -0.01 + -0.11. Let g = -0.05 - q. Let v = 2126/99 + -4351/198. Do g and v have the same value?
False
Let c(o) = -47*o - 39. Let t be c(3). Let r be (-5)/(t/(-42))*1/(-119). Let y(x) = x**3 + 2*x**2 + 2*x + 1. Let v be y(-1). Are r and v equal?
False
Let m(w) = -2*w**3 - 2*w**2 - 3*w + 17. Let t be m(4). Let o = t - -80. Is o greater than or equal to -76?
True
Let u = -8.152 + 0.052. Let m = 10 + u. Let p = m + -1.2. Is p less than -3?
False
Let h be (-5)/(165/3)*5/(-15). Let d be (-1)/(3/(-2) + 6/12). Which is bigger: d or h?
d
Let s = 2.35 - 98.35. Let l = 657084 - 657086. Which is smaller: l or s?
s
Let x be ((-10450)/10456 + 1)/3*(-78 - -80). Are -1 and x unequal?
True
Let z(h) = -4*h**2 - 2550*h + 15342. Let s be z(6). Is -130 less than s?
True
Let c be 4/42 + (-4180)/1995. Is -46/51 < c?
False
Let h be ((-12)/(-18))/(((-30)/(-18))/((-45)/18)). Let l be ((-1)/114)/((-4)/6). Which is smaller: l or h?
h
Suppose 0 = -3*b - a + 373, -15*a = 5*b - 19*a - 633. Let j = b - 124. Is 1/227 > j?
False
Let y = -67.119 - -0.119. Let x = -75 - y. Are x and -0.04 equal?
False
Suppose -3434 = 45*y - 824. Which is bigger: y or -51?
-51
Suppose -4 + 7 = -3*m. Let a be (m/1 - -1)/(0 + -2). Let z be 10/(-24) + (-3)/12. Is z smaller than a?
True
Suppose -4*p + 90 = -2*k, 5*p = -0*p + 4*k + 114. Suppose 0 = -3*v - p + 79. Do 21 and v have the same value?
False
Suppose -k + 6 = 2, 0 = -3*n + k + 977. Is n smaller than 326?
False
Let r = -3587 + 3587.06. Which is smaller: r or -24.6?
-24.6
Let f = -10.8 + -2. Let x = f + 11.8. Let p = 9 + -17. Which is greater: x or p?
x
Suppose -6*p + 2*s + 138 = -4*p, 3*p - 211 = 5*s. Do 74 and p have the same value?
False
Let q = -2084/3 - -695. Is -521 less than q?
True
Let c be (-12 + 13 + -1)/1. Which is smaller: -75/107 or c?
-75/107
Let q = 149/92 + -20/23. Let n = -11233 + 11209. Which is smaller: n or q?
n
Let o = -7274 - -7269. Which is smaller: o or 379?
o
Let f be 6 - (-5)/(2/(24/(-10))). Let r be (f + 0)/(22 + -26). Is -39.2 at most as big as r?
True
Let a(s) = -s**3 - 2*s**2 - 4. Let f be a(-3). Suppose 0 = f*y - 126 - 99. Let q = -38 + y. Is 7 at least q?
True
Let j = 61.53 + 1.47. Let x = -24.1 + 0.1. Let h = x + j. Is 1/3 < h?
True
Let m be 32/18*252/11928. Let i = m + -619/22152. Which is smaller: i or 0?
0
Suppose -1725*k + 1727*k + 316 = 0. Which is bigger: k or -150?
-150
Let t(h) = h**3 + 6*h**2 + 7*h + 12. Let w be t(-5). Suppose -2 = -w*q - 0. Let a = 12/5 - 26/15. Which is greater: a or q?
q
Suppose 0 = -150*f - 283250 + 238895 - 473295. Is f at least -3450?
False
Let d = 221.41 + -218. Let w = -5.41 + d. Which is greater: 6/83 or w?
6/83
Let t = 111 - 105.62. Let d = -102.2 - -101.58. Let b = t - d. Is -1/2 > b?
False
Let s be ((-234)/91)/((-12)/56). Suppose 0 = 4*r - 4*p + s, 3*r = 4*p - 6*p + 1. Is -12/47 less than or equal to r?
False
Suppose -10 = -2*u, 24*d - 4*u + 38 = 27*d. Suppose -149 = -4*b - o, 3*o + 160 = 5*b - o. Let i be (129/b + -3)*9. Is i >= d?
False
Let g be (3/4)/(615/(-5740) - 1/7). Let k be (-2)/(-8) + (-74)/8. Let n be 0 + (-9)/g - k. Are n and 38/3 unequal?
True
Suppose 196*s = -862 - 510. Is s <= -128/21?
True
Let x be 1*0/(-2 + 6). Let r be 155/(-40)*1 + 5. Is r smaller than x?
False
Let f be 5/(60/(-381)) + ((-125)/20 - -6). Which is bigger: f or -123/4?
-123/4
Let x = 3211 - 6343/2. Which is greater: x or 41?
41
Suppose -5864 = 68*t - 13493 - 10051. Does t = 2593/10?
False
Let g = -3634 + 7271/2. Let c = 8 + -6. Is g >= c?
False
Let b(a) = a + 5. Let q be b(-6). Suppose 63*t = 72*t - 783. Suppose 31*m - 6 = t. Which is smaller: m or q?
q
Let g = 4557 + -4782.1. Let r = 225 + g. Which is bigger: r or 8?
8
Suppose -2*t + 139 = -5*o + 7, -116 = 4*o + t. Let c be (1/7)/((20/o)/(-5)). Is c smaller than -0.037?
False
Suppose -19*r - 56 = -3*r - 40408. Which is greater: 2523 or r?
2523
Suppose -65*m = -69*m. Suppose 20 = 4*g - y - 3*y, g - 5*y - 5 = m. Is g != 10?
True
Let h = 167 - -104. Let d = -291 + h. Which is bigger: -6 or d?
-6
Suppose 4*j = -7*b + 8*b - 10, -4*b = j + 45. Let n(l) = -2*l - 1. Let f be n(-1). Let o be (1/(-15))/(f/3). Is o at most b?
False
Suppose 0 = 10*i - 0*i - 500. Suppose 0 = 53*l - i*l + 3. Which is smaller: -1/100 or l?
l
Let j(m) = -m**3 - 13*m**2 + 78*m + 167. Let a be j(-17). Is 1152 less than or equal to a?
False
Let q = 3/3548 + -2991409/1774. Let u = q - -1696. Which is smaller: 9 or u?
9
Let u(x) = -2*x**3 - 5*x**2 - 15*x - 1. Let z be u(0). Let q = -17/26 + 2021/3081. Which is smaller: q or z?
z
Suppose 0 = 37*m - 3435 + 3953. Is 552 less than or equal to m?
False
Let o = -10508.6 + 10632. Which is greater: -1/4 or o?
o
Suppose 98*q + 2457 = 77*q. Suppose 2*z - v + 229 = 0, 516 - 33 = -4*z - 3*v. Is z bigger than q?
False
Let k = 138 - 965/7. Does k = -121?
False
Let b = 0.057 - 0.087. Let r = 52.1 + 9.9. Let h = -64 + r. Which is greater: b or h?
b
Let y(a) = a**2 - 12*a + 3. Let o(z) = -z + 1. Let p(v) = 3*o(v) - y(v). Let n be 36/8*(-8)/(-4). Let u be p(n). Is u <= 0?
True
Let d = -13 + 580. Let h = 464 - d. Is h less than or equal to -103?
True
Let i(k) be the second derivative of -k**3 + k**2 - 31*k. Let f be i(6). Let z = 90 + -122. Which is smaller: z or f?
f
Let b(x) = x**2 - 13*x + 114. Let o be b(30). Suppose -431 = -2*w - 3*n, o = 3*w + 9*n - 12*n. Are w and 212 nonequal?
True
Let r = 2122 - 2260. Is -24 greater than or equal to r?
True
Suppose j + 8 = 1. Let k(a) = -5*a**2 - 517*a - 3089. Let n be k(-97). Which is smaller: n or j?
j
Suppose 2*r = 3*u + 1682, -5*u - 48*r - 2759 = -45*r. Which is greater: u or -565?
u
Let f be 44/55*-5*4/4. Which is smaller: -7 or f?
-7
Let o = -397/49 - -45645/5537. Is o less than -1?
False
Let s(c) = -2 + 13*c - 3*c - c**3 + 4*c**3 - 6*c**3 - 29*c**2. Let n be s(-10). Is -6 less than n?
True
Suppose 14*y + 16754 = -2776. Which is bigger: -1398 or y?
y
Suppose -s + 2*g + 60 = 429, -2*s + 3*g = 735. Let i = 273 + s. Is i >= -90?
True
Let z be (-1)/((-3)/(-9))*5 - -3. Let n be ((-2)/z)/(36/(-288)). Which is smaller: n or 12?
n
Let g = 199 + -650. Let n = 500 + g. Do 42 and n have the same value?
False
Suppose -4*l = -2*w - 14, -26 = 3*w - 3*l + 2*l. Let v be (-4 - 55/(-10))/((-3)/(-8)). Which is smaller: v or w?
w
Let p = 1204/2411 + 3/4822. Which is smaller: -2479 or p?
-2479
Suppose -16*a = 520 + 808. Which is smaller: -97 or a?
-97
Suppose -2*x - 27 = -11. Let q = 65 - 60. Suppose t + 36 = -q*t. Is x <= t?
True
Let i = -31.8 + 164.8. Let j = 12971 - 12971.2. Which is smaller: j or i?
j
Let l be ((-88)/(-1100))/((-4)/10*(-1)/(-2)). Is l > 3/2483?
False
Let j = -10296.1 - -10296. Is j greater than 459/26?
False
Let k = -694 - -1029. Suppose 699*j = 704*j + k. Is j bigger than -70?
True
Let x be (86/30)/((-1164)/13580). Which is smaller: -34 or x?
-34
Suppose -4*n = -4*z + 1276, 5*n = -2*z - 83 + 728. Let q be z/1904 + (-4)/(-34). Which is greater: q or 7?
7
Let o(y) = -2*y**3 + 28*y**2 + 206*y + 84. Let n be o(20). Which is smaller: n or -597?
-597
Let u = -5 + 46. Suppose 3*s = 4*s + u. Let t = s - -41. Which is greater: -1 or t?
t
Let j(r) = 146*r + 727. Let g be j(-5). Are g and 3146 unequal?
True
Let s = 3466 - 3465.2. Is s greater than or equal to 3.1?
False
Let z = -57/13 - -49/13. Let i = 1132525/7378 - 1/3689. Let