ler: f or u?
u
Let o = 6582.0322 + -6582. Which is bigger: -1/7 or o?
o
Suppose 2*h + 34 = 5*y + 103, -2*h + 65 = -y. Which is smaller: 1060/33 or h?
h
Let q be ((6206/261 - 16) + 4/18)*2. Let g be -2*2/20*-83. Which is smaller: q or g?
q
Let l be (-13408)/(-448) - 2/(-28). Suppose 632*m - 642*m = l. Which is bigger: 0.69 or m?
0.69
Let n = -100 + 85. Let p be (4 + 58/n)*-579. Which is smaller: p or -76?
p
Suppose 7*p - 19 - 9 = 0. Let b(l) = 5*l**3 - 3*l**2 - l. Let d be b(p). Let c be (-12)/d*(4/6)/(-1). Which is smaller: c or 1?
c
Let x = -3294 - -36258/11. Suppose 173*a = 171*a - 810. Let y = a - -407. Is y at most as big as x?
True
Let y = -201.53 + 201.03. Let d = -0.1 + 1.1. Let x = d - 0.92. Is y less than x?
True
Let z = -34041 - -2791395/82. Which is smaller: z or 1?
z
Suppose -l - 75 = 2*l. Let x(i) = -5 - 87*i - 4*i - 1 - 8 - 11. Let s be x(0). Do s and l have different values?
False
Let q be ((-4782)/714 - -7)/((-21)/(-98)). Which is smaller: 2 or q?
q
Suppose -26*b = -281*b - 32912 - 2553808. Which is greater: -10142 or b?
-10142
Let j(o) = -142*o + 1. Let l be j(2). Suppose z - 16*w + 141 = 0, -8*z + 2*w = -6*z + 552. Which is smaller: l or z?
z
Let s be -13*8/(-16)*1434/9. Are s and 1037 non-equal?
True
Let z(m) = -m - 19. Suppose -30 = 2*v + 4*h, v + 3*h + 21 - 9 = 0. Let j be z(v). Is j smaller than 108?
True
Suppose 5*u = v - 0*v - 213, 3*v + 3*u - 711 = 0. Let t = v + -139. Suppose 46 + t = -5*k. Which is smaller: k or -27?
k
Let f = 1068 + -1017. Suppose f - 1 = -5*z. Which is greater: z or 12?
12
Let o = -299 - 41. Let z = 339.9 + o. Which is smaller: z or -7?
-7
Suppose 0 = 21*w + 39 - 102. Suppose -4*d + 4*h - 936 = 0, 17*d + w*h + 218 = 16*d. Is d >= -230?
True
Let s = -68.27 + 55.13. Which is smaller: -2 or s?
s
Let u = 32.2 + -121.2. Which is smaller: u or 5?
u
Let q = -190 - -191. Suppose -49*z + 48*z = 3. Is z at least q?
False
Let f(x) = x**3 - 22*x**2 - 25*x + 65. Let i be f(23). Suppose 2097 = -28*w + i*w. Is w bigger than -234?
True
Let q = 17 - 3. Suppose -q*a = -7*a + 49. Let o be (a + 7)/(-3 - -1). Which is smaller: o or 1/31?
o
Let o = 3433 - 3432. Is -370 < o?
True
Let g = -7824.883 + 7825. Which is bigger: g or -4/3?
g
Let t = -1948 + 2216. Is t > -1/5?
True
Let a be (72/(-90))/(-1 + (-14)/(-10)). Let g be 0 - (a - -4) - -2. Let w = -6/17 - -283/850. Is w smaller than g?
True
Suppose -10*u + 7024 = -14*u - 4*g, 0 = -3*u + 2*g - 5248. Are u and -1747 non-equal?
True
Let p = 19132 + -5070001/265. Which is greater: p or -1?
p
Let v = 17.9 + 2.1. Let j = v + 15. Suppose 49*c = -5*x - 8 - 116, -3*x = 45. Is c < j?
True
Let j = -0.0054 + -171.8946. Let d = j - -172. Which is greater: -0.3 or d?
d
Let j = -71 - 88. Let d = 158 + j. Let m = 1 + -3. Is d not equal to m?
True
Let u(f) = 6*f**3 - 22*f**2 + 4*f - 6. Let y be u(4). Which is smaller: y or -148?
-148
Suppose -3*r - r + 3*j + 9 = 0, 10 = 5*r - 4*j. Suppose -5*w + 5*d + 15 = 0, 2*w + r*d - 2*d + 24 = 0. Let o be (w/3)/(1/(-33)). Which is greater: 21 or o?
o
Let w = 11950 - 11949. Does -1989 = w?
False
Suppose 0 = -175*q + 176*q + 5*o - 18, -3*o = 5*q + 64. Which is smaller: -224/13 or q?
-224/13
Let a = 21 + -33. Suppose -10*v + 25 = 34 - 19. Are a and v equal?
False
Suppose 8*m - 1666 = 22*m. Which is bigger: -239/2 or m?
m
Let r = 1106 - 419. Let u = r + -388. Let q = -5087/17 + u. Which is smaller: q or 1?
q
Let s be (-8)/(1/(6/(-4))). Let t = -15 + s. Let c = -939/2 + 467. Which is bigger: t or c?
c
Suppose -96 = -2*c + 3*z - z, 4*z = -3*c + 137. Suppose -c = 5*d - 47. Which is bigger: 5/36 or d?
5/36
Let b be 1/6*-8*(-3)/4. Suppose 3*r - 2*r - b = j, -4*r + 5 = -5*j. Do j and 0.03 have the same value?
False
Let x be (-214208)/40 + 416/80. Which is bigger: x or -5351?
x
Suppose a + 56 = -104. Let h be 2/(a/268)*2. Let y = 36/5 + h. Is -0.1 smaller than y?
True
Let b = -339398 - -1003535/3. Is -4886 at least b?
True
Let x = -212953/150 + 8455/6. Do -10 and x have the same value?
False
Let a = -4 + 78. Let h be (3/(-1))/((-33)/(-803)). Let d = a + h. Is 3/7 greater than or equal to d?
False
Let t be ((-604)/(-1510))/(3/((-59895)/(-6))). Do t and 1333 have different values?
True
Let q = 24998/5 + -472892/95. Are q and 22 unequal?
True
Let g(d) = -66*d + 1335. Let v be g(20). Is v at most 0.14?
False
Suppose -15 = 3*p, 3*p + 28 = -3*s + p. Let f be 6*(-5 + (-21)/s). Suppose 0 = 4*y - 5*r + 51, -4*y - r - 32 - 1 = 0. Are f and y unequal?
False
Let v be -6 - ((-9)/(-9) + -6 + 539). Which is smaller: -536 or v?
v
Let p = 2142 + -2133. Which is smaller: p or 38?
p
Let q = 15012 + -14680. Is 348 equal to q?
False
Suppose -146*o + 148*o = 52. Let z(i) = 53*i**2 + 5*i - 5. Let p be z(4). Let u = -2510/3 + p. Is o > u?
False
Let g be (7 - 23802/3390)/(891/(-90)). Which is smaller: -1 or g?
-1
Let u(o) = 5*o**3 - o**2 - 2*o - 2. Let l = -567 - -566. Let h be u(l). Are h and -1.6 nonequal?
True
Let a(g) = -17*g - 3. Let c be a(3). Let i = 54 + c. Let t = -3599/20 - -180. Is t at least i?
True
Let i = 4397 - 4406. Let k(v) = 2*v + 26. Let r be k(0). Let f = 16 - r. Is i at most as big as f?
False
Let r = -3789 - -3803. Which is smaller: r or -71?
-71
Let n(y) = y**3 - 37*y**2 - 160*y + 16. Let c be n(38). Is c <= -32349/7?
False
Let i = 1.33 + -11.93. Let v = 77.6 + i. Let z = -68 + v. Which is greater: z or -6?
z
Suppose 0 = -5*m - 5*v - 4370, -2*v + 900 = -m + 8. Does m = -880?
True
Suppose 0 = -i - 1 - 7. Suppose 3*n + 4*w = 7*w + 84, 2*n = -4*w + 62. Suppose -c - 5*l = n, -43*c + 48*c + 37 = 2*l. Which is bigger: c or i?
i
Suppose 4*b - 6*b = 2. Let m be b + ((-78)/(-18) - 1/3). Let f be (-19)/(-4) + (0 + -1)*m. Which is smaller: f or 2?
f
Let g = 5.833 - -0.267. Let s = -12 + g. Which is smaller: s or 0?
s
Let r = 10837 - 10838. Does r = -2/38057?
False
Let t = -64.1728 + -0.0272. Let s = 40.2 + t. Is s at least 0?
False
Suppose -b = 2*u - 0*b - 228, 2*u - 3*b - 220 = 0. Let o = 113 - u. Suppose o = t - 5*a + 65, -t - 2*a = -a + 59. Is -62 smaller than t?
True
Let r be ((-350980)/2415)/(4/(-6) + 0). Which is greater: r or 17?
r
Let b be 3*((-33)/18*2 + 4). Which is smaller: b or -2/3019?
-2/3019
Let o be ((-30)/9)/(-5) + 2752/(-4182). Which is smaller: 1 or o?
o
Let h(v) = 2*v + 12. Let p be h(-8). Let t be (-201)/36 + 3/p. Let a = t + 20/3. Is a > -5?
True
Let p be (9 - (-9 - -12)) + -5. Which is greater: p or -43/12?
p
Let v be 3 + (-58)/(-8) + 2/(-8). Suppose 6*l + y = l, -y = -5*l + v. Which is bigger: -3/136 or l?
l
Let i = -37.5 + 18. Let k = -6.5 - i. Let u = 14 - k. Is -18 smaller than u?
True
Suppose -2*s - 24 = -0*s. Suppose 2*m + 5*t - 2 = -25, 26 = -2*m - 4*t. Let c(f) = 2*f**2 + 38*f - 9. Let q be c(m). Is s not equal to q?
True
Let h = -37650 - -37533. Is -117 at most h?
True
Let k be (1 - -5)/((-3)/(-2)). Suppose -4*h + 2*u + 1134 = 0, -3*u + k*u = -3. Let c = h + -856/3. Is c less than -4?
False
Let x = 44.95 - 12.5. Let n = -32 + x. Let v = 5.45 - n. Which is bigger: v or -2/5?
v
Let r be -1 - 2*(1 - 2). Let i be r - (3 + 0 + -7). Suppose i*o + 28 = -47. Is -13 greater than or equal to o?
True
Suppose -12*g + 9*g - 114 = 0. Let a be (g - -42)/((-2)/(-12)). Which is bigger: a or 12?
a
Let k be 4*35/14 - (-7 - -9). Is k <= -8?
False
Let w = -3.49 + -0.11. Let c = -18.6 - w. Suppose 3*d = 2*q - 9, -3*d + 13 - 22 = 3*q. Which is bigger: c or d?
d
Let l(w) = -112*w - 16. Let f be l(-1). Let o = 159 - f. Is o less than 62?
False
Let q(x) = -366*x**2 - 56*x - 23. Let u be q(-3). Is u >= -3148?
False
Let r be (-4)/(-6)*(-17)/(-34)*3. Which is greater: 29/159 or r?
r
Let d = 52 + -31. Let g = d - 21.14. Let p = 152.1 + -152. Are p and g equal?
False
Let j(z) be the second derivative of -37*z**3/6 + 18*z**2 + 193*z. Let w be j(9). Which is greater: -298 or w?
w
Suppose -10 = -3*y - 4*a, 5*y - 8 = -3*a - 6. Let x be ((-196)/(-245))/(y/(-120)). Let b(o) = 2*o**2 - 3. Let c be b(-5). Is x < c?
False
Let a = -775.5 - -875.1. Is 4 bigger than a?
False
Let n be 3/9 + -4486*(-106)/(-120). Let m = n + 3959. Which is smaller: -4 or m?
-4
Suppose 3*z = -40*z + 466851. Which is greater: z or 10856?
z
Suppose 0 = 18*v - 23*v + 3*a - 968, a = -4*v - 754. Which is smaller: v or -181?
v
Suppose -429*j + 386*j + 8243 - 1449 = 0. Is 239 less than j?
False
Let j = 43